Trace number 4392749

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 2871.2 411.229

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-31478-serial-file.bin HOME/instance-4392749-1568425890.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 03:50:49 CEST 2019
0.66/0.56	c PID: 31481
0.66/0.56	c IP: 172.20.3.125
0.66/0.56	c HOST: node125.alineos.net
0.66/0.57	c (0,0) Parsing Begin
6.43/4.82	c (4,4) Parsing End
6.43/4.82	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
6.43/4.82	c (4,4) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.43/4.82	c (4,4) Constraint Name Generate Begin
6.43/4.83	c (4,4) Ctr:HOME/instance-4392749-1568425890.xml,ExtensionSupport:Var
6.43/4.83	c (4,4) Constraint Name Generate End
6.43/4.83	c (4,4) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.43/4.83	c (4,4) CSP to CSPinCNF Begin
19.05/9.93	c (9,9) translated 6 (10%) constraints
27.03/14.33	c (13,13) translated 12 (20%) constraints
30.50/17.64	c (17,16) translated 17 (30%) constraints
36.16/22.02	c (21,21) translated 23 (40%) constraints
39.71/25.49	c (24,24) translated 28 (50%) constraints
44.62/29.61	c (29,28) translated 34 (60%) constraints
48.93/33.93	c (33,32) translated 40 (70%) constraints
52.52/37.45	c (36,36) translated 45 (80%) constraints
57.70/41.83	c (41,40) translated 51 (90%) constraints
61.24/45.38	c (44,44) translated 56 (100%) constraints
61.94/46.05	c (45,44) ===========================================
62.07/46.12	c (45,45) Hybrid: #OE=13740, #LE=0
62.07/46.12	c (45,45) Hybrid
62.07/46.12	c (45,45) ===========================================
63.35/46.52	c (45,45) translated 14296 (10%) constraints
63.78/46.85	c (46,45) translated 28592 (20%) constraints
64.40/47.20	c (46,46) translated 42888 (30%) constraints
64.70/47.53	c (46,46) translated 57184 (40%) constraints
65.00/47.85	c (47,46) translated 71480 (50%) constraints
65.31/48.17	c (47,47) translated 85776 (60%) constraints
65.70/48.50	c (47,47) translated 100072 (70%) constraints
66.00/48.82	c (48,47) translated 114368 (80%) constraints
66.31/49.15	c (48,48) translated 128664 (90%) constraints
66.61/49.47	c (48,48) translated 142959 (100%) constraints
66.61/49.47	c (48,48) CSP to CSPinCNF End
66.61/49.48	c (48,48) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142959 ctr, max domain size 5
66.61/49.48	c (48,48) Heap : 5831 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
66.61/49.48	c (48,48) CSPinCNF Propagation Begin
69.37/50.45	c (49,49) 0 values, 71 unsatisfiable literals, and 21 valid clauses are removed
69.37/50.45	c (49,49) CSPinCNF Propagation End
69.37/50.46	c (49,49) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
69.37/50.46	c (49,49) Heap : 1106 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
69.52/50.51	c (49,49) Hybrid: #OE=13740, #LE=0
69.52/50.51	c (49,49) Simplify CSPinCNF Begin
69.93/50.81	c (50,49) Simplify CSPinCNF End
69.93/50.82	c (50,49) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
69.93/50.82	c (50,49) Heap : 1328 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
69.93/50.82	c (50,49) Calculate Precise Domain Begin
69.93/50.82	c (50,49) 0 values are removed by re-calculation
69.93/50.82	c (50,49) Calculate Precise Domain End
69.93/50.82	c (50,49) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
69.93/50.82	c (50,49) Heap : 1328 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
69.93/50.82	c (50,49) CSPinCNF to SatSolver Begin
71.43/51.25	c (50,49) 14294 (10 %) CSP clauses are encoded (0 SAT variables, 14368 SAT clauses)
71.56/51.38	c (50,50) 28588 (20 %) CSP clauses are encoded (0 SAT variables, 28662 SAT clauses)
71.79/51.51	c (50,50) 42882 (30 %) CSP clauses are encoded (0 SAT variables, 42956 SAT clauses)
71.89/51.64	c (51,50) 57176 (40 %) CSP clauses are encoded (0 SAT variables, 57250 SAT clauses)
71.99/51.77	c (51,50) 71469 (50 %) CSP clauses are encoded (0 SAT variables, 71543 SAT clauses)
72.19/51.90	c (51,50) 85763 (60 %) CSP clauses are encoded (0 SAT variables, 85837 SAT clauses)
72.31/52.03	c (51,50) 100057 (70 %) CSP clauses are encoded (0 SAT variables, 100131 SAT clauses)
72.41/52.16	c (51,50) 114351 (80 %) CSP clauses are encoded (0 SAT variables, 114425 SAT clauses)
72.50/52.29	c (51,51) 128645 (90 %) CSP clauses are encoded (0 SAT variables, 128719 SAT clauses)
72.70/52.42	c (51,51) 142938 (100 %) CSP clauses are encoded (0 SAT variables, 143012 SAT clauses)
72.70/52.42	c (51,51) CSPinCNF to SatSolver End
72.70/52.42	c (51,51) Heap : 2664 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
72.70/52.42	c (51,51) 13812 bool, 143013 clause
72.70/52.42	c (51,51) Export Begin
72.86/52.50	c (51,51) Export to HOME/scop-31478-serial-file.bin
72.86/52.50	c (51,51) Export End
72.86/52.50	c (51,51) Export File Size: 0.01 MB
72.86/52.50	c (51,51) 4,4,48,49,50,50,51,STOP-AFTER(DIMACS)
72.86/52.51	c END-Prog: Sat Sep 14 03:51:41 CEST 2019
72.86/52.54	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-31478-serial-file.bin
72.93/53.01	c (0,0) Read Serial File Begin
72.93/53.01	c (0,0) HOME/scop-31478-serial-file.bin
73.82/53.21	c (0,0) Read Serial File End
73.82/53.22	
73.82/53.22	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
73.82/53.22	(Solving Process)
73.82/53.22	
73.82/53.24	c BEGIN-Prog: Sat Sep 14 03:51:42 CEST 2019
73.82/53.24	c PID: 31503
73.82/53.24	c IP: 172.20.3.125
73.82/53.24	c HOST: node125.alineos.net
73.82/53.25	c (0,0) SatSolver.solve Begin
73.82/53.25	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392749-1568425890.xml-scop-31481.cnf
73.82/53.28	c (0,0) c
73.82/53.28	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
73.82/53.28	c (0,0) c
73.82/53.28	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
73.82/53.28	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
73.82/53.28	c (0,0) c ========================================[ Problem Statistics ]===========================================
73.82/53.28	c (0,0) c |                                                                                                       |
74.06/53.33	c (0,0) c |  Number of variables:         13812                                                                   |
74.06/53.33	c (0,0) c |  Number of clauses:          143013                                                                   |
74.06/53.33	c (0,0) c |  Parse time:                   0.05 s                                                                 |
74.06/53.33	c (0,0) c |                                                                                                       |
74.09/53.41	c (0,0) c |  Simplification time:          0.08 s                                                                 |
74.09/53.41	c (0,0) c |                                                                                                       |
74.09/53.41	c (0,0) c |  Generating clones                                                                                    |
74.09/53.46	c (0,0) c |  all clones generated. Memory =   120.53Mb.                                                           |
74.09/53.46	c (0,0) c ========================================================================================================|
74.09/53.46	c (0,0) c
74.09/53.46	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
74.09/53.46	c (0,0) c
74.09/53.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.09/53.46	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
74.09/53.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.09/53.46	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
74.09/53.46	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
74.09/53.46	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
74.09/53.46	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
74.09/53.46	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
74.09/53.46	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
74.09/53.46	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
74.09/53.46	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
74.09/53.46	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
74.09/53.46	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
74.09/53.46	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
74.09/53.46	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
74.09/53.46	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
74.09/53.46	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
74.09/53.46	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
74.09/53.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
308.66/82.98	c (30,0) c
308.66/82.98	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
308.66/82.98	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
308.66/82.98	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
308.66/82.98	c (30,0) c |  0 |     50 |      59131 |      46577 |    42677 |    20492 |     8557 |    50605 |     3405 |      203 |  20 |  0.000 |
308.66/82.98	c (30,0) c |  1 |     42 |      60124 |      47687 |    42283 |    21595 |     8593 |    49315 |     3291 |      206 |  20 |  0.000 |
308.66/82.98	c (30,0) c |  2 |     40 |      59764 |      47527 |    41644 |    21439 |     8710 |    52896 |     3352 |      209 |  20 |  0.000 |
308.66/82.98	c (30,0) c |  3 |     39 |      59303 |      47394 |    41197 |    21303 |     8578 |    55384 |     2940 |      209 |  20 |  0.000 |
308.66/82.98	c (30,0) c |  4 |     18 |      55416 |      44643 |    41568 |    18552 |     8353 |    30591 |     2567 |      206 |  20 |  0.000 |
308.66/82.98	c (30,0) c |  5 |     36 |      59974 |      47160 |    43805 |    21066 |     8313 |    51627 |     3530 |      208 |  20 |  0.000 |
308.66/82.98	c (30,0) c |  6 |     40 |      58274 |      46169 |    42155 |    20077 |     8386 |    49770 |     3399 |      205 |  20 |  0.000 |
308.66/82.98	c (30,0) c |  7 |     42 |      59933 |      47783 |    41116 |    21691 |     8314 |    55014 |     2706 |      209 |  20 |  0.000 |
308.66/82.98	c (30,0) c 
308.66/82.98	c (30,0) c synthesis      374940 conflicts   641364936 propagations     1604 conflicts/sec  2743488 propagations/sec
308.66/82.98	c (30,0) c real: 29.7034 s, cpu: 233.777 s, memory: 719.16 Mb
539.96/111.98	c (59,0) c
539.96/111.98	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
539.96/111.98	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
539.96/111.98	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
539.96/111.98	c (59,0) c |  0 |     74 |     103820 |      84460 |    50028 |    30898 |    13644 |    90464 |     6370 |      400 |  20 |  0.000 |
539.96/111.98	c (59,0) c |  1 |     51 |     104454 |      86075 |    48753 |    32515 |    14186 |    93218 |     5865 |      406 |  20 |  0.000 |
539.96/111.98	c (59,0) c |  2 |     45 |     104187 |      86044 |    48255 |    32482 |    14222 |    77602 |     6085 |      405 |  20 |  0.000 |
539.96/111.98	c (59,0) c |  3 |     46 |     102776 |      84961 |    48216 |    31393 |    14246 |    89523 |     5736 |      407 |  20 |  0.000 |
539.96/111.98	c (59,0) c |  4 |     18 |      93859 |      78739 |    46543 |    25177 |    13413 |    30591 |     3591 |      404 |  20 |  0.000 |
539.96/111.98	c (59,0) c |  5 |     43 |     102849 |      84191 |    49879 |    30625 |    13679 |    86849 |     6502 |      406 |  20 |  0.000 |
539.96/111.98	c (59,0) c |  6 |     54 |      99898 |      82229 |    48754 |    28664 |    13441 |    92387 |     5530 |      401 |  20 |  0.000 |
539.96/111.98	c (59,0) c |  7 |     59 |     105409 |      86711 |    49374 |    33146 |    14326 |    81687 |     5966 |      405 |  20 |  0.000 |
539.96/111.98	c (59,0) c 
539.96/111.98	c (59,0) c synthesis      673410 conflicts  1189002030 propagations     1448 conflicts/sec  2557071 propagations/sec
539.96/111.98	c (59,0) c real: 58.7034 s, cpu: 464.986 s, memory: 719.16 Mb
771.26/140.98	c (88,0) c
771.26/140.98	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
771.26/140.98	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
771.26/140.98	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
771.26/140.98	c (88,0) c |  0 |     83 |     143873 |     119456 |    54592 |    28072 |    18528 |   125891 |     8787 |      595 |  20 |  0.000 |
771.26/140.98	c (88,0) c |  1 |     74 |     147965 |     123990 |    54246 |    32609 |    18931 |   115765 |     8737 |      602 |  20 |  0.000 |
771.26/140.98	c (88,0) c |  2 |     49 |     148341 |     124805 |    54200 |     2632 |    20844 |   120221 |     7067 |      603 |  20 |  0.000 |
771.26/140.98	c (88,0) c |  3 |     57 |     143182 |     120301 |    52857 |    28921 |    18832 |   112593 |     8275 |      600 |  20 |  0.000 |
771.26/140.98	c (88,0) c |  4 |     46 |     135169 |     114385 |    54786 |     2190 |    18813 |   125913 |     6085 |      594 |  20 |  0.000 |
771.26/140.98	c (88,0) c |  5 |     55 |     142162 |     118666 |    54284 |    27285 |    17895 |   127209 |     9274 |      603 |  20 |  0.000 |
771.26/140.98	c (88,0) c |  6 |     75 |     142808 |     119374 |    54560 |    27994 |    18127 |   128545 |     8543 |      600 |  20 |  0.000 |
771.26/140.98	c (88,0) c |  7 |     65 |     143144 |     120291 |    52979 |    28910 |    18481 |   124144 |     8004 |      593 |  20 |  0.000 |
771.26/140.98	c (88,0) c 
771.26/140.98	c (88,0) c synthesis      961268 conflicts  1711448018 propagations     1381 conflicts/sec  2458241 propagations/sec
771.26/140.98	c (88,0) c real: 87.7034 s, cpu: 696.209 s, memory: 719.16 Mb
1010.22/170.98	c (118,0) c
1010.22/170.98	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
1010.22/170.98	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1010.22/170.98	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
1010.22/170.98	c (118,0) c |  0 |     89 |     180773 |     152081 |    57313 |    37897 |    21790 |   157659 |    10871 |      792 |  20 |  0.000 |
1010.22/170.98	c (118,0) c |  1 |     83 |     187345 |     158829 |    57589 |    44647 |    22597 |   149572 |    11114 |      802 |  20 |  0.000 |
1010.22/170.98	c (118,0) c |  2 |     65 |     196357 |     166349 |    62378 |     2208 |    26522 |   156542 |     7526 |      810 |  20 |  0.000 |
1010.22/170.98	c (118,0) c |  3 |     57 |     182250 |     155287 |    55368 |    41103 |    22935 |   112593 |     9578 |      802 |  20 |  0.000 |
1010.22/170.98	c (118,0) c |  4 |     72 |     182718 |     155580 |    62269 |     3420 |    24306 |   151193 |     6529 |      800 |  20 |  0.000 |
1010.22/170.98	c (118,0) c |  5 |     60 |     180932 |     153199 |    57739 |    39013 |    21971 |   144867 |    11610 |      806 |  20 |  0.000 |
1010.22/170.98	c (118,0) c |  6 |    101 |     184218 |     155363 |    58254 |    41177 |    22249 |   157214 |    11007 |      805 |  20 |  0.000 |
1010.22/170.98	c (118,0) c |  7 |     66 |     181326 |     154374 |    55468 |    40192 |    21926 |   156874 |    10021 |      790 |  20 |  0.000 |
1010.22/170.98	c (118,0) c 
1010.22/170.98	c (118,0) c synthesis     1251062 conflicts  2243928592 propagations     1338 conflicts/sec  2399685 propagations/sec
1010.22/170.98	c (118,0) c real: 117.703 s, cpu: 935.093 s, memory: 719.16 Mb
1240.86/199.99	c (147,0) c
1240.86/199.99	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1240.86/199.99	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1240.86/199.99	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1240.86/199.99	c (147,0) c |  0 |     90 |     213957 |     182000 |    58974 |    42412 |    24637 |   173459 |    12450 |      983 |  20 |  0.000 |
1240.86/199.99	c (147,0) c |  1 |    101 |     226437 |     193262 |    60472 |    53681 |    26123 |   177261 |    13543 |     1000 |  20 |  0.000 |
1240.86/199.99	c (147,0) c |  2 |     74 |     238181 |     202543 |    67935 |     2424 |    31754 |   180441 |     7843 |     1002 |  20 |  0.000 |
1240.86/199.99	c (147,0) c |  3 |     57 |     217566 |     187409 |    57053 |    47823 |    26231 |   112593 |    10442 |      997 |  20 |  0.000 |
1240.86/199.99	c (147,0) c |  4 |     91 |     228535 |     195201 |    68279 |     3008 |    29246 |   180009 |     6936 |      997 |  20 |  0.000 |
1240.86/199.99	c (147,0) c |  5 |     87 |     218362 |     185795 |    60545 |    46209 |    25473 |   186371 |    13880 |     1000 |  20 |  0.000 |
1240.86/199.99	c (147,0) c |  6 |    132 |     223148 |     189407 |    61072 |    49819 |    25757 |   176299 |    13214 |     1002 |  20 |  0.000 |
1240.86/199.99	c (147,0) c |  7 |     66 |     217140 |     186677 |    57375 |    47094 |    25217 |   156874 |    12044 |      983 |  20 |  0.000 |
1240.86/199.99	c (147,0) c 
1240.86/199.99	c (147,0) c synthesis     1522294 conflicts  2736803961 propagations     1306 conflicts/sec  2347821 propagations/sec
1240.86/199.99	c (147,0) c real: 146.703 s, cpu: 1165.68 s, memory: 719.16 Mb
1479.12/229.98	c (177,0) c
1479.12/229.98	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1479.12/229.98	c (177,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1479.12/229.98	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1479.12/229.98	c (177,0) c |  0 |     91 |     250580 |     215050 |    61056 |    47458 |    28169 |   188025 |    14133 |     1189 |  20 |  0.000 |
1479.12/229.98	c (177,0) c |  1 |    102 |     263298 |     226671 |    62091 |    59086 |    29853 |   211620 |    15105 |     1205 |  20 |  0.000 |
1479.12/229.98	c (177,0) c |  2 |     74 |     278156 |     237987 |    71405 |     3813 |    35773 |   180441 |     8000 |     1188 |  20 |  0.000 |
1479.12/229.98	c (177,0) c |  3 |     60 |     252671 |     219104 |    58785 |    51516 |    28843 |   209870 |    12796 |     1196 |  20 |  0.000 |
1479.12/229.98	c (177,0) c |  4 |     98 |     272692 |     234167 |    73057 |     2066 |    34183 |   199408 |     7225 |     1204 |  20 |  0.000 |
1479.12/229.98	c (177,0) c |  5 |    104 |     256636 |     219606 |    63007 |    52021 |    28914 |   208794 |    15979 |     1205 |  20 |  0.000 |
1479.12/229.98	c (177,0) c |  6 |    132 |     255708 |     219322 |    62566 |    51739 |    28777 |   176299 |    14343 |     1187 |  20 |  0.000 |
1479.12/229.98	c (177,0) c |  7 |     81 |     254093 |     219336 |    60615 |    51753 |    28266 |   210494 |    14707 |     1185 |  20 |  0.000 |
1479.12/229.98	c (177,0) c 
1479.12/229.98	c (177,0) c synthesis     1791243 conflicts  3229725720 propagations     1276 conflicts/sec  2300566 propagations/sec
1479.12/229.98	c (177,0) c real: 176.703 s, cpu: 1403.88 s, memory: 719.16 Mb
1709.95/258.98	c (206,0) c
1709.95/258.98	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1709.95/258.98	c (206,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1709.95/258.98	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1709.95/258.98	c (206,0) c |  0 |     93 |     283128 |     244351 |    62693 |    46167 |    30965 |   221048 |    15600 |     1381 |  20 |  0.000 |
1709.95/258.98	c (206,0) c |  1 |    128 |     296024 |     255570 |    63689 |    57385 |    32445 |   230703 |    17147 |     1383 |  20 |  0.000 |
1709.95/258.98	c (206,0) c |  2 |     74 |     318833 |     274538 |    74437 |     2462 |    40408 |   180441 |     8088 |     1396 |  20 |  0.000 |
1709.95/258.98	c (206,0) c |  3 |     66 |     285256 |     248306 |    60323 |    50116 |    31023 |   233338 |    15096 |     1386 |  20 |  0.000 |
1709.95/258.98	c (206,0) c |  4 |    100 |     313910 |     270550 |    77163 |     2406 |    38784 |   218054 |     7399 |     1397 |  20 |  0.000 |
1709.95/258.98	c (206,0) c |  5 |    121 |     288535 |     247849 |    64553 |    49665 |    31631 |   232914 |    17733 |     1383 |  20 |  0.000 |
1709.95/258.98	c (206,0) c |  6 |    139 |     290935 |     250899 |    64381 |    52717 |    31764 |   232778 |    16135 |     1388 |  20 |  0.000 |
1709.95/258.98	c (206,0) c |  7 |    110 |     289324 |     250175 |    63005 |    51994 |    30658 |   232479 |    16990 |     1377 |  20 |  0.000 |
1709.95/258.98	c (206,0) c 
1709.95/258.98	c (206,0) c synthesis     2042238 conflicts  3697960864 propagations     1249 conflicts/sec  2262442 propagations/sec
1709.95/258.98	c (206,0) c real: 205.703 s, cpu: 1634.5 s, memory: 719.16 Mb
1947.51/288.98	c (236,0) c
1947.51/288.98	c (236,0) c |------------------------------------------------------------------------------------------------------------------------|
1947.51/288.98	c (236,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1947.51/288.98	c (236,0) c |------------------------------------------------------------------------------------------------------------------------|
1947.51/288.98	c (236,0) c |  0 |    102 |     316524 |     274174 |    64167 |    42796 |    33567 |   255381 |    17469 |     1575 |  20 |  0.000 |
1947.51/288.98	c (236,0) c |  1 |    162 |     331632 |     286716 |    65331 |    55335 |    35341 |   254679 |    19214 |     1580 |  20 |  0.000 |
1947.51/288.98	c (236,0) c |  2 |     74 |     356108 |     308341 |    76831 |     2274 |    43767 |   180441 |     8150 |     1595 |  20 |  0.000 |
1947.51/288.98	c (236,0) c |  3 |     83 |     320636 |     279849 |    61965 |    48456 |    33688 |   245741 |    17005 |     1584 |  20 |  0.000 |
1947.51/288.98	c (236,0) c |  4 |    103 |     357170 |     308729 |    81290 |     2618 |    44064 |   237321 |     7603 |     1595 |  20 |  0.000 |
1947.51/288.98	c (236,0) c |  5 |    142 |     324395 |     279456 |    66092 |    48068 |    34684 |   255055 |    19682 |     1580 |  20 |  0.000 |
1947.51/288.98	c (236,0) c |  6 |    149 |     326648 |     282746 |    66034 |    51361 |    34795 |   250764 |    18008 |     1595 |  20 |  0.000 |
1947.51/288.98	c (236,0) c |  7 |    123 |     324266 |     281525 |    64884 |    50141 |    33573 |   238392 |    18954 |     1581 |  20 |  0.000 |
1947.51/288.98	c (236,0) c 
1947.51/288.98	c (236,0) c synthesis     2301536 conflicts  4175297650 propagations     1229 conflicts/sec  2230460 propagations/sec
1947.51/288.98	c (236,0) c real: 235.703 s, cpu: 1871.94 s, memory: 719.16 Mb
2173.84/317.98	c (265,0) c
2173.84/317.98	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
2173.84/317.98	c (265,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2173.84/317.98	c (265,0) c |------------------------------------------------------------------------------------------------------------------------|
2173.84/317.98	c (265,0) c |  0 |    104 |     349269 |     303714 |    65270 |    36534 |    36314 |   261728 |    19146 |     1772 |  20 |  0.000 |
2173.84/317.98	c (265,0) c |  1 |    187 |     365651 |     316673 |    66712 |    49491 |    38174 |   275136 |    21127 |     1776 |  20 |  0.000 |
2173.84/317.98	c (265,0) c |  2 |     75 |     388189 |     337064 |    79119 |     2958 |    47054 |   261659 |     8293 |     1756 |  20 |  0.000 |
2173.84/317.98	c (265,0) c |  3 |    107 |     352705 |     308323 |    63464 |    41133 |    36220 |   276601 |    18872 |     1776 |  20 |  0.000 |
2173.84/317.98	c (265,0) c |  4 |    103 |     394364 |     341991 |    84277 |     3835 |    47689 |   237321 |     7680 |     1776 |  20 |  0.000 |
2173.84/317.98	c (265,0) c |  5 |    158 |     356889 |     308100 |    67651 |    40916 |    37223 |   276568 |    21372 |     1776 |  20 |  0.000 |
2173.84/317.98	c (265,0) c |  6 |    151 |     353355 |     306784 |    67015 |    39600 |    36751 |   274447 |    19045 |     1759 |  20 |  0.000 |
2173.84/317.98	c (265,0) c |  7 |    123 |     355437 |     310089 |    65990 |    42907 |    36126 |   238392 |    19792 |     1776 |  20 |  0.000 |
2173.84/317.98	c (265,0) c 
2173.84/317.98	c (265,0) c synthesis     2532738 conflicts  4600594431 propagations     1207 conflicts/sec  2192610 propagations/sec
2173.84/317.98	c (265,0) c real: 264.703 s, cpu: 2098.23 s, memory: 719.16 Mb
2410.51/347.98	c (295,0) c
2410.51/347.98	c (295,0) c |------------------------------------------------------------------------------------------------------------------------|
2410.51/347.98	c (295,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2410.51/347.98	c (295,0) c |------------------------------------------------------------------------------------------------------------------------|
2410.51/347.98	c (295,0) c |  0 |    109 |     382605 |     333649 |    66633 |    66469 |    38664 |   296640 |    21332 |     1972 |  20 |  0.000 |
2410.51/347.98	c (295,0) c |  1 |    191 |     393908 |     342270 |    67862 |    75088 |    40705 |   285089 |    22634 |     1952 |  20 |  0.000 |
2410.51/347.98	c (295,0) c |  2 |     78 |     432045 |     376187 |    82438 |     2120 |    52348 |   266464 |     8438 |     1972 |  20 |  0.000 |
2410.51/347.98	c (295,0) c |  3 |    134 |     386638 |     338205 |    65372 |    71015 |    38847 |   298682 |    21170 |     1972 |  20 |  0.000 |
2410.51/347.98	c (295,0) c |  4 |    103 |     434075 |     377860 |    87015 |     3730 |    52233 |   237321 |     7743 |     1972 |  20 |  0.000 |
2410.51/347.98	c (295,0) c |  5 |    163 |     389768 |     337725 |    68577 |    70541 |    40074 |   292082 |    23138 |     1972 |  20 |  0.000 |
2410.51/347.98	c (295,0) c |  6 |    168 |     387836 |     337422 |    68391 |    70238 |    39162 |   293171 |    21777 |     1961 |  20 |  0.000 |
2410.51/347.98	c (295,0) c |  7 |    124 |     383756 |     336280 |    66785 |    69098 |    37700 |   297739 |    20552 |     1958 |  20 |  0.000 |
2410.51/347.98	c (295,0) c 
2410.51/347.98	c (295,0) c synthesis     2779598 conflicts  5051897541 propagations     1191 conflicts/sec  2163765 propagations/sec
2410.51/347.98	c (295,0) c real: 294.703 s, cpu: 2334.77 s, memory: 719.16 Mb
2631.03/376.97	c (324,0) c
2631.03/376.97	c (324,0) c |------------------------------------------------------------------------------------------------------------------------|
2631.03/376.97	c (324,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2631.03/376.97	c (324,0) c |------------------------------------------------------------------------------------------------------------------------|
2631.03/376.97	c (324,0) c |  0 |    116 |     412835 |     360658 |    67928 |    55074 |    41039 |   311972 |    23321 |     2149 |  20 |  0.000 |
2631.03/376.99	c (324,0) c |  1 |    205 |     423251 |     368620 |    68775 |    63043 |    43007 |   302979 |    24301 |     2133 |  20 |  0.000 |
2631.03/376.99	c (324,0) c |  2 |     79 |     466341 |     406592 |    84990 |     2484 |    55840 |   300031 |     8728 |     2149 |  20 |  0.000 |
2631.03/376.99	c (324,0) c |  3 |    152 |     416257 |     364430 |    66964 |    58838 |    41277 |   306012 |    22594 |     2149 |  20 |  0.000 |
2631.03/376.99	c (324,0) c |  4 |    107 |     468971 |     409006 |    89856 |     2855 |    55869 |   288642 |     7903 |     2149 |  20 |  0.000 |
2631.03/376.99	c (324,0) c |  5 |    169 |     418678 |     363888 |    69340 |    58304 |    41970 |   316076 |    24525 |     2149 |  20 |  0.000 |
2631.03/376.99	c (324,0) c |  6 |    180 |     417620 |     364018 |    69308 |    58432 |    41259 |   306920 |    23210 |     2129 |  20 |  0.000 |
2631.03/376.99	c (324,0) c |  7 |    154 |     416586 |     365328 |    68033 |    59739 |    39784 |   318444 |    22719 |     2149 |  20 |  0.000 |
2631.03/376.99	c (324,0) c 
2631.03/376.99	c (324,0) c synthesis     3002540 conflicts  5464271282 propagations     1175 conflicts/sec  2138451 propagations/sec
2631.03/376.99	c (324,0) c real: 323.703 s, cpu: 2555.25 s, memory: 719.16 Mb
2849.60/406.98	c (354,0) c
2849.60/406.98	c (354,0) c |------------------------------------------------------------------------------------------------------------------------|
2849.60/406.98	c (354,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2849.60/406.98	c (354,0) c |------------------------------------------------------------------------------------------------------------------------|
2849.60/406.98	c (354,0) c |  0 |    123 |     438722 |     384154 |    68779 |    78570 |    42780 |   334863 |    24619 |     2325 |  20 |  0.000 |
2849.60/406.98	c (354,0) c |  1 |    208 |     453445 |     396112 |    69598 |    49533 |    45362 |   324546 |    25765 |     2325 |  20 |  0.000 |
2849.60/406.98	c (354,0) c |  2 |     85 |     500656 |     437020 |    87458 |     2897 |    59647 |   309565 |     8868 |     2325 |  20 |  0.000 |
2849.60/406.98	c (354,0) c |  3 |    157 |     443505 |     388920 |    68148 |    42332 |    43377 |   331345 |    23988 |     2325 |  20 |  0.000 |
2849.60/406.98	c (354,0) c |  4 |    112 |     503052 |     439264 |    92457 |     3136 |    59333 |   310982 |     8114 |     2325 |  20 |  0.000 |
2849.60/406.98	c (354,0) c |  5 |    183 |     446072 |     388315 |    70044 |    41730 |    43583 |   332789 |    26174 |     2325 |  20 |  0.000 |
2849.60/406.98	c (354,0) c |  6 |    183 |     445824 |     389315 |    70128 |    42733 |    43614 |   320394 |    24738 |     2305 |  20 |  0.000 |
2849.60/406.98	c (354,0) c |  7 |    172 |     445200 |     390820 |    69161 |    44231 |    41605 |   334258 |    24327 |     2325 |  20 |  0.000 |
2849.60/406.98	c (354,0) c 
2849.60/406.98	c (354,0) c synthesis     3213921 conflicts  5859344897 propagations     1159 conflicts/sec  2112401 propagations/sec
2849.60/406.98	c (354,0) c real: 353.703 s, cpu: 2773.78 s, memory: 719.16 Mb
2870.78/411.10	c (358,0) c
2870.78/411.10	c (358,0) c real time : 357.827 s
2870.78/411.10	c (358,0) c cpu time  : 2794.37 s
2870.78/411.10	c (358,0) c
2870.78/411.10	c (358,0) c
2870.78/411.10	c (358,0) c
2870.78/411.10	c (358,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2870.78/411.10	c (358,0) c
2870.78/411.10	c (358,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2870.78/411.10	c (358,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2870.78/411.10	c (358,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2870.78/411.10	c (358,0) c | Conflicts     |         3236121 |     386473 |     398487 |     439826 |     391226 |     441931 |     390560 |     394367 |     393251 |
2870.78/411.10	c (358,0) c | Decisions     |         3701150 |     441456 |     456030 |     503756 |     446050 |     506020 |     448508 |     451414 |     447916 |
2870.78/411.10	c (358,0) c | Propagations  |      5900972998 |  710527087 |  704923365 |  819485848 |  704869030 |  831918687 |  707573623 |  712332035 |  709343323 |
2870.78/411.10	c (358,0) c | ReduceDBs     |             456 |         16 |         17 |        177 |         17 |        178 |         17 |         17 |         17 |
2870.78/411.10	c (358,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
2870.78/411.10	c (358,0) c | Restarts      |            1228 |        128 |        208 |         85 |        157 |        112 |        183 |        183 |        172 |
2870.78/411.10	c (358,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2870.78/411.10	c (358,0) c | PropBinClauses|      1656039789 |  200720051 |  199957225 |  233214821 |  199391704 |  227872096 |  198380903 |  199127718 |  197375271 |
2870.78/411.10	c (358,0) c | PropPreBlocker|     67848874171 | 8449994513 | 8477976348 | 8517088847 | 8447598883 | 8502488485 | 8462957772 | 8485144016 | 8505625307 |
2870.78/411.10	c (358,0) c | PropNotBlocker|     21959195101 | 2695109010 | 2698641620 | 2905493375 | 2695157058 | 2894621629 | 2701361000 | 2683858419 | 2684952990 |
2870.78/411.10	c (358,0) c | LitFullScans  |    112394612670 |14053235035 |14047022986 |14052847946 |14047520908 |14052842834 |14047032030 |14047132989 |14046977942 |
2870.78/411.10	c (358,0) c | LitScanFracts |         7986719 |    1204618 |    1022084 |     829961 |     982099 |     833143 |    1026169 |    1128242 |     960403 |
2870.78/411.10	c (358,0) c | DecisionLevel0|            1228 |        128 |        208 |         85 |        157 |        112 |        183 |        183 |        172 |
2870.78/411.10	c (358,0) c | Periods       |           18731 |       2342 |       2341 |       2342 |       2341 |       2342 |       2341 |       2341 |       2341 |
2870.78/411.10	c (358,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2870.78/411.10	c (358,0) c | Avg_Trail     |                 |       5735 |       5737 |       5685 |       5734 |       5903 |       5756 |       5824 |       5731 |
2870.78/411.10	c (358,0) c | Avg_DL        |                 |         16 |         15 |         15 |         16 |         16 |         16 |         16 |         15 |
2870.78/411.10	c (358,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2870.78/411.10	c (358,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2870.78/411.10	c (358,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2870.78/411.10	c (358,0) c | Exported      |          381168 |      42928 |      45528 |      59912 |      43564 |      59664 |      43725 |      44062 |      41785 |
2870.78/411.10	c (358,0) c | Imported      |         2599341 |     335462 |     324546 |     309565 |     331345 |     310982 |     332789 |     320394 |     334258 |
2870.78/411.10	c (358,0) c | Good          |            3605 |        460 |        441 |        441 |        467 |        432 |        459 |        447 |        458 |
2870.78/411.10	c (358,0) c | Purge         |         2595736 |     335002 |     324105 |     309124 |     330878 |     310550 |     332330 |     319947 |     333800 |
2870.78/411.10	c (358,0) c | Promoted      |          167540 |      24900 |      25837 |       8877 |      24087 |       8122 |      26265 |      24979 |      24473 |
2870.78/411.10	c (358,0) c | Remove_Imp    |         2052404 |     222939 |     242029 |     298614 |     248719 |     300201 |     250074 |     238110 |     251718 |
2870.78/411.10	c (358,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2870.78/411.10	c (358,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2870.78/411.10	c (358,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2870.78/411.10	c (358,0) c | Binaries      |                 |         58 |         73 |         71 |         50 |         86 |         59 |         63 |         60 |
2870.78/411.10	c (358,0) c | Glues         |                 |       1097 |       1137 |       1390 |       1065 |       1589 |       1170 |       1176 |       1157 |
2870.78/411.10	c (358,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2870.78/411.10	c (358,0) c | Orig_Seen     |            52 % |      68866 |      69643 |      87647 |      68225 |      92655 |      70117 |      70309 |      69239 |
2870.78/411.10	c (358,0) c | Diff Orig seen|                 |        641 |       1418 |      19422 |      X     |      24430 |       1892 |       2084 |       1014 |
2870.78/411.10	c (358,0) c | Hamming       |            46 % |       6376 |       6492 |       6240 |      X     |       6586 |       6237 |       6631 |       6756 |
2870.78/411.10	c (358,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2870.78/411.10	c (358,0) c | RunningTime   |                 |  352.6  99%|  355.1 100%|  347.0  97%|  349.1  98%|  343.4  96%|  349.4  98%|  357.2 100%|  349.5  98%|
2870.78/411.10	c (358,0) c | WaitingTime   |                 |    3.3   1%|    0.7   0%|    8.8   2%|    6.6   2%|   12.4   3%|    6.4   2%|    0.2   0%|    6.2   2%|
2870.78/411.10	c (358,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%|
2870.78/411.10	c (358,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%|
2870.78/411.10	c (358,0) c | SolvingTime   |                 |  356.1     |  356.0     |  356.0     |  355.9     |  356.0     |  356.0     |  357.6     |  355.9     |
2870.78/411.10	c (358,0) c | PropagationTim|                 |  338.1  95%|  334.9  94%|  337.5  95%|  340.4  96%|  337.3  95%|  338.9  95%|  340.7  95%|  338.3  95%|
2870.78/411.10	c (358,0) c | AnalysisTime  |                 |   10.1   3%|   13.2   4%|    9.5   3%|    8.0   2%|   10.0   3%|    9.3   3%|    8.7   2%|    9.9   3%|
2870.78/411.10	c (358,0) c | ReductionTime |                 |    0.7   0%|    0.8   0%|    1.2   0%|    0.8   0%|    1.2   0%|    0.8   0%|    0.9   0%|    0.8   0%|
2870.78/411.10	c (358,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%|
2870.78/411.10	c (358,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%|
2870.78/411.10	c (358,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%|
2870.78/411.10	c (358,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2870.78/411.10	c (358,0) c
2870.78/411.10	c (358,0) c
2870.78/411.10	c (358,0) c Threads : 8
2870.78/411.10	c (358,0) c Winner : 3
2870.78/411.10	c (358,0) c Conflicts_0 : 386473
2870.78/411.10	c (358,0) c Conflicts_1 : 398487
2870.78/411.10	c (358,0) c Conflicts_2 : 439826
2870.78/411.10	c (358,0) c Conflicts_3 : 391226
2870.78/411.10	c (358,0) c Conflicts_4 : 441931
2870.78/411.10	c (358,0) c Conflicts_5 : 390560
2870.78/411.10	c (358,0) c Conflicts_6 : 394367
2870.78/411.10	c (358,0) c Conflicts_7 : 393251
2870.78/411.10	c (358,0) c Conflicts_total : 3236121
2870.78/411.10	c (358,0) c Conflicts_winner : 391226
2870.78/411.10	c (358,0) c Decisions_0 : 441456
2870.78/411.10	c (358,0) c Decisions_1 : 456030
2870.78/411.10	c (358,0) c Decisions_2 : 503756
2870.78/411.10	c (358,0) c Decisions_3 : 446050
2870.78/411.10	c (358,0) c Decisions_4 : 506020
2870.78/411.10	c (358,0) c Decisions_5 : 448508
2870.78/411.10	c (358,0) c Decisions_6 : 451414
2870.78/411.10	c (358,0) c Decisions_7 : 447916
2870.78/411.10	c (358,0) c Decisions_total : 3701150
2870.78/411.10	c (358,0) c Decisions_winner : 446050
2870.78/411.10	c (358,0) c Propagations_0 : 710527087
2870.78/411.10	c (358,0) c Propagations_1 : 704923365
2870.78/411.10	c (358,0) c Propagations_2 : 819485848
2870.78/411.10	c (358,0) c Propagations_3 : 704869030
2870.78/411.10	c (358,0) c Propagations_4 : 831918687
2870.78/411.10	c (358,0) c Propagations_5 : 707573623
2870.78/411.10	c (358,0) c Propagations_6 : 712332035
2870.78/411.10	c (358,0) c Propagations_7 : 709343323
2870.78/411.10	c (358,0) c Propagations_total : 5900972998
2870.78/411.10	c (358,0) c Propagations_winner : 704869030
2870.78/411.10	c (358,0) c ReduceDBs_0 : 16
2870.78/411.10	c (358,0) c ReduceDBs_1 : 17
2870.78/411.10	c (358,0) c ReduceDBs_2 : 177
2870.78/411.10	c (358,0) c ReduceDBs_3 : 17
2870.78/411.10	c (358,0) c ReduceDBs_4 : 178
2870.78/411.10	c (358,0) c ReduceDBs_5 : 17
2870.78/411.10	c (358,0) c ReduceDBs_6 : 17
2870.78/411.10	c (358,0) c ReduceDBs_7 : 17
2870.78/411.10	c (358,0) c ReduceDBs_total : 456
2870.78/411.10	c (358,0) c ReduceDBs_winner : 17
2870.78/411.10	c (358,0) c SimpDBs_0 : 1
2870.78/411.10	c (358,0) c SimpDBs_1 : 1
2870.78/411.10	c (358,0) c SimpDBs_2 : 1
2870.78/411.10	c (358,0) c SimpDBs_3 : 1
2870.78/411.10	c (358,0) c SimpDBs_4 : 1
2870.78/411.10	c (358,0) c SimpDBs_5 : 1
2870.78/411.10	c (358,0) c SimpDBs_6 : 1
2870.78/411.10	c (358,0) c SimpDBs_7 : 1
2870.78/411.10	c (358,0) c SimpDBs_total : 8
2870.78/411.10	c (358,0) c SimpDBs_winner : 1
2870.78/411.10	c (358,0) c Restarts_0 : 128
2870.78/411.10	c (358,0) c Restarts_1 : 208
2870.78/411.10	c (358,0) c Restarts_2 : 85
2870.78/411.10	c (358,0) c Restarts_3 : 157
2870.78/411.10	c (358,0) c Restarts_4 : 112
2870.78/411.10	c (358,0) c Restarts_5 : 183
2870.78/411.10	c (358,0) c Restarts_6 : 183
2870.78/411.10	c (358,0) c Restarts_7 : 172
2870.78/411.10	c (358,0) c Restarts_total : 1228
2870.78/411.10	c (358,0) c Restarts_winner : 157
2870.78/411.10	c (358,0) c ForcedImports_0 : 0
2870.78/411.10	c (358,0) c ForcedImports_1 : 0
2870.78/411.10	c (358,0) c ForcedImports_2 : 0
2870.78/411.10	c (358,0) c ForcedImports_3 : 0
2870.78/411.10	c (358,0) c ForcedImports_4 : 0
2870.78/411.10	c (358,0) c ForcedImports_5 : 0
2870.78/411.10	c (358,0) c ForcedImports_6 : 0
2870.78/411.10	c (358,0) c ForcedImports_7 : 0
2870.78/411.10	c (358,0) c ForcedImports_total : 0
2870.78/411.10	c (358,0) c ForcedImports_winner : 0
2870.78/411.10	c (358,0) c PropsBinClauses_0 : 200720051
2870.78/411.10	c (358,0) c PropsBinClauses_1 : 199957225
2870.78/411.10	c (358,0) c PropsBinClauses_2 : 233214821
2870.78/411.10	c (358,0) c PropsBinClauses_3 : 199391704
2870.78/411.10	c (358,0) c PropsBinClauses_4 : 227872096
2870.78/411.10	c (358,0) c PropsBinClauses_5 : 198380903
2870.78/411.10	c (358,0) c PropsBinClauses_6 : 199127718
2870.78/411.10	c (358,0) c PropsBinClauses_7 : 197375271
2870.78/411.10	c (358,0) c PropsBinClauses_total : 1656039789
2870.78/411.10	c (358,0) c PropsBinClauses_winner : 199391704
2870.78/411.10	c (358,0) c PropsPreBlocker_0 : 8449994513
2870.78/411.10	c (358,0) c PropsPreBlocker_1 : 8477976348
2870.78/411.10	c (358,0) c PropsPreBlocker_2 : 8517088847
2870.78/411.10	c (358,0) c PropsPreBlocker_3 : 8447598883
2870.78/411.10	c (358,0) c PropsPreBlocker_4 : 8502488485
2870.78/411.10	c (358,0) c PropsPreBlocker_5 : 8462957772
2870.78/411.10	c (358,0) c PropsPreBlocker_6 : 8485144016
2870.78/411.10	c (358,0) c PropsPreBlocker_7 : 8505625307
2870.78/411.10	c (358,0) c PropsPreBlocker_total : 67848874171
2870.78/411.10	c (358,0) c PropsPreBlocker_winner : 8447598883
2870.78/411.10	c (358,0) c PropsNotBlocker_0 : 2695109010
2870.78/411.10	c (358,0) c PropsNotBlocker_1 : 2698641620
2870.78/411.10	c (358,0) c PropsNotBlocker_2 : 2905493375
2870.78/411.10	c (358,0) c PropsNotBlocker_3 : 2695157058
2870.78/411.10	c (358,0) c PropsNotBlocker_4 : 2894621629
2870.78/411.10	c (358,0) c PropsNotBlocker_5 : 2701361000
2870.78/411.10	c (358,0) c PropsNotBlocker_6 : 2683858419
2870.78/411.10	c (358,0) c PropsNotBlocker_7 : 2684952990
2870.78/411.10	c (358,0) c PropsNotBlocker_total : 21959195101
2870.78/411.10	c (358,0) c PropsNotBlocker_winner : 2695157058
2870.78/411.10	c (358,0) c PropsLitFullScans_0 : 14053235035
2870.78/411.10	c (358,0) c PropsLitFullScans_1 : 14047022986
2870.78/411.10	c (358,0) c PropsLitFullScans_2 : 14052847946
2870.78/411.10	c (358,0) c PropsLitFullScans_3 : 14047520908
2870.78/411.10	c (358,0) c PropsLitFullScans_4 : 14052842834
2870.78/411.10	c (358,0) c PropsLitFullScans_5 : 14047032030
2870.78/411.10	c (358,0) c PropsLitFullScans_6 : 14047132989
2870.78/411.10	c (358,0) c PropsLitFullScans_7 : 14046977942
2870.78/411.10	c (358,0) c PropsLitFullScans_total : 112394612670
2870.78/411.10	c (358,0) c PropsLitFullScans_winner : 14047520908
2870.78/411.10	c (358,0) c LitScanFractions_0 : 1204618
2870.78/411.10	c (358,0) c LitScanFractions_1 : 1022084
2870.78/411.10	c (358,0) c LitScanFractions_2 : 829961
2870.78/411.10	c (358,0) c LitScanFractions_3 : 982099
2870.78/411.10	c (358,0) c LitScanFractions_4 : 833143
2870.78/411.10	c (358,0) c LitScanFractions_5 : 1026169
2870.78/411.10	c (358,0) c LitScanFractions_6 : 1128242
2870.78/411.10	c (358,0) c LitScanFractions_7 : 960403
2870.78/411.10	c (358,0) c LitScanFractions_total : 7986719
2870.78/411.10	c (358,0) c LitScanFractions_winner : 982099
2870.78/411.10	c (358,0) c DecisionLevel0_0 : 128
2870.78/411.10	c (358,0) c DecisionLevel0_1 : 208
2870.78/411.10	c (358,0) c DecisionLevel0_2 : 85
2870.78/411.10	c (358,0) c DecisionLevel0_3 : 157
2870.78/411.10	c (358,0) c DecisionLevel0_4 : 112
2870.78/411.10	c (358,0) c DecisionLevel0_5 : 183
2870.78/411.10	c (358,0) c DecisionLevel0_6 : 183
2870.78/411.10	c (358,0) c DecisionLevel0_7 : 172
2870.78/411.10	c (358,0) c DecisionLevel0_total : 1228
2870.78/411.10	c (358,0) c DecisionLevel0_winner : 157
2870.78/411.10	c (358,0) c Periods_0 : 2342
2870.78/411.10	c (358,0) c Periods_1 : 2341
2870.78/411.10	c (358,0) c Periods_2 : 2342
2870.78/411.10	c (358,0) c Periods_3 : 2341
2870.78/411.10	c (358,0) c Periods_4 : 2342
2870.78/411.10	c (358,0) c Periods_5 : 2341
2870.78/411.10	c (358,0) c Periods_6 : 2341
2870.78/411.10	c (358,0) c Periods_7 : 2341
2870.78/411.10	c (358,0) c Periods_total : 18731
2870.78/411.10	c (358,0) c Periods_winner : 2341
2870.78/411.10	c (358,0) c Margin_0 : 20
2870.78/411.10	c (358,0) c Margin_1 : 20
2870.78/411.10	c (358,0) c Margin_2 : 20
2870.78/411.10	c (358,0) c Margin_3 : 20
2870.78/411.10	c (358,0) c Margin_4 : 20
2870.78/411.10	c (358,0) c Margin_5 : 20
2870.78/411.10	c (358,0) c Margin_6 : 20
2870.78/411.10	c (358,0) c Margin_7 : 20
2870.78/411.10	c (358,0) c Margin_total : 160
2870.78/411.10	c (358,0) c Margin_winner : 20
2870.78/411.10	c (358,0) c Exported_0 : 42928
2870.78/411.10	c (358,0) c Exported_1 : 45528
2870.78/411.10	c (358,0) c Exported_2 : 59912
2870.78/411.10	c (358,0) c Exported_3 : 43564
2870.78/411.10	c (358,0) c Exported_4 : 59664
2870.78/411.10	c (358,0) c Exported_5 : 43725
2870.78/411.10	c (358,0) c Exported_6 : 44062
2870.78/411.10	c (358,0) c Exported_7 : 41785
2870.78/411.10	c (358,0) c Exported_total : 381168
2870.78/411.10	c (358,0) c Exported_winner : 43564
2870.78/411.10	c (358,0) c Imported_0 : 335462
2870.78/411.10	c (358,0) c Imported_1 : 324546
2870.78/411.10	c (358,0) c Imported_2 : 309565
2870.78/411.10	c (358,0) c Imported_3 : 331345
2870.78/411.10	c (358,0) c Imported_4 : 310982
2870.78/411.10	c (358,0) c Imported_5 : 332789
2870.78/411.10	c (358,0) c Imported_6 : 320394
2870.78/411.10	c (358,0) c Imported_7 : 334258
2870.89/411.11	c (358,0) c Imported_total : 2599341
2870.89/411.11	c (358,0) c Imported_winner : 331345
2870.89/411.11	c (358,0) c Good_0 : 460
2870.89/411.11	c (358,0) c Good_1 : 441
2870.89/411.11	c (358,0) c Good_2 : 441
2870.89/411.11	c (358,0) c Good_3 : 467
2870.89/411.11	c (358,0) c Good_4 : 432
2870.89/411.11	c (358,0) c Good_5 : 459
2870.89/411.11	c (358,0) c Good_6 : 447
2870.89/411.11	c (358,0) c Good_7 : 458
2870.89/411.11	c (358,0) c Good_total : 3605
2870.89/411.11	c (358,0) c Good_winner : 467
2870.89/411.11	c (358,0) c Purge_0 : 335002
2870.89/411.11	c (358,0) c Purge_1 : 324105
2870.89/411.11	c (358,0) c Purge_2 : 309124
2870.89/411.11	c (358,0) c Purge_3 : 330878
2870.89/411.11	c (358,0) c Purge_4 : 310550
2870.89/411.11	c (358,0) c Purge_5 : 332330
2870.89/411.11	c (358,0) c Purge_6 : 319947
2870.89/411.11	c (358,0) c Purge_7 : 333800
2870.89/411.11	c (358,0) c Purge_total : 2595736
2870.89/411.11	c (358,0) c Purge_winner : 330878
2870.89/411.11	c (358,0) c Promoted_0 : 24900
2870.89/411.11	c (358,0) c Promoted_1 : 25837
2870.89/411.11	c (358,0) c Promoted_2 : 8877
2870.89/411.11	c (358,0) c Promoted_3 : 24087
2870.89/411.11	c (358,0) c Promoted_4 : 8122
2870.89/411.11	c (358,0) c Promoted_5 : 26265
2870.89/411.11	c (358,0) c Promoted_6 : 24979
2870.89/411.11	c (358,0) c Promoted_7 : 24473
2870.89/411.11	c (358,0) c Promoted_total : 167540
2870.89/411.11	c (358,0) c Promoted_winner : 24087
2870.89/411.11	c (358,0) c Remove_Imp_0 : 222939
2870.89/411.11	c (358,0) c Remove_Imp_1 : 242029
2870.89/411.11	c (358,0) c Remove_Imp_2 : 298614
2870.89/411.11	c (358,0) c Remove_Imp_3 : 248719
2870.89/411.11	c (358,0) c Remove_Imp_4 : 300201
2870.89/411.11	c (358,0) c Remove_Imp_5 : 250074
2870.89/411.11	c (358,0) c Remove_Imp_6 : 238110
2870.89/411.11	c (358,0) c Remove_Imp_7 : 251718
2870.89/411.11	c (358,0) c Remove_Imp_total : 2052404
2870.89/411.11	c (358,0) c Remove_Imp_winner : 248719
2870.89/411.11	c (358,0) c Blocked_Reuse_0 : 0
2870.89/411.11	c (358,0) c Blocked_Reuse_1 : 0
2870.89/411.11	c (358,0) c Blocked_Reuse_2 : 0
2870.89/411.11	c (358,0) c Blocked_Reuse_3 : 0
2870.89/411.11	c (358,0) c Blocked_Reuse_4 : 0
2870.89/411.11	c (358,0) c Blocked_Reuse_5 : 0
2870.89/411.11	c (358,0) c Blocked_Reuse_6 : 0
2870.89/411.11	c (358,0) c Blocked_Reuse_7 : 0
2870.89/411.11	c (358,0) c Blocked_Reuse_total : 0
2870.89/411.11	c (358,0) c Blocked_Reuse_winner : 0
2870.89/411.11	c (358,0) c Unaries_0 : 0
2870.89/411.11	c (358,0) c Unaries_1 : 0
2870.89/411.11	c (358,0) c Unaries_2 : 0
2870.89/411.11	c (358,0) c Unaries_3 : 0
2870.89/411.11	c (358,0) c Unaries_4 : 0
2870.89/411.11	c (358,0) c Unaries_5 : 0
2870.89/411.11	c (358,0) c Unaries_6 : 0
2870.89/411.11	c (358,0) c Unaries_7 : 0
2870.89/411.11	c (358,0) c Unaries_total : 0
2870.89/411.11	c (358,0) c Unaries_winner : 0
2870.89/411.11	c (358,0) c Binaries_0 : 58
2870.89/411.11	c (358,0) c Binaries_1 : 73
2870.89/411.11	c (358,0) c Binaries_2 : 71
2870.89/411.11	c (358,0) c Binaries_3 : 50
2870.89/411.11	c (358,0) c Binaries_4 : 86
2870.89/411.11	c (358,0) c Binaries_5 : 59
2870.89/411.11	c (358,0) c Binaries_6 : 63
2870.89/411.11	c (358,0) c Binaries_7 : 60
2870.89/411.11	c (358,0) c Binaries_total : 520
2870.89/411.11	c (358,0) c Binaries_winner : 50
2870.89/411.11	c (358,0) c Glues_0 : 1097
2870.89/411.11	c (358,0) c Glues_1 : 1137
2870.89/411.11	c (358,0) c Glues_2 : 1390
2870.89/411.11	c (358,0) c Glues_3 : 1065
2870.89/411.11	c (358,0) c Glues_4 : 1589
2870.89/411.11	c (358,0) c Glues_5 : 1170
2870.89/411.11	c (358,0) c Glues_6 : 1176
2870.89/411.11	c (358,0) c Glues_7 : 1157
2870.89/411.11	c (358,0) c Glues_total : 9781
2870.89/411.11	c (358,0) c Glues_winner : 1065
2870.89/411.11	c (358,0) c RunningTime_0 : 352.603444
2870.89/411.11	c (358,0) c RunningTime_1 : 355.098396
2870.89/411.11	c (358,0) c RunningTime_2 : 347.004944
2870.89/411.11	c (358,0) c RunningTime_3 : 349.138490
2870.89/411.11	c (358,0) c RunningTime_4 : 343.417432
2870.89/411.11	c (358,0) c RunningTime_5 : 349.364866
2870.89/411.11	c (358,0) c RunningTime_6 : 357.210534
2870.89/411.11	c (358,0) c RunningTime_7 : 349.510150
2870.89/411.11	c (358,0) c RunningTime_total : 2803.348257
2870.89/411.11	c (358,0) c RunningTime_winner : 349.138490
2870.89/411.11	c (358,0) c WaitingTime_0 : 3.258276
2870.89/411.11	c (358,0) c WaitingTime_1 : 0.677466
2870.89/411.11	c (358,0) c WaitingTime_2 : 8.832660
2870.89/411.11	c (358,0) c WaitingTime_3 : 6.603113
2870.89/411.11	c (358,0) c WaitingTime_4 : 12.434215
2870.89/411.11	c (358,0) c WaitingTime_5 : 6.405181
2870.89/411.11	c (358,0) c WaitingTime_6 : 0.184758
2870.89/411.11	c (358,0) c WaitingTime_7 : 6.230477
2870.89/411.11	c (358,0) c WaitingTime_total : 44.626146
2870.89/411.11	c (358,0) c WaitingTime_winner : 6.603113
2870.89/411.11	c (358,0) c ExchangingTime_0 : 0.168028
2870.89/411.11	c (358,0) c ExchangingTime_1 : 0.157303
2870.89/411.11	c (358,0) c ExchangingTime_2 : 0.182459
2870.89/411.11	c (358,0) c ExchangingTime_3 : 0.168090
2870.89/411.11	c (358,0) c ExchangingTime_4 : 0.172663
2870.89/411.11	c (358,0) c ExchangingTime_5 : 0.171756
2870.89/411.11	c (358,0) c ExchangingTime_6 : 0.157523
2870.89/411.11	c (358,0) c ExchangingTime_7 : 0.158000
2870.89/411.11	c (358,0) c ExchangingTime_total : 1.335822
2870.89/411.11	c (358,0) c ExchangingTime_winner : 0.168090
2870.89/411.11	c (358,0) c PeriodProcTime_0 : 0.020660
2870.89/411.11	c (358,0) c PeriodProcTime_1 : 0.022867
2870.89/411.11	c (358,0) c PeriodProcTime_2 : 0.021555
2870.89/411.11	c (358,0) c PeriodProcTime_3 : 0.023417
2870.89/411.11	c (358,0) c PeriodProcTime_4 : 0.019274
2870.89/411.11	c (358,0) c PeriodProcTime_5 : 0.020336
2870.89/411.11	c (358,0) c PeriodProcTime_6 : 0.026685
2870.89/411.11	c (358,0) c PeriodProcTime_7 : 0.026597
2870.89/411.11	c (358,0) c PeriodProcTime_total : 0.181391
2870.89/411.11	c (358,0) c PeriodProcTime_winner : 0.023417
2870.89/411.11	c (358,0) c SolvingTime_0 : 356.050408
2870.89/411.11	c (358,0) c SolvingTime_1 : 355.956033
2870.89/411.11	c (358,0) c SolvingTime_2 : 356.041618
2870.89/411.11	c (358,0) c SolvingTime_3 : 355.933110
2870.89/411.11	c (358,0) c SolvingTime_4 : 356.043584
2870.89/411.11	c (358,0) c SolvingTime_5 : 355.962139
2870.89/411.11	c (358,0) c SolvingTime_6 : 357.579500
2870.89/411.11	c (358,0) c SolvingTime_7 : 355.925225
2870.89/411.11	c (358,0) c SolvingTime_total : 2849.491617
2870.89/411.11	c (358,0) c SolvingTime_winner : 355.933110
2870.89/411.11	c (358,0) c PropagationTime_0 : 338.064362
2870.89/411.11	c (358,0) c PropagationTime_1 : 334.886176
2870.89/411.11	c (358,0) c PropagationTime_2 : 337.499899
2870.89/411.11	c (358,0) c PropagationTime_3 : 340.410761
2870.89/411.11	c (358,0) c PropagationTime_4 : 337.250534
2870.89/411.11	c (358,0) c PropagationTime_5 : 338.856732
2870.89/411.11	c (358,0) c PropagationTime_6 : 340.712245
2870.89/411.11	c (358,0) c PropagationTime_7 : 338.306590
2870.89/411.11	c (358,0) c PropagationTime_total : 2705.987297
2870.89/411.11	c (358,0) c PropagationTime_winner : 340.410761
2870.89/411.11	c (358,0) c AnalysisTime_0 : 10.097718
2870.89/411.11	c (358,0) c AnalysisTime_1 : 13.244225
2870.89/411.11	c (358,0) c AnalysisTime_2 : 9.529046
2870.89/411.11	c (358,0) c AnalysisTime_3 : 7.953762
2870.89/411.11	c (358,0) c AnalysisTime_4 : 9.993317
2870.89/411.11	c (358,0) c AnalysisTime_5 : 9.327931
2870.89/411.11	c (358,0) c AnalysisTime_6 : 8.669572
2870.89/411.11	c (358,0) c AnalysisTime_7 : 9.889928
2870.89/411.11	c (358,0) c AnalysisTime_total : 78.705498
2870.89/411.11	c (358,0) c AnalysisTime_winner : 7.953762
2870.89/411.11	c (358,0) c ReductionTime_0 : 0.726902
2870.89/411.11	c (358,0) c ReductionTime_1 : 0.823116
2870.89/411.11	c (358,0) c ReductionTime_2 : 1.206923
2870.89/411.11	c (358,0) c ReductionTime_3 : 0.796811
2870.89/411.11	c (358,0) c ReductionTime_4 : 1.199440
2870.89/411.11	c (358,0) c ReductionTime_5 : 0.798584
2870.89/411.11	c (358,0) c ReductionTime_6 : 0.880678
2870.89/411.11	c (358,0) c ReductionTime_7 : 0.818649
2870.89/411.11	c (358,0) c ReductionTime_total : 7.251104
2870.89/411.11	c (358,0) c ReductionTime_winner : 0.796811
2870.89/411.11	c (358,0) c SimplifyTime_0 : 0.000015
2870.89/411.11	c (358,0) c SimplifyTime_1 : 0.000021
2870.89/411.11	c (358,0) c SimplifyTime_2 : 0.000006
2870.89/411.11	c (358,0) c SimplifyTime_3 : 0.000019
2870.89/411.11	c (358,0) c SimplifyTime_4 : 0.000016
2870.89/411.11	c (358,0) c SimplifyTime_5 : 0.000017
2870.89/411.11	c (358,0) c SimplifyTime_6 : 0.000018
2870.89/411.11	c (358,0) c SimplifyTime_7 : 0.000020
2870.89/411.11	c (358,0) c SimplifyTime_total : 0.000132
2870.89/411.11	c (358,0) c SimplifyTime_winner : 0.000019
2870.89/411.11	c (358,0) c UsedRateTime_0 : 0.000000
2870.89/411.11	c (358,0) c UsedRateTime_1 : 0.000000
2870.89/411.11	c (358,0) c UsedRateTime_2 : 0.000000
2870.89/411.11	c (358,0) c UsedRateTime_3 : 0.000000
2870.89/411.11	c (358,0) c UsedRateTime_4 : 0.000000
2870.89/411.11	c (358,0) c UsedRateTime_5 : 0.000000
2870.89/411.11	c (358,0) c UsedRateTime_6 : 0.000000
2870.89/411.11	c (358,0) c UsedRateTime_7 : 0.000000
2870.89/411.11	c (358,0) c UsedRateTime_total : 0.000000
2870.89/411.11	c (358,0) c UsedRateTime_winner : 0.000000
2870.89/411.11	c (358,0) c OverlapRateTime_0 : 0.000000
2870.89/411.11	c (358,0) c OverlapRateTime_1 : 0.000000
2870.89/411.11	c (358,0) c OverlapRateTime_2 : 0.000000
2870.89/411.11	c (358,0) c OverlapRateTime_3 : 0.000000
2870.89/411.11	c (358,0) c OverlapRateTime_4 : 0.000000
2870.89/411.11	c (358,0) c OverlapRateTime_5 : 0.000000
2870.89/411.11	c (358,0) c OverlapRateTime_6 : 0.000000
2870.89/411.11	c (358,0) c OverlapRateTime_7 : 0.000000
2870.89/411.11	c (358,0) c OverlapRateTime_total : 0.000000
2870.89/411.11	c (358,0) c OverlapRateTime_winner : 0.000000
2870.89/411.11	c (358,0) c
2870.89/411.11	c (358,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2870.89/411.11	c (358,0) c
2870.89/411.11	c (358,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2870.89/411.11	c (358,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2870.89/411.11	c (358,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2870.89/411.11	c (358,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2870.89/411.11	c (358,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2870.89/411.11	c (358,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2870.89/411.11	c (358,0) c | Initial random_seed   |  143167802 | 1274740918 |  478176698 |  776252974 |  490963954 | 1268678272 |  725637872 | 1996864654 |
2870.89/411.11	c (358,0) c | chanseokStrategy      |      False |      False |       True |      False |       True |      False |      False |      False |
2870.89/411.11	c (358,0) c | coLBDBound            |          5 |          5 |          4 |          5 |          4 |          5 |          5 |          5 |
2870.89/411.11	c (358,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2870.89/411.11	c (358,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2870.89/411.11	c (358,0) c | incReduceDB           |        300 |        300 |          0 |        300 |          0 |        300 |        300 |        300 |
2870.89/411.11	c (358,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2870.89/411.11	c (358,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2870.89/411.11	c (358,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2870.89/411.11	c (358,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2870.89/411.11	c (358,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2870.89/411.11	c (358,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2870.89/411.11	c (358,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2870.89/411.11	c (358,0) 
2870.89/411.11	c (358,0) s SATISFIABLE
2870.89/411.15	c (358,0) SatSolver.solve End
2870.89/411.15	c (358,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2870.89/411.15	c (358,0) Show results Begin
2871.11/411.21	c (358,0) x[0] = 1
2871.11/411.21	c (358,0) x[1] = 1
2871.11/411.21	c (358,0) x[2] = 1
2871.11/411.21	c (358,0) x[3] = 4
2871.11/411.21	c (358,0) x[4] = 2
2871.11/411.21	c (358,0) x[5] = 2
2871.11/411.21	c (358,0) x[6] = 0
2871.11/411.21	c (358,0) x[7] = 1
2871.11/411.21	c (358,0) x[8] = 1
2871.11/411.21	c (358,0) x[9] = 4
2871.11/411.21	c (358,0) x[10] = 4
2871.11/411.21	c (358,0) x[11] = 4
2871.11/411.21	c (358,0) x[12] = 0
2871.11/411.21	c (358,0) x[13] = 4
2871.11/411.21	c (358,0) x[14] = 2
2871.11/411.21	c (358,0) x[15] = 4
2871.11/411.21	c (358,0) x[16] = 2
2871.11/411.21	c (358,0) x[17] = 4
2871.11/411.21	c (358,0) x[18] = 1
2871.11/411.21	c (358,0) x[19] = 0
2871.11/411.21	c (358,0) x[20] = 4
2871.11/411.21	c (358,0) x[21] = 3
2871.11/411.21	c (358,0) x[22] = 3
2871.11/411.21	c (358,0) x[23] = 4
2871.11/411.21	c (358,0) x[24] = 4
2871.11/411.21	s SATISFIABLE
2871.11/411.21	v <instantiation>
2871.11/411.21	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>
2871.11/411.21	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>
2871.11/411.21	v </instantiation>
2871.11/411.21	c (358,0) Show results End
2871.11/411.21	c (358,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
2871.11/411.21	c (358,0) 358,358,STOP-AFTER(ALL)
2871.11/411.21	c END-Prog: Sat Sep 14 03:57:40 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 (14502 MiB free)
  memory of node 1: 16384 MiB (15604 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100154 s]*
/proc/loadavg: 6.42 7.22 7.61 2/212 31500
/proc/meminfo: memFree=30736960/32770624 swapFree=66967032/67108860
[pid=31478] ppid=31475 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31478/stat : 31478 (scop.sh) S 31475 31478 28687 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418855917 115843072 349 33554432000 4194304 5098028 140732454218064 140732454215320 139984217551484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25477120 140732454224676 140732454225004 140732454225004 140732454227917 0
/proc/31478/statm: 28282 349 296 221 0 87 0
[pid=31481] ppid=31478 vsize=27314120 memory=107320 CPUtime=0.11 cores=0-7
/proc/31481/stat : 31481 (java) S 31478 31478 28687 0 -1 1077944320 6912 0 0 0 8 3 0 0 20 0 20 0 418855917 27969658880 26830 33554432000 4194304 4196468 140723653961568 140723653944112 139768954662647 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
/proc/31481/statm: 6828530 26830 2796 1 0 6790935 0
[pid=31481/tid=31482] ppid=31478 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/31481/task/31482/stat : 31482 (java) R 31478 31478 28687 0 -1 4202560 5006 0 0 0 6 2 0 0 20 0 20 0 418855917 27969658880 26830 33554432000 4194304 4196468 140723653961568 139768926476160 139768946899774 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31483] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31483/stat : 31483 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 26830 33554432000 4194304 4196468 140723653961568 139768958905360 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31484] ppid=31478 vsize=27314120 memory=140635121731200 CPUtime=0 cores=0-7
/proc/31481/task/31484/stat : 31484 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 26830 33554432000 4194304 4196468 140723653961568 139768773061776 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31485] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31485/stat : 31485 (java) S 31478 31478 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 26830 33554432000 4194304 4196468 140723653961568 139768376228624 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31486] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31486/stat : 31486 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 26830 33554432000 4194304 4196468 140723653961568 139768375176080 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31487] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31487/stat : 31487 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 26830 33554432000 4194304 4196468 140723653961568 139768374123024 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31488] ppid=31478 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31481/task/31488/stat : 31488 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 26830 33554432000 4194304 4196468 140723653961568 139768373070480 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31489] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31489/stat : 31489 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 26830 33554432000 4194304 4196468 140723653961568 139768372017424 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31490] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31490/stat : 31490 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 26830 33554432000 4194304 4196468 140723653961568 139768370964880 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31491] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31491/stat : 31491 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855921 27969658880 26830 33554432000 4194304 4196468 140723653961568 139767811697392 139768954673794 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31492] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31492/stat : 31492 (java) S 31478 31478 28687 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418855922 27969658880 26830 33554432000 4194304 4196468 140723653961568 139766892848800 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31493] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31493/stat : 31493 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855922 27969658880 26830 33554432000 4194304 4196468 140723653961568 139766624412912 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31494] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31494/stat : 31494 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855924 27969658880 26830 33554432000 4194304 4196468 140723653961568 139766249904592 139768954681243 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31495] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31495/stat : 31495 (java) S 31478 31478 28687 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 418855924 27969658880 26830 33554432000 4194304 4196468 140723653961568 139767810644208 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31496] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31496/stat : 31496 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855924 27969658880 26830 33554432000 4194304 4196468 140723653961568 139767809591664 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31497] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31497/stat : 31497 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855924 27969658880 26830 33554432000 4194304 4196468 140723653961568 139767808538608 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31498] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31498/stat : 31498 (java) S 31478 31478 28687 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 418855924 27969658880 26830 33554432000 4194304 4196468 140723653961568 139767807486064 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31499] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31499/stat : 31499 (java) S 31478 31478 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418855925 27969658880 26830 33554432000 4194304 4196468 140723653961568 139765751999456 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31500] ppid=31478 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31481/task/31500/stat : 31500 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855925 27969658880 26830 33554432000 4194304 4196468 140723653961568 139767806434480 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108716 KiB

[startup+0.210461 s]*
/proc/loadavg: 6.42 7.22 7.61 2/212 31500
/proc/meminfo: memFree=30722420/32770624 swapFree=66967032/67108860
[pid=31478] ppid=31475 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31478/stat : 31478 (scop.sh) S 31475 31478 28687 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418855917 115843072 349 33554432000 4194304 5098028 140732454218064 140732454215320 139984217551484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25477120 140732454224676 140732454225004 140732454225004 140732454227917 0
/proc/31478/statm: 28282 349 296 221 0 87 0
[pid=31481] ppid=31478 vsize=27314120 memory=124284 CPUtime=0.25 cores=0-7
/proc/31481/stat : 31481 (java) S 31478 31478 28687 0 -1 1077944320 11787 0 0 0 20 5 0 0 20 0 20 0 418855917 27969658880 31071 33554432000 4194304 4196468 140723653961568 140723653944112 139768954662647 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
/proc/31481/statm: 6828530 31071 2919 1 0 6790935 0
[pid=31481/tid=31482] ppid=31478 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31481/task/31482/stat : 31482 (java) R 31478 31478 28687 0 -1 4202560 9488 0 0 0 16 3 0 0 20 0 20 0 418855917 27969658880 31071 33554432000 4194304 4196468 140723653961568 139768926487216 139768934938034 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31483] ppid=31478 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/31481/task/31483/stat : 31483 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31071 33554432000 4194304 4196468 140723653961568 139768958905360 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31484] ppid=31478 vsize=27314120 memory=140635124782776 CPUtime=0 cores=0-7
/proc/31481/task/31484/stat : 31484 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31071 33554432000 4194304 4196468 140723653961568 139768773061776 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31485] ppid=31478 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31481/task/31485/stat : 31485 (java) S 31478 31478 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31071 33554432000 4194304 4196468 140723653961568 139768376228624 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31486] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31486/stat : 31486 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31071 33554432000 4194304 4196468 140723653961568 139768375176080 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31487] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31487/stat : 31487 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31071 33554432000 4194304 4196468 140723653961568 139768374123024 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31488] ppid=31478 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31481/task/31488/stat : 31488 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31071 33554432000 4194304 4196468 140723653961568 139768373070480 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31489] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31489/stat : 31489 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31071 33554432000 4194304 4196468 140723653961568 139768372017424 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31490] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31490/stat : 31490 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31071 33554432000 4194304 4196468 140723653961568 139768370964880 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31491] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31491/stat : 31491 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855921 27969658880 31071 33554432000 4194304 4196468 140723653961568 139767811697392 139768954673794 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31492] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31492/stat : 31492 (java) S 31478 31478 28687 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418855922 27969658880 31071 33554432000 4194304 4196468 140723653961568 139766892848800 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31493] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31493/stat : 31493 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855922 27969658880 31071 33554432000 4194304 4196468 140723653961568 139766624412912 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31494] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31494/stat : 31494 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855924 27969658880 31071 33554432000 4194304 4196468 140723653961568 139766249904592 139768954681243 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31495] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31495/stat : 31495 (java) S 31478 31478 28687 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 418855924 27969658880 31071 33554432000 4194304 4196468 140723653961568 139767810644208 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31496] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31496/stat : 31496 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855924 27969658880 31071 33554432000 4194304 4196468 140723653961568 139767809591664 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31497] ppid=31478 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31481/task/31497/stat : 31497 (java) S 31478 31478 28687 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 418855924 27969658880 31071 33554432000 4194304 4196468 140723653961568 139767808538608 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31498] ppid=31478 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/31481/task/31498/stat : 31498 (java) S 31478 31478 28687 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 20 0 418855924 27969658880 31071 33554432000 4194304 4196468 140723653961568 139767807486064 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31499] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31499/stat : 31499 (java) S 31478 31478 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418855925 27969658880 31071 33554432000 4194304 4196468 140723653961568 139765751999456 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31500] ppid=31478 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31481/task/31500/stat : 31500 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855925 27969658880 31071 33554432000 4194304 4196468 140723653961568 139767806434480 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125680 KiB

[startup+0.310263 s]*
/proc/loadavg: 6.42 7.22 7.61 2/212 31500
/proc/meminfo: memFree=30723036/32770624 swapFree=66967032/67108860
[pid=31478] ppid=31475 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31478/stat : 31478 (scop.sh) S 31475 31478 28687 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418855917 115843072 349 33554432000 4194304 5098028 140732454218064 140732454215320 139984217551484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25477120 140732454224676 140732454225004 140732454225004 140732454227917 0
/proc/31478/statm: 28282 349 296 221 0 87 0
[pid=31481] ppid=31478 vsize=27314120 memory=127832 CPUtime=0.43 cores=0-7
/proc/31481/stat : 31481 (java) S 31478 31478 28687 0 -1 1077944320 12864 0 0 0 38 5 0 0 20 0 20 0 418855917 27969658880 31958 33554432000 4194304 4196468 140723653961568 140723653944112 139768954662647 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
/proc/31481/statm: 6828530 31958 3024 1 0 6790935 0
[pid=31481/tid=31482] ppid=31478 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31481/task/31482/stat : 31482 (java) R 31478 31478 28687 0 -1 4202560 10378 0 0 0 25 4 0 0 20 0 20 0 418855917 27969658880 31958 33554432000 4194304 4196468 140723653961568 139768926492720 139768934937950 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31483] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31483/stat : 31483 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31958 33554432000 4194304 4196468 140723653961568 139768958905360 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31484] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31484/stat : 31484 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31958 33554432000 4194304 4196468 140723653961568 139768773061776 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31485] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31485/stat : 31485 (java) S 31478 31478 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31958 33554432000 4194304 4196468 140723653961568 139768376228624 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31486] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31486/stat : 31486 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31958 33554432000 4194304 4196468 140723653961568 139768375176080 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31487] ppid=31478 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/31481/task/31487/stat : 31487 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31958 33554432000 4194304 4196468 140723653961568 139768374123024 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31488] ppid=31478 vsize=27314120 memory=140635013215151 CPUtime=0 cores=0-7
/proc/31481/task/31488/stat : 31488 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31958 33554432000 4194304 4196468 140723653961568 139768373070480 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31489] ppid=31478 vsize=27314120 memory=140635013217456 CPUtime=0 cores=0-7
/proc/31481/task/31489/stat : 31489 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31958 33554432000 4194304 4196468 140723653961568 139768372017424 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31490] ppid=31478 vsize=27314120 memory=140635013219760 CPUtime=0 cores=0-7
/proc/31481/task/31490/stat : 31490 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27969658880 31958 33554432000 4194304 4196468 140723653961568 139768370964880 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31491] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31491/stat : 31491 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855921 27969658880 31958 33554432000 4194304 4196468 140723653961568 139767811697392 139768954673794 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31492] ppid=31478 vsize=27314120 memory=281270026446480 CPUtime=0 cores=0-7
/proc/31481/task/31492/stat : 31492 (java) S 31478 31478 28687 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418855922 27969658880 31958 33554432000 4194304 4196468 140723653961568 139766892848800 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31493] ppid=31478 vsize=27314120 memory=281270026453392 CPUtime=0 cores=0-7
/proc/31481/task/31493/stat : 31493 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855922 27969658880 31958 33554432000 4194304 4196468 140723653961568 139766624412912 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31494] ppid=31478 vsize=27314120 memory=281270026394672 CPUtime=0 cores=0-7
/proc/31481/task/31494/stat : 31494 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855924 27969658880 31958 33554432000 4194304 4196468 140723653961568 139766249904592 139768954681243 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31495] ppid=31478 vsize=27314120 memory=281270026467216 CPUtime=0.01 cores=0-7
/proc/31481/task/31495/stat : 31495 (java) S 31478 31478 28687 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 20 0 418855924 27969658880 31958 33554432000 4194304 4196468 140723653961568 139767810644208 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31496] ppid=31478 vsize=27314120 memory=281270026474128 CPUtime=0.01 cores=0-7
/proc/31481/task/31496/stat : 31496 (java) S 31478 31478 28687 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 418855924 27969658880 31958 33554432000 4194304 4196468 140723653961568 139767809591664 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31497] ppid=31478 vsize=27314120 memory=281270026471824 CPUtime=0.01 cores=0-7
/proc/31481/task/31497/stat : 31497 (java) R 31478 31478 28687 0 -1 4202560 219 0 0 0 1 0 0 0 20 0 20 0 418855924 27969658880 31958 33554432000 4194304 4196468 140723653961568 139767808538608 139768938163131 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31498] ppid=31478 vsize=27314120 memory=281270026487984 CPUtime=0.07 cores=0-7
/proc/31481/task/31498/stat : 31498 (java) S 31478 31478 28687 0 -1 1077944384 511 0 0 0 7 0 0 0 20 0 20 0 418855924 27969658880 31958 33554432000 4194304 4196468 140723653961568 139767807486064 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31499] ppid=31478 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31499/stat : 31499 (java) S 31478 31478 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418855925 27969658880 31958 33554432000 4194304 4196468 140723653961568 139765751999456 139768954672853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31500] ppid=31478 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31481/task/31500/stat : 31500 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418855925 27969658880 31958 33554432000 4194304 4196468 140723653961568 139767806434480 139768954673794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129228 KiB

[startup+0.700924 s]
/proc/loadavg: 6.42 7.22 7.61 2/212 31500
/proc/meminfo: memFree=30709748/32770624 swapFree=66967032/67108860
[pid=31478] ppid=31475 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31478/stat : 31478 (scop.sh) S 31475 31478 28687 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418855917 115843072 349 33554432000 4194304 5098028 140732454218064 140732454215320 139984217551484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25477120 140732454224676 140732454225004 140732454225004 140732454227917 0
/proc/31478/statm: 28282 349 296 221 0 87 0
[pid=31481] ppid=31478 vsize=27320392 memory=169212 CPUtime=1.01 cores=0-7
/proc/31481/stat : 31481 (java) S 31478 31478 28687 0 -1 1077944320 20441 0 0 0 93 8 0 0 20 0 20 0 418855917 27976081408 42303 33554432000 4194304 4196468 140723653961568 140723653944112 139768954662647 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
/proc/31481/statm: 6830098 42303 3181 1 0 6791447 0
[pid=31481/tid=31482] ppid=31478 vsize=27320392 memory=281270026845872 CPUtime=0.68 cores=0-7
/proc/31481/task/31482/stat : 31482 (java) R 31478 31478 28687 0 -1 4202560 17316 0 0 0 62 6 0 0 20 0 20 0 418855917 27976081408 42303 33554432000 4194304 4196468 140723653961568 139768926491600 139768453281461 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31483] ppid=31478 vsize=27320392 memory=140635013423984 CPUtime=0 cores=0-7
/proc/31481/task/31483/stat : 31483 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27976081408 42303 33554432000 4194304 4196468 140723653961568 139768958905360 139768954672853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31484] ppid=31478 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/31481/task/31484/stat : 31484 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418855920 27976081408 42369 33554432000 4194304 4196468 140723653961568 139768773061776 139768954672853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0
[pid=31481/tid=31485] ppid=31478 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/31481/task/31485/stat : 31485 (java) S 31478 31478 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418855920 27976081408 42369 33554432000 4194304 4196468 140723653961568 139768376228624 139768954672853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140723653968618 140723653969046 140723653969046 140723653971919 0

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

/proc/31503/task/31508/stat : 31508 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563160849040 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31509] ppid=31478 vsize=8414124 memory=4068 CPUtime=0 cores=0-7
/proc/31503/task/31509/stat : 31509 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563159796496 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31510] ppid=31478 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/31503/task/31510/stat : 31510 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563158743952 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31511] ppid=31478 vsize=8414124 memory=5928 CPUtime=0 cores=0-7
/proc/31503/task/31511/stat : 31511 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563157691408 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31512] ppid=31478 vsize=8414124 memory=21 CPUtime=0 cores=0-7
/proc/31503/task/31512/stat : 31512 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563156638864 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31513] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31513/stat : 31513 (java) S 31478 31478 28687 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 418861175 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562451589104 140563358554754 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31514] ppid=31478 vsize=8414124 memory=15 CPUtime=0 cores=0-7
/proc/31503/task/31514/stat : 31514 (java) S 31478 31478 28687 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418861175 8616062976 31359 33554432000 4194304 4196468 140731408820080 140561998668704 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31515] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31515/stat : 31515 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861175 8616062976 31359 33554432000 4194304 4196468 140731408820080 140561730233328 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31516] ppid=31478 vsize=8414124 memory=1 CPUtime=0 cores=0-7
/proc/31503/task/31516/stat : 31516 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140561355725008 140563358562203 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31517] ppid=31478 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/31503/task/31517/stat : 31517 (java) S 31478 31478 28687 0 -1 1077944384 659 0 0 0 5 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562450536944 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31518] ppid=31478 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/31503/task/31518/stat : 31518 (java) S 31478 31478 28687 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562449484400 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31519] ppid=31478 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/31503/task/31519/stat : 31519 (java) S 31478 31478 28687 0 -1 1077944384 169 0 0 0 6 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562448431856 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31520] ppid=31478 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/31503/task/31520/stat : 31520 (java) S 31478 31478 28687 0 -1 1077944384 748 0 0 0 21 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562447379312 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31521] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31521/stat : 31521 (java) S 31478 31478 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140560857819360 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31522] ppid=31478 vsize=8414124 memory=281269422514265 CPUtime=0.19 cores=0-7
/proc/31503/task/31522/stat : 31522 (java) S 31478 31478 28687 0 -1 1077944384 25 0 0 0 0 19 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562446326192 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31524] ppid=31478 vsize=8414124 memory=4850 CPUtime=0 cores=0-7
/proc/31503/task/31524/stat : 31524 (java) S 31478 31478 28687 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418861244 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562670236864 140563358568217 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31526] ppid=31478 vsize=8414124 memory=1950 CPUtime=0.02 cores=0-7
/proc/31503/task/31526/stat : 31526 (java) S 31478 31478 28687 0 -1 4202560 1683 0 0 0 1 1 0 0 20 0 24 0 418861244 8616062976 31359 33554432000 4194304 4196468 140731408820080 140560186720016 140563358565533 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31527] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31527/stat : 31527 (java) S 31478 31478 28687 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418861245 8616062976 31359 33554432000 4194304 4196468 140731408820080 140560455155600 140563358565533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31528] ppid=31478 vsize=8414124 memory=5007931868294 CPUtime=0 cores=0-7
/proc/31503/task/31528/stat : 31528 (java) S 31478 31478 28687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418861247 8616062976 31359 33554432000 4194304 4196468 140731408820080 140559918292656 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
Current children cumulated CPU time: 2870.17 s
Current children cumulated vsize: 9247280 KiB
Current children cumulated memory: 587824 KiB

[startup+410.801 s]
/proc/loadavg: 7.49 7.52 7.53 2/217 31559
/proc/meminfo: memFree=30273444/32770624 swapFree=66967032/67108860
[pid=31478] ppid=31475 vsize=113128 memory=1476 CPUtime=72.93 cores=0-7
/proc/31478/stat : 31478 (scop.sh) S 31475 31478 28687 0 -1 4202496 583 77528 0 0 0 0 6981 312 20 0 1 0 418855917 115843072 369 33554432000 4194304 5098028 140732454218064 140732454214808 139984217551484 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25477120 140732454224676 140732454225004 140732454225004 140732454227917 0
/proc/31478/statm: 28282 369 311 221 0 87 0
[pid=31503] ppid=31478 vsize=8414124 memory=125436 CPUtime=1.42 cores=0-7
/proc/31503/stat : 31503 (java) S 31478 31478 28687 0 -1 1077944320 22409 0 0 0 131 11 0 0 20 0 24 0 418861171 8616062976 31359 33554432000 4194304 4196468 140731408820080 140731408802624 140563358543607 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
/proc/31503/statm: 2103531 31359 3197 1 0 2064875 0
[pid=31523] ppid=31503 vsize=720028 memory=460912 CPUtime=2796.22 cores=0-7
/proc/31523/stat : 31523 (manyglucose-4.1) S 31503 31478 28687 0 -1 1077944320 513246 0 0 0 279407 215 0 0 20 0 2 0 418861244 737308672 115228 33554432000 4194304 4454172 140728354299680 140728354298064 140182693875447 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 34291712 140728354300777 140728354300976 140728354300976 140728354303930 0
/proc/31523/statm: 180007 115228 418 64 0 175675 0
[pid=31523/tid=31535] ppid=31503 vsize=720028 memory=1808 CPUtime=356.57 cores=0-7
/proc/31523/task/31535/stat : 31535 (manyglucose-4.1) R 31503 31478 28687 0 -1 4202560 61229 0 0 0 35630 27 0 0 20 0 2 0 418861263 737308672 115228 33554432000 4194304 4454172 140728354299680 140182606613640 4351321 0 4 0 8388610 0 0 0 -1 6 0 0 1 0 0 6552832 6554400 34291712 140728354300777 140728354300976 140728354300976 140728354303930 0
[pid=31503/tid=31504] ppid=31478 vsize=8414124 memory=1476 CPUtime=0.75 cores=0-7
/proc/31503/task/31504/stat : 31504 (java) S 31478 31478 28687 0 -1 1077944384 17395 0 0 0 69 6 0 0 20 0 24 0 418861172 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563330383776 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31505] ppid=31478 vsize=8414124 memory=125436 CPUtime=0 cores=0-7
/proc/31503/task/31505/stat : 31505 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563362785552 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31506] ppid=31478 vsize=8414124 memory=460912 CPUtime=0 cores=0-7
/proc/31503/task/31506/stat : 31506 (java) S 31478 31478 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563162954128 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31507] ppid=31478 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/31503/task/31507/stat : 31507 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563161901584 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31508] ppid=31478 vsize=8414124 memory=4456 CPUtime=0 cores=0-7
/proc/31503/task/31508/stat : 31508 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563160849040 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31509] ppid=31478 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/31503/task/31509/stat : 31509 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563159796496 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31510] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31510/stat : 31510 (java) S 31478 31478 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563158743952 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31511] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31511/stat : 31511 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563157691408 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31512] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31512/stat : 31512 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861173 8616062976 31359 33554432000 4194304 4196468 140731408820080 140563156638864 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31513] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31513/stat : 31513 (java) S 31478 31478 28687 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 418861175 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562451589104 140563358554754 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31514] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31514/stat : 31514 (java) S 31478 31478 28687 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418861175 8616062976 31359 33554432000 4194304 4196468 140731408820080 140561998668704 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31515] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31515/stat : 31515 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861175 8616062976 31359 33554432000 4194304 4196468 140731408820080 140561730233328 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31516] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31516/stat : 31516 (java) S 31478 31478 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140561355725008 140563358562203 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31517] ppid=31478 vsize=8414124 memory=56 CPUtime=0.05 cores=0-7
/proc/31503/task/31517/stat : 31517 (java) S 31478 31478 28687 0 -1 1077944384 659 0 0 0 5 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562450536944 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31518] ppid=31478 vsize=8414124 memory=6944652177228980320 CPUtime=0.07 cores=0-7
/proc/31503/task/31518/stat : 31518 (java) S 31478 31478 28687 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562449484400 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31519] ppid=31478 vsize=8414124 memory=6656426216303648864 CPUtime=0.06 cores=0-7
/proc/31503/task/31519/stat : 31519 (java) S 31478 31478 28687 0 -1 1077944384 169 0 0 0 6 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562448431856 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31520] ppid=31478 vsize=8414124 memory=6655300316396806240 CPUtime=0.21 cores=0-7
/proc/31503/task/31520/stat : 31520 (java) S 31478 31478 28687 0 -1 1077944384 748 0 0 0 21 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562447379312 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31521] ppid=31478 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/31503/task/31521/stat : 31521 (java) S 31478 31478 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140560857819360 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31522] ppid=31478 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/31503/task/31522/stat : 31522 (java) S 31478 31478 28687 0 -1 1077944384 25 0 0 0 0 19 0 0 20 0 24 0 418861178 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562446326192 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31524] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31524/stat : 31524 (java) S 31478 31478 28687 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418861244 8616062976 31359 33554432000 4194304 4196468 140731408820080 140562670236864 140563358568217 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31526] ppid=31478 vsize=8414124 memory=132 CPUtime=0.02 cores=0-7
/proc/31503/task/31526/stat : 31526 (java) S 31478 31478 28687 0 -1 4202560 1683 0 0 0 1 1 0 0 20 0 24 0 418861244 8616062976 31359 33554432000 4194304 4196468 140731408820080 140560186720016 140563358565533 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31527] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31527/stat : 31527 (java) S 31478 31478 28687 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418861245 8616062976 31359 33554432000 4194304 4196468 140731408820080 140560455155600 140563358565533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31528] ppid=31478 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31503/task/31528/stat : 31528 (java) S 31478 31478 28687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418861247 8616062976 31359 33554432000 4194304 4196468 140731408820080 140559918292656 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
Current children cumulated CPU time: 2870.57 s
Current children cumulated vsize: 9247280 KiB
Current children cumulated memory: 587824 KiB

[startup+411.201 s]
/proc/loadavg: 7.49 7.52 7.53 2/217 31559
/proc/meminfo: memFree=30273476/32770624 swapFree=66967032/67108860
[pid=31478] ppid=31475 vsize=113128 memory=1476 CPUtime=72.93 cores=0-7
/proc/31478/stat : 31478 (scop.sh) S 31475 31478 28687 0 -1 4202496 583 77528 0 0 0 0 6981 312 20 0 1 0 418855917 115843072 369 33554432000 4194304 5098028 140732454218064 140732454214808 139984217551484 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25477120 140732454224676 140732454225004 140732454225004 140732454227917 0
/proc/31478/statm: 28282 369 311 221 0 87 0
[pid=31503] ppid=31478 vsize=8283048 memory=135004 CPUtime=2798.18 cores=0-7
/proc/31503/stat : 31503 (java) S 31478 31478 28687 0 -1 1077944320 23197 513341 0 0 154 11 279437 216 20 0 22 0 418861171 8481841152 33751 33554432000 4194304 4196468 140731408820080 140731408802624 140563358543607 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
/proc/31503/statm: 2070762 33751 3222 1 0 2032106 0
[pid=31503/tid=31504] ppid=31478 vsize=8283048 memory=1476 CPUtime=2797.33 cores=0-7
/proc/31503/task/31504/stat : 31504 (java) R 31478 31478 28687 0 -1 4202560 17621 513341 0 0 74 6 279437 216 20 0 22 0 418861172 8481841152 33751 33554432000 4194304 4196468 140731408820080 140563330360672 140563358564658 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31505] ppid=31478 vsize=8283048 memory=460876 CPUtime=2796.53 cores=0-7
/proc/31503/task/31505/stat : 31505 (java) S 31478 31478 28687 0 -1 1077944384 1 513341 0 0 0 0 279437 216 20 0 22 0 418861173 8481841152 33751 33554432000 4194304 4196468 140731408820080 140563362785552 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31506] ppid=31478 vsize=8283048 memory=4100 CPUtime=2796.53 cores=0-7
/proc/31503/task/31506/stat : 31506 (java) S 31478 31478 28687 0 -1 1077944384 3 513341 0 0 0 0 279437 216 20 0 22 0 418861173 8481841152 33751 33554432000 4194304 4196468 140731408820080 140563162954128 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31507] ppid=31478 vsize=8283048 memory=1408 CPUtime=2796.53 cores=0-7
/proc/31503/task/31507/stat : 31507 (java) S 31478 31478 28687 0 -1 1077944384 2 513341 0 0 0 0 279437 216 20 0 22 0 418861173 8481841152 33751 33554432000 4194304 4196468 140731408820080 140563161901584 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31508] ppid=31478 vsize=8283048 memory=3876 CPUtime=2796.53 cores=0-7
/proc/31503/task/31508/stat : 31508 (java) S 31478 31478 28687 0 -1 1077944384 2 513341 0 0 0 0 279437 216 20 0 22 0 418861173 8481841152 33751 33554432000 4194304 4196468 140731408820080 140563160849040 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31509] ppid=31478 vsize=8283048 memory=940 CPUtime=2796.53 cores=0-7
/proc/31503/task/31509/stat : 31509 (java) S 31478 31478 28687 0 -1 1077944384 1 513341 0 0 0 0 279437 216 20 0 22 0 418861173 8481841152 33751 33554432000 4194304 4196468 140731408820080 140563159796496 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31510] ppid=31478 vsize=8283048 memory=14008 CPUtime=2796.53 cores=0-7
/proc/31503/task/31510/stat : 31510 (java) S 31478 31478 28687 0 -1 1077944384 2 513341 0 0 0 0 279437 216 20 0 22 0 418861173 8481841152 33751 33554432000 4194304 4196468 140731408820080 140563158743952 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31511] ppid=31478 vsize=8283048 memory=11824 CPUtime=2796.53 cores=0-7
/proc/31503/task/31511/stat : 31511 (java) S 31478 31478 28687 0 -1 1077944384 1 513341 0 0 0 0 279437 216 20 0 22 0 418861173 8481841152 33751 33554432000 4194304 4196468 140731408820080 140563157691408 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31512] ppid=31478 vsize=8283048 memory=19860 CPUtime=2796.53 cores=0-7
/proc/31503/task/31512/stat : 31512 (java) S 31478 31478 28687 0 -1 1077944384 1 513341 0 0 0 0 279437 216 20 0 22 0 418861173 8481841152 33751 33554432000 4194304 4196468 140731408820080 140563156638864 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31513] ppid=31478 vsize=8283048 memory=2120 CPUtime=2796.53 cores=0-7
/proc/31503/task/31513/stat : 31513 (java) S 31478 31478 28687 0 -1 1077944384 10 513341 0 0 0 0 279437 216 20 0 22 0 418861175 8481841152 33751 33554432000 4194304 4196468 140731408820080 140562451589104 140563358554754 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31514] ppid=31478 vsize=8283048 memory=7525060245145544293 CPUtime=2796.53 cores=0-7
/proc/31503/task/31514/stat : 31514 (java) S 31478 31478 28687 0 -1 1077944384 13 513341 0 0 0 0 279437 216 20 0 22 0 418861175 8481841152 33751 33554432000 4194304 4196468 140731408820080 140561998668704 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31515] ppid=31478 vsize=8283048 memory=7307211764413321318 CPUtime=2796.53 cores=0-7
/proc/31503/task/31515/stat : 31515 (java) S 31478 31478 28687 0 -1 1077944384 1 513341 0 0 0 0 279437 216 20 0 22 0 418861175 8481841152 33751 33554432000 4194304 4196468 140731408820080 140561730233328 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31516] ppid=31478 vsize=8283048 memory=6944656425123485561 CPUtime=2796.53 cores=0-7
/proc/31503/task/31516/stat : 31516 (java) S 31478 31478 28687 0 -1 1077944384 1 513341 0 0 0 0 279437 216 20 0 22 0 418861178 8481841152 33751 33554432000 4194304 4196468 140731408820080 140561355725008 140563358562203 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31517] ppid=31478 vsize=8283048 memory=7235147594880805952 CPUtime=2796.6 cores=0-7
/proc/31503/task/31517/stat : 31517 (java) S 31478 31478 28687 0 -1 1077944384 678 513341 0 0 7 0 279437 216 20 0 22 0 418861178 8481841152 33751 33554432000 4194304 4196468 140731408820080 140562450536944 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31518] ppid=31478 vsize=8283048 memory=7235147594880805952 CPUtime=2796.63 cores=0-7
/proc/31503/task/31518/stat : 31518 (java) S 31478 31478 28687 0 -1 1077944384 359 513341 0 0 10 0 279437 216 20 0 22 0 418861178 8481841152 33751 33554432000 4194304 4196468 140731408820080 140562449484400 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31519] ppid=31478 vsize=8283048 memory=1060 CPUtime=2796.63 cores=0-7
/proc/31503/task/31519/stat : 31519 (java) S 31478 31478 28687 0 -1 1077944384 423 513341 0 0 10 0 279437 216 20 0 22 0 418861178 8481841152 33751 33554432000 4194304 4196468 140731408820080 140562448431856 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31520] ppid=31478 vsize=8283048 memory=4068 CPUtime=2796.78 cores=0-7
/proc/31503/task/31520/stat : 31520 (java) S 31478 31478 28687 0 -1 1077944384 973 513341 0 0 25 0 279437 216 20 0 22 0 418861178 8481841152 33751 33554432000 4194304 4196468 140731408820080 140562447379312 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31521] ppid=31478 vsize=8283048 memory=1720 CPUtime=2796.53 cores=0-7
/proc/31503/task/31521/stat : 31521 (java) S 31478 31478 28687 0 -1 1077944384 3 513341 0 0 0 0 279437 216 20 0 22 0 418861178 8481841152 33751 33554432000 4194304 4196468 140731408820080 140560857819360 140563358553813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31522] ppid=31478 vsize=8283048 memory=5928 CPUtime=2796.72 cores=0-7
/proc/31503/task/31522/stat : 31522 (java) S 31478 31478 28687 0 -1 1077944384 25 513341 0 0 0 19 279437 216 20 0 22 0 418861178 8481841152 33751 33554432000 4194304 4196468 140731408820080 140562446326192 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31524] ppid=31478 vsize=8283048 memory=10484 CPUtime=2796.53 cores=0-7
/proc/31503/task/31524/stat : 31524 (java) S 31478 31478 28687 0 -1 1077944384 24 513341 0 0 0 0 279437 216 20 0 22 0 418861244 8481841152 33751 33554432000 4194304 4196468 140731408820080 140562670236048 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
[pid=31503/tid=31528] ppid=31478 vsize=8283048 memory=1552 CPUtime=2796.53 cores=0-7
/proc/31503/task/31528/stat : 31528 (java) S 31478 31478 28687 0 -1 1077944384 10 513341 0 0 0 0 279437 216 20 0 22 0 418861247 8481841152 33751 33554432000 4194304 4196468 140731408820080 140559918294448 140563358554754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23855104 140731408827383 140731408827542 140731408827542 140731408830415 0
Current children cumulated CPU time: 2871.11 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 136480 KiB

Child status: 0
Real time (s): 411.229
CPU time (s): 2871.2
CPU user time (s): 2865.78
CPU system time (s): 5.42508
CPU usage (%): 698.201
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6608080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2865.78
system time used= 5.42508
maximum resident set size= 6607004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 614740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96866
involuntary context switches= 28932


# summary of solver processes directly reported to runsolver:
#   pid: 31478
#   total CPU time (s): 2871.2
#   total CPU user time (s): 2865.78
#   total CPU system time (s): 5.42508

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.83449 second user time and 5.28202 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-14 03:50:48
IDJOB=4392749
IDBENCH=126096
IDSOLVER=2839
FILE ID=node125/4392749-1568425890
RUNJOBID= node125-1568417381-28714
PBS_JOBID= 21702272
Free space on /tmp= 59748 MiB

SOLVER NAME= Fun-sCOP hybrid+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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392749-1568425890/watcher-4392749-1568425890 -o /tmp/evaluation-result-4392749-1568425890/solver-4392749-1568425890 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568417381-28714 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392749-1568425890.xml

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

MD5SUM BENCH= 9efca6d5489e39e5f473d5ee8bd54dad
RANDOM SEED=1010147531

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30851828 kB
MemAvailable:   31873952 kB
Buffers:          145872 kB
Cached:          1168764 kB
SwapCached:        38320 kB
Active:           703812 kB
Inactive:         651884 kB
Active(anon):      20184 kB
Inactive(anon):    60800 kB
Active(file):     683628 kB
Inactive(file):   591084 kB
Unevictable:      108024 kB
Mlocked:          108024 kB
SwapTotal:      67108860 kB
SwapFree:       66967032 kB
Dirty:             52484 kB
Writeback:           776 kB
AnonPages:        112524 kB
Mapped:            44144 kB
Shmem:             31260 kB
Slab:             155444 kB
SReclaimable:     126492 kB
SUnreclaim:        28952 kB
KernelStack:        3376 kB
PageTables:         5176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498084 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59728 MiB
End job on node125 at 2019-09-14 03:57:40