Trace number 4405475

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 5357.66 713.186

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-04-m018.xml
MD5SUMe1b631bab6f8bd4ad65377e678a0b81e
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 benchmark2.54992
Satisfiable
(Un)Satisfiability was proved
Number of variables49
Number of constraints28
Number of domains1
Minimum domain size37
Maximum domain size37
Distribution of domain sizes[{"size":37,"count":37}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":12},{"degree":4,"count":31},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity37
Distribution of constraint arities[{"arity":2,"count":6},{"arity":4,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":21}]
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-10947-serial-file.bin HOME/instance-4405475-1569341502.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 18:11:02 CEST 2019
0.66/0.56	c PID: 10950
0.66/0.56	c IP: 172.20.3.151
0.66/0.56	c HOST: node151.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.16/0.87	c (0,0) Parsing End
1.16/0.87	c (0,0) CSP: 37 int (0 aux), 0 bool (0 aux), 28 ctr, max domain size 37
1.16/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.87	c (0,0) Constraint Name Generate Begin
1.16/0.88	c (0,0) Ctr:HOME/instance-4405475-1569341502.xml,AllDifferent:Lt:Num:Var:WeightedSum
1.16/0.88	c (0,0) Constraint Name Generate End
1.16/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88	c (0,0) CSP to CSPinCNF Begin
2.10/1.26	c (0,0) translated 3 (10%) constraints
2.10/1.26	c (0,0) translated 6 (20%) constraints
2.10/1.26	c (0,0) translated 9 (30%) constraints
2.10/1.27	c (0,0) translated 12 (40%) constraints
2.10/1.27	c (0,0) translated 14 (50%) constraints
2.10/1.27	c (0,0) translated 17 (60%) constraints
2.10/1.27	c (0,0) translated 20 (70%) constraints
2.10/1.27	c (0,0) translated 23 (80%) constraints
2.10/1.28	c (0,0) translated 26 (90%) constraints
2.10/1.28	c (0,0) translated 28 (100%) constraints
2.10/1.28	c (0,0) ===========================================
2.10/1.29	c (0,0) Hybrid: #OE=0, #LE=37
2.10/1.29	c (0,0) Hybrid
2.10/1.29	c (0,0) ===========================================
2.40/1.31	c (0,0) translated 74 (10%) constraints
2.40/1.33	c (0,0) translated 147 (20%) constraints
2.40/1.34	c (0,0) translated 220 (30%) constraints
2.40/1.35	c (0,0) translated 293 (40%) constraints
2.40/1.35	c (0,0) translated 366 (50%) constraints
2.40/1.36	c (0,0) translated 440 (60%) constraints
2.40/1.37	c (0,0) translated 513 (70%) constraints
2.40/1.38	c (0,0) translated 586 (80%) constraints
2.40/1.38	c (0,0) translated 659 (90%) constraints
3.09/1.58	c (1,1) translated 732 (100%) constraints
3.09/1.58	c (1,1) CSP to CSPinCNF End
3.09/1.59	c (1,1) CSP: 37 int (0 aux), 1369 bool (1369 aux), 3491 ctr, max domain size 37
3.09/1.59	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.09/1.59	c (1,1) CSPinCNF Propagation Begin
3.46/1.64	c (1,1) 9 values, 25 unsatisfiable literals, and 92 valid clauses are removed
3.46/1.64	c (1,1) CSPinCNF Propagation End
3.46/1.65	c (1,1) CSP: 37 int (0 aux), 1369 bool (1369 aux), 3399 ctr, max domain size 37
3.46/1.65	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.46/1.66	c (1,1) Hybrid: #OE=1369, #LE=37
3.46/1.66	c (1,1) Simplify CSPinCNF Begin
3.90/1.73	c (1,1) Simplify CSPinCNF End
3.90/1.73	c (1,1) CSP: 37 int (0 aux), 2768 bool (2768 aux), 4798 ctr, max domain size 37
3.90/1.73	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.90/1.73	c (1,1) Calculate Precise Domain Begin
3.90/1.73	c (1,1) 0 values are removed by re-calculation
3.90/1.73	c (1,1) Calculate Precise Domain End
3.90/1.73	c (1,1) CSP: 37 int (0 aux), 2768 bool (2768 aux), 4798 ctr, max domain size 37
3.90/1.73	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.90/1.73	c (1,1) CSPinCNF to SatSolver Begin
4.55/1.97	c (1,1) 480 (10 %) CSP clauses are encoded (0 SAT variables, 14675 SAT clauses)
5.03/2.03	c (1,1) 960 (20 %) CSP clauses are encoded (0 SAT variables, 28097 SAT clauses)
5.03/2.08	c (1,1) 1440 (30 %) CSP clauses are encoded (0 SAT variables, 41286 SAT clauses)
5.29/2.13	c (1,1) 1920 (40 %) CSP clauses are encoded (0 SAT variables, 54732 SAT clauses)
5.29/2.17	c (1,1) 2399 (50 %) CSP clauses are encoded (0 SAT variables, 61128 SAT clauses)
5.53/2.20	c (1,1) 2879 (60 %) CSP clauses are encoded (0 SAT variables, 65942 SAT clauses)
5.53/2.24	c (1,1) 3359 (70 %) CSP clauses are encoded (0 SAT variables, 70650 SAT clauses)
5.53/2.27	c (1,1) 3839 (80 %) CSP clauses are encoded (0 SAT variables, 75459 SAT clauses)
5.90/2.30	c (1,1) 4319 (90 %) CSP clauses are encoded (0 SAT variables, 80306 SAT clauses)
5.90/2.37	c (1,1) 4798 (100 %) CSP clauses are encoded (0 SAT variables, 102690 SAT clauses)
5.90/2.37	c (1,1) CSPinCNF to SatSolver End
5.90/2.37	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.90/2.37	c (1,1) 47518 bool, 102728 clause
5.90/2.37	c (1,1) Export Begin
6.29/2.48	c (1,1) Export to HOME/scop-10947-serial-file.bin
6.29/2.48	c (1,1) Export End
6.29/2.48	c (1,1) Export File Size: 0.04 MB
6.29/2.48	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
6.29/2.48	c END-Prog: Tue Sep 24 18:11:03 CEST 2019
0.00/2.50	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10947-serial-file.bin
6.64/2.96	c (0,0) Read Serial File Begin
6.64/2.96	c (0,0) HOME/scop-10947-serial-file.bin
7.43/3.19	c (0,0) Read Serial File End
7.65/3.21	
7.65/3.21	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.65/3.21	(Solving Process)
7.65/3.21	
7.65/3.23	c BEGIN-Prog: Tue Sep 24 18:11:04 CEST 2019
7.65/3.23	c PID: 10970
7.65/3.23	c IP: 172.20.3.151
7.65/3.23	c HOST: node151.alineos.net
7.65/3.23	c (0,0) SatSolver.solve Begin
7.65/3.23	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405475-1569341502.xml-scop-10950.cnf
7.65/3.26	c (0,0) c
7.65/3.26	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)
7.65/3.26	c (0,0) c
7.65/3.26	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.65/3.26	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.65/3.26	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.65/3.26	c (0,0) c |                                                                                                       |
7.92/3.30	c (0,0) c |  Number of variables:         47518                                                                   |
7.92/3.30	c (0,0) c |  Number of clauses:          102643                                                                   |
7.92/3.30	c (0,0) c |  Parse time:                   0.04 s                                                                 |
7.92/3.30	c (0,0) c |                                                                                                       |
7.94/3.46	c (0,0) c |  Simplification time:          0.15 s                                                                 |
7.94/3.46	c (0,0) c |                                                                                                       |
7.94/3.46	c (0,0) c |  Generating clones                                                                                    |
7.94/3.56	c (0,0) c |  all clones generated. Memory =   137.18Mb.                                                           |
7.94/3.56	c (0,0) c ========================================================================================================|
7.94/3.56	c (0,0) c
7.94/3.56	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.94/3.56	c (0,0) c
7.94/3.56	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.94/3.56	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.94/3.56	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.94/3.56	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.94/3.56	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.94/3.56	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.94/3.56	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.94/3.56	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.94/3.56	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.94/3.56	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.94/3.56	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.94/3.56	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.94/3.56	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.94/3.56	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.94/3.56	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.94/3.56	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.94/3.56	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.94/3.56	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.94/3.56	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
246.19/33.49	c (30,0) c
246.19/33.49	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
246.19/33.49	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
246.19/33.49	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
246.19/33.49	c (30,0) c |  0 |   1013 |     490483 |     163050 |    41286 |    48863 |    18791 |   123421 |     7635 |      150 |  20 |  0.179 |
246.19/33.49	c (30,0) c |  1 |    872 |     461392 |     161961 |    40959 |    47775 |    20512 |   127159 |     8269 |      157 |  20 |  0.179 |
246.19/33.49	c (30,0) c |  2 |    957 |     505327 |     174449 |    41508 |    34868 |    21135 |   129958 |     8279 |      162 |  20 |  0.179 |
246.19/33.49	c (30,0) c |  3 |   1076 |     506337 |     162753 |    41367 |    48573 |    18413 |   122392 |     7801 |      149 |  20 |  0.179 |
246.19/33.49	c (30,0) c |  4 |   1122 |     514740 |     169815 |    41295 |    30237 |    19283 |   128502 |     7946 |      157 |  20 |  0.179 |
246.19/33.49	c (30,0) c |  5 |    940 |     495421 |     174692 |    41032 |    35099 |    21089 |   128740 |     8151 |      160 |  20 |  0.179 |
246.19/33.49	c (30,0) c |  6 |    825 |     489084 |     173701 |    41320 |    34123 |    21028 |   130264 |     8248 |      162 |  20 |  0.179 |
246.19/33.49	c (30,0) c |  7 |    878 |     473087 |     162921 |    40753 |    48749 |    19188 |   122989 |     7685 |      151 |  20 |  0.179 |
246.19/33.49	c (30,0) c 
246.19/33.49	c (30,0) c synthesis     1343344 conflicts   827978694 propagations     5635 conflicts/sec  3472864 propagations/sec
246.19/33.49	c (30,0) c real: 30.2313 s, cpu: 238.414 s, memory: 716.23 Mb
476.42/62.49	c (59,0) c
476.42/62.49	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
476.42/62.49	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
476.42/62.49	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
476.42/62.49	c (59,0) c |  0 |   1684 |     830437 |     291851 |    43262 |    60474 |    31121 |   208577 |    15285 |      301 |  20 |  0.179 |
476.42/62.49	c (59,0) c |  1 |   1570 |     803606 |     291057 |    43042 |    59669 |    32576 |   213432 |    15717 |      311 |  20 |  0.179 |
476.42/62.49	c (59,0) c |  2 |   1545 |     825000 |     299460 |    43355 |    68071 |    33177 |   215310 |    15776 |      315 |  20 |  0.179 |
476.42/62.49	c (59,0) c |  3 |   1744 |     836888 |     285651 |    43376 |    54267 |    30138 |   207218 |    15179 |      298 |  20 |  0.179 |
476.42/62.49	c (59,0) c |  4 |   1639 |     799443 |     292762 |    42969 |    61388 |    30956 |   215993 |    14431 |      312 |  20 |  0.179 |
476.42/62.49	c (59,0) c |  5 |   1575 |     818792 |     300788 |    43152 |    69405 |    33518 |   214805 |    15599 |      315 |  20 |  0.179 |
476.42/62.49	c (59,0) c |  6 |   1410 |     803058 |     296770 |    43305 |    65383 |    32580 |   214664 |    15393 |      314 |  20 |  0.179 |
476.42/62.49	c (59,0) c |  7 |   1454 |     780874 |     285153 |    43015 |    53765 |    30807 |   204703 |    14683 |      295 |  20 |  0.179 |
476.42/62.49	c (59,0) c 
476.42/62.49	c (59,0) c synthesis     2343494 conflicts  1474033164 propagations     5003 conflicts/sec  3146601 propagations/sec
476.42/62.49	c (59,0) c real: 59.2313 s, cpu: 468.453 s, memory: 724.95 Mb
706.00/91.49	c (88,0) c
706.00/91.49	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
706.00/91.49	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
706.00/91.49	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
706.00/91.49	c (88,0) c |  0 |   2259 |    1124955 |     408185 |    44044 |    61604 |    42197 |   283692 |    21667 |      456 |  20 |  0.179 |
706.00/91.49	c (88,0) c |  1 |   2080 |    1099353 |     410120 |    43982 |    63554 |    44211 |   288365 |    21972 |      466 |  20 |  0.179 |
706.00/91.49	c (88,0) c |  2 |   2015 |    1104418 |     412086 |    44115 |    65500 |    43288 |   288641 |    21747 |      465 |  20 |  0.179 |
706.00/91.49	c (88,0) c |  3 |   2265 |    1116033 |     394831 |    44183 |    48261 |    40339 |   281586 |    21342 |      447 |  20 |  0.179 |
706.00/91.49	c (88,0) c |  4 |   2304 |    1101121 |     405266 |    43968 |    58692 |    41210 |   290003 |    21255 |      464 |  20 |  0.179 |
706.00/91.49	c (88,0) c |  5 |   2088 |    1101928 |     412020 |    44008 |    65436 |    43542 |   288078 |    21870 |      465 |  20 |  0.179 |
706.00/91.49	c (88,0) c |  6 |   1837 |    1049497 |     404985 |    44034 |    58408 |    42233 |   290423 |    20766 |      466 |  20 |  0.179 |
706.00/91.49	c (88,0) c |  7 |   1889 |    1046608 |     398342 |    43917 |    51775 |    41385 |   278379 |    20527 |      448 |  20 |  0.179 |
706.00/91.49	c (88,0) c 
706.00/91.49	c (88,0) c synthesis     3245835 conflicts  2061566880 propagations     4651 conflicts/sec  2954181 propagations/sec
706.00/91.49	c (88,0) c real: 88.2313 s, cpu: 697.847 s, memory: 730.55 Mb
924.01/120.49	c (117,0) c
924.01/120.49	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
924.01/120.49	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
924.01/120.49	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
924.01/120.49	c (117,0) c |  0 |   2480 |    1299515 |     497890 |    44275 |    61522 |    49821 |   325657 |    24955 |      614 |  20 |  0.179 |
924.01/120.49	c (117,0) c |  1 |   2238 |    1249976 |     497326 |    44180 |    60980 |    50439 |   306484 |    24478 |      614 |  20 |  0.179 |
924.01/120.49	c (117,0) c |  2 |   2424 |    1334530 |     510653 |    44514 |    74272 |    52567 |   346210 |    26517 |      614 |  20 |  0.179 |
924.01/120.49	c (117,0) c |  3 |   2807 |    1408685 |     510576 |    44644 |    74201 |    50453 |   348149 |    27025 |      614 |  20 |  0.179 |
924.01/120.49	c (117,0) c |  4 |   2941 |    1391303 |     511070 |    44486 |    74691 |    49127 |   349487 |    26844 |      614 |  20 |  0.179 |
924.01/120.49	c (117,0) c |  5 |   2397 |    1304369 |     506824 |    44348 |    70445 |    50932 |   327088 |    25610 |      614 |  20 |  0.179 |
924.01/120.49	c (117,0) c |  6 |   2185 |    1287629 |     501379 |    44390 |    65011 |    50583 |   347719 |    25817 |      613 |  20 |  0.179 |
924.01/120.49	c (117,0) c |  7 |   2229 |    1274548 |     496924 |    44408 |    60549 |    50136 |   340286 |    25602 |      594 |  20 |  0.179 |
924.01/120.49	c (117,0) c 
924.01/120.49	c (117,0) c synthesis     4032644 conflicts  2590987766 propagations     4405 conflicts/sec  2830394 propagations/sec
924.01/120.49	c (117,0) c real: 117.231 s, cpu: 915.416 s, memory: 736.96 Mb
1127.43/149.49	c (146,0) c
1127.43/149.49	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1127.43/149.49	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1127.43/149.49	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1127.43/149.49	c (146,0) c |  0 |   2890 |    1516297 |     588661 |    44599 |    52078 |    57949 |   398870 |    30089 |      762 |  20 |  0.179 |
1127.43/149.49	c (146,0) c |  1 |   2444 |    1395275 |     569993 |    44384 |    84833 |    58229 |   399632 |    27409 |      763 |  20 |  0.179 |
1127.43/149.49	c (146,0) c |  2 |   2865 |    1563782 |     604918 |    44844 |    68330 |    60545 |   393406 |    31088 |      763 |  20 |  0.179 |
1127.43/149.49	c (146,0) c |  3 |   3234 |    1652563 |     608797 |    44878 |    72214 |    58638 |   398403 |    31228 |      763 |  20 |  0.179 |
1127.43/149.49	c (146,0) c |  4 |   3432 |    1633586 |     609052 |    44794 |    72473 |    57247 |   400244 |    31411 |      763 |  20 |  0.179 |
1127.43/149.49	c (146,0) c |  5 |   2397 |    1379038 |     567158 |    44372 |    81999 |    54648 |   327088 |    25906 |      763 |  20 |  0.179 |
1127.43/149.49	c (146,0) c |  6 |   2589 |    1523796 |     597302 |    44679 |    60720 |    58925 |   397888 |    30433 |      762 |  20 |  0.179 |
1127.43/149.49	c (146,0) c |  7 |   2588 |    1514811 |     595159 |    44716 |    58582 |    58190 |   389823 |    30198 |      743 |  20 |  0.179 |
1127.43/149.49	c (146,0) c 
1127.43/149.49	c (146,0) c synthesis     4741041 conflicts  3066288131 propagations     4241 conflicts/sec  2742662 propagations/sec
1127.43/149.49	c (146,0) c real: 146.231 s, cpu: 1118 s, memory: 743.49 Mb
1354.48/178.49	c (175,0) c
1354.48/178.49	c (175,0) c |------------------------------------------------------------------------------------------------------------------------|
1354.48/178.49	c (175,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1354.48/178.49	c (175,0) c |------------------------------------------------------------------------------------------------------------------------|
1354.48/178.49	c (175,0) c |  0 |   3271 |    1729963 |     679410 |    44815 |    88822 |    65148 |   458563 |    34311 |      908 |  20 |  0.179 |
1354.48/178.49	c (175,0) c |  1 |   2877 |    1635722 |     668758 |    44678 |    78192 |    69679 |   457788 |    32575 |      918 |  20 |  0.179 |
1354.48/178.49	c (175,0) c |  2 |   3235 |    1765960 |     690170 |    44999 |    99586 |    66734 |   454959 |    35246 |      903 |  20 |  0.179 |
1354.48/178.49	c (175,0) c |  3 |   3644 |    1887099 |     702783 |    45038 |   112202 |    66283 |   463065 |    35940 |      922 |  20 |  0.179 |
1354.48/178.49	c (175,0) c |  4 |   3824 |    1861788 |     707076 |    44964 |    59902 |    65807 |   463504 |    35968 |      921 |  20 |  0.179 |
1354.48/178.49	c (175,0) c |  5 |   2872 |    1626095 |     665562 |    44685 |    74980 |    66883 |   462601 |    31781 |      922 |  20 |  0.179 |
1354.48/178.49	c (175,0) c |  6 |   3005 |    1762186 |     694099 |    44871 |   103537 |    67126 |   462111 |    35098 |      922 |  20 |  0.179 |
1354.48/178.49	c (175,0) c |  7 |   2998 |    1759390 |     694163 |    44911 |   103575 |    66056 |   455452 |    34940 |      902 |  20 |  0.179 |
1354.48/178.49	c (175,0) c 
1354.48/178.49	c (175,0) c synthesis     5502023 conflicts  3566603941 propagations     4091 conflicts/sec  2651789 propagations/sec
1354.48/178.49	c (175,0) c real: 175.235 s, cpu: 1344.98 s, memory: 774.28 Mb
1588.66/208.49	c (205,0) c
1588.66/208.49	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1588.66/208.49	c (205,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1588.66/208.49	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1588.66/208.49	c (205,0) c |  0 |   3716 |    1974429 |     779682 |    45009 |    73309 |    73113 |   518529 |    39075 |     1075 |  20 |  0.179 |
1588.66/208.49	c (205,0) c |  1 |   3279 |    1863554 |     765355 |    44872 |   118178 |    78691 |   514891 |    37377 |     1083 |  20 |  0.179 |
1588.66/208.49	c (205,0) c |  2 |   3678 |    2018918 |     794540 |    45185 |    88164 |    75440 |   516842 |    39915 |     1078 |  20 |  0.179 |
1588.66/208.49	c (205,0) c |  3 |   3995 |    2115314 |     797366 |    45148 |    90987 |    74147 |   519052 |    39930 |     1080 |  20 |  0.179 |
1588.66/208.49	c (205,0) c |  4 |   4307 |    2100270 |     798831 |    45112 |    92447 |    73298 |   517681 |    40204 |     1074 |  20 |  0.179 |
1588.66/208.49	c (205,0) c |  5 |   3317 |    1866992 |     765120 |    44898 |   117941 |    76185 |   519020 |    36889 |     1086 |  20 |  0.179 |
1588.66/208.49	c (205,0) c |  6 |   3315 |    1957856 |     781613 |    45011 |    75245 |    74281 |   519548 |    38661 |     1083 |  20 |  0.179 |
1588.66/208.49	c (205,0) c |  7 |   3349 |    1979770 |     793131 |    45038 |    86749 |    73683 |   504891 |    38985 |     1068 |  20 |  0.179 |
1588.66/208.49	c (205,0) c 
1588.66/208.49	c (205,0) c synthesis     6275639 conflicts  4073870935 propagations     3974 conflicts/sec  2579958 propagations/sec
1588.66/208.49	c (205,0) c real: 205.231 s, cpu: 1579.05 s, memory: 804.01 Mb
1816.90/237.49	c (234,0) c
1816.90/237.49	c (234,0) c |------------------------------------------------------------------------------------------------------------------------|
1816.90/237.49	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1816.90/237.49	c (234,0) c |------------------------------------------------------------------------------------------------------------------------|
1816.90/237.49	c (234,0) c |  0 |   4166 |    2217289 |     875778 |    45154 |   107597 |    80950 |   570094 |    43369 |     1241 |  20 |  0.179 |
1816.90/237.49	c (234,0) c |  1 |   3731 |    2090502 |     857689 |    45025 |    89514 |    86561 |   566250 |    41832 |     1240 |  20 |  0.179 |
1816.90/237.49	c (234,0) c |  2 |   4058 |    2239357 |     889431 |    45273 |   121249 |    83017 |   571604 |    43955 |     1245 |  20 |  0.179 |
1816.90/237.49	c (234,0) c |  3 |   4411 |    2341949 |     888555 |    45276 |   120374 |    81361 |   572827 |    44088 |     1245 |  20 |  0.179 |
1816.90/237.49	c (234,0) c |  4 |   4748 |    2319100 |     883776 |    45201 |   115593 |    80085 |   566915 |    44168 |     1225 |  20 |  0.179 |
1816.90/237.49	c (234,0) c |  5 |   3771 |    2106948 |     862107 |    45047 |    93923 |    84528 |   570332 |    41391 |     1245 |  20 |  0.179 |
1816.90/237.49	c (234,0) c |  6 |   3651 |    2162560 |     870255 |    45109 |   102085 |    81443 |   569689 |    42652 |     1235 |  20 |  0.179 |
1816.90/237.49	c (234,0) c |  7 |   3584 |    2160514 |     882571 |    45143 |   114406 |    80926 |   568173 |    42454 |     1230 |  20 |  0.179 |
1816.90/237.49	c (234,0) c 
1816.90/237.49	c (234,0) c synthesis     7010162 conflicts  4552691650 propagations     3879 conflicts/sec  2519293 propagations/sec
1816.90/237.49	c (234,0) c real: 234.231 s, cpu: 1807.13 s, memory: 804.01 Mb
2045.31/266.49	c (263,0) c
2045.31/266.49	c (263,0) c |------------------------------------------------------------------------------------------------------------------------|
2045.31/266.49	c (263,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2045.31/266.49	c (263,0) c |------------------------------------------------------------------------------------------------------------------------|
2045.31/266.49	c (263,0) c |  0 |   4560 |    2421942 |     963534 |    45248 |   130950 |    88097 |   621238 |    47366 |     1411 |  20 |  0.187 |
2045.31/266.49	c (263,0) c |  1 |   4200 |    2314960 |     947766 |    45153 |   115179 |    94561 |   612162 |    46052 |     1399 |  20 |  0.187 |
2045.31/266.49	c (263,0) c |  2 |   4418 |    2452210 |     981748 |    45340 |    82169 |    90636 |   620075 |    47850 |     1411 |  20 |  0.187 |
2045.31/266.49	c (263,0) c |  3 |   4807 |    2552126 |     978282 |    45353 |    78696 |    86947 |   622402 |    47935 |     1409 |  20 |  0.187 |
2045.31/266.49	c (263,0) c |  4 |   5164 |    2536489 |     975679 |    45287 |    76098 |    86400 |   617555 |    48069 |     1391 |  20 |  0.187 |
2045.31/266.49	c (263,0) c |  5 |   4155 |    2311264 |     947057 |    45153 |   114472 |    91700 |   614555 |    45382 |     1399 |  20 |  0.187 |
2045.31/266.49	c (263,0) c |  6 |   3806 |    2312587 |     955704 |    45159 |   123131 |    86229 |   591466 |    45016 |     1411 |  20 |  0.179 |
2045.31/266.49	c (263,0) c |  7 |   3899 |    2363724 |     970790 |    45221 |    71212 |    89203 |   615157 |    46239 |     1392 |  20 |  0.187 |
2045.31/266.49	c (263,0) c 
2045.31/266.49	c (263,0) c synthesis     7720561 conflicts  5022371178 propagations     3793 conflicts/sec  2467724 propagations/sec
2045.31/266.49	c (263,0) c real: 263.231 s, cpu: 2035.22 s, memory: 868.01 Mb
2261.54/295.49	c (292,0) c
2261.54/295.49	c (292,0) c |------------------------------------------------------------------------------------------------------------------------|
2261.54/295.49	c (292,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2261.54/295.49	c (292,0) c |------------------------------------------------------------------------------------------------------------------------|
2261.54/295.49	c (292,0) c |  0 |   4890 |    2624240 |    1049664 |    45329 |    80484 |    95392 |   665646 |    51126 |     1569 |  20 |  0.187 |
2261.54/295.49	c (292,0) c |  1 |   4543 |    2523555 |    1038572 |    45226 |   138982 |   100536 |   660334 |    49801 |     1571 |  20 |  0.187 |
2261.54/295.49	c (292,0) c |  2 |   4737 |    2650936 |    1065023 |    45415 |    95852 |    97544 |   664058 |    51403 |     1570 |  20 |  0.187 |
2261.54/295.49	c (292,0) c |  3 |   5116 |    2755735 |    1069526 |    45409 |   100338 |    94793 |   666617 |    51452 |     1570 |  20 |  0.187 |
2261.54/295.49	c (292,0) c |  4 |   5544 |    2756240 |    1070908 |    45364 |   101726 |    92854 |   664410 |    51451 |     1565 |  20 |  0.187 |
2261.54/295.49	c (292,0) c |  5 |   4556 |    2518559 |    1030429 |    45241 |   130851 |    98889 |   655917 |    49002 |     1551 |  20 |  0.187 |
2261.54/295.49	c (292,0) c |  6 |   3806 |    2380343 |    1013366 |    45165 |   113806 |    87782 |   591466 |    45252 |     1571 |  20 |  0.179 |
2261.54/295.49	c (292,0) c |  7 |   4240 |    2585796 |    1064153 |    45300 |    94977 |    97189 |   659189 |    49961 |     1554 |  20 |  0.187 |
2261.54/295.49	c (292,0) c 
2261.54/295.49	c (292,0) c synthesis     8401643 conflicts  5477781704 propagations     3732 conflicts/sec  2433008 propagations/sec
2261.54/295.49	c (292,0) c real: 292.231 s, cpu: 2251.44 s, memory: 804.01 Mb
2464.86/324.49	c (321,0) c
2464.86/324.49	c (321,0) c |------------------------------------------------------------------------------------------------------------------------|
2464.86/324.49	c (321,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2464.86/324.49	c (321,0) c |------------------------------------------------------------------------------------------------------------------------|
2464.86/324.49	c (321,0) c |  0 |   5141 |    2791962 |    1130061 |    45378 |    88675 |   101028 |   700662 |    54147 |     1722 |  20 |  0.187 |
2465.64/324.51	c (321,0) c |  1 |   4971 |    2734986 |    1121303 |    45298 |    79916 |   107423 |   700425 |    53307 |     1722 |  20 |  0.187 |
2465.64/324.51	c (321,0) c |  2 |   4977 |    2825035 |    1143550 |    45462 |   102175 |   104134 |   703514 |    54435 |     1722 |  20 |  0.187 |
2465.64/324.51	c (321,0) c |  3 |   5451 |    2944509 |    1150257 |    45455 |   108871 |   101343 |   706366 |    54812 |     1722 |  20 |  0.187 |
2465.64/324.51	c (321,0) c |  4 |   5767 |    2924149 |    1151370 |    45407 |   109993 |   100005 |   707842 |    54413 |     1722 |  20 |  0.187 |
2465.64/324.51	c (321,0) c |  5 |   4929 |    2711202 |    1109555 |    45304 |   140381 |   104188 |   695630 |    52419 |     1702 |  20 |  0.187 |
2465.64/324.51	c (321,0) c |  6 |   3806 |    2432892 |    1059384 |    45170 |    90215 |    90529 |   591466 |    45397 |     1722 |  20 |  0.179 |
2465.64/324.51	c (321,0) c |  7 |   4521 |    2781750 |    1152003 |    45360 |   110641 |   104430 |   703376 |    53209 |     1722 |  20 |  0.187 |
2465.64/324.51	c (321,0) c 
2465.64/324.51	c (321,0) c synthesis     9017483 conflicts  5894122506 propagations     3674 conflicts/sec  2401235 propagations/sec
2465.64/324.51	c (321,0) c real: 321.231 s, cpu: 2454.62 s, memory: 876.96 Mb
2680.22/353.49	c (350,0) c
2680.22/353.49	c (350,0) c |------------------------------------------------------------------------------------------------------------------------|
2680.22/353.49	c (350,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2680.22/353.49	c (350,0) c |------------------------------------------------------------------------------------------------------------------------|
2680.22/353.49	c (350,0) c |  0 |   5320 |    2952377 |    1207400 |    45405 |    91223 |   106028 |   753702 |    56606 |     1886 |  20 |  0.187 |
2680.22/353.49	c (350,0) c |  1 |   5383 |    2945904 |    1204114 |    45352 |    87931 |   113973 |   746315 |    56676 |     1883 |  20 |  0.187 |
2680.22/353.49	c (350,0) c |  2 |   5310 |    3017210 |    1227143 |    45508 |   110966 |   110744 |   748854 |    57590 |     1880 |  20 |  0.187 |
2680.22/353.49	c (350,0) c |  3 |   5779 |    3139697 |    1233140 |    45509 |   116960 |   108146 |   752029 |    58121 |     1881 |  20 |  0.187 |
2680.22/353.49	c (350,0) c |  4 |   6228 |    3140758 |    1237090 |    45454 |   120910 |   106776 |   754484 |    58034 |     1884 |  20 |  0.187 |
2680.22/353.49	c (350,0) c |  5 |   5270 |    2901283 |    1192808 |    45375 |    76634 |   111177 |   740880 |    55695 |     1870 |  20 |  0.187 |
2680.22/353.49	c (350,0) c |  6 |   3916 |    2524615 |    1113601 |    45203 |    72220 |    98857 |   760191 |    48197 |     1878 |  20 |  0.187 |
2680.22/353.49	c (350,0) c |  7 |   4846 |    2969726 |    1234395 |    45410 |   118220 |   111008 |   748630 |    56694 |     1881 |  20 |  0.187 |
2680.22/353.49	c (350,0) c 
2680.22/353.49	c (350,0) c synthesis     9649691 conflicts  6310852624 propagations     3615 conflicts/sec  2364149 propagations/sec
2680.22/353.49	c (350,0) c real: 350.231 s, cpu: 2669.4 s, memory: 840.77 Mb
2911.11/382.49	c (379,0) c
2911.11/382.49	c (379,0) c |------------------------------------------------------------------------------------------------------------------------|
2911.11/382.49	c (379,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2911.11/382.49	c (379,0) c |------------------------------------------------------------------------------------------------------------------------|
2911.11/382.49	c (379,0) c |  0 |   5708 |    3154803 |    1291720 |    45447 |    98142 |   112792 |   809812 |    59966 |     2053 |  20 |  0.187 |
2911.11/382.49	c (379,0) c |  1 |   5819 |    3163421 |    1292972 |    45413 |    99398 |   119351 |   804004 |    60348 |     2056 |  20 |  0.187 |
2911.11/382.49	c (379,0) c |  2 |   5621 |    3216314 |    1316833 |    45563 |   123256 |   117837 |   805956 |    61260 |     2058 |  20 |  0.187 |
2911.11/382.49	c (379,0) c |  3 |   6006 |    3321277 |    1320868 |    45546 |   127295 |   114851 |   808652 |    60803 |     2056 |  20 |  0.187 |
2911.11/382.49	c (379,0) c |  4 |   6537 |    3322017 |    1316378 |    45493 |   122801 |   112827 |   808336 |    61031 |     2049 |  20 |  0.187 |
2911.11/382.49	c (379,0) c |  5 |   5621 |    3114983 |    1285642 |    45421 |    92067 |   118443 |   804238 |    59370 |     2053 |  20 |  0.187 |
2911.11/382.49	c (379,0) c |  6 |   4290 |    2736780 |    1201331 |    45274 |    85141 |   114863 |   804415 |    52439 |     2041 |  20 |  0.187 |
2911.11/382.49	c (379,0) c |  7 |   5155 |    3161545 |    1318006 |    45454 |   124425 |   117195 |   804578 |    59943 |     2051 |  20 |  0.187 |
2911.11/382.49	c (379,0) c 
2911.11/382.49	c (379,0) c synthesis    10343751 conflicts  6764800465 propagations     3567 conflicts/sec  2332631 propagations/sec
2911.11/382.49	c (379,0) c real: 379.231 s, cpu: 2900.07 s, memory: 792.61 Mb
3141.53/411.49	c (408,0) c
3141.53/411.49	c (408,0) c |------------------------------------------------------------------------------------------------------------------------|
3141.53/411.49	c (408,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3141.53/411.49	c (408,0) c |------------------------------------------------------------------------------------------------------------------------|
3141.53/411.49	c (408,0) c |  0 |   5971 |    3337562 |    1376098 |    45473 |   102526 |   119556 |   854297 |    62981 |     2214 |  20 |  0.187 |
3141.53/411.49	c (408,0) c |  1 |   6263 |    3371249 |    1375825 |    45454 |   102251 |   124521 |   852601 |    63825 |     2225 |  20 |  0.187 |
3141.53/411.49	c (408,0) c |  2 |   5959 |    3419736 |    1403093 |    45609 |   129514 |   124465 |   854323 |    64771 |     2229 |  20 |  0.187 |
3141.53/411.49	c (408,0) c |  3 |   6305 |    3503717 |    1400793 |    45594 |   127213 |   121005 |   855213 |    64098 |     2222 |  20 |  0.187 |
3141.53/411.49	c (408,0) c |  4 |   6918 |    3514690 |    1395341 |    45529 |   121761 |   119108 |   852968 |    64304 |     2209 |  20 |  0.187 |
3141.53/411.49	c (408,0) c |  5 |   6108 |    3343286 |    1372991 |    45468 |    99413 |   125290 |   853281 |    63055 |     2229 |  20 |  0.187 |
3141.53/411.49	c (408,0) c |  6 |   4641 |    2941062 |    1290243 |    45323 |    96653 |   124904 |   849226 |    56229 |     2215 |  20 |  0.187 |
3141.53/411.49	c (408,0) c |  7 |   5445 |    3340618 |    1397281 |    45487 |   123697 |   123065 |   853869 |    62798 |     2225 |  20 |  0.187 |
3141.53/411.49	c (408,0) c 
3141.53/411.49	c (408,0) c synthesis    11011667 conflicts  7199183398 propagations     3518 conflicts/sec  2300020 propagations/sec
3141.53/411.49	c (408,0) c real: 408.231 s, cpu: 3130.05 s, memory: 774.52 Mb
3370.94/440.49	c (437,0) c
3370.94/440.49	c (437,0) c |------------------------------------------------------------------------------------------------------------------------|
3370.94/440.49	c (437,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3370.94/440.49	c (437,0) c |------------------------------------------------------------------------------------------------------------------------|
3370.94/440.49	c (437,0) c |  0 |   6330 |    3527118 |    1452115 |    45505 |    95939 |   125576 |   896750 |    66129 |     2373 |  20 |  0.187 |
3370.94/440.49	c (437,0) c |  1 |   6569 |    3547874 |    1454325 |    45484 |    98154 |   130469 |   895335 |    66638 |     2384 |  20 |  0.187 |
3370.94/440.49	c (437,0) c |  2 |   6330 |    3609972 |    1481269 |    45638 |   125091 |   130390 |   897960 |    67849 |     2392 |  20 |  0.187 |
3370.94/440.49	c (437,0) c |  3 |   6638 |    3686469 |    1478614 |    45625 |   122436 |   126926 |   899557 |    67349 |     2386 |  20 |  0.187 |
3370.94/440.49	c (437,0) c |  4 |   7328 |    3724609 |    1478909 |    45565 |   122725 |   125662 |   900446 |    67773 |     2386 |  20 |  0.187 |
3370.94/440.49	c (437,0) c |  5 |   6438 |    3516631 |    1449875 |    45503 |    93690 |   130976 |   896997 |    65872 |     2392 |  20 |  0.187 |
3370.94/440.49	c (437,0) c |  6 |   4948 |    3135182 |    1375568 |    45386 |   101982 |   132153 |   893585 |    59914 |     2383 |  20 |  0.187 |
3370.94/440.49	c (437,0) c |  7 |   5708 |    3511599 |    1472325 |    45522 |   116143 |   129139 |   895544 |    65928 |     2381 |  20 |  0.187 |
3370.94/440.49	c (437,0) c 
3370.94/440.49	c (437,0) c synthesis    11643001 conflicts  7614312230 propagations     3466 conflicts/sec  2266771 propagations/sec
3370.94/440.49	c (437,0) c real: 437.231 s, cpu: 3359.1 s, memory: 806.14 Mb
3601.26/469.49	c (466,0) c
3601.26/469.49	c (466,0) c |------------------------------------------------------------------------------------------------------------------------|
3601.26/469.49	c (466,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3601.26/469.49	c (466,0) c |------------------------------------------------------------------------------------------------------------------------|
3601.26/469.49	c (466,0) c |  0 |   6666 |    3728426 |    1534964 |    45549 |    93589 |   132126 |   939042 |    69624 |     2547 |  20 |  0.187 |
3601.26/469.49	c (466,0) c |  1 |   6917 |    3736200 |    1533732 |    45505 |    92355 |   135237 |   937460 |    69829 |     2552 |  20 |  0.187 |
3601.26/469.49	c (466,0) c |  2 |   6682 |    3802835 |    1564382 |    45659 |   123002 |   136767 |   939891 |    71222 |     2566 |  20 |  0.187 |
3601.26/469.49	c (466,0) c |  3 |   6957 |    3877801 |    1559782 |    45653 |   118402 |   133109 |   937675 |    70217 |     2551 |  20 |  0.187 |
3601.26/469.49	c (466,0) c |  4 |   7629 |    3913283 |    1562782 |    45587 |   121408 |   131805 |   943836 |    71029 |     2564 |  20 |  0.187 |
3601.26/469.49	c (466,0) c |  5 |   6776 |    3698910 |    1527753 |    45528 |    86366 |   135939 |   939947 |    69224 |     2566 |  20 |  0.187 |
3601.26/469.49	c (466,0) c |  6 |   5305 |    3329637 |    1458581 |    45425 |   102401 |   138666 |   934848 |    63457 |     2555 |  20 |  0.187 |
3601.26/469.49	c (466,0) c |  7 |   5992 |    3689094 |    1550741 |    45560 |   109364 |   135249 |   936468 |    68791 |     2548 |  20 |  0.187 |
3601.26/469.49	c (466,0) c 
3601.26/469.49	c (466,0) c synthesis    12292720 conflicts  8035328906 propagations     3425 conflicts/sec  2238893 propagations/sec
3601.26/469.49	c (466,0) c real: 466.231 s, cpu: 3588.97 s, memory: 806.14 Mb
3831.09/498.49	c (495,0) c
3831.09/498.49	c (495,0) c |------------------------------------------------------------------------------------------------------------------------|
3831.09/498.49	c (495,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
3831.09/498.49	c (495,0) c |------------------------------------------------------------------------------------------------------------------------|
3831.09/498.49	c (495,0) c |  0 |   7038 |    3925244 |    1616438 |    45572 |   175063 |   136974 |   981595 |    72906 |     2725 |  20 |  0.187 |
3831.09/498.49	c (495,0) c |  1 |   7192 |    3903739 |    1610986 |    45534 |   169609 |   141460 |   976427 |    72833 |     2722 |  20 |  0.187 |
3831.09/498.49	c (495,0) c |  2 |   6961 |    3969891 |    1640367 |    45678 |   111184 |   142495 |   976580 |    74366 |     2740 |  20 |  0.187 |
3831.09/498.49	c (495,0) c |  3 |   7180 |    4043488 |    1637979 |    45668 |   108809 |   139227 |   978488 |    72973 |     2721 |  20 |  0.187 |
3831.09/498.49	c (495,0) c |  4 |   7955 |    4096784 |    1640245 |    45611 |   111073 |   136439 |   984254 |    73856 |     2730 |  20 |  0.187 |
3831.09/498.49	c (495,0) c |  5 |   7042 |    3867730 |    1605899 |    45559 |   164512 |   142723 |   978319 |    72247 |     2731 |  20 |  0.187 |
3831.09/498.49	c (495,0) c |  6 |   5672 |    3528869 |    1541014 |    45481 |    99631 |   145176 |   974608 |    66928 |     2727 |  20 |  0.187 |
3831.09/498.49	c (495,0) c |  7 |   6328 |    3874673 |    1630096 |    45578 |   100913 |   141005 |   977030 |    71951 |     2721 |  20 |  0.187 |
3831.09/498.49	c (495,0) c 
3831.09/498.49	c (495,0) c synthesis    12923025 conflicts  8449893540 propagations     3384 conflicts/sec  2212930 propagations/sec
3831.09/498.49	c (495,0) c real: 495.231 s, cpu: 3818.42 s, memory: 980.27 Mb
4053.27/527.49	c (524,0) c
4053.27/527.49	c (524,0) c |------------------------------------------------------------------------------------------------------------------------|
4053.27/527.49	c (524,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4053.27/527.49	c (524,0) c |------------------------------------------------------------------------------------------------------------------------|
4053.27/527.49	c (524,0) c |  0 |   7303 |    4098333 |    1697452 |    45590 |   168277 |   141458 |  1024059 |    75360 |     2905 |  20 |  0.187 |
4053.27/527.49	c (524,0) c |  1 |   7210 |    3996131 |    1683615 |    45541 |   154448 |   145396 |   979533 |    73505 |     2906 |  20 |  0.187 |
4053.27/527.49	c (524,0) c |  2 |   7199 |    4115694 |    1710386 |    45697 |    90800 |   147600 |  1018167 |    77117 |     2905 |  20 |  0.187 |
4053.27/527.49	c (524,0) c |  3 |   7519 |    4232812 |    1716920 |    45696 |    97347 |   145136 |  1018277 |    75856 |     2895 |  20 |  0.187 |
4053.27/527.49	c (524,0) c |  4 |   8272 |    4268420 |    1714891 |    45630 |    95308 |   142182 |  1023340 |    76795 |     2905 |  20 |  0.187 |
4053.27/527.49	c (524,0) c |  5 |   7367 |    4060364 |    1688801 |    45590 |   159617 |   149269 |  1016627 |    75252 |     2905 |  20 |  0.187 |
4053.27/527.49	c (524,0) c |  6 |   5966 |    3712902 |    1622144 |    45516 |    92963 |   151601 |  1014226 |    70291 |     2905 |  20 |  0.187 |
4053.27/527.49	c (524,0) c |  7 |   6614 |    4044624 |    1703430 |    45601 |   174247 |   146484 |  1014867 |    74550 |     2886 |  20 |  0.187 |
4053.27/527.49	c (524,0) c 
4053.27/527.49	c (524,0) c synthesis    13537639 conflicts  8864307203 propagations     3351 conflicts/sec  2194025 propagations/sec
4053.27/527.49	c (524,0) c real: 524.231 s, cpu: 4040.2 s, memory: 972.86 Mb
4263.55/556.49	c (553,0) c
4263.55/556.49	c (553,0) c |------------------------------------------------------------------------------------------------------------------------|
4263.55/556.49	c (553,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4263.55/556.49	c (553,0) c |------------------------------------------------------------------------------------------------------------------------|
4263.55/556.49	c (553,0) c |  0 |   7583 |    4267599 |    1774984 |    45609 |   155414 |   147186 |  1060353 |    77982 |     3073 |  20 |  0.187 |
4263.55/556.49	c (553,0) c |  1 |   7210 |    4053890 |    1733280 |    45542 |   113727 |   147490 |   979533 |    73648 |     3073 |  20 |  0.187 |
4263.55/556.49	c (553,0) c |  2 |   7539 |    4300915 |    1787650 |    45711 |   168064 |   153418 |  1054081 |    79746 |     3073 |  20 |  0.187 |
4263.55/556.49	c (553,0) c |  3 |   7806 |    4400213 |    1790627 |    45709 |   171054 |   150790 |  1052738 |    78441 |     3057 |  20 |  0.187 |
4263.55/556.49	c (553,0) c |  4 |   8551 |    4435619 |    1789502 |    45652 |   169919 |   147892 |  1059412 |    79273 |     3073 |  20 |  0.187 |
4263.55/556.49	c (553,0) c |  5 |   7685 |    4239785 |    1766435 |    45617 |   146851 |   155334 |  1051917 |    77969 |     3073 |  20 |  0.187 |
4263.55/556.49	c (553,0) c |  6 |   6250 |    3889070 |    1700795 |    45537 |   171615 |   156127 |  1050989 |    73165 |     3073 |  20 |  0.187 |
4263.55/556.49	c (553,0) c |  7 |   6933 |    4223455 |    1781247 |    45623 |   161668 |   152177 |  1050326 |    77134 |     3053 |  20 |  0.187 |
4263.55/556.49	c (553,0) c 
4263.55/556.49	c (553,0) c synthesis    14124522 conflicts  9250807728 propagations     3323 conflicts/sec  2176589 propagations/sec
4263.55/556.49	c (553,0) c real: 553.231 s, cpu: 4250.14 s, memory: 1126.32 Mb
4468.66/585.49	c (582,0) c
4468.66/585.49	c (582,0) c |------------------------------------------------------------------------------------------------------------------------|
4468.66/585.49	c (582,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4468.66/585.49	c (582,0) c |------------------------------------------------------------------------------------------------------------------------|
4468.66/585.49	c (582,0) c |  0 |   7913 |    4444016 |    1851378 |    45624 |   138804 |   153130 |  1096721 |    80765 |     3240 |  20 |  0.187 |
4468.66/585.49	c (582,0) c |  1 |   7210 |    4105757 |    1779150 |    45542 |   159597 |   149836 |   979533 |    73709 |     3240 |  20 |  0.187 |
4468.66/585.49	c (582,0) c |  2 |   7775 |    4455269 |    1860285 |    45720 |   147707 |   159244 |  1090619 |    82255 |     3240 |  20 |  0.187 |
4468.66/585.49	c (582,0) c |  3 |   8094 |    4572207 |    1868838 |    45723 |   156252 |   156915 |  1091224 |    81104 |     3234 |  20 |  0.187 |
4468.66/585.49	c (582,0) c |  4 |   8913 |    4619955 |    1866055 |    45668 |   153478 |   153367 |  1096247 |    81786 |     3240 |  20 |  0.187 |
4468.66/585.49	c (582,0) c |  5 |   8039 |    4410037 |    1838727 |    45635 |   126140 |   160850 |  1089042 |    80802 |     3240 |  20 |  0.187 |
4468.66/585.49	c (582,0) c |  6 |   6549 |    4060067 |    1777394 |    45569 |   157822 |   161790 |  1087802 |    75741 |     3240 |  20 |  0.187 |
4468.66/585.49	c (582,0) c |  7 |   7248 |    4399620 |    1858757 |    45641 |   146178 |   158100 |  1086823 |    79749 |     3220 |  20 |  0.187 |
4468.66/585.49	c (582,0) c 
4468.66/585.49	c (582,0) c synthesis    14700586 conflicts  9635413459 propagations     3300 conflicts/sec  2162813 propagations/sec
4468.66/585.49	c (582,0) c real: 582.231 s, cpu: 4455.04 s, memory: 944.78 Mb
4678.38/615.49	c (612,0) c
4678.38/615.49	c (612,0) c |------------------------------------------------------------------------------------------------------------------------|
4678.38/615.49	c (612,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4678.38/615.49	c (612,0) c |------------------------------------------------------------------------------------------------------------------------|
4678.38/615.49	c (612,0) c |  0 |   8141 |    4603036 |    1924731 |    45636 |   116552 |   158897 |  1133746 |    83035 |     3410 |  20 |  0.187 |
4678.38/615.49	c (612,0) c |  1 |   7210 |    4172147 |    1833234 |    45547 |   120668 |   154030 |   979533 |    73918 |     3410 |  20 |  0.187 |
4678.38/615.49	c (612,0) c |  2 |   8048 |    4619858 |    1934473 |    45734 |   126298 |   164633 |  1127967 |    84789 |     3410 |  20 |  0.187 |
4678.38/615.49	c (612,0) c |  3 |   8444 |    4750581 |    1944994 |    45732 |   136810 |   162445 |  1128182 |    83750 |     3404 |  20 |  0.187 |
4678.38/615.49	c (612,0) c |  4 |   9240 |    4792720 |    1939067 |    45690 |   130883 |   158913 |  1133648 |    84390 |     3410 |  20 |  0.187 |
4678.38/615.49	c (612,0) c |  5 |   8338 |    4573368 |    1907539 |    45656 |    99357 |   166222 |  1126148 |    83483 |     3410 |  20 |  0.187 |
4678.38/615.49	c (612,0) c |  6 |   6871 |    4249288 |    1856894 |    45595 |   144314 |   167789 |  1124792 |    78410 |     3410 |  20 |  0.187 |
4678.38/615.49	c (612,0) c |  7 |   7594 |    4579243 |    1933681 |    45667 |   125505 |   163585 |  1123721 |    82587 |     3390 |  20 |  0.187 |
4678.38/615.49	c (612,0) c 
4678.38/615.49	c (612,0) c synthesis    15274613 conflicts 10009114822 propagations     3274 conflicts/sec  2145702 propagations/sec
4678.38/615.49	c (612,0) c real: 612.231 s, cpu: 4664.73 s, memory: 944.78 Mb
4894.03/645.49	c (642,0) c
4894.03/645.49	c (642,0) c |------------------------------------------------------------------------------------------------------------------------|
4894.03/645.49	c (642,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
4894.03/645.49	c (642,0) c |------------------------------------------------------------------------------------------------------------------------|
4894.03/645.49	c (642,0) c |  0 |   8389 |    4755440 |    1997809 |    45651 |   189630 |   164691 |  1171299 |    85327 |     3588 |  20 |  0.187 |
4894.03/645.49	c (642,0) c |  1 |   7210 |    4230767 |    1883341 |    45548 |   170775 |   157984 |   979533 |    74019 |     3588 |  20 |  0.187 |
4894.03/645.49	c (642,0) c |  2 |   8348 |    4777079 |    2002495 |    45755 |   194320 |   169698 |  1166411 |    87420 |     3588 |  20 |  0.187 |
4894.03/645.49	c (642,0) c |  3 |   8681 |    4904494 |    2016791 |    45753 |   110434 |   167854 |  1165456 |    86006 |     3576 |  20 |  0.187 |
4894.03/645.49	c (642,0) c |  4 |   9592 |    4968813 |    2011234 |    45714 |   104846 |   164134 |  1171255 |    86934 |     3586 |  20 |  0.187 |
4894.03/645.49	c (642,0) c |  5 |   8689 |    4757976 |    1987580 |    45672 |   179398 |   172001 |  1163936 |    85949 |     3588 |  20 |  0.187 |
4894.03/645.49	c (642,0) c |  6 |   7157 |    4423378 |    1934682 |    45628 |   126503 |   174054 |  1162124 |    81149 |     3588 |  20 |  0.187 |
4894.03/645.49	c (642,0) c |  7 |   7863 |    4735013 |    2004648 |    45686 |    98266 |   169205 |  1161720 |    85144 |     3568 |  20 |  0.187 |
4894.03/645.49	c (642,0) c 
4894.03/645.49	c (642,0) c synthesis    15838580 conflicts 10382377650 propagations     3246 conflicts/sec  2127575 propagations/sec
4894.03/645.49	c (642,0) c real: 642.231 s, cpu: 4879.91 s, memory: 1041.11 Mb
5107.41/675.49	c (672,0) c
5107.41/675.49	c (672,0) c |------------------------------------------------------------------------------------------------------------------------|
5107.41/675.49	c (672,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
5107.41/675.49	c (672,0) c |------------------------------------------------------------------------------------------------------------------------|
5107.41/675.49	c (672,0) c |  0 |   8768 |    4946580 |    2077514 |    45673 |   171139 |   170559 |  1210114 |    87831 |     3766 |  20 |  0.187 |
5107.41/675.49	c (672,0) c |  1 |   7210 |    4287945 |    1932518 |    45548 |   124362 |   163615 |   979533 |    74096 |     3767 |  20 |  0.187 |
5107.41/675.49	c (672,0) c |  2 |   8663 |    4959314 |    2080337 |    45771 |   173977 |   175302 |  1205555 |    89808 |     3767 |  20 |  0.187 |
5107.41/675.49	c (672,0) c |  3 |   8990 |    5080306 |    2091679 |    45763 |   185322 |   173194 |  1203543 |    88564 |     3750 |  20 |  0.187 |
5107.41/675.49	c (672,0) c |  4 |   9607 |    5064641 |    2075114 |    45718 |   168726 |   168655 |  1201663 |    87988 |     3767 |  20 |  0.187 |
5107.41/675.49	c (672,0) c |  5 |   9021 |    4936198 |    2065394 |    45682 |   159020 |   177535 |  1199816 |    88292 |     3765 |  20 |  0.187 |
5107.41/675.49	c (672,0) c |  6 |   7463 |    4590715 |    2008421 |    45643 |   102054 |   179404 |  1201010 |    83622 |     3765 |  20 |  0.187 |
5107.41/675.49	c (672,0) c |  7 |   8192 |    4912826 |    2085236 |    45704 |   178854 |   175309 |  1200785 |    87659 |     3747 |  20 |  0.187 |
5107.41/675.49	c (672,0) c 
5107.41/675.49	c (672,0) c synthesis    16416214 conflicts 10761304616 propagations     3223 conflicts/sec  2112760 propagations/sec
5107.41/675.49	c (672,0) c real: 672.231 s, cpu: 5093.48 s, memory: 1118.91 Mb
5315.37/705.49	c (702,0) c
5315.37/705.49	c (702,0) c |------------------------------------------------------------------------------------------------------------------------|
5315.37/705.49	c (702,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
5315.37/705.49	c (702,0) c |------------------------------------------------------------------------------------------------------------------------|
5315.37/705.49	c (702,0) c |  0 |   9132 |    5118377 |    2149399 |    45696 |   142228 |   175898 |  1243381 |    90183 |     3934 |  20 |  0.187 |
5315.37/705.49	c (702,0) c |  1 |   7261 |    4363425 |    1984663 |    45553 |   176506 |   168481 |  1251309 |    75833 |     3934 |  20 |  0.187 |
5315.37/705.49	c (702,0) c |  2 |   8997 |    5127389 |    2153581 |    45786 |   146410 |   180465 |  1238528 |    92100 |     3934 |  20 |  0.187 |
5315.37/705.49	c (702,0) c |  3 |   9319 |    5247188 |    2161749 |    45779 |   154571 |   178091 |  1235814 |    90808 |     3914 |  20 |  0.187 |
5315.37/705.49	c (702,0) c |  4 |   9739 |    5176186 |    2135466 |    45726 |   128285 |   172821 |  1246591 |    89494 |     3934 |  20 |  0.187 |
5315.37/705.49	c (702,0) c |  5 |   9201 |    5066265 |    2130955 |    45710 |   123788 |   182055 |  1237269 |    90178 |     3934 |  20 |  0.187 |
5315.37/705.49	c (702,0) c |  6 |   7642 |    4742087 |    2083415 |    45659 |   177048 |   184949 |  1234356 |    85624 |     3934 |  20 |  0.187 |
5315.37/705.49	c (702,0) c |  7 |   8495 |    5099704 |    2165768 |    45719 |   158588 |   181181 |  1237163 |    90002 |     3931 |  20 |  0.187 |
5315.37/705.49	c (702,0) c 
5315.37/705.49	c (702,0) c synthesis    16964996 conflicts 11127895989 propagations     3200 conflicts/sec  2099091 propagations/sec
5315.37/705.49	c (702,0) c real: 702.231 s, cpu: 5301.29 s, memory: 1041.10 Mb
5357.18/713.04	c (710,0) c
5357.18/713.04	c (710,0) c real time : 709.783 s
5357.18/713.04	c (710,0) c cpu time  : 5342.45 s
5357.18/713.04	c (710,0) c
5357.18/713.04	c (710,0) c
5357.18/713.04	c (710,0) c
5357.18/713.04	c (710,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
5357.18/713.04	c (710,0) c
5357.18/713.04	c (710,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5357.18/713.04	c (710,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5357.18/713.04	c (710,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5357.18/713.04	c (710,0) c | Conflicts     |        17073202 |    2161601 |    1996315 |    2165687 |    2181881 |    2148487 |    2145047 |    2093928 |    2180256 |
5357.18/713.04	c (710,0) c | Decisions     |        40190345 |    5147124 |    4392461 |    5152202 |    5299101 |    5205696 |    5097671 |    4763337 |    5132753 |
5357.18/713.04	c (710,0) c | Propagations  |     11196600853 | 1415622774 | 1341247794 | 1419566842 | 1411684320 | 1390496664 | 1410964098 | 1385446852 | 1421571509 |
5357.18/713.04	c (710,0) c | ReduceDBs     |             317 |         40 |         38 |         40 |         40 |         40 |         40 |         39 |         40 |
5357.18/713.04	c (710,0) c | SimpDBs       |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
5357.18/713.04	c (710,0) c | Restarts      |           70230 |       9182 |       7319 |       9044 |       9436 |       9776 |       9248 |       7672 |       8553 |
5357.18/713.04	c (710,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5357.18/713.04	c (710,0) c | PropBinClauses|      8066859613 | 1018633522 | 1000140872 | 1016179221 | 1009625297 |  996099725 | 1014356576 |  997216708 | 1014607692 |
5357.18/713.04	c (710,0) c | PropPreBlocker|    100615235863 |12531911808 |12871787999 |12539059196 |12553206248 |12474712712 |12502036851 |12579262031 |12563259018 |
5357.18/713.04	c (710,0) c | PropNotBlocker|     30452499369 | 3862516007 | 3580751278 | 3871854256 | 3869205879 | 3835863254 | 3870557087 | 3715808403 | 3845943205 |
5357.18/713.04	c (710,0) c | LitFullScans  |    190283432618 |23785023424 |23785547937 |23785101902 |23785025811 |23785552599 |23785392033 |23786736253 |23785052659 |
5357.18/713.04	c (710,0) c | LitScanFracts |        11199270 |    1021030 |    1526616 |    1077738 |    1013874 |    1395542 |    1389094 |    2727280 |    1048096 |
5357.18/713.04	c (710,0) c | DecisionLevel0|           70231 |       9182 |       7319 |       9044 |       9436 |       9776 |       9248 |       7672 |       8554 |
5357.18/713.04	c (710,0) c | Periods       |           31712 |       3964 |       3964 |       3964 |       3964 |       3964 |       3964 |       3964 |       3964 |
5357.18/713.04	c (710,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
5357.18/713.04	c (710,0) c | Avg_Trail     |                 |       5382 |       4974 |       5445 |       5462 |       5411 |       5362 |       5356 |       5457 |
5357.18/713.04	c (710,0) c | Avg_DL        |                 |         72 |         63 |         72 |         72 |         67 |         72 |         67 |         73 |
5357.18/713.04	c (710,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5357.18/713.04	c (710,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5357.18/713.04	c (710,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5357.18/713.04	c (710,0) c | Exported      |         1432630 |     176848 |     169984 |     181455 |     179486 |     173862 |     183109 |     185728 |     182158 |
5357.18/713.04	c (710,0) c | Imported      |         9987098 |    1250855 |    1258074 |    1246123 |    1248037 |    1251945 |    1244708 |    1241865 |    1245491 |
5357.18/713.04	c (710,0) c | Good          |           56293 |       7042 |       7143 |       6986 |       6913 |       6960 |       7021 |       7142 |       7086 |
5357.18/713.04	c (710,0) c | Purge         |         9930805 |    1243813 |    1250931 |    1239137 |    1241124 |    1244985 |    1237687 |    1234723 |    1238405 |
5357.18/713.04	c (710,0) c | Promoted      |          709095 |      90612 |      77518 |      92539 |      91485 |      89845 |      90579 |      86062 |      90455 |
5357.18/713.04	c (710,0) c | Remove_Imp    |         7904369 |    1020700 |     801222 |    1014449 |    1008047 |    1029782 |    1022440 |     999703 |    1008026 |
5357.18/713.04	c (710,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
5357.18/713.04	c (710,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5357.18/713.04	c (710,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          1 |
5357.18/713.04	c (710,0) c | Binaries      |                 |       1000 |        899 |       1058 |       1131 |       1081 |       1021 |        901 |        958 |
5357.18/713.04	c (710,0) c | Glues         |                 |       4542 |       3919 |       4607 |       4740 |       4719 |       4638 |       4170 |       4515 |
5357.18/713.04	c (710,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5357.18/713.04	c (710,0) c | Orig_Seen     |            98 % |      45697 |      45561 |      45787 |      45780 |      45727 |      45711 |      45663 |      45722 |
5357.18/713.04	c (710,0) c | Diff Orig seen|                 | -       30 | -      166 |         60 |         53 |      X     | -       16 | -       64 | -        5 |
5357.18/713.04	c (710,0) c | Hamming       |             6 % |       3214 |       3171 |       2981 |       3333 |      X     |       3365 |       2957 |       3310 |
5357.18/713.04	c (710,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5357.18/713.04	c (710,0) c | RunningTime   |                 |  667.6  94%|  619.2  88%|  669.5  95%|  696.4  98%|  676.3  96%|  666.9  94%|  661.7  94%|  702.3  99%|
5357.18/713.04	c (710,0) c | WaitingTime   |                 |   38.9   5%|   87.4  12%|   36.9   5%|   12.2   2%|   30.1   4%|   39.6   6%|   45.0   6%|    4.1   1%|
5357.18/713.04	c (710,0) c | ExchangingTime|                 |    0.6   0%|    0.7   0%|    0.7   0%|    0.6   0%|    0.6   0%|    0.6   0%|    0.6   0%|    0.6   0%|
5357.18/713.04	c (710,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.1   0%|
5357.18/713.04	c (710,0) c | SolvingTime   |                 |  707.1     |  707.3     |  707.1     |  709.3     |  707.1     |  707.2     |  707.3     |  707.1     |
5357.18/713.04	c (710,0) c | PropagationTim|                 |  621.3  88%|  604.0  85%|  621.1  88%|  583.9  82%|  588.2  83%|  618.1  87%|  591.3  84%|  583.1  82%|
5357.18/713.04	c (710,0) c | AnalysisTime  |                 |   56.5   8%|   76.9  11%|   56.0   8%|   96.3  14%|   90.0  13%|   59.4   8%|   87.9  12%|   95.1  13%|
5357.18/713.04	c (710,0) c | ReductionTime |                 |    4.1   1%|    3.3   0%|    4.0   1%|    3.9   1%|    4.0   1%|    3.9   1%|    3.7   1%|    3.9   1%|
5357.18/713.04	c (710,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
5357.18/713.04	c (710,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%|
5357.18/713.04	c (710,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%|
5357.18/713.04	c (710,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
5357.18/713.04	c (710,0) c
5357.18/713.04	c (710,0) c
5357.18/713.04	c (710,0) c Threads : 8
5357.18/713.04	c (710,0) c Winner : 4
5357.18/713.04	c (710,0) c Conflicts_0 : 2161601
5357.18/713.04	c (710,0) c Conflicts_1 : 1996315
5357.18/713.04	c (710,0) c Conflicts_2 : 2165687
5357.18/713.04	c (710,0) c Conflicts_3 : 2181881
5357.18/713.04	c (710,0) c Conflicts_4 : 2148487
5357.18/713.04	c (710,0) c Conflicts_5 : 2145047
5357.18/713.04	c (710,0) c Conflicts_6 : 2093928
5357.18/713.04	c (710,0) c Conflicts_7 : 2180256
5357.18/713.04	c (710,0) c Conflicts_total : 17073202
5357.18/713.04	c (710,0) c Conflicts_winner : 2148487
5357.18/713.04	c (710,0) c Decisions_0 : 5147124
5357.18/713.04	c (710,0) c Decisions_1 : 4392461
5357.18/713.04	c (710,0) c Decisions_2 : 5152202
5357.18/713.04	c (710,0) c Decisions_3 : 5299101
5357.18/713.04	c (710,0) c Decisions_4 : 5205696
5357.18/713.04	c (710,0) c Decisions_5 : 5097671
5357.18/713.04	c (710,0) c Decisions_6 : 4763337
5357.18/713.04	c (710,0) c Decisions_7 : 5132753
5357.18/713.04	c (710,0) c Decisions_total : 40190345
5357.18/713.04	c (710,0) c Decisions_winner : 5205696
5357.18/713.04	c (710,0) c Propagations_0 : 1415622774
5357.18/713.04	c (710,0) c Propagations_1 : 1341247794
5357.18/713.04	c (710,0) c Propagations_2 : 1419566842
5357.18/713.04	c (710,0) c Propagations_3 : 1411684320
5357.18/713.04	c (710,0) c Propagations_4 : 1390496664
5357.18/713.04	c (710,0) c Propagations_5 : 1410964098
5357.18/713.04	c (710,0) c Propagations_6 : 1385446852
5357.18/713.04	c (710,0) c Propagations_7 : 1421571509
5357.18/713.04	c (710,0) c Propagations_total : 11196600853
5357.18/713.04	c (710,0) c Propagations_winner : 1390496664
5357.18/713.04	c (710,0) c ReduceDBs_0 : 40
5357.18/713.04	c (710,0) c ReduceDBs_1 : 38
5357.18/713.04	c (710,0) c ReduceDBs_2 : 40
5357.18/713.04	c (710,0) c ReduceDBs_3 : 40
5357.18/713.04	c (710,0) c ReduceDBs_4 : 40
5357.18/713.04	c (710,0) c ReduceDBs_5 : 40
5357.18/713.04	c (710,0) c ReduceDBs_6 : 39
5357.18/713.04	c (710,0) c ReduceDBs_7 : 40
5357.18/713.04	c (710,0) c ReduceDBs_total : 317
5357.18/713.04	c (710,0) c ReduceDBs_winner : 40
5357.18/713.04	c (710,0) c SimpDBs_0 : 2
5357.18/713.04	c (710,0) c SimpDBs_1 : 2
5357.18/713.04	c (710,0) c SimpDBs_2 : 2
5357.18/713.04	c (710,0) c SimpDBs_3 : 2
5357.18/713.04	c (710,0) c SimpDBs_4 : 2
5357.18/713.04	c (710,0) c SimpDBs_5 : 2
5357.18/713.04	c (710,0) c SimpDBs_6 : 2
5357.18/713.04	c (710,0) c SimpDBs_7 : 2
5357.18/713.04	c (710,0) c SimpDBs_total : 16
5357.18/713.04	c (710,0) c SimpDBs_winner : 2
5357.18/713.04	c (710,0) c Restarts_0 : 9182
5357.18/713.04	c (710,0) c Restarts_1 : 7319
5357.18/713.04	c (710,0) c Restarts_2 : 9044
5357.18/713.04	c (710,0) c Restarts_3 : 9436
5357.18/713.04	c (710,0) c Restarts_4 : 9776
5357.18/713.04	c (710,0) c Restarts_5 : 9248
5357.18/713.04	c (710,0) c Restarts_6 : 7672
5357.18/713.04	c (710,0) c Restarts_7 : 8553
5357.18/713.04	c (710,0) c Restarts_total : 70230
5357.18/713.04	c (710,0) c Restarts_winner : 9776
5357.18/713.04	c (710,0) c ForcedImports_0 : 0
5357.18/713.04	c (710,0) c ForcedImports_1 : 0
5357.18/713.04	c (710,0) c ForcedImports_2 : 0
5357.18/713.04	c (710,0) c ForcedImports_3 : 0
5357.18/713.04	c (710,0) c ForcedImports_4 : 0
5357.18/713.04	c (710,0) c ForcedImports_5 : 0
5357.18/713.04	c (710,0) c ForcedImports_6 : 0
5357.18/713.04	c (710,0) c ForcedImports_7 : 0
5357.18/713.04	c (710,0) c ForcedImports_total : 0
5357.18/713.04	c (710,0) c ForcedImports_winner : 0
5357.18/713.04	c (710,0) c PropsBinClauses_0 : 1018633522
5357.18/713.04	c (710,0) c PropsBinClauses_1 : 1000140872
5357.18/713.04	c (710,0) c PropsBinClauses_2 : 1016179221
5357.18/713.04	c (710,0) c PropsBinClauses_3 : 1009625297
5357.18/713.04	c (710,0) c PropsBinClauses_4 : 996099725
5357.18/713.04	c (710,0) c PropsBinClauses_5 : 1014356576
5357.18/713.04	c (710,0) c PropsBinClauses_6 : 997216708
5357.18/713.04	c (710,0) c PropsBinClauses_7 : 1014607692
5357.18/713.04	c (710,0) c PropsBinClauses_total : 8066859613
5357.18/713.04	c (710,0) c PropsBinClauses_winner : 996099725
5357.18/713.04	c (710,0) c PropsPreBlocker_0 : 12531911808
5357.18/713.04	c (710,0) c PropsPreBlocker_1 : 12871787999
5357.18/713.04	c (710,0) c PropsPreBlocker_2 : 12539059196
5357.18/713.04	c (710,0) c PropsPreBlocker_3 : 12553206248
5357.18/713.04	c (710,0) c PropsPreBlocker_4 : 12474712712
5357.18/713.04	c (710,0) c PropsPreBlocker_5 : 12502036851
5357.18/713.04	c (710,0) c PropsPreBlocker_6 : 12579262031
5357.18/713.04	c (710,0) c PropsPreBlocker_7 : 12563259018
5357.18/713.04	c (710,0) c PropsPreBlocker_total : 100615235863
5357.18/713.04	c (710,0) c PropsPreBlocker_winner : 12474712712
5357.18/713.04	c (710,0) c PropsNotBlocker_0 : 3862516007
5357.18/713.04	c (710,0) c PropsNotBlocker_1 : 3580751278
5357.18/713.04	c (710,0) c PropsNotBlocker_2 : 3871854256
5357.18/713.04	c (710,0) c PropsNotBlocker_3 : 3869205879
5357.18/713.04	c (710,0) c PropsNotBlocker_4 : 3835863254
5357.18/713.04	c (710,0) c PropsNotBlocker_5 : 3870557087
5357.18/713.04	c (710,0) c PropsNotBlocker_6 : 3715808403
5357.18/713.04	c (710,0) c PropsNotBlocker_7 : 3845943205
5357.18/713.04	c (710,0) c PropsNotBlocker_total : 30452499369
5357.18/713.04	c (710,0) c PropsNotBlocker_winner : 3835863254
5357.18/713.04	c (710,0) c PropsLitFullScans_0 : 23785023424
5357.18/713.04	c (710,0) c PropsLitFullScans_1 : 23785547937
5357.18/713.04	c (710,0) c PropsLitFullScans_2 : 23785101902
5357.18/713.04	c (710,0) c PropsLitFullScans_3 : 23785025811
5357.18/713.04	c (710,0) c PropsLitFullScans_4 : 23785552599
5357.18/713.04	c (710,0) c PropsLitFullScans_5 : 23785392033
5357.18/713.04	c (710,0) c PropsLitFullScans_6 : 23786736253
5357.18/713.04	c (710,0) c PropsLitFullScans_7 : 23785052659
5357.18/713.04	c (710,0) c PropsLitFullScans_total : 190283432618
5357.18/713.04	c (710,0) c PropsLitFullScans_winner : 23785552599
5357.18/713.04	c (710,0) c LitScanFractions_0 : 1021030
5357.18/713.04	c (710,0) c LitScanFractions_1 : 1526616
5357.18/713.04	c (710,0) c LitScanFractions_2 : 1077738
5357.18/713.04	c (710,0) c LitScanFractions_3 : 1013874
5357.18/713.04	c (710,0) c LitScanFractions_4 : 1395542
5357.18/713.04	c (710,0) c LitScanFractions_5 : 1389094
5357.18/713.04	c (710,0) c LitScanFractions_6 : 2727280
5357.18/713.04	c (710,0) c LitScanFractions_7 : 1048096
5357.18/713.04	c (710,0) c LitScanFractions_total : 11199270
5357.18/713.04	c (710,0) c LitScanFractions_winner : 1395542
5357.18/713.04	c (710,0) c DecisionLevel0_0 : 9182
5357.18/713.04	c (710,0) c DecisionLevel0_1 : 7319
5357.18/713.04	c (710,0) c DecisionLevel0_2 : 9044
5357.18/713.04	c (710,0) c DecisionLevel0_3 : 9436
5357.18/713.04	c (710,0) c DecisionLevel0_4 : 9776
5357.18/713.04	c (710,0) c DecisionLevel0_5 : 9248
5357.18/713.04	c (710,0) c DecisionLevel0_6 : 7672
5357.18/713.04	c (710,0) c DecisionLevel0_7 : 8554
5357.18/713.04	c (710,0) c DecisionLevel0_total : 70231
5357.18/713.04	c (710,0) c DecisionLevel0_winner : 9776
5357.18/713.04	c (710,0) c Periods_0 : 3964
5357.18/713.04	c (710,0) c Periods_1 : 3964
5357.18/713.04	c (710,0) c Periods_2 : 3964
5357.18/713.04	c (710,0) c Periods_3 : 3964
5357.18/713.04	c (710,0) c Periods_4 : 3964
5357.18/713.04	c (710,0) c Periods_5 : 3964
5357.18/713.04	c (710,0) c Periods_6 : 3964
5357.18/713.04	c (710,0) c Periods_7 : 3964
5357.18/713.04	c (710,0) c Periods_total : 31712
5357.18/713.04	c (710,0) c Periods_winner : 3964
5357.18/713.04	c (710,0) c Margin_0 : 20
5357.18/713.04	c (710,0) c Margin_1 : 20
5357.18/713.04	c (710,0) c Margin_2 : 20
5357.18/713.04	c (710,0) c Margin_3 : 20
5357.18/713.04	c (710,0) c Margin_4 : 20
5357.18/713.04	c (710,0) c Margin_5 : 20
5357.18/713.04	c (710,0) c Margin_6 : 20
5357.18/713.04	c (710,0) c Margin_7 : 20
5357.18/713.04	c (710,0) c Margin_total : 160
5357.18/713.04	c (710,0) c Margin_winner : 20
5357.18/713.04	c (710,0) c Exported_0 : 176848
5357.18/713.04	c (710,0) c Exported_1 : 169984
5357.18/713.04	c (710,0) c Exported_2 : 181455
5357.18/713.04	c (710,0) c Exported_3 : 179486
5357.18/713.04	c (710,0) c Exported_4 : 173862
5357.18/713.04	c (710,0) c Exported_5 : 183109
5357.18/713.04	c (710,0) c Exported_6 : 185728
5357.18/713.04	c (710,0) c Exported_7 : 182158
5357.18/713.04	c (710,0) c Exported_total : 1432630
5357.18/713.04	c (710,0) c Exported_winner : 173862
5357.18/713.04	c (710,0) c Imported_0 : 1250855
5357.18/713.04	c (710,0) c Imported_1 : 1258074
5357.18/713.04	c (710,0) c Imported_2 : 1246123
5357.18/713.04	c (710,0) c Imported_3 : 1248037
5357.18/713.04	c (710,0) c Imported_4 : 1251945
5357.18/713.04	c (710,0) c Imported_5 : 1244708
5357.18/713.04	c (710,0) c Imported_6 : 1241865
5357.18/713.04	c (710,0) c Imported_7 : 1245491
5357.18/713.04	c (710,0) c Imported_total : 9987098
5357.18/713.04	c (710,0) c Imported_winner : 1251945
5357.18/713.04	c (710,0) c Good_0 : 7042
5357.18/713.04	c (710,0) c Good_1 : 7143
5357.18/713.04	c (710,0) c Good_2 : 6986
5357.18/713.04	c (710,0) c Good_3 : 6913
5357.18/713.04	c (710,0) c Good_4 : 6960
5357.18/713.04	c (710,0) c Good_5 : 7021
5357.18/713.04	c (710,0) c Good_6 : 7142
5357.18/713.04	c (710,0) c Good_7 : 7086
5357.18/713.04	c (710,0) c Good_total : 56293
5357.18/713.04	c (710,0) c Good_winner : 6960
5357.18/713.04	c (710,0) c Purge_0 : 1243813
5357.18/713.04	c (710,0) c Purge_1 : 1250931
5357.18/713.04	c (710,0) c Purge_2 : 1239137
5357.18/713.04	c (710,0) c Purge_3 : 1241124
5357.18/713.04	c (710,0) c Purge_4 : 1244985
5357.18/713.04	c (710,0) c Purge_5 : 1237687
5357.18/713.04	c (710,0) c Purge_6 : 1234723
5357.18/713.04	c (710,0) c Purge_7 : 1238405
5357.18/713.04	c (710,0) c Purge_total : 9930805
5357.18/713.04	c (710,0) c Purge_winner : 1244985
5357.18/713.04	c (710,0) c Promoted_0 : 90612
5357.18/713.05	c (710,0) c Promoted_1 : 77518
5357.18/713.05	c (710,0) c Promoted_2 : 92539
5357.18/713.05	c (710,0) c Promoted_3 : 91485
5357.18/713.05	c (710,0) c Promoted_4 : 89845
5357.18/713.05	c (710,0) c Promoted_5 : 90579
5357.18/713.05	c (710,0) c Promoted_6 : 86062
5357.18/713.05	c (710,0) c Promoted_7 : 90455
5357.18/713.05	c (710,0) c Promoted_total : 709095
5357.18/713.05	c (710,0) c Promoted_winner : 89845
5357.18/713.05	c (710,0) c Remove_Imp_0 : 1020700
5357.18/713.05	c (710,0) c Remove_Imp_1 : 801222
5357.18/713.05	c (710,0) c Remove_Imp_2 : 1014449
5357.18/713.05	c (710,0) c Remove_Imp_3 : 1008047
5357.18/713.05	c (710,0) c Remove_Imp_4 : 1029782
5357.18/713.05	c (710,0) c Remove_Imp_5 : 1022440
5357.18/713.05	c (710,0) c Remove_Imp_6 : 999703
5357.18/713.05	c (710,0) c Remove_Imp_7 : 1008026
5357.18/713.05	c (710,0) c Remove_Imp_total : 7904369
5357.18/713.05	c (710,0) c Remove_Imp_winner : 1029782
5357.18/713.05	c (710,0) c Blocked_Reuse_0 : 0
5357.18/713.05	c (710,0) c Blocked_Reuse_1 : 0
5357.18/713.05	c (710,0) c Blocked_Reuse_2 : 0
5357.18/713.05	c (710,0) c Blocked_Reuse_3 : 0
5357.18/713.05	c (710,0) c Blocked_Reuse_4 : 0
5357.18/713.05	c (710,0) c Blocked_Reuse_5 : 0
5357.18/713.05	c (710,0) c Blocked_Reuse_6 : 0
5357.18/713.05	c (710,0) c Blocked_Reuse_7 : 0
5357.18/713.05	c (710,0) c Blocked_Reuse_total : 0
5357.18/713.05	c (710,0) c Blocked_Reuse_winner : 0
5357.18/713.05	c (710,0) c Unaries_0 : 0
5357.18/713.05	c (710,0) c Unaries_1 : 0
5357.18/713.05	c (710,0) c Unaries_2 : 0
5357.18/713.05	c (710,0) c Unaries_3 : 0
5357.18/713.05	c (710,0) c Unaries_4 : 0
5357.18/713.05	c (710,0) c Unaries_5 : 0
5357.18/713.05	c (710,0) c Unaries_6 : 0
5357.18/713.05	c (710,0) c Unaries_7 : 1
5357.18/713.05	c (710,0) c Unaries_total : 1
5357.18/713.05	c (710,0) c Unaries_winner : 0
5357.18/713.05	c (710,0) c Binaries_0 : 1000
5357.18/713.05	c (710,0) c Binaries_1 : 899
5357.18/713.05	c (710,0) c Binaries_2 : 1058
5357.18/713.05	c (710,0) c Binaries_3 : 1131
5357.18/713.05	c (710,0) c Binaries_4 : 1081
5357.18/713.05	c (710,0) c Binaries_5 : 1021
5357.18/713.05	c (710,0) c Binaries_6 : 901
5357.18/713.05	c (710,0) c Binaries_7 : 958
5357.18/713.05	c (710,0) c Binaries_total : 8049
5357.18/713.05	c (710,0) c Binaries_winner : 1081
5357.18/713.05	c (710,0) c Glues_0 : 4542
5357.18/713.05	c (710,0) c Glues_1 : 3919
5357.18/713.05	c (710,0) c Glues_2 : 4607
5357.18/713.05	c (710,0) c Glues_3 : 4740
5357.18/713.05	c (710,0) c Glues_4 : 4719
5357.18/713.05	c (710,0) c Glues_5 : 4638
5357.18/713.05	c (710,0) c Glues_6 : 4170
5357.18/713.05	c (710,0) c Glues_7 : 4515
5357.18/713.05	c (710,0) c Glues_total : 35850
5357.18/713.05	c (710,0) c Glues_winner : 4719
5357.18/713.05	c (710,0) c RunningTime_0 : 667.631846
5357.18/713.05	c (710,0) c RunningTime_1 : 619.157669
5357.18/713.05	c (710,0) c RunningTime_2 : 669.548662
5357.18/713.05	c (710,0) c RunningTime_3 : 696.374857
5357.18/713.05	c (710,0) c RunningTime_4 : 676.340915
5357.18/713.05	c (710,0) c RunningTime_5 : 666.928413
5357.18/713.05	c (710,0) c RunningTime_6 : 661.673884
5357.18/713.05	c (710,0) c RunningTime_7 : 702.296476
5357.18/713.05	c (710,0) c RunningTime_total : 5359.952722
5357.18/713.05	c (710,0) c RunningTime_winner : 676.340915
5357.18/713.05	c (710,0) c WaitingTime_0 : 38.862554
5357.18/713.05	c (710,0) c WaitingTime_1 : 87.402686
5357.18/713.05	c (710,0) c WaitingTime_2 : 36.852271
5357.18/713.05	c (710,0) c WaitingTime_3 : 12.206245
5357.18/713.05	c (710,0) c WaitingTime_4 : 30.066664
5357.18/713.05	c (710,0) c WaitingTime_5 : 39.581083
5357.18/713.05	c (710,0) c WaitingTime_6 : 45.003625
5357.18/713.05	c (710,0) c WaitingTime_7 : 4.134943
5357.18/713.05	c (710,0) c WaitingTime_total : 294.110070
5357.18/713.05	c (710,0) c WaitingTime_winner : 30.066664
5357.18/713.05	c (710,0) c ExchangingTime_0 : 0.608663
5357.18/713.05	c (710,0) c ExchangingTime_1 : 0.656239
5357.18/713.05	c (710,0) c ExchangingTime_2 : 0.662461
5357.18/713.05	c (710,0) c ExchangingTime_3 : 0.639088
5357.18/713.05	c (710,0) c ExchangingTime_4 : 0.647599
5357.18/713.05	c (710,0) c ExchangingTime_5 : 0.642505
5357.18/713.05	c (710,0) c ExchangingTime_6 : 0.635384
5357.18/713.05	c (710,0) c ExchangingTime_7 : 0.601460
5357.18/713.05	c (710,0) c ExchangingTime_total : 5.093399
5357.18/713.05	c (710,0) c ExchangingTime_winner : 0.647599
5357.18/713.05	c (710,0) c PeriodProcTime_0 : 0.035353
5357.18/713.05	c (710,0) c PeriodProcTime_1 : 0.049338
5357.18/713.05	c (710,0) c PeriodProcTime_2 : 0.034480
5357.18/713.05	c (710,0) c PeriodProcTime_3 : 0.039267
5357.18/713.05	c (710,0) c PeriodProcTime_4 : 0.037187
5357.18/713.05	c (710,0) c PeriodProcTime_5 : 0.039035
5357.18/713.05	c (710,0) c PeriodProcTime_6 : 0.033185
5357.18/713.05	c (710,0) c PeriodProcTime_7 : 0.058412
5357.18/713.05	c (710,0) c PeriodProcTime_total : 0.326257
5357.18/713.05	c (710,0) c PeriodProcTime_winner : 0.037187
5357.18/713.05	c (710,0) c SolvingTime_0 : 707.138417
5357.18/713.05	c (710,0) c SolvingTime_1 : 707.265931
5357.18/713.05	c (710,0) c SolvingTime_2 : 707.097873
5357.18/713.05	c (710,0) c SolvingTime_3 : 709.259457
5357.18/713.05	c (710,0) c SolvingTime_4 : 707.092365
5357.18/713.05	c (710,0) c SolvingTime_5 : 707.191036
5357.18/713.05	c (710,0) c SolvingTime_6 : 707.346078
5357.18/713.05	c (710,0) c SolvingTime_7 : 707.091292
5357.18/713.05	c (710,0) c SolvingTime_total : 5659.482448
5357.18/713.05	c (710,0) c SolvingTime_winner : 707.092365
5357.18/713.05	c (710,0) c PropagationTime_0 : 621.346151
5357.18/713.05	c (710,0) c PropagationTime_1 : 604.036239
5357.18/713.05	c (710,0) c PropagationTime_2 : 621.123432
5357.18/713.05	c (710,0) c PropagationTime_3 : 583.933349
5357.18/713.05	c (710,0) c PropagationTime_4 : 588.208760
5357.18/713.05	c (710,0) c PropagationTime_5 : 618.115270
5357.18/713.05	c (710,0) c PropagationTime_6 : 591.342321
5357.18/713.05	c (710,0) c PropagationTime_7 : 583.083815
5357.18/713.05	c (710,0) c PropagationTime_total : 4811.189337
5357.18/713.05	c (710,0) c PropagationTime_winner : 588.208760
5357.18/713.05	c (710,0) c AnalysisTime_0 : 56.480115
5357.18/713.05	c (710,0) c AnalysisTime_1 : 76.861423
5357.18/713.05	c (710,0) c AnalysisTime_2 : 55.966659
5357.18/713.05	c (710,0) c AnalysisTime_3 : 96.283659
5357.18/713.05	c (710,0) c AnalysisTime_4 : 89.955178
5357.18/713.05	c (710,0) c AnalysisTime_5 : 59.448792
5357.18/713.05	c (710,0) c AnalysisTime_6 : 87.940853
5357.18/713.05	c (710,0) c AnalysisTime_7 : 95.099152
5357.18/713.05	c (710,0) c AnalysisTime_total : 618.035830
5357.18/713.05	c (710,0) c AnalysisTime_winner : 89.955178
5357.18/713.05	c (710,0) c ReductionTime_0 : 4.065270
5357.18/713.05	c (710,0) c ReductionTime_1 : 3.311080
5357.18/713.05	c (710,0) c ReductionTime_2 : 4.034116
5357.18/713.05	c (710,0) c ReductionTime_3 : 3.877015
5357.18/713.05	c (710,0) c ReductionTime_4 : 4.019449
5357.18/713.05	c (710,0) c ReductionTime_5 : 3.914383
5357.18/713.05	c (710,0) c ReductionTime_6 : 3.673956
5357.18/713.05	c (710,0) c ReductionTime_7 : 3.887946
5357.18/713.05	c (710,0) c ReductionTime_total : 30.783216
5357.18/713.05	c (710,0) c ReductionTime_winner : 4.019449
5357.18/713.05	c (710,0) c SimplifyTime_0 : 0.022943
5357.18/713.05	c (710,0) c SimplifyTime_1 : 0.020478
5357.18/713.05	c (710,0) c SimplifyTime_2 : 0.023724
5357.18/713.05	c (710,0) c SimplifyTime_3 : 0.023359
5357.18/713.05	c (710,0) c SimplifyTime_4 : 0.024972
5357.18/713.05	c (710,0) c SimplifyTime_5 : 0.030101
5357.18/713.05	c (710,0) c SimplifyTime_6 : 0.036045
5357.18/713.05	c (710,0) c SimplifyTime_7 : 0.022378
5357.18/713.05	c (710,0) c SimplifyTime_total : 0.204000
5357.18/713.05	c (710,0) c SimplifyTime_winner : 0.024972
5357.18/713.05	c (710,0) c UsedRateTime_0 : 0.000000
5357.18/713.05	c (710,0) c UsedRateTime_1 : 0.000000
5357.18/713.05	c (710,0) c UsedRateTime_2 : 0.000000
5357.18/713.05	c (710,0) c UsedRateTime_3 : 0.000000
5357.18/713.05	c (710,0) c UsedRateTime_4 : 0.000000
5357.18/713.05	c (710,0) c UsedRateTime_5 : 0.000000
5357.18/713.05	c (710,0) c UsedRateTime_6 : 0.000000
5357.18/713.05	c (710,0) c UsedRateTime_7 : 0.000000
5357.18/713.05	c (710,0) c UsedRateTime_total : 0.000000
5357.18/713.05	c (710,0) c UsedRateTime_winner : 0.000000
5357.18/713.05	c (710,0) c OverlapRateTime_0 : 0.000000
5357.18/713.05	c (710,0) c OverlapRateTime_1 : 0.000000
5357.18/713.05	c (710,0) c OverlapRateTime_2 : 0.000000
5357.18/713.05	c (710,0) c OverlapRateTime_3 : 0.000000
5357.18/713.05	c (710,0) c OverlapRateTime_4 : 0.000000
5357.18/713.05	c (710,0) c OverlapRateTime_5 : 0.000000
5357.18/713.05	c (710,0) c OverlapRateTime_6 : 0.000000
5357.18/713.05	c (710,0) c OverlapRateTime_7 : 0.000000
5357.18/713.05	c (710,0) c OverlapRateTime_total : 0.000000
5357.18/713.05	c (710,0) c OverlapRateTime_winner : 0.000000
5357.18/713.05	c (710,0) c
5357.18/713.05	c (710,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5357.18/713.05	c (710,0) c
5357.18/713.05	c (710,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5357.18/713.05	c (710,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5357.18/713.05	c (710,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5357.18/713.05	c (710,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5357.18/713.05	c (710,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
5357.18/713.05	c (710,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5357.18/713.05	c (710,0) c | Initial random_seed   | 1639707307 |  571014725 |  714107288 | 2146305609 |   21808208 |  527917848 | 1089630051 |  846801843 |
5357.18/713.05	c (710,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5357.18/713.05	c (710,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5357.18/713.05	c (710,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5357.18/713.05	c (710,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5357.18/713.05	c (710,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5357.18/713.05	c (710,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5357.18/713.05	c (710,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5357.18/713.05	c (710,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5357.18/713.05	c (710,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5357.18/713.05	c (710,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5357.18/713.05	c (710,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5357.18/713.05	c (710,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5357.18/713.05	c (710,0) 
5357.18/713.05	c (710,0) s SATISFIABLE
5357.47/713.11	c (710,0) SatSolver.solve End
5357.47/713.11	c (710,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
5357.47/713.11	c (710,0) Show results Begin
5357.47/713.16	c (710,0) x[0][0] = -17
5357.47/713.16	c (710,0) x[0][1] = 16
5357.47/713.16	c (710,0) x[0][2] = 14
5357.47/713.16	c (710,0) x[0][3] = -13
5357.47/713.16	c (710,0) x[1][0] = 13
5357.47/713.16	c (710,0) x[1][1] = -7
5357.47/713.16	c (710,0) x[1][2] = -12
5357.47/713.16	c (710,0) x[1][3] = 4
5357.47/713.16	c (710,0) x[1][4] = 2
5357.47/713.16	c (710,0) x[2][0] = 9
5357.47/713.16	c (710,0) x[2][1] = 7
5357.47/713.16	c (710,0) x[2][2] = -6
5357.47/713.16	c (710,0) x[2][3] = -1
5357.47/713.16	c (710,0) x[2][4] = -14
5357.47/713.16	c (710,0) x[2][5] = 5
5357.47/713.16	c (710,0) x[3][0] = -5
5357.47/713.16	c (710,0) x[3][1] = 0
5357.47/713.16	c (710,0) x[3][2] = -11
5357.47/713.16	c (710,0) x[3][3] = 10
5357.47/713.16	c (710,0) x[3][4] = 15
5357.47/713.16	c (710,0) x[3][5] = -15
5357.47/713.16	c (710,0) x[3][6] = 6
5357.47/713.16	c (710,0) x[4][0] = -16
5357.47/713.16	c (710,0) x[4][1] = -3
5357.47/713.16	c (710,0) x[4][2] = 1
5357.47/713.16	c (710,0) x[4][3] = 17
5357.47/713.16	c (710,0) x[4][4] = -10
5357.47/713.16	c (710,0) x[4][5] = 11
5357.47/713.16	c (710,0) x[5][0] = 18
5357.47/713.16	c (710,0) x[5][1] = -4
5357.47/713.16	c (710,0) x[5][2] = -18
5357.47/713.16	c (710,0) x[5][3] = 12
5357.47/713.16	c (710,0) x[5][4] = -8
5357.47/713.16	c (710,0) x[6][0] = 3
5357.47/713.16	c (710,0) x[6][1] = -2
5357.47/713.16	c (710,0) x[6][2] = 8
5357.47/713.16	c (710,0) x[6][3] = -9
5357.47/713.16	s SATISFIABLE
5357.47/713.16	v <instantiation>
5357.47/713.16	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3]</list>
5357.47/713.16	v     <values>-17 16 14 -13 13 -7 -12 4 2 9 7 -6 -1 -14 5 -5 0 -11 10 15 -15 6 -16 -3 1 17 -10 11 18 -4 -18 12 -8 3 -2 8 -9</values>
5357.47/713.16	v </instantiation>
5357.47/713.16	c (710,0) Show results End
5357.47/713.16	c (710,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
5357.47/713.16	c (710,0) 710,710,STOP-AFTER(ALL)
5357.47/713.16	c END-Prog: Tue Sep 24 18:22:54 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 (12752 MiB free)
  memory of node 1: 16384 MiB (10071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405475-1569341502/watcher-4405475-1569341502 -o /tmp/evaluation-result-4405475-1569341502/solver-4405475-1569341502 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --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-4405475-1569341502.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=10947, runsolver pid=10944
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 7.65 8.01 7.66 2/212 10969
/proc/meminfo: memFree=23279544/32770624 swapFree=66956496/67108860
[pid=10947] ppid=10944 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10947/stat : 10947 (scop.sh) S 10944 10947 8819 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510421466 115843072 349 33554432000 4194304 5098028 140734175750512 140734175747768 140313286386300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20652032 140734175757092 140734175757420 140734175757420 140734175760333 0
/proc/10947/statm: 28282 349 296 221 0 87 0
[pid=10950] ppid=10947 vsize=27314120 memory=106148 CPUtime=0.1 cores=0-7
/proc/10950/stat : 10950 (java) S 10947 10947 8819 0 -1 1077944320 6109 0 0 0 8 2 0 0 20 0 20 0 510421466 27969658880 26537 33554432000 4194304 4196468 140723409394432 140723409376976 139982939786999 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
/proc/10950/statm: 6828530 26537 2800 1 0 6790935 0
[pid=10950/tid=10951] ppid=10947 vsize=27314120 memory=8328451419030854044 CPUtime=0.09 cores=0-7
/proc/10950/task/10951/stat : 10951 (java) R 10947 10947 8819 0 -1 4202560 4210 0 0 0 7 2 0 0 20 0 20 0 510421466 27969658880 26537 33554432000 4194304 4196468 140723409394432 139982911591920 139982939808925 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10952] ppid=10947 vsize=27314120 memory=732370517870488549 CPUtime=0 cores=0-7
/proc/10950/task/10952/stat : 10952 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 26537 33554432000 4194304 4196468 140723409394432 139982944029072 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10953] ppid=10947 vsize=27314120 memory=140379533035136 CPUtime=0 cores=0-7
/proc/10950/task/10953/stat : 10953 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 26537 33554432000 4194304 4196468 140723409394432 139982727424272 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10954] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10954/stat : 10954 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 26537 33554432000 4194304 4196468 140723409394432 139982726371984 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10955] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10955/stat : 10955 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 26537 33554432000 4194304 4196468 140723409394432 139982725319184 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10956] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10956/stat : 10956 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 26537 33554432000 4194304 4196468 140723409394432 139982724266896 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10957] ppid=10947 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10950/task/10957/stat : 10957 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 26537 33554432000 4194304 4196468 140723409394432 139982723214096 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10958] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10958/stat : 10958 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 26537 33554432000 4194304 4196468 140723409394432 139982722161808 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10959] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10959/stat : 10959 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 26537 33554432000 4194304 4196468 140723409394432 139982721109008 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10960] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10960/stat : 10960 (java) S 10947 10947 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510421470 27969658880 26537 33554432000 4194304 4196468 140723409394432 139982199056496 139982939798146 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10961] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10961/stat : 10961 (java) S 10947 10947 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510421471 27969658880 26537 33554432000 4194304 4196468 140723409394432 139980567470880 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10962] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10962/stat : 10962 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421471 27969658880 26537 33554432000 4194304 4196468 140723409394432 139980299035760 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10963] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10963/stat : 10963 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421473 27969658880 26537 33554432000 4194304 4196468 140723409394432 139979924527184 139982939805595 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10964] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10964/stat : 10964 (java) S 10947 10947 8819 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 510421473 27969658880 27049 33554432000 4194304 4196468 140723409394432 139982198004336 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10965] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10965/stat : 10965 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421473 27969658880 27049 33554432000 4194304 4196468 140723409394432 139982196951536 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10966] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10966/stat : 10966 (java) S 10947 10947 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510421473 27969658880 27049 33554432000 4194304 4196468 140723409394432 139982195899248 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10967] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10967/stat : 10967 (java) S 10947 10947 8819 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 510421473 27969658880 27049 33554432000 4194304 4196468 140723409394432 139982194846448 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10968] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10968/stat : 10968 (java) S 10947 10947 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510421474 27969658880 27049 33554432000 4194304 4196468 140723409394432 139979426621792 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10969] ppid=10947 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10950/task/10969/stat : 10969 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421474 27969658880 27049 33554432000 4194304 4196468 140723409394432 139982193793328 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107544 KiB

[startup+0.210255 s]*
/proc/loadavg: 7.65 8.01 7.66 2/212 10969
/proc/meminfo: memFree=23258024/32770624 swapFree=66956496/67108860
[pid=10947] ppid=10944 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10947/stat : 10947 (scop.sh) S 10944 10947 8819 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510421466 115843072 349 33554432000 4194304 5098028 140734175750512 140734175747768 140313286386300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20652032 140734175757092 140734175757420 140734175757420 140734175760333 0
/proc/10947/statm: 28282 349 296 221 0 87 0
[pid=10950] ppid=10947 vsize=27314120 memory=125484 CPUtime=0.24 cores=0-7
/proc/10950/stat : 10950 (java) S 10947 10947 8819 0 -1 1077944320 11725 0 0 0 20 4 0 0 20 0 20 0 510421466 27969658880 31371 33554432000 4194304 4196468 140723409394432 140723409376976 139982939786999 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
/proc/10950/statm: 6828530 31371 2926 1 0 6790935 0
[pid=10950/tid=10951] ppid=10947 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/10950/task/10951/stat : 10951 (java) R 10947 10947 8819 0 -1 4202560 9425 0 0 0 16 3 0 0 20 0 20 0 510421466 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982911586384 139982921350593 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10952] ppid=10947 vsize=27314120 memory=732370517870488549 CPUtime=0 cores=0-7
/proc/10950/task/10952/stat : 10952 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982944029072 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10953] ppid=10947 vsize=27314120 memory=140379533035136 CPUtime=0 cores=0-7
/proc/10950/task/10953/stat : 10953 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982727424272 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10954] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10954/stat : 10954 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982726371984 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10955] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10955/stat : 10955 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982725319184 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10956] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10956/stat : 10956 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982724266896 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10957] ppid=10947 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10950/task/10957/stat : 10957 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982723214096 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10958] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10958/stat : 10958 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982722161808 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10959] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10959/stat : 10959 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982721109008 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10960] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10960/stat : 10960 (java) S 10947 10947 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510421470 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982199056496 139982939798146 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10961] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10961/stat : 10961 (java) S 10947 10947 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510421471 27969658880 31371 33554432000 4194304 4196468 140723409394432 139980567470880 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10962] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10962/stat : 10962 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421471 27969658880 31371 33554432000 4194304 4196468 140723409394432 139980299035760 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10963] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10963/stat : 10963 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421473 27969658880 31371 33554432000 4194304 4196468 140723409394432 139979924527184 139982939805595 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10964] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10964/stat : 10964 (java) S 10947 10947 8819 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 510421473 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982198004336 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10965] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10965/stat : 10965 (java) S 10947 10947 8819 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 510421473 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982196951536 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10966] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10966/stat : 10966 (java) S 10947 10947 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510421473 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982195899248 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10967] ppid=10947 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/10950/task/10967/stat : 10967 (java) S 10947 10947 8819 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 510421473 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982194846448 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10968] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10968/stat : 10968 (java) S 10947 10947 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510421474 27969658880 31371 33554432000 4194304 4196468 140723409394432 139979426621792 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10969] ppid=10947 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10950/task/10969/stat : 10969 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421474 27969658880 31371 33554432000 4194304 4196468 140723409394432 139982193793328 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126880 KiB

[startup+0.309481 s]*
/proc/loadavg: 7.65 8.01 7.66 2/212 10969
/proc/meminfo: memFree=23254488/32770624 swapFree=66956496/67108860
[pid=10947] ppid=10944 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10947/stat : 10947 (scop.sh) S 10944 10947 8819 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510421466 115843072 349 33554432000 4194304 5098028 140734175750512 140734175747768 140313286386300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20652032 140734175757092 140734175757420 140734175757420 140734175760333 0
/proc/10947/statm: 28282 349 296 221 0 87 0
[pid=10950] ppid=10947 vsize=27314120 memory=129512 CPUtime=0.42 cores=0-7
/proc/10950/stat : 10950 (java) S 10947 10947 8819 0 -1 1077944320 12302 0 0 0 38 4 0 0 20 0 20 0 510421466 27969658880 32378 33554432000 4194304 4196468 140723409394432 140723409376976 139982939786999 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
/proc/10950/statm: 6828530 32378 3033 1 0 6790935 0
[pid=10950/tid=10951] ppid=10947 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10950/task/10951/stat : 10951 (java) R 10947 10947 8819 0 -1 4202560 9786 0 0 0 26 3 0 0 20 0 20 0 510421466 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982911611552 139982920062880 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10952] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10952/stat : 10952 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982944029072 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10953] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10953/stat : 10953 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982727424272 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10954] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10954/stat : 10954 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982726371984 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10955] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10955/stat : 10955 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982725319184 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10956] ppid=10947 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10950/task/10956/stat : 10956 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982724266896 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10957] ppid=10947 vsize=27314120 memory=140379395552175 CPUtime=0 cores=0-7
/proc/10950/task/10957/stat : 10957 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982723214096 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10958] ppid=10947 vsize=27314120 memory=140379395554480 CPUtime=0 cores=0-7
/proc/10950/task/10958/stat : 10958 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982722161808 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10959] ppid=10947 vsize=27314120 memory=140379395556784 CPUtime=0 cores=0-7
/proc/10950/task/10959/stat : 10959 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982721109008 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10960] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10960/stat : 10960 (java) S 10947 10947 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510421470 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982199056496 139982939798146 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10961] ppid=10947 vsize=27314120 memory=280758791120528 CPUtime=0 cores=0-7
/proc/10950/task/10961/stat : 10961 (java) S 10947 10947 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510421471 27969658880 32378 33554432000 4194304 4196468 140723409394432 139980567470880 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10962] ppid=10947 vsize=27314120 memory=280758791127440 CPUtime=0 cores=0-7
/proc/10950/task/10962/stat : 10962 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421471 27969658880 32378 33554432000 4194304 4196468 140723409394432 139980299035760 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10963] ppid=10947 vsize=27314120 memory=280758791068720 CPUtime=0 cores=0-7
/proc/10950/task/10963/stat : 10963 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421473 27969658880 32378 33554432000 4194304 4196468 140723409394432 139979924527184 139982939805595 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10964] ppid=10947 vsize=27314120 memory=280758791141264 CPUtime=0.01 cores=0-7
/proc/10950/task/10964/stat : 10964 (java) S 10947 10947 8819 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 20 0 510421473 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982198004336 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10965] ppid=10947 vsize=27314120 memory=280758791148176 CPUtime=0.01 cores=0-7
/proc/10950/task/10965/stat : 10965 (java) S 10947 10947 8819 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 20 0 510421473 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982196951536 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10966] ppid=10947 vsize=27314120 memory=280758791145872 CPUtime=0.01 cores=0-7
/proc/10950/task/10966/stat : 10966 (java) R 10947 10947 8819 0 -1 4202560 49 0 0 0 1 0 0 0 20 0 20 0 510421473 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982195899248 139982932076448 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10967] ppid=10947 vsize=27314120 memory=280758791162032 CPUtime=0.07 cores=0-7
/proc/10950/task/10967/stat : 10967 (java) S 10947 10947 8819 0 -1 1077944384 528 0 0 0 7 0 0 0 20 0 20 0 510421473 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982194846448 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10968] ppid=10947 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10950/task/10968/stat : 10968 (java) S 10947 10947 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510421474 27969658880 32378 33554432000 4194304 4196468 140723409394432 139979426621792 139982939797205 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10969] ppid=10947 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10950/task/10969/stat : 10969 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510421474 27969658880 32378 33554432000 4194304 4196468 140723409394432 139982193793328 139982939798146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130908 KiB

[startup+0.700886 s]
/proc/loadavg: 7.65 8.01 7.66 2/212 10969
/proc/meminfo: memFree=23233272/32770624 swapFree=66956496/67108860
[pid=10947] ppid=10944 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10947/stat : 10947 (scop.sh) S 10944 10947 8819 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510421466 115843072 349 33554432000 4194304 5098028 140734175750512 140734175747768 140313286386300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20652032 140734175757092 140734175757420 140734175757420 140734175760333 0
/proc/10947/statm: 28282 349 296 221 0 87 0
[pid=10950] ppid=10947 vsize=27323540 memory=165736 CPUtime=0.99 cores=0-7
/proc/10950/stat : 10950 (java) S 10947 10947 8819 0 -1 1077944320 20076 0 0 0 92 7 0 0 20 0 20 0 510421466 27979304960 41434 33554432000 4194304 4196468 140723409394432 140723409376976 139982939786999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
/proc/10950/statm: 6830885 41434 3203 1 0 6792215 0
[pid=10950/tid=10951] ppid=10947 vsize=27323540 memory=280758791456960 CPUtime=0.68 cores=0-7
/proc/10950/task/10951/stat : 10951 (java) R 10947 10947 8819 0 -1 4202560 17075 0 0 0 62 6 0 0 20 0 20 0 510421466 27979304960 41434 33554432000 4194304 4196468 140723409394432 139982911604384 139982932526989 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10952] ppid=10947 vsize=27323540 memory=1560 CPUtime=0 cores=0-7
/proc/10950/task/10952/stat : 10952 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27979304960 41434 33554432000 4194304 4196468 140723409394432 139982944029072 139982939797205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10953] ppid=10947 vsize=27322516 memory=976 CPUtime=0 cores=0-7
/proc/10950/task/10953/stat : 10953 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27978256384 41456 33554432000 4194304 4196468 140723409394432 139982727424272 139982939797205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0
[pid=10950/tid=10954] ppid=10947 vsize=27322516 memory=772 CPUtime=0 cores=0-7
/proc/10950/task/10954/stat : 10954 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510421469 27978256384 41456 33554432000 4194304 4196468 140723409394432 139982726371984 139982939797205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140723409396458 140723409396886 140723409396886 140723409399759 0

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

/proc/10970/task/10976/stat : 10976 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628247886224 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10977] ppid=10947 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/10970/task/10977/stat : 10977 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628246833424 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10978] ppid=10947 vsize=8414124 memory=14979957692565256 CPUtime=0 cores=0-7
/proc/10970/task/10978/stat : 10978 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628245781136 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10979] ppid=10947 vsize=8414124 memory=6172 CPUtime=0 cores=0-7
/proc/10970/task/10979/stat : 10979 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628244728336 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10980] ppid=10947 vsize=8414124 memory=1124 CPUtime=0.03 cores=0-7
/proc/10970/task/10980/stat : 10980 (java) S 10947 10947 8819 0 -1 1077944384 12 0 0 0 1 2 0 0 20 0 24 0 510421719 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627540060784 140628446644866 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10981] ppid=10947 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/10970/task/10981/stat : 10981 (java) S 10947 10947 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510421720 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627027158304 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10982] ppid=10947 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/10970/task/10982/stat : 10982 (java) S 10947 10947 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510421720 8616062976 30812 33554432000 4194304 4196468 140728948662048 140626892936816 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10983] ppid=10947 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/10970/task/10983/stat : 10983 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510421722 8616062976 30812 33554432000 4194304 4196468 140728948662048 140626518432336 140628446652315 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10984] ppid=10947 vsize=8414124 memory=21980 CPUtime=0.06 cores=0-7
/proc/10970/task/10984/stat : 10984 (java) S 10947 10947 8819 0 -1 1077944384 611 0 0 0 6 0 0 0 20 0 24 0 510421722 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627539007600 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10985] ppid=10947 vsize=8414124 memory=-9175628409135722898 CPUtime=0.09 cores=0-7
/proc/10970/task/10985/stat : 10985 (java) S 10947 10947 8819 0 -1 1077944384 328 0 0 0 9 0 0 0 20 0 24 0 510421722 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627537954800 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10986] ppid=10947 vsize=8414124 memory=7378981333513754209 CPUtime=0.12 cores=0-7
/proc/10970/task/10986/stat : 10986 (java) S 10947 10947 8819 0 -1 1077944384 544 0 0 0 12 0 0 0 20 0 24 0 510421722 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627536902512 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10987] ppid=10947 vsize=8414124 memory=7451325861146812778 CPUtime=0.25 cores=0-7
/proc/10970/task/10987/stat : 10987 (java) S 10947 10947 8819 0 -1 1077944384 790 0 0 0 25 0 0 0 20 0 24 0 510421722 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627535849712 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10988] ppid=10947 vsize=8414124 memory=7451325861146812778 CPUtime=0 cores=0-7
/proc/10970/task/10988/stat : 10988 (java) S 10947 10947 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510421723 8616062976 30812 33554432000 4194304 4196468 140728948662048 140626020526944 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10989] ppid=10947 vsize=8414124 memory=8028060405084283987 CPUtime=0.43 cores=0-7
/proc/10970/task/10989/stat : 10989 (java) S 10947 10947 8819 0 -1 1077944384 49 0 0 0 23 20 0 0 20 0 24 0 510421723 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627534797616 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10991] ppid=10947 vsize=8414124 memory=7524780861500254818 CPUtime=0 cores=0-7
/proc/10970/task/10991/stat : 10991 (java) S 10947 10947 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510421792 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627526764352 140628446658329 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10993] ppid=10947 vsize=8414124 memory=7589813770506430573 CPUtime=0.03 cores=0-7
/proc/10970/task/10993/stat : 10993 (java) S 10947 10947 8819 0 -1 4202560 1686 0 0 0 1 2 0 0 20 0 24 0 510421792 8616062976 30812 33554432000 4194304 4196468 140728948662048 140625349426608 140628446655645 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10994] ppid=10947 vsize=8414124 memory=8028060405084283987 CPUtime=0 cores=0-7
/proc/10970/task/10994/stat : 10994 (java) S 10947 10947 8819 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510421792 8616062976 30812 33554432000 4194304 4196468 140728948662048 140625617861936 140628446655645 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10995] ppid=10947 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10970/task/10995/stat : 10995 (java) S 10947 10947 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510421794 8616062976 30812 33554432000 4194304 4196468 140728948662048 140625080999216 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
Current children cumulated CPU time: 5356.97 s
Current children cumulated vsize: 9691976 KiB
Current children cumulated memory: 1151448 KiB

[startup+713.001 s]*
/proc/loadavg: 7.26 7.66 7.72 2/218 11055
/proc/meminfo: memFree=22233672/32770624 swapFree=66956496/67108860
[pid=10947] ppid=10944 vsize=113128 memory=1476 CPUtime=6.64 cores=0-7
/proc/10947/stat : 10947 (scop.sh) S 10944 10947 8819 0 -1 4202496 583 27168 0 0 0 0 646 18 20 0 1 0 510421466 115843072 369 33554432000 4194304 5098028 140734175750512 140734175747256 140313286386300 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20652032 140734175757092 140734175757420 140734175757420 140734175760333 0
/proc/10947/statm: 28282 369 311 221 0 87 0
[pid=10970] ppid=10947 vsize=8414124 memory=123248 CPUtime=1.85 cores=0-7
/proc/10970/stat : 10970 (java) S 10947 10947 8819 0 -1 1077944320 22384 0 0 0 171 14 0 0 20 0 24 0 510421716 8616062976 30812 33554432000 4194304 4196468 140728948662048 140728948644592 140628446633719 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
/proc/10970/statm: 2103531 30812 3216 1 0 2064875 0
[pid=10990] ppid=10970 vsize=1164724 memory=1026724 CPUtime=5348.69 cores=0-7
/proc/10990/stat : 10990 (manyglucose-4.1) S 10970 10947 8819 0 -1 1077944320 3116050 0 0 0 534241 628 0 0 20 0 2 0 510421791 1192677376 256681 33554432000 4194304 4454172 140734969054496 140734969052880 140472816324343 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 29417472 140734969058153 140734969058352 140734969058352 140734969061306 0
/proc/10990/statm: 291181 256681 424 64 0 286849 0
[pid=10990/tid=10999] ppid=10970 vsize=1164724 memory=7589813770506430573 CPUtime=696.11 cores=0-7
/proc/10990/task/10999/stat : 10999 (manyglucose-4.1) R 10970 10947 8819 0 -1 4202560 394593 0 0 0 69544 67 0 0 20 0 2 0 510421822 1192677376 256681 33554432000 4194304 4454172 140734969054496 140472761609352 4351751 0 4 0 8388610 0 0 0 -1 6 0 0 1 0 0 6552832 6554400 29417472 140734969058153 140734969058352 140734969058352 140734969061306 0
[pid=10970/tid=10971] ppid=10947 vsize=8414124 memory=-9175628409135722898 CPUtime=0.78 cores=0-7
/proc/10970/task/10971/stat : 10971 (java) S 10947 10947 8819 0 -1 1077944384 16960 0 0 0 72 6 0 0 20 0 24 0 510421717 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628418473888 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10972] ppid=10947 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/10970/task/10972/stat : 10972 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628450876304 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10973] ppid=10947 vsize=8414124 memory=21980 CPUtime=0 cores=0-7
/proc/10970/task/10973/stat : 10973 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628251044624 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10974] ppid=10947 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/10970/task/10974/stat : 10974 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628249992336 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10975] ppid=10947 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/10970/task/10975/stat : 10975 (java) S 10947 10947 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628248939536 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10976] ppid=10947 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/10970/task/10976/stat : 10976 (java) S 10947 10947 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628247886224 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10977] ppid=10947 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/10970/task/10977/stat : 10977 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628246833424 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10978] ppid=10947 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/10970/task/10978/stat : 10978 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628245781136 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10979] ppid=10947 vsize=8414124 memory=30756 CPUtime=0 cores=0-7
/proc/10970/task/10979/stat : 10979 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510421718 8616062976 30812 33554432000 4194304 4196468 140728948662048 140628244728336 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10980] ppid=10947 vsize=8414124 memory=1328 CPUtime=0.03 cores=0-7
/proc/10970/task/10980/stat : 10980 (java) S 10947 10947 8819 0 -1 1077944384 12 0 0 0 1 2 0 0 20 0 24 0 510421719 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627540060784 140628446644866 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10981] ppid=10947 vsize=8414124 memory=3467829025926296145 CPUtime=0 cores=0-7
/proc/10970/task/10981/stat : 10981 (java) S 10947 10947 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510421720 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627027158304 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10982] ppid=10947 vsize=8414124 memory=6081389379021728102 CPUtime=0 cores=0-7
/proc/10970/task/10982/stat : 10982 (java) S 10947 10947 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510421720 8616062976 30812 33554432000 4194304 4196468 140728948662048 140626892936816 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10983] ppid=10947 vsize=8414124 memory=6081389379021728102 CPUtime=0 cores=0-7
/proc/10970/task/10983/stat : 10983 (java) S 10947 10947 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510421722 8616062976 30812 33554432000 4194304 4196468 140728948662048 140626518432336 140628446652315 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10984] ppid=10947 vsize=8414124 memory=6081389379021728102 CPUtime=0.06 cores=0-7
/proc/10970/task/10984/stat : 10984 (java) S 10947 10947 8819 0 -1 1077944384 611 0 0 0 6 0 0 0 20 0 24 0 510421722 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627539007600 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10985] ppid=10947 vsize=8414124 memory=6081389379021728102 CPUtime=0.09 cores=0-7
/proc/10970/task/10985/stat : 10985 (java) S 10947 10947 8819 0 -1 1077944384 328 0 0 0 9 0 0 0 20 0 24 0 510421722 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627537954800 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10986] ppid=10947 vsize=8414124 memory=6081389379021728102 CPUtime=0.12 cores=0-7
/proc/10970/task/10986/stat : 10986 (java) S 10947 10947 8819 0 -1 1077944384 544 0 0 0 12 0 0 0 20 0 24 0 510421722 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627536902512 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10987] ppid=10947 vsize=8414124 memory=6081389379021728102 CPUtime=0.25 cores=0-7
/proc/10970/task/10987/stat : 10987 (java) S 10947 10947 8819 0 -1 1077944384 790 0 0 0 25 0 0 0 20 0 24 0 510421722 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627535849712 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10988] ppid=10947 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/10970/task/10988/stat : 10988 (java) S 10947 10947 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510421723 8616062976 30812 33554432000 4194304 4196468 140728948662048 140626020526944 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10989] ppid=10947 vsize=8414124 memory=51892 CPUtime=0.43 cores=0-7
/proc/10970/task/10989/stat : 10989 (java) S 10947 10947 8819 0 -1 1077944384 49 0 0 0 23 20 0 0 20 0 24 0 510421723 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627534797616 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10991] ppid=10947 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10970/task/10991/stat : 10991 (java) S 10947 10947 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510421792 8616062976 30812 33554432000 4194304 4196468 140728948662048 140627526764352 140628446658329 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10993] ppid=10947 vsize=8414124 memory=123248 CPUtime=0.03 cores=0-7
/proc/10970/task/10993/stat : 10993 (java) S 10947 10947 8819 0 -1 4202560 1686 0 0 0 1 2 0 0 20 0 24 0 510421792 8616062976 30812 33554432000 4194304 4196468 140728948662048 140625349426608 140628446655645 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10994] ppid=10947 vsize=8414124 memory=1026644 CPUtime=0 cores=0-7
/proc/10970/task/10994/stat : 10994 (java) S 10947 10947 8819 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510421792 8616062976 30812 33554432000 4194304 4196468 140728948662048 140625617861936 140628446655645 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10995] ppid=10947 vsize=8414124 memory=8028060405084283987 CPUtime=0 cores=0-7
/proc/10970/task/10995/stat : 10995 (java) S 10947 10947 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510421794 8616062976 30812 33554432000 4194304 4196468 140728948662048 140625080999216 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
Current children cumulated CPU time: 5357.18 s
Current children cumulated vsize: 9691976 KiB
Current children cumulated memory: 1151448 KiB

[startup+713.109 s]
/proc/loadavg: 7.26 7.66 7.72 2/218 11055
/proc/meminfo: memFree=22233672/32770624 swapFree=66956496/67108860
[pid=10947] ppid=10944 vsize=113128 memory=1476 CPUtime=6.64 cores=0-7
/proc/10947/stat : 10947 (scop.sh) S 10944 10947 8819 0 -1 4202496 583 27168 0 0 0 0 646 18 20 0 1 0 510421466 115843072 369 33554432000 4194304 5098028 140734175750512 140734175747256 140313286386300 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20652032 140734175757092 140734175757420 140734175757420 140734175760333 0
/proc/10947/statm: 28282 369 311 221 0 87 0
[pid=10970] ppid=10947 vsize=8414124 memory=136312 CPUtime=5350.83 cores=0-7
/proc/10970/stat : 10970 (java) S 10947 10947 8819 0 -1 1077944320 22679 3116082 0 0 190 15 534246 632 20 0 23 0 510421716 8616062976 34078 33554432000 4194304 4196468 140728948662048 140728948644592 140628446633719 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
/proc/10970/statm: 2103531 34078 3223 1 0 2064875 0
[pid=10970/tid=10971] ppid=10947 vsize=8414124 memory=956392 CPUtime=5349.56 cores=0-7
/proc/10970/task/10971/stat : 10971 (java) S 10947 10947 8819 0 -1 1077944384 16960 3116082 0 0 72 6 534246 632 20 0 23 0 510421717 8616062976 34078 33554432000 4194304 4196468 140728948662048 140628418473888 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10972] ppid=10947 vsize=8414124 memory=123248 CPUtime=5348.78 cores=0-7
/proc/10970/task/10972/stat : 10972 (java) S 10947 10947 8819 0 -1 1077944384 1 3116082 0 0 0 0 534246 632 20 0 23 0 510421718 8616062976 34078 33554432000 4194304 4196468 140728948662048 140628450876304 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10973] ppid=10947 vsize=8414124 memory=123248 CPUtime=5348.78 cores=0-7
/proc/10970/task/10973/stat : 10973 (java) S 10947 10947 8819 0 -1 1077944384 2 3116082 0 0 0 0 534246 632 20 0 23 0 510421718 8616062976 34078 33554432000 4194304 4196468 140728948662048 140628251044624 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10974] ppid=10947 vsize=8414124 memory=123248 CPUtime=5348.78 cores=0-7
/proc/10970/task/10974/stat : 10974 (java) S 10947 10947 8819 0 -1 1077944384 1 3116082 0 0 0 0 534246 632 20 0 23 0 510421718 8616062976 34078 33554432000 4194304 4196468 140728948662048 140628249992336 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10975] ppid=10947 vsize=8414124 memory=123248 CPUtime=5348.78 cores=0-7
/proc/10970/task/10975/stat : 10975 (java) S 10947 10947 8819 0 -1 1077944384 3 3116082 0 0 0 0 534246 632 20 0 23 0 510421718 8616062976 34078 33554432000 4194304 4196468 140728948662048 140628248939536 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10976] ppid=10947 vsize=8414124 memory=1476 CPUtime=5348.78 cores=0-7
/proc/10970/task/10976/stat : 10976 (java) S 10947 10947 8819 0 -1 1077944384 2 3116082 0 0 0 0 534246 632 20 0 23 0 510421718 8616062976 34118 33554432000 4194304 4196468 140728948662048 140628247886224 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10977] ppid=10947 vsize=8414124 memory=956008 CPUtime=5348.78 cores=0-7
/proc/10970/task/10977/stat : 10977 (java) S 10947 10947 8819 0 -1 1077944384 1 3116082 0 0 0 0 534246 632 20 0 23 0 510421718 8616062976 34118 33554432000 4194304 4196468 140728948662048 140628246833424 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10978] ppid=10947 vsize=8414124 memory=1476 CPUtime=5348.78 cores=0-7
/proc/10970/task/10978/stat : 10978 (java) S 10947 10947 8819 0 -1 1077944384 1 3116082 0 0 0 0 534246 632 20 0 23 0 510421718 8616062976 34118 33554432000 4194304 4196468 140728948662048 140628245781136 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10979] ppid=10947 vsize=8414124 memory=123248 CPUtime=5348.78 cores=0-7
/proc/10970/task/10979/stat : 10979 (java) S 10947 10947 8819 0 -1 1077944384 1 3116082 0 0 0 0 534246 632 20 0 23 0 510421718 8616062976 34118 33554432000 4194304 4196468 140728948662048 140628244728336 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10980] ppid=10947 vsize=8414124 memory=993608 CPUtime=5348.81 cores=0-7
/proc/10970/task/10980/stat : 10980 (java) S 10947 10947 8819 0 -1 1077944384 12 3116082 0 0 1 2 534246 632 20 0 23 0 510421719 8616062976 34118 33554432000 4194304 4196468 140728948662048 140627540060784 140628446644866 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10981] ppid=10947 vsize=8414124 memory=1564 CPUtime=5348.78 cores=0-7
/proc/10970/task/10981/stat : 10981 (java) S 10947 10947 8819 0 -1 1077944384 13 3116082 0 0 0 0 534246 632 20 0 23 0 510421720 8616062976 34118 33554432000 4194304 4196468 140728948662048 140627027158304 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10982] ppid=10947 vsize=8414124 memory=924 CPUtime=5348.78 cores=0-7
/proc/10970/task/10982/stat : 10982 (java) S 10947 10947 8819 0 -1 1077944384 21 3116082 0 0 0 0 534246 632 20 0 23 0 510421720 8616062976 34118 33554432000 4194304 4196468 140728948662048 140626892936816 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10983] ppid=10947 vsize=8414124 memory=951912 CPUtime=5348.78 cores=0-7
/proc/10970/task/10983/stat : 10983 (java) S 10947 10947 8819 0 -1 1077944384 1 3116082 0 0 0 0 534246 632 20 0 23 0 510421722 8616062976 34118 33554432000 4194304 4196468 140728948662048 140626518432336 140628446652315 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10984] ppid=10947 vsize=8414124 memory=1476 CPUtime=5348.87 cores=0-7
/proc/10970/task/10984/stat : 10984 (java) S 10947 10947 8819 0 -1 1077944384 630 3116082 0 0 9 0 534246 632 20 0 23 0 510421722 8616062976 34118 33554432000 4194304 4196468 140728948662048 140627539007600 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10985] ppid=10947 vsize=8414124 memory=140379396602897 CPUtime=5348.9 cores=0-7
/proc/10970/task/10985/stat : 10985 (java) R 10947 10947 8819 0 -1 4202560 359 3116082 0 0 12 0 534246 632 20 0 23 0 510421722 8616062976 34118 33554432000 4194304 4196468 140728948662048 140627537954800 140628424800200 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10986] ppid=10947 vsize=8414124 memory=145 CPUtime=5348.94 cores=0-7
/proc/10970/task/10986/stat : 10986 (java) S 10947 10947 8819 0 -1 1077944384 557 3116082 0 0 16 0 534246 632 20 0 23 0 510421722 8616062976 34118 33554432000 4194304 4196468 140728948662048 140627536902512 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10987] ppid=10947 vsize=8414124 memory=123248 CPUtime=5349.06 cores=0-7
/proc/10970/task/10987/stat : 10987 (java) S 10947 10947 8819 0 -1 1077944384 935 3116082 0 0 28 0 534246 632 20 0 23 0 510421722 8616062976 34118 33554432000 4194304 4196468 140728948662048 140627535849712 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10988] ppid=10947 vsize=8414124 memory=1476 CPUtime=5348.78 cores=0-7
/proc/10970/task/10988/stat : 10988 (java) S 10947 10947 8819 0 -1 1077944384 3 3116082 0 0 0 0 534246 632 20 0 23 0 510421723 8616062976 34118 33554432000 4194304 4196468 140728948662048 140626020526944 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10989] ppid=10947 vsize=8414124 memory=123248 CPUtime=5349.21 cores=0-7
/proc/10970/task/10989/stat : 10989 (java) S 10947 10947 8819 0 -1 1077944384 49 3116082 0 0 23 20 534246 632 20 0 23 0 510421723 8616062976 34118 33554432000 4194304 4196468 140728948662048 140627534797616 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10991] ppid=10947 vsize=8414124 memory=1476 CPUtime=5348.78 cores=0-7
/proc/10970/task/10991/stat : 10991 (java) S 10947 10947 8819 0 -1 1077944384 25 3116082 0 0 0 0 534246 632 20 0 23 0 510421792 8616062976 34118 33554432000 4194304 4196468 140728948662048 140627526763536 140628446644866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10993] ppid=10947 vsize=8414124 memory=123248 CPUtime=5348.88 cores=0-7
/proc/10970/task/10993/stat : 10993 (java) R 10947 10947 8819 0 -1 4202560 1770 3116082 0 0 8 2 534246 632 20 0 23 0 510421792 8616062976 34118 33554432000 4194304 4196468 140728948662048 140625349432800 140628446645654 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
[pid=10970/tid=10995] ppid=10947 vsize=8414124 memory=8444 CPUtime=5348.78 cores=0-7
/proc/10970/task/10995/stat : 10995 (java) S 10947 10947 8819 0 -1 1077944384 5 3116082 0 0 0 0 534246 632 20 0 23 0 510421794 8616062976 34118 33554432000 4194304 4196468 140728948662048 140625080998976 140628446643925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33980416 140728948667383 140728948667542 140728948667542 140728948670415 0
Current children cumulated CPU time: 5357.47 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 137788 KiB

Child status: 0
Real time (s): 713.186
CPU time (s): 5357.66
CPU user time (s): 5350.99
CPU system time (s): 6.67484
CPU usage (%): 751.229
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1179848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5350.99
system time used= 6.67483
maximum resident set size= 1069256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3166831
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32938
involuntary context switches= 52843


# summary of solver processes directly reported to runsolver:
#   pid: 10947
#   total CPU time (s): 5357.66
#   total CPU user time (s): 5350.99
#   total CPU system time (s): 6.67484

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77527 second user time and 9.77481 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 18:11:01
IDJOB=4405475
IDBENCH=133653
IDSOLVER=2868
FILE ID=node151/4405475-1569341502
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-04-m018.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-4405475-1569341502/watcher-4405475-1569341502 -o /tmp/evaluation-result-4405475-1569341502/solver-4405475-1569341502 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --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-4405475-1569341502.xml

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

MD5SUM BENCH= e1b631bab6f8bd4ad65377e678a0b81e
RANDOM SEED=1301745985

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23372836 kB
MemAvailable:   31794684 kB
Buffers:           91304 kB
Cached:          8490856 kB
SwapCached:        50744 kB
Active:          2729176 kB
Inactive:        5908808 kB
Active(anon):       3984 kB
Inactive(anon):   106476 kB
Active(file):    2725192 kB
Inactive(file):  5802332 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956496 kB
Dirty:             20768 kB
Writeback:             0 kB
AnonPages:        169428 kB
Mapped:            54168 kB
Shmem:             45960 kB
Slab:             351704 kB
SReclaimable:     322784 kB
SUnreclaim:        28920 kB
KernelStack:        3856 kB
PageTables:         4696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 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= 12392 MiB
End job on node151 at 2019-09-24 18:22:54