Trace number 4392666

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-06-15)SAT 11.7769 5.40622

General information on the benchmark

NamePrimes/
Primes-m1-p20/Primes-20-20-3-3.xml
MD5SUM065412ea00e4edb14381318bc4e9318f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.007616
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Number of domains1
Minimum domain size70
Maximum domain size70
Distribution of domain sizes[{"size":70,"count":60}]
Minimum variable degree0
Maximum variable degree3
Distribution of variable degrees[{"degree":0,"count":40},{"degree":1,"count":35},{"degree":2,"count":17},{"degree":3,"count":8}]
Minimum constraint arity3
Maximum constraint arity6
Distribution of constraint arities[{"arity":3,"count":3},{"arity":4,"count":7},{"arity":5,"count":4},{"arity":6,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":20}]
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-22317-serial-file.bin HOME/instance-4392666-1568433362.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: Sat Sep 14 05:55:22 CEST 2019
0.65/0.57	c PID: 22320
0.65/0.57	c IP: 172.20.3.124
0.65/0.57	c HOST: node124.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.14/0.86	c (0,0) Parsing End
1.14/0.86	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 20 ctr, max domain size 70
1.14/0.86	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.14/0.87	c (0,0) Constraint Name Generate Begin
1.14/0.87	c (0,0) Ctr:HOME/instance-4392666-1568433362.xml,Num:Var:WeightedSum
1.14/0.87	c (0,0) Constraint Name Generate End
1.14/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.14/0.87	c (0,0) CSP to CSPinCNF Begin
1.35/0.96	c (0,0) translated 2 (10%) constraints
1.35/0.96	c (0,0) translated 4 (20%) constraints
1.35/0.97	c (0,0) translated 6 (30%) constraints
1.35/0.98	c (0,0) translated 8 (40%) constraints
1.35/0.98	c (0,0) translated 10 (50%) constraints
1.35/0.99	c (0,0) translated 12 (60%) constraints
1.35/0.99	c (0,0) translated 14 (70%) constraints
1.35/0.99	c (0,0) translated 16 (80%) constraints
1.35/1.00	c (0,0) translated 18 (90%) constraints
1.35/1.00	c (0,0) translated 20 (100%) constraints
1.35/1.00	c (0,0) ===========================================
1.54/1.01	c (0,0) Hybrid: #OE=0, #LE=60
1.54/1.01	c (0,0) Hybrid
1.54/1.01	c (0,0) ===========================================
1.54/1.02	c (0,0) translated 2 (10%) constraints
1.54/1.02	c (0,0) translated 4 (20%) constraints
1.54/1.03	c (0,0) translated 6 (30%) constraints
1.54/1.03	c (0,0) translated 8 (40%) constraints
1.54/1.03	c (0,0) translated 10 (50%) constraints
1.54/1.04	c (0,0) translated 12 (60%) constraints
1.54/1.04	c (0,0) translated 14 (70%) constraints
1.54/1.04	c (0,0) translated 16 (80%) constraints
1.54/1.04	c (0,0) translated 18 (90%) constraints
1.54/1.05	c (0,0) translated 20 (100%) constraints
1.54/1.05	c (0,0) CSP to CSPinCNF End
1.54/1.05	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 70
1.54/1.05	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.54/1.05	c (0,0) CSPinCNF Propagation Begin
1.54/1.06	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.54/1.06	c (0,0) CSPinCNF Propagation End
1.54/1.07	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 70
1.54/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.54/1.07	c (0,0) Hybrid: #OE=0, #LE=60
1.54/1.07	c (0,0) Simplify CSPinCNF Begin
1.54/1.07	c (0,0) Simplify CSPinCNF End
1.54/1.07	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 70
1.54/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.54/1.07	c (0,0) Calculate Precise Domain Begin
1.54/1.08	c (0,0) 0 values are removed by re-calculation
1.54/1.08	c (0,0) Calculate Precise Domain End
1.54/1.08	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 70
1.54/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.54/1.08	c (0,0) CSPinCNF to SatSolver Begin
2.44/1.36	c (0,0) 4 (10 %) CSP clauses are encoded (0 SAT variables, 36803 SAT clauses)
2.81/1.46	c (0,0) 8 (20 %) CSP clauses are encoded (0 SAT variables, 77893 SAT clauses)
2.95/1.56	c (1,1) 12 (30 %) CSP clauses are encoded (0 SAT variables, 124787 SAT clauses)
3.06/1.65	c (1,1) 16 (40 %) CSP clauses are encoded (0 SAT variables, 166736 SAT clauses)
3.21/1.79	c (1,1) 20 (50 %) CSP clauses are encoded (0 SAT variables, 231756 SAT clauses)
3.32/1.84	c (1,1) 24 (60 %) CSP clauses are encoded (0 SAT variables, 251755 SAT clauses)
3.32/1.87	c (1,1) 28 (70 %) CSP clauses are encoded (0 SAT variables, 266646 SAT clauses)
3.42/1.94	c (1,1) 32 (80 %) CSP clauses are encoded (0 SAT variables, 300524 SAT clauses)
3.54/2.06	c (1,1) 36 (90 %) CSP clauses are encoded (0 SAT variables, 355101 SAT clauses)
3.64/2.13	c (1,1) 40 (100 %) CSP clauses are encoded (0 SAT variables, 389871 SAT clauses)
3.64/2.14	c (1,1) CSPinCNF to SatSolver End
3.64/2.14	c (1,1) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.64/2.14	c (1,1) 149666 bool, 395792 clause
3.64/2.14	c (1,1) Export Begin
3.76/2.26	c (1,1) Export to HOME/scop-22317-serial-file.bin
3.76/2.26	c (1,1) Export End
3.76/2.26	c (1,1) Export File Size: 0.07 MB
3.76/2.26	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.76/2.26	c END-Prog: Sat Sep 14 05:55:24 CEST 2019
0.00/2.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22317-serial-file.bin
4.51/3.12	c (0,0) Read Serial File Begin
4.51/3.12	c (0,0) HOME/scop-22317-serial-file.bin
4.78/3.37	c (0,0) Read Serial File End
4.78/3.39	
4.78/3.39	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
4.78/3.39	(Solving Process)
4.78/3.39	
5.05/3.41	c BEGIN-Prog: Sat Sep 14 05:55:25 CEST 2019
5.05/3.41	c PID: 22340
5.05/3.41	c IP: 172.20.3.124
5.05/3.41	c HOST: node124.alineos.net
5.05/3.41	c (0,0) SatSolver.solve Begin
5.05/3.41	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392666-1568433362.xml-scop-22320.cnf
5.05/3.44	c (0,0) c
5.05/3.44	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)
5.05/3.44	c (0,0) c
5.05/3.44	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.05/3.44	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.05/3.44	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.05/3.44	c (0,0) c |                                                                                                       |
5.27/3.62	c (0,0) c |  Number of variables:        149666                                                                   |
5.27/3.62	c (0,0) c |  Number of clauses:          395693                                                                   |
5.27/3.62	c (0,0) c |  Parse time:                   0.16 s                                                                 |
5.27/3.62	c (0,0) c |                                                                                                       |
5.93/4.19	c (1,0) c |  Simplification time:          0.56 s                                                                 |
5.93/4.19	c (1,0) c |                                                                                                       |
5.93/4.19	c (1,0) c |  Generating clones                                                                                    |
6.23/4.48	c (1,0) c |  all clones generated. Memory =   426.88Mb.                                                           |
6.23/4.48	c (1,0) c ========================================================================================================|
6.23/4.48	c (1,0) c
6.23/4.48	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.23/4.48	c (1,0) c
6.23/4.48	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.23/4.48	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.23/4.48	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.23/4.48	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.23/4.48	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.23/4.48	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.23/4.48	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.23/4.48	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.23/4.48	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.23/4.48	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.23/4.48	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.23/4.48	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.23/4.48	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.23/4.48	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.23/4.48	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.23/4.48	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.23/4.48	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.23/4.48	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.23/4.48	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.90/5.19	c (2,0) c
10.90/5.19	c (2,0) c real time : 1.75529 s
10.90/5.19	c (2,0) c cpu time  : 5.76988 s
10.90/5.19	c (2,0) c
10.90/5.19	c (2,0) c
10.90/5.19	c (2,0) c
10.90/5.19	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
10.90/5.19	c (2,0) c
10.90/5.19	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.90/5.19	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
10.90/5.19	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.90/5.19	c (2,0) c | Conflicts     |           20820 |       1476 |       3600 |       2161 |       2163 |       3375 |       2241 |       2622 |       3182 |
10.90/5.19	c (2,0) c | Decisions     |          775946 |     209281 |      63556 |     151790 |      45403 |      75975 |      64745 |      86862 |      78334 |
10.90/5.19	c (2,0) c | Propagations  |        19628469 |    1669254 |    2587390 |    2544881 |    2340998 |    2880660 |    2646942 |    2177015 |    2781329 |
10.90/5.19	c (2,0) c | ReduceDBs     |               7 |          0 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
10.90/5.19	c (2,0) c | SimpDBs       |              15 |          2 |          2 |          2 |          2 |          2 |          1 |          1 |          3 |
10.90/5.19	c (2,0) c | Restarts      |             112 |          7 |         12 |         18 |         15 |         24 |         12 |          9 |         15 |
10.90/5.19	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
10.90/5.19	c (2,0) c | PropBinClauses|        11429568 |     651600 |    1744784 |    1131847 |    1355969 |    1918593 |    1488323 |    1324131 |    1814321 |
10.90/5.19	c (2,0) c | PropPreBlocker|        47668684 |    4638566 |    5879919 |    6429815 |    5659029 |    7292815 |    6024949 |    5151063 |    6592528 |
10.90/5.19	c (2,0) c | PropNotBlocker|        25115365 |    2181245 |    3153453 |    3291712 |    3032954 |    3919468 |    3166938 |    2811452 |    3558143 |
10.90/5.19	c (2,0) c | LitFullScans  |       116679014 |   10752790 |   15141737 |   15384721 |   13944133 |   17953443 |   13798683 |   12001059 |   17702448 |
10.90/5.19	c (2,0) c | LitScanFracts |            5113 |        334 |         39 |       4001 |         12 |         11 |         39 |        225 |        452 |
10.90/5.19	c (2,0) c | DecisionLevel0|             124 |          8 |         13 |         20 |         17 |         26 |         12 |          9 |         19 |
10.90/5.19	c (2,0) c | Periods       |              15 |          1 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
10.90/5.19	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
10.90/5.19	c (2,0) c | Avg_Trail     |                 |      38392 |       6614 |      27782 |      14691 |      10842 |      18501 |      17523 |      10395 |
10.90/5.19	c (2,0) c | Avg_DL        |                 |       2786 |        216 |       1381 |        676 |        459 |        878 |       1743 |        274 |
10.90/5.19	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
10.90/5.19	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
10.90/5.19	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.90/5.19	c (2,0) c | Exported      |             793 |         35 |         93 |         96 |        108 |        146 |         83 |         93 |        139 |
10.90/5.19	c (2,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
10.90/5.19	c (2,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
10.90/5.19	c (2,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
10.90/5.19	c (2,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
10.90/5.19	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
10.90/5.19	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
10.90/5.19	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.90/5.19	c (2,0) c | Unaries       |                 |          1 |          1 |          2 |          2 |          2 |          0 |          0 |          4 |
10.90/5.19	c (2,0) c | Binaries      |                 |          7 |         21 |         22 |         19 |         26 |         27 |         20 |         32 |
10.90/5.19	c (2,0) c | Glues         |                 |         35 |         93 |         96 |        108 |        146 |         83 |         93 |        139 |
10.90/5.19	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.90/5.19	c (2,0) c | Orig_Seen     |             5 % |      14599 |      14932 |      25105 |      17487 |      18702 |      18268 |      15033 |      21938 |
10.90/5.19	c (2,0) c | Diff Orig seen|                 |      X     |        333 |      10506 |       2888 |       4103 |       3669 |        434 |       7339 |
10.90/5.19	c (2,0) c | Hamming       |             4 % |      X     |       5677 |       8248 |       6506 |       7010 |       6934 |       6638 |       6478 |
10.90/5.19	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.90/5.19	c (2,0) c | RunningTime   |                 |    0.6 100%|    0.7 100%|    0.7 100%|    0.7 100%|    0.7 100%|    0.7 100%|    0.6 100%|    0.7 100%|
10.90/5.19	c (2,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
10.90/5.19	c (2,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
10.90/5.19	c (2,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
10.90/5.19	c (2,0) c | SolvingTime   |                 |    0.6     |    0.7     |    0.7     |    0.7     |    0.7     |    0.7     |    0.6     |    0.7     |
10.90/5.19	c (2,0) c | PropagationTim|                 |    0.5  81%|    0.6  85%|    0.6  79%|    0.6  85%|    0.6  83%|    0.6  84%|    0.5  85%|    0.5  81%|
10.90/5.19	c (2,0) c | AnalysisTime  |                 |    0.0   4%|    0.0   5%|    0.0   5%|    0.0   5%|    0.0   5%|    0.0   5%|    0.0   5%|    0.0   5%|
10.90/5.19	c (2,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
10.90/5.19	c (2,0) c | SimplifyTime  |                 |    0.0   2%|    0.0   2%|    0.0   1%|    0.0   2%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   3%|
10.90/5.19	c (2,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
10.90/5.19	c (2,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
10.90/5.19	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
10.90/5.19	c (2,0) c
10.90/5.19	c (2,0) c
10.90/5.19	c (2,0) c Threads : 8
10.90/5.19	c (2,0) c Winner : 0
10.90/5.19	c (2,0) c Conflicts_0 : 1476
10.90/5.19	c (2,0) c Conflicts_1 : 3600
10.90/5.19	c (2,0) c Conflicts_2 : 2161
10.90/5.19	c (2,0) c Conflicts_3 : 2163
10.90/5.19	c (2,0) c Conflicts_4 : 3375
10.90/5.19	c (2,0) c Conflicts_5 : 2241
10.90/5.19	c (2,0) c Conflicts_6 : 2622
10.90/5.19	c (2,0) c Conflicts_7 : 3182
10.90/5.19	c (2,0) c Conflicts_total : 20820
10.90/5.19	c (2,0) c Conflicts_winner : 1476
10.90/5.19	c (2,0) c Decisions_0 : 209281
10.90/5.19	c (2,0) c Decisions_1 : 63556
10.90/5.19	c (2,0) c Decisions_2 : 151790
10.90/5.19	c (2,0) c Decisions_3 : 45403
10.90/5.19	c (2,0) c Decisions_4 : 75975
10.90/5.19	c (2,0) c Decisions_5 : 64745
10.90/5.19	c (2,0) c Decisions_6 : 86862
10.90/5.19	c (2,0) c Decisions_7 : 78334
10.90/5.19	c (2,0) c Decisions_total : 775946
10.90/5.19	c (2,0) c Decisions_winner : 209281
10.90/5.19	c (2,0) c Propagations_0 : 1669254
10.90/5.19	c (2,0) c Propagations_1 : 2587390
10.90/5.19	c (2,0) c Propagations_2 : 2544881
10.90/5.19	c (2,0) c Propagations_3 : 2340998
10.90/5.19	c (2,0) c Propagations_4 : 2880660
10.90/5.19	c (2,0) c Propagations_5 : 2646942
10.90/5.19	c (2,0) c Propagations_6 : 2177015
10.90/5.19	c (2,0) c Propagations_7 : 2781329
10.90/5.19	c (2,0) c Propagations_total : 19628469
10.90/5.19	c (2,0) c Propagations_winner : 1669254
10.90/5.19	c (2,0) c ReduceDBs_0 : 0
10.90/5.19	c (2,0) c ReduceDBs_1 : 1
10.90/5.19	c (2,0) c ReduceDBs_2 : 1
10.90/5.19	c (2,0) c ReduceDBs_3 : 1
10.90/5.19	c (2,0) c ReduceDBs_4 : 1
10.90/5.19	c (2,0) c ReduceDBs_5 : 1
10.90/5.19	c (2,0) c ReduceDBs_6 : 1
10.90/5.19	c (2,0) c ReduceDBs_7 : 1
10.90/5.19	c (2,0) c ReduceDBs_total : 7
10.90/5.19	c (2,0) c ReduceDBs_winner : 0
10.90/5.19	c (2,0) c SimpDBs_0 : 2
10.90/5.19	c (2,0) c SimpDBs_1 : 2
10.90/5.19	c (2,0) c SimpDBs_2 : 2
10.90/5.19	c (2,0) c SimpDBs_3 : 2
10.90/5.19	c (2,0) c SimpDBs_4 : 2
10.90/5.19	c (2,0) c SimpDBs_5 : 1
10.90/5.20	c (2,0) c SimpDBs_6 : 1
10.90/5.20	c (2,0) c SimpDBs_7 : 3
10.90/5.20	c (2,0) c SimpDBs_total : 15
10.90/5.20	c (2,0) c SimpDBs_winner : 2
10.90/5.20	c (2,0) c Restarts_0 : 7
10.90/5.20	c (2,0) c Restarts_1 : 12
10.90/5.20	c (2,0) c Restarts_2 : 18
10.90/5.20	c (2,0) c Restarts_3 : 15
10.90/5.20	c (2,0) c Restarts_4 : 24
10.90/5.20	c (2,0) c Restarts_5 : 12
10.90/5.20	c (2,0) c Restarts_6 : 9
10.90/5.20	c (2,0) c Restarts_7 : 15
10.90/5.20	c (2,0) c Restarts_total : 112
10.90/5.20	c (2,0) c Restarts_winner : 7
10.90/5.20	c (2,0) c ForcedImports_0 : 0
10.90/5.20	c (2,0) c ForcedImports_1 : 0
10.90/5.20	c (2,0) c ForcedImports_2 : 0
10.90/5.20	c (2,0) c ForcedImports_3 : 0
10.90/5.20	c (2,0) c ForcedImports_4 : 0
10.90/5.20	c (2,0) c ForcedImports_5 : 0
10.90/5.20	c (2,0) c ForcedImports_6 : 0
10.90/5.20	c (2,0) c ForcedImports_7 : 0
10.90/5.20	c (2,0) c ForcedImports_total : 0
10.90/5.20	c (2,0) c ForcedImports_winner : 0
10.90/5.20	c (2,0) c PropsBinClauses_0 : 651600
10.90/5.20	c (2,0) c PropsBinClauses_1 : 1744784
10.90/5.20	c (2,0) c PropsBinClauses_2 : 1131847
10.90/5.20	c (2,0) c PropsBinClauses_3 : 1355969
10.90/5.20	c (2,0) c PropsBinClauses_4 : 1918593
10.90/5.20	c (2,0) c PropsBinClauses_5 : 1488323
10.90/5.20	c (2,0) c PropsBinClauses_6 : 1324131
10.90/5.20	c (2,0) c PropsBinClauses_7 : 1814321
10.90/5.20	c (2,0) c PropsBinClauses_total : 11429568
10.90/5.20	c (2,0) c PropsBinClauses_winner : 651600
10.90/5.20	c (2,0) c PropsPreBlocker_0 : 4638566
10.90/5.20	c (2,0) c PropsPreBlocker_1 : 5879919
10.90/5.20	c (2,0) c PropsPreBlocker_2 : 6429815
10.90/5.20	c (2,0) c PropsPreBlocker_3 : 5659029
10.90/5.20	c (2,0) c PropsPreBlocker_4 : 7292815
10.90/5.20	c (2,0) c PropsPreBlocker_5 : 6024949
10.90/5.20	c (2,0) c PropsPreBlocker_6 : 5151063
10.90/5.20	c (2,0) c PropsPreBlocker_7 : 6592528
10.90/5.20	c (2,0) c PropsPreBlocker_total : 47668684
10.90/5.20	c (2,0) c PropsPreBlocker_winner : 4638566
10.90/5.20	c (2,0) c PropsNotBlocker_0 : 2181245
10.90/5.20	c (2,0) c PropsNotBlocker_1 : 3153453
10.90/5.20	c (2,0) c PropsNotBlocker_2 : 3291712
10.90/5.20	c (2,0) c PropsNotBlocker_3 : 3032954
10.90/5.20	c (2,0) c PropsNotBlocker_4 : 3919468
10.90/5.20	c (2,0) c PropsNotBlocker_5 : 3166938
10.90/5.20	c (2,0) c PropsNotBlocker_6 : 2811452
10.90/5.20	c (2,0) c PropsNotBlocker_7 : 3558143
10.90/5.20	c (2,0) c PropsNotBlocker_total : 25115365
10.90/5.20	c (2,0) c PropsNotBlocker_winner : 2181245
10.90/5.20	c (2,0) c PropsLitFullScans_0 : 10752790
10.90/5.20	c (2,0) c PropsLitFullScans_1 : 15141737
10.90/5.20	c (2,0) c PropsLitFullScans_2 : 15384721
10.90/5.20	c (2,0) c PropsLitFullScans_3 : 13944133
10.90/5.20	c (2,0) c PropsLitFullScans_4 : 17953443
10.90/5.20	c (2,0) c PropsLitFullScans_5 : 13798683
10.90/5.20	c (2,0) c PropsLitFullScans_6 : 12001059
10.90/5.20	c (2,0) c PropsLitFullScans_7 : 17702448
10.90/5.20	c (2,0) c PropsLitFullScans_total : 116679014
10.90/5.20	c (2,0) c PropsLitFullScans_winner : 10752790
10.90/5.20	c (2,0) c LitScanFractions_0 : 334
10.90/5.20	c (2,0) c LitScanFractions_1 : 39
10.90/5.20	c (2,0) c LitScanFractions_2 : 4001
10.90/5.20	c (2,0) c LitScanFractions_3 : 12
10.90/5.20	c (2,0) c LitScanFractions_4 : 11
10.90/5.20	c (2,0) c LitScanFractions_5 : 39
10.90/5.20	c (2,0) c LitScanFractions_6 : 225
10.90/5.20	c (2,0) c LitScanFractions_7 : 452
10.90/5.20	c (2,0) c LitScanFractions_total : 5113
10.90/5.20	c (2,0) c LitScanFractions_winner : 334
10.90/5.20	c (2,0) c DecisionLevel0_0 : 8
10.90/5.20	c (2,0) c DecisionLevel0_1 : 13
10.90/5.20	c (2,0) c DecisionLevel0_2 : 20
10.90/5.20	c (2,0) c DecisionLevel0_3 : 17
10.90/5.20	c (2,0) c DecisionLevel0_4 : 26
10.90/5.20	c (2,0) c DecisionLevel0_5 : 12
10.90/5.20	c (2,0) c DecisionLevel0_6 : 9
10.90/5.20	c (2,0) c DecisionLevel0_7 : 19
10.90/5.20	c (2,0) c DecisionLevel0_total : 124
10.90/5.20	c (2,0) c DecisionLevel0_winner : 8
10.90/5.20	c (2,0) c Periods_0 : 1
10.90/5.20	c (2,0) c Periods_1 : 2
10.90/5.20	c (2,0) c Periods_2 : 2
10.90/5.20	c (2,0) c Periods_3 : 2
10.90/5.20	c (2,0) c Periods_4 : 2
10.90/5.20	c (2,0) c Periods_5 : 2
10.90/5.20	c (2,0) c Periods_6 : 2
10.90/5.20	c (2,0) c Periods_7 : 2
10.90/5.20	c (2,0) c Periods_total : 15
10.90/5.20	c (2,0) c Periods_winner : 1
10.90/5.20	c (2,0) c Margin_0 : 20
10.90/5.20	c (2,0) c Margin_1 : 20
10.90/5.20	c (2,0) c Margin_2 : 20
10.90/5.20	c (2,0) c Margin_3 : 20
10.90/5.20	c (2,0) c Margin_4 : 20
10.90/5.20	c (2,0) c Margin_5 : 20
10.90/5.20	c (2,0) c Margin_6 : 20
10.90/5.20	c (2,0) c Margin_7 : 20
10.90/5.20	c (2,0) c Margin_total : 160
10.90/5.20	c (2,0) c Margin_winner : 20
10.90/5.20	c (2,0) c Exported_0 : 35
10.90/5.20	c (2,0) c Exported_1 : 93
10.90/5.20	c (2,0) c Exported_2 : 96
10.90/5.20	c (2,0) c Exported_3 : 108
10.90/5.20	c (2,0) c Exported_4 : 146
10.90/5.20	c (2,0) c Exported_5 : 83
10.90/5.20	c (2,0) c Exported_6 : 93
10.90/5.20	c (2,0) c Exported_7 : 139
10.90/5.20	c (2,0) c Exported_total : 793
10.90/5.20	c (2,0) c Exported_winner : 35
10.90/5.20	c (2,0) c Imported_0 : 0
10.90/5.20	c (2,0) c Imported_1 : 0
10.90/5.20	c (2,0) c Imported_2 : 0
10.90/5.20	c (2,0) c Imported_3 : 0
10.90/5.20	c (2,0) c Imported_4 : 0
10.90/5.20	c (2,0) c Imported_5 : 0
10.90/5.20	c (2,0) c Imported_6 : 0
10.90/5.20	c (2,0) c Imported_7 : 0
10.90/5.20	c (2,0) c Imported_total : 0
10.90/5.20	c (2,0) c Imported_winner : 0
11.23/5.20	c (2,0) c Good_0 : 0
11.23/5.20	c (2,0) c Good_1 : 0
11.23/5.20	c (2,0) c Good_2 : 0
11.23/5.20	c (2,0) c Good_3 : 0
11.23/5.20	c (2,0) c Good_4 : 0
11.23/5.20	c (2,0) c Good_5 : 0
11.23/5.20	c (2,0) c Good_6 : 0
11.23/5.20	c (2,0) c Good_7 : 0
11.23/5.20	c (2,0) c Good_total : 0
11.23/5.20	c (2,0) c Good_winner : 0
11.23/5.20	c (2,0) c Purge_0 : 0
11.23/5.20	c (2,0) c Purge_1 : 0
11.23/5.20	c (2,0) c Purge_2 : 0
11.23/5.20	c (2,0) c Purge_3 : 0
11.23/5.20	c (2,0) c Purge_4 : 0
11.23/5.20	c (2,0) c Purge_5 : 0
11.23/5.20	c (2,0) c Purge_6 : 0
11.23/5.20	c (2,0) c Purge_7 : 0
11.23/5.20	c (2,0) c Purge_total : 0
11.23/5.20	c (2,0) c Purge_winner : 0
11.23/5.20	c (2,0) c Promoted_0 : 0
11.23/5.20	c (2,0) c Promoted_1 : 0
11.23/5.20	c (2,0) c Promoted_2 : 0
11.23/5.20	c (2,0) c Promoted_3 : 0
11.23/5.20	c (2,0) c Promoted_4 : 0
11.23/5.20	c (2,0) c Promoted_5 : 0
11.23/5.20	c (2,0) c Promoted_6 : 0
11.23/5.20	c (2,0) c Promoted_7 : 0
11.23/5.20	c (2,0) c Promoted_total : 0
11.23/5.20	c (2,0) c Promoted_winner : 0
11.23/5.20	c (2,0) c Remove_Imp_0 : 0
11.23/5.20	c (2,0) c Remove_Imp_1 : 0
11.23/5.20	c (2,0) c Remove_Imp_2 : 0
11.23/5.20	c (2,0) c Remove_Imp_3 : 0
11.23/5.20	c (2,0) c Remove_Imp_4 : 0
11.23/5.20	c (2,0) c Remove_Imp_5 : 0
11.23/5.20	c (2,0) c Remove_Imp_6 : 0
11.23/5.20	c (2,0) c Remove_Imp_7 : 0
11.23/5.20	c (2,0) c Remove_Imp_total : 0
11.23/5.20	c (2,0) c Remove_Imp_winner : 0
11.23/5.20	c (2,0) c Blocked_Reuse_0 : 0
11.23/5.20	c (2,0) c Blocked_Reuse_1 : 0
11.23/5.20	c (2,0) c Blocked_Reuse_2 : 0
11.23/5.20	c (2,0) c Blocked_Reuse_3 : 0
11.23/5.20	c (2,0) c Blocked_Reuse_4 : 0
11.23/5.20	c (2,0) c Blocked_Reuse_5 : 0
11.23/5.20	c (2,0) c Blocked_Reuse_6 : 0
11.23/5.20	c (2,0) c Blocked_Reuse_7 : 0
11.23/5.20	c (2,0) c Blocked_Reuse_total : 0
11.23/5.20	c (2,0) c Blocked_Reuse_winner : 0
11.23/5.20	c (2,0) c Unaries_0 : 1
11.23/5.20	c (2,0) c Unaries_1 : 1
11.23/5.20	c (2,0) c Unaries_2 : 2
11.23/5.20	c (2,0) c Unaries_3 : 2
11.23/5.20	c (2,0) c Unaries_4 : 2
11.23/5.20	c (2,0) c Unaries_5 : 0
11.23/5.20	c (2,0) c Unaries_6 : 0
11.23/5.20	c (2,0) c Unaries_7 : 4
11.23/5.20	c (2,0) c Unaries_total : 12
11.23/5.20	c (2,0) c Unaries_winner : 1
11.23/5.20	c (2,0) c Binaries_0 : 7
11.23/5.20	c (2,0) c Binaries_1 : 21
11.23/5.20	c (2,0) c Binaries_2 : 22
11.23/5.20	c (2,0) c Binaries_3 : 19
11.23/5.20	c (2,0) c Binaries_4 : 26
11.23/5.20	c (2,0) c Binaries_5 : 27
11.23/5.20	c (2,0) c Binaries_6 : 20
11.23/5.20	c (2,0) c Binaries_7 : 32
11.23/5.20	c (2,0) c Binaries_total : 174
11.23/5.20	c (2,0) c Binaries_winner : 7
11.23/5.20	c (2,0) c Glues_0 : 35
11.23/5.20	c (2,0) c Glues_1 : 93
11.23/5.20	c (2,0) c Glues_2 : 96
11.23/5.20	c (2,0) c Glues_3 : 108
11.23/5.20	c (2,0) c Glues_4 : 146
11.23/5.20	c (2,0) c Glues_5 : 83
11.23/5.20	c (2,0) c Glues_6 : 93
11.23/5.20	c (2,0) c Glues_7 : 139
11.23/5.20	c (2,0) c Glues_total : 793
11.23/5.20	c (2,0) c Glues_winner : 35
11.23/5.20	c (2,0) c RunningTime_0 : 0.641981
11.23/5.20	c (2,0) c RunningTime_1 : 0.668671
11.23/5.20	c (2,0) c RunningTime_2 : 0.699281
11.23/5.20	c (2,0) c RunningTime_3 : 0.654041
11.23/5.20	c (2,0) c RunningTime_4 : 0.672947
11.23/5.20	c (2,0) c RunningTime_5 : 0.665692
11.23/5.20	c (2,0) c RunningTime_6 : 0.645244
11.23/5.20	c (2,0) c RunningTime_7 : 0.655471
11.23/5.20	c (2,0) c RunningTime_total : 5.303328
11.23/5.20	c (2,0) c RunningTime_winner : 0.641981
11.23/5.20	c (2,0) c WaitingTime_0 : 0.000000
11.23/5.20	c (2,0) c WaitingTime_1 : 0.000000
11.23/5.20	c (2,0) c WaitingTime_2 : 0.000000
11.23/5.20	c (2,0) c WaitingTime_3 : 0.000000
11.23/5.20	c (2,0) c WaitingTime_4 : 0.000000
11.23/5.20	c (2,0) c WaitingTime_5 : 0.000000
11.23/5.20	c (2,0) c WaitingTime_6 : 0.000000
11.23/5.20	c (2,0) c WaitingTime_7 : 0.000000
11.23/5.20	c (2,0) c WaitingTime_total : 0.000000
11.23/5.20	c (2,0) c WaitingTime_winner : 0.000000
11.23/5.20	c (2,0) c ExchangingTime_0 : 0.000311
11.23/5.20	c (2,0) c ExchangingTime_1 : 0.000332
11.23/5.20	c (2,0) c ExchangingTime_2 : 0.000218
11.23/5.20	c (2,0) c ExchangingTime_3 : 0.000310
11.23/5.20	c (2,0) c ExchangingTime_4 : 0.000405
11.23/5.20	c (2,0) c ExchangingTime_5 : 0.000250
11.23/5.20	c (2,0) c ExchangingTime_6 : 0.000261
11.23/5.20	c (2,0) c ExchangingTime_7 : 0.000436
11.23/5.20	c (2,0) c ExchangingTime_total : 0.002524
11.23/5.20	c (2,0) c ExchangingTime_winner : 0.000311
11.23/5.20	c (2,0) c PeriodProcTime_0 : 0.000010
11.23/5.20	c (2,0) c PeriodProcTime_1 : 0.000019
11.23/5.20	c (2,0) c PeriodProcTime_2 : 0.000024
11.23/5.20	c (2,0) c PeriodProcTime_3 : 0.000017
11.23/5.20	c (2,0) c PeriodProcTime_4 : 0.000047
11.23/5.20	c (2,0) c PeriodProcTime_5 : 0.000020
11.23/5.20	c (2,0) c PeriodProcTime_6 : 0.000018
11.23/5.20	c (2,0) c PeriodProcTime_7 : 0.000051
11.23/5.20	c (2,0) c PeriodProcTime_total : 0.000206
11.23/5.20	c (2,0) c PeriodProcTime_winner : 0.000010
11.23/5.20	c (2,0) c SolvingTime_0 : 0.642302
11.23/5.20	c (2,0) c SolvingTime_1 : 0.669023
11.23/5.20	c (2,0) c SolvingTime_2 : 0.699523
11.23/5.20	c (2,0) c SolvingTime_3 : 0.654368
11.23/5.20	c (2,0) c SolvingTime_4 : 0.673399
11.23/5.20	c (2,0) c SolvingTime_5 : 0.665962
11.23/5.20	c (2,0) c SolvingTime_6 : 0.645523
11.23/5.20	c (2,0) c SolvingTime_7 : 0.655958
11.23/5.20	c (2,0) c SolvingTime_total : 5.306057
11.23/5.20	c (2,0) c SolvingTime_winner : 0.642302
11.23/5.20	c (2,0) c PropagationTime_0 : 0.518812
11.23/5.20	c (2,0) c PropagationTime_1 : 0.565721
11.23/5.20	c (2,0) c PropagationTime_2 : 0.555694
11.23/5.20	c (2,0) c PropagationTime_3 : 0.554350
11.23/5.20	c (2,0) c PropagationTime_4 : 0.556152
11.23/5.20	c (2,0) c PropagationTime_5 : 0.558144
11.23/5.20	c (2,0) c PropagationTime_6 : 0.547757
11.23/5.20	c (2,0) c PropagationTime_7 : 0.529560
11.23/5.20	c (2,0) c PropagationTime_total : 4.386190
11.23/5.20	c (2,0) c PropagationTime_winner : 0.518812
11.23/5.20	c (2,0) c AnalysisTime_0 : 0.025803
11.23/5.20	c (2,0) c AnalysisTime_1 : 0.035564
11.23/5.20	c (2,0) c AnalysisTime_2 : 0.038063
11.23/5.20	c (2,0) c AnalysisTime_3 : 0.030488
11.23/5.20	c (2,0) c AnalysisTime_4 : 0.035740
11.23/5.20	c (2,0) c AnalysisTime_5 : 0.034395
11.23/5.20	c (2,0) c AnalysisTime_6 : 0.031501
11.23/5.20	c (2,0) c AnalysisTime_7 : 0.034419
11.23/5.20	c (2,0) c AnalysisTime_total : 0.265972
11.23/5.20	c (2,0) c AnalysisTime_winner : 0.025803
11.23/5.20	c (2,0) c ReductionTime_0 : 0.000000
11.23/5.20	c (2,0) c ReductionTime_1 : 0.000368
11.23/5.20	c (2,0) c ReductionTime_2 : 0.000454
11.23/5.20	c (2,0) c ReductionTime_3 : 0.000384
11.23/5.20	c (2,0) c ReductionTime_4 : 0.000343
11.23/5.20	c (2,0) c ReductionTime_5 : 0.000369
11.23/5.20	c (2,0) c ReductionTime_6 : 0.000379
11.23/5.20	c (2,0) c ReductionTime_7 : 0.000388
11.23/5.20	c (2,0) c ReductionTime_total : 0.002685
11.23/5.20	c (2,0) c ReductionTime_winner : 0.000000
11.23/5.20	c (2,0) c SimplifyTime_0 : 0.013171
11.23/5.20	c (2,0) c SimplifyTime_1 : 0.012890
11.23/5.20	c (2,0) c SimplifyTime_2 : 0.010383
11.23/5.20	c (2,0) c SimplifyTime_3 : 0.012591
11.23/5.20	c (2,0) c SimplifyTime_4 : 0.009816
11.23/5.20	c (2,0) c SimplifyTime_5 : 0.000002
11.23/5.20	c (2,0) c SimplifyTime_6 : 0.000003
11.23/5.20	c (2,0) c SimplifyTime_7 : 0.021121
11.23/5.20	c (2,0) c SimplifyTime_total : 0.079976
11.23/5.20	c (2,0) c SimplifyTime_winner : 0.013171
11.23/5.20	c (2,0) c UsedRateTime_0 : 0.000000
11.23/5.20	c (2,0) c UsedRateTime_1 : 0.000000
11.23/5.20	c (2,0) c UsedRateTime_2 : 0.000000
11.23/5.20	c (2,0) c UsedRateTime_3 : 0.000000
11.23/5.20	c (2,0) c UsedRateTime_4 : 0.000000
11.23/5.20	c (2,0) c UsedRateTime_5 : 0.000000
11.23/5.20	c (2,0) c UsedRateTime_6 : 0.000000
11.23/5.20	c (2,0) c UsedRateTime_7 : 0.000000
11.23/5.20	c (2,0) c UsedRateTime_total : 0.000000
11.23/5.20	c (2,0) c UsedRateTime_winner : 0.000000
11.23/5.21	c (2,0) c OverlapRateTime_0 : 0.000000
11.23/5.21	c (2,0) c OverlapRateTime_1 : 0.000000
11.23/5.21	c (2,0) c OverlapRateTime_2 : 0.000000
11.23/5.21	c (2,0) c OverlapRateTime_3 : 0.000000
11.23/5.21	c (2,0) c OverlapRateTime_4 : 0.000000
11.23/5.21	c (2,0) c OverlapRateTime_5 : 0.000000
11.23/5.21	c (2,0) c OverlapRateTime_6 : 0.000000
11.23/5.21	c (2,0) c OverlapRateTime_7 : 0.000000
11.23/5.21	c (2,0) c OverlapRateTime_total : 0.000000
11.23/5.21	c (2,0) c OverlapRateTime_winner : 0.000000
11.23/5.21	c (2,0) c
11.23/5.21	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
11.23/5.21	c (2,0) c
11.23/5.21	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.23/5.21	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
11.23/5.21	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.23/5.21	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
11.23/5.21	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
11.23/5.21	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
11.23/5.21	c (2,0) c | Initial random_seed   | 1236697646 | 1776958890 |  634241858 | 1789683448 | 1886047539 |  329385771 |  458667352 |  146634864 |
11.23/5.21	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
11.23/5.21	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
11.23/5.21	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
11.23/5.21	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
11.23/5.21	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
11.23/5.21	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
11.23/5.21	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
11.23/5.21	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
11.23/5.21	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
11.23/5.21	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
11.23/5.21	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
11.23/5.21	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
11.23/5.21	c (2,0) 
11.23/5.21	c (2,0) s SATISFIABLE
11.53/5.32	c (2,0) SatSolver.solve End
11.53/5.32	c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
11.53/5.32	c (2,0) Show results Begin
11.53/5.39	c (2,0) x[2] = 64
11.53/5.39	c (2,0) x[3] = 70
11.53/5.39	c (2,0) x[4] = 19
11.53/5.39	c (2,0) x[5] = 67
11.53/5.39	c (2,0) x[7] = 22
11.53/5.39	c (2,0) x[9] = 5
11.53/5.39	c (2,0) x[12] = 53
11.53/5.39	c (2,0) x[13] = 30
11.53/5.39	c (2,0) x[14] = 9
11.53/5.39	c (2,0) x[15] = 57
11.53/5.39	c (2,0) x[17] = 51
11.53/5.39	c (2,0) x[19] = 66
11.53/5.39	c (2,0) x[20] = 21
11.53/5.39	c (2,0) x[25] = 9
11.53/5.39	c (2,0) x[26] = 4
11.53/5.39	c (2,0) x[27] = 7
11.53/5.39	c (2,0) x[28] = 51
11.53/5.39	c (2,0) x[29] = 70
11.53/5.39	c (2,0) x[30] = 6
11.53/5.39	c (2,0) x[31] = 34
11.53/5.39	c (2,0) x[33] = 62
11.53/5.39	c (2,0) x[36] = 54
11.53/5.39	c (2,0) x[37] = 70
11.53/5.39	c (2,0) x[39] = 5
11.53/5.39	c (2,0) x[40] = 71
11.53/5.39	c (2,0) x[44] = 3
11.53/5.39	c (2,0) x[46] = 67
11.53/5.39	c (2,0) x[48] = 70
11.53/5.39	c (2,0) x[49] = 22
11.53/5.39	c (2,0) x[50] = 19
11.53/5.39	c (2,0) x[51] = 69
11.53/5.39	c (2,0) x[53] = 31
11.53/5.39	c (2,0) x[55] = 48
11.53/5.39	c (2,0) x[56] = 32
11.53/5.39	c (2,0) x[59] = 20
11.53/5.39	c (2,0) x[60] = 25
11.53/5.39	c (2,0) x[61] = 33
11.53/5.39	c (2,0) x[64] = 62
11.53/5.39	c (2,0) x[65] = 67
11.53/5.39	c (2,0) x[67] = 41
11.53/5.39	c (2,0) x[68] = 39
11.53/5.39	c (2,0) x[69] = 48
11.53/5.39	c (2,0) x[70] = 64
11.53/5.39	c (2,0) x[71] = 53
11.53/5.39	c (2,0) x[72] = 7
11.53/5.39	c (2,0) x[74] = 60
11.53/5.39	c (2,0) x[75] = 33
11.53/5.39	c (2,0) x[76] = 59
11.53/5.39	c (2,0) x[77] = 21
11.53/5.39	c (2,0) x[79] = 42
11.53/5.39	c (2,0) x[80] = 4
11.53/5.39	c (2,0) x[82] = 32
11.53/5.39	c (2,0) x[83] = 52
11.53/5.39	c (2,0) x[84] = 11
11.53/5.39	c (2,0) x[88] = 6
11.53/5.39	c (2,0) x[90] = 61
11.53/5.39	c (2,0) x[92] = 33
11.53/5.39	c (2,0) x[93] = 9
11.53/5.39	c (2,0) x[95] = 67
11.53/5.39	c (2,0) x[99] = 4
11.53/5.39	s SATISFIABLE
11.53/5.39	v <instantiation>
11.53/5.39	v     <list>x[2] x[3] x[4] x[5] x[7] x[9] x[12] x[13] x[14] x[15] x[17] x[19] x[20] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[33] x[36] x[37] x[39] x[40] x[44] x[46] x[48] x[49] x[50] x[51] x[53] x[55] x[56] x[59] x[60] x[61] x[64] x[65] x[67] x[68] x[69] x[70] x[71] x[72] x[74] x[75] x[76] x[77] x[79] x[80] x[82] x[83] x[84] x[88] x[90] x[92] x[93] x[95] x[99]</list>
11.53/5.39	v     <values>64 70 19 67 22 5 53 30 9 57 51 66 21 9 4 7 51 70 6 34 62 54 70 5 71 3 67 70 22 19 69 31 48 32 20 25 33 62 67 41 39 48 64 53 7 60 33 59 21 42 4 32 52 11 6 61 33 9 67 4</values>
11.53/5.39	v </instantiation>
11.53/5.39	c (2,0) Show results End
11.53/5.39	c (2,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
11.53/5.39	c (2,0) 2,2,STOP-AFTER(ALL)
11.53/5.39	c END-Prog: Sat Sep 14 05:55:27 CEST 2019

Verifier Data 

OK

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 (13849 MiB free)
  memory of node 1: 16384 MiB (14247 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392666-1568433362/watcher-4392666-1568433362 -o /tmp/evaluation-result-4392666-1568433362/solver-4392666-1568433362 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568427058-21341 --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-4392666-1568433362.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
Current StackSize limit: 8192 KiB

solver pid=22317, runsolver pid=22314

[startup+0.100134 s]*
/proc/loadavg: 2.03 1.80 3.34 2/211 22339
/proc/meminfo: memFree=28679708/32770624 swapFree=66959224/67108860
[pid=22317] ppid=22314 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22317/stat : 22317 (scop.sh) S 22314 22317 21314 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 419276330 115843072 349 33554432000 4194304 5098028 140721780389184 140721780386440 140521018434172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23293952 140721780396836 140721780397164 140721780397164 140721780400077 0
/proc/22317/statm: 28282 349 296 221 0 87 0
[pid=22320] ppid=22317 vsize=27314120 memory=103756 CPUtime=0.1 cores=0-7
/proc/22320/stat : 22320 (java) S 22317 22317 21314 0 -1 1077944320 6998 0 0 0 8 2 0 0 20 0 20 0 419276330 27969658880 25939 33554432000 4194304 4196468 140735784534016 140735784516560 139961406217975 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
/proc/22320/statm: 6828530 25939 2815 1 0 6790935 0
[pid=22320/tid=22321] ppid=22317 vsize=27314120 memory=7896669904268335513 CPUtime=0.09 cores=0-7
/proc/22320/task/22321/stat : 22321 (java) R 22317 22317 21314 0 -1 4202560 5066 0 0 0 7 2 0 0 20 0 20 0 419276331 27969658880 25939 33554432000 4194304 4196468 140735784534016 139961378050176 139961398455102 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22322] ppid=22317 vsize=27314120 memory=732370761908313061 CPUtime=0 cores=0-7
/proc/22320/task/22322/stat : 22322 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 25939 33554432000 4194304 4196468 140735784534016 139961410460816 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22323] ppid=22317 vsize=27314120 memory=140623570859648 CPUtime=0 cores=0-7
/proc/22320/task/22323/stat : 22323 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 25939 33554432000 4194304 4196468 140735784534016 139961241709584 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22324] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22324/stat : 22324 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960827358096 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22325] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22325/stat : 22325 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960826305296 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22326] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22326/stat : 22326 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960825252496 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22327] ppid=22317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22320/task/22327/stat : 22327 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960824199696 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22328] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22328/stat : 22328 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960823146896 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22329] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22329/stat : 22329 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960822094096 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22330] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22330/stat : 22330 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276334 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960042879856 139961406229122 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22331] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22331/stat : 22331 (java) S 22317 22317 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419276335 27969658880 25939 33554432000 4194304 4196468 140735784534016 139959159744032 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22332] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22332/stat : 22332 (java) S 22317 22317 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419276335 27969658880 25939 33554432000 4194304 4196468 140735784534016 139959025522032 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22333] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22333/stat : 22333 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 25939 33554432000 4194304 4196468 140735784534016 139958651017552 139961406236571 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22334] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22334/stat : 22334 (java) S 22317 22317 21314 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960041826672 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22335] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22335/stat : 22335 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960040773872 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22336] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22336/stat : 22336 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960039721072 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22337] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22337/stat : 22337 (java) S 22317 22317 21314 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960038668272 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22338] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22338/stat : 22338 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 25939 33554432000 4194304 4196468 140735784534016 139958153112672 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22339] ppid=22317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22320/task/22339/stat : 22339 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 25939 33554432000 4194304 4196468 140735784534016 139960037616688 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105152 KiB

[startup+0.210486 s]*
/proc/loadavg: 2.03 1.80 3.34 2/211 22339
/proc/meminfo: memFree=28660708/32770624 swapFree=66959224/67108860
[pid=22317] ppid=22314 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22317/stat : 22317 (scop.sh) S 22314 22317 21314 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 419276330 115843072 349 33554432000 4194304 5098028 140721780389184 140721780386440 140521018434172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23293952 140721780396836 140721780397164 140721780397164 140721780400077 0
/proc/22317/statm: 28282 349 296 221 0 87 0
[pid=22320] ppid=22317 vsize=27314120 memory=120360 CPUtime=0.24 cores=0-7
/proc/22320/stat : 22320 (java) S 22317 22317 21314 0 -1 1077944320 12051 0 0 0 20 4 0 0 20 0 20 0 419276330 27969658880 30090 33554432000 4194304 4196468 140735784534016 140735784516560 139961406217975 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
/proc/22320/statm: 6828530 30090 2949 1 0 6790935 0
[pid=22320/tid=22321] ppid=22317 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/22320/task/22321/stat : 22321 (java) R 22317 22317 21314 0 -1 4202560 9689 0 0 0 16 3 0 0 20 0 20 0 419276331 27969658880 30090 33554432000 4194304 4196468 140735784534016 139961378017360 139961391383543 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22322] ppid=22317 vsize=27314120 memory=281247041255160 CPUtime=0 cores=0-7
/proc/22320/task/22322/stat : 22322 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 30090 33554432000 4194304 4196468 140735784534016 139961410460816 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22323] ppid=22317 vsize=27314120 memory=140623570859648 CPUtime=0 cores=0-7
/proc/22320/task/22323/stat : 22323 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 30090 33554432000 4194304 4196468 140735784534016 139961241709584 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22324] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22324/stat : 22324 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960827358096 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22325] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22325/stat : 22325 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960826305296 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22326] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22326/stat : 22326 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960825252496 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22327] ppid=22317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22320/task/22327/stat : 22327 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960824199696 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22328] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22328/stat : 22328 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960823146896 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22329] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22329/stat : 22329 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960822094096 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22330] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22330/stat : 22330 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276334 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960042879856 139961406229122 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22331] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22331/stat : 22331 (java) S 22317 22317 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419276335 27969658880 30090 33554432000 4194304 4196468 140735784534016 139959159744032 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22332] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22332/stat : 22332 (java) S 22317 22317 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419276335 27969658880 30090 33554432000 4194304 4196468 140735784534016 139959025522032 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22333] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22333/stat : 22333 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 30090 33554432000 4194304 4196468 140735784534016 139958651017552 139961406236571 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22334] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22334/stat : 22334 (java) S 22317 22317 21314 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960041826672 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22335] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22335/stat : 22335 (java) S 22317 22317 21314 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960040773872 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22336] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22336/stat : 22336 (java) S 22317 22317 21314 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960039721072 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22337] ppid=22317 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22320/task/22337/stat : 22337 (java) S 22317 22317 21314 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 20 0 419276338 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960038668272 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22338] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22338/stat : 22338 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 30090 33554432000 4194304 4196468 140735784534016 139958153112672 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22339] ppid=22317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22320/task/22339/stat : 22339 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 30090 33554432000 4194304 4196468 140735784534016 139960037616688 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 121756 KiB

[startup+0.310263 s]*
/proc/loadavg: 2.03 1.80 3.34 2/211 22339
/proc/meminfo: memFree=28657668/32770624 swapFree=66959224/67108860
[pid=22317] ppid=22314 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22317/stat : 22317 (scop.sh) S 22314 22317 21314 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 419276330 115843072 349 33554432000 4194304 5098028 140721780389184 140721780386440 140521018434172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23293952 140721780396836 140721780397164 140721780397164 140721780400077 0
/proc/22317/statm: 28282 349 296 221 0 87 0
[pid=22320] ppid=22317 vsize=27314120 memory=124856 CPUtime=0.42 cores=0-7
/proc/22320/stat : 22320 (java) S 22317 22317 21314 0 -1 1077944320 12602 0 0 0 37 5 0 0 20 0 20 0 419276330 27969658880 31214 33554432000 4194304 4196468 140735784534016 140735784516560 139961406217975 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
/proc/22320/statm: 6828530 31214 3074 1 0 6790935 0
[pid=22320/tid=22321] ppid=22317 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/22320/task/22321/stat : 22321 (java) R 22317 22317 21314 0 -1 4202560 9966 0 0 0 26 4 0 0 20 0 20 0 419276331 27969658880 31214 33554432000 4194304 4196468 140735784534016 139961378030688 139961389404784 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22322] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22322/stat : 22322 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 31214 33554432000 4194304 4196468 140735784534016 139961410460816 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22323] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22323/stat : 22323 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 31214 33554432000 4194304 4196468 140735784534016 139961241709584 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22324] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22324/stat : 22324 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960827358096 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22325] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22325/stat : 22325 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960826305296 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22326] ppid=22317 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/22320/task/22326/stat : 22326 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960825252496 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22327] ppid=22317 vsize=27314120 memory=140623470490543 CPUtime=0 cores=0-7
/proc/22320/task/22327/stat : 22327 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960824199696 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22328] ppid=22317 vsize=27314120 memory=140623470492848 CPUtime=0 cores=0-7
/proc/22320/task/22328/stat : 22328 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960823146896 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22329] ppid=22317 vsize=27314120 memory=140623470495152 CPUtime=0 cores=0-7
/proc/22320/task/22329/stat : 22329 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276333 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960822094096 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22330] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22330/stat : 22330 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276334 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960042879856 139961406229122 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22331] ppid=22317 vsize=27314120 memory=281246940997264 CPUtime=0 cores=0-7
/proc/22320/task/22331/stat : 22331 (java) S 22317 22317 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419276335 27969658880 31214 33554432000 4194304 4196468 140735784534016 139959159744032 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22332] ppid=22317 vsize=27314120 memory=281246941004176 CPUtime=0 cores=0-7
/proc/22320/task/22332/stat : 22332 (java) S 22317 22317 21314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419276335 27969658880 31214 33554432000 4194304 4196468 140735784534016 139959025522032 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22333] ppid=22317 vsize=27314120 memory=281246940945456 CPUtime=0 cores=0-7
/proc/22320/task/22333/stat : 22333 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 31214 33554432000 4194304 4196468 140735784534016 139958651017552 139961406236571 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22334] ppid=22317 vsize=27314120 memory=281246941018000 CPUtime=0.02 cores=0-7
/proc/22320/task/22334/stat : 22334 (java) S 22317 22317 21314 0 -1 1077944384 413 0 0 0 2 0 0 0 20 0 20 0 419276338 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960041826672 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22335] ppid=22317 vsize=27314120 memory=281246941024912 CPUtime=0.01 cores=0-7
/proc/22320/task/22335/stat : 22335 (java) S 22317 22317 21314 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 419276338 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960040773872 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22336] ppid=22317 vsize=27314120 memory=281246941022608 CPUtime=0 cores=0-7
/proc/22320/task/22336/stat : 22336 (java) R 22317 22317 21314 0 -1 4202560 169 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960039721072 139961398507424 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22337] ppid=22317 vsize=27314120 memory=281246941038768 CPUtime=0.07 cores=0-7
/proc/22320/task/22337/stat : 22337 (java) S 22317 22317 21314 0 -1 1077944384 628 0 0 0 7 0 0 0 20 0 20 0 419276338 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960038668272 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22338] ppid=22317 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22320/task/22338/stat : 22338 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 31214 33554432000 4194304 4196468 140735784534016 139958153112672 139961406228181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22339] ppid=22317 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22320/task/22339/stat : 22339 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276338 27969658880 31214 33554432000 4194304 4196468 140735784534016 139960037616688 139961406229122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126252 KiB

[startup+0.701016 s]
/proc/loadavg: 2.03 1.80 3.34 2/211 22339
/proc/meminfo: memFree=28635052/32770624 swapFree=66959224/67108860
[pid=22317] ppid=22314 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22317/stat : 22317 (scop.sh) S 22314 22317 21314 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 419276330 115843072 349 33554432000 4194304 5098028 140721780389184 140721780386440 140521018434172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23293952 140721780396836 140721780397164 140721780397164 140721780400077 0
/proc/22317/statm: 28282 349 296 221 0 87 0
[pid=22320] ppid=22317 vsize=27322440 memory=162816 CPUtime=1 cores=0-7
/proc/22320/stat : 22320 (java) S 22317 22317 21314 0 -1 1077944320 20915 0 0 0 93 7 0 0 20 0 20 0 419276330 27978178560 40704 33554432000 4194304 4196468 140735784534016 140735784516560 139961406217975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
/proc/22320/statm: 6830610 40704 3182 1 0 6791959 0
[pid=22320/tid=22321] ppid=22317 vsize=27322440 memory=281246941333632 CPUtime=0.67 cores=0-7
/proc/22320/task/22321/stat : 22321 (java) R 22317 22317 21314 0 -1 4202560 17592 0 0 0 62 5 0 0 20 0 20 0 419276331 27978178560 40704 33554432000 4194304 4196468 140735784534016 139961378055536 139961406239901 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22322] ppid=22317 vsize=27322440 memory=1436 CPUtime=0 cores=0-7
/proc/22320/task/22322/stat : 22322 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276333 27978178560 40704 33554432000 4194304 4196468 140735784534016 139961410460816 139961406228181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22323] ppid=22317 vsize=27322440 memory=580 CPUtime=0 cores=0-7
/proc/22320/task/22323/stat : 22323 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276333 27978178560 40704 33554432000 4194304 4196468 140735784534016 139961241709584 139961406228181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0
[pid=22320/tid=22324] ppid=22317 vsize=27322440 memory=1720 CPUtime=0 cores=0-7
/proc/22320/task/22324/stat : 22324 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419276333 27978178560 40704 33554432000 4194304 4196468 140735784534016 139960827358096 139961406228181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27545600 140735784538858 140735784539286 140735784539286 140735784542159 0

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

[pid=22340/tid=22349] ppid=22317 vsize=7752288 memory=7883944108235712103 CPUtime=0 cores=0-7
/proc/22340/task/22349/stat : 22349 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276598 7938342912 19818 33554432000 4194304 4196468 140723233095248 139822183095056 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22350] ppid=22317 vsize=7752288 memory=7452728842579373158 CPUtime=0 cores=0-7
/proc/22340/task/22350/stat : 22350 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419276600 7938342912 19818 33554432000 4194304 4196468 140723233095248 139822133016944 139822704036482 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22351] ppid=22317 vsize=7752288 memory=7452728842579373158 CPUtime=0 cores=0-7
/proc/22340/task/22351/stat : 22351 (java) S 22317 22317 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419276600 7938342912 19818 33554432000 4194304 4196468 140723233095248 139821385245728 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22352] ppid=22317 vsize=7752288 memory=140623470751057 CPUtime=0 cores=0-7
/proc/22340/task/22352/stat : 22352 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276601 7938342912 19818 33554432000 4194304 4196468 140723233095248 139821116810096 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22353] ppid=22317 vsize=7752288 memory=7016714190785702558 CPUtime=0 cores=0-7
/proc/22340/task/22353/stat : 22353 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276603 7938342912 19818 33554432000 4194304 4196468 140723233095248 139820742301520 139822704043931 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22354] ppid=22317 vsize=7752288 memory=6944938067432061290 CPUtime=0.02 cores=0-7
/proc/22340/task/22354/stat : 22354 (java) S 22317 22317 21314 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 20 0 419276603 7938342912 19818 33554432000 4194304 4196468 140723233095248 139822131964784 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22355] ppid=22317 vsize=7752288 memory=-7019007802211101846 CPUtime=0.01 cores=0-7
/proc/22340/task/22355/stat : 22355 (java) S 22317 22317 21314 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 20 0 419276603 7938342912 19818 33554432000 4194304 4196468 140723233095248 139822130911984 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22356] ppid=22317 vsize=7752288 memory=7682744562830902074 CPUtime=0.02 cores=0-7
/proc/22340/task/22356/stat : 22356 (java) S 22317 22317 21314 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 20 0 419276603 7938342912 19818 33554432000 4194304 4196468 140723233095248 139822129859184 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22357] ppid=22317 vsize=7752288 memory=31356350842106266 CPUtime=0.11 cores=0-7
/proc/22340/task/22357/stat : 22357 (java) S 22317 22317 21314 0 -1 1077944384 373 0 0 0 11 0 0 0 20 0 20 0 419276603 7938342912 19818 33554432000 4194304 4196468 140723233095248 139822128806384 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22358] ppid=22317 vsize=7752288 memory=1966896 CPUtime=0 cores=0-7
/proc/22340/task/22358/stat : 22358 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419276603 7938342912 19818 33554432000 4194304 4196468 140723233095248 139820244396640 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22359] ppid=22317 vsize=7752288 memory=6944656592452807326 CPUtime=0 cores=0-7
/proc/22340/task/22359/stat : 22359 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419276604 7938342912 19818 33554432000 4194304 4196468 140723233095248 139822127753776 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 7865416 KiB
Current children cumulated memory: 80484 KiB

[startup+4.80284 s]
/proc/loadavg: 2.03 1.80 3.34 2/216 22365
/proc/meminfo: memFree=28579252/32770624 swapFree=66959224/67108860
[pid=22317] ppid=22314 vsize=113128 memory=1476 CPUtime=3.93 cores=0-7
/proc/22317/stat : 22317 (scop.sh) S 22314 22317 21314 0 -1 4202496 583 25433 0 0 0 0 368 25 20 0 1 0 419276330 115843072 369 33554432000 4194304 5098028 140721780389184 140721780385928 140521018434172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23293952 140721780396836 140721780397164 140721780397164 140721780400077 0
/proc/22317/statm: 28282 369 311 221 0 87 0
[pid=22340] ppid=22317 vsize=8414124 memory=121836 CPUtime=1.35 cores=0-7
/proc/22340/stat : 22340 (java) S 22317 22317 21314 0 -1 1077944320 20918 0 0 0 126 9 0 0 20 0 24 0 419276597 8616062976 30459 33554432000 4194304 4196468 140723233095248 140723233077792 139822704025335 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
/proc/22340/statm: 2103531 30459 3209 1 0 2064875 0
[pid=22360] ppid=22340 vsize=1028032 memory=437568 CPUtime=3.16 cores=0-7
/proc/22360/stat : 22360 (manyglucose-4.1) S 22340 22317 21314 0 -1 1077944320 81279 0 0 0 301 15 0 0 20 0 9 0 419276674 1052704768 109392 33554432000 4194304 4454172 140723094403856 140723094402256 140506748172930 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 22028288 140723094410089 140723094410288 140723094410288 140723094413242 0
/proc/22360/statm: 257008 109392 403 64 0 252676 0
[pid=22340/tid=22341] ppid=22317 vsize=8414124 memory=14004 CPUtime=0.79 cores=0-7
/proc/22340/task/22341/stat : 22341 (java) S 22317 22317 21314 0 -1 1077944384 17410 0 0 0 73 6 0 0 20 0 24 0 419276597 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822675865504 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22342] ppid=22317 vsize=8414124 memory=21984 CPUtime=0 cores=0-7
/proc/22340/task/22342/stat : 22342 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822708267664 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22343] ppid=22317 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/22340/task/22343/stat : 22343 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822189410832 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22344] ppid=22317 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/22340/task/22344/stat : 22344 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822188358032 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22345] ppid=22317 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/22340/task/22345/stat : 22345 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822187305232 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22346] ppid=22317 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/22340/task/22346/stat : 22346 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822186253456 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22347] ppid=22317 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/22340/task/22347/stat : 22347 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822185200656 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22348] ppid=22317 vsize=8414124 memory=95923799611406 CPUtime=0 cores=0-7
/proc/22340/task/22348/stat : 22348 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822184147856 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22349] ppid=22317 vsize=8414124 memory=7883944108235712103 CPUtime=0 cores=0-7
/proc/22340/task/22349/stat : 22349 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822183095056 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22350] ppid=22317 vsize=8414124 memory=7883944108235712103 CPUtime=0 cores=0-7
/proc/22340/task/22350/stat : 22350 (java) S 22317 22317 21314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419276600 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822133016944 139822704036482 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22351] ppid=22317 vsize=8414124 memory=7883944108235712103 CPUtime=0 cores=0-7
/proc/22340/task/22351/stat : 22351 (java) S 22317 22317 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419276600 8616062976 30459 33554432000 4194304 4196468 140723233095248 139821385245728 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22352] ppid=22317 vsize=8414124 memory=7883944108235712103 CPUtime=0 cores=0-7
/proc/22340/task/22352/stat : 22352 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276601 8616062976 30459 33554432000 4194304 4196468 140723233095248 139821116810096 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22353] ppid=22317 vsize=8414124 memory=7883944108235712103 CPUtime=0 cores=0-7
/proc/22340/task/22353/stat : 22353 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276603 8616062976 30459 33554432000 4194304 4196468 140723233095248 139820742301520 139822704043931 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22354] ppid=22317 vsize=8414124 memory=7594587674001172330 CPUtime=0.05 cores=0-7
/proc/22340/task/22354/stat : 22354 (java) S 22317 22317 21314 0 -1 1077944384 484 0 0 0 5 0 0 0 20 0 24 0 419276603 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822131964784 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22355] ppid=22317 vsize=8414124 memory=7594587674001172330 CPUtime=0.08 cores=0-7
/proc/22340/task/22355/stat : 22355 (java) S 22317 22317 21314 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 24 0 419276603 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822130911984 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22356] ppid=22317 vsize=8414124 memory=7306316804797196914 CPUtime=0.13 cores=0-7
/proc/22340/task/22356/stat : 22356 (java) S 22317 22317 21314 0 -1 1077944384 703 0 0 0 13 0 0 0 20 0 24 0 419276603 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822129859184 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22357] ppid=22317 vsize=8414124 memory=413556 CPUtime=0.23 cores=0-7
/proc/22340/task/22357/stat : 22357 (java) S 22317 22317 21314 0 -1 1077944384 648 0 0 0 23 0 0 0 20 0 24 0 419276603 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822128806384 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22358] ppid=22317 vsize=8414124 memory=7452728842579373158 CPUtime=0 cores=0-7
/proc/22340/task/22358/stat : 22358 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419276603 8616062976 30459 33554432000 4194304 4196468 140723233095248 139820244396640 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22359] ppid=22317 vsize=8414124 memory=121836 CPUtime=0 cores=0-7
/proc/22340/task/22359/stat : 22359 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276604 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822127753776 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22361] ppid=22317 vsize=8414124 memory=192105297260213 CPUtime=0 cores=0-7
/proc/22340/task/22361/stat : 22361 (java) S 22317 22317 21314 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419276674 8616062976 30459 33554432000 4194304 4196468 140723233095248 139822124008512 139822704049945 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22363] ppid=22317 vsize=8414124 memory=7452728842579373158 CPUtime=0 cores=0-7
/proc/22340/task/22363/stat : 22363 (java) S 22317 22317 21314 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419276674 8616062976 30459 33554432000 4194304 4196468 140723233095248 139819573297328 139822704047261 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22364] ppid=22317 vsize=8414124 memory=7452728842579373158 CPUtime=0 cores=0-7
/proc/22340/task/22364/stat : 22364 (java) S 22317 22317 21314 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419276674 8616062976 30459 33554432000 4194304 4196468 140723233095248 139819841732656 139822704047261 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22365] ppid=22317 vsize=8414124 memory=7452728842579373158 CPUtime=0 cores=0-7
/proc/22340/task/22365/stat : 22365 (java) S 22317 22317 21314 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419276676 8616062976 30459 33554432000 4194304 4196468 140723233095248 139819304869424 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 9555284 KiB
Current children cumulated memory: 560880 KiB

[startup+5.2033 s]
/proc/loadavg: 2.03 1.80 3.34 9/224 22373
/proc/meminfo: memFree=28212680/32770624 swapFree=66959224/67108860
[pid=22317] ppid=22314 vsize=113128 memory=1476 CPUtime=3.93 cores=0-7
/proc/22317/stat : 22317 (scop.sh) S 22314 22317 21314 0 -1 4202496 583 25433 0 0 0 0 368 25 20 0 1 0 419276330 115843072 369 33554432000 4194304 5098028 140721780389184 140721780385928 140521018434172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23293952 140721780396836 140721780397164 140721780397164 140721780400077 0
/proc/22317/statm: 28282 369 311 221 0 87 0
[pid=22340] ppid=22317 vsize=8414124 memory=121900 CPUtime=1.37 cores=0-7
/proc/22340/stat : 22340 (java) S 22317 22317 21314 0 -1 1077944320 20946 0 0 0 128 9 0 0 20 0 24 0 419276597 8616062976 30475 33554432000 4194304 4196468 140723233095248 140723233077792 139822704025335 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
/proc/22340/statm: 2103531 30475 3209 1 0 2064875 0
[pid=22360] ppid=22340 vsize=996188 memory=446196 CPUtime=5.93 cores=0-7
/proc/22360/stat : 22360 (manyglucose-4.1) S 22340 22317 21314 0 -1 4202496 83150 0 0 0 577 16 0 0 20 0 1 0 419276674 1020096512 111549 33554432000 4194304 4454172 140723094403856 140723094400576 140506733902973 0 4 0 8388610 18446744071580971376 0 0 17 5 0 0 0 0 0 6552832 6554400 22028288 140723094410089 140723094410288 140723094410288 140723094413242 0
/proc/22360/statm: 249047 111549 422 64 0 244715 0
[pid=22340/tid=22341] ppid=22317 vsize=8414124 memory=0 CPUtime=0.79 cores=0-7
/proc/22340/task/22341/stat : 22341 (java) S 22317 22317 21314 0 -1 1077944384 17410 0 0 0 73 6 0 0 20 0 24 0 419276597 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822675865504 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22342] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22342/stat : 22342 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822708267664 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22343] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22343/stat : 22343 (java) S 22317 22317 21314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822189410832 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22344] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22344/stat : 22344 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822188358032 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22345] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22345/stat : 22345 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822187305232 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22346] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22346/stat : 22346 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822186253456 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22347] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22347/stat : 22347 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822185200656 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22348] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22348/stat : 22348 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822184147856 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22349] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22349/stat : 22349 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276598 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822183095056 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22350] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22350/stat : 22350 (java) S 22317 22317 21314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419276600 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822133016944 139822704036482 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22351] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22351/stat : 22351 (java) S 22317 22317 21314 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419276600 8616062976 30475 33554432000 4194304 4196468 140723233095248 139821385245728 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22352] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22352/stat : 22352 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276601 8616062976 30475 33554432000 4194304 4196468 140723233095248 139821116810096 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22353] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22353/stat : 22353 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276603 8616062976 30475 33554432000 4194304 4196468 140723233095248 139820742301520 139822704043931 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22354] ppid=22317 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/22340/task/22354/stat : 22354 (java) S 22317 22317 21314 0 -1 1077944384 484 0 0 0 5 0 0 0 20 0 24 0 419276603 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822131964784 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22355] ppid=22317 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/22340/task/22355/stat : 22355 (java) S 22317 22317 21314 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 24 0 419276603 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822130911984 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22356] ppid=22317 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/22340/task/22356/stat : 22356 (java) S 22317 22317 21314 0 -1 1077944384 703 0 0 0 13 0 0 0 20 0 24 0 419276603 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822129859184 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22357] ppid=22317 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/22340/task/22357/stat : 22357 (java) R 22317 22317 21314 0 -1 4202560 673 0 0 0 24 0 0 0 20 0 24 0 419276603 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822128806384 139822688364696 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22358] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22358/stat : 22358 (java) S 22317 22317 21314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419276603 8616062976 30475 33554432000 4194304 4196468 140723233095248 139820244396640 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22359] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22359/stat : 22359 (java) S 22317 22317 21314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419276604 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822127753776 139822704036482 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22361] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22361/stat : 22361 (java) S 22317 22317 21314 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419276674 8616062976 30475 33554432000 4194304 4196468 140723233095248 139822124008512 139822704049945 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22363] ppid=22317 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/22340/task/22363/stat : 22363 (java) R 22317 22317 21314 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 24 0 419276674 8616062976 30475 33554432000 4194304 4196468 140723233095248 139819573295504 140723233855426 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22364] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22364/stat : 22364 (java) S 22317 22317 21314 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419276674 8616062976 30475 33554432000 4194304 4196468 140723233095248 139819841732656 139822704047261 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
[pid=22340/tid=22365] ppid=22317 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22340/task/22365/stat : 22365 (java) S 22317 22317 21314 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419276676 8616062976 30475 33554432000 4194304 4196468 140723233095248 139819304869424 139822704035541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24850432 140723233096695 140723233096854 140723233096854 140723233099727 0
Current children cumulated CPU time: 11.23 s
Current children cumulated vsize: 9523440 KiB
Current children cumulated memory: 569572 KiB

[startup+5.4011 s]
/proc/loadavg: 2.03 1.80 3.34 9/224 22373
/proc/meminfo: memFree=28212680/32770624 swapFree=66959224/67108860
[pid=22317] ppid=22314 vsize=113128 memory=1476 CPUtime=3.93 cores=0-7
/proc/22317/stat : 22317 (scop.sh) S 22314 22317 21314 0 -1 4202496 583 25433 0 0 0 0 368 25 20 0 1 0 419276330 115843072 369 33554432000 4194304 5098028 140721780389184 140721780385928 140521018434172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23293952 140721780396836 140721780397164 140721780397164 140721780400077 0
/proc/22317/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 3.93 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 5.40622
CPU time (s): 11.7769
CPU user time (s): 11.2067
CPU system time (s): 0.570232
CPU usage (%): 217.84
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 891300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2067
system time used= 0.570232
maximum resident set size= 895336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130636
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12714
involuntary context switches= 77


# summary of solver processes directly reported to runsolver:
#   pid: 22317
#   total CPU time (s): 11.7769
#   total CPU user time (s): 11.2067
#   total CPU system time (s): 0.570232

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061355 second user time and 0.106564 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 05:55:22
IDJOB=4392666
IDBENCH=133338
IDSOLVER=2839
FILE ID=node124/4392666-1568433362
RUNJOBID= node124-1568427058-21341
PBS_JOBID= 21702294
Free space on /tmp= 61812 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p20/Primes-20-20-3-3.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-4392666-1568433362/watcher-4392666-1568433362 -o /tmp/evaluation-result-4392666-1568433362/solver-4392666-1568433362 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568427058-21341 --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-4392666-1568433362.xml

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

MD5SUM BENCH= 065412ea00e4edb14381318bc4e9318f
RANDOM SEED=1322394582

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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:        28771604 kB
MemAvailable:   31848396 kB
Buffers:          195060 kB
Cached:          3161984 kB
SwapCached:        45888 kB
Active:           987904 kB
Inactive:        2422644 kB
Active(anon):       5320 kB
Inactive(anon):    89416 kB
Active(file):     982584 kB
Inactive(file):  2333228 kB
Unevictable:      107208 kB
Mlocked:          107208 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             20680 kB
Writeback:             0 kB
AnonPages:        255012 kB
Mapped:            44508 kB
Shmem:             32744 kB
Slab:             183624 kB
SReclaimable:     153632 kB
SUnreclaim:        29992 kB
KernelStack:        3824 kB
PageTables:         6360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61792 MiB
End job on node124 at 2019-09-14 05:55:27