Trace number 4392696

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 72.5787 14.6703

General information on the benchmark

NamePrimes/
Primes-m1-p15/Primes-15-20-2-7.xml
MD5SUMd26c1a16a8e9a423ebbeb7c1b2e2b431
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.008024
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Number of domains1
Minimum domain size46
Maximum domain size46
Distribution of domain sizes[{"size":46,"count":76}]
Minimum variable degree0
Maximum variable degree5
Distribution of variable degrees[{"degree":0,"count":24},{"degree":1,"count":44},{"degree":2,"count":15},{"degree":3,"count":11},{"degree":4,"count":5},{"degree":5,"count":1}]
Minimum constraint arity3
Maximum constraint arity9
Distribution of constraint arities[{"arity":3,"count":2},{"arity":4,"count":3},{"arity":6,"count":4},{"arity":7,"count":2},{"arity":8,"count":5},{"arity":9,"count":4}]
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-21474-serial-file.bin HOME/instance-4392696-1568433413.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 04:55:36 CEST 2019
0.66/0.56	c PID: 21477
0.66/0.56	c IP: 172.20.3.106
0.66/0.56	c HOST: node106.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.15/0.86	c (0,0) Parsing End
1.15/0.87	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 20 ctr, max domain size 46
1.15/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.15/0.87	c (0,0) Constraint Name Generate Begin
1.15/0.88	c (0,0) Ctr:HOME/instance-4392696-1568433413.xml,Num:Var:WeightedSum
1.15/0.88	c (0,0) Constraint Name Generate End
1.15/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.15/0.88	c (0,0) CSP to CSPinCNF Begin
1.36/0.97	c (0,0) translated 2 (10%) constraints
1.36/0.97	c (0,0) translated 4 (20%) constraints
1.36/0.98	c (0,0) translated 6 (30%) constraints
1.36/0.99	c (0,0) translated 8 (40%) constraints
1.36/0.99	c (0,0) translated 10 (50%) constraints
1.36/1.00	c (0,0) translated 12 (60%) constraints
1.36/1.00	c (0,0) translated 14 (70%) constraints
1.56/1.01	c (0,0) translated 16 (80%) constraints
1.56/1.01	c (0,0) translated 18 (90%) constraints
1.56/1.02	c (0,0) translated 20 (100%) constraints
1.56/1.02	c (0,0) ===========================================
1.56/1.03	c (0,0) Hybrid: #OE=1, #LE=75
1.56/1.03	c (0,0) Hybrid
1.56/1.03	c (0,0) ===========================================
1.56/1.04	c (0,0) translated 2 (10%) constraints
1.56/1.04	c (0,0) translated 4 (20%) constraints
1.56/1.04	c (0,0) translated 6 (30%) constraints
1.56/1.05	c (0,0) translated 8 (40%) constraints
1.56/1.05	c (0,0) translated 10 (50%) constraints
1.56/1.05	c (0,0) translated 12 (60%) constraints
1.56/1.06	c (0,0) translated 14 (70%) constraints
1.56/1.06	c (0,0) translated 16 (80%) constraints
1.56/1.06	c (0,0) translated 18 (90%) constraints
1.56/1.06	c (0,0) translated 20 (100%) constraints
1.56/1.07	c (0,0) CSP to CSPinCNF End
1.56/1.07	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46
1.56/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.56/1.07	c (0,0) CSPinCNF Propagation Begin
1.56/1.08	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.56/1.08	c (0,0) CSPinCNF Propagation End
1.56/1.08	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46
1.56/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.56/1.09	c (0,0) Hybrid: #OE=1, #LE=75
1.56/1.09	c (0,0) Simplify CSPinCNF Begin
1.56/1.09	c (0,0) Simplify CSPinCNF End
1.56/1.09	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46
1.56/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.56/1.09	c (0,0) Calculate Precise Domain Begin
1.56/1.09	c (0,0) 0 values are removed by re-calculation
1.56/1.09	c (0,0) Calculate Precise Domain End
1.56/1.09	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46
1.56/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.56/1.09	c (0,0) CSPinCNF to SatSolver Begin
2.79/1.49	c (0,0) 4 (10 %) CSP clauses are encoded (0 SAT variables, 83602 SAT clauses)
3.24/1.70	c (1,1) 8 (20 %) CSP clauses are encoded (0 SAT variables, 177511 SAT clauses)
3.37/1.81	c (1,1) 12 (30 %) CSP clauses are encoded (0 SAT variables, 226320 SAT clauses)
3.37/1.88	c (1,1) 16 (40 %) CSP clauses are encoded (0 SAT variables, 255072 SAT clauses)
3.48/1.99	c (1,1) 20 (50 %) CSP clauses are encoded (0 SAT variables, 306491 SAT clauses)
3.70/2.16	c (1,1) 24 (60 %) CSP clauses are encoded (0 SAT variables, 383810 SAT clauses)
3.90/2.35	c (1,1) 28 (70 %) CSP clauses are encoded (0 SAT variables, 468665 SAT clauses)
4.09/2.52	c (1,1) 32 (80 %) CSP clauses are encoded (0 SAT variables, 544913 SAT clauses)
4.24/2.67	c (2,2) 36 (90 %) CSP clauses are encoded (0 SAT variables, 603448 SAT clauses)
4.35/2.77	c (2,2) 40 (100 %) CSP clauses are encoded (0 SAT variables, 650046 SAT clauses)
4.35/2.78	c (2,2) CSPinCNF to SatSolver End
4.35/2.78	c (2,2) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
4.35/2.78	c (2,2) 238932 bool, 655015 clause
4.35/2.78	c (2,2) Export Begin
4.69/2.90	c (2,2) Export to HOME/scop-21474-serial-file.bin
4.69/2.90	c (2,2) Export End
4.69/2.91	c (2,2) Export File Size: 0.08 MB
4.69/2.91	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
4.69/2.91	c END-Prog: Sat Sep 14 04:55:38 CEST 2019
4.69/2.93	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21474-serial-file.bin
5.22/3.39	c (0,0) Read Serial File Begin
5.22/3.39	c (0,0) HOME/scop-21474-serial-file.bin
5.69/3.64	c (0,0) Read Serial File End
5.69/3.65	
5.69/3.65	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.69/3.65	(Solving Process)
5.69/3.65	
5.69/3.67	c BEGIN-Prog: Sat Sep 14 04:55:39 CEST 2019
5.69/3.67	c PID: 21497
5.69/3.67	c IP: 172.20.3.106
5.69/3.67	c HOST: node106.alineos.net
5.69/3.68	c (0,0) SatSolver.solve Begin
5.69/3.68	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392696-1568433413.xml-scop-21477.cnf
5.97/3.70	c (0,0) c
5.97/3.70	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.97/3.70	c (0,0) c
5.97/3.70	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.97/3.70	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.97/3.70	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.97/3.70	c (0,0) c |                                                                                                       |
6.08/4.00	c (0,0) c |  Number of variables:        238932                                                                   |
6.08/4.00	c (0,0) c |  Number of clauses:          654903                                                                   |
6.08/4.00	c (0,0) c |  Parse time:                   0.26 s                                                                 |
6.08/4.00	c (0,0) c |                                                                                                       |
7.17/4.87	c (1,0) c |  Simplification time:          0.86 s                                                                 |
7.17/4.87	c (1,0) c |                                                                                                       |
7.17/4.87	c (1,0) c |  Generating clones                                                                                    |
7.58/5.30	c (1,0) c |  all clones generated. Memory =   644.34Mb.                                                           |
7.58/5.30	c (1,0) c ========================================================================================================|
7.58/5.30	c (1,0) c
7.58/5.30	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.58/5.30	c (1,0) c
7.58/5.30	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.58/5.30	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.58/5.30	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.58/5.30	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.58/5.30	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.58/5.30	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.58/5.30	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.58/5.30	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.58/5.30	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.58/5.30	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.58/5.30	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.58/5.30	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.58/5.30	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.58/5.30	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.58/5.30	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.58/5.30	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.58/5.30	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.58/5.30	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.58/5.30	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.37	c (11,0) c
71.80/14.37	c (11,0) c real time : 10.6734 s
71.80/14.37	c (11,0) c cpu time  : 64.8493 s
71.80/14.37	c (11,0) c
71.80/14.37	c (11,0) c
71.80/14.37	c (11,0) c
71.80/14.37	c (11,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
71.80/14.37	c (11,0) c
71.80/14.37	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.37	c (11,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
71.80/14.37	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.37	c (11,0) c | Conflicts     |          206276 |      25367 |      26693 |      25995 |      25984 |      26348 |      25132 |      24925 |      25832 |
71.80/14.37	c (11,0) c | Decisions     |         3479912 |     373299 |     494369 |     413090 |     494529 |     392847 |     357518 |     473509 |     480751 |
71.80/14.37	c (11,0) c | Propagations  |       281136409 |   35733302 |   33968046 |   36424245 |   34561612 |   35022631 |   34761010 |   34446461 |   36219102 |
71.80/14.37	c (11,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
71.80/14.37	c (11,0) c | SimpDBs       |              89 |         13 |         10 |         10 |         10 |         14 |         11 |         11 |         10 |
71.80/14.37	c (11,0) c | Restarts      |             780 |        116 |         63 |        109 |         80 |        138 |         81 |         78 |        115 |
71.80/14.37	c (11,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
71.80/14.37	c (11,0) c | PropBinClauses|       141459756 |   18637001 |   16555883 |   19277246 |   17522133 |   17380644 |   17856495 |   16435140 |   17795214 |
71.80/14.37	c (11,0) c | PropPreBlocker|       673488978 |   81176990 |   85734054 |   85574684 |   86458507 |   79876106 |   83523828 |   85982449 |   85162360 |
71.80/14.37	c (11,0) c | PropNotBlocker|       329753333 |   40435758 |   40649361 |   41964684 |   41480251 |   39972794 |   40779813 |   41989279 |   42481393 |
71.80/14.37	c (11,0) c | LitFullScans  |      1683518728 |  210082353 |  210125467 |  211954168 |  210120367 |  210075054 |  210107583 |  210945170 |  210108566 |
71.80/14.37	c (11,0) c | LitScanFracts |          586727 |      74989 |     118573 |      69912 |      34622 |      65722 |      98580 |      24687 |      99642 |
71.80/14.37	c (11,0) c | DecisionLevel0|             874 |        126 |         73 |        121 |         86 |        157 |         94 |         87 |        130 |
71.80/14.37	c (11,0) c | Periods       |             280 |         35 |         35 |         35 |         35 |         35 |         35 |         35 |         35 |
71.80/14.37	c (11,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
71.80/14.37	c (11,0) c | Avg_Trail     |                 |      24882 |      24757 |      24503 |      24372 |      25911 |      30412 |      29325 |      30982 |
71.80/14.37	c (11,0) c | Avg_DL        |                 |        339 |        442 |        536 |        512 |        489 |        557 |        513 |        579 |
71.80/14.37	c (11,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
71.80/14.37	c (11,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
71.80/14.37	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.38	c (11,0) c | Exported      |           24543 |       3100 |       3372 |       2702 |       3009 |       2919 |       3068 |       3154 |       3219 |
71.80/14.38	c (11,0) c | Imported      |           63167 |       7862 |       6842 |       8839 |       7675 |       7832 |       8420 |       7890 |       7807 |
71.80/14.38	c (11,0) c | Good          |            5268 |        631 |        644 |        704 |        678 |        634 |        683 |        671 |        623 |
71.80/14.38	c (11,0) c | Purge         |           57899 |       7231 |       6198 |       8135 |       6997 |       7198 |       7737 |       7219 |       7184 |
71.80/14.38	c (11,0) c | Promoted      |             682 |        129 |         51 |         51 |         35 |        120 |        105 |         69 |        122 |
71.80/14.38	c (11,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
71.80/14.38	c (11,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
71.80/14.38	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.38	c (11,0) c | Unaries       |                 |         10 |         10 |         12 |          6 |         19 |         13 |          9 |         15 |
71.80/14.38	c (11,0) c | Binaries      |                 |        241 |        140 |        199 |        135 |        215 |        166 |        147 |        212 |
71.80/14.38	c (11,0) c | Glues         |                 |        884 |        510 |        770 |        583 |        885 |        564 |        620 |        797 |
71.80/14.38	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.38	c (11,0) c | Orig_Seen     |            22 % |     128702 |     113091 |     117359 |     114722 |     136863 |     140896 |     133956 |     138920 |
71.80/14.38	c (11,0) c | Diff Orig seen|                 |      13980 | -     1631 |       2637 |      X     |      22141 |      26174 |      19234 |      24198 |
71.80/14.38	c (11,0) c | Hamming       |            12 % |      29127 |      29211 |      27862 |      X     |      28374 |      27832 |      31566 |      29796 |
71.80/14.38	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.38	c (11,0) c | RunningTime   |                 |    9.1 100%|    8.1 100%|    7.7 100%|    7.7 100%|    7.9 100%|    8.2 100%|    8.0 100%|    8.0 100%|
71.80/14.38	c (11,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%|
71.80/14.38	c (11,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%|
71.80/14.38	c (11,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%|
71.80/14.38	c (11,0) c | SolvingTime   |                 |    9.1     |    8.1     |    7.7     |    7.7     |    8.0     |    8.2     |    8.0     |    8.0     |
71.80/14.38	c (11,0) c | PropagationTim|                 |    7.6  83%|    6.7  83%|    6.3  82%|    6.3  82%|    6.4  81%|    6.7  82%|    6.5  81%|    6.5  81%|
71.80/14.38	c (11,0) c | AnalysisTime  |                 |    0.5   5%|    0.5   7%|    0.5   6%|    0.5   6%|    0.5   7%|    0.5   7%|    0.5   6%|    0.5   6%|
71.80/14.38	c (11,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%|
71.80/14.38	c (11,0) c | SimplifyTime  |                 |    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   3%|    0.2   2%|    0.2   2%|    0.2   2%|
71.80/14.38	c (11,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%|
71.80/14.38	c (11,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%|
71.80/14.38	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.38	c (11,0) c
71.80/14.38	c (11,0) c
71.80/14.38	c (11,0) c Threads : 8
71.80/14.38	c (11,0) c Winner : 3
71.80/14.38	c (11,0) c Conflicts_0 : 25367
71.80/14.38	c (11,0) c Conflicts_1 : 26693
71.80/14.38	c (11,0) c Conflicts_2 : 25995
71.80/14.38	c (11,0) c Conflicts_3 : 25984
71.80/14.38	c (11,0) c Conflicts_4 : 26348
71.80/14.38	c (11,0) c Conflicts_5 : 25132
71.80/14.38	c (11,0) c Conflicts_6 : 24925
71.80/14.38	c (11,0) c Conflicts_7 : 25832
71.80/14.38	c (11,0) c Conflicts_total : 206276
71.80/14.38	c (11,0) c Conflicts_winner : 25984
71.80/14.38	c (11,0) c Decisions_0 : 373299
71.80/14.38	c (11,0) c Decisions_1 : 494369
71.80/14.38	c (11,0) c Decisions_2 : 413090
71.80/14.38	c (11,0) c Decisions_3 : 494529
71.80/14.38	c (11,0) c Decisions_4 : 392847
71.80/14.38	c (11,0) c Decisions_5 : 357518
71.80/14.38	c (11,0) c Decisions_6 : 473509
71.80/14.38	c (11,0) c Decisions_7 : 480751
71.80/14.38	c (11,0) c Decisions_total : 3479912
71.80/14.38	c (11,0) c Decisions_winner : 494529
71.80/14.38	c (11,0) c Propagations_0 : 35733302
71.80/14.38	c (11,0) c Propagations_1 : 33968046
71.80/14.38	c (11,0) c Propagations_2 : 36424245
71.80/14.38	c (11,0) c Propagations_3 : 34561612
71.80/14.38	c (11,0) c Propagations_4 : 35022631
71.80/14.38	c (11,0) c Propagations_5 : 34761010
71.80/14.38	c (11,0) c Propagations_6 : 34446461
71.80/14.38	c (11,0) c Propagations_7 : 36219102
71.80/14.38	c (11,0) c Propagations_total : 281136409
71.80/14.38	c (11,0) c Propagations_winner : 34561612
71.80/14.38	c (11,0) c ReduceDBs_0 : 4
71.80/14.38	c (11,0) c ReduceDBs_1 : 4
71.80/14.38	c (11,0) c ReduceDBs_2 : 4
71.80/14.38	c (11,0) c ReduceDBs_3 : 4
71.80/14.38	c (11,0) c ReduceDBs_4 : 4
71.80/14.38	c (11,0) c ReduceDBs_5 : 4
71.80/14.38	c (11,0) c ReduceDBs_6 : 4
71.80/14.38	c (11,0) c ReduceDBs_7 : 4
71.80/14.38	c (11,0) c ReduceDBs_total : 32
71.80/14.38	c (11,0) c ReduceDBs_winner : 4
71.80/14.38	c (11,0) c SimpDBs_0 : 13
71.80/14.38	c (11,0) c SimpDBs_1 : 10
71.80/14.38	c (11,0) c SimpDBs_2 : 10
71.80/14.38	c (11,0) c SimpDBs_3 : 10
71.80/14.38	c (11,0) c SimpDBs_4 : 14
71.80/14.38	c (11,0) c SimpDBs_5 : 11
71.80/14.38	c (11,0) c SimpDBs_6 : 11
71.80/14.38	c (11,0) c SimpDBs_7 : 10
71.80/14.38	c (11,0) c SimpDBs_total : 89
71.80/14.38	c (11,0) c SimpDBs_winner : 10
71.80/14.38	c (11,0) c Restarts_0 : 116
71.80/14.38	c (11,0) c Restarts_1 : 63
71.80/14.38	c (11,0) c Restarts_2 : 109
71.80/14.38	c (11,0) c Restarts_3 : 80
71.80/14.38	c (11,0) c Restarts_4 : 138
71.80/14.38	c (11,0) c Restarts_5 : 81
71.80/14.38	c (11,0) c Restarts_6 : 78
71.80/14.38	c (11,0) c Restarts_7 : 115
71.80/14.38	c (11,0) c Restarts_total : 780
71.80/14.38	c (11,0) c Restarts_winner : 80
71.80/14.38	c (11,0) c ForcedImports_0 : 0
71.80/14.38	c (11,0) c ForcedImports_1 : 0
71.80/14.38	c (11,0) c ForcedImports_2 : 0
71.80/14.38	c (11,0) c ForcedImports_3 : 0
71.80/14.38	c (11,0) c ForcedImports_4 : 0
71.80/14.38	c (11,0) c ForcedImports_5 : 0
71.80/14.38	c (11,0) c ForcedImports_6 : 0
71.80/14.38	c (11,0) c ForcedImports_7 : 0
71.80/14.38	c (11,0) c ForcedImports_total : 0
71.80/14.38	c (11,0) c ForcedImports_winner : 0
71.80/14.38	c (11,0) c PropsBinClauses_0 : 18637001
71.80/14.38	c (11,0) c PropsBinClauses_1 : 16555883
71.80/14.38	c (11,0) c PropsBinClauses_2 : 19277246
71.80/14.38	c (11,0) c PropsBinClauses_3 : 17522133
71.80/14.38	c (11,0) c PropsBinClauses_4 : 17380644
71.80/14.38	c (11,0) c PropsBinClauses_5 : 17856495
71.80/14.38	c (11,0) c PropsBinClauses_6 : 16435140
71.80/14.38	c (11,0) c PropsBinClauses_7 : 17795214
71.80/14.38	c (11,0) c PropsBinClauses_total : 141459756
71.80/14.38	c (11,0) c PropsBinClauses_winner : 17522133
71.80/14.38	c (11,0) c PropsPreBlocker_0 : 81176990
71.80/14.38	c (11,0) c PropsPreBlocker_1 : 85734054
71.80/14.38	c (11,0) c PropsPreBlocker_2 : 85574684
71.80/14.38	c (11,0) c PropsPreBlocker_3 : 86458507
71.80/14.38	c (11,0) c PropsPreBlocker_4 : 79876106
71.80/14.38	c (11,0) c PropsPreBlocker_5 : 83523828
71.80/14.38	c (11,0) c PropsPreBlocker_6 : 85982449
71.80/14.38	c (11,0) c PropsPreBlocker_7 : 85162360
71.80/14.38	c (11,0) c PropsPreBlocker_total : 673488978
71.80/14.38	c (11,0) c PropsPreBlocker_winner : 86458507
71.80/14.38	c (11,0) c PropsNotBlocker_0 : 40435758
71.80/14.38	c (11,0) c PropsNotBlocker_1 : 40649361
71.80/14.38	c (11,0) c PropsNotBlocker_2 : 41964684
71.80/14.38	c (11,0) c PropsNotBlocker_3 : 41480251
71.80/14.38	c (11,0) c PropsNotBlocker_4 : 39972794
71.80/14.38	c (11,0) c PropsNotBlocker_5 : 40779813
71.80/14.38	c (11,0) c PropsNotBlocker_6 : 41989279
71.80/14.38	c (11,0) c PropsNotBlocker_7 : 42481393
71.80/14.38	c (11,0) c PropsNotBlocker_total : 329753333
71.80/14.38	c (11,0) c PropsNotBlocker_winner : 41480251
71.80/14.38	c (11,0) c PropsLitFullScans_0 : 210082353
71.80/14.38	c (11,0) c PropsLitFullScans_1 : 210125467
71.80/14.38	c (11,0) c PropsLitFullScans_2 : 211954168
71.80/14.38	c (11,0) c PropsLitFullScans_3 : 210120367
71.80/14.38	c (11,0) c PropsLitFullScans_4 : 210075054
71.80/14.38	c (11,0) c PropsLitFullScans_5 : 210107583
71.80/14.38	c (11,0) c PropsLitFullScans_6 : 210945170
71.80/14.38	c (11,0) c PropsLitFullScans_7 : 210108566
71.80/14.38	c (11,0) c PropsLitFullScans_total : 1683518728
71.80/14.38	c (11,0) c PropsLitFullScans_winner : 210120367
71.80/14.38	c (11,0) c LitScanFractions_0 : 74989
71.80/14.38	c (11,0) c LitScanFractions_1 : 118573
71.80/14.38	c (11,0) c LitScanFractions_2 : 69912
71.80/14.38	c (11,0) c LitScanFractions_3 : 34622
71.80/14.38	c (11,0) c LitScanFractions_4 : 65722
71.80/14.38	c (11,0) c LitScanFractions_5 : 98580
71.80/14.38	c (11,0) c LitScanFractions_6 : 24687
71.80/14.38	c (11,0) c LitScanFractions_7 : 99642
71.80/14.38	c (11,0) c LitScanFractions_total : 586727
71.80/14.38	c (11,0) c LitScanFractions_winner : 34622
71.80/14.38	c (11,0) c DecisionLevel0_0 : 126
71.80/14.38	c (11,0) c DecisionLevel0_1 : 73
71.80/14.38	c (11,0) c DecisionLevel0_2 : 121
71.80/14.38	c (11,0) c DecisionLevel0_3 : 86
71.80/14.38	c (11,0) c DecisionLevel0_4 : 157
71.80/14.38	c (11,0) c DecisionLevel0_5 : 94
71.80/14.38	c (11,0) c DecisionLevel0_6 : 87
71.80/14.38	c (11,0) c DecisionLevel0_7 : 130
71.80/14.38	c (11,0) c DecisionLevel0_total : 874
71.80/14.38	c (11,0) c DecisionLevel0_winner : 86
71.80/14.38	c (11,0) c Periods_0 : 35
71.80/14.38	c (11,0) c Periods_1 : 35
71.80/14.38	c (11,0) c Periods_2 : 35
71.80/14.38	c (11,0) c Periods_3 : 35
71.80/14.38	c (11,0) c Periods_4 : 35
71.80/14.38	c (11,0) c Periods_5 : 35
71.80/14.38	c (11,0) c Periods_6 : 35
71.80/14.38	c (11,0) c Periods_7 : 35
71.80/14.38	c (11,0) c Periods_total : 280
71.80/14.38	c (11,0) c Periods_winner : 35
71.80/14.38	c (11,0) c Margin_0 : 20
71.80/14.38	c (11,0) c Margin_1 : 20
71.80/14.38	c (11,0) c Margin_2 : 20
71.80/14.38	c (11,0) c Margin_3 : 20
71.80/14.38	c (11,0) c Margin_4 : 20
71.80/14.38	c (11,0) c Margin_5 : 20
71.80/14.38	c (11,0) c Margin_6 : 20
71.80/14.38	c (11,0) c Margin_7 : 20
71.80/14.38	c (11,0) c Margin_total : 160
71.80/14.38	c (11,0) c Margin_winner : 20
71.80/14.38	c (11,0) c Exported_0 : 3100
71.80/14.38	c (11,0) c Exported_1 : 3372
71.80/14.38	c (11,0) c Exported_2 : 2702
71.80/14.38	c (11,0) c Exported_3 : 3009
71.80/14.38	c (11,0) c Exported_4 : 2919
71.80/14.38	c (11,0) c Exported_5 : 3068
71.80/14.38	c (11,0) c Exported_6 : 3154
71.80/14.38	c (11,0) c Exported_7 : 3219
71.80/14.38	c (11,0) c Exported_total : 24543
71.80/14.38	c (11,0) c Exported_winner : 3009
71.80/14.38	c (11,0) c Imported_0 : 7862
71.80/14.38	c (11,0) c Imported_1 : 6842
71.80/14.38	c (11,0) c Imported_2 : 8839
71.80/14.38	c (11,0) c Imported_3 : 7675
71.80/14.38	c (11,0) c Imported_4 : 7832
71.80/14.38	c (11,0) c Imported_5 : 8420
71.80/14.38	c (11,0) c Imported_6 : 7890
71.80/14.38	c (11,0) c Imported_7 : 7807
71.80/14.38	c (11,0) c Imported_total : 63167
71.80/14.38	c (11,0) c Imported_winner : 7675
71.80/14.38	c (11,0) c Good_0 : 631
71.80/14.38	c (11,0) c Good_1 : 644
71.80/14.38	c (11,0) c Good_2 : 704
71.80/14.38	c (11,0) c Good_3 : 678
71.80/14.38	c (11,0) c Good_4 : 634
71.80/14.38	c (11,0) c Good_5 : 683
71.80/14.38	c (11,0) c Good_6 : 671
71.80/14.38	c (11,0) c Good_7 : 623
71.80/14.38	c (11,0) c Good_total : 5268
71.80/14.38	c (11,0) c Good_winner : 678
71.80/14.38	c (11,0) c Purge_0 : 7231
71.80/14.38	c (11,0) c Purge_1 : 6198
71.80/14.38	c (11,0) c Purge_2 : 8135
71.80/14.38	c (11,0) c Purge_3 : 6997
71.80/14.38	c (11,0) c Purge_4 : 7198
71.80/14.38	c (11,0) c Purge_5 : 7737
71.80/14.38	c (11,0) c Purge_6 : 7219
71.80/14.38	c (11,0) c Purge_7 : 7184
71.80/14.38	c (11,0) c Purge_total : 57899
71.80/14.38	c (11,0) c Purge_winner : 6997
71.80/14.38	c (11,0) c Promoted_0 : 129
71.80/14.38	c (11,0) c Promoted_1 : 51
71.80/14.38	c (11,0) c Promoted_2 : 51
71.80/14.38	c (11,0) c Promoted_3 : 35
71.80/14.38	c (11,0) c Promoted_4 : 120
71.80/14.38	c (11,0) c Promoted_5 : 105
71.80/14.38	c (11,0) c Promoted_6 : 69
71.80/14.38	c (11,0) c Promoted_7 : 122
71.80/14.38	c (11,0) c Promoted_total : 682
71.80/14.38	c (11,0) c Promoted_winner : 35
71.80/14.38	c (11,0) c Remove_Imp_0 : 0
71.80/14.38	c (11,0) c Remove_Imp_1 : 0
71.80/14.38	c (11,0) c Remove_Imp_2 : 0
71.80/14.38	c (11,0) c Remove_Imp_3 : 0
71.80/14.38	c (11,0) c Remove_Imp_4 : 0
71.80/14.38	c (11,0) c Remove_Imp_5 : 0
71.80/14.38	c (11,0) c Remove_Imp_6 : 0
71.80/14.38	c (11,0) c Remove_Imp_7 : 0
71.80/14.38	c (11,0) c Remove_Imp_total : 0
71.80/14.38	c (11,0) c Remove_Imp_winner : 0
71.80/14.39	c (11,0) c Blocked_Reuse_0 : 0
71.80/14.39	c (11,0) c Blocked_Reuse_1 : 0
71.80/14.39	c (11,0) c Blocked_Reuse_2 : 0
71.80/14.39	c (11,0) c Blocked_Reuse_3 : 0
71.80/14.39	c (11,0) c Blocked_Reuse_4 : 0
71.80/14.39	c (11,0) c Blocked_Reuse_5 : 0
71.80/14.39	c (11,0) c Blocked_Reuse_6 : 0
71.80/14.39	c (11,0) c Blocked_Reuse_7 : 0
71.80/14.39	c (11,0) c Blocked_Reuse_total : 0
71.80/14.39	c (11,0) c Blocked_Reuse_winner : 0
71.80/14.39	c (11,0) c Unaries_0 : 10
71.80/14.39	c (11,0) c Unaries_1 : 10
71.80/14.39	c (11,0) c Unaries_2 : 12
71.80/14.39	c (11,0) c Unaries_3 : 6
71.80/14.39	c (11,0) c Unaries_4 : 19
71.80/14.39	c (11,0) c Unaries_5 : 13
71.80/14.39	c (11,0) c Unaries_6 : 9
71.80/14.39	c (11,0) c Unaries_7 : 15
71.80/14.39	c (11,0) c Unaries_total : 94
71.80/14.39	c (11,0) c Unaries_winner : 6
71.80/14.39	c (11,0) c Binaries_0 : 241
71.80/14.39	c (11,0) c Binaries_1 : 140
71.80/14.39	c (11,0) c Binaries_2 : 199
71.80/14.39	c (11,0) c Binaries_3 : 135
71.80/14.39	c (11,0) c Binaries_4 : 215
71.80/14.39	c (11,0) c Binaries_5 : 166
71.80/14.39	c (11,0) c Binaries_6 : 147
71.80/14.39	c (11,0) c Binaries_7 : 212
71.80/14.39	c (11,0) c Binaries_total : 1455
71.80/14.39	c (11,0) c Binaries_winner : 135
71.80/14.39	c (11,0) c Glues_0 : 884
71.80/14.39	c (11,0) c Glues_1 : 510
71.80/14.39	c (11,0) c Glues_2 : 770
71.80/14.39	c (11,0) c Glues_3 : 583
71.80/14.39	c (11,0) c Glues_4 : 885
71.80/14.39	c (11,0) c Glues_5 : 564
71.80/14.39	c (11,0) c Glues_6 : 620
71.80/14.39	c (11,0) c Glues_7 : 797
71.80/14.39	c (11,0) c Glues_total : 5613
71.80/14.39	c (11,0) c Glues_winner : 583
71.80/14.39	c (11,0) c RunningTime_0 : 9.056669
71.80/14.39	c (11,0) c RunningTime_1 : 8.078866
71.80/14.39	c (11,0) c RunningTime_2 : 7.690455
71.80/14.39	c (11,0) c RunningTime_3 : 7.688585
71.80/14.39	c (11,0) c RunningTime_4 : 7.944679
71.80/14.39	c (11,0) c RunningTime_5 : 8.155858
71.80/14.39	c (11,0) c RunningTime_6 : 7.973465
71.80/14.39	c (11,0) c RunningTime_7 : 8.033087
71.80/14.39	c (11,0) c RunningTime_total : 64.621664
71.80/14.39	c (11,0) c RunningTime_winner : 7.688585
71.80/14.39	c (11,0) c WaitingTime_0 : 0.000017
71.80/14.39	c (11,0) c WaitingTime_1 : 0.000030
71.80/14.39	c (11,0) c WaitingTime_2 : 0.000058
71.80/14.39	c (11,0) c WaitingTime_3 : 0.000031
71.80/14.39	c (11,0) c WaitingTime_4 : 0.000030
71.80/14.39	c (11,0) c WaitingTime_5 : 0.000029
71.80/14.39	c (11,0) c WaitingTime_6 : 0.000021
71.80/14.39	c (11,0) c WaitingTime_7 : 0.000025
71.80/14.39	c (11,0) c WaitingTime_total : 0.000241
71.80/14.39	c (11,0) c WaitingTime_winner : 0.000031
71.80/14.39	c (11,0) c ExchangingTime_0 : 0.005806
71.80/14.39	c (11,0) c ExchangingTime_1 : 0.004752
71.80/14.39	c (11,0) c ExchangingTime_2 : 0.005573
71.80/14.39	c (11,0) c ExchangingTime_3 : 0.005419
71.80/14.39	c (11,0) c ExchangingTime_4 : 0.006244
71.80/14.39	c (11,0) c ExchangingTime_5 : 0.005274
71.80/14.39	c (11,0) c ExchangingTime_6 : 0.005365
71.80/14.39	c (11,0) c ExchangingTime_7 : 0.005641
71.80/14.39	c (11,0) c ExchangingTime_total : 0.044074
71.80/14.39	c (11,0) c ExchangingTime_winner : 0.005419
71.80/14.39	c (11,0) c PeriodProcTime_0 : 0.000313
71.80/14.39	c (11,0) c PeriodProcTime_1 : 0.000345
71.80/14.39	c (11,0) c PeriodProcTime_2 : 0.000327
71.80/14.39	c (11,0) c PeriodProcTime_3 : 0.000326
71.80/14.39	c (11,0) c PeriodProcTime_4 : 0.000317
71.80/14.39	c (11,0) c PeriodProcTime_5 : 0.000340
71.80/14.39	c (11,0) c PeriodProcTime_6 : 0.000349
71.80/14.39	c (11,0) c PeriodProcTime_7 : 0.000397
71.80/14.39	c (11,0) c PeriodProcTime_total : 0.002715
71.80/14.39	c (11,0) c PeriodProcTime_winner : 0.000326
71.80/14.39	c (11,0) c SolvingTime_0 : 9.062805
71.80/14.39	c (11,0) c SolvingTime_1 : 8.083992
71.80/14.39	c (11,0) c SolvingTime_2 : 7.696414
71.80/14.39	c (11,0) c SolvingTime_3 : 7.694360
71.80/14.39	c (11,0) c SolvingTime_4 : 7.951271
71.80/14.39	c (11,0) c SolvingTime_5 : 8.161501
71.80/14.39	c (11,0) c SolvingTime_6 : 7.979201
71.80/14.39	c (11,0) c SolvingTime_7 : 8.039149
71.80/14.39	c (11,0) c SolvingTime_total : 64.668693
71.80/14.39	c (11,0) c SolvingTime_winner : 7.694360
71.80/14.39	c (11,0) c PropagationTime_0 : 7.556868
71.80/14.39	c (11,0) c PropagationTime_1 : 6.722907
71.80/14.39	c (11,0) c PropagationTime_2 : 6.330179
71.80/14.39	c (11,0) c PropagationTime_3 : 6.281695
71.80/14.39	c (11,0) c PropagationTime_4 : 6.436452
71.80/14.39	c (11,0) c PropagationTime_5 : 6.662498
71.80/14.39	c (11,0) c PropagationTime_6 : 6.492131
71.80/14.39	c (11,0) c PropagationTime_7 : 6.523563
71.80/14.39	c (11,0) c PropagationTime_total : 53.006293
71.80/14.39	c (11,0) c PropagationTime_winner : 6.281695
71.80/14.39	c (11,0) c AnalysisTime_0 : 0.496320
71.80/14.39	c (11,0) c AnalysisTime_1 : 0.530351
71.80/14.39	c (11,0) c AnalysisTime_2 : 0.470675
71.80/14.39	c (11,0) c AnalysisTime_3 : 0.496066
71.80/14.39	c (11,0) c AnalysisTime_4 : 0.522510
71.80/14.39	c (11,0) c AnalysisTime_5 : 0.540782
71.80/14.39	c (11,0) c AnalysisTime_6 : 0.480723
71.80/14.39	c (11,0) c AnalysisTime_7 : 0.480448
71.80/14.39	c (11,0) c AnalysisTime_total : 4.017876
71.80/14.39	c (11,0) c AnalysisTime_winner : 0.496066
71.80/14.39	c (11,0) c ReductionTime_0 : 0.006667
71.80/14.39	c (11,0) c ReductionTime_1 : 0.006903
71.80/14.39	c (11,0) c ReductionTime_2 : 0.006479
71.80/14.39	c (11,0) c ReductionTime_3 : 0.007337
71.80/14.39	c (11,0) c ReductionTime_4 : 0.006475
71.80/14.39	c (11,0) c ReductionTime_5 : 0.007381
71.80/14.39	c (11,0) c ReductionTime_6 : 0.007817
71.80/14.39	c (11,0) c ReductionTime_7 : 0.006456
71.80/14.39	c (11,0) c ReductionTime_total : 0.055515
71.80/14.39	c (11,0) c ReductionTime_winner : 0.007337
71.80/14.39	c (11,0) c SimplifyTime_0 : 0.208829
71.80/14.39	c (11,0) c SimplifyTime_1 : 0.157828
71.80/14.39	c (11,0) c SimplifyTime_2 : 0.150606
71.80/14.39	c (11,0) c SimplifyTime_3 : 0.161280
71.80/14.39	c (11,0) c SimplifyTime_4 : 0.217379
71.80/14.39	c (11,0) c SimplifyTime_5 : 0.180094
71.80/14.39	c (11,0) c SimplifyTime_6 : 0.179633
71.80/14.39	c (11,0) c SimplifyTime_7 : 0.151237
71.80/14.39	c (11,0) c SimplifyTime_total : 1.406886
71.80/14.39	c (11,0) c SimplifyTime_winner : 0.161280
71.80/14.39	c (11,0) c UsedRateTime_0 : 0.000000
71.80/14.39	c (11,0) c UsedRateTime_1 : 0.000000
71.80/14.39	c (11,0) c UsedRateTime_2 : 0.000000
71.80/14.39	c (11,0) c UsedRateTime_3 : 0.000000
71.80/14.39	c (11,0) c UsedRateTime_4 : 0.000000
71.80/14.39	c (11,0) c UsedRateTime_5 : 0.000000
71.80/14.39	c (11,0) c UsedRateTime_6 : 0.000000
71.80/14.39	c (11,0) c UsedRateTime_7 : 0.000000
71.80/14.39	c (11,0) c UsedRateTime_total : 0.000000
71.80/14.39	c (11,0) c UsedRateTime_winner : 0.000000
71.80/14.39	c (11,0) c OverlapRateTime_0 : 0.000000
71.80/14.39	c (11,0) c OverlapRateTime_1 : 0.000000
71.80/14.39	c (11,0) c OverlapRateTime_2 : 0.000000
71.80/14.39	c (11,0) c OverlapRateTime_3 : 0.000000
71.80/14.39	c (11,0) c OverlapRateTime_4 : 0.000000
71.80/14.39	c (11,0) c OverlapRateTime_5 : 0.000000
71.80/14.39	c (11,0) c OverlapRateTime_6 : 0.000000
71.80/14.39	c (11,0) c OverlapRateTime_7 : 0.000000
71.80/14.39	c (11,0) c OverlapRateTime_total : 0.000000
71.80/14.39	c (11,0) c OverlapRateTime_winner : 0.000000
71.80/14.39	c (11,0) c
71.80/14.39	c (11,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
71.80/14.39	c (11,0) c
71.80/14.39	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.39	c (11,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
71.80/14.39	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.39	c (11,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
71.80/14.39	c (11,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
71.80/14.39	c (11,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
71.80/14.39	c (11,0) c | Initial random_seed   |  797336832 |  684325178 | 2139395068 |  459699839 | 1667277550 | 1661517901 | 1455066189 |  889436164 |
71.80/14.39	c (11,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
71.80/14.39	c (11,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
71.80/14.39	c (11,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
71.80/14.39	c (11,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
71.80/14.39	c (11,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
71.80/14.39	c (11,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
71.80/14.39	c (11,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
71.80/14.39	c (11,0) c | var_decay             |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8400 |     0.8500 |
71.80/14.39	c (11,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
71.80/14.39	c (11,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
71.80/14.39	c (11,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
71.80/14.39	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.80/14.39	c (11,0) 
71.80/14.39	c (11,0) s SATISFIABLE
72.22/14.56	c (11,0) SatSolver.solve End
72.22/14.56	c (11,0) Heap : 167 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
72.22/14.56	c (11,0) Show results Begin
72.43/14.65	c (11,0) x[0] = 46
72.43/14.65	c (11,0) x[2] = 39
72.43/14.65	c (11,0) x[3] = 16
72.43/14.65	c (11,0) x[4] = 23
72.43/14.65	c (11,0) x[5] = 44
72.43/14.65	c (11,0) x[6] = 5
72.43/14.65	c (11,0) x[7] = 13
72.43/14.65	c (11,0) x[8] = 44
72.43/14.65	c (11,0) x[9] = 3
72.43/14.65	c (11,0) x[10] = 30
72.43/14.65	c (11,0) x[11] = 34
72.43/14.65	c (11,0) x[12] = 47
72.43/14.65	c (11,0) x[13] = 21
72.43/14.65	c (11,0) x[14] = 47
72.43/14.65	c (11,0) x[17] = 21
72.43/14.65	c (11,0) x[19] = 10
72.43/14.65	c (11,0) x[20] = 47
72.43/14.65	c (11,0) x[21] = 11
72.43/14.65	c (11,0) x[23] = 36
72.43/14.65	c (11,0) x[24] = 47
72.43/14.65	c (11,0) x[25] = 13
72.43/14.65	c (11,0) x[26] = 2
72.43/14.65	c (11,0) x[27] = 46
72.43/14.65	c (11,0) x[28] = 45
72.43/14.65	c (11,0) x[29] = 47
72.43/14.65	c (11,0) x[30] = 47
72.43/14.65	c (11,0) x[32] = 3
72.43/14.65	c (11,0) x[33] = 8
72.43/14.65	c (11,0) x[34] = 43
72.43/14.65	c (11,0) x[35] = 6
72.43/14.65	c (11,0) x[36] = 46
72.43/14.65	c (11,0) x[37] = 29
72.43/14.65	c (11,0) x[38] = 45
72.43/14.65	c (11,0) x[39] = 46
72.43/14.65	c (11,0) x[40] = 9
72.43/14.65	c (11,0) x[41] = 3
72.43/14.65	c (11,0) x[43] = 6
72.43/14.65	c (11,0) x[44] = 21
72.43/14.65	c (11,0) x[46] = 46
72.43/14.65	c (11,0) x[47] = 40
72.43/14.65	c (11,0) x[48] = 26
72.43/14.65	c (11,0) x[50] = 39
72.43/14.65	c (11,0) x[53] = 11
72.43/14.65	c (11,0) x[54] = 25
72.43/14.65	c (11,0) x[55] = 2
72.43/14.65	c (11,0) x[56] = 9
72.43/14.65	c (11,0) x[59] = 27
72.43/14.65	c (11,0) x[60] = 41
72.43/14.65	c (11,0) x[61] = 3
72.43/14.65	c (11,0) x[63] = 6
72.43/14.65	c (11,0) x[64] = 43
72.43/14.65	c (11,0) x[65] = 4
72.43/14.65	c (11,0) x[66] = 14
72.43/14.65	c (11,0) x[67] = 47
72.43/14.65	c (11,0) x[69] = 2
72.43/14.65	c (11,0) x[72] = 34
72.43/14.65	c (11,0) x[73] = 9
72.43/14.65	c (11,0) x[74] = 25
72.43/14.65	c (11,0) x[75] = 47
72.43/14.65	c (11,0) x[79] = 4
72.43/14.65	c (11,0) x[81] = 13
72.43/14.65	c (11,0) x[82] = 3
72.43/14.65	c (11,0) x[83] = 44
72.43/14.65	c (11,0) x[84] = 36
72.43/14.65	c (11,0) x[85] = 34
72.43/14.65	c (11,0) x[86] = 37
72.43/14.65	c (11,0) x[87] = 47
72.43/14.65	c (11,0) x[88] = 38
72.43/14.65	c (11,0) x[89] = 27
72.43/14.65	c (11,0) x[90] = 16
72.43/14.65	c (11,0) x[91] = 33
72.43/14.65	c (11,0) x[92] = 5
72.43/14.65	c (11,0) x[93] = 3
72.43/14.65	c (11,0) x[94] = 43
72.43/14.65	c (11,0) x[97] = 3
72.43/14.65	c (11,0) x[99] = 41
72.43/14.65	s SATISFIABLE
72.43/14.66	v <instantiation>
72.43/14.66	v     <list>x[0] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[17] x[19] x[20] x[21] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[43] x[44] x[46] x[47] x[48] x[50] x[53] x[54] x[55] x[56] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[69] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[97] x[99]</list>
72.43/14.66	v     <values>46 39 16 23 44 5 13 44 3 30 34 47 21 47 21 10 47 11 36 47 13 2 46 45 47 47 3 8 43 6 46 29 45 46 9 3 6 21 46 40 26 39 11 25 2 9 27 41 3 6 43 4 14 47 2 34 9 25 47 4 13 3 44 36 34 37 47 38 27 16 33 5 3 43 3 41</values>
72.43/14.66	v </instantiation>
72.43/14.66	c (11,0) Show results End
72.43/14.66	c (11,0) Heap : 187 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
72.43/14.66	c (11,0) 11,11,STOP-AFTER(ALL)
72.43/14.66	c END-Prog: Sat Sep 14 04:55:50 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 (14733 MiB free)
  memory of node 1: 16384 MiB (15177 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392696-1568433413/watcher-4392696-1568433413 -o /tmp/evaluation-result-4392696-1568433413/solver-4392696-1568433413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568429735-21457 --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-4392696-1568433413.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21474, runsolver pid=21471
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 7.35 7.41 7.20 3/210 21496
/proc/meminfo: memFree=30534044/32770624 swapFree=66997692/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419595911 115843072 349 33554432000 4194304 5098028 140731712103952 140731712101208 140075809989244 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29179904 140731712111396 140731712111724 140731712111724 140731712114637 0
/proc/21474/statm: 28282 349 296 221 0 87 0
[pid=21477] ppid=21474 vsize=27314120 memory=107916 CPUtime=0.11 cores=0-7
/proc/21477/stat : 21477 (java) S 21474 21474 21430 0 -1 1077944320 6488 0 0 0 9 2 0 0 20 0 20 0 419595912 27969658880 26979 33554432000 4194304 4196468 140735910930672 140735910913216 140051756125943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
/proc/21477/statm: 6828530 26979 2817 1 0 6790935 0
[pid=21477/tid=21478] ppid=21474 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/21477/task/21478/stat : 21478 (java) R 21474 21474 21430 0 -1 4202560 4584 0 0 0 7 2 0 0 20 0 20 0 419595912 27969658880 26979 33554432000 4194304 4196468 140735910930672 140051727939456 140051740206430 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21479] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21479/stat : 21479 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 26979 33554432000 4194304 4196468 140735910930672 140051760368144 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21480] ppid=21474 vsize=27314120 memory=139751141102538 CPUtime=0 cores=0-7
/proc/21477/task/21480/stat : 21480 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 26979 33554432000 4194304 4196468 140735910930672 140051574524560 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21481] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21481/stat : 21481 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 26979 33554432000 4194304 4196468 140735910930672 140051573471504 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21482] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21482/stat : 21482 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 26979 33554432000 4194304 4196468 140735910930672 140051572418960 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21483] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21483/stat : 21483 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 26979 33554432000 4194304 4196468 140735910930672 140051571366928 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21484] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21484/stat : 21484 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 26979 33554432000 4194304 4196468 140735910930672 140051570314384 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21485] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21485/stat : 21485 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 26979 33554432000 4194304 4196468 140735910930672 140051172981520 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21486] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21486/stat : 21486 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 26979 33554432000 4194304 4196468 140735910930672 140051171928976 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21487] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21487/stat : 21487 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595916 27969658880 26979 33554432000 4194304 4196468 140735910930672 140049807759600 140051756137090 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21488] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21488/stat : 21488 (java) S 21474 21474 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419595916 27969658880 26979 33554432000 4194304 4196468 140735910930672 140049689601184 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21489] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21489/stat : 21489 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595917 27969658880 26979 33554432000 4194304 4196468 140735910930672 140049421165296 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21490] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21490/stat : 21490 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 26979 33554432000 4194304 4196468 140735910930672 140049046656976 140051756144539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21491] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21491/stat : 21491 (java) S 21474 21474 21430 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 26979 33554432000 4194304 4196468 140735910930672 140049806707440 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21492] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21492/stat : 21492 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 26979 33554432000 4194304 4196468 140735910930672 140049805654896 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21493] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21493/stat : 21493 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 26979 33554432000 4194304 4196468 140735910930672 140049804601840 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21494] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21494/stat : 21494 (java) S 21474 21474 21430 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 26979 33554432000 4194304 4196468 140735910930672 140049803549296 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21495] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21495/stat : 21495 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 26979 33554432000 4194304 4196468 140735910930672 140048548751840 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21496] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21496/stat : 21496 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 26979 33554432000 4194304 4196468 140735910930672 140049802496688 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109312 KiB

[startup+0.210104 s]*
/proc/loadavg: 7.35 7.41 7.20 3/210 21496
/proc/meminfo: memFree=30512220/32770624 swapFree=66997692/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419595911 115843072 349 33554432000 4194304 5098028 140731712103952 140731712101208 140075809989244 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29179904 140731712111396 140731712111724 140731712111724 140731712114637 0
/proc/21474/statm: 28282 349 296 221 0 87 0
[pid=21477] ppid=21474 vsize=27314120 memory=126972 CPUtime=0.24 cores=0-7
/proc/21477/stat : 21477 (java) S 21474 21474 21430 0 -1 1077944320 12088 0 0 0 21 3 0 0 20 0 20 0 419595912 27969658880 31743 33554432000 4194304 4196468 140735910930672 140735910913216 140051756125943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
/proc/21477/statm: 6828530 31743 2941 1 0 6790935 0
[pid=21477/tid=21478] ppid=21474 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21477/task/21478/stat : 21478 (java) R 21474 21474 21430 0 -1 4202560 9799 0 0 0 16 3 0 0 20 0 20 0 419595912 27969658880 31743 33554432000 4194304 4196468 140735910930672 140051727909504 140051736401689 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21479] ppid=21474 vsize=27314120 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/21477/task/21479/stat : 21479 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 31743 33554432000 4194304 4196468 140735910930672 140051760368144 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21480] ppid=21474 vsize=27314120 memory=3978004832198497952 CPUtime=0 cores=0-7
/proc/21477/task/21480/stat : 21480 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 31743 33554432000 4194304 4196468 140735910930672 140051574524560 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21481] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21481/stat : 21481 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 31743 33554432000 4194304 4196468 140735910930672 140051573471504 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21482] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21482/stat : 21482 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 31743 33554432000 4194304 4196468 140735910930672 140051572418960 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21483] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21483/stat : 21483 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 31743 33554432000 4194304 4196468 140735910930672 140051571366928 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21484] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21484/stat : 21484 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 31743 33554432000 4194304 4196468 140735910930672 140051570314384 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21485] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21485/stat : 21485 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 31743 33554432000 4194304 4196468 140735910930672 140051172981520 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21486] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21486/stat : 21486 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 31743 33554432000 4194304 4196468 140735910930672 140051171928976 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21487] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21487/stat : 21487 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595916 27969658880 31743 33554432000 4194304 4196468 140735910930672 140049807759600 140051756137090 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21488] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21488/stat : 21488 (java) S 21474 21474 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419595916 27969658880 31743 33554432000 4194304 4196468 140735910930672 140049689601184 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21489] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21489/stat : 21489 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595917 27969658880 31743 33554432000 4194304 4196468 140735910930672 140049421165296 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21490] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21490/stat : 21490 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 31743 33554432000 4194304 4196468 140735910930672 140049046656976 140051756144539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21491] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21491/stat : 21491 (java) S 21474 21474 21430 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 31743 33554432000 4194304 4196468 140735910930672 140049806707440 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21492] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21492/stat : 21492 (java) S 21474 21474 21430 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 31743 33554432000 4194304 4196468 140735910930672 140049805654896 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21493] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21493/stat : 21493 (java) S 21474 21474 21430 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 31743 33554432000 4194304 4196468 140735910930672 140049804601840 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21494] ppid=21474 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21477/task/21494/stat : 21494 (java) S 21474 21474 21430 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 20 0 419595919 27969658880 31743 33554432000 4194304 4196468 140735910930672 140049803549296 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21495] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21495/stat : 21495 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 31743 33554432000 4194304 4196468 140735910930672 140048548751840 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21496] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21496/stat : 21496 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 31743 33554432000 4194304 4196468 140735910930672 140049802496688 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128368 KiB

[startup+0.309489 s]*
/proc/loadavg: 7.35 7.41 7.20 2/210 21496
/proc/meminfo: memFree=30510040/32770624 swapFree=66997692/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419595911 115843072 349 33554432000 4194304 5098028 140731712103952 140731712101208 140075809989244 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29179904 140731712111396 140731712111724 140731712111724 140731712114637 0
/proc/21474/statm: 28282 349 296 221 0 87 0
[pid=21477] ppid=21474 vsize=27314120 memory=130312 CPUtime=0.42 cores=0-7
/proc/21477/stat : 21477 (java) S 21474 21474 21430 0 -1 1077944320 12458 0 0 0 39 3 0 0 20 0 20 0 419595912 27969658880 32578 33554432000 4194304 4196468 140735910930672 140735910913216 140051756125943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
/proc/21477/statm: 6828530 32578 3031 1 0 6790935 0
[pid=21477/tid=21478] ppid=21474 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/21477/task/21478/stat : 21478 (java) R 21474 21474 21430 0 -1 4202560 9986 0 0 0 26 3 0 0 20 0 20 0 419595912 27969658880 32578 33554432000 4194304 4196468 140735910930672 140051727956016 140051737689476 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21479] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21479/stat : 21479 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 32578 33554432000 4194304 4196468 140735910930672 140051760368144 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21480] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21480/stat : 21480 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 32578 33554432000 4194304 4196468 140735910930672 140051574524560 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21481] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21481/stat : 21481 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 32578 33554432000 4194304 4196468 140735910930672 140051573471504 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21482] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21482/stat : 21482 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 32578 33554432000 4194304 4196468 140735910930672 140051572418960 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21483] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21483/stat : 21483 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 32578 33554432000 4194304 4196468 140735910930672 140051571366928 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21484] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21484/stat : 21484 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 32578 33554432000 4194304 4196468 140735910930672 140051570314384 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21485] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21485/stat : 21485 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 32578 33554432000 4194304 4196468 140735910930672 140051172981520 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21486] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21486/stat : 21486 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27969658880 32578 33554432000 4194304 4196468 140735910930672 140051171928976 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21487] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21487/stat : 21487 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595916 27969658880 32578 33554432000 4194304 4196468 140735910930672 140049807759600 140051756137090 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21488] ppid=21474 vsize=27314120 memory=279501976313216 CPUtime=0 cores=0-7
/proc/21477/task/21488/stat : 21488 (java) S 21474 21474 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419595916 27969658880 32578 33554432000 4194304 4196468 140735910930672 140049689601184 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21489] ppid=21474 vsize=27314120 memory=279501976317824 CPUtime=0 cores=0-7
/proc/21477/task/21489/stat : 21489 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595917 27969658880 32578 33554432000 4194304 4196468 140735910930672 140049421165296 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21490] ppid=21474 vsize=27314120 memory=279501976322432 CPUtime=0 cores=0-7
/proc/21477/task/21490/stat : 21490 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 32578 33554432000 4194304 4196468 140735910930672 140049046656976 140051756144539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21491] ppid=21474 vsize=27314120 memory=279501976327040 CPUtime=0.01 cores=0-7
/proc/21477/task/21491/stat : 21491 (java) S 21474 21474 21430 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 20 0 419595919 27969658880 32578 33554432000 4194304 4196468 140735910930672 140049806707440 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21492] ppid=21474 vsize=27314120 memory=279501976331648 CPUtime=0.02 cores=0-7
/proc/21477/task/21492/stat : 21492 (java) R 21474 21474 21430 0 -1 4202560 227 0 0 0 2 0 0 0 20 0 20 0 419595919 27969658880 32578 33554432000 4194304 4196468 140735910930672 140049805654896 140051737647334 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21493] ppid=21474 vsize=27314120 memory=279501976336256 CPUtime=0.01 cores=0-7
/proc/21477/task/21493/stat : 21493 (java) S 21474 21474 21430 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 419595919 27969658880 32578 33554432000 4194304 4196468 140735910930672 140049804601840 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21494] ppid=21474 vsize=27314120 memory=279501976340864 CPUtime=0.07 cores=0-7
/proc/21477/task/21494/stat : 21494 (java) S 21474 21474 21430 0 -1 1077944384 486 0 0 0 7 0 0 0 20 0 20 0 419595919 27969658880 32578 33554432000 4194304 4196468 140735910930672 140049803549296 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21495] ppid=21474 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21495/stat : 21495 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 32578 33554432000 4194304 4196468 140735910930672 140048548751840 140051756136149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21496] ppid=21474 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21477/task/21496/stat : 21496 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595919 27969658880 32578 33554432000 4194304 4196468 140735910930672 140049802496688 140051756137090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131708 KiB

[startup+0.700858 s]
/proc/loadavg: 7.35 7.41 7.20 2/210 21496
/proc/meminfo: memFree=30488492/32770624 swapFree=66997692/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419595911 115843072 349 33554432000 4194304 5098028 140731712103952 140731712101208 140075809989244 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29179904 140731712111396 140731712111724 140731712111724 140731712114637 0
/proc/21474/statm: 28282 349 296 221 0 87 0
[pid=21477] ppid=21474 vsize=27322516 memory=165820 CPUtime=0.99 cores=0-7
/proc/21477/stat : 21477 (java) S 21474 21474 21430 0 -1 1077944320 20071 0 0 0 93 6 0 0 20 0 20 0 419595912 27978256384 41455 33554432000 4194304 4196468 140735910930672 140735910913216 140051756125943 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
/proc/21477/statm: 6830629 41455 3201 1 0 6791959 0
[pid=21477/tid=21478] ppid=21474 vsize=27322516 memory=4580 CPUtime=0.67 cores=0-7
/proc/21477/task/21478/stat : 21478 (java) R 21474 21474 21430 0 -1 4202560 17050 0 0 0 62 5 0 0 20 0 20 0 419595912 27978256384 41455 33554432000 4194304 4196468 140735910930672 140051727957680 140051740206430 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21479] ppid=21474 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21479/stat : 21479 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419595914 27978256384 41455 33554432000 4194304 4196468 140735910930672 140051760368144 140051756136149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21480] ppid=21474 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/21477/task/21480/stat : 21480 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419595914 27978256384 41455 33554432000 4194304 4196468 140735910930672 140051574524560 140051756136149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31416320 140735910933226 140735910933654 140735910933654 140735910936527 0
[pid=21477/tid=21481] ppid=21474 vsize=27322516 memory=4008 CPUtime=0 cores=0-7

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

/proc/21497/task/21501/stat : 21501 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30068 33554432000 4194304 4196468 140732446904944 140361415162640 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21502] ppid=21474 vsize=8414124 memory=1128 CPUtime=0 cores=0-7
/proc/21497/task/21502/stat : 21502 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30068 33554432000 4194304 4196468 140732446904944 140361414110096 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21503] ppid=21474 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/21497/task/21503/stat : 21503 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30068 33554432000 4194304 4196468 140732446904944 140361413057040 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21504] ppid=21474 vsize=8414124 memory=4008 CPUtime=0 cores=0-7
/proc/21497/task/21504/stat : 21504 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30068 33554432000 4194304 4196468 140732446904944 140361412004496 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21505] ppid=21474 vsize=8414124 memory=948 CPUtime=0 cores=0-7
/proc/21497/task/21505/stat : 21505 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30068 33554432000 4194304 4196468 140732446904944 140361091508496 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21506] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21506/stat : 21506 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30068 33554432000 4194304 4196468 140732446904944 140361090455952 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21507] ppid=21474 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21497/task/21507/stat : 21507 (java) S 21474 21474 21430 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419596208 8616062976 30068 33554432000 4194304 4196468 140732446904944 140360705264368 140361611815554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21508] ppid=21474 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/21497/task/21508/stat : 21508 (java) S 21474 21474 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419596208 8616062976 30068 33554432000 4194304 4196468 140732446904944 140360202315424 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21509] ppid=21474 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/21497/task/21509/stat : 21509 (java) S 21474 21474 21430 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419596209 8616062976 30068 33554432000 4194304 4196468 140732446904944 140360068093168 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21510] ppid=21474 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/21497/task/21510/stat : 21510 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419596211 8616062976 30068 33554432000 4194304 4196468 140732446904944 140359693588944 140361611823003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21511] ppid=21474 vsize=8414124 memory=1528 CPUtime=0.07 cores=0-7
/proc/21497/task/21511/stat : 21511 (java) S 21474 21474 21430 0 -1 1077944384 601 0 0 0 7 0 0 0 20 0 24 0 419596211 8616062976 30068 33554432000 4194304 4196468 140732446904944 140360704211184 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21512] ppid=21474 vsize=8414124 memory=1448 CPUtime=0.07 cores=0-7
/proc/21497/task/21512/stat : 21512 (java) S 21474 21474 21430 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 24 0 419596211 8616062976 30068 33554432000 4194304 4196468 140732446904944 140360703158640 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21513] ppid=21474 vsize=8414124 memory=876 CPUtime=0.13 cores=0-7
/proc/21497/task/21513/stat : 21513 (java) S 21474 21474 21430 0 -1 1077944384 652 0 0 0 13 0 0 0 20 0 24 0 419596211 8616062976 30068 33554432000 4194304 4196468 140732446904944 140360702105584 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21514] ppid=21474 vsize=8414124 memory=1980 CPUtime=0.23 cores=0-7
/proc/21497/task/21514/stat : 21514 (java) S 21474 21474 21430 0 -1 1077944384 589 0 0 0 23 0 0 0 20 0 24 0 419596211 8616062976 30068 33554432000 4194304 4196468 140732446904944 140360701053040 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21515] ppid=21474 vsize=8414124 memory=2552 CPUtime=0 cores=0-7
/proc/21497/task/21515/stat : 21515 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419596211 8616062976 30068 33554432000 4194304 4196468 140732446904944 140359195683808 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21516] ppid=21474 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/21497/task/21516/stat : 21516 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419596211 8616062976 30068 33554432000 4194304 4196468 140732446904944 140360700001456 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21518] ppid=21474 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/21497/task/21518/stat : 21518 (java) S 21474 21474 21430 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419596282 8616062976 30068 33554432000 4194304 4196468 140732446904944 140360691967424 140361611829017 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21520] ppid=21474 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/21497/task/21520/stat : 21520 (java) S 21474 21474 21430 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 24 0 419596282 8616062976 30068 33554432000 4194304 4196468 140732446904944 140358793018928 140361611826333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21521] ppid=21474 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/21497/task/21521/stat : 21521 (java) S 21474 21474 21430 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 419596282 8616062976 30068 33554432000 4194304 4196468 140732446904944 140358524583600 140361611826333 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21522] ppid=21474 vsize=8414124 memory=26944 CPUtime=0 cores=0-7
/proc/21497/task/21522/stat : 21522 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419596284 8616062976 30068 33554432000 4194304 4196468 140732446904944 140358256155568 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
Current children cumulated CPU time: 71.1 s
Current children cumulated vsize: 9784584 KiB
Current children cumulated memory: 844500 KiB

[startup+14.401 s]
/proc/loadavg: 6.92 7.32 7.17 2/216 21530
/proc/meminfo: memFree=29787168/32770624 swapFree=66997692/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1476 CPUtime=4.75 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 21430 0 -1 4202496 583 25042 0 0 0 0 443 32 20 0 1 0 419595911 115843072 369 33554432000 4194304 5098028 140731712103952 140731712100696 140075809989244 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29179904 140731712111396 140731712111724 140731712111724 140731712114637 0
/proc/21474/statm: 28282 369 311 221 0 87 0
[pid=21497] ppid=21474 vsize=8414124 memory=121944 CPUtime=1.42 cores=0-7
/proc/21497/stat : 21497 (java) S 21474 21474 21430 0 -1 1077944320 20987 0 0 0 134 8 0 0 20 0 24 0 419596205 8616062976 30486 33554432000 4194304 4196468 140732446904944 140732446887488 140361611804407 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
/proc/21497/statm: 2103531 30486 3219 1 0 2064875 0
[pid=21517] ppid=21497 vsize=1224976 memory=723384 CPUtime=65.78 cores=0-7
/proc/21517/stat : 21517 (manyglucose-4.1) R 21497 21474 21430 0 -1 4202496 462545 0 0 0 6485 93 0 0 20 0 1 0 419596281 1254375424 180846 33554432000 4194304 4454172 140728307363648 140728307360368 140458611059837 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552832 6554400 30851072 140728307368809 140728307369008 140728307369008 140728307371962 0
/proc/21517/statm: 306244 180846 426 64 0 301912 0
[pid=21497/tid=21498] ppid=21474 vsize=8414124 memory=-6875407245452603276 CPUtime=0.8 cores=0-7
/proc/21497/task/21498/stat : 21498 (java) S 21474 21474 21430 0 -1 1077944384 16963 0 0 0 74 6 0 0 20 0 24 0 419596205 8616062976 30486 33554432000 4194304 4196468 140732446904944 140361583644576 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21499] ppid=21474 vsize=8414124 memory=-7452705787230116235 CPUtime=0 cores=0-7
/proc/21497/task/21499/stat : 21499 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30486 33554432000 4194304 4196468 140732446904944 140361616047120 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21500] ppid=21474 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21497/task/21500/stat : 21500 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30486 33554432000 4194304 4196468 140732446904944 140361416215696 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21501] ppid=21474 vsize=8414124 memory=120272 CPUtime=0 cores=0-7
/proc/21497/task/21501/stat : 21501 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30486 33554432000 4194304 4196468 140732446904944 140361415162640 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21502] ppid=21474 vsize=8414124 memory=722616 CPUtime=0 cores=0-7
/proc/21497/task/21502/stat : 21502 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30486 33554432000 4194304 4196468 140732446904944 140361414110096 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21503] ppid=21474 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21497/task/21503/stat : 21503 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30486 33554432000 4194304 4196468 140732446904944 140361413057040 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21504] ppid=21474 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21497/task/21504/stat : 21504 (java) S 21474 21474 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30486 33554432000 4194304 4196468 140732446904944 140361412004496 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21505] ppid=21474 vsize=8414124 memory=120272 CPUtime=0 cores=0-7
/proc/21497/task/21505/stat : 21505 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30486 33554432000 4194304 4196468 140732446904944 140361091508496 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21506] ppid=21474 vsize=8414124 memory=717416 CPUtime=0 cores=0-7
/proc/21497/task/21506/stat : 21506 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419596206 8616062976 30486 33554432000 4194304 4196468 140732446904944 140361090455952 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21507] ppid=21474 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21497/task/21507/stat : 21507 (java) S 21474 21474 21430 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419596208 8616062976 30486 33554432000 4194304 4196468 140732446904944 140360705264368 140361611815554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21508] ppid=21474 vsize=8414124 memory=120272 CPUtime=0 cores=0-7
/proc/21497/task/21508/stat : 21508 (java) S 21474 21474 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419596208 8616062976 30486 33554432000 4194304 4196468 140732446904944 140360202315424 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21509] ppid=21474 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21497/task/21509/stat : 21509 (java) S 21474 21474 21430 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419596209 8616062976 30486 33554432000 4194304 4196468 140732446904944 140360068093168 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21510] ppid=21474 vsize=8414124 memory=120272 CPUtime=0 cores=0-7
/proc/21497/task/21510/stat : 21510 (java) S 21474 21474 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419596211 8616062976 30486 33554432000 4194304 4196468 140732446904944 140359693588944 140361611823003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21511] ppid=21474 vsize=8414124 memory=722752 CPUtime=0.08 cores=0-7
/proc/21497/task/21511/stat : 21511 (java) S 21474 21474 21430 0 -1 1077944384 609 0 0 0 8 0 0 0 20 0 24 0 419596211 8616062976 30486 33554432000 4194304 4196468 140732446904944 140360704211184 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21512] ppid=21474 vsize=8414124 memory=1128 CPUtime=0.08 cores=0-7
/proc/21497/task/21512/stat : 21512 (java) R 21474 21474 21430 0 -1 4202560 380 0 0 0 8 0 0 0 20 0 24 0 419596211 8616062976 30486 33554432000 4194304 4196468 140732446904944 140360703148432 140361592504704 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21513] ppid=21474 vsize=8414124 memory=772 CPUtime=0.13 cores=0-7
/proc/21497/task/21513/stat : 21513 (java) S 21474 21474 21430 0 -1 1077944384 654 0 0 0 13 0 0 0 20 0 24 0 419596211 8616062976 30486 33554432000 4194304 4196468 140732446904944 140360702105584 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21514] ppid=21474 vsize=8414124 memory=4008 CPUtime=0.25 cores=0-7
/proc/21497/task/21514/stat : 21514 (java) R 21474 21474 21430 0 -1 4202560 974 0 0 0 25 0 0 0 20 0 24 0 419596211 8616062976 30486 33554432000 4194304 4196468 140732446904944 140360701053040 140361591203071 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21515] ppid=21474 vsize=8414124 memory=948 CPUtime=0 cores=0-7
/proc/21497/task/21515/stat : 21515 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419596211 8616062976 30486 33554432000 4194304 4196468 140732446904944 140359195683808 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21516] ppid=21474 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/21497/task/21516/stat : 21516 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419596211 8616062976 30486 33554432000 4194304 4196468 140732446904944 140360700001456 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21518] ppid=21474 vsize=8414124 memory=9404 CPUtime=0 cores=0-7
/proc/21497/task/21518/stat : 21518 (java) S 21474 21474 21430 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419596282 8616062976 30486 33554432000 4194304 4196468 140732446904944 140360691967424 140361611829017 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21520] ppid=21474 vsize=8414124 memory=722208 CPUtime=0.02 cores=0-7
/proc/21497/task/21520/stat : 21520 (java) R 21474 21474 21430 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 24 0 419596282 8616062976 30486 33554432000 4194304 4196468 140732446904944 140358793018960 140361611826333 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21521] ppid=21474 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/21497/task/21521/stat : 21521 (java) S 21474 21474 21430 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 419596282 8616062976 30486 33554432000 4194304 4196468 140732446904944 140358524583600 140361611826333 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21522] ppid=21474 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/21497/task/21522/stat : 21522 (java) S 21474 21474 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419596284 8616062976 30486 33554432000 4194304 4196468 140732446904944 140358256155568 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
Current children cumulated CPU time: 71.95 s
Current children cumulated vsize: 9752228 KiB
Current children cumulated memory: 846804 KiB

[startup+14.601 s]
/proc/loadavg: 6.92 7.32 7.17 2/216 21530
/proc/meminfo: memFree=29787168/32770624 swapFree=66997692/67108860
[pid=21474] ppid=21471 vsize=113128 memory=1476 CPUtime=4.75 cores=0-7
/proc/21474/stat : 21474 (scop.sh) S 21471 21474 21430 0 -1 4202496 583 25042 0 0 0 0 443 32 20 0 1 0 419595911 115843072 369 33554432000 4194304 5098028 140731712103952 140731712100696 140075809989244 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29179904 140731712111396 140731712111724 140731712111724 140731712114637 0
/proc/21474/statm: 28282 369 311 221 0 87 0
[pid=21497] ppid=21474 vsize=8283048 memory=173552 CPUtime=67.68 cores=0-7
/proc/21497/stat : 21497 (java) S 21474 21474 21430 0 -1 1077944320 21603 462551 0 0 172 9 6490 97 20 0 22 0 419596205 8481841152 43388 33554432000 4194304 4196468 140732446904944 140732446887488 140361611804407 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
/proc/21497/statm: 2070762 43388 3224 1 0 2032106 0
[pid=21497/tid=21498] ppid=21474 vsize=8283048 memory=1412 CPUtime=66.71 cores=0-7
/proc/21497/task/21498/stat : 21498 (java) R 21474 21474 21430 0 -1 4202560 17118 462551 0 0 78 6 6490 97 20 0 22 0 419596205 8481841152 43388 33554432000 4194304 4196468 140732446904944 140361583633520 140361595848037 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21499] ppid=21474 vsize=8283048 memory=2656 CPUtime=65.87 cores=0-7
/proc/21497/task/21499/stat : 21499 (java) S 21474 21474 21430 0 -1 1077944384 1 462551 0 0 0 0 6490 97 20 0 22 0 419596206 8481841152 43388 33554432000 4194304 4196468 140732446904944 140361616047120 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21500] ppid=21474 vsize=8283048 memory=279501976752608 CPUtime=65.87 cores=0-7
/proc/21497/task/21500/stat : 21500 (java) S 21474 21474 21430 0 -1 1077944384 1 462551 0 0 0 0 6490 97 20 0 22 0 419596206 8481841152 43388 33554432000 4194304 4196468 140732446904944 140361416215696 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21501] ppid=21474 vsize=8283048 memory=5931329015123165280 CPUtime=65.87 cores=0-7
/proc/21497/task/21501/stat : 21501 (java) S 21474 21474 21430 0 -1 1077944384 2 462551 0 0 0 0 6490 97 20 0 22 0 419596206 8481841152 43388 33554432000 4194304 4196468 140732446904944 140361415162640 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21502] ppid=21474 vsize=8283048 memory=7228928657758118464 CPUtime=65.87 cores=0-7
/proc/21497/task/21502/stat : 21502 (java) S 21474 21474 21430 0 -1 1077944384 1 462551 0 0 0 0 6490 97 20 0 22 0 419596206 8481841152 43388 33554432000 4194304 4196468 140732446904944 140361414110096 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21503] ppid=21474 vsize=8283048 memory=5787213827464519744 CPUtime=65.87 cores=0-7
/proc/21497/task/21503/stat : 21503 (java) S 21474 21474 21430 0 -1 1077944384 2 462551 0 0 0 0 6490 97 20 0 22 0 419596206 8481841152 43388 33554432000 4194304 4196468 140732446904944 140361413057040 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21504] ppid=21474 vsize=8283048 memory=5787213827464519744 CPUtime=65.87 cores=0-7
/proc/21497/task/21504/stat : 21504 (java) S 21474 21474 21430 0 -1 1077944384 2 462551 0 0 0 0 6490 97 20 0 22 0 419596206 8481841152 43388 33554432000 4194304 4196468 140732446904944 140361412004496 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21505] ppid=21474 vsize=8283048 memory=5787213917257224272 CPUtime=65.87 cores=0-7
/proc/21497/task/21505/stat : 21505 (java) S 21474 21474 21430 0 -1 1077944384 3 462551 0 0 0 0 6490 97 20 0 22 0 419596206 8481841152 43388 33554432000 4194304 4196468 140732446904944 140361091508496 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21506] ppid=21474 vsize=8283048 memory=5787213917274001488 CPUtime=65.87 cores=0-7
/proc/21497/task/21506/stat : 21506 (java) S 21474 21474 21430 0 -1 1077944384 1 462551 0 0 0 0 6490 97 20 0 22 0 419596206 8481841152 43388 33554432000 4194304 4196468 140732446904944 140361090455952 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21507] ppid=21474 vsize=8283048 memory=1548 CPUtime=65.87 cores=0-7
/proc/21497/task/21507/stat : 21507 (java) S 21474 21474 21430 0 -1 1077944384 7 462551 0 0 0 0 6490 97 20 0 22 0 419596208 8481841152 43388 33554432000 4194304 4196468 140732446904944 140360705264368 140361611815554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21508] ppid=21474 vsize=8283048 memory=628 CPUtime=65.87 cores=0-7
/proc/21497/task/21508/stat : 21508 (java) S 21474 21474 21430 0 -1 1077944384 13 462551 0 0 0 0 6490 97 20 0 22 0 419596208 8481841152 43388 33554432000 4194304 4196468 140732446904944 140360202315424 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21509] ppid=21474 vsize=8283048 memory=1056 CPUtime=65.87 cores=0-7
/proc/21497/task/21509/stat : 21509 (java) S 21474 21474 21430 0 -1 1077944384 21 462551 0 0 0 0 6490 97 20 0 22 0 419596209 8481841152 43388 33554432000 4194304 4196468 140732446904944 140360068093168 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21510] ppid=21474 vsize=8283048 memory=1556 CPUtime=65.87 cores=0-7
/proc/21497/task/21510/stat : 21510 (java) S 21474 21474 21430 0 -1 1077944384 1 462551 0 0 0 0 6490 97 20 0 22 0 419596211 8481841152 43388 33554432000 4194304 4196468 140732446904944 140359693588944 140361611823003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21511] ppid=21474 vsize=8283048 memory=5924 CPUtime=66 cores=0-7
/proc/21497/task/21511/stat : 21511 (java) S 21474 21474 21430 0 -1 1077944384 641 462551 0 0 13 0 6490 97 20 0 22 0 419596211 8481841152 43388 33554432000 4194304 4196468 140732446904944 140360704211184 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21512] ppid=21474 vsize=8283048 memory=14012 CPUtime=66.02 cores=0-7
/proc/21497/task/21512/stat : 21512 (java) R 21474 21474 21430 0 -1 1077944384 573 462551 0 0 15 0 6490 97 20 0 22 0 419596211 8481841152 43388 33554432000 4194304 4196468 140732446904944 140360703158640 140361611815554 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21513] ppid=21474 vsize=8283048 memory=2116 CPUtime=66.04 cores=0-7
/proc/21497/task/21513/stat : 21513 (java) R 21474 21474 21430 0 -1 1077944384 667 462551 0 0 17 0 6490 97 20 0 22 0 419596211 8481841152 43388 33554432000 4194304 4196468 140732446904944 140360702105584 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21514] ppid=21474 vsize=8283048 memory=10592 CPUtime=66.17 cores=0-7
/proc/21497/task/21514/stat : 21514 (java) R 21474 21474 21430 0 -1 4202560 1108 462551 0 0 30 0 6490 97 20 0 22 0 419596211 8481841152 43388 33554432000 4194304 4196468 140732446904944 140360701053040 140361611816342 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21515] ppid=21474 vsize=8283048 memory=12024 CPUtime=65.87 cores=0-7
/proc/21497/task/21515/stat : 21515 (java) S 21474 21474 21430 0 -1 1077944384 3 462551 0 0 0 0 6490 97 20 0 22 0 419596211 8481841152 43388 33554432000 4194304 4196468 140732446904944 140359195683808 140361611814613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21516] ppid=21474 vsize=8283048 memory=1556 CPUtime=65.87 cores=0-7
/proc/21497/task/21516/stat : 21516 (java) S 21474 21474 21430 0 -1 1077944384 3 462551 0 0 0 0 6490 97 20 0 22 0 419596211 8481841152 43388 33554432000 4194304 4196468 140732446904944 140360700001456 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21518] ppid=21474 vsize=8283048 memory=500 CPUtime=65.87 cores=0-7
/proc/21497/task/21518/stat : 21518 (java) S 21474 21474 21430 0 -1 1077944384 24 462551 0 0 0 0 6490 97 20 0 22 0 419596282 8481841152 43388 33554432000 4194304 4196468 140732446904944 140360691966608 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
[pid=21497/tid=21522] ppid=21474 vsize=8283048 memory=1528 CPUtime=65.87 cores=0-7
/proc/21497/task/21522/stat : 21522 (java) S 21474 21474 21430 0 -1 1077944384 11 462551 0 0 0 0 6490 97 20 0 22 0 419596284 8481841152 43388 33554432000 4194304 4196468 140732446904944 140358256157360 140361611815554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140732446909431 140732446909590 140732446909590 140732446912463 0
Current children cumulated CPU time: 72.43 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 175028 KiB

Child status: 0
Real time (s): 14.6703
CPU time (s): 72.5787
CPU user time (s): 71.1719
CPU system time (s): 1.40675
CPU usage (%): 494.732
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1352604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.1719
system time used= 1.40675
maximum resident set size= 1353648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510019
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15001
involuntary context switches= 653


# summary of solver processes directly reported to runsolver:
#   pid: 21474
#   total CPU time (s): 72.5787
#   total CPU user time (s): 71.1719
#   total CPU system time (s): 1.40675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.150514 second user time and 0.217532 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-14 04:55:35
IDJOB=4392696
IDBENCH=133381
IDSOLVER=2839
FILE ID=node106/4392696-1568433413
RUNJOBID= node106-1568429735-21457
PBS_JOBID= 21702316
Free space on /tmp= 59112 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-20-2-7.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-4392696-1568433413/watcher-4392696-1568433413 -o /tmp/evaluation-result-4392696-1568433413/solver-4392696-1568433413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568429735-21457 --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-4392696-1568433413.xml

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

MD5SUM BENCH= d26c1a16a8e9a423ebbeb7c1b2e2b431
RANDOM SEED=286670798

node106.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.79
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.79
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.79
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.79
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:        30629608 kB
MemAvailable:   31900268 kB
Buffers:          185640 kB
Cached:          1366160 kB
SwapCached:         9312 kB
Active:           481684 kB
Inactive:        1083872 kB
Active(anon):      13292 kB
Inactive(anon):    34424 kB
Active(file):     468392 kB
Inactive(file):  1049448 kB
Unevictable:      107488 kB
Mlocked:          107488 kB
SwapTotal:      67108860 kB
SwapFree:       66997692 kB
Dirty:             20716 kB
Writeback:             0 kB
AnonPages:        112108 kB
Mapped:            37560 kB
Shmem:             25308 kB
Slab:             166828 kB
SReclaimable:     137308 kB
SUnreclaim:        29520 kB
KernelStack:        3264 kB
PageTables:         4384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59092 MiB
End job on node106 at 2019-09-14 04:55:50