Trace number 4405556

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 73.3904 14.5726

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-19570-serial-file.bin HOME/instance-4405556-1569340967.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 18:02:06 CEST 2019
0.65/0.57	c PID: 19573
0.65/0.57	c IP: 172.20.3.146
0.65/0.57	c HOST: node146.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.16/0.87	c (0,0) Parsing End
1.16/0.88	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 20 ctr, max domain size 46
1.16/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88	c (0,0) Constraint Name Generate Begin
1.16/0.88	c (0,0) Ctr:HOME/instance-4405556-1569340967.xml,Num:Var:WeightedSum
1.16/0.88	c (0,0) Constraint Name Generate End
1.16/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88	c (0,0) CSP to CSPinCNF Begin
1.37/0.97	c (0,0) translated 2 (10%) constraints
1.37/0.98	c (0,0) translated 4 (20%) constraints
1.37/0.99	c (0,0) translated 6 (30%) constraints
1.37/1.00	c (0,0) translated 8 (40%) constraints
1.37/1.00	c (0,0) translated 10 (50%) constraints
1.37/1.01	c (0,0) translated 12 (60%) constraints
1.55/1.01	c (0,0) translated 14 (70%) constraints
1.55/1.02	c (0,0) translated 16 (80%) constraints
1.55/1.02	c (0,0) translated 18 (90%) constraints
1.55/1.02	c (0,0) translated 20 (100%) constraints
1.55/1.03	c (0,0) ===========================================
1.55/1.03	c (0,0) Hybrid: #OE=1, #LE=75
1.55/1.03	c (0,0) Hybrid
1.55/1.03	c (0,0) ===========================================
1.55/1.04	c (0,0) translated 2 (10%) constraints
1.55/1.05	c (0,0) translated 4 (20%) constraints
1.55/1.05	c (0,0) translated 6 (30%) constraints
1.55/1.05	c (0,0) translated 8 (40%) constraints
1.55/1.05	c (0,0) translated 10 (50%) constraints
1.55/1.06	c (0,0) translated 12 (60%) constraints
1.55/1.06	c (0,0) translated 14 (70%) constraints
1.55/1.06	c (0,0) translated 16 (80%) constraints
1.55/1.06	c (0,0) translated 18 (90%) constraints
1.55/1.07	c (0,0) translated 20 (100%) constraints
1.55/1.07	c (0,0) CSP to CSPinCNF End
1.55/1.07	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46
1.55/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.55/1.07	c (0,0) CSPinCNF Propagation Begin
1.55/1.09	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.55/1.09	c (0,0) CSPinCNF Propagation End
1.55/1.09	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46
1.55/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.55/1.09	c (0,0) Hybrid: #OE=1, #LE=75
1.55/1.09	c (0,0) Simplify CSPinCNF Begin
1.55/1.09	c (0,0) Simplify CSPinCNF End
1.55/1.10	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46
1.55/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.55/1.10	c (0,0) Calculate Precise Domain Begin
1.55/1.10	c (0,0) 0 values are removed by re-calculation
1.55/1.10	c (0,0) Calculate Precise Domain End
1.55/1.10	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 46
1.55/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.55/1.10	c (0,0) CSPinCNF to SatSolver Begin
2.75/1.50	c (0,0) 4 (10 %) CSP clauses are encoded (0 SAT variables, 83602 SAT clauses)
3.22/1.70	c (1,1) 8 (20 %) CSP clauses are encoded (0 SAT variables, 177511 SAT clauses)
3.35/1.81	c (1,1) 12 (30 %) CSP clauses are encoded (0 SAT variables, 226320 SAT clauses)
3.35/1.87	c (1,1) 16 (40 %) CSP clauses are encoded (0 SAT variables, 255072 SAT clauses)
3.45/1.98	c (1,1) 20 (50 %) CSP clauses are encoded (0 SAT variables, 306491 SAT clauses)
3.67/2.15	c (1,1) 24 (60 %) CSP clauses are encoded (0 SAT variables, 383810 SAT clauses)
3.86/2.33	c (1,1) 28 (70 %) CSP clauses are encoded (0 SAT variables, 468665 SAT clauses)
3.97/2.49	c (1,1) 32 (80 %) CSP clauses are encoded (0 SAT variables, 544913 SAT clauses)
4.22/2.64	c (2,2) 36 (90 %) CSP clauses are encoded (0 SAT variables, 603448 SAT clauses)
4.32/2.74	c (2,2) 40 (100 %) CSP clauses are encoded (0 SAT variables, 650046 SAT clauses)
4.32/2.75	c (2,2) CSPinCNF to SatSolver End
4.32/2.75	c (2,2) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
4.32/2.75	c (2,2) 238932 bool, 655015 clause
4.32/2.75	c (2,2) Export Begin
4.47/2.87	c (2,2) Export to HOME/scop-19570-serial-file.bin
4.47/2.87	c (2,2) Export End
4.47/2.87	c (2,2) Export File Size: 0.08 MB
4.47/2.87	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
4.47/2.87	c END-Prog: Tue Sep 24 18:02:08 CEST 2019
0.00/2.90	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19570-serial-file.bin
5.20/3.36	c (0,0) Read Serial File Begin
5.20/3.36	c (0,0) HOME/scop-19570-serial-file.bin
5.71/3.61	c (0,0) Read Serial File End
5.71/3.63	
5.71/3.63	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
5.71/3.63	(Solving Process)
5.71/3.63	
5.71/3.65	c BEGIN-Prog: Tue Sep 24 18:02:09 CEST 2019
5.71/3.65	c PID: 19593
5.71/3.65	c IP: 172.20.3.146
5.71/3.65	c HOST: node146.alineos.net
5.71/3.65	c (0,0) SatSolver.solve Begin
5.71/3.65	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405556-1569340967.xml-scop-19573.cnf
5.71/3.68	c (0,0) c
5.71/3.68	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.71/3.68	c (0,0) c
5.71/3.68	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.71/3.68	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.71/3.68	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.71/3.68	c (0,0) c |                                                                                                       |
6.04/3.98	c (0,0) c |  Number of variables:        238932                                                                   |
6.04/3.98	c (0,0) c |  Number of clauses:          654903                                                                   |
6.04/3.98	c (0,0) c |  Parse time:                   0.27 s                                                                 |
6.04/3.98	c (0,0) c |                                                                                                       |
7.26/5.00	c (1,0) c |  Simplification time:          1.01 s                                                                 |
7.26/5.00	c (1,0) c |                                                                                                       |
7.26/5.00	c (1,0) c |  Generating clones                                                                                    |
7.86/5.51	c (2,0) c |  all clones generated. Memory =   644.34Mb.                                                           |
7.86/5.51	c (2,0) c ========================================================================================================|
7.86/5.51	c (2,0) c
7.86/5.51	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
7.86/5.51	c (2,0) c
7.86/5.51	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.86/5.51	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
7.86/5.51	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
7.86/5.51	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
7.86/5.51	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
7.86/5.51	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
7.86/5.51	c (2,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
7.86/5.51	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
7.86/5.51	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
7.86/5.51	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
7.86/5.51	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
7.86/5.51	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
7.86/5.51	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
7.86/5.51	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
7.86/5.51	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
7.86/5.51	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
7.86/5.51	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
7.86/5.51	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
7.86/5.51	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.28	c (10,0) c
72.61/14.28	c (10,0) c real time : 10.5999 s
72.61/14.28	c (10,0) c cpu time  : 65.7551 s
72.61/14.28	c (10,0) c
72.61/14.28	c (10,0) c
72.61/14.28	c (10,0) c
72.61/14.28	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
72.61/14.28	c (10,0) c
72.61/14.28	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.28	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
72.61/14.28	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.28	c (10,0) c | Conflicts     |          206036 |      25367 |      26693 |      25755 |      25984 |      26348 |      25132 |      24925 |      25832 |
72.61/14.28	c (10,0) c | Decisions     |         3478576 |     373299 |     494369 |     411754 |     494529 |     392847 |     357518 |     473509 |     480751 |
72.61/14.28	c (10,0) c | Propagations  |       280804446 |   35733302 |   33968046 |   36092282 |   34561612 |   35022631 |   34761010 |   34446461 |   36219102 |
72.61/14.28	c (10,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
72.61/14.28	c (10,0) c | SimpDBs       |              89 |         13 |         10 |         10 |         10 |         14 |         11 |         11 |         10 |
72.61/14.28	c (10,0) c | Restarts      |             776 |        116 |         63 |        105 |         80 |        138 |         81 |         78 |        115 |
72.61/14.28	c (10,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
72.61/14.28	c (10,0) c | PropBinClauses|       141287604 |   18637001 |   16555883 |   19105094 |   17522133 |   17380644 |   17856495 |   16435140 |   17795214 |
72.61/14.28	c (10,0) c | PropPreBlocker|       672658676 |   81176990 |   85734054 |   84744382 |   86458507 |   79876106 |   83523828 |   85982449 |   85162360 |
72.61/14.28	c (10,0) c | PropNotBlocker|       329354327 |   40435758 |   40649361 |   41565678 |   41480251 |   39972794 |   40779813 |   41989279 |   42481393 |
72.61/14.28	c (10,0) c | LitFullScans  |      1681641024 |  210082353 |  210125467 |  210076464 |  210120367 |  210075054 |  210107583 |  210945170 |  210108566 |
72.61/14.28	c (10,0) c | LitScanFracts |          586727 |      74989 |     118573 |      69912 |      34622 |      65722 |      98580 |      24687 |      99642 |
72.61/14.28	c (10,0) c | DecisionLevel0|             870 |        126 |         73 |        117 |         86 |        157 |         94 |         87 |        130 |
72.61/14.28	c (10,0) c | Periods       |             280 |         35 |         35 |         35 |         35 |         35 |         35 |         35 |         35 |
72.61/14.28	c (10,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
72.61/14.28	c (10,0) c | Avg_Trail     |                 |      24882 |      24757 |      24449 |      24372 |      25911 |      30412 |      29325 |      30982 |
72.61/14.28	c (10,0) c | Avg_DL        |                 |        339 |        442 |        539 |        512 |        489 |        557 |        513 |        579 |
72.61/14.28	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
72.61/14.28	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
72.61/14.28	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.28	c (10,0) c | Exported      |           24525 |       3100 |       3372 |       2684 |       3009 |       2919 |       3068 |       3154 |       3219 |
72.61/14.28	c (10,0) c | Imported      |           62457 |       7862 |       6842 |       8129 |       7675 |       7832 |       8420 |       7890 |       7807 |
72.61/14.28	c (10,0) c | Good          |            5228 |        631 |        644 |        664 |        678 |        634 |        683 |        671 |        623 |
72.61/14.28	c (10,0) c | Purge         |           57229 |       7231 |       6198 |       7465 |       6997 |       7198 |       7737 |       7219 |       7184 |
72.61/14.28	c (10,0) c | Promoted      |             682 |        129 |         51 |         51 |         35 |        120 |        105 |         69 |        122 |
72.61/14.28	c (10,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
72.61/14.28	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
72.61/14.28	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.28	c (10,0) c | Unaries       |                 |         10 |         10 |         12 |          6 |         19 |         13 |          9 |         15 |
72.61/14.28	c (10,0) c | Binaries      |                 |        241 |        140 |        194 |        135 |        215 |        166 |        147 |        212 |
72.61/14.28	c (10,0) c | Glues         |                 |        884 |        510 |        761 |        583 |        885 |        564 |        620 |        797 |
72.61/14.28	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.28	c (10,0) c | Orig_Seen     |            22 % |     128702 |     113091 |     114464 |     114722 |     136863 |     140896 |     133956 |     138920 |
72.61/14.28	c (10,0) c | Diff Orig seen|                 |      13980 | -     1631 | -      258 |      X     |      22141 |      26174 |      19234 |      24198 |
72.61/14.28	c (10,0) c | Hamming       |            12 % |      29127 |      29211 |      27452 |      X     |      28374 |      27832 |      31566 |      29796 |
72.61/14.28	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.28	c (10,0) c | RunningTime   |                 |    8.7 100%|    8.1 100%|    7.9 100%|    7.8 100%|    8.1 100%|    8.3 100%|    7.9 100%|    8.2 100%|
72.61/14.28	c (10,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%|
72.61/14.28	c (10,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%|
72.61/14.28	c (10,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%|
72.61/14.28	c (10,0) c | SolvingTime   |                 |    8.8     |    8.1     |    7.9     |    7.9     |    8.1     |    8.3     |    7.9     |    8.2     |
72.61/14.28	c (10,0) c | PropagationTim|                 |    7.2  83%|    6.7  83%|    6.5  83%|    6.4  82%|    6.6  81%|    6.7  82%|    6.4  81%|    6.6  81%|
72.61/14.28	c (10,0) c | AnalysisTime  |                 |    0.5   6%|    0.5   7%|    0.5   6%|    0.5   6%|    0.5   7%|    0.5   7%|    0.5   6%|    0.5   6%|
72.61/14.28	c (10,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%|
72.61/14.28	c (10,0) c | SimplifyTime  |                 |    0.2   2%|    0.1   2%|    0.2   2%|    0.2   2%|    0.2   3%|    0.2   2%|    0.2   2%|    0.2   2%|
72.61/14.28	c (10,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%|
72.61/14.28	c (10,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%|
72.61/14.28	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.28	c (10,0) c
72.61/14.28	c (10,0) c
72.61/14.28	c (10,0) c Threads : 8
72.61/14.28	c (10,0) c Winner : 3
72.61/14.28	c (10,0) c Conflicts_0 : 25367
72.61/14.28	c (10,0) c Conflicts_1 : 26693
72.61/14.28	c (10,0) c Conflicts_2 : 25755
72.61/14.28	c (10,0) c Conflicts_3 : 25984
72.61/14.28	c (10,0) c Conflicts_4 : 26348
72.61/14.28	c (10,0) c Conflicts_5 : 25132
72.61/14.28	c (10,0) c Conflicts_6 : 24925
72.61/14.28	c (10,0) c Conflicts_7 : 25832
72.61/14.28	c (10,0) c Conflicts_total : 206036
72.61/14.28	c (10,0) c Conflicts_winner : 25984
72.61/14.28	c (10,0) c Decisions_0 : 373299
72.61/14.28	c (10,0) c Decisions_1 : 494369
72.61/14.28	c (10,0) c Decisions_2 : 411754
72.61/14.28	c (10,0) c Decisions_3 : 494529
72.61/14.28	c (10,0) c Decisions_4 : 392847
72.61/14.28	c (10,0) c Decisions_5 : 357518
72.61/14.28	c (10,0) c Decisions_6 : 473509
72.61/14.28	c (10,0) c Decisions_7 : 480751
72.61/14.28	c (10,0) c Decisions_total : 3478576
72.61/14.28	c (10,0) c Decisions_winner : 494529
72.61/14.28	c (10,0) c Propagations_0 : 35733302
72.61/14.28	c (10,0) c Propagations_1 : 33968046
72.61/14.28	c (10,0) c Propagations_2 : 36092282
72.61/14.28	c (10,0) c Propagations_3 : 34561612
72.61/14.28	c (10,0) c Propagations_4 : 35022631
72.61/14.28	c (10,0) c Propagations_5 : 34761010
72.61/14.28	c (10,0) c Propagations_6 : 34446461
72.61/14.28	c (10,0) c Propagations_7 : 36219102
72.61/14.28	c (10,0) c Propagations_total : 280804446
72.61/14.28	c (10,0) c Propagations_winner : 34561612
72.61/14.28	c (10,0) c ReduceDBs_0 : 4
72.61/14.28	c (10,0) c ReduceDBs_1 : 4
72.61/14.28	c (10,0) c ReduceDBs_2 : 4
72.61/14.28	c (10,0) c ReduceDBs_3 : 4
72.61/14.28	c (10,0) c ReduceDBs_4 : 4
72.61/14.28	c (10,0) c ReduceDBs_5 : 4
72.61/14.28	c (10,0) c ReduceDBs_6 : 4
72.61/14.28	c (10,0) c ReduceDBs_7 : 4
72.61/14.28	c (10,0) c ReduceDBs_total : 32
72.61/14.28	c (10,0) c ReduceDBs_winner : 4
72.61/14.28	c (10,0) c SimpDBs_0 : 13
72.61/14.28	c (10,0) c SimpDBs_1 : 10
72.61/14.28	c (10,0) c SimpDBs_2 : 10
72.61/14.28	c (10,0) c SimpDBs_3 : 10
72.61/14.28	c (10,0) c SimpDBs_4 : 14
72.61/14.28	c (10,0) c SimpDBs_5 : 11
72.61/14.28	c (10,0) c SimpDBs_6 : 11
72.61/14.28	c (10,0) c SimpDBs_7 : 10
72.61/14.28	c (10,0) c SimpDBs_total : 89
72.61/14.28	c (10,0) c SimpDBs_winner : 10
72.61/14.28	c (10,0) c Restarts_0 : 116
72.61/14.28	c (10,0) c Restarts_1 : 63
72.61/14.28	c (10,0) c Restarts_2 : 105
72.61/14.28	c (10,0) c Restarts_3 : 80
72.61/14.28	c (10,0) c Restarts_4 : 138
72.61/14.28	c (10,0) c Restarts_5 : 81
72.61/14.28	c (10,0) c Restarts_6 : 78
72.61/14.28	c (10,0) c Restarts_7 : 115
72.61/14.28	c (10,0) c Restarts_total : 776
72.61/14.28	c (10,0) c Restarts_winner : 80
72.61/14.28	c (10,0) c ForcedImports_0 : 0
72.61/14.28	c (10,0) c ForcedImports_1 : 0
72.61/14.28	c (10,0) c ForcedImports_2 : 0
72.61/14.28	c (10,0) c ForcedImports_3 : 0
72.61/14.28	c (10,0) c ForcedImports_4 : 0
72.61/14.28	c (10,0) c ForcedImports_5 : 0
72.61/14.28	c (10,0) c ForcedImports_6 : 0
72.61/14.28	c (10,0) c ForcedImports_7 : 0
72.61/14.28	c (10,0) c ForcedImports_total : 0
72.61/14.28	c (10,0) c ForcedImports_winner : 0
72.61/14.28	c (10,0) c PropsBinClauses_0 : 18637001
72.61/14.28	c (10,0) c PropsBinClauses_1 : 16555883
72.61/14.28	c (10,0) c PropsBinClauses_2 : 19105094
72.61/14.28	c (10,0) c PropsBinClauses_3 : 17522133
72.61/14.28	c (10,0) c PropsBinClauses_4 : 17380644
72.61/14.28	c (10,0) c PropsBinClauses_5 : 17856495
72.61/14.28	c (10,0) c PropsBinClauses_6 : 16435140
72.61/14.28	c (10,0) c PropsBinClauses_7 : 17795214
72.61/14.28	c (10,0) c PropsBinClauses_total : 141287604
72.61/14.28	c (10,0) c PropsBinClauses_winner : 17522133
72.61/14.28	c (10,0) c PropsPreBlocker_0 : 81176990
72.61/14.28	c (10,0) c PropsPreBlocker_1 : 85734054
72.61/14.28	c (10,0) c PropsPreBlocker_2 : 84744382
72.61/14.28	c (10,0) c PropsPreBlocker_3 : 86458507
72.61/14.28	c (10,0) c PropsPreBlocker_4 : 79876106
72.61/14.28	c (10,0) c PropsPreBlocker_5 : 83523828
72.61/14.28	c (10,0) c PropsPreBlocker_6 : 85982449
72.61/14.28	c (10,0) c PropsPreBlocker_7 : 85162360
72.61/14.28	c (10,0) c PropsPreBlocker_total : 672658676
72.61/14.28	c (10,0) c PropsPreBlocker_winner : 86458507
72.61/14.28	c (10,0) c PropsNotBlocker_0 : 40435758
72.61/14.28	c (10,0) c PropsNotBlocker_1 : 40649361
72.61/14.28	c (10,0) c PropsNotBlocker_2 : 41565678
72.61/14.28	c (10,0) c PropsNotBlocker_3 : 41480251
72.61/14.28	c (10,0) c PropsNotBlocker_4 : 39972794
72.61/14.28	c (10,0) c PropsNotBlocker_5 : 40779813
72.61/14.28	c (10,0) c PropsNotBlocker_6 : 41989279
72.61/14.28	c (10,0) c PropsNotBlocker_7 : 42481393
72.61/14.28	c (10,0) c PropsNotBlocker_total : 329354327
72.61/14.28	c (10,0) c PropsNotBlocker_winner : 41480251
72.61/14.28	c (10,0) c PropsLitFullScans_0 : 210082353
72.61/14.28	c (10,0) c PropsLitFullScans_1 : 210125467
72.61/14.28	c (10,0) c PropsLitFullScans_2 : 210076464
72.61/14.28	c (10,0) c PropsLitFullScans_3 : 210120367
72.61/14.28	c (10,0) c PropsLitFullScans_4 : 210075054
72.61/14.28	c (10,0) c PropsLitFullScans_5 : 210107583
72.61/14.28	c (10,0) c PropsLitFullScans_6 : 210945170
72.61/14.28	c (10,0) c PropsLitFullScans_7 : 210108566
72.61/14.28	c (10,0) c PropsLitFullScans_total : 1681641024
72.61/14.28	c (10,0) c PropsLitFullScans_winner : 210120367
72.61/14.28	c (10,0) c LitScanFractions_0 : 74989
72.61/14.28	c (10,0) c LitScanFractions_1 : 118573
72.61/14.28	c (10,0) c LitScanFractions_2 : 69912
72.61/14.28	c (10,0) c LitScanFractions_3 : 34622
72.61/14.28	c (10,0) c LitScanFractions_4 : 65722
72.61/14.28	c (10,0) c LitScanFractions_5 : 98580
72.61/14.28	c (10,0) c LitScanFractions_6 : 24687
72.61/14.28	c (10,0) c LitScanFractions_7 : 99642
72.61/14.28	c (10,0) c LitScanFractions_total : 586727
72.61/14.28	c (10,0) c LitScanFractions_winner : 34622
72.61/14.28	c (10,0) c DecisionLevel0_0 : 126
72.61/14.28	c (10,0) c DecisionLevel0_1 : 73
72.61/14.28	c (10,0) c DecisionLevel0_2 : 117
72.61/14.28	c (10,0) c DecisionLevel0_3 : 86
72.61/14.28	c (10,0) c DecisionLevel0_4 : 157
72.61/14.28	c (10,0) c DecisionLevel0_5 : 94
72.61/14.28	c (10,0) c DecisionLevel0_6 : 87
72.61/14.28	c (10,0) c DecisionLevel0_7 : 130
72.61/14.28	c (10,0) c DecisionLevel0_total : 870
72.61/14.28	c (10,0) c DecisionLevel0_winner : 86
72.61/14.28	c (10,0) c Periods_0 : 35
72.61/14.28	c (10,0) c Periods_1 : 35
72.61/14.28	c (10,0) c Periods_2 : 35
72.61/14.28	c (10,0) c Periods_3 : 35
72.61/14.28	c (10,0) c Periods_4 : 35
72.61/14.28	c (10,0) c Periods_5 : 35
72.61/14.28	c (10,0) c Periods_6 : 35
72.61/14.28	c (10,0) c Periods_7 : 35
72.61/14.28	c (10,0) c Periods_total : 280
72.61/14.28	c (10,0) c Periods_winner : 35
72.61/14.28	c (10,0) c Margin_0 : 20
72.61/14.28	c (10,0) c Margin_1 : 20
72.61/14.28	c (10,0) c Margin_2 : 20
72.61/14.29	c (10,0) c Margin_3 : 20
72.61/14.29	c (10,0) c Margin_4 : 20
72.61/14.29	c (10,0) c Margin_5 : 20
72.61/14.29	c (10,0) c Margin_6 : 20
72.61/14.29	c (10,0) c Margin_7 : 20
72.61/14.29	c (10,0) c Margin_total : 160
72.61/14.29	c (10,0) c Margin_winner : 20
72.61/14.29	c (10,0) c Exported_0 : 3100
72.61/14.29	c (10,0) c Exported_1 : 3372
72.61/14.29	c (10,0) c Exported_2 : 2684
72.61/14.29	c (10,0) c Exported_3 : 3009
72.61/14.29	c (10,0) c Exported_4 : 2919
72.61/14.29	c (10,0) c Exported_5 : 3068
72.61/14.29	c (10,0) c Exported_6 : 3154
72.61/14.29	c (10,0) c Exported_7 : 3219
72.61/14.29	c (10,0) c Exported_total : 24525
72.61/14.29	c (10,0) c Exported_winner : 3009
72.61/14.29	c (10,0) c Imported_0 : 7862
72.61/14.29	c (10,0) c Imported_1 : 6842
72.61/14.29	c (10,0) c Imported_2 : 8129
72.61/14.29	c (10,0) c Imported_3 : 7675
72.61/14.29	c (10,0) c Imported_4 : 7832
72.61/14.29	c (10,0) c Imported_5 : 8420
72.61/14.29	c (10,0) c Imported_6 : 7890
72.61/14.29	c (10,0) c Imported_7 : 7807
72.61/14.29	c (10,0) c Imported_total : 62457
72.61/14.29	c (10,0) c Imported_winner : 7675
72.61/14.29	c (10,0) c Good_0 : 631
72.61/14.29	c (10,0) c Good_1 : 644
72.61/14.29	c (10,0) c Good_2 : 664
72.61/14.29	c (10,0) c Good_3 : 678
72.61/14.29	c (10,0) c Good_4 : 634
72.61/14.29	c (10,0) c Good_5 : 683
72.61/14.29	c (10,0) c Good_6 : 671
72.61/14.29	c (10,0) c Good_7 : 623
72.61/14.29	c (10,0) c Good_total : 5228
72.61/14.29	c (10,0) c Good_winner : 678
72.61/14.29	c (10,0) c Purge_0 : 7231
72.61/14.29	c (10,0) c Purge_1 : 6198
72.61/14.29	c (10,0) c Purge_2 : 7465
72.61/14.29	c (10,0) c Purge_3 : 6997
72.61/14.29	c (10,0) c Purge_4 : 7198
72.61/14.29	c (10,0) c Purge_5 : 7737
72.61/14.29	c (10,0) c Purge_6 : 7219
72.61/14.29	c (10,0) c Purge_7 : 7184
72.61/14.29	c (10,0) c Purge_total : 57229
72.61/14.29	c (10,0) c Purge_winner : 6997
72.61/14.29	c (10,0) c Promoted_0 : 129
72.61/14.29	c (10,0) c Promoted_1 : 51
72.61/14.29	c (10,0) c Promoted_2 : 51
72.61/14.29	c (10,0) c Promoted_3 : 35
72.61/14.29	c (10,0) c Promoted_4 : 120
72.61/14.29	c (10,0) c Promoted_5 : 105
72.61/14.29	c (10,0) c Promoted_6 : 69
72.61/14.29	c (10,0) c Promoted_7 : 122
72.61/14.29	c (10,0) c Promoted_total : 682
72.61/14.29	c (10,0) c Promoted_winner : 35
72.61/14.29	c (10,0) c Remove_Imp_0 : 0
72.61/14.29	c (10,0) c Remove_Imp_1 : 0
72.61/14.29	c (10,0) c Remove_Imp_2 : 0
72.61/14.29	c (10,0) c Remove_Imp_3 : 0
72.61/14.29	c (10,0) c Remove_Imp_4 : 0
72.61/14.29	c (10,0) c Remove_Imp_5 : 0
72.61/14.29	c (10,0) c Remove_Imp_6 : 0
72.61/14.29	c (10,0) c Remove_Imp_7 : 0
72.61/14.29	c (10,0) c Remove_Imp_total : 0
72.61/14.29	c (10,0) c Remove_Imp_winner : 0
72.61/14.29	c (10,0) c Blocked_Reuse_0 : 0
72.61/14.29	c (10,0) c Blocked_Reuse_1 : 0
72.61/14.29	c (10,0) c Blocked_Reuse_2 : 0
72.61/14.29	c (10,0) c Blocked_Reuse_3 : 0
72.61/14.29	c (10,0) c Blocked_Reuse_4 : 0
72.61/14.29	c (10,0) c Blocked_Reuse_5 : 0
72.61/14.29	c (10,0) c Blocked_Reuse_6 : 0
72.61/14.29	c (10,0) c Blocked_Reuse_7 : 0
72.61/14.29	c (10,0) c Blocked_Reuse_total : 0
72.61/14.29	c (10,0) c Blocked_Reuse_winner : 0
72.61/14.29	c (10,0) c Unaries_0 : 10
72.61/14.29	c (10,0) c Unaries_1 : 10
72.61/14.29	c (10,0) c Unaries_2 : 12
72.61/14.29	c (10,0) c Unaries_3 : 6
72.61/14.29	c (10,0) c Unaries_4 : 19
72.61/14.29	c (10,0) c Unaries_5 : 13
72.61/14.29	c (10,0) c Unaries_6 : 9
72.61/14.29	c (10,0) c Unaries_7 : 15
72.61/14.29	c (10,0) c Unaries_total : 94
72.61/14.29	c (10,0) c Unaries_winner : 6
72.61/14.29	c (10,0) c Binaries_0 : 241
72.61/14.29	c (10,0) c Binaries_1 : 140
72.61/14.29	c (10,0) c Binaries_2 : 194
72.61/14.29	c (10,0) c Binaries_3 : 135
72.61/14.29	c (10,0) c Binaries_4 : 215
72.61/14.29	c (10,0) c Binaries_5 : 166
72.61/14.29	c (10,0) c Binaries_6 : 147
72.61/14.29	c (10,0) c Binaries_7 : 212
72.61/14.29	c (10,0) c Binaries_total : 1450
72.61/14.29	c (10,0) c Binaries_winner : 135
72.61/14.29	c (10,0) c Glues_0 : 884
72.61/14.29	c (10,0) c Glues_1 : 510
72.61/14.29	c (10,0) c Glues_2 : 761
72.61/14.29	c (10,0) c Glues_3 : 583
72.61/14.29	c (10,0) c Glues_4 : 885
72.61/14.29	c (10,0) c Glues_5 : 564
72.61/14.29	c (10,0) c Glues_6 : 620
72.61/14.29	c (10,0) c Glues_7 : 797
72.61/14.29	c (10,0) c Glues_total : 5604
72.61/14.29	c (10,0) c Glues_winner : 583
72.61/14.29	c (10,0) c RunningTime_0 : 8.747322
72.61/14.29	c (11,0) c RunningTime_1 : 8.103992
72.61/14.29	c (11,0) c RunningTime_2 : 7.867082
72.61/14.29	c (11,0) c RunningTime_3 : 7.844941
72.61/14.29	c (11,0) c RunningTime_4 : 8.098375
72.61/14.29	c (11,0) c RunningTime_5 : 8.256292
72.61/14.29	c (11,0) c RunningTime_6 : 7.912342
72.61/14.29	c (11,0) c RunningTime_7 : 8.175538
72.61/14.29	c (11,0) c RunningTime_total : 65.005883
72.61/14.29	c (11,0) c RunningTime_winner : 7.844941
72.61/14.29	c (11,0) c WaitingTime_0 : 0.000020
72.61/14.29	c (11,0) c WaitingTime_1 : 0.000030
72.61/14.29	c (11,0) c WaitingTime_2 : 0.000027
72.61/14.29	c (11,0) c WaitingTime_3 : 0.000037
72.61/14.29	c (11,0) c WaitingTime_4 : 0.000031
72.61/14.29	c (11,0) c WaitingTime_5 : 0.000027
72.61/14.29	c (11,0) c WaitingTime_6 : 0.000030
72.61/14.29	c (11,0) c WaitingTime_7 : 0.000027
72.61/14.29	c (11,0) c WaitingTime_total : 0.000229
72.61/14.29	c (11,0) c WaitingTime_winner : 0.000037
72.61/14.29	c (11,0) c ExchangingTime_0 : 0.005584
72.61/14.29	c (11,0) c ExchangingTime_1 : 0.004711
72.61/14.29	c (11,0) c ExchangingTime_2 : 0.005298
72.61/14.29	c (11,0) c ExchangingTime_3 : 0.005446
72.61/14.29	c (11,0) c ExchangingTime_4 : 0.006650
72.61/14.29	c (11,0) c ExchangingTime_5 : 0.005179
72.61/14.29	c (11,0) c ExchangingTime_6 : 0.005131
72.61/14.29	c (11,0) c ExchangingTime_7 : 0.005628
72.61/14.29	c (11,0) c ExchangingTime_total : 0.043627
72.61/14.29	c (11,0) c ExchangingTime_winner : 0.005446
72.61/14.29	c (11,0) c PeriodProcTime_0 : 0.000319
72.61/14.29	c (11,0) c PeriodProcTime_1 : 0.000317
72.61/14.29	c (11,0) c PeriodProcTime_2 : 0.000310
72.61/14.29	c (11,0) c PeriodProcTime_3 : 0.000359
72.61/14.29	c (11,0) c PeriodProcTime_4 : 0.000326
72.61/14.29	c (11,0) c PeriodProcTime_5 : 0.000345
72.61/14.29	c (11,0) c PeriodProcTime_6 : 0.000350
72.61/14.29	c (11,0) c PeriodProcTime_7 : 0.000427
72.61/14.29	c (11,0) c PeriodProcTime_total : 0.002753
72.61/14.29	c (11,0) c PeriodProcTime_winner : 0.000359
72.61/14.29	c (11,0) c SolvingTime_0 : 8.753245
72.61/14.29	c (11,0) c SolvingTime_1 : 8.109051
72.61/14.29	c (11,0) c SolvingTime_2 : 7.872717
72.61/14.29	c (11,0) c SolvingTime_3 : 7.850783
72.61/14.29	c (11,0) c SolvingTime_4 : 8.105382
72.61/14.29	c (11,0) c SolvingTime_5 : 8.261844
72.61/14.29	c (11,0) c SolvingTime_6 : 7.917851
72.61/14.29	c (11,0) c SolvingTime_7 : 8.181619
72.61/14.29	c (11,0) c SolvingTime_total : 65.052492
72.61/14.29	c (11,0) c SolvingTime_winner : 7.850783
72.61/14.29	c (11,0) c PropagationTime_0 : 7.233548
72.61/14.29	c (11,0) c PropagationTime_1 : 6.744237
72.61/14.29	c (11,0) c PropagationTime_2 : 6.495148
72.61/14.29	c (11,0) c PropagationTime_3 : 6.428608
72.61/14.29	c (11,0) c PropagationTime_4 : 6.557680
72.61/14.29	c (11,0) c PropagationTime_5 : 6.734753
72.61/14.29	c (11,0) c PropagationTime_6 : 6.439064
72.61/14.29	c (11,0) c PropagationTime_7 : 6.636951
72.61/14.29	c (11,0) c PropagationTime_total : 53.269989
72.61/14.29	c (11,0) c PropagationTime_winner : 6.428608
72.61/14.29	c (11,0) c AnalysisTime_0 : 0.502883
72.61/14.29	c (11,0) c AnalysisTime_1 : 0.528766
72.61/14.29	c (11,0) c AnalysisTime_2 : 0.469622
72.61/14.29	c (11,0) c AnalysisTime_3 : 0.496342
72.61/14.29	c (11,0) c AnalysisTime_4 : 0.529008
72.61/14.29	c (11,0) c AnalysisTime_5 : 0.543021
72.61/14.29	c (11,0) c AnalysisTime_6 : 0.479503
72.61/14.29	c (11,0) c AnalysisTime_7 : 0.485963
72.61/14.29	c (11,0) c AnalysisTime_total : 4.035106
72.61/14.29	c (11,0) c AnalysisTime_winner : 0.496342
72.61/14.29	c (11,0) c ReductionTime_0 : 0.006680
72.61/14.29	c (11,0) c ReductionTime_1 : 0.007662
72.61/14.29	c (11,0) c ReductionTime_2 : 0.006641
72.61/14.29	c (11,0) c ReductionTime_3 : 0.006596
72.61/14.29	c (11,0) c ReductionTime_4 : 0.007059
72.61/14.29	c (11,0) c ReductionTime_5 : 0.007554
72.61/14.29	c (11,0) c ReductionTime_6 : 0.006644
72.61/14.29	c (11,0) c ReductionTime_7 : 0.006771
72.61/14.29	c (11,0) c ReductionTime_total : 0.055606
72.61/14.29	c (11,0) c ReductionTime_winner : 0.006596
72.61/14.29	c (11,0) c SimplifyTime_0 : 0.214945
72.61/14.29	c (11,0) c SimplifyTime_1 : 0.149183
72.61/14.29	c (11,0) c SimplifyTime_2 : 0.155415
72.61/14.29	c (11,0) c SimplifyTime_3 : 0.160161
72.61/14.29	c (11,0) c SimplifyTime_4 : 0.225242
72.61/14.29	c (11,0) c SimplifyTime_5 : 0.189472
72.61/14.29	c (11,0) c SimplifyTime_6 : 0.169800
72.61/14.29	c (11,0) c SimplifyTime_7 : 0.155463
72.61/14.29	c (11,0) c SimplifyTime_total : 1.419680
72.61/14.29	c (11,0) c SimplifyTime_winner : 0.160161
72.61/14.29	c (11,0) c UsedRateTime_0 : 0.000000
72.61/14.29	c (11,0) c UsedRateTime_1 : 0.000000
72.61/14.29	c (11,0) c UsedRateTime_2 : 0.000000
72.61/14.29	c (11,0) c UsedRateTime_3 : 0.000000
72.61/14.29	c (11,0) c UsedRateTime_4 : 0.000000
72.61/14.29	c (11,0) c UsedRateTime_5 : 0.000000
72.61/14.29	c (11,0) c UsedRateTime_6 : 0.000000
72.61/14.29	c (11,0) c UsedRateTime_7 : 0.000000
72.61/14.29	c (11,0) c UsedRateTime_total : 0.000000
72.61/14.29	c (11,0) c UsedRateTime_winner : 0.000000
72.61/14.29	c (11,0) c OverlapRateTime_0 : 0.000000
72.61/14.29	c (11,0) c OverlapRateTime_1 : 0.000000
72.61/14.29	c (11,0) c OverlapRateTime_2 : 0.000000
72.61/14.29	c (11,0) c OverlapRateTime_3 : 0.000000
72.61/14.29	c (11,0) c OverlapRateTime_4 : 0.000000
72.61/14.29	c (11,0) c OverlapRateTime_5 : 0.000000
72.61/14.29	c (11,0) c OverlapRateTime_6 : 0.000000
72.61/14.29	c (11,0) c OverlapRateTime_7 : 0.000000
72.61/14.29	c (11,0) c OverlapRateTime_total : 0.000000
72.61/14.29	c (11,0) c OverlapRateTime_winner : 0.000000
72.61/14.29	c (11,0) c
72.61/14.29	c (11,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
72.61/14.29	c (11,0) c
72.61/14.29	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.29	c (11,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
72.61/14.29	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.29	c (11,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
72.61/14.29	c (11,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
72.61/14.29	c (11,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
72.61/14.29	c (11,0) c | Initial random_seed   |  797336832 |  684325178 | 1137832691 |  459699839 | 1667277550 | 1661517901 | 1455066189 |  889436164 |
72.61/14.29	c (11,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
72.61/14.29	c (11,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
72.61/14.29	c (11,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
72.61/14.29	c (11,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
72.61/14.29	c (11,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
72.61/14.29	c (11,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
72.61/14.29	c (11,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
72.61/14.29	c (11,0) c | var_decay             |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8500 |     0.8400 |     0.8500 |
72.61/14.29	c (11,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
72.61/14.29	c (11,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
72.61/14.29	c (11,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
72.61/14.29	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
72.61/14.29	c (11,0) 
72.61/14.29	c (11,0) s SATISFIABLE
73.02/14.46	c (11,0) SatSolver.solve End
73.02/14.46	c (11,0) Heap : 167 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
73.02/14.46	c (11,0) Show results Begin
73.23/14.55	c (11,0) x[0] = 46
73.23/14.55	c (11,0) x[2] = 39
73.23/14.55	c (11,0) x[3] = 16
73.23/14.55	c (11,0) x[4] = 23
73.23/14.55	c (11,0) x[5] = 44
73.23/14.55	c (11,0) x[6] = 5
73.23/14.55	c (11,0) x[7] = 13
73.23/14.55	c (11,0) x[8] = 44
73.23/14.55	c (11,0) x[9] = 3
73.23/14.55	c (11,0) x[10] = 30
73.23/14.55	c (11,0) x[11] = 34
73.23/14.55	c (11,0) x[12] = 47
73.23/14.55	c (11,0) x[13] = 21
73.23/14.55	c (11,0) x[14] = 47
73.23/14.55	c (11,0) x[17] = 21
73.23/14.55	c (11,0) x[19] = 10
73.23/14.55	c (11,0) x[20] = 47
73.23/14.55	c (11,0) x[21] = 11
73.23/14.55	c (11,0) x[23] = 36
73.23/14.55	c (11,0) x[24] = 47
73.23/14.55	c (11,0) x[25] = 13
73.23/14.55	c (11,0) x[26] = 2
73.23/14.55	c (11,0) x[27] = 46
73.23/14.55	c (11,0) x[28] = 45
73.23/14.55	c (11,0) x[29] = 47
73.23/14.55	c (11,0) x[30] = 47
73.23/14.55	c (11,0) x[32] = 3
73.23/14.55	c (11,0) x[33] = 8
73.23/14.55	c (11,0) x[34] = 43
73.23/14.55	c (11,0) x[35] = 6
73.23/14.55	c (11,0) x[36] = 46
73.23/14.55	c (11,0) x[37] = 29
73.23/14.55	c (11,0) x[38] = 45
73.23/14.55	c (11,0) x[39] = 46
73.23/14.55	c (11,0) x[40] = 9
73.23/14.55	c (11,0) x[41] = 3
73.23/14.55	c (11,0) x[43] = 6
73.23/14.55	c (11,0) x[44] = 21
73.23/14.55	c (11,0) x[46] = 46
73.23/14.55	c (11,0) x[47] = 40
73.23/14.55	c (11,0) x[48] = 26
73.23/14.55	c (11,0) x[50] = 39
73.23/14.55	c (11,0) x[53] = 11
73.23/14.55	c (11,0) x[54] = 25
73.23/14.55	c (11,0) x[55] = 2
73.23/14.55	c (11,0) x[56] = 9
73.23/14.55	c (11,0) x[59] = 27
73.23/14.55	c (11,0) x[60] = 41
73.23/14.55	c (11,0) x[61] = 3
73.23/14.55	c (11,0) x[63] = 6
73.23/14.55	c (11,0) x[64] = 43
73.23/14.55	c (11,0) x[65] = 4
73.23/14.55	c (11,0) x[66] = 14
73.23/14.55	c (11,0) x[67] = 47
73.23/14.55	c (11,0) x[69] = 2
73.23/14.55	c (11,0) x[72] = 34
73.23/14.55	c (11,0) x[73] = 9
73.23/14.55	c (11,0) x[74] = 25
73.23/14.55	c (11,0) x[75] = 47
73.23/14.55	c (11,0) x[79] = 4
73.23/14.55	c (11,0) x[81] = 13
73.23/14.55	c (11,0) x[82] = 3
73.23/14.55	c (11,0) x[83] = 44
73.23/14.55	c (11,0) x[84] = 36
73.23/14.55	c (11,0) x[85] = 34
73.23/14.55	c (11,0) x[86] = 37
73.23/14.55	c (11,0) x[87] = 47
73.23/14.55	c (11,0) x[88] = 38
73.23/14.55	c (11,0) x[89] = 27
73.23/14.55	c (11,0) x[90] = 16
73.23/14.55	c (11,0) x[91] = 33
73.23/14.55	c (11,0) x[92] = 5
73.23/14.55	c (11,0) x[93] = 3
73.23/14.55	c (11,0) x[94] = 43
73.23/14.55	c (11,0) x[97] = 3
73.23/14.55	c (11,0) x[99] = 41
73.23/14.55	s SATISFIABLE
73.23/14.56	v <instantiation>
73.23/14.56	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>
73.23/14.56	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>
73.23/14.56	v </instantiation>
73.23/14.56	c (11,0) Show results End
73.23/14.56	c (11,0) Heap : 187 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
73.23/14.56	c (11,0) 11,11,STOP-AFTER(ALL)
73.23/14.56	c END-Prog: Tue Sep 24 18:02:20 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 (11878 MiB free)
  memory of node 1: 16384 MiB (9757 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405556-1569340967/watcher-4405556-1569340967 -o /var/tmp/evaluation-result-4405556-1569340967/solver-4405556-1569340967 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --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-4405556-1569340967.xml 

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

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

solver pid=19570, runsolver pid=19567

[startup+0.100172 s]*
/proc/loadavg: 7.81 7.79 7.34 2/214 19592
/proc/meminfo: memFree=22062064/32770624 swapFree=67002364/67108860
[pid=19570] ppid=19567 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19570/stat : 19570 (scop.sh) S 19567 19570 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510010618 115843072 349 33554432000 4194304 5098028 140728065679904 140728065677160 140158342722172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20676608 140728065688316 140728065688664 140728065688664 140728065691593 0
/proc/19570/statm: 28282 349 296 221 0 87 0
[pid=19573] ppid=19570 vsize=27314120 memory=106064 CPUtime=0.1 cores=0-7
/proc/19573/stat : 19573 (java) S 19570 19570 18490 0 -1 1077944320 6632 0 0 0 8 2 0 0 20 0 20 0 510010618 27969658880 26516 33554432000 4194304 4196468 140725473126768 140725473109312 139992916762359 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
/proc/19573/statm: 6828530 26516 2754 1 0 6790935 0
[pid=19573/tid=19574] ppid=19570 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/19573/task/19574/stat : 19574 (java) R 19570 19570 18490 0 -1 4202560 4737 0 0 0 7 2 0 0 20 0 20 0 510010619 27969658880 26516 33554432000 4194304 4196468 140725473126768 139992888584640 139992916784285 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19575] ppid=19570 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19573/task/19575/stat : 19575 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 26516 33554432000 4194304 4196468 140725473126768 139992921004560 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19576] ppid=19570 vsize=27314120 memory=140535916291712 CPUtime=0 cores=0-7
/proc/19573/task/19576/stat : 19576 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 26516 33554432000 4194304 4196468 140725473126768 139992735160976 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19577] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19577/stat : 19577 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 26516 33554432000 4194304 4196468 140725473126768 139992734107920 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19578] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19578/stat : 19578 (java) S 19570 19570 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 26516 33554432000 4194304 4196468 140725473126768 139992733055376 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19579] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19579/stat : 19579 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 26516 33554432000 4194304 4196468 140725473126768 139992732003344 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19580] ppid=19570 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19573/task/19580/stat : 19580 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 26581 33554432000 4194304 4196468 140725473126768 139992730950800 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19581] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19581/stat : 19581 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 26581 33554432000 4194304 4196468 140725473126768 139992729897744 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19582] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19582/stat : 19582 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 26581 33554432000 4194304 4196468 140725473126768 139992728845200 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19583] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19583/stat : 19583 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010623 27969658880 26581 33554432000 4194304 4196468 140725473126768 139991839656176 139992916773506 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19584] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19584/stat : 19584 (java) S 19570 19570 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510010623 27969658880 26581 33554432000 4194304 4196468 140725473126768 139990835127456 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19585] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19585/stat : 19585 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010623 27969658880 26581 33554432000 4194304 4196468 140725473126768 139990566691568 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19586] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19586/stat : 19586 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 26581 33554432000 4194304 4196468 140725473126768 139990192183248 139992916780955 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19587] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19587/stat : 19587 (java) S 19570 19570 18490 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 26581 33554432000 4194304 4196468 140725473126768 139991838604016 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19588] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19588/stat : 19588 (java) S 19570 19570 18490 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 26581 33554432000 4194304 4196468 140725473126768 139991837551472 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19589] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19589/stat : 19589 (java) S 19570 19570 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 26581 33554432000 4194304 4196468 140725473126768 139991836498416 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19590] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19590/stat : 19590 (java) S 19570 19570 18490 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 26581 33554432000 4194304 4196468 140725473126768 139991835445872 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19591] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19591/stat : 19591 (java) S 19570 19570 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 26581 33554432000 4194304 4196468 140725473126768 139989694278112 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19592] ppid=19570 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19573/task/19592/stat : 19592 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 26581 33554432000 4194304 4196468 140725473126768 139991834393264 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107460 KiB

[startup+0.21072 s]*
/proc/loadavg: 7.81 7.79 7.34 4/214 19592
/proc/meminfo: memFree=22038816/32770624 swapFree=67002364/67108860
[pid=19570] ppid=19567 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19570/stat : 19570 (scop.sh) S 19567 19570 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510010618 115843072 349 33554432000 4194304 5098028 140728065679904 140728065677160 140158342722172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20676608 140728065688316 140728065688664 140728065688664 140728065691593 0
/proc/19570/statm: 28282 349 296 221 0 87 0
[pid=19573] ppid=19570 vsize=27314120 memory=125424 CPUtime=0.25 cores=0-7
/proc/19573/stat : 19573 (java) S 19570 19570 18490 0 -1 1077944320 12268 0 0 0 21 4 0 0 20 0 20 0 510010618 27969658880 31356 33554432000 4194304 4196468 140725473126768 140725473109312 139992916762359 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
/proc/19573/statm: 6828530 31356 2919 1 0 6790935 0
[pid=19573/tid=19574] ppid=19570 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19573/task/19574/stat : 19574 (java) R 19570 19570 18490 0 -1 4202560 9988 0 0 0 17 3 0 0 20 0 20 0 510010619 27969658880 31356 33554432000 4194304 4196468 140725473126768 139992888569920 139992916776246 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19575] ppid=19570 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/19573/task/19575/stat : 19575 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 31356 33554432000 4194304 4196468 140725473126768 139992921004560 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19576] ppid=19570 vsize=27314120 memory=288370912068003456 CPUtime=0 cores=0-7
/proc/19573/task/19576/stat : 19576 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 31356 33554432000 4194304 4196468 140725473126768 139992735160976 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19577] ppid=19570 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19573/task/19577/stat : 19577 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 31356 33554432000 4194304 4196468 140725473126768 139992734107920 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19578] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19578/stat : 19578 (java) S 19570 19570 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 31356 33554432000 4194304 4196468 140725473126768 139992733055376 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19579] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19579/stat : 19579 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 31356 33554432000 4194304 4196468 140725473126768 139992732003344 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19580] ppid=19570 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19573/task/19580/stat : 19580 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 31356 33554432000 4194304 4196468 140725473126768 139992730950800 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19581] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19581/stat : 19581 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 31356 33554432000 4194304 4196468 140725473126768 139992729897744 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19582] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19582/stat : 19582 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 31356 33554432000 4194304 4196468 140725473126768 139992728845200 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19583] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19583/stat : 19583 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010623 27969658880 31356 33554432000 4194304 4196468 140725473126768 139991839656176 139992916773506 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19584] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19584/stat : 19584 (java) S 19570 19570 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510010623 27969658880 31356 33554432000 4194304 4196468 140725473126768 139990835127456 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19585] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19585/stat : 19585 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010623 27969658880 31356 33554432000 4194304 4196468 140725473126768 139990566691568 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19586] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19586/stat : 19586 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 31356 33554432000 4194304 4196468 140725473126768 139990192183248 139992916780955 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19587] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19587/stat : 19587 (java) S 19570 19570 18490 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 31356 33554432000 4194304 4196468 140725473126768 139991838604016 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19588] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19588/stat : 19588 (java) S 19570 19570 18490 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 31356 33554432000 4194304 4196468 140725473126768 139991837551472 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19589] ppid=19570 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19573/task/19589/stat : 19589 (java) S 19570 19570 18490 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 31356 33554432000 4194304 4196468 140725473126768 139991836498416 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19590] ppid=19570 vsize=27314120 memory=-1 CPUtime=0.03 cores=0-7
/proc/19573/task/19590/stat : 19590 (java) S 19570 19570 18490 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 20 0 510010626 27969658880 31356 33554432000 4194304 4196468 140725473126768 139991835445872 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19591] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19591/stat : 19591 (java) S 19570 19570 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 31356 33554432000 4194304 4196468 140725473126768 139989694278112 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19592] ppid=19570 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19573/task/19592/stat : 19592 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 31356 33554432000 4194304 4196468 140725473126768 139991834393264 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126820 KiB

[startup+0.310027 s]*
/proc/loadavg: 7.81 7.79 7.34 2/214 19592
/proc/meminfo: memFree=22035404/32770624 swapFree=67002364/67108860
[pid=19570] ppid=19567 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19570/stat : 19570 (scop.sh) S 19567 19570 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510010618 115843072 349 33554432000 4194304 5098028 140728065679904 140728065677160 140158342722172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20676608 140728065688316 140728065688664 140728065688664 140728065691593 0
/proc/19570/statm: 28282 349 296 221 0 87 0
[pid=19573] ppid=19570 vsize=27314120 memory=129592 CPUtime=0.42 cores=0-7
/proc/19573/stat : 19573 (java) S 19570 19570 18490 0 -1 1077944320 13277 0 0 0 37 5 0 0 20 0 20 0 510010618 27969658880 32398 33554432000 4194304 4196468 140725473126768 140725473109312 139992916762359 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
/proc/19573/statm: 6828530 32398 3011 1 0 6790935 0
[pid=19573/tid=19574] ppid=19570 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/19573/task/19574/stat : 19574 (java) R 19570 19570 18490 0 -1 4202560 10803 0 0 0 25 4 0 0 20 0 20 0 510010619 27969658880 32398 33554432000 4194304 4196468 140725473126768 139992888592432 139992897037689 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19575] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19575/stat : 19575 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 32398 33554432000 4194304 4196468 140725473126768 139992921004560 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19576] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19576/stat : 19576 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 32398 33554432000 4194304 4196468 140725473126768 139992735160976 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19577] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19577/stat : 19577 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 32398 33554432000 4194304 4196468 140725473126768 139992734107920 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19578] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19578/stat : 19578 (java) S 19570 19570 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 32398 33554432000 4194304 4196468 140725473126768 139992733055376 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19579] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19579/stat : 19579 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 32398 33554432000 4194304 4196468 140725473126768 139992732003344 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19580] ppid=19570 vsize=27314120 memory=140535759202991 CPUtime=0 cores=0-7
/proc/19573/task/19580/stat : 19580 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 32398 33554432000 4194304 4196468 140725473126768 139992730950800 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19581] ppid=19570 vsize=27314120 memory=140535759205296 CPUtime=0 cores=0-7
/proc/19573/task/19581/stat : 19581 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 32398 33554432000 4194304 4196468 140725473126768 139992729897744 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19582] ppid=19570 vsize=27314120 memory=140535759207600 CPUtime=0 cores=0-7
/proc/19573/task/19582/stat : 19582 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27969658880 32398 33554432000 4194304 4196468 140725473126768 139992728845200 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19583] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19583/stat : 19583 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010623 27969658880 32398 33554432000 4194304 4196468 140725473126768 139991839656176 139992916773506 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19584] ppid=19570 vsize=27314120 memory=281071518429072 CPUtime=0 cores=0-7
/proc/19573/task/19584/stat : 19584 (java) S 19570 19570 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510010623 27969658880 32398 33554432000 4194304 4196468 140725473126768 139990835127456 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19585] ppid=19570 vsize=27314120 memory=281071518426768 CPUtime=0 cores=0-7
/proc/19573/task/19585/stat : 19585 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010623 27969658880 32398 33554432000 4194304 4196468 140725473126768 139990566691568 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19586] ppid=19570 vsize=27314120 memory=281071518433680 CPUtime=0 cores=0-7
/proc/19573/task/19586/stat : 19586 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 32398 33554432000 4194304 4196468 140725473126768 139990192183248 139992916780955 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19587] ppid=19570 vsize=27314120 memory=281071518374960 CPUtime=0 cores=0-7
/proc/19573/task/19587/stat : 19587 (java) S 19570 19570 18490 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 32398 33554432000 4194304 4196468 140725473126768 139991838604016 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19588] ppid=19570 vsize=27314120 memory=281071518447504 CPUtime=0.02 cores=0-7
/proc/19573/task/19588/stat : 19588 (java) S 19570 19570 18490 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 20 0 510010626 27969658880 32398 33554432000 4194304 4196468 140725473126768 139991837551472 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19589] ppid=19570 vsize=27314120 memory=281071518454416 CPUtime=0.01 cores=0-7
/proc/19573/task/19589/stat : 19589 (java) S 19570 19570 18490 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 510010626 27969658880 32398 33554432000 4194304 4196468 140725473126768 139991836498416 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19590] ppid=19570 vsize=27314120 memory=281071518452112 CPUtime=0.07 cores=0-7
/proc/19573/task/19590/stat : 19590 (java) S 19570 19570 18490 0 -1 1077944384 493 0 0 0 7 0 0 0 20 0 20 0 510010626 27969658880 32398 33554432000 4194304 4196468 140725473126768 139991835445872 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19591] ppid=19570 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19591/stat : 19591 (java) S 19570 19570 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 32398 33554432000 4194304 4196468 140725473126768 139989694278112 139992916772565 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19592] ppid=19570 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19573/task/19592/stat : 19592 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010626 27969658880 32398 33554432000 4194304 4196468 140725473126768 139991834393264 139992916773506 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130988 KiB

[startup+0.700966 s]
/proc/loadavg: 7.81 7.79 7.34 3/214 19592
/proc/meminfo: memFree=22014656/32770624 swapFree=67002364/67108860
[pid=19570] ppid=19567 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19570/stat : 19570 (scop.sh) S 19567 19570 18490 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510010618 115843072 349 33554432000 4194304 5098028 140728065679904 140728065677160 140158342722172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20676608 140728065688316 140728065688664 140728065688664 140728065691593 0
/proc/19570/statm: 28282 349 296 221 0 87 0
[pid=19573] ppid=19570 vsize=27322440 memory=165932 CPUtime=0.99 cores=0-7
/proc/19573/stat : 19573 (java) S 19570 19570 18490 0 -1 1077944320 20553 0 0 0 91 8 0 0 20 0 20 0 510010618 27978178560 41483 33554432000 4194304 4196468 140725473126768 140725473109312 139992916762359 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
/proc/19573/statm: 6830610 41483 3190 1 0 6791959 0
[pid=19573/tid=19574] ppid=19570 vsize=27322440 memory=0 CPUtime=0.67 cores=0-7
/proc/19573/task/19574/stat : 19574 (java) R 19570 19570 18490 0 -1 4202560 17463 0 0 0 61 6 0 0 20 0 20 0 510010619 27978178560 41483 33554432000 4194304 4196468 140725473126768 139992888591648 139992916783706 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19575] ppid=19570 vsize=27322440 memory=140535759414128 CPUtime=0 cores=0-7
/proc/19573/task/19575/stat : 19575 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27978178560 41483 33554432000 4194304 4196468 140725473126768 139992921004560 139992916772565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19576] ppid=19570 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/19573/task/19576/stat : 19576 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510010621 27978178560 41483 33554432000 4194304 4196468 140725473126768 139992735160976 139992916772565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0
[pid=19573/tid=19577] ppid=19570 vsize=27322440 memory=1056 CPUtime=0 cores=0-7
/proc/19573/task/19577/stat : 19577 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510010621 27978178560 41483 33554432000 4194304 4196468 140725473126768 139992734107920 139992916772565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38318080 140725473129158 140725473129606 140725473129606 140725473132495 0

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

[pid=19593/tid=19595] ppid=19570 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19593/task/19595/stat : 19595 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510010910 8616062976 30477 33554432000 4194304 4196468 140725747719824 140551473871888 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19596] ppid=19570 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19593/task/19596/stat : 19596 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510010910 8616062976 30477 33554432000 4194304 4196468 140725747719824 140551274040464 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19597] ppid=19570 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19593/task/19597/stat : 19597 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510010910 8616062976 30477 33554432000 4194304 4196468 140725747719824 140551272987408 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19598] ppid=19570 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19593/task/19598/stat : 19598 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510010910 8616062976 30477 33554432000 4194304 4196468 140725747719824 140551271934864 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19599] ppid=19570 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19593/task/19599/stat : 19599 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510010910 8616062976 30477 33554432000 4194304 4196468 140725747719824 140551270881808 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19600] ppid=19570 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19593/task/19600/stat : 19600 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510010910 8616062976 30477 33554432000 4194304 4196468 140725747719824 140551269829264 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19601] ppid=19570 vsize=8414124 memory=7666648712586220647 CPUtime=0 cores=0-7
/proc/19593/task/19601/stat : 19601 (java) S 19570 19570 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510010910 8616062976 30477 33554432000 4194304 4196468 140725747719824 140551268776208 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19602] ppid=19570 vsize=8414124 memory=7686721470284405404 CPUtime=0 cores=0-7
/proc/19593/task/19602/stat : 19602 (java) S 19570 19570 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510010910 8616062976 30477 33554432000 4194304 4196468 140725747719824 140551267723664 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19603] ppid=19570 vsize=8414124 memory=719296 CPUtime=0 cores=0-7
/proc/19593/task/19603/stat : 19603 (java) S 19570 19570 18490 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510010912 8616062976 30477 33554432000 4194304 4196468 140725747719824 140550428953328 140551469640322 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19604] ppid=19570 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/19593/task/19604/stat : 19604 (java) S 19570 19570 18490 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510010912 8616062976 30477 33554432000 4194304 4196468 140725747719824 140550053291680 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19605] ppid=19570 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/19593/task/19605/stat : 19605 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510010912 8616062976 30477 33554432000 4194304 4196468 140725747719824 140549784855792 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19606] ppid=19570 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/19593/task/19606/stat : 19606 (java) S 19570 19570 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510010915 8616062976 30477 33554432000 4194304 4196468 140725747719824 140549410347472 140551469647771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19607] ppid=19570 vsize=8414124 memory=580 CPUtime=0.11 cores=0-7
/proc/19593/task/19607/stat : 19607 (java) S 19570 19570 18490 0 -1 1077944384 816 0 0 0 11 0 0 0 20 0 24 0 510010915 8616062976 30477 33554432000 4194304 4196468 140725747719824 140550427900144 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19608] ppid=19570 vsize=8414124 memory=1692 CPUtime=0.08 cores=0-7
/proc/19593/task/19608/stat : 19608 (java) S 19570 19570 18490 0 -1 1077944384 294 0 0 0 8 0 0 0 20 0 24 0 510010915 8616062976 30477 33554432000 4194304 4196468 140725747719824 140550426847600 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19609] ppid=19570 vsize=8414124 memory=33 CPUtime=0.09 cores=0-7
/proc/19593/task/19609/stat : 19609 (java) S 19570 19570 18490 0 -1 1077944384 347 0 0 0 9 0 0 0 20 0 24 0 510010915 8616062976 30477 33554432000 4194304 4196468 140725747719824 140550425794544 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19611] ppid=19570 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/19593/task/19611/stat : 19611 (java) S 19570 19570 18490 0 -1 1077944384 610 0 0 0 24 0 0 0 20 0 24 0 510010915 8616062976 30477 33554432000 4194304 4196468 140725747719824 140550424742000 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19612] ppid=19570 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19593/task/19612/stat : 19612 (java) S 19570 19570 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510010915 8616062976 30477 33554432000 4194304 4196468 140725747719824 140548912442336 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19613] ppid=19570 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19593/task/19613/stat : 19613 (java) S 19570 19570 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510010915 8616062976 30477 33554432000 4194304 4196468 140725747719824 140550423690416 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19615] ppid=19570 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19593/task/19615/stat : 19615 (java) S 19570 19570 18490 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510010986 8616062976 30477 33554432000 4194304 4196468 140725747719824 140550415656384 140551469653785 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19617] ppid=19570 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19593/task/19617/stat : 19617 (java) S 19570 19570 18490 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510010986 8616062976 30477 33554432000 4194304 4196468 140725747719824 140548241342000 140551469651101 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19618] ppid=19570 vsize=8414124 memory=3472592183261933599 CPUtime=0 cores=0-7
/proc/19593/task/19618/stat : 19618 (java) S 19570 19570 18490 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510010986 8616062976 30477 33554432000 4194304 4196468 140725747719824 140548509777584 140551469651101 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19619] ppid=19570 vsize=8414124 memory=3689327941268025394 CPUtime=0 cores=0-7
/proc/19593/task/19619/stat : 19619 (java) S 19570 19570 18490 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510010989 8616062976 30477 33554432000 4194304 4196468 140725747719824 140547972914096 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
Current children cumulated CPU time: 72.42 s
Current children cumulated vsize: 9784716 KiB
Current children cumulated memory: 849632 KiB

[startup+14.4011 s]
/proc/loadavg: 6.83 7.57 7.28 2/219 19627
/proc/meminfo: memFree=21306208/32770624 swapFree=67002364/67108860
[pid=19570] ppid=19567 vsize=113128 memory=1476 CPUtime=4.67 cores=0-7
/proc/19570/stat : 19570 (scop.sh) S 19567 19570 18490 0 -1 4202496 582 25475 0 0 0 0 434 33 20 0 1 0 510010618 115843072 369 33554432000 4194304 5098028 140728065679904 140728065676648 140158342722172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20676608 140728065688316 140728065688664 140728065688664 140728065691593 0
/proc/19570/statm: 28282 369 311 221 0 87 0
[pid=19593] ppid=19570 vsize=8414124 memory=168180 CPUtime=68.35 cores=0-7
/proc/19593/stat : 19593 (java) S 19570 19570 18490 0 -1 1077944320 21805 403979 0 0 152 10 6580 93 20 0 23 0 510010908 8616062976 42045 33554432000 4194304 4196468 140725747719824 140725747702368 140551469629175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
/proc/19593/statm: 2103531 42045 3224 1 0 2064875 0
[pid=19593/tid=19594] ppid=19570 vsize=8414124 memory=6164 CPUtime=67.54 cores=0-7
/proc/19593/task/19594/stat : 19594 (java) S 19570 19570 18490 0 -1 1077944384 17477 403979 0 0 74 7 6580 93 20 0 23 0 510010909 8616062976 42045 33554432000 4194304 4196468 140725747719824 140551441469344 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19595] ppid=19570 vsize=8414124 memory=1476 CPUtime=66.73 cores=0-7
/proc/19593/task/19595/stat : 19595 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 23 0 510010910 8616062976 42045 33554432000 4194304 4196468 140725747719824 140551473871888 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19596] ppid=19570 vsize=8414124 memory=121908 CPUtime=66.73 cores=0-7
/proc/19593/task/19596/stat : 19596 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 23 0 510010910 8616062976 42045 33554432000 4194304 4196468 140725747719824 140551274040464 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19597] ppid=19570 vsize=8414124 memory=723528 CPUtime=66.73 cores=0-7
/proc/19593/task/19597/stat : 19597 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 23 0 510010910 8616062976 42045 33554432000 4194304 4196468 140725747719824 140551272987408 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19598] ppid=19570 vsize=8414124 memory=1720 CPUtime=66.73 cores=0-7
/proc/19593/task/19598/stat : 19598 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 23 0 510010910 8616062976 42045 33554432000 4194304 4196468 140725747719824 140551271934864 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19599] ppid=19570 vsize=8414124 memory=56 CPUtime=66.73 cores=0-7
/proc/19593/task/19599/stat : 19599 (java) S 19570 19570 18490 0 -1 1077944384 2 403979 0 0 0 0 6580 93 20 0 23 0 510010910 8616062976 42045 33554432000 4194304 4196468 140725747719824 140551270881808 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19600] ppid=19570 vsize=8414124 memory=13898 CPUtime=66.73 cores=0-7
/proc/19593/task/19600/stat : 19600 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 23 0 510010910 8616062976 42045 33554432000 4194304 4196468 140725747719824 140551269829264 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19601] ppid=19570 vsize=8414124 memory=23464 CPUtime=66.73 cores=0-7
/proc/19593/task/19601/stat : 19601 (java) S 19570 19570 18490 0 -1 1077944384 2 403979 0 0 0 0 6580 93 20 0 23 0 510010910 8616062976 42045 33554432000 4194304 4196468 140725747719824 140551268776208 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19602] ppid=19570 vsize=8414124 memory=0 CPUtime=66.73 cores=0-7
/proc/19593/task/19602/stat : 19602 (java) S 19570 19570 18490 0 -1 1077944384 3 403979 0 0 0 0 6580 93 20 0 23 0 510010910 8616062976 42045 33554432000 4194304 4196468 140725747719824 140551267723664 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19603] ppid=19570 vsize=8414124 memory=164 CPUtime=66.73 cores=0-7
/proc/19593/task/19603/stat : 19603 (java) S 19570 19570 18490 0 -1 1077944384 7 403979 0 0 0 0 6580 93 20 0 23 0 510010912 8616062976 42045 33554432000 4194304 4196468 140725747719824 140550428953328 140551469640322 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19604] ppid=19570 vsize=8414124 memory=7649399371329845553 CPUtime=66.73 cores=0-7
/proc/19593/task/19604/stat : 19604 (java) S 19570 19570 18490 0 -1 1077944384 13 403979 0 0 0 0 6580 93 20 0 23 0 510010912 8616062976 42045 33554432000 4194304 4196468 140725747719824 140550053291680 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19605] ppid=19570 vsize=8414124 memory=7649399379919780145 CPUtime=66.73 cores=0-7
/proc/19593/task/19605/stat : 19605 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 23 0 510010912 8616062976 42045 33554432000 4194304 4196468 140725747719824 140549784855792 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19606] ppid=19570 vsize=8414124 memory=7649399388509714737 CPUtime=66.73 cores=0-7
/proc/19593/task/19606/stat : 19606 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 23 0 510010915 8616062976 42045 33554432000 4194304 4196468 140725747719824 140549410347472 140551469647771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19607] ppid=19570 vsize=8414124 memory=726248 CPUtime=66.87 cores=0-7
/proc/19593/task/19607/stat : 19607 (java) S 19570 19570 18490 0 -1 1077944384 829 403979 0 0 14 0 6580 93 20 0 23 0 510010915 8616062976 42045 33554432000 4194304 4196468 140725747719824 140550427900144 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19608] ppid=19570 vsize=8414124 memory=1476 CPUtime=66.84 cores=0-7
/proc/19593/task/19608/stat : 19608 (java) S 19570 19570 18490 0 -1 1077944384 305 403979 0 0 11 0 6580 93 20 0 23 0 510010915 8616062976 42045 33554432000 4194304 4196468 140725747719824 140550426847600 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19609] ppid=19570 vsize=8414124 memory=121908 CPUtime=66.86 cores=0-7
/proc/19593/task/19609/stat : 19609 (java) R 19570 19570 18490 0 -1 4202560 669 403979 0 0 13 0 6580 93 20 0 23 0 510010915 8616062976 42045 33554432000 4194304 4196468 140725747719824 140550425783808 140551451173726 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19611] ppid=19570 vsize=8414124 memory=724240 CPUtime=67.01 cores=0-7
/proc/19593/task/19611/stat : 19611 (java) S 19570 19570 18490 0 -1 1077944384 1064 403979 0 0 28 0 6580 93 20 0 23 0 510010915 8616062976 42045 33554432000 4194304 4196468 140725747719824 140550424742000 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19612] ppid=19570 vsize=8414124 memory=0 CPUtime=66.73 cores=0-7
/proc/19593/task/19612/stat : 19612 (java) S 19570 19570 18490 0 -1 1077944384 3 403979 0 0 0 0 6580 93 20 0 23 0 510010915 8616062976 42045 33554432000 4194304 4196468 140725747719824 140548912442336 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19613] ppid=19570 vsize=8414124 memory=288230574492221466 CPUtime=66.73 cores=0-7
/proc/19593/task/19613/stat : 19613 (java) S 19570 19570 18490 0 -1 1077944384 3 403979 0 0 0 0 6580 93 20 0 23 0 510010915 8616062976 42045 33554432000 4194304 4196468 140725747719824 140550423690416 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19615] ppid=19570 vsize=8414124 memory=317222518652141883 CPUtime=66.73 cores=0-7
/proc/19593/task/19615/stat : 19615 (java) S 19570 19570 18490 0 -1 1077944384 24 403979 0 0 0 0 6580 93 20 0 23 0 510010986 8616062976 42045 33554432000 4194304 4196468 140725747719824 140550415655568 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19617] ppid=19570 vsize=8414124 memory=15816698942984824 CPUtime=66.83 cores=0-7
/proc/19593/task/19617/stat : 19617 (java) R 19570 19570 18490 0 -1 4202560 69 403979 0 0 9 1 6580 93 20 0 23 0 510010986 8616062976 42045 33554432000 4194304 4196468 140725747719824 140548241342096 140550945986119 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19619] ppid=19570 vsize=8414124 memory=121908 CPUtime=66.73 cores=0-7
/proc/19593/task/19619/stat : 19619 (java) S 19570 19570 18490 0 -1 1077944384 4 403979 0 0 0 0 6580 93 20 0 23 0 510010989 8616062976 42045 33554432000 4194304 4196468 140725747719824 140547972913856 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
Current children cumulated CPU time: 73.02 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 169656 KiB

[startup+14.501 s]
/proc/loadavg: 6.83 7.57 7.28 2/219 19627
/proc/meminfo: memFree=21306208/32770624 swapFree=67002364/67108860
[pid=19570] ppid=19567 vsize=113128 memory=1476 CPUtime=4.67 cores=0-7
/proc/19570/stat : 19570 (scop.sh) S 19567 19570 18490 0 -1 4202496 582 25475 0 0 0 0 434 33 20 0 1 0 510010618 115843072 369 33554432000 4194304 5098028 140728065679904 140728065676648 140158342722172 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20676608 140728065688316 140728065688664 140728065688664 140728065691593 0
/proc/19570/statm: 28282 369 311 221 0 87 0
[pid=19593] ppid=19570 vsize=8283048 memory=175580 CPUtime=68.56 cores=0-7
/proc/19593/stat : 19593 (java) S 19570 19570 18490 0 -1 1077944320 22047 403979 0 0 172 11 6580 93 20 0 22 0 510010908 8481841152 43895 33554432000 4194304 4196468 140725747719824 140725747702368 140551469629175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
/proc/19593/statm: 2070762 43895 3230 1 0 2032106 0
[pid=19593/tid=19594] ppid=19570 vsize=8283048 memory=123680 CPUtime=67.58 cores=0-7
/proc/19593/task/19594/stat : 19594 (java) R 19570 19570 18490 0 -1 4202560 17631 403979 0 0 78 7 6580 93 20 0 22 0 510010909 8481841152 43895 33554432000 4194304 4196468 140725747719824 140551441465120 140551453709662 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19595] ppid=19570 vsize=8283048 memory=1476 CPUtime=66.73 cores=0-7
/proc/19593/task/19595/stat : 19595 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 22 0 510010910 8481841152 43895 33554432000 4194304 4196468 140725747719824 140551473871888 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19596] ppid=19570 vsize=8283048 memory=0 CPUtime=66.73 cores=0-7
/proc/19593/task/19596/stat : 19596 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 22 0 510010910 8481841152 43895 33554432000 4194304 4196468 140725747719824 140551274040464 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19597] ppid=19570 vsize=8283048 memory=0 CPUtime=66.73 cores=0-7
/proc/19593/task/19597/stat : 19597 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 22 0 510010910 8481841152 43895 33554432000 4194304 4196468 140725747719824 140551272987408 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19598] ppid=19570 vsize=8283048 memory=0 CPUtime=66.73 cores=0-7
/proc/19593/task/19598/stat : 19598 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 22 0 510010910 8481841152 43895 33554432000 4194304 4196468 140725747719824 140551271934864 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19599] ppid=19570 vsize=8283048 memory=1476 CPUtime=66.73 cores=0-7
/proc/19593/task/19599/stat : 19599 (java) S 19570 19570 18490 0 -1 1077944384 2 403979 0 0 0 0 6580 93 20 0 22 0 510010910 8481841152 43895 33554432000 4194304 4196468 140725747719824 140551270881808 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19600] ppid=19570 vsize=8283048 memory=121908 CPUtime=66.73 cores=0-7
/proc/19593/task/19600/stat : 19600 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 22 0 510010910 8481841152 43895 33554432000 4194304 4196468 140725747719824 140551269829264 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19601] ppid=19570 vsize=8283048 memory=713008 CPUtime=66.73 cores=0-7
/proc/19593/task/19601/stat : 19601 (java) S 19570 19570 18490 0 -1 1077944384 2 403979 0 0 0 0 6580 93 20 0 22 0 510010910 8481841152 43895 33554432000 4194304 4196468 140725747719824 140551268776208 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19602] ppid=19570 vsize=8283048 memory=3616 CPUtime=66.73 cores=0-7
/proc/19593/task/19602/stat : 19602 (java) S 19570 19570 18490 0 -1 1077944384 3 403979 0 0 0 0 6580 93 20 0 22 0 510010910 8481841152 43895 33554432000 4194304 4196468 140725747719824 140551267723664 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19603] ppid=19570 vsize=8283048 memory=62932 CPUtime=66.73 cores=0-7
/proc/19593/task/19603/stat : 19603 (java) S 19570 19570 18490 0 -1 1077944384 7 403979 0 0 0 0 6580 93 20 0 22 0 510010912 8481841152 43895 33554432000 4194304 4196468 140725747719824 140550428953328 140551469640322 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19604] ppid=19570 vsize=8283048 memory=988 CPUtime=66.73 cores=0-7
/proc/19593/task/19604/stat : 19604 (java) S 19570 19570 18490 0 -1 1077944384 13 403979 0 0 0 0 6580 93 20 0 22 0 510010912 8481841152 43895 33554432000 4194304 4196468 140725747719824 140550053291680 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19605] ppid=19570 vsize=8283048 memory=3616 CPUtime=66.73 cores=0-7
/proc/19593/task/19605/stat : 19605 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 22 0 510010912 8481841152 43895 33554432000 4194304 4196468 140725747719824 140549784855792 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19606] ppid=19570 vsize=8283048 memory=62932 CPUtime=66.73 cores=0-7
/proc/19593/task/19606/stat : 19606 (java) S 19570 19570 18490 0 -1 1077944384 1 403979 0 0 0 0 6580 93 20 0 22 0 510010915 8481841152 43895 33554432000 4194304 4196468 140725747719824 140549410347472 140551469647771 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19607] ppid=19570 vsize=8283048 memory=988 CPUtime=66.88 cores=0-7
/proc/19593/task/19607/stat : 19607 (java) S 19570 19570 18490 0 -1 1077944384 836 403979 0 0 15 0 6580 93 20 0 22 0 510010915 8481841152 43895 33554432000 4194304 4196468 140725747719824 140550427900144 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19608] ppid=19570 vsize=8283048 memory=168328358304022 CPUtime=66.88 cores=0-7
/proc/19593/task/19608/stat : 19608 (java) R 19570 19570 18490 0 -1 1077944384 323 403979 0 0 15 0 6580 93 20 0 22 0 510010915 8481841152 43895 33554432000 4194304 4196468 140725747719824 140550426847600 140551469640322 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19609] ppid=19570 vsize=8283048 memory=-2897801490638248215 CPUtime=66.89 cores=0-7
/proc/19593/task/19609/stat : 19609 (java) S 19570 19570 18490 0 -1 1077944384 673 403979 0 0 16 0 6580 93 20 0 22 0 510010915 8481841152 43895 33554432000 4194304 4196468 140725747719824 140550425794544 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19611] ppid=19570 vsize=8283048 memory=0 CPUtime=67.03 cores=0-7
/proc/19593/task/19611/stat : 19611 (java) R 19570 19570 18490 0 -1 4202560 1108 403979 0 0 30 0 6580 93 20 0 22 0 510010915 8481841152 43895 33554432000 4194304 4196468 140725747719824 140550424742000 140551469650522 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19612] ppid=19570 vsize=8283048 memory=0 CPUtime=66.73 cores=0-7
/proc/19593/task/19612/stat : 19612 (java) S 19570 19570 18490 0 -1 1077944384 3 403979 0 0 0 0 6580 93 20 0 22 0 510010915 8481841152 43895 33554432000 4194304 4196468 140725747719824 140548912442336 140551469639381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19613] ppid=19570 vsize=8283048 memory=137 CPUtime=66.73 cores=0-7
/proc/19593/task/19613/stat : 19613 (java) S 19570 19570 18490 0 -1 1077944384 3 403979 0 0 0 0 6580 93 20 0 22 0 510010915 8481841152 43895 33554432000 4194304 4196468 140725747719824 140550423690416 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19615] ppid=19570 vsize=8283048 memory=252 CPUtime=66.73 cores=0-7
/proc/19593/task/19615/stat : 19615 (java) S 19570 19570 18490 0 -1 1077944384 24 403979 0 0 0 0 6580 93 20 0 22 0 510010986 8481841152 43895 33554432000 4194304 4196468 140725747719824 140550415655568 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
[pid=19593/tid=19619] ppid=19570 vsize=8283048 memory=121908 CPUtime=66.73 cores=0-7
/proc/19593/task/19619/stat : 19619 (java) S 19570 19570 18490 0 -1 1077944384 11 403979 0 0 0 0 6580 93 20 0 22 0 510010989 8481841152 43895 33554432000 4194304 4196468 140725747719824 140547972915888 140551469640322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38522880 140725747721183 140725747721350 140725747721350 140725747724239 0
Current children cumulated CPU time: 73.23 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 177056 KiB

Child status: 0
Real time (s): 14.5726
CPU time (s): 73.3904
CPU user time (s): 71.9964
CPU system time (s): 1.39397
CPU usage (%): 503.62
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1334748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.9964
system time used= 1.39397
maximum resident set size= 1339020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 452342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10834
involuntary context switches= 687


# summary of solver processes directly reported to runsolver:
#   pid: 19570
#   total CPU time (s): 73.3904
#   total CPU user time (s): 71.9964
#   total CPU system time (s): 1.39397

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.137832 second user time and 0.241473 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-24 18:02:05
IDJOB=4405556
IDBENCH=133381
IDSOLVER=2868
FILE ID=node146/4405556-1569340967
RUNJOBID= node146-1569335937-18517
PBS_JOBID= 21705051
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405556-1569340967/watcher-4405556-1569340967 -o /var/tmp/evaluation-result-4405556-1569340967/solver-4405556-1569340967 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --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-4405556-1569340967.xml

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

MD5SUM BENCH= d26c1a16a8e9a423ebbeb7c1b2e2b431
RANDOM SEED=586788715

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        22154108 kB
MemAvailable:   31840952 kB
Buffers:          141600 kB
Cached:          9583420 kB
SwapCached:         3568 kB
Active:          4822028 kB
Inactive:        4908452 kB
Active(anon):       5236 kB
Inactive(anon):    56464 kB
Active(file):    4816792 kB
Inactive(file):  4851988 kB
Unevictable:      110892 kB
Mlocked:          110892 kB
SwapTotal:      67108860 kB
SwapFree:       67002364 kB
Dirty:             20684 kB
Writeback:             0 kB
AnonPages:        132492 kB
Mapped:            57048 kB
Shmem:             47620 kB
Slab:             475240 kB
SReclaimable:     446524 kB
SUnreclaim:        28716 kB
KernelStack:        3760 kB
PageTables:         5220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node146 at 2019-09-24 18:02:20