Trace number 4392290

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 62.5122 12.2934

General information on the benchmark

NameQRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-64.xml
MD5SUM236be531fe4e5fa4d71f6d1385cbaf81
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 benchmark3.28957
Satisfiable
(Un)Satisfiability was proved
Number of variables130
Number of constraints100
Number of domains23
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}]
Minimum variable degree1
Maximum variable degree14
Distribution of variable degrees[{"degree":1,"count":40},{"degree":2,"count":80},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":9,"count":1},{"degree":10,"count":3},{"degree":12,"count":3},{"degree":14,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
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-21474-serial-file.bin HOME/instance-4392290-1568425293.xml
0.66/0.55	
0.66/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.55	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 03:40:54 CEST 2019
0.66/0.57	c PID: 21477
0.66/0.57	c IP: 172.20.3.135
0.66/0.57	c HOST: node135.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.12/1.01	c (0,0) Parsing End
2.12/1.02	c (0,0) CSP: 110 int (0 aux), 20 bool (0 aux), 100 ctr, max domain size 20
2.12/1.02	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.12/1.02	c (0,0) Constraint Name Generate Begin
2.12/1.02	c (0,0) Ctr:HOME/instance-4392290-1568425293.xml,ExtensionSupport:Var
2.12/1.02	c (0,0) Constraint Name Generate End
2.12/1.02	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.12/1.02	c (0,0) CSP to CSPinCNF Begin
4.49/1.76	c (1,1) translated 10 (10%) constraints
5.67/2.01	c (1,1) translated 20 (20%) constraints
6.32/2.23	c (1,1) translated 30 (30%) constraints
7.01/2.42	c (1,1) translated 40 (40%) constraints
7.74/2.60	c (2,2) translated 50 (50%) constraints
7.97/2.78	c (2,2) translated 60 (60%) constraints
8.52/2.96	c (2,2) translated 70 (70%) constraints
9.08/3.13	c (2,2) translated 80 (80%) constraints
9.39/3.30	c (2,2) translated 90 (90%) constraints
9.50/3.47	c (2,2) translated 100 (100%) constraints
9.50/3.48	c (2,2) ===========================================
9.50/3.48	c (2,2) Order
9.50/3.48	c (2,2) ===========================================
9.64/3.60	c (3,3) translated 2826 (10%) constraints
10.01/3.69	c (3,3) translated 5652 (20%) constraints
10.30/3.76	c (3,3) translated 8478 (30%) constraints
10.55/3.83	c (3,3) translated 11304 (40%) constraints
10.55/3.89	c (3,3) translated 14130 (50%) constraints
10.65/3.96	c (3,3) translated 16956 (60%) constraints
10.76/4.02	c (3,3) translated 19782 (70%) constraints
10.76/4.09	c (3,3) translated 22608 (80%) constraints
10.86/4.15	c (3,3) translated 25434 (90%) constraints
10.96/4.21	c (3,3) translated 28259 (100%) constraints
10.96/4.21	c (3,3) CSP to CSPinCNF End
10.96/4.22	c (3,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
10.96/4.22	c (3,3) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.96/4.22	c (3,3) CSPinCNF Propagation Begin
11.40/4.46	c (3,3) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed
11.40/4.46	c (3,3) CSPinCNF Propagation End
11.40/4.46	c (3,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.40/4.46	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.40/4.46	c (3,3) Simplify CSPinCNF Begin
11.64/4.55	c (4,3) Simplify CSPinCNF End
11.64/4.55	c (4,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.64/4.55	c (4,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.64/4.55	c (4,3) Calculate Precise Domain Begin
11.64/4.55	c (4,3) 0 values are removed by re-calculation
11.64/4.55	c (4,3) Calculate Precise Domain End
11.64/4.55	c (4,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.64/4.55	c (4,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.64/4.55	c (4,3) CSPinCNF to SatSolver Begin
12.09/4.75	c (4,4) 2826 (10 %) CSP clauses are encoded (0 SAT variables, 4171 SAT clauses)
12.45/4.82	c (4,4) 5652 (20 %) CSP clauses are encoded (0 SAT variables, 6997 SAT clauses)
12.45/4.86	c (4,4) 8478 (30 %) CSP clauses are encoded (0 SAT variables, 9823 SAT clauses)
12.85/4.91	c (4,4) 11304 (40 %) CSP clauses are encoded (0 SAT variables, 12649 SAT clauses)
12.85/4.95	c (4,4) 14130 (50 %) CSP clauses are encoded (0 SAT variables, 15475 SAT clauses)
12.85/4.99	c (4,4) 16956 (60 %) CSP clauses are encoded (0 SAT variables, 18301 SAT clauses)
13.00/5.02	c (4,4) 19782 (70 %) CSP clauses are encoded (0 SAT variables, 21127 SAT clauses)
13.00/5.06	c (4,4) 22608 (80 %) CSP clauses are encoded (0 SAT variables, 23953 SAT clauses)
13.00/5.10	c (4,4) 25434 (90 %) CSP clauses are encoded (0 SAT variables, 26779 SAT clauses)
13.11/5.14	c (4,4) 28259 (100 %) CSP clauses are encoded (0 SAT variables, 29604 SAT clauses)
13.11/5.14	c (4,4) CSPinCNF to SatSolver End
13.11/5.14	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.11/5.15	c (4,4) 3731 bool, 29605 clause
13.11/5.15	c (4,4) Export Begin
13.22/5.26	c (4,4) Export to HOME/scop-21474-serial-file.bin
13.22/5.26	c (4,4) Export End
13.22/5.27	c (4,4) Export File Size: 0.04 MB
13.22/5.27	c (4,4) 0,0,3,3,4,4,4,STOP-AFTER(DIMACS)
13.22/5.27	c END-Prog: Sat Sep 14 03:40:59 CEST 2019
13.22/5.29	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21474-serial-file.bin
13.42/5.75	c (0,0) Read Serial File Begin
13.42/5.75	c (0,0) HOME/scop-21474-serial-file.bin
13.42/5.99	c (0,0) Read Serial File End
14.43/6.01	
14.43/6.01	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
14.43/6.01	(Solving Process)
14.43/6.01	
14.43/6.03	c BEGIN-Prog: Sat Sep 14 03:40:59 CEST 2019
14.43/6.03	c PID: 21497
14.43/6.03	c IP: 172.20.3.135
14.43/6.03	c HOST: node135.alineos.net
14.43/6.03	c (0,0) SatSolver.solve Begin
14.43/6.03	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392290-1568425293.xml-scop-21477.cnf
14.43/6.06	c (0,0) c
14.43/6.06	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.43/6.06	c (0,0) c
14.43/6.06	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
14.43/6.06	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
14.43/6.06	c (0,0) c ========================================[ Problem Statistics ]===========================================
14.43/6.06	c (0,0) c |                                                                                                       |
14.43/6.07	c (0,0) c |  Number of variables:          3731                                                                   |
14.43/6.07	c (0,0) c |  Number of clauses:           29596                                                                   |
14.43/6.07	c (0,0) c |  Parse time:                   0.02 s                                                                 |
14.43/6.07	c (0,0) c |                                                                                                       |
14.43/6.09	c (0,0) c |  Simplification time:          0.02 s                                                                 |
14.43/6.09	c (0,0) c |                                                                                                       |
14.43/6.09	c (0,0) c |  Generating clones                                                                                    |
14.43/6.10	c (0,0) c |  all clones generated. Memory =    39.71Mb.                                                           |
14.43/6.10	c (0,0) c ========================================================================================================|
14.43/6.10	c (0,0) c
14.43/6.10	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
14.43/6.10	c (0,0) c
14.43/6.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.43/6.10	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
14.43/6.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.43/6.10	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
14.43/6.10	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
14.43/6.10	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
14.43/6.10	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
14.43/6.10	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
14.43/6.10	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
14.43/6.10	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
14.43/6.10	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
14.43/6.10	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
14.43/6.10	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
14.43/6.10	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
14.43/6.10	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
14.43/6.10	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
14.43/6.10	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
14.43/6.10	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
14.43/6.10	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.26	c (6,0) c
62.35/12.26	c (6,0) c real time : 6.20356 s
62.35/12.26	c (6,0) c cpu time  : 47.5568 s
62.35/12.26	c (6,0) c
62.35/12.26	c (6,0) c
62.35/12.26	c (6,0) c
62.35/12.26	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
62.35/12.26	c (6,0) c
62.35/12.26	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.26	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
62.35/12.26	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.26	c (6,0) c | Conflicts     |          473332 |      59352 |      59416 |      59678 |      59194 |      57426 |      59023 |      58744 |      60499 |
62.35/12.26	c (6,0) c | Decisions     |          875439 |     111190 |     108499 |     113192 |     109209 |     105148 |     110214 |     106832 |     111155 |
62.35/12.26	c (6,0) c | Propagations  |       123241197 |   15625079 |   15165339 |   15404008 |   15413302 |   15220810 |   15250441 |   15411767 |   15750451 |
62.35/12.26	c (6,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
62.35/12.26	c (6,0) c | SimpDBs       |              53 |          7 |          7 |          6 |          7 |          7 |          7 |          6 |          6 |
62.35/12.26	c (6,0) c | Restarts      |            1719 |        190 |        207 |        257 |        236 |        210 |        215 |        198 |        206 |
62.35/12.26	c (6,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.35/12.26	c (6,0) c | PropBinClauses|       196258036 |   25073796 |   24241647 |   24561870 |   24393922 |   24293165 |   24183928 |   24337662 |   25172046 |
62.35/12.26	c (6,0) c | PropPreBlocker|      1276589263 |  158489365 |  157488456 |  160387731 |  160169148 |  157917116 |  158065675 |  159562739 |  164509033 |
62.35/12.26	c (6,0) c | PropNotBlocker|       522620229 |   64611376 |   64691646 |   66439089 |   65891423 |   65073775 |   64472184 |   64648300 |   66792436 |
62.35/12.26	c (6,0) c | LitFullScans  |      2666389465 |  330014650 |  330100506 |  338174708 |  334832284 |  333436402 |  330011837 |  330031988 |  339787090 |
62.35/12.26	c (6,0) c | LitScanFracts |          374207 |       6213 |      91640 |     169359 |      25214 |       6315 |       7194 |       9605 |      58667 |
62.35/12.26	c (6,0) c | DecisionLevel0|            1794 |        196 |        216 |        270 |        243 |        218 |        221 |        212 |        218 |
62.35/12.26	c (6,0) c | Periods       |             442 |         55 |         55 |         56 |         55 |         55 |         55 |         55 |         56 |
62.35/12.26	c (6,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
62.35/12.26	c (6,0) c | Avg_Trail     |                 |        858 |        841 |        848 |        848 |        855 |        843 |        862 |        844 |
62.35/12.26	c (6,0) c | Avg_DL        |                 |         15 |         16 |         16 |         16 |         15 |         15 |         16 |         16 |
62.35/12.26	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.35/12.26	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.35/12.26	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.26	c (6,0) c | Exported      |           81713 |      10250 |      10114 |      10617 |      10085 |       9955 |      10339 |       9997 |      10356 |
62.35/12.26	c (6,0) c | Imported      |          486625 |      60204 |      60357 |      61184 |      61013 |      61110 |      60158 |      61075 |      61524 |
62.35/12.26	c (6,0) c | Good          |           59456 |       7380 |       7432 |       7446 |       7485 |       7423 |       7366 |       7493 |       7431 |
62.35/12.26	c (6,0) c | Purge         |          427169 |      52824 |      52925 |      53738 |      53528 |      53687 |      52792 |      53582 |      54093 |
62.35/12.26	c (6,0) c | Promoted      |           28511 |       3363 |       3647 |       3575 |       3566 |       3628 |       3570 |       3510 |       3652 |
62.35/12.26	c (6,0) c | Remove_Imp    |          263617 |      33486 |      32939 |      32096 |      33789 |      34624 |      31739 |      32654 |      32290 |
62.35/12.26	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
62.35/12.26	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.26	c (6,0) c | Unaries       |                 |          6 |          9 |         13 |          7 |          8 |          6 |         14 |         12 |
62.35/12.26	c (6,0) c | Binaries      |                 |       1164 |       1110 |       1128 |       1077 |       1142 |       1161 |       1072 |       1143 |
62.35/12.26	c (6,0) c | Glues         |                 |       2947 |       2872 |       3088 |       2813 |       2912 |       2871 |       2863 |       2900 |
62.35/12.26	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.26	c (6,0) c | Orig_Seen     |            56 % |      16111 |      15577 |      16250 |      15613 |      15322 |      16295 |      14975 |      16582 |
62.35/12.26	c (6,0) c | Diff Orig seen|                 |        498 | -       36 |        637 |      X     | -      291 |        682 | -      638 |        969 |
62.35/12.26	c (6,0) c | Hamming       |            25 % |        947 |        885 |        941 |      X     |        928 |       1020 |       1017 |        989 |
62.35/12.26	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.26	c (6,0) c | RunningTime   |                 |    6.0 100%|    6.1 100%|    5.9 100%|    5.9 100%|    5.9 100%|    6.0 100%|    5.9 100%|    5.9 100%|
62.35/12.26	c (6,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%|
62.35/12.26	c (6,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%|
62.35/12.26	c (6,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%|
62.35/12.26	c (6,0) c | SolvingTime   |                 |    6.0     |    6.1     |    6.0     |    6.0     |    6.0     |    6.0     |    5.9     |    5.9     |
62.35/12.26	c (6,0) c | PropagationTim|                 |    5.3  88%|    5.4  87%|    5.2  87%|    5.2  88%|    5.2  88%|    5.2  87%|    5.2  87%|    5.2  88%|
62.35/12.26	c (6,0) c | AnalysisTime  |                 |    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|    0.5   8%|
62.35/12.26	c (6,0) c | ReductionTime |                 |    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
62.35/12.26	c (6,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
62.35/12.26	c (6,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%|
62.35/12.26	c (6,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%|
62.35/12.26	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.26	c (6,0) c
62.35/12.26	c (6,0) c
62.35/12.26	c (6,0) c Threads : 8
62.35/12.26	c (6,0) c Winner : 3
62.35/12.26	c (6,0) c Conflicts_0 : 59352
62.35/12.26	c (6,0) c Conflicts_1 : 59416
62.35/12.26	c (6,0) c Conflicts_2 : 59678
62.35/12.26	c (6,0) c Conflicts_3 : 59194
62.35/12.26	c (6,0) c Conflicts_4 : 57426
62.35/12.26	c (6,0) c Conflicts_5 : 59023
62.35/12.26	c (6,0) c Conflicts_6 : 58744
62.35/12.26	c (6,0) c Conflicts_7 : 60499
62.35/12.26	c (6,0) c Conflicts_total : 473332
62.35/12.26	c (6,0) c Conflicts_winner : 59194
62.35/12.26	c (6,0) c Decisions_0 : 111190
62.35/12.26	c (6,0) c Decisions_1 : 108499
62.35/12.26	c (6,0) c Decisions_2 : 113192
62.35/12.26	c (6,0) c Decisions_3 : 109209
62.35/12.26	c (6,0) c Decisions_4 : 105148
62.35/12.26	c (6,0) c Decisions_5 : 110214
62.35/12.26	c (6,0) c Decisions_6 : 106832
62.35/12.26	c (6,0) c Decisions_7 : 111155
62.35/12.26	c (6,0) c Decisions_total : 875439
62.35/12.26	c (6,0) c Decisions_winner : 109209
62.35/12.26	c (6,0) c Propagations_0 : 15625079
62.35/12.26	c (6,0) c Propagations_1 : 15165339
62.35/12.26	c (6,0) c Propagations_2 : 15404008
62.35/12.26	c (6,0) c Propagations_3 : 15413302
62.35/12.26	c (6,0) c Propagations_4 : 15220810
62.35/12.26	c (6,0) c Propagations_5 : 15250441
62.35/12.26	c (6,0) c Propagations_6 : 15411767
62.35/12.26	c (6,0) c Propagations_7 : 15750451
62.35/12.26	c (6,0) c Propagations_total : 123241197
62.35/12.26	c (6,0) c Propagations_winner : 15413302
62.35/12.26	c (6,0) c ReduceDBs_0 : 6
62.35/12.26	c (6,0) c ReduceDBs_1 : 6
62.35/12.26	c (6,0) c ReduceDBs_2 : 6
62.35/12.26	c (6,0) c ReduceDBs_3 : 6
62.35/12.26	c (6,0) c ReduceDBs_4 : 6
62.35/12.26	c (6,0) c ReduceDBs_5 : 6
62.35/12.26	c (6,0) c ReduceDBs_6 : 6
62.35/12.26	c (6,0) c ReduceDBs_7 : 6
62.35/12.26	c (6,0) c ReduceDBs_total : 48
62.35/12.26	c (6,0) c ReduceDBs_winner : 6
62.35/12.26	c (6,0) c SimpDBs_0 : 7
62.35/12.26	c (6,0) c SimpDBs_1 : 7
62.35/12.26	c (6,0) c SimpDBs_2 : 6
62.35/12.26	c (6,0) c SimpDBs_3 : 7
62.35/12.26	c (6,0) c SimpDBs_4 : 7
62.35/12.26	c (6,0) c SimpDBs_5 : 7
62.35/12.26	c (6,0) c SimpDBs_6 : 6
62.35/12.26	c (6,0) c SimpDBs_7 : 6
62.35/12.26	c (6,0) c SimpDBs_total : 53
62.35/12.26	c (6,0) c SimpDBs_winner : 7
62.35/12.26	c (6,0) c Restarts_0 : 190
62.35/12.26	c (6,0) c Restarts_1 : 207
62.35/12.27	c (6,0) c Restarts_2 : 257
62.35/12.27	c (6,0) c Restarts_3 : 236
62.35/12.27	c (6,0) c Restarts_4 : 210
62.35/12.27	c (6,0) c Restarts_5 : 215
62.35/12.27	c (6,0) c Restarts_6 : 198
62.35/12.27	c (6,0) c Restarts_7 : 206
62.35/12.27	c (6,0) c Restarts_total : 1719
62.35/12.27	c (6,0) c Restarts_winner : 236
62.35/12.27	c (6,0) c ForcedImports_0 : 0
62.35/12.27	c (6,0) c ForcedImports_1 : 0
62.35/12.27	c (6,0) c ForcedImports_2 : 0
62.35/12.27	c (6,0) c ForcedImports_3 : 0
62.35/12.27	c (6,0) c ForcedImports_4 : 0
62.35/12.27	c (6,0) c ForcedImports_5 : 0
62.35/12.27	c (6,0) c ForcedImports_6 : 0
62.35/12.27	c (6,0) c ForcedImports_7 : 0
62.35/12.27	c (6,0) c ForcedImports_total : 0
62.35/12.27	c (6,0) c ForcedImports_winner : 0
62.35/12.27	c (6,0) c PropsBinClauses_0 : 25073796
62.35/12.27	c (6,0) c PropsBinClauses_1 : 24241647
62.35/12.27	c (6,0) c PropsBinClauses_2 : 24561870
62.35/12.27	c (6,0) c PropsBinClauses_3 : 24393922
62.35/12.27	c (6,0) c PropsBinClauses_4 : 24293165
62.35/12.27	c (6,0) c PropsBinClauses_5 : 24183928
62.35/12.27	c (6,0) c PropsBinClauses_6 : 24337662
62.35/12.27	c (6,0) c PropsBinClauses_7 : 25172046
62.35/12.27	c (6,0) c PropsBinClauses_total : 196258036
62.35/12.27	c (6,0) c PropsBinClauses_winner : 24393922
62.35/12.27	c (6,0) c PropsPreBlocker_0 : 158489365
62.35/12.27	c (6,0) c PropsPreBlocker_1 : 157488456
62.35/12.27	c (6,0) c PropsPreBlocker_2 : 160387731
62.35/12.27	c (6,0) c PropsPreBlocker_3 : 160169148
62.35/12.27	c (6,0) c PropsPreBlocker_4 : 157917116
62.35/12.27	c (6,0) c PropsPreBlocker_5 : 158065675
62.35/12.27	c (6,0) c PropsPreBlocker_6 : 159562739
62.35/12.27	c (6,0) c PropsPreBlocker_7 : 164509033
62.35/12.27	c (6,0) c PropsPreBlocker_total : 1276589263
62.35/12.27	c (6,0) c PropsPreBlocker_winner : 160169148
62.35/12.27	c (6,0) c PropsNotBlocker_0 : 64611376
62.35/12.27	c (6,0) c PropsNotBlocker_1 : 64691646
62.35/12.27	c (6,0) c PropsNotBlocker_2 : 66439089
62.35/12.27	c (6,0) c PropsNotBlocker_3 : 65891423
62.35/12.27	c (6,0) c PropsNotBlocker_4 : 65073775
62.35/12.27	c (6,0) c PropsNotBlocker_5 : 64472184
62.35/12.27	c (6,0) c PropsNotBlocker_6 : 64648300
62.35/12.27	c (6,0) c PropsNotBlocker_7 : 66792436
62.35/12.27	c (6,0) c PropsNotBlocker_total : 522620229
62.35/12.27	c (6,0) c PropsNotBlocker_winner : 65891423
62.35/12.27	c (6,0) c PropsLitFullScans_0 : 330014650
62.35/12.27	c (6,0) c PropsLitFullScans_1 : 330100506
62.35/12.27	c (6,0) c PropsLitFullScans_2 : 338174708
62.35/12.27	c (6,0) c PropsLitFullScans_3 : 334832284
62.35/12.27	c (6,0) c PropsLitFullScans_4 : 333436402
62.35/12.27	c (6,0) c PropsLitFullScans_5 : 330011837
62.35/12.27	c (6,0) c PropsLitFullScans_6 : 330031988
62.35/12.27	c (6,0) c PropsLitFullScans_7 : 339787090
62.35/12.27	c (6,0) c PropsLitFullScans_total : 2666389465
62.35/12.27	c (6,0) c PropsLitFullScans_winner : 334832284
62.35/12.27	c (6,0) c LitScanFractions_0 : 6213
62.35/12.27	c (6,0) c LitScanFractions_1 : 91640
62.35/12.27	c (6,0) c LitScanFractions_2 : 169359
62.35/12.27	c (6,0) c LitScanFractions_3 : 25214
62.35/12.27	c (6,0) c LitScanFractions_4 : 6315
62.35/12.27	c (6,0) c LitScanFractions_5 : 7194
62.35/12.27	c (6,0) c LitScanFractions_6 : 9605
62.35/12.27	c (6,0) c LitScanFractions_7 : 58667
62.35/12.27	c (6,0) c LitScanFractions_total : 374207
62.35/12.27	c (6,0) c LitScanFractions_winner : 25214
62.35/12.27	c (6,0) c DecisionLevel0_0 : 196
62.35/12.27	c (6,0) c DecisionLevel0_1 : 216
62.35/12.27	c (6,0) c DecisionLevel0_2 : 270
62.35/12.27	c (6,0) c DecisionLevel0_3 : 243
62.35/12.27	c (6,0) c DecisionLevel0_4 : 218
62.35/12.27	c (6,0) c DecisionLevel0_5 : 221
62.35/12.27	c (6,0) c DecisionLevel0_6 : 212
62.35/12.27	c (6,0) c DecisionLevel0_7 : 218
62.35/12.27	c (6,0) c DecisionLevel0_total : 1794
62.35/12.27	c (6,0) c DecisionLevel0_winner : 243
62.35/12.27	c (6,0) c Periods_0 : 55
62.35/12.27	c (6,0) c Periods_1 : 55
62.35/12.27	c (6,0) c Periods_2 : 56
62.35/12.27	c (6,0) c Periods_3 : 55
62.35/12.27	c (6,0) c Periods_4 : 55
62.35/12.27	c (6,0) c Periods_5 : 55
62.35/12.27	c (6,0) c Periods_6 : 55
62.35/12.27	c (6,0) c Periods_7 : 56
62.35/12.27	c (6,0) c Periods_total : 442
62.35/12.27	c (6,0) c Periods_winner : 55
62.35/12.27	c (6,0) c Margin_0 : 20
62.35/12.27	c (6,0) c Margin_1 : 20
62.35/12.27	c (6,0) c Margin_2 : 20
62.35/12.27	c (6,0) c Margin_3 : 20
62.35/12.27	c (6,0) c Margin_4 : 20
62.35/12.27	c (6,0) c Margin_5 : 20
62.35/12.27	c (6,0) c Margin_6 : 20
62.35/12.27	c (6,0) c Margin_7 : 20
62.35/12.27	c (6,0) c Margin_total : 160
62.35/12.27	c (6,0) c Margin_winner : 20
62.35/12.27	c (6,0) c Exported_0 : 10250
62.35/12.27	c (6,0) c Exported_1 : 10114
62.35/12.27	c (6,0) c Exported_2 : 10617
62.35/12.27	c (6,0) c Exported_3 : 10085
62.35/12.27	c (6,0) c Exported_4 : 9955
62.35/12.27	c (6,0) c Exported_5 : 10339
62.35/12.27	c (6,0) c Exported_6 : 9997
62.35/12.27	c (6,0) c Exported_7 : 10356
62.35/12.27	c (6,0) c Exported_total : 81713
62.35/12.27	c (6,0) c Exported_winner : 10085
62.35/12.27	c (6,0) c Imported_0 : 60204
62.35/12.27	c (6,0) c Imported_1 : 60357
62.35/12.27	c (6,0) c Imported_2 : 61184
62.35/12.27	c (6,0) c Imported_3 : 61013
62.35/12.27	c (6,0) c Imported_4 : 61110
62.35/12.27	c (6,0) c Imported_5 : 60158
62.35/12.27	c (6,0) c Imported_6 : 61075
62.35/12.27	c (6,0) c Imported_7 : 61524
62.35/12.27	c (6,0) c Imported_total : 486625
62.35/12.27	c (6,0) c Imported_winner : 61013
62.35/12.27	c (6,0) c Good_0 : 7380
62.35/12.27	c (6,0) c Good_1 : 7432
62.35/12.27	c (6,0) c Good_2 : 7446
62.35/12.27	c (6,0) c Good_3 : 7485
62.35/12.27	c (6,0) c Good_4 : 7423
62.35/12.27	c (6,0) c Good_5 : 7366
62.35/12.27	c (6,0) c Good_6 : 7493
62.35/12.27	c (6,0) c Good_7 : 7431
62.35/12.27	c (6,0) c Good_total : 59456
62.35/12.27	c (6,0) c Good_winner : 7485
62.35/12.27	c (6,0) c Purge_0 : 52824
62.35/12.27	c (6,0) c Purge_1 : 52925
62.35/12.27	c (6,0) c Purge_2 : 53738
62.35/12.27	c (6,0) c Purge_3 : 53528
62.35/12.27	c (6,0) c Purge_4 : 53687
62.35/12.27	c (6,0) c Purge_5 : 52792
62.35/12.27	c (6,0) c Purge_6 : 53582
62.35/12.27	c (6,0) c Purge_7 : 54093
62.35/12.27	c (6,0) c Purge_total : 427169
62.35/12.27	c (6,0) c Purge_winner : 53528
62.35/12.27	c (6,0) c Promoted_0 : 3363
62.35/12.27	c (6,0) c Promoted_1 : 3647
62.35/12.27	c (6,0) c Promoted_2 : 3575
62.35/12.27	c (6,0) c Promoted_3 : 3566
62.35/12.27	c (6,0) c Promoted_4 : 3628
62.35/12.27	c (6,0) c Promoted_5 : 3570
62.35/12.27	c (6,0) c Promoted_6 : 3510
62.35/12.27	c (6,0) c Promoted_7 : 3652
62.35/12.27	c (6,0) c Promoted_total : 28511
62.35/12.27	c (6,0) c Promoted_winner : 3566
62.35/12.27	c (6,0) c Remove_Imp_0 : 33486
62.35/12.27	c (6,0) c Remove_Imp_1 : 32939
62.35/12.27	c (6,0) c Remove_Imp_2 : 32096
62.35/12.27	c (6,0) c Remove_Imp_3 : 33789
62.35/12.27	c (6,0) c Remove_Imp_4 : 34624
62.35/12.27	c (6,0) c Remove_Imp_5 : 31739
62.35/12.27	c (6,0) c Remove_Imp_6 : 32654
62.35/12.27	c (6,0) c Remove_Imp_7 : 32290
62.35/12.27	c (6,0) c Remove_Imp_total : 263617
62.35/12.27	c (6,0) c Remove_Imp_winner : 33789
62.35/12.27	c (6,0) c Blocked_Reuse_0 : 0
62.35/12.27	c (6,0) c Blocked_Reuse_1 : 0
62.35/12.27	c (6,0) c Blocked_Reuse_2 : 0
62.35/12.27	c (6,0) c Blocked_Reuse_3 : 0
62.35/12.27	c (6,0) c Blocked_Reuse_4 : 0
62.35/12.27	c (6,0) c Blocked_Reuse_5 : 0
62.35/12.27	c (6,0) c Blocked_Reuse_6 : 0
62.35/12.27	c (6,0) c Blocked_Reuse_7 : 0
62.35/12.27	c (6,0) c Blocked_Reuse_total : 0
62.35/12.27	c (6,0) c Blocked_Reuse_winner : 0
62.35/12.27	c (6,0) c Unaries_0 : 6
62.35/12.27	c (6,0) c Unaries_1 : 9
62.35/12.27	c (6,0) c Unaries_2 : 13
62.35/12.27	c (6,0) c Unaries_3 : 7
62.35/12.27	c (6,0) c Unaries_4 : 8
62.35/12.27	c (6,0) c Unaries_5 : 6
62.35/12.27	c (6,0) c Unaries_6 : 14
62.35/12.27	c (6,0) c Unaries_7 : 12
62.35/12.27	c (6,0) c Unaries_total : 75
62.35/12.27	c (6,0) c Unaries_winner : 7
62.35/12.27	c (6,0) c Binaries_0 : 1164
62.35/12.27	c (6,0) c Binaries_1 : 1110
62.35/12.27	c (6,0) c Binaries_2 : 1128
62.35/12.27	c (6,0) c Binaries_3 : 1077
62.35/12.27	c (6,0) c Binaries_4 : 1142
62.35/12.27	c (6,0) c Binaries_5 : 1161
62.35/12.27	c (6,0) c Binaries_6 : 1072
62.35/12.27	c (6,0) c Binaries_7 : 1143
62.35/12.27	c (6,0) c Binaries_total : 8997
62.35/12.27	c (6,0) c Binaries_winner : 1077
62.35/12.27	c (6,0) c Glues_0 : 2947
62.35/12.27	c (6,0) c Glues_1 : 2872
62.35/12.27	c (6,0) c Glues_2 : 3088
62.35/12.27	c (6,0) c Glues_3 : 2813
62.35/12.27	c (6,0) c Glues_4 : 2912
62.35/12.27	c (6,0) c Glues_5 : 2871
62.35/12.27	c (6,0) c Glues_6 : 2863
62.35/12.27	c (6,0) c Glues_7 : 2900
62.35/12.27	c (6,0) c Glues_total : 23266
62.35/12.27	c (6,0) c Glues_winner : 2813
62.35/12.27	c (6,0) c RunningTime_0 : 5.979599
62.35/12.27	c (6,0) c RunningTime_1 : 6.131782
62.35/12.27	c (6,0) c RunningTime_2 : 5.931761
62.35/12.27	c (6,0) c RunningTime_3 : 5.949718
62.35/12.27	c (6,0) c RunningTime_4 : 5.948759
62.35/12.27	c (6,0) c RunningTime_5 : 5.971719
62.35/12.27	c (6,0) c RunningTime_6 : 5.904088
62.35/12.27	c (6,0) c RunningTime_7 : 5.922206
62.35/12.27	c (6,0) c RunningTime_total : 47.739632
62.35/12.27	c (6,0) c RunningTime_winner : 5.949718
62.35/12.27	c (6,0) c WaitingTime_0 : 0.000044
62.35/12.27	c (6,0) c WaitingTime_1 : 0.000042
62.35/12.27	c (6,0) c WaitingTime_2 : 0.000056
62.35/12.27	c (6,0) c WaitingTime_3 : 0.000049
62.35/12.27	c (6,0) c WaitingTime_4 : 0.000055
62.35/12.27	c (6,0) c WaitingTime_5 : 0.000059
62.35/12.27	c (6,0) c WaitingTime_6 : 0.000042
62.35/12.27	c (6,0) c WaitingTime_7 : 0.000060
62.35/12.27	c (6,0) c WaitingTime_total : 0.000407
62.35/12.27	c (6,0) c WaitingTime_winner : 0.000049
62.35/12.27	c (6,0) c ExchangingTime_0 : 0.017346
62.35/12.27	c (6,0) c ExchangingTime_1 : 0.017020
62.35/12.27	c (6,0) c ExchangingTime_2 : 0.019655
62.35/12.27	c (6,0) c ExchangingTime_3 : 0.019584
62.35/12.27	c (6,0) c ExchangingTime_4 : 0.016319
62.35/12.27	c (6,0) c ExchangingTime_5 : 0.015808
62.35/12.27	c (6,0) c ExchangingTime_6 : 0.018690
62.35/12.27	c (6,0) c ExchangingTime_7 : 0.019818
62.35/12.27	c (6,0) c ExchangingTime_total : 0.144241
62.35/12.27	c (6,0) c ExchangingTime_winner : 0.019584
62.35/12.27	c (6,0) c PeriodProcTime_0 : 0.000437
62.35/12.27	c (6,0) c PeriodProcTime_1 : 0.000481
62.35/12.27	c (6,0) c PeriodProcTime_2 : 0.000375
62.35/12.27	c (6,0) c PeriodProcTime_3 : 0.000408
62.35/12.27	c (6,0) c PeriodProcTime_4 : 0.000309
62.35/12.27	c (6,0) c PeriodProcTime_5 : 0.000466
62.35/12.27	c (6,0) c PeriodProcTime_6 : 0.000322
62.35/12.27	c (6,0) c PeriodProcTime_7 : 0.000437
62.35/12.27	c (6,0) c PeriodProcTime_total : 0.003234
62.35/12.27	c (6,0) c PeriodProcTime_winner : 0.000408
62.35/12.27	c (6,0) c SolvingTime_0 : 5.997426
62.35/12.27	c (6,0) c SolvingTime_1 : 6.149325
62.35/12.27	c (6,0) c SolvingTime_2 : 5.951847
62.35/12.27	c (6,0) c SolvingTime_3 : 5.969759
62.35/12.27	c (6,0) c SolvingTime_4 : 5.965441
62.35/12.27	c (6,0) c SolvingTime_5 : 5.988052
62.35/12.27	c (6,0) c SolvingTime_6 : 5.923142
62.35/12.27	c (6,0) c SolvingTime_7 : 5.942521
62.35/12.27	c (6,0) c SolvingTime_total : 47.887514
62.35/12.27	c (6,0) c SolvingTime_winner : 5.969759
62.35/12.27	c (6,0) c PropagationTime_0 : 5.260783
62.35/12.27	c (6,0) c PropagationTime_1 : 5.376424
62.35/12.27	c (6,0) c PropagationTime_2 : 5.196640
62.35/12.27	c (6,0) c PropagationTime_3 : 5.232063
62.35/12.27	c (6,0) c PropagationTime_4 : 5.234108
62.35/12.27	c (6,0) c PropagationTime_5 : 5.230863
62.35/12.27	c (6,0) c PropagationTime_6 : 5.171051
62.35/12.27	c (6,0) c PropagationTime_7 : 5.205925
62.35/12.27	c (6,0) c PropagationTime_total : 41.907856
62.35/12.27	c (6,0) c PropagationTime_winner : 5.232063
62.35/12.27	c (6,0) c AnalysisTime_0 : 0.473224
62.35/12.27	c (6,0) c AnalysisTime_1 : 0.494179
62.35/12.27	c (6,0) c AnalysisTime_2 : 0.486774
62.35/12.27	c (6,0) c AnalysisTime_3 : 0.474324
62.35/12.27	c (6,0) c AnalysisTime_4 : 0.477870
62.35/12.27	c (6,0) c AnalysisTime_5 : 0.486271
62.35/12.27	c (6,0) c AnalysisTime_6 : 0.496501
62.35/12.27	c (6,0) c AnalysisTime_7 : 0.472701
62.35/12.27	c (6,0) c AnalysisTime_total : 3.861843
62.35/12.27	c (6,0) c AnalysisTime_winner : 0.474324
62.35/12.27	c (6,0) c ReductionTime_0 : 0.056659
62.35/12.27	c (6,0) c ReductionTime_1 : 0.069701
62.35/12.27	c (6,0) c ReductionTime_2 : 0.060109
62.35/12.27	c (6,0) c ReductionTime_3 : 0.058880
62.35/12.27	c (6,0) c ReductionTime_4 : 0.057024
62.35/12.27	c (6,0) c ReductionTime_5 : 0.060558
62.35/12.27	c (6,0) c ReductionTime_6 : 0.057083
62.35/12.27	c (6,0) c ReductionTime_7 : 0.062624
62.35/12.27	c (6,0) c ReductionTime_total : 0.482638
62.35/12.27	c (6,0) c ReductionTime_winner : 0.058880
62.35/12.27	c (6,0) c SimplifyTime_0 : 0.012623
62.35/12.27	c (6,0) c SimplifyTime_1 : 0.012144
62.35/12.27	c (6,0) c SimplifyTime_2 : 0.011111
62.35/12.27	c (6,0) c SimplifyTime_3 : 0.013238
62.35/12.27	c (6,0) c SimplifyTime_4 : 0.013293
62.35/12.27	c (6,0) c SimplifyTime_5 : 0.013150
62.35/12.27	c (6,0) c SimplifyTime_6 : 0.010057
62.35/12.27	c (6,0) c SimplifyTime_7 : 0.010702
62.35/12.27	c (6,0) c SimplifyTime_total : 0.096317
62.35/12.27	c (6,0) c SimplifyTime_winner : 0.013238
62.35/12.27	c (6,0) c UsedRateTime_0 : 0.000000
62.35/12.27	c (6,0) c UsedRateTime_1 : 0.000000
62.35/12.27	c (6,0) c UsedRateTime_2 : 0.000000
62.35/12.27	c (6,0) c UsedRateTime_3 : 0.000000
62.35/12.27	c (6,0) c UsedRateTime_4 : 0.000000
62.35/12.27	c (6,0) c UsedRateTime_5 : 0.000000
62.35/12.27	c (6,0) c UsedRateTime_6 : 0.000000
62.35/12.27	c (6,0) c UsedRateTime_7 : 0.000000
62.35/12.27	c (6,0) c UsedRateTime_total : 0.000000
62.35/12.27	c (6,0) c UsedRateTime_winner : 0.000000
62.35/12.27	c (6,0) c OverlapRateTime_0 : 0.000000
62.35/12.27	c (6,0) c OverlapRateTime_1 : 0.000000
62.35/12.27	c (6,0) c OverlapRateTime_2 : 0.000000
62.35/12.27	c (6,0) c OverlapRateTime_3 : 0.000000
62.35/12.27	c (6,0) c OverlapRateTime_4 : 0.000000
62.35/12.27	c (6,0) c OverlapRateTime_5 : 0.000000
62.35/12.27	c (6,0) c OverlapRateTime_6 : 0.000000
62.35/12.27	c (6,0) c OverlapRateTime_7 : 0.000000
62.35/12.27	c (6,0) c OverlapRateTime_total : 0.000000
62.35/12.27	c (6,0) c OverlapRateTime_winner : 0.000000
62.35/12.27	c (6,0) c
62.35/12.27	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
62.35/12.28	c (6,0) c
62.35/12.28	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.28	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
62.35/12.28	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.28	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
62.35/12.28	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
62.35/12.28	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
62.35/12.28	c (6,0) c | Initial random_seed   | 1294781059 |  743031971 |  719872899 |  849902907 | 1501874941 | 1663853740 |  315964474 | 1788823234 |
62.35/12.28	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
62.35/12.28	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
62.35/12.28	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
62.35/12.28	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
62.35/12.28	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
62.35/12.28	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
62.35/12.28	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
62.35/12.28	c (6,0) c | var_decay             |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9100 |     0.9200 |
62.35/12.28	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
62.35/12.28	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
62.35/12.28	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
62.35/12.28	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.35/12.28	c (6,0) 
62.35/12.28	c (6,0) s UNSATISFIABLE
62.35/12.28	c (6,0) SatSolver.solve End
62.35/12.28	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
62.35/12.28	c (6,0) Show results Begin
62.35/12.28	s UNSATISFIABLE
62.35/12.28	c (6,0) Show results End
62.35/12.28	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
62.35/12.28	c (6,0) 6,6,STOP-AFTER(ALL)
62.35/12.28	c END-Prog: Sat Sep 14 03:41:06 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 (15104 MiB free)
  memory of node 1: 16384 MiB (15001 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392290-1568425293/watcher-4392290-1568425293 -o /tmp/evaluation-result-4392290-1568425293/solver-4392290-1568425293 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568416728-19026 --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-4392290-1568425293.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
solver pid=21474, runsolver pid=21471
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 8.15 8.29 8.05 2/217 21496
/proc/meminfo: memFree=30735648/32770624 swapFree=66968264/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 18999 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418778897 115843072 349 33554432000 4194304 5098028 140722441752912 140722441750168 139768933180028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7610368 140722441761573 140722441761900 140722441761900 140722441764813 0
/proc/21474/statm: 28282 349 296 221 0 87 0
[pid=21477] ppid=21474 vsize=27314120 memory=104912 CPUtime=0.11 cores=0-7
/proc/21477/stat : 21477 (java) S 21474 21474 18999 0 -1 1077944320 6782 0 0 0 8 3 0 0 20 0 20 0 418778897 27969658880 26228 33554432000 4194304 4196468 140735051243472 140735051226016 139816669101815 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
/proc/21477/statm: 6828530 26228 2817 1 0 6790935 0
[pid=21477/tid=21478] ppid=21474 vsize=27314120 memory=7968446023329554590 CPUtime=0.08 cores=0-7
/proc/21477/task/21478/stat : 21478 (java) R 21474 21474 18999 0 -1 4202560 4853 0 0 0 6 2 0 0 20 0 20 0 418778898 27969658880 26228 33554432000 4194304 4196468 140735051243472 139816640926112 139816653182302 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21479] ppid=21474 vsize=27314120 memory=732370400048602085 CPUtime=0 cores=0-7
/proc/21477/task/21479/stat : 21479 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 26228 33554432000 4194304 4196468 140735051243472 139816673344016 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21480] ppid=21474 vsize=27314120 memory=140261711148672 CPUtime=0 cores=0-7
/proc/21477/task/21480/stat : 21480 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 26228 33554432000 4194304 4196468 140735051243472 139816487500432 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21481] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21481/stat : 21481 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 26228 33554432000 4194304 4196468 140735051243472 139816090630416 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21482] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21482/stat : 21482 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 26228 33554432000 4194304 4196468 140735051243472 139816089577872 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21483] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21483/stat : 21483 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 26228 33554432000 4194304 4196468 140735051243472 139816088525840 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21484] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21484/stat : 21484 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 26228 33554432000 4194304 4196468 140735051243472 139816087473296 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21485] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21485/stat : 21485 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 26228 33554432000 4194304 4196468 140735051243472 139816086420240 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21486] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21486/stat : 21486 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 26228 33554432000 4194304 4196468 140735051243472 139816085367696 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21487] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21487/stat : 21487 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778902 27969658880 26228 33554432000 4194304 4196468 140735051243472 139815190690032 139816669112962 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21488] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21488/stat : 21488 (java) S 21474 21474 18999 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418778902 27969658880 26228 33554432000 4194304 4196468 140735051243472 139814271706272 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21489] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21489/stat : 21489 (java) S 21474 21474 18999 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418778902 27969658880 26228 33554432000 4194304 4196468 140735051243472 139814137484016 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21490] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21490/stat : 21490 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 26228 33554432000 4194304 4196468 140735051243472 139813762979792 139816669120411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21491] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21491/stat : 21491 (java) S 21474 21474 18999 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 26228 33554432000 4194304 4196468 140735051243472 139815189637872 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21492] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21492/stat : 21492 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 26228 33554432000 4194304 4196468 140735051243472 139815188585328 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21493] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21493/stat : 21493 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 26228 33554432000 4194304 4196468 140735051243472 139815187532272 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21494] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21494/stat : 21494 (java) S 21474 21474 18999 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 26228 33554432000 4194304 4196468 140735051243472 139815186479728 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21495] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21495/stat : 21495 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 26228 33554432000 4194304 4196468 140735051243472 139813265074656 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21496] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21496/stat : 21496 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 26228 33554432000 4194304 4196468 140735051243472 139815185427120 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106308 KiB

[startup+0.21099 s]*
/proc/loadavg: 8.15 8.29 8.05 4/217 21496
/proc/meminfo: memFree=30705056/32770624 swapFree=66968264/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 18999 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418778897 115843072 349 33554432000 4194304 5098028 140722441752912 140722441750168 139768933180028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7610368 140722441761573 140722441761900 140722441761900 140722441764813 0
/proc/21474/statm: 28282 349 296 221 0 87 0
[pid=21477] ppid=21474 vsize=27314120 memory=124140 CPUtime=0.25 cores=0-7
/proc/21477/stat : 21477 (java) S 21474 21474 18999 0 -1 1077944320 12263 0 0 0 20 5 0 0 20 0 20 0 418778897 27969658880 31035 33554432000 4194304 4196468 140735051243472 140735051226016 139816669101815 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
/proc/21477/statm: 6828530 31035 2967 1 0 6790935 0
[pid=21477/tid=21478] ppid=21474 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/21477/task/21478/stat : 21478 (java) R 21474 21474 18999 0 -1 4202560 9943 0 0 0 16 4 0 0 20 0 20 0 418778898 27969658880 31035 33554432000 4194304 4196468 140735051243472 139816640915200 139816649377145 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21479] ppid=21474 vsize=27314120 memory=280523263440632 CPUtime=0 cores=0-7
/proc/21477/task/21479/stat : 21479 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31035 33554432000 4194304 4196468 140735051243472 139816673344016 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21480] ppid=21474 vsize=27314120 memory=140261711148672 CPUtime=0 cores=0-7
/proc/21477/task/21480/stat : 21480 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31035 33554432000 4194304 4196468 140735051243472 139816487500432 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21481] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21481/stat : 21481 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31035 33554432000 4194304 4196468 140735051243472 139816090630416 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21482] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21482/stat : 21482 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31035 33554432000 4194304 4196468 140735051243472 139816089577872 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21483] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21483/stat : 21483 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31035 33554432000 4194304 4196468 140735051243472 139816088525840 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21484] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21484/stat : 21484 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31035 33554432000 4194304 4196468 140735051243472 139816087473296 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21485] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21485/stat : 21485 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31035 33554432000 4194304 4196468 140735051243472 139816086420240 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21486] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21486/stat : 21486 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31035 33554432000 4194304 4196468 140735051243472 139816085367696 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21487] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21487/stat : 21487 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778902 27969658880 31035 33554432000 4194304 4196468 140735051243472 139815190690032 139816669112962 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21488] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21488/stat : 21488 (java) S 21474 21474 18999 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418778902 27969658880 31035 33554432000 4194304 4196468 140735051243472 139814271706272 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21489] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21489/stat : 21489 (java) S 21474 21474 18999 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418778902 27969658880 31035 33554432000 4194304 4196468 140735051243472 139814137484016 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21490] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21490/stat : 21490 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 31035 33554432000 4194304 4196468 140735051243472 139813762979792 139816669120411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21491] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21491/stat : 21491 (java) S 21474 21474 18999 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 31035 33554432000 4194304 4196468 140735051243472 139815189637872 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21492] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21492/stat : 21492 (java) S 21474 21474 18999 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 31035 33554432000 4194304 4196468 140735051243472 139815188585328 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21493] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21493/stat : 21493 (java) S 21474 21474 18999 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 31035 33554432000 4194304 4196468 140735051243472 139815187532272 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21494] ppid=21474 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21477/task/21494/stat : 21494 (java) S 21474 21474 18999 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 20 0 418778905 27969658880 31035 33554432000 4194304 4196468 140735051243472 139815186479728 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21495] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21495/stat : 21495 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 31035 33554432000 4194304 4196468 140735051243472 139813265074656 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21496] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21496/stat : 21496 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 31035 33554432000 4194304 4196468 140735051243472 139815185427120 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125536 KiB

[startup+0.310745 s]*
/proc/loadavg: 8.15 8.29 8.05 2/217 21496
/proc/meminfo: memFree=30706316/32770624 swapFree=66968264/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 18999 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418778897 115843072 349 33554432000 4194304 5098028 140722441752912 140722441750168 139768933180028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7610368 140722441761573 140722441761900 140722441761900 140722441764813 0
/proc/21474/statm: 28282 349 296 221 0 87 0
[pid=21477] ppid=21474 vsize=27314120 memory=127500 CPUtime=0.43 cores=0-7
/proc/21477/stat : 21477 (java) S 21474 21474 18999 0 -1 1077944320 13301 0 0 0 37 6 0 0 20 0 20 0 418778897 27969658880 31875 33554432000 4194304 4196468 140735051243472 140735051226016 139816669101815 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
/proc/21477/statm: 6828530 31875 3013 1 0 6790935 0
[pid=21477/tid=21478] ppid=21474 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21477/task/21478/stat : 21478 (java) R 21474 21474 18999 0 -1 4202560 10796 0 0 0 25 4 0 0 20 0 20 0 418778898 27969658880 31875 33554432000 4194304 4196468 140735051243472 139816640884832 139816649377032 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21479] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21479/stat : 21479 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31875 33554432000 4194304 4196468 140735051243472 139816673344016 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21480] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21480/stat : 21480 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31875 33554432000 4194304 4196468 140735051243472 139816487500432 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21481] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21481/stat : 21481 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31875 33554432000 4194304 4196468 140735051243472 139816090630416 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21482] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21482/stat : 21482 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31875 33554432000 4194304 4196468 140735051243472 139816089577872 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21483] ppid=21474 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/21477/task/21483/stat : 21483 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31875 33554432000 4194304 4196468 140735051243472 139816088525840 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21484] ppid=21474 vsize=27314120 memory=140261552386991 CPUtime=0 cores=0-7
/proc/21477/task/21484/stat : 21484 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31875 33554432000 4194304 4196468 140735051243472 139816087473296 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21485] ppid=21474 vsize=27314120 memory=140261552389296 CPUtime=0 cores=0-7
/proc/21477/task/21485/stat : 21485 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31875 33554432000 4194304 4196468 140735051243472 139816086420240 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21486] ppid=21474 vsize=27314120 memory=140261552391600 CPUtime=0 cores=0-7
/proc/21477/task/21486/stat : 21486 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418778900 27969658880 31875 33554432000 4194304 4196468 140735051243472 139816085367696 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21487] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21487/stat : 21487 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778902 27969658880 31875 33554432000 4194304 4196468 140735051243472 139815190690032 139816669112962 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21488] ppid=21474 vsize=27314120 memory=280523104790160 CPUtime=0 cores=0-7
/proc/21477/task/21488/stat : 21488 (java) S 21474 21474 18999 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418778902 27969658880 31875 33554432000 4194304 4196468 140735051243472 139814271706272 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21489] ppid=21474 vsize=27314120 memory=280523104797072 CPUtime=0 cores=0-7
/proc/21477/task/21489/stat : 21489 (java) S 21474 21474 18999 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418778902 27969658880 31875 33554432000 4194304 4196468 140735051243472 139814137484016 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21490] ppid=21474 vsize=27314120 memory=280523104738352 CPUtime=0 cores=0-7
/proc/21477/task/21490/stat : 21490 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 31875 33554432000 4194304 4196468 140735051243472 139813762979792 139816669120411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21491] ppid=21474 vsize=27314120 memory=280523104810896 CPUtime=0 cores=0-7
/proc/21477/task/21491/stat : 21491 (java) S 21474 21474 18999 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 31875 33554432000 4194304 4196468 140735051243472 139815189637872 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21492] ppid=21474 vsize=27314120 memory=280523104817808 CPUtime=0.01 cores=0-7
/proc/21477/task/21492/stat : 21492 (java) S 21474 21474 18999 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 20 0 418778905 27969658880 31875 33554432000 4194304 4196468 140735051243472 139815188585328 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21493] ppid=21474 vsize=27314120 memory=280523104815504 CPUtime=0.01 cores=0-7
/proc/21477/task/21493/stat : 21493 (java) S 21474 21474 18999 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 20 0 418778905 27969658880 31875 33554432000 4194304 4196468 140735051243472 139815187532272 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21494] ppid=21474 vsize=27314120 memory=280523104831664 CPUtime=0.07 cores=0-7
/proc/21477/task/21494/stat : 21494 (java) S 21474 21474 18999 0 -1 1077944384 509 0 0 0 7 0 0 0 20 0 20 0 418778905 27969658880 31875 33554432000 4194304 4196468 140735051243472 139815186479728 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21495] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21495/stat : 21495 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 31875 33554432000 4194304 4196468 140735051243472 139813265074656 139816669112021 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21496] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21496/stat : 21496 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778905 27969658880 31875 33554432000 4194304 4196468 140735051243472 139815185427120 139816669112962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128896 KiB

[startup+0.700984 s]
/proc/loadavg: 8.15 8.29 8.05 2/217 21496
/proc/meminfo: memFree=30689720/32770624 swapFree=66968264/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 18999 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418778897 115843072 349 33554432000 4194304 5098028 140722441752912 140722441750168 139768933180028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7610368 140722441761573 140722441761900 140722441761900 140722441764813 0
/proc/21474/statm: 28282 349 296 221 0 87 0
[pid=21477] ppid=21474 vsize=27320392 memory=163244 CPUtime=0.98 cores=0-7
/proc/21477/stat : 21477 (java) S 21474 21474 18999 0 -1 1077944320 20417 0 0 0 90 8 0 0 20 0 20 0 418778897 27976081408 40811 33554432000 4194304 4196468 140735051243472 140735051226016 139816669101815 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
/proc/21477/statm: 6830098 40811 3194 1 0 6791447 0
[pid=21477/tid=21478] ppid=21474 vsize=27320392 memory=280523105126528 CPUtime=0.67 cores=0-7
/proc/21477/task/21478/stat : 21478 (java) R 21474 21474 18999 0 -1 4202560 17366 0 0 0 60 7 0 0 20 0 20 0 418778898 27976081408 40811 33554432000 4194304 4196468 140735051243472 139816640939904 139816167689472 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21479] ppid=21474 vsize=27320392 memory=3928 CPUtime=0 cores=0-7
/proc/21477/task/21479/stat : 21479 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27976081408 40811 33554432000 4194304 4196468 140735051243472 139816673344016 139816669112021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21480] ppid=21474 vsize=27320392 memory=716 CPUtime=0 cores=0-7
/proc/21477/task/21480/stat : 21480 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418778900 27976081408 40811 33554432000 4194304 4196468 140735051243472 139816487500432 139816669112021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0
[pid=21477/tid=21481] ppid=21474 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/21477/task/21481/stat : 21481 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418778900 27976081408 40811 33554432000 4194304 4196468 140735051243472 139816090630416 139816669112021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8396800 140735051248363 140735051248790 140735051248790 140735051251663 0

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

[pid=21497/tid=21514] ppid=21474 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/21497/task/21514/stat : 21514 (java) S 21474 21474 18999 0 -1 1077944384 594 0 0 0 22 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242056865904 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21515] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21515/stat : 21515 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140240748538848 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21516] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21516/stat : 21516 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242055814320 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21518] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21518/stat : 21518 (java) S 21474 21474 18999 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418779503 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242045683136 140243236081433 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21520] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21520/stat : 21520 (java) S 21474 21474 18999 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418779503 8616062976 30237 33554432000 4194304 4196468 140722646145216 140240077438512 140243236078749 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21521] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21521/stat : 21521 (java) S 21474 21474 18999 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418779503 8616062976 30237 33554432000 4194304 4196468 140722646145216 140240345874096 140243236078749 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21522] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21522/stat : 21522 (java) S 21474 21474 18999 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418779505 8616062976 30237 33554432000 4194304 4196468 140722646145216 140239809010608 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
Current children cumulated CPU time: 55.25 s
Current children cumulated vsize: 9171840 KiB
Current children cumulated memory: 233584 KiB

[startup+12.0018 s]*
/proc/loadavg: 7.37 8.12 7.99 9/231 21532
/proc/meminfo: memFree=30601496/32770624 swapFree=66968264/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1476 CPUtime=13.42 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 18999 0 -1 4202496 582 33404 0 0 0 0 1304 38 20 0 1 0 418778897 115843072 369 33554432000 4194304 5098028 140722441752912 140722441749656 139768933180028 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7610368 140722441761573 140722441761900 140722441761900 140722441764813 0
/proc/21474/statm: 28282 369 311 221 0 87 0
[pid=21497] ppid=21474 vsize=8414124 memory=120948 CPUtime=1.26 cores=0-7
/proc/21497/stat : 21497 (java) S 21474 21474 18999 0 -1 1077944320 20181 0 0 0 118 8 0 0 20 0 24 0 418779427 8616062976 30237 33554432000 4194304 4196468 140722646145216 140722646127760 140243236056823 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
/proc/21497/statm: 2103531 30237 3208 1 0 2064875 0
[pid=21517] ppid=21497 vsize=645540 memory=116132 CPUtime=47.03 cores=0-7
/proc/21517/stat : 21517 (manyglucose-4.1) S 21497 21474 18999 0 -1 1077944320 72966 0 0 0 4685 18 0 0 20 0 9 0 418779503 661032960 29033 33554432000 4194304 4454172 140734693966544 140734693964944 139816656366210 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
/proc/21517/statm: 161385 29033 403 64 0 157053 0
[pid=21517/tid=21523] ppid=21497 vsize=645540 memory=0 CPUtime=5.87 cores=0-7
/proc/21517/task/21523/stat : 21523 (manyglucose-4.1) R 21497 21474 18999 0 -1 4202560 7485 0 0 0 584 3 0 0 20 0 9 0 418779508 661032960 29033 33554432000 4194304 4454172 140734693966544 139816641137544 4351331 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
[pid=21517/tid=21524] ppid=21497 vsize=645540 memory=0 CPUtime=5.75 cores=0-7
/proc/21517/task/21524/stat : 21524 (manyglucose-4.1) R 21497 21474 18999 0 -1 4202560 8787 0 0 0 573 2 0 0 20 0 9 0 418779508 661032960 29033 33554432000 4194304 4454172 140734693966544 139816632744696 4379456 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
[pid=21517/tid=21525] ppid=21497 vsize=645540 memory=140261711148672 CPUtime=5.88 cores=0-7
/proc/21517/task/21525/stat : 21525 (manyglucose-4.1) R 21497 21474 18999 0 -1 4202560 8344 0 0 0 587 1 0 0 20 0 9 0 418779508 661032960 29033 33554432000 4194304 4454172 140734693966544 139816624352504 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
[pid=21517/tid=21526] ppid=21497 vsize=645540 memory=0 CPUtime=5.87 cores=0-7
/proc/21517/task/21526/stat : 21526 (manyglucose-4.1) R 21497 21474 18999 0 -1 4202560 8369 0 0 0 586 1 0 0 20 0 9 0 418779508 661032960 29033 33554432000 4194304 4454172 140734693966544 139816615959800 140734694280936 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
[pid=21517/tid=21527] ppid=21497 vsize=645540 memory=0 CPUtime=5.88 cores=0-7
/proc/21517/task/21527/stat : 21527 (manyglucose-4.1) R 21497 21474 18999 0 -1 4202560 8770 0 0 0 587 1 0 0 20 0 9 0 418779508 661032960 29033 33554432000 4194304 4454172 140734693966544 139816607566728 4303287 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
[pid=21517/tid=21528] ppid=21497 vsize=645540 memory=0 CPUtime=5.89 cores=0-7
/proc/21517/task/21528/stat : 21528 (manyglucose-4.1) R 21497 21474 18999 0 -1 4202560 8919 0 0 0 586 3 0 0 20 0 9 0 418779508 661032960 29033 33554432000 4194304 4454172 140734693966544 139816599173880 4350843 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
[pid=21517/tid=21529] ppid=21497 vsize=645540 memory=-1 CPUtime=5.88 cores=0-7
/proc/21517/task/21529/stat : 21529 (manyglucose-4.1) R 21497 21474 18999 0 -1 4202560 9073 0 0 0 587 1 0 0 20 0 9 0 418779508 661032960 29033 33554432000 4194304 4454172 140734693966544 139816590781688 4351289 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
[pid=21517/tid=21530] ppid=21497 vsize=645540 memory=0 CPUtime=5.89 cores=0-7
/proc/21517/task/21530/stat : 21530 (manyglucose-4.1) R 21497 21474 18999 0 -1 4202560 8516 0 0 0 587 2 0 0 20 0 9 0 418779508 661032960 29033 33554432000 4194304 4454172 140734693966544 139816582388840 4351209 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
[pid=21497/tid=21498] ppid=21474 vsize=8414124 memory=8390339637985935414 CPUtime=0.79 cores=0-7
/proc/21497/task/21498/stat : 21498 (java) S 21474 21474 18999 0 -1 1077944384 17020 0 0 0 73 6 0 0 20 0 24 0 418779427 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243207896992 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21499] ppid=21474 vsize=8414124 memory=304274682692252963 CPUtime=0 cores=0-7
/proc/21497/task/21499/stat : 21499 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243240299536 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21500] ppid=21474 vsize=8414124 memory=20281 CPUtime=0 cores=0-7
/proc/21497/task/21500/stat : 21500 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243040468112 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21501] ppid=21474 vsize=8414124 memory=7649399367034810674 CPUtime=0 cores=0-7
/proc/21497/task/21501/stat : 21501 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243039415056 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21502] ppid=21474 vsize=8414124 memory=7649399371329777970 CPUtime=0 cores=0-7
/proc/21497/task/21502/stat : 21502 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243038362512 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21503] ppid=21474 vsize=8414124 memory=92436286166032 CPUtime=0 cores=0-7
/proc/21497/task/21503/stat : 21503 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243037309456 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21504] ppid=21474 vsize=8414124 memory=140261553190730 CPUtime=0 cores=0-7
/proc/21497/task/21504/stat : 21504 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243036256912 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21505] ppid=21474 vsize=8414124 memory=280523105510240 CPUtime=0 cores=0-7
/proc/21497/task/21505/stat : 21505 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243035203856 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21506] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21506/stat : 21506 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243034151312 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21507] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21507/stat : 21507 (java) S 21474 21474 18999 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418779430 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242061077232 140243236067970 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21508] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21508/stat : 21508 (java) S 21474 21474 18999 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418779430 8616062976 30237 33554432000 4194304 4196468 140722646145216 140241889388192 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21509] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21509/stat : 21509 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779430 8616062976 30237 33554432000 4194304 4196468 140722646145216 140241620952304 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21510] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21510/stat : 21510 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140241246443984 140243236075419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21511] ppid=21474 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/21497/task/21511/stat : 21511 (java) S 21474 21474 18999 0 -1 1077944384 189 0 0 0 5 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242060024048 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21512] ppid=21474 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/21497/task/21512/stat : 21512 (java) S 21474 21474 18999 0 -1 1077944384 385 0 0 0 7 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242058971504 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21513] ppid=21474 vsize=8414124 memory=67 CPUtime=0.08 cores=0-7
/proc/21497/task/21513/stat : 21513 (java) S 21474 21474 18999 0 -1 1077944384 599 0 0 0 8 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242057918448 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21514] ppid=21474 vsize=8414124 memory=3472328296225127012 CPUtime=0.22 cores=0-7
/proc/21497/task/21514/stat : 21514 (java) S 21474 21474 18999 0 -1 1077944384 594 0 0 0 22 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242056865904 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21515] ppid=21474 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/21497/task/21515/stat : 21515 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140240748538848 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21516] ppid=21474 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/21497/task/21516/stat : 21516 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242055814320 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21518] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21518/stat : 21518 (java) S 21474 21474 18999 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418779503 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242045683136 140243236081433 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21520] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21520/stat : 21520 (java) S 21474 21474 18999 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418779503 8616062976 30237 33554432000 4194304 4196468 140722646145216 140240077438512 140243236078749 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21521] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21521/stat : 21521 (java) S 21474 21474 18999 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418779503 8616062976 30237 33554432000 4194304 4196468 140722646145216 140240345874096 140243236078749 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21522] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21522/stat : 21522 (java) S 21474 21474 18999 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418779505 8616062976 30237 33554432000 4194304 4196468 140722646145216 140239809010608 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
Current children cumulated CPU time: 61.71 s
Current children cumulated vsize: 9172792 KiB
Current children cumulated memory: 238556 KiB

[startup+12.2012 s]
/proc/loadavg: 7.37 8.12 7.99 9/231 21532
/proc/meminfo: memFree=30601496/32770624 swapFree=66968264/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1476 CPUtime=13.42 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 18999 0 -1 4202496 582 33404 0 0 0 0 1304 38 20 0 1 0 418778897 115843072 369 33554432000 4194304 5098028 140722441752912 140722441749656 139768933180028 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7610368 140722441761573 140722441761900 140722441761900 140722441764813 0
/proc/21474/statm: 28282 369 311 221 0 87 0
[pid=21497] ppid=21474 vsize=8414124 memory=120948 CPUtime=1.26 cores=0-7
/proc/21497/stat : 21497 (java) S 21474 21474 18999 0 -1 1077944320 20181 0 0 0 118 8 0 0 20 0 24 0 418779427 8616062976 30237 33554432000 4194304 4196468 140722646145216 140722646127760 140243236056823 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
/proc/21497/statm: 2103531 30237 3208 1 0 2064875 0
[pid=21517] ppid=21497 vsize=631388 memory=104904 CPUtime=47.67 cores=0-7
/proc/21517/stat : 21517 (manyglucose-4.1) S 21497 21474 18999 0 -1 1077944320 73149 0 0 0 4749 18 0 0 20 0 2 0 418779503 646541312 26226 33554432000 4194304 4454172 140734693966544 140734693964928 139816656355063 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
/proc/21517/statm: 157847 26226 416 64 0 153515 0
[pid=21517/tid=21524] ppid=21497 vsize=631388 memory=-8412658770403813517 CPUtime=5.94 cores=0-7
/proc/21517/task/21524/stat : 21524 (manyglucose-4.1) R 21497 21474 18999 0 -1 4202560 8788 0 0 0 592 2 0 0 20 0 2 0 418779508 646541312 26226 33554432000 4194304 4454172 140734693966544 139816632745208 4350054 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 21295104 140734693974889 140734693975088 140734693975088 140734693978042 0
[pid=21497/tid=21498] ppid=21474 vsize=8414124 memory=8110268427993965964 CPUtime=0.79 cores=0-7
/proc/21497/task/21498/stat : 21498 (java) S 21474 21474 18999 0 -1 1077944384 17020 0 0 0 73 6 0 0 20 0 24 0 418779427 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243207896992 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21499] ppid=21474 vsize=8414124 memory=8514726395714956677 CPUtime=0 cores=0-7
/proc/21497/task/21499/stat : 21499 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243240299536 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21500] ppid=21474 vsize=8414124 memory=4628979767285212301 CPUtime=0 cores=0-7
/proc/21497/task/21500/stat : 21500 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243040468112 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21501] ppid=21474 vsize=8414124 memory=-7828588039587137364 CPUtime=0 cores=0-7
/proc/21497/task/21501/stat : 21501 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243039415056 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21502] ppid=21474 vsize=8414124 memory=4628975342494846326 CPUtime=0 cores=0-7
/proc/21497/task/21502/stat : 21502 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243038362512 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21503] ppid=21474 vsize=8414124 memory=8514726395714820750 CPUtime=0 cores=0-7
/proc/21497/task/21503/stat : 21503 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243037309456 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21504] ppid=21474 vsize=8414124 memory=3054156605267020675 CPUtime=0 cores=0-7
/proc/21497/task/21504/stat : 21504 (java) S 21474 21474 18999 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243036256912 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21505] ppid=21474 vsize=8414124 memory=4283920778584169620 CPUtime=0 cores=0-7
/proc/21497/task/21505/stat : 21505 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243035203856 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21506] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21506/stat : 21506 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418779428 8616062976 30237 33554432000 4194304 4196468 140722646145216 140243034151312 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21507] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21507/stat : 21507 (java) S 21474 21474 18999 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418779430 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242061077232 140243236067970 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21508] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21508/stat : 21508 (java) S 21474 21474 18999 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418779430 8616062976 30237 33554432000 4194304 4196468 140722646145216 140241889388192 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21509] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21509/stat : 21509 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779430 8616062976 30237 33554432000 4194304 4196468 140722646145216 140241620952304 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21510] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21510/stat : 21510 (java) S 21474 21474 18999 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140241246443984 140243236075419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21511] ppid=21474 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/21497/task/21511/stat : 21511 (java) S 21474 21474 18999 0 -1 1077944384 189 0 0 0 5 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242060024048 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21512] ppid=21474 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/21497/task/21512/stat : 21512 (java) S 21474 21474 18999 0 -1 1077944384 385 0 0 0 7 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242058971504 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21513] ppid=21474 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/21497/task/21513/stat : 21513 (java) S 21474 21474 18999 0 -1 1077944384 599 0 0 0 8 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242057918448 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21514] ppid=21474 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/21497/task/21514/stat : 21514 (java) S 21474 21474 18999 0 -1 1077944384 594 0 0 0 22 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242056865904 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21515] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21515/stat : 21515 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140240748538848 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21516] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21516/stat : 21516 (java) S 21474 21474 18999 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418779433 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242055814320 140243236067970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21518] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21518/stat : 21518 (java) S 21474 21474 18999 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418779503 8616062976 30237 33554432000 4194304 4196468 140722646145216 140242045683136 140243236081433 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21520] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21520/stat : 21520 (java) S 21474 21474 18999 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418779503 8616062976 30237 33554432000 4194304 4196468 140722646145216 140240077438512 140243236078749 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21521] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21521/stat : 21521 (java) S 21474 21474 18999 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418779503 8616062976 30237 33554432000 4194304 4196468 140722646145216 140240345874096 140243236078749 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
[pid=21497/tid=21522] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21522/stat : 21522 (java) S 21474 21474 18999 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418779505 8616062976 30237 33554432000 4194304 4196468 140722646145216 140239809010608 140243236067029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8794112 140722646148087 140722646148246 140722646148246 140722646151119 0
Current children cumulated CPU time: 62.35 s
Current children cumulated vsize: 9158640 KiB
Current children cumulated memory: 227328 KiB

Child status: 0
Real time (s): 12.2934
CPU time (s): 62.5122
CPU user time (s): 61.8408
CPU system time (s): 0.671408
CPU usage (%): 508.504
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1441776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.8408
system time used= 0.671408
maximum resident set size= 1446024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12868
involuntary context switches= 656


# summary of solver processes directly reported to runsolver:
#   pid: 21474
#   total CPU time (s): 62.5122
#   total CPU user time (s): 61.8408
#   total CPU system time (s): 0.671408

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.103446 second user time and 0.219853 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-14 03:40:53
IDJOB=4392290
IDBENCH=125649
IDSOLVER=2838
FILE ID=node135/4392290-1568425293
RUNJOBID= node135-1568416728-19026
PBS_JOBID= 21702256
Free space on /tmp= 61376 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-64.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-4392290-1568425293/watcher-4392290-1568425293 -o /tmp/evaluation-result-4392290-1568425293/solver-4392290-1568425293 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568416728-19026 --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-4392290-1568425293.xml

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

MD5SUM BENCH= 236be531fe4e5fa4d71f6d1385cbaf81
RANDOM SEED=80656897

node135.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.76
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.76
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.76
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.76
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:        30828724 kB
MemAvailable:   31863192 kB
Buffers:          165152 kB
Cached:          1137368 kB
SwapCached:        34752 kB
Active:           558772 kB
Inactive:         783436 kB
Active(anon):      11520 kB
Inactive(anon):    60360 kB
Active(file):     547252 kB
Inactive(file):   723076 kB
Unevictable:      110024 kB
Mlocked:          110024 kB
SwapTotal:      67108860 kB
SwapFree:       66968264 kB
Dirty:             20548 kB
Writeback:             4 kB
AnonPages:        114472 kB
Mapped:            36920 kB
Shmem:             24204 kB
Slab:             190368 kB
SReclaimable:     159952 kB
SUnreclaim:        30416 kB
KernelStack:        3504 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61356 MiB
End job on node135 at 2019-09-14 03:41:06