Trace number 4392568

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameQRandom/
QRandom-geometric-rw/geometric-50-20-d4-75-76.xml
MD5SUM67696fc72ebd3977eb7611ca6505cd00
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.043006
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints365
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":50}]
Minimum variable degree6
Maximum variable degree22
Distribution of variable degrees[{"degree":6,"count":1},{"degree":10,"count":4},{"degree":11,"count":2},{"degree":12,"count":6},{"degree":13,"count":7},{"degree":14,"count":7},{"degree":15,"count":5},{"degree":16,"count":5},{"degree":17,"count":3},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":20,"count":2},{"degree":21,"count":1},{"degree":22,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":365}]
Number of extensional constraints365
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":365}]
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-13941-serial-file.bin HOME/instance-4392568-1568426154.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 03:55:09 CEST 2019
0.65/0.57	c PID: 13944
0.65/0.57	c IP: 172.20.3.102
0.65/0.57	c HOST: node102.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.59/1.15	c (0,0) Parsing End
2.59/1.15	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 365 ctr, max domain size 20
2.59/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.59/1.15	c (0,0) Constraint Name Generate Begin
2.59/1.16	c (0,0) Ctr:HOME/instance-4392568-1568426154.xml,ExtensionConflict:Var
2.59/1.16	c (0,0) Constraint Name Generate End
2.59/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.59/1.16	c (0,0) CSP to CSPinCNF Begin
5.15/1.85	c (1,1) translated 37 (10%) constraints
5.98/2.09	c (1,1) translated 73 (20%) constraints
7.16/2.30	c (1,1) translated 110 (30%) constraints
7.97/2.50	c (1,1) translated 146 (40%) constraints
8.37/2.69	c (2,2) translated 183 (50%) constraints
9.17/2.89	c (2,2) translated 219 (60%) constraints
10.01/3.07	c (2,2) translated 256 (70%) constraints
10.72/3.22	c (2,2) translated 292 (80%) constraints
10.93/3.36	c (2,2) translated 329 (90%) constraints
11.43/3.50	c (2,2) translated 365 (100%) constraints
11.43/3.50	c (2,2) ===========================================
11.43/3.53	c (2,2) Hybrid: #OE=50, #LE=0
11.43/3.53	c (2,2) Hybrid
11.43/3.53	c (2,2) ===========================================
11.76/3.63	c (3,3) translated 2778 (10%) constraints
12.05/3.71	c (3,3) translated 5556 (20%) constraints
12.05/3.78	c (3,3) translated 8334 (30%) constraints
12.38/3.85	c (3,3) translated 11111 (40%) constraints
12.58/3.92	c (3,3) translated 13889 (50%) constraints
12.58/3.98	c (3,3) translated 16667 (60%) constraints
12.80/4.05	c (3,3) translated 19444 (70%) constraints
12.99/4.11	c (3,3) translated 22222 (80%) constraints
12.99/4.18	c (3,3) translated 25000 (90%) constraints
13.18/4.24	c (3,3) translated 27777 (100%) constraints
13.18/4.24	c (3,3) CSP to CSPinCNF End
13.18/4.24	c (3,3) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
13.18/4.24	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
13.18/4.24	c (3,3) CSPinCNF Propagation Begin
13.88/4.47	c (3,3) 0 values, 3151 unsatisfiable literals, and 0 valid clauses are removed
13.88/4.47	c (3,3) CSPinCNF Propagation End
13.88/4.47	c (3,3) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
13.88/4.47	c (3,3) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
13.88/4.49	c (3,3) Hybrid: #OE=50, #LE=0
13.88/4.49	c (3,3) Simplify CSPinCNF Begin
14.19/4.59	c (4,4) Simplify CSPinCNF End
14.19/4.59	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
14.19/4.59	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.19/4.59	c (4,4) Calculate Precise Domain Begin
14.19/4.59	c (4,4) 0 values are removed by re-calculation
14.19/4.59	c (4,4) Calculate Precise Domain End
14.19/4.59	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
14.19/4.59	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.19/4.59	c (4,4) CSPinCNF to SatSolver Begin
14.85/4.78	c (4,4) 2778 (10 %) CSP clauses are encoded (0 SAT variables, 3677 SAT clauses)
15.24/4.87	c (4,4) 5556 (20 %) CSP clauses are encoded (0 SAT variables, 6455 SAT clauses)
15.65/4.92	c (4,4) 8334 (30 %) CSP clauses are encoded (0 SAT variables, 9233 SAT clauses)
15.65/4.96	c (4,4) 11111 (40 %) CSP clauses are encoded (0 SAT variables, 12010 SAT clauses)
15.65/5.00	c (4,4) 13889 (50 %) CSP clauses are encoded (0 SAT variables, 14788 SAT clauses)
15.96/5.03	c (4,4) 16667 (60 %) CSP clauses are encoded (0 SAT variables, 17566 SAT clauses)
15.96/5.07	c (4,4) 19444 (70 %) CSP clauses are encoded (0 SAT variables, 20343 SAT clauses)
15.96/5.10	c (4,4) 22222 (80 %) CSP clauses are encoded (0 SAT variables, 23121 SAT clauses)
16.06/5.13	c (4,4) 25000 (90 %) CSP clauses are encoded (0 SAT variables, 25899 SAT clauses)
16.06/5.17	c (4,4) 27777 (100 %) CSP clauses are encoded (0 SAT variables, 28676 SAT clauses)
16.06/5.17	c (4,4) CSPinCNF to SatSolver End
16.06/5.17	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.06/5.17	c (4,4) 950 bool, 28677 clause
16.06/5.17	c (4,4) Export Begin
16.17/5.26	c (4,4) Export to HOME/scop-13941-serial-file.bin
16.17/5.26	c (4,4) Export End
16.17/5.26	c (4,4) Export File Size: 0.01 MB
16.17/5.26	c (4,4) 0,0,3,3,4,4,4,STOP-AFTER(DIMACS)
16.17/5.26	c END-Prog: Sat Sep 14 03:55:14 CEST 2019
16.17/5.28	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13941-serial-file.bin
16.34/5.74	c (0,0) Read Serial File Begin
16.34/5.74	c (0,0) HOME/scop-13941-serial-file.bin
16.34/5.96	c (0,0) Read Serial File End
16.34/5.97	
16.34/5.97	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
16.34/5.97	(Solving Process)
16.34/5.97	
16.34/5.99	c BEGIN-Prog: Sat Sep 14 03:55:15 CEST 2019
16.34/5.99	c PID: 13965
16.34/5.99	c IP: 172.20.3.102
16.34/5.99	c HOST: node102.alineos.net
16.34/5.99	c (0,0) SatSolver.solve Begin
16.34/5.99	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392568-1568426154.xml-scop-13944.cnf
17.35/6.02	c (0,0) c
17.35/6.02	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)
17.35/6.02	c (0,0) c
17.35/6.02	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.35/6.02	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.35/6.02	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.35/6.02	c (0,0) c |                                                                                                       |
17.35/6.03	c (0,0) c |  Number of variables:           950                                                                   |
17.35/6.03	c (0,0) c |  Number of clauses:           28677                                                                   |
17.35/6.03	c (0,0) c |  Parse time:                   0.01 s                                                                 |
17.35/6.03	c (0,0) c |                                                                                                       |
17.35/6.05	c (0,0) c |  Simplification time:          0.02 s                                                                 |
17.35/6.05	c (0,0) c |                                                                                                       |
17.35/6.05	c (0,0) c |  Generating clones                                                                                    |
17.35/6.06	c (0,0) c |  all clones generated. Memory =    35.86Mb.                                                           |
17.35/6.06	c (0,0) c ========================================================================================================|
17.35/6.06	c (0,0) c
17.35/6.06	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.35/6.06	c (0,0) c
17.35/6.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.06	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.35/6.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.06	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.35/6.06	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.35/6.06	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.35/6.06	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
17.35/6.06	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.35/6.06	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.35/6.06	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.35/6.06	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.35/6.06	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.35/6.06	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.35/6.06	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.35/6.06	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.35/6.06	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.35/6.06	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.35/6.06	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.35/6.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.08	c (0,0) c
17.35/6.08	c (0,0) c real time : 0.0612001 s
17.35/6.08	c (0,0) c cpu time  : 0.069361 s
17.35/6.08	c (0,0) c
17.35/6.08	c (0,0) c
17.35/6.08	c (0,0) c
17.35/6.08	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
17.35/6.08	c (0,0) c
17.35/6.08	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.08	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.35/6.08	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.08	c (0,0) c | Conflicts     |             798 |          7 |        144 |        409 |         25 |         26 |         67 |         83 |         37 |
17.35/6.08	c (0,0) c | Decisions     |            1841 |        164 |        290 |        583 |        147 |        166 |        149 |        192 |        150 |
17.35/6.08	c (0,0) c | Propagations  |           62897 |       1377 |      11070 |      29090 |       3053 |       2484 |       5915 |       6151 |       3757 |
17.35/6.08	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
17.35/6.08	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
17.35/6.08	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | PropBinClauses|           63739 |       1373 |      11128 |      29378 |       3044 |       2476 |       6135 |       6432 |       3773 |
17.35/6.08	c (0,0) c | PropPreBlocker|         1349219 |      37490 |     252926 |     572877 |      76315 |      65256 |     126103 |     124596 |      93656 |
17.35/6.08	c (0,0) c | PropNotBlocker|          384046 |      17939 |      66851 |     147228 |      24069 |      23403 |      40853 |      34804 |      28899 |
17.35/6.08	c (0,0) c | LitFullScans  |         2084439 |      62504 |     383332 |     884045 |     115365 |     100094 |     199847 |     198353 |     140899 |
17.35/6.08	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | DecisionLevel0|               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
17.35/6.08	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
17.35/6.08	c (0,0) c | Avg_Trail     |                 |        635 |        682 |        561 |        743 |        547 |        610 |        768 |        694 |
17.35/6.08	c (0,0) c | Avg_DL        |                 |        112 |         51 |         53 |         63 |         47 |         45 |         66 |         36 |
17.35/6.08	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.08	c (0,0) c | Exported      |               5 |          0 |          0 |          1 |          0 |          2 |          0 |          2 |          0 |
17.35/6.08	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.08	c (0,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
17.35/6.08	c (0,0) c | Glues         |                 |          0 |          0 |          1 |          0 |          2 |          0 |          2 |          0 |
17.35/6.08	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.08	c (0,0) c | Orig_Seen     |             2 % |         75 |       1258 |       1830 |        498 |        288 |        945 |        810 |        591 |
17.35/6.08	c (0,0) c | Diff Orig seen|                 |      X     |       1183 |       1755 |        423 |        213 |        870 |        735 |        516 |
17.35/6.08	c (0,0) c | Hamming       |            33 % |      X     |        345 |        393 |        326 |        272 |        326 |        307 |        281 |
17.35/6.08	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.08	c (0,0) c | RunningTime   |                 |    0.0  99%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|
17.35/6.08	c (0,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.35/6.08	c (0,0) c | ExchangingTime|                 |    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.35/6.08	c (0,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.35/6.08	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
17.35/6.08	c (0,0) c | PropagationTim|                 |    0.0  95%|    0.0  92%|    0.0  88%|    0.0  97%|    0.0  97%|    0.0  96%|    0.0  94%|    0.0  97%|
17.35/6.08	c (0,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   5%|    0.0   9%|    0.0   1%|    0.0   1%|    0.0   3%|    0.0   4%|    0.0   1%|
17.35/6.08	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.35/6.08	c (0,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.35/6.08	c (0,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.35/6.08	c (0,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
17.35/6.08	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.08	c (0,0) c
17.35/6.08	c (0,0) c
17.35/6.08	c (0,0) c Threads : 8
17.35/6.08	c (0,0) c Winner : 0
17.35/6.08	c (0,0) c Conflicts_0 : 7
17.35/6.08	c (0,0) c Conflicts_1 : 144
17.35/6.08	c (0,0) c Conflicts_2 : 409
17.35/6.08	c (0,0) c Conflicts_3 : 25
17.35/6.08	c (0,0) c Conflicts_4 : 26
17.35/6.08	c (0,0) c Conflicts_5 : 67
17.35/6.08	c (0,0) c Conflicts_6 : 83
17.35/6.08	c (0,0) c Conflicts_7 : 37
17.35/6.08	c (0,0) c Conflicts_total : 798
17.35/6.08	c (0,0) c Conflicts_winner : 7
17.35/6.08	c (0,0) c Decisions_0 : 164
17.35/6.08	c (0,0) c Decisions_1 : 290
17.35/6.08	c (0,0) c Decisions_2 : 583
17.35/6.08	c (0,0) c Decisions_3 : 147
17.35/6.08	c (0,0) c Decisions_4 : 166
17.35/6.08	c (0,0) c Decisions_5 : 149
17.35/6.08	c (0,0) c Decisions_6 : 192
17.35/6.08	c (0,0) c Decisions_7 : 150
17.35/6.08	c (0,0) c Decisions_total : 1841
17.35/6.08	c (0,0) c Decisions_winner : 164
17.35/6.08	c (0,0) c Propagations_0 : 1377
17.35/6.08	c (0,0) c Propagations_1 : 11070
17.35/6.08	c (0,0) c Propagations_2 : 29090
17.35/6.08	c (0,0) c Propagations_3 : 3053
17.35/6.08	c (0,0) c Propagations_4 : 2484
17.35/6.08	c (0,0) c Propagations_5 : 5915
17.35/6.08	c (0,0) c Propagations_6 : 6151
17.35/6.08	c (0,0) c Propagations_7 : 3757
17.35/6.08	c (0,0) c Propagations_total : 62897
17.35/6.08	c (0,0) c Propagations_winner : 1377
17.35/6.08	c (0,0) c ReduceDBs_0 : 0
17.35/6.08	c (0,0) c ReduceDBs_1 : 0
17.35/6.08	c (0,0) c ReduceDBs_2 : 0
17.35/6.08	c (0,0) c ReduceDBs_3 : 0
17.35/6.08	c (0,0) c ReduceDBs_4 : 0
17.35/6.08	c (0,0) c ReduceDBs_5 : 0
17.35/6.08	c (0,0) c ReduceDBs_6 : 0
17.35/6.09	c (0,0) c ReduceDBs_7 : 0
17.35/6.09	c (0,0) c ReduceDBs_total : 0
17.35/6.09	c (0,0) c ReduceDBs_winner : 0
17.35/6.09	c (0,0) c SimpDBs_0 : 1
17.35/6.09	c (0,0) c SimpDBs_1 : 1
17.35/6.09	c (0,0) c SimpDBs_2 : 1
17.35/6.09	c (0,0) c SimpDBs_3 : 1
17.35/6.09	c (0,0) c SimpDBs_4 : 1
17.35/6.09	c (0,0) c SimpDBs_5 : 1
17.35/6.09	c (0,0) c SimpDBs_6 : 1
17.35/6.09	c (0,0) c SimpDBs_7 : 1
17.35/6.09	c (0,0) c SimpDBs_total : 8
17.35/6.09	c (0,0) c SimpDBs_winner : 1
17.35/6.09	c (0,0) c Restarts_0 : 1
17.35/6.09	c (0,0) c Restarts_1 : 1
17.35/6.09	c (0,0) c Restarts_2 : 1
17.35/6.09	c (0,0) c Restarts_3 : 1
17.35/6.09	c (0,0) c Restarts_4 : 1
17.35/6.09	c (0,0) c Restarts_5 : 1
17.35/6.09	c (0,0) c Restarts_6 : 1
17.35/6.09	c (0,0) c Restarts_7 : 1
17.35/6.09	c (0,0) c Restarts_total : 8
17.35/6.09	c (0,0) c Restarts_winner : 1
17.35/6.09	c (0,0) c ForcedImports_0 : 0
17.35/6.09	c (0,0) c ForcedImports_1 : 0
17.35/6.09	c (0,0) c ForcedImports_2 : 0
17.35/6.09	c (0,0) c ForcedImports_3 : 0
17.35/6.09	c (0,0) c ForcedImports_4 : 0
17.35/6.09	c (0,0) c ForcedImports_5 : 0
17.35/6.09	c (0,0) c ForcedImports_6 : 0
17.35/6.09	c (0,0) c ForcedImports_7 : 0
17.35/6.09	c (0,0) c ForcedImports_total : 0
17.35/6.09	c (0,0) c ForcedImports_winner : 0
17.35/6.09	c (0,0) c PropsBinClauses_0 : 1373
17.35/6.09	c (0,0) c PropsBinClauses_1 : 11128
17.35/6.09	c (0,0) c PropsBinClauses_2 : 29378
17.35/6.09	c (0,0) c PropsBinClauses_3 : 3044
17.35/6.09	c (0,0) c PropsBinClauses_4 : 2476
17.35/6.09	c (0,0) c PropsBinClauses_5 : 6135
17.35/6.09	c (0,0) c PropsBinClauses_6 : 6432
17.35/6.09	c (0,0) c PropsBinClauses_7 : 3773
17.35/6.09	c (0,0) c PropsBinClauses_total : 63739
17.35/6.09	c (0,0) c PropsBinClauses_winner : 1373
17.35/6.09	c (0,0) c PropsPreBlocker_0 : 37490
17.35/6.09	c (0,0) c PropsPreBlocker_1 : 252926
17.35/6.09	c (0,0) c PropsPreBlocker_2 : 572877
17.35/6.09	c (0,0) c PropsPreBlocker_3 : 76315
17.35/6.09	c (0,0) c PropsPreBlocker_4 : 65256
17.35/6.09	c (0,0) c PropsPreBlocker_5 : 126103
17.35/6.09	c (0,0) c PropsPreBlocker_6 : 124596
17.35/6.09	c (0,0) c PropsPreBlocker_7 : 93656
17.35/6.09	c (0,0) c PropsPreBlocker_total : 1349219
17.35/6.09	c (0,0) c PropsPreBlocker_winner : 37490
17.35/6.09	c (0,0) c PropsNotBlocker_0 : 17939
17.35/6.09	c (0,0) c PropsNotBlocker_1 : 66851
17.35/6.09	c (0,0) c PropsNotBlocker_2 : 147228
17.35/6.09	c (0,0) c PropsNotBlocker_3 : 24069
17.35/6.09	c (0,0) c PropsNotBlocker_4 : 23403
17.35/6.09	c (0,0) c PropsNotBlocker_5 : 40853
17.35/6.09	c (0,0) c PropsNotBlocker_6 : 34804
17.35/6.09	c (0,0) c PropsNotBlocker_7 : 28899
17.35/6.09	c (0,0) c PropsNotBlocker_total : 384046
17.35/6.09	c (0,0) c PropsNotBlocker_winner : 17939
17.35/6.09	c (0,0) c PropsLitFullScans_0 : 62504
17.35/6.09	c (0,0) c PropsLitFullScans_1 : 383332
17.35/6.09	c (0,0) c PropsLitFullScans_2 : 884045
17.35/6.09	c (0,0) c PropsLitFullScans_3 : 115365
17.35/6.09	c (0,0) c PropsLitFullScans_4 : 100094
17.35/6.09	c (0,0) c PropsLitFullScans_5 : 199847
17.35/6.09	c (0,0) c PropsLitFullScans_6 : 198353
17.35/6.09	c (0,0) c PropsLitFullScans_7 : 140899
17.35/6.09	c (0,0) c PropsLitFullScans_total : 2084439
17.35/6.09	c (0,0) c PropsLitFullScans_winner : 62504
17.35/6.09	c (0,0) c LitScanFractions_0 : 0
17.35/6.09	c (0,0) c LitScanFractions_1 : 0
17.35/6.09	c (0,0) c LitScanFractions_2 : 0
17.35/6.09	c (0,0) c LitScanFractions_3 : 0
17.35/6.09	c (0,0) c LitScanFractions_4 : 0
17.35/6.09	c (0,0) c LitScanFractions_5 : 0
17.35/6.09	c (0,0) c LitScanFractions_6 : 0
17.35/6.09	c (0,0) c LitScanFractions_7 : 0
17.35/6.09	c (0,0) c LitScanFractions_total : 0
17.35/6.09	c (0,0) c LitScanFractions_winner : 0
17.35/6.09	c (0,0) c DecisionLevel0_0 : 1
17.35/6.09	c (0,0) c DecisionLevel0_1 : 1
17.35/6.09	c (0,0) c DecisionLevel0_2 : 1
17.35/6.09	c (0,0) c DecisionLevel0_3 : 1
17.35/6.09	c (0,0) c DecisionLevel0_4 : 1
17.35/6.09	c (0,0) c DecisionLevel0_5 : 1
17.35/6.09	c (0,0) c DecisionLevel0_6 : 1
17.35/6.09	c (0,0) c DecisionLevel0_7 : 1
17.35/6.09	c (0,0) c DecisionLevel0_total : 8
17.35/6.09	c (0,0) c DecisionLevel0_winner : 1
17.35/6.09	c (0,0) c Periods_0 : 0
17.35/6.09	c (0,0) c Periods_1 : 0
17.35/6.09	c (0,0) c Periods_2 : 0
17.35/6.09	c (0,0) c Periods_3 : 0
17.35/6.09	c (0,0) c Periods_4 : 0
17.35/6.09	c (0,0) c Periods_5 : 0
17.35/6.09	c (0,0) c Periods_6 : 0
17.35/6.09	c (0,0) c Periods_7 : 0
17.35/6.09	c (0,0) c Periods_total : 0
17.35/6.09	c (0,0) c Periods_winner : 0
17.35/6.09	c (0,0) c Margin_0 : 20
17.35/6.09	c (0,0) c Margin_1 : 20
17.35/6.09	c (0,0) c Margin_2 : 20
17.35/6.09	c (0,0) c Margin_3 : 20
17.35/6.09	c (0,0) c Margin_4 : 20
17.35/6.09	c (0,0) c Margin_5 : 20
17.35/6.09	c (0,0) c Margin_6 : 20
17.35/6.09	c (0,0) c Margin_7 : 20
17.35/6.09	c (0,0) c Margin_total : 160
17.35/6.09	c (0,0) c Margin_winner : 20
17.35/6.09	c (0,0) c Exported_0 : 0
17.35/6.09	c (0,0) c Exported_1 : 0
17.35/6.09	c (0,0) c Exported_2 : 1
17.35/6.09	c (0,0) c Exported_3 : 0
17.35/6.09	c (0,0) c Exported_4 : 2
17.35/6.09	c (0,0) c Exported_5 : 0
17.35/6.09	c (0,0) c Exported_6 : 2
17.35/6.09	c (0,0) c Exported_7 : 0
17.35/6.09	c (0,0) c Exported_total : 5
17.35/6.09	c (0,0) c Exported_winner : 0
17.35/6.09	c (0,0) c Imported_0 : 0
17.35/6.09	c (0,0) c Imported_1 : 0
17.35/6.09	c (0,0) c Imported_2 : 0
17.35/6.09	c (0,0) c Imported_3 : 0
17.35/6.09	c (0,0) c Imported_4 : 0
17.35/6.09	c (0,0) c Imported_5 : 0
17.35/6.09	c (0,0) c Imported_6 : 0
17.35/6.09	c (0,0) c Imported_7 : 0
17.35/6.09	c (0,0) c Imported_total : 0
17.35/6.09	c (0,0) c Imported_winner : 0
17.35/6.09	c (0,0) c Good_0 : 0
17.35/6.09	c (0,0) c Good_1 : 0
17.35/6.09	c (0,0) c Good_2 : 0
17.35/6.09	c (0,0) c Good_3 : 0
17.35/6.09	c (0,0) c Good_4 : 0
17.35/6.09	c (0,0) c Good_5 : 0
17.35/6.09	c (0,0) c Good_6 : 0
17.35/6.09	c (0,0) c Good_7 : 0
17.35/6.09	c (0,0) c Good_total : 0
17.35/6.09	c (0,0) c Good_winner : 0
17.35/6.09	c (0,0) c Purge_0 : 0
17.35/6.09	c (0,0) c Purge_1 : 0
17.35/6.09	c (0,0) c Purge_2 : 0
17.35/6.09	c (0,0) c Purge_3 : 0
17.35/6.09	c (0,0) c Purge_4 : 0
17.35/6.09	c (0,0) c Purge_5 : 0
17.35/6.09	c (0,0) c Purge_6 : 0
17.35/6.09	c (0,0) c Purge_7 : 0
17.35/6.09	c (0,0) c Purge_total : 0
17.35/6.09	c (0,0) c Purge_winner : 0
17.35/6.09	c (0,0) c Promoted_0 : 0
17.35/6.09	c (0,0) c Promoted_1 : 0
17.35/6.09	c (0,0) c Promoted_2 : 0
17.35/6.09	c (0,0) c Promoted_3 : 0
17.35/6.09	c (0,0) c Promoted_4 : 0
17.35/6.09	c (0,0) c Promoted_5 : 0
17.35/6.09	c (0,0) c Promoted_6 : 0
17.35/6.09	c (0,0) c Promoted_7 : 0
17.35/6.09	c (0,0) c Promoted_total : 0
17.35/6.09	c (0,0) c Promoted_winner : 0
17.35/6.09	c (0,0) c Remove_Imp_0 : 0
17.35/6.09	c (0,0) c Remove_Imp_1 : 0
17.35/6.09	c (0,0) c Remove_Imp_2 : 0
17.35/6.09	c (0,0) c Remove_Imp_3 : 0
17.35/6.09	c (0,0) c Remove_Imp_4 : 0
17.35/6.09	c (0,0) c Remove_Imp_5 : 0
17.35/6.09	c (0,0) c Remove_Imp_6 : 0
17.35/6.09	c (0,0) c Remove_Imp_7 : 0
17.35/6.09	c (0,0) c Remove_Imp_total : 0
17.35/6.09	c (0,0) c Remove_Imp_winner : 0
17.35/6.09	c (0,0) c Blocked_Reuse_0 : 0
17.35/6.09	c (0,0) c Blocked_Reuse_1 : 0
17.35/6.09	c (0,0) c Blocked_Reuse_2 : 0
17.35/6.09	c (0,0) c Blocked_Reuse_3 : 0
17.35/6.09	c (0,0) c Blocked_Reuse_4 : 0
17.35/6.09	c (0,0) c Blocked_Reuse_5 : 0
17.35/6.09	c (0,0) c Blocked_Reuse_6 : 0
17.35/6.09	c (0,0) c Blocked_Reuse_7 : 0
17.35/6.09	c (0,0) c Blocked_Reuse_total : 0
17.35/6.09	c (0,0) c Blocked_Reuse_winner : 0
17.35/6.09	c (0,0) c Unaries_0 : 0
17.35/6.09	c (0,0) c Unaries_1 : 0
17.35/6.09	c (0,0) c Unaries_2 : 0
17.35/6.09	c (0,0) c Unaries_3 : 0
17.35/6.09	c (0,0) c Unaries_4 : 0
17.35/6.09	c (0,0) c Unaries_5 : 0
17.35/6.09	c (0,0) c Unaries_6 : 0
17.35/6.09	c (0,0) c Unaries_7 : 0
17.35/6.09	c (0,0) c Unaries_total : 0
17.35/6.09	c (0,0) c Unaries_winner : 0
17.35/6.09	c (0,0) c Binaries_0 : 0
17.35/6.09	c (0,0) c Binaries_1 : 0
17.35/6.09	c (0,0) c Binaries_2 : 0
17.35/6.09	c (0,0) c Binaries_3 : 0
17.35/6.09	c (0,0) c Binaries_4 : 0
17.35/6.09	c (0,0) c Binaries_5 : 0
17.35/6.09	c (0,0) c Binaries_6 : 0
17.35/6.09	c (0,0) c Binaries_7 : 0
17.35/6.09	c (0,0) c Binaries_total : 0
17.35/6.09	c (0,0) c Binaries_winner : 0
17.35/6.09	c (0,0) c Glues_0 : 0
17.35/6.09	c (0,0) c Glues_1 : 0
17.35/6.09	c (0,0) c Glues_2 : 1
17.35/6.09	c (0,0) c Glues_3 : 0
17.35/6.09	c (0,0) c Glues_4 : 2
17.35/6.09	c (0,0) c Glues_5 : 0
17.35/6.09	c (0,0) c Glues_6 : 2
17.35/6.09	c (0,0) c Glues_7 : 0
17.35/6.09	c (0,0) c Glues_total : 5
17.35/6.09	c (0,0) c Glues_winner : 0
17.35/6.09	c (0,0) c RunningTime_0 : 0.011895
17.35/6.09	c (0,0) c RunningTime_1 : 0.014843
17.35/6.09	c (0,0) c RunningTime_2 : 0.017987
17.35/6.09	c (0,0) c RunningTime_3 : 0.010852
17.35/6.09	c (0,0) c RunningTime_4 : 0.010555
17.35/6.09	c (0,0) c RunningTime_5 : 0.012888
17.35/6.09	c (0,0) c RunningTime_6 : 0.011877
17.35/6.09	c (0,0) c RunningTime_7 : 0.012188
17.35/6.09	c (0,0) c RunningTime_total : 0.103085
17.35/6.09	c (0,0) c RunningTime_winner : 0.011895
17.35/6.09	c (0,0) c WaitingTime_0 : 0.000000
17.35/6.09	c (0,0) c WaitingTime_1 : 0.000000
17.35/6.09	c (0,0) c WaitingTime_2 : 0.000000
17.35/6.09	c (0,0) c WaitingTime_3 : 0.000000
17.35/6.09	c (0,0) c WaitingTime_4 : 0.000000
17.35/6.09	c (0,0) c WaitingTime_5 : 0.000000
17.35/6.09	c (0,0) c WaitingTime_6 : 0.000000
17.35/6.09	c (0,0) c WaitingTime_7 : 0.000000
17.35/6.09	c (0,0) c WaitingTime_total : 0.000000
17.35/6.09	c (0,0) c WaitingTime_winner : 0.000000
17.35/6.09	c (0,0) c ExchangingTime_0 : 0.000173
17.35/6.09	c (0,0) c ExchangingTime_1 : 0.000009
17.35/6.09	c (0,0) c ExchangingTime_2 : 0.000021
17.35/6.09	c (0,0) c ExchangingTime_3 : 0.000000
17.35/6.09	c (0,0) c ExchangingTime_4 : 0.000008
17.35/6.09	c (0,0) c ExchangingTime_5 : 0.000002
17.35/6.09	c (0,0) c ExchangingTime_6 : 0.000010
17.35/6.09	c (0,0) c ExchangingTime_7 : 0.000003
17.35/6.09	c (0,0) c ExchangingTime_total : 0.000225
17.35/6.09	c (0,0) c ExchangingTime_winner : 0.000173
17.35/6.09	c (0,0) c PeriodProcTime_0 : 0.000000
17.35/6.09	c (0,0) c PeriodProcTime_1 : 0.000000
17.35/6.09	c (0,0) c PeriodProcTime_2 : 0.000000
17.35/6.09	c (0,0) c PeriodProcTime_3 : 0.000000
17.35/6.09	c (0,0) c PeriodProcTime_4 : 0.000000
17.35/6.09	c (0,0) c PeriodProcTime_5 : 0.000000
17.35/6.09	c (0,0) c PeriodProcTime_6 : 0.000000
17.35/6.09	c (0,0) c PeriodProcTime_7 : 0.000000
17.35/6.09	c (0,0) c PeriodProcTime_total : 0.000000
17.35/6.09	c (0,0) c PeriodProcTime_winner : 0.000000
17.35/6.09	c (0,0) c SolvingTime_0 : 0.012068
17.35/6.09	c (0,0) c SolvingTime_1 : 0.014852
17.35/6.09	c (0,0) c SolvingTime_2 : 0.018009
17.35/6.09	c (0,0) c SolvingTime_3 : 0.010852
17.35/6.09	c (0,0) c SolvingTime_4 : 0.010562
17.35/6.09	c (0,0) c SolvingTime_5 : 0.012890
17.35/6.09	c (0,0) c SolvingTime_6 : 0.011887
17.35/6.09	c (0,0) c SolvingTime_7 : 0.012191
17.35/6.09	c (0,0) c SolvingTime_total : 0.103310
17.35/6.09	c (0,0) c SolvingTime_winner : 0.012068
17.35/6.09	c (0,0) c PropagationTime_0 : 0.011416
17.35/6.09	c (0,0) c PropagationTime_1 : 0.013708
17.35/6.09	c (0,0) c PropagationTime_2 : 0.015814
17.35/6.09	c (0,0) c PropagationTime_3 : 0.010550
17.35/6.09	c (0,0) c PropagationTime_4 : 0.010274
17.35/6.09	c (0,0) c PropagationTime_5 : 0.012320
17.35/6.09	c (0,0) c PropagationTime_6 : 0.011141
17.35/6.09	c (0,0) c PropagationTime_7 : 0.011855
17.35/6.09	c (0,0) c PropagationTime_total : 0.097076
17.35/6.09	c (0,0) c PropagationTime_winner : 0.011416
17.35/6.10	c (0,0) c AnalysisTime_0 : 0.000045
17.35/6.10	c (0,0) c AnalysisTime_1 : 0.000721
17.35/6.10	c (0,0) c AnalysisTime_2 : 0.001606
17.35/6.10	c (0,0) c AnalysisTime_3 : 0.000162
17.35/6.10	c (0,0) c AnalysisTime_4 : 0.000110
17.35/6.10	c (0,0) c AnalysisTime_5 : 0.000373
17.35/6.10	c (0,0) c AnalysisTime_6 : 0.000485
17.35/6.10	c (0,0) c AnalysisTime_7 : 0.000175
17.35/6.10	c (0,0) c AnalysisTime_total : 0.003677
17.35/6.10	c (0,0) c AnalysisTime_winner : 0.000045
17.35/6.10	c (0,0) c ReductionTime_0 : 0.000000
17.35/6.10	c (0,0) c ReductionTime_1 : 0.000000
17.35/6.10	c (0,0) c ReductionTime_2 : 0.000000
17.35/6.10	c (0,0) c ReductionTime_3 : 0.000000
17.35/6.10	c (0,0) c ReductionTime_4 : 0.000000
17.35/6.10	c (0,0) c ReductionTime_5 : 0.000000
17.35/6.10	c (0,0) c ReductionTime_6 : 0.000000
17.35/6.10	c (0,0) c ReductionTime_7 : 0.000000
17.35/6.10	c (0,0) c ReductionTime_total : 0.000000
17.35/6.10	c (0,0) c ReductionTime_winner : 0.000000
17.35/6.10	c (0,0) c SimplifyTime_0 : 0.000000
17.35/6.10	c (0,0) c SimplifyTime_1 : 0.000000
17.35/6.10	c (0,0) c SimplifyTime_2 : 0.000000
17.35/6.10	c (0,0) c SimplifyTime_3 : 0.000000
17.35/6.10	c (0,0) c SimplifyTime_4 : 0.000001
17.35/6.10	c (0,0) c SimplifyTime_5 : 0.000000
17.35/6.10	c (0,0) c SimplifyTime_6 : 0.000000
17.35/6.10	c (0,0) c SimplifyTime_7 : 0.000000
17.35/6.10	c (0,0) c SimplifyTime_total : 0.000001
17.35/6.10	c (0,0) c SimplifyTime_winner : 0.000000
17.35/6.10	c (0,0) c UsedRateTime_0 : 0.000000
17.35/6.10	c (0,0) c UsedRateTime_1 : 0.000000
17.35/6.10	c (0,0) c UsedRateTime_2 : 0.000000
17.35/6.10	c (0,0) c UsedRateTime_3 : 0.000000
17.35/6.10	c (0,0) c UsedRateTime_4 : 0.000000
17.35/6.10	c (0,0) c UsedRateTime_5 : 0.000000
17.35/6.10	c (0,0) c UsedRateTime_6 : 0.000000
17.35/6.10	c (0,0) c UsedRateTime_7 : 0.000000
17.35/6.10	c (0,0) c UsedRateTime_total : 0.000000
17.35/6.10	c (0,0) c UsedRateTime_winner : 0.000000
17.35/6.10	c (0,0) c OverlapRateTime_0 : 0.000000
17.35/6.10	c (0,0) c OverlapRateTime_1 : 0.000000
17.35/6.10	c (0,0) c OverlapRateTime_2 : 0.000000
17.35/6.10	c (0,0) c OverlapRateTime_3 : 0.000000
17.35/6.10	c (0,0) c OverlapRateTime_4 : 0.000000
17.35/6.10	c (0,0) c OverlapRateTime_5 : 0.000000
17.35/6.10	c (0,0) c OverlapRateTime_6 : 0.000000
17.35/6.10	c (0,0) c OverlapRateTime_7 : 0.000000
17.35/6.10	c (0,0) c OverlapRateTime_total : 0.000000
17.35/6.10	c (0,0) c OverlapRateTime_winner : 0.000000
17.35/6.10	c (0,0) c
17.35/6.10	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.35/6.10	c (0,0) c
17.35/6.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.10	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.35/6.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.10	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.35/6.10	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.35/6.10	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.35/6.10	c (0,0) c | Initial random_seed   | 2146042883 | 1292207810 | 2142404953 | 1335711205 |   57869384 | 1823022123 |  262939120 |   22178016 |
17.35/6.10	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.35/6.10	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.35/6.10	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.35/6.10	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.35/6.10	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.35/6.10	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.35/6.10	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.35/6.10	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.35/6.10	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.35/6.10	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.35/6.10	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.35/6.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.35/6.10	c (0,0) 
17.35/6.10	c (0,0) s SATISFIABLE
17.71/6.11	c (0,0) SatSolver.solve End
17.71/6.11	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.71/6.11	c (0,0) Show results Begin
17.71/6.20	c (0,0) x[0] = 1
17.71/6.20	c (0,0) x[1] = 14
17.71/6.20	c (0,0) x[2] = 17
17.71/6.20	c (0,0) x[3] = 14
17.71/6.20	c (0,0) x[4] = 13
17.71/6.20	c (0,0) x[5] = 12
17.71/6.20	c (0,0) x[6] = 9
17.71/6.20	c (0,0) x[7] = 18
17.71/6.20	c (0,0) x[8] = 2
17.71/6.20	c (0,0) x[9] = 7
17.71/6.20	c (0,0) x[10] = 17
17.71/6.20	c (0,0) x[11] = 10
17.71/6.20	c (0,0) x[12] = 10
17.71/6.20	c (0,0) x[13] = 7
17.71/6.20	c (0,0) x[14] = 1
17.71/6.20	c (0,0) x[15] = 16
17.71/6.20	c (0,0) x[16] = 9
17.71/6.20	c (0,0) x[17] = 9
17.71/6.20	c (0,0) x[18] = 15
17.71/6.20	c (0,0) x[19] = 15
17.71/6.20	c (0,0) x[20] = 11
17.71/6.20	c (0,0) x[21] = 7
17.71/6.20	c (0,0) x[22] = 11
17.71/6.20	c (0,0) x[23] = 9
17.71/6.20	c (0,0) x[24] = 10
17.71/6.20	c (0,0) x[25] = 17
17.71/6.20	c (0,0) x[26] = 3
17.71/6.20	c (0,0) x[27] = 4
17.71/6.20	c (0,0) x[28] = 2
17.71/6.20	c (0,0) x[29] = 8
17.71/6.20	c (0,0) x[30] = 7
17.71/6.20	c (0,0) x[31] = 9
17.71/6.20	c (0,0) x[32] = 5
17.71/6.20	c (0,0) x[33] = 8
17.71/6.20	c (0,0) x[34] = 19
17.71/6.20	c (0,0) x[35] = 11
17.71/6.20	c (0,0) x[36] = 17
17.71/6.20	c (0,0) x[37] = 9
17.71/6.20	c (0,0) x[38] = 3
17.71/6.20	c (0,0) x[39] = 1
17.71/6.20	c (0,0) x[40] = 20
17.71/6.20	c (0,0) x[41] = 13
17.71/6.20	c (0,0) x[42] = 2
17.71/6.20	c (0,0) x[43] = 6
17.71/6.20	c (0,0) x[44] = 1
17.71/6.20	c (0,0) x[45] = 2
17.71/6.20	c (0,0) x[46] = 1
17.71/6.20	c (0,0) x[47] = 1
17.71/6.20	c (0,0) x[48] = 2
17.71/6.20	c (0,0) x[49] = 1
17.71/6.20	s SATISFIABLE
17.87/6.20	v <instantiation>
17.87/6.20	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list>
17.87/6.20	v     <values>1 14 17 14 13 12 9 18 2 7 17 10 10 7 1 16 9 9 15 15 11 7 11 9 10 17 3 4 2 8 7 9 5 8 19 11 17 9 3 1 20 13 2 6 1 2 1 1 2 1</values>
17.87/6.20	v </instantiation>
17.87/6.20	c (0,0) Show results End
17.87/6.20	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
17.87/6.20	c (0,0) 0,0,STOP-AFTER(ALL)
17.87/6.20	c END-Prog: Sat Sep 14 03:55:15 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15300 MiB free)
  memory of node 1: 16384 MiB (15495 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392568-1568426154/watcher-4392568-1568426154 -o /tmp/evaluation-result-4392568-1568426154/solver-4392568-1568426154 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --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-4392568-1568426154.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=13941, runsolver pid=13938

[startup+0.100176 s]*
/proc/loadavg: 7.71 8.14 8.12 2/212 13963
/proc/meminfo: memFree=31442308/32770624 swapFree=66995692/67108860
[pid=13941] ppid=13938 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13941/stat : 13941 (scop.sh) S 13938 13941 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418866830 115843072 349 33554432000 4194304 5098028 140734387437824 140734387435080 140469718954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30797824 140734387446564 140734387446892 140734387446892 140734387449805 0
/proc/13941/statm: 28282 349 296 221 0 87 0
[pid=13944] ppid=13941 vsize=27314120 memory=106608 CPUtime=0.1 cores=0-7
/proc/13944/stat : 13944 (java) S 13941 13941 7170 0 -1 1077944320 6744 0 0 0 8 2 0 0 20 0 20 0 418866830 27969658880 26652 33554432000 4194304 4196468 140723441887216 140723441869760 140586934349559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
/proc/13944/statm: 6828530 26652 2775 1 0 6790935 0
[pid=13944/tid=13945] ppid=13941 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/13944/task/13945/stat : 13945 (java) R 13941 13941 7170 0 -1 4202560 4869 0 0 0 7 2 0 0 20 0 20 0 418866831 27969658880 26652 33554432000 4194304 4196468 140723441887216 140586906184224 140586934361494 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13946] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13946/stat : 13946 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 26652 33554432000 4194304 4196468 140723441887216 140586938592400 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13947] ppid=13941 vsize=27314120 memory=140502813595525 CPUtime=0 cores=0-7
/proc/13944/task/13947/stat : 13947 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 26652 33554432000 4194304 4196468 140723441887216 140586763234320 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13948] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13948/stat : 13948 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 26652 33554432000 4194304 4196468 140723441887216 140586355686288 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13949] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13949/stat : 13949 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 26652 33554432000 4194304 4196468 140723441887216 140586354633488 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13950] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13950/stat : 13950 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 26652 33554432000 4194304 4196468 140723441887216 140586353580688 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13951] ppid=13941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13944/task/13951/stat : 13951 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 26652 33554432000 4194304 4196468 140723441887216 140586352527888 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13952] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13952/stat : 13952 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 26652 33554432000 4194304 4196468 140723441887216 140586351475088 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13953] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13953/stat : 13953 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 26652 33554432000 4194304 4196468 140723441887216 140586350422288 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13954] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13954/stat : 13954 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866835 27969658880 26652 33554432000 4194304 4196468 140723441887216 140585925634928 140586934360706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13955] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13955/stat : 13955 (java) S 13941 13941 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418866835 27969658880 26652 33554432000 4194304 4196468 140723441887216 140584815683104 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13956] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13956/stat : 13956 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866835 27969658880 26652 33554432000 4194304 4196468 140723441887216 140584547247472 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13957] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13957/stat : 13957 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 26652 33554432000 4194304 4196468 140723441887216 140584172738896 140586934368155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13958] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13958/stat : 13958 (java) S 13941 13941 7170 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 26652 33554432000 4194304 4196468 140723441887216 140585924581744 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13959] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13959/stat : 13959 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 26652 33554432000 4194304 4196468 140723441887216 140585923528944 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13960] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13960/stat : 13960 (java) S 13941 13941 7170 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 26652 33554432000 4194304 4196468 140723441887216 140585922476144 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13961] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13961/stat : 13961 (java) S 13941 13941 7170 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 26652 33554432000 4194304 4196468 140723441887216 140585921423344 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13962] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13962/stat : 13962 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 26652 33554432000 4194304 4196468 140723441887216 140583674834016 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13963] ppid=13941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13944/task/13963/stat : 13963 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 26652 33554432000 4194304 4196468 140723441887216 140585920371760 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108004 KiB

[startup+0.210567 s]*
/proc/loadavg: 7.71 8.14 8.12 4/212 13963
/proc/meminfo: memFree=31419572/32770624 swapFree=66995692/67108860
[pid=13941] ppid=13938 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13941/stat : 13941 (scop.sh) S 13938 13941 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418866830 115843072 349 33554432000 4194304 5098028 140734387437824 140734387435080 140469718954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30797824 140734387446564 140734387446892 140734387446892 140734387449805 0
/proc/13941/statm: 28282 349 296 221 0 87 0
[pid=13944] ppid=13941 vsize=27314120 memory=125964 CPUtime=0.25 cores=0-7
/proc/13944/stat : 13944 (java) S 13941 13941 7170 0 -1 1077944320 12394 0 0 0 21 4 0 0 20 0 20 0 418866830 27969658880 31491 33554432000 4194304 4196468 140723441887216 140723441869760 140586934349559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
/proc/13944/statm: 6828530 31491 2940 1 0 6790935 0
[pid=13944/tid=13945] ppid=13941 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13944/task/13945/stat : 13945 (java) R 13941 13941 7170 0 -1 4202560 10124 0 0 0 16 3 0 0 20 0 20 0 418866831 27969658880 31491 33554432000 4194304 4196468 140723441887216 140586906156144 140586914625346 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13946] ppid=13941 vsize=27314120 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/13944/task/13946/stat : 13946 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 31491 33554432000 4194304 4196468 140723441887216 140586938592400 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13947] ppid=13941 vsize=27314120 memory=3760987260135155360 CPUtime=0 cores=0-7
/proc/13944/task/13947/stat : 13947 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 31491 33554432000 4194304 4196468 140723441887216 140586763234320 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13948] ppid=13941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13944/task/13948/stat : 13948 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 31491 33554432000 4194304 4196468 140723441887216 140586355686288 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13949] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13949/stat : 13949 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 31491 33554432000 4194304 4196468 140723441887216 140586354633488 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13950] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13950/stat : 13950 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 31491 33554432000 4194304 4196468 140723441887216 140586353580688 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13951] ppid=13941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13944/task/13951/stat : 13951 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 31491 33554432000 4194304 4196468 140723441887216 140586352527888 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13952] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13952/stat : 13952 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 31491 33554432000 4194304 4196468 140723441887216 140586351475088 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13953] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13953/stat : 13953 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 31491 33554432000 4194304 4196468 140723441887216 140586350422288 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13954] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13954/stat : 13954 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866835 27969658880 31491 33554432000 4194304 4196468 140723441887216 140585925634928 140586934360706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13955] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13955/stat : 13955 (java) S 13941 13941 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418866835 27969658880 31491 33554432000 4194304 4196468 140723441887216 140584815683104 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13956] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13956/stat : 13956 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866835 27969658880 31491 33554432000 4194304 4196468 140723441887216 140584547247472 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13957] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13957/stat : 13957 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 31491 33554432000 4194304 4196468 140723441887216 140584172738896 140586934368155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13958] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13958/stat : 13958 (java) S 13941 13941 7170 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 31491 33554432000 4194304 4196468 140723441887216 140585924581744 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13959] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13959/stat : 13959 (java) S 13941 13941 7170 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 31491 33554432000 4194304 4196468 140723441887216 140585923528944 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13960] ppid=13941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13944/task/13960/stat : 13960 (java) S 13941 13941 7170 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 31491 33554432000 4194304 4196468 140723441887216 140585922476144 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13961] ppid=13941 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/13944/task/13961/stat : 13961 (java) S 13941 13941 7170 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 20 0 418866838 27969658880 31491 33554432000 4194304 4196468 140723441887216 140585921423344 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13962] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13962/stat : 13962 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 31491 33554432000 4194304 4196468 140723441887216 140583674834016 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13963] ppid=13941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13944/task/13963/stat : 13963 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 31491 33554432000 4194304 4196468 140723441887216 140585920371760 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127360 KiB

[startup+0.30992 s]*
/proc/loadavg: 7.71 8.14 8.12 2/212 13963
/proc/meminfo: memFree=31416284/32770624 swapFree=66995692/67108860
[pid=13941] ppid=13938 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13941/stat : 13941 (scop.sh) S 13938 13941 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418866830 115843072 349 33554432000 4194304 5098028 140734387437824 140734387435080 140469718954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30797824 140734387446564 140734387446892 140734387446892 140734387449805 0
/proc/13941/statm: 28282 349 296 221 0 87 0
[pid=13944] ppid=13941 vsize=27314120 memory=129536 CPUtime=0.42 cores=0-7
/proc/13944/stat : 13944 (java) S 13941 13941 7170 0 -1 1077944320 12812 0 0 0 38 4 0 0 20 0 20 0 418866830 27969658880 32384 33554432000 4194304 4196468 140723441887216 140723441869760 140586934349559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
/proc/13944/statm: 6828530 32384 3001 1 0 6790935 0
[pid=13944/tid=13945] ppid=13941 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/13944/task/13945/stat : 13945 (java) R 13941 13941 7170 0 -1 4202560 10364 0 0 0 26 3 0 0 20 0 20 0 418866831 27969658880 32384 33554432000 4194304 4196468 140723441887216 140586906172752 140586934371485 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13946] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13946/stat : 13946 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 32384 33554432000 4194304 4196468 140723441887216 140586938592400 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13947] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13947/stat : 13947 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 32384 33554432000 4194304 4196468 140723441887216 140586763234320 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13948] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13948/stat : 13948 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 32384 33554432000 4194304 4196468 140723441887216 140586355686288 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13949] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13949/stat : 13949 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 32384 33554432000 4194304 4196468 140723441887216 140586354633488 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13950] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13950/stat : 13950 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 32384 33554432000 4194304 4196468 140723441887216 140586353580688 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13951] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13951/stat : 13951 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 32384 33554432000 4194304 4196468 140723441887216 140586352527888 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13952] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13952/stat : 13952 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 32384 33554432000 4194304 4196468 140723441887216 140586351475088 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13953] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13953/stat : 13953 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27969658880 32384 33554432000 4194304 4196468 140723441887216 140586350422288 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13954] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13954/stat : 13954 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866835 27969658880 32384 33554432000 4194304 4196468 140723441887216 140585925634928 140586934360706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13955] ppid=13941 vsize=27314120 memory=281005349084544 CPUtime=0 cores=0-7
/proc/13944/task/13955/stat : 13955 (java) S 13941 13941 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418866835 27969658880 32384 33554432000 4194304 4196468 140723441887216 140584815683104 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13956] ppid=13941 vsize=27314120 memory=281005349089152 CPUtime=0 cores=0-7
/proc/13944/task/13956/stat : 13956 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866835 27969658880 32384 33554432000 4194304 4196468 140723441887216 140584547247472 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13957] ppid=13941 vsize=27314120 memory=281005349093760 CPUtime=0 cores=0-7
/proc/13944/task/13957/stat : 13957 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 32384 33554432000 4194304 4196468 140723441887216 140584172738896 140586934368155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13958] ppid=13941 vsize=27314120 memory=281005349098368 CPUtime=0 cores=0-7
/proc/13944/task/13958/stat : 13958 (java) S 13941 13941 7170 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 32384 33554432000 4194304 4196468 140723441887216 140585924581744 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13959] ppid=13941 vsize=27314120 memory=281005349102976 CPUtime=0.01 cores=0-7
/proc/13944/task/13959/stat : 13959 (java) S 13941 13941 7170 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 418866838 27969658880 32384 33554432000 4194304 4196468 140723441887216 140585923528944 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13960] ppid=13941 vsize=27314120 memory=281005349107584 CPUtime=0.02 cores=0-7
/proc/13944/task/13960/stat : 13960 (java) R 13941 13941 7170 0 -1 4202560 250 0 0 0 2 0 0 0 20 0 20 0 418866838 27969658880 32384 33554432000 4194304 4196468 140723441887216 140585922476144 140586920367680 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13961] ppid=13941 vsize=27314120 memory=281005349112192 CPUtime=0.07 cores=0-7
/proc/13944/task/13961/stat : 13961 (java) S 13941 13941 7170 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 418866838 27969658880 32384 33554432000 4194304 4196468 140723441887216 140585921423344 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13962] ppid=13941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13962/stat : 13962 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 32384 33554432000 4194304 4196468 140723441887216 140583674834016 140586934359765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13963] ppid=13941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13944/task/13963/stat : 13963 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866838 27969658880 32384 33554432000 4194304 4196468 140723441887216 140585920371760 140586934360706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130932 KiB

[startup+0.700941 s]
/proc/loadavg: 7.71 8.14 8.12 2/212 13963
/proc/meminfo: memFree=31395360/32770624 swapFree=66995692/67108860
[pid=13941] ppid=13938 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13941/stat : 13941 (scop.sh) S 13938 13941 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418866830 115843072 349 33554432000 4194304 5098028 140734387437824 140734387435080 140469718954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30797824 140734387446564 140734387446892 140734387446892 140734387449805 0
/proc/13941/statm: 28282 349 296 221 0 87 0
[pid=13944] ppid=13941 vsize=27320392 memory=165228 CPUtime=1 cores=0-7
/proc/13944/stat : 13944 (java) S 13941 13941 7170 0 -1 1077944320 20462 0 0 0 93 7 0 0 20 0 20 0 418866830 27976081408 41307 33554432000 4194304 4196468 140723441887216 140723441869760 140586934349559 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
/proc/13944/statm: 6830098 41307 3181 1 0 6791447 0
[pid=13944/tid=13945] ppid=13941 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/13944/task/13945/stat : 13945 (java) R 13941 13941 7170 0 -1 4202560 17419 0 0 0 61 6 0 0 20 0 20 0 418866831 27976081408 41307 33554432000 4194304 4196468 140723441887216 140586906187040 140586436603108 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13946] ppid=13941 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13946/stat : 13946 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27976081408 41307 33554432000 4194304 4196468 140723441887216 140586938592400 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13947] ppid=13941 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13947/stat : 13947 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27976081408 41307 33554432000 4194304 4196468 140723441887216 140586763234320 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13948] ppid=13941 vsize=27320392 memory=8556 CPUtime=0 cores=0-7
/proc/13944/task/13948/stat : 13948 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27976081408 41307 33554432000 4194304 4196468 140723441887216 140586355686288 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0

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

[pid=13941] ppid=13938 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13941/stat : 13941 (scop.sh) S 13938 13941 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418866830 115843072 349 33554432000 4194304 5098028 140734387437824 140734387435080 140469718954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30797824 140734387446564 140734387446892 140734387446892 140734387449805 0
/proc/13941/statm: 28282 349 296 221 0 87 0
[pid=13944] ppid=13941 vsize=27328728 memory=1352068 CPUtime=15.24 cores=0-7
/proc/13944/stat : 13944 (java) S 13941 13941 7170 0 -1 1077944320 34581 0 0 0 1496 28 0 0 20 0 20 0 418866830 27984617472 338017 33554432000 4194304 4196468 140723441887216 140723441869760 140586934349559 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
/proc/13944/statm: 6832182 338017 3271 1 0 6792983 0
[pid=13944/tid=13945] ppid=13941 vsize=27328728 memory=6791534058613427641 CPUtime=4.76 cores=0-7
/proc/13944/task/13945/stat : 13945 (java) R 13941 13941 7170 0 -1 4202560 21498 0 0 0 453 23 0 0 20 0 20 0 418866831 27984617472 338017 33554432000 4194304 4196468 140723441887216 140586906186624 140586448224679 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13946] ppid=13941 vsize=27328728 memory=922272 CPUtime=0 cores=0-7
/proc/13944/task/13946/stat : 13946 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27984617472 338017 33554432000 4194304 4196468 140723441887216 140586938592400 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13947] ppid=13941 vsize=27328728 memory=140502674920720 CPUtime=0 cores=0-7
/proc/13944/task/13947/stat : 13947 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27984617472 338017 33554432000 4194304 4196468 140723441887216 140586763234320 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13948] ppid=13941 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13948/stat : 13948 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27984617472 338017 33554432000 4194304 4196468 140723441887216 140586355686288 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13949] ppid=13941 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13949/stat : 13949 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418866833 27984617472 338017 33554432000 4194304 4196468 140723441887216 140586354633488 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13950] ppid=13941 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13950/stat : 13950 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27984617472 338017 33554432000 4194304 4196468 140723441887216 140586353580688 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13951] ppid=13941 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13951/stat : 13951 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27984617472 338017 33554432000 4194304 4196468 140723441887216 140586352527888 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13952] ppid=13941 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13952/stat : 13952 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418866833 27984617472 338017 33554432000 4194304 4196468 140723441887216 140586351475088 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13953] ppid=13941 vsize=27328728 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13944/task/13953/stat : 13953 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866833 27984617472 338017 33554432000 4194304 4196468 140723441887216 140586350422288 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13954] ppid=13941 vsize=27328728 memory=2244 CPUtime=0 cores=0-7
/proc/13944/task/13954/stat : 13954 (java) S 13941 13941 7170 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 418866835 27984617472 338017 33554432000 4194304 4196468 140723441887216 140585925634928 140586934360706 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13955] ppid=13941 vsize=27328728 memory=33 CPUtime=0 cores=0-7
/proc/13944/task/13955/stat : 13955 (java) S 13941 13941 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418866835 27984617472 338017 33554432000 4194304 4196468 140723441887216 140584815683104 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13956] ppid=13941 vsize=27328728 memory=6371309678708414057 CPUtime=0 cores=0-7
/proc/13944/task/13956/stat : 13956 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866835 27984617472 338017 33554432000 4194304 4196468 140723441887216 140584547247472 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13957] ppid=13941 vsize=27328728 memory=7649399384265274161 CPUtime=0 cores=0-7
/proc/13944/task/13957/stat : 13957 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418866838 27984617472 338017 33554432000 4194304 4196468 140723441887216 140584172738896 140586934368155 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13958] ppid=13941 vsize=27328728 memory=4294969504 CPUtime=2.88 cores=0-7
/proc/13944/task/13958/stat : 13958 (java) R 13941 13941 7170 0 -1 4202560 4167 0 0 0 287 1 0 0 20 0 20 0 418866838 27984617472 338017 33554432000 4194304 4196468 140723441887216 140585924564336 140586912715236 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13959] ppid=13941 vsize=27328728 memory=7396 CPUtime=3.82 cores=0-7
/proc/13944/task/13959/stat : 13959 (java) R 13941 13941 7170 0 -1 4202560 2479 0 0 0 382 0 0 0 20 0 20 0 418866838 27984617472 338017 33554432000 4194304 4196468 140723441887216 140585923517296 140586917846347 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13960] ppid=13941 vsize=27328728 memory=0 CPUtime=2.8 cores=0-7
/proc/13944/task/13960/stat : 13960 (java) R 13941 13941 7170 0 -1 4202560 2640 0 0 0 279 1 0 0 20 0 20 0 418866838 27984617472 338017 33554432000 4194304 4196468 140723441887216 140585922460336 140586919111095 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13961] ppid=13941 vsize=27328728 memory=0 CPUtime=0.93 cores=0-7
/proc/13944/task/13961/stat : 13961 (java) S 13941 13941 7170 0 -1 1077944384 2452 0 0 0 92 1 0 0 20 0 20 0 418866838 27984617472 338017 33554432000 4194304 4196468 140723441887216 140585921423344 140586934360706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13962] ppid=13941 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13962/stat : 13962 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418866838 27984617472 338017 33554432000 4194304 4196468 140723441887216 140583674834016 140586934359765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
[pid=13944/tid=13963] ppid=13941 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/13944/task/13963/stat : 13963 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418866838 27984617472 338017 33554432000 4194304 4196468 140723441887216 140585920371760 140586934360706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140723441894122 140723441894550 140723441894550 140723441897423 0
Current children cumulated CPU time: 15.24 s
Current children cumulated vsize: 27441856 KiB
Current children cumulated memory: 1353464 KiB

[startup+5.60027 s]
/proc/loadavg: 7.25 8.04 8.09 2/211 13964
/proc/meminfo: memFree=30088980/32770624 swapFree=66995692/67108860
[pid=13941] ppid=13938 vsize=113128 memory=1476 CPUtime=16.34 cores=0-7
/proc/13941/stat : 13941 (scop.sh) S 13938 13941 7170 0 -1 4202496 582 35578 0 0 0 0 1599 35 20 0 1 0 418866830 115843072 369 33554432000 4194304 5098028 140734387437824 140734387434568 140469718954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30797824 140734387446564 140734387446892 140734387446892 140734387449805 0
/proc/13941/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 16.34 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+6.00033 s]*
/proc/loadavg: 7.25 8.04 8.09 4/211 13984
/proc/meminfo: memFree=31448224/32770624 swapFree=66995692/67108860
[pid=13941] ppid=13938 vsize=113128 memory=1476 CPUtime=16.34 cores=0-7
/proc/13941/stat : 13941 (scop.sh) S 13938 13941 7170 0 -1 4202496 582 35578 0 0 0 0 1599 35 20 0 1 0 418866830 115843072 369 33554432000 4194304 5098028 140734387437824 140734387434568 140469718954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30797824 140734387446564 140734387446892 140734387446892 140734387449805 0
/proc/13941/statm: 28282 369 311 221 0 87 0
[pid=13965] ppid=13941 vsize=7756476 memory=104308 CPUtime=1.01 cores=0-7
/proc/13965/stat : 13965 (java) S 13941 13941 7170 0 -1 1077944320 20487 0 0 0 95 6 0 0 20 0 20 0 418867358 7942631424 26077 33554432000 4194304 4196468 140731133524528 140731133507072 140506528607991 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
/proc/13965/statm: 1939119 26077 3170 1 0 1900463 0
[pid=13965/tid=13966] ppid=13941 vsize=7756476 memory=7093213536183334705 CPUtime=0.71 cores=0-7
/proc/13965/task/13966/stat : 13966 (java) R 13941 13941 7170 0 -1 4202560 17561 0 0 0 66 5 0 0 20 0 20 0 418867358 7942631424 26109 33554432000 4194304 4196468 140731133524528 140506500442736 140506528619926 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13967] ppid=13941 vsize=7756476 memory=8025788801276662888 CPUtime=0 cores=0-7
/proc/13965/task/13967/stat : 13967 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867360 7942631424 26109 33554432000 4194304 4196468 140731133524528 140506532850192 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13968] ppid=13941 vsize=7756476 memory=2319529727747119008 CPUtime=0 cores=0-7
/proc/13965/task/13968/stat : 13968 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867360 7942631424 26109 33554432000 4194304 4196468 140731133524528 140506013444752 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13969] ppid=13941 vsize=7756476 memory=3763096353890578998 CPUtime=0 cores=0-7
/proc/13965/task/13969/stat : 13969 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867360 7942631424 26109 33554432000 4194304 4196468 140731133524528 140506012391696 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13970] ppid=13941 vsize=7756476 memory=0 CPUtime=0 cores=0-7
/proc/13965/task/13970/stat : 13970 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867360 7942631424 26109 33554432000 4194304 4196468 140731133524528 140506011339152 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13971] ppid=13941 vsize=7756476 memory=-7165351541977658656 CPUtime=0 cores=0-7
/proc/13965/task/13971/stat : 13971 (java) S 13941 13941 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418867360 7942631424 26109 33554432000 4194304 4196468 140731133524528 140506010287120 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13972] ppid=13941 vsize=7756476 memory=59712 CPUtime=0 cores=0-7
/proc/13965/task/13972/stat : 13972 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867360 7942631424 26109 33554432000 4194304 4196468 140731133524528 140506009234576 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13973] ppid=13941 vsize=7756476 memory=140502810558977 CPUtime=0 cores=0-7
/proc/13965/task/13973/stat : 13973 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867360 7942631424 26109 33554432000 4194304 4196468 140731133524528 140506008181520 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13974] ppid=13941 vsize=7756476 memory=140502810556673 CPUtime=0 cores=0-7
/proc/13965/task/13974/stat : 13974 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418867360 7942631424 26109 33554432000 4194304 4196468 140731133524528 140506007128976 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13975] ppid=13941 vsize=7756476 memory=0 CPUtime=0 cores=0-7
/proc/13965/task/13975/stat : 13975 (java) S 13941 13941 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418867361 7942631424 26109 33554432000 4194304 4196468 140731133524528 140505621960944 140506528619138 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13976] ppid=13941 vsize=7756476 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/13965/task/13976/stat : 13976 (java) S 13941 13941 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418867362 7942631424 26109 33554432000 4194304 4196468 140731133524528 140505157461152 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13977] ppid=13941 vsize=7756476 memory=0 CPUtime=0 cores=0-7
/proc/13965/task/13977/stat : 13977 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867362 7942631424 26109 33554432000 4194304 4196468 140731133524528 140504889025264 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13978] ppid=13941 vsize=7756476 memory=3834174039698049328 CPUtime=0 cores=0-7
/proc/13965/task/13978/stat : 13978 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867364 7942631424 26109 33554432000 4194304 4196468 140731133524528 140504514516944 140506528626587 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13979] ppid=13941 vsize=7756476 memory=5865469479800824941 CPUtime=0.04 cores=0-7
/proc/13965/task/13979/stat : 13979 (java) R 13941 13941 7170 0 -1 4202560 562 0 0 0 4 0 0 0 20 0 20 0 418867364 7942631424 26109 33554432000 4194304 4196468 140731133524528 140505620908784 140506507914996 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13980] ppid=13941 vsize=7756476 memory=7236547281622689387 CPUtime=0.02 cores=0-7
/proc/13965/task/13980/stat : 13980 (java) R 13941 13941 7170 0 -1 4202560 180 0 0 0 2 0 0 0 20 0 20 0 418867364 7942631424 26109 33554432000 4194304 4196468 140731133524528 140505619845952 140506509308288 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13981] ppid=13941 vsize=7756476 memory=7597685182856913236 CPUtime=0.03 cores=0-7
/proc/13965/task/13981/stat : 13981 (java) R 13941 13941 7170 0 -1 4202560 153 0 0 0 3 0 0 0 20 0 20 0 418867364 7942631424 26109 33554432000 4194304 4196468 140731133524528 140505618789264 140506509082618 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13982] ppid=13941 vsize=7756476 memory=4639059877604708710 CPUtime=0.17 cores=0-7
/proc/13965/task/13982/stat : 13982 (java) R 13941 13941 7170 0 -1 4202560 712 0 0 0 17 0 0 0 20 0 20 0 418867364 7942631424 26109 33554432000 4194304 4196468 140731133524528 140505617750640 140506521704827 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13983] ppid=13941 vsize=7756476 memory=7300728970739542608 CPUtime=0 cores=0-7
/proc/13965/task/13983/stat : 13983 (java) S 13941 13941 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418867365 7942631424 26109 33554432000 4194304 4196468 140731133524528 140504016611808 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13984] ppid=13941 vsize=7756476 memory=7300728970739542608 CPUtime=0 cores=0-7
/proc/13965/task/13984/stat : 13984 (java) S 13941 13941 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418867365 7942631424 26109 33554432000 4194304 4196468 140731133524528 140505616698032 140506528619138 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
Current children cumulated CPU time: 17.35 s
Current children cumulated vsize: 7869604 KiB
Current children cumulated memory: 105784 KiB

[startup+6.201 s]
/proc/loadavg: 7.25 8.04 8.09 4/211 13984
/proc/meminfo: memFree=31448224/32770624 swapFree=66995692/67108860
[pid=13941] ppid=13938 vsize=113128 memory=1476 CPUtime=16.34 cores=0-7
/proc/13941/stat : 13941 (scop.sh) S 13938 13941 7170 0 -1 4202496 582 35578 0 0 0 0 1599 35 20 0 1 0 418866830 115843072 369 33554432000 4194304 5098028 140734387437824 140734387434568 140469718954620 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30797824 140734387446564 140734387446892 140734387446892 140734387449805 0
/proc/13941/statm: 28282 369 311 221 0 87 0
[pid=13965] ppid=13941 vsize=8283048 memory=125788 CPUtime=1.53 cores=0-7
/proc/13965/stat : 13965 (java) S 13941 13941 7170 0 -1 1077944320 21921 4337 0 0 134 8 7 4 20 0 22 0 418867358 8481841152 31447 33554432000 4194304 4196468 140731133524528 140731133507072 140506528607991 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
/proc/13965/statm: 2070762 31447 3208 1 0 2032106 0
[pid=13965/tid=13966] ppid=13941 vsize=8283048 memory=575 CPUtime=0.96 cores=0-7
/proc/13965/task/13966/stat : 13966 (java) R 13941 13941 7170 0 -1 4202560 18289 4337 0 0 80 5 7 4 20 0 22 0 418867358 8481841152 31447 33554432000 4194304 4196468 140731133524528 140506500446736 140731133593538 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13967] ppid=13941 vsize=8283048 memory=0 CPUtime=0.11 cores=0-7
/proc/13965/task/13967/stat : 13967 (java) S 13941 13941 7170 0 -1 1077944384 2 4337 0 0 0 0 7 4 20 0 22 0 418867360 8481841152 31447 33554432000 4194304 4196468 140731133524528 140506532850192 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13968] ppid=13941 vsize=8283048 memory=1938 CPUtime=0.11 cores=0-7
/proc/13965/task/13968/stat : 13968 (java) S 13941 13941 7170 0 -1 1077944384 2 4337 0 0 0 0 7 4 20 0 22 0 418867360 8481841152 31447 33554432000 4194304 4196468 140731133524528 140506013444752 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13969] ppid=13941 vsize=8283048 memory=1340 CPUtime=0.11 cores=0-7
/proc/13965/task/13969/stat : 13969 (java) S 13941 13941 7170 0 -1 1077944384 2 4337 0 0 0 0 7 4 20 0 22 0 418867360 8481841152 31447 33554432000 4194304 4196468 140731133524528 140506012391696 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13970] ppid=13941 vsize=8283048 memory=16095 CPUtime=0.11 cores=0-7
/proc/13965/task/13970/stat : 13970 (java) S 13941 13941 7170 0 -1 1077944384 1 4337 0 0 0 0 7 4 20 0 22 0 418867360 8481841152 31447 33554432000 4194304 4196468 140731133524528 140506011339152 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13971] ppid=13941 vsize=8283048 memory=4199 CPUtime=0.11 cores=0-7
/proc/13965/task/13971/stat : 13971 (java) S 13941 13941 7170 0 -1 1077944384 2 4337 0 0 0 0 7 4 20 0 22 0 418867360 8481841152 31447 33554432000 4194304 4196468 140731133524528 140506010287120 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13972] ppid=13941 vsize=8283048 memory=3 CPUtime=0.11 cores=0-7
/proc/13965/task/13972/stat : 13972 (java) S 13941 13941 7170 0 -1 1077944384 1 4337 0 0 0 0 7 4 20 0 22 0 418867360 8481841152 31447 33554432000 4194304 4196468 140731133524528 140506009234576 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13973] ppid=13941 vsize=8283048 memory=149 CPUtime=0.11 cores=0-7
/proc/13965/task/13973/stat : 13973 (java) S 13941 13941 7170 0 -1 1077944384 1 4337 0 0 0 0 7 4 20 0 22 0 418867360 8481841152 31447 33554432000 4194304 4196468 140731133524528 140506008181520 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13974] ppid=13941 vsize=8283048 memory=993 CPUtime=0.11 cores=0-7
/proc/13965/task/13974/stat : 13974 (java) S 13941 13941 7170 0 -1 1077944384 3 4337 0 0 0 0 7 4 20 0 22 0 418867360 8481841152 31447 33554432000 4194304 4196468 140731133524528 140506007128976 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13975] ppid=13941 vsize=8283048 memory=609 CPUtime=0.11 cores=0-7
/proc/13965/task/13975/stat : 13975 (java) S 13941 13941 7170 0 -1 1077944384 5 4337 0 0 0 0 7 4 20 0 22 0 418867361 8481841152 31447 33554432000 4194304 4196468 140731133524528 140505621960944 140506528619138 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13976] ppid=13941 vsize=8283048 memory=288230574492221466 CPUtime=0.11 cores=0-7
/proc/13965/task/13976/stat : 13976 (java) S 13941 13941 7170 0 -1 1077944384 13 4337 0 0 0 0 7 4 20 0 22 0 418867362 8481841152 31447 33554432000 4194304 4196468 140731133524528 140505157461152 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13977] ppid=13941 vsize=8283048 memory=288230621803970871 CPUtime=0.11 cores=0-7
/proc/13965/task/13977/stat : 13977 (java) S 13941 13941 7170 0 -1 1077944384 1 4337 0 0 0 0 7 4 20 0 22 0 418867362 8481841152 31447 33554432000 4194304 4196468 140731133524528 140504889025264 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13978] ppid=13941 vsize=8283048 memory=14136632290839084 CPUtime=0.11 cores=0-7
/proc/13965/task/13978/stat : 13978 (java) S 13941 13941 7170 0 -1 1077944384 1 4337 0 0 0 0 7 4 20 0 22 0 418867364 8481841152 31447 33554432000 4194304 4196468 140731133524528 140504514516944 140506528626587 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13979] ppid=13941 vsize=8283048 memory=0 CPUtime=0.21 cores=0-7
/proc/13965/task/13979/stat : 13979 (java) S 13941 13941 7170 0 -1 1077944384 750 4337 0 0 10 0 7 4 20 0 22 0 418867364 8481841152 31447 33554432000 4194304 4196468 140731133524528 140505620908784 140506528619138 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13980] ppid=13941 vsize=8283048 memory=6944656575208382560 CPUtime=0.17 cores=0-7
/proc/13965/task/13980/stat : 13980 (java) S 13941 13941 7170 0 -1 1077944384 322 4337 0 0 6 0 7 4 20 0 22 0 418867364 8481841152 31447 33554432000 4194304 4196468 140731133524528 140505619856240 140506528619138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13981] ppid=13941 vsize=8283048 memory=0 CPUtime=0.17 cores=0-7
/proc/13965/task/13981/stat : 13981 (java) S 13941 13941 7170 0 -1 1077944384 169 4337 0 0 6 0 7 4 20 0 22 0 418867364 8481841152 31447 33554432000 4194304 4196468 140731133524528 140505618803184 140506528619138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13982] ppid=13941 vsize=8283048 memory=0 CPUtime=0.37 cores=0-7
/proc/13965/task/13982/stat : 13982 (java) R 13941 13941 7170 0 -1 4202560 936 4337 0 0 26 0 7 4 20 0 22 0 418867364 8481841152 31447 33554432000 4194304 4196468 140731133524528 140505617750640 140506510018141 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13983] ppid=13941 vsize=8283048 memory=0 CPUtime=0.11 cores=0-7
/proc/13965/task/13983/stat : 13983 (java) S 13941 13941 7170 0 -1 1077944384 3 4337 0 0 0 0 7 4 20 0 22 0 418867365 8481841152 31447 33554432000 4194304 4196468 140731133524528 140504016611808 140506528618197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
[pid=13965/tid=13984] ppid=13941 vsize=8283048 memory=0 CPUtime=0.11 cores=0-7
/proc/13965/task/13984/stat : 13984 (java) S 13941 13941 7170 0 -1 1077944384 1 4337 0 0 0 0 7 4 20 0 22 0 418867365 8481841152 31447 33554432000 4194304 4196468 140731133524528 140505616698032 140506528619138 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24227840 140731133527031 140731133527190 140731133527190 140731133530063 0
Current children cumulated CPU time: 17.87 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 127264 KiB

Child status: 0
Real time (s): 6.21301
CPU time (s): 17.9197
CPU user time (s): 17.4149
CPU system time (s): 0.504845
CPU usage (%): 288.423
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1598344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4149
system time used= 0.504845
maximum resident set size= 1602368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11329
involuntary context switches= 30


# summary of solver processes directly reported to runsolver:
#   pid: 13941
#   total CPU time (s): 17.9197
#   total CPU user time (s): 17.4149
#   total CPU system time (s): 0.504845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067647 second user time and 0.114795 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-14 03:55:09
IDJOB=4392568
IDBENCH=126132
IDSOLVER=2839
FILE ID=node102/4392568-1568426154
RUNJOBID= node102-1568416723-7197
PBS_JOBID= 21702264
Free space on /tmp= 59328 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-76.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-4392568-1568426154/watcher-4392568-1568426154 -o /tmp/evaluation-result-4392568-1568426154/solver-4392568-1568426154 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --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-4392568-1568426154.xml

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

MD5SUM BENCH= 67696fc72ebd3977eb7611ca6505cd00
RANDOM SEED=2017172155

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31536080 kB
MemAvailable:   31918840 kB
Buffers:          170476 kB
Cached:           505840 kB
SwapCached:         9500 kB
Active:           336388 kB
Inactive:         351184 kB
Active(anon):       8992 kB
Inactive(anon):    33848 kB
Active(file):     327396 kB
Inactive(file):   317336 kB
Unevictable:      110432 kB
Mlocked:          110432 kB
SwapTotal:      67108860 kB
SwapFree:       66995692 kB
Dirty:             20876 kB
Writeback:             0 kB
AnonPages:        130488 kB
Mapped:            35088 kB
Shmem:             22708 kB
Slab:             136476 kB
SReclaimable:     107728 kB
SUnreclaim:        28748 kB
KernelStack:        3728 kB
PageTables:         5536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59308 MiB
End job on node102 at 2019-09-14 03:55:15