Trace number 4392493

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 order+ManyGlucose (2019-06-15)UNSAT 26.5661 8.26903

General information on the benchmark

NameQueensKnights/QueensKnights-m1-s1/
QueensKnights-050-05-mul.xml
MD5SUM0dc4c2f273d2e82d82a6e1c594dd299c
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark13.9722
Satisfiable
(Un)Satisfiability was proved
Number of variables55
Number of constraints1485
Number of domains2
Minimum domain size50
Maximum domain size2500
Distribution of domain sizes[{"size":50,"count":50},{"size":2500,"count":5}]
Minimum variable degree54
Maximum variable degree54
Distribution of variable degrees[{"degree":54,"count":55}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1485}]
Number of extensional constraints0
Number of intensional constraints1485
Distribution of constraint types[{"type":"intension","count":1485}]
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-7951-serial-file.bin HOME/instance-4392493-1568416844.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 01:20:07 CEST 2019
0.65/0.56	c PID: 7954
0.65/0.56	c IP: 172.20.3.149
0.65/0.56	c HOST: node149.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.49/1.44	c (0,0) Parsing End
3.49/1.44	c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 1485 ctr, max domain size 2500
3.49/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.49/1.45	c (0,0) Constraint Name Generate Begin
3.49/1.46	c (0,0) Ctr:HOME/instance-4392493-1568416844.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
3.49/1.46	c (0,0) Constraint Name Generate End
3.49/1.46	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.49/1.46	c (0,0) CSP to CSPinCNF Begin
4.45/1.75	c (1,1) translated 149 (10%) constraints
4.75/1.83	c (1,1) translated 297 (20%) constraints
5.03/1.90	c (1,1) translated 446 (30%) constraints
5.03/1.96	c (1,1) translated 594 (40%) constraints
5.39/2.01	c (1,1) translated 743 (50%) constraints
5.39/2.05	c (1,1) translated 891 (60%) constraints
5.39/2.10	c (1,1) translated 1040 (70%) constraints
5.80/2.14	c (1,1) translated 1188 (80%) constraints
5.80/2.19	c (1,1) translated 1337 (90%) constraints
6.14/2.20	c (1,1) translated 1485 (100%) constraints
6.14/2.20	c (1,1) ===========================================
6.14/2.20	c (1,1) Order
6.14/2.20	c (1,1) ===========================================
6.14/2.25	c (1,1) translated 525 (10%) constraints
6.14/2.28	c (1,1) translated 1050 (20%) constraints
6.56/2.30	c (1,1) translated 1575 (30%) constraints
6.56/2.33	c (1,1) translated 2100 (40%) constraints
6.56/2.35	c (1,1) translated 2625 (50%) constraints
6.56/2.38	c (1,1) translated 3150 (60%) constraints
6.95/2.40	c (1,1) translated 3675 (70%) constraints
6.95/2.42	c (1,1) translated 4200 (80%) constraints
6.95/2.45	c (1,1) translated 4725 (90%) constraints
6.95/2.49	c (1,1) translated 5250 (100%) constraints
6.95/2.49	c (1,1) CSP to CSPinCNF End
7.37/2.50	c (1,1) CSP: 75 int (20 aux), 1235 bool (1235 aux), 5260 ctr, max domain size 2500
7.37/2.50	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.37/2.50	c (1,1) CSPinCNF Propagation Begin
7.37/2.57	c (2,2) 1 values, 14 unsatisfiable literals, and 21 valid clauses are removed
7.37/2.57	c (2,2) CSPinCNF Propagation End
7.37/2.57	c (2,2) CSP: 75 int (20 aux), 1235 bool (1235 aux), 5239 ctr, max domain size 2500
7.37/2.57	c (2,2) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.37/2.57	c (2,2) Simplify CSPinCNF Begin
8.20/2.74	c (2,2) Simplify CSPinCNF End
8.20/2.75	c (2,2) CSP: 75 int (20 aux), 6683 bool (6683 aux), 10687 ctr, max domain size 2500
8.20/2.75	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.20/2.75	c (2,2) Calculate Precise Domain Begin
8.20/2.75	c (2,2) 0 values are removed by re-calculation
8.20/2.75	c (2,2) Calculate Precise Domain End
8.20/2.75	c (2,2) CSP: 75 int (20 aux), 6683 bool (6683 aux), 10687 ctr, max domain size 2500
8.20/2.75	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.20/2.75	c (2,2) CSPinCNF to SatSolver Begin
10.32/3.23	c (2,2) 1069 (10 %) CSP clauses are encoded (0 SAT variables, 43849 SAT clauses)
10.65/3.39	c (2,2) 2138 (20 %) CSP clauses are encoded (0 SAT variables, 71841 SAT clauses)
11.00/3.54	c (3,2) 3207 (30 %) CSP clauses are encoded (0 SAT variables, 100202 SAT clauses)
11.21/3.70	c (3,3) 4275 (40 %) CSP clauses are encoded (0 SAT variables, 130208 SAT clauses)
11.35/3.85	c (3,3) 5344 (50 %) CSP clauses are encoded (0 SAT variables, 160469 SAT clauses)
11.60/4.01	c (3,3) 6413 (60 %) CSP clauses are encoded (0 SAT variables, 192369 SAT clauses)
11.75/4.17	c (3,3) 7481 (70 %) CSP clauses are encoded (0 SAT variables, 225176 SAT clauses)
12.07/4.34	c (3,3) 8550 (80 %) CSP clauses are encoded (0 SAT variables, 259465 SAT clauses)
12.31/4.80	c (4,3) 9619 (90 %) CSP clauses are encoded (0 SAT variables, 296004 SAT clauses)
13.47/5.25	c (4,4) 10687 (100 %) CSP clauses are encoded (0 SAT variables, 406587 SAT clauses)
13.47/5.25	c (4,4) CSPinCNF to SatSolver End
13.47/5.25	c (4,4) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.47/5.25	c (4,4) 22607 bool, 406637 clause
13.47/5.25	c (4,4) Export Begin
13.61/5.33	c (4,4) Export to HOME/scop-7951-serial-file.bin
13.61/5.33	c (4,4) Export End
13.61/5.33	c (4,4) Export File Size: 0.01 MB
13.61/5.33	c (4,4) 0,0,1,2,2,2,4,STOP-AFTER(DIMACS)
13.61/5.33	c END-Prog: Sat Sep 14 01:20:12 CEST 2019
13.61/5.36	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7951-serial-file.bin
13.70/5.82	c (0,0) Read Serial File Begin
13.70/5.82	c (0,0) HOME/scop-7951-serial-file.bin
14.57/6.02	c (0,0) Read Serial File End
14.57/6.03	
14.57/6.03	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
14.57/6.03	(Solving Process)
14.57/6.03	
14.57/6.05	c BEGIN-Prog: Sat Sep 14 01:20:13 CEST 2019
14.57/6.05	c PID: 7974
14.57/6.05	c IP: 172.20.3.149
14.57/6.05	c HOST: node149.alineos.net
14.57/6.06	c (0,0) SatSolver.solve Begin
14.57/6.06	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392493-1568416844.xml-scop-7954.cnf
14.57/6.08	c (0,0) c
14.57/6.08	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)
14.57/6.08	c (0,0) c
14.57/6.08	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
14.57/6.08	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
14.57/6.08	c (0,0) c ========================================[ Problem Statistics ]===========================================
14.57/6.08	c (0,0) c |                                                                                                       |
14.80/6.20	c (0,0) c |  Number of variables:         22607                                                                   |
14.80/6.20	c (0,0) c |  Number of clauses:          406637                                                                   |
14.80/6.20	c (0,0) c |  Parse time:                   0.11 s                                                                 |
14.80/6.20	c (0,0) c |                                                                                                       |
14.80/6.63	c (0,0) c |  Simplification time:          0.43 s                                                                 |
14.80/6.63	c (0,0) c |                                                                                                       |
14.80/6.63	c (0,0) c |  Generating clones                                                                                    |
14.80/6.75	c (1,0) c |  all clones generated. Memory =   247.30Mb.                                                           |
14.80/6.75	c (1,0) c ========================================================================================================|
14.80/6.75	c (1,0) c
14.80/6.75	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
14.80/6.75	c (1,0) c
14.80/6.75	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.80/6.75	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
14.80/6.75	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.80/6.75	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
14.80/6.75	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
14.80/6.75	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
14.80/6.75	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
14.80/6.75	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
14.80/6.75	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
14.80/6.75	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
14.80/6.75	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
14.80/6.75	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
14.80/6.75	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
14.80/6.75	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
14.80/6.75	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
14.80/6.75	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
14.80/6.75	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
14.80/6.75	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
14.80/6.75	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.22	c (2,0) c
26.42/8.22	c (2,0) c real time : 2.14327 s
26.42/8.22	c (2,0) c cpu time  : 11.42 s
26.42/8.22	c (2,0) c
26.42/8.22	c (2,0) c
26.42/8.22	c (2,0) c
26.42/8.22	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
26.42/8.22	c (2,0) c
26.42/8.22	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.22	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
26.42/8.22	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.22	c (2,0) c | Conflicts     |           24523 |       2330 |       2248 |       5825 |       3136 |       3078 |       1868 |       3010 |       3028 |
26.42/8.22	c (2,0) c | Decisions     |           41257 |       3899 |       7766 |       7947 |       4614 |       4543 |       3515 |       4272 |       4701 |
26.42/8.22	c (2,0) c | Propagations  |        35627701 |    3752042 |    5956260 |    4791461 |    4089461 |    4486616 |    4637829 |    4157060 |    3756972 |
26.42/8.22	c (2,0) c | ReduceDBs     |               7 |          1 |          1 |          1 |          1 |          1 |          0 |          1 |          1 |
26.42/8.22	c (2,0) c | SimpDBs       |              17 |          1 |          1 |          4 |          2 |          2 |          1 |          3 |          3 |
26.42/8.22	c (2,0) c | Restarts      |              21 |          2 |          3 |          1 |          4 |          2 |          4 |          2 |          3 |
26.42/8.22	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.42/8.22	c (2,0) c | PropBinClauses|        40273360 |    4250980 |    6562899 |    5516843 |    4653885 |    5104045 |    5125265 |    4712456 |    4346987 |
26.42/8.22	c (2,0) c | PropPreBlocker|       186021233 |   17892779 |   31968283 |   29218706 |   21319473 |   19356088 |   25173926 |   19738453 |   21353525 |
26.42/8.22	c (2,0) c | PropNotBlocker|        50962424 |    5689673 |    5232602 |    6773225 |    6373845 |    6775584 |    7922101 |    6463504 |    5731890 |
26.42/8.22	c (2,0) c | LitFullScans  |       311462603 |   30021047 |   48006885 |   48488072 |   36002771 |   34927744 |   42008984 |   36004159 |   36002941 |
26.42/8.22	c (2,0) c | LitScanFracts |           20626 |         77 |       3742 |       6305 |       2771 |        986 |       1824 |       2076 |       2845 |
26.42/8.22	c (2,0) c | DecisionLevel0|              44 |          2 |          3 |          6 |          6 |          9 |          4 |          7 |          7 |
26.42/8.22	c (2,0) c | Periods       |              51 |          5 |          8 |          8 |          6 |          5 |          7 |          6 |          6 |
26.42/8.22	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
26.42/8.22	c (2,0) c | Avg_Trail     |                 |      10873 |      18418 |      12340 |      10529 |       7680 |      15480 |       9196 |      10704 |
26.42/8.22	c (2,0) c | Avg_DL        |                 |         43 |        111 |         22 |         48 |         18 |        103 |         20 |         33 |
26.42/8.22	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.42/8.22	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.42/8.22	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.22	c (2,0) c | Exported      |             449 |         10 |         52 |        199 |         32 |         64 |          8 |         41 |         43 |
26.42/8.22	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.42/8.22	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.42/8.22	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.42/8.22	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.42/8.22	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.42/8.22	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
26.42/8.22	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.22	c (2,0) c | Unaries       |                 |          0 |          0 |          5 |          2 |          7 |          0 |          5 |          4 |
26.42/8.22	c (2,0) c | Binaries      |                 |          5 |          3 |         26 |         21 |         40 |          5 |         29 |         24 |
26.42/8.22	c (2,0) c | Glues         |                 |         10 |         52 |         67 |         32 |         64 |          8 |         41 |         43 |
26.42/8.22	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.22	c (2,0) c | Orig_Seen     |             1 % |      11511 |       6943 |       6283 |       6676 |       4840 |       9613 |       7044 |       7607 |
26.42/8.22	c (2,0) c | Diff Orig seen|                 |       6671 |       2103 |       1443 |       1836 |      X     |       4773 |       2204 |       2767 |
26.42/8.22	c (2,0) c | Hamming       |            27 % |       5004 |       3916 |       4671 |       6551 |      X     |       8634 |       7131 |       7082 |
26.42/8.22	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.22	c (2,0) c | RunningTime   |                 |    1.5 100%|    1.4 100%|    1.4 100%|    1.4 100%|    1.3 100%|    1.4 100%|    1.4 100%|    1.4 100%|
26.42/8.22	c (2,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%|
26.42/8.22	c (2,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
26.42/8.22	c (2,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%|
26.42/8.22	c (2,0) c | SolvingTime   |                 |    1.5     |    1.4     |    1.4     |    1.4     |    1.3     |    1.4     |    1.4     |    1.4     |
26.42/8.22	c (2,0) c | PropagationTim|                 |    1.4  96%|    1.4  95%|    1.3  92%|    1.3  95%|    1.3  94%|    1.3  95%|    1.4  94%|    1.3  93%|
26.42/8.22	c (2,0) c | AnalysisTime  |                 |    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|
26.42/8.22	c (2,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%|
26.42/8.22	c (2,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   2%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   2%|
26.42/8.22	c (2,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%|
26.42/8.23	c (2,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%|
26.42/8.23	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.23	c (2,0) c
26.42/8.23	c (2,0) c
26.42/8.23	c (2,0) c Threads : 8
26.42/8.23	c (2,0) c Winner : 4
26.42/8.23	c (2,0) c Conflicts_0 : 2330
26.42/8.23	c (2,0) c Conflicts_1 : 2248
26.42/8.23	c (2,0) c Conflicts_2 : 5825
26.42/8.23	c (2,0) c Conflicts_3 : 3136
26.42/8.23	c (2,0) c Conflicts_4 : 3078
26.42/8.23	c (2,0) c Conflicts_5 : 1868
26.42/8.23	c (2,0) c Conflicts_6 : 3010
26.42/8.23	c (2,0) c Conflicts_7 : 3028
26.42/8.23	c (2,0) c Conflicts_total : 24523
26.42/8.23	c (2,0) c Conflicts_winner : 3078
26.42/8.23	c (2,0) c Decisions_0 : 3899
26.42/8.23	c (2,0) c Decisions_1 : 7766
26.42/8.23	c (2,0) c Decisions_2 : 7947
26.42/8.23	c (2,0) c Decisions_3 : 4614
26.42/8.23	c (2,0) c Decisions_4 : 4543
26.42/8.23	c (2,0) c Decisions_5 : 3515
26.42/8.23	c (2,0) c Decisions_6 : 4272
26.42/8.23	c (2,0) c Decisions_7 : 4701
26.42/8.23	c (2,0) c Decisions_total : 41257
26.42/8.23	c (2,0) c Decisions_winner : 4543
26.42/8.23	c (2,0) c Propagations_0 : 3752042
26.42/8.23	c (2,0) c Propagations_1 : 5956260
26.42/8.23	c (2,0) c Propagations_2 : 4791461
26.42/8.23	c (2,0) c Propagations_3 : 4089461
26.42/8.23	c (2,0) c Propagations_4 : 4486616
26.42/8.23	c (2,0) c Propagations_5 : 4637829
26.42/8.23	c (2,0) c Propagations_6 : 4157060
26.42/8.23	c (2,0) c Propagations_7 : 3756972
26.42/8.23	c (2,0) c Propagations_total : 35627701
26.42/8.23	c (2,0) c Propagations_winner : 4486616
26.42/8.23	c (2,0) c ReduceDBs_0 : 1
26.42/8.23	c (2,0) c ReduceDBs_1 : 1
26.42/8.23	c (2,0) c ReduceDBs_2 : 1
26.42/8.23	c (2,0) c ReduceDBs_3 : 1
26.42/8.23	c (2,0) c ReduceDBs_4 : 1
26.42/8.23	c (2,0) c ReduceDBs_5 : 0
26.42/8.23	c (2,0) c ReduceDBs_6 : 1
26.42/8.23	c (2,0) c ReduceDBs_7 : 1
26.42/8.23	c (2,0) c ReduceDBs_total : 7
26.42/8.23	c (2,0) c ReduceDBs_winner : 1
26.42/8.23	c (2,0) c SimpDBs_0 : 1
26.42/8.23	c (2,0) c SimpDBs_1 : 1
26.42/8.23	c (2,0) c SimpDBs_2 : 4
26.42/8.23	c (2,0) c SimpDBs_3 : 2
26.42/8.23	c (2,0) c SimpDBs_4 : 2
26.42/8.23	c (2,0) c SimpDBs_5 : 1
26.42/8.23	c (2,0) c SimpDBs_6 : 3
26.42/8.23	c (2,0) c SimpDBs_7 : 3
26.42/8.23	c (2,0) c SimpDBs_total : 17
26.42/8.23	c (2,0) c SimpDBs_winner : 2
26.42/8.23	c (2,0) c Restarts_0 : 2
26.42/8.23	c (2,0) c Restarts_1 : 3
26.42/8.23	c (2,0) c Restarts_2 : 1
26.42/8.23	c (2,0) c Restarts_3 : 4
26.42/8.23	c (2,0) c Restarts_4 : 2
26.42/8.23	c (2,0) c Restarts_5 : 4
26.42/8.23	c (2,0) c Restarts_6 : 2
26.42/8.23	c (2,0) c Restarts_7 : 3
26.42/8.23	c (2,0) c Restarts_total : 21
26.42/8.23	c (2,0) c Restarts_winner : 2
26.42/8.23	c (2,0) c ForcedImports_0 : 0
26.42/8.23	c (2,0) c ForcedImports_1 : 0
26.42/8.23	c (2,0) c ForcedImports_2 : 0
26.42/8.23	c (2,0) c ForcedImports_3 : 0
26.42/8.23	c (2,0) c ForcedImports_4 : 0
26.42/8.23	c (2,0) c ForcedImports_5 : 0
26.42/8.23	c (2,0) c ForcedImports_6 : 0
26.42/8.23	c (2,0) c ForcedImports_7 : 0
26.42/8.23	c (2,0) c ForcedImports_total : 0
26.42/8.23	c (2,0) c ForcedImports_winner : 0
26.42/8.23	c (2,0) c PropsBinClauses_0 : 4250980
26.42/8.23	c (2,0) c PropsBinClauses_1 : 6562899
26.42/8.23	c (2,0) c PropsBinClauses_2 : 5516843
26.42/8.23	c (2,0) c PropsBinClauses_3 : 4653885
26.42/8.23	c (2,0) c PropsBinClauses_4 : 5104045
26.42/8.23	c (2,0) c PropsBinClauses_5 : 5125265
26.42/8.23	c (2,0) c PropsBinClauses_6 : 4712456
26.42/8.23	c (2,0) c PropsBinClauses_7 : 4346987
26.42/8.23	c (2,0) c PropsBinClauses_total : 40273360
26.42/8.23	c (2,0) c PropsBinClauses_winner : 5104045
26.42/8.23	c (2,0) c PropsPreBlocker_0 : 17892779
26.42/8.23	c (2,0) c PropsPreBlocker_1 : 31968283
26.42/8.23	c (2,0) c PropsPreBlocker_2 : 29218706
26.42/8.23	c (2,0) c PropsPreBlocker_3 : 21319473
26.42/8.23	c (2,0) c PropsPreBlocker_4 : 19356088
26.42/8.23	c (2,0) c PropsPreBlocker_5 : 25173926
26.42/8.23	c (2,0) c PropsPreBlocker_6 : 19738453
26.42/8.23	c (2,0) c PropsPreBlocker_7 : 21353525
26.42/8.23	c (2,0) c PropsPreBlocker_total : 186021233
26.42/8.23	c (2,0) c PropsPreBlocker_winner : 19356088
26.42/8.23	c (2,0) c PropsNotBlocker_0 : 5689673
26.42/8.23	c (2,0) c PropsNotBlocker_1 : 5232602
26.42/8.23	c (2,0) c PropsNotBlocker_2 : 6773225
26.42/8.23	c (2,0) c PropsNotBlocker_3 : 6373845
26.42/8.23	c (2,0) c PropsNotBlocker_4 : 6775584
26.42/8.23	c (2,0) c PropsNotBlocker_5 : 7922101
26.42/8.23	c (2,0) c PropsNotBlocker_6 : 6463504
26.42/8.23	c (2,0) c PropsNotBlocker_7 : 5731890
26.42/8.23	c (2,0) c PropsNotBlocker_total : 50962424
26.42/8.23	c (2,0) c PropsNotBlocker_winner : 6775584
26.42/8.23	c (2,0) c PropsLitFullScans_0 : 30021047
26.42/8.23	c (2,0) c PropsLitFullScans_1 : 48006885
26.42/8.23	c (2,0) c PropsLitFullScans_2 : 48488072
26.42/8.23	c (2,0) c PropsLitFullScans_3 : 36002771
26.42/8.23	c (2,0) c PropsLitFullScans_4 : 34927744
26.42/8.23	c (2,0) c PropsLitFullScans_5 : 42008984
26.42/8.23	c (2,0) c PropsLitFullScans_6 : 36004159
26.42/8.23	c (2,0) c PropsLitFullScans_7 : 36002941
26.42/8.23	c (2,0) c PropsLitFullScans_total : 311462603
26.42/8.23	c (2,0) c PropsLitFullScans_winner : 34927744
26.42/8.23	c (2,0) c LitScanFractions_0 : 77
26.42/8.23	c (2,0) c LitScanFractions_1 : 3742
26.42/8.23	c (2,0) c LitScanFractions_2 : 6305
26.42/8.23	c (2,0) c LitScanFractions_3 : 2771
26.42/8.23	c (2,0) c LitScanFractions_4 : 986
26.42/8.23	c (2,0) c LitScanFractions_5 : 1824
26.42/8.23	c (2,0) c LitScanFractions_6 : 2076
26.42/8.23	c (2,0) c LitScanFractions_7 : 2845
26.42/8.23	c (2,0) c LitScanFractions_total : 20626
26.42/8.23	c (2,0) c LitScanFractions_winner : 986
26.42/8.23	c (2,0) c DecisionLevel0_0 : 2
26.42/8.23	c (2,0) c DecisionLevel0_1 : 3
26.42/8.23	c (2,0) c DecisionLevel0_2 : 6
26.42/8.23	c (2,0) c DecisionLevel0_3 : 6
26.42/8.23	c (2,0) c DecisionLevel0_4 : 9
26.42/8.23	c (2,0) c DecisionLevel0_5 : 4
26.42/8.23	c (2,0) c DecisionLevel0_6 : 7
26.42/8.23	c (2,0) c DecisionLevel0_7 : 7
26.42/8.23	c (2,0) c DecisionLevel0_total : 44
26.42/8.23	c (2,0) c DecisionLevel0_winner : 9
26.42/8.23	c (2,0) c Periods_0 : 5
26.42/8.23	c (2,0) c Periods_1 : 8
26.42/8.23	c (2,0) c Periods_2 : 8
26.42/8.23	c (2,0) c Periods_3 : 6
26.42/8.23	c (2,0) c Periods_4 : 5
26.42/8.23	c (2,0) c Periods_5 : 7
26.42/8.23	c (2,0) c Periods_6 : 6
26.42/8.23	c (2,0) c Periods_7 : 6
26.42/8.23	c (2,0) c Periods_total : 51
26.42/8.23	c (2,0) c Periods_winner : 5
26.42/8.23	c (2,0) c Margin_0 : 20
26.42/8.23	c (2,0) c Margin_1 : 20
26.42/8.23	c (2,0) c Margin_2 : 20
26.42/8.23	c (2,0) c Margin_3 : 20
26.42/8.23	c (2,0) c Margin_4 : 20
26.42/8.23	c (2,0) c Margin_5 : 20
26.42/8.23	c (2,0) c Margin_6 : 20
26.42/8.23	c (2,0) c Margin_7 : 20
26.42/8.23	c (2,0) c Margin_total : 160
26.42/8.23	c (2,0) c Margin_winner : 20
26.42/8.23	c (2,0) c Exported_0 : 10
26.42/8.23	c (2,0) c Exported_1 : 52
26.42/8.23	c (2,0) c Exported_2 : 199
26.42/8.23	c (2,0) c Exported_3 : 32
26.42/8.23	c (2,0) c Exported_4 : 64
26.42/8.23	c (2,0) c Exported_5 : 8
26.42/8.23	c (2,0) c Exported_6 : 41
26.42/8.23	c (2,0) c Exported_7 : 43
26.42/8.23	c (2,0) c Exported_total : 449
26.42/8.23	c (2,0) c Exported_winner : 64
26.42/8.23	c (2,0) c Imported_0 : 0
26.42/8.23	c (2,0) c Imported_1 : 0
26.42/8.23	c (2,0) c Imported_2 : 0
26.42/8.23	c (2,0) c Imported_3 : 0
26.42/8.23	c (2,0) c Imported_4 : 0
26.42/8.23	c (2,0) c Imported_5 : 0
26.42/8.23	c (2,0) c Imported_6 : 0
26.42/8.23	c (2,0) c Imported_7 : 0
26.42/8.23	c (2,0) c Imported_total : 0
26.42/8.23	c (2,0) c Imported_winner : 0
26.42/8.23	c (2,0) c Good_0 : 0
26.42/8.23	c (2,0) c Good_1 : 0
26.42/8.23	c (2,0) c Good_2 : 0
26.42/8.23	c (2,0) c Good_3 : 0
26.42/8.23	c (2,0) c Good_4 : 0
26.42/8.23	c (2,0) c Good_5 : 0
26.42/8.23	c (2,0) c Good_6 : 0
26.42/8.23	c (2,0) c Good_7 : 0
26.42/8.23	c (2,0) c Good_total : 0
26.42/8.23	c (2,0) c Good_winner : 0
26.42/8.23	c (2,0) c Purge_0 : 0
26.42/8.23	c (2,0) c Purge_1 : 0
26.42/8.23	c (2,0) c Purge_2 : 0
26.42/8.23	c (2,0) c Purge_3 : 0
26.42/8.23	c (2,0) c Purge_4 : 0
26.42/8.23	c (2,0) c Purge_5 : 0
26.42/8.23	c (2,0) c Purge_6 : 0
26.42/8.23	c (2,0) c Purge_7 : 0
26.42/8.23	c (2,0) c Purge_total : 0
26.42/8.23	c (2,0) c Purge_winner : 0
26.42/8.23	c (2,0) c Promoted_0 : 0
26.42/8.23	c (2,0) c Promoted_1 : 0
26.42/8.23	c (2,0) c Promoted_2 : 0
26.42/8.23	c (2,0) c Promoted_3 : 0
26.42/8.23	c (2,0) c Promoted_4 : 0
26.42/8.23	c (2,0) c Promoted_5 : 0
26.42/8.23	c (2,0) c Promoted_6 : 0
26.42/8.23	c (2,0) c Promoted_7 : 0
26.42/8.23	c (2,0) c Promoted_total : 0
26.42/8.23	c (2,0) c Promoted_winner : 0
26.42/8.23	c (2,0) c Remove_Imp_0 : 0
26.42/8.23	c (2,0) c Remove_Imp_1 : 0
26.42/8.23	c (2,0) c Remove_Imp_2 : 0
26.42/8.23	c (2,0) c Remove_Imp_3 : 0
26.42/8.23	c (2,0) c Remove_Imp_4 : 0
26.42/8.23	c (2,0) c Remove_Imp_5 : 0
26.42/8.23	c (2,0) c Remove_Imp_6 : 0
26.42/8.23	c (2,0) c Remove_Imp_7 : 0
26.42/8.23	c (2,0) c Remove_Imp_total : 0
26.42/8.23	c (2,0) c Remove_Imp_winner : 0
26.42/8.23	c (2,0) c Blocked_Reuse_0 : 0
26.42/8.23	c (2,0) c Blocked_Reuse_1 : 0
26.42/8.23	c (2,0) c Blocked_Reuse_2 : 0
26.42/8.23	c (2,0) c Blocked_Reuse_3 : 0
26.42/8.23	c (2,0) c Blocked_Reuse_4 : 0
26.42/8.23	c (2,0) c Blocked_Reuse_5 : 0
26.42/8.23	c (2,0) c Blocked_Reuse_6 : 0
26.42/8.23	c (2,0) c Blocked_Reuse_7 : 0
26.42/8.23	c (2,0) c Blocked_Reuse_total : 0
26.42/8.23	c (2,0) c Blocked_Reuse_winner : 0
26.42/8.23	c (2,0) c Unaries_0 : 0
26.42/8.23	c (2,0) c Unaries_1 : 0
26.42/8.23	c (2,0) c Unaries_2 : 5
26.42/8.23	c (2,0) c Unaries_3 : 2
26.42/8.23	c (2,0) c Unaries_4 : 7
26.42/8.23	c (2,0) c Unaries_5 : 0
26.42/8.23	c (2,0) c Unaries_6 : 5
26.42/8.23	c (2,0) c Unaries_7 : 4
26.42/8.23	c (2,0) c Unaries_total : 23
26.42/8.23	c (2,0) c Unaries_winner : 7
26.42/8.23	c (2,0) c Binaries_0 : 5
26.42/8.23	c (2,0) c Binaries_1 : 3
26.42/8.23	c (2,0) c Binaries_2 : 26
26.42/8.23	c (2,0) c Binaries_3 : 21
26.42/8.23	c (2,0) c Binaries_4 : 40
26.42/8.23	c (2,0) c Binaries_5 : 5
26.42/8.23	c (2,0) c Binaries_6 : 29
26.42/8.23	c (2,0) c Binaries_7 : 24
26.42/8.23	c (2,0) c Binaries_total : 153
26.42/8.23	c (2,0) c Binaries_winner : 40
26.42/8.23	c (2,0) c Glues_0 : 10
26.42/8.23	c (2,0) c Glues_1 : 52
26.42/8.23	c (2,0) c Glues_2 : 67
26.42/8.23	c (2,0) c Glues_3 : 32
26.42/8.23	c (2,0) c Glues_4 : 64
26.42/8.23	c (2,0) c Glues_5 : 8
26.42/8.23	c (2,0) c Glues_6 : 41
26.42/8.23	c (2,0) c Glues_7 : 43
26.42/8.23	c (2,0) c Glues_total : 317
26.42/8.23	c (2,0) c Glues_winner : 64
26.42/8.23	c (2,0) c RunningTime_0 : 1.468652
26.42/8.23	c (2,0) c RunningTime_1 : 1.433348
26.42/8.23	c (2,0) c RunningTime_2 : 1.370411
26.42/8.23	c (2,0) c RunningTime_3 : 1.387427
26.42/8.23	c (2,0) c RunningTime_4 : 1.335937
26.42/8.23	c (2,0) c RunningTime_5 : 1.360578
26.42/8.24	c (2,0) c RunningTime_6 : 1.443719
26.42/8.24	c (2,0) c RunningTime_7 : 1.350844
26.42/8.24	c (2,0) c RunningTime_total : 11.150917
26.42/8.24	c (2,0) c RunningTime_winner : 1.335937
26.42/8.24	c (2,0) c WaitingTime_0 : 0.000000
26.42/8.24	c (2,0) c WaitingTime_1 : 0.000000
26.42/8.24	c (2,0) c WaitingTime_2 : 0.000000
26.42/8.24	c (2,0) c WaitingTime_3 : 0.000000
26.42/8.24	c (2,0) c WaitingTime_4 : 0.000000
26.42/8.24	c (2,0) c WaitingTime_5 : 0.000000
26.42/8.24	c (2,0) c WaitingTime_6 : 0.000000
26.42/8.24	c (2,0) c WaitingTime_7 : 0.000000
26.42/8.24	c (2,0) c WaitingTime_total : 0.000000
26.42/8.24	c (2,0) c WaitingTime_winner : 0.000000
26.42/8.24	c (2,0) c ExchangingTime_0 : 0.000211
26.42/8.24	c (2,0) c ExchangingTime_1 : 0.000376
26.42/8.24	c (2,0) c ExchangingTime_2 : 0.001296
26.42/8.24	c (2,0) c ExchangingTime_3 : 0.000282
26.42/8.24	c (2,0) c ExchangingTime_4 : 0.000264
26.42/8.24	c (2,0) c ExchangingTime_5 : 0.000239
26.42/8.24	c (2,0) c ExchangingTime_6 : 0.000276
26.42/8.24	c (2,0) c ExchangingTime_7 : 0.000387
26.42/8.24	c (2,0) c ExchangingTime_total : 0.003331
26.42/8.24	c (2,0) c ExchangingTime_winner : 0.000264
26.42/8.24	c (2,0) c PeriodProcTime_0 : 0.000089
26.42/8.24	c (2,0) c PeriodProcTime_1 : 0.000121
26.42/8.24	c (2,0) c PeriodProcTime_2 : 0.000116
26.42/8.24	c (2,0) c PeriodProcTime_3 : 0.000092
26.42/8.24	c (2,0) c PeriodProcTime_4 : 0.000062
26.42/8.24	c (2,0) c PeriodProcTime_5 : 0.000109
26.42/8.24	c (2,0) c PeriodProcTime_6 : 0.000103
26.42/8.24	c (2,0) c PeriodProcTime_7 : 0.000098
26.42/8.24	c (2,0) c PeriodProcTime_total : 0.000790
26.42/8.24	c (2,0) c PeriodProcTime_winner : 0.000062
26.42/8.24	c (2,0) c SolvingTime_0 : 1.468953
26.42/8.24	c (2,0) c SolvingTime_1 : 1.433845
26.42/8.24	c (2,0) c SolvingTime_2 : 1.371823
26.42/8.24	c (2,0) c SolvingTime_3 : 1.387801
26.42/8.24	c (2,0) c SolvingTime_4 : 1.336263
26.42/8.24	c (2,0) c SolvingTime_5 : 1.360925
26.42/8.24	c (2,0) c SolvingTime_6 : 1.444099
26.42/8.24	c (2,0) c SolvingTime_7 : 1.351329
26.42/8.24	c (2,0) c SolvingTime_total : 11.155039
26.42/8.24	c (2,0) c SolvingTime_winner : 1.336263
26.42/8.24	c (2,0) c PropagationTime_0 : 1.406815
26.42/8.24	c (2,0) c PropagationTime_1 : 1.365462
26.42/8.24	c (2,0) c PropagationTime_2 : 1.261691
26.42/8.24	c (2,0) c PropagationTime_3 : 1.312005
26.42/8.24	c (2,0) c PropagationTime_4 : 1.261444
26.42/8.24	c (2,0) c PropagationTime_5 : 1.294461
26.42/8.24	c (2,0) c PropagationTime_6 : 1.357531
26.42/8.24	c (2,0) c PropagationTime_7 : 1.263171
26.42/8.24	c (2,0) c PropagationTime_total : 10.522581
26.42/8.24	c (2,0) c PropagationTime_winner : 1.261444
26.42/8.24	c (2,0) c AnalysisTime_0 : 0.024368
26.42/8.24	c (2,0) c AnalysisTime_1 : 0.025391
26.42/8.24	c (2,0) c AnalysisTime_2 : 0.032430
26.42/8.24	c (2,0) c AnalysisTime_3 : 0.025904
26.42/8.24	c (2,0) c AnalysisTime_4 : 0.026143
26.42/8.24	c (2,0) c AnalysisTime_5 : 0.027963
26.42/8.24	c (2,0) c AnalysisTime_6 : 0.027849
26.42/8.24	c (2,0) c AnalysisTime_7 : 0.026175
26.42/8.24	c (2,0) c AnalysisTime_total : 0.216223
26.42/8.24	c (2,0) c AnalysisTime_winner : 0.026143
26.42/8.24	c (2,0) c ReductionTime_0 : 0.000418
26.42/8.24	c (2,0) c ReductionTime_1 : 0.000322
26.42/8.24	c (2,0) c ReductionTime_2 : 0.000328
26.42/8.24	c (2,0) c ReductionTime_3 : 0.000340
26.42/8.24	c (2,0) c ReductionTime_4 : 0.000362
26.42/8.24	c (2,0) c ReductionTime_5 : 0.000000
26.42/8.24	c (2,0) c ReductionTime_6 : 0.000423
26.42/8.24	c (2,0) c ReductionTime_7 : 0.000140
26.42/8.24	c (2,0) c ReductionTime_total : 0.002333
26.42/8.24	c (2,0) c ReductionTime_winner : 0.000362
26.42/8.24	c (2,0) c SimplifyTime_0 : 0.000000
26.42/8.24	c (2,0) c SimplifyTime_1 : 0.000000
26.42/8.24	c (2,0) c SimplifyTime_2 : 0.033204
26.42/8.24	c (2,0) c SimplifyTime_3 : 0.009950
26.42/8.24	c (2,0) c SimplifyTime_4 : 0.010024
26.42/8.24	c (2,0) c SimplifyTime_5 : 0.000000
26.42/8.24	c (2,0) c SimplifyTime_6 : 0.020117
26.42/8.24	c (2,0) c SimplifyTime_7 : 0.025085
26.42/8.24	c (2,0) c SimplifyTime_total : 0.098379
26.42/8.24	c (2,0) c SimplifyTime_winner : 0.010024
26.42/8.24	c (2,0) c UsedRateTime_0 : 0.000000
26.42/8.24	c (2,0) c UsedRateTime_1 : 0.000000
26.42/8.24	c (2,0) c UsedRateTime_2 : 0.000000
26.42/8.24	c (2,0) c UsedRateTime_3 : 0.000000
26.42/8.24	c (2,0) c UsedRateTime_4 : 0.000000
26.42/8.24	c (2,0) c UsedRateTime_5 : 0.000000
26.42/8.24	c (2,0) c UsedRateTime_6 : 0.000000
26.42/8.24	c (2,0) c UsedRateTime_7 : 0.000000
26.42/8.24	c (2,0) c UsedRateTime_total : 0.000000
26.42/8.24	c (2,0) c UsedRateTime_winner : 0.000000
26.42/8.24	c (2,0) c OverlapRateTime_0 : 0.000000
26.42/8.24	c (2,0) c OverlapRateTime_1 : 0.000000
26.42/8.24	c (2,0) c OverlapRateTime_2 : 0.000000
26.42/8.24	c (2,0) c OverlapRateTime_3 : 0.000000
26.42/8.24	c (2,0) c OverlapRateTime_4 : 0.000000
26.42/8.24	c (2,0) c OverlapRateTime_5 : 0.000000
26.42/8.24	c (2,0) c OverlapRateTime_6 : 0.000000
26.42/8.24	c (2,0) c OverlapRateTime_7 : 0.000000
26.42/8.24	c (2,0) c OverlapRateTime_total : 0.000000
26.42/8.24	c (2,0) c OverlapRateTime_winner : 0.000000
26.42/8.24	c (2,0) c
26.42/8.24	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
26.42/8.24	c (2,0) c
26.42/8.24	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.24	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
26.42/8.24	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.24	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
26.42/8.24	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
26.42/8.24	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
26.42/8.24	c (2,0) c | Initial random_seed   | 1061718931 |  690303971 |   38426368 |  177446975 |   21685003 |   26394886 |  959796489 |    1862541 |
26.42/8.24	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
26.42/8.24	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
26.42/8.24	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
26.42/8.24	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
26.42/8.24	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
26.42/8.24	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
26.42/8.24	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
26.42/8.24	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8100 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
26.42/8.24	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
26.42/8.24	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
26.42/8.24	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
26.42/8.24	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
26.42/8.24	c (2,0) 
26.42/8.24	c (2,0) s UNSATISFIABLE
26.42/8.24	c (2,0) SatSolver.solve End
26.42/8.24	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
26.42/8.24	c (2,0) Show results Begin
26.42/8.24	s UNSATISFIABLE
26.42/8.24	c (2,0) Show results End
26.42/8.24	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
26.42/8.25	c (2,0) 2,2,STOP-AFTER(ALL)
26.42/8.25	c END-Prog: Sat Sep 14 01:20:15 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392493-1568416844/watcher-4392493-1568416844 -o /tmp/evaluation-result-4392493-1568416844/solver-4392493-1568416844 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392493-1568416844.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=7951, runsolver pid=7948

[startup+0.100136 s]*
/proc/loadavg: 3.18 1.38 1.31 2/214 7973
/proc/meminfo: memFree=30812472/32770624 swapFree=66940928/67108860
[pid=7951] ppid=7948 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7951/stat : 7951 (scop.sh) S 7948 7951 6415 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417923139 115843072 348 33554432000 4194304 5098028 140730327116800 140730327114056 139935652037244 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11079680 140730327118629 140730327118956 140730327118956 140730327121869 0
/proc/7951/statm: 28282 348 296 221 0 87 0
[pid=7954] ppid=7951 vsize=27314120 memory=107228 CPUtime=0.1 cores=0-7
/proc/7954/stat : 7954 (java) S 7951 7951 6415 0 -1 1077944320 6385 0 0 0 8 2 0 0 20 0 20 0 417923139 27969658880 26807 33554432000 4194304 4196468 140726648844016 140726648826560 139992422911735 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
/proc/7954/statm: 6828530 26807 2776 1 0 6790935 0
[pid=7954/tid=7955] ppid=7951 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7954/task/7955/stat : 7955 (java) R 7951 7951 6415 0 -1 4202560 4516 0 0 0 7 2 0 0 20 0 20 0 417923140 27969658880 26807 33554432000 4194304 4196468 140726648844016 139992394730112 139992422923670 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7956] ppid=7951 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7954/task/7956/stat : 7956 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 26807 33554432000 4194304 4196468 140726648844016 139992427154320 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7957] ppid=7951 vsize=27314120 memory=140053372368512 CPUtime=0 cores=0-7
/proc/7954/task/7957/stat : 7957 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 26807 33554432000 4194304 4196468 140726648844016 139991844813584 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7958] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7958/stat : 7958 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 26807 33554432000 4194304 4196468 140726648844016 139991843761296 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7959] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7959/stat : 7959 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 26807 33554432000 4194304 4196468 140726648844016 139991842708496 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7960] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7960/stat : 7960 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 26807 33554432000 4194304 4196468 140726648844016 139991841655184 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7961] ppid=7951 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7954/task/7961/stat : 7961 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 26807 33554432000 4194304 4196468 140726648844016 139991840602384 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7962] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7962/stat : 7962 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 26807 33554432000 4194304 4196468 140726648844016 139991839550096 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7963] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7963/stat : 7963 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 26807 33554432000 4194304 4196468 140726648844016 139991838497296 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7964] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7964/stat : 7964 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417923143 27969658880 26807 33554432000 4194304 4196468 140726648844016 139990541806192 139992422922882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7965] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7965/stat : 7965 (java) S 7951 7951 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417923144 27969658880 26807 33554432000 4194304 4196468 140726648844016 139990365365536 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7966] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7966/stat : 7966 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923144 27969658880 26807 33554432000 4194304 4196468 140726648844016 139990096930416 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7967] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7967/stat : 7967 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 26807 33554432000 4194304 4196468 140726648844016 139989722421840 139992422930331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7968] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7968/stat : 7968 (java) S 7951 7951 6415 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 26807 33554432000 4194304 4196468 140726648844016 139990540753008 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7969] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7969/stat : 7969 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 26807 33554432000 4194304 4196468 140726648844016 139990539700208 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7970] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7970/stat : 7970 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 26807 33554432000 4194304 4196468 140726648844016 139990538647920 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7971] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7971/stat : 7971 (java) S 7951 7951 6415 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 26807 33554432000 4194304 4196468 140726648844016 139990537595120 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7972] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7972/stat : 7972 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 26807 33554432000 4194304 4196468 140726648844016 139989224516448 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7973] ppid=7951 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7954/task/7973/stat : 7973 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 26872 33554432000 4194304 4196468 140726648844016 139990536543024 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108620 KiB

[startup+0.209941 s]*
/proc/loadavg: 3.18 1.38 1.31 3/214 7973
/proc/meminfo: memFree=30788644/32770624 swapFree=66940928/67108860
[pid=7951] ppid=7948 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7951/stat : 7951 (scop.sh) S 7948 7951 6415 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417923139 115843072 348 33554432000 4194304 5098028 140730327116800 140730327114056 139935652037244 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11079680 140730327118629 140730327118956 140730327118956 140730327121869 0
/proc/7951/statm: 28282 348 296 221 0 87 0
[pid=7954] ppid=7951 vsize=27314120 memory=126788 CPUtime=0.24 cores=0-7
/proc/7954/stat : 7954 (java) S 7951 7951 6415 0 -1 1077944320 12037 0 0 0 20 4 0 0 20 0 20 0 417923139 27969658880 31697 33554432000 4194304 4196468 140726648844016 140726648826560 139992422911735 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
/proc/7954/statm: 6828530 31697 2939 1 0 6790935 0
[pid=7954/tid=7955] ppid=7951 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7954/task/7955/stat : 7955 (java) R 7951 7951 6415 0 -1 4202560 9752 0 0 0 16 3 0 0 20 0 20 0 417923140 27969658880 31697 33554432000 4194304 4196468 140726648844016 139992394711120 139992408077280 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7956] ppid=7951 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/7954/task/7956/stat : 7956 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 31697 33554432000 4194304 4196468 140726648844016 139992427154320 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7957] ppid=7951 vsize=27314120 memory=140053372376590 CPUtime=0 cores=0-7
/proc/7954/task/7957/stat : 7957 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 31697 33554432000 4194304 4196468 140726648844016 139991844813584 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7958] ppid=7951 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7954/task/7958/stat : 7958 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 31697 33554432000 4194304 4196468 140726648844016 139991843761296 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7959] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7959/stat : 7959 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 31697 33554432000 4194304 4196468 140726648844016 139991842708496 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7960] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7960/stat : 7960 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 31697 33554432000 4194304 4196468 140726648844016 139991841655184 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7961] ppid=7951 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7954/task/7961/stat : 7961 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 31697 33554432000 4194304 4196468 140726648844016 139991840602384 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7962] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7962/stat : 7962 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 31697 33554432000 4194304 4196468 140726648844016 139991839550096 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7963] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7963/stat : 7963 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 31697 33554432000 4194304 4196468 140726648844016 139991838497296 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7964] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7964/stat : 7964 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417923143 27969658880 31697 33554432000 4194304 4196468 140726648844016 139990541806192 139992422922882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7965] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7965/stat : 7965 (java) S 7951 7951 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417923144 27969658880 31697 33554432000 4194304 4196468 140726648844016 139990365365536 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7966] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7966/stat : 7966 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923144 27969658880 31697 33554432000 4194304 4196468 140726648844016 139990096930416 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7967] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7967/stat : 7967 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 31697 33554432000 4194304 4196468 140726648844016 139989722421840 139992422930331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7968] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7968/stat : 7968 (java) S 7951 7951 6415 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 31697 33554432000 4194304 4196468 140726648844016 139990540753008 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7969] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7969/stat : 7969 (java) S 7951 7951 6415 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 31697 33554432000 4194304 4196468 140726648844016 139990539700208 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7970] ppid=7951 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7954/task/7970/stat : 7970 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 31697 33554432000 4194304 4196468 140726648844016 139990538647920 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7971] ppid=7951 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7954/task/7971/stat : 7971 (java) S 7951 7951 6415 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 417923147 27969658880 31697 33554432000 4194304 4196468 140726648844016 139990537595120 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7972] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7972/stat : 7972 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 31697 33554432000 4194304 4196468 140726648844016 139989224516448 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7973] ppid=7951 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7954/task/7973/stat : 7973 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 31697 33554432000 4194304 4196468 140726648844016 139990536543024 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128180 KiB

[startup+0.309454 s]*
/proc/loadavg: 3.18 1.38 1.31 2/214 7973
/proc/meminfo: memFree=30786612/32770624 swapFree=66940928/67108860
[pid=7951] ppid=7948 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7951/stat : 7951 (scop.sh) S 7948 7951 6415 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417923139 115843072 348 33554432000 4194304 5098028 140730327116800 140730327114056 139935652037244 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11079680 140730327118629 140730327118956 140730327118956 140730327121869 0
/proc/7951/statm: 28282 348 296 221 0 87 0
[pid=7954] ppid=7951 vsize=27314120 memory=130128 CPUtime=0.42 cores=0-7
/proc/7954/stat : 7954 (java) S 7951 7951 6415 0 -1 1077944320 12402 0 0 0 37 5 0 0 20 0 20 0 417923139 27969658880 32532 33554432000 4194304 4196468 140726648844016 140726648826560 139992422911735 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
/proc/7954/statm: 6828530 32532 3001 1 0 6790935 0
[pid=7954/tid=7955] ppid=7951 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7954/task/7955/stat : 7955 (java) R 7951 7951 6415 0 -1 4202560 9936 0 0 0 26 3 0 0 20 0 20 0 417923140 27969658880 32532 33554432000 4194304 4196468 140726648844016 139992394702384 139992403190136 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7956] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7956/stat : 7956 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 32532 33554432000 4194304 4196468 140726648844016 139992427154320 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7957] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7957/stat : 7957 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 32532 33554432000 4194304 4196468 140726648844016 139991844813584 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7958] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7958/stat : 7958 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 32532 33554432000 4194304 4196468 140726648844016 139991843761296 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7959] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7959/stat : 7959 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 32532 33554432000 4194304 4196468 140726648844016 139991842708496 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7960] ppid=7951 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/7954/task/7960/stat : 7960 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 32532 33554432000 4194304 4196468 140726648844016 139991841655184 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7961] ppid=7951 vsize=27314120 memory=140053246473135 CPUtime=0 cores=0-7
/proc/7954/task/7961/stat : 7961 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 32532 33554432000 4194304 4196468 140726648844016 139991840602384 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7962] ppid=7951 vsize=27314120 memory=140053246475440 CPUtime=0 cores=0-7
/proc/7954/task/7962/stat : 7962 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 32532 33554432000 4194304 4196468 140726648844016 139991839550096 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7963] ppid=7951 vsize=27314120 memory=140053246477744 CPUtime=0 cores=0-7
/proc/7954/task/7963/stat : 7963 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27969658880 32532 33554432000 4194304 4196468 140726648844016 139991838497296 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7964] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7964/stat : 7964 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417923143 27969658880 32532 33554432000 4194304 4196468 140726648844016 139990541806192 139992422922882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7965] ppid=7951 vsize=27314120 memory=280106492962448 CPUtime=0 cores=0-7
/proc/7954/task/7965/stat : 7965 (java) S 7951 7951 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417923144 27969658880 32532 33554432000 4194304 4196468 140726648844016 139990365365536 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7966] ppid=7951 vsize=27314120 memory=280106492969360 CPUtime=0 cores=0-7
/proc/7954/task/7966/stat : 7966 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923144 27969658880 32532 33554432000 4194304 4196468 140726648844016 139990096930416 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7967] ppid=7951 vsize=27314120 memory=280106492910512 CPUtime=0 cores=0-7
/proc/7954/task/7967/stat : 7967 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 32532 33554432000 4194304 4196468 140726648844016 139989722421840 139992422930331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7968] ppid=7951 vsize=27314120 memory=280106492983184 CPUtime=0.01 cores=0-7
/proc/7954/task/7968/stat : 7968 (java) S 7951 7951 6415 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 417923147 27969658880 32532 33554432000 4194304 4196468 140726648844016 139990540753008 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7969] ppid=7951 vsize=27314120 memory=280106492990096 CPUtime=0 cores=0-7
/proc/7954/task/7969/stat : 7969 (java) R 7951 7951 6415 0 -1 4202560 193 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 32532 33554432000 4194304 4196468 140726648844016 139990539700208 139992403612032 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7970] ppid=7951 vsize=27314120 memory=280106492987792 CPUtime=0.01 cores=0-7
/proc/7954/task/7970/stat : 7970 (java) S 7951 7951 6415 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 417923147 27969658880 32532 33554432000 4194304 4196468 140726648844016 139990538647920 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7971] ppid=7951 vsize=27314120 memory=280106493003952 CPUtime=0.07 cores=0-7
/proc/7954/task/7971/stat : 7971 (java) S 7951 7951 6415 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 417923147 27969658880 32532 33554432000 4194304 4196468 140726648844016 139990537595120 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7972] ppid=7951 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7972/stat : 7972 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 32532 33554432000 4194304 4196468 140726648844016 139989224516448 139992422921941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7973] ppid=7951 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7954/task/7973/stat : 7973 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923147 27969658880 32532 33554432000 4194304 4196468 140726648844016 139990536543024 139992422922882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131520 KiB

[startup+0.700868 s]
/proc/loadavg: 3.18 1.38 1.31 3/214 7973
/proc/meminfo: memFree=30766072/32770624 swapFree=66940928/67108860
[pid=7951] ppid=7948 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7951/stat : 7951 (scop.sh) S 7948 7951 6415 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417923139 115843072 348 33554432000 4194304 5098028 140730327116800 140730327114056 139935652037244 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11079680 140730327118629 140730327118956 140730327118956 140730327121869 0
/proc/7951/statm: 28282 348 296 221 0 87 0
[pid=7954] ppid=7951 vsize=27320392 memory=167328 CPUtime=0.99 cores=0-7
/proc/7954/stat : 7954 (java) S 7951 7951 6415 0 -1 1077944320 19875 0 0 0 92 7 0 0 20 0 20 0 417923139 27976081408 41832 33554432000 4194304 4196468 140726648844016 140726648826560 139992422911735 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
/proc/7954/statm: 6830098 41832 3171 1 0 6791447 0
[pid=7954/tid=7955] ppid=7951 vsize=27320392 memory=280106493361840 CPUtime=0.67 cores=0-7
/proc/7954/task/7955/stat : 7955 (java) R 7951 7951 6415 0 -1 4202560 16852 0 0 0 62 5 0 0 20 0 20 0 417923140 27976081408 41832 33554432000 4194304 4196468 140726648844016 139992394749168 139992422933661 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7956] ppid=7951 vsize=27320392 memory=140053246681968 CPUtime=0 cores=0-7
/proc/7954/task/7956/stat : 7956 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27976081408 41832 33554432000 4194304 4196468 140726648844016 139992427154320 139992422921941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7957] ppid=7951 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7954/task/7957/stat : 7957 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417923142 27976081408 41832 33554432000 4194304 4196468 140726648844016 139991844813584 139992422921941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0
[pid=7954/tid=7958] ppid=7951 vsize=27320392 memory=5980 CPUtime=0 cores=0-7
/proc/7954/task/7958/stat : 7958 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417923142 27976081408 41832 33554432000 4194304 4196468 140726648844016 139991843761296 139992422921941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23056384 140726648853228 140726648853654 140726648853654 140726648856527 0

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

[pid=7974/tid=7991] ppid=7951 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/7974/task/7991/stat : 7991 (java) S 7951 7951 6415 0 -1 1077944384 523 0 0 0 19 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112913373936 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7992] ppid=7951 vsize=8414124 memory=280106493637792 CPUtime=0 cores=0-7
/proc/7974/task/7992/stat : 7992 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140111027104096 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7993] ppid=7951 vsize=8414124 memory=3184097920075968560 CPUtime=0 cores=0-7
/proc/7974/task/7993/stat : 7993 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112912320816 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7995] ppid=7951 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/7974/task/7995/stat : 7995 (java) S 7951 7951 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417923747 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112906478912 140113622716185 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7997] ppid=7951 vsize=8414124 memory=1532 CPUtime=0 cores=0-7
/proc/7974/task/7997/stat : 7997 (java) S 7951 7951 6415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 417923747 8616062976 29295 33554432000 4194304 4196468 140722738442528 140110356004752 140113622713501 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7998] ppid=7951 vsize=8414124 memory=1088 CPUtime=0 cores=0-7
/proc/7974/task/7998/stat : 7998 (java) S 7951 7951 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417923748 8616062976 29295 33554432000 4194304 4196468 140722738442528 140110624440080 140113622713501 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7999] ppid=7951 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/7974/task/7999/stat : 7999 (java) S 7951 7951 6415 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417923750 8616062976 29295 33554432000 4194304 4196468 140722738442528 140110087577392 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
Current children cumulated CPU time: 18.88 s
Current children cumulated vsize: 9374436 KiB
Current children cumulated memory: 372352 KiB

[startup+8.00222 s]*
/proc/loadavg: 2.92 1.36 1.30 9/226 8007
/proc/meminfo: memFree=30534680/32770624 swapFree=66940928/67108860
[pid=7951] ppid=7948 vsize=113128 memory=1472 CPUtime=13.7 cores=0-7
/proc/7951/stat : 7951 (scop.sh) S 7948 7951 6415 0 -1 4202496 582 31609 0 0 0 0 1331 39 20 0 1 0 417923139 115843072 368 33554432000 4194304 5098028 140730327116800 140730327113544 139935652037244 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11079680 140730327118629 140730327118956 140730327118956 140730327121869 0
/proc/7951/statm: 28282 368 311 221 0 87 0
[pid=7974] ppid=7951 vsize=8414124 memory=117180 CPUtime=1.1 cores=0-7
/proc/7974/stat : 7974 (java) S 7951 7951 6415 0 -1 1077944320 19802 0 0 0 103 7 0 0 20 0 24 0 417923676 8616062976 29295 33554432000 4194304 4196468 140722738442528 140722738425072 140113622691575 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
/proc/7974/statm: 2103531 29295 3175 1 0 2064875 0
[pid=7994] ppid=7974 vsize=847848 memory=256148 CPUtime=10.52 cores=0-7
/proc/7994/stat : 7994 (manyglucose-4.1) S 7974 7951 6415 0 -1 1077944320 65074 0 0 0 1030 22 0 0 20 0 9 0 417923747 868196352 64037 33554432000 4194304 4454172 140733090800624 140733090799024 140434560244354 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
/proc/7994/statm: 211962 64037 407 64 0 207630 0
[pid=7994/tid=8000] ppid=7974 vsize=847848 memory=0 CPUtime=1.23 cores=0-7
/proc/7994/task/8000/stat : 8000 (manyglucose-4.1) R 7974 7951 6415 0 -1 4202560 1711 0 0 0 122 1 0 0 20 0 9 0 417923814 868196352 64037 33554432000 4194304 4454172 140733090800624 140434525096744 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
[pid=7994/tid=8001] ppid=7974 vsize=847848 memory=0 CPUtime=1.23 cores=0-7
/proc/7994/task/8001/stat : 8001 (manyglucose-4.1) R 7974 7951 6415 0 -1 4202560 4805 0 0 0 122 1 0 0 20 0 9 0 417923814 868196352 64037 33554432000 4194304 4454172 140733090800624 140434516703992 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
[pid=7994/tid=8002] ppid=7974 vsize=847848 memory=140053372368512 CPUtime=1.23 cores=0-7
/proc/7994/task/8002/stat : 8002 (manyglucose-4.1) R 7974 7951 6415 0 -1 4202560 2697 0 0 0 123 0 0 0 20 0 9 0 417923814 868196352 64037 33554432000 4194304 4454172 140733090800624 140434508311288 4351209 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
[pid=7994/tid=8003] ppid=7974 vsize=847848 memory=0 CPUtime=1.23 cores=0-7
/proc/7994/task/8003/stat : 8003 (manyglucose-4.1) R 7974 7951 6415 0 -1 4202560 3040 0 0 0 120 3 0 0 20 0 9 0 417923814 868196352 64037 33554432000 4194304 4454172 140733090800624 140434499918584 4349826 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
[pid=7994/tid=8004] ppid=7974 vsize=847848 memory=0 CPUtime=1.23 cores=0-7
/proc/7994/task/8004/stat : 8004 (manyglucose-4.1) R 7974 7951 6415 0 -1 4202560 3556 0 0 0 122 1 0 0 20 0 9 0 417923814 868196352 64037 33554432000 4194304 4454172 140733090800624 140434491525928 4351289 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
[pid=7994/tid=8005] ppid=7974 vsize=847848 memory=0 CPUtime=1.22 cores=0-7
/proc/7994/task/8005/stat : 8005 (manyglucose-4.1) R 7974 7951 6415 0 -1 4202560 3272 0 0 0 121 1 0 0 20 0 9 0 417923814 868196352 64037 33554432000 4194304 4454172 140733090800624 140434483133352 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
[pid=7994/tid=8006] ppid=7974 vsize=847848 memory=-1 CPUtime=1.2 cores=0-7
/proc/7994/task/8006/stat : 8006 (manyglucose-4.1) R 7974 7951 6415 0 -1 4202560 3153 0 0 0 117 3 0 0 20 0 9 0 417923814 868196352 64037 33554432000 4194304 4454172 140733090800624 140434340522744 4350902 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
[pid=7994/tid=8007] ppid=7974 vsize=847848 memory=0 CPUtime=1.23 cores=0-7
/proc/7994/task/8007/stat : 8007 (manyglucose-4.1) R 7974 7951 6415 0 -1 4202560 3395 0 0 0 120 3 0 0 20 0 9 0 417923815 868196352 64037 33554432000 4194304 4454172 140733090800624 140434474740472 4350933 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
[pid=7974/tid=7975] ppid=7951 vsize=8414124 memory=28387582027 CPUtime=0.74 cores=0-7
/proc/7974/task/7975/stat : 7975 (java) S 7951 7951 6415 0 -1 1077944384 16864 0 0 0 70 4 0 0 20 0 24 0 417923676 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113594531744 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7976] ppid=7951 vsize=8414124 memory=664970821834338886 CPUtime=0 cores=0-7
/proc/7974/task/7976/stat : 7976 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113626933648 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7977] ppid=7951 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/7974/task/7977/stat : 7977 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113445021968 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7978] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7978/stat : 7978 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113106336400 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7979] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7979/stat : 7979 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113105283600 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7980] ppid=7951 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/7974/task/7980/stat : 7980 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113104231312 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7981] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7981/stat : 7981 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113103178512 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7982] ppid=7951 vsize=8414124 memory=28404658251 CPUtime=0 cores=0-7
/proc/7974/task/7982/stat : 7982 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113102126224 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7983] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7983/stat : 7983 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113101073424 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7984] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7984/stat : 7984 (java) S 7951 7951 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417923679 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112917583984 140113622702722 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7985] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7985/stat : 7985 (java) S 7951 7951 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417923679 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112033735456 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7986] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7986/stat : 7986 (java) S 7951 7951 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417923679 8616062976 29295 33554432000 4194304 4196468 140722738442528 140111899513968 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7987] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7987/stat : 7987 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140111525009488 140113622710171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7988] ppid=7951 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/7974/task/7988/stat : 7988 (java) S 7951 7951 6415 0 -1 1077944384 627 0 0 0 5 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112916531824 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7989] ppid=7951 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/7974/task/7989/stat : 7989 (java) S 7951 7951 6415 0 -1 1077944384 183 0 0 0 5 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112915479024 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7990] ppid=7951 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/7974/task/7990/stat : 7990 (java) S 7951 7951 6415 0 -1 1077944384 187 0 0 0 3 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112914426736 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7991] ppid=7951 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/7974/task/7991/stat : 7991 (java) S 7951 7951 6415 0 -1 1077944384 523 0 0 0 19 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112913373936 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7992] ppid=7951 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/7974/task/7992/stat : 7992 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140111027104096 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7993] ppid=7951 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/7974/task/7993/stat : 7993 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112912320816 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7995] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7995/stat : 7995 (java) S 7951 7951 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417923747 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112906478912 140113622716185 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7997] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7997/stat : 7997 (java) S 7951 7951 6415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 417923747 8616062976 29295 33554432000 4194304 4196468 140722738442528 140110356004752 140113622713501 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7998] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7998/stat : 7998 (java) S 7951 7951 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417923748 8616062976 29295 33554432000 4194304 4196468 140722738442528 140110624440080 140113622713501 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7999] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7999/stat : 7999 (java) S 7951 7951 6415 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417923750 8616062976 29295 33554432000 4194304 4196468 140722738442528 140110087577392 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 9375100 KiB
Current children cumulated memory: 374800 KiB

[startup+8.20129 s]
/proc/loadavg: 2.92 1.36 1.30 9/226 8007
/proc/meminfo: memFree=30534680/32770624 swapFree=66940928/67108860
[pid=7951] ppid=7948 vsize=113128 memory=1472 CPUtime=13.7 cores=0-7
/proc/7951/stat : 7951 (scop.sh) S 7948 7951 6415 0 -1 4202496 582 31609 0 0 0 0 1331 39 20 0 1 0 417923139 115843072 368 33554432000 4194304 5098028 140730327116800 140730327113544 139935652037244 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11079680 140730327118629 140730327118956 140730327118956 140730327121869 0
/proc/7951/statm: 28282 368 311 221 0 87 0
[pid=7974] ppid=7951 vsize=8414124 memory=117180 CPUtime=1.1 cores=0-7
/proc/7974/stat : 7974 (java) S 7951 7951 6415 0 -1 1077944320 19802 0 0 0 103 7 0 0 20 0 24 0 417923676 8616062976 29295 33554432000 4194304 4196468 140722738442528 140722738425072 140113622691575 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
/proc/7974/statm: 2103531 29295 3175 1 0 2064875 0
[pid=7994] ppid=7974 vsize=847848 memory=256412 CPUtime=11.62 cores=0-7
/proc/7994/stat : 7994 (manyglucose-4.1) S 7974 7951 6415 0 -1 1077944320 67195 0 0 0 1139 23 0 0 20 0 2 0 417923747 868196352 64103 33554432000 4194304 4454172 140733090800624 140733090799008 140434560233207 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
/proc/7994/statm: 211962 64103 420 64 0 207630 0
[pid=7994/tid=8000] ppid=7974 vsize=847848 memory=7811867853218540388 CPUtime=1.43 cores=0-7
/proc/7994/task/8000/stat : 8000 (manyglucose-4.1) R 7974 7951 6415 0 -1 4202560 1718 0 0 0 141 2 0 0 20 0 2 0 417923814 868196352 64103 33554432000 4194304 4454172 140733090800624 140434525096744 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 25067520 140733090804586 140733090804784 140733090804784 140733090807738 0
[pid=7974/tid=7975] ppid=7951 vsize=8414124 memory=8514726395714825349 CPUtime=0.74 cores=0-7
/proc/7974/task/7975/stat : 7975 (java) S 7951 7951 6415 0 -1 1077944384 16864 0 0 0 70 4 0 0 20 0 24 0 417923676 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113594531744 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7976] ppid=7951 vsize=8414124 memory=4268969938927715385 CPUtime=0 cores=0-7
/proc/7974/task/7976/stat : 7976 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113626933648 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7977] ppid=7951 vsize=8414124 memory=-7173504570860347296 CPUtime=0 cores=0-7
/proc/7974/task/7977/stat : 7977 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113445021968 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7978] ppid=7951 vsize=8414124 memory=140053372372881 CPUtime=0 cores=0-7
/proc/7974/task/7978/stat : 7978 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113106336400 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7979] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7979/stat : 7979 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113105283600 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7980] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7980/stat : 7980 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113104231312 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7981] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7981/stat : 7981 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113103178512 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7982] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7982/stat : 7982 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113102126224 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7983] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7983/stat : 7983 (java) S 7951 7951 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417923677 8616062976 29295 33554432000 4194304 4196468 140722738442528 140113101073424 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7984] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7984/stat : 7984 (java) S 7951 7951 6415 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417923679 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112917583984 140113622702722 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7985] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7985/stat : 7985 (java) S 7951 7951 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417923679 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112033735456 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7986] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7986/stat : 7986 (java) S 7951 7951 6415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417923679 8616062976 29295 33554432000 4194304 4196468 140722738442528 140111899513968 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7987] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7987/stat : 7987 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140111525009488 140113622710171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7988] ppid=7951 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/7974/task/7988/stat : 7988 (java) S 7951 7951 6415 0 -1 1077944384 627 0 0 0 5 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112916531824 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7989] ppid=7951 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/7974/task/7989/stat : 7989 (java) S 7951 7951 6415 0 -1 1077944384 183 0 0 0 5 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112915479024 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7990] ppid=7951 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/7974/task/7990/stat : 7990 (java) S 7951 7951 6415 0 -1 1077944384 187 0 0 0 3 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112914426736 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7991] ppid=7951 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/7974/task/7991/stat : 7991 (java) S 7951 7951 6415 0 -1 1077944384 523 0 0 0 19 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112913373936 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7992] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7992/stat : 7992 (java) S 7951 7951 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140111027104096 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7993] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7993/stat : 7993 (java) S 7951 7951 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417923682 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112912320816 140113622702722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7995] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7995/stat : 7995 (java) S 7951 7951 6415 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417923747 8616062976 29295 33554432000 4194304 4196468 140722738442528 140112906478912 140113622716185 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7997] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7997/stat : 7997 (java) S 7951 7951 6415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 417923747 8616062976 29295 33554432000 4194304 4196468 140722738442528 140110356004752 140113622713501 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7998] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7998/stat : 7998 (java) S 7951 7951 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417923748 8616062976 29295 33554432000 4194304 4196468 140722738442528 140110624440080 140113622713501 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
[pid=7974/tid=7999] ppid=7951 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7974/task/7999/stat : 7999 (java) S 7951 7951 6415 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417923750 8616062976 29295 33554432000 4194304 4196468 140722738442528 140110087577392 140113622701781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140722738451448 140722738451606 140722738451606 140722738454479 0
Current children cumulated CPU time: 26.42 s
Current children cumulated vsize: 9375100 KiB
Current children cumulated memory: 375064 KiB

Child status: 0
Real time (s): 8.26903
CPU time (s): 26.5661
CPU user time (s): 25.838
CPU system time (s): 0.728155
CPU usage (%): 321.273
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1806744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.838
system time used= 0.728155
maximum resident set size= 1810604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15530
involuntary context switches= 139


# summary of solver processes directly reported to runsolver:
#   pid: 7951
#   total CPU time (s): 26.5661
#   total CPU user time (s): 25.838
#   total CPU system time (s): 0.728155

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086282 second user time and 0.13587 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 01:20:07
IDJOB=4392493
IDBENCH=120900
IDSOLVER=2838
FILE ID=node149/4392493-1568416844
RUNJOBID= node149-1568416730-6442
PBS_JOBID= 21702252
Free space on /tmp= 61424 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-050-05-mul.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order 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-4392493-1568416844/watcher-4392493-1568416844 -o /tmp/evaluation-result-4392493-1568416844/solver-4392493-1568416844 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392493-1568416844.xml

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

MD5SUM BENCH= 0dc4c2f273d2e82d82a6e1c594dd299c
RANDOM SEED=1078332659

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30906728 kB
MemAvailable:   31858540 kB
Buffers:          174236 kB
Cached:          1078184 kB
SwapCached:        61320 kB
Active:           590976 kB
Inactive:         723508 kB
Active(anon):      29556 kB
Inactive(anon):    72460 kB
Active(file):     561420 kB
Inactive(file):   651048 kB
Unevictable:      111252 kB
Mlocked:          111252 kB
SwapTotal:      67108860 kB
SwapFree:       66940928 kB
Dirty:             20472 kB
Writeback:             0 kB
AnonPages:        112676 kB
Mapped:            44144 kB
Shmem:             31360 kB
Slab:             139532 kB
SReclaimable:     110356 kB
SUnreclaim:        29176 kB
KernelStack:        3424 kB
PageTables:         5168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 01:20:15