Trace number 4405509

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11611-serial-file.bin HOME/instance-4405509-1569357744.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 21:32:01 CEST 2019
0.65/0.57	c PID: 11614
0.65/0.57	c IP: 172.20.3.104
0.65/0.57	c HOST: node104.alineos.net
0.65/0.58	c (0,0) Parsing Begin
4.18/1.56	c (1,1) Parsing End
4.18/1.56	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 511
4.18/1.56	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.18/1.56	c (1,1) Constraint Name Generate Begin
4.18/1.59	c (1,1) Ctr:HOME/instance-4405509-1569357744.xml,Add:Le:Ne:Num:Or:Var
4.18/1.59	c (1,1) Constraint Name Generate End
4.18/1.59	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.18/1.59	c (1,1) CSP to CSPinCNF Begin
5.16/1.82	c (1,1) translated 280 (10%) constraints
5.16/1.87	c (1,1) translated 560 (20%) constraints
5.50/1.90	c (1,1) translated 840 (30%) constraints
5.50/1.93	c (1,1) translated 1120 (40%) constraints
5.50/1.95	c (1,1) translated 1400 (50%) constraints
5.50/1.98	c (1,1) translated 1680 (60%) constraints
5.50/2.00	c (1,1) translated 1960 (70%) constraints
5.91/2.02	c (1,1) translated 2240 (80%) constraints
5.91/2.04	c (1,1) translated 2520 (90%) constraints
5.91/2.06	c (1,1) translated 2800 (100%) constraints
5.91/2.06	c (1,1) ===========================================
6.32/2.11	c (1,1) Hybrid: #OE=200, #LE=0
6.32/2.11	c (1,1) Hybrid
6.32/2.11	c (1,1) ===========================================
6.32/2.14	c (1,1) translated 280 (10%) constraints
6.32/2.16	c (1,1) translated 560 (20%) constraints
6.32/2.17	c (1,1) translated 840 (30%) constraints
6.32/2.19	c (1,1) translated 1120 (40%) constraints
6.69/2.20	c (1,1) translated 1400 (50%) constraints
6.69/2.21	c (1,1) translated 1680 (60%) constraints
6.69/2.22	c (1,1) translated 1960 (70%) constraints
6.69/2.23	c (1,1) translated 2240 (80%) constraints
6.69/2.24	c (1,1) translated 2520 (90%) constraints
6.69/2.26	c (1,1) translated 2800 (100%) constraints
6.69/2.26	c (1,1) CSP to CSPinCNF End
6.69/2.26	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 511
6.69/2.26	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.69/2.26	c (1,1) CSPinCNF Propagation Begin
7.00/2.32	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.00/2.32	c (1,1) CSPinCNF Propagation End
7.00/2.32	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 511
7.00/2.32	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.00/2.34	c (1,1) Hybrid: #OE=200, #LE=0
7.00/2.34	c (1,1) Simplify CSPinCNF Begin
7.63/2.53	c (1,1) Simplify CSPinCNF End
7.63/2.53	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 511
7.63/2.53	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.63/2.53	c (1,1) Calculate Precise Domain Begin
7.63/2.53	c (1,1) 0 values are removed by re-calculation
7.63/2.53	c (1,1) Calculate Precise Domain End
7.63/2.54	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 511
7.63/2.54	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.63/2.54	c (1,1) CSPinCNF to SatSolver Begin
10.84/4.01	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 330104 SAT clauses)
11.88/5.01	c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 567230 SAT clauses)
12.96/6.01	c (5,5) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 802862 SAT clauses)
13.85/6.99	c (6,6) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1037216 SAT clauses)
14.86/7.99	c (7,7) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1274486 SAT clauses)
15.98/9.01	c (8,8) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1512051 SAT clauses)
17.06/9.95	c (9,9) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 1746298 SAT clauses)
18.03/10.80	c (10,10) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 1979654 SAT clauses)
18.83/11.67	c (11,11) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2215652 SAT clauses)
19.85/12.57	c (12,11) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2460864 SAT clauses)
19.85/12.57	c (12,11) CSPinCNF to SatSolver End
19.85/12.57	c (12,11) Heap : 3282 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.85/12.57	c (12,11) 98584 bool, 2461304 clause
19.85/12.57	c (12,11) Export Begin
19.96/12.67	c (12,12) Export to HOME/scop-11611-serial-file.bin
19.96/12.67	c (12,12) Export End
19.96/12.67	c (12,12) Export File Size: 0.03 MB
19.96/12.67	c (12,12) 1,1,1,1,1,1,12,STOP-AFTER(DIMACS)
19.96/12.67	c END-Prog: Tue Sep 24 21:32:13 CEST 2019
0.00/12.71	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11611-serial-file.bin
20.67/13.18	c (0,0) Read Serial File Begin
20.67/13.18	c (0,0) HOME/scop-11611-serial-file.bin
21.05/13.73	c (0,0) Read Serial File End
21.05/13.74	
21.05/13.74	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.05/13.74	(Solving Process)
21.05/13.74	
21.05/13.76	c BEGIN-Prog: Tue Sep 24 21:32:14 CEST 2019
21.05/13.76	c PID: 11634
21.05/13.76	c IP: 172.20.3.104
21.05/13.76	c HOST: node104.alineos.net
21.05/13.77	c (0,0) SatSolver.solve Begin
21.05/13.77	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405509-1569357744.xml-scop-11614.cnf
21.05/13.80	c (0,0) c
21.05/13.80	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
21.05/13.80	c (0,0) c
21.05/13.80	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.05/13.80	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.05/13.80	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.05/13.80	c (0,0) c |                                                                                                       |
22.22/14.66	c (1,0) c |  Number of variables:         98584                                                                   |
22.22/14.66	c (1,0) c |  Number of clauses:         2461304                                                                   |
22.22/14.66	c (1,0) c |  Parse time:                   0.79 s                                                                 |
22.22/14.66	c (1,0) c |                                                                                                       |
27.13/19.54	c (6,0) c |  Simplification time:          4.80 s                                                                 |
27.13/19.54	c (6,0) c |                                                                                                       |
27.13/19.54	c (6,0) c |  Generating clones                                                                                    |
27.83/20.20	c (7,0) c |  all clones generated. Memory =  1545.37Mb.                                                           |
27.83/20.20	c (7,0) c ========================================================================================================|
27.83/20.20	c (7,0) c
27.83/20.20	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
27.83/20.20	c (7,0) c
27.83/20.20	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.83/20.20	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
27.83/20.20	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
27.83/20.20	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
27.83/20.20	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
27.83/20.20	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
27.83/20.20	c (7,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
27.83/20.20	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
27.83/20.20	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
27.83/20.20	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
27.83/20.20	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
27.83/20.20	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
27.83/20.20	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
27.83/20.20	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
27.83/20.20	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
27.83/20.20	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
27.83/20.20	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
27.83/20.20	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
27.83/20.20	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.05	c (8,0) c
41.23/22.05	c (8,0) c real time : 8.26206 s
41.23/22.05	c (8,0) c cpu time  : 18.8309 s
41.23/22.05	c (8,0) c
41.23/22.05	c (8,0) c
41.23/22.05	c (8,0) c
41.23/22.05	c (8,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
41.23/22.05	c (8,0) c
41.23/22.05	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.05	c (8,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
41.23/22.05	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.05	c (8,0) c | Conflicts     |           13823 |       1750 |       1651 |       1599 |       1604 |       1662 |       2190 |       2027 |       1340 |
41.23/22.05	c (8,0) c | Decisions     |           20307 |       2395 |       2510 |       2290 |       2357 |       2299 |       3090 |       3189 |       2177 |
41.23/22.05	c (8,0) c | Propagations  |        15886442 |    1983268 |    1930857 |    1513184 |    1847107 |    1559595 |    2535131 |    2419977 |    2097323 |
41.23/22.05	c (8,0) c | ReduceDBs     |               2 |          0 |          0 |          0 |          0 |          0 |          1 |          1 |          0 |
41.23/22.05	c (8,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
41.23/22.05	c (8,0) c | Restarts      |              20 |          1 |          4 |          2 |          2 |          1 |          3 |          5 |          2 |
41.23/22.05	c (8,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
41.23/22.05	c (8,0) c | PropBinClauses|        18885213 |    2546701 |    2255355 |    1856534 |    2156800 |    1945569 |    2869588 |    2821578 |    2433088 |
41.23/22.05	c (8,0) c | PropPreBlocker|       238965388 |   31237382 |   28830775 |   20290797 |   29244416 |   21806977 |   36873763 |   36962710 |   33718568 |
41.23/22.05	c (8,0) c | PropNotBlocker|        79966877 |   11506858 |    8597095 |    9214882 |    8368789 |   10266897 |   11049591 |   11526951 |    9435814 |
41.23/22.05	c (8,0) c | LitFullScans  |       357251679 |   48040716 |   42062801 |   33102864 |   42001597 |   36002085 |   54008805 |   54028702 |   48004109 |
41.23/22.05	c (8,0) c | LitScanFracts |           15157 |       3390 |       2449 |        155 |       1597 |        659 |       1903 |       3108 |       1896 |
41.23/22.05	c (8,0) c | DecisionLevel0|              27 |          1 |          4 |          9 |          2 |          1 |          3 |          5 |          2 |
41.23/22.05	c (8,0) c | Periods       |              59 |          8 |          7 |          5 |          7 |          6 |          9 |          9 |          8 |
41.23/22.05	c (8,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
41.23/22.05	c (8,0) c | Avg_Trail     |                 |      18308 |       8659 |       7131 |      12737 |       7709 |      11100 |       9382 |      16959 |
41.23/22.05	c (8,0) c | Avg_DL        |                 |        128 |         27 |         17 |         23 |         20 |         27 |         26 |         66 |
41.23/22.05	c (8,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
41.23/22.05	c (8,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
41.23/22.05	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.05	c (8,0) c | Exported      |             556 |         57 |         42 |        135 |         48 |         91 |         53 |         95 |         35 |
41.23/22.05	c (8,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
41.23/22.05	c (8,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
41.23/22.05	c (8,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
41.23/22.06	c (8,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
41.23/22.06	c (8,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
41.23/22.06	c (8,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
41.23/22.06	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.06	c (8,0) c | Unaries       |                 |          0 |          0 |          7 |          0 |          0 |          0 |          0 |          0 |
41.23/22.06	c (8,0) c | Binaries      |                 |          0 |          0 |         29 |          0 |          3 |          0 |          0 |          0 |
41.23/22.06	c (8,0) c | Glues         |                 |         57 |         42 |        135 |         48 |         91 |         53 |         95 |         35 |
41.23/22.06	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.06	c (8,0) c | Orig_Seen     |             0 % |      11277 |      13302 |       7625 |       8743 |       8565 |      12168 |      15084 |      12566 |
41.23/22.06	c (8,0) c | Diff Orig seen|                 |       3652 |       5677 |      X     |       1118 |        940 |       4543 |       7459 |       4941 |
41.23/22.06	c (8,0) c | Hamming       |            23 % |      21156 |      21260 |      X     |      23345 |      22052 |      24246 |      23481 |      24927 |
41.23/22.06	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.06	c (8,0) c | RunningTime   |                 |    1.8 100%|    1.9 100%|    1.7 100%|    1.8 100%|    1.8 100%|    1.8 100%|    1.8 100%|    1.8 100%|
41.23/22.06	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%|
41.23/22.06	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%|
41.23/22.06	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%|
41.23/22.06	c (8,0) c | SolvingTime   |                 |    1.8     |    1.9     |    1.7     |    1.8     |    1.8     |    1.8     |    1.8     |    1.8     |
41.23/22.06	c (8,0) c | PropagationTim|                 |    1.7  96%|    1.8  96%|    1.7  97%|    1.7  96%|    1.7  96%|    1.7  96%|    1.7  96%|    1.7  96%|
41.23/22.06	c (8,0) c | AnalysisTime  |                 |    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   2%|    0.0   3%|    0.0   2%|    0.0   2%|
41.23/22.06	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%|
41.23/22.06	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%|
41.23/22.06	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%|
41.23/22.06	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%|
41.23/22.06	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.06	c (8,0) c
41.23/22.06	c (8,0) c
41.23/22.06	c (8,0) c Threads : 8
41.23/22.06	c (8,0) c Winner : 2
41.23/22.06	c (8,0) c Conflicts_0 : 1750
41.23/22.06	c (8,0) c Conflicts_1 : 1651
41.23/22.06	c (8,0) c Conflicts_2 : 1599
41.23/22.06	c (8,0) c Conflicts_3 : 1604
41.23/22.06	c (8,0) c Conflicts_4 : 1662
41.23/22.06	c (8,0) c Conflicts_5 : 2190
41.23/22.06	c (8,0) c Conflicts_6 : 2027
41.23/22.06	c (8,0) c Conflicts_7 : 1340
41.23/22.06	c (8,0) c Conflicts_total : 13823
41.23/22.06	c (8,0) c Conflicts_winner : 1599
41.23/22.06	c (8,0) c Decisions_0 : 2395
41.23/22.06	c (8,0) c Decisions_1 : 2510
41.23/22.06	c (8,0) c Decisions_2 : 2290
41.23/22.06	c (8,0) c Decisions_3 : 2357
41.23/22.06	c (8,0) c Decisions_4 : 2299
41.23/22.06	c (8,0) c Decisions_5 : 3090
41.23/22.06	c (8,0) c Decisions_6 : 3189
41.23/22.06	c (8,0) c Decisions_7 : 2177
41.23/22.06	c (8,0) c Decisions_total : 20307
41.23/22.06	c (8,0) c Decisions_winner : 2290
41.23/22.06	c (8,0) c Propagations_0 : 1983268
41.23/22.06	c (8,0) c Propagations_1 : 1930857
41.23/22.06	c (8,0) c Propagations_2 : 1513184
41.23/22.06	c (8,0) c Propagations_3 : 1847107
41.23/22.06	c (8,0) c Propagations_4 : 1559595
41.23/22.06	c (8,0) c Propagations_5 : 2535131
41.23/22.06	c (8,0) c Propagations_6 : 2419977
41.23/22.06	c (8,0) c Propagations_7 : 2097323
41.23/22.06	c (8,0) c Propagations_total : 15886442
41.23/22.06	c (8,0) c Propagations_winner : 1513184
41.23/22.06	c (8,0) c ReduceDBs_0 : 0
41.23/22.06	c (8,0) c ReduceDBs_1 : 0
41.23/22.06	c (8,0) c ReduceDBs_2 : 0
41.23/22.06	c (8,0) c ReduceDBs_3 : 0
41.23/22.06	c (8,0) c ReduceDBs_4 : 0
41.23/22.06	c (8,0) c ReduceDBs_5 : 1
41.23/22.06	c (8,0) c ReduceDBs_6 : 1
41.23/22.06	c (8,0) c ReduceDBs_7 : 0
41.23/22.06	c (8,0) c ReduceDBs_total : 2
41.23/22.06	c (8,0) c ReduceDBs_winner : 0
41.23/22.06	c (8,0) c SimpDBs_0 : 1
41.23/22.06	c (8,0) c SimpDBs_1 : 1
41.23/22.06	c (8,0) c SimpDBs_2 : 1
41.23/22.06	c (8,0) c SimpDBs_3 : 1
41.23/22.06	c (8,0) c SimpDBs_4 : 1
41.23/22.06	c (8,0) c SimpDBs_5 : 1
41.23/22.06	c (8,0) c SimpDBs_6 : 1
41.23/22.06	c (8,0) c SimpDBs_7 : 1
41.23/22.06	c (8,0) c SimpDBs_total : 8
41.23/22.06	c (8,0) c SimpDBs_winner : 1
41.23/22.06	c (8,0) c Restarts_0 : 1
41.23/22.06	c (8,0) c Restarts_1 : 4
41.23/22.06	c (8,0) c Restarts_2 : 2
41.23/22.06	c (8,0) c Restarts_3 : 2
41.23/22.06	c (8,0) c Restarts_4 : 1
41.23/22.06	c (8,0) c Restarts_5 : 3
41.23/22.06	c (8,0) c Restarts_6 : 5
41.23/22.06	c (8,0) c Restarts_7 : 2
41.23/22.06	c (8,0) c Restarts_total : 20
41.23/22.06	c (8,0) c Restarts_winner : 2
41.23/22.06	c (8,0) c ForcedImports_0 : 0
41.23/22.06	c (8,0) c ForcedImports_1 : 0
41.23/22.06	c (8,0) c ForcedImports_2 : 0
41.23/22.06	c (8,0) c ForcedImports_3 : 0
41.23/22.06	c (8,0) c ForcedImports_4 : 0
41.23/22.06	c (8,0) c ForcedImports_5 : 0
41.23/22.06	c (8,0) c ForcedImports_6 : 0
41.23/22.06	c (8,0) c ForcedImports_7 : 0
41.23/22.06	c (8,0) c ForcedImports_total : 0
41.23/22.06	c (8,0) c ForcedImports_winner : 0
41.23/22.06	c (8,0) c PropsBinClauses_0 : 2546701
41.23/22.06	c (8,0) c PropsBinClauses_1 : 2255355
41.23/22.06	c (8,0) c PropsBinClauses_2 : 1856534
41.23/22.06	c (8,0) c PropsBinClauses_3 : 2156800
41.23/22.06	c (8,0) c PropsBinClauses_4 : 1945569
41.23/22.06	c (8,0) c PropsBinClauses_5 : 2869588
41.23/22.06	c (8,0) c PropsBinClauses_6 : 2821578
41.23/22.06	c (8,0) c PropsBinClauses_7 : 2433088
41.23/22.06	c (8,0) c PropsBinClauses_total : 18885213
41.23/22.06	c (8,0) c PropsBinClauses_winner : 1856534
41.23/22.06	c (8,0) c PropsPreBlocker_0 : 31237382
41.23/22.06	c (8,0) c PropsPreBlocker_1 : 28830775
41.23/22.06	c (8,0) c PropsPreBlocker_2 : 20290797
41.23/22.06	c (8,0) c PropsPreBlocker_3 : 29244416
41.23/22.06	c (8,0) c PropsPreBlocker_4 : 21806977
41.23/22.06	c (8,0) c PropsPreBlocker_5 : 36873763
41.23/22.06	c (8,0) c PropsPreBlocker_6 : 36962710
41.23/22.06	c (8,0) c PropsPreBlocker_7 : 33718568
41.23/22.06	c (8,0) c PropsPreBlocker_total : 238965388
41.23/22.06	c (8,0) c PropsPreBlocker_winner : 20290797
41.23/22.06	c (8,0) c PropsNotBlocker_0 : 11506858
41.23/22.06	c (8,0) c PropsNotBlocker_1 : 8597095
41.23/22.06	c (8,0) c PropsNotBlocker_2 : 9214882
41.23/22.06	c (8,0) c PropsNotBlocker_3 : 8368789
41.23/22.06	c (8,0) c PropsNotBlocker_4 : 10266897
41.23/22.06	c (8,0) c PropsNotBlocker_5 : 11049591
41.23/22.06	c (8,0) c PropsNotBlocker_6 : 11526951
41.23/22.06	c (8,0) c PropsNotBlocker_7 : 9435814
41.23/22.06	c (8,0) c PropsNotBlocker_total : 79966877
41.23/22.06	c (8,0) c PropsNotBlocker_winner : 9214882
41.23/22.06	c (8,0) c PropsLitFullScans_0 : 48040716
41.23/22.06	c (8,0) c PropsLitFullScans_1 : 42062801
41.23/22.06	c (8,0) c PropsLitFullScans_2 : 33102864
41.23/22.06	c (8,0) c PropsLitFullScans_3 : 42001597
41.23/22.06	c (8,0) c PropsLitFullScans_4 : 36002085
41.23/22.06	c (8,0) c PropsLitFullScans_5 : 54008805
41.23/22.06	c (8,0) c PropsLitFullScans_6 : 54028702
41.23/22.06	c (8,0) c PropsLitFullScans_7 : 48004109
41.23/22.06	c (8,0) c PropsLitFullScans_total : 357251679
41.23/22.06	c (8,0) c PropsLitFullScans_winner : 33102864
41.23/22.06	c (8,0) c LitScanFractions_0 : 3390
41.23/22.06	c (8,0) c LitScanFractions_1 : 2449
41.23/22.06	c (8,0) c LitScanFractions_2 : 155
41.23/22.06	c (8,0) c LitScanFractions_3 : 1597
41.23/22.06	c (8,0) c LitScanFractions_4 : 659
41.23/22.06	c (8,0) c LitScanFractions_5 : 1903
41.23/22.06	c (8,0) c LitScanFractions_6 : 3108
41.23/22.06	c (8,0) c LitScanFractions_7 : 1896
41.23/22.06	c (8,0) c LitScanFractions_total : 15157
41.23/22.06	c (8,0) c LitScanFractions_winner : 155
41.23/22.06	c (8,0) c DecisionLevel0_0 : 1
41.23/22.06	c (8,0) c DecisionLevel0_1 : 4
41.23/22.06	c (8,0) c DecisionLevel0_2 : 9
41.23/22.06	c (8,0) c DecisionLevel0_3 : 2
41.23/22.06	c (8,0) c DecisionLevel0_4 : 1
41.23/22.06	c (8,0) c DecisionLevel0_5 : 3
41.23/22.06	c (8,0) c DecisionLevel0_6 : 5
41.23/22.06	c (8,0) c DecisionLevel0_7 : 2
41.23/22.06	c (8,0) c DecisionLevel0_total : 27
41.23/22.06	c (8,0) c DecisionLevel0_winner : 9
41.23/22.06	c (8,0) c Periods_0 : 8
41.23/22.06	c (8,0) c Periods_1 : 7
41.23/22.06	c (8,0) c Periods_2 : 5
41.23/22.06	c (8,0) c Periods_3 : 7
41.23/22.06	c (8,0) c Periods_4 : 6
41.23/22.06	c (8,0) c Periods_5 : 9
41.23/22.06	c (8,0) c Periods_6 : 9
41.23/22.06	c (8,0) c Periods_7 : 8
41.23/22.06	c (8,0) c Periods_total : 59
41.23/22.06	c (8,0) c Periods_winner : 5
41.23/22.06	c (8,0) c Margin_0 : 20
41.23/22.06	c (8,0) c Margin_1 : 20
41.23/22.06	c (8,0) c Margin_2 : 20
41.23/22.06	c (8,0) c Margin_3 : 20
41.23/22.06	c (8,0) c Margin_4 : 20
41.23/22.06	c (8,0) c Margin_5 : 20
41.23/22.06	c (8,0) c Margin_6 : 20
41.23/22.06	c (8,0) c Margin_7 : 20
41.23/22.06	c (8,0) c Margin_total : 160
41.23/22.06	c (8,0) c Margin_winner : 20
41.23/22.06	c (8,0) c Exported_0 : 57
41.23/22.06	c (8,0) c Exported_1 : 42
41.23/22.06	c (8,0) c Exported_2 : 135
41.23/22.06	c (8,0) c Exported_3 : 48
41.23/22.06	c (8,0) c Exported_4 : 91
41.23/22.06	c (8,0) c Exported_5 : 53
41.23/22.06	c (8,0) c Exported_6 : 95
41.23/22.06	c (8,0) c Exported_7 : 35
41.23/22.06	c (8,0) c Exported_total : 556
41.23/22.06	c (8,0) c Exported_winner : 135
41.23/22.06	c (8,0) c Imported_0 : 0
41.23/22.06	c (8,0) c Imported_1 : 0
41.23/22.06	c (8,0) c Imported_2 : 0
41.23/22.06	c (8,0) c Imported_3 : 0
41.23/22.06	c (8,0) c Imported_4 : 0
41.23/22.06	c (8,0) c Imported_5 : 0
41.23/22.06	c (8,0) c Imported_6 : 0
41.23/22.06	c (8,0) c Imported_7 : 0
41.23/22.06	c (8,0) c Imported_total : 0
41.23/22.06	c (8,0) c Imported_winner : 0
41.23/22.06	c (8,0) c Good_0 : 0
41.23/22.06	c (8,0) c Good_1 : 0
41.23/22.06	c (8,0) c Good_2 : 0
41.23/22.06	c (8,0) c Good_3 : 0
41.23/22.06	c (8,0) c Good_4 : 0
41.23/22.06	c (8,0) c Good_5 : 0
41.23/22.06	c (8,0) c Good_6 : 0
41.23/22.06	c (8,0) c Good_7 : 0
41.23/22.06	c (8,0) c Good_total : 0
41.23/22.06	c (8,0) c Good_winner : 0
41.23/22.06	c (8,0) c Purge_0 : 0
41.23/22.06	c (8,0) c Purge_1 : 0
41.23/22.06	c (8,0) c Purge_2 : 0
41.23/22.06	c (8,0) c Purge_3 : 0
41.23/22.06	c (8,0) c Purge_4 : 0
41.23/22.06	c (8,0) c Purge_5 : 0
41.23/22.06	c (8,0) c Purge_6 : 0
41.23/22.06	c (8,0) c Purge_7 : 0
41.23/22.06	c (8,0) c Purge_total : 0
41.23/22.06	c (8,0) c Purge_winner : 0
41.23/22.06	c (8,0) c Promoted_0 : 0
41.23/22.06	c (8,0) c Promoted_1 : 0
41.23/22.06	c (8,0) c Promoted_2 : 0
41.23/22.06	c (8,0) c Promoted_3 : 0
41.23/22.06	c (8,0) c Promoted_4 : 0
41.23/22.06	c (8,0) c Promoted_5 : 0
41.23/22.06	c (8,0) c Promoted_6 : 0
41.23/22.06	c (8,0) c Promoted_7 : 0
41.23/22.06	c (8,0) c Promoted_total : 0
41.23/22.06	c (8,0) c Promoted_winner : 0
41.23/22.06	c (8,0) c Remove_Imp_0 : 0
41.23/22.06	c (8,0) c Remove_Imp_1 : 0
41.23/22.06	c (8,0) c Remove_Imp_2 : 0
41.23/22.06	c (8,0) c Remove_Imp_3 : 0
41.23/22.06	c (8,0) c Remove_Imp_4 : 0
41.23/22.06	c (8,0) c Remove_Imp_5 : 0
41.23/22.06	c (8,0) c Remove_Imp_6 : 0
41.23/22.06	c (8,0) c Remove_Imp_7 : 0
41.23/22.06	c (8,0) c Remove_Imp_total : 0
41.23/22.06	c (8,0) c Remove_Imp_winner : 0
41.23/22.06	c (8,0) c Blocked_Reuse_0 : 0
41.23/22.06	c (8,0) c Blocked_Reuse_1 : 0
41.23/22.06	c (8,0) c Blocked_Reuse_2 : 0
41.23/22.06	c (8,0) c Blocked_Reuse_3 : 0
41.23/22.06	c (8,0) c Blocked_Reuse_4 : 0
41.23/22.06	c (8,0) c Blocked_Reuse_5 : 0
41.23/22.06	c (8,0) c Blocked_Reuse_6 : 0
41.23/22.06	c (8,0) c Blocked_Reuse_7 : 0
41.23/22.06	c (8,0) c Blocked_Reuse_total : 0
41.23/22.06	c (8,0) c Blocked_Reuse_winner : 0
41.23/22.06	c (8,0) c Unaries_0 : 0
41.23/22.06	c (8,0) c Unaries_1 : 0
41.23/22.06	c (8,0) c Unaries_2 : 7
41.23/22.06	c (8,0) c Unaries_3 : 0
41.23/22.06	c (8,0) c Unaries_4 : 0
41.23/22.06	c (8,0) c Unaries_5 : 0
41.23/22.06	c (8,0) c Unaries_6 : 0
41.23/22.06	c (8,0) c Unaries_7 : 0
41.23/22.06	c (8,0) c Unaries_total : 7
41.23/22.06	c (8,0) c Unaries_winner : 7
41.23/22.06	c (8,0) c Binaries_0 : 0
41.23/22.06	c (8,0) c Binaries_1 : 0
41.23/22.06	c (8,0) c Binaries_2 : 29
41.23/22.06	c (8,0) c Binaries_3 : 0
41.23/22.06	c (8,0) c Binaries_4 : 3
41.23/22.07	c (8,0) c Binaries_5 : 0
41.23/22.07	c (8,0) c Binaries_6 : 0
41.23/22.07	c (8,0) c Binaries_7 : 0
41.23/22.07	c (8,0) c Binaries_total : 32
41.23/22.07	c (8,0) c Binaries_winner : 29
41.23/22.07	c (8,0) c Glues_0 : 57
41.23/22.07	c (8,0) c Glues_1 : 42
41.23/22.07	c (8,0) c Glues_2 : 135
41.23/22.07	c (8,0) c Glues_3 : 48
41.23/22.07	c (8,0) c Glues_4 : 91
41.23/22.07	c (8,0) c Glues_5 : 53
41.23/22.07	c (8,0) c Glues_6 : 95
41.23/22.07	c (8,0) c Glues_7 : 35
41.23/22.07	c (8,0) c Glues_total : 556
41.23/22.07	c (8,0) c Glues_winner : 135
41.23/22.07	c (8,0) c RunningTime_0 : 1.783712
41.23/22.07	c (8,0) c RunningTime_1 : 1.851135
41.23/22.07	c (8,0) c RunningTime_2 : 1.743716
41.23/22.07	c (8,0) c RunningTime_3 : 1.772405
41.23/22.07	c (8,0) c RunningTime_4 : 1.758046
41.23/22.07	c (8,0) c RunningTime_5 : 1.778794
41.23/22.07	c (8,0) c RunningTime_6 : 1.805155
41.23/22.07	c (8,0) c RunningTime_7 : 1.761281
41.23/22.07	c (8,0) c RunningTime_total : 14.254244
41.23/22.07	c (8,0) c RunningTime_winner : 1.743716
41.23/22.07	c (8,0) c WaitingTime_0 : 0.000000
41.23/22.07	c (8,0) c WaitingTime_1 : 0.000000
41.23/22.07	c (8,0) c WaitingTime_2 : 0.000000
41.23/22.07	c (8,0) c WaitingTime_3 : 0.000000
41.23/22.07	c (8,0) c WaitingTime_4 : 0.000000
41.23/22.07	c (8,0) c WaitingTime_5 : 0.000000
41.23/22.07	c (8,0) c WaitingTime_6 : 0.000000
41.23/22.07	c (8,0) c WaitingTime_7 : 0.000000
41.23/22.07	c (8,0) c WaitingTime_total : 0.000000
41.23/22.07	c (8,0) c WaitingTime_winner : 0.000000
41.23/22.07	c (8,0) c ExchangingTime_0 : 0.000465
41.23/22.07	c (8,0) c ExchangingTime_1 : 0.000311
41.23/22.07	c (8,0) c ExchangingTime_2 : 0.000506
41.23/22.07	c (8,0) c ExchangingTime_3 : 0.000322
41.23/22.07	c (8,0) c ExchangingTime_4 : 0.001534
41.23/22.07	c (8,0) c ExchangingTime_5 : 0.000360
41.23/22.07	c (8,0) c ExchangingTime_6 : 0.002258
41.23/22.07	c (8,0) c ExchangingTime_7 : 0.000376
41.23/22.07	c (8,0) c ExchangingTime_total : 0.006133
41.23/22.07	c (8,0) c ExchangingTime_winner : 0.000506
41.23/22.07	c (8,0) c PeriodProcTime_0 : 0.000159
41.23/22.07	c (8,0) c PeriodProcTime_1 : 0.000106
41.23/22.07	c (8,0) c PeriodProcTime_2 : 0.000098
41.23/22.07	c (8,0) c PeriodProcTime_3 : 0.000126
41.23/22.07	c (8,0) c PeriodProcTime_4 : 0.000097
41.23/22.07	c (8,0) c PeriodProcTime_5 : 0.000168
41.23/22.07	c (8,0) c PeriodProcTime_6 : 0.000243
41.23/22.07	c (8,0) c PeriodProcTime_7 : 0.000193
41.23/22.07	c (8,0) c PeriodProcTime_total : 0.001189
41.23/22.07	c (8,0) c PeriodProcTime_winner : 0.000098
41.23/22.07	c (8,0) c SolvingTime_0 : 1.784336
41.23/22.07	c (8,0) c SolvingTime_1 : 1.851552
41.23/22.07	c (8,0) c SolvingTime_2 : 1.744320
41.23/22.07	c (8,0) c SolvingTime_3 : 1.772853
41.23/22.07	c (8,0) c SolvingTime_4 : 1.759677
41.23/22.07	c (8,0) c SolvingTime_5 : 1.779322
41.23/22.07	c (8,0) c SolvingTime_6 : 1.807656
41.23/22.07	c (8,0) c SolvingTime_7 : 1.761850
41.23/22.07	c (8,0) c SolvingTime_total : 14.261566
41.23/22.07	c (8,0) c SolvingTime_winner : 1.744320
41.23/22.07	c (8,0) c PropagationTime_0 : 1.715026
41.23/22.07	c (8,0) c PropagationTime_1 : 1.779635
41.23/22.07	c (8,0) c PropagationTime_2 : 1.684921
41.23/22.07	c (8,0) c PropagationTime_3 : 1.699546
41.23/22.07	c (8,0) c PropagationTime_4 : 1.693054
41.23/22.07	c (8,0) c PropagationTime_5 : 1.700080
41.23/22.07	c (8,0) c PropagationTime_6 : 1.734000
41.23/22.07	c (8,0) c PropagationTime_7 : 1.688725
41.23/22.07	c (8,0) c PropagationTime_total : 13.694988
41.23/22.07	c (8,0) c PropagationTime_winner : 1.684921
41.23/22.07	c (8,0) c AnalysisTime_0 : 0.036786
41.23/22.07	c (8,0) c AnalysisTime_1 : 0.042246
41.23/22.07	c (8,0) c AnalysisTime_2 : 0.031934
41.23/22.07	c (8,0) c AnalysisTime_3 : 0.043021
41.23/22.07	c (8,0) c AnalysisTime_4 : 0.036726
41.23/22.07	c (8,0) c AnalysisTime_5 : 0.046156
41.23/22.07	c (8,0) c AnalysisTime_6 : 0.038543
41.23/22.07	c (8,0) c AnalysisTime_7 : 0.041874
41.23/22.07	c (8,0) c AnalysisTime_total : 0.317286
41.23/22.07	c (8,0) c AnalysisTime_winner : 0.031934
41.23/22.07	c (8,0) c ReductionTime_0 : 0.000000
41.23/22.07	c (8,0) c ReductionTime_1 : 0.000000
41.23/22.07	c (8,0) c ReductionTime_2 : 0.000000
41.23/22.07	c (8,0) c ReductionTime_3 : 0.000000
41.23/22.07	c (8,0) c ReductionTime_4 : 0.000000
41.23/22.07	c (8,0) c ReductionTime_5 : 0.000419
41.23/22.07	c (8,0) c ReductionTime_6 : 0.000363
41.23/22.07	c (8,0) c ReductionTime_7 : 0.000000
41.23/22.07	c (8,0) c ReductionTime_total : 0.000782
41.23/22.07	c (8,0) c ReductionTime_winner : 0.000000
41.23/22.07	c (8,0) c SimplifyTime_0 : 0.000001
41.23/22.07	c (8,0) c SimplifyTime_1 : 0.000000
41.23/22.07	c (8,0) c SimplifyTime_2 : 0.000001
41.23/22.07	c (8,0) c SimplifyTime_3 : 0.000000
41.23/22.07	c (8,0) c SimplifyTime_4 : 0.000000
41.23/22.07	c (8,0) c SimplifyTime_5 : 0.000000
41.23/22.07	c (8,0) c SimplifyTime_6 : 0.000000
41.23/22.07	c (8,0) c SimplifyTime_7 : 0.000000
41.23/22.07	c (8,0) c SimplifyTime_total : 0.000002
41.23/22.07	c (8,0) c SimplifyTime_winner : 0.000001
41.23/22.07	c (8,0) c UsedRateTime_0 : 0.000000
41.23/22.07	c (8,0) c UsedRateTime_1 : 0.000000
41.23/22.07	c (8,0) c UsedRateTime_2 : 0.000000
41.23/22.07	c (8,0) c UsedRateTime_3 : 0.000000
41.23/22.07	c (8,0) c UsedRateTime_4 : 0.000000
41.23/22.07	c (8,0) c UsedRateTime_5 : 0.000000
41.23/22.07	c (8,0) c UsedRateTime_6 : 0.000000
41.23/22.07	c (8,0) c UsedRateTime_7 : 0.000000
41.23/22.07	c (8,0) c UsedRateTime_total : 0.000000
41.23/22.07	c (8,0) c UsedRateTime_winner : 0.000000
41.23/22.07	c (8,0) c OverlapRateTime_0 : 0.000000
41.23/22.07	c (8,0) c OverlapRateTime_1 : 0.000000
41.23/22.07	c (8,0) c OverlapRateTime_2 : 0.000000
41.23/22.07	c (8,0) c OverlapRateTime_3 : 0.000000
41.23/22.07	c (8,0) c OverlapRateTime_4 : 0.000000
41.23/22.07	c (8,0) c OverlapRateTime_5 : 0.000000
41.23/22.07	c (8,0) c OverlapRateTime_6 : 0.000000
41.23/22.07	c (8,0) c OverlapRateTime_7 : 0.000000
41.23/22.07	c (8,0) c OverlapRateTime_total : 0.000000
41.23/22.07	c (8,0) c OverlapRateTime_winner : 0.000000
41.23/22.07	c (8,0) c
41.23/22.07	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
41.23/22.07	c (8,0) c
41.23/22.07	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.07	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
41.23/22.07	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.07	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
41.23/22.07	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
41.23/22.07	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
41.23/22.07	c (8,0) c | Initial random_seed   |   78376910 | 1985729837 | 1828709122 | 1996980318 | 1608306621 |  466217686 | 1548496053 | 1530978804 |
41.23/22.07	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
41.23/22.07	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
41.23/22.07	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
41.23/22.07	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
41.23/22.07	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
41.23/22.07	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
41.23/22.07	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
41.23/22.07	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
41.23/22.07	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
41.23/22.07	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
41.23/22.07	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
41.23/22.07	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
41.23/22.07	c (8,0) 
41.23/22.07	c (8,0) s UNSATISFIABLE
21.50/22.12	c (9,0) SatSolver.solve End
21.50/22.12	c (9,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.50/22.12	c (9,0) Show results Begin
21.50/22.12	s UNSATISFIABLE
21.50/22.12	c (9,0) Show results End
21.50/22.12	c (9,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.50/22.12	c (9,0) 9,9,STOP-AFTER(ALL)
21.50/22.12	c END-Prog: Tue Sep 24 21:32:22 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 (13782 MiB free)
  memory of node 1: 16384 MiB (12335 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405509-1569357744/watcher-4405509-1569357744 -o /tmp/evaluation-result-4405509-1569357744/solver-4405509-1569357744 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569344661-10096 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405509-1569357744.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=11611, runsolver pid=11608
Current StackSize limit: 8192 KiB


[startup+0.100117 s]*
/proc/loadavg: 6.90 7.05 6.91 4/211 11633
/proc/meminfo: memFree=26650560/32770624 swapFree=66986400/67108860
[pid=11611] ppid=11608 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11611/stat : 11611 (scop.sh) S 11608 11611 10069 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 512030982 115843072 348 33554432000 4194304 5098028 140732155671632 140732155668888 139636566811260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24387584 140732155679524 140732155679852 140732155679852 140732155682765 0
/proc/11611/statm: 28282 348 296 221 0 87 0
[pid=11614] ppid=11611 vsize=27314120 memory=106024 CPUtime=0.1 cores=0-7
/proc/11614/stat : 11614 (java) S 11611 11611 10069 0 -1 1077944320 6541 0 0 0 8 2 0 0 20 0 20 0 512030982 27969658880 26506 33554432000 4194304 4196468 140729008304592 140729008287136 139771757047543 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
/proc/11614/statm: 6828530 26506 2795 1 0 6790935 0
[pid=11614/tid=11615] ppid=11611 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/11614/task/11615/stat : 11615 (java) R 11611 11611 10069 0 -1 4202560 4604 0 0 0 7 1 0 0 20 0 20 0 512030983 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771728860784 139771749284670 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11616] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11616/stat : 11616 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771761289616 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11617] ppid=11611 vsize=27314120 memory=3544814534261401248 CPUtime=0 cores=0-7
/proc/11614/task/11617/stat : 11617 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771592538384 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11618] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11618/stat : 11618 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771177708176 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11619] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11619/stat : 11619 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771176655376 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11620] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11620/stat : 11620 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771175603088 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11621] ppid=11611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11614/task/11621/stat : 11621 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771174550288 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11622] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11622/stat : 11622 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771173498000 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11623] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11623/stat : 11623 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771172445200 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11624] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11624/stat : 11624 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030987 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771016652912 139771757058690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11625] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11625/stat : 11625 (java) S 11611 11611 10069 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512030987 27969658880 26506 33554432000 4194304 4196468 140729008304592 139769510093600 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11626] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11626/stat : 11626 (java) S 11611 11611 10069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512030987 27969658880 26506 33554432000 4194304 4196468 140729008304592 139769375872112 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11627] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11627/stat : 11627 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 26506 33554432000 4194304 4196468 140729008304592 139769001367632 139771757066139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11628] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11628/stat : 11628 (java) S 11611 11611 10069 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771015600752 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11629] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11629/stat : 11629 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771014547952 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11630] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11630/stat : 11630 (java) S 11611 11611 10069 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771013495664 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11631] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11631/stat : 11631 (java) S 11611 11611 10069 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771012442864 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11632] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11632/stat : 11632 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 26506 33554432000 4194304 4196468 140729008304592 139768503462240 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11633] ppid=11611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11614/task/11633/stat : 11633 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 26506 33554432000 4194304 4196468 140729008304592 139771011389744 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107416 KiB

[startup+0.209893 s]*
/proc/loadavg: 6.90 7.05 6.91 3/211 11633
/proc/meminfo: memFree=26629640/32770624 swapFree=66986400/67108860
[pid=11611] ppid=11608 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11611/stat : 11611 (scop.sh) S 11608 11611 10069 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 512030982 115843072 348 33554432000 4194304 5098028 140732155671632 140732155668888 139636566811260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24387584 140732155679524 140732155679852 140732155679852 140732155682765 0
/proc/11611/statm: 28282 348 296 221 0 87 0
[pid=11614] ppid=11611 vsize=27314120 memory=125084 CPUtime=0.24 cores=0-7
/proc/11614/stat : 11614 (java) S 11611 11611 10069 0 -1 1077944320 12197 0 0 0 20 4 0 0 20 0 20 0 512030982 27969658880 31271 33554432000 4194304 4196468 140729008304592 140729008287136 139771757047543 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
/proc/11614/statm: 6828530 31271 2929 1 0 6790935 0
[pid=11614/tid=11615] ppid=11611 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11614/task/11615/stat : 11615 (java) R 11611 11611 10069 0 -1 4202560 9841 0 0 0 17 3 0 0 20 0 20 0 512030983 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771728846928 139771738611047 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11616] ppid=11611 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/11614/task/11616/stat : 11616 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771761289616 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11617] ppid=11611 vsize=27314120 memory=140571939061637 CPUtime=0 cores=0-7
/proc/11614/task/11617/stat : 11617 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771592538384 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11618] ppid=11611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11614/task/11618/stat : 11618 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771177708176 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11619] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11619/stat : 11619 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771176655376 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11620] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11620/stat : 11620 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771175603088 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11621] ppid=11611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11614/task/11621/stat : 11621 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771174550288 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11622] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11622/stat : 11622 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771173498000 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11623] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11623/stat : 11623 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771172445200 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11624] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11624/stat : 11624 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030987 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771016652912 139771757058690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11625] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11625/stat : 11625 (java) S 11611 11611 10069 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512030987 27969658880 31271 33554432000 4194304 4196468 140729008304592 139769510093600 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11626] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11626/stat : 11626 (java) S 11611 11611 10069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512030987 27969658880 31271 33554432000 4194304 4196468 140729008304592 139769375872112 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11627] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11627/stat : 11627 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 31271 33554432000 4194304 4196468 140729008304592 139769001367632 139771757066139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11628] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11628/stat : 11628 (java) S 11611 11611 10069 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771015600752 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11629] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11629/stat : 11629 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771014547952 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11630] ppid=11611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11614/task/11630/stat : 11630 (java) S 11611 11611 10069 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771013495664 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11631] ppid=11611 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/11614/task/11631/stat : 11631 (java) S 11611 11611 10069 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 20 0 512030990 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771012442864 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11632] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11632/stat : 11632 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 31271 33554432000 4194304 4196468 140729008304592 139768503462240 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11633] ppid=11611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11614/task/11633/stat : 11633 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 31271 33554432000 4194304 4196468 140729008304592 139771011389744 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126476 KiB

[startup+0.309459 s]*
/proc/loadavg: 6.90 7.05 6.91 3/211 11633
/proc/meminfo: memFree=26625964/32770624 swapFree=66986400/67108860
[pid=11611] ppid=11608 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11611/stat : 11611 (scop.sh) S 11608 11611 10069 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 512030982 115843072 348 33554432000 4194304 5098028 140732155671632 140732155668888 139636566811260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24387584 140732155679524 140732155679852 140732155679852 140732155682765 0
/proc/11611/statm: 28282 348 296 221 0 87 0
[pid=11614] ppid=11611 vsize=27314120 memory=128980 CPUtime=0.42 cores=0-7
/proc/11614/stat : 11614 (java) S 11611 11611 10069 0 -1 1077944320 12630 0 0 0 38 4 0 0 20 0 20 0 512030982 27969658880 32245 33554432000 4194304 4196468 140729008304592 140729008287136 139771757047543 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
/proc/11614/statm: 6828530 32245 3027 1 0 6790935 0
[pid=11614/tid=11615] ppid=11611 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/11614/task/11615/stat : 11615 (java) R 11611 11611 10069 0 -1 4202560 10024 0 0 0 26 3 0 0 20 0 20 0 512030983 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771728873328 139771742213136 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11616] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11616/stat : 11616 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771761289616 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11617] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11617/stat : 11617 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771592538384 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11618] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11618/stat : 11618 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771177708176 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11619] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11619/stat : 11619 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771176655376 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11620] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11620/stat : 11620 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771175603088 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11621] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11621/stat : 11621 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771174550288 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11622] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11622/stat : 11622 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771173498000 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11623] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11623/stat : 11623 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512030985 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771172445200 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11624] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11624/stat : 11624 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030987 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771016652912 139771757058690 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11625] ppid=11611 vsize=27314120 memory=281143593344384 CPUtime=0 cores=0-7
/proc/11614/task/11625/stat : 11625 (java) S 11611 11611 10069 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512030987 27969658880 32245 33554432000 4194304 4196468 140729008304592 139769510093600 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11626] ppid=11611 vsize=27314120 memory=281143593348992 CPUtime=0 cores=0-7
/proc/11614/task/11626/stat : 11626 (java) S 11611 11611 10069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512030987 27969658880 32245 33554432000 4194304 4196468 140729008304592 139769375872112 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11627] ppid=11611 vsize=27314120 memory=281143593353600 CPUtime=0 cores=0-7
/proc/11614/task/11627/stat : 11627 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 32245 33554432000 4194304 4196468 140729008304592 139769001367632 139771757066139 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11628] ppid=11611 vsize=27314120 memory=281143593358208 CPUtime=0.02 cores=0-7
/proc/11614/task/11628/stat : 11628 (java) S 11611 11611 10069 0 -1 1077944384 300 0 0 0 2 0 0 0 20 0 20 0 512030990 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771015600752 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11629] ppid=11611 vsize=27314120 memory=281143593362816 CPUtime=0 cores=0-7
/proc/11614/task/11629/stat : 11629 (java) S 11611 11611 10069 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771014547952 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11630] ppid=11611 vsize=27314120 memory=281143593367424 CPUtime=0 cores=0-7
/proc/11614/task/11630/stat : 11630 (java) S 11611 11611 10069 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771013495664 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11631] ppid=11611 vsize=27314120 memory=281143593372032 CPUtime=0.07 cores=0-7
/proc/11614/task/11631/stat : 11631 (java) S 11611 11611 10069 0 -1 1077944384 610 0 0 0 7 0 0 0 20 0 20 0 512030990 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771012442864 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11632] ppid=11611 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11632/stat : 11632 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 32245 33554432000 4194304 4196468 140729008304592 139768503462240 139771757057749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11633] ppid=11611 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11614/task/11633/stat : 11633 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030990 27969658880 32245 33554432000 4194304 4196468 140729008304592 139771011389744 139771757058690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130372 KiB

[startup+0.700918 s]
/proc/loadavg: 6.90 7.05 6.91 3/211 11633
/proc/meminfo: memFree=26604888/32770624 swapFree=66986400/67108860
[pid=11611] ppid=11608 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/11611/stat : 11611 (scop.sh) S 11608 11611 10069 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 512030982 115843072 348 33554432000 4194304 5098028 140732155671632 140732155668888 139636566811260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24387584 140732155679524 140732155679852 140732155679852 140732155682765 0
/proc/11611/statm: 28282 348 296 221 0 87 0
[pid=11614] ppid=11611 vsize=27320392 memory=163900 CPUtime=0.99 cores=0-7
/proc/11614/stat : 11614 (java) S 11611 11611 10069 0 -1 1077944320 20107 0 0 0 92 7 0 0 20 0 20 0 512030982 27976081408 40975 33554432000 4194304 4196468 140729008304592 140729008287136 139771757047543 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
/proc/11614/statm: 6830098 40975 3189 1 0 6791447 0
[pid=11614/tid=11615] ppid=11611 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/11614/task/11615/stat : 11615 (java) R 11611 11611 10069 0 -1 4202560 16955 0 0 0 62 5 0 0 20 0 20 0 512030983 27976081408 40975 33554432000 4194304 4196468 140729008304592 139771728881672 139771258651840 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11616] ppid=11611 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11616/stat : 11616 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27976081408 40975 33554432000 4194304 4196468 140729008304592 139771761289616 139771757057749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11617] ppid=11611 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11614/task/11617/stat : 11617 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512030985 27976081408 40975 33554432000 4194304 4196468 140729008304592 139771592538384 139771757057749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0
[pid=11614/tid=11618] ppid=11611 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/11614/task/11618/stat : 11618 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512030985 27976081408 40975 33554432000 4194304 4196468 140729008304592 139771177708176 139771757057749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7352320 140729008308970 140729008309398 140729008309398 140729008312271 0

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

/proc/11634/task/11642/stat : 11642 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703219104400 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11643] ppid=11611 vsize=8414124 memory=6935656952358588496 CPUtime=0 cores=0-7
/proc/11634/task/11643/stat : 11643 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032256 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703218051600 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11644] ppid=11611 vsize=8414124 memory=6935654753335332944 CPUtime=0 cores=0-7
/proc/11634/task/11644/stat : 11644 (java) S 11611 11611 10069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512032257 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702832487024 139703739157122 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11645] ppid=11611 vsize=8414124 memory=7305792226165679957 CPUtime=0 cores=0-7
/proc/11634/task/11645/stat : 11645 (java) S 11611 11611 10069 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512032257 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702401230112 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11646] ppid=11611 vsize=8414124 memory=912 CPUtime=0 cores=0-7
/proc/11634/task/11646/stat : 11646 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032258 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702132794992 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11647] ppid=11611 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/11634/task/11647/stat : 11647 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139701758286416 139703739164571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11648] ppid=11611 vsize=8414124 memory=2480 CPUtime=0.06 cores=0-7
/proc/11634/task/11648/stat : 11648 (java) S 11611 11611 10069 0 -1 1077944384 539 0 0 0 6 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702831433840 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11649] ppid=11611 vsize=8414124 memory=1768 CPUtime=0.07 cores=0-7
/proc/11634/task/11649/stat : 11649 (java) S 11611 11611 10069 0 -1 1077944384 438 0 0 0 7 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702830381040 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11650] ppid=11611 vsize=8414124 memory=111632 CPUtime=0.1 cores=0-7
/proc/11634/task/11650/stat : 11650 (java) S 11611 11611 10069 0 -1 1077944384 625 0 0 0 10 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702829328752 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11651] ppid=11611 vsize=8414124 memory=796 CPUtime=0.21 cores=0-7
/proc/11634/task/11651/stat : 11651 (java) S 11611 11611 10069 0 -1 1077944384 546 0 0 0 21 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702828275952 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11652] ppid=11611 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/11634/task/11652/stat : 11652 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139701260381024 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11653] ppid=11611 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/11634/task/11653/stat : 11653 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032261 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702827223856 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11655] ppid=11611 vsize=8414124 memory=4424 CPUtime=0 cores=0-7
/proc/11634/task/11655/stat : 11655 (java) S 11611 11611 10069 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512032362 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702819190592 139703739170585 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11657] ppid=11611 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/11634/task/11657/stat : 11657 (java) S 11611 11611 10069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512032362 8616062976 30502 33554432000 4194304 4196468 140727371398976 139700589280656 139703739167901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11658] ppid=11611 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/11634/task/11658/stat : 11658 (java) S 11611 11611 10069 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512032362 8616062976 30502 33554432000 4194304 4196468 140727371398976 139700857715984 139703739167901 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11659] ppid=11611 vsize=8414124 memory=2820 CPUtime=0 cores=0-7
/proc/11634/task/11659/stat : 11659 (java) S 11611 11611 10069 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512032364 8616062976 30502 33554432000 4194304 4196468 140727371398976 139700320853296 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
Current children cumulated CPU time: 38.29 s
Current children cumulated vsize: 10699560 KiB
Current children cumulated memory: 1776560 KiB

[startup+22.0014 s]*
/proc/loadavg: 5.23 6.65 6.78 3/218 11669
/proc/meminfo: memFree=24924744/32770624 swapFree=66986400/67108860
[pid=11611] ppid=11608 vsize=113128 memory=1472 CPUtime=20.16 cores=0-7
/proc/11611/stat : 11611 (scop.sh) S 11608 11611 10069 0 -1 4202496 580 32944 0 0 0 0 1897 119 20 0 1 0 512030982 115843072 368 33554432000 4194304 5098028 140732155671632 140732155668376 139636566811260 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24387584 140732155679524 140732155679852 140732155679852 140732155682765 0
/proc/11611/statm: 28282 368 311 221 0 87 0
[pid=11634] ppid=11611 vsize=8414124 memory=122008 CPUtime=1.27 cores=0-7
/proc/11634/stat : 11634 (java) S 11611 11611 10069 0 -1 1077944320 20322 0 0 0 119 8 0 0 20 0 24 0 512032254 8616062976 30502 33554432000 4194304 4196468 140727371398976 140727371381520 139703739145975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
/proc/11634/statm: 2103531 30502 3209 1 0 2064875 0
[pid=11654] ppid=11634 vsize=2172308 memory=1656564 CPUtime=19.8 cores=0-7
/proc/11654/stat : 11654 (manyglucose-4.1) S 11634 11611 10069 0 -1 1077944320 414544 0 0 0 1878 102 0 0 20 0 3 0 512032361 2224443392 414141 33554432000 4194304 4454172 140735498547152 140735498545536 139953075212023 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 34439168 140735498552169 140735498552368 140735498552368 140735498555322 0
/proc/11654/statm: 543077 414141 420 64 0 538745 0
[pid=11654/tid=11663] ppid=11634 vsize=2172308 memory=0 CPUtime=1.7 cores=0-7
/proc/11654/task/11663/stat : 11663 (manyglucose-4.1) R 11634 11611 10069 0 -1 4202560 17384 0 0 0 163 7 0 0 20 0 3 0 512033003 2224443392 414141 33554432000 4194304 4454172 140735498547152 139952207280936 4319199 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 34439168 140735498552169 140735498552368 140735498552368 140735498555322 0
[pid=11654/tid=11668] ppid=11634 vsize=2172308 memory=0 CPUtime=1.69 cores=0-7
/proc/11654/task/11668/stat : 11668 (manyglucose-4.1) R 11634 11611 10069 0 -1 4202560 14101 0 0 0 166 3 0 0 20 0 3 0 512033003 2224443392 414141 33554432000 4194304 4454172 140735498547152 139952165317416 4351800 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 34439168 140735498552169 140735498552368 140735498552368 140735498555322 0
[pid=11634/tid=11635] ppid=11611 vsize=8414124 memory=8390339637985935414 CPUtime=0.77 cores=0-7
/proc/11634/task/11635/stat : 11635 (java) S 11611 11611 10069 0 -1 1077944384 16774 0 0 0 72 5 0 0 20 0 24 0 512032254 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703710986144 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11636] ppid=11611 vsize=8414124 memory=300896970088707779 CPUtime=0 cores=0-7
/proc/11634/task/11636/stat : 11636 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703743388560 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11637] ppid=11611 vsize=8414124 memory=11300 CPUtime=0 cores=0-7
/proc/11634/task/11637/stat : 11637 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703543556880 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11638] ppid=11611 vsize=8414124 memory=7300986251947036755 CPUtime=0 cores=0-7
/proc/11634/task/11638/stat : 11638 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703223315600 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11639] ppid=11611 vsize=8414124 memory=7739267078625063016 CPUtime=0 cores=0-7
/proc/11634/task/11639/stat : 11639 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703222262800 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11640] ppid=11611 vsize=8414124 memory=3761971557755270964 CPUtime=0 cores=0-7
/proc/11634/task/11640/stat : 11640 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703221209488 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11641] ppid=11611 vsize=8414124 memory=7591211262636942696 CPUtime=0 cores=0-7
/proc/11634/task/11641/stat : 11641 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703220156688 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11642] ppid=11611 vsize=8414124 memory=7589524607454768740 CPUtime=0 cores=0-7
/proc/11634/task/11642/stat : 11642 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703219104400 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11643] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11643/stat : 11643 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032256 8616062976 30502 33554432000 4194304 4196468 140727371398976 139703218051600 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11644] ppid=11611 vsize=8414124 memory=3544952138992015208 CPUtime=0 cores=0-7
/proc/11634/task/11644/stat : 11644 (java) S 11611 11611 10069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512032257 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702832487024 139703739157122 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11645] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11645/stat : 11645 (java) S 11611 11611 10069 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512032257 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702401230112 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11646] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11646/stat : 11646 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032258 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702132794992 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11647] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11647/stat : 11647 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139701758286416 139703739164571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11648] ppid=11611 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/11634/task/11648/stat : 11648 (java) S 11611 11611 10069 0 -1 1077944384 539 0 0 0 6 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702831433840 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11649] ppid=11611 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/11634/task/11649/stat : 11649 (java) S 11611 11611 10069 0 -1 1077944384 438 0 0 0 7 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702830381040 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11650] ppid=11611 vsize=8414124 memory=-1 CPUtime=0.1 cores=0-7
/proc/11634/task/11650/stat : 11650 (java) S 11611 11611 10069 0 -1 1077944384 625 0 0 0 10 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702829328752 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11651] ppid=11611 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/11634/task/11651/stat : 11651 (java) S 11611 11611 10069 0 -1 1077944384 546 0 0 0 21 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702828275952 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11652] ppid=11611 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/11634/task/11652/stat : 11652 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512032260 8616062976 30502 33554432000 4194304 4196468 140727371398976 139701260381024 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11653] ppid=11611 vsize=8414124 memory=-1 CPUtime=0 cores=0-7
/proc/11634/task/11653/stat : 11653 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032261 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702827223856 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11655] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11655/stat : 11655 (java) S 11611 11611 10069 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512032362 8616062976 30502 33554432000 4194304 4196468 140727371398976 139702819190592 139703739170585 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11657] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11657/stat : 11657 (java) S 11611 11611 10069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 512032362 8616062976 30502 33554432000 4194304 4196468 140727371398976 139700589280656 139703739167901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11658] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11658/stat : 11658 (java) S 11611 11611 10069 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512032362 8616062976 30502 33554432000 4194304 4196468 140727371398976 139700857715984 139703739167901 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11659] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11659/stat : 11659 (java) S 11611 11611 10069 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512032364 8616062976 30502 33554432000 4194304 4196468 140727371398976 139700320853296 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
Current children cumulated CPU time: 41.23 s
Current children cumulated vsize: 10699560 KiB
Current children cumulated memory: 1780044 KiB

[startup+22.1106 s]
/proc/loadavg: 5.23 6.65 6.78 3/218 11669
/proc/meminfo: memFree=24924744/32770624 swapFree=66986400/67108860
[pid=11611] ppid=11608 vsize=113128 memory=1472 CPUtime=20.16 cores=0-7
/proc/11611/stat : 11611 (scop.sh) S 11608 11611 10069 0 -1 4202496 580 32944 0 0 0 0 1897 119 20 0 1 0 512030982 115843072 368 33554432000 4194304 5098028 140732155671632 140732155668376 139636566811260 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24387584 140732155679524 140732155679852 140732155679852 140732155682765 0
/proc/11611/statm: 28282 368 311 221 0 87 0
[pid=11634] ppid=11611 vsize=8414124 memory=123088 CPUtime=1.34 cores=0-7
/proc/11634/stat : 11634 (java) S 11611 11611 10069 0 -1 1077944320 20610 0 0 0 126 8 0 0 20 0 24 0 512032254 8616062976 30772 33554432000 4194304 4196468 140727371398976 140727371381520 139703739145975 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
/proc/11634/statm: 2103531 30772 3214 1 0 2064875 0
[pid=11634/tid=11635] ppid=11611 vsize=8414124 memory=1651992 CPUtime=0.77 cores=0-7
/proc/11634/task/11635/stat : 11635 (java) S 11611 11611 10069 0 -1 1077944384 16774 0 0 0 72 5 0 0 20 0 24 0 512032254 8616062976 30772 33554432000 4194304 4196468 140727371398976 139703710986144 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11636] ppid=11611 vsize=8414124 memory=1633656 CPUtime=0 cores=0-7
/proc/11634/task/11636/stat : 11636 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30772 33554432000 4194304 4196468 140727371398976 139703743388560 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11637] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11637/stat : 11637 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30772 33554432000 4194304 4196468 140727371398976 139703543556880 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11638] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11638/stat : 11638 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30772 33554432000 4194304 4196468 140727371398976 139703223315600 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11639] ppid=11611 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/11634/task/11639/stat : 11639 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30772 33554432000 4194304 4196468 140727371398976 139703222262800 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11640] ppid=11611 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/11634/task/11640/stat : 11640 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30772 33554432000 4194304 4196468 140727371398976 139703221209488 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11641] ppid=11611 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/11634/task/11641/stat : 11641 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30772 33554432000 4194304 4196468 140727371398976 139703220156688 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11642] ppid=11611 vsize=8414124 memory=1392 CPUtime=0 cores=0-7
/proc/11634/task/11642/stat : 11642 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032255 8616062976 30772 33554432000 4194304 4196468 140727371398976 139703219104400 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11643] ppid=11611 vsize=8414124 memory=5918140 CPUtime=0 cores=0-7
/proc/11634/task/11643/stat : 11643 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032256 8616062976 30772 33554432000 4194304 4196468 140727371398976 139703218051600 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11644] ppid=11611 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/11634/task/11644/stat : 11644 (java) S 11611 11611 10069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512032257 8616062976 30772 33554432000 4194304 4196468 140727371398976 139702832487024 139703739157122 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11645] ppid=11611 vsize=8414124 memory=1392 CPUtime=0 cores=0-7
/proc/11634/task/11645/stat : 11645 (java) S 11611 11611 10069 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512032257 8616062976 30772 33554432000 4194304 4196468 140727371398976 139702401230112 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11646] ppid=11611 vsize=8414124 memory=4097316 CPUtime=0 cores=0-7
/proc/11634/task/11646/stat : 11646 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032258 8616062976 30772 33554432000 4194304 4196468 140727371398976 139702132794992 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11647] ppid=11611 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/11634/task/11647/stat : 11647 (java) S 11611 11611 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512032260 8616062976 30772 33554432000 4194304 4196468 140727371398976 139701758286416 139703739164571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11648] ppid=11611 vsize=8414124 memory=6944652177228980320 CPUtime=0.08 cores=0-7
/proc/11634/task/11648/stat : 11648 (java) S 11611 11611 10069 0 -1 1077944384 554 0 0 0 8 0 0 0 20 0 24 0 512032260 8616062976 30772 33554432000 4194304 4196468 140727371398976 139702831433840 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11649] ppid=11611 vsize=8414124 memory=1649840 CPUtime=0.07 cores=0-7
/proc/11634/task/11649/stat : 11649 (java) S 11611 11611 10069 0 -1 1077944384 440 0 0 0 7 0 0 0 20 0 24 0 512032260 8616062976 30772 33554432000 4194304 4196468 140727371398976 139702830381040 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11650] ppid=11611 vsize=8414124 memory=-6513152120280025276 CPUtime=0.11 cores=0-7
/proc/11634/task/11650/stat : 11650 (java) S 11611 11611 10069 0 -1 1077944384 631 0 0 0 11 0 0 0 20 0 24 0 512032260 8616062976 30772 33554432000 4194304 4196468 140727371398976 139702829328752 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11651] ppid=11611 vsize=8414124 memory=3616 CPUtime=0.22 cores=0-7
/proc/11634/task/11651/stat : 11651 (java) S 11611 11611 10069 0 -1 1077944384 800 0 0 0 22 0 0 0 20 0 24 0 512032260 8616062976 30772 33554432000 4194304 4196468 140727371398976 139702828275952 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11652] ppid=11611 vsize=8414124 memory=65264 CPUtime=0 cores=0-7
/proc/11634/task/11652/stat : 11652 (java) S 11611 11611 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512032260 8616062976 30772 33554432000 4194304 4196468 140727371398976 139701260381024 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11653] ppid=11611 vsize=8414124 memory=-7824251494390782565 CPUtime=0 cores=0-7
/proc/11634/task/11653/stat : 11653 (java) S 11611 11611 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512032261 8616062976 30772 33554432000 4194304 4196468 140727371398976 139702827223856 139703739157122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11655] ppid=11611 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/11634/task/11655/stat : 11655 (java) S 11611 11611 10069 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512032362 8616062976 30772 33554432000 4194304 4196468 140727371398976 139702819190592 139703739170585 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11657] ppid=11611 vsize=8414124 memory=6944652177228980320 CPUtime=0.02 cores=0-7
/proc/11634/task/11657/stat : 11657 (java) S 11611 11611 10069 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 24 0 512032362 8616062976 30772 33554432000 4194304 4196468 140727371398976 139700589280688 139703739167901 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11658] ppid=11611 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/11634/task/11658/stat : 11658 (java) S 11611 11611 10069 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512032362 8616062976 30772 33554432000 4194304 4196468 140727371398976 139700857715984 139703739167901 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
[pid=11634/tid=11659] ppid=11611 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/11634/task/11659/stat : 11659 (java) S 11611 11611 10069 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512032364 8616062976 30772 33554432000 4194304 4196468 140727371398976 139700320853296 139703739156181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27967488 140727371400183 140727371400342 140727371400342 140727371403215 0
Current children cumulated CPU time: 21.5 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 124560 KiB

Child status: 0
Real time (s): 22.1463
CPU time (s): 41.4729
CPU user time (s): 39.0766
CPU system time (s): 2.39628
CPU usage (%): 187.268
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 5920572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.0766
system time used= 2.39628
maximum resident set size= 5920464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469064
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= 30776
involuntary context switches= 164


# summary of solver processes directly reported to runsolver:
#   pid: 11611
#   total CPU time (s): 41.4729
#   total CPU user time (s): 39.0766
#   total CPU system time (s): 2.39628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.185167 second user time and 0.290287 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-24 21:32:00
IDJOB=4405509
IDBENCH=138449
IDSOLVER=2868
FILE ID=node104/4405509-1569357744
RUNJOBID= node104-1569344661-10096
PBS_JOBID= 21705083
Free space on /tmp= 9836 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-26.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405509-1569357744/watcher-4405509-1569357744 -o /tmp/evaluation-result-4405509-1569357744/solver-4405509-1569357744 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569344661-10096 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405509-1569357744.xml

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

MD5SUM BENCH= 163dd1c4311ae2a810c887bcbec28782
RANDOM SEED=362787442

node104.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	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26744280 kB
MemAvailable:   31819220 kB
Buffers:          101004 kB
Cached:          5065092 kB
SwapCached:        22640 kB
Active:          3189276 kB
Inactive:        2002396 kB
Active(anon):       2960 kB
Inactive(anon):    80336 kB
Active(file):    3186316 kB
Inactive(file):  1922060 kB
Unevictable:      109708 kB
Mlocked:          109708 kB
SwapTotal:      67108860 kB
SwapFree:       66986400 kB
Dirty:             20644 kB
Writeback:             0 kB
AnonPages:        114240 kB
Mapped:            57612 kB
Shmem:             49032 kB
Slab:             424256 kB
SReclaimable:     395024 kB
SUnreclaim:        29232 kB
KernelStack:        3376 kB
PageTables:         5208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9812 MiB
End job on node104 at 2019-09-24 21:32:22