Trace number 4392449

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 2880.71 407.743

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5/
mdd-7-25-5-56-17.xml
MD5SUM9efca6d5489e39e5f473d5ee8bd54dad
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 benchmark22.8714
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree8
Maximum variable degree25
Distribution of variable degrees[{"degree":8,"count":1},{"degree":10,"count":1},{"degree":11,"count":3},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":2},{"degree":15,"count":3},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":25,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":56}]
Number of extensional constraints56
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":56}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-6685-serial-file.bin HOME/instance-4392449-1568425836.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 03:52:22 CEST 2019
0.66/0.56	c PID: 6688
0.66/0.56	c IP: 172.20.3.139
0.66/0.56	c HOST: node139.alineos.net
0.66/0.57	c (0,0) Parsing Begin
6.38/4.79	c (4,4) Parsing End
6.48/4.80	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
6.48/4.80	c (4,4) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.48/4.80	c (4,4) Constraint Name Generate Begin
6.48/4.81	c (4,4) Ctr:HOME/instance-4392449-1568425836.xml,ExtensionSupport:Var
6.48/4.81	c (4,4) Constraint Name Generate End
6.48/4.81	c (4,4) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.48/4.81	c (4,4) CSP to CSPinCNF Begin
19.00/9.77	c (9,9) translated 6 (10%) constraints
24.42/13.92	c (13,13) translated 12 (20%) constraints
27.69/17.05	c (16,16) translated 17 (30%) constraints
33.05/21.21	c (20,20) translated 23 (40%) constraints
36.45/24.50	c (23,23) translated 28 (50%) constraints
41.23/28.42	c (27,27) translated 34 (60%) constraints
45.40/32.54	c (31,31) translated 40 (70%) constraints
49.92/35.91	c (35,34) translated 45 (80%) constraints
54.82/40.05	c (39,38) translated 51 (90%) constraints
58.23/43.42	c (42,42) translated 56 (100%) constraints
58.84/44.07	c (43,42) ===========================================
58.84/44.07	c (43,42) Order
58.84/44.07	c (43,42) ===========================================
59.70/44.44	c (43,43) translated 14296 (10%) constraints
60.08/44.74	c (44,43) translated 28592 (20%) constraints
60.57/45.08	c (44,43) translated 42888 (30%) constraints
60.90/45.38	c (44,44) translated 57184 (40%) constraints
61.20/45.69	c (45,44) translated 71480 (50%) constraints
61.50/45.99	c (45,44) translated 85776 (60%) constraints
61.90/46.30	c (45,45) translated 100072 (70%) constraints
62.20/46.60	c (46,45) translated 114368 (80%) constraints
62.50/46.91	c (46,45) translated 128664 (90%) constraints
62.80/47.22	c (46,46) translated 142959 (100%) constraints
62.80/47.22	c (46,46) CSP to CSPinCNF End
62.80/47.24	c (46,46) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142959 ctr, max domain size 5
62.80/47.24	c (46,46) Heap : 5612 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
62.80/47.24	c (46,46) CSPinCNF Propagation Begin
65.67/48.24	c (47,46) 0 values, 71 unsatisfiable literals, and 21 valid clauses are removed
65.67/48.24	c (47,46) CSPinCNF Propagation End
65.67/48.25	c (47,46) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
65.67/48.25	c (47,46) Heap : 903 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
65.67/48.25	c (47,46) Simplify CSPinCNF Begin
66.13/48.56	c (48,47) Simplify CSPinCNF End
66.13/48.57	c (48,47) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
66.13/48.57	c (48,47) Heap : 1015 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
66.13/48.57	c (48,47) Calculate Precise Domain Begin
66.13/48.57	c (48,47) 0 values are removed by re-calculation
66.13/48.57	c (48,47) Calculate Precise Domain End
66.13/48.57	c (48,47) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
66.13/48.57	c (48,47) Heap : 1015 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
66.13/48.57	c (48,47) CSPinCNF to SatSolver Begin
67.46/48.99	c (48,47) 14294 (10 %) CSP clauses are encoded (0 SAT variables, 14368 SAT clauses)
67.85/49.13	c (48,47) 28588 (20 %) CSP clauses are encoded (0 SAT variables, 28662 SAT clauses)
67.95/49.28	c (48,47) 42882 (30 %) CSP clauses are encoded (0 SAT variables, 42956 SAT clauses)
68.15/49.42	c (48,48) 57176 (40 %) CSP clauses are encoded (0 SAT variables, 57250 SAT clauses)
68.25/49.56	c (49,48) 71469 (50 %) CSP clauses are encoded (0 SAT variables, 71543 SAT clauses)
68.45/49.70	c (49,48) 85763 (60 %) CSP clauses are encoded (0 SAT variables, 85837 SAT clauses)
68.55/49.84	c (49,48) 100057 (70 %) CSP clauses are encoded (0 SAT variables, 100131 SAT clauses)
68.65/49.98	c (49,48) 114351 (80 %) CSP clauses are encoded (0 SAT variables, 114425 SAT clauses)
68.86/50.12	c (49,48) 128645 (90 %) CSP clauses are encoded (0 SAT variables, 128719 SAT clauses)
68.95/50.26	c (49,48) 142938 (100 %) CSP clauses are encoded (0 SAT variables, 143012 SAT clauses)
68.95/50.26	c (49,48) CSPinCNF to SatSolver End
68.95/50.26	c (49,48) Heap : 2461 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
68.95/50.26	c (49,48) 13812 bool, 143013 clause
68.95/50.26	c (49,48) Export Begin
69.06/50.35	c (49,49) Export to HOME/scop-6685-serial-file.bin
69.06/50.35	c (49,49) Export End
69.06/50.35	c (49,49) Export File Size: 0.01 MB
69.06/50.35	c (49,49) 4,4,46,47,48,48,49,STOP-AFTER(DIMACS)
69.06/50.35	c END-Prog: Sat Sep 14 03:53:12 CEST 2019
69.06/50.39	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6685-serial-file.bin
69.22/50.88	c (0,0) Read Serial File Begin
69.22/50.88	c (0,0) HOME/scop-6685-serial-file.bin
70.00/51.09	c (0,0) Read Serial File End
70.00/51.10	
70.00/51.10	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
70.00/51.10	(Solving Process)
70.00/51.10	
70.14/51.13	c BEGIN-Prog: Sat Sep 14 03:53:13 CEST 2019
70.14/51.13	c PID: 6711
70.14/51.13	c IP: 172.20.3.139
70.14/51.13	c HOST: node139.alineos.net
70.14/51.13	c (0,0) SatSolver.solve Begin
70.14/51.13	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392449-1568425836.xml-scop-6688.cnf
70.14/51.16	c (0,0) c
70.14/51.16	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)
70.14/51.16	c (0,0) c
70.14/51.16	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
70.14/51.16	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
70.14/51.16	c (0,0) c ========================================[ Problem Statistics ]===========================================
70.14/51.16	c (0,0) c |                                                                                                       |
70.37/51.21	c (0,0) c |  Number of variables:         13812                                                                   |
70.37/51.21	c (0,0) c |  Number of clauses:          143013                                                                   |
70.37/51.21	c (0,0) c |  Parse time:                   0.05 s                                                                 |
70.37/51.21	c (0,0) c |                                                                                                       |
70.39/51.30	c (0,0) c |  Simplification time:          0.08 s                                                                 |
70.39/51.30	c (0,0) c |                                                                                                       |
70.39/51.30	c (0,0) c |  Generating clones                                                                                    |
70.39/51.35	c (0,0) c |  all clones generated. Memory =   120.54Mb.                                                           |
70.39/51.35	c (0,0) c ========================================================================================================|
70.39/51.35	c (0,0) c
70.39/51.35	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
70.39/51.35	c (0,0) c
70.39/51.35	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.39/51.35	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
70.39/51.35	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.39/51.35	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
70.39/51.35	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
70.39/51.35	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
70.39/51.35	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
70.39/51.35	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
70.39/51.35	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
70.39/51.35	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
70.39/51.35	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
70.39/51.35	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
70.39/51.35	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
70.39/51.35	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
70.39/51.35	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
70.39/51.35	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
70.39/51.35	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
70.39/51.35	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
70.39/51.35	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
306.73/81.11	c (30,0) c
306.73/81.11	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
306.73/81.11	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
306.73/81.11	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
306.73/81.11	c (30,0) c |  0 |     50 |      59542 |      46937 |    42749 |    20852 |     8615 |    50605 |     3454 |      205 |  20 |  0.000 |
306.73/81.11	c (30,0) c |  1 |     44 |      60743 |      48171 |    42412 |    22079 |     8658 |    55181 |     3344 |      209 |  20 |  0.000 |
306.73/81.11	c (30,0) c |  2 |     40 |      57818 |      45830 |    41181 |    19742 |     8426 |    52896 |     3193 |      200 |  20 |  0.000 |
306.73/81.11	c (30,0) c |  3 |     39 |      59436 |      47509 |    41225 |    21418 |     8594 |    55384 |     2956 |      210 |  20 |  0.000 |
306.73/81.11	c (30,0) c |  4 |     18 |      56120 |      45250 |    41729 |    19159 |     8443 |    30591 |     2589 |      209 |  20 |  0.000 |
306.73/81.11	c (30,0) c |  5 |     36 |      60118 |      47281 |    43833 |    21186 |     8331 |    51627 |     3542 |      209 |  20 |  0.000 |
306.73/81.11	c (30,0) c |  6 |     40 |      56478 |      44615 |    41719 |    18523 |     8135 |    49770 |     3269 |      197 |  20 |  0.000 |
306.73/81.11	c (30,0) c |  7 |     45 |      60848 |      48434 |    41398 |    22342 |     8389 |    56125 |     2820 |      212 |  20 |  0.000 |
306.73/81.11	c (30,0) c 
306.73/81.11	c (30,0) c synthesis      374027 conflicts   639623825 propagations     1587 conflicts/sec  2713398 propagations/sec
306.73/81.11	c (30,0) c real: 29.9488 s, cpu: 235.728 s, memory: 707.85 Mb
542.25/111.10	c (60,0) c
542.25/111.10	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
542.25/111.10	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
542.25/111.10	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
542.25/111.10	c (60,0) c |  0 |     74 |     104989 |      85491 |    50180 |    31929 |    13778 |    90464 |     6456 |      406 |  20 |  0.000 |
542.25/111.10	c (60,0) c |  1 |     51 |     104570 |      86183 |    48786 |    32623 |    14200 |    93218 |     5872 |      406 |  20 |  0.000 |
542.25/111.10	c (60,0) c |  2 |     45 |     103622 |      85530 |    48211 |    31967 |    14153 |    77602 |     6059 |      402 |  20 |  0.000 |
542.25/111.10	c (60,0) c |  3 |     46 |     102604 |      84801 |    48202 |    31233 |    14213 |    89523 |     5728 |      406 |  20 |  0.000 |
542.25/111.10	c (60,0) c |  4 |     18 |      94338 |      79167 |    46575 |    25605 |    13472 |    30591 |     3599 |      406 |  20 |  0.000 |
542.25/111.10	c (60,0) c |  5 |     43 |     102995 |      84319 |    49904 |    30754 |    13691 |    86849 |     6511 |      406 |  20 |  0.000 |
542.25/111.10	c (60,0) c |  6 |     48 |      95998 |      79075 |    48156 |    25510 |    13037 |    89463 |     5205 |      386 |  20 |  0.000 |
542.25/111.10	c (60,0) c |  7 |     59 |     105720 |      86996 |    49398 |    33431 |    14359 |    81687 |     5978 |      406 |  20 |  0.000 |
542.25/111.10	c (60,0) c 
542.25/111.10	c (60,0) c synthesis      671562 conflicts  1186476488 propagations     1426 conflicts/sec  2518620 propagations/sec
542.25/111.10	c (60,0) c real: 59.9485 s, cpu: 471.082 s, memory: 707.85 Mb
772.78/140.10	c (89,0) c
772.78/140.10	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
772.78/140.10	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
772.78/140.10	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
772.78/140.10	c (89,0) c |  0 |     82 |     141004 |     116925 |    54297 |    25541 |    18276 |   112305 |     8663 |      581 |  20 |  0.000 |
772.78/140.10	c (89,0) c |  1 |     74 |     146940 |     123119 |    54114 |    31738 |    18783 |   115765 |     8689 |      598 |  20 |  0.000 |
772.78/140.10	c (89,0) c |  2 |     49 |     143128 |     120327 |    53223 |     2186 |    19739 |   120221 |     7013 |      582 |  20 |  0.000 |
772.78/140.10	c (89,0) c |  3 |     57 |     142747 |     119919 |    52838 |    28539 |    18795 |   112593 |     8266 |      598 |  20 |  0.000 |
772.78/140.10	c (89,0) c |  4 |     47 |     135477 |     114643 |    54876 |     2425 |    18871 |   126668 |     6089 |      595 |  20 |  0.000 |
772.78/140.11	c (89,0) c |  5 |     55 |     140776 |     117427 |    54133 |    26046 |    17753 |   127209 |     9175 |      596 |  20 |  0.000 |
772.78/140.11	c (89,0) c |  6 |     68 |     138105 |     115444 |    54050 |    24064 |    17631 |   123983 |     8225 |      578 |  20 |  0.000 |
772.78/140.11	c (89,0) c |  7 |     65 |     143735 |     120811 |    53009 |    29430 |    18558 |   124144 |     8062 |      595 |  20 |  0.000 |
772.78/140.11	c (89,0) c 
772.78/140.11	c (89,0) c synthesis      948616 conflicts  1688340674 propagations     1353 conflicts/sec  2407399 propagations/sec
772.78/140.11	c (89,0) c real: 88.9488 s, cpu: 701.313 s, memory: 707.85 Mb
1009.36/170.10	c (119,0) c
1009.36/170.10	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
1009.36/170.10	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1009.36/170.10	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
1009.36/170.10	c (119,0) c |  0 |     88 |     177635 |     149305 |    57083 |    35121 |    21538 |   154837 |    10717 |      776 |  20 |  0.000 |
1009.36/170.10	c (119,0) c |  1 |     83 |     185656 |     157297 |    57376 |    43116 |    22482 |   149572 |    10994 |      792 |  20 |  0.000 |
1009.36/170.10	c (119,0) c |  2 |     64 |     190639 |     161358 |    61452 |     3151 |    25654 |   151251 |     7491 |      783 |  20 |  0.000 |
1009.36/170.10	c (119,0) c |  3 |     57 |     180478 |     153686 |    55220 |    39502 |    22743 |   112593 |     9491 |      793 |  20 |  0.000 |
1009.36/170.10	c (119,0) c |  4 |     72 |     180899 |     153949 |    62058 |     3761 |    24238 |   151193 |     6517 |      793 |  20 |  0.000 |
1009.36/170.10	c (119,0) c |  5 |     60 |     177959 |     150514 |    57569 |    36329 |    21672 |   144867 |    11484 |      789 |  20 |  0.000 |
1009.36/170.10	c (119,0) c |  6 |     87 |     177471 |     149870 |    57702 |    35684 |    21647 |   154728 |    10480 |      773 |  20 |  0.000 |
1009.36/170.10	c (119,0) c |  7 |     66 |     181912 |     154889 |    55501 |    40707 |    21969 |   156874 |    10081 |      793 |  20 |  0.000 |
1009.36/170.10	c (119,0) c 
1009.36/170.10	c (119,0) c synthesis     1230869 conflicts  2206086794 propagations     1312 conflicts/sec  2352378 propagations/sec
1009.36/170.10	c (119,0) c real: 118.949 s, cpu: 937.811 s, memory: 707.85 Mb
1245.98/200.10	c (149,0) c
1245.98/200.10	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
1245.98/200.10	c (149,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1245.98/200.10	c (149,0) c |------------------------------------------------------------------------------------------------------------------------|
1245.98/200.10	c (149,0) c |  0 |     90 |     212123 |     180370 |    58814 |    40782 |    24473 |   173459 |    12328 |      973 |  20 |  0.000 |
1245.98/200.10	c (149,0) c |  1 |    101 |     224568 |     191596 |    60372 |    52015 |    25913 |   177261 |    13478 |      989 |  20 |  0.000 |
1245.98/200.10	c (149,0) c |  2 |     72 |     234287 |     199186 |    67440 |     3027 |    31060 |   178556 |     7808 |      984 |  20 |  0.000 |
1245.98/200.10	c (149,0) c |  3 |     57 |     214506 |     184610 |    56933 |    45024 |    25977 |   112593 |    10374 |      978 |  20 |  0.000 |
1245.98/200.10	c (149,0) c |  4 |     91 |     227040 |     193895 |    68104 |     3640 |    29148 |   180009 |     6928 |      990 |  20 |  0.000 |
1245.98/200.10	c (149,0) c |  5 |     85 |     215408 |     183241 |    60340 |    43655 |    25241 |   179405 |    13695 |      985 |  20 |  0.000 |
1245.98/200.10	c (149,0) c |  6 |    132 |     217190 |     183995 |    60706 |    44407 |    25156 |   176299 |    12928 |      970 |  20 |  0.000 |
1245.98/200.10	c (149,0) c |  7 |     66 |     216047 |     185668 |    57291 |    46085 |    25091 |   156874 |    12025 |      977 |  20 |  0.000 |
1245.98/200.10	c (149,0) c 
1245.98/200.10	c (149,0) c synthesis     1502561 conflicts  2699957277 propagations     1279 conflicts/sec  2299077 propagations/sec
1245.98/200.10	c (149,0) c real: 148.949 s, cpu: 1174.37 s, memory: 707.85 Mb
1483.17/230.10	c (179,0) c
1483.17/230.10	c (179,0) c |------------------------------------------------------------------------------------------------------------------------|
1483.17/230.10	c (179,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1483.17/230.10	c (179,0) c |------------------------------------------------------------------------------------------------------------------------|
1483.17/230.10	c (179,0) c |  0 |     91 |     247826 |     212541 |    60953 |    44949 |    27925 |   188025 |    14030 |     1173 |  20 |  0.000 |
1483.17/230.10	c (179,0) c |  1 |    101 |     259932 |     223680 |    61989 |    56095 |    29531 |   177261 |    14976 |     1186 |  20 |  0.000 |
1483.17/230.10	c (179,0) c |  2 |     74 |     276462 |     236492 |    71247 |     2378 |    35630 |   180441 |     7997 |     1179 |  20 |  0.000 |
1483.17/230.10	c (179,0) c |  3 |     58 |     249114 |     215963 |    58534 |    48375 |    28627 |   200522 |    12358 |     1175 |  20 |  0.000 |
1483.17/230.10	c (179,0) c |  4 |     98 |     268772 |     230733 |    72632 |     2598 |    33878 |   199408 |     7212 |     1186 |  20 |  0.000 |
1483.17/230.11	c (179,0) c |  5 |    104 |     253340 |     216648 |    62834 |    49063 |    28569 |   208794 |    15803 |     1186 |  20 |  0.000 |
1483.17/230.11	c (179,0) c |  6 |    132 |     254344 |     218118 |    62491 |    50535 |    28647 |   176299 |    14227 |     1180 |  20 |  0.000 |
1483.17/230.11	c (179,0) c |  7 |     79 |     250749 |     216368 |    60358 |    48785 |    28029 |   204133 |    14496 |     1166 |  20 |  0.000 |
1483.17/230.11	c (179,0) c 
1483.17/230.11	c (179,0) c synthesis     1770543 conflicts  3191667247 propagations     1254 conflicts/sec  2261241 propagations/sec
1483.17/230.11	c (179,0) c real: 178.949 s, cpu: 1411.47 s, memory: 707.85 Mb
1716.03/260.10	c (209,0) c
1716.03/260.10	c (209,0) c |------------------------------------------------------------------------------------------------------------------------|
1716.03/260.10	c (209,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1716.03/260.10	c (209,0) c |------------------------------------------------------------------------------------------------------------------------|
1716.03/260.10	c (209,0) c |  0 |     93 |     281339 |     242726 |    62600 |    44542 |    30792 |   221048 |    15502 |     1371 |  20 |  0.000 |
1716.03/260.10	c (209,0) c |  1 |    128 |     294599 |     254309 |    63651 |    56125 |    32318 |   230703 |    17059 |     1376 |  20 |  0.000 |
1716.03/260.10	c (209,0) c |  2 |     74 |     314905 |     271010 |    74191 |     2897 |    39904 |   180441 |     8079 |     1375 |  20 |  0.000 |
1716.03/260.10	c (209,0) c |  3 |     63 |     283414 |     246744 |    60267 |    48554 |    30928 |   231316 |    15012 |     1376 |  20 |  0.000 |
1716.03/260.10	c (209,0) c |  4 |    100 |     309669 |     266789 |    76773 |     2645 |    38280 |   218054 |     7384 |     1376 |  20 |  0.000 |
1716.03/260.10	c (209,0) c |  5 |    118 |     287149 |     246683 |    64483 |    48499 |    31532 |   228005 |    17617 |     1375 |  20 |  0.000 |
1716.03/260.10	c (209,0) c |  6 |    138 |     289011 |     249194 |    64284 |    51012 |    31623 |   219299 |    16042 |     1376 |  20 |  0.000 |
1716.03/260.10	c (209,0) c |  7 |    107 |     285678 |     246932 |    62802 |    48751 |    30424 |   230159 |    16739 |     1356 |  20 |  0.000 |
1716.03/260.10	c (209,0) c 
1716.03/260.10	c (209,0) c synthesis     2024387 conflicts  3664981132 propagations     1231 conflicts/sec  2228924 propagations/sec
1716.03/260.10	c (209,0) c real: 208.949 s, cpu: 1644.28 s, memory: 707.85 Mb
1951.15/290.10	c (239,0) c
1951.15/290.10	c (239,0) c |------------------------------------------------------------------------------------------------------------------------|
1951.15/290.10	c (239,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1951.15/290.10	c (239,0) c |------------------------------------------------------------------------------------------------------------------------|
1951.15/290.10	c (239,0) c |  0 |    100 |     315023 |     272851 |    64111 |    41473 |    33444 |   254769 |    17403 |     1567 |  20 |  0.000 |
1951.15/290.10	c (239,0) c |  1 |    156 |     330069 |     285446 |    65268 |    54065 |    35251 |   253789 |    19099 |     1572 |  20 |  0.000 |
1951.15/290.10	c (239,0) c |  2 |     74 |     352238 |     304795 |    76576 |     2726 |    43304 |   180441 |     8146 |     1574 |  20 |  0.000 |
1951.15/290.10	c (239,0) c |  3 |     83 |     316592 |     276190 |    61816 |    44797 |    33297 |   245741 |    16858 |     1560 |  20 |  0.000 |
1951.15/290.10	c (239,0) c |  4 |    103 |     352676 |     304745 |    80926 |     2610 |    43348 |   237321 |     7591 |     1574 |  20 |  0.000 |
1951.15/290.10	c (239,0) c |  5 |    141 |     323215 |     278409 |    66041 |    47021 |    34590 |   252207 |    19622 |     1573 |  20 |  0.000 |
1951.15/290.10	c (239,0) c |  6 |    149 |     320947 |     277595 |    65771 |    46210 |    34301 |   250764 |    17700 |     1562 |  20 |  0.000 |
1951.15/290.10	c (239,0) c |  7 |    123 |     319726 |     277351 |    64702 |    45967 |    33082 |   238392 |    18811 |     1554 |  20 |  0.000 |
1951.15/290.10	c (239,0) c 
1951.15/290.10	c (239,0) c synthesis     2277382 conflicts  4130285530 propagations     1212 conflicts/sec  2197883 propagations/sec
1951.15/290.10	c (239,0) c real: 238.949 s, cpu: 1879.21 s, memory: 707.85 Mb
2189.29/320.11	c (269,0) c
2189.29/320.11	c (269,0) c |------------------------------------------------------------------------------------------------------------------------|
2189.29/320.11	c (269,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2189.29/320.11	c (269,0) c |------------------------------------------------------------------------------------------------------------------------|
2189.29/320.11	c (269,0) c |  0 |    104 |     348152 |     302691 |    65237 |    71313 |    36247 |   261728 |    19098 |     1765 |  20 |  0.000 |
2189.29/320.11	c (269,0) c |  1 |    187 |     365178 |     316226 |    66701 |    49044 |    38138 |   275136 |    21097 |     1773 |  20 |  0.000 |
2189.29/320.11	c (269,0) c |  2 |     78 |     392420 |     340662 |    79464 |     2534 |    47448 |   266464 |     8322 |     1775 |  20 |  0.000 |
2189.29/320.11	c (269,0) c |  3 |    106 |     349314 |     305303 |    63295 |    38113 |    35984 |   275313 |    18675 |     1758 |  20 |  0.000 |
2189.29/320.11	c (269,0) c |  4 |    103 |     394128 |     341775 |    84257 |     3630 |    47652 |   237321 |     7680 |     1775 |  20 |  0.000 |
2189.29/320.11	c (269,0) c |  5 |    158 |     356843 |     308058 |    67650 |    40874 |    37218 |   276568 |    21369 |     1775 |  20 |  0.000 |
2189.29/320.11	c (269,0) c |  6 |    152 |     354259 |     307577 |    67057 |    40393 |    36800 |   275401 |    19116 |     1764 |  20 |  0.000 |
2189.29/320.11	c (269,0) c |  7 |    123 |     351999 |     306923 |    65888 |    39741 |    35924 |   238392 |    19700 |     1755 |  20 |  0.000 |
2189.29/320.11	c (269,0) c 
2189.29/320.11	c (269,0) c synthesis     2529215 conflicts  4594083501 propagations     1195 conflicts/sec  2169879 propagations/sec
2189.29/320.11	c (269,0) c real: 268.949 s, cpu: 2117.21 s, memory: 707.85 Mb
2427.77/350.11	c (299,0) c
2427.77/350.11	c (299,0) c |------------------------------------------------------------------------------------------------------------------------|
2427.77/350.11	c (299,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2427.77/350.11	c (299,0) c |------------------------------------------------------------------------------------------------------------------------|
2427.77/350.11	c (299,0) c |  0 |    109 |     380995 |     332264 |    66590 |    65084 |    38562 |   296640 |    21233 |     1962 |  20 |  0.000 |
2427.77/350.11	c (299,0) c |  1 |    191 |     397862 |     345886 |    67975 |    40309 |    41007 |   285089 |    22764 |     1976 |  20 |  0.000 |
2427.77/350.11	c (299,0) c |  2 |     78 |     431122 |     375334 |    82395 |     3228 |    52220 |   266464 |     8435 |     1967 |  20 |  0.000 |
2427.77/350.11	c (299,0) c |  3 |    131 |     384860 |     336696 |    65316 |    69506 |    38728 |   297294 |    21066 |     1961 |  20 |  0.000 |
2427.77/350.11	c (299,0) c |  4 |    103 |     435321 |     379008 |    87104 |     2917 |    52290 |   237321 |     7746 |     1978 |  20 |  0.000 |
2427.77/350.11	c (299,0) c |  5 |    163 |     387907 |     336040 |    68502 |    68856 |    39944 |   292082 |    23007 |     1959 |  20 |  0.000 |
2427.77/350.11	c (299,0) c |  6 |    168 |     388477 |     338014 |    68421 |    70830 |    39218 |   293171 |    21821 |     1965 |  20 |  0.000 |
2427.77/350.11	c (299,0) c |  7 |    124 |     384112 |     336600 |    66800 |    69418 |    37714 |   297739 |    20592 |     1961 |  20 |  0.000 |
2427.77/350.11	c (299,0) c 
2427.77/350.11	c (299,0) c synthesis     2779843 conflicts  5052535646 propagations     1180 conflicts/sec  2144867 propagations/sec
2427.77/350.11	c (299,0) c real: 298.949 s, cpu: 2355.64 s, memory: 707.85 Mb
2666.44/380.10	c (329,0) c
2666.44/380.10	c (329,0) c |------------------------------------------------------------------------------------------------------------------------|
2666.44/380.10	c (329,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2666.44/380.10	c (329,0) c |------------------------------------------------------------------------------------------------------------------------|
2666.44/380.10	c (329,0) c |  0 |    116 |     414317 |     362021 |    67990 |    56436 |    41143 |   311972 |    23397 |     2159 |  20 |  0.000 |
2667.25/380.18	c (329,0) c |  1 |    205 |     429078 |     373872 |    68917 |    68295 |    43512 |   302979 |    24582 |     2171 |  20 |  0.000 |
2667.25/380.18	c (329,0) c |  2 |     81 |     471371 |     410957 |    85391 |     2850 |    56278 |   304834 |     8759 |     2174 |  20 |  0.000 |
2667.25/380.18	c (329,0) c |  3 |    152 |     418034 |     366014 |    67062 |    60422 |    41401 |   306012 |    22661 |     2160 |  20 |  0.000 |
2667.25/380.18	c (329,0) c |  4 |    107 |     474102 |     413563 |    90196 |     3405 |    56435 |   288642 |     7912 |     2174 |  20 |  0.000 |
2667.25/380.18	c (329,0) c |  5 |    170 |     420619 |     365610 |    69385 |    60026 |    42107 |   317585 |    24654 |     2161 |  20 |  0.000 |
2667.25/380.18	c (329,0) c |  6 |    180 |     424889 |     370500 |    69487 |    64914 |    41855 |   306920 |    23484 |     2170 |  20 |  0.000 |
2667.25/380.18	c (329,0) c |  7 |    154 |     417363 |     366046 |    68066 |    60457 |    39824 |   318444 |    22775 |     2154 |  20 |  0.000 |
2667.25/380.18	c (329,0) c 
2667.25/380.18	c (329,0) c synthesis     3028583 conflicts  5511340985 propagations     1167 conflicts/sec  2124513 propagations/sec
2667.25/380.18	c (329,0) c real: 328.949 s, cpu: 2594.17 s, memory: 707.85 Mb
2880.36/407.61	c (356,0) c
2880.36/407.61	c (356,0) c real time : 356.457 s
2880.36/407.61	c (356,0) c cpu time  : 2807.26 s
2880.36/407.61	c (356,0) c
2880.36/407.61	c (356,0) c
2880.36/407.61	c (356,0) c
2880.36/407.61	c (356,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2880.36/407.61	c (356,0) c
2880.36/407.61	c (356,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2880.36/407.61	c (356,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2880.36/407.61	c (356,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2880.36/407.61	c (356,0) c | Conflicts     |         3241116 |     386329 |     399345 |     441551 |     391226 |     443659 |     390560 |     395195 |     393251 |
2880.36/407.61	c (356,0) c | Decisions     |         3706781 |     441283 |     456984 |     505718 |     446050 |     508000 |     448508 |     452322 |     447916 |
2880.36/407.61	c (356,0) c | Propagations  |      5910603956 |  710271195 |  706516944 |  822783871 |  704869030 |  835298574 |  707573623 |  713947396 |  709343323 |
2880.36/407.61	c (356,0) c | ReduceDBs     |             458 |         16 |         17 |        178 |         17 |        179 |         17 |         17 |         17 |
2880.36/407.61	c (356,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
2880.36/407.61	c (356,0) c | Restarts      |            1228 |        128 |        208 |         85 |        157 |        112 |        183 |        183 |        172 |
2880.36/407.61	c (356,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2880.36/407.61	c (356,0) c | PropBinClauses|      1658804882 |  200637775 |  200383473 |  234198865 |  199391704 |  228801679 |  198380903 |  199635212 |  197375271 |
2880.36/407.61	c (356,0) c | PropPreBlocker|     67961905370 | 8446275983 | 8499603958 | 8553840708 | 8447598883 | 8539302711 | 8462957772 | 8506700048 | 8505625307 |
2880.36/407.61	c (356,0) c | PropNotBlocker|     21996625528 | 2694041998 | 2705662883 | 2917977318 | 2695157058 | 2906758258 | 2701361000 | 2690714023 | 2684952990 |
2880.36/407.61	c (356,0) c | LitFullScans  |    112580733453 |14047273444 |14083055331 |14112864592 |14047520908 |14112838731 |14047032030 |14083170475 |14046977942 |
2880.36/407.61	c (356,0) c | LitScanFracts |         7997966 |    1201536 |    1030122 |     831051 |     982099 |     835856 |    1026169 |    1130730 |     960403 |
2880.36/407.61	c (356,0) c | DecisionLevel0|            1228 |        128 |        208 |         85 |        157 |        112 |        183 |        183 |        172 |
2880.36/407.61	c (356,0) c | Periods       |           18762 |       2341 |       2347 |       2352 |       2341 |       2352 |       2341 |       2347 |       2341 |
2880.36/407.61	c (356,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2880.36/407.61	c (356,0) c | Avg_Trail     |                 |       5735 |       5738 |       5685 |       5734 |       5903 |       5756 |       5824 |       5731 |
2880.36/407.61	c (356,0) c | Avg_DL        |                 |         16 |         15 |         15 |         16 |         16 |         16 |         16 |         15 |
2880.36/407.61	c (356,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2880.36/407.61	c (356,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2880.36/407.61	c (356,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2880.36/407.61	c (356,0) c | Exported      |          381612 |      42917 |      45591 |      60022 |      43564 |      59865 |      43725 |      44143 |      41785 |
2880.36/407.61	c (356,0) c | Imported      |         2599341 |     335462 |     324546 |     309565 |     331345 |     310982 |     332789 |     320394 |     334258 |
2880.36/407.61	c (356,0) c | Good          |            3605 |        460 |        441 |        441 |        467 |        432 |        459 |        447 |        458 |
2880.36/407.61	c (356,0) c | Purge         |         2595736 |     335002 |     324105 |     309124 |     330878 |     310550 |     332330 |     319947 |     333800 |
2880.36/407.61	c (356,0) c | Promoted      |          167594 |      24881 |      25868 |       8881 |      24087 |       8126 |      26265 |      25013 |      24473 |
2880.36/407.61	c (356,0) c | Remove_Imp    |         2052404 |     222939 |     242029 |     298614 |     248719 |     300201 |     250074 |     238110 |     251718 |
2880.36/407.61	c (356,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2880.36/407.61	c (356,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2880.36/407.61	c (356,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2880.36/407.61	c (356,0) c | Binaries      |                 |         58 |         73 |         71 |         50 |         86 |         59 |         63 |         60 |
2880.36/407.61	c (356,0) c | Glues         |                 |       1097 |       1137 |       1393 |       1065 |       1596 |       1170 |       1177 |       1157 |
2880.36/407.61	c (356,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2880.36/407.61	c (356,0) c | Orig_Seen     |            52 % |      68862 |      69672 |      87740 |      68225 |      92783 |      70117 |      70339 |      69239 |
2880.36/407.61	c (356,0) c | Diff Orig seen|                 |        637 |       1447 |      19515 |      X     |      24558 |       1892 |       2114 |       1014 |
2880.36/407.61	c (356,0) c | Hamming       |            46 % |       6361 |       6611 |       5904 |      X     |       6536 |       6237 |       6675 |       6756 |
2880.36/407.61	c (356,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2880.36/407.61	c (356,0) c | RunningTime   |                 |  355.7 100%|  349.7  98%|  352.6  99%|  351.8  99%|  348.7  98%|  351.5  99%|  353.0  99%|  353.9  99%|
2880.36/407.61	c (356,0) c | WaitingTime   |                 |    0.0   0%|    5.3   1%|    2.4   1%|    3.2   1%|    6.3   2%|    3.8   1%|    2.0   1%|    2.1   1%|
2880.36/407.61	c (356,0) c | ExchangingTime|                 |    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|
2880.36/407.61	c (356,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
2880.36/407.61	c (356,0) c | SolvingTime   |                 |  355.9     |  355.2     |  355.3     |  355.2     |  355.3     |  355.5     |  355.2     |  356.2     |
2880.36/407.61	c (356,0) c | PropagationTim|                 |  337.7  95%|  334.8  94%|  336.6  95%|  339.1  95%|  336.7  95%|  338.4  95%|  339.2  95%|  338.3  95%|
2880.36/407.61	c (356,0) c | AnalysisTime  |                 |   10.2   3%|   12.7   4%|    9.6   3%|    8.3   2%|    9.6   3%|    9.4   3%|    8.3   2%|   10.1   3%|
2880.36/407.61	c (356,0) c | ReductionTime |                 |    0.7   0%|    0.8   0%|    1.2   0%|    0.8   0%|    1.2   0%|    0.8   0%|    0.8   0%|    0.8   0%|
2880.36/407.61	c (356,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%|
2880.36/407.61	c (356,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%|
2880.36/407.61	c (356,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%|
2880.36/407.61	c (356,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2880.36/407.61	c (356,0) c
2880.36/407.61	c (356,0) c
2880.36/407.61	c (356,0) c Threads : 8
2880.36/407.61	c (356,0) c Winner : 3
2880.36/407.61	c (356,0) c Conflicts_0 : 386329
2880.36/407.61	c (356,0) c Conflicts_1 : 399345
2880.36/407.61	c (356,0) c Conflicts_2 : 441551
2880.36/407.61	c (356,0) c Conflicts_3 : 391226
2880.36/407.61	c (356,0) c Conflicts_4 : 443659
2880.36/407.61	c (356,0) c Conflicts_5 : 390560
2880.36/407.61	c (356,0) c Conflicts_6 : 395195
2880.36/407.61	c (356,0) c Conflicts_7 : 393251
2880.36/407.61	c (356,0) c Conflicts_total : 3241116
2880.36/407.61	c (356,0) c Conflicts_winner : 391226
2880.36/407.61	c (356,0) c Decisions_0 : 441283
2880.36/407.61	c (356,0) c Decisions_1 : 456984
2880.36/407.61	c (356,0) c Decisions_2 : 505718
2880.36/407.61	c (356,0) c Decisions_3 : 446050
2880.36/407.61	c (356,0) c Decisions_4 : 508000
2880.36/407.61	c (356,0) c Decisions_5 : 448508
2880.36/407.61	c (356,0) c Decisions_6 : 452322
2880.36/407.61	c (356,0) c Decisions_7 : 447916
2880.36/407.61	c (356,0) c Decisions_total : 3706781
2880.36/407.61	c (356,0) c Decisions_winner : 446050
2880.36/407.61	c (356,0) c Propagations_0 : 710271195
2880.36/407.61	c (356,0) c Propagations_1 : 706516944
2880.36/407.61	c (356,0) c Propagations_2 : 822783871
2880.36/407.61	c (356,0) c Propagations_3 : 704869030
2880.36/407.62	c (356,0) c Propagations_4 : 835298574
2880.36/407.62	c (356,0) c Propagations_5 : 707573623
2880.36/407.62	c (356,0) c Propagations_6 : 713947396
2880.36/407.62	c (356,0) c Propagations_7 : 709343323
2880.36/407.62	c (356,0) c Propagations_total : 5910603956
2880.36/407.62	c (356,0) c Propagations_winner : 704869030
2880.36/407.62	c (356,0) c ReduceDBs_0 : 16
2880.36/407.62	c (356,0) c ReduceDBs_1 : 17
2880.36/407.62	c (356,0) c ReduceDBs_2 : 178
2880.36/407.62	c (356,0) c ReduceDBs_3 : 17
2880.36/407.62	c (356,0) c ReduceDBs_4 : 179
2880.36/407.62	c (356,0) c ReduceDBs_5 : 17
2880.36/407.62	c (356,0) c ReduceDBs_6 : 17
2880.36/407.62	c (356,0) c ReduceDBs_7 : 17
2880.36/407.62	c (356,0) c ReduceDBs_total : 458
2880.36/407.62	c (356,0) c ReduceDBs_winner : 17
2880.36/407.62	c (356,0) c SimpDBs_0 : 1
2880.36/407.62	c (356,0) c SimpDBs_1 : 1
2880.36/407.62	c (356,0) c SimpDBs_2 : 1
2880.36/407.62	c (356,0) c SimpDBs_3 : 1
2880.36/407.62	c (356,0) c SimpDBs_4 : 1
2880.36/407.62	c (356,0) c SimpDBs_5 : 1
2880.36/407.62	c (356,0) c SimpDBs_6 : 1
2880.36/407.62	c (356,0) c SimpDBs_7 : 1
2880.36/407.62	c (356,0) c SimpDBs_total : 8
2880.36/407.62	c (356,0) c SimpDBs_winner : 1
2880.36/407.62	c (356,0) c Restarts_0 : 128
2880.36/407.62	c (356,0) c Restarts_1 : 208
2880.36/407.62	c (356,0) c Restarts_2 : 85
2880.36/407.62	c (356,0) c Restarts_3 : 157
2880.36/407.62	c (356,0) c Restarts_4 : 112
2880.36/407.62	c (356,0) c Restarts_5 : 183
2880.36/407.62	c (356,0) c Restarts_6 : 183
2880.36/407.62	c (356,0) c Restarts_7 : 172
2880.36/407.62	c (356,0) c Restarts_total : 1228
2880.36/407.62	c (356,0) c Restarts_winner : 157
2880.36/407.62	c (356,0) c ForcedImports_0 : 0
2880.36/407.62	c (356,0) c ForcedImports_1 : 0
2880.36/407.62	c (356,0) c ForcedImports_2 : 0
2880.36/407.62	c (356,0) c ForcedImports_3 : 0
2880.36/407.62	c (356,0) c ForcedImports_4 : 0
2880.36/407.62	c (356,0) c ForcedImports_5 : 0
2880.36/407.62	c (356,0) c ForcedImports_6 : 0
2880.36/407.62	c (356,0) c ForcedImports_7 : 0
2880.36/407.62	c (356,0) c ForcedImports_total : 0
2880.36/407.62	c (356,0) c ForcedImports_winner : 0
2880.36/407.62	c (356,0) c PropsBinClauses_0 : 200637775
2880.36/407.62	c (356,0) c PropsBinClauses_1 : 200383473
2880.36/407.62	c (356,0) c PropsBinClauses_2 : 234198865
2880.36/407.62	c (356,0) c PropsBinClauses_3 : 199391704
2880.36/407.62	c (356,0) c PropsBinClauses_4 : 228801679
2880.36/407.62	c (356,0) c PropsBinClauses_5 : 198380903
2880.36/407.62	c (356,0) c PropsBinClauses_6 : 199635212
2880.36/407.62	c (356,0) c PropsBinClauses_7 : 197375271
2880.36/407.62	c (356,0) c PropsBinClauses_total : 1658804882
2880.36/407.62	c (356,0) c PropsBinClauses_winner : 199391704
2880.36/407.62	c (356,0) c PropsPreBlocker_0 : 8446275983
2880.36/407.62	c (356,0) c PropsPreBlocker_1 : 8499603958
2880.36/407.62	c (356,0) c PropsPreBlocker_2 : 8553840708
2880.36/407.62	c (356,0) c PropsPreBlocker_3 : 8447598883
2880.36/407.62	c (356,0) c PropsPreBlocker_4 : 8539302711
2880.36/407.62	c (356,0) c PropsPreBlocker_5 : 8462957772
2880.36/407.62	c (356,0) c PropsPreBlocker_6 : 8506700048
2880.36/407.62	c (356,0) c PropsPreBlocker_7 : 8505625307
2880.36/407.62	c (356,0) c PropsPreBlocker_total : 67961905370
2880.36/407.62	c (356,0) c PropsPreBlocker_winner : 8447598883
2880.36/407.62	c (356,0) c PropsNotBlocker_0 : 2694041998
2880.36/407.62	c (356,0) c PropsNotBlocker_1 : 2705662883
2880.36/407.62	c (356,0) c PropsNotBlocker_2 : 2917977318
2880.36/407.62	c (356,0) c PropsNotBlocker_3 : 2695157058
2880.36/407.62	c (356,0) c PropsNotBlocker_4 : 2906758258
2880.36/407.62	c (356,0) c PropsNotBlocker_5 : 2701361000
2880.36/407.62	c (356,0) c PropsNotBlocker_6 : 2690714023
2880.36/407.62	c (356,0) c PropsNotBlocker_7 : 2684952990
2880.36/407.62	c (356,0) c PropsNotBlocker_total : 21996625528
2880.36/407.62	c (356,0) c PropsNotBlocker_winner : 2695157058
2880.36/407.62	c (356,0) c PropsLitFullScans_0 : 14047273444
2880.36/407.62	c (356,0) c PropsLitFullScans_1 : 14083055331
2880.36/407.62	c (356,0) c PropsLitFullScans_2 : 14112864592
2880.36/407.62	c (356,0) c PropsLitFullScans_3 : 14047520908
2880.36/407.62	c (356,0) c PropsLitFullScans_4 : 14112838731
2880.36/407.62	c (356,0) c PropsLitFullScans_5 : 14047032030
2880.36/407.62	c (356,0) c PropsLitFullScans_6 : 14083170475
2880.36/407.62	c (356,0) c PropsLitFullScans_7 : 14046977942
2880.36/407.62	c (356,0) c PropsLitFullScans_total : 112580733453
2880.36/407.62	c (356,0) c PropsLitFullScans_winner : 14047520908
2880.36/407.62	c (356,0) c LitScanFractions_0 : 1201536
2880.36/407.62	c (356,0) c LitScanFractions_1 : 1030122
2880.36/407.62	c (356,0) c LitScanFractions_2 : 831051
2880.36/407.62	c (356,0) c LitScanFractions_3 : 982099
2880.36/407.62	c (356,0) c LitScanFractions_4 : 835856
2880.36/407.62	c (356,0) c LitScanFractions_5 : 1026169
2880.36/407.62	c (356,0) c LitScanFractions_6 : 1130730
2880.36/407.62	c (356,0) c LitScanFractions_7 : 960403
2880.36/407.62	c (356,0) c LitScanFractions_total : 7997966
2880.36/407.62	c (356,0) c LitScanFractions_winner : 982099
2880.36/407.62	c (356,0) c DecisionLevel0_0 : 128
2880.36/407.62	c (356,0) c DecisionLevel0_1 : 208
2880.36/407.62	c (356,0) c DecisionLevel0_2 : 85
2880.36/407.62	c (356,0) c DecisionLevel0_3 : 157
2880.36/407.62	c (356,0) c DecisionLevel0_4 : 112
2880.36/407.62	c (356,0) c DecisionLevel0_5 : 183
2880.36/407.62	c (356,0) c DecisionLevel0_6 : 183
2880.36/407.62	c (356,0) c DecisionLevel0_7 : 172
2880.36/407.62	c (356,0) c DecisionLevel0_total : 1228
2880.36/407.62	c (356,0) c DecisionLevel0_winner : 157
2880.36/407.62	c (356,0) c Periods_0 : 2341
2880.36/407.62	c (356,0) c Periods_1 : 2347
2880.36/407.62	c (356,0) c Periods_2 : 2352
2880.36/407.62	c (356,0) c Periods_3 : 2341
2880.36/407.62	c (356,0) c Periods_4 : 2352
2880.36/407.62	c (356,0) c Periods_5 : 2341
2880.36/407.62	c (356,0) c Periods_6 : 2347
2880.36/407.62	c (356,0) c Periods_7 : 2341
2880.36/407.62	c (356,0) c Periods_total : 18762
2880.36/407.62	c (356,0) c Periods_winner : 2341
2880.36/407.62	c (356,0) c Margin_0 : 20
2880.36/407.62	c (356,0) c Margin_1 : 20
2880.36/407.62	c (356,0) c Margin_2 : 20
2880.36/407.62	c (356,0) c Margin_3 : 20
2880.36/407.62	c (356,0) c Margin_4 : 20
2880.36/407.62	c (356,0) c Margin_5 : 20
2880.36/407.62	c (356,0) c Margin_6 : 20
2880.36/407.62	c (356,0) c Margin_7 : 20
2880.36/407.62	c (356,0) c Margin_total : 160
2880.36/407.62	c (356,0) c Margin_winner : 20
2880.36/407.62	c (356,0) c Exported_0 : 42917
2880.36/407.62	c (356,0) c Exported_1 : 45591
2880.36/407.62	c (356,0) c Exported_2 : 60022
2880.36/407.62	c (356,0) c Exported_3 : 43564
2880.36/407.62	c (356,0) c Exported_4 : 59865
2880.36/407.62	c (356,0) c Exported_5 : 43725
2880.36/407.62	c (356,0) c Exported_6 : 44143
2880.36/407.62	c (356,0) c Exported_7 : 41785
2880.36/407.62	c (356,0) c Exported_total : 381612
2880.36/407.62	c (356,0) c Exported_winner : 43564
2880.36/407.62	c (356,0) c Imported_0 : 335462
2880.36/407.62	c (356,0) c Imported_1 : 324546
2880.36/407.62	c (356,0) c Imported_2 : 309565
2880.36/407.62	c (356,0) c Imported_3 : 331345
2880.36/407.62	c (356,0) c Imported_4 : 310982
2880.36/407.62	c (356,0) c Imported_5 : 332789
2880.36/407.62	c (356,0) c Imported_6 : 320394
2880.36/407.62	c (356,0) c Imported_7 : 334258
2880.36/407.62	c (356,0) c Imported_total : 2599341
2880.36/407.62	c (356,0) c Imported_winner : 331345
2880.36/407.62	c (356,0) c Good_0 : 460
2880.36/407.62	c (356,0) c Good_1 : 441
2880.36/407.62	c (356,0) c Good_2 : 441
2880.36/407.62	c (356,0) c Good_3 : 467
2880.36/407.62	c (356,0) c Good_4 : 432
2880.36/407.62	c (356,0) c Good_5 : 459
2880.36/407.62	c (356,0) c Good_6 : 447
2880.36/407.62	c (356,0) c Good_7 : 458
2880.36/407.62	c (356,0) c Good_total : 3605
2880.36/407.62	c (356,0) c Good_winner : 467
2880.36/407.62	c (356,0) c Purge_0 : 335002
2880.36/407.62	c (356,0) c Purge_1 : 324105
2880.36/407.62	c (356,0) c Purge_2 : 309124
2880.36/407.62	c (356,0) c Purge_3 : 330878
2880.36/407.62	c (356,0) c Purge_4 : 310550
2880.36/407.62	c (356,0) c Purge_5 : 332330
2880.36/407.62	c (356,0) c Purge_6 : 319947
2880.36/407.62	c (356,0) c Purge_7 : 333800
2880.36/407.62	c (356,0) c Purge_total : 2595736
2880.36/407.62	c (356,0) c Purge_winner : 330878
2880.36/407.62	c (356,0) c Promoted_0 : 24881
2880.36/407.62	c (356,0) c Promoted_1 : 25868
2880.36/407.62	c (356,0) c Promoted_2 : 8881
2880.36/407.62	c (356,0) c Promoted_3 : 24087
2880.36/407.62	c (356,0) c Promoted_4 : 8126
2880.36/407.62	c (356,0) c Promoted_5 : 26265
2880.36/407.62	c (356,0) c Promoted_6 : 25013
2880.36/407.62	c (356,0) c Promoted_7 : 24473
2880.36/407.62	c (356,0) c Promoted_total : 167594
2880.36/407.62	c (356,0) c Promoted_winner : 24087
2880.36/407.62	c (356,0) c Remove_Imp_0 : 222939
2880.36/407.62	c (356,0) c Remove_Imp_1 : 242029
2880.36/407.62	c (356,0) c Remove_Imp_2 : 298614
2880.36/407.62	c (356,0) c Remove_Imp_3 : 248719
2880.36/407.62	c (356,0) c Remove_Imp_4 : 300201
2880.36/407.62	c (356,0) c Remove_Imp_5 : 250074
2880.36/407.62	c (356,0) c Remove_Imp_6 : 238110
2880.36/407.62	c (356,0) c Remove_Imp_7 : 251718
2880.36/407.62	c (356,0) c Remove_Imp_total : 2052404
2880.36/407.62	c (356,0) c Remove_Imp_winner : 248719
2880.36/407.62	c (356,0) c Blocked_Reuse_0 : 0
2880.36/407.62	c (356,0) c Blocked_Reuse_1 : 0
2880.36/407.62	c (356,0) c Blocked_Reuse_2 : 0
2880.36/407.62	c (356,0) c Blocked_Reuse_3 : 0
2880.36/407.62	c (356,0) c Blocked_Reuse_4 : 0
2880.36/407.62	c (356,0) c Blocked_Reuse_5 : 0
2880.36/407.62	c (356,0) c Blocked_Reuse_6 : 0
2880.36/407.62	c (356,0) c Blocked_Reuse_7 : 0
2880.36/407.62	c (356,0) c Blocked_Reuse_total : 0
2880.36/407.62	c (356,0) c Blocked_Reuse_winner : 0
2880.36/407.62	c (356,0) c Unaries_0 : 0
2880.36/407.62	c (356,0) c Unaries_1 : 0
2880.36/407.62	c (356,0) c Unaries_2 : 0
2880.36/407.62	c (356,0) c Unaries_3 : 0
2880.36/407.62	c (356,0) c Unaries_4 : 0
2880.36/407.62	c (356,0) c Unaries_5 : 0
2880.36/407.62	c (356,0) c Unaries_6 : 0
2880.36/407.62	c (356,0) c Unaries_7 : 0
2880.36/407.62	c (356,0) c Unaries_total : 0
2880.36/407.62	c (356,0) c Unaries_winner : 0
2880.36/407.62	c (356,0) c Binaries_0 : 58
2880.36/407.62	c (356,0) c Binaries_1 : 73
2880.36/407.62	c (356,0) c Binaries_2 : 71
2880.36/407.62	c (356,0) c Binaries_3 : 50
2880.36/407.62	c (356,0) c Binaries_4 : 86
2880.36/407.62	c (356,0) c Binaries_5 : 59
2880.36/407.62	c (356,0) c Binaries_6 : 63
2880.36/407.62	c (356,0) c Binaries_7 : 60
2880.36/407.62	c (356,0) c Binaries_total : 520
2880.36/407.62	c (356,0) c Binaries_winner : 50
2880.36/407.62	c (356,0) c Glues_0 : 1097
2880.36/407.62	c (356,0) c Glues_1 : 1137
2880.36/407.62	c (356,0) c Glues_2 : 1393
2880.36/407.62	c (356,0) c Glues_3 : 1065
2880.36/407.62	c (356,0) c Glues_4 : 1596
2880.36/407.62	c (356,0) c Glues_5 : 1170
2880.36/407.62	c (356,0) c Glues_6 : 1177
2880.36/407.62	c (356,0) c Glues_7 : 1157
2880.36/407.62	c (356,0) c Glues_total : 9792
2880.36/407.62	c (356,0) c Glues_winner : 1065
2880.36/407.62	c (356,0) c RunningTime_0 : 355.705372
2880.36/407.62	c (356,0) c RunningTime_1 : 349.701180
2880.36/407.62	c (356,0) c RunningTime_2 : 352.639719
2880.36/407.62	c (356,0) c RunningTime_3 : 351.754906
2880.36/407.62	c (356,0) c RunningTime_4 : 348.722157
2880.36/407.62	c (356,0) c RunningTime_5 : 351.498897
2880.36/407.62	c (356,0) c RunningTime_6 : 353.041717
2880.36/407.62	c (356,0) c RunningTime_7 : 353.875956
2880.36/407.62	c (356,0) c RunningTime_total : 2816.939905
2880.36/407.62	c (356,0) c RunningTime_winner : 351.754906
2880.36/407.62	c (356,0) c WaitingTime_0 : 0.040347
2880.36/407.62	c (356,0) c WaitingTime_1 : 5.284268
2880.36/407.62	c (356,0) c WaitingTime_2 : 2.401452
2880.36/407.62	c (356,0) c WaitingTime_3 : 3.204766
2880.36/407.62	c (356,0) c WaitingTime_4 : 6.348979
2880.36/407.62	c (356,0) c WaitingTime_5 : 3.837250
2880.36/407.62	c (356,0) c WaitingTime_6 : 2.012969
2880.36/407.62	c (356,0) c WaitingTime_7 : 2.143185
2880.36/407.62	c (356,0) c WaitingTime_total : 25.273217
2880.36/407.62	c (356,0) c WaitingTime_winner : 3.204766
2880.36/407.62	c (356,0) c ExchangingTime_0 : 0.170671
2880.36/407.62	c (356,0) c ExchangingTime_1 : 0.160093
2880.36/407.62	c (356,0) c ExchangingTime_2 : 0.201439
2880.36/407.62	c (356,0) c ExchangingTime_3 : 0.177510
2880.36/407.62	c (356,0) c ExchangingTime_4 : 0.171582
2880.36/407.62	c (356,0) c ExchangingTime_5 : 0.163803
2880.36/407.62	c (356,0) c ExchangingTime_6 : 0.150261
2880.36/407.62	c (356,0) c ExchangingTime_7 : 0.164582
2880.36/407.62	c (356,0) c ExchangingTime_total : 1.359942
2880.36/407.62	c (356,0) c ExchangingTime_winner : 0.177510
2880.36/407.62	c (356,0) c PeriodProcTime_0 : 0.020114
2880.36/407.62	c (356,0) c PeriodProcTime_1 : 0.020860
2880.36/407.62	c (356,0) c PeriodProcTime_2 : 0.021424
2880.36/407.62	c (356,0) c PeriodProcTime_3 : 0.020304
2880.36/407.62	c (356,0) c PeriodProcTime_4 : 0.020619
2880.36/407.62	c (356,0) c PeriodProcTime_5 : 0.019506
2880.36/407.62	c (356,0) c PeriodProcTime_6 : 0.023565
2880.36/407.62	c (356,0) c PeriodProcTime_7 : 0.026297
2880.36/407.62	c (356,0) c PeriodProcTime_total : 0.172689
2880.36/407.62	c (356,0) c PeriodProcTime_winner : 0.020304
2880.36/407.62	c (356,0) c SolvingTime_0 : 355.936505
2880.36/407.62	c (356,0) c SolvingTime_1 : 355.166401
2880.36/407.62	c (356,0) c SolvingTime_2 : 355.264035
2880.36/407.62	c (356,0) c SolvingTime_3 : 355.157487
2880.36/407.62	c (356,0) c SolvingTime_4 : 355.263337
2880.36/407.62	c (356,0) c SolvingTime_5 : 355.519457
2880.36/407.62	c (356,0) c SolvingTime_6 : 355.228511
2880.36/407.62	c (356,0) c SolvingTime_7 : 356.210021
2880.36/407.62	c (356,0) c SolvingTime_total : 2843.745753
2880.36/407.62	c (356,0) c SolvingTime_winner : 355.157487
2880.36/407.62	c (356,0) c PropagationTime_0 : 337.747350
2880.36/407.62	c (356,0) c PropagationTime_1 : 334.799842
2880.36/407.62	c (356,0) c PropagationTime_2 : 336.600706
2880.36/407.62	c (356,0) c PropagationTime_3 : 339.090319
2880.36/407.62	c (356,0) c PropagationTime_4 : 336.722333
2880.36/407.62	c (356,0) c PropagationTime_5 : 338.398341
2880.36/407.62	c (356,0) c PropagationTime_6 : 339.215060
2880.36/407.62	c (356,0) c PropagationTime_7 : 338.277705
2880.36/407.62	c (356,0) c PropagationTime_total : 2700.851657
2880.36/407.62	c (356,0) c PropagationTime_winner : 339.090319
2880.36/407.62	c (356,0) c AnalysisTime_0 : 10.180729
2880.36/407.62	c (356,0) c AnalysisTime_1 : 12.672623
2880.36/407.62	c (356,0) c AnalysisTime_2 : 9.597444
2880.36/407.62	c (356,0) c AnalysisTime_3 : 8.303697
2880.36/407.62	c (356,0) c AnalysisTime_4 : 9.603973
2880.36/407.62	c (356,0) c AnalysisTime_5 : 9.373677
2880.36/407.62	c (356,0) c AnalysisTime_6 : 8.271807
2880.36/407.62	c (356,0) c AnalysisTime_7 : 10.061311
2880.36/407.62	c (356,0) c AnalysisTime_total : 78.065262
2880.36/407.62	c (356,0) c AnalysisTime_winner : 8.303697
2880.36/407.62	c (356,0) c ReductionTime_0 : 0.733272
2880.36/407.62	c (356,0) c ReductionTime_1 : 0.828481
2880.36/407.62	c (356,0) c ReductionTime_2 : 1.201000
2880.36/407.62	c (356,0) c ReductionTime_3 : 0.821710
2880.36/407.62	c (356,0) c ReductionTime_4 : 1.173292
2880.36/407.62	c (356,0) c ReductionTime_5 : 0.820407
2880.36/407.62	c (356,0) c ReductionTime_6 : 0.809733
2880.36/407.62	c (356,0) c ReductionTime_7 : 0.849112
2880.36/407.62	c (356,0) c ReductionTime_total : 7.237006
2880.36/407.62	c (356,0) c ReductionTime_winner : 0.821710
2880.36/407.62	c (356,0) c SimplifyTime_0 : 0.000014
2880.36/407.62	c (356,0) c SimplifyTime_1 : 0.000016
2880.36/407.62	c (356,0) c SimplifyTime_2 : 0.000015
2880.36/407.62	c (356,0) c SimplifyTime_3 : 0.000018
2880.36/407.62	c (356,0) c SimplifyTime_4 : 0.000012
2880.36/407.62	c (356,0) c SimplifyTime_5 : 0.000026
2880.36/407.62	c (356,0) c SimplifyTime_6 : 0.000013
2880.36/407.62	c (356,0) c SimplifyTime_7 : 0.000020
2880.36/407.62	c (356,0) c SimplifyTime_total : 0.000134
2880.36/407.62	c (356,0) c SimplifyTime_winner : 0.000018
2880.36/407.62	c (356,0) c UsedRateTime_0 : 0.000000
2880.36/407.62	c (356,0) c UsedRateTime_1 : 0.000000
2880.36/407.62	c (356,0) c UsedRateTime_2 : 0.000000
2880.36/407.62	c (356,0) c UsedRateTime_3 : 0.000000
2880.36/407.62	c (356,0) c UsedRateTime_4 : 0.000000
2880.36/407.62	c (356,0) c UsedRateTime_5 : 0.000000
2880.36/407.62	c (356,0) c UsedRateTime_6 : 0.000000
2880.36/407.62	c (356,0) c UsedRateTime_7 : 0.000000
2880.36/407.62	c (356,0) c UsedRateTime_total : 0.000000
2880.36/407.62	c (356,0) c UsedRateTime_winner : 0.000000
2880.36/407.62	c (356,0) c OverlapRateTime_0 : 0.000000
2880.36/407.62	c (356,0) c OverlapRateTime_1 : 0.000000
2880.36/407.62	c (356,0) c OverlapRateTime_2 : 0.000000
2880.36/407.62	c (356,0) c OverlapRateTime_3 : 0.000000
2880.36/407.62	c (356,0) c OverlapRateTime_4 : 0.000000
2880.36/407.62	c (356,0) c OverlapRateTime_5 : 0.000000
2880.36/407.62	c (356,0) c OverlapRateTime_6 : 0.000000
2880.36/407.62	c (356,0) c OverlapRateTime_7 : 0.000000
2880.36/407.62	c (356,0) c OverlapRateTime_total : 0.000000
2880.36/407.62	c (356,0) c OverlapRateTime_winner : 0.000000
2880.36/407.62	c (356,0) c
2880.36/407.62	c (356,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2880.36/407.62	c (356,0) c
2880.36/407.62	c (356,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2880.36/407.62	c (356,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2880.36/407.62	c (356,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2880.36/407.62	c (356,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2880.36/407.62	c (356,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2880.36/407.62	c (356,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2880.36/407.62	c (356,0) c | Initial random_seed   |   61240333 | 1988053509 |  381667461 |  776252974 | 1033453573 | 1268678272 | 1934715725 | 1996864654 |
2880.36/407.62	c (356,0) c | chanseokStrategy      |      False |      False |       True |      False |       True |      False |      False |      False |
2880.36/407.62	c (356,0) c | coLBDBound            |          5 |          5 |          4 |          5 |          4 |          5 |          5 |          5 |
2880.36/407.62	c (356,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2880.36/407.62	c (356,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2880.36/407.62	c (356,0) c | incReduceDB           |        300 |        300 |          0 |        300 |          0 |        300 |        300 |        300 |
2880.36/407.62	c (356,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2880.36/407.62	c (356,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2880.36/407.62	c (356,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2880.36/407.62	c (356,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2880.36/407.62	c (356,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2880.36/407.62	c (356,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2880.36/407.62	c (356,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2880.36/407.62	c (356,0) 
2880.36/407.62	c (356,0) s SATISFIABLE
2880.36/407.66	c (356,0) SatSolver.solve End
2880.36/407.66	c (356,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2880.36/407.66	c (356,0) Show results Begin
2880.61/407.73	c (356,0) x[0] = 1
2880.61/407.73	c (356,0) x[1] = 1
2880.61/407.73	c (356,0) x[2] = 1
2880.61/407.73	c (356,0) x[3] = 4
2880.61/407.73	c (356,0) x[4] = 2
2880.61/407.73	c (356,0) x[5] = 2
2880.61/407.73	c (356,0) x[6] = 0
2880.61/407.73	c (356,0) x[7] = 1
2880.61/407.73	c (356,0) x[8] = 1
2880.61/407.73	c (356,0) x[9] = 4
2880.61/407.73	c (356,0) x[10] = 4
2880.61/407.73	c (356,0) x[11] = 4
2880.61/407.73	c (356,0) x[12] = 0
2880.61/407.73	c (356,0) x[13] = 4
2880.61/407.73	c (356,0) x[14] = 2
2880.61/407.73	c (356,0) x[15] = 4
2880.61/407.73	c (356,0) x[16] = 2
2880.61/407.73	c (356,0) x[17] = 4
2880.61/407.73	c (356,0) x[18] = 1
2880.61/407.73	c (356,0) x[19] = 0
2880.61/407.73	c (356,0) x[20] = 4
2880.61/407.73	c (356,0) x[21] = 3
2880.61/407.73	c (356,0) x[22] = 3
2880.61/407.73	c (356,0) x[23] = 4
2880.61/407.73	c (356,0) x[24] = 4
2880.61/407.73	s SATISFIABLE
2880.61/407.73	v <instantiation>
2880.61/407.73	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24]</list>
2880.61/407.73	v     <values>1 1 1 4 2 2 0 1 1 4 4 4 0 4 2 4 2 4 1 0 4 3 3 4 4</values>
2880.61/407.73	v </instantiation>
2880.61/407.73	c (356,0) Show results End
2880.61/407.73	c (356,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
2880.61/407.73	c (356,0) 356,356,STOP-AFTER(ALL)
2880.61/407.73	c END-Prog: Sat Sep 14 03:59:09 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 (14093 MiB free)
  memory of node 1: 16384 MiB (15617 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=6685, runsolver pid=6682

[startup+0.10011 s]*
/proc/loadavg: 7.36 7.20 6.95 2/209 6707
/proc/meminfo: memFree=30329948/32770624 swapFree=66932108/67108860
[pid=6685] ppid=6682 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6685/stat : 6685 (scop.sh) S 6682 6685 5395 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418851604 115843072 349 33554432000 4194304 5098028 140726035660544 140726035657800 139771681575548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11956224 140726035665701 140726035666028 140726035666028 140726035668941 0
/proc/6685/statm: 28282 349 296 221 0 87 0
[pid=6688] ppid=6685 vsize=27314120 memory=106432 CPUtime=0.1 cores=0-7
/proc/6688/stat : 6688 (java) S 6685 6685 5395 0 -1 1077944320 6115 0 0 0 8 2 0 0 20 0 20 0 418851604 27969658880 26608 33554432000 4194304 4196468 140733523096144 140733523078688 140203597008631 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
/proc/6688/statm: 6828530 26608 2817 1 0 6790935 0
[pid=6688/tid=6689] ppid=6685 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6688/task/6689/stat : 6689 (java) R 6685 6685 5395 0 -1 4202560 4215 0 0 0 7 2 0 0 20 0 20 0 418851605 27969658880 26608 33554432000 4194304 4196468 140733523096144 140203568833488 140203581052261 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6690] ppid=6685 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6688/task/6690/stat : 6690 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 26608 33554432000 4194304 4196468 140733523096144 140203601251472 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6691] ppid=6685 vsize=27314120 memory=140263979439744 CPUtime=0 cores=0-7
/proc/6688/task/6691/stat : 6691 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 26608 33554432000 4194304 4196468 140733523096144 140203019373584 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6692] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6692/stat : 6692 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 26608 33554432000 4194304 4196468 140733523096144 140203018320784 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6693] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6693/stat : 6693 (java) S 6685 6685 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 26608 33554432000 4194304 4196468 140733523096144 140203017267984 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6694] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6694/stat : 6694 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 26608 33554432000 4194304 4196468 140733523096144 140203016215184 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6695] ppid=6685 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6688/task/6695/stat : 6695 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 26608 33554432000 4194304 4196468 140733523096144 140203015162384 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6696] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6696/stat : 6696 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 26608 33554432000 4194304 4196468 140733523096144 140203014109584 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6697] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6697/stat : 6697 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 26608 33554432000 4194304 4196468 140733523096144 140203013056784 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6698] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6698/stat : 6698 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851609 27969658880 26608 33554432000 4194304 4196468 140733523096144 140202970024816 140203597019778 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6699] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6699/stat : 6699 (java) S 6685 6685 5395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418851609 27969658880 26608 33554432000 4194304 4196468 140733523096144 140201556960800 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6700] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6700/stat : 6700 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851609 27969658880 26608 33554432000 4194304 4196468 140733523096144 140201288525168 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6701] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6701/stat : 6701 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 26608 33554432000 4194304 4196468 140733523096144 140200914016592 140203597027227 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6702] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6702/stat : 6702 (java) S 6685 6685 5395 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 26608 33554432000 4194304 4196468 140733523096144 140202968971632 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6703] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6703/stat : 6703 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 26608 33554432000 4194304 4196468 140733523096144 140202967918832 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6704] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6704/stat : 6704 (java) S 6685 6685 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 26608 33554432000 4194304 4196468 140733523096144 140202584565872 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6705] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6705/stat : 6705 (java) S 6685 6685 5395 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 27120 33554432000 4194304 4196468 140733523096144 140202583513072 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6706] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6706/stat : 6706 (java) S 6685 6685 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 27120 33554432000 4194304 4196468 140733523096144 140200416111712 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6707] ppid=6685 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6688/task/6707/stat : 6707 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 27120 33554432000 4194304 4196468 140733523096144 140202582461488 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107828 KiB

[startup+0.210188 s]*
/proc/loadavg: 7.36 7.20 6.95 2/209 6707
/proc/meminfo: memFree=30310900/32770624 swapFree=66932108/67108860
[pid=6685] ppid=6682 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6685/stat : 6685 (scop.sh) S 6682 6685 5395 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418851604 115843072 349 33554432000 4194304 5098028 140726035660544 140726035657800 139771681575548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11956224 140726035665701 140726035666028 140726035666028 140726035668941 0
/proc/6685/statm: 28282 349 296 221 0 87 0
[pid=6688] ppid=6685 vsize=27314120 memory=122996 CPUtime=0.24 cores=0-7
/proc/6688/stat : 6688 (java) S 6685 6685 5395 0 -1 1077944320 11112 0 0 0 20 4 0 0 20 0 20 0 418851604 27969658880 30749 33554432000 4194304 4196468 140733523096144 140733523078688 140203597008631 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
/proc/6688/statm: 6828530 30749 2928 1 0 6790935 0
[pid=6688/tid=6689] ppid=6685 vsize=27314120 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/6688/task/6689/stat : 6689 (java) R 6685 6685 5395 0 -1 4202560 8811 0 0 0 16 3 0 0 20 0 20 0 418851605 27969658880 30749 33554432000 4194304 4196468 140733523096144 140203568808016 140203582174199 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6690] ppid=6685 vsize=27314120 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/6688/task/6690/stat : 6690 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 30749 33554432000 4194304 4196468 140733523096144 140203601251472 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6691] ppid=6685 vsize=27314120 memory=14555081369147032 CPUtime=0 cores=0-7
/proc/6688/task/6691/stat : 6691 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 30749 33554432000 4194304 4196468 140733523096144 140203019373584 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6692] ppid=6685 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6688/task/6692/stat : 6692 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 30749 33554432000 4194304 4196468 140733523096144 140203018320784 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6693] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6693/stat : 6693 (java) S 6685 6685 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 30749 33554432000 4194304 4196468 140733523096144 140203017267984 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6694] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6694/stat : 6694 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 30749 33554432000 4194304 4196468 140733523096144 140203016215184 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6695] ppid=6685 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6688/task/6695/stat : 6695 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 30749 33554432000 4194304 4196468 140733523096144 140203015162384 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6696] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6696/stat : 6696 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 30749 33554432000 4194304 4196468 140733523096144 140203014109584 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6697] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6697/stat : 6697 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 30749 33554432000 4194304 4196468 140733523096144 140203013056784 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6698] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6698/stat : 6698 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851609 27969658880 30749 33554432000 4194304 4196468 140733523096144 140202970024816 140203597019778 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6699] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6699/stat : 6699 (java) S 6685 6685 5395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418851609 27969658880 30749 33554432000 4194304 4196468 140733523096144 140201556960800 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6700] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6700/stat : 6700 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851609 27969658880 30749 33554432000 4194304 4196468 140733523096144 140201288525168 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6701] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6701/stat : 6701 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 30749 33554432000 4194304 4196468 140733523096144 140200914016592 140203597027227 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6702] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6702/stat : 6702 (java) S 6685 6685 5395 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 30749 33554432000 4194304 4196468 140733523096144 140202968971632 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6703] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6703/stat : 6703 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 30749 33554432000 4194304 4196468 140733523096144 140202967918832 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6704] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6704/stat : 6704 (java) S 6685 6685 5395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 30749 33554432000 4194304 4196468 140733523096144 140202584565872 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6705] ppid=6685 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/6688/task/6705/stat : 6705 (java) S 6685 6685 5395 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 20 0 418851612 27969658880 30749 33554432000 4194304 4196468 140733523096144 140202583513072 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6706] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6706/stat : 6706 (java) S 6685 6685 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 30749 33554432000 4194304 4196468 140733523096144 140200416111712 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6707] ppid=6685 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6688/task/6707/stat : 6707 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 30749 33554432000 4194304 4196468 140733523096144 140202582461488 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124392 KiB

[startup+0.309377 s]*
/proc/loadavg: 7.36 7.20 6.95 3/209 6707
/proc/meminfo: memFree=30307488/32770624 swapFree=66932108/67108860
[pid=6685] ppid=6682 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6685/stat : 6685 (scop.sh) S 6682 6685 5395 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418851604 115843072 349 33554432000 4194304 5098028 140726035660544 140726035657800 139771681575548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11956224 140726035665701 140726035666028 140726035666028 140726035668941 0
/proc/6685/statm: 28282 349 296 221 0 87 0
[pid=6688] ppid=6685 vsize=27314120 memory=127612 CPUtime=0.42 cores=0-7
/proc/6688/stat : 6688 (java) S 6685 6685 5395 0 -1 1077944320 12246 0 0 0 37 5 0 0 20 0 20 0 418851604 27969658880 31903 33554432000 4194304 4196468 140733523096144 140733523078688 140203597008631 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
/proc/6688/statm: 6828530 31903 3019 1 0 6790935 0
[pid=6688/tid=6689] ppid=6685 vsize=27314120 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/6688/task/6689/stat : 6689 (java) R 6685 6685 5395 0 -1 4202560 9734 0 0 0 26 4 0 0 20 0 20 0 418851605 27969658880 31903 33554432000 4194304 4196468 140733523096144 140203568838704 140203578382099 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6690] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6690/stat : 6690 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 31903 33554432000 4194304 4196468 140733523096144 140203601251472 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6691] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6691/stat : 6691 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 31903 33554432000 4194304 4196468 140733523096144 140203019373584 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6692] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6692/stat : 6692 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 31903 33554432000 4194304 4196468 140733523096144 140203018320784 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6693] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6693/stat : 6693 (java) S 6685 6685 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 31903 33554432000 4194304 4196468 140733523096144 140203017267984 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6694] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6694/stat : 6694 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 31903 33554432000 4194304 4196468 140733523096144 140203016215184 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6695] ppid=6685 vsize=27314120 memory=140263834086063 CPUtime=0 cores=0-7
/proc/6688/task/6695/stat : 6695 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 31903 33554432000 4194304 4196468 140733523096144 140203015162384 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6696] ppid=6685 vsize=27314120 memory=140263834088368 CPUtime=0 cores=0-7
/proc/6688/task/6696/stat : 6696 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 31903 33554432000 4194304 4196468 140733523096144 140203014109584 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6697] ppid=6685 vsize=27314120 memory=140263834090672 CPUtime=0 cores=0-7
/proc/6688/task/6697/stat : 6697 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27969658880 31903 33554432000 4194304 4196468 140733523096144 140203013056784 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6698] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6698/stat : 6698 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851609 27969658880 31903 33554432000 4194304 4196468 140733523096144 140202970024816 140203597019778 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6699] ppid=6685 vsize=27314120 memory=280527668195216 CPUtime=0 cores=0-7
/proc/6688/task/6699/stat : 6699 (java) S 6685 6685 5395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418851609 27969658880 31903 33554432000 4194304 4196468 140733523096144 140201556960800 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6700] ppid=6685 vsize=27314120 memory=280527668192912 CPUtime=0 cores=0-7
/proc/6688/task/6700/stat : 6700 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851609 27969658880 31903 33554432000 4194304 4196468 140733523096144 140201288525168 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6701] ppid=6685 vsize=27314120 memory=280527668199824 CPUtime=0 cores=0-7
/proc/6688/task/6701/stat : 6701 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 31903 33554432000 4194304 4196468 140733523096144 140200914016592 140203597027227 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6702] ppid=6685 vsize=27314120 memory=280527668141104 CPUtime=0 cores=0-7
/proc/6688/task/6702/stat : 6702 (java) S 6685 6685 5395 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 31903 33554432000 4194304 4196468 140733523096144 140202968971632 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6703] ppid=6685 vsize=27314120 memory=280527668213648 CPUtime=0.01 cores=0-7
/proc/6688/task/6703/stat : 6703 (java) S 6685 6685 5395 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 418851612 27969658880 31903 33554432000 4194304 4196468 140733523096144 140202967918832 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6704] ppid=6685 vsize=27314120 memory=280527668220560 CPUtime=0.01 cores=0-7
/proc/6688/task/6704/stat : 6704 (java) S 6685 6685 5395 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 418851612 27969658880 31903 33554432000 4194304 4196468 140733523096144 140202584565872 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6705] ppid=6685 vsize=27314120 memory=280527668218256 CPUtime=0.07 cores=0-7
/proc/6688/task/6705/stat : 6705 (java) S 6685 6685 5395 0 -1 1077944384 543 0 0 0 7 0 0 0 20 0 20 0 418851612 27969658880 31903 33554432000 4194304 4196468 140733523096144 140202583513072 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6706] ppid=6685 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6706/stat : 6706 (java) S 6685 6685 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 31903 33554432000 4194304 4196468 140733523096144 140200416111712 140203597018837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6707] ppid=6685 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6688/task/6707/stat : 6707 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851612 27969658880 31903 33554432000 4194304 4196468 140733523096144 140202582461488 140203597019778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129008 KiB

[startup+0.700869 s]
/proc/loadavg: 7.36 7.20 6.95 2/209 6707
/proc/meminfo: memFree=30284500/32770624 swapFree=66932108/67108860
[pid=6685] ppid=6682 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6685/stat : 6685 (scop.sh) S 6682 6685 5395 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418851604 115843072 349 33554432000 4194304 5098028 140726035660544 140726035657800 139771681575548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11956224 140726035665701 140726035666028 140726035666028 140726035668941 0
/proc/6685/statm: 28282 349 296 221 0 87 0
[pid=6688] ppid=6685 vsize=27320392 memory=167016 CPUtime=1 cores=0-7
/proc/6688/stat : 6688 (java) S 6685 6685 5395 0 -1 1077944320 19881 0 0 0 93 7 0 0 20 0 20 0 418851604 27976081408 41754 33554432000 4194304 4196468 140733523096144 140733523078688 140203597008631 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
/proc/6688/statm: 6830098 41754 3165 1 0 6791447 0
[pid=6688/tid=6689] ppid=6685 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/6688/task/6689/stat : 6689 (java) R 6685 6685 5395 0 -1 4202560 16832 0 0 0 62 5 0 0 20 0 20 0 418851605 27976081408 41754 33554432000 4194304 4196468 140733523096144 140203568844880 140203597030557 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6690] ppid=6685 vsize=27320392 memory=2353 CPUtime=0 cores=0-7
/proc/6688/task/6690/stat : 6690 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27976081408 41754 33554432000 4194304 4196468 140733523096144 140203601251472 140203597018837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6691] ppid=6685 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/6688/task/6691/stat : 6691 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418851607 27976081408 41754 33554432000 4194304 4196468 140733523096144 140203019373584 140203597018837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0
[pid=6688/tid=6692] ppid=6685 vsize=27320392 memory=1228 CPUtime=0 cores=0-7
/proc/6688/task/6692/stat : 6692 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418851607 27976081408 41754 33554432000 4194304 4196468 140733523096144 140203018320784 140203597018837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140733523104492 140733523104918 140733523104918 140733523107791 0

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

/proc/6711/task/6716/stat : 6716 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750839577232 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6717] ppid=6685 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/6711/task/6717/stat : 6717 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750838524688 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6718] ppid=6685 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/6711/task/6718/stat : 6718 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750837472144 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6719] ppid=6685 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/6711/task/6719/stat : 6719 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750836419600 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6720] ppid=6685 vsize=8414124 memory=3824 CPUtime=0 cores=0-7
/proc/6711/task/6720/stat : 6720 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750835367056 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6721] ppid=6685 vsize=8414124 memory=1476 CPUtime=0.01 cores=0-7
/proc/6711/task/6721/stat : 6721 (java) S 6685 6685 5395 0 -1 1077944384 9 0 0 0 0 1 0 0 20 0 24 0 418856650 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750450124784 139751356897922 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6722] ppid=6685 vsize=8414124 memory=122864 CPUtime=0 cores=0-7
/proc/6711/task/6722/stat : 6722 (java) S 6685 6685 5395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418856650 8616062976 30716 33554432000 4194304 4196468 140723258393792 139749914305440 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6723] ppid=6685 vsize=8414124 memory=454968 CPUtime=0 cores=0-7
/proc/6711/task/6723/stat : 6723 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418856650 8616062976 30716 33554432000 4194304 4196468 140723258393792 139749645870064 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6724] ppid=6685 vsize=8414124 memory=7686721470250327193 CPUtime=0 cores=0-7
/proc/6711/task/6724/stat : 6724 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139749271361744 139751356905371 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6725] ppid=6685 vsize=8414124 memory=1748 CPUtime=0.06 cores=0-7
/proc/6711/task/6725/stat : 6725 (java) S 6685 6685 5395 0 -1 1077944384 646 0 0 0 6 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750449072624 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6726] ppid=6685 vsize=8414124 memory=111632 CPUtime=0.04 cores=0-7
/proc/6711/task/6726/stat : 6726 (java) S 6685 6685 5395 0 -1 1077944384 263 0 0 0 4 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750448020080 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6727] ppid=6685 vsize=8414124 memory=808 CPUtime=0.07 cores=0-7
/proc/6711/task/6727/stat : 6727 (java) S 6685 6685 5395 0 -1 1077944384 334 0 0 0 7 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750446967536 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6728] ppid=6685 vsize=8414124 memory=1748 CPUtime=0.21 cores=0-7
/proc/6711/task/6728/stat : 6728 (java) S 6685 6685 5395 0 -1 1077944384 1002 0 0 0 21 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750445914992 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6729] ppid=6685 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/6711/task/6729/stat : 6729 (java) S 6685 6685 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139748773456096 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6730] ppid=6685 vsize=8414124 memory=808 CPUtime=0.2 cores=0-7
/proc/6711/task/6730/stat : 6730 (java) S 6685 6685 5395 0 -1 1077944384 25 0 0 0 0 20 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750444861872 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6732] ppid=6685 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/6711/task/6732/stat : 6732 (java) S 6685 6685 5395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418856720 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750787011776 139751356911385 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6734] ppid=6685 vsize=8414124 memory=920 CPUtime=0.02 cores=0-7
/proc/6711/task/6734/stat : 6734 (java) S 6685 6685 5395 0 -1 4202560 1681 0 0 0 1 1 0 0 20 0 24 0 418856720 8616062976 30716 33554432000 4194304 4196468 140723258393792 139748102356752 139751356908701 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6735] ppid=6685 vsize=8414124 memory=4412 CPUtime=0 cores=0-7
/proc/6711/task/6735/stat : 6735 (java) S 6685 6685 5395 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418856720 8616062976 30716 33554432000 4194304 4196468 140723258393792 139748370792336 139751356908701 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6736] ppid=6685 vsize=8414124 memory=4096 CPUtime=0 cores=0-7
/proc/6711/task/6736/stat : 6736 (java) S 6685 6685 5395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418856722 8616062976 30716 33554432000 4194304 4196468 140723258393792 139747833929392 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
Current children cumulated CPU time: 2879.83 s
Current children cumulated vsize: 9252088 KiB
Current children cumulated memory: 579360 KiB

[startup+407.601 s]
/proc/loadavg: 7.88 7.51 7.11 3/216 6768
/proc/meminfo: memFree=29857332/32770624 swapFree=66932108/67108860
[pid=6685] ppid=6682 vsize=113128 memory=1476 CPUtime=69.22 cores=0-7
/proc/6685/stat : 6685 (scop.sh) S 6682 6685 5395 0 -1 4202496 582 77558 0 0 0 0 6604 318 20 0 1 0 418851604 115843072 369 33554432000 4194304 5098028 140726035660544 140726035657288 139771681575548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11956224 140726035665701 140726035666028 140726035666028 140726035668941 0
/proc/6685/statm: 28282 369 311 221 0 87 0
[pid=6711] ppid=6685 vsize=8414124 memory=122864 CPUtime=1.43 cores=0-7
/proc/6711/stat : 6711 (java) S 6685 6685 5395 0 -1 1077944320 23321 0 0 0 131 12 0 0 20 0 24 0 418856643 8616062976 30716 33554432000 4194304 4196468 140723258393792 140723258376336 139751356886775 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
/proc/6711/statm: 2103531 30716 3198 1 0 2064875 0
[pid=6731] ppid=6711 vsize=700248 memory=454992 CPUtime=2809.71 cores=0-7
/proc/6731/stat : 6731 (manyglucose-4.1) S 6711 6685 5395 0 -1 1077944320 743040 0 0 0 280724 247 0 0 20 0 2 0 418856720 717053952 113748 33554432000 4194304 4454172 140728900327376 140728900325760 140065256963831 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 20099072 140728900334442 140728900334640 140728900334640 140728900337594 0
/proc/6731/statm: 175062 113748 418 64 0 170730 0
[pid=6731/tid=6744] ppid=6711 vsize=700248 memory=988 CPUtime=353.69 cores=0-7
/proc/6731/task/6744/stat : 6744 (manyglucose-4.1) R 6711 6685 5395 0 -1 4202560 88682 0 0 0 35340 29 0 0 20 0 2 0 418856739 717053952 113748 33554432000 4194304 4454172 140728900327376 140065161309320 4351184 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 20099072 140728900334442 140728900334640 140728900334640 140728900337594 0
[pid=6711/tid=6712] ppid=6685 vsize=8414124 memory=7686721470250327193 CPUtime=0.76 cores=0-7
/proc/6711/task/6712/stat : 6712 (java) S 6685 6685 5395 0 -1 1077944384 17977 0 0 0 70 6 0 0 20 0 24 0 418856644 8616062976 30716 33554432000 4194304 4196468 140723258393792 139751328726944 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6713] ppid=6685 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/6711/task/6713/stat : 6713 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139751361128720 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6714] ppid=6685 vsize=8414124 memory=1176 CPUtime=0 cores=0-7
/proc/6711/task/6714/stat : 6714 (java) S 6685 6685 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750841682320 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6715] ppid=6685 vsize=8414124 memory=5964 CPUtime=0 cores=0-7
/proc/6711/task/6715/stat : 6715 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750840629776 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6716] ppid=6685 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/6711/task/6716/stat : 6716 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750839577232 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6717] ppid=6685 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/6711/task/6717/stat : 6717 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750838524688 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6718] ppid=6685 vsize=8414124 memory=20928 CPUtime=0 cores=0-7
/proc/6711/task/6718/stat : 6718 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750837472144 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6719] ppid=6685 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/6711/task/6719/stat : 6719 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750836419600 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6720] ppid=6685 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/6711/task/6720/stat : 6720 (java) S 6685 6685 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418856648 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750835367056 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6721] ppid=6685 vsize=8414124 memory=772 CPUtime=0.01 cores=0-7
/proc/6711/task/6721/stat : 6721 (java) S 6685 6685 5395 0 -1 1077944384 9 0 0 0 0 1 0 0 20 0 24 0 418856650 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750450124784 139751356897922 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6722] ppid=6685 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/6711/task/6722/stat : 6722 (java) S 6685 6685 5395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418856650 8616062976 30716 33554432000 4194304 4196468 140723258393792 139749914305440 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6723] ppid=6685 vsize=8414124 memory=1676 CPUtime=0 cores=0-7
/proc/6711/task/6723/stat : 6723 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418856650 8616062976 30716 33554432000 4194304 4196468 140723258393792 139749645870064 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6724] ppid=6685 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/6711/task/6724/stat : 6724 (java) S 6685 6685 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139749271361744 139751356905371 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6725] ppid=6685 vsize=8414124 memory=1176 CPUtime=0.06 cores=0-7
/proc/6711/task/6725/stat : 6725 (java) S 6685 6685 5395 0 -1 1077944384 646 0 0 0 6 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750449072624 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6726] ppid=6685 vsize=8414124 memory=5964 CPUtime=0.04 cores=0-7
/proc/6711/task/6726/stat : 6726 (java) S 6685 6685 5395 0 -1 1077944384 263 0 0 0 4 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750448020080 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6727] ppid=6685 vsize=8414124 memory=780 CPUtime=0.07 cores=0-7
/proc/6711/task/6727/stat : 6727 (java) S 6685 6685 5395 0 -1 1077944384 334 0 0 0 7 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750446967536 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6728] ppid=6685 vsize=8414124 memory=14008 CPUtime=0.21 cores=0-7
/proc/6711/task/6728/stat : 6728 (java) S 6685 6685 5395 0 -1 1077944384 1002 0 0 0 21 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750445914992 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6729] ppid=6685 vsize=8414124 memory=20928 CPUtime=0 cores=0-7
/proc/6711/task/6729/stat : 6729 (java) S 6685 6685 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139748773456096 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6730] ppid=6685 vsize=8414124 memory=2116 CPUtime=0.2 cores=0-7
/proc/6711/task/6730/stat : 6730 (java) S 6685 6685 5395 0 -1 1077944384 25 0 0 0 0 20 0 0 20 0 24 0 418856653 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750444861872 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6732] ppid=6685 vsize=8414124 memory=11916 CPUtime=0 cores=0-7
/proc/6711/task/6732/stat : 6732 (java) S 6685 6685 5395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418856720 8616062976 30716 33554432000 4194304 4196468 140723258393792 139750787011776 139751356911385 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6734] ppid=6685 vsize=8414124 memory=1560 CPUtime=0.02 cores=0-7
/proc/6711/task/6734/stat : 6734 (java) S 6685 6685 5395 0 -1 4202560 1681 0 0 0 1 1 0 0 20 0 24 0 418856720 8616062976 30716 33554432000 4194304 4196468 140723258393792 139748102356752 139751356908701 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6735] ppid=6685 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/6711/task/6735/stat : 6735 (java) S 6685 6685 5395 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418856720 8616062976 30716 33554432000 4194304 4196468 140723258393792 139748370792336 139751356908701 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6736] ppid=6685 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/6711/task/6736/stat : 6736 (java) S 6685 6685 5395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418856722 8616062976 30716 33554432000 4194304 4196468 140723258393792 139747833929392 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
Current children cumulated CPU time: 2880.36 s
Current children cumulated vsize: 9227500 KiB
Current children cumulated memory: 579332 KiB

[startup+407.701 s]
/proc/loadavg: 7.88 7.51 7.11 3/216 6768
/proc/meminfo: memFree=29857332/32770624 swapFree=66932108/67108860
[pid=6685] ppid=6682 vsize=113128 memory=1476 CPUtime=69.22 cores=0-7
/proc/6685/stat : 6685 (scop.sh) S 6682 6685 5395 0 -1 4202496 582 77558 0 0 0 0 6604 318 20 0 1 0 418851604 115843072 369 33554432000 4194304 5098028 140726035660544 140726035657288 139771681575548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11956224 140726035665701 140726035666028 140726035666028 140726035668941 0
/proc/6685/statm: 28282 369 311 221 0 87 0
[pid=6711] ppid=6685 vsize=8283048 memory=127720 CPUtime=2811.39 cores=0-7
/proc/6711/stat : 6711 (java) S 6685 6685 5395 0 -1 1077944320 23998 743052 0 0 152 13 280726 248 20 0 22 0 418856643 8481841152 31930 33554432000 4194304 4196468 140723258393792 140723258376336 139751356886775 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
/proc/6711/statm: 2070762 31930 3224 1 0 2032106 0
[pid=6711/tid=6712] ppid=6685 vsize=8283048 memory=122864 CPUtime=2810.54 cores=0-7
/proc/6711/task/6712/stat : 6712 (java) R 6685 6685 5395 0 -1 4202560 18149 743052 0 0 74 6 280726 248 20 0 22 0 418856644 8481841152 31930 33554432000 4194304 4196468 140723258393792 139751328724672 139751337158265 0 4 2 25189581 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6713] ppid=6685 vsize=8283048 memory=122864 CPUtime=2809.74 cores=0-7
/proc/6711/task/6713/stat : 6713 (java) S 6685 6685 5395 0 -1 1077944384 1 743052 0 0 0 0 280726 248 20 0 22 0 418856648 8481841152 31930 33554432000 4194304 4196468 140723258393792 139751361128720 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6714] ppid=6685 vsize=8283048 memory=1476 CPUtime=2809.74 cores=0-7
/proc/6711/task/6714/stat : 6714 (java) S 6685 6685 5395 0 -1 1077944384 3 743052 0 0 0 0 280726 248 20 0 22 0 418856648 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750841682320 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6715] ppid=6685 vsize=8283048 memory=122864 CPUtime=2809.74 cores=0-7
/proc/6711/task/6715/stat : 6715 (java) S 6685 6685 5395 0 -1 1077944384 2 743052 0 0 0 0 280726 248 20 0 22 0 418856648 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750840629776 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6716] ppid=6685 vsize=8283048 memory=122864 CPUtime=2809.74 cores=0-7
/proc/6711/task/6716/stat : 6716 (java) S 6685 6685 5395 0 -1 1077944384 1 743052 0 0 0 0 280726 248 20 0 22 0 418856648 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750839577232 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6717] ppid=6685 vsize=8283048 memory=122864 CPUtime=2809.74 cores=0-7
/proc/6711/task/6717/stat : 6717 (java) S 6685 6685 5395 0 -1 1077944384 2 743052 0 0 0 0 280726 248 20 0 22 0 418856648 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750838524688 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6718] ppid=6685 vsize=8283048 memory=1476 CPUtime=2809.74 cores=0-7
/proc/6711/task/6718/stat : 6718 (java) S 6685 6685 5395 0 -1 1077944384 2 743052 0 0 0 0 280726 248 20 0 22 0 418856648 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750837472144 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6719] ppid=6685 vsize=8283048 memory=122864 CPUtime=2809.74 cores=0-7
/proc/6711/task/6719/stat : 6719 (java) S 6685 6685 5395 0 -1 1077944384 2 743052 0 0 0 0 280726 248 20 0 22 0 418856648 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750836419600 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6720] ppid=6685 vsize=8283048 memory=1476 CPUtime=2809.74 cores=0-7
/proc/6711/task/6720/stat : 6720 (java) S 6685 6685 5395 0 -1 1077944384 2 743052 0 0 0 0 280726 248 20 0 22 0 418856648 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750835367056 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6721] ppid=6685 vsize=8283048 memory=122864 CPUtime=2809.75 cores=0-7
/proc/6711/task/6721/stat : 6721 (java) S 6685 6685 5395 0 -1 1077944384 9 743052 0 0 0 1 280726 248 20 0 22 0 418856650 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750450124784 139751356897922 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6722] ppid=6685 vsize=8283048 memory=1412 CPUtime=2809.74 cores=0-7
/proc/6711/task/6722/stat : 6722 (java) S 6685 6685 5395 0 -1 1077944384 13 743052 0 0 0 0 280726 248 20 0 22 0 418856650 8481841152 31930 33554432000 4194304 4196468 140723258393792 139749914305440 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6723] ppid=6685 vsize=8283048 memory=1476 CPUtime=2809.74 cores=0-7
/proc/6711/task/6723/stat : 6723 (java) S 6685 6685 5395 0 -1 1077944384 1 743052 0 0 0 0 280726 248 20 0 22 0 418856650 8481841152 31930 33554432000 4194304 4196468 140723258393792 139749645870064 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6724] ppid=6685 vsize=8283048 memory=120240 CPUtime=2809.74 cores=0-7
/proc/6711/task/6724/stat : 6724 (java) S 6685 6685 5395 0 -1 1077944384 1 743052 0 0 0 0 280726 248 20 0 22 0 418856653 8481841152 31930 33554432000 4194304 4196468 140723258393792 139749271361744 139751356905371 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6725] ppid=6685 vsize=8283048 memory=1476 CPUtime=2809.82 cores=0-7
/proc/6711/task/6725/stat : 6725 (java) S 6685 6685 5395 0 -1 1077944384 671 743052 0 0 8 0 280726 248 20 0 22 0 418856653 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750449072624 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6726] ppid=6685 vsize=8283048 memory=3620 CPUtime=2809.81 cores=0-7
/proc/6711/task/6726/stat : 6726 (java) S 6685 6685 5395 0 -1 1077944384 278 743052 0 0 7 0 280726 248 20 0 22 0 418856653 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750448020080 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6727] ppid=6685 vsize=8283048 memory=8112282956445269571 CPUtime=2809.84 cores=0-7
/proc/6711/task/6727/stat : 6727 (java) S 6685 6685 5395 0 -1 1077944384 579 743052 0 0 10 0 280726 248 20 0 22 0 418856653 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750446967536 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6728] ppid=6685 vsize=8283048 memory=1476 CPUtime=2809.99 cores=0-7
/proc/6711/task/6728/stat : 6728 (java) S 6685 6685 5395 0 -1 1077944384 1185 743052 0 0 25 0 280726 248 20 0 22 0 418856653 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750445914992 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6729] ppid=6685 vsize=8283048 memory=39964 CPUtime=2809.74 cores=0-7
/proc/6711/task/6729/stat : 6729 (java) S 6685 6685 5395 0 -1 1077944384 3 743052 0 0 0 0 280726 248 20 0 22 0 418856653 8481841152 31930 33554432000 4194304 4196468 140723258393792 139748773456096 139751356896981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6730] ppid=6685 vsize=8283048 memory=3620 CPUtime=2809.94 cores=0-7
/proc/6711/task/6730/stat : 6730 (java) S 6685 6685 5395 0 -1 1077944384 25 743052 0 0 0 20 280726 248 20 0 22 0 418856653 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750444861872 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6732] ppid=6685 vsize=8283048 memory=122864 CPUtime=2809.74 cores=0-7
/proc/6711/task/6732/stat : 6732 (java) S 6685 6685 5395 0 -1 1077944384 23 743052 0 0 0 0 280726 248 20 0 22 0 418856720 8481841152 31930 33554432000 4194304 4196468 140723258393792 139750787010960 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
[pid=6711/tid=6736] ppid=6685 vsize=8283048 memory=0 CPUtime=2809.74 cores=0-7
/proc/6711/task/6736/stat : 6736 (java) S 6685 6685 5395 0 -1 1077944384 10 743052 0 0 0 0 280726 248 20 0 22 0 418856722 8481841152 31930 33554432000 4194304 4196468 140723258393792 139747833931184 139751356897922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18788352 140723258397688 140723258397846 140723258397846 140723258400719 0
Current children cumulated CPU time: 2880.61 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 129196 KiB

Child status: 0
Real time (s): 407.743
CPU time (s): 2880.71
CPU user time (s): 2874.89
CPU system time (s): 5.82412
CPU usage (%): 706.503
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6613280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2874.89
system time used= 5.82412
maximum resident set size= 6612736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 845332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97018
involuntary context switches= 26039


# summary of solver processes directly reported to runsolver:
#   pid: 6685
#   total CPU time (s): 2880.71
#   total CPU user time (s): 2874.89
#   total CPU system time (s): 5.82412

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76037 second user time and 5.35012 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-14 03:52:21
IDJOB=4392449
IDBENCH=126096
IDSOLVER=2838
FILE ID=node139/4392449-1568425836
RUNJOBID= node139-1568417720-5422
PBS_JOBID= 21702278
Free space on /tmp= 59524 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-17.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392449-1568425836/watcher-4392449-1568425836 -o /tmp/evaluation-result-4392449-1568425836/solver-4392449-1568425836 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568417720-5422 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392449-1568425836.xml

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

MD5SUM BENCH= 9efca6d5489e39e5f473d5ee8bd54dad
RANDOM SEED=1238608643

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30423912 kB
MemAvailable:   31821524 kB
Buffers:          135448 kB
Cached:          1542304 kB
SwapCached:        74372 kB
Active:           632016 kB
Inactive:        1125668 kB
Active(anon):       4764 kB
Inactive(anon):   115888 kB
Active(file):     627252 kB
Inactive(file):  1009780 kB
Unevictable:      106548 kB
Mlocked:          106548 kB
SwapTotal:      67108860 kB
SwapFree:       66932108 kB
Dirty:             53240 kB
Writeback:             0 kB
AnonPages:        113132 kB
Mapped:            43756 kB
Shmem:             32208 kB
Slab:             181524 kB
SReclaimable:     152832 kB
SUnreclaim:        28692 kB
KernelStack:        3392 kB
PageTables:         5568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     488668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59504 MiB
End job on node139 at 2019-09-14 03:59:09