Trace number 4405353

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 25.6081 8.1502

General information on the benchmark

NameQueensKnights/QueensKnights-m1-s1/
QueensKnights-050-05-mul.xml
MD5SUM0dc4c2f273d2e82d82a6e1c594dd299c
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark13.9722
Satisfiable
(Un)Satisfiability was proved
Number of variables55
Number of constraints1485
Number of domains2
Minimum domain size50
Maximum domain size2500
Distribution of domain sizes[{"size":50,"count":50},{"size":2500,"count":5}]
Minimum variable degree54
Maximum variable degree54
Distribution of variable degrees[{"degree":54,"count":55}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1485}]
Number of extensional constraints0
Number of intensional constraints1485
Distribution of constraint types[{"type":"intension","count":1485}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20618-serial-file.bin HOME/instance-4405353-1569238646.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Mon Sep 23 12:35:46 CEST 2019
0.65/0.56	c PID: 20621
0.65/0.56	c IP: 172.20.3.105
0.65/0.56	c HOST: node105.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.59/1.46	c (0,0) Parsing End
3.59/1.46	c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 1485 ctr, max domain size 2500
3.59/1.47	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.59/1.47	c (0,0) Constraint Name Generate Begin
3.59/1.49	c (0,0) Ctr:HOME/instance-4405353-1569238646.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
3.59/1.49	c (0,0) Constraint Name Generate End
3.59/1.49	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.59/1.49	c (0,0) CSP to CSPinCNF Begin
4.57/1.76	c (1,1) translated 149 (10%) constraints
4.83/1.85	c (1,1) translated 297 (20%) constraints
5.13/1.91	c (1,1) translated 446 (30%) constraints
5.13/1.97	c (1,1) translated 594 (40%) constraints
5.47/2.03	c (1,1) translated 743 (50%) constraints
5.47/2.07	c (1,1) translated 891 (60%) constraints
5.85/2.12	c (1,1) translated 1040 (70%) constraints
5.85/2.16	c (1,1) translated 1188 (80%) constraints
6.22/2.21	c (1,1) translated 1337 (90%) constraints
6.22/2.22	c (1,1) translated 1485 (100%) constraints
6.22/2.22	c (1,1) ===========================================
6.22/2.23	c (1,1) Order
6.22/2.23	c (1,1) ===========================================
6.22/2.28	c (1,1) translated 525 (10%) constraints
6.66/2.31	c (1,1) translated 1050 (20%) constraints
6.66/2.33	c (1,1) translated 1575 (30%) constraints
6.66/2.36	c (1,1) translated 2100 (40%) constraints
6.66/2.38	c (1,1) translated 2625 (50%) constraints
7.03/2.41	c (1,1) translated 3150 (60%) constraints
7.03/2.43	c (1,1) translated 3675 (70%) constraints
7.03/2.45	c (1,1) translated 4200 (80%) constraints
7.03/2.48	c (1,1) translated 4725 (90%) constraints
7.42/2.51	c (1,1) translated 5250 (100%) constraints
7.42/2.52	c (1,1) CSP to CSPinCNF End
7.42/2.52	c (1,1) CSP: 75 int (20 aux), 1235 bool (1235 aux), 5260 ctr, max domain size 2500
7.42/2.52	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.42/2.52	c (1,1) CSPinCNF Propagation Begin
7.42/2.59	c (2,2) 1 values, 14 unsatisfiable literals, and 21 valid clauses are removed
7.42/2.59	c (2,2) CSPinCNF Propagation End
7.42/2.59	c (2,2) CSP: 75 int (20 aux), 1235 bool (1235 aux), 5239 ctr, max domain size 2500
7.42/2.59	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.42/2.59	c (2,2) Simplify CSPinCNF Begin
8.20/2.77	c (2,2) Simplify CSPinCNF End
8.20/2.77	c (2,2) CSP: 75 int (20 aux), 6683 bool (6683 aux), 10687 ctr, max domain size 2500
8.20/2.77	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.20/2.77	c (2,2) Calculate Precise Domain Begin
8.20/2.77	c (2,2) 0 values are removed by re-calculation
8.20/2.77	c (2,2) Calculate Precise Domain End
8.20/2.77	c (2,2) CSP: 75 int (20 aux), 6683 bool (6683 aux), 10687 ctr, max domain size 2500
8.20/2.77	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.20/2.77	c (2,2) CSPinCNF to SatSolver Begin
10.22/3.25	c (2,2) 1069 (10 %) CSP clauses are encoded (0 SAT variables, 43849 SAT clauses)
10.51/3.42	c (2,2) 2138 (20 %) CSP clauses are encoded (0 SAT variables, 71841 SAT clauses)
10.66/3.59	c (3,3) 3207 (30 %) CSP clauses are encoded (0 SAT variables, 100202 SAT clauses)
10.88/3.77	c (3,3) 4275 (40 %) CSP clauses are encoded (0 SAT variables, 130208 SAT clauses)
11.12/3.94	c (3,3) 5344 (50 %) CSP clauses are encoded (0 SAT variables, 160469 SAT clauses)
11.39/4.12	c (3,3) 6413 (60 %) CSP clauses are encoded (0 SAT variables, 192369 SAT clauses)
11.71/4.31	c (3,3) 7481 (70 %) CSP clauses are encoded (0 SAT variables, 225176 SAT clauses)
11.92/4.50	c (3,3) 8550 (80 %) CSP clauses are encoded (0 SAT variables, 259465 SAT clauses)
12.04/4.69	c (4,4) 9619 (90 %) CSP clauses are encoded (0 SAT variables, 296004 SAT clauses)
12.81/5.17	c (4,4) 10687 (100 %) CSP clauses are encoded (0 SAT variables, 406587 SAT clauses)
12.81/5.17	c (4,4) CSPinCNF to SatSolver End
12.81/5.17	c (4,4) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
12.81/5.17	c (4,4) 22607 bool, 406637 clause
12.81/5.17	c (4,4) Export Begin
12.93/5.25	c (4,4) Export to HOME/scop-20618-serial-file.bin
12.93/5.25	c (4,4) Export End
12.93/5.25	c (4,4) Export File Size: 0.01 MB
12.93/5.25	c (4,4) 0,0,1,2,2,2,4,STOP-AFTER(DIMACS)
12.93/5.25	c END-Prog: Mon Sep 23 12:35:51 CEST 2019
12.93/5.28	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20618-serial-file.bin
13.07/5.74	c (0,0) Read Serial File Begin
13.07/5.74	c (0,0) HOME/scop-20618-serial-file.bin
13.07/5.94	c (0,0) Read Serial File End
13.07/5.95	
13.07/5.95	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
13.07/5.95	(Solving Process)
13.07/5.95	
13.07/5.98	c BEGIN-Prog: Mon Sep 23 12:35:52 CEST 2019
13.07/5.98	c PID: 20641
13.07/5.98	c IP: 172.20.3.105
13.07/5.98	c HOST: node105.alineos.net
13.07/5.98	c (0,0) SatSolver.solve Begin
13.07/5.98	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405353-1569238646.xml-scop-20621.cnf
14.07/6.01	c (0,0) c
14.07/6.01	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
14.07/6.01	c (0,0) c
14.07/6.01	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
14.07/6.01	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
14.07/6.01	c (0,0) c ========================================[ Problem Statistics ]===========================================
14.07/6.01	c (0,0) c |                                                                                                       |
14.19/6.13	c (0,0) c |  Number of variables:         22607                                                                   |
14.19/6.13	c (0,0) c |  Number of clauses:          406637                                                                   |
14.19/6.13	c (0,0) c |  Parse time:                   0.11 s                                                                 |
14.19/6.13	c (0,0) c |                                                                                                       |
14.20/6.56	c (0,0) c |  Simplification time:          0.43 s                                                                 |
14.20/6.56	c (0,0) c |                                                                                                       |
14.20/6.56	c (0,0) c |  Generating clones                                                                                    |
14.20/6.67	c (1,0) c |  all clones generated. Memory =   247.31Mb.                                                           |
14.20/6.67	c (1,0) c ========================================================================================================|
14.20/6.67	c (1,0) c
14.20/6.68	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
14.20/6.68	c (1,0) c
14.20/6.68	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.20/6.68	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
14.20/6.68	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.20/6.68	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
14.20/6.68	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
14.20/6.68	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
14.20/6.68	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
14.20/6.68	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
14.20/6.68	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
14.20/6.68	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
14.20/6.68	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
14.20/6.68	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
14.20/6.68	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
14.20/6.68	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
14.20/6.68	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
14.20/6.68	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
14.20/6.68	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
14.20/6.68	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
14.20/6.68	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.24/8.10	c (2,0) c
25.24/8.10	c (2,0) c real time : 2.09829 s
25.24/8.10	c (2,0) c cpu time  : 11.0615 s
25.24/8.10	c (2,0) c
25.24/8.10	c (2,0) c
25.24/8.10	c (2,0) c
25.24/8.10	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
25.24/8.10	c (2,0) c
25.24/8.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.24/8.10	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
25.24/8.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.24/8.10	c (2,0) c | Conflicts     |           24390 |       2330 |       1634 |       5825 |       3136 |       3078 |       1696 |       3321 |       3370 |
25.24/8.10	c (2,0) c | Decisions     |           41181 |       3899 |       7101 |       7947 |       4614 |       4543 |       3319 |       4618 |       5140 |
25.24/8.10	c (2,0) c | Propagations  |        34198157 |    3752042 |    4246769 |    4791461 |    4089461 |    4486616 |    3764001 |    4784026 |    4283781 |
25.24/8.10	c (2,0) c | ReduceDBs     |               6 |          1 |          0 |          1 |          1 |          1 |          0 |          1 |          1 |
25.24/8.10	c (2,0) c | SimpDBs       |              17 |          1 |          1 |          4 |          2 |          2 |          1 |          3 |          3 |
25.24/8.10	c (2,0) c | Restarts      |              21 |          2 |          3 |          1 |          4 |          2 |          4 |          2 |          3 |
25.24/8.10	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
25.24/8.10	c (2,0) c | PropBinClauses|        38751279 |    4250980 |    4674091 |    5516843 |    4653885 |    5104045 |    4168927 |    5427409 |    4955099 |
25.24/8.10	c (2,0) c | PropPreBlocker|       180149960 |   17892779 |   23618958 |   29218706 |   21319473 |   19356088 |   22112580 |   22391880 |   24239496 |
25.24/8.10	c (2,0) c | PropNotBlocker|        50151712 |    5689673 |    4260036 |    6773225 |    6373845 |    6775584 |    6605324 |    7209762 |    6464263 |
25.24/8.10	c (2,0) c | LitFullScans  |       302206632 |   30021047 |   36012904 |   48488072 |   36002771 |   34927744 |   36002734 |   40320492 |   40430868 |
25.24/8.10	c (2,0) c | LitScanFracts |           20368 |         77 |       3619 |       6305 |       2771 |        986 |       1689 |       2076 |       2845 |
25.24/8.10	c (2,0) c | DecisionLevel0|              54 |          2 |          3 |          6 |          6 |          9 |          4 |         13 |         11 |
25.24/8.10	c (2,0) c | Periods       |              48 |          5 |          6 |          8 |          6 |          5 |          6 |          6 |          6 |
25.24/8.10	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
25.24/8.10	c (2,0) c | Avg_Trail     |                 |      10873 |      18192 |      12340 |      10529 |       7680 |      15281 |       9354 |      10778 |
25.24/8.10	c (2,0) c | Avg_DL        |                 |         43 |        119 |         22 |         48 |         18 |        105 |         19 |         31 |
25.24/8.10	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
25.24/8.10	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
25.24/8.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.24/8.10	c (2,0) c | Exported      |             493 |         10 |         35 |        199 |         32 |         64 |          8 |         82 |         63 |
25.24/8.10	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
25.24/8.10	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
25.24/8.10	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
25.24/8.10	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
25.24/8.10	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
25.24/8.10	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
25.24/8.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.24/8.10	c (2,0) c | Unaries       |                 |          0 |          0 |          5 |          2 |          7 |          0 |         11 |          8 |
25.24/8.10	c (2,0) c | Binaries      |                 |          5 |          2 |         26 |         21 |         40 |          5 |         50 |         43 |
25.24/8.10	c (2,0) c | Glues         |                 |         10 |         35 |         67 |         32 |         64 |          8 |         82 |         63 |
25.24/8.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.24/8.10	c (2,0) c | Orig_Seen     |             1 % |      11511 |       6055 |       6283 |       6676 |       4840 |       9589 |       7164 |       7949 |
25.24/8.10	c (2,0) c | Diff Orig seen|                 |       6671 |       1215 |       1443 |       1836 |      X     |       4749 |       2324 |       3109 |
25.24/8.10	c (2,0) c | Hamming       |            25 % |       5004 |       3822 |       4671 |       6551 |      X     |       3168 |       6859 |      10358 |
25.24/8.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.24/8.10	c (2,0) c | RunningTime   |                 |    1.4 100%|    1.3 100%|    1.3 100%|    1.4 100%|    1.3 100%|    1.4 100%|    1.4 100%|    1.3 100%|
25.24/8.10	c (2,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
25.24/8.10	c (2,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
25.24/8.10	c (2,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
25.24/8.10	c (2,0) c | SolvingTime   |                 |    1.4     |    1.3     |    1.3     |    1.4     |    1.3     |    1.4     |    1.4     |    1.3     |
25.24/8.10	c (2,0) c | PropagationTim|                 |    1.4  96%|    1.2  95%|    1.2  92%|    1.3  95%|    1.2  94%|    1.3  95%|    1.3  93%|    1.2  93%|
25.24/8.10	c (2,0) c | AnalysisTime  |                 |    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|
25.24/8.10	c (2,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
25.24/8.10	c (2,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   2%|    0.0   1%|    0.0   1%|    0.0   0%|    0.0   2%|    0.0   2%|
25.24/8.10	c (2,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
25.24/8.10	c (2,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
25.24/8.10	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
25.24/8.10	c (2,0) c
25.24/8.10	c (2,0) c
25.24/8.10	c (2,0) c Threads : 8
25.24/8.10	c (2,0) c Winner : 4
25.24/8.10	c (2,0) c Conflicts_0 : 2330
25.24/8.10	c (2,0) c Conflicts_1 : 1634
25.24/8.10	c (2,0) c Conflicts_2 : 5825
25.24/8.10	c (2,0) c Conflicts_3 : 3136
25.24/8.11	c (2,0) c Conflicts_4 : 3078
25.24/8.11	c (2,0) c Conflicts_5 : 1696
25.24/8.11	c (2,0) c Conflicts_6 : 3321
25.24/8.11	c (2,0) c Conflicts_7 : 3370
25.24/8.11	c (2,0) c Conflicts_total : 24390
25.24/8.11	c (2,0) c Conflicts_winner : 3078
25.24/8.11	c (2,0) c Decisions_0 : 3899
25.24/8.11	c (2,0) c Decisions_1 : 7101
25.24/8.11	c (2,0) c Decisions_2 : 7947
25.24/8.11	c (2,0) c Decisions_3 : 4614
25.24/8.11	c (2,0) c Decisions_4 : 4543
25.24/8.11	c (2,0) c Decisions_5 : 3319
25.24/8.11	c (2,0) c Decisions_6 : 4618
25.24/8.11	c (2,0) c Decisions_7 : 5140
25.24/8.11	c (2,0) c Decisions_total : 41181
25.24/8.11	c (2,0) c Decisions_winner : 4543
25.24/8.11	c (2,0) c Propagations_0 : 3752042
25.24/8.11	c (2,0) c Propagations_1 : 4246769
25.24/8.11	c (2,0) c Propagations_2 : 4791461
25.24/8.11	c (2,0) c Propagations_3 : 4089461
25.24/8.11	c (2,0) c Propagations_4 : 4486616
25.24/8.11	c (2,0) c Propagations_5 : 3764001
25.24/8.11	c (2,0) c Propagations_6 : 4784026
25.24/8.11	c (2,0) c Propagations_7 : 4283781
25.24/8.11	c (2,0) c Propagations_total : 34198157
25.24/8.11	c (2,0) c Propagations_winner : 4486616
25.24/8.11	c (2,0) c ReduceDBs_0 : 1
25.24/8.11	c (2,0) c ReduceDBs_1 : 0
25.24/8.11	c (2,0) c ReduceDBs_2 : 1
25.24/8.11	c (2,0) c ReduceDBs_3 : 1
25.24/8.11	c (2,0) c ReduceDBs_4 : 1
25.24/8.11	c (2,0) c ReduceDBs_5 : 0
25.24/8.11	c (2,0) c ReduceDBs_6 : 1
25.24/8.11	c (2,0) c ReduceDBs_7 : 1
25.24/8.11	c (2,0) c ReduceDBs_total : 6
25.24/8.11	c (2,0) c ReduceDBs_winner : 1
25.24/8.11	c (2,0) c SimpDBs_0 : 1
25.24/8.11	c (2,0) c SimpDBs_1 : 1
25.24/8.11	c (2,0) c SimpDBs_2 : 4
25.24/8.11	c (2,0) c SimpDBs_3 : 2
25.24/8.11	c (2,0) c SimpDBs_4 : 2
25.24/8.11	c (2,0) c SimpDBs_5 : 1
14.21/8.11	c (2,0) c SimpDBs_6 : 3
14.21/8.11	c (2,0) c SimpDBs_7 : 3
14.21/8.11	c (2,0) c SimpDBs_total : 17
14.21/8.11	c (2,0) c SimpDBs_winner : 2
14.21/8.11	c (2,0) c Restarts_0 : 2
14.21/8.11	c (2,0) c Restarts_1 : 3
14.21/8.11	c (2,0) c Restarts_2 : 1
14.21/8.11	c (2,0) c Restarts_3 : 4
14.21/8.11	c (2,0) c Restarts_4 : 2
14.21/8.11	c (2,0) c Restarts_5 : 4
14.21/8.11	c (2,0) c Restarts_6 : 2
14.21/8.11	c (2,0) c Restarts_7 : 3
14.21/8.11	c (2,0) c Restarts_total : 21
14.21/8.11	c (2,0) c Restarts_winner : 2
14.21/8.11	c (2,0) c ForcedImports_0 : 0
14.21/8.11	c (2,0) c ForcedImports_1 : 0
14.21/8.11	c (2,0) c ForcedImports_2 : 0
14.21/8.11	c (2,0) c ForcedImports_3 : 0
14.21/8.11	c (2,0) c ForcedImports_4 : 0
14.21/8.11	c (2,0) c ForcedImports_5 : 0
14.21/8.11	c (2,0) c ForcedImports_6 : 0
14.21/8.11	c (2,0) c ForcedImports_7 : 0
14.21/8.11	c (2,0) c ForcedImports_total : 0
14.21/8.11	c (2,0) c ForcedImports_winner : 0
14.21/8.11	c (2,0) c PropsBinClauses_0 : 4250980
14.21/8.11	c (2,0) c PropsBinClauses_1 : 4674091
14.21/8.11	c (2,0) c PropsBinClauses_2 : 5516843
14.21/8.11	c (2,0) c PropsBinClauses_3 : 4653885
14.21/8.11	c (2,0) c PropsBinClauses_4 : 5104045
14.21/8.11	c (2,0) c PropsBinClauses_5 : 4168927
14.21/8.11	c (2,0) c PropsBinClauses_6 : 5427409
14.21/8.11	c (2,0) c PropsBinClauses_7 : 4955099
14.21/8.11	c (2,0) c PropsBinClauses_total : 38751279
14.21/8.11	c (2,0) c PropsBinClauses_winner : 5104045
14.21/8.11	c (2,0) c PropsPreBlocker_0 : 17892779
14.21/8.11	c (2,0) c PropsPreBlocker_1 : 23618958
14.21/8.11	c (2,0) c PropsPreBlocker_2 : 29218706
14.21/8.11	c (2,0) c PropsPreBlocker_3 : 21319473
14.21/8.11	c (2,0) c PropsPreBlocker_4 : 19356088
14.21/8.11	c (2,0) c PropsPreBlocker_5 : 22112580
14.21/8.11	c (2,0) c PropsPreBlocker_6 : 22391880
14.21/8.11	c (2,0) c PropsPreBlocker_7 : 24239496
14.21/8.11	c (2,0) c PropsPreBlocker_total : 180149960
14.21/8.11	c (2,0) c PropsPreBlocker_winner : 19356088
14.21/8.11	c (2,0) c PropsNotBlocker_0 : 5689673
14.21/8.11	c (2,0) c PropsNotBlocker_1 : 4260036
14.21/8.11	c (2,0) c PropsNotBlocker_2 : 6773225
14.21/8.11	c (2,0) c PropsNotBlocker_3 : 6373845
14.21/8.11	c (2,0) c PropsNotBlocker_4 : 6775584
14.21/8.11	c (2,0) c PropsNotBlocker_5 : 6605324
14.21/8.11	c (2,0) c PropsNotBlocker_6 : 7209762
14.21/8.11	c (2,0) c PropsNotBlocker_7 : 6464263
14.21/8.11	c (2,0) c PropsNotBlocker_total : 50151712
14.21/8.11	c (2,0) c PropsNotBlocker_winner : 6775584
14.21/8.11	c (2,0) c PropsLitFullScans_0 : 30021047
14.21/8.11	c (2,0) c PropsLitFullScans_1 : 36012904
14.21/8.11	c (2,0) c PropsLitFullScans_2 : 48488072
14.21/8.11	c (2,0) c PropsLitFullScans_3 : 36002771
14.21/8.11	c (2,0) c PropsLitFullScans_4 : 34927744
14.21/8.11	c (2,0) c PropsLitFullScans_5 : 36002734
14.21/8.11	c (2,0) c PropsLitFullScans_6 : 40320492
14.21/8.11	c (2,0) c PropsLitFullScans_7 : 40430868
14.21/8.11	c (2,0) c PropsLitFullScans_total : 302206632
14.21/8.11	c (2,0) c PropsLitFullScans_winner : 34927744
14.21/8.11	c (2,0) c LitScanFractions_0 : 77
14.21/8.11	c (2,0) c LitScanFractions_1 : 3619
14.21/8.11	c (2,0) c LitScanFractions_2 : 6305
14.21/8.11	c (2,0) c LitScanFractions_3 : 2771
14.21/8.11	c (2,0) c LitScanFractions_4 : 986
14.21/8.11	c (2,0) c LitScanFractions_5 : 1689
14.21/8.11	c (2,0) c LitScanFractions_6 : 2076
14.21/8.11	c (2,0) c LitScanFractions_7 : 2845
14.21/8.11	c (2,0) c LitScanFractions_total : 20368
14.21/8.11	c (2,0) c LitScanFractions_winner : 986
14.21/8.11	c (2,0) c DecisionLevel0_0 : 2
14.21/8.11	c (2,0) c DecisionLevel0_1 : 3
14.21/8.11	c (2,0) c DecisionLevel0_2 : 6
14.21/8.11	c (2,0) c DecisionLevel0_3 : 6
14.21/8.11	c (2,0) c DecisionLevel0_4 : 9
14.21/8.11	c (2,0) c DecisionLevel0_5 : 4
14.21/8.11	c (2,0) c DecisionLevel0_6 : 13
14.21/8.11	c (2,0) c DecisionLevel0_7 : 11
14.21/8.11	c (2,0) c DecisionLevel0_total : 54
14.21/8.11	c (2,0) c DecisionLevel0_winner : 9
14.21/8.11	c (2,0) c Periods_0 : 5
14.21/8.11	c (2,0) c Periods_1 : 6
14.21/8.11	c (2,0) c Periods_2 : 8
14.21/8.11	c (2,0) c Periods_3 : 6
14.21/8.11	c (2,0) c Periods_4 : 5
14.21/8.11	c (2,0) c Periods_5 : 6
14.21/8.11	c (2,0) c Periods_6 : 6
14.21/8.11	c (2,0) c Periods_7 : 6
14.21/8.11	c (2,0) c Periods_total : 48
14.21/8.11	c (2,0) c Periods_winner : 5
14.21/8.11	c (2,0) c Margin_0 : 20
14.21/8.11	c (2,0) c Margin_1 : 20
14.21/8.11	c (2,0) c Margin_2 : 20
14.21/8.11	c (2,0) c Margin_3 : 20
14.21/8.11	c (2,0) c Margin_4 : 20
14.21/8.11	c (2,0) c Margin_5 : 20
14.21/8.11	c (2,0) c Margin_6 : 20
14.21/8.11	c (2,0) c Margin_7 : 20
14.21/8.11	c (2,0) c Margin_total : 160
14.21/8.11	c (2,0) c Margin_winner : 20
14.21/8.11	c (2,0) c Exported_0 : 10
14.21/8.11	c (2,0) c Exported_1 : 35
14.21/8.11	c (2,0) c Exported_2 : 199
14.21/8.11	c (2,0) c Exported_3 : 32
14.21/8.11	c (2,0) c Exported_4 : 64
14.21/8.11	c (2,0) c Exported_5 : 8
14.21/8.11	c (2,0) c Exported_6 : 82
14.21/8.11	c (2,0) c Exported_7 : 63
14.21/8.11	c (2,0) c Exported_total : 493
14.21/8.11	c (2,0) c Exported_winner : 64
14.21/8.11	c (2,0) c Imported_0 : 0
14.21/8.11	c (2,0) c Imported_1 : 0
14.21/8.11	c (2,0) c Imported_2 : 0
14.21/8.11	c (2,0) c Imported_3 : 0
14.21/8.11	c (2,0) c Imported_4 : 0
14.21/8.11	c (2,0) c Imported_5 : 0
14.21/8.11	c (2,0) c Imported_6 : 0
14.21/8.11	c (2,0) c Imported_7 : 0
14.21/8.11	c (2,0) c Imported_total : 0
14.21/8.11	c (2,0) c Imported_winner : 0
14.21/8.11	c (2,0) c Good_0 : 0
14.21/8.11	c (2,0) c Good_1 : 0
14.21/8.11	c (2,0) c Good_2 : 0
14.21/8.11	c (2,0) c Good_3 : 0
14.21/8.11	c (2,0) c Good_4 : 0
14.21/8.11	c (2,0) c Good_5 : 0
14.21/8.11	c (2,0) c Good_6 : 0
14.21/8.11	c (2,0) c Good_7 : 0
14.21/8.11	c (2,0) c Good_total : 0
14.21/8.11	c (2,0) c Good_winner : 0
14.21/8.11	c (2,0) c Purge_0 : 0
14.21/8.11	c (2,0) c Purge_1 : 0
14.21/8.11	c (2,0) c Purge_2 : 0
14.21/8.11	c (2,0) c Purge_3 : 0
14.21/8.11	c (2,0) c Purge_4 : 0
14.21/8.11	c (2,0) c Purge_5 : 0
14.21/8.11	c (2,0) c Purge_6 : 0
14.21/8.11	c (2,0) c Purge_7 : 0
14.21/8.11	c (2,0) c Purge_total : 0
14.21/8.11	c (2,0) c Purge_winner : 0
14.21/8.11	c (2,0) c Promoted_0 : 0
14.21/8.11	c (2,0) c Promoted_1 : 0
14.21/8.11	c (2,0) c Promoted_2 : 0
14.21/8.11	c (2,0) c Promoted_3 : 0
14.21/8.11	c (2,0) c Promoted_4 : 0
14.21/8.11	c (2,0) c Promoted_5 : 0
14.21/8.11	c (2,0) c Promoted_6 : 0
14.21/8.11	c (2,0) c Promoted_7 : 0
14.21/8.11	c (2,0) c Promoted_total : 0
14.21/8.11	c (2,0) c Promoted_winner : 0
14.21/8.11	c (2,0) c Remove_Imp_0 : 0
14.21/8.11	c (2,0) c Remove_Imp_1 : 0
14.21/8.11	c (2,0) c Remove_Imp_2 : 0
14.21/8.11	c (2,0) c Remove_Imp_3 : 0
14.21/8.11	c (2,0) c Remove_Imp_4 : 0
14.21/8.11	c (2,0) c Remove_Imp_5 : 0
14.21/8.11	c (2,0) c Remove_Imp_6 : 0
14.21/8.11	c (2,0) c Remove_Imp_7 : 0
14.21/8.11	c (2,0) c Remove_Imp_total : 0
14.21/8.11	c (2,0) c Remove_Imp_winner : 0
14.21/8.11	c (2,0) c Blocked_Reuse_0 : 0
14.21/8.11	c (2,0) c Blocked_Reuse_1 : 0
14.21/8.11	c (2,0) c Blocked_Reuse_2 : 0
14.21/8.11	c (2,0) c Blocked_Reuse_3 : 0
14.21/8.11	c (2,0) c Blocked_Reuse_4 : 0
14.21/8.11	c (2,0) c Blocked_Reuse_5 : 0
14.21/8.11	c (2,0) c Blocked_Reuse_6 : 0
14.21/8.11	c (2,0) c Blocked_Reuse_7 : 0
14.21/8.11	c (2,0) c Blocked_Reuse_total : 0
14.21/8.11	c (2,0) c Blocked_Reuse_winner : 0
14.21/8.11	c (2,0) c Unaries_0 : 0
14.21/8.11	c (2,0) c Unaries_1 : 0
14.21/8.11	c (2,0) c Unaries_2 : 5
14.21/8.11	c (2,0) c Unaries_3 : 2
14.21/8.11	c (2,0) c Unaries_4 : 7
14.21/8.11	c (2,0) c Unaries_5 : 0
14.21/8.11	c (2,0) c Unaries_6 : 11
14.21/8.11	c (2,0) c Unaries_7 : 8
14.21/8.11	c (2,0) c Unaries_total : 33
14.21/8.11	c (2,0) c Unaries_winner : 7
14.21/8.11	c (2,0) c Binaries_0 : 5
14.21/8.11	c (2,0) c Binaries_1 : 2
14.21/8.11	c (2,0) c Binaries_2 : 26
14.21/8.11	c (2,0) c Binaries_3 : 21
14.21/8.11	c (2,0) c Binaries_4 : 40
14.21/8.11	c (2,0) c Binaries_5 : 5
14.21/8.11	c (2,0) c Binaries_6 : 50
14.21/8.11	c (2,0) c Binaries_7 : 43
14.21/8.11	c (2,0) c Binaries_total : 192
14.21/8.11	c (2,0) c Binaries_winner : 40
14.21/8.11	c (2,0) c Glues_0 : 10
14.21/8.11	c (2,0) c Glues_1 : 35
14.21/8.11	c (2,0) c Glues_2 : 67
14.21/8.11	c (2,0) c Glues_3 : 32
14.21/8.11	c (2,0) c Glues_4 : 64
14.21/8.12	c (2,0) c Glues_5 : 8
14.21/8.12	c (2,0) c Glues_6 : 82
14.21/8.12	c (2,0) c Glues_7 : 63
14.21/8.12	c (2,0) c Glues_total : 361
14.21/8.12	c (2,0) c Glues_winner : 64
14.21/8.12	c (2,0) c RunningTime_0 : 1.424032
14.21/8.12	c (2,0) c RunningTime_1 : 1.304886
14.21/8.12	c (2,0) c RunningTime_2 : 1.298229
14.21/8.12	c (2,0) c RunningTime_3 : 1.401366
14.21/8.12	c (2,0) c RunningTime_4 : 1.287592
14.21/8.12	c (2,0) c RunningTime_5 : 1.382269
14.21/8.12	c (2,0) c RunningTime_6 : 1.355274
14.21/8.12	c (2,0) c RunningTime_7 : 1.325079
14.21/8.12	c (2,0) c RunningTime_total : 10.778728
14.21/8.12	c (2,0) c RunningTime_winner : 1.287592
14.21/8.12	c (2,0) c WaitingTime_0 : 0.000000
14.21/8.12	c (2,0) c WaitingTime_1 : 0.000000
14.21/8.12	c (2,0) c WaitingTime_2 : 0.000000
14.21/8.12	c (2,0) c WaitingTime_3 : 0.000000
14.21/8.12	c (2,0) c WaitingTime_4 : 0.000000
14.21/8.12	c (2,0) c WaitingTime_5 : 0.000000
14.21/8.12	c (2,0) c WaitingTime_6 : 0.000000
14.21/8.12	c (2,0) c WaitingTime_7 : 0.000000
14.21/8.12	c (2,0) c WaitingTime_total : 0.000000
14.21/8.12	c (2,0) c WaitingTime_winner : 0.000000
14.21/8.12	c (2,0) c ExchangingTime_0 : 0.000215
14.21/8.12	c (2,0) c ExchangingTime_1 : 0.000274
14.21/8.12	c (2,0) c ExchangingTime_2 : 0.000462
14.21/8.12	c (2,0) c ExchangingTime_3 : 0.000287
14.21/8.12	c (2,0) c ExchangingTime_4 : 0.000279
14.21/8.12	c (2,0) c ExchangingTime_5 : 0.000191
14.21/8.12	c (2,0) c ExchangingTime_6 : 0.000320
14.21/8.12	c (2,0) c ExchangingTime_7 : 0.000516
14.21/8.12	c (2,0) c ExchangingTime_total : 0.002544
14.21/8.12	c (2,0) c ExchangingTime_winner : 0.000279
14.21/8.12	c (2,0) c PeriodProcTime_0 : 0.000087
14.21/8.12	c (2,0) c PeriodProcTime_1 : 0.000096
14.21/8.12	c (2,0) c PeriodProcTime_2 : 0.000114
14.21/8.12	c (2,0) c PeriodProcTime_3 : 0.000107
14.21/8.12	c (2,0) c PeriodProcTime_4 : 0.000065
14.21/8.12	c (2,0) c PeriodProcTime_5 : 0.000076
14.21/8.12	c (2,0) c PeriodProcTime_6 : 0.000070
14.21/8.12	c (2,0) c PeriodProcTime_7 : 0.000112
14.21/8.12	c (2,0) c PeriodProcTime_total : 0.000726
14.21/8.12	c (2,0) c PeriodProcTime_winner : 0.000065
14.21/8.12	c (2,0) c SolvingTime_0 : 1.424334
14.21/8.12	c (2,0) c SolvingTime_1 : 1.305256
14.21/8.12	c (2,0) c SolvingTime_2 : 1.298804
14.21/8.12	c (2,0) c SolvingTime_3 : 1.401760
14.21/8.12	c (2,0) c SolvingTime_4 : 1.287936
14.21/8.12	c (2,0) c SolvingTime_5 : 1.382536
14.21/8.12	c (2,0) c SolvingTime_6 : 1.355664
14.21/8.12	c (2,0) c SolvingTime_7 : 1.325707
14.21/8.12	c (2,0) c SolvingTime_total : 10.781997
14.21/8.12	c (2,0) c SolvingTime_winner : 1.287936
14.21/8.12	c (2,0) c PropagationTime_0 : 1.362569
14.21/8.12	c (2,0) c PropagationTime_1 : 1.246309
14.21/8.12	c (2,0) c PropagationTime_2 : 1.191427
14.21/8.12	c (2,0) c PropagationTime_3 : 1.326193
14.21/8.12	c (2,0) c PropagationTime_4 : 1.213427
14.21/8.12	c (2,0) c PropagationTime_5 : 1.315711
14.21/8.12	c (2,0) c PropagationTime_6 : 1.267182
14.21/8.12	c (2,0) c PropagationTime_7 : 1.238465
14.21/8.12	c (2,0) c PropagationTime_total : 10.161283
14.21/8.12	c (2,0) c PropagationTime_winner : 1.213427
14.21/8.12	c (2,0) c AnalysisTime_0 : 0.024162
14.21/8.12	c (2,0) c AnalysisTime_1 : 0.022945
14.21/8.12	c (2,0) c AnalysisTime_2 : 0.032323
14.21/8.12	c (2,0) c AnalysisTime_3 : 0.026289
14.21/8.12	c (2,0) c AnalysisTime_4 : 0.025809
14.21/8.12	c (2,0) c AnalysisTime_5 : 0.029196
14.21/8.12	c (2,0) c AnalysisTime_6 : 0.027830
14.21/8.12	c (2,0) c AnalysisTime_7 : 0.026474
14.21/8.12	c (2,0) c AnalysisTime_total : 0.215028
14.21/8.12	c (2,0) c AnalysisTime_winner : 0.025809
14.21/8.12	c (2,0) c ReductionTime_0 : 0.000389
14.21/8.12	c (2,0) c ReductionTime_1 : 0.000000
14.21/8.12	c (2,0) c ReductionTime_2 : 0.000319
14.21/8.12	c (2,0) c ReductionTime_3 : 0.000372
14.21/8.12	c (2,0) c ReductionTime_4 : 0.000341
14.21/8.12	c (2,0) c ReductionTime_5 : 0.000000
14.21/8.12	c (2,0) c ReductionTime_6 : 0.000338
14.21/8.12	c (2,0) c ReductionTime_7 : 0.000130
14.21/8.12	c (2,0) c ReductionTime_total : 0.001889
14.21/8.12	c (2,0) c ReductionTime_winner : 0.000341
14.21/8.12	c (2,0) c SimplifyTime_0 : 0.000000
14.21/8.12	c (2,0) c SimplifyTime_1 : 0.000000
14.21/8.12	c (2,0) c SimplifyTime_2 : 0.032225
14.21/8.12	c (2,0) c SimplifyTime_3 : 0.009809
14.21/8.12	c (2,0) c SimplifyTime_4 : 0.009820
14.21/8.12	c (2,0) c SimplifyTime_5 : 0.000000
14.21/8.12	c (2,0) c SimplifyTime_6 : 0.021045
14.21/8.12	c (2,0) c SimplifyTime_7 : 0.022862
14.21/8.12	c (2,0) c SimplifyTime_total : 0.095761
14.21/8.12	c (2,0) c SimplifyTime_winner : 0.009820
14.21/8.12	c (2,0) c UsedRateTime_0 : 0.000000
14.21/8.12	c (2,0) c UsedRateTime_1 : 0.000000
14.21/8.12	c (2,0) c UsedRateTime_2 : 0.000000
14.21/8.12	c (2,0) c UsedRateTime_3 : 0.000000
14.21/8.12	c (2,0) c UsedRateTime_4 : 0.000000
14.21/8.12	c (2,0) c UsedRateTime_5 : 0.000000
14.21/8.12	c (2,0) c UsedRateTime_6 : 0.000000
14.21/8.12	c (2,0) c UsedRateTime_7 : 0.000000
14.21/8.12	c (2,0) c UsedRateTime_total : 0.000000
14.21/8.12	c (2,0) c UsedRateTime_winner : 0.000000
14.21/8.12	c (2,0) c OverlapRateTime_0 : 0.000000
14.21/8.12	c (2,0) c OverlapRateTime_1 : 0.000000
14.21/8.12	c (2,0) c OverlapRateTime_2 : 0.000000
14.21/8.12	c (2,0) c OverlapRateTime_3 : 0.000000
14.21/8.12	c (2,0) c OverlapRateTime_4 : 0.000000
14.21/8.12	c (2,0) c OverlapRateTime_5 : 0.000000
14.21/8.12	c (2,0) c OverlapRateTime_6 : 0.000000
14.21/8.12	c (2,0) c OverlapRateTime_7 : 0.000000
14.21/8.12	c (2,0) c OverlapRateTime_total : 0.000000
14.21/8.12	c (2,0) c OverlapRateTime_winner : 0.000000
14.21/8.12	c (2,0) c
14.21/8.12	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
14.21/8.12	c (2,0) c
14.21/8.12	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.21/8.12	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
14.21/8.12	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.21/8.12	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
14.21/8.12	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
14.21/8.12	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
14.21/8.12	c (2,0) c | Initial random_seed   | 1061718931 | 1672668501 |   38426368 |  177446975 |   21685003 |  652909330 |  948891517 |   52173199 |
14.21/8.12	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
14.21/8.12	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
14.21/8.12	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
14.21/8.12	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
14.21/8.12	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
14.21/8.12	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
14.21/8.12	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
14.21/8.12	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8100 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
14.21/8.12	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
14.21/8.12	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
14.21/8.12	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
14.21/8.12	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
14.21/8.12	c (2,0) 
14.21/8.12	c (2,0) s UNSATISFIABLE
14.21/8.12	c (2,0) SatSolver.solve End
14.21/8.12	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.21/8.12	c (2,0) Show results Begin
14.21/8.12	s UNSATISFIABLE
14.21/8.12	c (2,0) Show results End
14.21/8.12	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.21/8.13	c (2,0) 2,2,STOP-AFTER(ALL)
14.21/8.13	c END-Prog: Mon Sep 23 12:35:54 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 (13570 MiB free)
  memory of node 1: 16384 MiB (12081 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405353-1569238646/watcher-4405353-1569238646 -o /var/tmp/evaluation-result-4405353-1569238646/solver-4405353-1569238646 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569234931-20359 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405353-1569238646.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=20618, runsolver pid=20615
Current StackSize limit: 8192 KiB


[startup+0.100145 s]*
/proc/loadavg: 0.46 0.11 0.08 2/210 20640
/proc/meminfo: memFree=26173648/32770624 swapFree=66956608/67108860
[pid=20618] ppid=20615 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20618/stat : 20618 (scop.sh) S 20615 20618 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500122455 115843072 349 33554432000 4194304 5098028 140735903540448 140735903537704 140323117888124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22646784 140735903548157 140735903548504 140735903548504 140735903551433 0
/proc/20618/statm: 28282 349 296 221 0 87 0
[pid=20621] ppid=20618 vsize=27314120 memory=105596 CPUtime=0.1 cores=0-7
/proc/20621/stat : 20621 (java) S 20618 20618 20332 0 -1 1077944320 6507 0 0 0 8 2 0 0 20 0 20 0 500122456 27969658880 26399 33554432000 4194304 4196468 140726884592688 140726884575232 140288514977527 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
/proc/20621/statm: 6828530 26399 2802 1 0 6790935 0
[pid=20621/tid=20622] ppid=20618 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/20621/task/20622/stat : 20622 (java) R 20618 20618 20332 0 -1 4202560 4593 0 0 0 7 2 0 0 20 0 20 0 500122456 27969658880 26911 33554432000 4194304 4196468 140726884592688 140288486803856 140288500410816 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20623] ppid=20618 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20621/task/20623/stat : 20623 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 26911 33554432000 4194304 4196468 140726884592688 140288519219728 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20624] ppid=20618 vsize=27314120 memory=140319619675776 CPUtime=0 cores=0-7
/proc/20621/task/20624/stat : 20624 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 26911 33554432000 4194304 4196468 140726884592688 140288333376144 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20625] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20625/stat : 20625 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 26911 33554432000 4194304 4196468 140726884592688 140288332323088 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20626] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20626/stat : 20626 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 26911 33554432000 4194304 4196468 140726884592688 140288331270544 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20627] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20627/stat : 20627 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 26911 33554432000 4194304 4196468 140726884592688 140288330218512 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20628] ppid=20618 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20621/task/20628/stat : 20628 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 26911 33554432000 4194304 4196468 140726884592688 140287933054096 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20629] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20629/stat : 20629 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 26911 33554432000 4194304 4196468 140726884592688 140287932001040 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20630] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20630/stat : 20630 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 26911 33554432000 4194304 4196468 140726884592688 140287930948496 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20631] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20631/stat : 20631 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122460 27969658880 26911 33554432000 4194304 4196468 140726884592688 140286835079408 140288514988674 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20632] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20632/stat : 20632 (java) S 20618 20618 20332 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 500122460 27969658880 26911 33554432000 4194304 4196468 140726884592688 140286315455648 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20633] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20633/stat : 20633 (java) S 20618 20618 20332 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500122461 27969658880 26911 33554432000 4194304 4196468 140726884592688 140286181233392 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20634] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20634/stat : 20634 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 26911 33554432000 4194304 4196468 140726884592688 140285806729168 140288514996123 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20635] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20635/stat : 20635 (java) S 20618 20618 20332 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 26911 33554432000 4194304 4196468 140726884592688 140286834027248 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20636] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20636/stat : 20636 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 26911 33554432000 4194304 4196468 140726884592688 140286832974704 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20637] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20637/stat : 20637 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 26911 33554432000 4194304 4196468 140726884592688 140286831921648 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20638] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20638/stat : 20638 (java) R 20618 20618 20332 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 26911 33554432000 4194304 4196468 140726884592688 140286830869104 140288514988674 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20639] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20639/stat : 20639 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 26911 33554432000 4194304 4196468 140726884592688 140285308824032 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20640] ppid=20618 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20621/task/20640/stat : 20640 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 26911 33554432000 4194304 4196468 140726884592688 140286829816496 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106992 KiB

[startup+0.21044 s]*
/proc/loadavg: 0.46 0.11 0.08 4/210 20640
/proc/meminfo: memFree=26153800/32770624 swapFree=66956608/67108860
[pid=20618] ppid=20615 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20618/stat : 20618 (scop.sh) S 20615 20618 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500122455 115843072 349 33554432000 4194304 5098028 140735903540448 140735903537704 140323117888124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22646784 140735903548157 140735903548504 140735903548504 140735903551433 0
/proc/20618/statm: 28282 349 296 221 0 87 0
[pid=20621] ppid=20618 vsize=27314120 memory=124912 CPUtime=0.24 cores=0-7
/proc/20621/stat : 20621 (java) S 20618 20618 20332 0 -1 1077944320 11980 0 0 0 20 4 0 0 20 0 20 0 500122456 27969658880 31228 33554432000 4194304 4196468 140726884592688 140726884575232 140288514977527 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
/proc/20621/statm: 6828530 31228 2962 1 0 6790935 0
[pid=20621/tid=20622] ppid=20618 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20621/task/20622/stat : 20622 (java) R 20618 20618 20332 0 -1 4202560 9689 0 0 0 16 3 0 0 20 0 20 0 500122456 27969658880 31228 33554432000 4194304 4196468 140726884592688 140288486761088 140288496542500 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20623] ppid=20618 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/20621/task/20623/stat : 20623 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 31228 33554432000 4194304 4196468 140726884592688 140288519219728 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20624] ppid=20618 vsize=27314120 memory=288370695771387520 CPUtime=0 cores=0-7
/proc/20621/task/20624/stat : 20624 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 31228 33554432000 4194304 4196468 140726884592688 140288333376144 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20625] ppid=20618 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20621/task/20625/stat : 20625 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 31228 33554432000 4194304 4196468 140726884592688 140288332323088 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20626] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20626/stat : 20626 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 31228 33554432000 4194304 4196468 140726884592688 140288331270544 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20627] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20627/stat : 20627 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 31228 33554432000 4194304 4196468 140726884592688 140288330218512 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20628] ppid=20618 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20621/task/20628/stat : 20628 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 31228 33554432000 4194304 4196468 140726884592688 140287933054096 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20629] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20629/stat : 20629 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 31228 33554432000 4194304 4196468 140726884592688 140287932001040 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20630] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20630/stat : 20630 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 31228 33554432000 4194304 4196468 140726884592688 140287930948496 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20631] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20631/stat : 20631 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122460 27969658880 31228 33554432000 4194304 4196468 140726884592688 140286835079408 140288514988674 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20632] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20632/stat : 20632 (java) S 20618 20618 20332 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 500122460 27969658880 31228 33554432000 4194304 4196468 140726884592688 140286315455648 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20633] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20633/stat : 20633 (java) S 20618 20618 20332 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500122461 27969658880 31228 33554432000 4194304 4196468 140726884592688 140286181233392 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20634] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20634/stat : 20634 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 31228 33554432000 4194304 4196468 140726884592688 140285806729168 140288514996123 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20635] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20635/stat : 20635 (java) S 20618 20618 20332 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 31228 33554432000 4194304 4196468 140726884592688 140286834027248 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20636] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20636/stat : 20636 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 31228 33554432000 4194304 4196468 140726884592688 140286832974704 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20637] ppid=20618 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20621/task/20637/stat : 20637 (java) S 20618 20618 20332 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 31228 33554432000 4194304 4196468 140726884592688 140286831921648 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20638] ppid=20618 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/20621/task/20638/stat : 20638 (java) S 20618 20618 20332 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 20 0 500122463 27969658880 31228 33554432000 4194304 4196468 140726884592688 140286830869104 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20639] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20639/stat : 20639 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 31228 33554432000 4194304 4196468 140726884592688 140285308824032 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20640] ppid=20618 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20621/task/20640/stat : 20640 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 31228 33554432000 4194304 4196468 140726884592688 140286829816496 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126308 KiB

[startup+0.310269 s]*
/proc/loadavg: 0.46 0.11 0.08 2/210 20640
/proc/meminfo: memFree=26151304/32770624 swapFree=66956608/67108860
[pid=20618] ppid=20615 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20618/stat : 20618 (scop.sh) S 20615 20618 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500122455 115843072 349 33554432000 4194304 5098028 140735903540448 140735903537704 140323117888124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22646784 140735903548157 140735903548504 140735903548504 140735903551433 0
/proc/20618/statm: 28282 349 296 221 0 87 0
[pid=20621] ppid=20618 vsize=27314120 memory=128324 CPUtime=0.42 cores=0-7
/proc/20621/stat : 20621 (java) S 20618 20618 20332 0 -1 1077944320 12968 0 0 0 37 5 0 0 20 0 20 0 500122456 27969658880 32081 33554432000 4194304 4196468 140726884592688 140726884575232 140288514977527 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
/proc/20621/statm: 6828530 32081 3008 1 0 6790935 0
[pid=20621/tid=20622] ppid=20618 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/20621/task/20622/stat : 20622 (java) R 20618 20618 20332 0 -1 4202560 10494 0 0 0 26 3 0 0 20 0 20 0 500122456 27969658880 32081 33554432000 4194304 4196468 140726884592688 140288486807600 140288499058014 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20623] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20623/stat : 20623 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 32081 33554432000 4194304 4196468 140726884592688 140288519219728 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20624] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20624/stat : 20624 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 32081 33554432000 4194304 4196468 140726884592688 140288333376144 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20625] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20625/stat : 20625 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 32081 33554432000 4194304 4196468 140726884592688 140288332323088 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20626] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20626/stat : 20626 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 32081 33554432000 4194304 4196468 140726884592688 140288331270544 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20627] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20627/stat : 20627 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 32081 33554432000 4194304 4196468 140726884592688 140288330218512 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20628] ppid=20618 vsize=27314120 memory=140319467334319 CPUtime=0 cores=0-7
/proc/20621/task/20628/stat : 20628 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 32081 33554432000 4194304 4196468 140726884592688 140287933054096 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20629] ppid=20618 vsize=27314120 memory=140319467336624 CPUtime=0 cores=0-7
/proc/20621/task/20629/stat : 20629 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 32081 33554432000 4194304 4196468 140726884592688 140287932001040 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20630] ppid=20618 vsize=27314120 memory=140319467338928 CPUtime=0 cores=0-7
/proc/20621/task/20630/stat : 20630 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27969658880 32081 33554432000 4194304 4196468 140726884592688 140287930948496 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20631] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20631/stat : 20631 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122460 27969658880 32081 33554432000 4194304 4196468 140726884592688 140286835079408 140288514988674 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20632] ppid=20618 vsize=27314120 memory=280638934691728 CPUtime=0 cores=0-7
/proc/20621/task/20632/stat : 20632 (java) S 20618 20618 20332 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 500122460 27969658880 32081 33554432000 4194304 4196468 140726884592688 140286315455648 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20633] ppid=20618 vsize=27314120 memory=280638934689424 CPUtime=0 cores=0-7
/proc/20621/task/20633/stat : 20633 (java) S 20618 20618 20332 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500122461 27969658880 32081 33554432000 4194304 4196468 140726884592688 140286181233392 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20634] ppid=20618 vsize=27314120 memory=280638934696336 CPUtime=0 cores=0-7
/proc/20621/task/20634/stat : 20634 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 32081 33554432000 4194304 4196468 140726884592688 140285806729168 140288514996123 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20635] ppid=20618 vsize=27314120 memory=280638934637616 CPUtime=0.01 cores=0-7
/proc/20621/task/20635/stat : 20635 (java) R 20618 20618 20332 0 -1 4202560 363 0 0 0 1 0 0 0 20 0 20 0 500122463 27969658880 32081 33554432000 4194304 4196468 140726884592688 140286834027248 140288514998874 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20636] ppid=20618 vsize=27314120 memory=280638934710160 CPUtime=0.01 cores=0-7
/proc/20621/task/20636/stat : 20636 (java) S 20618 20618 20332 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 500122463 27969658880 32081 33554432000 4194304 4196468 140726884592688 140286832974704 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20637] ppid=20618 vsize=27314120 memory=280638934717072 CPUtime=0.01 cores=0-7
/proc/20621/task/20637/stat : 20637 (java) S 20618 20618 20332 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 500122463 27969658880 32081 33554432000 4194304 4196468 140726884592688 140286831921648 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20638] ppid=20618 vsize=27314120 memory=280638934714768 CPUtime=0.07 cores=0-7
/proc/20621/task/20638/stat : 20638 (java) S 20618 20618 20332 0 -1 1077944384 464 0 0 0 7 0 0 0 20 0 20 0 500122463 27969658880 32081 33554432000 4194304 4196468 140726884592688 140286830869104 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20639] ppid=20618 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20639/stat : 20639 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 32081 33554432000 4194304 4196468 140726884592688 140285308824032 140288514987733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20640] ppid=20618 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20621/task/20640/stat : 20640 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500122463 27969658880 32081 33554432000 4194304 4196468 140726884592688 140286829816496 140288514988674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129720 KiB

[startup+0.704605 s]
/proc/loadavg: 0.51 0.13 0.08 2/210 20640
/proc/meminfo: memFree=26129724/32770624 swapFree=66956608/67108860
[pid=20618] ppid=20615 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20618/stat : 20618 (scop.sh) S 20615 20618 20332 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500122455 115843072 349 33554432000 4194304 5098028 140735903540448 140735903537704 140323117888124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22646784 140735903548157 140735903548504 140735903548504 140735903551433 0
/proc/20618/statm: 28282 349 296 221 0 87 0
[pid=20621] ppid=20618 vsize=27320392 memory=163232 CPUtime=1 cores=0-7
/proc/20621/stat : 20621 (java) S 20618 20618 20332 0 -1 1077944320 19958 0 0 0 93 7 0 0 20 0 20 0 500122456 27976081408 40808 33554432000 4194304 4196468 140726884592688 140726884575232 140288514977527 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
/proc/20621/statm: 6830098 40808 3165 1 0 6791447 0
[pid=20621/tid=20622] ppid=20618 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/20621/task/20622/stat : 20622 (java) R 20618 20618 20332 0 -1 4202560 16918 0 0 0 62 6 0 0 20 0 20 0 500122456 27976081408 40808 33554432000 4194304 4196468 140726884592688 140288486813400 140288012207940 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20623] ppid=20618 vsize=27320392 memory=140319467545456 CPUtime=0 cores=0-7
/proc/20621/task/20623/stat : 20623 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27976081408 40808 33554432000 4194304 4196468 140726884592688 140288519219728 140288514987733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20624] ppid=20618 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20621/task/20624/stat : 20624 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500122458 27976081408 40808 33554432000 4194304 4196468 140726884592688 140288333376144 140288514987733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0
[pid=20621/tid=20625] ppid=20618 vsize=27320392 memory=784 CPUtime=0 cores=0-7
/proc/20621/task/20625/stat : 20625 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500122458 27976081408 40808 33554432000 4194304 4196468 140726884592688 140288332323088 140288514987733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140726884594375 140726884594822 140726884594822 140726884597711 0

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

/proc/20641/task/20651/stat : 20651 (java) S 20618 20618 20332 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500122987 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707218041584 140707990608514 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20652] ppid=20618 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/20641/task/20652/stat : 20652 (java) S 20618 20618 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500122987 8616062976 29183 33554432000 4194304 4196468 140726246498208 140706282727072 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20653] ppid=20618 vsize=8414124 memory=2560 CPUtime=0 cores=0-7
/proc/20641/task/20653/stat : 20653 (java) S 20618 20618 20332 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500122987 8616062976 29183 33554432000 4194304 4196468 140726246498208 140706148504816 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20654] ppid=20618 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20641/task/20654/stat : 20654 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140705774000592 140707990615963 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20655] ppid=20618 vsize=8414124 memory=104448 CPUtime=0.07 cores=0-7
/proc/20641/task/20655/stat : 20655 (java) S 20618 20618 20332 0 -1 1077944384 569 0 0 0 7 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707216988400 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20656] ppid=20618 vsize=8414124 memory=1160 CPUtime=0.02 cores=0-7
/proc/20641/task/20656/stat : 20656 (java) S 20618 20618 20332 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707215935856 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20657] ppid=20618 vsize=8414124 memory=8317482817917895235 CPUtime=0.06 cores=0-7
/proc/20641/task/20657/stat : 20657 (java) S 20618 20618 20332 0 -1 1077944384 433 0 0 0 6 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707214882800 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20658] ppid=20618 vsize=8414124 memory=7089883391062992977 CPUtime=0.18 cores=0-7
/proc/20641/task/20658/stat : 20658 (java) S 20618 20618 20332 0 -1 1077944384 704 0 0 0 18 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707213830256 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20659] ppid=20618 vsize=8414124 memory=6009305375145749351 CPUtime=0 cores=0-7
/proc/20641/task/20659/stat : 20659 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140705276095456 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20660] ppid=20618 vsize=8414124 memory=7450760716784850796 CPUtime=0 cores=0-7
/proc/20641/task/20660/stat : 20660 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122991 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707212778672 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20662] ppid=20618 vsize=8414124 memory=6935649255777194064 CPUtime=0 cores=0-7
/proc/20641/task/20662/stat : 20662 (java) S 20618 20618 20332 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500123056 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707204744640 140707990621977 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20664] ppid=20618 vsize=8414124 memory=7739271446977270890 CPUtime=0 cores=0-7
/proc/20641/task/20664/stat : 20664 (java) S 20618 20618 20332 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500123056 8616062976 29183 33554432000 4194304 4196468 140726246498208 140704604995088 140707990619293 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20665] ppid=20618 vsize=8414124 memory=7893295687695687739 CPUtime=0 cores=0-7
/proc/20641/task/20665/stat : 20665 (java) S 20618 20618 20332 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500123056 8616062976 29183 33554432000 4194304 4196468 140726246498208 140704873430672 140707990619293 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20666] ppid=20618 vsize=8414124 memory=6083354206233319521 CPUtime=0 cores=0-7
/proc/20641/task/20666/stat : 20666 (java) S 20618 20618 20332 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500123058 8616062976 29183 33554432000 4194304 4196468 140726246498208 140704336567216 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
Current children cumulated CPU time: 22.08 s
Current children cumulated vsize: 9374988 KiB
Current children cumulated memory: 376080 KiB

[startup+8.00167 s]*
/proc/loadavg: 0.71 0.18 0.10 6/220 20674
/proc/meminfo: memFree=25895696/32770624 swapFree=66956608/67108860
[pid=20618] ppid=20615 vsize=113128 memory=1476 CPUtime=13.07 cores=0-7
/proc/20618/stat : 20618 (scop.sh) S 20615 20618 20332 0 -1 4202496 583 29627 0 0 0 0 1268 39 20 0 1 0 500122455 115843072 369 33554432000 4194304 5098028 140735903540448 140735903537192 140323117888124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22646784 140735903548157 140735903548504 140735903548504 140735903551433 0
/proc/20618/statm: 28282 369 311 221 0 87 0
[pid=20641] ppid=20618 vsize=8414124 memory=116732 CPUtime=1.13 cores=0-7
/proc/20641/stat : 20641 (java) S 20618 20618 20332 0 -1 1077944320 20741 0 0 0 105 8 0 0 20 0 24 0 500122984 8616062976 29183 33554432000 4194304 4196468 140726246498208 140726246480752 140707990597367 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
/proc/20641/statm: 2103531 29183 3188 1 0 2064875 0
[pid=20661] ppid=20641 vsize=847868 memory=257140 CPUtime=11.04 cores=0-7
/proc/20661/stat : 20661 (manyglucose-4.1) S 20641 20618 20332 0 -1 1077944320 65704 0 0 0 1081 23 0 0 20 0 5 0 500123056 868216832 64285 33554432000 4194304 4454172 140730345326032 140730345324416 140370103426807 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 39858176 140730345333581 140730345333788 140730345333788 140730345336758 0
/proc/20661/statm: 211967 64285 420 64 0 207635 0
[pid=20661/tid=20667] ppid=20641 vsize=847868 memory=0 CPUtime=1.31 cores=0-7
/proc/20661/task/20667/stat : 20667 (manyglucose-4.1) R 20641 20618 20332 0 -1 4202560 2932 0 0 0 129 2 0 0 20 0 5 0 500123123 868216832 64285 33554432000 4194304 4454172 140730345326032 140370068290344 4351502 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 39858176 140730345333581 140730345333788 140730345333788 140730345336758 0
[pid=20661/tid=20670] ppid=20641 vsize=847868 memory=0 CPUtime=1.27 cores=0-7
/proc/20661/task/20670/stat : 20670 (manyglucose-4.1) R 20641 20618 20332 0 -1 4202560 3023 0 0 0 125 2 0 0 20 0 5 0 500123123 868216832 64285 33554432000 4194304 4454172 140730345326032 140370043112184 4317749 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 39858176 140730345333581 140730345333788 140730345333788 140730345336758 0
[pid=20661/tid=20672] ppid=20641 vsize=847868 memory=140319619675776 CPUtime=1.3 cores=0-7
/proc/20661/task/20672/stat : 20672 (manyglucose-4.1) R 20641 20618 20332 0 -1 4202560 3507 0 0 0 127 3 0 0 20 0 5 0 500123123 868216832 64285 33554432000 4194304 4454172 140730345326032 140370026326952 4351769 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 39858176 140730345333581 140730345333788 140730345333788 140730345336758 0
[pid=20661/tid=20673] ppid=20641 vsize=847868 memory=0 CPUtime=1.31 cores=0-7
/proc/20661/task/20673/stat : 20673 (manyglucose-4.1) R 20641 20618 20332 0 -1 4202560 2899 0 0 0 131 0 0 0 20 0 5 0 500123123 868216832 64285 33554432000 4194304 4454172 140730345326032 140370017934072 4351286 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 39858176 140730345333581 140730345333788 140730345333788 140730345336758 0
[pid=20641/tid=20642] ppid=20618 vsize=8414124 memory=6944656592455097440 CPUtime=0.75 cores=0-7
/proc/20641/task/20642/stat : 20642 (java) S 20618 20618 20332 0 -1 1077944384 17509 0 0 0 69 6 0 0 20 0 24 0 500122984 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707962437536 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20643] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20643/stat : 20643 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707994840080 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20644] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20644/stat : 20644 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707828219024 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20645] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20645/stat : 20645 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707474254608 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20646] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20646/stat : 20646 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707473202064 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20647] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20647/stat : 20647 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707472149008 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20648] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20648/stat : 20648 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707471096464 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20649] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20649/stat : 20649 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707470043408 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20650] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20650/stat : 20650 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707468990864 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20651] ppid=20618 vsize=8414124 memory=1970350607106051 CPUtime=0 cores=0-7
/proc/20641/task/20651/stat : 20651 (java) S 20618 20618 20332 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500122987 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707218041584 140707990608514 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20652] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20652/stat : 20652 (java) S 20618 20618 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500122987 8616062976 29183 33554432000 4194304 4196468 140726246498208 140706282727072 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20653] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20653/stat : 20653 (java) S 20618 20618 20332 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500122987 8616062976 29183 33554432000 4194304 4196468 140726246498208 140706148504816 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20654] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20654/stat : 20654 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140705774000592 140707990615963 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20655] ppid=20618 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/20641/task/20655/stat : 20655 (java) S 20618 20618 20332 0 -1 1077944384 569 0 0 0 7 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707216988400 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20656] ppid=20618 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7
/proc/20641/task/20656/stat : 20656 (java) S 20618 20618 20332 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707215935856 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20657] ppid=20618 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/20641/task/20657/stat : 20657 (java) S 20618 20618 20332 0 -1 1077944384 433 0 0 0 6 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707214882800 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20658] ppid=20618 vsize=8414124 memory=0 CPUtime=0.18 cores=0-7
/proc/20641/task/20658/stat : 20658 (java) S 20618 20618 20332 0 -1 1077944384 704 0 0 0 18 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707213830256 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20659] ppid=20618 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/20641/task/20659/stat : 20659 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500122990 8616062976 29183 33554432000 4194304 4196468 140726246498208 140705276095456 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20660] ppid=20618 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/20641/task/20660/stat : 20660 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122991 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707212778672 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20662] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20662/stat : 20662 (java) S 20618 20618 20332 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500123056 8616062976 29183 33554432000 4194304 4196468 140726246498208 140707204744640 140707990621977 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20664] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20664/stat : 20664 (java) S 20618 20618 20332 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500123056 8616062976 29183 33554432000 4194304 4196468 140726246498208 140704604995088 140707990619293 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20665] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20665/stat : 20665 (java) S 20618 20618 20332 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500123056 8616062976 29183 33554432000 4194304 4196468 140726246498208 140704873430672 140707990619293 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20666] ppid=20618 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20641/task/20666/stat : 20666 (java) S 20618 20618 20332 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500123058 8616062976 29183 33554432000 4194304 4196468 140726246498208 140704336567216 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 9375120 KiB
Current children cumulated memory: 375348 KiB

[startup+8.11096 s]
/proc/loadavg: 0.71 0.18 0.10 6/220 20674
/proc/meminfo: memFree=25895696/32770624 swapFree=66956608/67108860
[pid=20618] ppid=20615 vsize=113128 memory=1476 CPUtime=13.07 cores=0-7
/proc/20618/stat : 20618 (scop.sh) S 20615 20618 20332 0 -1 4202496 583 29627 0 0 0 0 1268 39 20 0 1 0 500122455 115843072 369 33554432000 4194304 5098028 140735903540448 140735903537192 140323117888124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22646784 140735903548157 140735903548504 140735903548504 140735903551433 0
/proc/20618/statm: 28282 369 311 221 0 87 0
[pid=20641] ppid=20618 vsize=8414124 memory=116940 CPUtime=1.14 cores=0-7
/proc/20641/stat : 20641 (java) S 20618 20618 20332 0 -1 1077944320 20755 0 0 0 106 8 0 0 20 0 24 0 500122984 8616062976 29235 33554432000 4194304 4196468 140726246498208 140726246480752 140707990597367 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
/proc/20641/statm: 2103531 29235 3188 1 0 2064875 0
[pid=20641/tid=20642] ppid=20618 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7
/proc/20641/task/20642/stat : 20642 (java) S 20618 20618 20332 0 -1 1077944384 17509 0 0 0 69 6 0 0 20 0 24 0 500122984 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707962437536 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20643] ppid=20618 vsize=8414124 memory=1127 CPUtime=0 cores=0-7
/proc/20641/task/20643/stat : 20643 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707994840080 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20644] ppid=20618 vsize=8414124 memory=6687 CPUtime=0 cores=0-7
/proc/20641/task/20644/stat : 20644 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707828219024 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20645] ppid=20618 vsize=8414124 memory=397 CPUtime=0 cores=0-7
/proc/20641/task/20645/stat : 20645 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707474254608 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20646] ppid=20618 vsize=8414124 memory=140323914643071 CPUtime=0 cores=0-7
/proc/20641/task/20646/stat : 20646 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707473202064 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20647] ppid=20618 vsize=8414124 memory=-3252517613198930781 CPUtime=0 cores=0-7
/proc/20641/task/20647/stat : 20647 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707472149008 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20648] ppid=20618 vsize=8414124 memory=-7880843606118635149 CPUtime=0 cores=0-7
/proc/20641/task/20648/stat : 20648 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707471096464 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20649] ppid=20618 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20641/task/20649/stat : 20649 (java) S 20618 20618 20332 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707470043408 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20650] ppid=20618 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20641/task/20650/stat : 20650 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122985 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707468990864 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20651] ppid=20618 vsize=8414124 memory=116732 CPUtime=0 cores=0-7
/proc/20641/task/20651/stat : 20651 (java) S 20618 20618 20332 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500122987 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707218041584 140707990608514 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20652] ppid=20618 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20641/task/20652/stat : 20652 (java) S 20618 20618 20332 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500122987 8616062976 29235 33554432000 4194304 4196468 140726246498208 140706282727072 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20653] ppid=20618 vsize=8414124 memory=116732 CPUtime=0 cores=0-7
/proc/20641/task/20653/stat : 20653 (java) S 20618 20618 20332 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500122987 8616062976 29235 33554432000 4194304 4196468 140726246498208 140706148504816 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20654] ppid=20618 vsize=8414124 memory=-3395018486312292127 CPUtime=0 cores=0-7
/proc/20641/task/20654/stat : 20654 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122990 8616062976 29235 33554432000 4194304 4196468 140726246498208 140705774000592 140707990615963 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20655] ppid=20618 vsize=8414124 memory=280638934671776 CPUtime=0.07 cores=0-7
/proc/20641/task/20655/stat : 20655 (java) S 20618 20618 20332 0 -1 1077944384 569 0 0 0 7 0 0 0 20 0 24 0 500122990 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707216988400 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20656] ppid=20618 vsize=8414124 memory=50424 CPUtime=0.02 cores=0-7
/proc/20641/task/20656/stat : 20656 (java) S 20618 20618 20332 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 24 0 500122990 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707215935856 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20657] ppid=20618 vsize=8414124 memory=984 CPUtime=0.06 cores=0-7
/proc/20641/task/20657/stat : 20657 (java) S 20618 20618 20332 0 -1 1077944384 433 0 0 0 6 0 0 0 20 0 24 0 500122990 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707214882800 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20658] ppid=20618 vsize=8414124 memory=2016 CPUtime=0.19 cores=0-7
/proc/20641/task/20658/stat : 20658 (java) R 20618 20618 20332 0 -1 4202560 717 0 0 0 19 0 0 0 20 0 24 0 500122990 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707213828064 140707970522335 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20659] ppid=20618 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/20641/task/20659/stat : 20659 (java) S 20618 20618 20332 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500122990 8616062976 29235 33554432000 4194304 4196468 140726246498208 140705276095456 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20660] ppid=20618 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/20641/task/20660/stat : 20660 (java) S 20618 20618 20332 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500122991 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707212778672 140707990608514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20662] ppid=20618 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/20641/task/20662/stat : 20662 (java) S 20618 20618 20332 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500123056 8616062976 29235 33554432000 4194304 4196468 140726246498208 140707204744640 140707990621977 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20664] ppid=20618 vsize=8414124 memory=1136 CPUtime=0.01 cores=0-7
/proc/20641/task/20664/stat : 20664 (java) R 20618 20618 20332 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 500123056 8616062976 29235 33554432000 4194304 4196468 140726246498208 140704605001792 140707990619197 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20665] ppid=20618 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/20641/task/20665/stat : 20665 (java) S 20618 20618 20332 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500123056 8616062976 29235 33554432000 4194304 4196468 140726246498208 140704873430672 140707990619293 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
[pid=20641/tid=20666] ppid=20618 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/20641/task/20666/stat : 20666 (java) S 20618 20618 20332 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500123058 8616062976 29235 33554432000 4194304 4196468 140726246498208 140704336567216 140707990607573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20701184 140726246503391 140726246503558 140726246503558 140726246506447 0
Current children cumulated CPU time: 14.21 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 118416 KiB

Child status: 0
Real time (s): 8.1502
CPU time (s): 25.6081
CPU user time (s): 24.8663
CPU system time (s): 0.741822
CPU usage (%): 314.203
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1827844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.8663
system time used= 0.741822
maximum resident set size= 1831800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117265
page faults= 0
swaps= 0
block input operations= 8
block output operations= 15704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14085
involuntary context switches= 139


# summary of solver processes directly reported to runsolver:
#   pid: 20618
#   total CPU time (s): 25.6081
#   total CPU user time (s): 24.8663
#   total CPU system time (s): 0.741822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096581 second user time and 0.129781 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-23 12:35:46
IDJOB=4405353
IDBENCH=120900
IDSOLVER=2867
FILE ID=node105/4405353-1569238646
RUNJOBID= node105-1569234931-20359
PBS_JOBID= 21704915
Free space on /var/tmp= 13180 MiB

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

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

MD5SUM BENCH= 0dc4c2f273d2e82d82a6e1c594dd299c
RANDOM SEED=1480013610

node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
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:        26268324 kB
MemAvailable:   31801116 kB
Buffers:           98680 kB
Cached:          5566180 kB
SwapCached:        48500 kB
Active:          2826140 kB
Inactive:        2888660 kB
Active(anon):       4804 kB
Inactive(anon):    99492 kB
Active(file):    2821336 kB
Inactive(file):  2789168 kB
Unevictable:      110924 kB
Mlocked:          110924 kB
SwapTotal:      67108860 kB
SwapFree:       66956608 kB
Dirty:             20896 kB
Writeback:             0 kB
AnonPages:         68604 kB
Mapped:            52380 kB
Shmem:             45684 kB
Slab:             378644 kB
SReclaimable:     350748 kB
SUnreclaim:        27896 kB
KernelStack:        3936 kB
PageTables:         7140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13160 MiB
End job on node105 at 2019-09-23 12:35:54