Trace number 4392578

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameBlackhole/Blackhole-m1-s13/
Blackhole-13-3-04.xml
MD5SUM5cc270e62cab521987b2b853f5e11200
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.020399
Satisfiable
(Un)Satisfiability was proved
Number of variables104
Number of constraints87
Number of domains1
Minimum domain size52
Maximum domain size52
Distribution of domain sizes[{"size":52,"count":104}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":87},{"degree":3,"count":17}]
Minimum constraint arity1
Maximum constraint arity104
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":85},{"arity":104,"count":1}]
Number of extensional constraints51
Number of intensional constraints35
Distribution of constraint types[{"type":"extension","count":51},{"type":"intension","count":35},{"type":"channel","count":1}]
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-22632-serial-file.bin HOME/instance-4392578-1568435994.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 06:39:15 CEST 2019
0.65/0.56	c PID: 22635
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.61/0.94	c (0,0) Parsing End
1.61/0.94	c (0,0) CSP: 104 int (0 aux), 0 bool (0 aux), 87 ctr, max domain size 52
1.61/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.61/0.95	c (0,0) Constraint Name Generate Begin
1.61/0.95	c (0,0) Ctr:HOME/instance-4392578-1568435994.xml,ChannelTwoLists:Eq:ExtensionSupport:Lt:Num:Var
1.61/0.95	c (0,0) Constraint Name Generate End
1.61/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.61/0.95	c (0,0) CSP to CSPinCNF Begin
4.11/1.77	c (1,1) translated 9 (10%) constraints
4.11/1.77	c (1,1) translated 18 (20%) constraints
4.11/1.78	c (1,1) translated 27 (30%) constraints
4.11/1.78	c (1,1) translated 35 (40%) constraints
5.81/2.13	c (1,1) translated 44 (50%) constraints
6.60/2.34	c (1,1) translated 53 (60%) constraints
7.01/2.48	c (1,1) translated 61 (70%) constraints
7.69/2.63	c (2,2) translated 70 (80%) constraints
8.03/2.78	c (2,2) translated 79 (90%) constraints
8.32/2.89	c (2,2) translated 87 (100%) constraints
8.44/2.91	c (2,2) ===========================================
8.44/2.93	c (2,2) Hybrid: #OE=767, #LE=0
8.44/2.93	c (2,2) Hybrid
8.44/2.93	c (2,2) ===========================================
9.10/3.18	c (2,2) translated 1922 (10%) constraints
9.61/3.36	c (2,2) translated 3843 (20%) constraints
10.13/3.50	c (2,2) translated 5764 (30%) constraints
10.13/3.56	c (3,3) translated 7686 (40%) constraints
10.53/3.61	c (3,3) translated 9607 (50%) constraints
10.53/3.66	c (3,3) translated 11528 (60%) constraints
10.71/3.70	c (3,3) translated 13450 (70%) constraints
10.71/3.74	c (3,3) translated 15371 (80%) constraints
10.71/3.78	c (3,3) translated 17292 (90%) constraints
10.81/3.82	c (3,3) translated 19213 (100%) constraints
10.85/3.94	c (3,3) CSP to CSPinCNF End
10.85/3.95	c (3,3) CSP: 103 int (0 aux), 6072 bool (6071 aux), 30030 ctr, max domain size 52
10.85/3.95	c (3,3) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.85/3.95	c (3,3) CSPinCNF Propagation Begin
11.72/4.38	c (3,3) 596 values, 1881 unsatisfiable literals, and 1829 valid clauses are removed
11.72/4.38	c (3,3) CSPinCNF Propagation End
11.72/4.39	c (3,3) CSP: 102 int (0 aux), 6073 bool (6071 aux), 28201 ctr, max domain size 51
11.72/4.39	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.95/4.41	c (3,3) Hybrid: #OE=6175, #LE=0
11.95/4.41	c (3,3) Simplify CSPinCNF Begin
11.95/4.49	c (3,3) Simplify CSPinCNF End
11.95/4.50	c (3,3) CSP: 102 int (0 aux), 6073 bool (6071 aux), 28201 ctr, max domain size 51
11.95/4.50	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.95/4.50	c (3,3) Calculate Precise Domain Begin
12.32/4.50	c (3,3) 0 values are removed by re-calculation
12.32/4.50	c (3,3) Calculate Precise Domain End
12.32/4.50	c (3,3) CSP: 102 int (0 aux), 6073 bool (6071 aux), 28201 ctr, max domain size 51
12.32/4.50	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.32/4.50	c (3,3) CSPinCNF to SatSolver Begin
12.61/4.68	c (4,4) 2821 (10 %) CSP clauses are encoded (0 SAT variables, 7649 SAT clauses)
13.00/4.74	c (4,4) 5641 (20 %) CSP clauses are encoded (0 SAT variables, 10469 SAT clauses)
13.40/4.80	c (4,4) 8461 (30 %) CSP clauses are encoded (0 SAT variables, 13289 SAT clauses)
13.40/4.85	c (4,4) 11281 (40 %) CSP clauses are encoded (0 SAT variables, 16109 SAT clauses)
13.40/4.88	c (4,4) 14101 (50 %) CSP clauses are encoded (0 SAT variables, 18929 SAT clauses)
13.80/4.97	c (4,4) 16921 (60 %) CSP clauses are encoded (0 SAT variables, 23329 SAT clauses)
14.22/5.05	c (4,4) 19741 (70 %) CSP clauses are encoded (0 SAT variables, 26149 SAT clauses)
14.62/5.11	c (4,4) 22561 (80 %) CSP clauses are encoded (0 SAT variables, 28969 SAT clauses)
14.62/5.16	c (4,4) 25381 (90 %) CSP clauses are encoded (0 SAT variables, 31789 SAT clauses)
14.94/5.21	c (4,4) 28201 (100 %) CSP clauses are encoded (0 SAT variables, 34609 SAT clauses)
14.94/5.21	c (4,4) CSPinCNF to SatSolver End
14.94/5.21	c (4,4) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
14.94/5.21	c (4,4) 10626 bool, 34610 clause
14.94/5.21	c (4,4) Export Begin
15.16/5.30	c (4,4) Export to HOME/scop-22632-serial-file.bin
15.16/5.30	c (4,4) Export End
15.16/5.31	c (4,4) Export File Size: 0.02 MB
15.16/5.31	c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
15.16/5.31	c END-Prog: Sat Sep 14 06:39:20 CEST 2019
15.16/5.32	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22632-serial-file.bin
15.19/5.78	c (0,0) Read Serial File Begin
15.19/5.78	c (0,0) HOME/scop-22632-serial-file.bin
15.19/5.98	c (0,0) Read Serial File End
15.19/5.99	
15.19/5.99	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
15.19/5.99	(Solving Process)
15.19/5.99	
16.12/6.01	c BEGIN-Prog: Sat Sep 14 06:39:21 CEST 2019
16.12/6.01	c PID: 22655
16.12/6.01	c IP: 172.20.3.151
16.12/6.01	c HOST: node151.alineos.net
16.12/6.02	c (0,0) SatSolver.solve Begin
16.12/6.02	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392578-1568435994.xml-scop-22635.cnf
16.12/6.05	c (0,0) c
16.12/6.05	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)
16.12/6.05	c (0,0) c
16.12/6.05	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
16.12/6.05	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
16.12/6.05	c (0,0) c ========================================[ Problem Statistics ]===========================================
16.12/6.05	c (0,0) c |                                                                                                       |
16.12/6.06	c (0,0) c |  Number of variables:         10626                                                                   |
16.12/6.06	c (0,0) c |  Number of clauses:           34610                                                                   |
16.12/6.06	c (0,0) c |  Parse time:                   0.01 s                                                                 |
16.12/6.06	c (0,0) c |                                                                                                       |
16.12/6.08	c (0,0) c |  Simplification time:          0.02 s                                                                 |
16.12/6.08	c (0,0) c |                                                                                                       |
16.12/6.08	c (0,0) c |  Generating clones                                                                                    |
16.12/6.10	c (0,0) c |  all clones generated. Memory =    52.29Mb.                                                           |
16.12/6.10	c (0,0) c ========================================================================================================|
16.12/6.10	c (0,0) c
16.12/6.10	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
16.12/6.10	c (0,0) c
16.12/6.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.12/6.10	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
16.12/6.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.12/6.10	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
16.12/6.10	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
16.12/6.10	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
16.12/6.10	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
16.12/6.10	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
16.12/6.10	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
16.12/6.10	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
16.12/6.10	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
16.12/6.10	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
16.12/6.10	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
16.12/6.10	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
16.12/6.10	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
16.12/6.10	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
16.12/6.10	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
16.12/6.10	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
16.12/6.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.23	c (0,0) c
16.32/6.23	c (0,0) c real time : 0.188731 s
16.32/6.23	c (0,0) c cpu time  : 1.01429 s
16.32/6.23	c (0,0) c
16.32/6.23	c (0,0) c
16.32/6.23	c (0,0) c
16.32/6.23	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
16.32/6.23	c (0,0) c
16.32/6.23	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.23	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
16.32/6.23	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.23	c (0,0) c | Conflicts     |           26042 |       3011 |       3222 |       3383 |       3440 |       3485 |       2934 |       3176 |       3391 |
16.32/6.23	c (0,0) c | Decisions     |           75806 |       8987 |       8686 |       9636 |       9024 |      10198 |       9472 |       9768 |      10035 |
16.32/6.23	c (0,0) c | Propagations  |         4836131 |     562182 |     577707 |     615176 |     589678 |     635760 |     604593 |     604797 |     646238 |
16.32/6.23	c (0,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
16.32/6.23	c (0,0) c | SimpDBs       |              47 |          5 |          5 |          6 |          5 |          7 |          6 |          6 |          7 |
16.32/6.23	c (0,0) c | Restarts      |             175 |         20 |         22 |         22 |         14 |         24 |         23 |         25 |         25 |
16.32/6.23	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
16.32/6.23	c (0,0) c | PropBinClauses|         6424184 |     752014 |     780666 |     827323 |     797119 |     838713 |     801592 |     786794 |     839963 |
16.32/6.23	c (0,0) c | PropPreBlocker|        17771325 |    2109728 |    2138252 |    2299468 |    2247489 |    2319261 |    2146333 |    2175119 |    2335675 |
16.32/6.23	c (0,0) c | PropNotBlocker|         6192866 |     730021 |     750235 |     801040 |     769868 |     813251 |     737998 |     771494 |     818959 |
16.32/6.23	c (0,0) c | LitFullScans  |        45935779 |    5483659 |    5580062 |    6058312 |    5763628 |    5979846 |    5499162 |    5570777 |    6000333 |
16.32/6.23	c (0,0) c | LitScanFracts |            2589 |          0 |          0 |       2568 |          0 |          0 |          0 |          0 |         21 |
16.32/6.23	c (0,0) c | DecisionLevel0|             302 |         35 |         41 |         40 |         29 |         42 |         36 |         38 |         41 |
16.32/6.23	c (0,0) c | Periods       |               2 |          0 |          0 |          1 |          0 |          0 |          0 |          0 |          1 |
16.32/6.23	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
16.32/6.23	c (0,0) c | Avg_Trail     |                 |       2217 |       1953 |       2400 |       2319 |       2398 |       2259 |       2676 |       2518 |
16.32/6.23	c (0,0) c | Avg_DL        |                 |         36 |         34 |         40 |         40 |         42 |         40 |         49 |         41 |
16.32/6.23	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
16.32/6.23	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
16.32/6.23	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.23	c (0,0) c | Exported      |            1798 |        180 |        260 |        293 |        186 |        241 |        223 |        192 |        223 |
16.32/6.23	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
16.32/6.23	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
16.32/6.23	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
16.32/6.23	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
16.32/6.23	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
16.32/6.23	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
16.32/6.23	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.23	c (0,0) c | Unaries       |                 |         15 |         19 |         18 |         15 |         18 |         13 |         13 |         16 |
16.32/6.23	c (0,0) c | Binaries      |                 |         37 |         82 |         68 |         53 |         55 |         49 |         51 |         51 |
16.32/6.23	c (0,0) c | Glues         |                 |        180 |        260 |        293 |        186 |        241 |        223 |        192 |        223 |
16.32/6.23	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.23	c (0,0) c | Orig_Seen     |            55 % |      14381 |      14714 |      17017 |      15682 |      16887 |      16504 |      16580 |      16821 |
16.32/6.23	c (0,0) c | Diff Orig seen|                 | -      333 |      X     |       2303 |        968 |       2173 |       1790 |       1866 |       2107 |
16.32/6.23	c (0,0) c | Hamming       |            14 % |       1564 |      X     |       1660 |       1434 |       1500 |       1502 |       1371 |       1542 |
16.32/6.23	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.23	c (0,0) c | RunningTime   |                 |    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|    0.1 100%|
16.32/6.23	c (0,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
16.32/6.23	c (0,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
16.32/6.23	c (0,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%|
16.32/6.23	c (0,0) c | SolvingTime   |                 |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |    0.1     |
16.32/6.23	c (0,0) c | PropagationTim|                 |    0.1  67%|    0.1  66%|    0.1  63%|    0.1  66%|    0.1  64%|    0.1  67%|    0.1  66%|    0.1  64%|
16.32/6.23	c (0,0) c | AnalysisTime  |                 |    0.0  19%|    0.0  20%|    0.0  22%|    0.0  21%|    0.0  20%|    0.0  19%|    0.0  20%|    0.0  20%|
16.32/6.23	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
16.32/6.23	c (0,0) c | SimplifyTime  |                 |    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|
16.32/6.23	c (0,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%|
16.32/6.23	c (0,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%|
16.32/6.23	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.23	c (0,0) c
16.32/6.23	c (0,0) c
16.32/6.23	c (0,0) c Threads : 8
16.32/6.23	c (0,0) c Winner : 1
16.32/6.23	c (0,0) c Conflicts_0 : 3011
16.32/6.23	c (0,0) c Conflicts_1 : 3222
16.32/6.23	c (0,0) c Conflicts_2 : 3383
16.32/6.23	c (0,0) c Conflicts_3 : 3440
16.32/6.23	c (0,0) c Conflicts_4 : 3485
16.32/6.23	c (0,0) c Conflicts_5 : 2934
16.32/6.23	c (0,0) c Conflicts_6 : 3176
16.32/6.23	c (0,0) c Conflicts_7 : 3391
16.32/6.23	c (0,0) c Conflicts_total : 26042
16.32/6.23	c (0,0) c Conflicts_winner : 3222
16.32/6.23	c (0,0) c Decisions_0 : 8987
16.32/6.23	c (0,0) c Decisions_1 : 8686
16.32/6.23	c (0,0) c Decisions_2 : 9636
16.32/6.23	c (0,0) c Decisions_3 : 9024
16.32/6.23	c (0,0) c Decisions_4 : 10198
16.32/6.23	c (0,0) c Decisions_5 : 9472
16.32/6.23	c (0,0) c Decisions_6 : 9768
16.32/6.23	c (0,0) c Decisions_7 : 10035
16.32/6.23	c (0,0) c Decisions_total : 75806
16.32/6.23	c (0,0) c Decisions_winner : 8686
16.32/6.23	c (0,0) c Propagations_0 : 562182
16.32/6.23	c (0,0) c Propagations_1 : 577707
16.32/6.23	c (0,0) c Propagations_2 : 615176
16.32/6.23	c (0,0) c Propagations_3 : 589678
16.32/6.23	c (0,0) c Propagations_4 : 635760
16.32/6.23	c (0,0) c Propagations_5 : 604593
16.32/6.23	c (0,0) c Propagations_6 : 604797
16.32/6.23	c (0,0) c Propagations_7 : 646238
16.32/6.23	c (0,0) c Propagations_total : 4836131
16.32/6.23	c (0,0) c Propagations_winner : 577707
16.32/6.23	c (0,0) c ReduceDBs_0 : 1
16.32/6.23	c (0,0) c ReduceDBs_1 : 1
16.32/6.23	c (0,0) c ReduceDBs_2 : 1
16.32/6.23	c (0,0) c ReduceDBs_3 : 1
16.32/6.23	c (0,0) c ReduceDBs_4 : 1
16.32/6.23	c (0,0) c ReduceDBs_5 : 1
16.32/6.23	c (0,0) c ReduceDBs_6 : 1
16.32/6.23	c (0,0) c ReduceDBs_7 : 1
16.32/6.23	c (0,0) c ReduceDBs_total : 8
16.32/6.23	c (0,0) c ReduceDBs_winner : 1
16.32/6.23	c (0,0) c SimpDBs_0 : 5
16.32/6.23	c (0,0) c SimpDBs_1 : 5
16.32/6.23	c (0,0) c SimpDBs_2 : 6
16.32/6.23	c (0,0) c SimpDBs_3 : 5
16.32/6.23	c (0,0) c SimpDBs_4 : 7
16.32/6.23	c (0,0) c SimpDBs_5 : 6
16.32/6.23	c (0,0) c SimpDBs_6 : 6
16.32/6.23	c (0,0) c SimpDBs_7 : 7
16.32/6.23	c (0,0) c SimpDBs_total : 47
16.32/6.23	c (0,0) c SimpDBs_winner : 5
16.32/6.23	c (0,0) c Restarts_0 : 20
16.32/6.23	c (0,0) c Restarts_1 : 22
16.32/6.23	c (0,0) c Restarts_2 : 22
16.32/6.23	c (0,0) c Restarts_3 : 14
16.32/6.23	c (0,0) c Restarts_4 : 24
16.32/6.23	c (0,0) c Restarts_5 : 23
16.32/6.23	c (0,0) c Restarts_6 : 25
16.32/6.24	c (0,0) c Restarts_7 : 25
16.32/6.24	c (0,0) c Restarts_total : 175
16.32/6.24	c (0,0) c Restarts_winner : 22
16.32/6.24	c (0,0) c ForcedImports_0 : 0
16.32/6.24	c (0,0) c ForcedImports_1 : 0
16.32/6.24	c (0,0) c ForcedImports_2 : 0
16.32/6.24	c (0,0) c ForcedImports_3 : 0
16.32/6.24	c (0,0) c ForcedImports_4 : 0
16.32/6.24	c (0,0) c ForcedImports_5 : 0
16.32/6.24	c (0,0) c ForcedImports_6 : 0
16.32/6.24	c (0,0) c ForcedImports_7 : 0
16.32/6.24	c (0,0) c ForcedImports_total : 0
16.32/6.24	c (0,0) c ForcedImports_winner : 0
16.32/6.24	c (0,0) c PropsBinClauses_0 : 752014
16.32/6.24	c (0,0) c PropsBinClauses_1 : 780666
16.32/6.24	c (0,0) c PropsBinClauses_2 : 827323
16.32/6.24	c (0,0) c PropsBinClauses_3 : 797119
16.32/6.24	c (0,0) c PropsBinClauses_4 : 838713
16.32/6.24	c (0,0) c PropsBinClauses_5 : 801592
16.32/6.24	c (0,0) c PropsBinClauses_6 : 786794
16.32/6.24	c (0,0) c PropsBinClauses_7 : 839963
16.32/6.24	c (0,0) c PropsBinClauses_total : 6424184
16.32/6.24	c (0,0) c PropsBinClauses_winner : 780666
16.32/6.24	c (0,0) c PropsPreBlocker_0 : 2109728
16.32/6.24	c (0,0) c PropsPreBlocker_1 : 2138252
16.32/6.24	c (0,0) c PropsPreBlocker_2 : 2299468
16.32/6.24	c (0,0) c PropsPreBlocker_3 : 2247489
16.32/6.24	c (0,0) c PropsPreBlocker_4 : 2319261
16.32/6.24	c (0,0) c PropsPreBlocker_5 : 2146333
16.32/6.24	c (0,0) c PropsPreBlocker_6 : 2175119
16.32/6.24	c (0,0) c PropsPreBlocker_7 : 2335675
16.32/6.24	c (0,0) c PropsPreBlocker_total : 17771325
16.32/6.24	c (0,0) c PropsPreBlocker_winner : 2138252
16.32/6.24	c (0,0) c PropsNotBlocker_0 : 730021
16.32/6.24	c (0,0) c PropsNotBlocker_1 : 750235
16.32/6.24	c (0,0) c PropsNotBlocker_2 : 801040
16.32/6.24	c (0,0) c PropsNotBlocker_3 : 769868
16.32/6.24	c (0,0) c PropsNotBlocker_4 : 813251
16.32/6.24	c (0,0) c PropsNotBlocker_5 : 737998
16.32/6.24	c (0,0) c PropsNotBlocker_6 : 771494
16.32/6.24	c (0,0) c PropsNotBlocker_7 : 818959
16.32/6.24	c (0,0) c PropsNotBlocker_total : 6192866
16.32/6.24	c (0,0) c PropsNotBlocker_winner : 750235
16.32/6.24	c (0,0) c PropsLitFullScans_0 : 5483659
16.32/6.24	c (0,0) c PropsLitFullScans_1 : 5580062
16.32/6.24	c (0,0) c PropsLitFullScans_2 : 6058312
16.32/6.24	c (0,0) c PropsLitFullScans_3 : 5763628
16.32/6.24	c (0,0) c PropsLitFullScans_4 : 5979846
16.32/6.24	c (0,0) c PropsLitFullScans_5 : 5499162
16.32/6.24	c (0,0) c PropsLitFullScans_6 : 5570777
16.32/6.24	c (0,0) c PropsLitFullScans_7 : 6000333
16.32/6.24	c (0,0) c PropsLitFullScans_total : 45935779
16.32/6.24	c (0,0) c PropsLitFullScans_winner : 5580062
16.32/6.24	c (0,0) c LitScanFractions_0 : 0
16.32/6.24	c (0,0) c LitScanFractions_1 : 0
16.32/6.24	c (0,0) c LitScanFractions_2 : 2568
16.32/6.24	c (0,0) c LitScanFractions_3 : 0
16.32/6.24	c (0,0) c LitScanFractions_4 : 0
16.32/6.24	c (0,0) c LitScanFractions_5 : 0
16.32/6.24	c (0,0) c LitScanFractions_6 : 0
16.32/6.24	c (0,0) c LitScanFractions_7 : 21
16.32/6.24	c (0,0) c LitScanFractions_total : 2589
16.32/6.24	c (0,0) c LitScanFractions_winner : 0
16.32/6.24	c (0,0) c DecisionLevel0_0 : 35
16.32/6.24	c (0,0) c DecisionLevel0_1 : 41
16.32/6.24	c (0,0) c DecisionLevel0_2 : 40
16.32/6.24	c (0,0) c DecisionLevel0_3 : 29
16.32/6.24	c (0,0) c DecisionLevel0_4 : 42
16.32/6.24	c (0,0) c DecisionLevel0_5 : 36
16.32/6.24	c (0,0) c DecisionLevel0_6 : 38
16.32/6.24	c (0,0) c DecisionLevel0_7 : 41
16.32/6.24	c (0,0) c DecisionLevel0_total : 302
16.32/6.24	c (0,0) c DecisionLevel0_winner : 41
16.32/6.24	c (0,0) c Periods_0 : 0
16.32/6.24	c (0,0) c Periods_1 : 0
16.32/6.24	c (0,0) c Periods_2 : 1
16.32/6.24	c (0,0) c Periods_3 : 0
16.32/6.24	c (0,0) c Periods_4 : 0
16.32/6.24	c (0,0) c Periods_5 : 0
16.32/6.24	c (0,0) c Periods_6 : 0
16.32/6.24	c (0,0) c Periods_7 : 1
16.32/6.24	c (0,0) c Periods_total : 2
16.32/6.24	c (0,0) c Periods_winner : 0
16.32/6.24	c (0,0) c Margin_0 : 20
16.32/6.24	c (0,0) c Margin_1 : 20
16.32/6.24	c (0,0) c Margin_2 : 20
16.32/6.24	c (0,0) c Margin_3 : 20
16.32/6.24	c (0,0) c Margin_4 : 20
16.32/6.24	c (0,0) c Margin_5 : 20
16.32/6.24	c (0,0) c Margin_6 : 20
16.32/6.24	c (0,0) c Margin_7 : 20
16.32/6.24	c (0,0) c Margin_total : 160
16.32/6.24	c (0,0) c Margin_winner : 20
16.32/6.24	c (0,0) c Exported_0 : 180
16.32/6.24	c (0,0) c Exported_1 : 260
16.32/6.24	c (0,0) c Exported_2 : 293
16.32/6.24	c (0,0) c Exported_3 : 186
16.32/6.24	c (0,0) c Exported_4 : 241
16.32/6.24	c (0,0) c Exported_5 : 223
16.32/6.24	c (0,0) c Exported_6 : 192
16.32/6.24	c (0,0) c Exported_7 : 223
16.32/6.24	c (0,0) c Exported_total : 1798
16.32/6.24	c (0,0) c Exported_winner : 260
16.32/6.24	c (0,0) c Imported_0 : 0
16.32/6.24	c (0,0) c Imported_1 : 0
16.32/6.24	c (0,0) c Imported_2 : 0
16.32/6.24	c (0,0) c Imported_3 : 0
16.32/6.24	c (0,0) c Imported_4 : 0
16.32/6.24	c (0,0) c Imported_5 : 0
16.32/6.24	c (0,0) c Imported_6 : 0
16.32/6.24	c (0,0) c Imported_7 : 0
16.32/6.24	c (0,0) c Imported_total : 0
16.32/6.24	c (0,0) c Imported_winner : 0
16.32/6.24	c (0,0) c Good_0 : 0
16.32/6.24	c (0,0) c Good_1 : 0
16.32/6.24	c (0,0) c Good_2 : 0
16.32/6.24	c (0,0) c Good_3 : 0
16.32/6.24	c (0,0) c Good_4 : 0
16.32/6.24	c (0,0) c Good_5 : 0
16.32/6.24	c (0,0) c Good_6 : 0
16.32/6.24	c (0,0) c Good_7 : 0
16.32/6.24	c (0,0) c Good_total : 0
16.32/6.24	c (0,0) c Good_winner : 0
16.32/6.24	c (0,0) c Purge_0 : 0
16.32/6.24	c (0,0) c Purge_1 : 0
16.32/6.24	c (0,0) c Purge_2 : 0
16.32/6.24	c (0,0) c Purge_3 : 0
16.32/6.24	c (0,0) c Purge_4 : 0
16.32/6.24	c (0,0) c Purge_5 : 0
16.32/6.24	c (0,0) c Purge_6 : 0
16.32/6.24	c (0,0) c Purge_7 : 0
16.32/6.24	c (0,0) c Purge_total : 0
16.32/6.24	c (0,0) c Purge_winner : 0
16.32/6.24	c (0,0) c Promoted_0 : 0
16.32/6.24	c (0,0) c Promoted_1 : 0
16.32/6.24	c (0,0) c Promoted_2 : 0
16.32/6.24	c (0,0) c Promoted_3 : 0
16.32/6.24	c (0,0) c Promoted_4 : 0
16.32/6.24	c (0,0) c Promoted_5 : 0
16.32/6.24	c (0,0) c Promoted_6 : 0
16.32/6.24	c (0,0) c Promoted_7 : 0
16.32/6.24	c (0,0) c Promoted_total : 0
16.32/6.24	c (0,0) c Promoted_winner : 0
16.32/6.24	c (0,0) c Remove_Imp_0 : 0
16.32/6.24	c (0,0) c Remove_Imp_1 : 0
16.32/6.24	c (0,0) c Remove_Imp_2 : 0
16.32/6.24	c (0,0) c Remove_Imp_3 : 0
16.32/6.24	c (0,0) c Remove_Imp_4 : 0
16.32/6.24	c (0,0) c Remove_Imp_5 : 0
16.32/6.24	c (0,0) c Remove_Imp_6 : 0
16.32/6.24	c (0,0) c Remove_Imp_7 : 0
16.32/6.24	c (0,0) c Remove_Imp_total : 0
16.32/6.24	c (0,0) c Remove_Imp_winner : 0
16.32/6.24	c (0,0) c Blocked_Reuse_0 : 0
16.32/6.24	c (0,0) c Blocked_Reuse_1 : 0
16.32/6.24	c (0,0) c Blocked_Reuse_2 : 0
16.32/6.24	c (0,0) c Blocked_Reuse_3 : 0
16.32/6.24	c (0,0) c Blocked_Reuse_4 : 0
16.32/6.24	c (0,0) c Blocked_Reuse_5 : 0
16.32/6.24	c (0,0) c Blocked_Reuse_6 : 0
16.32/6.24	c (0,0) c Blocked_Reuse_7 : 0
16.32/6.24	c (0,0) c Blocked_Reuse_total : 0
16.32/6.24	c (0,0) c Blocked_Reuse_winner : 0
16.32/6.24	c (0,0) c Unaries_0 : 15
16.32/6.24	c (0,0) c Unaries_1 : 19
16.32/6.24	c (0,0) c Unaries_2 : 18
16.32/6.24	c (0,0) c Unaries_3 : 15
16.32/6.24	c (0,0) c Unaries_4 : 18
16.32/6.24	c (0,0) c Unaries_5 : 13
16.32/6.24	c (0,0) c Unaries_6 : 13
16.32/6.24	c (0,0) c Unaries_7 : 16
16.32/6.24	c (0,0) c Unaries_total : 127
16.32/6.24	c (0,0) c Unaries_winner : 19
16.32/6.24	c (0,0) c Binaries_0 : 37
16.32/6.24	c (0,0) c Binaries_1 : 82
16.32/6.24	c (0,0) c Binaries_2 : 68
16.32/6.24	c (0,0) c Binaries_3 : 53
16.32/6.24	c (0,0) c Binaries_4 : 55
16.32/6.24	c (0,0) c Binaries_5 : 49
16.32/6.24	c (0,0) c Binaries_6 : 51
16.32/6.24	c (0,0) c Binaries_7 : 51
16.32/6.24	c (0,0) c Binaries_total : 446
16.32/6.24	c (0,0) c Binaries_winner : 82
16.32/6.24	c (0,0) c Glues_0 : 180
16.32/6.24	c (0,0) c Glues_1 : 260
16.32/6.24	c (0,0) c Glues_2 : 293
16.32/6.24	c (0,0) c Glues_3 : 186
16.32/6.24	c (0,0) c Glues_4 : 241
16.32/6.24	c (0,0) c Glues_5 : 223
16.32/6.24	c (0,0) c Glues_6 : 192
16.32/6.24	c (0,0) c Glues_7 : 223
16.32/6.24	c (0,0) c Glues_total : 1798
16.32/6.24	c (0,0) c Glues_winner : 260
16.32/6.24	c (0,0) c RunningTime_0 : 0.127940
16.32/6.24	c (0,0) c RunningTime_1 : 0.122660
16.32/6.24	c (0,0) c RunningTime_2 : 0.123988
16.32/6.24	c (0,0) c RunningTime_3 : 0.128277
16.32/6.24	c (0,0) c RunningTime_4 : 0.123409
16.32/6.24	c (0,0) c RunningTime_5 : 0.123991
16.32/6.24	c (0,0) c RunningTime_6 : 0.122422
16.32/6.24	c (0,0) c RunningTime_7 : 0.124142
16.32/6.24	c (0,0) c RunningTime_total : 0.996829
16.32/6.24	c (0,0) c RunningTime_winner : 0.122660
16.32/6.24	c (0,0) c WaitingTime_0 : 0.000000
16.32/6.24	c (0,0) c WaitingTime_1 : 0.000000
16.32/6.24	c (0,0) c WaitingTime_2 : 0.000000
16.32/6.24	c (0,0) c WaitingTime_3 : 0.000000
16.32/6.24	c (0,0) c WaitingTime_4 : 0.000000
16.32/6.24	c (0,0) c WaitingTime_5 : 0.000000
16.32/6.24	c (0,0) c WaitingTime_6 : 0.000000
16.32/6.24	c (0,0) c WaitingTime_7 : 0.000000
16.32/6.24	c (0,0) c WaitingTime_total : 0.000000
16.32/6.24	c (0,0) c WaitingTime_winner : 0.000000
16.32/6.24	c (0,0) c ExchangingTime_0 : 0.000406
16.32/6.24	c (0,0) c ExchangingTime_1 : 0.000422
16.32/6.24	c (0,0) c ExchangingTime_2 : 0.000473
16.32/6.24	c (0,0) c ExchangingTime_3 : 0.000522
16.32/6.24	c (0,0) c ExchangingTime_4 : 0.000458
16.32/6.24	c (0,0) c ExchangingTime_5 : 0.000211
16.32/6.24	c (0,0) c ExchangingTime_6 : 0.000219
16.32/6.24	c (0,0) c ExchangingTime_7 : 0.000238
16.32/6.24	c (0,0) c ExchangingTime_total : 0.002950
16.32/6.24	c (0,0) c ExchangingTime_winner : 0.000422
16.32/6.24	c (0,0) c PeriodProcTime_0 : 0.000000
16.32/6.24	c (0,0) c PeriodProcTime_1 : 0.000000
16.32/6.24	c (0,0) c PeriodProcTime_2 : 0.000004
16.32/6.24	c (0,0) c PeriodProcTime_3 : 0.000000
16.32/6.24	c (0,0) c PeriodProcTime_4 : 0.000000
16.32/6.24	c (0,0) c PeriodProcTime_5 : 0.000000
16.32/6.24	c (0,0) c PeriodProcTime_6 : 0.000000
16.32/6.24	c (0,0) c PeriodProcTime_7 : 0.000004
16.32/6.24	c (0,0) c PeriodProcTime_total : 0.000008
16.32/6.24	c (0,0) c PeriodProcTime_winner : 0.000000
16.32/6.24	c (0,0) c SolvingTime_0 : 0.128346
16.32/6.24	c (0,0) c SolvingTime_1 : 0.123082
16.32/6.24	c (0,0) c SolvingTime_2 : 0.124465
16.32/6.24	c (0,0) c SolvingTime_3 : 0.128799
16.32/6.24	c (0,0) c SolvingTime_4 : 0.123868
16.32/6.24	c (0,0) c SolvingTime_5 : 0.124202
16.32/6.24	c (0,0) c SolvingTime_6 : 0.122641
16.32/6.24	c (0,0) c SolvingTime_7 : 0.124384
16.32/6.24	c (0,0) c SolvingTime_total : 0.999787
16.32/6.24	c (0,0) c SolvingTime_winner : 0.123082
16.32/6.24	c (0,0) c PropagationTime_0 : 0.086211
16.32/6.24	c (0,0) c PropagationTime_1 : 0.081769
16.32/6.24	c (0,0) c PropagationTime_2 : 0.078873
16.32/6.24	c (0,0) c PropagationTime_3 : 0.084687
16.32/6.24	c (0,0) c PropagationTime_4 : 0.079086
16.32/6.24	c (0,0) c PropagationTime_5 : 0.083652
16.32/6.24	c (0,0) c PropagationTime_6 : 0.080659
16.32/6.24	c (0,0) c PropagationTime_7 : 0.079875
16.32/6.24	c (0,0) c PropagationTime_total : 0.654811
16.32/6.24	c (0,0) c PropagationTime_winner : 0.081769
16.32/6.24	c (0,0) c AnalysisTime_0 : 0.024883
16.32/6.24	c (0,0) c AnalysisTime_1 : 0.025195
16.32/6.24	c (0,0) c AnalysisTime_2 : 0.027530
16.32/6.24	c (0,0) c AnalysisTime_3 : 0.027312
16.32/6.24	c (0,0) c AnalysisTime_4 : 0.025280
16.32/6.24	c (0,0) c AnalysisTime_5 : 0.023260
16.32/6.24	c (0,0) c AnalysisTime_6 : 0.024582
16.32/6.24	c (0,0) c AnalysisTime_7 : 0.025243
16.32/6.24	c (0,0) c AnalysisTime_total : 0.203285
16.32/6.24	c (0,0) c AnalysisTime_winner : 0.025195
16.32/6.24	c (0,0) c ReductionTime_0 : 0.000309
16.32/6.24	c (0,0) c ReductionTime_1 : 0.000307
16.32/6.24	c (0,0) c ReductionTime_2 : 0.000327
16.32/6.24	c (0,0) c ReductionTime_3 : 0.000341
16.32/6.24	c (0,0) c ReductionTime_4 : 0.000309
16.32/6.24	c (0,0) c ReductionTime_5 : 0.000313
16.32/6.24	c (0,0) c ReductionTime_6 : 0.000319
16.32/6.24	c (0,0) c ReductionTime_7 : 0.000328
16.32/6.24	c (0,0) c ReductionTime_total : 0.002553
16.32/6.24	c (0,0) c ReductionTime_winner : 0.000307
16.32/6.24	c (0,0) c SimplifyTime_0 : 0.002138
16.32/6.24	c (0,0) c SimplifyTime_1 : 0.002088
16.32/6.24	c (0,0) c SimplifyTime_2 : 0.002626
16.32/6.24	c (0,0) c SimplifyTime_3 : 0.002021
16.32/6.24	c (0,0) c SimplifyTime_4 : 0.002964
16.32/6.24	c (0,0) c SimplifyTime_5 : 0.002695
16.32/6.24	c (0,0) c SimplifyTime_6 : 0.002640
16.32/6.24	c (0,0) c SimplifyTime_7 : 0.002954
16.32/6.24	c (0,0) c SimplifyTime_total : 0.020127
16.32/6.24	c (0,0) c SimplifyTime_winner : 0.002088
16.32/6.24	c (0,0) c UsedRateTime_0 : 0.000000
16.32/6.24	c (0,0) c UsedRateTime_1 : 0.000000
16.32/6.24	c (0,0) c UsedRateTime_2 : 0.000000
16.32/6.24	c (0,0) c UsedRateTime_3 : 0.000000
16.32/6.24	c (0,0) c UsedRateTime_4 : 0.000000
16.32/6.24	c (0,0) c UsedRateTime_5 : 0.000000
16.32/6.24	c (0,0) c UsedRateTime_6 : 0.000000
16.32/6.24	c (0,0) c UsedRateTime_7 : 0.000000
16.32/6.24	c (0,0) c UsedRateTime_total : 0.000000
16.32/6.24	c (0,0) c UsedRateTime_winner : 0.000000
16.32/6.24	c (0,0) c OverlapRateTime_0 : 0.000000
16.32/6.24	c (0,0) c OverlapRateTime_1 : 0.000000
16.32/6.24	c (0,0) c OverlapRateTime_2 : 0.000000
16.32/6.24	c (0,0) c OverlapRateTime_3 : 0.000000
16.32/6.24	c (0,0) c OverlapRateTime_4 : 0.000000
16.32/6.24	c (0,0) c OverlapRateTime_5 : 0.000000
16.32/6.24	c (0,0) c OverlapRateTime_6 : 0.000000
16.32/6.24	c (0,0) c OverlapRateTime_7 : 0.000000
16.32/6.24	c (0,0) c OverlapRateTime_total : 0.000000
16.32/6.24	c (0,0) c OverlapRateTime_winner : 0.000000
16.32/6.24	c (0,0) c
16.32/6.24	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
16.32/6.24	c (0,0) c
16.32/6.24	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.24	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
16.32/6.24	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.25	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
16.32/6.25	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
16.32/6.25	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
16.32/6.25	c (0,0) c | Initial random_seed   | 2056261901 |  502235386 | 1001365195 | 1527749144 | 1998124529 |  692203634 |  619400947 |  910308255 |
16.32/6.25	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
16.32/6.25	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
16.32/6.25	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
16.32/6.25	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
16.32/6.25	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
16.32/6.25	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
16.32/6.25	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
16.32/6.25	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
16.32/6.25	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
16.32/6.25	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
16.32/6.25	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
16.32/6.25	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
16.32/6.25	c (0,0) 
16.32/6.25	c (0,0) s SATISFIABLE
16.32/6.28	c (0,0) SatSolver.solve End
16.32/6.28	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.32/6.28	c (0,0) Show results Begin
17.56/6.39	c (0,0) x[0] = 0
17.56/6.39	c (0,0) x[1] = 25
17.56/6.39	c (0,0) x[2] = 39
17.56/6.39	c (0,0) x[3] = 27
17.56/6.39	c (0,0) x[4] = 41
17.56/6.39	c (0,0) x[5] = 40
17.56/6.39	c (0,0) x[6] = 2
17.56/6.39	c (0,0) x[7] = 42
17.56/6.39	c (0,0) x[8] = 17
17.56/6.39	c (0,0) x[9] = 31
17.56/6.39	c (0,0) x[10] = 32
17.56/6.39	c (0,0) x[11] = 7
17.56/6.39	c (0,0) x[12] = 19
17.56/6.39	c (0,0) x[13] = 5
17.56/6.39	c (0,0) x[14] = 6
17.56/6.39	c (0,0) x[15] = 20
17.56/6.39	c (0,0) x[16] = 21
17.56/6.39	c (0,0) x[17] = 9
17.56/6.39	c (0,0) x[18] = 49
17.56/6.39	c (0,0) x[19] = 37
17.56/6.39	c (0,0) x[20] = 10
17.56/6.39	c (0,0) x[21] = 22
17.56/6.39	c (0,0) x[22] = 8
17.56/6.39	c (0,0) x[23] = 33
17.56/6.39	c (0,0) x[24] = 34
17.56/6.39	c (0,0) x[25] = 48
17.56/6.39	c (0,0) x[26] = 23
17.56/6.39	c (0,0) x[27] = 50
17.56/6.39	c (0,0) x[28] = 51
17.56/6.39	c (0,0) x[29] = 13
17.56/6.39	c (0,0) x[30] = 14
17.56/6.39	c (0,0) x[31] = 28
17.56/6.39	c (0,0) x[32] = 16
17.56/6.39	c (0,0) x[33] = 30
17.56/6.39	c (0,0) x[34] = 18
17.56/6.39	c (0,0) x[35] = 43
17.56/6.39	c (0,0) x[36] = 29
17.56/6.39	c (0,0) x[37] = 4
17.56/6.39	c (0,0) x[38] = 3
17.56/6.39	c (0,0) x[39] = 15
17.56/6.39	c (0,0) x[40] = 1
17.56/6.39	c (0,0) x[41] = 26
17.56/6.39	c (0,0) x[42] = 12
17.56/6.39	c (0,0) x[43] = 11
17.56/6.39	c (0,0) x[44] = 38
17.56/6.39	c (0,0) x[45] = 24
17.56/6.39	c (0,0) x[46] = 36
17.56/6.39	c (0,0) x[47] = 35
17.56/6.39	c (0,0) x[48] = 47
17.56/6.39	c (0,0) x[49] = 46
17.56/6.39	c (0,0) x[50] = 45
17.56/6.39	c (0,0) x[51] = 44
17.56/6.39	c (0,0) y[0] = 0
17.56/6.39	c (0,0) y[1] = 40
17.56/6.39	c (0,0) y[2] = 6
17.56/6.39	c (0,0) y[3] = 38
17.56/6.39	c (0,0) y[4] = 37
17.56/6.39	c (0,0) y[5] = 13
17.56/6.39	c (0,0) y[6] = 14
17.56/6.39	c (0,0) y[7] = 11
17.56/6.39	c (0,0) y[8] = 22
17.56/6.39	c (0,0) y[9] = 17
17.56/6.39	c (0,0) y[10] = 20
17.56/6.39	c (0,0) y[11] = 43
17.56/6.39	c (0,0) y[12] = 42
17.56/6.39	c (0,0) y[13] = 29
17.56/6.39	c (0,0) y[14] = 30
17.56/6.39	c (0,0) y[15] = 39
17.56/6.39	c (0,0) y[16] = 32
17.56/6.39	c (0,0) y[17] = 8
17.56/6.39	c (0,0) y[18] = 34
17.56/6.39	c (0,0) y[19] = 12
17.56/6.39	c (0,0) y[20] = 15
17.56/6.39	c (0,0) y[21] = 16
17.56/6.39	c (0,0) y[22] = 21
17.56/6.39	c (0,0) y[23] = 26
17.56/6.39	c (0,0) y[24] = 45
17.56/6.39	c (0,0) y[25] = 1
17.56/6.39	c (0,0) y[26] = 41
17.56/6.39	c (0,0) y[27] = 3
17.56/6.39	c (0,0) y[28] = 31
17.56/6.39	c (0,0) y[29] = 36
17.56/6.39	c (0,0) y[30] = 33
17.56/6.39	c (0,0) y[31] = 9
17.56/6.39	c (0,0) y[32] = 10
17.56/6.39	c (0,0) y[33] = 23
17.77/6.40	c (0,0) y[34] = 24
17.77/6.40	c (0,0) y[35] = 47
17.77/6.40	c (0,0) y[36] = 46
17.77/6.40	c (0,0) y[37] = 19
17.77/6.40	c (0,0) y[38] = 44
17.77/6.40	c (0,0) y[39] = 2
17.77/6.40	c (0,0) y[40] = 5
17.77/6.40	c (0,0) y[41] = 4
17.77/6.40	c (0,0) y[42] = 7
17.77/6.40	c (0,0) y[43] = 35
17.77/6.40	c (0,0) y[44] = 51
17.77/6.40	c (0,0) y[45] = 50
17.77/6.40	c (0,0) y[46] = 49
17.77/6.40	c (0,0) y[47] = 48
17.77/6.40	c (0,0) y[48] = 25
17.77/6.40	c (0,0) y[49] = 18
17.77/6.40	c (0,0) y[50] = 27
17.77/6.40	c (0,0) y[51] = 28
17.77/6.40	s SATISFIABLE
17.77/6.41	v <instantiation>
17.77/6.41	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] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51]</list>
17.77/6.41	v     <values>0 25 39 27 41 40 2 42 17 31 32 7 19 5 6 20 21 9 49 37 10 22 8 33 34 48 23 50 51 13 14 28 16 30 18 43 29 4 3 15 1 26 12 11 38 24 36 35 47 46 45 44 0 40 6 38 37 13 14 11 22 17 20 43 42 29 30 39 32 8 34 12 15 16 21 26 45 1 41 3 31 36 33 9 10 23 24 47 46 19 44 2 5 4 7 35 51 50 49 48 25 18 27 28</values>
17.77/6.41	v </instantiation>
17.77/6.41	c (0,0) Show results End
17.77/6.41	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
17.77/6.41	c (0,0) 0,0,STOP-AFTER(ALL)
17.77/6.41	c END-Prog: Sat Sep 14 06:39:21 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 (14843 MiB free)
  memory of node 1: 16384 MiB (15399 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392578-1568435994/watcher-4392578-1568435994 -o /tmp/evaluation-result-4392578-1568435994/solver-4392578-1568435994 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --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-4392578-1568435994.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=22632, runsolver pid=22629
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 2.05 0.52 0.41 3/211 22654
/proc/meminfo: memFree=30871376/32770624 swapFree=66935336/67108860
[pid=22632] ppid=22629 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22632/stat : 22632 (scop.sh) S 22629 22632 19225 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419870816 115843072 349 33554432000 4194304 5098028 140728405747152 140728405744408 140348032983676 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8552448 140728405750564 140728405750892 140728405750892 140728405753805 0
/proc/22632/statm: 28282 349 296 221 0 87 0
[pid=22635] ppid=22632 vsize=27314120 memory=107504 CPUtime=0.1 cores=0-7
/proc/22635/stat : 22635 (java) S 22632 22632 19225 0 -1 1077944320 6426 0 0 0 8 2 0 0 20 0 20 0 419870816 27969658880 26876 33554432000 4194304 4196468 140723990448960 140723990431504 139887666069239 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
/proc/22635/statm: 6828530 26876 2803 1 0 6790935 0
[pid=22635/tid=22636] ppid=22632 vsize=27314120 memory=8112842686382120602 CPUtime=0.09 cores=0-7
/proc/22635/task/22636/stat : 22636 (java) R 22632 22632 19225 0 -1 4202560 4546 0 0 0 7 2 0 0 20 0 20 0 419870817 27969658880 26876 33554432000 4194304 4196468 140723990448960 139887637873440 139887650149726 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22637] ppid=22632 vsize=27314120 memory=732370650352511973 CPUtime=0 cores=0-7
/proc/22635/task/22637/stat : 22637 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 26876 33554432000 4194304 4196468 140723990448960 139887670311696 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22638] ppid=22632 vsize=27314120 memory=140512015058560 CPUtime=0 cores=0-7
/proc/22635/task/22638/stat : 22638 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 26876 33554432000 4194304 4196468 140723990448960 139887087877008 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22639] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22639/stat : 22639 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 26876 33554432000 4194304 4196468 140723990448960 139887086824464 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22640] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22640/stat : 22640 (java) S 22632 22632 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 26876 33554432000 4194304 4196468 140723990448960 139887085771920 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22641] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22641/stat : 22641 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 26876 33554432000 4194304 4196468 140723990448960 139887084718352 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22642] ppid=22632 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22635/task/22642/stat : 22642 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 26876 33554432000 4194304 4196468 140723990448960 139887083665808 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22643] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22643/stat : 22643 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 26876 33554432000 4194304 4196468 140723990448960 139887082613264 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22644] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22644/stat : 22644 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 26876 33554432000 4194304 4196468 140723990448960 139887081560720 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22645] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22645/stat : 22645 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870821 27969658880 26876 33554432000 4194304 4196468 140723990448960 139886657419760 139887666080386 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22646] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22646/stat : 22646 (java) S 22632 22632 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419870821 27969658880 26876 33554432000 4194304 4196468 140723990448960 139885541320096 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22647] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22647/stat : 22647 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870821 27969658880 26876 33554432000 4194304 4196468 140723990448960 139885272884720 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22648] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22648/stat : 22648 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 26876 33554432000 4194304 4196468 140723990448960 139884898376400 139887666087835 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22649] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22649/stat : 22649 (java) S 22632 22632 19225 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 26876 33554432000 4194304 4196468 140723990448960 139886656366576 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22650] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22650/stat : 22650 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 26876 33554432000 4194304 4196468 140723990448960 139886655314032 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22651] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22651/stat : 22651 (java) S 22632 22632 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 26876 33554432000 4194304 4196468 140723990448960 139886654261488 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22652] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22652/stat : 22652 (java) S 22632 22632 19225 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 26876 33554432000 4194304 4196468 140723990448960 139886653208944 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22653] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22653/stat : 22653 (java) S 22632 22632 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 26876 33554432000 4194304 4196468 140723990448960 139884400470752 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22654] ppid=22632 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22635/task/22654/stat : 22654 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 26876 33554432000 4194304 4196468 140723990448960 139886652156848 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108900 KiB

[startup+0.210135 s]*
/proc/loadavg: 2.05 0.52 0.41 2/211 22654
/proc/meminfo: memFree=30849424/32770624 swapFree=66935336/67108860
[pid=22632] ppid=22629 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22632/stat : 22632 (scop.sh) S 22629 22632 19225 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419870816 115843072 349 33554432000 4194304 5098028 140728405747152 140728405744408 140348032983676 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8552448 140728405750564 140728405750892 140728405750892 140728405753805 0
/proc/22632/statm: 28282 349 296 221 0 87 0
[pid=22635] ppid=22632 vsize=27314120 memory=126628 CPUtime=0.25 cores=0-7
/proc/22635/stat : 22635 (java) S 22632 22632 19225 0 -1 1077944320 12045 0 0 0 21 4 0 0 20 0 20 0 419870816 27969658880 31657 33554432000 4194304 4196468 140723990448960 140723990431504 139887666069239 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
/proc/22635/statm: 6828530 31657 2940 1 0 6790935 0
[pid=22635/tid=22636] ppid=22632 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/22635/task/22636/stat : 22636 (java) R 22632 22632 19225 0 -1 4202560 9778 0 0 0 17 3 0 0 20 0 20 0 419870817 27969658880 31657 33554432000 4194304 4196468 140723990448960 139887637893200 139887651234807 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22637] ppid=22632 vsize=27314120 memory=732370650352511973 CPUtime=0 cores=0-7
/proc/22635/task/22637/stat : 22637 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 31657 33554432000 4194304 4196468 140723990448960 139887670311696 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22638] ppid=22632 vsize=27314120 memory=140512015058560 CPUtime=0 cores=0-7
/proc/22635/task/22638/stat : 22638 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 31657 33554432000 4194304 4196468 140723990448960 139887087877008 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22639] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22639/stat : 22639 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 31657 33554432000 4194304 4196468 140723990448960 139887086824464 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22640] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22640/stat : 22640 (java) S 22632 22632 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 31657 33554432000 4194304 4196468 140723990448960 139887085771920 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22641] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22641/stat : 22641 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 31657 33554432000 4194304 4196468 140723990448960 139887084718352 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22642] ppid=22632 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22635/task/22642/stat : 22642 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 31657 33554432000 4194304 4196468 140723990448960 139887083665808 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22643] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22643/stat : 22643 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 31657 33554432000 4194304 4196468 140723990448960 139887082613264 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22644] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22644/stat : 22644 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 31657 33554432000 4194304 4196468 140723990448960 139887081560720 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22645] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22645/stat : 22645 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870821 27969658880 31657 33554432000 4194304 4196468 140723990448960 139886657419760 139887666080386 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22646] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22646/stat : 22646 (java) S 22632 22632 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419870821 27969658880 31657 33554432000 4194304 4196468 140723990448960 139885541320096 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22647] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22647/stat : 22647 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870821 27969658880 31657 33554432000 4194304 4196468 140723990448960 139885272884720 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22648] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22648/stat : 22648 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 31657 33554432000 4194304 4196468 140723990448960 139884898376400 139887666087835 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22649] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22649/stat : 22649 (java) S 22632 22632 19225 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 31657 33554432000 4194304 4196468 140723990448960 139886656366576 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22650] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22650/stat : 22650 (java) S 22632 22632 19225 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 31657 33554432000 4194304 4196468 140723990448960 139886655314032 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22651] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22651/stat : 22651 (java) S 22632 22632 19225 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 31657 33554432000 4194304 4196468 140723990448960 139886654261488 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22652] ppid=22632 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22635/task/22652/stat : 22652 (java) S 22632 22632 19225 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 20 0 419870824 27969658880 31657 33554432000 4194304 4196468 140723990448960 139886653208944 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22653] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22653/stat : 22653 (java) S 22632 22632 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 31657 33554432000 4194304 4196468 140723990448960 139884400470752 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22654] ppid=22632 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22635/task/22654/stat : 22654 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 31657 33554432000 4194304 4196468 140723990448960 139886652156848 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128024 KiB

[startup+0.309516 s]*
/proc/loadavg: 2.05 0.52 0.41 2/211 22654
/proc/meminfo: memFree=30847616/32770624 swapFree=66935336/67108860
[pid=22632] ppid=22629 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22632/stat : 22632 (scop.sh) S 22629 22632 19225 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419870816 115843072 349 33554432000 4194304 5098028 140728405747152 140728405744408 140348032983676 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8552448 140728405750564 140728405750892 140728405750892 140728405753805 0
/proc/22632/statm: 28282 349 296 221 0 87 0
[pid=22635] ppid=22632 vsize=27314120 memory=130496 CPUtime=0.42 cores=0-7
/proc/22635/stat : 22635 (java) S 22632 22632 19225 0 -1 1077944320 12423 0 0 0 38 4 0 0 20 0 20 0 419870816 27969658880 32624 33554432000 4194304 4196468 140723990448960 140723990431504 139887666069239 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
/proc/22635/statm: 6828530 32624 3054 1 0 6790935 0
[pid=22635/tid=22636] ppid=22632 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22635/task/22636/stat : 22636 (java) R 22632 22632 19225 0 -1 4202560 9965 0 0 0 26 3 0 0 20 0 20 0 419870817 27969658880 32624 33554432000 4194304 4196468 140723990448960 139887637896640 139887647632799 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22637] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22637/stat : 22637 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 32624 33554432000 4194304 4196468 140723990448960 139887670311696 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22638] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22638/stat : 22638 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 32624 33554432000 4194304 4196468 140723990448960 139887087877008 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22639] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22639/stat : 22639 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 32624 33554432000 4194304 4196468 140723990448960 139887086824464 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22640] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22640/stat : 22640 (java) S 22632 22632 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 32624 33554432000 4194304 4196468 140723990448960 139887085771920 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22641] ppid=22632 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/22635/task/22641/stat : 22641 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 32624 33554432000 4194304 4196468 140723990448960 139887084718352 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22642] ppid=22632 vsize=27314120 memory=140511868449711 CPUtime=0 cores=0-7
/proc/22635/task/22642/stat : 22642 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 32624 33554432000 4194304 4196468 140723990448960 139887083665808 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22643] ppid=22632 vsize=27314120 memory=140511868452016 CPUtime=0 cores=0-7
/proc/22635/task/22643/stat : 22643 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 32624 33554432000 4194304 4196468 140723990448960 139887082613264 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22644] ppid=22632 vsize=27314120 memory=140511868454320 CPUtime=0 cores=0-7
/proc/22635/task/22644/stat : 22644 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27969658880 32624 33554432000 4194304 4196468 140723990448960 139887081560720 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22645] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22645/stat : 22645 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870821 27969658880 32624 33554432000 4194304 4196468 140723990448960 139886657419760 139887666080386 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22646] ppid=22632 vsize=27314120 memory=281023736915600 CPUtime=0 cores=0-7
/proc/22635/task/22646/stat : 22646 (java) S 22632 22632 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419870821 27969658880 32624 33554432000 4194304 4196468 140723990448960 139885541320096 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22647] ppid=22632 vsize=27314120 memory=281023736922512 CPUtime=0 cores=0-7
/proc/22635/task/22647/stat : 22647 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870821 27969658880 32624 33554432000 4194304 4196468 140723990448960 139885272884720 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22648] ppid=22632 vsize=27314120 memory=281023736863792 CPUtime=0 cores=0-7
/proc/22635/task/22648/stat : 22648 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 32624 33554432000 4194304 4196468 140723990448960 139884898376400 139887666087835 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22649] ppid=22632 vsize=27314120 memory=281023736936336 CPUtime=0.01 cores=0-7
/proc/22635/task/22649/stat : 22649 (java) S 22632 22632 19225 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 20 0 419870824 27969658880 32624 33554432000 4194304 4196468 140723990448960 139886656366576 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22650] ppid=22632 vsize=27314120 memory=281023736943248 CPUtime=0.01 cores=0-7
/proc/22635/task/22650/stat : 22650 (java) S 22632 22632 19225 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 419870824 27969658880 32624 33554432000 4194304 4196468 140723990448960 139886655314032 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22651] ppid=22632 vsize=27314120 memory=281023736940944 CPUtime=0.01 cores=0-7
/proc/22635/task/22651/stat : 22651 (java) R 22632 22632 19225 0 -1 4202560 78 0 0 0 1 0 0 0 20 0 20 0 419870824 27969658880 32624 33554432000 4194304 4196468 140723990448960 139886654261488 139887666090586 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22652] ppid=22632 vsize=27314120 memory=281023736957104 CPUtime=0.07 cores=0-7
/proc/22635/task/22652/stat : 22652 (java) S 22632 22632 19225 0 -1 1077944384 462 0 0 0 7 0 0 0 20 0 20 0 419870824 27969658880 32624 33554432000 4194304 4196468 140723990448960 139886653208944 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22653] ppid=22632 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22653/stat : 22653 (java) S 22632 22632 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 32624 33554432000 4194304 4196468 140723990448960 139884400470752 139887666079445 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22654] ppid=22632 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22635/task/22654/stat : 22654 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870824 27969658880 32624 33554432000 4194304 4196468 140723990448960 139886652156848 139887666080386 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131892 KiB

[startup+0.700913 s]
/proc/loadavg: 2.05 0.52 0.41 3/211 22654
/proc/meminfo: memFree=30825988/32770624 swapFree=66935336/67108860
[pid=22632] ppid=22629 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22632/stat : 22632 (scop.sh) S 22629 22632 19225 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419870816 115843072 349 33554432000 4194304 5098028 140728405747152 140728405744408 140348032983676 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8552448 140728405750564 140728405750892 140728405750892 140728405753805 0
/proc/22632/statm: 28282 349 296 221 0 87 0
[pid=22635] ppid=22632 vsize=27323540 memory=168040 CPUtime=1 cores=0-7
/proc/22635/stat : 22635 (java) S 22632 22632 19225 0 -1 1077944320 20215 0 0 0 94 6 0 0 20 0 20 0 419870816 27979304960 42010 33554432000 4194304 4196468 140723990448960 140723990431504 139887666069239 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
/proc/22635/statm: 6830885 42010 3207 1 0 6792215 0
[pid=22635/tid=22636] ppid=22632 vsize=27322516 memory=281023737252032 CPUtime=0.67 cores=0-7
/proc/22635/task/22636/stat : 22636 (java) D 22632 22632 19225 0 -1 1077944384 17181 0 0 0 62 5 0 0 20 0 20 0 419870817 27978256384 42010 33554432000 4194304 4196468 140723990448960 139887637886624 139887658748461 0 4 2 25189581 18446744072101662244 0 0 -1 2 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22637] ppid=22632 vsize=27322516 memory=1564 CPUtime=0 cores=0-7
/proc/22635/task/22637/stat : 22637 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27978256384 42010 33554432000 4194304 4196468 140723990448960 139887670311696 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22638] ppid=22632 vsize=27323540 memory=976 CPUtime=0 cores=0-7
/proc/22635/task/22638/stat : 22638 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27979304960 42010 33554432000 4194304 4196468 140723990448960 139887087877008 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22639] ppid=22632 vsize=27323540 memory=772 CPUtime=0 cores=0-7
/proc/22635/task/22639/stat : 22639 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27979304960 42010 33554432000 4194304 4196468 140723990448960 139887086824464 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0

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

/proc/loadavg: 1.97 0.52 0.41 2/211 22654
/proc/meminfo: memFree=30429924/32770624 swapFree=66935336/67108860
[pid=22632] ppid=22629 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22632/stat : 22632 (scop.sh) S 22629 22632 19225 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419870816 115843072 349 33554432000 4194304 5098028 140728405747152 140728405744408 140348032983676 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8552448 140728405750564 140728405750892 140728405750892 140728405753805 0
/proc/22632/statm: 28282 349 296 221 0 87 0
[pid=22635] ppid=22632 vsize=27326612 memory=574836 CPUtime=9.1 cores=0-7
/proc/22635/stat : 22635 (java) S 22632 22632 19225 0 -1 1077944320 28836 0 0 0 894 16 0 0 20 0 20 0 419870816 27982450688 143709 33554432000 4194304 4196468 140723990448960 140723990431504 139887666069239 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
/proc/22635/statm: 6831653 143709 3259 1 0 6792983 0
[pid=22635/tid=22636] ppid=22632 vsize=27326612 memory=56 CPUtime=3.07 cores=0-7
/proc/22635/task/22636/stat : 22636 (java) R 22632 22632 19225 0 -1 4202560 19098 0 0 0 295 12 0 0 20 0 20 0 419870817 27982450688 143709 33554432000 4194304 4196468 140723990448960 139887637905136 139887169053378 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22637] ppid=22632 vsize=27326612 memory=-2746958450906831424 CPUtime=0 cores=0-7
/proc/22635/task/22637/stat : 22637 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27982450688 143709 33554432000 4194304 4196468 140723990448960 139887670311696 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22638] ppid=22632 vsize=27326612 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/22635/task/22638/stat : 22638 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27982450688 143709 33554432000 4194304 4196468 140723990448960 139887087877008 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22639] ppid=22632 vsize=27326612 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/22635/task/22639/stat : 22639 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27982450688 143709 33554432000 4194304 4196468 140723990448960 139887086824464 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22640] ppid=22632 vsize=27326612 memory=4206468019014099040 CPUtime=0 cores=0-7
/proc/22635/task/22640/stat : 22640 (java) S 22632 22632 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419870819 27982450688 143709 33554432000 4194304 4196468 140723990448960 139887085771920 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22641] ppid=22632 vsize=27326612 memory=3620 CPUtime=0 cores=0-7
/proc/22635/task/22641/stat : 22641 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870819 27982450688 143709 33554432000 4194304 4196468 140723990448960 139887084718352 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22642] ppid=22632 vsize=27326612 memory=24480 CPUtime=0 cores=0-7
/proc/22635/task/22642/stat : 22642 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27982450688 143709 33554432000 4194304 4196468 140723990448960 139887083665808 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22643] ppid=22632 vsize=27326612 memory=984 CPUtime=0 cores=0-7
/proc/22635/task/22643/stat : 22643 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27982450688 143709 33554432000 4194304 4196468 140723990448960 139887082613264 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22644] ppid=22632 vsize=27326612 memory=2032 CPUtime=0 cores=0-7
/proc/22635/task/22644/stat : 22644 (java) S 22632 22632 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419870819 27982450688 143709 33554432000 4194304 4196468 140723990448960 139887081560720 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22645] ppid=22632 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22645/stat : 22645 (java) S 22632 22632 19225 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419870821 27982450688 144221 33554432000 4194304 4196468 140723990448960 139886657419760 139887666080386 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22646] ppid=22632 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22646/stat : 22646 (java) S 22632 22632 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419870821 27982450688 144221 33554432000 4194304 4196468 140723990448960 139885541320096 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22647] ppid=22632 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22647/stat : 22647 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870821 27982450688 144221 33554432000 4194304 4196468 140723990448960 139885272884720 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22648] ppid=22632 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/22635/task/22648/stat : 22648 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870824 27982450688 144221 33554432000 4194304 4196468 140723990448960 139884898376400 139887666087835 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22649] ppid=22632 vsize=27326612 memory=538896 CPUtime=1.55 cores=0-7
/proc/22635/task/22649/stat : 22649 (java) R 22632 22632 19225 0 -1 4202560 1964 0 0 0 155 0 0 0 20 0 20 0 419870824 27982450688 144221 33554432000 4194304 4196468 140723990448960 139886656353008 139887666090586 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22650] ppid=22632 vsize=27326612 memory=473752 CPUtime=1.81 cores=0-7
/proc/22635/task/22650/stat : 22650 (java) R 22632 22632 19225 0 -1 4202560 2355 0 0 0 181 0 0 0 20 0 20 0 419870824 27982450688 144221 33554432000 4194304 4196468 140723990448960 139886655303952 139887666090586 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22651] ppid=22632 vsize=27326612 memory=1396 CPUtime=1.71 cores=0-7
/proc/22635/task/22651/stat : 22651 (java) S 22632 22632 19225 0 -1 1077944384 1832 0 0 0 171 0 0 0 20 0 20 0 419870824 27982450688 144221 33554432000 4194304 4196468 140723990448960 139886654261488 139887666080386 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22652] ppid=22632 vsize=27326612 memory=176360 CPUtime=0.9 cores=0-7
/proc/22635/task/22652/stat : 22652 (java) S 22632 22632 19225 0 -1 1077944384 2244 0 0 0 89 1 0 0 20 0 20 0 419870824 27982450688 144221 33554432000 4194304 4196468 140723990448960 139886653208944 139887666080386 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22653] ppid=22632 vsize=27326612 memory=56 CPUtime=0 cores=0-7
/proc/22635/task/22653/stat : 22653 (java) S 22632 22632 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419870824 27982450688 144221 33554432000 4194304 4196468 140723990448960 139884400470752 139887666079445 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
[pid=22635/tid=22654] ppid=22632 vsize=27326612 memory=2958597 CPUtime=0 cores=0-7
/proc/22635/task/22654/stat : 22654 (java) S 22632 22632 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419870824 27982450688 144221 33554432000 4194304 4196468 140723990448960 139886652156848 139887666080386 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32772096 140723990455018 140723990455446 140723990455446 140723990458319 0
Current children cumulated CPU time: 9.1 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 576232 KiB

[startup+6.30099 s]
/proc/loadavg: 1.97 0.52 0.41 3/211 22674
/proc/meminfo: memFree=30882568/32770624 swapFree=66935336/67108860
[pid=22632] ppid=22629 vsize=113128 memory=1476 CPUtime=15.19 cores=0-7
/proc/22632/stat : 22632 (scop.sh) S 22629 22632 19225 0 -1 4202496 583 31343 0 0 0 0 1491 28 20 0 1 0 419870816 115843072 369 33554432000 4194304 5098028 140728405747152 140728405743896 140348032983676 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8552448 140728405750564 140728405750892 140728405750892 140728405753805 0
/proc/22632/statm: 28282 369 311 221 0 87 0
[pid=22655] ppid=22632 vsize=8283048 memory=121336 CPUtime=2.37 cores=0-7
/proc/22655/stat : 22655 (java) S 22632 22632 19225 0 -1 1077944320 20298 6907 0 0 127 7 101 2 20 0 22 0 419871349 8481841152 30334 33554432000 4194304 4196468 140722505737456 140722505720000 140138199199479 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
/proc/22655/statm: 2070762 30334 3214 1 0 2032106 0
[pid=22655/tid=22656] ppid=22632 vsize=8283048 memory=3620 CPUtime=1.79 cores=0-7
/proc/22655/task/22656/stat : 22656 (java) R 22632 22632 19225 0 -1 4202560 16500 6907 0 0 72 4 101 2 20 0 22 0 419871349 8481841152 30334 33554432000 4194304 4196468 140722505737456 140138171001520 140138183279966 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22657] ppid=22632 vsize=8283048 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22657/stat : 22657 (java) S 22632 22632 19225 0 -1 1077944384 2 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 30334 33554432000 4194304 4196468 140722505737456 140138203441424 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22658] ppid=22632 vsize=8283048 memory=1396 CPUtime=1.03 cores=0-7
/proc/22655/task/22658/stat : 22658 (java) S 22632 22632 19225 0 -1 1077944384 2 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 30334 33554432000 4194304 4196468 140722505737456 140138009205136 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22659] ppid=22632 vsize=8283048 memory=256688 CPUtime=1.03 cores=0-7
/proc/22655/task/22659/stat : 22659 (java) S 22632 22632 19225 0 -1 1077944384 2 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 30334 33554432000 4194304 4196468 140722505737456 140138008152592 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22660] ppid=22632 vsize=8283048 memory=7960 CPUtime=1.03 cores=0-7
/proc/22655/task/22660/stat : 22660 (java) S 22632 22632 19225 0 -1 1077944384 3 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 30334 33554432000 4194304 4196468 140722505737456 140138007100048 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22661] ppid=22632 vsize=8283048 memory=504 CPUtime=1.03 cores=0-7
/proc/22655/task/22661/stat : 22661 (java) S 22632 22632 19225 0 -1 1077944384 1 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 30334 33554432000 4194304 4196468 140722505737456 140138006047504 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22662] ppid=22632 vsize=8283048 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22662/stat : 22662 (java) S 22632 22632 19225 0 -1 1077944384 2 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 30334 33554432000 4194304 4196468 140722505737456 140137680505744 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22663] ppid=22632 vsize=8283048 memory=4570453745729369642 CPUtime=1.03 cores=0-7
/proc/22655/task/22663/stat : 22663 (java) S 22632 22632 19225 0 -1 1077944384 2 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 30334 33554432000 4194304 4196468 140722505737456 140137679453200 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22664] ppid=22632 vsize=8283048 memory=3047711462688066934 CPUtime=1.03 cores=0-7
/proc/22655/task/22664/stat : 22664 (java) S 22632 22632 19225 0 -1 1077944384 1 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 30334 33554432000 4194304 4196468 140722505737456 140137678400656 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22665] ppid=22632 vsize=8283048 memory=-8757415993616479323 CPUtime=1.03 cores=0-7
/proc/22655/task/22665/stat : 22665 (java) S 22632 22632 19225 0 -1 1077944384 6 6907 0 0 0 0 101 2 20 0 22 0 419871352 8481841152 30334 33554432000 4194304 4196468 140722505737456 140137561061360 140138199210626 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22666] ppid=22632 vsize=8283048 memory=-8412656550509188979 CPUtime=1.03 cores=0-7
/proc/22655/task/22666/stat : 22666 (java) S 22632 22632 19225 0 -1 1077944384 13 6907 0 0 0 0 101 2 20 0 22 0 419871352 8481841152 30334 33554432000 4194304 4196468 140722505737456 140136662688672 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22667] ppid=22632 vsize=8283048 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22667/stat : 22667 (java) S 22632 22632 19225 0 -1 1077944384 21 6907 0 0 0 0 101 2 20 0 22 0 419871352 8481841152 30334 33554432000 4194304 4196468 140722505737456 140136528466928 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22668] ppid=22632 vsize=8283048 memory=56 CPUtime=1.03 cores=0-7
/proc/22655/task/22668/stat : 22668 (java) S 22632 22632 19225 0 -1 1077944384 1 6907 0 0 0 0 101 2 20 0 22 0 419871355 8481841152 30334 33554432000 4194304 4196468 140722505737456 140136153962704 140138199218075 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22669] ppid=22632 vsize=8283048 memory=0 CPUtime=1.14 cores=0-7
/proc/22655/task/22669/stat : 22669 (java) S 22632 22632 19225 0 -1 1077944384 629 6907 0 0 11 0 101 2 20 0 22 0 419871355 8481841152 30334 33554432000 4194304 4196468 140722505737456 140137560009200 140138199210626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22670] ppid=22632 vsize=8283048 memory=576460758282499373 CPUtime=1.08 cores=0-7
/proc/22655/task/22670/stat : 22670 (java) S 22632 22632 19225 0 -1 1077944384 249 6907 0 0 5 0 101 2 20 0 22 0 419871355 8481841152 30334 33554432000 4194304 4196468 140722505737456 140137558956656 140138199210626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22671] ppid=22632 vsize=8283048 memory=288286692635575062 CPUtime=1.1 cores=0-7
/proc/22655/task/22671/stat : 22671 (java) S 22632 22632 19225 0 -1 1077944384 302 6907 0 0 7 0 101 2 20 0 22 0 419871355 8481841152 30334 33554432000 4194304 4196468 140722505737456 140137557904112 140138199210626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22672] ppid=22632 vsize=8283048 memory=3546360613200724257 CPUtime=1.27 cores=0-7
/proc/22655/task/22672/stat : 22672 (java) S 22632 22632 19225 0 -1 1077944384 633 6907 0 0 24 0 101 2 20 0 22 0 419871355 8481841152 30334 33554432000 4194304 4196468 140722505737456 140137556851568 140138199210626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22673] ppid=22632 vsize=8283048 memory=-2127763234181109534 CPUtime=1.03 cores=0-7
/proc/22655/task/22673/stat : 22673 (java) S 22632 22632 19225 0 -1 1077944384 3 6907 0 0 0 0 101 2 20 0 22 0 419871355 8481841152 30334 33554432000 4194304 4196468 140722505737456 140135656057056 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22674] ppid=22632 vsize=8283048 memory=6944656592387989600 CPUtime=1.03 cores=0-7
/proc/22655/task/22674/stat : 22674 (java) S 22632 22632 19225 0 -1 1077944384 1 6907 0 0 0 0 101 2 20 0 22 0 419871355 8481841152 30334 33554432000 4194304 4196468 140722505737456 140137555798448 140138199210626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
Current children cumulated CPU time: 17.56 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 122812 KiB

[startup+6.42212 s]
# the end of solver process 22632 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=17.4321 s, system=0.412986 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40114 s]
/proc/loadavg: 1.97 0.52 0.41 3/211 22674
/proc/meminfo: memFree=30882568/32770624 swapFree=66935336/67108860
[pid=22632] ppid=22629 vsize=113128 memory=1476 CPUtime=15.19 cores=0-7
/proc/22632/stat : 22632 (scop.sh) S 22629 22632 19225 0 -1 4202496 583 31343 0 0 0 0 1491 28 20 0 1 0 419870816 115843072 369 33554432000 4194304 5098028 140728405747152 140728405743896 140348032983676 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8552448 140728405750564 140728405750892 140728405750892 140728405753805 0
/proc/22632/statm: 28282 369 311 221 0 87 0
[pid=22655] ppid=22632 vsize=8284072 memory=130584 CPUtime=2.58 cores=0-7
/proc/22655/stat : 22655 (java) S 22632 22632 19225 0 -1 1077944320 21607 6907 0 0 148 7 101 2 20 0 22 0 419871349 8482889728 32646 33554432000 4194304 4196468 140722505737456 140722505720000 140138199199479 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
/proc/22655/statm: 2071018 32646 3223 1 0 2032362 0
[pid=22655/tid=22656] ppid=22632 vsize=8284072 memory=0 CPUtime=1.89 cores=0-7
/proc/22655/task/22656/stat : 22656 (java) R 22632 22632 19225 0 -1 4202560 17619 6907 0 0 81 5 101 2 20 0 22 0 419871349 8482889728 32402 33554432000 4194304 4196468 140722505737456 140138171026064 140138191916583 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22657] ppid=22632 vsize=8284072 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22657/stat : 22657 (java) S 22632 22632 19225 0 -1 1077944384 2 6907 0 0 0 0 101 2 20 0 22 0 419871350 8482889728 32402 33554432000 4194304 4196468 140722505737456 140138203441424 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22658] ppid=22632 vsize=8283048 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22658/stat : 22658 (java) S 22632 22632 19225 0 -1 1077944384 2 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 32402 33554432000 4194304 4196468 140722505737456 140138009205136 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22659] ppid=22632 vsize=8283048 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22659/stat : 22659 (java) S 22632 22632 19225 0 -1 1077944384 2 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 32402 33554432000 4194304 4196468 140722505737456 140138008152592 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22660] ppid=22632 vsize=8283048 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22660/stat : 22660 (java) S 22632 22632 19225 0 -1 1077944384 3 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 32402 33554432000 4194304 4196468 140722505737456 140138007100048 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22661] ppid=22632 vsize=8283048 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22661/stat : 22661 (java) S 22632 22632 19225 0 -1 1077944384 1 6907 0 0 0 0 101 2 20 0 22 0 419871350 8481841152 32402 33554432000 4194304 4196468 140722505737456 140138006047504 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22662] ppid=22632 vsize=8284072 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22662/stat : 22662 (java) S 22632 22632 19225 0 -1 1077944384 2 6907 0 0 0 0 101 2 20 0 22 0 419871350 8482889728 32402 33554432000 4194304 4196468 140722505737456 140137680505744 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22663] ppid=22632 vsize=8284072 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22663/stat : 22663 (java) S 22632 22632 19225 0 -1 1077944384 2 6907 0 0 0 0 101 2 20 0 22 0 419871350 8482889728 32402 33554432000 4194304 4196468 140722505737456 140137679453200 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22664] ppid=22632 vsize=8284072 memory=0 CPUtime=1.03 cores=0-7
/proc/22655/task/22664/stat : 22664 (java) S 22632 22632 19225 0 -1 1077944384 1 6907 0 0 0 0 101 2 20 0 22 0 419871350 8482889728 32402 33554432000 4194304 4196468 140722505737456 140137678400656 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22665] ppid=22632 vsize=8284072 memory=190 CPUtime=1.03 cores=0-7
/proc/22655/task/22665/stat : 22665 (java) S 22632 22632 19225 0 -1 1077944384 6 6907 0 0 0 0 101 2 20 0 22 0 419871352 8482889728 32402 33554432000 4194304 4196468 140722505737456 140137561061360 140138199210626 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22666] ppid=22632 vsize=8284072 memory=222 CPUtime=1.03 cores=0-7
/proc/22655/task/22666/stat : 22666 (java) S 22632 22632 19225 0 -1 1077944384 13 6907 0 0 0 0 101 2 20 0 22 0 419871352 8482889728 32467 33554432000 4194304 4196468 140722505737456 140136662688672 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22667] ppid=22632 vsize=8284072 memory=209 CPUtime=1.03 cores=0-7
/proc/22655/task/22667/stat : 22667 (java) S 22632 22632 19225 0 -1 1077944384 21 6907 0 0 0 0 101 2 20 0 22 0 419871352 8482889728 32467 33554432000 4194304 4196468 140722505737456 140136528466928 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22668] ppid=22632 vsize=8284072 memory=95 CPUtime=1.03 cores=0-7
/proc/22655/task/22668/stat : 22668 (java) S 22632 22632 19225 0 -1 1077944384 1 6907 0 0 0 0 101 2 20 0 22 0 419871355 8482889728 32467 33554432000 4194304 4196468 140722505737456 140136153962704 140138199218075 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22669] ppid=22632 vsize=8284072 memory=0 CPUtime=1.16 cores=0-7
/proc/22655/task/22669/stat : 22669 (java) S 22632 22632 19225 0 -1 1077944384 644 6907 0 0 13 0 101 2 20 0 22 0 419871355 8482889728 32467 33554432000 4194304 4196468 140722505737456 140137560009200 140138199210626 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22670] ppid=22632 vsize=8284072 memory=0 CPUtime=1.1 cores=0-7
/proc/22655/task/22670/stat : 22670 (java) S 22632 22632 19225 0 -1 1077944384 262 6907 0 0 7 0 101 2 20 0 22 0 419871355 8482889728 32467 33554432000 4194304 4196468 140722505737456 140137558956656 140138199210626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22671] ppid=22632 vsize=8284072 memory=0 CPUtime=1.13 cores=0-7
/proc/22655/task/22671/stat : 22671 (java) S 22632 22632 19225 0 -1 1077944384 314 6907 0 0 10 0 101 2 20 0 22 0 419871355 8482889728 32533 33554432000 4194304 4196468 140722505737456 140137557904112 140138199210626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22672] ppid=22632 vsize=8284072 memory=6656426216303648864 CPUtime=1.32 cores=0-7
/proc/22655/task/22672/stat : 22672 (java) S 22632 22632 19225 0 -1 1077944384 783 6907 0 0 29 0 101 2 20 0 22 0 419871355 8482889728 32533 33554432000 4194304 4196468 140722505737456 140137556851568 140138199210626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22673] ppid=22632 vsize=8284072 memory=6944656592455359545 CPUtime=1.03 cores=0-7
/proc/22655/task/22673/stat : 22673 (java) S 22632 22632 19225 0 -1 1077944384 3 6907 0 0 0 0 101 2 20 0 22 0 419871355 8482889728 32533 33554432000 4194304 4196468 140722505737456 140135656057056 140138199209685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
[pid=22655/tid=22674] ppid=22632 vsize=8284072 memory=6944656592385698452 CPUtime=1.03 cores=0-7
/proc/22655/task/22674/stat : 22674 (java) S 22632 22632 19225 0 -1 1077944384 1 6907 0 0 0 0 101 2 20 0 22 0 419871355 8482889728 32533 33554432000 4194304 4196468 140722505737456 140137555798448 140138199210626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9936896 140722505745399 140722505745558 140722505745558 140722505748431 0
Current children cumulated CPU time: 17.77 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 132060 KiB

Child status: 0
Real time (s): 6.42215
CPU time (s): 17.8451
CPU user time (s): 17.4321
CPU system time (s): 0.412986
CPU usage (%): 277.867
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1177096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4321
system time used= 0.412986
maximum resident set size= 1178448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10245
involuntary context switches= 31


# summary of solver processes directly reported to runsolver:
#   pid: 22632
#   total CPU time (s): 17.8451
#   total CPU user time (s): 17.4321
#   total CPU system time (s): 0.412986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072082 second user time and 0.106642 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-14 06:39:14
IDJOB=4392578
IDBENCH=134478
IDSOLVER=2839
FILE ID=node151/4392578-1568435994
RUNJOBID= node151-1568430672-19252
PBS_JOBID= 21702312
Free space on /tmp= 59308 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s13/Blackhole-13-3-04.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392578-1568435994/watcher-4392578-1568435994 -o /tmp/evaluation-result-4392578-1568435994/solver-4392578-1568435994 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --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-4392578-1568435994.xml

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

MD5SUM BENCH= 5cc270e62cab521987b2b853f5e11200
RANDOM SEED=1293848872

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30968472 kB
MemAvailable:   31849496 kB
Buffers:          192616 kB
Cached:           977896 kB
SwapCached:        70988 kB
Active:           643596 kB
Inactive:         600632 kB
Active(anon):       9188 kB
Inactive(anon):    97908 kB
Active(file):     634408 kB
Inactive(file):   502724 kB
Unevictable:      109892 kB
Mlocked:          109892 kB
SwapTotal:      67108860 kB
SwapFree:       66935336 kB
Dirty:             20700 kB
Writeback:             0 kB
AnonPages:        127648 kB
Mapped:            37624 kB
Shmem:             24568 kB
Slab:             148196 kB
SReclaimable:     119452 kB
SUnreclaim:        28744 kB
KernelStack:        3712 kB
PageTables:         5868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59288 MiB
End job on node151 at 2019-09-14 06:39:21