Trace number 4405534

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 29.6842 13.9005

General information on the benchmark

NameQueensKnights/QueensKnights-m1-s1/
QueensKnights-080-05-add.xml
MD5SUM18e8c61317b2c078d14d7e9ead8d31e0
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 benchmark25.0904
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints3170
Number of domains2
Minimum domain size80
Maximum domain size6400
Distribution of domain sizes[{"size":80,"count":80},{"size":6400,"count":5}]
Minimum variable degree4
Maximum variable degree79
Distribution of variable degrees[{"degree":4,"count":5},{"degree":79,"count":80}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3170}]
Number of extensional constraints0
Number of intensional constraints3170
Distribution of constraint types[{"type":"intension","count":3170}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9359-serial-file.bin HOME/instance-4405534-1569238644.xml
0.65/0.55	
0.65/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.57	c BEGIN-Prog: Mon Sep 23 13:36:43 CEST 2019
0.65/0.57	c PID: 9362
0.65/0.57	c IP: 172.20.3.146
0.65/0.57	c HOST: node146.alineos.net
0.65/0.58	c (0,0) Parsing Begin
4.42/1.65	c (1,1) Parsing End
4.42/1.66	c (1,1) CSP: 85 int (0 aux), 0 bool (0 aux), 3170 ctr, max domain size 6400
4.42/1.66	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.42/1.66	c (1,1) Constraint Name Generate Begin
4.42/1.69	c (1,1) Ctr:HOME/instance-4405534-1569238644.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
4.42/1.69	c (1,1) Constraint Name Generate End
4.42/1.69	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.42/1.69	c (1,1) CSP to CSPinCNF Begin
5.78/2.06	c (1,1) translated 317 (10%) constraints
6.07/2.18	c (1,1) translated 634 (20%) constraints
6.43/2.27	c (1,1) translated 951 (30%) constraints
6.83/2.36	c (1,1) translated 1268 (40%) constraints
7.22/2.44	c (1,1) translated 1585 (50%) constraints
7.59/2.51	c (1,1) translated 1902 (60%) constraints
7.59/2.58	c (2,2) translated 2219 (70%) constraints
7.89/2.64	c (2,2) translated 2536 (80%) constraints
8.02/2.70	c (2,2) translated 2853 (90%) constraints
8.23/2.80	c (2,2) translated 3170 (100%) constraints
8.23/2.80	c (2,2) ===========================================
8.23/2.87	c (2,2) Hybrid: #OE=3250, #LE=25
8.23/2.87	c (2,2) Hybrid
8.23/2.87	c (2,2) ===========================================
8.68/2.95	c (2,2) translated 1274 (10%) constraints
9.13/3.01	c (2,2) translated 2548 (20%) constraints
9.13/3.06	c (2,2) translated 3822 (30%) constraints
9.52/3.11	c (2,2) translated 5096 (40%) constraints
9.52/3.16	c (2,2) translated 6370 (50%) constraints
9.52/3.20	c (2,2) translated 7644 (60%) constraints
9.86/3.23	c (2,2) translated 8918 (70%) constraints
9.86/3.27	c (2,2) translated 10192 (80%) constraints
10.16/3.31	c (2,2) translated 11466 (90%) constraints
10.16/3.35	c (2,2) translated 12740 (100%) constraints
10.16/3.35	c (2,2) CSP to CSPinCNF End
10.16/3.36	c (2,2) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12750 ctr, max domain size 6400
10.16/3.36	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.16/3.36	c (2,2) CSPinCNF Propagation Begin
10.52/3.48	c (2,2) 1 values, 4 unsatisfiable literals, and 21 valid clauses are removed
10.52/3.48	c (2,2) CSPinCNF Propagation End
10.52/3.48	c (2,2) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12729 ctr, max domain size 6400
10.52/3.48	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.93/3.52	c (2,2) Hybrid: #OE=3250, #LE=25
10.93/3.52	c (2,2) Simplify CSPinCNF Begin
12.02/3.83	c (3,3) Simplify CSPinCNF End
12.02/3.84	c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400
12.02/3.84	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.02/3.84	c (3,3) Calculate Precise Domain Begin
12.02/3.84	c (3,3) 0 values are removed by re-calculation
12.02/3.84	c (3,3) Calculate Precise Domain End
12.02/3.84	c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400
12.02/3.84	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.02/3.84	c (3,3) CSPinCNF to SatSolver Begin
15.35/4.81	c (4,4) 2542 (10 %) CSP clauses are encoded (0 SAT variables, 110859 SAT clauses)
15.90/5.33	c (4,4) 5084 (20 %) CSP clauses are encoded (0 SAT variables, 218191 SAT clauses)
16.57/5.83	c (5,5) 7626 (30 %) CSP clauses are encoded (0 SAT variables, 325123 SAT clauses)
17.19/6.35	c (5,5) 10167 (40 %) CSP clauses are encoded (0 SAT variables, 436582 SAT clauses)
17.73/6.88	c (6,6) 12709 (50 %) CSP clauses are encoded (0 SAT variables, 553069 SAT clauses)
18.34/7.41	c (6,6) 15251 (60 %) CSP clauses are encoded (0 SAT variables, 671528 SAT clauses)
18.85/7.97	c (7,7) 17792 (70 %) CSP clauses are encoded (0 SAT variables, 793705 SAT clauses)
19.46/8.55	c (7,7) 20334 (80 %) CSP clauses are encoded (0 SAT variables, 921139 SAT clauses)
20.07/9.15	c (8,8) 22876 (90 %) CSP clauses are encoded (0 SAT variables, 1053887 SAT clauses)
20.91/9.84	c (9,9) 25417 (100 %) CSP clauses are encoded (0 SAT variables, 1201778 SAT clauses)
20.91/9.84	c (9,9) CSPinCNF to SatSolver End
20.91/9.84	c (9,9) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.91/9.84	c (9,9) 28167 bool, 1201867 clause
20.91/9.84	c (9,9) Export Begin
21.27/10.00	c (9,9) Export to HOME/scop-9359-serial-file.bin
21.27/10.00	c (9,9) Export End
21.27/10.00	c (9,9) Export File Size: 0.03 MB
21.27/10.00	c (9,9) 1,1,2,2,3,3,9,STOP-AFTER(DIMACS)
21.27/10.00	c END-Prog: Mon Sep 23 13:36:53 CEST 2019
21.74/10.05	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9359-serial-file.bin
21.77/10.51	c (0,0) Read Serial File Begin
21.77/10.51	c (0,0) HOME/scop-9359-serial-file.bin
21.77/10.74	c (0,0) Read Serial File End
21.77/10.75	
21.77/10.75	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.77/10.75	(Solving Process)
21.77/10.75	
21.77/10.77	c BEGIN-Prog: Mon Sep 23 13:36:54 CEST 2019
21.77/10.77	c PID: 9382
21.77/10.77	c IP: 172.20.3.146
21.77/10.77	c HOST: node146.alineos.net
21.77/10.78	c (0,0) SatSolver.solve Begin
21.77/10.78	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405534-1569238644.xml-scop-9362.cnf
21.77/10.81	c (0,0) c
21.77/10.81	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)
21.77/10.81	c (0,0) c
21.77/10.81	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.77/10.81	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.77/10.81	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.77/10.81	c (0,0) c |                                                                                                       |
23.29/11.16	c (0,0) c |  Number of variables:         28167                                                                   |
23.29/11.16	c (0,0) c |  Number of clauses:         1201822                                                                   |
23.29/11.16	c (0,0) c |  Parse time:                   0.32 s                                                                 |
23.29/11.16	c (0,0) c |                                                                                                       |
25.20/13.02	c (2,0) c |  Simplification time:          1.83 s                                                                 |
25.20/13.02	c (2,0) c |                                                                                                       |
25.20/13.02	c (2,0) c |  Generating clones                                                                                    |
25.39/13.30	c (2,0) c |  all clones generated. Memory =   753.70Mb.                                                           |
25.39/13.30	c (2,0) c ========================================================================================================|
25.39/13.30	c (2,0) c
25.39/13.30	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
25.39/13.30	c (2,0) c
25.39/13.30	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.39/13.30	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
25.39/13.30	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.39/13.30	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
25.39/13.30	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
25.39/13.30	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
25.39/13.30	c (2,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
25.39/13.30	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
25.39/13.30	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
25.39/13.30	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
25.39/13.30	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
25.39/13.30	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
25.39/13.30	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
25.39/13.30	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
25.39/13.30	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
25.39/13.30	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
25.39/13.30	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
25.39/13.30	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
25.39/13.30	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.85	c (3,0) c
29.35/13.85	c (3,0) c real time : 3.04169 s
29.35/13.85	c (3,0) c cpu time  : 6.08924 s
29.35/13.85	c (3,0) c
29.35/13.85	c (3,0) c
29.35/13.85	c (3,0) c
29.35/13.85	c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
29.35/13.85	c (3,0) c
29.35/13.85	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.85	c (3,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
29.35/13.85	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.85	c (3,0) c | Conflicts     |          122248 |      17709 |      14748 |      16549 |      15835 |      13569 |      13806 |      14680 |      15352 |
29.35/13.85	c (3,0) c | Decisions     |          169439 |      23352 |      21154 |      23113 |      21743 |      19745 |      19532 |      20367 |      20433 |
29.35/13.85	c (3,0) c | Propagations  |        13991327 |    1789164 |    1593253 |    1788582 |    1634684 |    1820933 |    1693730 |    1966086 |    1704895 |
29.35/13.85	c (3,0) c | ReduceDBs     |              23 |          3 |          3 |          3 |          3 |          2 |          3 |          3 |          3 |
29.35/13.85	c (3,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
29.35/13.85	c (3,0) c | Restarts      |             127 |         20 |         11 |          9 |         18 |         26 |         21 |          9 |         13 |
29.35/13.85	c (3,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.35/13.85	c (3,0) c | PropBinClauses|        11741942 |    1531536 |    1406421 |    1605513 |    1324370 |    1458124 |    1416559 |    1561465 |    1437954 |
29.35/13.85	c (3,0) c | PropPreBlocker|       106667120 |   16040065 |   11155620 |   13433228 |   14206728 |   13236074 |   11817716 |   12355153 |   14422536 |
29.35/13.85	c (3,0) c | PropNotBlocker|        44879710 |    6281311 |    5254089 |    6032246 |    5739031 |    5574111 |    5247446 |    5135341 |    5616135 |
29.35/13.85	c (3,0) c | LitFullScans  |       231824322 |   33995624 |   25565268 |   30003389 |   30002100 |   28380352 |   26277740 |   27599312 |   30000537 |
29.35/13.85	c (3,0) c | LitScanFracts |            2558 |        827 |        175 |        307 |        378 |        292 |        245 |        166 |        168 |
29.35/13.85	c (3,0) c | DecisionLevel0|             175 |         37 |         22 |         15 |         19 |         29 |         25 |         13 |         15 |
29.35/13.85	c (3,0) c | Periods       |              36 |          5 |          4 |          5 |          5 |          4 |          4 |          4 |          5 |
29.35/13.85	c (3,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
29.35/13.85	c (3,0) c | Avg_Trail     |                 |        561 |        747 |        802 |        625 |        727 |       1031 |        984 |        705 |
29.35/13.85	c (3,0) c | Avg_DL        |                 |         16 |         23 |         22 |         19 |         20 |         31 |         25 |         20 |
29.35/13.85	c (3,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.35/13.85	c (3,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.35/13.85	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.85	c (3,0) c | Exported      |           25458 |       3405 |       3704 |       3936 |       3416 |       2191 |       2976 |       2962 |       2868 |
29.35/13.85	c (3,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.35/13.85	c (3,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.35/13.85	c (3,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.35/13.85	c (3,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.35/13.85	c (3,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.35/13.85	c (3,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
29.35/13.85	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.85	c (3,0) c | Unaries       |                 |         17 |         11 |          6 |          1 |          3 |          4 |          4 |          2 |
29.35/13.85	c (3,0) c | Binaries      |                 |         87 |         85 |         27 |         26 |         24 |         31 |         29 |         21 |
29.35/13.85	c (3,0) c | Glues         |                 |        268 |        226 |        133 |        116 |         92 |        135 |        125 |        119 |
29.35/13.85	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.85	c (3,0) c | Orig_Seen     |             0 % |       3775 |       4308 |       3714 |       3607 |       4057 |       4743 |       4400 |       3176 |
29.35/13.85	c (3,0) c | Diff Orig seen|                 | -      533 |      X     | -      594 | -      701 | -      251 |        435 |         92 | -     1132 |
29.35/13.85	c (3,0) c | Hamming       |            13 % |       3175 |      X     |       3857 |       4009 |       3877 |       4426 |       3464 |       4424 |
29.35/13.85	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.85	c (3,0) c | RunningTime   |                 |    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|    0.5 100%|
29.35/13.85	c (3,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%|
29.35/13.85	c (3,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%|
29.35/13.85	c (3,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%|
29.35/13.85	c (3,0) c | SolvingTime   |                 |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |    0.5     |
29.35/13.85	c (3,0) c | PropagationTim|                 |    0.4  75%|    0.4  78%|    0.4  80%|    0.4  78%|    0.4  80%|    0.4  80%|    0.4  77%|    0.4  80%|
29.35/13.85	c (3,0) c | AnalysisTime  |                 |    0.1  19%|    0.1  16%|    0.1  15%|    0.1  16%|    0.1  15%|    0.1  14%|    0.1  17%|    0.1  15%|
29.35/13.85	c (3,0) c | ReductionTime |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|
29.35/13.85	c (3,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%|
29.35/13.85	c (3,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%|
29.35/13.85	c (3,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%|
29.35/13.85	c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.85	c (3,0) c
29.35/13.85	c (3,0) c
29.35/13.85	c (3,0) c Threads : 8
29.35/13.85	c (3,0) c Winner : 1
29.35/13.85	c (3,0) c Conflicts_0 : 17709
29.35/13.85	c (3,0) c Conflicts_1 : 14748
29.35/13.85	c (3,0) c Conflicts_2 : 16549
29.35/13.85	c (3,0) c Conflicts_3 : 15835
29.35/13.85	c (3,0) c Conflicts_4 : 13569
29.35/13.85	c (3,0) c Conflicts_5 : 13806
29.35/13.85	c (3,0) c Conflicts_6 : 14680
29.35/13.85	c (3,0) c Conflicts_7 : 15352
29.35/13.85	c (3,0) c Conflicts_total : 122248
29.35/13.85	c (3,0) c Conflicts_winner : 14748
29.35/13.85	c (3,0) c Decisions_0 : 23352
29.35/13.85	c (3,0) c Decisions_1 : 21154
29.35/13.85	c (3,0) c Decisions_2 : 23113
29.35/13.85	c (3,0) c Decisions_3 : 21743
29.35/13.85	c (3,0) c Decisions_4 : 19745
29.35/13.85	c (3,0) c Decisions_5 : 19532
29.35/13.85	c (3,0) c Decisions_6 : 20367
29.35/13.85	c (3,0) c Decisions_7 : 20433
29.35/13.85	c (3,0) c Decisions_total : 169439
29.35/13.85	c (3,0) c Decisions_winner : 21154
29.35/13.85	c (3,0) c Propagations_0 : 1789164
29.35/13.85	c (3,0) c Propagations_1 : 1593253
29.35/13.85	c (3,0) c Propagations_2 : 1788582
29.35/13.85	c (3,0) c Propagations_3 : 1634684
29.35/13.85	c (3,0) c Propagations_4 : 1820933
29.35/13.85	c (3,0) c Propagations_5 : 1693730
29.35/13.85	c (3,0) c Propagations_6 : 1966086
29.35/13.85	c (3,0) c Propagations_7 : 1704895
29.35/13.85	c (3,0) c Propagations_total : 13991327
29.35/13.85	c (3,0) c Propagations_winner : 1593253
29.35/13.85	c (3,0) c ReduceDBs_0 : 3
29.35/13.85	c (3,0) c ReduceDBs_1 : 3
29.35/13.85	c (3,0) c ReduceDBs_2 : 3
29.35/13.85	c (3,0) c ReduceDBs_3 : 3
29.35/13.85	c (3,0) c ReduceDBs_4 : 2
29.35/13.85	c (3,0) c ReduceDBs_5 : 3
29.35/13.85	c (3,0) c ReduceDBs_6 : 3
29.35/13.85	c (3,0) c ReduceDBs_7 : 3
29.35/13.85	c (3,0) c ReduceDBs_total : 23
29.35/13.85	c (3,0) c ReduceDBs_winner : 3
29.35/13.85	c (3,0) c SimpDBs_0 : 1
29.35/13.85	c (3,0) c SimpDBs_1 : 1
29.35/13.85	c (3,0) c SimpDBs_2 : 1
29.35/13.85	c (3,0) c SimpDBs_3 : 1
29.35/13.85	c (3,0) c SimpDBs_4 : 1
29.35/13.85	c (3,0) c SimpDBs_5 : 1
29.35/13.85	c (3,0) c SimpDBs_6 : 1
29.35/13.85	c (3,0) c SimpDBs_7 : 1
29.35/13.85	c (3,0) c SimpDBs_total : 8
29.35/13.85	c (3,0) c SimpDBs_winner : 1
29.35/13.85	c (3,0) c Restarts_0 : 20
29.35/13.85	c (3,0) c Restarts_1 : 11
29.35/13.85	c (3,0) c Restarts_2 : 9
29.35/13.85	c (3,0) c Restarts_3 : 18
29.35/13.85	c (3,0) c Restarts_4 : 26
29.35/13.85	c (3,0) c Restarts_5 : 21
29.35/13.85	c (3,0) c Restarts_6 : 9
29.35/13.85	c (3,0) c Restarts_7 : 13
29.35/13.85	c (3,0) c Restarts_total : 127
29.35/13.85	c (3,0) c Restarts_winner : 11
29.35/13.85	c (3,0) c ForcedImports_0 : 0
29.35/13.85	c (3,0) c ForcedImports_1 : 0
29.35/13.85	c (3,0) c ForcedImports_2 : 0
29.35/13.85	c (3,0) c ForcedImports_3 : 0
29.35/13.85	c (3,0) c ForcedImports_4 : 0
29.35/13.85	c (3,0) c ForcedImports_5 : 0
29.35/13.85	c (3,0) c ForcedImports_6 : 0
29.35/13.85	c (3,0) c ForcedImports_7 : 0
29.35/13.85	c (3,0) c ForcedImports_total : 0
29.35/13.85	c (3,0) c ForcedImports_winner : 0
29.35/13.85	c (3,0) c PropsBinClauses_0 : 1531536
29.35/13.85	c (3,0) c PropsBinClauses_1 : 1406421
29.35/13.85	c (3,0) c PropsBinClauses_2 : 1605513
29.35/13.85	c (3,0) c PropsBinClauses_3 : 1324370
29.35/13.85	c (3,0) c PropsBinClauses_4 : 1458124
29.35/13.85	c (3,0) c PropsBinClauses_5 : 1416559
29.35/13.85	c (3,0) c PropsBinClauses_6 : 1561465
29.35/13.85	c (3,0) c PropsBinClauses_7 : 1437954
29.35/13.85	c (3,0) c PropsBinClauses_total : 11741942
29.35/13.85	c (3,0) c PropsBinClauses_winner : 1406421
29.35/13.85	c (3,0) c PropsPreBlocker_0 : 16040065
29.35/13.85	c (3,0) c PropsPreBlocker_1 : 11155620
29.35/13.85	c (3,0) c PropsPreBlocker_2 : 13433228
29.35/13.85	c (3,0) c PropsPreBlocker_3 : 14206728
29.35/13.85	c (3,0) c PropsPreBlocker_4 : 13236074
29.35/13.85	c (3,0) c PropsPreBlocker_5 : 11817716
29.35/13.85	c (3,0) c PropsPreBlocker_6 : 12355153
29.35/13.85	c (3,0) c PropsPreBlocker_7 : 14422536
29.35/13.85	c (3,0) c PropsPreBlocker_total : 106667120
29.35/13.85	c (3,0) c PropsPreBlocker_winner : 11155620
29.35/13.85	c (3,0) c PropsNotBlocker_0 : 6281311
29.35/13.85	c (3,0) c PropsNotBlocker_1 : 5254089
29.35/13.85	c (3,0) c PropsNotBlocker_2 : 6032246
29.35/13.85	c (3,0) c PropsNotBlocker_3 : 5739031
29.35/13.85	c (3,0) c PropsNotBlocker_4 : 5574111
29.35/13.85	c (3,0) c PropsNotBlocker_5 : 5247446
29.35/13.85	c (3,0) c PropsNotBlocker_6 : 5135341
29.35/13.85	c (3,0) c PropsNotBlocker_7 : 5616135
29.35/13.85	c (3,0) c PropsNotBlocker_total : 44879710
29.35/13.85	c (3,0) c PropsNotBlocker_winner : 5254089
29.35/13.85	c (3,0) c PropsLitFullScans_0 : 33995624
29.35/13.85	c (3,0) c PropsLitFullScans_1 : 25565268
29.35/13.85	c (3,0) c PropsLitFullScans_2 : 30003389
29.35/13.85	c (3,0) c PropsLitFullScans_3 : 30002100
29.35/13.85	c (3,0) c PropsLitFullScans_4 : 28380352
29.35/13.85	c (3,0) c PropsLitFullScans_5 : 26277740
29.35/13.85	c (3,0) c PropsLitFullScans_6 : 27599312
29.35/13.85	c (3,0) c PropsLitFullScans_7 : 30000537
29.35/13.85	c (3,0) c PropsLitFullScans_total : 231824322
29.35/13.85	c (3,0) c PropsLitFullScans_winner : 25565268
29.35/13.85	c (3,0) c LitScanFractions_0 : 827
29.35/13.85	c (3,0) c LitScanFractions_1 : 175
29.35/13.85	c (3,0) c LitScanFractions_2 : 307
29.35/13.85	c (3,0) c LitScanFractions_3 : 378
29.35/13.85	c (3,0) c LitScanFractions_4 : 292
29.35/13.85	c (3,0) c LitScanFractions_5 : 245
29.35/13.85	c (3,0) c LitScanFractions_6 : 166
29.35/13.85	c (3,0) c LitScanFractions_7 : 168
29.35/13.85	c (3,0) c LitScanFractions_total : 2558
29.35/13.85	c (3,0) c LitScanFractions_winner : 175
29.35/13.85	c (3,0) c DecisionLevel0_0 : 37
29.35/13.85	c (3,0) c DecisionLevel0_1 : 22
29.35/13.85	c (3,0) c DecisionLevel0_2 : 15
29.35/13.85	c (3,0) c DecisionLevel0_3 : 19
29.35/13.85	c (3,0) c DecisionLevel0_4 : 29
29.35/13.85	c (3,0) c DecisionLevel0_5 : 25
29.35/13.85	c (3,0) c DecisionLevel0_6 : 13
29.35/13.85	c (3,0) c DecisionLevel0_7 : 15
29.35/13.85	c (3,0) c DecisionLevel0_total : 175
29.35/13.85	c (3,0) c DecisionLevel0_winner : 22
29.35/13.85	c (3,0) c Periods_0 : 5
29.35/13.85	c (3,0) c Periods_1 : 4
29.35/13.85	c (3,0) c Periods_2 : 5
29.35/13.85	c (3,0) c Periods_3 : 5
29.35/13.85	c (3,0) c Periods_4 : 4
29.35/13.85	c (3,0) c Periods_5 : 4
29.35/13.85	c (3,0) c Periods_6 : 4
29.35/13.85	c (3,0) c Periods_7 : 5
29.35/13.85	c (3,0) c Periods_total : 36
29.35/13.85	c (3,0) c Periods_winner : 4
29.35/13.85	c (3,0) c Margin_0 : 20
29.35/13.85	c (3,0) c Margin_1 : 20
29.35/13.85	c (3,0) c Margin_2 : 20
29.35/13.86	c (3,0) c Margin_3 : 20
29.35/13.86	c (3,0) c Margin_4 : 20
29.35/13.86	c (3,0) c Margin_5 : 20
29.35/13.86	c (3,0) c Margin_6 : 20
29.35/13.86	c (3,0) c Margin_7 : 20
29.35/13.86	c (3,0) c Margin_total : 160
29.35/13.86	c (3,0) c Margin_winner : 20
29.35/13.86	c (3,0) c Exported_0 : 3405
29.35/13.86	c (3,0) c Exported_1 : 3704
29.35/13.86	c (3,0) c Exported_2 : 3936
29.35/13.86	c (3,0) c Exported_3 : 3416
29.35/13.86	c (3,0) c Exported_4 : 2191
29.35/13.86	c (3,0) c Exported_5 : 2976
29.35/13.86	c (3,0) c Exported_6 : 2962
29.35/13.86	c (3,0) c Exported_7 : 2868
29.35/13.86	c (3,0) c Exported_total : 25458
29.35/13.86	c (3,0) c Exported_winner : 3704
29.35/13.86	c (3,0) c Imported_0 : 0
29.35/13.86	c (3,0) c Imported_1 : 0
29.35/13.86	c (3,0) c Imported_2 : 0
29.35/13.86	c (3,0) c Imported_3 : 0
29.35/13.86	c (3,0) c Imported_4 : 0
29.35/13.86	c (3,0) c Imported_5 : 0
29.35/13.86	c (3,0) c Imported_6 : 0
29.35/13.86	c (3,0) c Imported_7 : 0
29.35/13.86	c (3,0) c Imported_total : 0
29.35/13.86	c (3,0) c Imported_winner : 0
29.35/13.86	c (3,0) c Good_0 : 0
29.35/13.86	c (3,0) c Good_1 : 0
29.35/13.86	c (3,0) c Good_2 : 0
29.35/13.86	c (3,0) c Good_3 : 0
29.35/13.86	c (3,0) c Good_4 : 0
29.35/13.86	c (3,0) c Good_5 : 0
29.35/13.86	c (3,0) c Good_6 : 0
29.35/13.86	c (3,0) c Good_7 : 0
29.35/13.86	c (3,0) c Good_total : 0
29.35/13.86	c (3,0) c Good_winner : 0
29.35/13.86	c (3,0) c Purge_0 : 0
29.35/13.86	c (3,0) c Purge_1 : 0
29.35/13.86	c (3,0) c Purge_2 : 0
29.35/13.86	c (3,0) c Purge_3 : 0
29.35/13.86	c (3,0) c Purge_4 : 0
29.35/13.86	c (3,0) c Purge_5 : 0
29.35/13.86	c (3,0) c Purge_6 : 0
29.35/13.86	c (3,0) c Purge_7 : 0
29.35/13.86	c (3,0) c Purge_total : 0
29.35/13.86	c (3,0) c Purge_winner : 0
29.35/13.86	c (3,0) c Promoted_0 : 0
29.35/13.86	c (3,0) c Promoted_1 : 0
29.35/13.86	c (3,0) c Promoted_2 : 0
29.35/13.86	c (3,0) c Promoted_3 : 0
29.35/13.86	c (3,0) c Promoted_4 : 0
29.35/13.86	c (3,0) c Promoted_5 : 0
29.35/13.86	c (3,0) c Promoted_6 : 0
29.35/13.86	c (3,0) c Promoted_7 : 0
29.35/13.86	c (3,0) c Promoted_total : 0
29.35/13.86	c (3,0) c Promoted_winner : 0
29.35/13.86	c (3,0) c Remove_Imp_0 : 0
29.35/13.86	c (3,0) c Remove_Imp_1 : 0
29.35/13.86	c (3,0) c Remove_Imp_2 : 0
29.35/13.86	c (3,0) c Remove_Imp_3 : 0
29.35/13.86	c (3,0) c Remove_Imp_4 : 0
29.35/13.86	c (3,0) c Remove_Imp_5 : 0
29.35/13.86	c (3,0) c Remove_Imp_6 : 0
29.35/13.86	c (3,0) c Remove_Imp_7 : 0
29.35/13.86	c (3,0) c Remove_Imp_total : 0
29.35/13.86	c (3,0) c Remove_Imp_winner : 0
29.35/13.86	c (3,0) c Blocked_Reuse_0 : 0
29.35/13.86	c (3,0) c Blocked_Reuse_1 : 0
29.35/13.86	c (3,0) c Blocked_Reuse_2 : 0
29.35/13.86	c (3,0) c Blocked_Reuse_3 : 0
29.35/13.86	c (3,0) c Blocked_Reuse_4 : 0
29.35/13.86	c (3,0) c Blocked_Reuse_5 : 0
29.35/13.86	c (3,0) c Blocked_Reuse_6 : 0
29.35/13.86	c (3,0) c Blocked_Reuse_7 : 0
29.35/13.86	c (3,0) c Blocked_Reuse_total : 0
29.35/13.86	c (3,0) c Blocked_Reuse_winner : 0
29.35/13.86	c (3,0) c Unaries_0 : 17
29.35/13.86	c (3,0) c Unaries_1 : 11
29.35/13.86	c (3,0) c Unaries_2 : 6
29.35/13.86	c (3,0) c Unaries_3 : 1
29.35/13.86	c (3,0) c Unaries_4 : 3
29.35/13.86	c (3,0) c Unaries_5 : 4
29.35/13.86	c (3,0) c Unaries_6 : 4
29.35/13.86	c (3,0) c Unaries_7 : 2
29.35/13.86	c (3,0) c Unaries_total : 48
29.35/13.86	c (3,0) c Unaries_winner : 11
29.35/13.86	c (3,0) c Binaries_0 : 87
29.35/13.86	c (3,0) c Binaries_1 : 85
29.35/13.86	c (3,0) c Binaries_2 : 27
29.35/13.86	c (3,0) c Binaries_3 : 26
29.35/13.86	c (3,0) c Binaries_4 : 24
29.35/13.86	c (3,0) c Binaries_5 : 31
29.35/13.86	c (3,0) c Binaries_6 : 29
29.35/13.86	c (3,0) c Binaries_7 : 21
29.35/13.86	c (3,0) c Binaries_total : 330
29.35/13.86	c (3,0) c Binaries_winner : 85
29.35/13.86	c (3,0) c Glues_0 : 268
29.35/13.86	c (3,0) c Glues_1 : 226
29.35/13.86	c (3,0) c Glues_2 : 133
29.35/13.86	c (3,0) c Glues_3 : 116
29.35/13.86	c (3,0) c Glues_4 : 92
29.35/13.86	c (3,0) c Glues_5 : 135
29.35/13.86	c (3,0) c Glues_6 : 125
29.35/13.86	c (3,0) c Glues_7 : 119
29.35/13.86	c (3,0) c Glues_total : 1214
29.35/13.86	c (3,0) c Glues_winner : 226
29.35/13.86	c (3,0) c RunningTime_0 : 0.517135
29.35/13.86	c (3,0) c RunningTime_1 : 0.501084
29.35/13.86	c (3,0) c RunningTime_2 : 0.545934
29.35/13.86	c (3,0) c RunningTime_3 : 0.540574
29.35/13.86	c (3,0) c RunningTime_4 : 0.525739
29.35/13.86	c (3,0) c RunningTime_5 : 0.510654
29.35/13.86	c (3,0) c RunningTime_6 : 0.522917
29.35/13.86	c (3,0) c RunningTime_7 : 0.512955
29.35/13.86	c (3,0) c RunningTime_total : 4.176992
29.35/13.86	c (3,0) c RunningTime_winner : 0.501084
29.35/13.86	c (3,0) c WaitingTime_0 : 0.000000
29.35/13.86	c (3,0) c WaitingTime_1 : 0.000000
29.35/13.86	c (3,0) c WaitingTime_2 : 0.000000
29.35/13.86	c (3,0) c WaitingTime_3 : 0.000000
29.35/13.86	c (3,0) c WaitingTime_4 : 0.000000
29.35/13.86	c (3,0) c WaitingTime_5 : 0.000000
29.35/13.86	c (3,0) c WaitingTime_6 : 0.000000
29.35/13.86	c (3,0) c WaitingTime_7 : 0.000000
29.35/13.86	c (3,0) c WaitingTime_total : 0.000000
29.35/13.86	c (3,0) c WaitingTime_winner : 0.000000
29.35/13.86	c (3,0) c ExchangingTime_0 : 0.000886
29.35/13.86	c (3,0) c ExchangingTime_1 : 0.000734
29.35/13.86	c (3,0) c ExchangingTime_2 : 0.000782
29.35/13.86	c (3,0) c ExchangingTime_3 : 0.000795
29.35/13.86	c (3,0) c ExchangingTime_4 : 0.000643
29.35/13.86	c (3,0) c ExchangingTime_5 : 0.000664
29.35/13.86	c (3,0) c ExchangingTime_6 : 0.000710
29.35/13.86	c (3,0) c ExchangingTime_7 : 0.000696
29.35/13.86	c (3,0) c ExchangingTime_total : 0.005909
29.35/13.86	c (3,0) c ExchangingTime_winner : 0.000734
29.35/13.86	c (3,0) c PeriodProcTime_0 : 0.000041
29.35/13.86	c (3,0) c PeriodProcTime_1 : 0.000015
29.35/13.86	c (3,0) c PeriodProcTime_2 : 0.000021
29.35/13.86	c (3,0) c PeriodProcTime_3 : 0.000024
29.35/13.86	c (3,0) c PeriodProcTime_4 : 0.000016
29.35/13.86	c (3,0) c PeriodProcTime_5 : 0.000016
29.35/13.86	c (3,0) c PeriodProcTime_6 : 0.000019
29.35/13.86	c (3,0) c PeriodProcTime_7 : 0.000035
29.35/13.86	c (3,0) c PeriodProcTime_total : 0.000188
29.35/13.86	c (3,0) c PeriodProcTime_winner : 0.000015
29.35/13.86	c (3,0) c SolvingTime_0 : 0.518062
29.35/13.86	c (3,0) c SolvingTime_1 : 0.501832
29.35/13.86	c (3,0) c SolvingTime_2 : 0.546737
29.35/13.86	c (3,0) c SolvingTime_3 : 0.541393
29.35/13.86	c (3,0) c SolvingTime_4 : 0.526397
29.35/13.86	c (3,0) c SolvingTime_5 : 0.511334
29.35/13.86	c (3,0) c SolvingTime_6 : 0.523646
29.35/13.86	c (3,0) c SolvingTime_7 : 0.513687
29.35/13.86	c (3,0) c SolvingTime_total : 4.183088
29.35/13.86	c (3,0) c SolvingTime_winner : 0.501832
29.35/13.86	c (3,0) c PropagationTime_0 : 0.390996
29.35/13.86	c (3,0) c PropagationTime_1 : 0.393819
29.35/13.86	c (3,0) c PropagationTime_2 : 0.434685
29.35/13.86	c (3,0) c PropagationTime_3 : 0.424399
29.35/13.86	c (3,0) c PropagationTime_4 : 0.422193
29.35/13.86	c (3,0) c PropagationTime_5 : 0.409766
29.35/13.86	c (3,0) c PropagationTime_6 : 0.404700
29.35/13.86	c (3,0) c PropagationTime_7 : 0.409197
29.35/13.86	c (3,0) c PropagationTime_total : 3.289754
29.35/13.86	c (3,0) c PropagationTime_winner : 0.393819
29.35/13.86	c (3,0) c AnalysisTime_0 : 0.095909
29.35/13.86	c (3,0) c AnalysisTime_1 : 0.079370
29.35/13.86	c (3,0) c AnalysisTime_2 : 0.081703
29.35/13.86	c (3,0) c AnalysisTime_3 : 0.088072
29.35/13.86	c (3,0) c AnalysisTime_4 : 0.078128
29.35/13.86	c (3,0) c AnalysisTime_5 : 0.073344
29.35/13.86	c (3,0) c AnalysisTime_6 : 0.088761
29.35/13.86	c (3,0) c AnalysisTime_7 : 0.076533
29.35/13.86	c (3,0) c AnalysisTime_total : 0.661821
29.35/13.86	c (3,0) c AnalysisTime_winner : 0.079370
29.35/13.86	c (3,0) c ReductionTime_0 : 0.003072
29.35/13.86	c (3,0) c ReductionTime_1 : 0.002946
29.35/13.86	c (3,0) c ReductionTime_2 : 0.002987
29.35/13.86	c (3,0) c ReductionTime_3 : 0.003049
29.35/13.86	c (3,0) c ReductionTime_4 : 0.001234
29.35/13.86	c (3,0) c ReductionTime_5 : 0.003075
29.35/13.86	c (3,0) c ReductionTime_6 : 0.003139
29.35/13.86	c (3,0) c ReductionTime_7 : 0.002994
29.35/13.86	c (3,0) c ReductionTime_total : 0.022496
29.35/13.86	c (3,0) c ReductionTime_winner : 0.002946
29.35/13.86	c (3,0) c SimplifyTime_0 : 0.000001
29.35/13.86	c (3,0) c SimplifyTime_1 : 0.000001
29.35/13.86	c (3,0) c SimplifyTime_2 : 0.000000
29.35/13.86	c (3,0) c SimplifyTime_3 : 0.000001
29.35/13.86	c (3,0) c SimplifyTime_4 : 0.000001
29.35/13.86	c (3,0) c SimplifyTime_5 : 0.000002
29.35/13.86	c (3,0) c SimplifyTime_6 : 0.000001
29.35/13.86	c (3,0) c SimplifyTime_7 : 0.000002
29.35/13.86	c (3,0) c SimplifyTime_total : 0.000009
29.35/13.86	c (3,0) c SimplifyTime_winner : 0.000001
29.35/13.86	c (3,0) c UsedRateTime_0 : 0.000000
29.35/13.86	c (3,0) c UsedRateTime_1 : 0.000000
29.35/13.86	c (3,0) c UsedRateTime_2 : 0.000000
29.35/13.86	c (3,0) c UsedRateTime_3 : 0.000000
29.35/13.86	c (3,0) c UsedRateTime_4 : 0.000000
29.35/13.86	c (3,0) c UsedRateTime_5 : 0.000000
29.35/13.86	c (3,0) c UsedRateTime_6 : 0.000000
29.35/13.86	c (3,0) c UsedRateTime_7 : 0.000000
29.35/13.86	c (3,0) c UsedRateTime_total : 0.000000
29.35/13.86	c (3,0) c UsedRateTime_winner : 0.000000
29.35/13.86	c (3,0) c OverlapRateTime_0 : 0.000000
29.35/13.86	c (3,0) c OverlapRateTime_1 : 0.000000
29.35/13.86	c (3,0) c OverlapRateTime_2 : 0.000000
29.35/13.86	c (3,0) c OverlapRateTime_3 : 0.000000
29.35/13.86	c (3,0) c OverlapRateTime_4 : 0.000000
29.35/13.86	c (3,0) c OverlapRateTime_5 : 0.000000
29.35/13.86	c (3,0) c OverlapRateTime_6 : 0.000000
29.35/13.86	c (3,0) c OverlapRateTime_7 : 0.000000
29.35/13.86	c (3,0) c OverlapRateTime_total : 0.000000
29.35/13.86	c (3,0) c OverlapRateTime_winner : 0.000000
29.35/13.86	c (3,0) c
29.35/13.86	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
29.35/13.86	c (3,0) c
29.35/13.86	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.86	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
29.35/13.86	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.86	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
29.35/13.86	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
29.35/13.86	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
29.35/13.86	c (3,0) c | Initial random_seed   | 1919970710 |  889342921 | 1708491900 |    3205923 |  641565811 |  787499845 | 1829446925 | 1979756303 |
29.35/13.86	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
29.35/13.86	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
29.35/13.86	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
29.35/13.86	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
29.35/13.86	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
29.35/13.86	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
29.35/13.86	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
29.35/13.86	c (3,0) c | var_decay             |     0.8300 |     0.8200 |     0.8300 |     0.8300 |     0.8200 |     0.8200 |     0.8200 |     0.8300 |
29.35/13.86	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
29.35/13.86	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
29.35/13.86	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
29.35/13.86	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
29.35/13.86	c (3,0) 
29.35/13.86	c (3,0) s UNSATISFIABLE
29.35/13.88	c (3,0) SatSolver.solve End
29.35/13.88	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
29.35/13.88	c (3,0) Show results Begin
29.35/13.88	s UNSATISFIABLE
29.35/13.88	c (3,0) Show results End
29.35/13.88	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
29.35/13.88	c (3,0) 3,3,STOP-AFTER(ALL)
29.35/13.88	c END-Prog: Mon Sep 23 13:36:57 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 (11880 MiB free)
  memory of node 1: 16384 MiB (9786 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405534-1569238644/watcher-4405534-1569238644 -o /var/tmp/evaluation-result-4405534-1569238644/solver-4405534-1569238644 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569238586-9255 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405534-1569238644.xml 

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

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


[startup+0.100107 s]*
/proc/loadavg: 0.30 0.08 0.07 2/211 9381
/proc/meminfo: memFree=22090564/32770624 swapFree=67002260/67108860
[pid=9359] ppid=9356 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9359/stat : 9359 (scop.sh) S 9356 9359 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499778348 115843072 349 33554432000 4194304 5098028 140731310517264 140731310514520 140611272946300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20242432 140731310523132 140731310523480 140731310523480 140731310526409 0
/proc/9359/statm: 28282 349 297 221 0 87 0
[pid=9362] ppid=9359 vsize=27314120 memory=107380 CPUtime=0.09 cores=0-7
/proc/9362/stat : 9362 (java) S 9359 9359 9228 0 -1 1077944320 6428 0 0 0 6 3 0 0 20 0 20 0 499778348 27969658880 26845 33554432000 4194304 4196468 140721159508512 140721159491056 140153168875255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
/proc/9362/statm: 6828530 26845 2770 1 0 6790935 0
[pid=9362/tid=9363] ppid=9359 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/9362/task/9363/stat : 9363 (java) R 9359 9359 9228 0 -1 4202560 4545 0 0 0 5 3 0 0 20 0 20 0 499778349 27969658880 26845 33554432000 4194304 4196468 140721159508512 140153140701584 140153152918885 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9364] ppid=9359 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9362/task/9364/stat : 9364 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 26845 33554432000 4194304 4196468 140721159508512 140153173117840 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9365] ppid=9359 vsize=27314120 memory=139874172679808 CPUtime=0 cores=0-7
/proc/9362/task/9365/stat : 9365 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 26845 33554432000 4194304 4196468 140721159508512 140152987274000 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9366] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9366/stat : 9366 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 26845 33554432000 4194304 4196468 140721159508512 140152986221712 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9367] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9367/stat : 9367 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 26845 33554432000 4194304 4196468 140721159508512 140152985168912 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9368] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9368/stat : 9368 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 26845 33554432000 4194304 4196468 140721159508512 140152984115600 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9369] ppid=9359 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9362/task/9369/stat : 9369 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 26845 33554432000 4194304 4196468 140721159508512 140152983062800 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9370] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9370/stat : 9370 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 26845 33554432000 4194304 4196468 140721159508512 140152982010512 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9371] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9371/stat : 9371 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 26845 33554432000 4194304 4196468 140721159508512 140152980957712 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9372] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9372/stat : 9372 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778353 27969658880 26845 33554432000 4194304 4196468 140721159508512 140151220050544 140153168886402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9373] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9373/stat : 9373 (java) S 9359 9359 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499778354 27969658880 26845 33554432000 4194304 4196468 140721159508512 140151091094816 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9374] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9374/stat : 9374 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778354 27969658880 26845 33554432000 4194304 4196468 140721159508512 140150822659696 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9375] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9375/stat : 9375 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 26845 33554432000 4194304 4196468 140721159508512 140150448151120 140153168893851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9376] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9376/stat : 9376 (java) S 9359 9359 9228 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 26845 33554432000 4194304 4196468 140721159508512 140151218997360 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9377] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9377/stat : 9377 (java) S 9359 9359 9228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 26845 33554432000 4194304 4196468 140721159508512 140151217944560 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9378] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9378/stat : 9378 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 26845 33554432000 4194304 4196468 140721159508512 140151216892272 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9379] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9379/stat : 9379 (java) S 9359 9359 9228 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 26845 33554432000 4194304 4196468 140721159508512 140151215839472 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9380] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9380/stat : 9380 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 26845 33554432000 4194304 4196468 140721159508512 140149950245728 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9381] ppid=9359 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9362/task/9381/stat : 9381 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778357 27969658880 26845 33554432000 4194304 4196468 140721159508512 140151214787376 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108776 KiB

[startup+0.210129 s]*
/proc/loadavg: 0.30 0.08 0.07 3/211 9381
/proc/meminfo: memFree=22069748/32770624 swapFree=67002260/67108860
[pid=9359] ppid=9356 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9359/stat : 9359 (scop.sh) S 9356 9359 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499778348 115843072 349 33554432000 4194304 5098028 140731310517264 140731310514520 140611272946300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20242432 140731310523132 140731310523480 140731310523480 140731310526409 0
/proc/9359/statm: 28282 349 297 221 0 87 0
[pid=9362] ppid=9359 vsize=27314120 memory=126936 CPUtime=0.24 cores=0-7
/proc/9362/stat : 9362 (java) S 9359 9359 9228 0 -1 1077944320 11958 0 0 0 19 5 0 0 20 0 20 0 499778348 27969658880 31734 33554432000 4194304 4196468 140721159508512 140721159491056 140153168875255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
/proc/9362/statm: 6828530 31734 2970 1 0 6790935 0
[pid=9362/tid=9363] ppid=9359 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9362/task/9363/stat : 9363 (java) R 9359 9359 9228 0 -1 4202560 9685 0 0 0 15 4 0 0 20 0 20 0 499778349 27969658880 31734 33554432000 4194304 4196468 140721159508512 140153140696336 140153152955742 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9364] ppid=9359 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/9362/task/9364/stat : 9364 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 31734 33554432000 4194304 4196468 140721159508512 140153173117840 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9365] ppid=9359 vsize=27314120 memory=139874172692679 CPUtime=0 cores=0-7
/proc/9362/task/9365/stat : 9365 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 31734 33554432000 4194304 4196468 140721159508512 140152987274000 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9366] ppid=9359 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9362/task/9366/stat : 9366 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 31734 33554432000 4194304 4196468 140721159508512 140152986221712 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9367] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9367/stat : 9367 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 31734 33554432000 4194304 4196468 140721159508512 140152985168912 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9368] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9368/stat : 9368 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 31734 33554432000 4194304 4196468 140721159508512 140152984115600 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9369] ppid=9359 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9362/task/9369/stat : 9369 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 31734 33554432000 4194304 4196468 140721159508512 140152983062800 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9370] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9370/stat : 9370 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 31734 33554432000 4194304 4196468 140721159508512 140152982010512 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9371] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9371/stat : 9371 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 31734 33554432000 4194304 4196468 140721159508512 140152980957712 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9372] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9372/stat : 9372 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778353 27969658880 31734 33554432000 4194304 4196468 140721159508512 140151220050544 140153168886402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9373] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9373/stat : 9373 (java) S 9359 9359 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499778354 27969658880 31734 33554432000 4194304 4196468 140721159508512 140151091094816 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9374] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9374/stat : 9374 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778354 27969658880 31734 33554432000 4194304 4196468 140721159508512 140150822659696 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9375] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9375/stat : 9375 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 31734 33554432000 4194304 4196468 140721159508512 140150448151120 140153168893851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9376] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9376/stat : 9376 (java) S 9359 9359 9228 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 31734 33554432000 4194304 4196468 140721159508512 140151218997360 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9377] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9377/stat : 9377 (java) S 9359 9359 9228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 31734 33554432000 4194304 4196468 140721159508512 140151217944560 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9378] ppid=9359 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9362/task/9378/stat : 9378 (java) S 9359 9359 9228 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 31734 33554432000 4194304 4196468 140721159508512 140151216892272 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9379] ppid=9359 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9362/task/9379/stat : 9379 (java) S 9359 9359 9228 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 20 0 499778356 27969658880 31734 33554432000 4194304 4196468 140721159508512 140151215839472 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9380] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9380/stat : 9380 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 31734 33554432000 4194304 4196468 140721159508512 140149950245728 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9381] ppid=9359 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9362/task/9381/stat : 9381 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778357 27969658880 31734 33554432000 4194304 4196468 140721159508512 140151214787376 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128332 KiB

[startup+0.309756 s]*
/proc/loadavg: 0.30 0.08 0.07 2/211 9381
/proc/meminfo: memFree=22067080/32770624 swapFree=67002260/67108860
[pid=9359] ppid=9356 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9359/stat : 9359 (scop.sh) S 9356 9359 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499778348 115843072 349 33554432000 4194304 5098028 140731310517264 140731310514520 140611272946300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20242432 140731310523132 140731310523480 140731310523480 140731310526409 0
/proc/9359/statm: 28282 349 297 221 0 87 0
[pid=9362] ppid=9359 vsize=27314120 memory=130352 CPUtime=0.41 cores=0-7
/proc/9362/stat : 9362 (java) S 9359 9359 9228 0 -1 1077944320 12940 0 0 0 36 5 0 0 20 0 20 0 499778348 27969658880 32588 33554432000 4194304 4196468 140721159508512 140721159491056 140153168875255 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
/proc/9362/statm: 6828530 32588 3019 1 0 6790935 0
[pid=9362/tid=9363] ppid=9359 vsize=27314120 memory=1398722017469774279 CPUtime=0.28 cores=0-7
/proc/9362/task/9363/stat : 9363 (java) R 9359 9359 9228 0 -1 4202560 10484 0 0 0 24 4 0 0 20 0 20 0 499778349 27969658880 32588 33554432000 4194304 4196468 140721159508512 140153140705328 140153154040808 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9364] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9364/stat : 9364 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 32588 33554432000 4194304 4196468 140721159508512 140153173117840 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9365] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9365/stat : 9365 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 32588 33554432000 4194304 4196468 140721159508512 140152987274000 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9366] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9366/stat : 9366 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 32588 33554432000 4194304 4196468 140721159508512 140152986221712 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9367] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9367/stat : 9367 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 32588 33554432000 4194304 4196468 140721159508512 140152985168912 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9368] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9368/stat : 9368 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 32588 33554432000 4194304 4196468 140721159508512 140152984115600 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9369] ppid=9359 vsize=27314120 memory=139874065803951 CPUtime=0 cores=0-7
/proc/9362/task/9369/stat : 9369 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 32588 33554432000 4194304 4196468 140721159508512 140152983062800 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9370] ppid=9359 vsize=27314120 memory=139874065806256 CPUtime=0 cores=0-7
/proc/9362/task/9370/stat : 9370 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 32588 33554432000 4194304 4196468 140721159508512 140152982010512 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9371] ppid=9359 vsize=27314120 memory=139874065808560 CPUtime=0 cores=0-7
/proc/9362/task/9371/stat : 9371 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27969658880 32588 33554432000 4194304 4196468 140721159508512 140152980957712 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9372] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9372/stat : 9372 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499778353 27969658880 32588 33554432000 4194304 4196468 140721159508512 140151220050544 140153168886402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9373] ppid=9359 vsize=27314120 memory=279748131630992 CPUtime=0 cores=0-7
/proc/9362/task/9373/stat : 9373 (java) S 9359 9359 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499778354 27969658880 32588 33554432000 4194304 4196468 140721159508512 140151091094816 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9374] ppid=9359 vsize=27314120 memory=279748131628688 CPUtime=0 cores=0-7
/proc/9362/task/9374/stat : 9374 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778354 27969658880 32588 33554432000 4194304 4196468 140721159508512 140150822659696 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9375] ppid=9359 vsize=27314120 memory=279748131635600 CPUtime=0 cores=0-7
/proc/9362/task/9375/stat : 9375 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 32588 33554432000 4194304 4196468 140721159508512 140150448151120 140153168893851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9376] ppid=9359 vsize=27314120 memory=279748131576880 CPUtime=0.01 cores=0-7
/proc/9362/task/9376/stat : 9376 (java) S 9359 9359 9228 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 499778356 27969658880 32588 33554432000 4194304 4196468 140721159508512 140151218997360 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9377] ppid=9359 vsize=27314120 memory=279748131649424 CPUtime=0.01 cores=0-7
/proc/9362/task/9377/stat : 9377 (java) S 9359 9359 9228 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 499778356 27969658880 32588 33554432000 4194304 4196468 140721159508512 140151217944560 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9378] ppid=9359 vsize=27314120 memory=279748131656336 CPUtime=0.01 cores=0-7
/proc/9362/task/9378/stat : 9378 (java) S 9359 9359 9228 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 20 0 499778356 27969658880 32588 33554432000 4194304 4196468 140721159508512 140151216892272 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9379] ppid=9359 vsize=27314120 memory=279748131654032 CPUtime=0.07 cores=0-7
/proc/9362/task/9379/stat : 9379 (java) S 9359 9359 9228 0 -1 1077944384 474 0 0 0 7 0 0 0 20 0 20 0 499778356 27969658880 32588 33554432000 4194304 4196468 140721159508512 140151215839472 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9380] ppid=9359 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9380/stat : 9380 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499778356 27969658880 32588 33554432000 4194304 4196468 140721159508512 140149950245728 140153168885461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9381] ppid=9359 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9362/task/9381/stat : 9381 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778357 27969658880 32588 33554432000 4194304 4196468 140721159508512 140151214787376 140153168886402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131748 KiB

[startup+0.700999 s]
/proc/loadavg: 0.30 0.08 0.07 2/211 9381
/proc/meminfo: memFree=22045004/32770624 swapFree=67002260/67108860
[pid=9359] ppid=9356 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9359/stat : 9359 (scop.sh) S 9356 9359 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499778348 115843072 349 33554432000 4194304 5098028 140731310517264 140731310514520 140611272946300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20242432 140731310523132 140731310523480 140731310523480 140731310526409 0
/proc/9359/statm: 28282 349 297 221 0 87 0
[pid=9362] ppid=9359 vsize=27320392 memory=164980 CPUtime=0.98 cores=0-7
/proc/9362/stat : 9362 (java) S 9359 9359 9228 0 -1 1077944320 19857 0 0 0 90 8 0 0 20 0 20 0 499778348 27976081408 41245 33554432000 4194304 4196468 140721159508512 140721159491056 140153168875255 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
/proc/9362/statm: 6830098 41245 3182 1 0 6791447 0
[pid=9362/tid=9363] ppid=9359 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/9362/task/9363/stat : 9363 (java) R 9359 9359 9228 0 -1 4202560 16909 0 0 0 61 6 0 0 20 0 20 0 499778349 27976081408 41245 33554432000 4194304 4196468 140721159508512 140153140713232 140152651416326 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9364] ppid=9359 vsize=27320392 memory=139874066015088 CPUtime=0 cores=0-7
/proc/9362/task/9364/stat : 9364 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27976081408 41245 33554432000 4194304 4196468 140721159508512 140153173117840 140153168885461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9365] ppid=9359 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9362/task/9365/stat : 9365 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27976081408 41245 33554432000 4194304 4196468 140721159508512 140152987274000 140153168885461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0
[pid=9362/tid=9366] ppid=9359 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/9362/task/9366/stat : 9366 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499778352 27976081408 41245 33554432000 4194304 4196468 140721159508512 140152986221712 140153168885461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34615296 140721159512775 140721159513222 140721159513222 140721159516111 0

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

[pid=9382/tid=9390] ppid=9359 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/9382/task/9390/stat : 9390 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419446484112 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9391] ppid=9359 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/9382/task/9391/stat : 9391 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419445431312 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9392] ppid=9359 vsize=8414124 memory=2648 CPUtime=0 cores=0-7
/proc/9382/task/9392/stat : 9392 (java) S 9359 9359 9228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 499779356 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419261134960 140419966331522 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9393] ppid=9359 vsize=8414124 memory=884 CPUtime=0 cores=0-7
/proc/9382/task/9393/stat : 9393 (java) S 9359 9359 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499779357 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418654135072 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9394] ppid=9359 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/9382/task/9394/stat : 9394 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779357 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418385699952 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9395] ppid=9359 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/9382/task/9395/stat : 9395 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418011191376 140419966338971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9396] ppid=9359 vsize=8414124 memory=1096 CPUtime=0.05 cores=0-7
/proc/9382/task/9396/stat : 9396 (java) S 9359 9359 9228 0 -1 1077944384 252 0 0 0 5 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419260082800 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9397] ppid=9359 vsize=8414124 memory=14008 CPUtime=0.08 cores=0-7
/proc/9382/task/9397/stat : 9397 (java) S 9359 9359 9228 0 -1 1077944384 653 0 0 0 8 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418519914992 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9398] ppid=9359 vsize=8414124 memory=2116 CPUtime=0.08 cores=0-7
/proc/9382/task/9398/stat : 9398 (java) S 9359 9359 9228 0 -1 1077944384 263 0 0 0 8 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418518862704 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9399] ppid=9359 vsize=8414124 memory=32852 CPUtime=0.21 cores=0-7
/proc/9382/task/9399/stat : 9399 (java) S 9359 9359 9228 0 -1 1077944384 580 0 0 0 21 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418517809904 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9400] ppid=9359 vsize=8414124 memory=12028 CPUtime=0 cores=0-7
/proc/9382/task/9400/stat : 9400 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140417513285984 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9401] ppid=9359 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/9382/task/9401/stat : 9401 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418516756784 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9403] ppid=9359 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/9382/task/9403/stat : 9403 (java) S 9359 9359 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499779429 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419258471744 140419966344985 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9405] ppid=9359 vsize=8414124 memory=3612088554801646417 CPUtime=0 cores=0-7
/proc/9382/task/9405/stat : 9405 (java) S 9359 9359 9228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499779429 8616062976 30117 33554432000 4194304 4196468 140735811479248 140416842186640 140419966342301 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9406] ppid=9359 vsize=8414124 memory=-4504271847523324239 CPUtime=0 cores=0-7
/proc/9382/task/9406/stat : 9406 (java) S 9359 9359 9228 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499779429 8616062976 30117 33554432000 4194304 4196468 140735811479248 140417110621968 140419966342301 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9407] ppid=9359 vsize=8414124 memory=9051283677730746851 CPUtime=0 cores=0-7
/proc/9382/task/9407/stat : 9407 (java) S 9359 9359 9228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 499779431 8616062976 30117 33554432000 4194304 4196468 140735811479248 140416573759280 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
Current children cumulated CPU time: 24.98 s
Current children cumulated vsize: 8681348 KiB
Current children cumulated memory: 253936 KiB

[startup+13.6013 s]
/proc/loadavg: 0.39 0.11 0.08 2/216 9407
/proc/meminfo: memFree=21901916/32770624 swapFree=67002260/67108860
[pid=9359] ppid=9356 vsize=113128 memory=1472 CPUtime=21.77 cores=0-7
/proc/9359/stat : 9359 (scop.sh) S 9356 9359 9228 0 -1 4202496 582 39049 0 0 0 0 2084 93 20 0 1 0 499778348 115843072 368 33554432000 4194304 5098028 140731310517264 140731310514008 140611272946300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20242432 140731310523132 140731310523480 140731310523480 140731310526409 0
/proc/9359/statm: 28282 368 311 221 0 87 0
[pid=9382] ppid=9359 vsize=8414124 memory=120468 CPUtime=1.24 cores=0-7
/proc/9382/stat : 9382 (java) S 9359 9359 9228 0 -1 1077944320 21105 0 0 0 116 8 0 0 20 0 24 0 499779353 8616062976 30117 33554432000 4194304 4196468 140735811479248 140735811461792 140419966320375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
/proc/9382/statm: 2103531 30117 3207 1 0 2064875 0
[pid=9402] ppid=9382 vsize=1370892 memory=776988 CPUtime=4.74 cores=0-7
/proc/9402/stat : 9402 (manyglucose-4.1) S 9382 9359 9228 0 -1 1077944320 124794 0 0 0 429 45 0 0 20 0 9 0 499779429 1403793408 194247 33554432000 4194304 4454172 140723407637648 140723407636048 139762841524866 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 30257152 140723407639374 140723407639580 140723407639580 140723407642550 0
/proc/9402/statm: 342723 194247 407 64 0 338391 0
[pid=9382/tid=9383] ppid=9359 vsize=8414124 memory=-4075877051373423742 CPUtime=0.78 cores=0-7
/proc/9382/task/9383/stat : 9383 (java) S 9359 9359 9228 0 -1 1077944384 17961 0 0 0 72 6 0 0 20 0 24 0 499779354 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419938160544 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9384] ppid=9359 vsize=8414124 memory=60068 CPUtime=0 cores=0-7
/proc/9382/task/9384/stat : 9384 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419970562448 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9385] ppid=9359 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/9382/task/9385/stat : 9385 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419451746576 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9386] ppid=9359 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/9382/task/9386/stat : 9386 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419450694288 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9387] ppid=9359 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/9382/task/9387/stat : 9387 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419449641488 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9388] ppid=9359 vsize=8414124 memory=123 CPUtime=0 cores=0-7
/proc/9382/task/9388/stat : 9388 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419448589200 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9389] ppid=9359 vsize=8414124 memory=158 CPUtime=0 cores=0-7
/proc/9382/task/9389/stat : 9389 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419447536400 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9390] ppid=9359 vsize=8414124 memory=78 CPUtime=0 cores=0-7
/proc/9382/task/9390/stat : 9390 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419446484112 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9391] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9391/stat : 9391 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419445431312 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9392] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9392/stat : 9392 (java) S 9359 9359 9228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 499779356 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419261134960 140419966331522 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9393] ppid=9359 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/9382/task/9393/stat : 9393 (java) S 9359 9359 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499779357 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418654135072 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9394] ppid=9359 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/9382/task/9394/stat : 9394 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779357 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418385699952 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9395] ppid=9359 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/9382/task/9395/stat : 9395 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418011191376 140419966338971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9396] ppid=9359 vsize=8414124 memory=7548 CPUtime=0.05 cores=0-7
/proc/9382/task/9396/stat : 9396 (java) S 9359 9359 9228 0 -1 1077944384 252 0 0 0 5 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419260082800 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9397] ppid=9359 vsize=8414124 memory=2832 CPUtime=0.08 cores=0-7
/proc/9382/task/9397/stat : 9397 (java) S 9359 9359 9228 0 -1 1077944384 653 0 0 0 8 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418519914992 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9398] ppid=9359 vsize=8414124 memory=1224 CPUtime=0.08 cores=0-7
/proc/9382/task/9398/stat : 9398 (java) S 9359 9359 9228 0 -1 1077944384 263 0 0 0 8 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418518862704 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9399] ppid=9359 vsize=8414124 memory=6148 CPUtime=0.22 cores=0-7
/proc/9382/task/9399/stat : 9399 (java) S 9359 9359 9228 0 -1 1077944384 584 0 0 0 22 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418517809904 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9400] ppid=9359 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/9382/task/9400/stat : 9400 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140417513285984 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9401] ppid=9359 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/9382/task/9401/stat : 9401 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418516756784 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9403] ppid=9359 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/9382/task/9403/stat : 9403 (java) S 9359 9359 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499779429 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419258471744 140419966344985 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9405] ppid=9359 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/9382/task/9405/stat : 9405 (java) S 9359 9359 9228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 499779429 8616062976 30117 33554432000 4194304 4196468 140735811479248 140416842186640 140419966342301 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9406] ppid=9359 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9382/task/9406/stat : 9406 (java) S 9359 9359 9228 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499779429 8616062976 30117 33554432000 4194304 4196468 140735811479248 140417110621968 140419966342301 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9407] ppid=9359 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/9382/task/9407/stat : 9407 (java) S 9359 9359 9228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 499779431 8616062976 30117 33554432000 4194304 4196468 140735811479248 140416573759280 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
Current children cumulated CPU time: 27.75 s
Current children cumulated vsize: 9898144 KiB
Current children cumulated memory: 898928 KiB

[startup+13.8013 s]
/proc/loadavg: 0.39 0.11 0.08 2/216 9407
/proc/meminfo: memFree=21901916/32770624 swapFree=67002260/67108860
[pid=9359] ppid=9356 vsize=113128 memory=1472 CPUtime=21.77 cores=0-7
/proc/9359/stat : 9359 (scop.sh) S 9356 9359 9228 0 -1 4202496 582 39049 0 0 0 0 2084 93 20 0 1 0 499778348 115843072 368 33554432000 4194304 5098028 140731310517264 140731310514008 140611272946300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20242432 140731310523132 140731310523480 140731310523480 140731310526409 0
/proc/9359/statm: 28282 368 311 221 0 87 0
[pid=9382] ppid=9359 vsize=8414124 memory=120468 CPUtime=1.24 cores=0-7
/proc/9382/stat : 9382 (java) S 9359 9359 9228 0 -1 1077944320 21105 0 0 0 116 8 0 0 20 0 24 0 499779353 8616062976 30117 33554432000 4194304 4196468 140735811479248 140735811461792 140419966320375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
/proc/9382/statm: 2103531 30117 3207 1 0 2064875 0
[pid=9402] ppid=9382 vsize=1372348 memory=779100 CPUtime=6.34 cores=0-7
/proc/9402/stat : 9402 (manyglucose-4.1) S 9382 9359 9228 0 -1 1077944320 125351 0 0 0 589 45 0 0 20 0 9 0 499779429 1405284352 194775 33554432000 4194304 4454172 140723407637648 140723407636048 139762841524866 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 30257152 140723407639374 140723407639580 140723407639580 140723407642550 0
/proc/9402/statm: 343087 194775 407 64 0 338755 0
[pid=9382/tid=9383] ppid=9359 vsize=8414124 memory=1564 CPUtime=0.78 cores=0-7
/proc/9382/task/9383/stat : 9383 (java) S 9359 9359 9228 0 -1 1077944384 17961 0 0 0 72 6 0 0 20 0 24 0 499779354 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419938160544 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9384] ppid=9359 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/9382/task/9384/stat : 9384 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419970562448 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9385] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9385/stat : 9385 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419451746576 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9386] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9386/stat : 9386 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419450694288 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9387] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9387/stat : 9387 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419449641488 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9388] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9388/stat : 9388 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419448589200 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9389] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9389/stat : 9389 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419447536400 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9390] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9390/stat : 9390 (java) S 9359 9359 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419446484112 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9391] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9391/stat : 9391 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779355 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419445431312 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9392] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9392/stat : 9392 (java) S 9359 9359 9228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 499779356 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419261134960 140419966331522 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9393] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9393/stat : 9393 (java) S 9359 9359 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499779357 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418654135072 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9394] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9394/stat : 9394 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779357 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418385699952 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9395] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9395/stat : 9395 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418011191376 140419966338971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9396] ppid=9359 vsize=8414124 memory=1412 CPUtime=0.05 cores=0-7
/proc/9382/task/9396/stat : 9396 (java) S 9359 9359 9228 0 -1 1077944384 252 0 0 0 5 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419260082800 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9397] ppid=9359 vsize=8414124 memory=2756 CPUtime=0.08 cores=0-7
/proc/9382/task/9397/stat : 9397 (java) S 9359 9359 9228 0 -1 1077944384 653 0 0 0 8 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418519914992 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9398] ppid=9359 vsize=8414124 memory=1472 CPUtime=0.08 cores=0-7
/proc/9382/task/9398/stat : 9398 (java) S 9359 9359 9228 0 -1 1077944384 263 0 0 0 8 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418518862704 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9399] ppid=9359 vsize=8414124 memory=120468 CPUtime=0.22 cores=0-7
/proc/9382/task/9399/stat : 9399 (java) S 9359 9359 9228 0 -1 1077944384 584 0 0 0 22 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418517809904 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9400] ppid=9359 vsize=8414124 memory=154004 CPUtime=0 cores=0-7
/proc/9382/task/9400/stat : 9400 (java) S 9359 9359 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140417513285984 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9401] ppid=9359 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/9382/task/9401/stat : 9401 (java) S 9359 9359 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499779360 8616062976 30117 33554432000 4194304 4196468 140735811479248 140418516756784 140419966331522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9403] ppid=9359 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/9382/task/9403/stat : 9403 (java) S 9359 9359 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499779429 8616062976 30117 33554432000 4194304 4196468 140735811479248 140419258471744 140419966344985 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9405] ppid=9359 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9382/task/9405/stat : 9405 (java) S 9359 9359 9228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 499779429 8616062976 30117 33554432000 4194304 4196468 140735811479248 140416842186640 140419966342301 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9406] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9406/stat : 9406 (java) S 9359 9359 9228 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499779429 8616062976 30117 33554432000 4194304 4196468 140735811479248 140417110621968 140419966342301 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
[pid=9382/tid=9407] ppid=9359 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9382/task/9407/stat : 9407 (java) S 9359 9359 9228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 499779431 8616062976 30117 33554432000 4194304 4196468 140735811479248 140416573759280 140419966330581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140735811486688 140735811486854 140735811486854 140735811489743 0
Current children cumulated CPU time: 29.35 s
Current children cumulated vsize: 9899600 KiB
Current children cumulated memory: 901040 KiB

Child status: 0
Real time (s): 13.9005
CPU time (s): 29.6842
CPU user time (s): 28.1661
CPU system time (s): 1.51804
CPU usage (%): 213.548
Max. virtual memory (cumulated for all children) (KiB): 27442896
Max. memory (cumulated for all children) (KiB): 5075248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.1661
system time used= 1.51804
maximum resident set size= 5074532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186284
page faults= 0
swaps= 0
block input operations= 9520
block output operations= 45968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47022
involuntary context switches= 326


# summary of solver processes directly reported to runsolver:
#   pid: 9359
#   total CPU time (s): 29.6842
#   total CPU user time (s): 28.1661
#   total CPU system time (s): 1.51804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.12631 second user time and 0.181838 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-23 13:36:43
IDJOB=4405534
IDBENCH=120889
IDSOLVER=2868
FILE ID=node146/4405534-1569238644
RUNJOBID= node146-1569238586-9255
PBS_JOBID= 21704896
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-080-05-add.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405534-1569238644/watcher-4405534-1569238644 -o /var/tmp/evaluation-result-4405534-1569238644/solver-4405534-1569238644 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569238586-9255 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405534-1569238644.xml

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

MD5SUM BENCH= 18e8c61317b2c078d14d7e9ead8d31e0
RANDOM SEED=1320727312

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        22188504 kB
MemAvailable:   31845940 kB
Buffers:          128972 kB
Cached:          9566784 kB
SwapCached:         3596 kB
Active:          4814172 kB
Inactive:        4885456 kB
Active(anon):       3676 kB
Inactive(anon):    56392 kB
Active(file):    4810496 kB
Inactive(file):  4829064 kB
Unevictable:      110936 kB
Mlocked:          110936 kB
SwapTotal:      67108860 kB
SwapFree:       67002260 kB
Dirty:             20340 kB
Writeback:             0 kB
AnonPages:        112788 kB
Mapped:            55136 kB
Shmem:             47520 kB
Slab:             474844 kB
SReclaimable:     446336 kB
SUnreclaim:        28508 kB
KernelStack:        3360 kB
PageTables:         4892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node146 at 2019-09-23 13:36:57