Trace number 4405146

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 21.4442 7.36917

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
MD5SUMf8050e8ddc741b4fb4a45c7e8cfb7628
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 benchmark11.0135
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size39
Distribution of domain sizes[{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints0
Number of intensional constraints4103
Distribution of constraint types[{"type":"intension","count":4103}]
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-22825-serial-file.bin HOME/instance-4405146-1569363557.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Wed Sep 25 00:21:31 CEST 2019
0.66/0.56	c PID: 22828
0.66/0.56	c IP: 172.20.3.139
0.66/0.56	c HOST: node139.alineos.net
0.66/0.57	c (0,0) Parsing Begin
5.96/1.93	c (1,1) Parsing End
5.96/1.93	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 39
5.96/1.93	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.96/1.93	c (1,1) Constraint Name Generate Begin
5.96/1.96	c (1,1) Ctr:HOME/instance-4405146-1569363557.xml,Dist:Eq:Le:Num:Var
5.96/1.96	c (1,1) Constraint Name Generate End
5.96/1.96	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.96/1.96	c (1,1) CSP to CSPinCNF Begin
6.95/2.23	c (1,1) translated 411 (10%) constraints
7.32/2.30	c (1,1) translated 821 (20%) constraints
7.32/2.35	c (1,1) translated 1231 (30%) constraints
7.70/2.40	c (1,1) translated 1642 (40%) constraints
7.70/2.45	c (1,1) translated 2052 (50%) constraints
7.70/2.49	c (1,1) translated 2462 (60%) constraints
8.09/2.53	c (1,1) translated 2873 (70%) constraints
8.09/2.57	c (2,2) translated 3283 (80%) constraints
8.49/2.60	c (2,2) translated 3693 (90%) constraints
8.91/2.71	c (2,2) translated 4103 (100%) constraints
8.91/2.71	c (2,2) ===========================================
8.91/2.71	c (2,2) Order
8.91/2.71	c (2,2) ===========================================
8.91/2.74	c (2,2) translated 479 (10%) constraints
8.91/2.76	c (2,2) translated 957 (20%) constraints
8.91/2.77	c (2,2) translated 1435 (30%) constraints
8.91/2.79	c (2,2) translated 1914 (40%) constraints
9.28/2.80	c (2,2) translated 2392 (50%) constraints
9.28/2.82	c (2,2) translated 2870 (60%) constraints
9.28/2.83	c (2,2) translated 3349 (70%) constraints
9.28/2.84	c (2,2) translated 3827 (80%) constraints
9.28/2.86	c (2,2) translated 4305 (90%) constraints
9.28/2.87	c (2,2) translated 4783 (100%) constraints
9.28/2.87	c (2,2) CSP to CSPinCNF End
9.28/2.87	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39
9.28/2.87	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.28/2.87	c (2,2) CSPinCNF Propagation Begin
9.57/2.94	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.57/2.94	c (2,2) CSPinCNF Propagation End
9.57/2.94	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 39
9.57/2.94	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.57/2.94	c (2,2) Simplify CSPinCNF Begin
10.14/3.18	c (2,2) Simplify CSPinCNF End
10.14/3.19	c (2,2) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39
10.14/3.19	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
10.14/3.19	c (2,2) Calculate Precise Domain Begin
10.14/3.19	c (2,2) 0 values are removed by re-calculation
10.14/3.19	c (2,2) Calculate Precise Domain End
10.14/3.19	c (2,2) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 39
10.14/3.19	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
10.14/3.19	c (2,2) CSPinCNF to SatSolver Begin
13.01/3.80	c (3,3) 1299 (10 %) CSP clauses are encoded (0 SAT variables, 50505 SAT clauses)
13.26/3.99	c (3,3) 2598 (20 %) CSP clauses are encoded (0 SAT variables, 78073 SAT clauses)
13.75/4.12	c (3,3) 3897 (30 %) CSP clauses are encoded (0 SAT variables, 103483 SAT clauses)
13.90/4.27	c (3,3) 5196 (40 %) CSP clauses are encoded (0 SAT variables, 131265 SAT clauses)
14.26/4.46	c (3,3) 6495 (50 %) CSP clauses are encoded (0 SAT variables, 160135 SAT clauses)
14.63/4.62	c (4,4) 7794 (60 %) CSP clauses are encoded (0 SAT variables, 189589 SAT clauses)
14.81/4.76	c (4,4) 9093 (70 %) CSP clauses are encoded (0 SAT variables, 218811 SAT clauses)
15.06/4.90	c (4,4) 10392 (80 %) CSP clauses are encoded (0 SAT variables, 248167 SAT clauses)
15.20/5.04	c (4,4) 11691 (90 %) CSP clauses are encoded (0 SAT variables, 276483 SAT clauses)
15.42/5.17	c (4,4) 12989 (100 %) CSP clauses are encoded (0 SAT variables, 302440 SAT clauses)
15.42/5.17	c (4,4) CSPinCNF to SatSolver End
15.42/5.17	c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 35 MiB used (max 0 MiB)
15.42/5.17	c (4,4) 31386 bool, 302452 clause
15.42/5.17	c (4,4) Export Begin
16.17/5.44	c (4,4) Export to HOME/scop-22825-serial-file.bin
16.17/5.44	c (4,4) Export End
16.17/5.45	c (4,4) Export File Size: 4.12 MB
16.17/5.45	c (4,4) 1,1,2,2,2,2,4,STOP-AFTER(DIMACS)
16.17/5.45	c END-Prog: Wed Sep 25 00:21:36 CEST 2019
16.17/5.47	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22825-serial-file.bin
16.26/5.93	c (0,0) Read Serial File Begin
16.26/5.93	c (0,0) HOME/scop-22825-serial-file.bin
17.44/6.29	c (0,0) Read Serial File End
17.74/6.31	
17.74/6.31	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
17.74/6.31	(Solving Process)
17.74/6.31	
17.74/6.33	c BEGIN-Prog: Wed Sep 25 00:21:37 CEST 2019
17.74/6.33	c PID: 22848
17.74/6.33	c IP: 172.20.3.139
17.74/6.33	c HOST: node139.alineos.net
17.74/6.33	c (0,0) SatSolver.solve Begin
17.74/6.33	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405146-1569363557.xml-scop-22828.cnf
17.74/6.36	c (0,0) c
17.74/6.36	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
17.74/6.36	c (0,0) c
17.74/6.36	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.74/6.36	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.74/6.36	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.74/6.36	c (0,0) c |                                                                                                       |
17.97/6.47	c (0,0) c |  Number of variables:         31386                                                                   |
17.97/6.47	c (0,0) c |  Number of clauses:          302452                                                                   |
17.97/6.47	c (0,0) c |  Parse time:                   0.11 s                                                                 |
17.97/6.47	c (0,0) c |                                                                                                       |
17.99/6.78	c (0,0) c |  Simplification time:          0.30 s                                                                 |
17.99/6.78	c (0,0) c |                                                                                                       |
17.99/6.78	c (0,0) c |  Generating clones                                                                                    |
17.99/6.92	c (1,0) c |  all clones generated. Memory =   245.87Mb.                                                           |
17.99/6.92	c (1,0) c ========================================================================================================|
17.99/6.92	c (1,0) c
17.99/6.92	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.99/6.92	c (1,0) c
17.99/6.92	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.99/6.92	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.99/6.92	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.99/6.92	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.99/6.92	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.99/6.92	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.99/6.92	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
17.99/6.92	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.99/6.92	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.99/6.92	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.99/6.92	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.99/6.92	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.99/6.92	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.99/6.92	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.99/6.92	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.99/6.92	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.99/6.92	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.99/6.92	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.99/6.92	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.33	c (1,0) c
21.21/7.33	c (1,0) c real time : 0.979216 s
21.21/7.33	c (1,0) c cpu time  : 3.26523 s
21.21/7.33	c (1,0) c
21.21/7.33	c (1,0) c
21.21/7.33	c (1,0) c
21.21/7.33	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
21.21/7.33	c (1,0) c
21.21/7.33	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.33	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.21/7.33	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.33	c (1,0) c | Conflicts     |           45740 |       5920 |       4658 |       6104 |       6187 |       5861 |       5458 |       5688 |       5864 |
21.21/7.33	c (1,0) c | Decisions     |           64946 |       7924 |       7243 |       8894 |       8271 |       8642 |       7684 |       8318 |       7970 |
21.21/7.33	c (1,0) c | Propagations  |         8649385 |    1146018 |     966884 |    1143601 |    1148908 |    1120281 |    1011126 |    1034694 |    1077873 |
21.21/7.33	c (1,0) c | ReduceDBs     |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
21.21/7.33	c (1,0) c | SimpDBs       |              14 |          2 |          1 |          2 |          1 |          2 |          2 |          2 |          2 |
21.21/7.33	c (1,0) c | Restarts      |              21 |          1 |          2 |          5 |          1 |          3 |          3 |          3 |          3 |
21.21/7.33	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.21/7.33	c (1,0) c | PropBinClauses|        16433805 |    2172925 |    1827463 |    2157776 |    2212530 |    2142879 |    1933987 |    1956781 |    2029464 |
21.21/7.33	c (1,0) c | PropPreBlocker|       141320754 |   18642247 |   15363221 |   18606939 |   19332839 |   18678783 |   16680211 |   16625879 |   17390635 |
21.21/7.33	c (1,0) c | PropNotBlocker|        43680916 |    5824668 |    4820237 |    5847479 |    5765733 |    5660160 |    5230561 |    5226863 |    5305215 |
21.21/7.33	c (1,0) c | LitFullScans  |       226184944 |   30000743 |   24003511 |   30025460 |   30006847 |   30010533 |   27181593 |   26990735 |   27965522 |
21.21/7.33	c (1,0) c | LitScanFracts |           37546 |        729 |        418 |      23580 |        875 |      10330 |        396 |        482 |        736 |
21.21/7.33	c (1,0) c | DecisionLevel0|              50 |          4 |          2 |          6 |          1 |          5 |          4 |         14 |         14 |
21.21/7.33	c (1,0) c | Periods       |              36 |          5 |          4 |          5 |          5 |          5 |          4 |          4 |          4 |
21.21/7.33	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
21.21/7.33	c (1,0) c | Avg_Trail     |                 |       2232 |       1810 |        971 |       3086 |       2231 |       1498 |        808 |       1260 |
21.21/7.33	c (1,0) c | Avg_DL        |                 |         77 |         57 |         21 |         87 |         59 |         33 |         12 |         25 |
21.21/7.33	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.21/7.33	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.21/7.33	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.33	c (1,0) c | Exported      |            5206 |        696 |        119 |        859 |        904 |        716 |        482 |        683 |        747 |
21.21/7.33	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.21/7.33	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.21/7.33	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.21/7.33	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.21/7.33	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.21/7.33	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
21.21/7.33	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.33	c (1,0) c | Unaries       |                 |          3 |          0 |          1 |          0 |          2 |          1 |         11 |         11 |
21.21/7.34	c (1,0) c | Binaries      |                 |         26 |          4 |          7 |          8 |         27 |         22 |         51 |         33 |
21.21/7.34	c (1,0) c | Glues         |                 |        193 |        119 |        203 |        191 |        208 |        198 |        247 |        261 |
21.21/7.34	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.34	c (1,0) c | Orig_Seen     |             3 % |       9480 |       9853 |       9346 |       9328 |       9637 |       9572 |       9418 |       9020 |
21.21/7.34	c (1,0) c | Diff Orig seen|                 |         62 |        435 | -       72 | -       90 |        219 |        154 |      X     | -      398 |
21.21/7.34	c (1,0) c | Hamming       |            17 % |       5107 |       5449 |       5521 |       5393 |       6836 |       5689 |      X     |       5240 |
21.21/7.34	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.34	c (1,0) c | RunningTime   |                 |    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|    0.4 100%|
21.21/7.34	c (1,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%|
21.21/7.34	c (1,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%|
21.21/7.34	c (1,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%|
21.21/7.34	c (1,0) c | SolvingTime   |                 |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |    0.4     |
21.21/7.34	c (1,0) c | PropagationTim|                 |    0.4  86%|    0.3  89%|    0.4  86%|    0.4  87%|    0.3  85%|    0.3  85%|    0.3  85%|    0.3  85%|
21.21/7.34	c (1,0) c | AnalysisTime  |                 |    0.0   8%|    0.0   7%|    0.0   9%|    0.0   9%|    0.0   9%|    0.0   8%|    0.0   8%|    0.0   9%|
21.21/7.34	c (1,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%|
21.21/7.34	c (1,0) c | SimplifyTime  |                 |    0.0   2%|    0.0   0%|    0.0   2%|    0.0   0%|    0.0   2%|    0.0   3%|    0.0   3%|    0.0   2%|
21.21/7.34	c (1,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%|
21.21/7.34	c (1,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%|
21.21/7.34	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.34	c (1,0) c
21.21/7.34	c (1,0) c
21.21/7.34	c (1,0) c Threads : 8
21.21/7.34	c (1,0) c Winner : 6
21.21/7.34	c (1,0) c Conflicts_0 : 5920
21.21/7.34	c (1,0) c Conflicts_1 : 4658
21.21/7.34	c (1,0) c Conflicts_2 : 6104
21.21/7.34	c (1,0) c Conflicts_3 : 6187
21.21/7.34	c (1,0) c Conflicts_4 : 5861
21.21/7.34	c (1,0) c Conflicts_5 : 5458
21.21/7.34	c (1,0) c Conflicts_6 : 5688
21.21/7.34	c (1,0) c Conflicts_7 : 5864
21.21/7.34	c (1,0) c Conflicts_total : 45740
21.21/7.34	c (1,0) c Conflicts_winner : 5688
21.21/7.34	c (1,0) c Decisions_0 : 7924
21.21/7.34	c (1,0) c Decisions_1 : 7243
21.21/7.34	c (1,0) c Decisions_2 : 8894
21.21/7.34	c (1,0) c Decisions_3 : 8271
21.21/7.34	c (1,0) c Decisions_4 : 8642
21.21/7.34	c (1,0) c Decisions_5 : 7684
21.21/7.34	c (1,0) c Decisions_6 : 8318
21.21/7.34	c (1,0) c Decisions_7 : 7970
21.21/7.34	c (1,0) c Decisions_total : 64946
21.21/7.34	c (1,0) c Decisions_winner : 8318
21.21/7.34	c (1,0) c Propagations_0 : 1146018
21.21/7.34	c (1,0) c Propagations_1 : 966884
21.21/7.34	c (1,0) c Propagations_2 : 1143601
21.21/7.34	c (1,0) c Propagations_3 : 1148908
21.21/7.34	c (1,0) c Propagations_4 : 1120281
21.21/7.34	c (1,0) c Propagations_5 : 1011126
21.21/7.34	c (1,0) c Propagations_6 : 1034694
21.21/7.34	c (1,0) c Propagations_7 : 1077873
21.21/7.34	c (1,0) c Propagations_total : 8649385
21.21/7.34	c (1,0) c Propagations_winner : 1034694
21.21/7.34	c (1,0) c ReduceDBs_0 : 1
21.21/7.34	c (1,0) c ReduceDBs_1 : 1
21.21/7.34	c (1,0) c ReduceDBs_2 : 1
21.21/7.34	c (1,0) c ReduceDBs_3 : 1
21.21/7.34	c (1,0) c ReduceDBs_4 : 1
21.21/7.34	c (1,0) c ReduceDBs_5 : 1
21.21/7.34	c (1,0) c ReduceDBs_6 : 1
21.21/7.34	c (1,0) c ReduceDBs_7 : 1
21.21/7.34	c (1,0) c ReduceDBs_total : 8
21.21/7.34	c (1,0) c ReduceDBs_winner : 1
21.21/7.34	c (1,0) c SimpDBs_0 : 2
21.21/7.34	c (1,0) c SimpDBs_1 : 1
21.21/7.34	c (1,0) c SimpDBs_2 : 2
21.21/7.34	c (1,0) c SimpDBs_3 : 1
21.21/7.34	c (1,0) c SimpDBs_4 : 2
21.21/7.34	c (1,0) c SimpDBs_5 : 2
21.21/7.34	c (1,0) c SimpDBs_6 : 2
21.21/7.34	c (1,0) c SimpDBs_7 : 2
21.21/7.34	c (1,0) c SimpDBs_total : 14
21.21/7.34	c (1,0) c SimpDBs_winner : 2
21.21/7.34	c (1,0) c Restarts_0 : 1
21.21/7.34	c (1,0) c Restarts_1 : 2
21.21/7.34	c (1,0) c Restarts_2 : 5
21.21/7.34	c (1,0) c Restarts_3 : 1
21.21/7.34	c (1,0) c Restarts_4 : 3
21.21/7.34	c (1,0) c Restarts_5 : 3
21.21/7.34	c (1,0) c Restarts_6 : 3
21.21/7.34	c (1,0) c Restarts_7 : 3
21.21/7.34	c (1,0) c Restarts_total : 21
21.21/7.34	c (1,0) c Restarts_winner : 3
21.21/7.34	c (1,0) c ForcedImports_0 : 0
21.21/7.34	c (1,0) c ForcedImports_1 : 0
21.21/7.34	c (1,0) c ForcedImports_2 : 0
21.21/7.34	c (1,0) c ForcedImports_3 : 0
21.21/7.34	c (1,0) c ForcedImports_4 : 0
21.21/7.34	c (1,0) c ForcedImports_5 : 0
21.21/7.34	c (1,0) c ForcedImports_6 : 0
21.21/7.34	c (1,0) c ForcedImports_7 : 0
21.21/7.34	c (1,0) c ForcedImports_total : 0
21.21/7.34	c (1,0) c ForcedImports_winner : 0
21.21/7.34	c (1,0) c PropsBinClauses_0 : 2172925
21.21/7.34	c (1,0) c PropsBinClauses_1 : 1827463
21.21/7.34	c (1,0) c PropsBinClauses_2 : 2157776
21.21/7.34	c (1,0) c PropsBinClauses_3 : 2212530
21.21/7.34	c (1,0) c PropsBinClauses_4 : 2142879
21.21/7.34	c (1,0) c PropsBinClauses_5 : 1933987
21.21/7.34	c (1,0) c PropsBinClauses_6 : 1956781
21.21/7.34	c (1,0) c PropsBinClauses_7 : 2029464
21.21/7.34	c (1,0) c PropsBinClauses_total : 16433805
21.21/7.34	c (1,0) c PropsBinClauses_winner : 1956781
21.21/7.34	c (1,0) c PropsPreBlocker_0 : 18642247
21.21/7.34	c (1,0) c PropsPreBlocker_1 : 15363221
21.21/7.34	c (1,0) c PropsPreBlocker_2 : 18606939
21.21/7.34	c (1,0) c PropsPreBlocker_3 : 19332839
21.21/7.34	c (1,0) c PropsPreBlocker_4 : 18678783
21.21/7.34	c (1,0) c PropsPreBlocker_5 : 16680211
21.21/7.34	c (1,0) c PropsPreBlocker_6 : 16625879
21.21/7.34	c (1,0) c PropsPreBlocker_7 : 17390635
21.21/7.34	c (1,0) c PropsPreBlocker_total : 141320754
21.21/7.34	c (1,0) c PropsPreBlocker_winner : 16625879
21.21/7.34	c (1,0) c PropsNotBlocker_0 : 5824668
21.21/7.34	c (1,0) c PropsNotBlocker_1 : 4820237
21.21/7.34	c (1,0) c PropsNotBlocker_2 : 5847479
21.21/7.34	c (1,0) c PropsNotBlocker_3 : 5765733
21.21/7.34	c (1,0) c PropsNotBlocker_4 : 5660160
21.21/7.34	c (1,0) c PropsNotBlocker_5 : 5230561
21.21/7.34	c (1,0) c PropsNotBlocker_6 : 5226863
21.21/7.34	c (1,0) c PropsNotBlocker_7 : 5305215
21.21/7.34	c (1,0) c PropsNotBlocker_total : 43680916
21.21/7.34	c (1,0) c PropsNotBlocker_winner : 5226863
21.21/7.34	c (1,0) c PropsLitFullScans_0 : 30000743
21.21/7.34	c (1,0) c PropsLitFullScans_1 : 24003511
21.21/7.34	c (1,0) c PropsLitFullScans_2 : 30025460
21.21/7.34	c (1,0) c PropsLitFullScans_3 : 30006847
21.21/7.34	c (1,0) c PropsLitFullScans_4 : 30010533
21.21/7.34	c (1,0) c PropsLitFullScans_5 : 27181593
21.21/7.34	c (1,0) c PropsLitFullScans_6 : 26990735
21.21/7.34	c (1,0) c PropsLitFullScans_7 : 27965522
21.21/7.34	c (1,0) c PropsLitFullScans_total : 226184944
21.21/7.34	c (1,0) c PropsLitFullScans_winner : 26990735
21.21/7.34	c (1,0) c LitScanFractions_0 : 729
21.21/7.34	c (1,0) c LitScanFractions_1 : 418
21.21/7.34	c (1,0) c LitScanFractions_2 : 23580
21.21/7.34	c (1,0) c LitScanFractions_3 : 875
21.21/7.34	c (1,0) c LitScanFractions_4 : 10330
21.21/7.34	c (1,0) c LitScanFractions_5 : 396
21.21/7.34	c (1,0) c LitScanFractions_6 : 482
21.21/7.34	c (1,0) c LitScanFractions_7 : 736
21.21/7.34	c (1,0) c LitScanFractions_total : 37546
21.21/7.34	c (1,0) c LitScanFractions_winner : 482
21.21/7.34	c (1,0) c DecisionLevel0_0 : 4
21.21/7.34	c (1,0) c DecisionLevel0_1 : 2
21.21/7.34	c (1,0) c DecisionLevel0_2 : 6
21.21/7.34	c (1,0) c DecisionLevel0_3 : 1
21.21/7.34	c (1,0) c DecisionLevel0_4 : 5
21.21/7.34	c (1,0) c DecisionLevel0_5 : 4
21.21/7.34	c (1,0) c DecisionLevel0_6 : 14
21.21/7.34	c (1,0) c DecisionLevel0_7 : 14
21.21/7.34	c (1,0) c DecisionLevel0_total : 50
21.21/7.34	c (1,0) c DecisionLevel0_winner : 14
21.21/7.34	c (1,0) c Periods_0 : 5
21.21/7.34	c (1,0) c Periods_1 : 4
21.21/7.34	c (1,0) c Periods_2 : 5
21.21/7.34	c (1,0) c Periods_3 : 5
21.21/7.34	c (1,0) c Periods_4 : 5
21.21/7.34	c (1,0) c Periods_5 : 4
21.21/7.34	c (1,0) c Periods_6 : 4
21.21/7.34	c (1,0) c Periods_7 : 4
21.21/7.34	c (1,0) c Periods_total : 36
21.21/7.34	c (1,0) c Periods_winner : 4
21.21/7.34	c (1,0) c Margin_0 : 20
21.21/7.34	c (1,0) c Margin_1 : 20
21.21/7.34	c (1,0) c Margin_2 : 20
21.21/7.34	c (1,0) c Margin_3 : 20
21.21/7.34	c (1,0) c Margin_4 : 20
21.21/7.34	c (1,0) c Margin_5 : 20
21.21/7.34	c (1,0) c Margin_6 : 20
21.21/7.34	c (1,0) c Margin_7 : 20
21.21/7.34	c (1,0) c Margin_total : 160
21.21/7.34	c (1,0) c Margin_winner : 20
21.21/7.34	c (1,0) c Exported_0 : 696
21.21/7.34	c (1,0) c Exported_1 : 119
21.21/7.34	c (1,0) c Exported_2 : 859
21.21/7.34	c (1,0) c Exported_3 : 904
21.21/7.34	c (1,0) c Exported_4 : 716
21.21/7.34	c (1,0) c Exported_5 : 482
21.21/7.34	c (1,0) c Exported_6 : 683
21.21/7.34	c (1,0) c Exported_7 : 747
21.21/7.34	c (1,0) c Exported_total : 5206
21.21/7.34	c (1,0) c Exported_winner : 683
21.21/7.34	c (1,0) c Imported_0 : 0
21.21/7.34	c (1,0) c Imported_1 : 0
21.21/7.34	c (1,0) c Imported_2 : 0
21.21/7.34	c (1,0) c Imported_3 : 0
21.21/7.34	c (1,0) c Imported_4 : 0
21.21/7.34	c (1,0) c Imported_5 : 0
21.21/7.34	c (1,0) c Imported_6 : 0
21.21/7.34	c (1,0) c Imported_7 : 0
21.21/7.34	c (1,0) c Imported_total : 0
21.21/7.34	c (1,0) c Imported_winner : 0
21.21/7.34	c (1,0) c Good_0 : 0
21.21/7.34	c (1,0) c Good_1 : 0
21.21/7.34	c (1,0) c Good_2 : 0
21.21/7.34	c (1,0) c Good_3 : 0
21.21/7.34	c (1,0) c Good_4 : 0
21.21/7.34	c (1,0) c Good_5 : 0
21.21/7.34	c (1,0) c Good_6 : 0
21.21/7.34	c (1,0) c Good_7 : 0
21.21/7.34	c (1,0) c Good_total : 0
21.21/7.34	c (1,0) c Good_winner : 0
21.21/7.34	c (1,0) c Purge_0 : 0
21.21/7.34	c (1,0) c Purge_1 : 0
21.21/7.34	c (1,0) c Purge_2 : 0
21.21/7.34	c (1,0) c Purge_3 : 0
21.21/7.34	c (1,0) c Purge_4 : 0
21.21/7.34	c (1,0) c Purge_5 : 0
21.21/7.34	c (1,0) c Purge_6 : 0
21.21/7.34	c (1,0) c Purge_7 : 0
21.21/7.34	c (1,0) c Purge_total : 0
21.21/7.34	c (1,0) c Purge_winner : 0
21.21/7.34	c (1,0) c Promoted_0 : 0
21.21/7.34	c (1,0) c Promoted_1 : 0
21.21/7.34	c (1,0) c Promoted_2 : 0
21.21/7.34	c (1,0) c Promoted_3 : 0
21.21/7.34	c (1,0) c Promoted_4 : 0
21.21/7.34	c (1,0) c Promoted_5 : 0
21.21/7.34	c (1,0) c Promoted_6 : 0
21.21/7.34	c (1,0) c Promoted_7 : 0
21.21/7.34	c (1,0) c Promoted_total : 0
21.21/7.34	c (1,0) c Promoted_winner : 0
21.21/7.34	c (1,0) c Remove_Imp_0 : 0
21.21/7.34	c (1,0) c Remove_Imp_1 : 0
21.21/7.34	c (1,0) c Remove_Imp_2 : 0
21.21/7.34	c (1,0) c Remove_Imp_3 : 0
21.21/7.34	c (1,0) c Remove_Imp_4 : 0
21.21/7.34	c (1,0) c Remove_Imp_5 : 0
21.21/7.34	c (1,0) c Remove_Imp_6 : 0
21.21/7.34	c (1,0) c Remove_Imp_7 : 0
21.21/7.34	c (1,0) c Remove_Imp_total : 0
21.21/7.34	c (1,0) c Remove_Imp_winner : 0
21.21/7.34	c (1,0) c Blocked_Reuse_0 : 0
21.21/7.34	c (1,0) c Blocked_Reuse_1 : 0
21.21/7.34	c (1,0) c Blocked_Reuse_2 : 0
21.21/7.34	c (1,0) c Blocked_Reuse_3 : 0
21.21/7.34	c (1,0) c Blocked_Reuse_4 : 0
21.21/7.34	c (1,0) c Blocked_Reuse_5 : 0
21.21/7.34	c (1,0) c Blocked_Reuse_6 : 0
21.21/7.34	c (1,0) c Blocked_Reuse_7 : 0
21.21/7.34	c (1,0) c Blocked_Reuse_total : 0
21.21/7.34	c (1,0) c Blocked_Reuse_winner : 0
21.21/7.34	c (1,0) c Unaries_0 : 3
21.21/7.34	c (1,0) c Unaries_1 : 0
21.21/7.35	c (1,0) c Unaries_2 : 1
21.21/7.35	c (1,0) c Unaries_3 : 0
21.21/7.35	c (1,0) c Unaries_4 : 2
21.21/7.35	c (1,0) c Unaries_5 : 1
21.21/7.35	c (1,0) c Unaries_6 : 11
21.21/7.35	c (1,0) c Unaries_7 : 11
21.21/7.35	c (1,0) c Unaries_total : 29
21.21/7.35	c (1,0) c Unaries_winner : 11
21.21/7.35	c (1,0) c Binaries_0 : 26
21.21/7.35	c (1,0) c Binaries_1 : 4
21.21/7.35	c (1,0) c Binaries_2 : 7
21.21/7.35	c (1,0) c Binaries_3 : 8
21.21/7.35	c (1,0) c Binaries_4 : 27
21.21/7.35	c (1,0) c Binaries_5 : 22
21.21/7.35	c (1,0) c Binaries_6 : 51
21.21/7.35	c (1,0) c Binaries_7 : 33
21.21/7.35	c (1,0) c Binaries_total : 178
21.21/7.35	c (1,0) c Binaries_winner : 51
21.21/7.35	c (1,0) c Glues_0 : 193
21.21/7.35	c (1,0) c Glues_1 : 119
21.21/7.35	c (1,0) c Glues_2 : 203
21.21/7.35	c (1,0) c Glues_3 : 191
21.21/7.35	c (1,0) c Glues_4 : 208
21.21/7.35	c (1,0) c Glues_5 : 198
21.21/7.35	c (1,0) c Glues_6 : 247
21.21/7.35	c (1,0) c Glues_7 : 261
21.21/7.35	c (1,0) c Glues_total : 1620
21.21/7.35	c (1,0) c Glues_winner : 247
21.21/7.35	c (1,0) c RunningTime_0 : 0.410167
21.21/7.35	c (1,0) c RunningTime_1 : 0.374672
21.21/7.35	c (1,0) c RunningTime_2 : 0.412891
21.21/7.35	c (1,0) c RunningTime_3 : 0.402463
21.21/7.35	c (1,0) c RunningTime_4 : 0.394562
21.21/7.35	c (1,0) c RunningTime_5 : 0.385622
21.21/7.35	c (1,0) c RunningTime_6 : 0.388036
21.21/7.35	c (1,0) c RunningTime_7 : 0.369236
21.21/7.35	c (1,0) c RunningTime_total : 3.137648
21.21/7.35	c (1,0) c RunningTime_winner : 0.388036
21.21/7.35	c (1,0) c WaitingTime_0 : 0.000000
21.21/7.35	c (1,0) c WaitingTime_1 : 0.000000
21.21/7.35	c (1,0) c WaitingTime_2 : 0.000000
21.21/7.35	c (1,0) c WaitingTime_3 : 0.000000
21.21/7.35	c (1,0) c WaitingTime_4 : 0.000000
21.21/7.35	c (1,0) c WaitingTime_5 : 0.000000
21.21/7.35	c (1,0) c WaitingTime_6 : 0.000000
21.21/7.35	c (1,0) c WaitingTime_7 : 0.000000
21.21/7.35	c (1,0) c WaitingTime_total : 0.000000
21.21/7.35	c (1,0) c WaitingTime_winner : 0.000000
21.21/7.35	c (1,0) c ExchangingTime_0 : 0.000358
21.21/7.35	c (1,0) c ExchangingTime_1 : 0.000320
21.21/7.35	c (1,0) c ExchangingTime_2 : 0.001217
21.21/7.35	c (1,0) c ExchangingTime_3 : 0.000399
21.21/7.35	c (1,0) c ExchangingTime_4 : 0.000384
21.21/7.35	c (1,0) c ExchangingTime_5 : 0.000414
21.21/7.35	c (1,0) c ExchangingTime_6 : 0.000402
21.21/7.35	c (1,0) c ExchangingTime_7 : 0.000389
21.21/7.35	c (1,0) c ExchangingTime_total : 0.003882
21.21/7.35	c (1,0) c ExchangingTime_winner : 0.000402
21.21/7.35	c (1,0) c PeriodProcTime_0 : 0.000037
21.21/7.35	c (1,0) c PeriodProcTime_1 : 0.000030
21.21/7.35	c (1,0) c PeriodProcTime_2 : 0.000034
21.21/7.35	c (1,0) c PeriodProcTime_3 : 0.000035
21.21/7.35	c (1,0) c PeriodProcTime_4 : 0.000036
21.21/7.35	c (1,0) c PeriodProcTime_5 : 0.000033
21.21/7.35	c (1,0) c PeriodProcTime_6 : 0.000022
21.21/7.35	c (1,0) c PeriodProcTime_7 : 0.000058
21.21/7.35	c (1,0) c PeriodProcTime_total : 0.000285
21.21/7.35	c (1,0) c PeriodProcTime_winner : 0.000022
21.21/7.35	c (1,0) c SolvingTime_0 : 0.410562
21.21/7.35	c (1,0) c SolvingTime_1 : 0.375021
21.21/7.35	c (1,0) c SolvingTime_2 : 0.414142
21.21/7.35	c (1,0) c SolvingTime_3 : 0.402897
21.21/7.35	c (1,0) c SolvingTime_4 : 0.394983
21.21/7.35	c (1,0) c SolvingTime_5 : 0.386069
21.21/7.35	c (1,0) c SolvingTime_6 : 0.388460
21.21/7.35	c (1,0) c SolvingTime_7 : 0.369682
21.21/7.35	c (1,0) c SolvingTime_total : 3.141816
21.21/7.35	c (1,0) c SolvingTime_winner : 0.388460
21.21/7.35	c (1,0) c PropagationTime_0 : 0.353412
21.21/7.35	c (1,0) c PropagationTime_1 : 0.333727
21.21/7.35	c (1,0) c PropagationTime_2 : 0.354614
21.21/7.35	c (1,0) c PropagationTime_3 : 0.350812
21.21/7.35	c (1,0) c PropagationTime_4 : 0.335202
21.21/7.35	c (1,0) c PropagationTime_5 : 0.328316
21.21/7.35	c (1,0) c PropagationTime_6 : 0.332003
21.21/7.35	c (1,0) c PropagationTime_7 : 0.313733
21.21/7.35	c (1,0) c PropagationTime_total : 2.701819
21.21/7.35	c (1,0) c PropagationTime_winner : 0.332003
21.21/7.35	c (1,0) c AnalysisTime_0 : 0.034622
21.21/7.35	c (1,0) c AnalysisTime_1 : 0.027791
21.21/7.35	c (1,0) c AnalysisTime_2 : 0.035260
21.21/7.35	c (1,0) c AnalysisTime_3 : 0.036262
21.21/7.35	c (1,0) c AnalysisTime_4 : 0.034508
21.21/7.35	c (1,0) c AnalysisTime_5 : 0.032641
21.21/7.35	c (1,0) c AnalysisTime_6 : 0.032123
21.21/7.35	c (1,0) c AnalysisTime_7 : 0.033519
21.21/7.35	c (1,0) c AnalysisTime_total : 0.266726
21.21/7.35	c (1,0) c AnalysisTime_winner : 0.032123
21.21/7.35	c (1,0) c ReductionTime_0 : 0.000304
21.21/7.35	c (1,0) c ReductionTime_1 : 0.000312
21.21/7.35	c (1,0) c ReductionTime_2 : 0.000317
21.21/7.35	c (1,0) c ReductionTime_3 : 0.000315
21.21/7.35	c (1,0) c ReductionTime_4 : 0.000315
21.21/7.35	c (1,0) c ReductionTime_5 : 0.000304
21.21/7.35	c (1,0) c ReductionTime_6 : 0.000321
21.21/7.35	c (1,0) c ReductionTime_7 : 0.000309
21.21/7.35	c (1,0) c ReductionTime_total : 0.002497
21.21/7.35	c (1,0) c ReductionTime_winner : 0.000321
21.21/7.35	c (1,0) c SimplifyTime_0 : 0.006913
21.21/7.35	c (1,0) c SimplifyTime_1 : 0.000000
21.21/7.35	c (1,0) c SimplifyTime_2 : 0.006952
21.21/7.35	c (1,0) c SimplifyTime_3 : 0.000000
21.21/7.35	c (1,0) c SimplifyTime_4 : 0.008148
21.21/7.35	c (1,0) c SimplifyTime_5 : 0.010014
21.21/7.35	c (1,0) c SimplifyTime_6 : 0.009809
21.21/7.35	c (1,0) c SimplifyTime_7 : 0.007425
21.21/7.35	c (1,0) c SimplifyTime_total : 0.049261
21.21/7.35	c (1,0) c SimplifyTime_winner : 0.009809
21.21/7.35	c (1,0) c UsedRateTime_0 : 0.000000
21.21/7.35	c (1,0) c UsedRateTime_1 : 0.000000
21.21/7.35	c (1,0) c UsedRateTime_2 : 0.000000
21.21/7.35	c (1,0) c UsedRateTime_3 : 0.000000
21.21/7.35	c (1,0) c UsedRateTime_4 : 0.000000
21.21/7.35	c (1,0) c UsedRateTime_5 : 0.000000
21.21/7.35	c (1,0) c UsedRateTime_6 : 0.000000
21.21/7.35	c (1,0) c UsedRateTime_7 : 0.000000
21.21/7.35	c (1,0) c UsedRateTime_total : 0.000000
21.21/7.35	c (1,0) c UsedRateTime_winner : 0.000000
21.21/7.35	c (1,0) c OverlapRateTime_0 : 0.000000
21.21/7.35	c (1,0) c OverlapRateTime_1 : 0.000000
21.21/7.35	c (1,0) c OverlapRateTime_2 : 0.000000
21.21/7.35	c (1,0) c OverlapRateTime_3 : 0.000000
21.21/7.35	c (1,0) c OverlapRateTime_4 : 0.000000
21.21/7.35	c (1,0) c OverlapRateTime_5 : 0.000000
21.21/7.35	c (1,0) c OverlapRateTime_6 : 0.000000
21.21/7.35	c (1,0) c OverlapRateTime_7 : 0.000000
21.21/7.35	c (1,0) c OverlapRateTime_total : 0.000000
21.21/7.35	c (1,0) c OverlapRateTime_winner : 0.000000
21.21/7.35	c (1,0) c
21.21/7.35	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.21/7.35	c (1,0) c
21.21/7.35	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.35	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.21/7.35	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.35	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.21/7.35	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.21/7.35	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.21/7.35	c (1,0) c | Initial random_seed   |  677538093 |  795673928 | 1659889978 | 1022587605 | 1668157525 |  869522388 |  585276997 | 1950353840 |
21.21/7.35	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.21/7.35	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.21/7.35	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.21/7.35	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.21/7.35	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.21/7.35	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.21/7.35	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.21/7.35	c (1,0) c | var_decay             |     0.8100 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |     0.8100 |
21.21/7.35	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.21/7.35	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.21/7.35	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.21/7.35	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.21/7.35	c (1,0) 
21.21/7.35	c (1,0) s UNSATISFIABLE
21.21/7.35	c (1,0) SatSolver.solve End
21.21/7.35	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
21.21/7.35	c (1,0) Show results Begin
21.21/7.35	s UNSATISFIABLE
21.21/7.35	c (1,0) Show results End
21.21/7.35	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
21.21/7.36	c (1,0) 1,1,STOP-AFTER(ALL)
21.21/7.36	c END-Prog: Wed Sep 25 00:21:38 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 (13185 MiB free)
  memory of node 1: 16384 MiB (11621 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405146-1569363557/watcher-4405146-1569363557 -o /tmp/evaluation-result-4405146-1569363557/solver-4405146-1569363557 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --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-4405146-1569363557.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=22825, runsolver pid=22822
Current StackSize limit: 8192 KiB


[startup+0.100132 s]*
/proc/loadavg: 2.17 1.74 2.82 2/212 22847
/proc/meminfo: memFree=25306364/32770624 swapFree=66941064/67108860
[pid=22825] ppid=22822 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/22825/stat : 22825 (scop.sh) S 22822 22825 20843 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512626557 115843072 348 33554432000 4194304 5098028 140734078213648 140734078210904 140325449695868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12652544 140734078214949 140734078215276 140734078215276 140734078218189 0
/proc/22825/statm: 28282 348 296 221 0 87 0
[pid=22828] ppid=22825 vsize=27314120 memory=107676 CPUtime=0.11 cores=0-7
/proc/22828/stat : 22828 (java) S 22825 22825 20843 0 -1 1077944320 6484 0 0 0 8 3 0 0 20 0 20 0 512626557 27969658880 26919 33554432000 4194304 4196468 140730435300400 140730435282944 139668707647223 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
/proc/22828/statm: 6828530 26919 2802 1 0 6790935 0
[pid=22828/tid=22829] ppid=22825 vsize=27314120 memory=8256957874457977241 CPUtime=0.08 cores=0-7
/proc/22828/task/22829/stat : 22829 (java) R 22825 22825 20843 0 -1 4202560 4599 0 0 0 6 2 0 0 20 0 20 0 512626558 27969658880 27431 33554432000 4194304 4196468 140730435300400 139668679460736 139668691727710 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22830] ppid=22825 vsize=27314120 memory=732370466097388517 CPUtime=0 cores=0-7
/proc/22828/task/22830/stat : 22830 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 27431 33554432000 4194304 4196468 140730435300400 139668711889552 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22831] ppid=22825 vsize=27314120 memory=140327759935104 CPUtime=0 cores=0-7
/proc/22828/task/22831/stat : 22831 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 27431 33554432000 4194304 4196468 140730435300400 139668526045712 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22832] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22832/stat : 22832 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 27431 33554432000 4194304 4196468 140730435300400 139668524992912 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22833] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22833/stat : 22833 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 27431 33554432000 4194304 4196468 140730435300400 139668523940112 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22834] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22834/stat : 22834 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 27431 33554432000 4194304 4196468 140730435300400 139668522888336 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22835] ppid=22825 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22828/task/22835/stat : 22835 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 27431 33554432000 4194304 4196468 140730435300400 139668521835536 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22836] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22836/stat : 22836 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 27431 33554432000 4194304 4196468 140730435300400 139668520782736 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22837] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22837/stat : 22837 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 27431 33554432000 4194304 4196468 140730435300400 139668519729936 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22838] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22838/stat : 22838 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626562 27969658880 27431 33554432000 4194304 4196468 140730435300400 139666893273456 139668707658370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22839] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22839/stat : 22839 (java) S 22825 22825 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512626562 27969658880 27431 33554432000 4194304 4196468 140730435300400 139666632205344 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22840] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22840/stat : 22840 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626562 27969658880 27431 33554432000 4194304 4196468 140730435300400 139666363769712 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22841] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22841/stat : 22841 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 27431 33554432000 4194304 4196468 140730435300400 139665989261136 139668707665819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22842] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22842/stat : 22842 (java) S 22825 22825 20843 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 27431 33554432000 4194304 4196468 140730435300400 139666892221296 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22843] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22843/stat : 22843 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 27431 33554432000 4194304 4196468 140730435300400 139666891168496 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22844] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22844/stat : 22844 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 27431 33554432000 4194304 4196468 140730435300400 139666890115696 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22845] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22845/stat : 22845 (java) S 22825 22825 20843 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 27431 33554432000 4194304 4196468 140730435300400 139666889062896 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22846] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22846/stat : 22846 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 27431 33554432000 4194304 4196468 140730435300400 139665491356256 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22847] ppid=22825 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22828/task/22847/stat : 22847 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 27431 33554432000 4194304 4196468 140730435300400 139666888010288 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109068 KiB

[startup+0.21151 s]*
/proc/loadavg: 2.17 1.74 2.82 2/212 22847
/proc/meminfo: memFree=25287992/32770624 swapFree=66941064/67108860
[pid=22825] ppid=22822 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/22825/stat : 22825 (scop.sh) S 22822 22825 20843 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512626557 115843072 348 33554432000 4194304 5098028 140734078213648 140734078210904 140325449695868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12652544 140734078214949 140734078215276 140734078215276 140734078218189 0
/proc/22825/statm: 28282 348 296 221 0 87 0
[pid=22828] ppid=22825 vsize=27314120 memory=124548 CPUtime=0.25 cores=0-7
/proc/22828/stat : 22828 (java) S 22825 22825 20843 0 -1 1077944320 11473 0 0 0 20 5 0 0 20 0 20 0 512626557 27969658880 31137 33554432000 4194304 4196468 140730435300400 140730435282944 139668707647223 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
/proc/22828/statm: 6828530 31137 2929 1 0 6790935 0
[pid=22828/tid=22829] ppid=22825 vsize=27314120 memory=576460756329955521 CPUtime=0.2 cores=0-7
/proc/22828/task/22829/stat : 22829 (java) R 22825 22825 20843 0 -1 4202560 9203 0 0 0 16 4 0 0 20 0 20 0 512626558 27969658880 31137 33554432000 4194304 4196468 140730435300400 139668679446608 139668691727710 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22830] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22830/stat : 22830 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31137 33554432000 4194304 4196468 140730435300400 139668711889552 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22831] ppid=22825 vsize=27314120 memory=140327759956400 CPUtime=0 cores=0-7
/proc/22828/task/22831/stat : 22831 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31137 33554432000 4194304 4196468 140730435300400 139668526045712 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22832] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22832/stat : 22832 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31137 33554432000 4194304 4196468 140730435300400 139668524992912 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22833] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22833/stat : 22833 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31137 33554432000 4194304 4196468 140730435300400 139668523940112 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22834] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22834/stat : 22834 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31137 33554432000 4194304 4196468 140730435300400 139668522888336 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22835] ppid=22825 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22828/task/22835/stat : 22835 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31137 33554432000 4194304 4196468 140730435300400 139668521835536 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22836] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22836/stat : 22836 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31137 33554432000 4194304 4196468 140730435300400 139668520782736 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22837] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22837/stat : 22837 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31137 33554432000 4194304 4196468 140730435300400 139668519729936 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22838] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22838/stat : 22838 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626562 27969658880 31137 33554432000 4194304 4196468 140730435300400 139666893273456 139668707658370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22839] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22839/stat : 22839 (java) S 22825 22825 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512626562 27969658880 31137 33554432000 4194304 4196468 140730435300400 139666632205344 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22840] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22840/stat : 22840 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626562 27969658880 31137 33554432000 4194304 4196468 140730435300400 139666363769712 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22841] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22841/stat : 22841 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 31137 33554432000 4194304 4196468 140730435300400 139665989261136 139668707665819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22842] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22842/stat : 22842 (java) S 22825 22825 20843 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 31137 33554432000 4194304 4196468 140730435300400 139666892221296 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22843] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22843/stat : 22843 (java) S 22825 22825 20843 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 31137 33554432000 4194304 4196468 140730435300400 139666891168496 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22844] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22844/stat : 22844 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 31137 33554432000 4194304 4196468 140730435300400 139666890115696 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22845] ppid=22825 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22828/task/22845/stat : 22845 (java) S 22825 22825 20843 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 20 0 512626565 27969658880 31137 33554432000 4194304 4196468 140730435300400 139666889062896 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22846] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22846/stat : 22846 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 31137 33554432000 4194304 4196468 140730435300400 139665491356256 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22847] ppid=22825 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22828/task/22847/stat : 22847 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 31137 33554432000 4194304 4196468 140730435300400 139666888010288 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125940 KiB

[startup+0.310341 s]*
/proc/loadavg: 2.17 1.74 2.82 2/212 22847
/proc/meminfo: memFree=25285700/32770624 swapFree=66941064/67108860
[pid=22825] ppid=22822 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/22825/stat : 22825 (scop.sh) S 22822 22825 20843 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512626557 115843072 348 33554432000 4194304 5098028 140734078213648 140734078210904 140325449695868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12652544 140734078214949 140734078215276 140734078215276 140734078218189 0
/proc/22825/statm: 28282 348 296 221 0 87 0
[pid=22828] ppid=22825 vsize=27314120 memory=127960 CPUtime=0.43 cores=0-7
/proc/22828/stat : 22828 (java) S 22825 22825 20843 0 -1 1077944320 11929 0 0 0 38 5 0 0 20 0 20 0 512626557 27969658880 31990 33554432000 4194304 4196468 140730435300400 140730435282944 139668707647223 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
/proc/22828/statm: 6828530 31990 2970 1 0 6790935 0
[pid=22828/tid=22829] ppid=22825 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/22828/task/22829/stat : 22829 (java) R 22825 22825 20843 0 -1 4202560 9471 0 0 0 26 4 0 0 20 0 20 0 512626558 27969658880 31990 33554432000 4194304 4196468 140730435300400 139668679477296 139668689210752 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22830] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22830/stat : 22830 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31990 33554432000 4194304 4196468 140730435300400 139668711889552 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22831] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22831/stat : 22831 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31990 33554432000 4194304 4196468 140730435300400 139668526045712 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22832] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22832/stat : 22832 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31990 33554432000 4194304 4196468 140730435300400 139668524992912 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22833] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22833/stat : 22833 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31990 33554432000 4194304 4196468 140730435300400 139668523940112 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22834] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22834/stat : 22834 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31990 33554432000 4194304 4196468 140730435300400 139668522888336 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22835] ppid=22825 vsize=27314120 memory=140327654615727 CPUtime=0 cores=0-7
/proc/22828/task/22835/stat : 22835 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31990 33554432000 4194304 4196468 140730435300400 139668521835536 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22836] ppid=22825 vsize=27314120 memory=140327654618032 CPUtime=0 cores=0-7
/proc/22828/task/22836/stat : 22836 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31990 33554432000 4194304 4196468 140730435300400 139668520782736 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22837] ppid=22825 vsize=27314120 memory=140327654620336 CPUtime=0 cores=0-7
/proc/22828/task/22837/stat : 22837 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626560 27969658880 31990 33554432000 4194304 4196468 140730435300400 139668519729936 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22838] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22838/stat : 22838 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626562 27969658880 31990 33554432000 4194304 4196468 140730435300400 139666893273456 139668707658370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22839] ppid=22825 vsize=27314120 memory=280655309254544 CPUtime=0 cores=0-7
/proc/22828/task/22839/stat : 22839 (java) S 22825 22825 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512626562 27969658880 31990 33554432000 4194304 4196468 140730435300400 139666632205344 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22840] ppid=22825 vsize=27314120 memory=280655309252240 CPUtime=0 cores=0-7
/proc/22828/task/22840/stat : 22840 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626562 27969658880 31990 33554432000 4194304 4196468 140730435300400 139666363769712 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22841] ppid=22825 vsize=27314120 memory=280655309259152 CPUtime=0 cores=0-7
/proc/22828/task/22841/stat : 22841 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 31990 33554432000 4194304 4196468 140730435300400 139665989261136 139668707665819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22842] ppid=22825 vsize=27314120 memory=280655309200432 CPUtime=0.01 cores=0-7
/proc/22828/task/22842/stat : 22842 (java) S 22825 22825 20843 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 20 0 512626565 27969658880 31990 33554432000 4194304 4196468 140730435300400 139666892221296 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22843] ppid=22825 vsize=27314120 memory=280655309272976 CPUtime=0 cores=0-7
/proc/22828/task/22843/stat : 22843 (java) S 22825 22825 20843 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 31990 33554432000 4194304 4196468 140730435300400 139666891168496 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22844] ppid=22825 vsize=27314120 memory=280655309279888 CPUtime=0.01 cores=0-7
/proc/22828/task/22844/stat : 22844 (java) S 22825 22825 20843 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 512626565 27969658880 31990 33554432000 4194304 4196468 140730435300400 139666890115696 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22845] ppid=22825 vsize=27314120 memory=280655309277584 CPUtime=0.07 cores=0-7
/proc/22828/task/22845/stat : 22845 (java) S 22825 22825 20843 0 -1 1077944384 485 0 0 0 7 0 0 0 20 0 20 0 512626565 27969658880 31990 33554432000 4194304 4196468 140730435300400 139666889062896 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22846] ppid=22825 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22846/stat : 22846 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 31990 33554432000 4194304 4196468 140730435300400 139665491356256 139668707657429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22847] ppid=22825 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22828/task/22847/stat : 22847 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626565 27969658880 31990 33554432000 4194304 4196468 140730435300400 139666888010288 139668707658370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129352 KiB

[startup+0.701339 s]
/proc/loadavg: 2.17 1.74 2.82 3/212 22847
/proc/meminfo: memFree=25261640/32770624 swapFree=66941064/67108860
[pid=22825] ppid=22822 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/22825/stat : 22825 (scop.sh) S 22822 22825 20843 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512626557 115843072 348 33554432000 4194304 5098028 140734078213648 140734078210904 140325449695868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12652544 140734078214949 140734078215276 140734078215276 140734078218189 0
/proc/22825/statm: 28282 348 296 221 0 87 0
[pid=22828] ppid=22825 vsize=27320392 memory=165792 CPUtime=1.01 cores=0-7
/proc/22828/stat : 22828 (java) S 22825 22825 20843 0 -1 1077944320 20019 0 0 0 94 7 0 0 20 0 20 0 512626557 27976081408 41448 33554432000 4194304 4196468 140730435300400 140730435282944 139668707647223 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
/proc/22828/statm: 6830098 41448 3184 1 0 6791447 0
[pid=22828/tid=22829] ppid=22825 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/22828/task/22829/stat : 22829 (java) R 22825 22825 20843 0 -1 4202560 16920 0 0 0 62 6 0 0 20 0 20 0 512626558 27976081408 41448 33554432000 4194304 4196468 140730435300400 139668679484800 139668192588111 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22830] ppid=22825 vsize=27320392 memory=2353 CPUtime=0 cores=0-7
/proc/22828/task/22830/stat : 22830 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512626560 27976081408 41448 33554432000 4194304 4196468 140730435300400 139668711889552 139668707657429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22831] ppid=22825 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/22828/task/22831/stat : 22831 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512626560 27976081408 41448 33554432000 4194304 4196468 140730435300400 139668526045712 139668707657429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0
[pid=22828/tid=22832] ppid=22825 vsize=27320392 memory=10728 CPUtime=0 cores=0-7
/proc/22828/task/22832/stat : 22832 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512626560 27976081408 41448 33554432000 4194304 4196468 140730435300400 139668524992912 139668707657429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35024896 140730435306219 140730435306646 140730435306646 140730435309519 0

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

[pid=22848/tid=22866] ppid=22825 vsize=8414124 memory=280655309814976 CPUtime=0 cores=0-7
/proc/22848/task/22866/stat : 22866 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512627111 8616062976 34130 33554432000 4194304 4196468 140734850131760 140098679073888 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22867] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22867/stat : 22867 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627111 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100333636656 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
Current children cumulated CPU time: 17.99 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 137992 KiB

[startup+7.20131 s]
/proc/loadavg: 2.24 1.76 2.82 7/225 22881
/proc/meminfo: memFree=25030392/32770624 swapFree=66941064/67108860
[pid=22825] ppid=22822 vsize=113128 memory=1472 CPUtime=16.26 cores=0-7
/proc/22825/stat : 22825 (scop.sh) S 22822 22825 20843 0 -1 4202496 582 34608 0 0 0 0 1572 54 20 0 1 0 512626557 115843072 368 33554432000 4194304 5098028 140734078213648 140734078210392 140325449695868 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12652544 140734078214949 140734078215276 140734078215276 140734078218189 0
/proc/22825/statm: 28282 368 311 221 0 87 0
[pid=22848] ppid=22825 vsize=8414124 memory=136520 CPUtime=1.73 cores=0-7
/proc/22848/stat : 22848 (java) S 22825 22825 20843 0 -1 1077944320 21004 0 0 0 160 13 0 0 20 0 24 0 512627104 8616062976 34130 33554432000 4194304 4196468 140734850131760 140734850114304 140101245918967 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
/proc/22848/statm: 2103531 34130 3211 1 0 2064875 0
[pid=22868] ppid=22848 vsize=841888 memory=241480 CPUtime=2.43 cores=0-7
/proc/22868/stat : 22868 (manyglucose-4.1) S 22848 22825 20843 0 -1 1077944320 39518 0 0 0 235 8 0 0 20 0 9 0 512627193 862093312 60370 33554432000 4194304 4454172 140722875821856 140722875820256 140076994038402 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
/proc/22868/statm: 210472 60370 407 64 0 206140 0
[pid=22868/tid=22874] ppid=22848 vsize=841888 memory=280655309535520 CPUtime=0.23 cores=0-7
/proc/22868/task/22874/stat : 22874 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 388 0 0 0 23 0 0 0 20 0 9 0 512627249 862093312 60370 33554432000 4194304 4454172 140722875821856 140076953812072 4351800 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22875] ppid=22848 vsize=841888 memory=100307149261290 CPUtime=0.22 cores=0-7
/proc/22868/task/22875/stat : 22875 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 452 0 0 0 22 0 0 0 20 0 9 0 512627249 862093312 60370 33554432000 4194304 4454172 140722875821856 140076945419048 4332620 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22876] ppid=22848 vsize=841888 memory=100307149261290 CPUtime=0.22 cores=0-7
/proc/22868/task/22876/stat : 22876 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 459 0 0 0 22 0 0 0 20 0 9 0 512627249 862093312 60370 33554432000 4194304 4454172 140722875821856 140076937026472 4351502 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22877] ppid=22848 vsize=841888 memory=100307149261034 CPUtime=0.23 cores=0-7
/proc/22868/task/22877/stat : 22877 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 364 0 0 0 23 0 0 0 20 0 9 0 512627249 862093312 60370 33554432000 4194304 4454172 140722875821856 140076928633640 4333375 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22878] ppid=22848 vsize=841888 memory=2338945238529 CPUtime=0.23 cores=0-7
/proc/22868/task/22878/stat : 22878 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 461 0 0 0 23 0 0 0 20 0 9 0 512627249 862093312 60370 33554432000 4194304 4454172 140722875821856 140076920240936 140076979328813 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22879] ppid=22848 vsize=841888 memory=2442024453377 CPUtime=0.23 cores=0-7
/proc/22868/task/22879/stat : 22879 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 423 0 0 0 23 0 0 0 20 0 9 0 512627249 862093312 60370 33554432000 4194304 4454172 140722875821856 140076911848232 4351782 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22880] ppid=22848 vsize=841888 memory=1748 CPUtime=0.22 cores=0-7
/proc/22868/task/22880/stat : 22880 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 423 0 0 0 22 0 0 0 20 0 9 0 512627249 862093312 60370 33554432000 4194304 4454172 140722875821856 140076903455544 4322194 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22881] ppid=22848 vsize=841888 memory=111632 CPUtime=0.23 cores=0-7
/proc/22868/task/22881/stat : 22881 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 405 0 0 0 23 0 0 0 20 0 9 0 512627249 862093312 60370 33554432000 4194304 4454172 140722875821856 140076895062824 4351492 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22848/tid=22849] ppid=22825 vsize=8414124 memory=808 CPUtime=0.91 cores=0-7
/proc/22848/task/22849/stat : 22849 (java) S 22825 22825 20843 0 -1 1077944384 16879 0 0 0 81 10 0 0 20 0 24 0 512627104 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101217759136 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22850] ppid=22825 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/22848/task/22850/stat : 22850 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101250161808 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22851] ppid=22825 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/22848/task/22851/stat : 22851 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101050330128 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22852] ppid=22825 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/22848/task/22852/stat : 22852 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101049277328 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22853] ppid=22825 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/22848/task/22853/stat : 22853 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101048224528 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22854] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22854/stat : 22854 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101047171728 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22855] ppid=22825 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/22848/task/22855/stat : 22855 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101046118928 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22856] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22856/stat : 22856 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101045066128 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22857] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22857/stat : 22857 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101044013328 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22858] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22858/stat : 22858 (java) S 22825 22825 20843 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512627107 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100338899824 140101245930114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22859] ppid=22825 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/22848/task/22859/stat : 22859 (java) S 22825 22825 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512627108 8616062976 34130 33554432000 4194304 4196468 140734850131760 140099819922976 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22860] ppid=22825 vsize=8414124 memory=4206468019014099040 CPUtime=0 cores=0-7
/proc/22848/task/22860/stat : 22860 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627108 8616062976 34130 33554432000 4194304 4196468 140734850131760 140099551487344 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22861] ppid=22825 vsize=8414124 memory=6944613755328037015 CPUtime=0 cores=0-7
/proc/22848/task/22861/stat : 22861 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627110 8616062976 34130 33554432000 4194304 4196468 140734850131760 140099176978768 140101245937563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22862] ppid=22825 vsize=8414124 memory=-7522837583045875833 CPUtime=0.17 cores=0-7
/proc/22848/task/22862/stat : 22862 (java) S 22825 22825 20843 0 -1 1077944384 941 0 0 0 17 0 0 0 20 0 24 0 512627110 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100337846640 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22863] ppid=22825 vsize=8414124 memory=-9180700527125620825 CPUtime=0.18 cores=0-7
/proc/22848/task/22863/stat : 22863 (java) S 22825 22825 20843 0 -1 1077944384 656 0 0 0 18 0 0 0 20 0 24 0 512627110 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100336793840 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22864] ppid=22825 vsize=8414124 memory=-7737605721172012177 CPUtime=0.17 cores=0-7
/proc/22848/task/22864/stat : 22864 (java) S 22825 22825 20843 0 -1 1077944384 493 0 0 0 17 0 0 0 20 0 24 0 512627110 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100335741040 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22865] ppid=22825 vsize=8414124 memory=4278254020745190757 CPUtime=0.25 cores=0-7
/proc/22848/task/22865/stat : 22865 (java) S 22825 22825 20843 0 -1 1077944384 642 0 0 0 25 0 0 0 20 0 24 0 512627110 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100334688240 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22866] ppid=22825 vsize=8414124 memory=8263151522124170631 CPUtime=0 cores=0-7
/proc/22848/task/22866/stat : 22866 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512627111 8616062976 34130 33554432000 4194304 4196468 140734850131760 140098679073888 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22867] ppid=22825 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/22848/task/22867/stat : 22867 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627111 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100333636656 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22869] ppid=22825 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/22848/task/22869/stat : 22869 (java) S 22825 22825 20843 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512627193 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100558599744 140101245943577 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22871] ppid=22825 vsize=8414124 memory=7249 CPUtime=0 cores=0-7
/proc/22848/task/22871/stat : 22871 (java) S 22825 22825 20843 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 512627193 8616062976 34130 33554432000 4194304 4196468 140734850131760 140098007973520 140101245940893 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22872] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22872/stat : 22872 (java) S 22825 22825 20843 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512627193 8616062976 34130 33554432000 4194304 4196468 140734850131760 140098276408848 140101245940893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22873] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22873/stat : 22873 (java) S 22825 22825 20843 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 512627195 8616062976 34130 33554432000 4194304 4196468 140734850131760 140097739545648 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
Current children cumulated CPU time: 20.42 s
Current children cumulated vsize: 9369140 KiB
Current children cumulated memory: 379472 KiB

[startup+7.30135 s]
/proc/loadavg: 2.24 1.76 2.82 7/225 22881
/proc/meminfo: memFree=25030392/32770624 swapFree=66941064/67108860
[pid=22825] ppid=22822 vsize=113128 memory=1472 CPUtime=16.26 cores=0-7
/proc/22825/stat : 22825 (scop.sh) S 22822 22825 20843 0 -1 4202496 582 34608 0 0 0 0 1572 54 20 0 1 0 512626557 115843072 368 33554432000 4194304 5098028 140734078213648 140734078210392 140325449695868 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12652544 140734078214949 140734078215276 140734078215276 140734078218189 0
/proc/22825/statm: 28282 368 311 221 0 87 0
[pid=22848] ppid=22825 vsize=8414124 memory=136520 CPUtime=1.73 cores=0-7
/proc/22848/stat : 22848 (java) S 22825 22825 20843 0 -1 1077944320 21004 0 0 0 160 13 0 0 20 0 24 0 512627104 8616062976 34130 33554432000 4194304 4196468 140734850131760 140734850114304 140101245918967 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
/proc/22848/statm: 2103531 34130 3211 1 0 2064875 0
[pid=22868] ppid=22848 vsize=842152 memory=245392 CPUtime=3.22 cores=0-7
/proc/22868/stat : 22868 (manyglucose-4.1) S 22848 22825 20843 0 -1 1077944320 39822 0 0 0 314 8 0 0 20 0 7 0 512627193 862363648 61348 33554432000 4194304 4454172 140722875821856 140722875820240 140076994027255 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
/proc/22868/statm: 210538 61348 420 64 0 206206 0
[pid=22868/tid=22874] ppid=22848 vsize=842152 memory=136520 CPUtime=0.33 cores=0-7
/proc/22868/task/22874/stat : 22874 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 433 0 0 0 33 0 0 0 20 0 7 0 512627249 862363648 61348 33554432000 4194304 4454172 140722875821856 140076953811704 4293972 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22876] ppid=22848 vsize=842152 memory=241216 CPUtime=0.32 cores=0-7
/proc/22868/task/22876/stat : 22876 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 496 0 0 0 32 0 0 0 20 0 7 0 512627249 862363648 61348 33554432000 4194304 4454172 140722875821856 140076937026296 4351209 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22877] ppid=22848 vsize=842152 memory=988 CPUtime=0.33 cores=0-7
/proc/22868/task/22877/stat : 22877 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 392 0 0 0 33 0 0 0 20 0 7 0 512627249 862363648 61348 33554432000 4194304 4454172 140722875821856 140076928633640 4351219 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22878] ppid=22848 vsize=842152 memory=2016 CPUtime=0.33 cores=0-7
/proc/22868/task/22878/stat : 22878 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 506 0 0 0 33 0 0 0 20 0 7 0 512627249 862363648 61348 33554432000 4194304 4454172 140722875821856 140076920240936 4350290 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22879] ppid=22848 vsize=842152 memory=1060 CPUtime=0.33 cores=0-7
/proc/22868/task/22879/stat : 22879 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 463 0 0 0 33 0 0 0 20 0 7 0 512627249 862363648 61348 33554432000 4194304 4454172 140722875821856 140076911848184 4332281 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22868/tid=22880] ppid=22848 vsize=842152 memory=1724 CPUtime=0.32 cores=0-7
/proc/22868/task/22880/stat : 22880 (manyglucose-4.1) R 22848 22825 20843 0 -1 4202560 463 0 0 0 32 0 0 0 20 0 7 0 512627249 862363648 61348 33554432000 4194304 4454172 140722875821856 140076903455480 4349787 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 15470592 140722875822953 140722875823152 140722875823152 140722875826106 0
[pid=22848/tid=22849] ppid=22825 vsize=8414124 memory=1228 CPUtime=0.91 cores=0-7
/proc/22848/task/22849/stat : 22849 (java) S 22825 22825 20843 0 -1 1077944384 16879 0 0 0 81 10 0 0 20 0 24 0 512627104 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101217759136 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22850] ppid=22825 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/22848/task/22850/stat : 22850 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101250161808 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22851] ppid=22825 vsize=8414124 memory=3984 CPUtime=0 cores=0-7
/proc/22848/task/22851/stat : 22851 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101050330128 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22852] ppid=22825 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/22848/task/22852/stat : 22852 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101049277328 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22853] ppid=22825 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/22848/task/22853/stat : 22853 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101048224528 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22854] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22854/stat : 22854 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101047171728 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22855] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22855/stat : 22855 (java) S 22825 22825 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101046118928 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22856] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22856/stat : 22856 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101045066128 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22857] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22857/stat : 22857 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627106 8616062976 34130 33554432000 4194304 4196468 140734850131760 140101044013328 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22858] ppid=22825 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/22848/task/22858/stat : 22858 (java) S 22825 22825 20843 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512627107 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100338899824 140101245930114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22859] ppid=22825 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/22848/task/22859/stat : 22859 (java) S 22825 22825 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512627108 8616062976 34130 33554432000 4194304 4196468 140734850131760 140099819922976 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22860] ppid=22825 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/22848/task/22860/stat : 22860 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627108 8616062976 34130 33554432000 4194304 4196468 140734850131760 140099551487344 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22861] ppid=22825 vsize=8414124 memory=2364 CPUtime=0 cores=0-7
/proc/22848/task/22861/stat : 22861 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627110 8616062976 34130 33554432000 4194304 4196468 140734850131760 140099176978768 140101245937563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22862] ppid=22825 vsize=8414124 memory=1744 CPUtime=0.17 cores=0-7
/proc/22848/task/22862/stat : 22862 (java) S 22825 22825 20843 0 -1 1077944384 941 0 0 0 17 0 0 0 20 0 24 0 512627110 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100337846640 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22863] ppid=22825 vsize=8414124 memory=1472 CPUtime=0.18 cores=0-7
/proc/22848/task/22863/stat : 22863 (java) S 22825 22825 20843 0 -1 1077944384 656 0 0 0 18 0 0 0 20 0 24 0 512627110 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100336793840 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22864] ppid=22825 vsize=8414124 memory=136520 CPUtime=0.17 cores=0-7
/proc/22848/task/22864/stat : 22864 (java) S 22825 22825 20843 0 -1 1077944384 493 0 0 0 17 0 0 0 20 0 24 0 512627110 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100335741040 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22865] ppid=22825 vsize=8414124 memory=6943526294502006880 CPUtime=0.25 cores=0-7
/proc/22848/task/22865/stat : 22865 (java) S 22825 22825 20843 0 -1 1077944384 642 0 0 0 25 0 0 0 20 0 24 0 512627110 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100334688240 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22866] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22866/stat : 22866 (java) S 22825 22825 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512627111 8616062976 34130 33554432000 4194304 4196468 140734850131760 140098679073888 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22867] ppid=22825 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22848/task/22867/stat : 22867 (java) S 22825 22825 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512627111 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100333636656 140101245930114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22869] ppid=22825 vsize=8414124 memory=3835149597933792609 CPUtime=0 cores=0-7
/proc/22848/task/22869/stat : 22869 (java) S 22825 22825 20843 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512627193 8616062976 34130 33554432000 4194304 4196468 140734850131760 140100558599744 140101245943577 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22871] ppid=22825 vsize=8414124 memory=4640185777728278608 CPUtime=0 cores=0-7
/proc/22848/task/22871/stat : 22871 (java) S 22825 22825 20843 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 512627193 8616062976 34130 33554432000 4194304 4196468 140734850131760 140098007973520 140101245940893 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22872] ppid=22825 vsize=8414124 memory=7452728842579373158 CPUtime=0 cores=0-7
/proc/22848/task/22872/stat : 22872 (java) S 22825 22825 20843 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512627193 8616062976 34130 33554432000 4194304 4196468 140734850131760 140098276408848 140101245940893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
[pid=22848/tid=22873] ppid=22825 vsize=8414124 memory=28482285442 CPUtime=0 cores=0-7
/proc/22848/task/22873/stat : 22873 (java) S 22825 22825 20843 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 512627195 8616062976 34130 33554432000 4194304 4196468 140734850131760 140097739545648 140101245929173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14147584 140734850139127 140734850139286 140734850139286 140734850142159 0
Current children cumulated CPU time: 21.21 s
Current children cumulated vsize: 9369404 KiB
Current children cumulated memory: 383384 KiB

Child status: 0
Real time (s): 7.36917
CPU time (s): 21.4442
CPU user time (s): 20.655
CPU system time (s): 0.789218
CPU usage (%): 290.999
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1810384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.655
system time used= 0.789218
maximum resident set size= 1811664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12405
involuntary context switches= 57


# summary of solver processes directly reported to runsolver:
#   pid: 22825
#   total CPU time (s): 21.4442
#   total CPU user time (s): 20.655
#   total CPU system time (s): 0.789218

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077148 second user time and 0.132103 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-25 00:21:31
IDJOB=4405146
IDBENCH=141185
IDSOLVER=2867
FILE ID=node139/4405146-1569363557
RUNJOBID= node139-1569356582-20870
PBS_JOBID= 21705103
Free space on /tmp= 5144 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f05_c18.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405146-1569363557/watcher-4405146-1569363557 -o /tmp/evaluation-result-4405146-1569363557/solver-4405146-1569363557 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --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-4405146-1569363557.xml

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

MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628
RANDOM SEED=1377489885

node139.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.57
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.57
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.57
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.57
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:        25403296 kB
MemAvailable:   31777988 kB
Buffers:          115556 kB
Cached:          6347476 kB
SwapCached:        64808 kB
Active:          3222480 kB
Inactive:        3310416 kB
Active(anon):       5064 kB
Inactive(anon):   120880 kB
Active(file):    3217416 kB
Inactive(file):  3189536 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66941064 kB
Dirty:             20664 kB
Writeback:             0 kB
AnonPages:        160668 kB
Mapped:            57740 kB
Shmem:             47400 kB
Slab:             426056 kB
SReclaimable:     396200 kB
SUnreclaim:        29856 kB
KernelStack:        3728 kB
PageTables:         5728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5124 MiB
End job on node139 at 2019-09-25 00:21:38