Trace number 4392586

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)UNSAT 21.9501 7.45528

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
MD5SUMf8050e8ddc741b4fb4a45c7e8cfb7628
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark11.0135
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size39
Distribution of domain sizes[{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints0
Number of intensional constraints4103
Distribution of constraint types[{"type":"intension","count":4103}]
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-17885-serial-file.bin HOME/instance-4392586-1568447759.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 09:55:17 CEST 2019
0.66/0.57	c PID: 17888
0.66/0.57	c IP: 172.20.3.121
0.66/0.57	c HOST: node121.alineos.net
0.66/0.57	c (0,0) Parsing Begin
5.94/1.93	c (1,1) Parsing End
5.94/1.94	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 39
5.94/1.94	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.94/1.94	c (1,1) Constraint Name Generate Begin
5.94/1.97	c (1,1) Ctr:HOME/instance-4392586-1568447759.xml,Dist:Eq:Le:Num:Var
5.94/1.97	c (1,1) Constraint Name Generate End
5.94/1.97	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.94/1.97	c (1,1) CSP to CSPinCNF Begin
6.94/2.22	c (1,1) translated 411 (10%) constraints
6.94/2.29	c (1,1) translated 821 (20%) constraints
7.31/2.35	c (1,1) translated 1231 (30%) constraints
7.31/2.39	c (1,1) translated 1642 (40%) constraints
7.64/2.44	c (1,1) translated 2052 (50%) constraints
7.64/2.48	c (1,1) translated 2462 (60%) constraints
8.03/2.53	c (1,1) translated 2873 (70%) constraints
8.03/2.57	c (2,2) translated 3283 (80%) constraints
8.43/2.61	c (2,2) translated 3693 (90%) constraints
8.87/2.71	c (2,2) translated 4103 (100%) constraints
8.87/2.71	c (2,2) ===========================================
8.87/2.74	c (2,2) Hybrid: #OE=680, #LE=0
8.87/2.74	c (2,2) Hybrid
8.87/2.74	c (2,2) ===========================================
8.87/2.78	c (2,2) translated 479 (10%) constraints
9.31/2.81	c (2,2) translated 957 (20%) constraints
9.31/2.83	c (2,2) translated 1435 (30%) constraints
9.31/2.85	c (2,2) translated 1914 (40%) constraints
9.31/2.87	c (2,2) translated 2392 (50%) constraints
9.31/2.88	c (2,2) translated 2870 (60%) constraints
9.68/2.90	c (2,2) translated 3349 (70%) constraints
9.68/2.91	c (2,2) translated 3827 (80%) constraints
9.68/2.92	c (2,2) translated 4305 (90%) constraints
9.68/2.93	c (2,2) translated 4783 (100%) constraints
9.68/2.94	c (2,2) CSP to CSPinCNF End
9.68/2.94	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39
9.68/2.94	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.68/2.94	c (2,2) CSPinCNF Propagation Begin
10.01/3.01	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
10.01/3.01	c (2,2) CSPinCNF Propagation End
10.01/3.01	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39
10.01/3.01	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
10.01/3.03	c (2,2) Hybrid: #OE=680, #LE=0
10.01/3.03	c (2,2) Simplify CSPinCNF Begin
10.65/3.26	c (2,2) Simplify CSPinCNF End
10.65/3.26	c (2,2) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39
10.65/3.26	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
10.65/3.26	c (2,2) Calculate Precise Domain Begin
10.65/3.27	c (2,2) 0 values are removed by re-calculation
10.65/3.27	c (2,2) Calculate Precise Domain End
10.65/3.27	c (2,2) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39
10.65/3.27	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
10.65/3.27	c (2,2) CSPinCNF to SatSolver Begin
13.10/3.87	c (3,3) 1299 (10 %) CSP clauses are encoded (0 SAT variables, 50505 SAT clauses)
13.83/4.07	c (3,3) 2598 (20 %) CSP clauses are encoded (0 SAT variables, 78073 SAT clauses)
14.33/4.22	c (3,3) 3897 (30 %) CSP clauses are encoded (0 SAT variables, 103483 SAT clauses)
14.47/4.36	c (3,3) 5196 (40 %) CSP clauses are encoded (0 SAT variables, 131265 SAT clauses)
14.71/4.51	c (3,3) 6495 (50 %) CSP clauses are encoded (0 SAT variables, 160135 SAT clauses)
14.84/4.65	c (4,4) 7794 (60 %) CSP clauses are encoded (0 SAT variables, 189589 SAT clauses)
15.12/4.80	c (4,4) 9093 (70 %) CSP clauses are encoded (0 SAT variables, 218811 SAT clauses)
15.23/4.94	c (4,4) 10392 (80 %) CSP clauses are encoded (0 SAT variables, 248167 SAT clauses)
15.34/5.08	c (4,4) 11691 (90 %) CSP clauses are encoded (0 SAT variables, 276483 SAT clauses)
15.79/5.21	c (4,4) 12989 (100 %) CSP clauses are encoded (0 SAT variables, 302440 SAT clauses)
15.79/5.21	c (4,4) CSPinCNF to SatSolver End
15.79/5.21	c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
15.79/5.21	c (4,4) 31386 bool, 302452 clause
15.79/5.21	c (4,4) Export Begin
16.41/5.49	c (4,4) Export to HOME/scop-17885-serial-file.bin
16.41/5.49	c (4,4) Export End
16.41/5.50	c (4,4) Export File Size: 4.12 MB
16.41/5.50	c (4,4) 1,1,2,2,2,2,4,STOP-AFTER(DIMACS)
16.41/5.50	c END-Prog: Sat Sep 14 09:55:22 CEST 2019
16.58/5.51	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17885-serial-file.bin
16.60/5.98	c (0,0) Read Serial File Begin
16.60/5.98	c (0,0) HOME/scop-17885-serial-file.bin
18.00/6.35	c (0,0) Read Serial File End
18.00/6.36	
18.00/6.36	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
18.00/6.36	(Solving Process)
18.00/6.36	
18.00/6.39	c BEGIN-Prog: Sat Sep 14 09:55:23 CEST 2019
18.00/6.39	c PID: 17911
18.00/6.39	c IP: 172.20.3.121
18.00/6.39	c HOST: node121.alineos.net
18.00/6.39	c (0,0) SatSolver.solve Begin
18.00/6.39	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392586-1568447759.xml-scop-17888.cnf
18.22/6.42	c (0,0) c
18.22/6.42	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)
18.22/6.42	c (0,0) c
18.22/6.42	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
18.22/6.42	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
18.22/6.42	c (0,0) c ========================================[ Problem Statistics ]===========================================
18.22/6.42	c (0,0) c |                                                                                                       |
18.39/6.54	c (0,0) c |  Number of variables:         31386                                                                   |
18.39/6.54	c (0,0) c |  Number of clauses:          302452                                                                   |
18.39/6.54	c (0,0) c |  Parse time:                   0.11 s                                                                 |
18.39/6.54	c (0,0) c |                                                                                                       |
18.39/6.85	c (0,0) c |  Simplification time:          0.31 s                                                                 |
18.39/6.85	c (0,0) c |                                                                                                       |
18.39/6.85	c (0,0) c |  Generating clones                                                                                    |
18.39/6.98	c (1,0) c |  all clones generated. Memory =   245.88Mb.                                                           |
18.39/6.98	c (1,0) c ========================================================================================================|
18.39/6.98	c (1,0) c
18.39/6.98	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
18.39/6.98	c (1,0) c
18.39/6.98	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
18.39/6.98	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
18.39/6.98	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
18.39/6.98	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
18.39/6.98	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
18.39/6.98	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
18.39/6.98	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
18.39/6.98	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
18.39/6.98	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
18.39/6.98	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
18.39/6.98	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
18.39/6.98	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
18.39/6.98	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
18.39/6.98	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
18.39/6.98	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
18.39/6.98	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
18.39/6.98	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
18.39/6.98	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
18.39/6.98	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.42	c (1,0) c
21.80/7.42	c (1,0) c real time : 1.00386 s
21.80/7.42	c (1,0) c cpu time  : 3.35112 s
21.80/7.42	c (1,0) c
21.80/7.42	c (1,0) c
21.80/7.42	c (1,0) c
21.80/7.42	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
21.80/7.42	c (1,0) c
21.80/7.42	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.42	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.80/7.42	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.42	c (1,0) c | Conflicts     |           46833 |       5920 |       5751 |       6104 |       6187 |       5861 |       5458 |       5688 |       5864 |
21.80/7.42	c (1,0) c | Decisions     |           66284 |       7924 |       8581 |       8894 |       8271 |       8642 |       7684 |       8318 |       7970 |
21.80/7.42	c (1,0) c | Propagations  |         8831342 |    1146018 |    1148841 |    1143601 |    1148908 |    1120281 |    1011126 |    1034694 |    1077873 |
21.80/7.42	c (1,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
21.80/7.42	c (1,0) c | SimpDBs       |              15 |          2 |          2 |          2 |          1 |          2 |          2 |          2 |          2 |
21.80/7.42	c (1,0) c | Restarts      |              21 |          1 |          2 |          5 |          1 |          3 |          3 |          3 |          3 |
21.80/7.42	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.80/7.42	c (1,0) c | PropBinClauses|        16774442 |    2172925 |    2168100 |    2157776 |    2212530 |    2142879 |    1933987 |    1956781 |    2029464 |
21.80/7.42	c (1,0) c | PropPreBlocker|       144511979 |   18642247 |   18554446 |   18606939 |   19332839 |   18678783 |   16680211 |   16625879 |   17390635 |
21.80/7.42	c (1,0) c | PropNotBlocker|        44755864 |    5824668 |    5895185 |    5847479 |    5765733 |    5660160 |    5230561 |    5226863 |    5305215 |
21.80/7.42	c (1,0) c | LitFullScans  |       232185064 |   30000743 |   30003631 |   30025460 |   30006847 |   30010533 |   27181593 |   26990735 |   27965522 |
21.80/7.42	c (1,0) c | LitScanFracts |           37801 |        729 |        673 |      23580 |        875 |      10330 |        396 |        482 |        736 |
21.80/7.42	c (1,0) c | DecisionLevel0|              51 |          4 |          3 |          6 |          1 |          5 |          4 |         14 |         14 |
21.80/7.42	c (1,0) c | Periods       |              37 |          5 |          5 |          5 |          5 |          5 |          4 |          4 |          4 |
21.80/7.42	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
21.80/7.42	c (1,0) c | Avg_Trail     |                 |       2232 |       1602 |        971 |       3086 |       2231 |       1498 |        808 |       1260 |
21.80/7.42	c (1,0) c | Avg_DL        |                 |         77 |         47 |         21 |         87 |         59 |         33 |         12 |         25 |
21.80/7.42	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.80/7.42	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.80/7.42	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.42	c (1,0) c | Exported      |            5630 |        696 |        543 |        859 |        904 |        716 |        482 |        683 |        747 |
21.80/7.42	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.80/7.42	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.80/7.42	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.80/7.42	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.80/7.42	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.80/7.42	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.80/7.42	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.42	c (1,0) c | Unaries       |                 |          3 |          1 |          1 |          0 |          2 |          1 |         11 |         11 |
21.80/7.42	c (1,0) c | Binaries      |                 |         26 |         12 |          7 |          8 |         27 |         22 |         51 |         33 |
21.80/7.42	c (1,0) c | Glues         |                 |        193 |        157 |        203 |        191 |        208 |        198 |        247 |        261 |
21.80/7.42	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.42	c (1,0) c | Orig_Seen     |             3 % |       9480 |      10289 |       9346 |       9328 |       9637 |       9572 |       9418 |       9020 |
21.80/7.42	c (1,0) c | Diff Orig seen|                 |         62 |        871 | -       72 | -       90 |        219 |        154 |      X     | -      398 |
21.80/7.42	c (1,0) c | Hamming       |            17 % |       5107 |       5427 |       5521 |       5393 |       6836 |       5689 |      X     |       5240 |
21.80/7.42	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.42	c (1,0) c | RunningTime   |                 |    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|
21.80/7.42	c (1,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%|
21.80/7.42	c (1,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%|
21.80/7.42	c (1,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%|
21.80/7.42	c (1,0) c | SolvingTime   |                 |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |
21.80/7.42	c (1,0) c | PropagationTim|                 |    0.4  86%|    0.4  87%|    0.3  84%|    0.3  87%|    0.3  84%|    0.3  85%|    0.3  85%|    0.3  83%|
21.80/7.42	c (1,0) c | AnalysisTime  |                 |    0.0   8%|    0.0   8%|    0.0   9%|    0.0   9%|    0.0   9%|    0.0   8%|    0.0   8%|    0.0   9%|
21.80/7.42	c (1,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%|
21.80/7.42	c (1,0) c | SimplifyTime  |                 |    0.0   2%|    0.0   1%|    0.0   3%|    0.0   0%|    0.0   3%|    0.0   3%|    0.0   4%|    0.0   3%|
21.80/7.42	c (1,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%|
21.80/7.42	c (1,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%|
21.80/7.42	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.42	c (1,0) c
21.80/7.42	c (1,0) c
21.80/7.42	c (1,0) c Threads : 8
21.80/7.42	c (1,0) c Winner : 6
21.80/7.42	c (1,0) c Conflicts_0 : 5920
21.80/7.42	c (1,0) c Conflicts_1 : 5751
21.80/7.42	c (1,0) c Conflicts_2 : 6104
21.80/7.42	c (1,0) c Conflicts_3 : 6187
21.80/7.42	c (1,0) c Conflicts_4 : 5861
21.80/7.42	c (1,0) c Conflicts_5 : 5458
21.80/7.42	c (1,0) c Conflicts_6 : 5688
21.80/7.42	c (1,0) c Conflicts_7 : 5864
21.80/7.42	c (1,0) c Conflicts_total : 46833
21.80/7.42	c (1,0) c Conflicts_winner : 5688
21.80/7.42	c (1,0) c Decisions_0 : 7924
21.80/7.42	c (1,0) c Decisions_1 : 8581
21.80/7.42	c (1,0) c Decisions_2 : 8894
21.80/7.42	c (1,0) c Decisions_3 : 8271
21.80/7.42	c (1,0) c Decisions_4 : 8642
21.80/7.42	c (1,0) c Decisions_5 : 7684
21.80/7.42	c (1,0) c Decisions_6 : 8318
21.80/7.42	c (1,0) c Decisions_7 : 7970
21.80/7.42	c (1,0) c Decisions_total : 66284
21.80/7.42	c (1,0) c Decisions_winner : 8318
21.80/7.42	c (1,0) c Propagations_0 : 1146018
21.80/7.42	c (1,0) c Propagations_1 : 1148841
21.80/7.42	c (1,0) c Propagations_2 : 1143601
21.80/7.42	c (1,0) c Propagations_3 : 1148908
21.80/7.42	c (1,0) c Propagations_4 : 1120281
21.80/7.42	c (1,0) c Propagations_5 : 1011126
21.80/7.42	c (1,0) c Propagations_6 : 1034694
21.80/7.42	c (1,0) c Propagations_7 : 1077873
21.80/7.42	c (1,0) c Propagations_total : 8831342
21.80/7.42	c (1,0) c Propagations_winner : 1034694
21.80/7.42	c (1,0) c ReduceDBs_0 : 1
21.80/7.42	c (1,0) c ReduceDBs_1 : 1
21.80/7.42	c (1,0) c ReduceDBs_2 : 1
21.80/7.42	c (1,0) c ReduceDBs_3 : 1
21.80/7.42	c (1,0) c ReduceDBs_4 : 1
21.80/7.42	c (1,0) c ReduceDBs_5 : 1
21.80/7.42	c (1,0) c ReduceDBs_6 : 1
21.80/7.42	c (1,0) c ReduceDBs_7 : 1
21.80/7.42	c (1,0) c ReduceDBs_total : 8
21.80/7.42	c (1,0) c ReduceDBs_winner : 1
21.80/7.42	c (1,0) c SimpDBs_0 : 2
21.80/7.42	c (1,0) c SimpDBs_1 : 2
21.80/7.42	c (1,0) c SimpDBs_2 : 2
21.80/7.42	c (1,0) c SimpDBs_3 : 1
21.80/7.42	c (1,0) c SimpDBs_4 : 2
21.80/7.42	c (1,0) c SimpDBs_5 : 2
21.80/7.42	c (1,0) c SimpDBs_6 : 2
21.80/7.42	c (1,0) c SimpDBs_7 : 2
21.80/7.42	c (1,0) c SimpDBs_total : 15
21.80/7.42	c (1,0) c SimpDBs_winner : 2
21.80/7.42	c (1,0) c Restarts_0 : 1
21.80/7.42	c (1,0) c Restarts_1 : 2
21.80/7.42	c (1,0) c Restarts_2 : 5
21.80/7.42	c (1,0) c Restarts_3 : 1
21.80/7.42	c (1,0) c Restarts_4 : 3
21.80/7.42	c (1,0) c Restarts_5 : 3
21.80/7.42	c (1,0) c Restarts_6 : 3
21.80/7.42	c (1,0) c Restarts_7 : 3
21.80/7.42	c (1,0) c Restarts_total : 21
21.80/7.42	c (1,0) c Restarts_winner : 3
21.80/7.42	c (1,0) c ForcedImports_0 : 0
21.80/7.42	c (1,0) c ForcedImports_1 : 0
21.80/7.42	c (1,0) c ForcedImports_2 : 0
21.80/7.42	c (1,0) c ForcedImports_3 : 0
21.80/7.42	c (1,0) c ForcedImports_4 : 0
21.80/7.42	c (1,0) c ForcedImports_5 : 0
21.80/7.42	c (1,0) c ForcedImports_6 : 0
21.80/7.42	c (1,0) c ForcedImports_7 : 0
21.80/7.42	c (1,0) c ForcedImports_total : 0
21.80/7.42	c (1,0) c ForcedImports_winner : 0
21.80/7.42	c (1,0) c PropsBinClauses_0 : 2172925
21.80/7.42	c (1,0) c PropsBinClauses_1 : 2168100
21.80/7.42	c (1,0) c PropsBinClauses_2 : 2157776
21.80/7.42	c (1,0) c PropsBinClauses_3 : 2212530
21.80/7.42	c (1,0) c PropsBinClauses_4 : 2142879
21.80/7.42	c (1,0) c PropsBinClauses_5 : 1933987
21.80/7.42	c (1,0) c PropsBinClauses_6 : 1956781
21.80/7.42	c (1,0) c PropsBinClauses_7 : 2029464
21.80/7.42	c (1,0) c PropsBinClauses_total : 16774442
21.80/7.42	c (1,0) c PropsBinClauses_winner : 1956781
21.80/7.42	c (1,0) c PropsPreBlocker_0 : 18642247
21.80/7.42	c (1,0) c PropsPreBlocker_1 : 18554446
21.80/7.42	c (1,0) c PropsPreBlocker_2 : 18606939
21.80/7.42	c (1,0) c PropsPreBlocker_3 : 19332839
21.80/7.42	c (1,0) c PropsPreBlocker_4 : 18678783
21.80/7.42	c (1,0) c PropsPreBlocker_5 : 16680211
21.80/7.42	c (1,0) c PropsPreBlocker_6 : 16625879
21.80/7.42	c (1,0) c PropsPreBlocker_7 : 17390635
21.80/7.42	c (1,0) c PropsPreBlocker_total : 144511979
21.80/7.42	c (1,0) c PropsPreBlocker_winner : 16625879
21.80/7.42	c (1,0) c PropsNotBlocker_0 : 5824668
21.80/7.42	c (1,0) c PropsNotBlocker_1 : 5895185
21.80/7.42	c (1,0) c PropsNotBlocker_2 : 5847479
21.80/7.42	c (1,0) c PropsNotBlocker_3 : 5765733
21.80/7.42	c (1,0) c PropsNotBlocker_4 : 5660160
21.80/7.42	c (1,0) c PropsNotBlocker_5 : 5230561
21.80/7.42	c (1,0) c PropsNotBlocker_6 : 5226863
21.80/7.42	c (1,0) c PropsNotBlocker_7 : 5305215
21.80/7.42	c (1,0) c PropsNotBlocker_total : 44755864
21.80/7.42	c (1,0) c PropsNotBlocker_winner : 5226863
21.80/7.42	c (1,0) c PropsLitFullScans_0 : 30000743
21.80/7.42	c (1,0) c PropsLitFullScans_1 : 30003631
21.80/7.42	c (1,0) c PropsLitFullScans_2 : 30025460
21.80/7.42	c (1,0) c PropsLitFullScans_3 : 30006847
21.80/7.42	c (1,0) c PropsLitFullScans_4 : 30010533
21.80/7.42	c (1,0) c PropsLitFullScans_5 : 27181593
21.80/7.42	c (1,0) c PropsLitFullScans_6 : 26990735
21.80/7.42	c (1,0) c PropsLitFullScans_7 : 27965522
21.80/7.43	c (1,0) c PropsLitFullScans_total : 232185064
21.80/7.43	c (1,0) c PropsLitFullScans_winner : 26990735
21.80/7.43	c (1,0) c LitScanFractions_0 : 729
21.80/7.43	c (1,0) c LitScanFractions_1 : 673
21.80/7.43	c (1,0) c LitScanFractions_2 : 23580
21.80/7.43	c (1,0) c LitScanFractions_3 : 875
21.80/7.43	c (1,0) c LitScanFractions_4 : 10330
21.80/7.43	c (1,0) c LitScanFractions_5 : 396
21.80/7.43	c (1,0) c LitScanFractions_6 : 482
21.80/7.43	c (1,0) c LitScanFractions_7 : 736
21.80/7.43	c (1,0) c LitScanFractions_total : 37801
21.80/7.43	c (1,0) c LitScanFractions_winner : 482
21.80/7.43	c (1,0) c DecisionLevel0_0 : 4
21.80/7.43	c (1,0) c DecisionLevel0_1 : 3
21.80/7.43	c (1,0) c DecisionLevel0_2 : 6
21.80/7.43	c (1,0) c DecisionLevel0_3 : 1
21.80/7.43	c (1,0) c DecisionLevel0_4 : 5
21.80/7.43	c (1,0) c DecisionLevel0_5 : 4
21.80/7.43	c (1,0) c DecisionLevel0_6 : 14
21.80/7.43	c (1,0) c DecisionLevel0_7 : 14
21.80/7.43	c (1,0) c DecisionLevel0_total : 51
21.80/7.43	c (1,0) c DecisionLevel0_winner : 14
21.80/7.43	c (1,0) c Periods_0 : 5
21.80/7.43	c (1,0) c Periods_1 : 5
21.80/7.43	c (1,0) c Periods_2 : 5
21.80/7.43	c (1,0) c Periods_3 : 5
21.80/7.43	c (1,0) c Periods_4 : 5
21.80/7.43	c (1,0) c Periods_5 : 4
21.80/7.43	c (1,0) c Periods_6 : 4
21.80/7.43	c (1,0) c Periods_7 : 4
21.80/7.43	c (1,0) c Periods_total : 37
21.80/7.43	c (1,0) c Periods_winner : 4
21.80/7.43	c (1,0) c Margin_0 : 20
21.80/7.43	c (1,0) c Margin_1 : 20
21.80/7.43	c (1,0) c Margin_2 : 20
21.80/7.43	c (1,0) c Margin_3 : 20
21.80/7.43	c (1,0) c Margin_4 : 20
21.80/7.43	c (1,0) c Margin_5 : 20
21.80/7.43	c (1,0) c Margin_6 : 20
21.80/7.43	c (1,0) c Margin_7 : 20
21.80/7.43	c (1,0) c Margin_total : 160
21.80/7.43	c (1,0) c Margin_winner : 20
21.80/7.43	c (1,0) c Exported_0 : 696
21.80/7.43	c (1,0) c Exported_1 : 543
21.80/7.43	c (1,0) c Exported_2 : 859
21.80/7.43	c (1,0) c Exported_3 : 904
21.80/7.43	c (1,0) c Exported_4 : 716
21.80/7.43	c (1,0) c Exported_5 : 482
21.80/7.43	c (1,0) c Exported_6 : 683
21.80/7.43	c (1,0) c Exported_7 : 747
21.80/7.43	c (1,0) c Exported_total : 5630
21.80/7.43	c (1,0) c Exported_winner : 683
21.80/7.43	c (1,0) c Imported_0 : 0
21.80/7.43	c (1,0) c Imported_1 : 0
21.80/7.43	c (1,0) c Imported_2 : 0
21.80/7.43	c (1,0) c Imported_3 : 0
21.80/7.43	c (1,0) c Imported_4 : 0
21.80/7.43	c (1,0) c Imported_5 : 0
21.80/7.43	c (1,0) c Imported_6 : 0
21.80/7.43	c (1,0) c Imported_7 : 0
21.80/7.43	c (1,0) c Imported_total : 0
21.80/7.43	c (1,0) c Imported_winner : 0
21.80/7.43	c (1,0) c Good_0 : 0
21.80/7.43	c (1,0) c Good_1 : 0
21.80/7.43	c (1,0) c Good_2 : 0
21.80/7.43	c (1,0) c Good_3 : 0
21.80/7.43	c (1,0) c Good_4 : 0
21.80/7.43	c (1,0) c Good_5 : 0
21.80/7.43	c (1,0) c Good_6 : 0
21.80/7.43	c (1,0) c Good_7 : 0
21.80/7.43	c (1,0) c Good_total : 0
21.80/7.43	c (1,0) c Good_winner : 0
21.80/7.43	c (1,0) c Purge_0 : 0
21.80/7.43	c (1,0) c Purge_1 : 0
21.80/7.43	c (1,0) c Purge_2 : 0
21.80/7.43	c (1,0) c Purge_3 : 0
21.80/7.43	c (1,0) c Purge_4 : 0
21.80/7.43	c (1,0) c Purge_5 : 0
21.80/7.43	c (1,0) c Purge_6 : 0
21.80/7.43	c (1,0) c Purge_7 : 0
21.80/7.43	c (1,0) c Purge_total : 0
21.80/7.43	c (1,0) c Purge_winner : 0
21.80/7.43	c (1,0) c Promoted_0 : 0
21.80/7.43	c (1,0) c Promoted_1 : 0
21.80/7.43	c (1,0) c Promoted_2 : 0
21.80/7.43	c (1,0) c Promoted_3 : 0
21.80/7.43	c (1,0) c Promoted_4 : 0
21.80/7.43	c (1,0) c Promoted_5 : 0
21.80/7.43	c (1,0) c Promoted_6 : 0
21.80/7.43	c (1,0) c Promoted_7 : 0
21.80/7.43	c (1,0) c Promoted_total : 0
21.80/7.43	c (1,0) c Promoted_winner : 0
21.80/7.43	c (1,0) c Remove_Imp_0 : 0
21.80/7.43	c (1,0) c Remove_Imp_1 : 0
21.80/7.43	c (1,0) c Remove_Imp_2 : 0
21.80/7.43	c (1,0) c Remove_Imp_3 : 0
21.80/7.43	c (1,0) c Remove_Imp_4 : 0
21.80/7.43	c (1,0) c Remove_Imp_5 : 0
21.80/7.43	c (1,0) c Remove_Imp_6 : 0
21.80/7.43	c (1,0) c Remove_Imp_7 : 0
21.80/7.43	c (1,0) c Remove_Imp_total : 0
21.80/7.43	c (1,0) c Remove_Imp_winner : 0
21.80/7.43	c (1,0) c Blocked_Reuse_0 : 0
21.80/7.43	c (1,0) c Blocked_Reuse_1 : 0
21.80/7.43	c (1,0) c Blocked_Reuse_2 : 0
21.80/7.43	c (1,0) c Blocked_Reuse_3 : 0
21.80/7.43	c (1,0) c Blocked_Reuse_4 : 0
21.80/7.43	c (1,0) c Blocked_Reuse_5 : 0
21.80/7.43	c (1,0) c Blocked_Reuse_6 : 0
21.80/7.43	c (1,0) c Blocked_Reuse_7 : 0
21.80/7.43	c (1,0) c Blocked_Reuse_total : 0
21.80/7.43	c (1,0) c Blocked_Reuse_winner : 0
21.80/7.43	c (1,0) c Unaries_0 : 3
21.80/7.43	c (1,0) c Unaries_1 : 1
21.80/7.43	c (1,0) c Unaries_2 : 1
21.80/7.43	c (1,0) c Unaries_3 : 0
21.80/7.43	c (1,0) c Unaries_4 : 2
21.80/7.43	c (1,0) c Unaries_5 : 1
21.80/7.43	c (1,0) c Unaries_6 : 11
21.80/7.43	c (1,0) c Unaries_7 : 11
21.80/7.43	c (1,0) c Unaries_total : 30
21.80/7.43	c (1,0) c Unaries_winner : 11
21.80/7.43	c (1,0) c Binaries_0 : 26
21.80/7.43	c (1,0) c Binaries_1 : 12
21.80/7.43	c (1,0) c Binaries_2 : 7
21.80/7.43	c (1,0) c Binaries_3 : 8
21.80/7.43	c (1,0) c Binaries_4 : 27
21.80/7.43	c (1,0) c Binaries_5 : 22
21.80/7.43	c (1,0) c Binaries_6 : 51
21.80/7.43	c (1,0) c Binaries_7 : 33
21.80/7.43	c (1,0) c Binaries_total : 186
21.80/7.43	c (1,0) c Binaries_winner : 51
21.80/7.43	c (1,0) c Glues_0 : 193
21.80/7.43	c (1,0) c Glues_1 : 157
21.80/7.43	c (1,0) c Glues_2 : 203
21.80/7.43	c (1,0) c Glues_3 : 191
21.80/7.43	c (1,0) c Glues_4 : 208
21.80/7.43	c (1,0) c Glues_5 : 198
21.80/7.43	c (1,0) c Glues_6 : 247
21.80/7.43	c (1,0) c Glues_7 : 261
21.80/7.43	c (1,0) c Glues_total : 1658
21.80/7.43	c (1,0) c Glues_winner : 247
21.80/7.43	c (1,0) c RunningTime_0 : 0.428205
21.80/7.43	c (1,0) c RunningTime_1 : 0.431762
21.80/7.43	c (1,0) c RunningTime_2 : 0.403491
21.80/7.43	c (1,0) c RunningTime_3 : 0.393676
21.80/7.43	c (1,0) c RunningTime_4 : 0.399179
21.80/7.43	c (1,0) c RunningTime_5 : 0.392563
21.80/7.43	c (1,0) c RunningTime_6 : 0.397320
21.80/7.43	c (1,0) c RunningTime_7 : 0.364039
21.80/7.43	c (1,0) c RunningTime_total : 3.210234
21.80/7.43	c (1,0) c RunningTime_winner : 0.397320
21.80/7.43	c (1,0) c WaitingTime_0 : 0.000000
21.80/7.43	c (1,0) c WaitingTime_1 : 0.000000
21.80/7.43	c (1,0) c WaitingTime_2 : 0.000000
21.80/7.43	c (1,0) c WaitingTime_3 : 0.000000
21.80/7.43	c (1,0) c WaitingTime_4 : 0.000000
21.80/7.43	c (1,0) c WaitingTime_5 : 0.000000
21.80/7.43	c (1,0) c WaitingTime_6 : 0.000000
21.80/7.43	c (1,0) c WaitingTime_7 : 0.000000
21.80/7.43	c (1,0) c WaitingTime_total : 0.000000
21.80/7.43	c (1,0) c WaitingTime_winner : 0.000000
21.80/7.43	c (1,0) c ExchangingTime_0 : 0.000393
21.80/7.43	c (1,0) c ExchangingTime_1 : 0.000360
21.80/7.43	c (1,0) c ExchangingTime_2 : 0.000588
21.80/7.43	c (1,0) c ExchangingTime_3 : 0.000418
21.80/7.43	c (1,0) c ExchangingTime_4 : 0.000391
21.80/7.43	c (1,0) c ExchangingTime_5 : 0.000392
21.80/7.43	c (1,0) c ExchangingTime_6 : 0.000396
21.80/7.43	c (1,0) c ExchangingTime_7 : 0.000390
21.80/7.43	c (1,0) c ExchangingTime_total : 0.003329
21.80/7.43	c (1,0) c ExchangingTime_winner : 0.000396
21.80/7.43	c (1,0) c PeriodProcTime_0 : 0.000037
21.80/7.43	c (1,0) c PeriodProcTime_1 : 0.000038
21.80/7.43	c (1,0) c PeriodProcTime_2 : 0.000045
21.80/7.43	c (1,0) c PeriodProcTime_3 : 0.000057
21.80/7.43	c (1,0) c PeriodProcTime_4 : 0.000040
21.80/7.43	c (1,0) c PeriodProcTime_5 : 0.000033
21.80/7.43	c (1,0) c PeriodProcTime_6 : 0.000024
21.80/7.43	c (1,0) c PeriodProcTime_7 : 0.000033
21.80/7.43	c (1,0) c PeriodProcTime_total : 0.000306
21.80/7.43	c (1,0) c PeriodProcTime_winner : 0.000024
21.80/7.43	c (1,0) c SolvingTime_0 : 0.428635
21.80/7.43	c (1,0) c SolvingTime_1 : 0.432160
21.80/7.43	c (1,0) c SolvingTime_2 : 0.404124
21.80/7.43	c (1,0) c SolvingTime_3 : 0.394151
21.80/7.43	c (1,0) c SolvingTime_4 : 0.399610
21.80/7.43	c (1,0) c SolvingTime_5 : 0.392987
21.80/7.43	c (1,0) c SolvingTime_6 : 0.397740
21.80/7.43	c (1,0) c SolvingTime_7 : 0.364461
21.80/7.43	c (1,0) c SolvingTime_total : 3.213869
21.80/7.43	c (1,0) c SolvingTime_winner : 0.397740
21.80/7.43	c (1,0) c PropagationTime_0 : 0.368872
21.80/7.43	c (1,0) c PropagationTime_1 : 0.376624
21.80/7.43	c (1,0) c PropagationTime_2 : 0.341267
21.80/7.43	c (1,0) c PropagationTime_3 : 0.342919
21.80/7.43	c (1,0) c PropagationTime_4 : 0.334997
21.80/7.43	c (1,0) c PropagationTime_5 : 0.333246
21.80/7.43	c (1,0) c PropagationTime_6 : 0.336402
21.80/7.43	c (1,0) c PropagationTime_7 : 0.304127
21.80/7.43	c (1,0) c PropagationTime_total : 2.738455
21.80/7.43	c (1,0) c PropagationTime_winner : 0.336402
21.80/7.43	c (1,0) c AnalysisTime_0 : 0.035658
21.80/7.43	c (1,0) c AnalysisTime_1 : 0.034015
21.80/7.43	c (1,0) c AnalysisTime_2 : 0.035382
21.80/7.43	c (1,0) c AnalysisTime_3 : 0.036309
21.80/7.43	c (1,0) c AnalysisTime_4 : 0.034706
21.80/7.43	c (1,0) c AnalysisTime_5 : 0.032879
21.80/7.43	c (1,0) c AnalysisTime_6 : 0.032280
21.80/7.43	c (1,0) c AnalysisTime_7 : 0.033209
21.80/7.43	c (1,0) c AnalysisTime_total : 0.274439
21.80/7.43	c (1,0) c AnalysisTime_winner : 0.032280
21.80/7.43	c (1,0) c ReductionTime_0 : 0.000321
21.80/7.43	c (1,0) c ReductionTime_1 : 0.000317
21.80/7.43	c (1,0) c ReductionTime_2 : 0.000317
21.80/7.43	c (1,0) c ReductionTime_3 : 0.000303
21.80/7.43	c (1,0) c ReductionTime_4 : 0.000315
21.80/7.43	c (1,0) c ReductionTime_5 : 0.000305
21.80/7.43	c (1,0) c ReductionTime_6 : 0.000312
21.80/7.43	c (1,0) c ReductionTime_7 : 0.000307
21.80/7.43	c (1,0) c ReductionTime_total : 0.002497
21.80/7.43	c (1,0) c ReductionTime_winner : 0.000312
21.80/7.43	c (1,0) c SimplifyTime_0 : 0.008827
21.80/7.43	c (1,0) c SimplifyTime_1 : 0.006093
21.80/7.43	c (1,0) c SimplifyTime_2 : 0.011350
21.80/7.43	c (1,0) c SimplifyTime_3 : 0.000001
21.80/7.43	c (1,0) c SimplifyTime_4 : 0.012337
21.80/7.43	c (1,0) c SimplifyTime_5 : 0.012201
21.80/7.43	c (1,0) c SimplifyTime_6 : 0.013968
21.80/7.43	c (1,0) c SimplifyTime_7 : 0.012610
21.80/7.43	c (1,0) c SimplifyTime_total : 0.077386
21.80/7.43	c (1,0) c SimplifyTime_winner : 0.013968
21.80/7.43	c (1,0) c UsedRateTime_0 : 0.000000
21.80/7.43	c (1,0) c UsedRateTime_1 : 0.000000
21.80/7.43	c (1,0) c UsedRateTime_2 : 0.000000
21.80/7.43	c (1,0) c UsedRateTime_3 : 0.000000
21.80/7.43	c (1,0) c UsedRateTime_4 : 0.000000
21.80/7.43	c (1,0) c UsedRateTime_5 : 0.000000
21.80/7.43	c (1,0) c UsedRateTime_6 : 0.000000
21.80/7.43	c (1,0) c UsedRateTime_7 : 0.000000
21.80/7.43	c (1,0) c UsedRateTime_total : 0.000000
21.80/7.43	c (1,0) c UsedRateTime_winner : 0.000000
21.80/7.43	c (1,0) c OverlapRateTime_0 : 0.000000
21.80/7.43	c (1,0) c OverlapRateTime_1 : 0.000000
21.80/7.43	c (1,0) c OverlapRateTime_2 : 0.000000
21.80/7.43	c (1,0) c OverlapRateTime_3 : 0.000000
21.80/7.43	c (1,0) c OverlapRateTime_4 : 0.000000
21.80/7.43	c (1,0) c OverlapRateTime_5 : 0.000000
21.80/7.43	c (1,0) c OverlapRateTime_6 : 0.000000
21.80/7.43	c (1,0) c OverlapRateTime_7 : 0.000000
21.80/7.43	c (1,0) c OverlapRateTime_total : 0.000000
21.80/7.43	c (1,0) c OverlapRateTime_winner : 0.000000
21.80/7.43	c (1,0) c
21.80/7.43	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.80/7.43	c (1,0) c
21.80/7.43	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.43	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.80/7.43	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.43	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.80/7.43	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.80/7.43	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.80/7.43	c (1,0) c | Initial random_seed   |  677538093 | 2107071523 | 1659889978 | 1022587605 | 1668157525 |  869522388 |  585276997 | 1950353840 |
21.80/7.43	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.80/7.43	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.80/7.43	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.80/7.43	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.80/7.43	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.80/7.43	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.80/7.43	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.80/7.43	c (1,0) c | var_decay             |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
21.80/7.43	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.80/7.43	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.80/7.43	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.80/7.43	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.80/7.43	c (1,0) 
21.80/7.44	c (1,0) s UNSATISFIABLE
21.80/7.44	c (1,0) SatSolver.solve End
21.80/7.44	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
21.80/7.44	c (1,0) Show results Begin
21.80/7.44	s UNSATISFIABLE
21.80/7.44	c (1,0) Show results End
21.80/7.44	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
21.80/7.44	c (1,0) 1,1,STOP-AFTER(ALL)
21.80/7.44	c END-Prog: Sat Sep 14 09:55:24 CEST 2019

Verifier Data


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 (15130 MiB free)
  memory of node 1: 16384 MiB (15590 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392586-1568447759/watcher-4392586-1568447759 -o /tmp/evaluation-result-4392586-1568447759/solver-4392586-1568447759 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --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-4392586-1568447759.xml 

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

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

solver pid=17885, runsolver pid=17882

[startup+0.100189 s]*
/proc/loadavg: 4.90 6.63 7.35 3/211 17907
/proc/meminfo: memFree=31362592/32770624 swapFree=66982588/67108860
[pid=17885] ppid=17882 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17885/stat : 17885 (scop.sh) S 17882 17885 15998 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421038523 115843072 349 33554432000 4194304 5098028 140725053857888 140725053855144 140185980719740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23883776 140725053862692 140725053863020 140725053863020 140725053865933 0
/proc/17885/statm: 28282 349 296 221 0 87 0
[pid=17888] ppid=17885 vsize=27314120 memory=106464 CPUtime=0.11 cores=0-7
/proc/17888/stat : 17888 (java) S 17885 17885 15998 0 -1 1077944320 6680 0 0 0 9 2 0 0 20 0 20 0 421038524 27969658880 26616 33554432000 4194304 4196468 140725886569488 140725886552032 140114123648759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
/proc/17888/statm: 6828530 26616 2801 1 0 6790935 0
[pid=17888/tid=17889] ppid=17885 vsize=27314120 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/17888/task/17889/stat : 17889 (java) R 17885 17885 15998 0 -1 4202560 4787 0 0 0 7 1 0 0 20 0 20 0 421038524 27969658880 26616 33554432000 4194304 4196468 140725886569488 140114095473616 140114109342262 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17890] ppid=17885 vsize=27314120 memory=732370821085785061 CPUtime=0 cores=0-7
/proc/17888/task/17890/stat : 17890 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 26616 33554432000 4194304 4196468 140725886569488 140114127891600 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17891] ppid=17885 vsize=27314120 memory=140682748331648 CPUtime=0 cores=0-7
/proc/17888/task/17891/stat : 17891 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 26616 33554432000 4194304 4196468 140725886569488 140113942047760 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17892] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17892/stat : 17892 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 26616 33554432000 4194304 4196468 140725886569488 140113940994960 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17893] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17893/stat : 17893 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 26616 33554432000 4194304 4196468 140725886569488 140113939942160 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17894] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17894/stat : 17894 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 26616 33554432000 4194304 4196468 140725886569488 140113938889360 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17895] ppid=17885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17888/task/17895/stat : 17895 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 26616 33554432000 4194304 4196468 140725886569488 140113937836560 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17896] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17896/stat : 17896 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 26616 33554432000 4194304 4196468 140725886569488 140113936783760 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17897] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17897/stat : 17897 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 26616 33554432000 4194304 4196468 140725886569488 140113935730960 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17898] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17898/stat : 17898 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421038528 27969658880 26616 33554432000 4194304 4196468 140725886569488 140112175242096 140114123659906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17899] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17899/stat : 17899 (java) S 17885 17885 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421038528 27969658880 26616 33554432000 4194304 4196468 140725886569488 140112100845088 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17900] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17900/stat : 17900 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038529 27969658880 26616 33554432000 4194304 4196468 140725886569488 140111832409456 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17901] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17901/stat : 17901 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 26616 33554432000 4194304 4196468 140725886569488 140111457900880 140114123667355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17902] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17902/stat : 17902 (java) S 17885 17885 15998 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 26616 33554432000 4194304 4196468 140725886569488 140112174188912 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17903] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17903/stat : 17903 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 26616 33554432000 4194304 4196468 140725886569488 140112173136112 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17904] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17904/stat : 17904 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 26616 33554432000 4194304 4196468 140725886569488 140112172083312 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17905] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17905/stat : 17905 (java) S 17885 17885 15998 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 26616 33554432000 4194304 4196468 140725886569488 140112171030512 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17906] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17906/stat : 17906 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 26616 33554432000 4194304 4196468 140725886569488 140110959996000 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17907] ppid=17885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17888/task/17907/stat : 17907 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038532 27969658880 26616 33554432000 4194304 4196468 140725886569488 140112169978928 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107860 KiB

[startup+0.210042 s]*
/proc/loadavg: 4.90 6.63 7.35 3/211 17907
/proc/meminfo: memFree=31341204/32770624 swapFree=66982588/67108860
[pid=17885] ppid=17882 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17885/stat : 17885 (scop.sh) S 17882 17885 15998 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421038523 115843072 349 33554432000 4194304 5098028 140725053857888 140725053855144 140185980719740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23883776 140725053862692 140725053863020 140725053863020 140725053865933 0
/proc/17885/statm: 28282 349 296 221 0 87 0
[pid=17888] ppid=17885 vsize=27314120 memory=125556 CPUtime=0.25 cores=0-7
/proc/17888/stat : 17888 (java) S 17885 17885 15998 0 -1 1077944320 12301 0 0 0 21 4 0 0 20 0 20 0 421038524 27969658880 31389 33554432000 4194304 4196468 140725886569488 140725886552032 140114123648759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
/proc/17888/statm: 6828530 31389 2938 1 0 6790935 0
[pid=17888/tid=17889] ppid=17885 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/17888/task/17889/stat : 17889 (java) R 17885 17885 15998 0 -1 4202560 10021 0 0 0 16 3 0 0 20 0 20 0 421038524 27969658880 31389 33554432000 4194304 4196468 140725886569488 140114095448144 140114105212311 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17890] ppid=17885 vsize=27314120 memory=732370821085785061 CPUtime=0 cores=0-7
/proc/17888/task/17890/stat : 17890 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 31389 33554432000 4194304 4196468 140725886569488 140114127891600 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17891] ppid=17885 vsize=27314120 memory=140682748331648 CPUtime=0 cores=0-7
/proc/17888/task/17891/stat : 17891 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 31389 33554432000 4194304 4196468 140725886569488 140113942047760 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17892] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17892/stat : 17892 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 31389 33554432000 4194304 4196468 140725886569488 140113940994960 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17893] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17893/stat : 17893 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 31389 33554432000 4194304 4196468 140725886569488 140113939942160 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17894] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17894/stat : 17894 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 31389 33554432000 4194304 4196468 140725886569488 140113938889360 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17895] ppid=17885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17888/task/17895/stat : 17895 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 31389 33554432000 4194304 4196468 140725886569488 140113937836560 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17896] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17896/stat : 17896 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 31389 33554432000 4194304 4196468 140725886569488 140113936783760 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17897] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17897/stat : 17897 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 31389 33554432000 4194304 4196468 140725886569488 140113935730960 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17898] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17898/stat : 17898 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421038528 27969658880 31389 33554432000 4194304 4196468 140725886569488 140112175242096 140114123659906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17899] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17899/stat : 17899 (java) S 17885 17885 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421038528 27969658880 31389 33554432000 4194304 4196468 140725886569488 140112100845088 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17900] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17900/stat : 17900 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038529 27969658880 31389 33554432000 4194304 4196468 140725886569488 140111832409456 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17901] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17901/stat : 17901 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 31389 33554432000 4194304 4196468 140725886569488 140111457900880 140114123667355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17902] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17902/stat : 17902 (java) S 17885 17885 15998 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 31389 33554432000 4194304 4196468 140725886569488 140112174188912 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17903] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17903/stat : 17903 (java) S 17885 17885 15998 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 31389 33554432000 4194304 4196468 140725886569488 140112173136112 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17904] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17904/stat : 17904 (java) S 17885 17885 15998 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 31389 33554432000 4194304 4196468 140725886569488 140112172083312 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17905] ppid=17885 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/17888/task/17905/stat : 17905 (java) S 17885 17885 15998 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 421038531 27969658880 31389 33554432000 4194304 4196468 140725886569488 140112171030512 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17906] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17906/stat : 17906 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 31389 33554432000 4194304 4196468 140725886569488 140110959996000 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17907] ppid=17885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17888/task/17907/stat : 17907 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038532 27969658880 31389 33554432000 4194304 4196468 140725886569488 140112169978928 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126952 KiB

[startup+0.309464 s]*
/proc/loadavg: 4.90 6.63 7.35 2/211 17907
/proc/meminfo: memFree=31338172/32770624 swapFree=66982588/67108860
[pid=17885] ppid=17882 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17885/stat : 17885 (scop.sh) S 17882 17885 15998 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421038523 115843072 349 33554432000 4194304 5098028 140725053857888 140725053855144 140185980719740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23883776 140725053862692 140725053863020 140725053863020 140725053865933 0
/proc/17885/statm: 28282 349 296 221 0 87 0
[pid=17888] ppid=17885 vsize=27314120 memory=129612 CPUtime=0.42 cores=0-7
/proc/17888/stat : 17888 (java) S 17885 17885 15998 0 -1 1077944320 12788 0 0 0 38 4 0 0 20 0 20 0 421038524 27969658880 32403 33554432000 4194304 4196468 140725886569488 140725886552032 140114123648759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
/proc/17888/statm: 6828530 32403 3006 1 0 6790935 0
[pid=17888/tid=17889] ppid=17885 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/17888/task/17889/stat : 17889 (java) R 17885 17885 15998 0 -1 4202560 10320 0 0 0 26 3 0 0 20 0 20 0 421038524 27969658880 32403 33554432000 4194304 4196468 140725886569488 140114095442864 140114107729246 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17890] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17890/stat : 17890 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 32403 33554432000 4194304 4196468 140725886569488 140114127891600 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17891] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17891/stat : 17891 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 32403 33554432000 4194304 4196468 140725886569488 140113942047760 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17892] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17892/stat : 17892 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 32403 33554432000 4194304 4196468 140725886569488 140113940994960 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17893] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17893/stat : 17893 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 32403 33554432000 4194304 4196468 140725886569488 140113939942160 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17894] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17894/stat : 17894 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 32403 33554432000 4194304 4196468 140725886569488 140113938889360 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17895] ppid=17885 vsize=27314120 memory=140682593397423 CPUtime=0 cores=0-7
/proc/17888/task/17895/stat : 17895 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 32403 33554432000 4194304 4196468 140725886569488 140113937836560 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17896] ppid=17885 vsize=27314120 memory=140682593399728 CPUtime=0 cores=0-7
/proc/17888/task/17896/stat : 17896 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 32403 33554432000 4194304 4196468 140725886569488 140113936783760 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17897] ppid=17885 vsize=27314120 memory=140682593402032 CPUtime=0 cores=0-7
/proc/17888/task/17897/stat : 17897 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421038526 27969658880 32403 33554432000 4194304 4196468 140725886569488 140113935730960 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17898] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17898/stat : 17898 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421038528 27969658880 32403 33554432000 4194304 4196468 140725886569488 140112175242096 140114123659906 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17899] ppid=17885 vsize=27314120 memory=281365186817936 CPUtime=0 cores=0-7
/proc/17888/task/17899/stat : 17899 (java) S 17885 17885 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421038528 27969658880 32403 33554432000 4194304 4196468 140725886569488 140112100845088 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17900] ppid=17885 vsize=27314120 memory=281365186815632 CPUtime=0 cores=0-7
/proc/17888/task/17900/stat : 17900 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038529 27969658880 32403 33554432000 4194304 4196468 140725886569488 140111832409456 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17901] ppid=17885 vsize=27314120 memory=281365186822544 CPUtime=0 cores=0-7
/proc/17888/task/17901/stat : 17901 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 32403 33554432000 4194304 4196468 140725886569488 140111457900880 140114123667355 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17902] ppid=17885 vsize=27314120 memory=281365186763792 CPUtime=0.01 cores=0-7
/proc/17888/task/17902/stat : 17902 (java) S 17885 17885 15998 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 20 0 421038531 27969658880 32403 33554432000 4194304 4196468 140725886569488 140112174188912 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17903] ppid=17885 vsize=27314120 memory=281365186836368 CPUtime=0.01 cores=0-7
/proc/17888/task/17903/stat : 17903 (java) S 17885 17885 15998 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 421038531 27969658880 32403 33554432000 4194304 4196468 140725886569488 140112173136112 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17904] ppid=17885 vsize=27314120 memory=281365186843280 CPUtime=0.02 cores=0-7
/proc/17888/task/17904/stat : 17904 (java) R 17885 17885 15998 0 -1 4202560 242 0 0 0 2 0 0 0 20 0 20 0 421038531 27969658880 32403 33554432000 4194304 4196468 140725886569488 140112172083312 140114107554925 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17905] ppid=17885 vsize=27314120 memory=281365186840976 CPUtime=0.07 cores=0-7
/proc/17888/task/17905/stat : 17905 (java) S 17885 17885 15998 0 -1 1077944384 499 0 0 0 7 0 0 0 20 0 20 0 421038531 27969658880 32403 33554432000 4194304 4196468 140725886569488 140112171030512 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17906] ppid=17885 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17906/stat : 17906 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421038531 27969658880 32403 33554432000 4194304 4196468 140725886569488 140110959996000 140114123658965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17907] ppid=17885 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17888/task/17907/stat : 17907 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038532 27969658880 32403 33554432000 4194304 4196468 140725886569488 140112169978928 140114123659906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131008 KiB

[startup+0.700904 s]
/proc/loadavg: 4.90 6.63 7.35 2/211 17907
/proc/meminfo: memFree=31318040/32770624 swapFree=66982588/67108860
[pid=17885] ppid=17882 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17885/stat : 17885 (scop.sh) S 17882 17885 15998 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421038523 115843072 349 33554432000 4194304 5098028 140725053857888 140725053855144 140185980719740 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23883776 140725053862692 140725053863020 140725053863020 140725053865933 0
/proc/17885/statm: 28282 349 296 221 0 87 0
[pid=17888] ppid=17885 vsize=27320392 memory=165328 CPUtime=0.99 cores=0-7
/proc/17888/stat : 17888 (java) S 17885 17885 15998 0 -1 1077944320 20431 0 0 0 93 6 0 0 20 0 20 0 421038524 27976081408 41332 33554432000 4194304 4196468 140725886569488 140725886552032 140114123648759 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
/proc/17888/statm: 6830098 41332 3178 1 0 6791447 0
[pid=17888/tid=17889] ppid=17885 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/17888/task/17889/stat : 17889 (java) R 17885 17885 15998 0 -1 4202560 17377 0 0 0 63 5 0 0 20 0 20 0 421038524 27976081408 41332 33554432000 4194304 4196468 140725886569488 140114095486336 140114123660694 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17890] ppid=17885 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17890/stat : 17890 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27976081408 41332 33554432000 4194304 4196468 140725886569488 140114127891600 140114123658965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17891] ppid=17885 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17891/stat : 17891 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421038526 27976081408 41332 33554432000 4194304 4196468 140725886569488 140113942047760 140114123658965 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0
[pid=17888/tid=17892] ppid=17885 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/17888/task/17892/stat : 17892 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421038526 27976081408 41332 33554432000 4194304 4196468 140725886569488 140113940994960 140114123658965 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140725886575338 140725886575766 140725886575766 140725886578639 0

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

/proc/17911/statm: 2103531 33426 3207 1 0 2064875 0
[pid=17911/tid=17912] ppid=17885 vsize=8414124 memory=984 CPUtime=0.93 cores=0-7
/proc/17911/task/17912/stat : 17912 (java) S 17885 17885 15998 0 -1 1077944384 18029 0 0 0 82 11 0 0 20 0 24 0 421039075 8616062976 33426 33554432000 4194304 4196468 140720928301904 139706030067616 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17913] ppid=17885 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/17911/task/17913/stat : 17913 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139706062469392 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17914] ppid=17885 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/17911/task/17914/stat : 17914 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705543199120 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17915] ppid=17885 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/17911/task/17915/stat : 17915 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705542146576 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17916] ppid=17885 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/17911/task/17916/stat : 17916 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705541094032 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17917] ppid=17885 vsize=8414124 memory=1028 CPUtime=0 cores=0-7
/proc/17911/task/17917/stat : 17917 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705540041488 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17918] ppid=17885 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/17911/task/17918/stat : 17918 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705538988944 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17919] ppid=17885 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/17911/task/17919/stat : 17919 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705537936400 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17920] ppid=17885 vsize=8414124 memory=756 CPUtime=0 cores=0-7
/proc/17911/task/17920/stat : 17920 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705536883856 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17921] ppid=17885 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/17911/task/17921/stat : 17921 (java) S 17885 17885 15998 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 421039078 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705084532720 139706058238594 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17922] ppid=17885 vsize=8414124 memory=7980 CPUtime=0 cores=0-7
/proc/17911/task/17922/stat : 17922 (java) S 17885 17885 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421039079 8616062976 33426 33554432000 4194304 4196468 140720928301904 139704682931104 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17923] ppid=17885 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/17911/task/17923/stat : 17923 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039079 8616062976 33426 33554432000 4194304 4196468 140720928301904 139704414495728 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17924] ppid=17885 vsize=8414124 memory=9580 CPUtime=0 cores=0-7
/proc/17911/task/17924/stat : 17924 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139704039987408 139706058246043 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17925] ppid=17885 vsize=8414124 memory=1396 CPUtime=0.19 cores=0-7
/proc/17911/task/17925/stat : 17925 (java) S 17885 17885 15998 0 -1 1077944384 579 0 0 0 19 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705083480560 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17926] ppid=17885 vsize=8414124 memory=6791534058613427641 CPUtime=0.18 cores=0-7
/proc/17911/task/17926/stat : 17926 (java) S 17885 17885 15998 0 -1 1077944384 737 0 0 0 18 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705082428016 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17927] ppid=17885 vsize=8414124 memory=288230617509003574 CPUtime=0.2 cores=0-7
/proc/17911/task/17927/stat : 17927 (java) S 17885 17885 15998 0 -1 1077944384 758 0 0 0 20 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705081375472 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17928] ppid=17885 vsize=8414124 memory=15252640887999028 CPUtime=0.24 cores=0-7
/proc/17911/task/17928/stat : 17928 (java) S 17885 17885 15998 0 -1 1077944384 876 0 0 0 24 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705080322928 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17929] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17929/stat : 17929 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421039082 8616062976 33426 33554432000 4194304 4196468 140720928301904 139703542081760 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17930] ppid=17885 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/17911/task/17930/stat : 17930 (java) D 17885 17885 15998 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 421039082 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705079269728 139706043083534 0 4 2 25189581 18446744072100220037 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
Current children cumulated CPU time: 18.39 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 135180 KiB

[startup+7.00077 s]
/proc/loadavg: 4.99 6.62 7.34 5/211 17930
/proc/meminfo: memFree=31360772/32770624 swapFree=66982588/67108860
[pid=17885] ppid=17882 vsize=113128 memory=1476 CPUtime=16.6 cores=0-7
/proc/17885/stat : 17885 (scop.sh) S 17882 17885 15998 0 -1 4202496 582 34979 0 0 0 0 1607 53 20 0 1 0 421038523 115843072 369 33554432000 4194304 5098028 140725053857888 140725053854632 140185980719740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23883776 140725053862692 140725053863020 140725053863020 140725053865933 0
/proc/17885/statm: 28282 369 311 221 0 87 0
[pid=17911] ppid=17885 vsize=8414124 memory=133704 CPUtime=1.79 cores=0-7
/proc/17911/stat : 17911 (java) S 17885 17885 15998 0 -1 1077944320 22382 0 0 0 166 13 0 0 20 0 24 0 421039075 8616062976 33426 33554432000 4194304 4196468 140720928301904 140720928284448 139706058227447 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
/proc/17911/statm: 2103531 33426 3207 1 0 2064875 0
[pid=17911/tid=17912] ppid=17885 vsize=8414124 memory=2404 CPUtime=0.93 cores=0-7
/proc/17911/task/17912/stat : 17912 (java) S 17885 17885 15998 0 -1 1077944384 18029 0 0 0 82 11 0 0 20 0 24 0 421039075 8616062976 33426 33554432000 4194304 4196468 140720928301904 139706030067616 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17913] ppid=17885 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/17911/task/17913/stat : 17913 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139706062469392 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17914] ppid=17885 vsize=8414124 memory=1394928 CPUtime=0 cores=0-7
/proc/17911/task/17914/stat : 17914 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705543199120 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17915] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17915/stat : 17915 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705542146576 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17916] ppid=17885 vsize=8414124 memory=217497143905215 CPUtime=0 cores=0-7
/proc/17911/task/17916/stat : 17916 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705541094032 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17917] ppid=17885 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/17911/task/17917/stat : 17917 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705540041488 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17918] ppid=17885 vsize=8414124 memory=119812 CPUtime=0 cores=0-7
/proc/17911/task/17918/stat : 17918 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705538988944 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17919] ppid=17885 vsize=8414124 memory=140682593501328 CPUtime=0 cores=0-7
/proc/17911/task/17919/stat : 17919 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705537936400 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17920] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17920/stat : 17920 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705536883856 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17921] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17921/stat : 17921 (java) S 17885 17885 15998 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 421039078 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705084532720 139706058238594 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17922] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17922/stat : 17922 (java) S 17885 17885 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421039079 8616062976 33426 33554432000 4194304 4196468 140720928301904 139704682931104 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17923] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17923/stat : 17923 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039079 8616062976 33426 33554432000 4194304 4196468 140720928301904 139704414495728 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17924] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17924/stat : 17924 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139704039987408 139706058246043 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17925] ppid=17885 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/17911/task/17925/stat : 17925 (java) S 17885 17885 15998 0 -1 1077944384 579 0 0 0 19 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705083480560 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17926] ppid=17885 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/17911/task/17926/stat : 17926 (java) S 17885 17885 15998 0 -1 1077944384 737 0 0 0 18 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705082428016 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17927] ppid=17885 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/17911/task/17927/stat : 17927 (java) S 17885 17885 15998 0 -1 1077944384 758 0 0 0 20 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705081375472 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17928] ppid=17885 vsize=8414124 memory=0 CPUtime=0.25 cores=0-7
/proc/17911/task/17928/stat : 17928 (java) S 17885 17885 15998 0 -1 1077944384 878 0 0 0 25 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705080322928 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17929] ppid=17885 vsize=8414124 memory=140682593519601 CPUtime=0 cores=0-7
/proc/17911/task/17929/stat : 17929 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421039082 8616062976 33426 33554432000 4194304 4196468 140720928301904 139703542081760 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17930] ppid=17885 vsize=8414124 memory=15620 CPUtime=0 cores=0-7
/proc/17911/task/17930/stat : 17930 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421039082 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705079269808 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
Current children cumulated CPU time: 18.39 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 135180 KiB

[startup+7.40228 s]
/proc/loadavg: 4.83 6.56 7.32 9/224 17944
/proc/meminfo: memFree=31086680/32770624 swapFree=66982588/67108860
[pid=17885] ppid=17882 vsize=113128 memory=1476 CPUtime=16.6 cores=0-7
/proc/17885/stat : 17885 (scop.sh) S 17882 17885 15998 0 -1 4202496 582 34979 0 0 0 0 1607 53 20 0 1 0 421038523 115843072 369 33554432000 4194304 5098028 140725053857888 140725053854632 140185980719740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23883776 140725053862692 140725053863020 140725053863020 140725053865933 0
/proc/17885/statm: 28282 369 311 221 0 87 0
[pid=17911] ppid=17885 vsize=8414124 memory=133704 CPUtime=1.79 cores=0-7
/proc/17911/stat : 17911 (java) S 17885 17885 15998 0 -1 1077944320 22382 0 0 0 166 13 0 0 20 0 24 0 421039075 8616062976 33426 33554432000 4194304 4196468 140720928301904 140720928284448 139706058227447 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
/proc/17911/statm: 2103531 33426 3207 1 0 2064875 0
[pid=17931] ppid=17911 vsize=842292 memory=244808 CPUtime=3.41 cores=0-7
/proc/17931/stat : 17931 (manyglucose-4.1) S 17911 17885 15998 0 -1 1077944320 41447 0 0 0 331 10 0 0 20 0 3 0 421039165 862507008 61202 33554432000 4194304 4454172 140720658101584 140720658099968 140427165167351 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 26198016 140720658109289 140720658109488 140720658109488 140720658112442 0
/proc/17931/statm: 210573 61202 420 64 0 206241 0
[pid=17931/tid=17937] ppid=17911 vsize=842292 memory=1440 CPUtime=0.36 cores=0-7
/proc/17931/task/17937/stat : 17937 (manyglucose-4.1) R 17911 17885 15998 0 -1 4202560 432 0 0 0 36 0 0 0 20 0 3 0 421039222 862507008 61202 33554432000 4194304 4454172 140720658101584 140427124951800 4351334 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 26198016 140720658109289 140720658109488 140720658109488 140720658112442 0
[pid=17931/tid=17938] ppid=17911 vsize=842292 memory=920 CPUtime=0.36 cores=0-7
/proc/17931/task/17938/stat : 17938 (manyglucose-4.1) R 17911 17885 15998 0 -1 4202560 500 0 0 0 36 0 0 0 20 0 3 0 421039222 862507008 61202 33554432000 4194304 4454172 140720658101584 140427116559144 4351342 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 26198016 140720658109289 140720658109488 140720658109488 140720658112442 0
[pid=17911/tid=17912] ppid=17885 vsize=8414124 memory=133704 CPUtime=0.93 cores=0-7
/proc/17911/task/17912/stat : 17912 (java) S 17885 17885 15998 0 -1 1077944384 18029 0 0 0 82 11 0 0 20 0 24 0 421039075 8616062976 33426 33554432000 4194304 4196468 140720928301904 139706030067616 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17913] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17913/stat : 17913 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139706062469392 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17914] ppid=17885 vsize=8414124 memory=297556572 CPUtime=0 cores=0-7
/proc/17911/task/17914/stat : 17914 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705543199120 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17915] ppid=17885 vsize=8414124 memory=281365187020232 CPUtime=0 cores=0-7
/proc/17911/task/17915/stat : 17915 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705542146576 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17916] ppid=17885 vsize=8414124 memory=79101352217322 CPUtime=0 cores=0-7
/proc/17911/task/17916/stat : 17916 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705541094032 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17917] ppid=17885 vsize=8414124 memory=79101352217322 CPUtime=0 cores=0-7
/proc/17911/task/17917/stat : 17917 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705540041488 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17918] ppid=17885 vsize=8414124 memory=79101352217322 CPUtime=0 cores=0-7
/proc/17911/task/17918/stat : 17918 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705538988944 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17919] ppid=17885 vsize=8414124 memory=79101352217322 CPUtime=0 cores=0-7
/proc/17911/task/17919/stat : 17919 (java) S 17885 17885 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705537936400 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17920] ppid=17885 vsize=8414124 memory=79101352217322 CPUtime=0 cores=0-7
/proc/17911/task/17920/stat : 17920 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039077 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705536883856 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17921] ppid=17885 vsize=8414124 memory=281365186954752 CPUtime=0 cores=0-7
/proc/17911/task/17921/stat : 17921 (java) S 17885 17885 15998 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 421039078 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705084532720 139706058238594 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17922] ppid=17885 vsize=8414124 memory=79101352217066 CPUtime=0 cores=0-7
/proc/17911/task/17922/stat : 17922 (java) S 17885 17885 15998 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421039079 8616062976 33426 33554432000 4194304 4196468 140720928301904 139704682931104 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17923] ppid=17885 vsize=8414124 memory=79101352216810 CPUtime=0 cores=0-7
/proc/17911/task/17923/stat : 17923 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039079 8616062976 33426 33554432000 4194304 4196468 140720928301904 139704414495728 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17924] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17924/stat : 17924 (java) S 17885 17885 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139704039987408 139706058246043 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17925] ppid=17885 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/17911/task/17925/stat : 17925 (java) S 17885 17885 15998 0 -1 1077944384 579 0 0 0 19 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705083480560 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17926] ppid=17885 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/17911/task/17926/stat : 17926 (java) S 17885 17885 15998 0 -1 1077944384 737 0 0 0 18 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705082428016 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17927] ppid=17885 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/17911/task/17927/stat : 17927 (java) S 17885 17885 15998 0 -1 1077944384 758 0 0 0 20 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705081375472 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17928] ppid=17885 vsize=8414124 memory=0 CPUtime=0.25 cores=0-7
/proc/17911/task/17928/stat : 17928 (java) S 17885 17885 15998 0 -1 1077944384 878 0 0 0 25 0 0 0 20 0 24 0 421039081 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705080322928 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17929] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17929/stat : 17929 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421039082 8616062976 33426 33554432000 4194304 4196468 140720928301904 139703542081760 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17930] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17930/stat : 17930 (java) S 17885 17885 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421039082 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705079269808 139706058238594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17932] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17932/stat : 17932 (java) S 17885 17885 15998 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421039165 8616062976 33426 33554432000 4194304 4196468 140720928301904 139705071236288 139706058252057 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17934] ppid=17885 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17911/task/17934/stat : 17934 (java) S 17885 17885 15998 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 421039165 8616062976 33426 33554432000 4194304 4196468 140720928301904 139702870982416 139706058249373 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17935] ppid=17885 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/17911/task/17935/stat : 17935 (java) S 17885 17885 15998 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 421039165 8616062976 33426 33554432000 4194304 4196468 140720928301904 139703139418000 139706058249373 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
[pid=17911/tid=17936] ppid=17885 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/17911/task/17936/stat : 17936 (java) S 17885 17885 15998 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 421039167 8616062976 33426 33554432000 4194304 4196468 140720928301904 139702602555056 139706058237653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10436608 140720928310263 140720928310422 140720928310422 140720928313295 0
Current children cumulated CPU time: 21.8 s
Current children cumulated vsize: 9369544 KiB
Current children cumulated memory: 379988 KiB

Child status: 0
Real time (s): 7.45528
CPU time (s): 21.9501
CPU user time (s): 21.1505
CPU system time (s): 0.799632
CPU usage (%): 294.424
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1834636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.1505
system time used= 0.799632
maximum resident set size= 1833564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12496
involuntary context switches= 67


# summary of solver processes directly reported to runsolver:
#   pid: 17885
#   total CPU time (s): 21.9501
#   total CPU user time (s): 21.1505
#   total CPU system time (s): 0.799632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079403 second user time and 0.113713 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-14 09:55:16
IDJOB=4392586
IDBENCH=141185
IDSOLVER=2839
FILE ID=node121/4392586-1568447759
RUNJOBID= node121-1568447413-16025
PBS_JOBID= 21702353
Free space on /tmp= 61412 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f05_c18.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-4392586-1568447759/watcher-4392586-1568447759 -o /tmp/evaluation-result-4392586-1568447759/solver-4392586-1568447759 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --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-4392586-1568447759.xml

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

MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628
RANDOM SEED=625749745

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31458292 kB
MemAvailable:   31910980 kB
Buffers:          179968 kB
Cached:           567492 kB
SwapCached:        18184 kB
Active:           412108 kB
Inactive:         357884 kB
Active(anon):       8312 kB
Inactive(anon):    45776 kB
Active(file):     403796 kB
Inactive(file):   312108 kB
Unevictable:      109108 kB
Mlocked:          109108 kB
SwapTotal:      67108860 kB
SwapFree:       66982588 kB
Dirty:             20432 kB
Writeback:             0 kB
AnonPages:        266624 kB
Mapped:            35872 kB
Shmem:             23012 kB
Slab:             134732 kB
SReclaimable:     105240 kB
SUnreclaim:        29492 kB
KernelStack:        3904 kB
PageTables:         5996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61392 MiB
End job on node121 at 2019-09-14 09:55:24