Trace number 4405609

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 2882.58 413.534

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-29382-serial-file.bin HOME/instance-4405609-1569335979.xml
0.65/0.55	
0.65/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 15:37:59 CEST 2019
0.65/0.57	c PID: 29385
0.65/0.57	c IP: 172.20.3.105
0.65/0.57	c HOST: node105.alineos.net
0.65/0.58	c (0,0) Parsing Begin
6.51/4.89	c (4,4) Parsing End
6.51/4.89	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
6.51/4.89	c (4,4) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.51/4.89	c (4,4) Constraint Name Generate Begin
6.63/4.90	c (4,4) Ctr:HOME/instance-4405609-1569335979.xml,ExtensionSupport:Var
6.63/4.90	c (4,4) Constraint Name Generate End
6.63/4.90	c (4,4) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.63/4.90	c (4,4) CSP to CSPinCNF Begin
19.10/10.00	c (9,9) translated 6 (10%) constraints
26.67/14.37	c (13,13) translated 12 (20%) constraints
30.13/17.64	c (17,16) translated 17 (30%) constraints
35.70/21.98	c (21,21) translated 23 (40%) constraints
39.32/25.42	c (24,24) translated 28 (50%) constraints
44.25/29.53	c (28,28) translated 34 (60%) constraints
48.57/33.83	c (33,32) translated 40 (70%) constraints
52.15/37.33	c (36,36) translated 45 (80%) constraints
57.35/41.75	c (41,40) translated 51 (90%) constraints
60.96/45.31	c (44,44) translated 56 (100%) constraints
61.58/45.99	c (45,44) ===========================================
61.69/46.06	c (45,44) Hybrid: #OE=13740, #LE=0
61.69/46.06	c (45,44) Hybrid
61.69/46.06	c (45,44) ===========================================
62.91/46.48	c (45,45) translated 14296 (10%) constraints
63.52/46.81	c (46,45) translated 28592 (20%) constraints
64.01/47.16	c (46,45) translated 42888 (30%) constraints
64.33/47.48	c (46,46) translated 57184 (40%) constraints
64.74/47.81	c (47,46) translated 71480 (50%) constraints
65.05/48.14	c (47,46) translated 85776 (60%) constraints
65.34/48.46	c (47,47) translated 100072 (70%) constraints
65.64/48.79	c (48,47) translated 114368 (80%) constraints
66.05/49.12	c (48,47) translated 128664 (90%) constraints
66.40/49.46	c (48,48) translated 142959 (100%) constraints
66.40/49.46	c (48,48) CSP to CSPinCNF End
66.40/49.47	c (48,48) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142959 ctr, max domain size 5
66.40/49.47	c (48,48) Heap : 5722 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
66.40/49.47	c (48,48) CSPinCNF Propagation Begin
69.25/50.47	c (49,49) 0 values, 71 unsatisfiable literals, and 21 valid clauses are removed
69.25/50.47	c (49,49) CSPinCNF Propagation End
69.25/50.48	c (49,49) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
69.25/50.48	c (49,49) Heap : 1005 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
69.41/50.53	c (49,49) Hybrid: #OE=13740, #LE=0
69.41/50.53	c (49,49) Simplify CSPinCNF Begin
69.83/50.86	c (50,49) Simplify CSPinCNF End
69.83/50.86	c (50,49) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
69.83/50.86	c (50,49) Heap : 1228 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
69.83/50.86	c (50,49) Calculate Precise Domain Begin
69.83/50.86	c (50,49) 0 values are removed by re-calculation
69.83/50.86	c (50,49) Calculate Precise Domain End
69.83/50.86	c (50,49) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
69.83/50.86	c (50,49) Heap : 1228 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
69.83/50.86	c (50,49) CSPinCNF to SatSolver Begin
71.53/51.31	c (50,49) 14294 (10 %) CSP clauses are encoded (0 SAT variables, 14368 SAT clauses)
71.87/51.45	c (50,50) 28588 (20 %) CSP clauses are encoded (0 SAT variables, 28662 SAT clauses)
71.97/51.59	c (51,50) 42882 (30 %) CSP clauses are encoded (0 SAT variables, 42956 SAT clauses)
72.18/51.72	c (51,50) 57176 (40 %) CSP clauses are encoded (0 SAT variables, 57250 SAT clauses)
72.28/51.85	c (51,50) 71469 (50 %) CSP clauses are encoded (0 SAT variables, 71543 SAT clauses)
72.38/51.98	c (51,50) 85763 (60 %) CSP clauses are encoded (0 SAT variables, 85837 SAT clauses)
72.59/52.11	c (51,50) 100057 (70 %) CSP clauses are encoded (0 SAT variables, 100131 SAT clauses)
72.68/52.25	c (51,50) 114351 (80 %) CSP clauses are encoded (0 SAT variables, 114425 SAT clauses)
72.78/52.38	c (51,51) 128645 (90 %) CSP clauses are encoded (0 SAT variables, 128719 SAT clauses)
72.98/52.51	c (51,51) 142938 (100 %) CSP clauses are encoded (0 SAT variables, 143012 SAT clauses)
72.98/52.51	c (51,51) CSPinCNF to SatSolver End
72.98/52.51	c (51,51) Heap : 2563 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
72.98/52.51	c (51,51) 13812 bool, 143013 clause
72.98/52.51	c (51,51) Export Begin
72.98/52.59	c (52,51) Export to HOME/scop-29382-serial-file.bin
72.98/52.59	c (52,51) Export End
72.98/52.59	c (52,51) Export File Size: 0.01 MB
72.98/52.59	c (52,51) 4,4,48,49,50,50,51,STOP-AFTER(DIMACS)
72.98/52.59	c END-Prog: Tue Sep 24 15:38:51 CEST 2019
0.00/52.64	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29382-serial-file.bin
73.69/53.10	c (0,0) Read Serial File Begin
73.69/53.10	c (0,0) HOME/scop-29382-serial-file.bin
74.09/53.30	c (0,0) Read Serial File End
74.09/53.32	
74.09/53.32	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
74.09/53.32	(Solving Process)
74.09/53.32	
74.09/53.34	c BEGIN-Prog: Tue Sep 24 15:38:52 CEST 2019
74.09/53.34	c PID: 29408
74.09/53.34	c IP: 172.20.3.105
74.09/53.34	c HOST: node105.alineos.net
74.09/53.34	c (0,0) SatSolver.solve Begin
74.09/53.34	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405609-1569335979.xml-scop-29385.cnf
74.09/53.37	c (0,0) c
74.09/53.37	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)
74.09/53.37	c (0,0) c
74.09/53.37	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
74.09/53.37	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
74.09/53.37	c (0,0) c ========================================[ Problem Statistics ]===========================================
74.09/53.37	c (0,0) c |                                                                                                       |
74.32/53.43	c (0,0) c |  Number of variables:         13812                                                                   |
74.32/53.43	c (0,0) c |  Number of clauses:          143013                                                                   |
74.32/53.43	c (0,0) c |  Parse time:                   0.06 s                                                                 |
74.32/53.43	c (0,0) c |                                                                                                       |
74.36/53.51	c (0,0) c |  Simplification time:          0.08 s                                                                 |
74.36/53.51	c (0,0) c |                                                                                                       |
74.36/53.51	c (0,0) c |  Generating clones                                                                                    |
74.36/53.56	c (0,0) c |  all clones generated. Memory =   120.54Mb.                                                           |
74.36/53.56	c (0,0) c ========================================================================================================|
74.36/53.56	c (0,0) c
74.36/53.56	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
74.36/53.56	c (0,0) c
74.36/53.56	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.36/53.56	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
74.36/53.56	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.36/53.56	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
74.36/53.56	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
74.36/53.56	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
74.36/53.56	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
74.36/53.56	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
74.36/53.56	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
74.36/53.56	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
74.36/53.56	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
74.36/53.56	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
74.36/53.56	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
74.36/53.56	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
74.36/53.56	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
74.36/53.56	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
74.36/53.56	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
74.36/53.56	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
74.36/53.56	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
307.45/82.86	c (29,0) c
307.45/82.86	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
307.45/82.86	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
307.45/82.86	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
307.45/82.86	c (29,0) c |  0 |     50 |      58399 |      45965 |    42544 |    19880 |     8452 |    50605 |     3324 |      200 |  20 |  0.000 |
307.45/82.86	c (29,0) c |  1 |     42 |      58620 |      46419 |    41914 |    20327 |     8392 |    49315 |     3166 |      200 |  20 |  0.000 |
307.45/82.86	c (29,0) c |  2 |     40 |      58551 |      46445 |    41359 |    20357 |     8519 |    52896 |     3259 |      204 |  20 |  0.000 |
307.45/82.86	c (29,0) c |  3 |     38 |      57287 |      45701 |    40685 |    19610 |     8289 |    51990 |     2831 |      201 |  20 |  0.000 |
307.45/82.86	c (29,0) c |  4 |     18 |      54900 |      44183 |    41400 |    18092 |     8286 |    30591 |     2548 |      203 |  20 |  0.000 |
307.45/82.86	c (29,0) c |  5 |     36 |      58447 |      45889 |    43466 |    19795 |     8122 |    51627 |     3398 |      202 |  20 |  0.000 |
307.45/82.86	c (29,0) c |  6 |     40 |      58328 |      46220 |    42170 |    20127 |     8391 |    49770 |     3403 |      205 |  20 |  0.000 |
307.45/82.86	c (29,0) c |  7 |     41 |      58262 |      46369 |    40812 |    20277 |     8128 |    34865 |     2605 |      201 |  20 |  0.000 |
307.45/82.86	c (29,0) c 
307.45/82.86	c (29,0) c synthesis      367191 conflicts   627058159 propagations     1583 conflicts/sec  2702991 propagations/sec
307.45/82.86	c (29,0) c real: 29.4877 s, cpu: 231.987 s, memory: 719.14 Mb
538.76/111.86	c (58,0) c
538.76/111.86	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
538.76/111.86	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
538.76/111.86	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
538.76/111.86	c (58,0) c |  0 |     74 |     101569 |      82519 |    49781 |    28957 |    13396 |    90464 |     6236 |      390 |  20 |  0.000 |
538.76/111.86	c (58,0) c |  1 |     49 |     101935 |      83973 |    48410 |    30413 |    13892 |    61014 |     5684 |      394 |  20 |  0.000 |
538.76/111.86	c (58,0) c |  2 |     45 |     103516 |      85436 |    48200 |    31874 |    14142 |    77602 |     6049 |      401 |  20 |  0.000 |
538.76/111.86	c (58,0) c |  3 |     46 |      99639 |      82125 |    47820 |    28557 |    13875 |    89523 |     5540 |      391 |  20 |  0.000 |
538.76/111.86	c (58,0) c |  4 |     18 |      93346 |      78259 |    46500 |    24697 |    13341 |    30591 |     3578 |      401 |  20 |  0.000 |
538.76/111.86	c (58,0) c |  5 |     43 |     100333 |      81988 |    49645 |    28423 |    13336 |    86849 |     6346 |      394 |  20 |  0.000 |
538.76/111.86	c (58,0) c |  6 |     54 |      99974 |      82297 |    48758 |    28732 |    13450 |    92387 |     5536 |      401 |  20 |  0.000 |
538.76/111.86	c (58,0) c |  7 |     59 |     102780 |      84342 |    49142 |    30777 |    14020 |    81687 |     5843 |      392 |  20 |  0.000 |
538.76/111.86	c (58,0) c 
538.76/111.86	c (58,0) c synthesis      660939 conflicts  1166088128 propagations     1427 conflicts/sec  2517565 propagations/sec
538.76/111.86	c (58,0) c real: 58.4877 s, cpu: 463.181 s, memory: 719.14 Mb
768.86/140.86	c (87,0) c
768.86/140.86	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
768.86/140.86	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
768.86/140.86	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
768.86/140.86	c (87,0) c |  0 |     82 |     140667 |     116620 |    54261 |    25236 |    18245 |   112305 |     8653 |      579 |  20 |  0.000 |
768.86/140.86	c (87,0) c |  1 |     74 |     143907 |     120423 |    53800 |    29042 |    18421 |   115765 |     8536 |      583 |  20 |  0.000 |
768.86/140.86	c (87,0) c |  2 |     49 |     146470 |     123224 |    53813 |     3021 |    20482 |   120221 |     7047 |      596 |  20 |  0.000 |
768.86/140.86	c (87,0) c |  3 |     57 |     139013 |     116587 |    52568 |    25207 |    18364 |   112593 |     8129 |      579 |  20 |  0.000 |
768.86/140.86	c (87,0) c |  4 |     46 |     134955 |     114205 |    54754 |     2021 |    18775 |   125913 |     6083 |      593 |  20 |  0.000 |
768.86/140.86	c (87,0) c |  5 |     50 |     138635 |     115656 |    53898 |    24275 |    17581 |   116665 |     9027 |      585 |  20 |  0.000 |
768.86/140.86	c (87,0) c |  6 |     74 |     141820 |     118524 |    54448 |    27143 |    18023 |   126310 |     8487 |      596 |  20 |  0.000 |
768.86/140.86	c (87,0) c |  7 |     63 |     139495 |     117139 |    52605 |    25758 |    18073 |   123206 |     7670 |      576 |  20 |  0.000 |
768.86/140.86	c (87,0) c 
768.86/140.86	c (87,0) c synthesis      942378 conflicts  1677653418 propagations     1359 conflicts/sec  2420134 propagations/sec
768.86/140.86	c (87,0) c real: 87.4877 s, cpu: 693.207 s, memory: 719.14 Mb
995.71/169.86	c (116,0) c
995.71/169.86	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
995.71/169.86	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
995.71/169.86	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
995.71/169.86	c (116,0) c |  0 |     88 |     176866 |     148618 |    57038 |    34434 |    21466 |   154837 |    10664 |      772 |  20 |  0.000 |
995.71/169.86	c (116,0) c |  1 |     83 |     181822 |     153933 |    56958 |    39751 |    22190 |   149572 |    10747 |      772 |  20 |  0.000 |
995.71/169.86	c (116,0) c |  2 |     64 |     190599 |     161317 |    61447 |     3114 |    25645 |   151251 |     7491 |      783 |  20 |  0.000 |
995.71/169.86	c (116,0) c |  3 |     57 |     177109 |     150683 |    54995 |    36499 |    22321 |   112593 |     9388 |      776 |  20 |  0.000 |
995.71/169.86	c (116,0) c |  4 |     72 |     178622 |     151869 |    61795 |     3660 |    24050 |   151193 |     6504 |      783 |  20 |  0.000 |
995.71/169.86	c (116,0) c |  5 |     60 |     175489 |     148289 |    57429 |    34104 |    21410 |   144867 |    11400 |      775 |  20 |  0.000 |
995.71/169.86	c (116,0) c |  6 |     97 |     179492 |     151370 |    57886 |    37184 |    21798 |   156516 |    10641 |      782 |  20 |  0.000 |
995.71/169.86	c (116,0) c |  7 |     65 |     176237 |     149865 |    55116 |    35683 |    21538 |   124144 |     9740 |      763 |  20 |  0.000 |
995.71/169.86	c (116,0) c 
995.71/169.86	c (116,0) c synthesis     1215944 conflicts  2178989254 propagations     1322 conflicts/sec  2368352 propagations/sec
995.71/169.86	c (116,0) c real: 116.493 s, cpu: 920.045 s, memory: 719.14 Mb
1232.13/199.86	c (146,0) c
1232.13/199.86	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1232.13/199.86	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1232.13/199.86	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1232.13/199.86	c (146,0) c |  0 |     90 |     211500 |     179794 |    58775 |    40206 |    24410 |   173459 |    12299 |      969 |  20 |  0.000 |
1232.13/199.86	c (146,0) c |  1 |    101 |     220537 |     187950 |    60089 |    48369 |    25467 |   177261 |    13281 |      967 |  20 |  0.000 |
1232.13/199.86	c (146,0) c |  2 |     70 |     233128 |     198204 |    67310 |     2114 |    30855 |   170890 |     7796 |      979 |  20 |  0.000 |
1232.13/199.86	c (146,0) c |  3 |     57 |     214483 |     184590 |    56933 |    45004 |    25975 |   112593 |    10374 |      978 |  20 |  0.000 |
1232.13/199.86	c (146,0) c |  4 |     90 |     224600 |     191743 |    67769 |     3522 |    28839 |   177382 |     6904 |      979 |  20 |  0.000 |
1232.13/199.86	c (146,0) c |  5 |     85 |     213427 |     181434 |    60237 |    41848 |    25084 |   179405 |    13588 |      973 |  20 |  0.000 |
1232.13/199.86	c (146,0) c |  6 |    132 |     218888 |     185550 |    60833 |    45962 |    25328 |   176299 |    13012 |      979 |  20 |  0.000 |
1232.13/199.86	c (146,0) c |  7 |     66 |     212688 |     182610 |    57142 |    43027 |    24723 |   156874 |    11913 |      959 |  20 |  0.000 |
1232.13/199.86	c (146,0) c 
1232.13/199.86	c (146,0) c synthesis     1491875 conflicts  2680343171 propagations     1290 conflicts/sec  2317783 propagations/sec
1232.13/199.86	c (146,0) c real: 146.492 s, cpu: 1156.43 s, memory: 719.14 Mb
1469.50/229.86	c (176,0) c
1469.50/229.86	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1469.50/229.86	c (176,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1469.50/229.86	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1469.50/229.86	c (176,0) c |  0 |     91 |     247515 |     212265 |    60941 |    44673 |    27902 |   188025 |    14027 |     1171 |  20 |  0.000 |
1469.50/229.86	c (176,0) c |  1 |    101 |     256054 |     220111 |    61829 |    52526 |    29098 |   177261 |    14839 |     1162 |  20 |  0.000 |
1469.50/229.86	c (176,0) c |  2 |     74 |     275668 |     235792 |    71181 |     3606 |    35560 |   180441 |     7996 |     1175 |  20 |  0.000 |
1469.50/229.86	c (176,0) c |  3 |     58 |     248328 |     215273 |    58479 |    47685 |    28586 |   200522 |    12254 |     1171 |  20 |  0.000 |
1469.50/229.86	c (176,0) c |  4 |     98 |     266600 |     228799 |    72407 |     2665 |    33676 |   199408 |     7205 |     1175 |  20 |  0.000 |
1469.50/229.86	c (176,0) c |  5 |    104 |     250957 |     214528 |    62674 |    46943 |    28333 |   208794 |    15635 |     1172 |  20 |  0.000 |
1469.50/229.86	c (176,0) c |  6 |    132 |     253623 |     217476 |    62456 |    49893 |    28583 |   176299 |    14175 |     1175 |  20 |  0.000 |
1469.50/229.86	c (176,0) c |  7 |     79 |     249021 |     214787 |    60266 |    47204 |    27896 |   204133 |    14376 |     1155 |  20 |  0.000 |
1469.50/229.86	c (176,0) c 
1469.50/229.86	c (176,0) c synthesis     1759032 conflicts  3170491025 propagations     1262 conflicts/sec  2274911 propagations/sec
1469.50/229.86	c (176,0) c real: 176.488 s, cpu: 1393.68 s, memory: 719.14 Mb
1696.19/258.85	c (205,0) c
1696.19/258.85	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1696.19/258.85	c (205,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1696.19/258.85	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1696.19/258.85	c (205,0) c |  0 |     93 |     279978 |     241536 |    62509 |    43351 |    30660 |   221048 |    15432 |     1363 |  20 |  0.000 |
1696.19/258.85	c (205,0) c |  1 |    121 |     290117 |     250391 |    63356 |    52207 |    32005 |   227849 |    16716 |     1351 |  20 |  0.000 |
1696.19/258.85	c (205,0) c |  2 |     74 |     312693 |     269005 |    74061 |     2881 |    39635 |   180441 |     8073 |     1363 |  20 |  0.000 |
1696.19/258.85	c (205,0) c |  3 |     62 |     280398 |     244084 |    60107 |    45894 |    30758 |   217682 |    14829 |     1358 |  20 |  0.000 |
1696.19/258.85	c (205,0) c |  4 |    100 |     306922 |     264350 |    76535 |     2247 |    38070 |   218054 |     7379 |     1363 |  20 |  0.000 |
1696.19/258.85	c (205,0) c |  5 |    118 |     284924 |     244728 |    64377 |    46544 |    31366 |   228005 |    17477 |     1362 |  20 |  0.000 |
1696.19/258.85	c (205,0) c |  6 |    138 |     286910 |     247257 |    64205 |    49075 |    31462 |   219299 |    15972 |     1363 |  20 |  0.000 |
1696.19/258.85	c (205,0) c |  7 |    106 |     283225 |     244756 |    62676 |    46575 |    30272 |   226312 |    16580 |     1343 |  20 |  0.000 |
1696.19/258.85	c (205,0) c 
1696.19/258.85	c (205,0) c synthesis     2006107 conflicts  3630776346 propagations     1238 conflicts/sec  2240883 propagations/sec
1696.19/258.85	c (205,0) c real: 205.487 s, cpu: 1620.24 s, memory: 719.14 Mb
1922.73/287.85	c (234,0) c
1922.73/287.85	c (234,0) c |------------------------------------------------------------------------------------------------------------------------|
1922.73/287.85	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1922.73/287.85	c (234,0) c |------------------------------------------------------------------------------------------------------------------------|
1922.73/287.85	c (234,0) c |  0 |     99 |     312365 |     270440 |    64015 |    39062 |    33264 |   243843 |    17312 |     1551 |  20 |  0.000 |
1922.73/287.85	c (234,0) c |  1 |    146 |     323681 |     279928 |    65024 |    48547 |    34772 |   246032 |    18786 |     1537 |  20 |  0.000 |
1922.73/287.85	c (234,0) c |  2 |     74 |     348042 |     301016 |    76300 |     2954 |    42888 |   180441 |     8139 |     1551 |  20 |  0.000 |
1922.73/287.85	c (234,0) c |  3 |     83 |     314345 |     274133 |    61749 |    42740 |    33116 |   245741 |    16775 |     1546 |  20 |  0.000 |
1922.73/287.85	c (234,0) c |  4 |    103 |     347858 |     300526 |    80505 |     2383 |    43045 |   237321 |     7571 |     1551 |  20 |  0.000 |
1922.73/287.85	c (234,0) c |  5 |    141 |     319307 |     274947 |    65832 |    43559 |    34228 |   252207 |    19387 |     1551 |  20 |  0.000 |
1922.73/287.85	c (234,0) c |  6 |    149 |     319013 |     275891 |    65718 |    44506 |    34112 |   250764 |    17570 |     1551 |  20 |  0.000 |
1922.73/287.85	c (234,0) c |  7 |    123 |     315842 |     273801 |    64543 |    42417 |    32705 |   238392 |    18688 |     1531 |  20 |  0.000 |
1922.73/287.85	c (234,0) c 
1922.73/287.85	c (234,0) c synthesis     2250682 conflicts  4080770683 propagations     1219 conflicts/sec  2209729 propagations/sec
1922.73/287.85	c (234,0) c real: 234.488 s, cpu: 1846.73 s, memory: 719.14 Mb
2159.44/317.85	c (264,0) c
2159.44/317.85	c (264,0) c |------------------------------------------------------------------------------------------------------------------------|
2159.44/317.85	c (264,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2159.44/317.85	c (264,0) c |------------------------------------------------------------------------------------------------------------------------|
2159.44/317.85	c (264,0) c |  0 |    104 |     345929 |     300679 |    65184 |    69301 |    36071 |   261728 |    18999 |     1751 |  20 |  0.000 |
2159.44/317.85	c (264,0) c |  1 |    180 |     357725 |     309701 |    66341 |    42519 |    37593 |   270995 |    20667 |     1731 |  20 |  0.000 |
2159.44/317.85	c (264,0) c |  2 |     75 |     387072 |     336085 |    79023 |     2016 |    46936 |   261659 |     8285 |     1751 |  20 |  0.000 |
2159.44/317.85	c (264,0) c |  3 |    104 |     346706 |     303000 |    63125 |    35810 |    35814 |   273776 |    18521 |     1743 |  20 |  0.000 |
2159.44/317.85	c (264,0) c |  4 |    103 |     389057 |     337190 |    83912 |     3055 |    46984 |   237321 |     7675 |     1751 |  20 |  0.000 |
2159.44/317.85	c (264,0) c |  5 |    156 |     351690 |     303545 |    67440 |    36361 |    36809 |   272012 |    21128 |     1747 |  20 |  0.000 |
2159.44/317.85	c (264,0) c |  6 |    150 |     352038 |     305616 |    66937 |    38432 |    36649 |   273885 |    18965 |     1751 |  20 |  0.000 |
2159.44/317.85	c (264,0) c |  7 |    123 |     348081 |     303358 |    65721 |    36176 |    35678 |   238392 |    19616 |     1733 |  20 |  0.000 |
2159.44/317.85	c (264,0) c 
2159.44/317.85	c (264,0) c synthesis     2499174 conflicts  4539321022 propagations     1200 conflicts/sec  2178910 propagations/sec
2159.44/317.85	c (264,0) c real: 264.488 s, cpu: 2083.3 s, memory: 719.14 Mb
2384.12/346.85	c (293,0) c
2384.12/346.85	c (293,0) c |------------------------------------------------------------------------------------------------------------------------|
2384.12/346.85	c (293,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2384.12/346.85	c (293,0) c |------------------------------------------------------------------------------------------------------------------------|
2384.12/346.85	c (293,0) c |  0 |    108 |     376720 |     328481 |    66447 |    61301 |    38272 |   295636 |    20894 |     1936 |  20 |  0.000 |
2384.12/346.85	c (293,0) c |  1 |    191 |     388422 |     337232 |    67658 |    70050 |    40237 |   285089 |    22407 |     1916 |  20 |  0.000 |
2384.12/346.85	c (293,0) c |  2 |     78 |     425039 |     369833 |    82026 |     3689 |    51564 |   266464 |     8422 |     1936 |  20 |  0.000 |
2384.12/346.85	c (293,0) c |  3 |    124 |     379216 |     331745 |    65022 |    64555 |    38334 |   293622 |    20695 |     1928 |  20 |  0.000 |
2384.12/346.85	c (293,0) c |  4 |    103 |     426694 |     371173 |    86570 |     3066 |    51372 |   237321 |     7726 |     1936 |  20 |  0.000 |
2384.12/346.85	c (293,0) c |  5 |    163 |     384382 |     332836 |    68393 |    65652 |    39677 |   292082 |    22832 |     1935 |  20 |  0.000 |
2384.12/346.85	c (293,0) c |  6 |    168 |     383830 |     333791 |    68286 |    66606 |    38857 |   293171 |    21490 |     1936 |  20 |  0.000 |
2384.12/346.85	c (293,0) c |  7 |    123 |     378931 |     331894 |    66632 |    64712 |    37443 |   238392 |    20258 |     1927 |  20 |  0.000 |
2384.12/346.85	c (293,0) c 
2384.12/346.85	c (293,0) c synthesis     2736985 conflicts  4973501813 propagations     1186 conflicts/sec  2154978 propagations/sec
2384.12/346.85	c (293,0) c real: 293.488 s, cpu: 2307.91 s, memory: 719.14 Mb
2604.87/375.85	c (322,0) c
2604.87/375.85	c (322,0) c |------------------------------------------------------------------------------------------------------------------------|
2604.87/375.85	c (322,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2604.87/375.85	c (322,0) c |------------------------------------------------------------------------------------------------------------------------|
2604.87/375.85	c (322,0) c |  0 |    116 |     407574 |     355867 |    67756 |    50283 |    40590 |   311972 |    23037 |     2116 |  20 |  0.000 |
2605.67/375.90	c (322,0) c |  1 |    205 |     417672 |     363506 |    68619 |    57929 |    42557 |   302979 |    23994 |     2096 |  20 |  0.000 |
2605.67/375.90	c (322,0) c |  2 |     78 |     460073 |     401033 |    84407 |     2938 |    55359 |   266464 |     8514 |     2116 |  20 |  0.000 |
2605.67/375.90	c (322,0) c |  3 |    152 |     410401 |     359152 |    66710 |    53560 |    40817 |   306012 |    22392 |     2113 |  20 |  0.000 |
2605.67/375.90	c (322,0) c |  4 |    107 |     462412 |     403078 |    89349 |     2944 |    55033 |   288642 |     7887 |     2116 |  20 |  0.000 |
2605.67/375.90	c (322,0) c |  5 |    168 |     413250 |     359032 |    69219 |    53448 |    41631 |   311176 |    24279 |     2116 |  20 |  0.000 |
2605.67/375.90	c (322,0) c |  6 |    180 |     415307 |     361932 |    69225 |    56346 |    41086 |   306920 |    23138 |     2116 |  20 |  0.000 |
2605.67/375.90	c (322,0) c |  7 |    151 |     410485 |     359855 |    67827 |    54266 |    39433 |   314514 |    22283 |     2114 |  20 |  0.000 |
2605.67/375.90	c (322,0) c 
2605.67/375.90	c (322,0) c synthesis     2963455 conflicts  5390727290 propagations     1172 conflicts/sec  2131851 propagations/sec
2605.67/375.90	c (322,0) c real: 322.488 s, cpu: 2528.66 s, memory: 719.14 Mb
2834.35/405.85	c (352,0) c
2834.35/405.85	c (352,0) c |------------------------------------------------------------------------------------------------------------------------|
2834.35/405.85	c (352,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2834.35/405.85	c (352,0) c |------------------------------------------------------------------------------------------------------------------------|
2834.35/405.85	c (352,0) c |  0 |    118 |     435531 |     381332 |    68661 |    75748 |    42556 |   324869 |    24441 |     2304 |  20 |  0.000 |
2834.35/405.85	c (352,0) c |  1 |    208 |     446585 |     389773 |    69448 |    43194 |    44985 |   324546 |    25536 |     2284 |  20 |  0.000 |
2834.35/405.85	c (352,0) c |  2 |     85 |     496428 |     433240 |    87182 |     3117 |    59036 |   309565 |     8857 |     2304 |  20 |  0.000 |
2834.35/405.85	c (352,0) c |  3 |    157 |     440150 |     385851 |    68040 |    80259 |    43106 |   331345 |    23821 |     2304 |  20 |  0.000 |
2834.35/405.85	c (352,0) c |  4 |    112 |     499169 |     435754 |    92162 |     3596 |    59127 |   310982 |     8100 |     2304 |  20 |  0.000 |
2834.35/405.85	c (352,0) c |  5 |    182 |     442892 |     385413 |    69961 |    79829 |    43393 |   331816 |    25957 |     2304 |  20 |  0.000 |
2834.35/405.85	c (352,0) c |  6 |    183 |     445578 |     389083 |    70126 |    42501 |    43587 |   320394 |    24729 |     2304 |  20 |  0.000 |
2834.35/405.85	c (352,0) c |  7 |    172 |     441482 |     387471 |    69057 |    81882 |    41365 |   334258 |    24127 |     2304 |  20 |  0.000 |
2834.35/405.85	c (352,0) c 
2834.35/405.85	c (352,0) c synthesis     3187918 conflicts  5810909204 propagations     1156 conflicts/sec  2106902 propagations/sec
2834.35/405.85	c (352,0) c real: 352.488 s, cpu: 2758.03 s, memory: 719.14 Mb
2882.15/413.40	c (360,0) c
2882.15/413.40	c (360,0) c real time : 360.029 s
2882.15/413.40	c (360,0) c cpu time  : 2805.47 s
2882.15/413.40	c (360,0) c
2882.15/413.40	c (360,0) c
2882.15/413.40	c (360,0) c
2882.15/413.40	c (360,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2882.15/413.40	c (360,0) c
2882.15/413.40	c (360,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2882.15/413.40	c (360,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2882.15/413.40	c (360,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2882.15/413.40	c (360,0) c | Conflicts     |         3236264 |     386473 |     398487 |     439826 |     391226 |     441931 |     390560 |     394510 |     393251 |
2882.15/413.40	c (360,0) c | Decisions     |         3701316 |     441456 |     456030 |     503756 |     446050 |     506020 |     448508 |     451580 |     447916 |
2882.25/413.40	c (360,0) c | Propagations  |      5901232653 |  710527087 |  704923365 |  819485848 |  704869030 |  831918687 |  707573623 |  712591690 |  709343323 |
2882.25/413.40	c (360,0) c | ReduceDBs     |             456 |         16 |         17 |        177 |         17 |        178 |         17 |         17 |         17 |
2882.25/413.40	c (360,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
2882.25/413.40	c (360,0) c | Restarts      |            1228 |        128 |        208 |         85 |        157 |        112 |        183 |        183 |        172 |
2882.25/413.40	c (360,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2882.25/413.40	c (360,0) c | PropBinClauses|      1656127170 |  200720051 |  199957225 |  233214821 |  199391704 |  227872096 |  198380903 |  199215099 |  197375271 |
2882.25/413.40	c (360,0) c | PropPreBlocker|     67852430440 | 8449994513 | 8477976348 | 8517088847 | 8447598883 | 8502488485 | 8462957772 | 8488700285 | 8505625307 |
2882.25/413.40	c (360,0) c | PropNotBlocker|     21960357000 | 2695109010 | 2698641620 | 2905493375 | 2695157058 | 2894621629 | 2701361000 | 2685020318 | 2684952990 |
2882.25/413.40	c (360,0) c | LitFullScans  |    112400620198 |14053235035 |14047022986 |14052847946 |14047520908 |14052842834 |14047032030 |14053140517 |14046977942 |
2882.25/413.40	c (360,0) c | LitScanFracts |         7986755 |    1204618 |    1022084 |     829961 |     982099 |     833143 |    1026169 |    1128278 |     960403 |
2882.25/413.40	c (360,0) c | DecisionLevel0|            1228 |        128 |        208 |         85 |        157 |        112 |        183 |        183 |        172 |
2882.25/413.40	c (360,0) c | Periods       |           18732 |       2342 |       2341 |       2342 |       2341 |       2342 |       2341 |       2342 |       2341 |
2882.25/413.40	c (360,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2882.25/413.40	c (360,0) c | Avg_Trail     |                 |       5735 |       5737 |       5685 |       5734 |       5903 |       5756 |       5824 |       5731 |
2882.25/413.40	c (360,0) c | Avg_DL        |                 |         16 |         15 |         15 |         16 |         16 |         16 |         16 |         15 |
2882.25/413.40	c (360,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2882.25/413.40	c (360,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2882.25/413.40	c (360,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2882.25/413.40	c (360,0) c | Exported      |          381176 |      42928 |      45528 |      59912 |      43564 |      59664 |      43725 |      44070 |      41785 |
2882.25/413.40	c (360,0) c | Imported      |         2599341 |     335462 |     324546 |     309565 |     331345 |     310982 |     332789 |     320394 |     334258 |
2882.25/413.40	c (360,0) c | Good          |            3605 |        460 |        441 |        441 |        467 |        432 |        459 |        447 |        458 |
2882.25/413.40	c (360,0) c | Purge         |         2595736 |     335002 |     324105 |     309124 |     330878 |     310550 |     332330 |     319947 |     333800 |
2882.25/413.40	c (360,0) c | Promoted      |          167543 |      24900 |      25837 |       8877 |      24087 |       8122 |      26265 |      24982 |      24473 |
2882.25/413.40	c (360,0) c | Remove_Imp    |         2052404 |     222939 |     242029 |     298614 |     248719 |     300201 |     250074 |     238110 |     251718 |
2882.25/413.40	c (360,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2882.25/413.40	c (360,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2882.25/413.40	c (360,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2882.25/413.40	c (360,0) c | Binaries      |                 |         58 |         73 |         71 |         50 |         86 |         59 |         63 |         60 |
2882.25/413.40	c (360,0) c | Glues         |                 |       1097 |       1137 |       1390 |       1065 |       1589 |       1170 |       1176 |       1157 |
2882.25/413.40	c (360,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2882.25/413.40	c (360,0) c | Orig_Seen     |            52 % |      68866 |      69643 |      87647 |      68225 |      92655 |      70117 |      70313 |      69239 |
2882.25/413.40	c (360,0) c | Diff Orig seen|                 |        641 |       1418 |      19422 |      X     |      24430 |       1892 |       2088 |       1014 |
2882.25/413.40	c (360,0) c | Hamming       |            47 % |       6376 |       6492 |       6240 |      X     |       6586 |       6237 |       6778 |       6756 |
2882.25/413.40	c (360,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2882.25/413.40	c (360,0) c | RunningTime   |                 |  352.1  98%|  359.6 100%|  338.6  95%|  357.2 100%|  346.6  97%|  356.6 100%|  345.4  96%|  357.8 100%|
2882.25/413.40	c (360,0) c | WaitingTime   |                 |    5.9   2%|    0.0   0%|   19.3   5%|    0.6   0%|   11.3   3%|    1.4   0%|   12.6   4%|    0.2   0%|
2882.25/413.40	c (360,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.1   0%|
2882.25/413.40	c (360,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%|
2882.25/413.40	c (360,0) c | SolvingTime   |                 |  358.2     |  359.8     |  358.2     |  358.0     |  358.2     |  358.2     |  358.1     |  358.1     |
2882.25/413.40	c (360,0) c | PropagationTim|                 |  340.2  95%|  338.7  94%|  339.7  95%|  342.0  96%|  339.4  95%|  340.7  95%|  341.6  95%|  340.0  95%|
2882.25/413.40	c (360,0) c | AnalysisTime  |                 |   10.1   3%|   13.1   4%|    9.6   3%|    8.2   2%|    9.7   3%|    9.6   3%|    8.5   2%|   10.2   3%|
2882.25/413.40	c (360,0) c | ReductionTime |                 |    0.7   0%|    0.8   0%|    1.2   0%|    0.8   0%|    1.2   0%|    0.8   0%|    0.8   0%|    0.9   0%|
2882.25/413.40	c (360,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%|
2882.25/413.40	c (360,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%|
2882.25/413.40	c (360,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%|
2882.25/413.40	c (360,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2882.25/413.40	c (360,0) c
2882.25/413.40	c (360,0) c
2882.25/413.40	c (360,0) c Threads : 8
2882.25/413.40	c (360,0) c Winner : 3
2882.25/413.40	c (360,0) c Conflicts_0 : 386473
2882.25/413.40	c (360,0) c Conflicts_1 : 398487
2882.25/413.40	c (360,0) c Conflicts_2 : 439826
2882.25/413.40	c (360,0) c Conflicts_3 : 391226
2882.25/413.40	c (360,0) c Conflicts_4 : 441931
2882.25/413.40	c (360,0) c Conflicts_5 : 390560
2882.25/413.40	c (360,0) c Conflicts_6 : 394510
2882.25/413.40	c (360,0) c Conflicts_7 : 393251
2882.25/413.40	c (360,0) c Conflicts_total : 3236264
2882.25/413.40	c (360,0) c Conflicts_winner : 391226
2882.25/413.40	c (360,0) c Decisions_0 : 441456
2882.25/413.40	c (360,0) c Decisions_1 : 456030
2882.25/413.40	c (360,0) c Decisions_2 : 503756
2882.25/413.40	c (360,0) c Decisions_3 : 446050
2882.25/413.40	c (360,0) c Decisions_4 : 506020
2882.25/413.40	c (360,0) c Decisions_5 : 448508
2882.25/413.40	c (360,0) c Decisions_6 : 451580
2882.25/413.40	c (360,0) c Decisions_7 : 447916
2882.25/413.40	c (360,0) c Decisions_total : 3701316
2882.25/413.40	c (360,0) c Decisions_winner : 446050
2882.25/413.40	c (360,0) c Propagations_0 : 710527087
2882.25/413.40	c (360,0) c Propagations_1 : 704923365
2882.25/413.40	c (360,0) c Propagations_2 : 819485848
2882.25/413.40	c (360,0) c Propagations_3 : 704869030
2882.25/413.40	c (360,0) c Propagations_4 : 831918687
2882.25/413.40	c (360,0) c Propagations_5 : 707573623
2882.25/413.40	c (360,0) c Propagations_6 : 712591690
2882.25/413.40	c (360,0) c Propagations_7 : 709343323
2882.25/413.40	c (360,0) c Propagations_total : 5901232653
2882.25/413.40	c (360,0) c Propagations_winner : 704869030
2882.25/413.40	c (360,0) c ReduceDBs_0 : 16
2882.25/413.40	c (360,0) c ReduceDBs_1 : 17
2882.25/413.40	c (360,0) c ReduceDBs_2 : 177
2882.25/413.40	c (360,0) c ReduceDBs_3 : 17
2882.25/413.40	c (360,0) c ReduceDBs_4 : 178
2882.25/413.40	c (360,0) c ReduceDBs_5 : 17
2882.25/413.40	c (360,0) c ReduceDBs_6 : 17
2882.25/413.40	c (360,0) c ReduceDBs_7 : 17
2882.25/413.40	c (360,0) c ReduceDBs_total : 456
2882.25/413.40	c (360,0) c ReduceDBs_winner : 17
2882.25/413.40	c (360,0) c SimpDBs_0 : 1
2882.25/413.40	c (360,0) c SimpDBs_1 : 1
2882.25/413.40	c (360,0) c SimpDBs_2 : 1
2882.25/413.40	c (360,0) c SimpDBs_3 : 1
2882.25/413.40	c (360,0) c SimpDBs_4 : 1
2882.25/413.40	c (360,0) c SimpDBs_5 : 1
2882.25/413.40	c (360,0) c SimpDBs_6 : 1
2882.25/413.40	c (360,0) c SimpDBs_7 : 1
2882.25/413.40	c (360,0) c SimpDBs_total : 8
2882.25/413.40	c (360,0) c SimpDBs_winner : 1
2882.25/413.40	c (360,0) c Restarts_0 : 128
2882.25/413.40	c (360,0) c Restarts_1 : 208
2882.25/413.40	c (360,0) c Restarts_2 : 85
2882.25/413.40	c (360,0) c Restarts_3 : 157
2882.25/413.40	c (360,0) c Restarts_4 : 112
2882.25/413.40	c (360,0) c Restarts_5 : 183
2882.25/413.40	c (360,0) c Restarts_6 : 183
2882.25/413.40	c (360,0) c Restarts_7 : 172
2882.25/413.40	c (360,0) c Restarts_total : 1228
2882.25/413.40	c (360,0) c Restarts_winner : 157
2882.25/413.40	c (360,0) c ForcedImports_0 : 0
2882.25/413.40	c (360,0) c ForcedImports_1 : 0
2882.25/413.40	c (360,0) c ForcedImports_2 : 0
2882.25/413.40	c (360,0) c ForcedImports_3 : 0
2882.25/413.40	c (360,0) c ForcedImports_4 : 0
2882.25/413.40	c (360,0) c ForcedImports_5 : 0
2882.25/413.40	c (360,0) c ForcedImports_6 : 0
2882.25/413.40	c (360,0) c ForcedImports_7 : 0
2882.25/413.40	c (360,0) c ForcedImports_total : 0
2882.25/413.40	c (360,0) c ForcedImports_winner : 0
2882.25/413.40	c (360,0) c PropsBinClauses_0 : 200720051
2882.25/413.40	c (360,0) c PropsBinClauses_1 : 199957225
2882.25/413.40	c (360,0) c PropsBinClauses_2 : 233214821
2882.25/413.40	c (360,0) c PropsBinClauses_3 : 199391704
2882.25/413.40	c (360,0) c PropsBinClauses_4 : 227872096
2882.25/413.40	c (360,0) c PropsBinClauses_5 : 198380903
2882.25/413.40	c (360,0) c PropsBinClauses_6 : 199215099
2882.25/413.40	c (360,0) c PropsBinClauses_7 : 197375271
2882.25/413.40	c (360,0) c PropsBinClauses_total : 1656127170
2882.25/413.40	c (360,0) c PropsBinClauses_winner : 199391704
2882.25/413.40	c (360,0) c PropsPreBlocker_0 : 8449994513
2882.25/413.40	c (360,0) c PropsPreBlocker_1 : 8477976348
2882.25/413.40	c (360,0) c PropsPreBlocker_2 : 8517088847
2882.25/413.40	c (360,0) c PropsPreBlocker_3 : 8447598883
2882.25/413.40	c (360,0) c PropsPreBlocker_4 : 8502488485
2882.25/413.40	c (360,0) c PropsPreBlocker_5 : 8462957772
2882.25/413.40	c (360,0) c PropsPreBlocker_6 : 8488700285
2882.25/413.40	c (360,0) c PropsPreBlocker_7 : 8505625307
2882.25/413.40	c (360,0) c PropsPreBlocker_total : 67852430440
2882.25/413.40	c (360,0) c PropsPreBlocker_winner : 8447598883
2882.25/413.40	c (360,0) c PropsNotBlocker_0 : 2695109010
2882.25/413.40	c (360,0) c PropsNotBlocker_1 : 2698641620
2882.25/413.40	c (360,0) c PropsNotBlocker_2 : 2905493375
2882.25/413.40	c (360,0) c PropsNotBlocker_3 : 2695157058
2882.25/413.40	c (360,0) c PropsNotBlocker_4 : 2894621629
2882.25/413.40	c (360,0) c PropsNotBlocker_5 : 2701361000
2882.25/413.40	c (360,0) c PropsNotBlocker_6 : 2685020318
2882.25/413.40	c (360,0) c PropsNotBlocker_7 : 2684952990
2882.25/413.40	c (360,0) c PropsNotBlocker_total : 21960357000
2882.25/413.40	c (360,0) c PropsNotBlocker_winner : 2695157058
2882.25/413.40	c (360,0) c PropsLitFullScans_0 : 14053235035
2882.25/413.40	c (360,0) c PropsLitFullScans_1 : 14047022986
2882.25/413.40	c (360,0) c PropsLitFullScans_2 : 14052847946
2882.25/413.40	c (360,0) c PropsLitFullScans_3 : 14047520908
2882.25/413.40	c (360,0) c PropsLitFullScans_4 : 14052842834
2882.25/413.40	c (360,0) c PropsLitFullScans_5 : 14047032030
2882.25/413.40	c (360,0) c PropsLitFullScans_6 : 14053140517
2882.25/413.40	c (360,0) c PropsLitFullScans_7 : 14046977942
2882.25/413.40	c (360,0) c PropsLitFullScans_total : 112400620198
2882.25/413.40	c (360,0) c PropsLitFullScans_winner : 14047520908
2882.25/413.40	c (360,0) c LitScanFractions_0 : 1204618
2882.25/413.40	c (360,0) c LitScanFractions_1 : 1022084
2882.25/413.40	c (360,0) c LitScanFractions_2 : 829961
2882.25/413.40	c (360,0) c LitScanFractions_3 : 982099
2882.25/413.40	c (360,0) c LitScanFractions_4 : 833143
2882.25/413.40	c (360,0) c LitScanFractions_5 : 1026169
2882.25/413.40	c (360,0) c LitScanFractions_6 : 1128278
2882.25/413.40	c (360,0) c LitScanFractions_7 : 960403
2882.25/413.40	c (360,0) c LitScanFractions_total : 7986755
2882.25/413.40	c (360,0) c LitScanFractions_winner : 982099
2882.25/413.40	c (360,0) c DecisionLevel0_0 : 128
2882.25/413.40	c (360,0) c DecisionLevel0_1 : 208
2882.25/413.40	c (360,0) c DecisionLevel0_2 : 85
2882.25/413.40	c (360,0) c DecisionLevel0_3 : 157
2882.25/413.40	c (360,0) c DecisionLevel0_4 : 112
2882.25/413.40	c (360,0) c DecisionLevel0_5 : 183
2882.25/413.40	c (360,0) c DecisionLevel0_6 : 183
2882.25/413.40	c (360,0) c DecisionLevel0_7 : 172
2882.25/413.40	c (360,0) c DecisionLevel0_total : 1228
2882.25/413.40	c (360,0) c DecisionLevel0_winner : 157
2882.25/413.40	c (360,0) c Periods_0 : 2342
2882.25/413.40	c (360,0) c Periods_1 : 2341
2882.25/413.40	c (360,0) c Periods_2 : 2342
2882.25/413.40	c (360,0) c Periods_3 : 2341
2882.25/413.40	c (360,0) c Periods_4 : 2342
2882.25/413.40	c (360,0) c Periods_5 : 2341
2882.25/413.40	c (360,0) c Periods_6 : 2342
2882.25/413.40	c (360,0) c Periods_7 : 2341
2882.25/413.40	c (360,0) c Periods_total : 18732
2882.25/413.40	c (360,0) c Periods_winner : 2341
2882.25/413.40	c (360,0) c Margin_0 : 20
2882.25/413.40	c (360,0) c Margin_1 : 20
2882.25/413.40	c (360,0) c Margin_2 : 20
2882.25/413.40	c (360,0) c Margin_3 : 20
2882.25/413.40	c (360,0) c Margin_4 : 20
2882.25/413.40	c (360,0) c Margin_5 : 20
2882.25/413.40	c (360,0) c Margin_6 : 20
2882.25/413.40	c (360,0) c Margin_7 : 20
2882.25/413.40	c (360,0) c Margin_total : 160
2882.25/413.40	c (360,0) c Margin_winner : 20
2882.25/413.40	c (360,0) c Exported_0 : 42928
2882.25/413.40	c (360,0) c Exported_1 : 45528
2882.25/413.40	c (360,0) c Exported_2 : 59912
2882.25/413.40	c (360,0) c Exported_3 : 43564
2882.25/413.40	c (360,0) c Exported_4 : 59664
2882.25/413.40	c (360,0) c Exported_5 : 43725
2882.25/413.40	c (360,0) c Exported_6 : 44070
2882.25/413.40	c (360,0) c Exported_7 : 41785
2882.25/413.40	c (360,0) c Exported_total : 381176
2882.25/413.40	c (360,0) c Exported_winner : 43564
2882.25/413.40	c (360,0) c Imported_0 : 335462
2882.25/413.40	c (360,0) c Imported_1 : 324546
2882.25/413.40	c (360,0) c Imported_2 : 309565
2882.25/413.40	c (360,0) c Imported_3 : 331345
2882.25/413.40	c (360,0) c Imported_4 : 310982
2882.25/413.40	c (360,0) c Imported_5 : 332789
2882.25/413.40	c (360,0) c Imported_6 : 320394
2882.25/413.40	c (360,0) c Imported_7 : 334258
2882.25/413.40	c (360,0) c Imported_total : 2599341
2882.25/413.40	c (360,0) c Imported_winner : 331345
2882.25/413.40	c (360,0) c Good_0 : 460
2882.25/413.40	c (360,0) c Good_1 : 441
2882.25/413.40	c (360,0) c Good_2 : 441
2882.25/413.40	c (360,0) c Good_3 : 467
2882.25/413.40	c (360,0) c Good_4 : 432
2882.25/413.40	c (360,0) c Good_5 : 459
2882.25/413.40	c (360,0) c Good_6 : 447
2882.25/413.40	c (360,0) c Good_7 : 458
2882.25/413.40	c (360,0) c Good_total : 3605
2882.25/413.40	c (360,0) c Good_winner : 467
2882.25/413.40	c (360,0) c Purge_0 : 335002
2882.25/413.40	c (360,0) c Purge_1 : 324105
2882.25/413.40	c (360,0) c Purge_2 : 309124
2882.25/413.40	c (360,0) c Purge_3 : 330878
2882.25/413.40	c (360,0) c Purge_4 : 310550
2882.25/413.40	c (360,0) c Purge_5 : 332330
2882.25/413.40	c (360,0) c Purge_6 : 319947
2882.25/413.40	c (360,0) c Purge_7 : 333800
2882.25/413.40	c (360,0) c Purge_total : 2595736
2882.25/413.40	c (360,0) c Purge_winner : 330878
2882.25/413.40	c (360,0) c Promoted_0 : 24900
2882.25/413.40	c (360,0) c Promoted_1 : 25837
2882.25/413.40	c (360,0) c Promoted_2 : 8877
2882.25/413.40	c (360,0) c Promoted_3 : 24087
2882.25/413.40	c (360,0) c Promoted_4 : 8122
2882.25/413.40	c (360,0) c Promoted_5 : 26265
2882.25/413.40	c (360,0) c Promoted_6 : 24982
2882.25/413.40	c (360,0) c Promoted_7 : 24473
2882.25/413.40	c (360,0) c Promoted_total : 167543
2882.25/413.40	c (360,0) c Promoted_winner : 24087
2882.25/413.40	c (360,0) c Remove_Imp_0 : 222939
2882.25/413.40	c (360,0) c Remove_Imp_1 : 242029
2882.25/413.40	c (360,0) c Remove_Imp_2 : 298614
2882.25/413.40	c (360,0) c Remove_Imp_3 : 248719
2882.25/413.40	c (360,0) c Remove_Imp_4 : 300201
2882.25/413.40	c (360,0) c Remove_Imp_5 : 250074
2882.25/413.40	c (360,0) c Remove_Imp_6 : 238110
2882.25/413.40	c (360,0) c Remove_Imp_7 : 251718
2882.25/413.40	c (360,0) c Remove_Imp_total : 2052404
2882.25/413.40	c (360,0) c Remove_Imp_winner : 248719
2882.25/413.40	c (360,0) c Blocked_Reuse_0 : 0
2882.25/413.40	c (360,0) c Blocked_Reuse_1 : 0
2882.25/413.40	c (360,0) c Blocked_Reuse_2 : 0
2882.25/413.40	c (360,0) c Blocked_Reuse_3 : 0
2882.25/413.40	c (360,0) c Blocked_Reuse_4 : 0
2882.25/413.40	c (360,0) c Blocked_Reuse_5 : 0
2882.25/413.40	c (360,0) c Blocked_Reuse_6 : 0
2882.25/413.40	c (360,0) c Blocked_Reuse_7 : 0
2882.25/413.40	c (360,0) c Blocked_Reuse_total : 0
2882.25/413.40	c (360,0) c Blocked_Reuse_winner : 0
2882.25/413.40	c (360,0) c Unaries_0 : 0
2882.25/413.40	c (360,0) c Unaries_1 : 0
2882.25/413.40	c (360,0) c Unaries_2 : 0
2882.25/413.40	c (360,0) c Unaries_3 : 0
2882.25/413.40	c (360,0) c Unaries_4 : 0
2882.25/413.40	c (360,0) c Unaries_5 : 0
2882.25/413.40	c (360,0) c Unaries_6 : 0
2882.25/413.40	c (360,0) c Unaries_7 : 0
2882.25/413.40	c (360,0) c Unaries_total : 0
2882.25/413.41	c (360,0) c Unaries_winner : 0
2882.25/413.41	c (360,0) c Binaries_0 : 58
2882.25/413.41	c (360,0) c Binaries_1 : 73
2882.25/413.41	c (360,0) c Binaries_2 : 71
2882.25/413.41	c (360,0) c Binaries_3 : 50
2882.25/413.41	c (360,0) c Binaries_4 : 86
2882.25/413.41	c (360,0) c Binaries_5 : 59
2882.25/413.41	c (360,0) c Binaries_6 : 63
2882.25/413.41	c (360,0) c Binaries_7 : 60
2882.25/413.41	c (360,0) c Binaries_total : 520
2882.25/413.41	c (360,0) c Binaries_winner : 50
2882.25/413.41	c (360,0) c Glues_0 : 1097
2882.25/413.41	c (360,0) c Glues_1 : 1137
2882.25/413.41	c (360,0) c Glues_2 : 1390
2882.25/413.41	c (360,0) c Glues_3 : 1065
2882.25/413.41	c (360,0) c Glues_4 : 1589
2882.25/413.41	c (360,0) c Glues_5 : 1170
2882.25/413.41	c (360,0) c Glues_6 : 1176
2882.25/413.41	c (360,0) c Glues_7 : 1157
2882.25/413.41	c (360,0) c Glues_total : 9781
2882.25/413.41	c (360,0) c Glues_winner : 1065
2882.25/413.41	c (360,0) c RunningTime_0 : 352.103554
2882.25/413.41	c (360,0) c RunningTime_1 : 359.615498
2882.25/413.41	c (360,0) c RunningTime_2 : 338.632105
2882.25/413.41	c (360,0) c RunningTime_3 : 357.230186
2882.25/413.41	c (360,0) c RunningTime_4 : 346.637745
2882.25/413.41	c (360,0) c RunningTime_5 : 356.637336
2882.25/413.41	c (360,0) c RunningTime_6 : 345.412141
2882.25/413.41	c (360,0) c RunningTime_7 : 357.785012
2882.25/413.41	c (360,0) c RunningTime_total : 2814.053578
2882.25/413.41	c (360,0) c RunningTime_winner : 357.230186
2882.25/413.41	c (360,0) c WaitingTime_0 : 5.853676
2882.25/413.41	c (360,0) c WaitingTime_1 : 0.003241
2882.25/413.41	c (360,0) c WaitingTime_2 : 19.317403
2882.25/413.41	c (360,0) c WaitingTime_3 : 0.614600
2882.25/413.41	c (360,0) c WaitingTime_4 : 11.314484
2882.25/413.41	c (360,0) c WaitingTime_5 : 1.370355
2882.25/413.41	c (360,0) c WaitingTime_6 : 12.564202
2882.25/413.41	c (360,0) c WaitingTime_7 : 0.171724
2882.25/413.41	c (360,0) c WaitingTime_total : 51.209684
2882.25/413.41	c (360,0) c WaitingTime_winner : 0.614600
2882.25/413.41	c (360,0) c ExchangingTime_0 : 0.172838
2882.25/413.41	c (360,0) c ExchangingTime_1 : 0.150181
2882.25/413.41	c (360,0) c ExchangingTime_2 : 0.188559
2882.25/413.41	c (360,0) c ExchangingTime_3 : 0.166212
2882.25/413.41	c (360,0) c ExchangingTime_4 : 0.177238
2882.25/413.41	c (360,0) c ExchangingTime_5 : 0.151749
2882.25/413.41	c (360,0) c ExchangingTime_6 : 0.151568
2882.25/413.41	c (360,0) c ExchangingTime_7 : 0.147800
2882.25/413.41	c (360,0) c ExchangingTime_total : 1.306145
2882.25/413.41	c (360,0) c ExchangingTime_winner : 0.166212
2882.25/413.41	c (360,0) c PeriodProcTime_0 : 0.023149
2882.25/413.41	c (360,0) c PeriodProcTime_1 : 0.022685
2882.25/413.41	c (360,0) c PeriodProcTime_2 : 0.025292
2882.25/413.41	c (360,0) c PeriodProcTime_3 : 0.017935
2882.25/413.41	c (360,0) c PeriodProcTime_4 : 0.021483
2882.25/413.41	c (360,0) c PeriodProcTime_5 : 0.018910
2882.25/413.41	c (360,0) c PeriodProcTime_6 : 0.021334
2882.25/413.41	c (360,0) c PeriodProcTime_7 : 0.026563
2882.25/413.41	c (360,0) c PeriodProcTime_total : 0.177351
2882.25/413.41	c (360,0) c PeriodProcTime_winner : 0.017935
2882.25/413.41	c (360,0) c SolvingTime_0 : 358.153217
2882.25/413.41	c (360,0) c SolvingTime_1 : 359.791605
2882.25/413.41	c (360,0) c SolvingTime_2 : 358.163357
2882.25/413.41	c (360,0) c SolvingTime_3 : 358.028934
2882.25/413.41	c (360,0) c SolvingTime_4 : 358.150950
2882.25/413.41	c (360,0) c SolvingTime_5 : 358.178351
2882.25/413.41	c (360,0) c SolvingTime_6 : 358.149245
2882.25/413.41	c (360,0) c SolvingTime_7 : 358.131099
2882.25/413.41	c (360,0) c SolvingTime_total : 2866.746757
2882.25/413.41	c (360,0) c SolvingTime_winner : 358.028934
2882.25/413.41	c (360,0) c PropagationTime_0 : 340.191346
2882.25/413.41	c (360,0) c PropagationTime_1 : 338.719918
2882.25/413.41	c (360,0) c PropagationTime_2 : 339.723142
2882.25/413.41	c (360,0) c PropagationTime_3 : 341.984336
2882.25/413.41	c (360,0) c PropagationTime_4 : 339.428992
2882.25/413.41	c (360,0) c PropagationTime_5 : 340.709273
2882.25/413.41	c (360,0) c PropagationTime_6 : 341.645661
2882.25/413.41	c (360,0) c PropagationTime_7 : 339.955651
2882.25/413.41	c (360,0) c PropagationTime_total : 2722.358320
2882.25/413.41	c (360,0) c PropagationTime_winner : 341.984336
2882.25/413.41	c (360,0) c AnalysisTime_0 : 10.108083
2882.25/413.41	c (360,0) c AnalysisTime_1 : 13.121373
2882.25/413.41	c (360,0) c AnalysisTime_2 : 9.555902
2882.25/413.41	c (360,0) c AnalysisTime_3 : 8.183829
2882.25/413.41	c (360,0) c AnalysisTime_4 : 9.706733
2882.25/413.41	c (360,0) c AnalysisTime_5 : 9.627658
2882.25/413.41	c (360,0) c AnalysisTime_6 : 8.537040
2882.25/413.41	c (360,0) c AnalysisTime_7 : 10.227170
2882.25/413.41	c (360,0) c AnalysisTime_total : 79.067788
2882.25/413.41	c (360,0) c AnalysisTime_winner : 8.183829
2882.25/413.41	c (360,0) c ReductionTime_0 : 0.713089
2882.25/413.41	c (360,0) c ReductionTime_1 : 0.837430
2882.25/413.41	c (360,0) c ReductionTime_2 : 1.159436
2882.25/413.41	c (360,0) c ReductionTime_3 : 0.830929
2882.25/413.41	c (360,0) c ReductionTime_4 : 1.161867
2882.25/413.41	c (360,0) c ReductionTime_5 : 0.837778
2882.25/413.41	c (360,0) c ReductionTime_6 : 0.811989
2882.25/413.41	c (360,0) c ReductionTime_7 : 0.859568
2882.25/413.41	c (360,0) c ReductionTime_total : 7.212086
2882.25/413.41	c (360,0) c ReductionTime_winner : 0.830929
2882.25/413.41	c (360,0) c SimplifyTime_0 : 0.000011
2882.25/413.41	c (360,0) c SimplifyTime_1 : 0.000020
2882.25/413.41	c (360,0) c SimplifyTime_2 : 0.000010
2882.25/413.41	c (360,0) c SimplifyTime_3 : 0.000014
2882.25/413.41	c (360,0) c SimplifyTime_4 : 0.000020
2882.25/413.41	c (360,0) c SimplifyTime_5 : 0.000019
2882.25/413.41	c (360,0) c SimplifyTime_6 : 0.000012
2882.25/413.41	c (360,0) c SimplifyTime_7 : 0.000016
2882.25/413.41	c (360,0) c SimplifyTime_total : 0.000120
2882.25/413.41	c (360,0) c SimplifyTime_winner : 0.000014
2882.25/413.41	c (360,0) c UsedRateTime_0 : 0.000000
2882.25/413.41	c (360,0) c UsedRateTime_1 : 0.000000
2882.25/413.41	c (360,0) c UsedRateTime_2 : 0.000000
2882.25/413.41	c (360,0) c UsedRateTime_3 : 0.000000
2882.25/413.41	c (360,0) c UsedRateTime_4 : 0.000000
2882.25/413.41	c (360,0) c UsedRateTime_5 : 0.000000
2882.25/413.41	c (360,0) c UsedRateTime_6 : 0.000000
2882.25/413.41	c (360,0) c UsedRateTime_7 : 0.000000
2882.25/413.41	c (360,0) c UsedRateTime_total : 0.000000
2882.25/413.41	c (360,0) c UsedRateTime_winner : 0.000000
2882.25/413.41	c (360,0) c OverlapRateTime_0 : 0.000000
2882.25/413.41	c (360,0) c OverlapRateTime_1 : 0.000000
2882.25/413.41	c (360,0) c OverlapRateTime_2 : 0.000000
2882.25/413.41	c (360,0) c OverlapRateTime_3 : 0.000000
2882.25/413.41	c (360,0) c OverlapRateTime_4 : 0.000000
2882.25/413.41	c (360,0) c OverlapRateTime_5 : 0.000000
2882.25/413.41	c (360,0) c OverlapRateTime_6 : 0.000000
2882.25/413.41	c (360,0) c OverlapRateTime_7 : 0.000000
2882.25/413.41	c (360,0) c OverlapRateTime_total : 0.000000
2882.25/413.41	c (360,0) c OverlapRateTime_winner : 0.000000
2882.25/413.41	c (360,0) c
2882.25/413.41	c (360,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2882.25/413.41	c (360,0) c
2882.25/413.41	c (360,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2882.25/413.41	c (360,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2882.25/413.41	c (360,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2882.25/413.41	c (360,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2882.25/413.41	c (360,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2882.25/413.41	c (360,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2882.25/413.41	c (360,0) c | Initial random_seed   |  143167802 | 1274740918 |  478176698 |  776252974 |  490963954 | 1268678272 |  920104903 | 1996864654 |
2882.25/413.41	c (360,0) c | chanseokStrategy      |      False |      False |       True |      False |       True |      False |      False |      False |
2882.25/413.41	c (360,0) c | coLBDBound            |          5 |          5 |          4 |          5 |          4 |          5 |          5 |          5 |
2882.25/413.41	c (360,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2882.25/413.41	c (360,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2882.25/413.41	c (360,0) c | incReduceDB           |        300 |        300 |          0 |        300 |          0 |        300 |        300 |        300 |
2882.25/413.41	c (360,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2882.25/413.41	c (360,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2882.25/413.41	c (360,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2882.25/413.41	c (360,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2882.25/413.41	c (360,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2882.25/413.41	c (360,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2882.25/413.41	c (360,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2882.25/413.41	c (360,0) 
2882.25/413.41	c (360,0) s SATISFIABLE
2882.25/413.44	c (360,0) SatSolver.solve End
2882.25/413.44	c (360,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2882.25/413.44	c (360,0) Show results Begin
2882.50/413.51	c (360,0) x[0] = 1
2882.50/413.51	c (360,0) x[1] = 1
2882.50/413.51	c (360,0) x[2] = 1
2882.50/413.51	c (360,0) x[3] = 4
2882.50/413.51	c (360,0) x[4] = 2
2882.50/413.51	c (360,0) x[5] = 2
2882.50/413.51	c (360,0) x[6] = 0
2882.50/413.51	c (360,0) x[7] = 1
2882.50/413.51	c (360,0) x[8] = 1
2882.50/413.51	c (360,0) x[9] = 4
2882.50/413.51	c (360,0) x[10] = 4
2882.50/413.51	c (360,0) x[11] = 4
2882.50/413.51	c (360,0) x[12] = 0
2882.50/413.51	c (360,0) x[13] = 4
2882.50/413.51	c (360,0) x[14] = 2
2882.50/413.51	c (360,0) x[15] = 4
2882.50/413.51	c (360,0) x[16] = 2
2882.50/413.51	c (360,0) x[17] = 4
2882.50/413.51	c (360,0) x[18] = 1
2882.50/413.51	c (360,0) x[19] = 0
2882.50/413.51	c (360,0) x[20] = 4
2882.50/413.51	c (360,0) x[21] = 3
2882.50/413.51	c (360,0) x[22] = 3
2882.50/413.51	c (360,0) x[23] = 4
2882.50/413.51	c (360,0) x[24] = 4
2882.50/413.51	s SATISFIABLE
2882.50/413.51	v <instantiation>
2882.50/413.51	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>
2882.50/413.51	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>
2882.50/413.51	v </instantiation>
2882.50/413.51	c (360,0) Show results End
2882.50/413.51	c (360,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
2882.50/413.51	c (360,0) 360,360,STOP-AFTER(ALL)
2882.50/413.51	c END-Prog: Tue Sep 24 15:44:52 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 (13557 MiB free)
  memory of node 1: 16384 MiB (12049 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405609-1569335979/watcher-4405609-1569335979 -o /var/tmp/evaluation-result-4405609-1569335979/solver-4405609-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405609-1569335979.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=29382, runsolver pid=29379
Current StackSize limit: 8192 KiB


[startup+0.100147 s]*
/proc/loadavg: 0.00 0.01 0.05 3/210 29404
/proc/meminfo: memFree=26128932/32770624 swapFree=66956832/67108860
[pid=29382] ppid=29379 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29382/stat : 29382 (scop.sh) S 29379 29382 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509855729 115843072 349 33554432000 4194304 5098028 140730859528608 140730859525864 140056202035836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11534336 140730859533052 140730859533400 140730859533400 140730859536329 0
/proc/29382/statm: 28282 349 296 221 0 87 0
[pid=29385] ppid=29382 vsize=27314120 memory=103444 CPUtime=0.09 cores=0-7
/proc/29385/stat : 29385 (java) S 29382 29382 29338 0 -1 1077944320 6477 0 0 0 7 2 0 0 20 0 20 0 509855729 27969658880 25861 33554432000 4194304 4196468 140732975445088 140732975427632 139960322612983 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
/proc/29385/statm: 6828530 25861 2773 1 0 6790935 0
[pid=29385/tid=29386] ppid=29382 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/29385/task/29386/stat : 29386 (java) R 29382 29382 29338 0 -1 4202560 4583 0 0 0 6 2 0 0 20 0 20 0 509855730 27969658880 25861 33554432000 4194304 4196468 140732975445088 139960294439168 139960322624918 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29387] ppid=29382 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29385/task/29387/stat : 29387 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855732 27969658880 25861 33554432000 4194304 4196468 140732975445088 139960326855696 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29388] ppid=29382 vsize=27314120 memory=139741401364096 CPUtime=0 cores=0-7
/proc/29385/task/29388/stat : 29388 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855732 27969658880 25861 33554432000 4194304 4196468 140732975445088 139960110251152 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29389] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29389/stat : 29389 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855732 27969658880 25861 33554432000 4194304 4196468 140732975445088 139960109198096 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29390] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29390/stat : 29390 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 25861 33554432000 4194304 4196468 140732975445088 139960108145552 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29391] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29391/stat : 29391 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 25861 33554432000 4194304 4196468 140732975445088 139960107092496 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29392] ppid=29382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29392/stat : 29392 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 25861 33554432000 4194304 4196468 140732975445088 139960106039952 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29393] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29393/stat : 29393 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 25861 33554432000 4194304 4196468 140732975445088 139960104986896 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29394] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29394/stat : 29394 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 25861 33554432000 4194304 4196468 140732975445088 139960103934352 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29395] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29395/stat : 29395 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855734 27969658880 25861 33554432000 4194304 4196468 140732975445088 139958709902064 139960322624130 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29396] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29396/stat : 29396 (java) S 29382 29382 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509855735 27969658880 25861 33554432000 4194304 4196468 140732975445088 139958086002336 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29397] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29397/stat : 29397 (java) S 29382 29382 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509855735 27969658880 25861 33554432000 4194304 4196468 140732975445088 139957951780080 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29398] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29398/stat : 29398 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855737 27969658880 25861 33554432000 4194304 4196468 140732975445088 139957577275856 139960322631579 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29399] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29399/stat : 29399 (java) S 29382 29382 29338 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 509855737 27969658880 25861 33554432000 4194304 4196468 140732975445088 139958708848880 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29400] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29400/stat : 29400 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 25861 33554432000 4194304 4196468 140732975445088 139958707796336 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29401] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29401/stat : 29401 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 25861 33554432000 4194304 4196468 140732975445088 139958706743280 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29402] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29402/stat : 29402 (java) R 29382 29382 29338 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 25861 33554432000 4194304 4196468 140732975445088 139958705690736 139960301192336 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29403] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29403/stat : 29403 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 25861 33554432000 4194304 4196468 140732975445088 139957079370720 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29404] ppid=29382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29404/stat : 29404 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 25861 33554432000 4194304 4196468 140732975445088 139958704639152 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 104840 KiB

[startup+0.21035 s]*
/proc/loadavg: 0.00 0.01 0.05 3/210 29404
/proc/meminfo: memFree=26105404/32770624 swapFree=66956832/67108860
[pid=29382] ppid=29379 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29382/stat : 29382 (scop.sh) S 29379 29382 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509855729 115843072 349 33554432000 4194304 5098028 140730859528608 140730859525864 140056202035836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11534336 140730859533052 140730859533400 140730859533400 140730859536329 0
/proc/29382/statm: 28282 349 296 221 0 87 0
[pid=29385] ppid=29382 vsize=27314120 memory=125464 CPUtime=0.23 cores=0-7
/proc/29385/stat : 29385 (java) S 29382 29382 29338 0 -1 1077944320 12247 0 0 0 19 4 0 0 20 0 20 0 509855729 27969658880 31366 33554432000 4194304 4196468 140732975445088 140732975427632 139960322612983 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
/proc/29385/statm: 6828530 31366 2941 1 0 6790935 0
[pid=29385/tid=29386] ppid=29382 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29385/task/29386/stat : 29386 (java) R 29382 29382 29338 0 -1 4202560 9921 0 0 0 16 3 0 0 20 0 20 0 509855730 27969658880 31366 33554432000 4194304 4196468 140732975445088 139960294412368 139960304177953 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29387] ppid=29382 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/29385/task/29387/stat : 29387 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855732 27969658880 31366 33554432000 4194304 4196468 140732975445088 139960326855696 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29388] ppid=29382 vsize=27314120 memory=139741401392740 CPUtime=0 cores=0-7
/proc/29385/task/29388/stat : 29388 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855732 27969658880 31366 33554432000 4194304 4196468 140732975445088 139960110251152 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29389] ppid=29382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29389/stat : 29389 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855732 27969658880 31366 33554432000 4194304 4196468 140732975445088 139960109198096 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29390] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29390/stat : 29390 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 31366 33554432000 4194304 4196468 140732975445088 139960108145552 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29391] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29391/stat : 29391 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 31366 33554432000 4194304 4196468 140732975445088 139960107092496 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29392] ppid=29382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29392/stat : 29392 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 31366 33554432000 4194304 4196468 140732975445088 139960106039952 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29393] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29393/stat : 29393 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 31366 33554432000 4194304 4196468 140732975445088 139960104986896 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29394] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29394/stat : 29394 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 31366 33554432000 4194304 4196468 140732975445088 139960103934352 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29395] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29395/stat : 29395 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855734 27969658880 31366 33554432000 4194304 4196468 140732975445088 139958709902064 139960322624130 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29396] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29396/stat : 29396 (java) S 29382 29382 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509855735 27969658880 31366 33554432000 4194304 4196468 140732975445088 139958086002336 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29397] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29397/stat : 29397 (java) S 29382 29382 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509855735 27969658880 31366 33554432000 4194304 4196468 140732975445088 139957951780080 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29398] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29398/stat : 29398 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855737 27969658880 31366 33554432000 4194304 4196468 140732975445088 139957577275856 139960322631579 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29399] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29399/stat : 29399 (java) R 29382 29382 29338 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 509855737 27969658880 31366 33554432000 4194304 4196468 140732975445088 139958708848880 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29400] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29400/stat : 29400 (java) R 29382 29382 29338 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 31366 33554432000 4194304 4196468 140732975445088 139958707796336 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29401] ppid=29382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29401/stat : 29401 (java) S 29382 29382 29338 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 31366 33554432000 4194304 4196468 140732975445088 139958706743280 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29402] ppid=29382 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/29385/task/29402/stat : 29402 (java) R 29382 29382 29338 0 -1 4202560 480 0 0 0 2 0 0 0 20 0 20 0 509855738 27969658880 31366 33554432000 4194304 4196468 140732975445088 139958705690736 139960306693470 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29403] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29403/stat : 29403 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 31366 33554432000 4194304 4196468 140732975445088 139957079370720 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29404] ppid=29382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29404/stat : 29404 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 31366 33554432000 4194304 4196468 140732975445088 139958704639152 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126860 KiB

[startup+0.310518 s]*
/proc/loadavg: 0.00 0.01 0.05 2/210 29404
/proc/meminfo: memFree=26102852/32770624 swapFree=66956832/67108860
[pid=29382] ppid=29379 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29382/stat : 29382 (scop.sh) S 29379 29382 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509855729 115843072 349 33554432000 4194304 5098028 140730859528608 140730859525864 140056202035836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11534336 140730859533052 140730859533400 140730859533400 140730859536329 0
/proc/29382/statm: 28282 349 296 221 0 87 0
[pid=29385] ppid=29382 vsize=27314120 memory=129756 CPUtime=0.41 cores=0-7
/proc/29385/stat : 29385 (java) S 29382 29382 29338 0 -1 1077944320 12797 0 0 0 36 5 0 0 20 0 20 0 509855729 27969658880 32439 33554432000 4194304 4196468 140732975445088 140732975427632 139960322612983 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
/proc/29385/statm: 6828530 32439 3029 1 0 6790935 0
[pid=29385/tid=29386] ppid=29382 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/29385/task/29386/stat : 29386 (java) R 29382 29382 29338 0 -1 4202560 10283 0 0 0 25 4 0 0 20 0 20 0 509855730 27969658880 32439 33554432000 4194304 4196468 140732975445088 139960294416208 139960322626870 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29387] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29387/stat : 29387 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855732 27969658880 32439 33554432000 4194304 4196468 140732975445088 139960326855696 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29388] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29388/stat : 29388 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855732 27969658880 32439 33554432000 4194304 4196468 140732975445088 139960110251152 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29389] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29389/stat : 29389 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855732 27969658880 32439 33554432000 4194304 4196468 140732975445088 139960109198096 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29390] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29390/stat : 29390 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 32439 33554432000 4194304 4196468 140732975445088 139960108145552 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29391] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29391/stat : 29391 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 32439 33554432000 4194304 4196468 140732975445088 139960107092496 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29392] ppid=29382 vsize=27314120 memory=139741257362095 CPUtime=0 cores=0-7
/proc/29385/task/29392/stat : 29392 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 32439 33554432000 4194304 4196468 140732975445088 139960106039952 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29393] ppid=29382 vsize=27314120 memory=139741257364400 CPUtime=0 cores=0-7
/proc/29385/task/29393/stat : 29393 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 32439 33554432000 4194304 4196468 140732975445088 139960104986896 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29394] ppid=29382 vsize=27314120 memory=139741257366704 CPUtime=0 cores=0-7
/proc/29385/task/29394/stat : 29394 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855733 27969658880 32439 33554432000 4194304 4196468 140732975445088 139960103934352 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29395] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29395/stat : 29395 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855734 27969658880 32439 33554432000 4194304 4196468 140732975445088 139958709902064 139960322624130 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29396] ppid=29382 vsize=27314120 memory=279482514747280 CPUtime=0 cores=0-7
/proc/29385/task/29396/stat : 29396 (java) S 29382 29382 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509855735 27969658880 32439 33554432000 4194304 4196468 140732975445088 139958086002336 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29397] ppid=29382 vsize=27314120 memory=279482514744976 CPUtime=0 cores=0-7
/proc/29385/task/29397/stat : 29397 (java) S 29382 29382 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 509855735 27969658880 32439 33554432000 4194304 4196468 140732975445088 139957951780080 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29398] ppid=29382 vsize=27314120 memory=279482514751888 CPUtime=0 cores=0-7
/proc/29385/task/29398/stat : 29398 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855737 27969658880 32439 33554432000 4194304 4196468 140732975445088 139957577275856 139960322631579 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29399] ppid=29382 vsize=27314120 memory=279482514693168 CPUtime=0.01 cores=0-7
/proc/29385/task/29399/stat : 29399 (java) S 29382 29382 29338 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 509855737 27969658880 32439 33554432000 4194304 4196468 140732975445088 139958708848880 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29400] ppid=29382 vsize=27314120 memory=279482514765712 CPUtime=0.01 cores=0-7
/proc/29385/task/29400/stat : 29400 (java) S 29382 29382 29338 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 20 0 509855738 27969658880 32439 33554432000 4194304 4196468 140732975445088 139958707796336 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29401] ppid=29382 vsize=27314120 memory=279482514772624 CPUtime=0.01 cores=0-7
/proc/29385/task/29401/stat : 29401 (java) S 29382 29382 29338 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 509855738 27969658880 32439 33554432000 4194304 4196468 140732975445088 139958706743280 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29402] ppid=29382 vsize=27314120 memory=279482514770320 CPUtime=0.07 cores=0-7
/proc/29385/task/29402/stat : 29402 (java) S 29382 29382 29338 0 -1 1077944384 528 0 0 0 7 0 0 0 20 0 20 0 509855738 27969658880 32439 33554432000 4194304 4196468 140732975445088 139958705690736 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29403] ppid=29382 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29403/stat : 29403 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 32439 33554432000 4194304 4196468 140732975445088 139957079370720 139960322623189 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29404] ppid=29382 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29404/stat : 29404 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855738 27969658880 32439 33554432000 4194304 4196468 140732975445088 139958704639152 139960322624130 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131152 KiB

[startup+0.705964 s]
/proc/loadavg: 0.00 0.01 0.05 2/210 29404
/proc/meminfo: memFree=26082184/32770624 swapFree=66956832/67108860
[pid=29382] ppid=29379 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29382/stat : 29382 (scop.sh) S 29379 29382 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509855729 115843072 349 33554432000 4194304 5098028 140730859528608 140730859525864 140056202035836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11534336 140730859533052 140730859533400 140730859533400 140730859536329 0
/proc/29382/statm: 28282 349 296 221 0 87 0
[pid=29385] ppid=29382 vsize=27320392 memory=165492 CPUtime=0.98 cores=0-7
/proc/29385/stat : 29385 (java) S 29382 29382 29338 0 -1 1077944320 20426 0 0 0 91 7 0 0 20 0 20 0 509855729 27976081408 41373 33554432000 4194304 4196468 140732975445088 140732975427632 139960322612983 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
/proc/29385/statm: 6830098 41373 3194 1 0 6791447 0
[pid=29385/tid=29386] ppid=29382 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/29385/task/29386/stat : 29386 (java) R 29382 29382 29338 0 -1 4202560 17343 0 0 0 61 6 0 0 20 0 20 0 509855730 27976081408 41373 33554432000 4194304 4196468 140732975445088 139960294448144 139960322634909 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29387] ppid=29382 vsize=27320392 memory=139741257573232 CPUtime=0 cores=0-7
/proc/29385/task/29387/stat : 29387 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855732 27976081408 41373 33554432000 4194304 4196468 140732975445088 139960326855696 139960322623189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29388] ppid=29382 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29388/stat : 29388 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509855732 27976081408 41373 33554432000 4194304 4196468 140732975445088 139960110251152 139960322623189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0
[pid=29385/tid=29389] ppid=29382 vsize=27320392 memory=784 CPUtime=0 cores=0-7
/proc/29385/task/29389/stat : 29389 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509855732 27976081408 41373 33554432000 4194304 4196468 140732975445088 139960109198096 139960322623189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13774848 140732975452870 140732975453318 140732975453318 140732975456207 0

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

/proc/29408/task/29412/stat : 29412 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598929165200 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29413] ppid=29382 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/29408/task/29413/stat : 29413 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598928112400 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29414] ppid=29382 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/29408/task/29414/stat : 29414 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598927059600 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29415] ppid=29382 vsize=8414124 memory=13563791027735085 CPUtime=0 cores=0-7
/proc/29408/task/29415/stat : 29415 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598926006800 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29416] ppid=29382 vsize=8414124 memory=123744 CPUtime=0 cores=0-7
/proc/29408/task/29416/stat : 29416 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598924954000 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29417] ppid=29382 vsize=8414124 memory=477188 CPUtime=0 cores=0-7
/proc/29408/task/29417/stat : 29417 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598923901200 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29418] ppid=29382 vsize=8414124 memory=-8601143440555930002 CPUtime=0.01 cores=0-7
/proc/29408/task/29418/stat : 29418 (java) S 29382 29382 29338 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 24 0 509860996 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598353509232 140599125817986 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29419] ppid=29382 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/29408/task/29419/stat : 29419 (java) S 29382 29382 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509860997 8616062976 30936 33554432000 4194304 4196468 140729271634064 140597700584992 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29420] ppid=29382 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/29408/task/29420/stat : 29420 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860997 8616062976 30936 33554432000 4194304 4196468 140729271634064 140597432149360 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29421] ppid=29382 vsize=8414124 memory=5884436 CPUtime=0 cores=0-7
/proc/29408/task/29421/stat : 29421 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140597057640784 140599125825435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29422] ppid=29382 vsize=8414124 memory=1548 CPUtime=0.05 cores=0-7
/proc/29408/task/29422/stat : 29422 (java) S 29382 29382 29338 0 -1 1077944384 644 0 0 0 5 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598352456048 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29423] ppid=29382 vsize=8414124 memory=7552 CPUtime=0.06 cores=0-7
/proc/29408/task/29423/stat : 29423 (java) S 29382 29382 29338 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598351403248 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29424] ppid=29382 vsize=8414124 memory=3608 CPUtime=0.06 cores=0-7
/proc/29408/task/29424/stat : 29424 (java) S 29382 29382 29338 0 -1 1077944384 247 0 0 0 6 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598350350448 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29425] ppid=29382 vsize=8414124 memory=516 CPUtime=0.21 cores=0-7
/proc/29408/task/29425/stat : 29425 (java) S 29382 29382 29338 0 -1 1077944384 757 0 0 0 21 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598349297648 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29426] ppid=29382 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/29408/task/29426/stat : 29426 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140596559735904 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29427] ppid=29382 vsize=8414124 memory=928 CPUtime=0.21 cores=0-7
/proc/29408/task/29427/stat : 29427 (java) S 29382 29382 29338 0 -1 1077944384 25 0 0 0 0 21 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598348246064 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29429] ppid=29382 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/29408/task/29429/stat : 29429 (java) S 29382 29382 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509861066 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598340212288 140599125831449 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29431] ppid=29382 vsize=8414124 memory=900 CPUtime=0.02 cores=0-7
/proc/29408/task/29431/stat : 29431 (java) S 29382 29382 29338 0 -1 4202560 1682 0 0 0 1 1 0 0 20 0 24 0 509861066 8616062976 30936 33554432000 4194304 4196468 140729271634064 140595888635536 140599125828765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29432] ppid=29382 vsize=8414124 memory=477188 CPUtime=0 cores=0-7
/proc/29408/task/29432/stat : 29432 (java) S 29382 29382 29338 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509861066 8616062976 30936 33554432000 4194304 4196468 140729271634064 140596157070864 140599125828765 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29433] ppid=29382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29408/task/29433/stat : 29433 (java) S 29382 29382 29338 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509861068 8616062976 30936 33554432000 4194304 4196468 140729271634064 140595620207664 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
Current children cumulated CPU time: 2882.05 s
Current children cumulated vsize: 9263648 KiB
Current children cumulated memory: 602460 KiB

[startup+413.401 s]
/proc/loadavg: 7.04 5.41 2.56 2/218 29472
/proc/meminfo: memFree=25627552/32770624 swapFree=66956832/67108860
[pid=29382] ppid=29379 vsize=113128 memory=1476 CPUtime=73.21 cores=0-7
/proc/29382/stat : 29382 (scop.sh) S 29379 29382 29338 0 -1 4202496 582 82778 0 0 0 0 7004 317 20 0 1 0 509855729 115843072 369 33554432000 4194304 5098028 140730859528608 140730859525352 140056202035836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11534336 140730859533052 140730859533400 140730859533400 140730859536329 0
/proc/29382/statm: 28282 369 311 221 0 87 0
[pid=29408] ppid=29382 vsize=8414124 memory=123744 CPUtime=1.42 cores=0-7
/proc/29408/stat : 29408 (java) S 29382 29382 29338 0 -1 1077944320 21936 0 0 0 132 10 0 0 20 0 24 0 509860993 8616062976 30936 33554432000 4194304 4196468 140729271634064 140729271616608 140599125806839 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
/proc/29408/statm: 2103531 30936 3197 1 0 2064875 0
[pid=29428] ppid=29408 vsize=703612 memory=477204 CPUtime=2807.62 cores=0-7
/proc/29428/stat : 29428 (manyglucose-4.1) R 29408 29382 29338 0 -1 4202496 449950 0 0 0 280547 215 0 0 20 0 1 0 509861066 720498688 119301 33554432000 4194304 4454172 140735718534016 140735718532400 140499902479485 0 4 0 8388610 0 0 0 17 6 0 0 0 0 0 6552832 6554400 20082688 140735718540109 140735718540316 140735718540316 140735718543286 0
/proc/29428/statm: 175903 119301 418 64 0 171571 0
[pid=29408/tid=29409] ppid=29382 vsize=8414124 memory=0 CPUtime=0.74 cores=0-7
/proc/29408/task/29409/stat : 29409 (java) S 29382 29382 29338 0 -1 1077944384 16916 0 0 0 70 4 0 0 20 0 24 0 509860994 8616062976 30936 33554432000 4194304 4196468 140729271634064 140599097647008 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29410] ppid=29382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29408/task/29410/stat : 29410 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140599130049680 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29411] ppid=29382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29408/task/29411/stat : 29411 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598930218000 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29412] ppid=29382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29408/task/29412/stat : 29412 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598929165200 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29413] ppid=29382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29408/task/29413/stat : 29413 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598928112400 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29414] ppid=29382 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29408/task/29414/stat : 29414 (java) S 29382 29382 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598927059600 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29415] ppid=29382 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/29408/task/29415/stat : 29415 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598926006800 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29416] ppid=29382 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/29408/task/29416/stat : 29416 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598924954000 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29417] ppid=29382 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/29408/task/29417/stat : 29417 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509860995 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598923901200 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29418] ppid=29382 vsize=8414124 memory=24980 CPUtime=0.01 cores=0-7
/proc/29408/task/29418/stat : 29418 (java) S 29382 29382 29338 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 24 0 509860996 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598353509232 140599125817986 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29419] ppid=29382 vsize=8414124 memory=14056 CPUtime=0 cores=0-7
/proc/29408/task/29419/stat : 29419 (java) S 29382 29382 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509860997 8616062976 30936 33554432000 4194304 4196468 140729271634064 140597700584992 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29420] ppid=29382 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/29408/task/29420/stat : 29420 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509860997 8616062976 30936 33554432000 4194304 4196468 140729271634064 140597432149360 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29421] ppid=29382 vsize=8414124 memory=516 CPUtime=0 cores=0-7
/proc/29408/task/29421/stat : 29421 (java) S 29382 29382 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140597057640784 140599125825435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29422] ppid=29382 vsize=8414124 memory=1556 CPUtime=0.05 cores=0-7
/proc/29408/task/29422/stat : 29422 (java) S 29382 29382 29338 0 -1 1077944384 644 0 0 0 5 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598352456048 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29423] ppid=29382 vsize=8414124 memory=928 CPUtime=0.06 cores=0-7
/proc/29408/task/29423/stat : 29423 (java) S 29382 29382 29338 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598351403248 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29424] ppid=29382 vsize=8414124 memory=1772 CPUtime=0.06 cores=0-7
/proc/29408/task/29424/stat : 29424 (java) S 29382 29382 29338 0 -1 1077944384 247 0 0 0 6 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598350350448 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29425] ppid=29382 vsize=8414124 memory=900 CPUtime=0.21 cores=0-7
/proc/29408/task/29425/stat : 29425 (java) R 29382 29382 29338 0 -1 4202560 758 0 0 0 21 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598349297648 140599118903675 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29426] ppid=29382 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29408/task/29426/stat : 29426 (java) S 29382 29382 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140596559735904 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29427] ppid=29382 vsize=8414124 memory=14056 CPUtime=0.21 cores=0-7
/proc/29408/task/29427/stat : 29427 (java) S 29382 29382 29338 0 -1 1077944384 25 0 0 0 0 21 0 0 20 0 24 0 509861000 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598348246064 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29429] ppid=29382 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/29408/task/29429/stat : 29429 (java) S 29382 29382 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509861066 8616062976 30936 33554432000 4194304 4196468 140729271634064 140598340212288 140599125831449 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29431] ppid=29382 vsize=8414124 memory=516 CPUtime=0.02 cores=0-7
/proc/29408/task/29431/stat : 29431 (java) R 29382 29382 29338 0 -1 4202560 1684 0 0 0 1 1 0 0 20 0 24 0 509861066 8616062976 30936 33554432000 4194304 4196468 140729271634064 140595888635536 140599125828669 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29432] ppid=29382 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/29408/task/29432/stat : 29432 (java) S 29382 29382 29338 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509861066 8616062976 30936 33554432000 4194304 4196468 140729271634064 140596157070864 140599125828765 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29433] ppid=29382 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/29408/task/29433/stat : 29433 (java) S 29382 29382 29338 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509861068 8616062976 30936 33554432000 4194304 4196468 140729271634064 140595620207664 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
Current children cumulated CPU time: 2882.25 s
Current children cumulated vsize: 9230864 KiB
Current children cumulated memory: 602424 KiB

[startup+413.501 s]
/proc/loadavg: 7.04 5.41 2.56 2/218 29472
/proc/meminfo: memFree=25627552/32770624 swapFree=66956832/67108860
[pid=29382] ppid=29379 vsize=113128 memory=1476 CPUtime=73.21 cores=0-7
/proc/29382/stat : 29382 (scop.sh) S 29379 29382 29338 0 -1 4202496 582 82778 0 0 0 0 7004 317 20 0 1 0 509855729 115843072 369 33554432000 4194304 5098028 140730859528608 140730859525352 140056202035836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11534336 140730859533052 140730859533400 140730859533400 140730859536329 0
/proc/29382/statm: 28282 369 311 221 0 87 0
[pid=29408] ppid=29382 vsize=8283048 memory=133020 CPUtime=2809.29 cores=0-7
/proc/29408/stat : 29408 (java) S 29382 29382 29338 0 -1 1077944320 22710 449957 0 0 155 11 280547 216 20 0 22 0 509860993 8481841152 33255 33554432000 4194304 4196468 140729271634064 140729271616608 140599125806839 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
/proc/29408/statm: 2070762 33255 3222 1 0 2032106 0
[pid=29408/tid=29409] ppid=29382 vsize=8283048 memory=123744 CPUtime=2808.43 cores=0-7
/proc/29408/task/29409/stat : 29409 (java) R 29382 29382 29338 0 -1 4202560 17151 449957 0 0 75 5 280547 216 20 0 22 0 509860994 8481841152 33255 33554432000 4194304 4196468 140729271634064 140599097644536 140598589861620 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29410] ppid=29382 vsize=8283048 memory=123744 CPUtime=2807.63 cores=0-7
/proc/29408/task/29410/stat : 29410 (java) S 29382 29382 29338 0 -1 1077944384 1 449957 0 0 0 0 280547 216 20 0 22 0 509860995 8481841152 33255 33554432000 4194304 4196468 140729271634064 140599130049680 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29411] ppid=29382 vsize=8283048 memory=123744 CPUtime=2807.63 cores=0-7
/proc/29408/task/29411/stat : 29411 (java) S 29382 29382 29338 0 -1 1077944384 2 449957 0 0 0 0 280547 216 20 0 22 0 509860995 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598930218000 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29412] ppid=29382 vsize=8283048 memory=1476 CPUtime=2807.63 cores=0-7
/proc/29408/task/29412/stat : 29412 (java) S 29382 29382 29338 0 -1 1077944384 1 449957 0 0 0 0 280547 216 20 0 22 0 509860995 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598929165200 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29413] ppid=29382 vsize=8283048 memory=288293272527370983 CPUtime=2807.63 cores=0-7
/proc/29408/task/29413/stat : 29413 (java) S 29382 29382 29338 0 -1 1077944384 1 449957 0 0 0 0 280547 216 20 0 22 0 509860995 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598928112400 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29414] ppid=29382 vsize=8283048 memory=279482515101344 CPUtime=2807.63 cores=0-7
/proc/29408/task/29414/stat : 29414 (java) S 29382 29382 29338 0 -1 1077944384 2 449957 0 0 0 0 280547 216 20 0 22 0 509860995 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598927059600 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29415] ppid=29382 vsize=8283048 memory=1412 CPUtime=2807.63 cores=0-7
/proc/29408/task/29415/stat : 29415 (java) S 29382 29382 29338 0 -1 1077944384 1 449957 0 0 0 0 280547 216 20 0 22 0 509860995 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598926006800 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29416] ppid=29382 vsize=8283048 memory=3728 CPUtime=2807.63 cores=0-7
/proc/29408/task/29416/stat : 29416 (java) S 29382 29382 29338 0 -1 1077944384 1 449957 0 0 0 0 280547 216 20 0 22 0 509860995 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598924954000 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29417] ppid=29382 vsize=8283048 memory=56 CPUtime=2807.63 cores=0-7
/proc/29408/task/29417/stat : 29417 (java) S 29382 29382 29338 0 -1 1077944384 3 449957 0 0 0 0 280547 216 20 0 22 0 509860995 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598923901200 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29418] ppid=29382 vsize=8283048 memory=33 CPUtime=2807.64 cores=0-7
/proc/29408/task/29418/stat : 29418 (java) S 29382 29382 29338 0 -1 1077944384 8 449957 0 0 1 0 280547 216 20 0 22 0 509860996 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598353509232 140599125817986 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29419] ppid=29382 vsize=8283048 memory=1476 CPUtime=2807.63 cores=0-7
/proc/29408/task/29419/stat : 29419 (java) S 29382 29382 29338 0 -1 1077944384 13 449957 0 0 0 0 280547 216 20 0 22 0 509860997 8481841152 33255 33554432000 4194304 4196468 140729271634064 140597700584992 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29420] ppid=29382 vsize=8283048 memory=121116 CPUtime=2807.63 cores=0-7
/proc/29408/task/29420/stat : 29420 (java) S 29382 29382 29338 0 -1 1077944384 1 449957 0 0 0 0 280547 216 20 0 22 0 509860997 8481841152 33255 33554432000 4194304 4196468 140729271634064 140597432149360 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29421] ppid=29382 vsize=8283048 memory=1476 CPUtime=2807.63 cores=0-7
/proc/29408/task/29421/stat : 29421 (java) S 29382 29382 29338 0 -1 1077944384 1 449957 0 0 0 0 280547 216 20 0 22 0 509861000 8481841152 33255 33554432000 4194304 4196468 140729271634064 140597057640784 140599125825435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29422] ppid=29382 vsize=8283048 memory=121044 CPUtime=2807.7 cores=0-7
/proc/29408/task/29422/stat : 29422 (java) S 29382 29382 29338 0 -1 1077944384 668 449957 0 0 7 0 280547 216 20 0 22 0 509861000 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598352456048 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29423] ppid=29382 vsize=8283048 memory=1412 CPUtime=2807.73 cores=0-7
/proc/29408/task/29423/stat : 29423 (java) R 29382 29382 29338 0 -1 4202560 509 449957 0 0 10 0 280547 216 20 0 22 0 509861000 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598351403248 140599105523975 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29424] ppid=29382 vsize=8283048 memory=4036 CPUtime=2807.72 cores=0-7
/proc/29408/task/29424/stat : 29424 (java) S 29382 29382 29338 0 -1 1077944384 273 449957 0 0 9 0 280547 216 20 0 22 0 509861000 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598350350448 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29425] ppid=29382 vsize=8283048 memory=1476 CPUtime=2807.88 cores=0-7
/proc/29408/task/29425/stat : 29425 (java) S 29382 29382 29338 0 -1 1077944384 975 449957 0 0 25 0 280547 216 20 0 22 0 509861000 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598349297648 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29426] ppid=29382 vsize=8283048 memory=1760 CPUtime=2807.63 cores=0-7
/proc/29408/task/29426/stat : 29426 (java) S 29382 29382 29338 0 -1 1077944384 3 449957 0 0 0 0 280547 216 20 0 22 0 509861000 8481841152 33255 33554432000 4194304 4196468 140729271634064 140596559735904 140599125817045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29427] ppid=29382 vsize=8283048 memory=111632 CPUtime=2807.84 cores=0-7
/proc/29408/task/29427/stat : 29427 (java) S 29382 29382 29338 0 -1 1077944384 25 449957 0 0 0 21 280547 216 20 0 22 0 509861000 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598348246064 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29429] ppid=29382 vsize=8283048 memory=804 CPUtime=2807.63 cores=0-7
/proc/29408/task/29429/stat : 29429 (java) S 29382 29382 29338 0 -1 1077944384 24 449957 0 0 0 0 280547 216 20 0 22 0 509861066 8481841152 33255 33554432000 4194304 4196468 140729271634064 140598340211472 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
[pid=29408/tid=29433] ppid=29382 vsize=8283048 memory=916 CPUtime=2807.63 cores=0-7
/proc/29408/task/29433/stat : 29433 (java) S 29382 29382 29338 0 -1 1077944384 9 449957 0 0 0 0 280547 216 20 0 22 0 509861068 8481841152 33255 33554432000 4194304 4196468 140729271634064 140595620209456 140599125817986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18866176 140729271641055 140729271641222 140729271641222 140729271644111 0
Current children cumulated CPU time: 2882.5 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 134496 KiB

Child status: 0
Real time (s): 413.534
CPU time (s): 2882.58
CPU user time (s): 2877.11
CPU system time (s): 5.47451
CPU usage (%): 697.061
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 6610888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2877.11
system time used= 5.47451
maximum resident set size= 6611256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96743
involuntary context switches= 27419


# summary of solver processes directly reported to runsolver:
#   pid: 29382
#   total CPU time (s): 2882.58
#   total CPU user time (s): 2877.11
#   total CPU system time (s): 5.47451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.77574 second user time and 5.65393 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 15:37:59
IDJOB=4405609
IDBENCH=126096
IDSOLVER=2868
FILE ID=node105/4405609-1569335979
RUNJOBID= node105-1569332278-29365
PBS_JOBID= 21705070
Free space on /var/tmp= 13148 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405609-1569335979/watcher-4405609-1569335979 -o /var/tmp/evaluation-result-4405609-1569335979/solver-4405609-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405609-1569335979.xml

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

MD5SUM BENCH= 9efca6d5489e39e5f473d5ee8bd54dad
RANDOM SEED=2101077985

node105.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.00
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.00
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.00
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.00
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:        26221568 kB
MemAvailable:   31801692 kB
Buffers:          109060 kB
Cached:          5603276 kB
SwapCached:        48356 kB
Active:          2859320 kB
Inactive:        2902060 kB
Active(anon):       4212 kB
Inactive(anon):    99568 kB
Active(file):    2855108 kB
Inactive(file):  2802492 kB
Unevictable:      111188 kB
Mlocked:          111188 kB
SwapTotal:      67108860 kB
SwapFree:       66956832 kB
Dirty:             53272 kB
Writeback:             0 kB
AnonPages:        112748 kB
Mapped:            54012 kB
Shmem:             45908 kB
Slab:             379380 kB
SReclaimable:     350984 kB
SUnreclaim:        28396 kB
KernelStack:        3264 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505732 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13124 MiB
End job on node105 at 2019-09-24 15:44:52