Trace number 4392349

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 38.4918 21.2737

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-26.xml
MD5SUM163dd1c4311ae2a810c887bcbec28782
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 benchmark15.5906
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains64
Minimum domain size413
Maximum domain size511
Distribution of domain sizes[{"size":413,"count":2},{"size":414,"count":2},{"size":415,"count":2},{"size":417,"count":2},{"size":418,"count":4},{"size":420,"count":2},{"size":421,"count":4},{"size":422,"count":4},{"size":423,"count":2},{"size":425,"count":2},{"size":428,"count":4},{"size":430,"count":4},{"size":432,"count":2},{"size":434,"count":2},{"size":435,"count":2},{"size":437,"count":4},{"size":439,"count":2},{"size":440,"count":2},{"size":443,"count":4},{"size":445,"count":8},{"size":447,"count":2},{"size":448,"count":2},{"size":450,"count":2},{"size":453,"count":6},{"size":456,"count":2},"...",{"size":478,"count":2}, {"size":479,"count":2}, {"size":481,"count":10}, {"size":482,"count":2}, {"size":484,"count":2}, {"size":485,"count":2}, {"size":486,"count":6}, {"size":487,"count":2}, {"size":488,"count":2}, {"size":489,"count":2}, {"size":490,"count":4}, {"size":491,"count":4}, {"size":492,"count":4}, {"size":493,"count":2}, {"size":494,"count":2}, {"size":495,"count":4}, {"size":496,"count":4}, {"size":497,"count":2}, {"size":499,"count":4}, {"size":501,"count":2}, {"size":502,"count":4}, {"size":503,"count":8}, {"size":504,"count":4}, {"size":507,"count":2}, {"size":511,"count":4}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
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-16366-serial-file.bin HOME/instance-4392349-1568441995.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 08:19:12 CEST 2019
0.65/0.57	c PID: 16369
0.65/0.57	c IP: 172.20.3.136
0.65/0.57	c HOST: node136.alineos.net
0.65/0.58	c (0,0) Parsing Begin
4.19/1.54	c (0,0) Parsing End
4.19/1.55	c (1,0) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 511
4.19/1.55	c (1,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.19/1.55	c (1,0) Constraint Name Generate Begin
4.19/1.58	c (1,1) Ctr:HOME/instance-4392349-1568441995.xml,Add:Le:Ne:Num:Or:Var
4.19/1.58	c (1,1) Constraint Name Generate End
4.19/1.58	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.19/1.58	c (1,1) CSP to CSPinCNF Begin
5.25/1.80	c (1,1) translated 280 (10%) constraints
5.25/1.85	c (1,1) translated 560 (20%) constraints
5.25/1.88	c (1,1) translated 840 (30%) constraints
5.65/1.91	c (1,1) translated 1120 (40%) constraints
5.65/1.93	c (1,1) translated 1400 (50%) constraints
5.65/1.95	c (1,1) translated 1680 (60%) constraints
5.65/1.98	c (1,1) translated 1960 (70%) constraints
5.65/2.00	c (1,1) translated 2240 (80%) constraints
6.07/2.02	c (1,1) translated 2520 (90%) constraints
6.07/2.04	c (1,1) translated 2800 (100%) constraints
6.07/2.04	c (1,1) ===========================================
6.07/2.04	c (1,1) Order
6.07/2.04	c (1,1) ===========================================
6.07/2.06	c (1,1) translated 280 (10%) constraints
6.07/2.08	c (1,1) translated 560 (20%) constraints
6.07/2.09	c (1,1) translated 840 (30%) constraints
6.07/2.10	c (1,1) translated 1120 (40%) constraints
6.50/2.12	c (1,1) translated 1400 (50%) constraints
6.50/2.13	c (1,1) translated 1680 (60%) constraints
6.50/2.15	c (1,1) translated 1960 (70%) constraints
6.50/2.16	c (1,1) translated 2240 (80%) constraints
6.50/2.17	c (1,1) translated 2520 (90%) constraints
6.50/2.18	c (1,1) translated 2800 (100%) constraints
6.50/2.19	c (1,1) CSP to CSPinCNF End
6.50/2.19	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 511
6.50/2.19	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.50/2.19	c (1,1) CSPinCNF Propagation Begin
6.86/2.25	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.86/2.25	c (1,1) CSPinCNF Propagation End
6.86/2.25	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 511
6.86/2.25	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.86/2.25	c (1,1) Simplify CSPinCNF Begin
7.67/2.44	c (1,1) Simplify CSPinCNF End
7.67/2.44	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 511
7.67/2.44	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.67/2.44	c (1,1) Calculate Precise Domain Begin
7.67/2.45	c (1,1) 0 values are removed by re-calculation
7.67/2.45	c (1,1) Calculate Precise Domain End
7.67/2.45	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 511
7.67/2.45	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.67/2.45	c (1,1) CSPinCNF to SatSolver Begin
11.00/3.87	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 330104 SAT clauses)
12.03/4.84	c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 567230 SAT clauses)
13.00/5.79	c (5,5) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 802862 SAT clauses)
14.00/6.74	c (6,6) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1037216 SAT clauses)
15.01/7.70	c (7,7) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1274486 SAT clauses)
15.92/8.68	c (8,8) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1512051 SAT clauses)
17.01/9.55	c (9,8) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 1746298 SAT clauses)
17.95/10.60	c (10,9) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 1979654 SAT clauses)
18.75/11.43	c (10,10) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2215652 SAT clauses)
19.69/12.30	c (11,11) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2460864 SAT clauses)
19.79/12.30	c (11,11) CSPinCNF to SatSolver End
19.79/12.30	c (11,11) Heap : 3468 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.79/12.30	c (11,11) 98584 bool, 2461304 clause
19.79/12.30	c (11,11) Export Begin
19.79/12.39	c (11,11) Export to HOME/scop-16366-serial-file.bin
19.79/12.39	c (11,11) Export End
19.79/12.40	c (11,11) Export File Size: 0.03 MB
19.79/12.40	c (11,11) 1,1,1,1,1,1,11,STOP-AFTER(DIMACS)
19.79/12.40	c END-Prog: Sat Sep 14 08:19:23 CEST 2019
19.98/12.44	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16366-serial-file.bin
20.02/12.90	c (0,0) Read Serial File Begin
20.02/12.90	c (0,0) HOME/scop-16366-serial-file.bin
20.96/13.12	c (0,0) Read Serial File End
20.96/13.13	
20.96/13.13	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
20.96/13.13	(Solving Process)
20.96/13.13	
20.96/13.15	c BEGIN-Prog: Sat Sep 14 08:19:24 CEST 2019
20.96/13.15	c PID: 16389
20.96/13.15	c IP: 172.20.3.136
20.96/13.15	c HOST: node136.alineos.net
20.96/13.16	c (0,0) SatSolver.solve Begin
20.96/13.16	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392349-1568441995.xml-scop-16369.cnf
20.96/13.18	c (0,0) c
20.96/13.18	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)
20.96/13.18	c (0,0) c
20.96/13.18	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.96/13.18	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
20.96/13.18	c (0,0) c ========================================[ Problem Statistics ]===========================================
20.96/13.18	c (0,0) c |                                                                                                       |
22.09/14.04	c (1,0) c |  Number of variables:         98584                                                                   |
22.09/14.04	c (1,0) c |  Number of clauses:         2461304                                                                   |
22.09/14.04	c (1,0) c |  Parse time:                   0.78 s                                                                 |
22.09/14.04	c (1,0) c |                                                                                                       |
26.98/18.93	c (6,0) c |  Simplification time:          4.79 s                                                                 |
26.98/18.93	c (6,0) c |                                                                                                       |
26.98/18.93	c (6,0) c |  Generating clones                                                                                    |
27.58/19.58	c (6,0) c |  all clones generated. Memory =  1545.37Mb.                                                           |
27.58/19.58	c (6,0) c ========================================================================================================|
27.58/19.58	c (6,0) c
27.58/19.58	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
27.58/19.58	c (6,0) c
27.58/19.58	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.58/19.58	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
27.58/19.58	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.58/19.58	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
27.58/19.58	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
27.58/19.58	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
27.58/19.58	c (6,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
27.58/19.58	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
27.58/19.58	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
27.58/19.58	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
27.58/19.58	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
27.58/19.58	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
27.58/19.58	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
27.58/19.58	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
27.58/19.58	c (6,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
27.58/19.58	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
27.58/19.58	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
27.58/19.58	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
27.58/19.58	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.85/21.19	c (8,0) c
37.85/21.19	c (8,0) c real time : 8.00855 s
37.85/21.19	c (8,0) c cpu time  : 16.1669 s
37.85/21.19	c (8,0) c
37.85/21.19	c (8,0) c
37.85/21.19	c (8,0) c
37.85/21.19	c (8,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
37.85/21.19	c (8,0) c
37.85/21.19	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.85/21.19	c (8,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
37.85/21.19	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.85/21.19	c (8,0) c | Conflicts     |           10284 |       1037 |       1186 |       1599 |       1055 |       1662 |       1586 |       1522 |        637 |
37.85/21.19	c (8,0) c | Decisions     |           15508 |       1532 |       1854 |       2290 |       1654 |       2299 |       2266 |       2474 |       1139 |
37.85/21.19	c (8,0) c | Propagations  |        11711752 |    1180729 |    1323024 |    1513184 |    1290671 |    1559595 |    1904050 |    1800243 |    1140256 |
37.85/21.19	c (8,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
37.85/21.19	c (8,0) c | Restarts      |              19 |          1 |          4 |          2 |          2 |          1 |          3 |          4 |          2 |
37.85/21.19	c (8,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c | PropBinClauses|        13978067 |    1539601 |    1511763 |    1856534 |    1496961 |    1945569 |    2174202 |    2096092 |    1357345 |
37.85/21.19	c (8,0) c | PropPreBlocker|       181608127 |   19546607 |   20616718 |   20290797 |   20850085 |   21806977 |   28625781 |   28556676 |   21314486 |
37.85/21.19	c (8,0) c | PropNotBlocker|        63141080 |    7303098 |    6214169 |    9214882 |    6145917 |   10266897 |    8780601 |    9287499 |    5928017 |
37.85/21.19	c (8,0) c | LitFullScans  |       273208278 |   30022366 |   30028592 |   33102864 |   30020316 |   36002085 |   42005014 |   42013755 |   30013286 |
37.85/21.19	c (8,0) c | LitScanFracts |            8486 |        285 |       2176 |        155 |        677 |        659 |        458 |       2650 |       1426 |
37.85/21.19	c (8,0) c | DecisionLevel0|              26 |          1 |          4 |          9 |          2 |          1 |          3 |          4 |          2 |
37.85/21.19	c (8,0) c | Periods       |              45 |          5 |          5 |          5 |          5 |          6 |          7 |          7 |          5 |
37.85/21.19	c (8,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
37.85/21.19	c (8,0) c | Avg_Trail     |                 |      18821 |       9575 |       7131 |      14487 |       7709 |      12412 |      10091 |      28352 |
37.85/21.19	c (8,0) c | Avg_DL        |                 |        129 |         29 |         17 |         28 |         20 |         33 |         30 |        120 |
37.85/21.19	c (8,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.85/21.19	c (8,0) c | Exported      |             468 |         37 |         39 |        135 |         34 |         91 |         36 |         81 |         15 |
37.85/21.19	c (8,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.85/21.19	c (8,0) c | Unaries       |                 |          0 |          0 |          7 |          0 |          0 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c | Binaries      |                 |          0 |          0 |         29 |          0 |          3 |          0 |          0 |          0 |
37.85/21.19	c (8,0) c | Glues         |                 |         37 |         39 |        135 |         34 |         91 |         36 |         81 |         15 |
37.85/21.19	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.85/21.19	c (8,0) c | Orig_Seen     |             0 % |       8362 |      10572 |       7625 |       7182 |       8565 |      10183 |      12552 |       8210 |
37.85/21.19	c (8,0) c | Diff Orig seen|                 |        737 |       2947 |      X     | -      443 |        940 |       2558 |       4927 |        585 |
37.85/21.19	c (8,0) c | Hamming       |            24 % |      21428 |      22674 |      X     |      24825 |      22052 |      25078 |      23291 |      26839 |
37.85/21.19	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.85/21.19	c (8,0) c | RunningTime   |                 |    1.6 100%|    1.6 100%|    1.5 100%|    1.6 100%|    1.6 100%|    1.6 100%|    1.6 100%|    1.6 100%|
37.85/21.19	c (8,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%|
37.85/21.19	c (8,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%|
37.85/21.19	c (8,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%|
37.85/21.19	c (8,0) c | SolvingTime   |                 |    1.6     |    1.6     |    1.5     |    1.6     |    1.6     |    1.6     |    1.6     |    1.6     |
37.85/21.19	c (8,0) c | PropagationTim|                 |    1.5  97%|    1.5  96%|    1.5  97%|    1.5  96%|    1.5  97%|    1.5  96%|    1.5  97%|    1.5  96%|
37.85/21.19	c (8,0) c | AnalysisTime  |                 |    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|
37.85/21.19	c (8,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%|
37.85/21.19	c (8,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
37.85/21.19	c (8,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%|
37.85/21.19	c (8,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%|
37.85/21.19	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.85/21.19	c (8,0) c
37.85/21.19	c (8,0) c
37.85/21.19	c (8,0) c Threads : 8
37.85/21.19	c (8,0) c Winner : 2
37.85/21.19	c (8,0) c Conflicts_0 : 1037
37.85/21.19	c (8,0) c Conflicts_1 : 1186
37.85/21.19	c (8,0) c Conflicts_2 : 1599
37.85/21.19	c (8,0) c Conflicts_3 : 1055
37.85/21.19	c (8,0) c Conflicts_4 : 1662
37.85/21.19	c (8,0) c Conflicts_5 : 1586
37.85/21.19	c (8,0) c Conflicts_6 : 1522
37.85/21.19	c (8,0) c Conflicts_7 : 637
37.85/21.19	c (8,0) c Conflicts_total : 10284
37.85/21.19	c (8,0) c Conflicts_winner : 1599
37.85/21.19	c (8,0) c Decisions_0 : 1532
37.85/21.19	c (8,0) c Decisions_1 : 1854
37.85/21.19	c (8,0) c Decisions_2 : 2290
37.85/21.19	c (8,0) c Decisions_3 : 1654
37.85/21.19	c (8,0) c Decisions_4 : 2299
37.85/21.19	c (8,0) c Decisions_5 : 2266
37.85/21.19	c (8,0) c Decisions_6 : 2474
37.85/21.19	c (8,0) c Decisions_7 : 1139
37.85/21.19	c (8,0) c Decisions_total : 15508
37.85/21.19	c (8,0) c Decisions_winner : 2290
37.85/21.19	c (8,0) c Propagations_0 : 1180729
37.85/21.19	c (8,0) c Propagations_1 : 1323024
37.85/21.19	c (8,0) c Propagations_2 : 1513184
37.85/21.19	c (8,0) c Propagations_3 : 1290671
37.85/21.19	c (8,0) c Propagations_4 : 1559595
37.85/21.19	c (8,0) c Propagations_5 : 1904050
37.85/21.19	c (8,0) c Propagations_6 : 1800243
37.85/21.19	c (8,0) c Propagations_7 : 1140256
37.85/21.19	c (8,0) c Propagations_total : 11711752
37.85/21.19	c (8,0) c Propagations_winner : 1513184
37.85/21.19	c (8,0) c ReduceDBs_0 : 0
37.85/21.19	c (8,0) c ReduceDBs_1 : 0
37.85/21.19	c (8,0) c ReduceDBs_2 : 0
37.85/21.19	c (8,0) c ReduceDBs_3 : 0
37.85/21.19	c (8,0) c ReduceDBs_4 : 0
37.85/21.19	c (8,0) c ReduceDBs_5 : 0
37.85/21.19	c (8,0) c ReduceDBs_6 : 0
37.85/21.19	c (8,0) c ReduceDBs_7 : 0
37.85/21.19	c (8,0) c ReduceDBs_total : 0
37.85/21.19	c (8,0) c ReduceDBs_winner : 0
37.85/21.19	c (8,0) c SimpDBs_0 : 1
37.85/21.19	c (8,0) c SimpDBs_1 : 1
37.85/21.19	c (8,0) c SimpDBs_2 : 1
37.85/21.19	c (8,0) c SimpDBs_3 : 1
37.85/21.19	c (8,0) c SimpDBs_4 : 1
37.85/21.19	c (8,0) c SimpDBs_5 : 1
37.85/21.19	c (8,0) c SimpDBs_6 : 1
37.85/21.19	c (8,0) c SimpDBs_7 : 1
37.85/21.19	c (8,0) c SimpDBs_total : 8
37.85/21.19	c (8,0) c SimpDBs_winner : 1
37.85/21.19	c (8,0) c Restarts_0 : 1
37.85/21.19	c (8,0) c Restarts_1 : 4
37.85/21.19	c (8,0) c Restarts_2 : 2
37.85/21.19	c (8,0) c Restarts_3 : 2
37.85/21.19	c (8,0) c Restarts_4 : 1
37.85/21.19	c (8,0) c Restarts_5 : 3
37.85/21.19	c (8,0) c Restarts_6 : 4
37.85/21.19	c (8,0) c Restarts_7 : 2
37.85/21.19	c (8,0) c Restarts_total : 19
37.85/21.19	c (8,0) c Restarts_winner : 2
37.85/21.19	c (8,0) c ForcedImports_0 : 0
37.85/21.19	c (8,0) c ForcedImports_1 : 0
37.85/21.19	c (8,0) c ForcedImports_2 : 0
37.85/21.19	c (8,0) c ForcedImports_3 : 0
37.85/21.19	c (8,0) c ForcedImports_4 : 0
37.85/21.19	c (8,0) c ForcedImports_5 : 0
37.85/21.19	c (8,0) c ForcedImports_6 : 0
37.85/21.19	c (8,0) c ForcedImports_7 : 0
37.85/21.19	c (8,0) c ForcedImports_total : 0
37.85/21.19	c (8,0) c ForcedImports_winner : 0
37.85/21.19	c (8,0) c PropsBinClauses_0 : 1539601
37.85/21.19	c (8,0) c PropsBinClauses_1 : 1511763
37.85/21.19	c (8,0) c PropsBinClauses_2 : 1856534
37.85/21.20	c (8,0) c PropsBinClauses_3 : 1496961
37.85/21.20	c (8,0) c PropsBinClauses_4 : 1945569
37.85/21.20	c (8,0) c PropsBinClauses_5 : 2174202
37.85/21.20	c (8,0) c PropsBinClauses_6 : 2096092
37.85/21.20	c (8,0) c PropsBinClauses_7 : 1357345
37.85/21.20	c (8,0) c PropsBinClauses_total : 13978067
37.85/21.20	c (8,0) c PropsBinClauses_winner : 1856534
37.85/21.20	c (8,0) c PropsPreBlocker_0 : 19546607
37.85/21.20	c (8,0) c PropsPreBlocker_1 : 20616718
37.85/21.20	c (8,0) c PropsPreBlocker_2 : 20290797
37.85/21.20	c (8,0) c PropsPreBlocker_3 : 20850085
37.85/21.20	c (8,0) c PropsPreBlocker_4 : 21806977
37.85/21.20	c (8,0) c PropsPreBlocker_5 : 28625781
37.85/21.20	c (8,0) c PropsPreBlocker_6 : 28556676
37.85/21.20	c (8,0) c PropsPreBlocker_7 : 21314486
37.85/21.20	c (8,0) c PropsPreBlocker_total : 181608127
37.85/21.20	c (8,0) c PropsPreBlocker_winner : 20290797
37.85/21.20	c (8,0) c PropsNotBlocker_0 : 7303098
37.85/21.20	c (8,0) c PropsNotBlocker_1 : 6214169
37.85/21.20	c (8,0) c PropsNotBlocker_2 : 9214882
37.85/21.20	c (8,0) c PropsNotBlocker_3 : 6145917
37.85/21.20	c (8,0) c PropsNotBlocker_4 : 10266897
37.85/21.20	c (8,0) c PropsNotBlocker_5 : 8780601
37.85/21.20	c (8,0) c PropsNotBlocker_6 : 9287499
37.85/21.20	c (8,0) c PropsNotBlocker_7 : 5928017
37.85/21.20	c (8,0) c PropsNotBlocker_total : 63141080
37.85/21.20	c (8,0) c PropsNotBlocker_winner : 9214882
37.85/21.20	c (8,0) c PropsLitFullScans_0 : 30022366
37.85/21.20	c (8,0) c PropsLitFullScans_1 : 30028592
37.85/21.20	c (8,0) c PropsLitFullScans_2 : 33102864
37.85/21.20	c (8,0) c PropsLitFullScans_3 : 30020316
37.85/21.20	c (8,0) c PropsLitFullScans_4 : 36002085
37.85/21.20	c (8,0) c PropsLitFullScans_5 : 42005014
37.85/21.20	c (8,0) c PropsLitFullScans_6 : 42013755
37.85/21.20	c (8,0) c PropsLitFullScans_7 : 30013286
37.85/21.20	c (8,0) c PropsLitFullScans_total : 273208278
37.85/21.20	c (8,0) c PropsLitFullScans_winner : 33102864
37.85/21.20	c (8,0) c LitScanFractions_0 : 285
37.85/21.20	c (8,0) c LitScanFractions_1 : 2176
37.85/21.20	c (8,0) c LitScanFractions_2 : 155
37.85/21.20	c (8,0) c LitScanFractions_3 : 677
37.85/21.20	c (8,0) c LitScanFractions_4 : 659
37.85/21.20	c (8,0) c LitScanFractions_5 : 458
37.85/21.20	c (8,0) c LitScanFractions_6 : 2650
37.85/21.20	c (8,0) c LitScanFractions_7 : 1426
37.85/21.20	c (8,0) c LitScanFractions_total : 8486
37.85/21.20	c (8,0) c LitScanFractions_winner : 155
37.85/21.20	c (8,0) c DecisionLevel0_0 : 1
37.85/21.20	c (8,0) c DecisionLevel0_1 : 4
37.85/21.20	c (8,0) c DecisionLevel0_2 : 9
37.85/21.20	c (8,0) c DecisionLevel0_3 : 2
37.85/21.20	c (8,0) c DecisionLevel0_4 : 1
37.85/21.20	c (8,0) c DecisionLevel0_5 : 3
37.85/21.20	c (8,0) c DecisionLevel0_6 : 4
37.85/21.20	c (8,0) c DecisionLevel0_7 : 2
37.85/21.20	c (8,0) c DecisionLevel0_total : 26
37.85/21.20	c (8,0) c DecisionLevel0_winner : 9
37.85/21.20	c (8,0) c Periods_0 : 5
37.85/21.20	c (8,0) c Periods_1 : 5
37.85/21.20	c (8,0) c Periods_2 : 5
37.85/21.20	c (8,0) c Periods_3 : 5
37.85/21.20	c (8,0) c Periods_4 : 6
37.85/21.20	c (8,0) c Periods_5 : 7
37.85/21.20	c (8,0) c Periods_6 : 7
37.85/21.20	c (8,0) c Periods_7 : 5
37.85/21.20	c (8,0) c Periods_total : 45
37.85/21.20	c (8,0) c Periods_winner : 5
37.85/21.20	c (8,0) c Margin_0 : 20
37.85/21.20	c (8,0) c Margin_1 : 20
37.85/21.20	c (8,0) c Margin_2 : 20
37.85/21.20	c (8,0) c Margin_3 : 20
37.85/21.20	c (8,0) c Margin_4 : 20
21.30/21.20	c (8,0) c Margin_5 : 20
21.30/21.20	c (8,0) c Margin_6 : 20
21.30/21.20	c (8,0) c Margin_7 : 20
21.30/21.20	c (8,0) c Margin_total : 160
21.30/21.20	c (8,0) c Margin_winner : 20
21.30/21.20	c (8,0) c Exported_0 : 37
21.30/21.20	c (8,0) c Exported_1 : 39
21.30/21.20	c (8,0) c Exported_2 : 135
21.30/21.20	c (8,0) c Exported_3 : 34
21.30/21.20	c (8,0) c Exported_4 : 91
21.30/21.20	c (8,0) c Exported_5 : 36
21.30/21.20	c (8,0) c Exported_6 : 81
21.30/21.20	c (8,0) c Exported_7 : 15
21.30/21.20	c (8,0) c Exported_total : 468
21.30/21.20	c (8,0) c Exported_winner : 135
21.30/21.20	c (8,0) c Imported_0 : 0
21.30/21.20	c (8,0) c Imported_1 : 0
21.30/21.20	c (8,0) c Imported_2 : 0
21.30/21.20	c (8,0) c Imported_3 : 0
21.30/21.20	c (8,0) c Imported_4 : 0
21.30/21.20	c (8,0) c Imported_5 : 0
21.30/21.20	c (8,0) c Imported_6 : 0
21.30/21.20	c (8,0) c Imported_7 : 0
21.30/21.20	c (8,0) c Imported_total : 0
21.30/21.20	c (8,0) c Imported_winner : 0
21.30/21.20	c (8,0) c Good_0 : 0
21.30/21.20	c (8,0) c Good_1 : 0
21.30/21.20	c (8,0) c Good_2 : 0
21.30/21.20	c (8,0) c Good_3 : 0
21.30/21.20	c (8,0) c Good_4 : 0
21.30/21.20	c (8,0) c Good_5 : 0
21.30/21.20	c (8,0) c Good_6 : 0
21.30/21.20	c (8,0) c Good_7 : 0
21.30/21.20	c (8,0) c Good_total : 0
21.30/21.20	c (8,0) c Good_winner : 0
21.30/21.20	c (8,0) c Purge_0 : 0
21.30/21.20	c (8,0) c Purge_1 : 0
21.30/21.20	c (8,0) c Purge_2 : 0
21.30/21.20	c (8,0) c Purge_3 : 0
21.30/21.20	c (8,0) c Purge_4 : 0
21.30/21.20	c (8,0) c Purge_5 : 0
21.30/21.20	c (8,0) c Purge_6 : 0
21.30/21.20	c (8,0) c Purge_7 : 0
21.30/21.20	c (8,0) c Purge_total : 0
21.30/21.20	c (8,0) c Purge_winner : 0
21.30/21.20	c (8,0) c Promoted_0 : 0
21.30/21.20	c (8,0) c Promoted_1 : 0
21.30/21.20	c (8,0) c Promoted_2 : 0
21.30/21.20	c (8,0) c Promoted_3 : 0
21.30/21.20	c (8,0) c Promoted_4 : 0
21.30/21.20	c (8,0) c Promoted_5 : 0
21.30/21.20	c (8,0) c Promoted_6 : 0
21.30/21.20	c (8,0) c Promoted_7 : 0
21.30/21.20	c (8,0) c Promoted_total : 0
21.30/21.20	c (8,0) c Promoted_winner : 0
21.30/21.20	c (8,0) c Remove_Imp_0 : 0
21.30/21.20	c (8,0) c Remove_Imp_1 : 0
21.30/21.20	c (8,0) c Remove_Imp_2 : 0
21.30/21.20	c (8,0) c Remove_Imp_3 : 0
21.30/21.20	c (8,0) c Remove_Imp_4 : 0
21.30/21.20	c (8,0) c Remove_Imp_5 : 0
21.30/21.20	c (8,0) c Remove_Imp_6 : 0
21.30/21.20	c (8,0) c Remove_Imp_7 : 0
21.30/21.20	c (8,0) c Remove_Imp_total : 0
21.30/21.20	c (8,0) c Remove_Imp_winner : 0
21.30/21.20	c (8,0) c Blocked_Reuse_0 : 0
21.30/21.20	c (8,0) c Blocked_Reuse_1 : 0
21.30/21.20	c (8,0) c Blocked_Reuse_2 : 0
21.30/21.20	c (8,0) c Blocked_Reuse_3 : 0
21.30/21.20	c (8,0) c Blocked_Reuse_4 : 0
21.30/21.20	c (8,0) c Blocked_Reuse_5 : 0
21.30/21.20	c (8,0) c Blocked_Reuse_6 : 0
21.30/21.20	c (8,0) c Blocked_Reuse_7 : 0
21.30/21.20	c (8,0) c Blocked_Reuse_total : 0
21.30/21.20	c (8,0) c Blocked_Reuse_winner : 0
21.30/21.20	c (8,0) c Unaries_0 : 0
21.30/21.20	c (8,0) c Unaries_1 : 0
21.30/21.20	c (8,0) c Unaries_2 : 7
21.30/21.20	c (8,0) c Unaries_3 : 0
21.30/21.20	c (8,0) c Unaries_4 : 0
21.30/21.20	c (8,0) c Unaries_5 : 0
21.30/21.20	c (8,0) c Unaries_6 : 0
21.30/21.20	c (8,0) c Unaries_7 : 0
21.30/21.20	c (8,0) c Unaries_total : 7
21.30/21.20	c (8,0) c Unaries_winner : 7
21.30/21.20	c (8,0) c Binaries_0 : 0
21.30/21.20	c (8,0) c Binaries_1 : 0
21.30/21.20	c (8,0) c Binaries_2 : 29
21.30/21.20	c (8,0) c Binaries_3 : 0
21.30/21.20	c (8,0) c Binaries_4 : 3
21.30/21.20	c (8,0) c Binaries_5 : 0
21.30/21.20	c (8,0) c Binaries_6 : 0
21.30/21.20	c (8,0) c Binaries_7 : 0
21.30/21.20	c (8,0) c Binaries_total : 32
21.30/21.20	c (8,0) c Binaries_winner : 29
21.30/21.20	c (8,0) c Glues_0 : 37
21.30/21.20	c (8,0) c Glues_1 : 39
21.30/21.20	c (8,0) c Glues_2 : 135
21.30/21.20	c (8,0) c Glues_3 : 34
21.30/21.20	c (8,0) c Glues_4 : 91
21.30/21.20	c (8,0) c Glues_5 : 36
21.30/21.20	c (8,0) c Glues_6 : 81
21.30/21.20	c (8,0) c Glues_7 : 15
21.30/21.20	c (8,0) c Glues_total : 468
21.30/21.20	c (8,0) c Glues_winner : 135
21.30/21.20	c (8,0) c RunningTime_0 : 1.582117
21.30/21.20	c (8,0) c RunningTime_1 : 1.574409
21.30/21.20	c (8,0) c RunningTime_2 : 1.537488
21.30/21.20	c (8,0) c RunningTime_3 : 1.584520
21.30/21.20	c (8,0) c RunningTime_4 : 1.599314
21.30/21.20	c (8,0) c RunningTime_5 : 1.580967
21.30/21.20	c (8,0) c RunningTime_6 : 1.603970
21.30/21.20	c (8,0) c RunningTime_7 : 1.595562
21.30/21.20	c (8,0) c RunningTime_total : 12.658347
21.30/21.20	c (8,0) c RunningTime_winner : 1.537488
21.30/21.20	c (8,0) c WaitingTime_0 : 0.000000
21.30/21.20	c (8,0) c WaitingTime_1 : 0.000000
21.30/21.20	c (8,0) c WaitingTime_2 : 0.000000
21.30/21.20	c (8,0) c WaitingTime_3 : 0.000000
21.30/21.20	c (8,0) c WaitingTime_4 : 0.000000
21.30/21.20	c (8,0) c WaitingTime_5 : 0.000000
21.30/21.20	c (8,0) c WaitingTime_6 : 0.000000
21.30/21.20	c (8,0) c WaitingTime_7 : 0.000000
21.30/21.20	c (8,0) c WaitingTime_total : 0.000000
21.30/21.20	c (8,0) c WaitingTime_winner : 0.000000
21.30/21.20	c (8,0) c ExchangingTime_0 : 0.000409
21.30/21.20	c (8,0) c ExchangingTime_1 : 0.000275
21.30/21.20	c (8,0) c ExchangingTime_2 : 0.000436
21.30/21.20	c (8,0) c ExchangingTime_3 : 0.000255
21.30/21.20	c (8,0) c ExchangingTime_4 : 0.000400
21.30/21.20	c (8,0) c ExchangingTime_5 : 0.000262
21.30/21.20	c (8,0) c ExchangingTime_6 : 0.000346
21.30/21.20	c (8,0) c ExchangingTime_7 : 0.000185
21.30/21.20	c (8,0) c ExchangingTime_total : 0.002568
21.30/21.20	c (8,0) c ExchangingTime_winner : 0.000436
21.30/21.20	c (8,0) c PeriodProcTime_0 : 0.000139
21.30/21.20	c (8,0) c PeriodProcTime_1 : 0.000098
21.30/21.20	c (8,0) c PeriodProcTime_2 : 0.000074
21.30/21.20	c (8,0) c PeriodProcTime_3 : 0.000078
21.30/21.20	c (8,0) c PeriodProcTime_4 : 0.000097
21.30/21.20	c (8,0) c PeriodProcTime_5 : 0.000093
21.30/21.20	c (8,0) c PeriodProcTime_6 : 0.000101
21.30/21.20	c (8,0) c PeriodProcTime_7 : 0.000081
21.30/21.20	c (8,0) c PeriodProcTime_total : 0.000762
21.30/21.20	c (8,0) c PeriodProcTime_winner : 0.000074
21.30/21.20	c (8,0) c SolvingTime_0 : 1.582665
21.30/21.20	c (8,0) c SolvingTime_1 : 1.574781
21.30/21.20	c (8,0) c SolvingTime_2 : 1.537998
21.30/21.20	c (8,0) c SolvingTime_3 : 1.584853
21.30/21.20	c (8,0) c SolvingTime_4 : 1.599811
21.30/21.20	c (8,0) c SolvingTime_5 : 1.581322
21.30/21.20	c (8,0) c SolvingTime_6 : 1.604417
21.30/21.20	c (8,0) c SolvingTime_7 : 1.595828
21.30/21.20	c (8,0) c SolvingTime_total : 12.661676
21.30/21.20	c (8,0) c SolvingTime_winner : 1.537998
21.30/21.20	c (8,0) c PropagationTime_0 : 1.528756
21.30/21.20	c (8,0) c PropagationTime_1 : 1.515271
21.30/21.20	c (8,0) c PropagationTime_2 : 1.491026
21.30/21.20	c (8,0) c PropagationTime_3 : 1.525802
21.30/21.20	c (8,0) c PropagationTime_4 : 1.547192
21.30/21.20	c (8,0) c PropagationTime_5 : 1.521297
21.30/21.20	c (8,0) c PropagationTime_6 : 1.549912
21.30/21.20	c (8,0) c PropagationTime_7 : 1.535211
21.30/21.20	c (8,0) c PropagationTime_total : 12.214467
21.30/21.20	c (8,0) c PropagationTime_winner : 1.491026
21.30/21.20	c (8,0) c AnalysisTime_0 : 0.029304
21.30/21.20	c (8,0) c AnalysisTime_1 : 0.035630
21.30/21.20	c (8,0) c AnalysisTime_2 : 0.024882
21.30/21.20	c (8,0) c AnalysisTime_3 : 0.034108
21.30/21.20	c (8,0) c AnalysisTime_4 : 0.029587
21.30/21.20	c (8,0) c AnalysisTime_5 : 0.034787
21.30/21.20	c (8,0) c AnalysisTime_6 : 0.029230
21.30/21.20	c (8,0) c AnalysisTime_7 : 0.036433
21.30/21.20	c (8,0) c AnalysisTime_total : 0.253960
21.30/21.20	c (8,0) c AnalysisTime_winner : 0.024882
21.30/21.20	c (8,0) c ReductionTime_0 : 0.000000
21.30/21.20	c (8,0) c ReductionTime_1 : 0.000000
21.30/21.20	c (8,0) c ReductionTime_2 : 0.000000
21.30/21.20	c (8,0) c ReductionTime_3 : 0.000000
21.30/21.20	c (8,0) c ReductionTime_4 : 0.000000
21.30/21.20	c (8,0) c ReductionTime_5 : 0.000000
21.30/21.20	c (8,0) c ReductionTime_6 : 0.000000
21.30/21.20	c (8,0) c ReductionTime_7 : 0.000000
21.30/21.20	c (8,0) c ReductionTime_total : 0.000000
21.30/21.20	c (8,0) c ReductionTime_winner : 0.000000
21.30/21.20	c (8,0) c SimplifyTime_0 : 0.000001
21.30/21.20	c (8,0) c SimplifyTime_1 : 0.000000
21.30/21.20	c (8,0) c SimplifyTime_2 : 0.000000
21.30/21.20	c (8,0) c SimplifyTime_3 : 0.000001
21.30/21.20	c (8,0) c SimplifyTime_4 : 0.000000
21.30/21.20	c (8,0) c SimplifyTime_5 : 0.000001
21.30/21.20	c (8,0) c SimplifyTime_6 : 0.000000
21.30/21.20	c (8,0) c SimplifyTime_7 : 0.000001
21.30/21.20	c (8,0) c SimplifyTime_total : 0.000004
21.30/21.20	c (8,0) c SimplifyTime_winner : 0.000000
21.30/21.20	c (8,0) c UsedRateTime_0 : 0.000000
21.30/21.20	c (8,0) c UsedRateTime_1 : 0.000000
21.30/21.20	c (8,0) c UsedRateTime_2 : 0.000000
21.30/21.20	c (8,0) c UsedRateTime_3 : 0.000000
21.30/21.20	c (8,0) c UsedRateTime_4 : 0.000000
21.30/21.20	c (8,0) c UsedRateTime_5 : 0.000000
21.30/21.20	c (8,0) c UsedRateTime_6 : 0.000000
21.30/21.20	c (8,0) c UsedRateTime_7 : 0.000000
21.30/21.20	c (8,0) c UsedRateTime_total : 0.000000
21.30/21.20	c (8,0) c UsedRateTime_winner : 0.000000
21.30/21.20	c (8,0) c OverlapRateTime_0 : 0.000000
21.30/21.20	c (8,0) c OverlapRateTime_1 : 0.000000
21.30/21.20	c (8,0) c OverlapRateTime_2 : 0.000000
21.30/21.20	c (8,0) c OverlapRateTime_3 : 0.000000
21.30/21.20	c (8,0) c OverlapRateTime_4 : 0.000000
21.30/21.20	c (8,0) c OverlapRateTime_5 : 0.000000
21.30/21.20	c (8,0) c OverlapRateTime_6 : 0.000000
21.30/21.20	c (8,0) c OverlapRateTime_7 : 0.000000
21.30/21.20	c (8,0) c OverlapRateTime_total : 0.000000
21.30/21.20	c (8,0) c OverlapRateTime_winner : 0.000000
21.30/21.20	c (8,0) c
21.30/21.20	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
21.30/21.20	c (8,0) c
21.30/21.20	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.30/21.20	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
21.30/21.20	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.30/21.20	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
21.30/21.20	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
21.30/21.20	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
21.30/21.20	c (8,0) c | Initial random_seed   | 1042123841 | 2136204266 | 1828709122 |  657656709 | 1608306621 | 1719064912 |  694836307 | 1546414759 |
21.30/21.20	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
21.30/21.20	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
21.30/21.20	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
21.30/21.20	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
21.30/21.20	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
21.30/21.20	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
21.30/21.20	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
21.30/21.20	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
21.30/21.20	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
21.30/21.20	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
21.30/21.20	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
21.30/21.20	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
21.30/21.20	c (8,0) 
21.30/21.21	c (8,0) s UNSATISFIABLE
21.30/21.25	c (8,0) SatSolver.solve End
21.30/21.25	c (8,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.30/21.25	c (8,0) Show results Begin
21.30/21.25	s UNSATISFIABLE
21.30/21.25	c (8,0) Show results End
21.30/21.25	c (8,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.30/21.25	c (8,0) 8,8,STOP-AFTER(ALL)
21.30/21.25	c END-Prog: Sat Sep 14 08:19:32 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 (9608 MiB free)
  memory of node 1: 16384 MiB (15618 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392349-1568441995/watcher-4392349-1568441995 -o /tmp/evaluation-result-4392349-1568441995/solver-4392349-1568441995 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --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-4392349-1568441995.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=16366, runsolver pid=16363
Current StackSize limit: 8192 KiB


[startup+0.10056 s]*
/proc/loadavg: 4.65 7.25 7.96 3/212 16388
/proc/meminfo: memFree=25735628/32770624 swapFree=67002168/67108860
[pid=16366] ppid=16363 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16366/stat : 16366 (scop.sh) S 16363 16366 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420448159 115843072 349 33554432000 4194304 5098028 140732481720752 140732481718008 140529233789564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29573120 140732481729317 140732481729644 140732481729644 140732481732557 0
/proc/16366/statm: 28282 349 296 221 0 87 0
[pid=16369] ppid=16366 vsize=27314120 memory=106612 CPUtime=0.1 cores=0-7
/proc/16369/stat : 16369 (java) S 16366 16366 14480 0 -1 1077944320 6676 0 0 0 8 2 0 0 20 0 20 0 420448159 27969658880 26653 33554432000 4194304 4196468 140737323867056 140737323849600 139939984203511 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
/proc/16369/statm: 6828530 26653 2818 1 0 6790935 0
[pid=16369/tid=16370] ppid=16366 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16369/task/16370/stat : 16370 (java) R 16366 16366 14480 0 -1 4202560 4766 0 0 0 7 2 0 0 20 0 20 0 420448160 27969658880 26653 33554432000 4194304 4196468 140737323867056 139939956017024 139939984225437 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16371] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16371/stat : 16371 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 26653 33554432000 4194304 4196468 140737323867056 139939988446224 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16372] ppid=16366 vsize=27314120 memory=140528801478272 CPUtime=0 cores=0-7
/proc/16369/task/16372/stat : 16372 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 26653 33554432000 4194304 4196468 140737323867056 139939771841680 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16373] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16373/stat : 16373 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 26653 33554432000 4194304 4196468 140737323867056 139939770788624 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16374] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16374/stat : 16374 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 26653 33554432000 4194304 4196468 140737323867056 139939769736080 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16375] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16375/stat : 16375 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 26653 33554432000 4194304 4196468 140737323867056 139939768683024 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16376] ppid=16366 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16369/task/16376/stat : 16376 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 26653 33554432000 4194304 4196468 140737323867056 139939767630480 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16377] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16377/stat : 16377 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 26653 33554432000 4194304 4196468 140737323867056 139939766577424 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16378] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16378/stat : 16378 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 26653 33554432000 4194304 4196468 140737323867056 139939400374672 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16379] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16379/stat : 16379 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448164 27969658880 26653 33554432000 4194304 4196468 140737323867056 139938035108592 139939984214658 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16380] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16380/stat : 16380 (java) S 16366 16366 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420448164 27969658880 26653 33554432000 4194304 4196468 140737323867056 139937953343136 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16381] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16381/stat : 16381 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448164 27969658880 26653 33554432000 4194304 4196468 140737323867056 139937684907248 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16382] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16382/stat : 16382 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 26653 33554432000 4194304 4196468 140737323867056 139937310398928 139939984222107 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16383] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16383/stat : 16383 (java) S 16366 16366 14480 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 26653 33554432000 4194304 4196468 140737323867056 139938034055408 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16384] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16384/stat : 16384 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 26653 33554432000 4194304 4196468 140737323867056 139938033002864 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16385] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16385/stat : 16385 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 26653 33554432000 4194304 4196468 140737323867056 139938031949808 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16386] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16386/stat : 16386 (java) S 16366 16366 14480 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 26653 33554432000 4194304 4196468 140737323867056 139938030897264 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16387] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16387/stat : 16387 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 26653 33554432000 4194304 4196468 140737323867056 139936812493792 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16388] ppid=16366 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16369/task/16388/stat : 16388 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 26653 33554432000 4194304 4196468 140737323867056 139938029845680 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108008 KiB

[startup+0.210396 s]*
/proc/loadavg: 4.65 7.25 7.96 2/212 16388
/proc/meminfo: memFree=25715480/32770624 swapFree=67002168/67108860
[pid=16366] ppid=16363 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16366/stat : 16366 (scop.sh) S 16363 16366 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420448159 115843072 349 33554432000 4194304 5098028 140732481720752 140732481718008 140529233789564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29573120 140732481729317 140732481729644 140732481729644 140732481732557 0
/proc/16366/statm: 28282 349 296 221 0 87 0
[pid=16369] ppid=16366 vsize=27314120 memory=125820 CPUtime=0.24 cores=0-7
/proc/16369/stat : 16369 (java) S 16366 16366 14480 0 -1 1077944320 12139 0 0 0 20 4 0 0 20 0 20 0 420448159 27969658880 31455 33554432000 4194304 4196468 140737323867056 140737323849600 139939984203511 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
/proc/16369/statm: 6828530 31455 2972 1 0 6790935 0
[pid=16369/tid=16370] ppid=16366 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16369/task/16370/stat : 16370 (java) R 16366 16366 14480 0 -1 4202560 9848 0 0 0 16 3 0 0 20 0 20 0 420448160 27969658880 31455 33554432000 4194304 4196468 140737323867056 139939956017920 139939964478841 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16371] ppid=16366 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/16369/task/16371/stat : 16371 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 31455 33554432000 4194304 4196468 140737323867056 139939988446224 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16372] ppid=16366 vsize=27314120 memory=140528804580361 CPUtime=0 cores=0-7
/proc/16369/task/16372/stat : 16372 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 31455 33554432000 4194304 4196468 140737323867056 139939771841680 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16373] ppid=16366 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16369/task/16373/stat : 16373 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 31455 33554432000 4194304 4196468 140737323867056 139939770788624 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16374] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16374/stat : 16374 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 31455 33554432000 4194304 4196468 140737323867056 139939769736080 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16375] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16375/stat : 16375 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 31455 33554432000 4194304 4196468 140737323867056 139939768683024 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16376] ppid=16366 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16369/task/16376/stat : 16376 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 31455 33554432000 4194304 4196468 140737323867056 139939767630480 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16377] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16377/stat : 16377 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 31455 33554432000 4194304 4196468 140737323867056 139939766577424 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16378] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16378/stat : 16378 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 31455 33554432000 4194304 4196468 140737323867056 139939400374672 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16379] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16379/stat : 16379 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448164 27969658880 31455 33554432000 4194304 4196468 140737323867056 139938035108592 139939984214658 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16380] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16380/stat : 16380 (java) S 16366 16366 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420448164 27969658880 31455 33554432000 4194304 4196468 140737323867056 139937953343136 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16381] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16381/stat : 16381 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448164 27969658880 31455 33554432000 4194304 4196468 140737323867056 139937684907248 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16382] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16382/stat : 16382 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 31455 33554432000 4194304 4196468 140737323867056 139937310398928 139939984222107 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16383] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16383/stat : 16383 (java) S 16366 16366 14480 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 31455 33554432000 4194304 4196468 140737323867056 139938034055408 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16384] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16384/stat : 16384 (java) S 16366 16366 14480 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 31455 33554432000 4194304 4196468 140737323867056 139938033002864 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16385] ppid=16366 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16369/task/16385/stat : 16385 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 31455 33554432000 4194304 4196468 140737323867056 139938031949808 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16386] ppid=16366 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16369/task/16386/stat : 16386 (java) S 16366 16366 14480 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 20 0 420448167 27969658880 31455 33554432000 4194304 4196468 140737323867056 139938030897264 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16387] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16387/stat : 16387 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 31455 33554432000 4194304 4196468 140737323867056 139936812493792 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16388] ppid=16366 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16369/task/16388/stat : 16388 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 31455 33554432000 4194304 4196468 140737323867056 139938029845680 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127216 KiB

[startup+0.310359 s]*
/proc/loadavg: 4.65 7.25 7.96 2/212 16388
/proc/meminfo: memFree=25712440/32770624 swapFree=67002168/67108860
[pid=16366] ppid=16363 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16366/stat : 16366 (scop.sh) S 16363 16366 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420448159 115843072 349 33554432000 4194304 5098028 140732481720752 140732481718008 140529233789564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29573120 140732481729317 140732481729644 140732481729644 140732481732557 0
/proc/16366/statm: 28282 349 296 221 0 87 0
[pid=16369] ppid=16366 vsize=27314120 memory=129528 CPUtime=0.43 cores=0-7
/proc/16369/stat : 16369 (java) S 16366 16366 14480 0 -1 1077944320 13293 0 0 0 38 5 0 0 20 0 20 0 420448159 27969658880 32382 33554432000 4194304 4196468 140737323867056 140737323849600 139939984203511 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
/proc/16369/statm: 6828530 32382 3017 1 0 6790935 0
[pid=16369/tid=16370] ppid=16366 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/16369/task/16370/stat : 16370 (java) R 16366 16366 14480 0 -1 4202560 10791 0 0 0 26 4 0 0 20 0 20 0 420448160 27969658880 32382 33554432000 4194304 4196468 140737323867056 139939956021008 139939968283998 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16371] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16371/stat : 16371 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 32382 33554432000 4194304 4196468 140737323867056 139939988446224 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16372] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16372/stat : 16372 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 32382 33554432000 4194304 4196468 140737323867056 139939771841680 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16373] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16373/stat : 16373 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 32382 33554432000 4194304 4196468 140737323867056 139939770788624 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16374] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16374/stat : 16374 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 32382 33554432000 4194304 4196468 140737323867056 139939769736080 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16375] ppid=16366 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/16369/task/16375/stat : 16375 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 32382 33554432000 4194304 4196468 140737323867056 139939768683024 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16376] ppid=16366 vsize=27314120 memory=140528645665711 CPUtime=0 cores=0-7
/proc/16369/task/16376/stat : 16376 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 32382 33554432000 4194304 4196468 140737323867056 139939767630480 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16377] ppid=16366 vsize=27314120 memory=140528645668016 CPUtime=0 cores=0-7
/proc/16369/task/16377/stat : 16377 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 32382 33554432000 4194304 4196468 140737323867056 139939766577424 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16378] ppid=16366 vsize=27314120 memory=140528645670320 CPUtime=0 cores=0-7
/proc/16369/task/16378/stat : 16378 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27969658880 32382 33554432000 4194304 4196468 140737323867056 139939400374672 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16379] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16379/stat : 16379 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448164 27969658880 32382 33554432000 4194304 4196468 140737323867056 139938035108592 139939984214658 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16380] ppid=16366 vsize=27314120 memory=281057291347600 CPUtime=0 cores=0-7
/proc/16369/task/16380/stat : 16380 (java) S 16366 16366 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420448164 27969658880 32382 33554432000 4194304 4196468 140737323867056 139937953343136 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16381] ppid=16366 vsize=27314120 memory=281057291354512 CPUtime=0 cores=0-7
/proc/16369/task/16381/stat : 16381 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448164 27969658880 32382 33554432000 4194304 4196468 140737323867056 139937684907248 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16382] ppid=16366 vsize=27314120 memory=281057291295792 CPUtime=0 cores=0-7
/proc/16369/task/16382/stat : 16382 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 32382 33554432000 4194304 4196468 140737323867056 139937310398928 139939984222107 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16383] ppid=16366 vsize=27314120 memory=281057291368336 CPUtime=0.01 cores=0-7
/proc/16369/task/16383/stat : 16383 (java) R 16366 16366 14480 0 -1 4202560 361 0 0 0 1 0 0 0 20 0 20 0 420448167 27969658880 32382 33554432000 4194304 4196468 140737323867056 139938034055408 139939967695697 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16384] ppid=16366 vsize=27314120 memory=281057291375248 CPUtime=0.01 cores=0-7
/proc/16369/task/16384/stat : 16384 (java) S 16366 16366 14480 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 420448167 27969658880 32382 33554432000 4194304 4196468 140737323867056 139938033002864 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16385] ppid=16366 vsize=27314120 memory=281057291372944 CPUtime=0.01 cores=0-7
/proc/16369/task/16385/stat : 16385 (java) S 16366 16366 14480 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 420448167 27969658880 32382 33554432000 4194304 4196468 140737323867056 139938031949808 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16386] ppid=16366 vsize=27314120 memory=281057291389104 CPUtime=0.07 cores=0-7
/proc/16369/task/16386/stat : 16386 (java) S 16366 16366 14480 0 -1 1077944384 518 0 0 0 7 0 0 0 20 0 20 0 420448167 27969658880 32382 33554432000 4194304 4196468 140737323867056 139938030897264 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16387] ppid=16366 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16387/stat : 16387 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 32382 33554432000 4194304 4196468 140737323867056 139936812493792 139939984213717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16388] ppid=16366 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16369/task/16388/stat : 16388 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448167 27969658880 32382 33554432000 4194304 4196468 140737323867056 139938029845680 139939984214658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130924 KiB

[startup+0.700989 s]
/proc/loadavg: 4.65 7.25 7.96 2/212 16388
/proc/meminfo: memFree=25691728/32770624 swapFree=67002168/67108860
[pid=16366] ppid=16363 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16366/stat : 16366 (scop.sh) S 16363 16366 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420448159 115843072 349 33554432000 4194304 5098028 140732481720752 140732481718008 140529233789564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29573120 140732481729317 140732481729644 140732481729644 140732481732557 0
/proc/16366/statm: 28282 349 296 221 0 87 0
[pid=16369] ppid=16366 vsize=27320392 memory=165552 CPUtime=0.98 cores=0-7
/proc/16369/stat : 16369 (java) S 16366 16366 14480 0 -1 1077944320 20384 0 0 0 91 7 0 0 20 0 20 0 420448159 27976081408 41388 33554432000 4194304 4196468 140737323867056 140737323849600 139939984203511 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
/proc/16369/statm: 6830098 41388 3192 1 0 6791447 0
[pid=16369/tid=16370] ppid=16366 vsize=27320392 memory=281057291746992 CPUtime=0.68 cores=0-7
/proc/16369/task/16370/stat : 16370 (java) R 16366 16366 14480 0 -1 4202560 17361 0 0 0 62 6 0 0 20 0 20 0 420448160 27976081408 41388 33554432000 4194304 4196468 140737323867056 139939956040400 139939984215446 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16371] ppid=16366 vsize=27320392 memory=140528645874544 CPUtime=0 cores=0-7
/proc/16369/task/16371/stat : 16371 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27976081408 41388 33554432000 4194304 4196468 140737323867056 139939988446224 139939984213717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16372] ppid=16366 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16369/task/16372/stat : 16372 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420448162 27976081408 41388 33554432000 4194304 4196468 140737323867056 139939771841680 139939984213717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0
[pid=16369/tid=16373] ppid=16366 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/16369/task/16373/stat : 16373 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420448162 27976081408 41388 33554432000 4194304 4196468 140737323867056 139939770788624 139939984213717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18325504 140737323873003 140737323873430 140737323873430 140737323876303 0

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

/proc/16389/task/16403/stat : 16403 (java) S 16366 16366 14480 0 -1 1077944384 678 0 0 0 6 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186238245616 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16404] ppid=16366 vsize=8414124 memory=776 CPUtime=0.03 cores=0-7
/proc/16389/task/16404/stat : 16404 (java) S 16366 16366 14480 0 -1 1077944384 108 0 0 0 3 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186237193072 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16405] ppid=16366 vsize=8414124 memory=4008 CPUtime=0.14 cores=0-7
/proc/16389/task/16405/stat : 16405 (java) S 16366 16366 14480 0 -1 1077944384 644 0 0 0 14 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186236140016 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16406] ppid=16366 vsize=8414124 memory=1292 CPUtime=0.21 cores=0-7
/proc/16389/task/16406/stat : 16406 (java) S 16366 16366 14480 0 -1 1077944384 560 0 0 0 21 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186235087472 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16407] ppid=16366 vsize=8414124 memory=10592 CPUtime=0 cores=0-7
/proc/16389/task/16407/stat : 16407 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140184913963488 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16408] ppid=16366 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/16389/task/16408/stat : 16408 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186234034864 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16410] ppid=16366 vsize=8414124 memory=5948 CPUtime=0 cores=0-7
/proc/16389/task/16410/stat : 16410 (java) S 16366 16366 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420449477 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186226557888 140187414822681 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16412] ppid=16366 vsize=8414124 memory=636 CPUtime=0 cores=0-7
/proc/16389/task/16412/stat : 16412 (java) S 16366 16366 14480 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420449478 8616062976 30809 33554432000 4194304 4196468 140725199279936 140184242864144 140187414819997 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16413] ppid=16366 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16389/task/16413/stat : 16413 (java) S 16366 16366 14480 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420449478 8616062976 30809 33554432000 4194304 4196468 140725199279936 140184511299728 140187414819997 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16414] ppid=16366 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16389/task/16414/stat : 16414 (java) S 16366 16366 14480 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420449480 8616062976 30809 33554432000 4194304 4196468 140725199279936 140183974436272 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
Current children cumulated CPU time: 29.11 s
Current children cumulated vsize: 10699564 KiB
Current children cumulated memory: 1745440 KiB

[startup+20.8021 s]
/proc/loadavg: 3.61 6.85 7.81 9/226 16425
/proc/meminfo: memFree=24052376/32770624 swapFree=67002168/67108860
[pid=16366] ppid=16363 vsize=113128 memory=1476 CPUtime=20.02 cores=0-7
/proc/16366/stat : 16366 (scop.sh) S 16363 16366 14480 0 -1 4202496 582 32146 0 0 0 0 1888 114 20 0 1 0 420448159 115843072 369 33554432000 4194304 5098028 140732481720752 140732481717496 140529233789564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29573120 140732481729317 140732481729644 140732481729644 140732481732557 0
/proc/16366/statm: 28282 369 311 221 0 87 0
[pid=16389] ppid=16366 vsize=8414124 memory=123236 CPUtime=1.26 cores=0-7
/proc/16389/stat : 16389 (java) S 16366 16366 14480 0 -1 1077944320 20664 0 0 0 119 7 0 0 20 0 24 0 420449403 8616062976 30809 33554432000 4194304 4196468 140725199279936 140725199262480 140187414798071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
/proc/16389/statm: 2103531 30809 3178 1 0 2064875 0
[pid=16409] ppid=16389 vsize=2172312 memory=1651112 CPUtime=14.12 cores=0-7
/proc/16409/stat : 16409 (manyglucose-4.1) S 16389 16366 14480 0 -1 1077944320 344057 0 0 0 1342 70 0 0 20 0 9 0 420449477 2224447488 412778 33554432000 4194304 4454172 140721800987536 140721800985936 139645093202562 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 18771968 140721800995689 140721800995888 140721800995888 140721800998842 0
/proc/16409/statm: 543078 412778 407 64 0 538746 0
[pid=16409/tid=16418] ppid=16389 vsize=2172312 memory=-8253362762722140287 CPUtime=1.02 cores=0-7
/proc/16409/task/16418/stat : 16418 (manyglucose-4.1) R 16389 16366 14480 0 -1 4202560 6493 0 0 0 100 2 0 0 20 0 9 0 420450118 2224447488 412778 33554432000 4194304 4454172 140721800987536 139645044509480 4350930 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 18771968 140721800995689 140721800995888 140721800995888 140721800998842 0
[pid=16409/tid=16419] ppid=16389 vsize=2172312 memory=288293289671800152 CPUtime=0.97 cores=0-7
/proc/16409/task/16419/stat : 16419 (manyglucose-4.1) R 16389 16366 14480 0 -1 12591168 7327 0 0 0 94 3 0 0 20 0 9 0 420450118 2224447488 412778 33554432000 4194304 4454172 140721800987536 139644225260328 4351053 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 18771968 140721800995689 140721800995888 140721800995888 140721800998842 0
[pid=16409/tid=16420] ppid=16389 vsize=2172312 memory=6010124485152888936 CPUtime=0.92 cores=0-7
/proc/16409/task/16420/stat : 16420 (manyglucose-4.1) R 16389 16366 14480 0 -1 4202560 5559 0 0 0 90 2 0 0 20 0 9 0 420450118 2224447488 412778 33554432000 4194304 4454172 140721800987536 139644216867624 4351209 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 18771968 140721800995689 140721800995888 140721800995888 140721800998842 0
[pid=16409/tid=16421] ppid=16389 vsize=2172312 memory=7594848331236732248 CPUtime=0.95 cores=0-7
/proc/16409/task/16421/stat : 16421 (manyglucose-4.1) R 16389 16366 14480 0 -1 4202560 3484 0 0 0 93 2 0 0 20 0 9 0 420450118 2224447488 412778 33554432000 4194304 4454172 140721800987536 139644208474920 4351209 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 18771968 140721800995689 140721800995888 140721800995888 140721800998842 0
[pid=16409/tid=16422] ppid=16389 vsize=2172312 memory=7309178837960058450 CPUtime=0.93 cores=0-7
/proc/16409/task/16422/stat : 16422 (manyglucose-4.1) R 16389 16366 14480 0 -1 4202560 3656 0 0 0 90 3 0 0 20 0 9 0 420450118 2224447488 412778 33554432000 4194304 4454172 140721800987536 139644200082216 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 18771968 140721800995689 140721800995888 140721800995888 140721800998842 0
[pid=16409/tid=16423] ppid=16389 vsize=2172312 memory=1476 CPUtime=0.95 cores=0-7
/proc/16409/task/16423/stat : 16423 (manyglucose-4.1) R 16389 16366 14480 0 -1 4202560 3637 0 0 0 93 2 0 0 20 0 9 0 420450118 2224447488 412778 33554432000 4194304 4454172 140721800987536 139644191689512 139645078563371 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 18771968 140721800995689 140721800995888 140721800995888 140721800998842 0
[pid=16409/tid=16424] ppid=16389 vsize=2172312 memory=123236 CPUtime=0.93 cores=0-7
/proc/16409/task/16424/stat : 16424 (manyglucose-4.1) R 16389 16366 14480 0 -1 4202560 4385 0 0 0 91 2 0 0 20 0 9 0 420450118 2224447488 412778 33554432000 4194304 4454172 140721800987536 139644183296808 4351209 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 18771968 140721800995689 140721800995888 140721800995888 140721800998842 0
[pid=16409/tid=16425] ppid=16389 vsize=2172312 memory=282540 CPUtime=0.97 cores=0-7
/proc/16409/task/16425/stat : 16425 (manyglucose-4.1) R 16389 16366 14480 0 -1 4202560 3677 0 0 0 95 2 0 0 20 0 9 0 420450118 2224447488 412778 33554432000 4194304 4454172 140721800987536 139644174904104 4350955 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 18771968 140721800995689 140721800995888 140721800995888 140721800998842 0
[pid=16389/tid=16390] ppid=16366 vsize=8414124 memory=1980 CPUtime=0.76 cores=0-7
/proc/16389/task/16390/stat : 16390 (java) S 16366 16366 14480 0 -1 1077944384 17274 0 0 0 71 5 0 0 20 0 24 0 420449404 8616062976 30809 33554432000 4194304 4196468 140725199279936 140187386638240 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16391] ppid=16366 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/16389/task/16391/stat : 16391 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 30809 33554432000 4194304 4196468 140725199279936 140187419040272 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16392] ppid=16366 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/16389/task/16392/stat : 16392 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 30809 33554432000 4194304 4196468 140725199279936 140187219208848 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16393] ppid=16366 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16389/task/16393/stat : 16393 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 30809 33554432000 4194304 4196468 140725199279936 140187218155792 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16394] ppid=16366 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/16389/task/16394/stat : 16394 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 30809 33554432000 4194304 4196468 140725199279936 140187217103248 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16395] ppid=16366 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16389/task/16395/stat : 16395 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 30809 33554432000 4194304 4196468 140725199279936 140187216051216 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16396] ppid=16366 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/16389/task/16396/stat : 16396 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 30809 33554432000 4194304 4196468 140725199279936 140187214998672 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16397] ppid=16366 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/16389/task/16397/stat : 16397 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 30809 33554432000 4194304 4196468 140725199279936 140187213945616 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16398] ppid=16366 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16389/task/16398/stat : 16398 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 30809 33554432000 4194304 4196468 140725199279936 140187212893072 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16399] ppid=16366 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/16389/task/16399/stat : 16399 (java) S 16366 16366 14480 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420449407 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186239297776 140187414809218 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16400] ppid=16366 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16389/task/16400/stat : 16400 (java) S 16366 16366 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420449407 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186054812832 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16401] ppid=16366 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/16389/task/16401/stat : 16401 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449407 8616062976 30809 33554432000 4194304 4196468 140725199279936 140185786376944 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16402] ppid=16366 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16389/task/16402/stat : 16402 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140185411868624 140187414816667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16403] ppid=16366 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/16389/task/16403/stat : 16403 (java) S 16366 16366 14480 0 -1 1077944384 678 0 0 0 6 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186238245616 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16404] ppid=16366 vsize=8414124 memory=140528646312692 CPUtime=0.03 cores=0-7
/proc/16389/task/16404/stat : 16404 (java) S 16366 16366 14480 0 -1 1077944384 108 0 0 0 3 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186237193072 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16405] ppid=16366 vsize=8414124 memory=2788 CPUtime=0.14 cores=0-7
/proc/16389/task/16405/stat : 16405 (java) S 16366 16366 14480 0 -1 1077944384 644 0 0 0 14 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186236140016 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16406] ppid=16366 vsize=8414124 memory=281057291656384 CPUtime=0.21 cores=0-7
/proc/16389/task/16406/stat : 16406 (java) S 16366 16366 14480 0 -1 1077944384 560 0 0 0 21 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186235087472 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16407] ppid=16366 vsize=8414124 memory=72479183735274 CPUtime=0 cores=0-7
/proc/16389/task/16407/stat : 16407 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140184913963488 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16408] ppid=16366 vsize=8414124 memory=281057291895888 CPUtime=0 cores=0-7
/proc/16389/task/16408/stat : 16408 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420449410 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186234034864 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16410] ppid=16366 vsize=8414124 memory=72565083081450 CPUtime=0 cores=0-7
/proc/16389/task/16410/stat : 16410 (java) S 16366 16366 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420449477 8616062976 30809 33554432000 4194304 4196468 140725199279936 140186226557888 140187414822681 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16412] ppid=16366 vsize=8414124 memory=72565083081450 CPUtime=0 cores=0-7
/proc/16389/task/16412/stat : 16412 (java) S 16366 16366 14480 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 420449478 8616062976 30809 33554432000 4194304 4196468 140725199279936 140184242864144 140187414819997 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16413] ppid=16366 vsize=8414124 memory=72565083081450 CPUtime=0 cores=0-7
/proc/16389/task/16413/stat : 16413 (java) S 16366 16366 14480 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420449478 8616062976 30809 33554432000 4194304 4196468 140725199279936 140184511299728 140187414819997 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16414] ppid=16366 vsize=8414124 memory=72565083081450 CPUtime=0 cores=0-7
/proc/16389/task/16414/stat : 16414 (java) S 16366 16366 14480 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420449480 8616062976 30809 33554432000 4194304 4196468 140725199279936 140183974436272 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
Current children cumulated CPU time: 35.4 s
Current children cumulated vsize: 10699564 KiB
Current children cumulated memory: 1775824 KiB

[startup+21.2014 s]
/proc/loadavg: 3.61 6.85 7.81 10/226 16425
/proc/meminfo: memFree=24018460/32770624 swapFree=67002168/67108860
[pid=16366] ppid=16363 vsize=113128 memory=1476 CPUtime=20.02 cores=0-7
/proc/16366/stat : 16366 (scop.sh) S 16363 16366 14480 0 -1 4202496 582 32146 0 0 0 0 1888 114 20 0 1 0 420448159 115843072 369 33554432000 4194304 5098028 140732481720752 140732481717496 140529233789564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29573120 140732481729317 140732481729644 140732481729644 140732481732557 0
/proc/16366/statm: 28282 369 311 221 0 87 0
[pid=16389] ppid=16366 vsize=8414124 memory=124076 CPUtime=1.28 cores=0-7
/proc/16389/stat : 16389 (java) S 16366 16366 14480 0 -1 1077944320 20859 0 0 0 121 7 0 0 20 0 24 0 420449403 8616062976 31019 33554432000 4194304 4196468 140725199279936 140725199262480 140187414798071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
/proc/16389/statm: 2103531 31019 3178 1 0 2064875 0
[pid=16389/tid=16390] ppid=16366 vsize=8414124 memory=0 CPUtime=0.76 cores=0-7
/proc/16389/task/16390/stat : 16390 (java) S 16366 16366 14480 0 -1 1077944384 17274 0 0 0 71 5 0 0 20 0 24 0 420449404 8616062976 31019 33554432000 4194304 4196468 140725199279936 140187386638240 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16391] ppid=16366 vsize=8414124 memory=281057292932480 CPUtime=0 cores=0-7
/proc/16389/task/16391/stat : 16391 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 31019 33554432000 4194304 4196468 140725199279936 140187419040272 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16392] ppid=16366 vsize=8414124 memory=140528646459408 CPUtime=0 cores=0-7
/proc/16389/task/16392/stat : 16392 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 31019 33554432000 4194304 4196468 140725199279936 140187219208848 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16393] ppid=16366 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16389/task/16393/stat : 16393 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 31019 33554432000 4194304 4196468 140725199279936 140187218155792 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16394] ppid=16366 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16389/task/16394/stat : 16394 (java) S 16366 16366 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 31019 33554432000 4194304 4196468 140725199279936 140187217103248 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16395] ppid=16366 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16389/task/16395/stat : 16395 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 31019 33554432000 4194304 4196468 140725199279936 140187216051216 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16396] ppid=16366 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16389/task/16396/stat : 16396 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 31019 33554432000 4194304 4196468 140725199279936 140187214998672 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16397] ppid=16366 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/16389/task/16397/stat : 16397 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 31019 33554432000 4194304 4196468 140725199279936 140187213945616 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16398] ppid=16366 vsize=8414124 memory=-8634980985311628903 CPUtime=0 cores=0-7
/proc/16389/task/16398/stat : 16398 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420449405 8616062976 31019 33554432000 4194304 4196468 140725199279936 140187212893072 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16399] ppid=16366 vsize=8414124 memory=7100839878645619564 CPUtime=0 cores=0-7
/proc/16389/task/16399/stat : 16399 (java) S 16366 16366 14480 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420449407 8616062976 31019 33554432000 4194304 4196468 140725199279936 140186239297776 140187414809218 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16400] ppid=16366 vsize=8414124 memory=7897517683652307531 CPUtime=0 cores=0-7
/proc/16389/task/16400/stat : 16400 (java) S 16366 16366 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420449407 8616062976 31019 33554432000 4194304 4196468 140725199279936 140186054812832 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16401] ppid=16366 vsize=8414124 memory=8514726395715349656 CPUtime=0 cores=0-7
/proc/16389/task/16401/stat : 16401 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449407 8616062976 31019 33554432000 4194304 4196468 140725199279936 140185786376944 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16402] ppid=16366 vsize=8414124 memory=3047711553320166262 CPUtime=0 cores=0-7
/proc/16389/task/16402/stat : 16402 (java) S 16366 16366 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420449410 8616062976 31019 33554432000 4194304 4196468 140725199279936 140185411868624 140187414816667 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16403] ppid=16366 vsize=8414124 memory=7824336315716348491 CPUtime=0.07 cores=0-7
/proc/16389/task/16403/stat : 16403 (java) S 16366 16366 14480 0 -1 1077944384 679 0 0 0 7 0 0 0 20 0 24 0 420449410 8616062976 31019 33554432000 4194304 4196468 140725199279936 140186238245616 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16404] ppid=16366 vsize=8414124 memory=7595433378394170471 CPUtime=0.03 cores=0-7
/proc/16389/task/16404/stat : 16404 (java) S 16366 16366 14480 0 -1 1077944384 108 0 0 0 3 0 0 0 20 0 24 0 420449410 8616062976 31019 33554432000 4194304 4196468 140725199279936 140186237193072 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16405] ppid=16366 vsize=8414124 memory=7449346762045024850 CPUtime=0.14 cores=0-7
/proc/16389/task/16405/stat : 16405 (java) S 16366 16366 14480 0 -1 1077944384 644 0 0 0 14 0 0 0 20 0 24 0 420449410 8616062976 31019 33554432000 4194304 4196468 140725199279936 140186236140016 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16406] ppid=16366 vsize=8414124 memory=7667497561383256160 CPUtime=0.21 cores=0-7
/proc/16389/task/16406/stat : 16406 (java) R 16366 16366 14480 0 -1 1077944384 752 0 0 0 21 0 0 0 20 0 24 0 420449410 8616062976 31019 33554432000 4194304 4196468 140725199279936 140186235087472 140187414809218 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16407] ppid=16366 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16389/task/16407/stat : 16407 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420449410 8616062976 31019 33554432000 4194304 4196468 140725199279936 140184913963488 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16408] ppid=16366 vsize=8414124 memory=7012495403478638699 CPUtime=0 cores=0-7
/proc/16389/task/16408/stat : 16408 (java) S 16366 16366 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420449410 8616062976 31019 33554432000 4194304 4196468 140725199279936 140186234034864 140187414809218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16410] ppid=16366 vsize=8414124 memory=7881975965559320685 CPUtime=0 cores=0-7
/proc/16389/task/16410/stat : 16410 (java) S 16366 16366 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420449477 8616062976 31019 33554432000 4194304 4196468 140725199279936 140186226557888 140187414822681 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16412] ppid=16366 vsize=8414124 memory=140528801524545 CPUtime=0.01 cores=0-7
/proc/16389/task/16412/stat : 16412 (java) S 16366 16366 14480 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 24 0 420449478 8616062976 31019 33554432000 4194304 4196468 140725199279936 140184242870976 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16413] ppid=16366 vsize=8414124 memory=6440545925925987946 CPUtime=0 cores=0-7
/proc/16389/task/16413/stat : 16413 (java) S 16366 16366 14480 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420449478 8616062976 31019 33554432000 4194304 4196468 140725199279936 140184511299728 140187414819997 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
[pid=16389/tid=16414] ppid=16366 vsize=8414124 memory=8025788805588675948 CPUtime=0 cores=0-7
/proc/16389/task/16414/stat : 16414 (java) S 16366 16366 14480 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420449480 8616062976 31019 33554432000 4194304 4196468 140725199279936 140183974436272 140187414808277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26165248 140725199283191 140725199283350 140725199283350 140725199286223 0
Current children cumulated CPU time: 21.3 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 125552 KiB

Child status: 0
Real time (s): 21.2737
CPU time (s): 38.4918
CPU user time (s): 36.3105
CPU system time (s): 2.18126
CPU usage (%): 180.936
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 5921744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.3105
system time used= 2.18126
maximum resident set size= 5921160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 103680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42546
involuntary context switches= 117


# summary of solver processes directly reported to runsolver:
#   pid: 16366
#   total CPU time (s): 38.4918
#   total CPU user time (s): 36.3105
#   total CPU system time (s): 2.18126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.161941 second user time and 0.294616 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 08:19:11
IDJOB=4392349
IDBENCH=138449
IDSOLVER=2838
FILE ID=node136/4392349-1568441995
RUNJOBID= node136-1568439334-14507
PBS_JOBID= 21702333
Free space on /tmp= 61168 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-26.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-4392349-1568441995/watcher-4392349-1568441995 -o /tmp/evaluation-result-4392349-1568441995/solver-4392349-1568441995 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --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-4392349-1568441995.xml

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

MD5SUM BENCH= 163dd1c4311ae2a810c887bcbec28782
RANDOM SEED=236344894

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25832044 kB
MemAvailable:   31888400 kB
Buffers:           86344 kB
Cached:          6245912 kB
SwapCached:         3100 kB
Active:          2034600 kB
Inactive:        4305564 kB
Active(anon):       6008 kB
Inactive(anon):    42124 kB
Active(file):    2028592 kB
Inactive(file):  4263440 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002168 kB
Dirty:             20356 kB
Writeback:             0 kB
AnonPages:        335912 kB
Mapped:            44448 kB
Shmem:             31940 kB
Slab:             190100 kB
SReclaimable:     160320 kB
SUnreclaim:        29780 kB
KernelStack:        3968 kB
PageTables:         5928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    290816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61148 MiB
End job on node136 at 2019-09-14 08:19:32