Trace number 4405613

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 691.307 93.5058

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-60-3-7.xml
MD5SUM24593adebe844e759ba30cbfe45e1115
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 benchmark71.7379
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":97}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":3},{"degree":1,"count":4},{"degree":2,"count":14},{"degree":3,"count":20},{"degree":4,"count":25},{"degree":5,"count":13},{"degree":6,"count":10},{"degree":7,"count":8},{"degree":8,"count":1},{"degree":10,"count":1},{"degree":11,"count":1}]
Minimum constraint arity3
Maximum constraint arity10
Distribution of constraint arities[{"arity":3,"count":6},{"arity":4,"count":7},{"arity":5,"count":12},{"arity":6,"count":1},{"arity":7,"count":9},{"arity":8,"count":7},{"arity":9,"count":9},{"arity":10,"count":9}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":60}]
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-32621-serial-file.bin HOME/instance-4405613-1569341065.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.56	c BEGIN-Prog: Tue Sep 24 18:03:45 CEST 2019
0.65/0.56	c PID: 32624
0.65/0.56	c IP: 172.20.3.119
0.65/0.56	c HOST: node119.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.40/0.92	c (0,0) Parsing End
1.40/0.93	c (0,0) CSP: 97 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 28
1.40/0.93	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.93	c (0,0) Constraint Name Generate Begin
1.40/0.93	c (0,0) Ctr:HOME/instance-4405613-1569341065.xml,Num:Var:WeightedSum
1.40/0.93	c (0,0) Constraint Name Generate End
1.40/0.94	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.94	c (0,0) CSP to CSPinCNF Begin
1.58/1.04	c (0,0) translated 6 (10%) constraints
1.58/1.05	c (0,0) translated 12 (20%) constraints
1.58/1.07	c (0,0) translated 18 (30%) constraints
1.58/1.08	c (0,0) translated 24 (40%) constraints
1.58/1.09	c (0,0) translated 30 (50%) constraints
1.58/1.10	c (0,0) translated 36 (60%) constraints
1.58/1.10	c (0,0) translated 42 (70%) constraints
1.85/1.11	c (0,0) translated 48 (80%) constraints
1.85/1.12	c (0,0) translated 54 (90%) constraints
1.85/1.12	c (0,0) translated 60 (100%) constraints
1.85/1.12	c (0,0) ===========================================
1.85/1.13	c (0,0) Hybrid: #OE=0, #LE=97
1.85/1.13	c (0,0) Hybrid
1.85/1.13	c (0,0) ===========================================
1.85/1.14	c (0,0) translated 6 (10%) constraints
1.85/1.15	c (0,0) translated 12 (20%) constraints
1.85/1.16	c (0,0) translated 18 (30%) constraints
1.85/1.16	c (0,0) translated 24 (40%) constraints
1.85/1.17	c (0,0) translated 30 (50%) constraints
1.85/1.17	c (0,0) translated 36 (60%) constraints
1.85/1.18	c (0,0) translated 42 (70%) constraints
1.85/1.18	c (0,0) translated 48 (80%) constraints
1.85/1.18	c (0,0) translated 54 (90%) constraints
1.85/1.19	c (0,0) translated 60 (100%) constraints
1.85/1.19	c (0,0) CSP to CSPinCNF End
1.85/1.19	c (0,0) CSP: 97 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
1.85/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.85/1.19	c (0,0) CSPinCNF Propagation Begin
2.13/1.21	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.13/1.21	c (0,0) CSPinCNF Propagation End
2.13/1.21	c (0,0) CSP: 97 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
2.13/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.13/1.21	c (0,0) Hybrid: #OE=0, #LE=97
2.13/1.21	c (0,0) Simplify CSPinCNF Begin
2.13/1.22	c (0,0) Simplify CSPinCNF End
2.13/1.22	c (0,0) CSP: 97 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
2.13/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.13/1.22	c (0,0) Calculate Precise Domain Begin
2.13/1.22	c (0,0) 0 values are removed by re-calculation
2.13/1.22	c (0,0) Calculate Precise Domain End
2.13/1.22	c (0,0) CSP: 97 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28
2.13/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.13/1.22	c (0,0) CSPinCNF to SatSolver Begin
3.60/1.72	c (1,1) 12 (10 %) CSP clauses are encoded (0 SAT variables, 125475 SAT clauses)
3.80/1.87	c (1,1) 24 (20 %) CSP clauses are encoded (0 SAT variables, 182160 SAT clauses)
4.08/2.10	c (1,1) 36 (30 %) CSP clauses are encoded (0 SAT variables, 294648 SAT clauses)
4.49/2.54	c (2,1) 48 (40 %) CSP clauses are encoded (0 SAT variables, 460607 SAT clauses)
4.70/2.74	c (2,2) 60 (50 %) CSP clauses are encoded (0 SAT variables, 553150 SAT clauses)
4.80/2.90	c (2,2) 72 (60 %) CSP clauses are encoded (0 SAT variables, 624640 SAT clauses)
5.12/3.14	c (2,2) 84 (70 %) CSP clauses are encoded (0 SAT variables, 738809 SAT clauses)
5.23/3.21	c (2,2) 96 (80 %) CSP clauses are encoded (0 SAT variables, 773770 SAT clauses)
5.34/3.38	c (2,2) 108 (90 %) CSP clauses are encoded (0 SAT variables, 850432 SAT clauses)
5.55/3.50	c (2,2) 120 (100 %) CSP clauses are encoded (0 SAT variables, 908561 SAT clauses)
5.55/3.50	c (2,2) CSPinCNF to SatSolver End
5.55/3.50	c (2,2) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
5.55/3.51	c (2,2) 330527 bool, 908641 clause
5.55/3.51	c (2,2) Export Begin
5.70/3.63	c (3,2) Export to HOME/scop-32621-serial-file.bin
5.70/3.63	c (3,2) Export End
5.70/3.63	c (3,2) Export File Size: 0.09 MB
5.70/3.63	c (3,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.70/3.63	c END-Prog: Tue Sep 24 18:03:48 CEST 2019
5.70/3.66	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32621-serial-file.bin
6.43/4.12	c (0,0) Read Serial File Begin
6.43/4.12	c (0,0) HOME/scop-32621-serial-file.bin
6.71/4.37	c (0,0) Read Serial File End
6.71/4.39	
6.71/4.39	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
6.71/4.39	(Solving Process)
6.71/4.39	
6.97/4.41	c BEGIN-Prog: Tue Sep 24 18:03:49 CEST 2019
6.97/4.41	c PID: 32644
6.97/4.41	c IP: 172.20.3.119
6.97/4.41	c HOST: node119.alineos.net
6.97/4.41	c (0,0) SatSolver.solve Begin
6.97/4.41	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405613-1569341065.xml-scop-32624.cnf
6.97/4.44	c (0,0) c
6.97/4.44	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
6.97/4.44	c (0,0) c
6.97/4.44	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.97/4.44	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.97/4.44	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.97/4.44	c (0,0) c |                                                                                                       |
7.21/4.85	c (0,0) c |  Number of variables:        330527                                                                   |
7.21/4.85	c (0,0) c |  Number of clauses:          908430                                                                   |
7.21/4.85	c (0,0) c |  Parse time:                   0.37 s                                                                 |
7.21/4.85	c (0,0) c |                                                                                                       |
8.77/6.05	c (2,0) c |  Simplification time:          1.19 s                                                                 |
8.77/6.05	c (2,0) c |                                                                                                       |
8.77/6.05	c (2,0) c |  Generating clones                                                                                    |
9.36/6.66	c (2,0) c |  all clones generated. Memory =   935.95Mb.                                                           |
9.36/6.66	c (2,0) c ========================================================================================================|
9.36/6.66	c (2,0) c
9.36/6.66	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.36/6.66	c (2,0) c
9.36/6.66	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.36/6.66	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.36/6.66	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.36/6.66	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.36/6.66	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.36/6.66	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.36/6.66	c (2,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.36/6.66	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.36/6.66	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.36/6.66	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.36/6.66	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.36/6.66	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.36/6.66	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.36/6.66	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.36/6.66	c (2,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.36/6.66	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.36/6.66	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.36/6.66	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.36/6.66	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.96/36.31	c (32,0) c
244.96/36.31	c (32,0) c |------------------------------------------------------------------------------------------------------------------------|
244.96/36.31	c (32,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
244.96/36.31	c (32,0) c |------------------------------------------------------------------------------------------------------------------------|
244.96/36.31	c (32,0) c |  0 |     95 |      83924 |      24275 |   162238 |     7856 |     3974 |    20194 |     1079 |       77 |  20 |  0.952 |
244.96/36.31	c (32,0) c |  1 |     96 |      90702 |      24731 |   159621 |     8343 |     4160 |    21378 |     1153 |       81 |  20 |  0.963 |
244.96/36.31	c (32,0) c |  2 |    120 |      93144 |      25297 |   160818 |     8945 |     4305 |    24208 |     1224 |       89 |  20 |  0.962 |
244.96/36.31	c (32,0) c |  3 |     95 |      81753 |      24880 |   149453 |     8462 |     4269 |    23323 |     1346 |       86 |  20 |  0.964 |
244.96/36.31	c (32,0) c |  4 |    124 |      98667 |      25692 |   179314 |     9355 |     4249 |    24729 |     1621 |       91 |  20 |  0.970 |
244.96/36.31	c (32,0) c |  5 |    111 |     106560 |      29720 |   175908 |    13295 |     4866 |    24355 |     1634 |       92 |  20 |  0.973 |
244.96/36.31	c (32,0) c |  6 |    123 |     101438 |      26552 |   173178 |    10245 |     4459 |    25435 |     1643 |       92 |  20 |  0.975 |
244.96/36.31	c (32,0) c |  7 |    126 |      94380 |      27298 |   165856 |    10797 |     4389 |    24509 |     1581 |       91 |  20 |  0.971 |
244.96/36.31	c (32,0) c 
244.96/36.31	c (32,0) c synthesis      208445 conflicts   836478305 propagations      883 conflicts/sec  3542304 propagations/sec
244.96/36.31	c (32,0) c real: 31.8718 s, cpu: 236.14 s, memory: 1519.21 Mb
483.12/66.30	c (62,0) c
483.12/66.30	c (62,0) c |------------------------------------------------------------------------------------------------------------------------|
483.12/66.30	c (62,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
483.12/66.30	c (62,0) c |------------------------------------------------------------------------------------------------------------------------|
483.12/66.30	c (62,0) c |  0 |    147 |     128297 |      42602 |   203160 |    16391 |     6895 |    43151 |     3703 |      158 |  20 |  1.026 |
483.12/66.30	c (62,0) c |  1 |    139 |     134326 |      43693 |   194227 |    17498 |     7354 |    43916 |     4004 |      163 |  20 |  1.033 |
483.12/66.30	c (62,0) c |  2 |    179 |     145873 |      46338 |   205239 |    20153 |     7682 |    48318 |     4203 |      178 |  20 |  1.030 |
483.12/66.30	c (62,0) c |  3 |    158 |     129332 |      44674 |   189909 |    18473 |     7482 |    46840 |     4242 |      173 |  20 |  1.032 |
483.12/66.30	c (62,0) c |  4 |    177 |     149860 |      46736 |   219941 |    20566 |     7667 |    47851 |     4550 |      178 |  20 |  1.030 |
483.12/66.30	c (62,0) c |  5 |    157 |     151711 |      48703 |   208839 |    22470 |     7225 |    44183 |     4283 |      174 |  20 |  1.031 |
483.12/66.30	c (62,0) c |  6 |    176 |     146906 |      46149 |   212925 |    19991 |     7710 |    43701 |     4433 |      178 |  20 |  1.026 |
483.12/66.30	c (62,0) c |  7 |    184 |     142514 |      46486 |   205395 |    20232 |     7411 |    47914 |     4360 |      175 |  20 |  1.030 |
483.12/66.30	c (62,0) c 
483.12/66.30	c (62,0) c synthesis      365381 conflicts  1652632371 propagations      771 conflicts/sec  3486645 propagations/sec
483.12/66.30	c (62,0) c real: 61.8638 s, cpu: 473.989 s, memory: 1521.15 Mb
690.40/93.16	c (89,0) c
690.40/93.16	c (89,0) c real time : 88.7231 s
690.40/93.16	c (89,0) c cpu time  : 680.974 s
690.40/93.16	c (89,0) c
690.40/93.16	c (89,0) c
690.40/93.16	c (89,0) c
690.40/93.16	c (89,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
690.40/93.16	c (89,0) c
690.40/93.16	c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
690.40/93.16	c (89,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
690.40/93.16	c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
690.40/93.16	c (89,0) c | Conflicts     |          485644 |      57612 |      58487 |      60685 |      60696 |      61302 |      63793 |      61349 |      61720 |
690.40/93.16	c (89,0) c | Decisions     |         1435417 |     215297 |     165390 |     173442 |     162301 |     180994 |     182208 |     181591 |     174194 |
690.40/93.16	c (89,0) c | Propagations  |      2341838175 |  276863285 |  278811185 |  297112385 |  301638791 |  295175497 |  297191124 |  300443479 |  294602429 |
690.40/93.16	c (89,0) c | ReduceDBs     |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
690.40/93.16	c (89,0) c | SimpDBs       |             383 |         45 |         48 |         48 |         45 |         50 |         50 |         45 |         52 |
690.40/93.16	c (89,0) c | Restarts      |            1596 |        191 |        173 |        221 |        188 |        215 |        191 |        199 |        218 |
690.40/93.16	c (89,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
690.40/93.16	c (89,0) c | PropBinClauses|      1092394858 |  131599159 |  131022724 |  136554690 |  141898780 |  135226669 |  141025522 |  138281414 |  136785900 |
690.40/93.16	c (89,0) c | PropPreBlocker|      4626572701 |  539571188 |  550332217 |  590386363 |  592750628 |  590308104 |  583534742 |  595838508 |  583850951 |
690.40/93.16	c (89,0) c | PropNotBlocker|      2389489473 |  278619141 |  284653622 |  304916569 |  307145823 |  303778328 |  301753844 |  307020399 |  301601747 |
690.40/93.16	c (89,0) c | LitFullScans  |     11740967690 | 1370790301 | 1404364085 | 1494435524 | 1494412691 | 1494656688 | 1492631179 | 1494469035 | 1495208187 |
690.40/93.16	c (89,0) c | LitScanFracts |         4548719 |     508066 |     347570 |     424205 |     410614 |     647677 |     563701 |     448026 |    1198860 |
690.40/93.16	c (89,0) c | DecisionLevel0|            1860 |        223 |        204 |        252 |        218 |        251 |        230 |        229 |        253 |
690.40/93.16	c (89,0) c | Periods       |            1955 |        228 |        234 |        249 |        249 |        249 |        248 |        249 |        249 |
690.40/93.16	c (89,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
690.40/93.16	c (89,0) c | Avg_Trail     |                 |      39731 |      40559 |      41538 |      40957 |      42830 |      39974 |      41872 |      41726 |
690.40/93.16	c (89,0) c | Avg_DL        |                 |         33 |         32 |         32 |         30 |         33 |         33 |         35 |         32 |
690.40/93.16	c (89,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
690.40/93.16	c (89,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
690.40/93.16	c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
690.40/93.16	c (89,0) c | Exported      |           76155 |       9185 |       9642 |       9715 |       9718 |       9534 |       8875 |       9658 |       9828 |
690.40/93.16	c (89,0) c | Imported      |          496973 |      59203 |      59981 |      63601 |      62119 |      62955 |      64374 |      61125 |      63615 |
690.40/93.16	c (89,0) c | Good          |           15845 |       1939 |       1962 |       1976 |       1965 |       1979 |       2014 |       2001 |       2009 |
690.40/93.16	c (89,0) c | Purge         |          481128 |      57264 |      58019 |      61625 |      60154 |      60976 |      62360 |      59124 |      61606 |
690.40/93.16	c (89,0) c | Promoted      |           52412 |       6101 |       6322 |       6579 |       6525 |       6706 |       6901 |       6768 |       6510 |
690.40/93.16	c (89,0) c | Remove_Imp    |          201537 |      26732 |      26110 |      24927 |      27148 |      26496 |      17750 |      26160 |      26214 |
690.40/93.16	c (89,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
690.40/93.16	c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
690.40/93.16	c (89,0) c | Unaries       |                 |         32 |         31 |         31 |         30 |         36 |         39 |         30 |         35 |
690.40/93.16	c (89,0) c | Binaries      |                 |        297 |        293 |        307 |        303 |        296 |        271 |        260 |        277 |
690.40/93.16	c (89,0) c | Glues         |                 |       1077 |       1023 |       1108 |       1091 |       1102 |       1057 |        987 |       1039 |
690.40/93.16	c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
690.40/93.16	c (89,0) c | Orig_Seen     |            28 % |     228343 |     213014 |     222297 |     212356 |     242299 |     230308 |     235144 |     232411 |
690.40/93.16	c (89,0) c | Diff Orig seen|                 |      X     | -    15329 | -     6046 | -    15987 |      13956 |       1965 |       6801 |       4068 |
690.40/93.16	c (89,0) c | Hamming       |            10 % |      X     |      33303 |      33115 |      33243 |      34230 |      33575 |      34044 |      33506 |
690.40/93.16	c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
690.40/93.16	c (89,0) c | RunningTime   |                 |   86.2 100%|   86.3 100%|   84.6  98%|   86.1 100%|   84.7  98%|   85.6  99%|   85.5  99%|   85.1  98%|
690.40/93.16	c (89,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    1.8   2%|    0.3   0%|    1.7   2%|    0.7   1%|    0.9   1%|    1.3   2%|
690.40/93.16	c (89,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%|
690.40/93.16	c (89,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%|
690.40/93.16	c (89,0) c | SolvingTime   |                 |   86.3     |   86.3     |   86.4     |   86.5     |   86.5     |   86.3     |   86.5     |   86.4     |
690.40/93.16	c (89,0) c | PropagationTim|                 |   76.3  88%|   76.1  88%|   75.3  87%|   75.4  87%|   75.6  87%|   75.1  87%|   75.8  88%|   75.1  87%|
690.40/93.16	c (89,0) c | AnalysisTime  |                 |    3.8   4%|    3.9   4%|    4.5   5%|    4.5   5%|    4.2   5%|    4.3   5%|    4.2   5%|    4.4   5%|
690.40/93.16	c (89,0) c | ReductionTime |                 |    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
690.40/93.16	c (89,0) c | SimplifyTime  |                 |    1.1   1%|    1.2   1%|    1.4   2%|    1.1   1%|    1.3   1%|    1.4   2%|    1.1   1%|    1.4   2%|
690.40/93.16	c (89,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%|
690.40/93.16	c (89,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%|
690.40/93.16	c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
690.40/93.16	c (89,0) c
690.40/93.16	c (89,0) c
690.40/93.16	c (89,0) c Threads : 8
690.40/93.16	c (89,0) c Winner : 0
690.40/93.16	c (89,0) c Conflicts_0 : 57612
690.40/93.16	c (89,0) c Conflicts_1 : 58487
690.40/93.16	c (89,0) c Conflicts_2 : 60685
690.40/93.16	c (89,0) c Conflicts_3 : 60696
690.40/93.16	c (89,0) c Conflicts_4 : 61302
690.40/93.16	c (89,0) c Conflicts_5 : 63793
690.40/93.16	c (89,0) c Conflicts_6 : 61349
690.40/93.16	c (89,0) c Conflicts_7 : 61720
690.40/93.16	c (89,0) c Conflicts_total : 485644
690.40/93.16	c (89,0) c Conflicts_winner : 57612
690.40/93.16	c (89,0) c Decisions_0 : 215297
690.40/93.16	c (89,0) c Decisions_1 : 165390
690.40/93.16	c (89,0) c Decisions_2 : 173442
690.40/93.16	c (89,0) c Decisions_3 : 162301
690.40/93.16	c (89,0) c Decisions_4 : 180994
690.40/93.16	c (89,0) c Decisions_5 : 182208
690.40/93.16	c (89,0) c Decisions_6 : 181591
690.40/93.16	c (89,0) c Decisions_7 : 174194
690.40/93.16	c (89,0) c Decisions_total : 1435417
690.40/93.16	c (89,0) c Decisions_winner : 215297
690.40/93.16	c (89,0) c Propagations_0 : 276863285
690.40/93.16	c (89,0) c Propagations_1 : 278811185
690.40/93.16	c (89,0) c Propagations_2 : 297112385
690.40/93.16	c (89,0) c Propagations_3 : 301638791
690.40/93.16	c (89,0) c Propagations_4 : 295175497
690.40/93.16	c (89,0) c Propagations_5 : 297191124
690.40/93.16	c (89,0) c Propagations_6 : 300443479
690.40/93.16	c (89,0) c Propagations_7 : 294602429
690.40/93.16	c (89,0) c Propagations_total : 2341838175
690.40/93.16	c (89,0) c Propagations_winner : 276863285
690.40/93.16	c (89,0) c ReduceDBs_0 : 6
690.40/93.16	c (89,0) c ReduceDBs_1 : 6
690.40/93.16	c (89,0) c ReduceDBs_2 : 6
690.40/93.16	c (89,0) c ReduceDBs_3 : 6
690.40/93.16	c (89,0) c ReduceDBs_4 : 6
690.40/93.16	c (89,0) c ReduceDBs_5 : 6
690.40/93.16	c (89,0) c ReduceDBs_6 : 6
690.40/93.16	c (89,0) c ReduceDBs_7 : 6
690.40/93.16	c (89,0) c ReduceDBs_total : 48
690.40/93.16	c (89,0) c ReduceDBs_winner : 6
690.40/93.16	c (89,0) c SimpDBs_0 : 45
690.40/93.16	c (89,0) c SimpDBs_1 : 48
690.40/93.16	c (89,0) c SimpDBs_2 : 48
690.40/93.16	c (89,0) c SimpDBs_3 : 45
690.40/93.16	c (89,0) c SimpDBs_4 : 50
690.40/93.16	c (89,0) c SimpDBs_5 : 50
690.40/93.16	c (89,0) c SimpDBs_6 : 45
690.40/93.16	c (89,0) c SimpDBs_7 : 52
690.40/93.16	c (89,0) c SimpDBs_total : 383
690.40/93.16	c (89,0) c SimpDBs_winner : 45
690.40/93.16	c (89,0) c Restarts_0 : 191
690.40/93.16	c (89,0) c Restarts_1 : 173
690.40/93.16	c (89,0) c Restarts_2 : 221
690.40/93.16	c (89,0) c Restarts_3 : 188
690.40/93.17	c (89,0) c Restarts_4 : 215
690.40/93.17	c (89,0) c Restarts_5 : 191
690.40/93.17	c (89,0) c Restarts_6 : 199
690.40/93.17	c (89,0) c Restarts_7 : 218
690.40/93.17	c (89,0) c Restarts_total : 1596
690.40/93.17	c (89,0) c Restarts_winner : 191
690.40/93.17	c (89,0) c ForcedImports_0 : 0
690.40/93.17	c (89,0) c ForcedImports_1 : 0
690.40/93.17	c (89,0) c ForcedImports_2 : 0
690.40/93.17	c (89,0) c ForcedImports_3 : 0
690.40/93.17	c (89,0) c ForcedImports_4 : 0
690.40/93.17	c (89,0) c ForcedImports_5 : 0
690.40/93.17	c (89,0) c ForcedImports_6 : 0
690.40/93.17	c (89,0) c ForcedImports_7 : 0
690.40/93.17	c (89,0) c ForcedImports_total : 0
690.40/93.17	c (89,0) c ForcedImports_winner : 0
690.40/93.17	c (89,0) c PropsBinClauses_0 : 131599159
690.40/93.17	c (89,0) c PropsBinClauses_1 : 131022724
690.40/93.17	c (89,0) c PropsBinClauses_2 : 136554690
690.40/93.17	c (89,0) c PropsBinClauses_3 : 141898780
690.40/93.17	c (89,0) c PropsBinClauses_4 : 135226669
690.40/93.17	c (89,0) c PropsBinClauses_5 : 141025522
690.40/93.17	c (89,0) c PropsBinClauses_6 : 138281414
690.40/93.17	c (89,0) c PropsBinClauses_7 : 136785900
690.40/93.17	c (89,0) c PropsBinClauses_total : 1092394858
690.40/93.17	c (89,0) c PropsBinClauses_winner : 131599159
690.40/93.17	c (89,0) c PropsPreBlocker_0 : 539571188
690.40/93.17	c (89,0) c PropsPreBlocker_1 : 550332217
690.40/93.17	c (89,0) c PropsPreBlocker_2 : 590386363
690.40/93.17	c (89,0) c PropsPreBlocker_3 : 592750628
690.40/93.17	c (89,0) c PropsPreBlocker_4 : 590308104
690.40/93.17	c (89,0) c PropsPreBlocker_5 : 583534742
690.40/93.17	c (89,0) c PropsPreBlocker_6 : 595838508
690.40/93.17	c (89,0) c PropsPreBlocker_7 : 583850951
690.40/93.17	c (89,0) c PropsPreBlocker_total : 4626572701
690.40/93.17	c (89,0) c PropsPreBlocker_winner : 539571188
690.40/93.17	c (89,0) c PropsNotBlocker_0 : 278619141
690.40/93.17	c (89,0) c PropsNotBlocker_1 : 284653622
690.40/93.17	c (89,0) c PropsNotBlocker_2 : 304916569
690.40/93.17	c (89,0) c PropsNotBlocker_3 : 307145823
690.40/93.17	c (89,0) c PropsNotBlocker_4 : 303778328
690.40/93.17	c (89,0) c PropsNotBlocker_5 : 301753844
690.40/93.17	c (89,0) c PropsNotBlocker_6 : 307020399
690.40/93.17	c (89,0) c PropsNotBlocker_7 : 301601747
690.40/93.17	c (89,0) c PropsNotBlocker_total : 2389489473
690.40/93.17	c (89,0) c PropsNotBlocker_winner : 278619141
690.40/93.17	c (89,0) c PropsLitFullScans_0 : 1370790301
690.40/93.17	c (89,0) c PropsLitFullScans_1 : 1404364085
690.40/93.17	c (89,0) c PropsLitFullScans_2 : 1494435524
690.40/93.17	c (89,0) c PropsLitFullScans_3 : 1494412691
690.40/93.17	c (89,0) c PropsLitFullScans_4 : 1494656688
690.40/93.17	c (89,0) c PropsLitFullScans_5 : 1492631179
690.40/93.17	c (89,0) c PropsLitFullScans_6 : 1494469035
690.40/93.17	c (89,0) c PropsLitFullScans_7 : 1495208187
690.40/93.17	c (89,0) c PropsLitFullScans_total : 11740967690
690.40/93.17	c (89,0) c PropsLitFullScans_winner : 1370790301
690.40/93.17	c (89,0) c LitScanFractions_0 : 508066
690.40/93.17	c (89,0) c LitScanFractions_1 : 347570
690.40/93.17	c (89,0) c LitScanFractions_2 : 424205
690.40/93.17	c (89,0) c LitScanFractions_3 : 410614
690.40/93.17	c (89,0) c LitScanFractions_4 : 647677
690.40/93.17	c (89,0) c LitScanFractions_5 : 563701
690.40/93.17	c (89,0) c LitScanFractions_6 : 448026
690.40/93.17	c (89,0) c LitScanFractions_7 : 1198860
690.40/93.17	c (89,0) c LitScanFractions_total : 4548719
690.40/93.17	c (89,0) c LitScanFractions_winner : 508066
690.40/93.17	c (89,0) c DecisionLevel0_0 : 223
690.40/93.17	c (89,0) c DecisionLevel0_1 : 204
690.40/93.17	c (89,0) c DecisionLevel0_2 : 252
690.40/93.17	c (89,0) c DecisionLevel0_3 : 218
690.40/93.17	c (89,0) c DecisionLevel0_4 : 251
690.40/93.17	c (89,0) c DecisionLevel0_5 : 230
690.40/93.17	c (89,0) c DecisionLevel0_6 : 229
690.40/93.17	c (89,0) c DecisionLevel0_7 : 253
690.40/93.17	c (89,0) c DecisionLevel0_total : 1860
690.40/93.17	c (89,0) c DecisionLevel0_winner : 223
690.40/93.17	c (89,0) c Periods_0 : 228
690.40/93.17	c (89,0) c Periods_1 : 234
690.40/93.17	c (89,0) c Periods_2 : 249
690.40/93.17	c (89,0) c Periods_3 : 249
690.40/93.17	c (89,0) c Periods_4 : 249
690.40/93.17	c (89,0) c Periods_5 : 248
690.40/93.17	c (89,0) c Periods_6 : 249
690.40/93.17	c (89,0) c Periods_7 : 249
690.40/93.17	c (89,0) c Periods_total : 1955
690.40/93.17	c (89,0) c Periods_winner : 228
690.40/93.17	c (89,0) c Margin_0 : 20
690.40/93.17	c (89,0) c Margin_1 : 20
690.40/93.17	c (89,0) c Margin_2 : 20
690.40/93.17	c (89,0) c Margin_3 : 20
690.40/93.17	c (89,0) c Margin_4 : 20
690.40/93.17	c (89,0) c Margin_5 : 20
690.40/93.17	c (89,0) c Margin_6 : 20
690.40/93.17	c (89,0) c Margin_7 : 20
690.40/93.17	c (89,0) c Margin_total : 160
690.40/93.17	c (89,0) c Margin_winner : 20
690.40/93.17	c (89,0) c Exported_0 : 9185
690.40/93.17	c (89,0) c Exported_1 : 9642
690.40/93.17	c (89,0) c Exported_2 : 9715
690.40/93.17	c (89,0) c Exported_3 : 9718
690.40/93.17	c (89,0) c Exported_4 : 9534
690.40/93.17	c (89,0) c Exported_5 : 8875
690.40/93.17	c (89,0) c Exported_6 : 9658
690.40/93.17	c (89,0) c Exported_7 : 9828
690.40/93.17	c (89,0) c Exported_total : 76155
690.40/93.17	c (89,0) c Exported_winner : 9185
690.40/93.17	c (89,0) c Imported_0 : 59203
690.40/93.17	c (89,0) c Imported_1 : 59981
690.40/93.17	c (89,0) c Imported_2 : 63601
690.40/93.17	c (89,0) c Imported_3 : 62119
690.40/93.17	c (89,0) c Imported_4 : 62955
690.40/93.17	c (89,0) c Imported_5 : 64374
690.40/93.17	c (89,0) c Imported_6 : 61125
690.40/93.17	c (89,0) c Imported_7 : 63615
690.40/93.17	c (89,0) c Imported_total : 496973
690.40/93.17	c (89,0) c Imported_winner : 59203
690.40/93.17	c (89,0) c Good_0 : 1939
690.40/93.17	c (89,0) c Good_1 : 1962
690.40/93.17	c (89,0) c Good_2 : 1976
690.40/93.17	c (89,0) c Good_3 : 1965
690.40/93.17	c (89,0) c Good_4 : 1979
690.40/93.17	c (89,0) c Good_5 : 2014
690.40/93.17	c (89,0) c Good_6 : 2001
690.40/93.17	c (89,0) c Good_7 : 2009
690.40/93.17	c (89,0) c Good_total : 15845
690.40/93.17	c (89,0) c Good_winner : 1939
690.40/93.17	c (89,0) c Purge_0 : 57264
690.40/93.17	c (89,0) c Purge_1 : 58019
690.40/93.17	c (89,0) c Purge_2 : 61625
690.40/93.17	c (89,0) c Purge_3 : 60154
690.40/93.17	c (89,0) c Purge_4 : 60976
690.40/93.17	c (89,0) c Purge_5 : 62360
690.40/93.17	c (89,0) c Purge_6 : 59124
690.40/93.17	c (89,0) c Purge_7 : 61606
690.40/93.17	c (89,0) c Purge_total : 481128
690.40/93.17	c (89,0) c Purge_winner : 57264
690.40/93.17	c (89,0) c Promoted_0 : 6101
690.40/93.17	c (89,0) c Promoted_1 : 6322
690.40/93.17	c (89,0) c Promoted_2 : 6579
690.40/93.17	c (89,0) c Promoted_3 : 6525
690.40/93.17	c (89,0) c Promoted_4 : 6706
690.40/93.17	c (89,0) c Promoted_5 : 6901
690.40/93.17	c (89,0) c Promoted_6 : 6768
690.40/93.17	c (89,0) c Promoted_7 : 6510
690.40/93.17	c (89,0) c Promoted_total : 52412
690.40/93.17	c (89,0) c Promoted_winner : 6101
690.40/93.17	c (89,0) c Remove_Imp_0 : 26732
690.40/93.17	c (89,0) c Remove_Imp_1 : 26110
690.40/93.17	c (89,0) c Remove_Imp_2 : 24927
690.40/93.17	c (89,0) c Remove_Imp_3 : 27148
690.40/93.17	c (89,0) c Remove_Imp_4 : 26496
690.40/93.17	c (89,0) c Remove_Imp_5 : 17750
690.40/93.17	c (89,0) c Remove_Imp_6 : 26160
690.40/93.17	c (89,0) c Remove_Imp_7 : 26214
690.40/93.17	c (89,0) c Remove_Imp_total : 201537
690.40/93.17	c (89,0) c Remove_Imp_winner : 26732
690.40/93.17	c (89,0) c Blocked_Reuse_0 : 0
690.40/93.17	c (89,0) c Blocked_Reuse_1 : 0
690.40/93.17	c (89,0) c Blocked_Reuse_2 : 0
690.40/93.17	c (89,0) c Blocked_Reuse_3 : 0
690.40/93.17	c (89,0) c Blocked_Reuse_4 : 0
690.40/93.17	c (89,0) c Blocked_Reuse_5 : 0
690.40/93.17	c (89,0) c Blocked_Reuse_6 : 0
690.40/93.17	c (89,0) c Blocked_Reuse_7 : 0
690.40/93.17	c (89,0) c Blocked_Reuse_total : 0
690.40/93.17	c (89,0) c Blocked_Reuse_winner : 0
690.40/93.17	c (89,0) c Unaries_0 : 32
690.40/93.17	c (89,0) c Unaries_1 : 31
690.40/93.17	c (89,0) c Unaries_2 : 31
690.40/93.17	c (89,0) c Unaries_3 : 30
690.40/93.17	c (89,0) c Unaries_4 : 36
690.40/93.17	c (89,0) c Unaries_5 : 39
690.40/93.17	c (89,0) c Unaries_6 : 30
690.40/93.17	c (89,0) c Unaries_7 : 35
690.40/93.17	c (89,0) c Unaries_total : 264
690.40/93.17	c (89,0) c Unaries_winner : 32
690.40/93.17	c (89,0) c Binaries_0 : 297
690.40/93.17	c (89,0) c Binaries_1 : 293
690.40/93.17	c (89,0) c Binaries_2 : 307
690.40/93.17	c (89,0) c Binaries_3 : 303
690.40/93.17	c (89,0) c Binaries_4 : 296
690.40/93.17	c (89,0) c Binaries_5 : 271
690.40/93.17	c (89,0) c Binaries_6 : 260
690.40/93.17	c (89,0) c Binaries_7 : 277
690.40/93.17	c (89,0) c Binaries_total : 2304
690.40/93.17	c (89,0) c Binaries_winner : 297
690.40/93.17	c (89,0) c Glues_0 : 1077
690.40/93.17	c (89,0) c Glues_1 : 1023
690.40/93.17	c (89,0) c Glues_2 : 1108
690.40/93.17	c (89,0) c Glues_3 : 1091
690.40/93.17	c (89,0) c Glues_4 : 1102
690.40/93.17	c (89,0) c Glues_5 : 1057
690.40/93.17	c (89,0) c Glues_6 : 987
690.40/93.17	c (89,0) c Glues_7 : 1039
690.40/93.17	c (89,0) c Glues_total : 8484
690.40/93.17	c (89,0) c Glues_winner : 1077
690.40/93.17	c (89,0) c RunningTime_0 : 86.218352
690.40/93.17	c (89,0) c RunningTime_1 : 86.250734
690.40/93.17	c (89,0) c RunningTime_2 : 84.571636
690.40/93.17	c (89,0) c RunningTime_3 : 86.107106
690.40/93.17	c (89,0) c RunningTime_4 : 84.733173
690.40/93.17	c (89,0) c RunningTime_5 : 85.579109
690.40/93.17	c (89,0) c RunningTime_6 : 85.542129
690.40/93.17	c (89,0) c RunningTime_7 : 85.055036
690.40/93.17	c (89,0) c RunningTime_total : 684.057274
690.40/93.17	c (89,0) c RunningTime_winner : 86.218352
690.40/93.17	c (89,0) c WaitingTime_0 : 0.000230
690.40/93.17	c (89,0) c WaitingTime_1 : 0.000355
690.40/93.17	c (89,0) c WaitingTime_2 : 1.826792
690.40/93.17	c (89,0) c WaitingTime_3 : 0.330094
690.40/93.17	c (89,0) c WaitingTime_4 : 1.688292
690.40/93.17	c (89,0) c WaitingTime_5 : 0.650342
690.40/93.17	c (89,0) c WaitingTime_6 : 0.903547
690.40/93.17	c (89,0) c WaitingTime_7 : 1.333687
690.40/93.17	c (89,0) c WaitingTime_total : 6.733340
690.40/93.17	c (89,0) c WaitingTime_winner : 0.000230
690.40/93.17	c (89,0) c ExchangingTime_0 : 0.031096
690.40/93.17	c (89,0) c ExchangingTime_1 : 0.029669
690.40/93.17	c (89,0) c ExchangingTime_2 : 0.031133
690.40/93.17	c (89,0) c ExchangingTime_3 : 0.031135
690.40/93.17	c (89,0) c ExchangingTime_4 : 0.031935
690.40/93.17	c (89,0) c ExchangingTime_5 : 0.031176
690.40/93.17	c (89,0) c ExchangingTime_6 : 0.030068
690.40/93.17	c (89,0) c ExchangingTime_7 : 0.032735
690.40/93.17	c (89,0) c ExchangingTime_total : 0.248946
690.40/93.17	c (89,0) c ExchangingTime_winner : 0.031096
690.40/93.17	c (89,0) c PeriodProcTime_0 : 0.002649
690.40/93.17	c (89,0) c PeriodProcTime_1 : 0.003469
690.40/93.17	c (89,0) c PeriodProcTime_2 : 0.002586
690.40/93.17	c (89,0) c PeriodProcTime_3 : 0.002487
690.40/93.17	c (89,0) c PeriodProcTime_4 : 0.002663
690.40/93.17	c (89,0) c PeriodProcTime_5 : 0.002186
690.40/93.17	c (89,0) c PeriodProcTime_6 : 0.002169
690.40/93.17	c (89,0) c PeriodProcTime_7 : 0.002561
690.40/93.17	c (89,0) c PeriodProcTime_total : 0.020771
690.40/93.17	c (89,0) c PeriodProcTime_winner : 0.002649
690.40/93.17	c (89,0) c SolvingTime_0 : 86.252326
690.40/93.17	c (89,0) c SolvingTime_1 : 86.284226
690.40/93.17	c (89,0) c SolvingTime_2 : 86.432147
690.40/93.17	c (89,0) c SolvingTime_3 : 86.470822
690.40/93.17	c (89,0) c SolvingTime_4 : 86.456063
690.40/93.17	c (89,0) c SolvingTime_5 : 86.262814
690.40/93.17	c (89,0) c SolvingTime_6 : 86.477912
690.40/93.17	c (89,0) c SolvingTime_7 : 86.424020
690.40/93.17	c (89,0) c SolvingTime_total : 691.060331
690.40/93.17	c (89,0) c SolvingTime_winner : 86.252326
690.40/93.17	c (89,0) c PropagationTime_0 : 76.299562
690.40/93.17	c (89,0) c PropagationTime_1 : 76.058032
690.40/93.17	c (89,0) c PropagationTime_2 : 75.313341
690.40/93.17	c (89,0) c PropagationTime_3 : 75.354513
690.40/93.17	c (89,0) c PropagationTime_4 : 75.634971
690.40/93.17	c (89,0) c PropagationTime_5 : 75.080361
690.40/93.17	c (89,0) c PropagationTime_6 : 75.755618
690.40/93.17	c (89,0) c PropagationTime_7 : 75.142555
690.40/93.17	c (89,0) c PropagationTime_total : 604.638952
690.40/93.17	c (89,0) c PropagationTime_winner : 76.299562
690.40/93.17	c (89,0) c AnalysisTime_0 : 3.804480
690.40/93.17	c (89,0) c AnalysisTime_1 : 3.882017
690.40/93.17	c (89,0) c AnalysisTime_2 : 4.478394
690.40/93.17	c (89,0) c AnalysisTime_3 : 4.477103
690.40/93.17	c (89,0) c AnalysisTime_4 : 4.202514
690.40/93.17	c (89,0) c AnalysisTime_5 : 4.307407
690.40/93.17	c (89,0) c AnalysisTime_6 : 4.243077
690.40/93.17	c (89,0) c AnalysisTime_7 : 4.432597
690.40/93.18	c (89,0) c AnalysisTime_total : 33.827590
690.40/93.18	c (89,0) c AnalysisTime_winner : 3.804480
690.40/93.18	c (89,0) c ReductionTime_0 : 0.147044
690.40/93.18	c (89,0) c ReductionTime_1 : 0.160657
690.40/93.18	c (89,0) c ReductionTime_2 : 0.140390
690.40/93.18	c (89,0) c ReductionTime_3 : 0.142154
690.40/93.18	c (89,0) c ReductionTime_4 : 0.141644
690.40/93.18	c (89,0) c ReductionTime_5 : 0.141508
690.40/93.18	c (89,0) c ReductionTime_6 : 0.145957
690.40/93.18	c (89,0) c ReductionTime_7 : 0.134437
690.40/93.18	c (89,0) c ReductionTime_total : 1.153791
690.40/93.18	c (89,0) c ReductionTime_winner : 0.147044
690.40/93.18	c (89,0) c SimplifyTime_0 : 1.103549
690.40/93.18	c (89,0) c SimplifyTime_1 : 1.169303
690.40/93.18	c (89,0) c SimplifyTime_2 : 1.352973
690.40/93.18	c (89,0) c SimplifyTime_3 : 1.095693
690.40/93.18	c (89,0) c SimplifyTime_4 : 1.267422
690.40/93.18	c (89,0) c SimplifyTime_5 : 1.448519
690.40/93.18	c (89,0) c SimplifyTime_6 : 1.132827
690.40/93.18	c (89,0) c SimplifyTime_7 : 1.422139
690.40/93.18	c (89,0) c SimplifyTime_total : 9.992425
690.40/93.18	c (89,0) c SimplifyTime_winner : 1.103549
690.40/93.18	c (89,0) c UsedRateTime_0 : 0.000000
690.40/93.18	c (89,0) c UsedRateTime_1 : 0.000000
690.40/93.18	c (89,0) c UsedRateTime_2 : 0.000000
690.40/93.18	c (89,0) c UsedRateTime_3 : 0.000000
690.40/93.18	c (89,0) c UsedRateTime_4 : 0.000000
690.40/93.18	c (89,0) c UsedRateTime_5 : 0.000000
690.40/93.18	c (89,0) c UsedRateTime_6 : 0.000000
690.40/93.18	c (89,0) c UsedRateTime_7 : 0.000000
690.40/93.18	c (89,0) c UsedRateTime_total : 0.000000
690.40/93.18	c (89,0) c UsedRateTime_winner : 0.000000
690.40/93.18	c (89,0) c OverlapRateTime_0 : 0.000000
690.40/93.18	c (89,0) c OverlapRateTime_1 : 0.000000
690.40/93.18	c (89,0) c OverlapRateTime_2 : 0.000000
690.40/93.18	c (89,0) c OverlapRateTime_3 : 0.000000
690.40/93.18	c (89,0) c OverlapRateTime_4 : 0.000000
690.40/93.18	c (89,0) c OverlapRateTime_5 : 0.000000
690.40/93.18	c (89,0) c OverlapRateTime_6 : 0.000000
690.40/93.18	c (89,0) c OverlapRateTime_7 : 0.000000
690.40/93.18	c (89,0) c OverlapRateTime_total : 0.000000
690.40/93.18	c (89,0) c OverlapRateTime_winner : 0.000000
690.40/93.18	c (89,0) c
690.40/93.18	c (89,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
690.40/93.18	c (89,0) c
690.40/93.18	c (89,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
690.40/93.18	c (89,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
690.40/93.18	c (89,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
690.40/93.19	c (89,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
690.40/93.19	c (89,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
690.40/93.19	c (89,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
690.40/93.19	c (89,0) c | Initial random_seed   |  367530697 | 1358012805 | 1161171589 | 1595768119 | 1517816440 | 1993948169 |  582485716 |  467150333 |
690.40/93.19	c (89,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
690.40/93.19	c (89,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
690.40/93.19	c (89,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
690.40/93.19	c (89,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
690.40/93.19	c (89,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
690.40/93.19	c (89,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
690.40/93.19	c (89,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
690.40/93.19	c (89,0) c | var_decay             |     0.9100 |     0.9100 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |     0.9200 |
690.40/93.19	c (89,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
690.40/93.19	c (89,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
690.40/93.19	c (89,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
690.40/93.19	c (89,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
690.40/93.19	c (89,0) 
690.40/93.19	c (89,0) s SATISFIABLE
691.08/93.40	c (89,0) SatSolver.solve End
691.08/93.40	c (89,0) Heap : 223 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
691.08/93.40	c (89,0) Show results Begin
691.08/93.48	c (89,0) x[0] = 7
691.08/93.48	c (89,0) x[1] = 17
691.08/93.48	c (89,0) x[2] = 19
691.08/93.48	c (89,0) x[3] = 13
691.08/93.48	c (89,0) x[4] = 7
691.08/93.48	c (89,0) x[5] = 13
691.08/93.48	c (89,0) x[6] = 17
691.08/93.48	c (89,0) x[7] = 5
691.08/93.48	c (89,0) x[8] = 29
691.08/93.48	c (89,0) x[9] = 3
691.08/93.48	c (89,0) x[10] = 5
691.08/93.48	c (89,0) x[11] = 19
691.08/93.48	c (89,0) x[12] = 2
691.08/93.48	c (89,0) x[13] = 29
691.08/93.48	c (89,0) x[14] = 7
691.08/93.48	c (89,0) x[15] = 17
691.08/93.48	c (89,0) x[16] = 2
691.08/93.48	c (89,0) x[17] = 17
691.08/93.48	c (89,0) x[18] = 5
691.08/93.48	c (89,0) x[20] = 3
691.08/93.48	c (89,0) x[21] = 23
691.08/93.48	c (89,0) x[22] = 19
691.08/93.48	c (89,0) x[23] = 29
691.08/93.48	c (89,0) x[24] = 5
691.08/93.48	c (89,0) x[25] = 2
691.08/93.48	c (89,0) x[26] = 5
691.08/93.48	c (89,0) x[27] = 7
691.08/93.48	c (89,0) x[28] = 19
691.08/93.48	c (89,0) x[29] = 13
691.08/93.48	c (89,0) x[30] = 29
691.08/93.48	c (89,0) x[31] = 5
691.08/93.48	c (89,0) x[32] = 5
691.08/93.48	c (89,0) x[33] = 23
691.08/93.48	c (89,0) x[34] = 29
691.08/93.48	c (89,0) x[35] = 19
691.08/93.48	c (89,0) x[36] = 7
691.08/93.48	c (89,0) x[37] = 17
691.08/93.48	c (89,0) x[38] = 3
691.08/93.48	c (89,0) x[39] = 5
691.08/93.48	c (89,0) x[40] = 29
691.08/93.48	c (89,0) x[41] = 7
691.08/93.48	c (89,0) x[42] = 3
691.08/93.48	c (89,0) x[43] = 29
691.08/93.48	c (89,0) x[44] = 11
691.08/93.48	c (89,0) x[45] = 19
691.08/93.48	c (89,0) x[46] = 23
691.08/93.48	c (89,0) x[47] = 11
691.08/93.48	c (89,0) x[48] = 13
691.08/93.48	c (89,0) x[49] = 2
691.08/93.48	c (89,0) x[50] = 7
691.08/93.48	c (89,0) x[51] = 17
691.08/93.48	c (89,0) x[52] = 3
691.08/93.48	c (89,0) x[53] = 2
691.08/93.48	c (89,0) x[54] = 17
691.08/93.48	c (89,0) x[55] = 7
691.08/93.48	c (89,0) x[56] = 5
691.08/93.48	c (89,0) x[57] = 2
691.08/93.48	c (89,0) x[58] = 17
691.08/93.48	c (89,0) x[59] = 3
691.08/93.48	c (89,0) x[60] = 13
691.08/93.48	c (89,0) x[61] = 13
691.08/93.48	c (89,0) x[62] = 11
691.08/93.48	c (89,0) x[63] = 19
691.08/93.48	c (89,0) x[64] = 17
691.08/93.48	c (89,0) x[65] = 13
691.08/93.48	c (89,0) x[66] = 17
691.08/93.48	c (89,0) x[67] = 29
691.08/93.48	c (89,0) x[68] = 7
691.08/93.48	c (89,0) x[69] = 19
691.08/93.48	c (89,0) x[70] = 11
691.08/93.48	c (89,0) x[72] = 5
691.08/93.48	c (89,0) x[73] = 13
691.08/93.48	c (89,0) x[74] = 11
691.08/93.48	c (89,0) x[75] = 19
691.08/93.48	c (89,0) x[76] = 11
691.08/93.48	c (89,0) x[77] = 11
691.08/93.48	c (89,0) x[78] = 7
691.08/93.48	c (89,0) x[79] = 2
691.08/93.48	c (89,0) x[80] = 19
691.08/93.48	c (89,0) x[81] = 23
691.08/93.48	c (89,0) x[82] = 17
691.08/93.48	c (89,0) x[83] = 23
691.08/93.48	c (89,0) x[84] = 23
691.08/93.48	c (89,0) x[85] = 11
691.08/93.48	c (89,0) x[86] = 7
691.08/93.48	c (89,0) x[87] = 3
691.08/93.48	c (89,0) x[88] = 11
691.08/93.48	c (89,0) x[89] = 29
691.08/93.48	c (89,0) x[90] = 5
691.08/93.48	c (89,0) x[91] = 2
691.08/93.48	c (89,0) x[92] = 17
691.08/93.48	c (89,0) x[93] = 23
691.08/93.48	c (89,0) x[94] = 29
691.08/93.48	c (89,0) x[95] = 5
691.08/93.48	c (89,0) x[96] = 17
691.08/93.48	c (89,0) x[97] = 17
691.08/93.48	c (89,0) x[99] = 29
691.08/93.48	s SATISFIABLE
691.08/93.49	v <instantiation>
691.08/93.49	v     <list>x[0] x[1] 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[15] x[16] x[17] x[18] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] 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[95] x[96] x[97] x[99]</list>
691.08/93.49	v     <values>7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 7 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 3 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 5 13 11 19 11 11 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 29</values>
691.08/93.49	v </instantiation>
691.08/93.49	c (89,0) Show results End
691.08/93.49	c (89,0) Heap : 223 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
691.08/93.49	c (89,0) 89,89,STOP-AFTER(ALL)
691.08/93.49	c END-Prog: Tue Sep 24 18:05:18 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 (13385 MiB free)
  memory of node 1: 16384 MiB (11700 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405613-1569341065/watcher-4405613-1569341065 -o /var/tmp/evaluation-result-4405613-1569341065/solver-4405613-1569341065 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --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-4405613-1569341065.xml 

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

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


[startup+0.100135 s]*
/proc/loadavg: 7.43 6.92 5.21 3/213 32643
/proc/meminfo: memFree=25592096/32770624 swapFree=66953492/67108860
[pid=32621] ppid=32618 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32621/stat : 32621 (scop.sh) S 32618 32621 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510021284 115843072 349 33554432000 4194304 5098028 140731732639024 140731732636280 139858955043452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14905344 140731732644604 140731732644952 140731732644952 140731732647881 0
/proc/32621/statm: 28282 349 296 221 0 87 0
[pid=32624] ppid=32621 vsize=27314120 memory=107324 CPUtime=0.1 cores=0-7
/proc/32624/stat : 32624 (java) S 32621 32621 31589 0 -1 1077944320 6861 0 0 0 8 2 0 0 20 0 20 0 510021285 27969658880 26831 33554432000 4194304 4196468 140722587715472 140722587698016 140633545629431 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
/proc/32624/statm: 6828530 26831 2813 1 0 6790935 0
[pid=32624/tid=32625] ppid=32621 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32624/task/32625/stat : 32625 (java) R 32621 32621 31589 0 -1 4202560 4947 0 0 0 7 2 0 0 20 0 20 0 510021285 27969658880 26831 33554432000 4194304 4196468 140722587715472 140633517433632 140633545651357 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32626] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32626/stat : 32626 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 26831 33554432000 4194304 4196468 140722587715472 140633549872272 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32627] ppid=32621 vsize=27314120 memory=140351640086144 CPUtime=0 cores=0-7
/proc/32624/task/32627/stat : 32627 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 26831 33554432000 4194304 4196468 140722587715472 140633364028432 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32628] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32628/stat : 32628 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 26831 33554432000 4194304 4196468 140722587715472 140633362975632 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32629] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32629/stat : 32629 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 26831 33554432000 4194304 4196468 140722587715472 140633361922832 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32630] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32630/stat : 32630 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 26831 33554432000 4194304 4196468 140722587715472 140633360870032 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32631] ppid=32621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32624/task/32631/stat : 32631 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 26831 33554432000 4194304 4196468 140722587715472 140633359817232 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32632] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32632/stat : 32632 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021288 27969658880 26831 33554432000 4194304 4196468 140722587715472 140633358764432 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32633] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32633/stat : 32633 (java) S 32621 32621 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021288 27969658880 26831 33554432000 4194304 4196468 140722587715472 140633357711632 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32634] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32634/stat : 32634 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021289 27969658880 26831 33554432000 4194304 4196468 140722587715472 140631597308784 140633545640578 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32635] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32635/stat : 32635 (java) S 32621 32621 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510021289 27969658880 26831 33554432000 4194304 4196468 140722587715472 140631523452448 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32636] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32636/stat : 32636 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021290 27969658880 26831 33554432000 4194304 4196468 140722587715472 140631255016816 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32637] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32637/stat : 32637 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 26831 33554432000 4194304 4196468 140722587715472 140630880508240 140633545648027 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32638] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32638/stat : 32638 (java) S 32621 32621 31589 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 26831 33554432000 4194304 4196468 140722587715472 140631596255600 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32639] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32639/stat : 32639 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 26831 33554432000 4194304 4196468 140722587715472 140631595202800 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32640] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32640/stat : 32640 (java) S 32621 32621 31589 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 26831 33554432000 4194304 4196468 140722587715472 140631594150000 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32641] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32641/stat : 32641 (java) S 32621 32621 31589 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 26831 33554432000 4194304 4196468 140722587715472 140631593097200 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32642] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32642/stat : 32642 (java) S 32621 32621 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 26831 33554432000 4194304 4196468 140722587715472 140630382603360 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32643] ppid=32621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32624/task/32643/stat : 32643 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021293 27969658880 26831 33554432000 4194304 4196468 140722587715472 140631592045616 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108720 KiB

[startup+0.210482 s]*
/proc/loadavg: 7.43 6.92 5.21 2/213 32643
/proc/meminfo: memFree=25574044/32770624 swapFree=66953492/67108860
[pid=32621] ppid=32618 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32621/stat : 32621 (scop.sh) S 32618 32621 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510021284 115843072 349 33554432000 4194304 5098028 140731732639024 140731732636280 139858955043452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14905344 140731732644604 140731732644952 140731732644952 140731732647881 0
/proc/32621/statm: 28282 349 296 221 0 87 0
[pid=32624] ppid=32621 vsize=27314120 memory=123568 CPUtime=0.24 cores=0-7
/proc/32624/stat : 32624 (java) S 32621 32621 31589 0 -1 1077944320 11845 0 0 0 20 4 0 0 20 0 20 0 510021285 27969658880 30892 33554432000 4194304 4196468 140722587715472 140722587698016 140633545629431 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
/proc/32624/statm: 6828530 30892 2889 1 0 6790935 0
[pid=32624/tid=32625] ppid=32621 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/32624/task/32625/stat : 32625 (java) R 32621 32621 31589 0 -1 4202560 9534 0 0 0 16 4 0 0 20 0 20 0 510021285 27969658880 30892 33554432000 4194304 4196468 140722587715472 140633517442864 140633530795070 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32626] ppid=32621 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/32624/task/32626/stat : 32626 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 30892 33554432000 4194304 4196468 140722587715472 140633549872272 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32627] ppid=32621 vsize=27314120 memory=140351643884507 CPUtime=0 cores=0-7
/proc/32624/task/32627/stat : 32627 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 30892 33554432000 4194304 4196468 140722587715472 140633364028432 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32628] ppid=32621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32624/task/32628/stat : 32628 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 30892 33554432000 4194304 4196468 140722587715472 140633362975632 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32629] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32629/stat : 32629 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 30892 33554432000 4194304 4196468 140722587715472 140633361922832 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32630] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32630/stat : 32630 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 30892 33554432000 4194304 4196468 140722587715472 140633360870032 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32631] ppid=32621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32624/task/32631/stat : 32631 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 30892 33554432000 4194304 4196468 140722587715472 140633359817232 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32632] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32632/stat : 32632 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021288 27969658880 30892 33554432000 4194304 4196468 140722587715472 140633358764432 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32633] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32633/stat : 32633 (java) S 32621 32621 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021288 27969658880 30892 33554432000 4194304 4196468 140722587715472 140633357711632 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32634] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32634/stat : 32634 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021289 27969658880 30892 33554432000 4194304 4196468 140722587715472 140631597308784 140633545640578 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32635] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32635/stat : 32635 (java) S 32621 32621 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510021289 27969658880 30892 33554432000 4194304 4196468 140722587715472 140631523452448 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32636] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32636/stat : 32636 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021290 27969658880 30892 33554432000 4194304 4196468 140722587715472 140631255016816 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32637] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32637/stat : 32637 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 30892 33554432000 4194304 4196468 140722587715472 140630880508240 140633545648027 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32638] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32638/stat : 32638 (java) S 32621 32621 31589 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 30892 33554432000 4194304 4196468 140722587715472 140631596255600 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32639] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32639/stat : 32639 (java) S 32621 32621 31589 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 30892 33554432000 4194304 4196468 140722587715472 140631595202800 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32640] ppid=32621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32624/task/32640/stat : 32640 (java) S 32621 32621 31589 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 30892 33554432000 4194304 4196468 140722587715472 140631594150000 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32641] ppid=32621 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32624/task/32641/stat : 32641 (java) S 32621 32621 31589 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 20 0 510021292 27969658880 30892 33554432000 4194304 4196468 140722587715472 140631593097200 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32642] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32642/stat : 32642 (java) S 32621 32621 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 30892 33554432000 4194304 4196468 140722587715472 140630382603360 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32643] ppid=32621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32624/task/32643/stat : 32643 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021293 27969658880 30892 33554432000 4194304 4196468 140722587715472 140631592045616 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124964 KiB

[startup+0.310319 s]*
/proc/loadavg: 7.43 6.92 5.21 2/213 32643
/proc/meminfo: memFree=25570260/32770624 swapFree=66953492/67108860
[pid=32621] ppid=32618 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32621/stat : 32621 (scop.sh) S 32618 32621 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510021284 115843072 349 33554432000 4194304 5098028 140731732639024 140731732636280 139858955043452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14905344 140731732644604 140731732644952 140731732644952 140731732647881 0
/proc/32621/statm: 28282 349 296 221 0 87 0
[pid=32624] ppid=32621 vsize=27314120 memory=127512 CPUtime=0.42 cores=0-7
/proc/32624/stat : 32624 (java) S 32621 32621 31589 0 -1 1077944320 12771 0 0 0 37 5 0 0 20 0 20 0 510021285 27969658880 31878 33554432000 4194304 4196468 140722587715472 140722587698016 140633545629431 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
/proc/32624/statm: 6828530 31878 3026 1 0 6790935 0
[pid=32624/tid=32625] ppid=32621 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32624/task/32625/stat : 32625 (java) R 32621 32621 31589 0 -1 4202560 10299 0 0 0 25 4 0 0 20 0 20 0 510021285 27969658880 31878 33554432000 4194304 4196468 140722587715472 140633517412448 140633525904753 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32626] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32626/stat : 32626 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 31878 33554432000 4194304 4196468 140722587715472 140633549872272 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32627] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32627/stat : 32627 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 31878 33554432000 4194304 4196468 140722587715472 140633364028432 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32628] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32628/stat : 32628 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 31878 33554432000 4194304 4196468 140722587715472 140633362975632 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32629] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32629/stat : 32629 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 31878 33554432000 4194304 4196468 140722587715472 140633361922832 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32630] ppid=32621 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32624/task/32630/stat : 32630 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 31878 33554432000 4194304 4196468 140722587715472 140633360870032 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32631] ppid=32621 vsize=27314120 memory=140351478264751 CPUtime=0 cores=0-7
/proc/32624/task/32631/stat : 32631 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021287 27969658880 31878 33554432000 4194304 4196468 140722587715472 140633359817232 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32632] ppid=32621 vsize=27314120 memory=140351478267056 CPUtime=0 cores=0-7
/proc/32624/task/32632/stat : 32632 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021288 27969658880 31878 33554432000 4194304 4196468 140722587715472 140633358764432 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32633] ppid=32621 vsize=27314120 memory=140351478269360 CPUtime=0 cores=0-7
/proc/32624/task/32633/stat : 32633 (java) S 32621 32621 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021288 27969658880 31878 33554432000 4194304 4196468 140722587715472 140633357711632 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32634] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32634/stat : 32634 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021289 27969658880 31878 33554432000 4194304 4196468 140722587715472 140631597308784 140633545640578 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32635] ppid=32621 vsize=27314120 memory=280702956545680 CPUtime=0 cores=0-7
/proc/32624/task/32635/stat : 32635 (java) S 32621 32621 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510021289 27969658880 31878 33554432000 4194304 4196468 140722587715472 140631523452448 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32636] ppid=32621 vsize=27314120 memory=280702956552592 CPUtime=0 cores=0-7
/proc/32624/task/32636/stat : 32636 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021290 27969658880 31878 33554432000 4194304 4196468 140722587715472 140631255016816 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32637] ppid=32621 vsize=27314120 memory=280702956493872 CPUtime=0 cores=0-7
/proc/32624/task/32637/stat : 32637 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 31878 33554432000 4194304 4196468 140722587715472 140630880508240 140633545648027 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32638] ppid=32621 vsize=27314120 memory=280702956566416 CPUtime=0.01 cores=0-7
/proc/32624/task/32638/stat : 32638 (java) R 32621 32621 31589 0 -1 4202560 418 0 0 0 1 0 0 0 20 0 20 0 510021292 27969658880 31878 33554432000 4194304 4196468 140722587715472 140631596255600 140633526265289 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32639] ppid=32621 vsize=27314120 memory=280702956573328 CPUtime=0.01 cores=0-7
/proc/32624/task/32639/stat : 32639 (java) S 32621 32621 31589 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 20 0 510021292 27969658880 31878 33554432000 4194304 4196468 140722587715472 140631595202800 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32640] ppid=32621 vsize=27314120 memory=280702956571024 CPUtime=0 cores=0-7
/proc/32624/task/32640/stat : 32640 (java) S 32621 32621 31589 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 31878 33554432000 4194304 4196468 140722587715472 140631594150000 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32641] ppid=32621 vsize=27314120 memory=280702956587184 CPUtime=0.07 cores=0-7
/proc/32624/task/32641/stat : 32641 (java) S 32621 32621 31589 0 -1 1077944384 522 0 0 0 7 0 0 0 20 0 20 0 510021292 27969658880 31878 33554432000 4194304 4196468 140722587715472 140631593097200 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32642] ppid=32621 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32642/stat : 32642 (java) S 32621 32621 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510021292 27969658880 31878 33554432000 4194304 4196468 140722587715472 140630382603360 140633545639637 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32643] ppid=32621 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32624/task/32643/stat : 32643 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021293 27969658880 31878 33554432000 4194304 4196468 140722587715472 140631592045616 140633545640578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128908 KiB

[startup+0.700861 s]
/proc/loadavg: 7.43 6.92 5.21 2/213 32643
/proc/meminfo: memFree=25546448/32770624 swapFree=66953492/67108860
[pid=32621] ppid=32618 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32621/stat : 32621 (scop.sh) S 32618 32621 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510021284 115843072 349 33554432000 4194304 5098028 140731732639024 140731732636280 139858955043452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14905344 140731732644604 140731732644952 140731732644952 140731732647881 0
/proc/32621/statm: 28282 349 296 221 0 87 0
[pid=32624] ppid=32621 vsize=27322440 memory=165956 CPUtime=1.02 cores=0-7
/proc/32624/stat : 32624 (java) S 32621 32621 31589 0 -1 1077944320 20546 0 0 0 94 8 0 0 20 0 20 0 510021285 27978178560 41489 33554432000 4194304 4196468 140722587715472 140722587698016 140633545629431 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
/proc/32624/statm: 6830610 41489 3189 1 0 6791959 0
[pid=32624/tid=32625] ppid=32621 vsize=27322440 memory=280702956945072 CPUtime=0.67 cores=0-7
/proc/32624/task/32625/stat : 32625 (java) R 32621 32621 31589 0 -1 4202560 17462 0 0 0 61 6 0 0 20 0 20 0 510021285 27978178560 41489 33554432000 4194304 4196468 140722587715472 140633517467376 140633545641366 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32626] ppid=32621 vsize=27322440 memory=140351478473584 CPUtime=0 cores=0-7
/proc/32624/task/32626/stat : 32626 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27978178560 41489 33554432000 4194304 4196468 140722587715472 140633549872272 140633545639637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32627] ppid=32621 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/32624/task/32627/stat : 32627 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510021287 27978178560 41489 33554432000 4194304 4196468 140722587715472 140633364028432 140633545639637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0
[pid=32624/tid=32628] ppid=32621 vsize=27322440 memory=668 CPUtime=0 cores=0-7
/proc/32624/task/32628/stat : 32628 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510021287 27978178560 41489 33554432000 4194304 4196468 140722587715472 140633362975632 140633545639637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140722587722438 140722587722886 140722587722886 140722587725775 0

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

/proc/32644/task/32654/stat : 32654 (java) S 32621 32621 31589 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510021654 8616062976 31827 33554432000 4194304 4196468 140736590759456 140140220922224 140140791818882 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32655] ppid=32621 vsize=8414124 memory=6944656592452201530 CPUtime=0 cores=0-7
/proc/32644/task/32655/stat : 32655 (java) S 32621 32621 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510021654 8616062976 31827 33554432000 4194304 4196468 140736590759456 140139481261088 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32656] ppid=32621 vsize=8414124 memory=6656426215495852112 CPUtime=0 cores=0-7
/proc/32644/task/32656/stat : 32656 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510021654 8616062976 31827 33554432000 4194304 4196468 140736590759456 140139212825456 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32657] ppid=32621 vsize=8414124 memory=6944656592385096288 CPUtime=0 cores=0-7
/proc/32644/task/32657/stat : 32657 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510021657 8616062976 31827 33554432000 4194304 4196468 140736590759456 140138838316880 140140791826331 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32658] ppid=32621 vsize=8414124 memory=6931099613816775520 CPUtime=0.08 cores=0-7
/proc/32644/task/32658/stat : 32658 (java) S 32621 32621 31589 0 -1 1077944384 634 0 0 0 8 0 0 0 20 0 24 0 510021657 8616062976 31827 33554432000 4194304 4196468 140736590759456 140139347041136 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32659] ppid=32621 vsize=8414124 memory=6931104011256488016 CPUtime=0.11 cores=0-7
/proc/32644/task/32659/stat : 32659 (java) S 32621 32621 31589 0 -1 1077944384 518 0 0 0 11 0 0 0 20 0 24 0 510021657 8616062976 31827 33554432000 4194304 4196468 140736590759456 140139345988336 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32660] ppid=32621 vsize=8414124 memory=6944656592385096288 CPUtime=0.09 cores=0-7
/proc/32644/task/32660/stat : 32660 (java) S 32621 32621 31589 0 -1 1077944384 408 0 0 0 9 0 0 0 20 0 24 0 510021657 8616062976 31827 33554432000 4194304 4196468 140736590759456 140139344935536 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32661] ppid=32621 vsize=8414124 memory=14008 CPUtime=0.24 cores=0-7
/proc/32644/task/32661/stat : 32661 (java) S 32621 32621 31589 0 -1 1077944384 809 0 0 0 24 0 0 0 20 0 24 0 510021657 8616062976 31827 33554432000 4194304 4196468 140736590759456 140139343882736 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32662] ppid=32621 vsize=8414124 memory=35436 CPUtime=0 cores=0-7
/proc/32644/task/32662/stat : 32662 (java) S 32621 32621 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510021657 8616062976 31827 33554432000 4194304 4196468 140736590759456 140138340412000 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32663] ppid=32621 vsize=8414124 memory=14056 CPUtime=0.05 cores=0-7
/proc/32644/task/32663/stat : 32663 (java) S 32621 32621 31589 0 -1 1077944384 7 0 0 0 0 5 0 0 20 0 24 0 510021657 8616062976 31827 33554432000 4194304 4196468 140736590759456 140139342830128 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32666] ppid=32621 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/32644/task/32666/stat : 32666 (java) S 32621 32621 31589 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510021729 8616062976 31827 33554432000 4194304 4196468 140736590759456 140140219868224 140140791832345 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32668] ppid=32621 vsize=8414124 memory=520 CPUtime=0 cores=0-7
/proc/32644/task/32668/stat : 32668 (java) S 32621 32621 31589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510021729 8616062976 31827 33554432000 4194304 4196468 140736590759456 140137669312688 140140791829661 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32669] ppid=32621 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/32644/task/32669/stat : 32669 (java) S 32621 32621 31589 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510021729 8616062976 31827 33554432000 4194304 4196468 140736590759456 140137937748016 140140791829661 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32670] ppid=32621 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/32644/task/32670/stat : 32670 (java) S 32621 32621 31589 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510021731 8616062976 31827 33554432000 4194304 4196468 140736590759456 140137400884784 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
Current children cumulated CPU time: 688.48 s
Current children cumulated vsize: 9873776 KiB
Current children cumulated memory: 1157224 KiB

[startup+93.2011 s]
/proc/loadavg: 8.23 7.24 5.49 6/221 32683
/proc/meminfo: memFree=24525276/32770624 swapFree=66953492/67108860
[pid=32621] ppid=32618 vsize=113128 memory=1476 CPUtime=5.84 cores=0-7
/proc/32621/stat : 32621 (scop.sh) S 32618 32621 31589 0 -1 4202496 582 26630 0 0 0 0 542 42 20 0 1 0 510021284 115843072 369 33554432000 4194304 5098028 140731732639024 140731732635768 139858955043452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14905344 140731732644604 140731732644952 140731732644952 140731732647881 0
/proc/32621/statm: 28282 369 311 221 0 87 0
[pid=32644] ppid=32621 vsize=8414124 memory=133564 CPUtime=1.53 cores=0-7
/proc/32644/stat : 32644 (java) S 32621 32621 31589 0 -1 1077944320 23883 0 0 0 142 11 0 0 20 0 24 0 510021651 8616062976 33391 33554432000 4194304 4196468 140736590759456 140736590742000 140140791807735 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
/proc/32644/statm: 2103531 33391 3223 1 0 2064875 0
[pid=32665] ppid=32644 vsize=1314184 memory=1028740 CPUtime=683.23 cores=0-7
/proc/32665/stat : 32665 (manyglucose-4.1) R 32644 32621 31589 0 -1 4202496 1408503 0 0 0 68098 225 0 0 20 0 1 0 510021728 1345724416 257185 33554432000 4194304 4454172 140731283385824 140731283382544 140500485745789 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552832 6554400 8327168 140731283387213 140731283387420 140731283387420 140731283390390 0
/proc/32665/statm: 328546 257185 422 64 0 324214 0
[pid=32644/tid=32645] ppid=32621 vsize=8414124 memory=1027672 CPUtime=0.81 cores=0-7
/proc/32644/task/32645/stat : 32645 (java) S 32621 32621 31589 0 -1 1077944384 17972 0 0 0 74 7 0 0 20 0 24 0 510021651 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140763647904 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32646] ppid=32621 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/32644/task/32646/stat : 32646 (java) S 32621 32621 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510021652 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140796050064 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32647] ppid=32621 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/32644/task/32647/stat : 32647 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510021652 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140276697616 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32648] ppid=32621 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/32644/task/32648/stat : 32648 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510021652 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140275644816 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32649] ppid=32621 vsize=8414124 memory=14131130454511009 CPUtime=0 cores=0-7
/proc/32644/task/32649/stat : 32649 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510021652 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140274592016 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32650] ppid=32621 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/32644/task/32650/stat : 32650 (java) S 32621 32621 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510021652 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140273540240 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32651] ppid=32621 vsize=8414124 memory=8204 CPUtime=0 cores=0-7
/proc/32644/task/32651/stat : 32651 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510021652 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140272487440 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32652] ppid=32621 vsize=8414124 memory=9580 CPUtime=0 cores=0-7
/proc/32644/task/32652/stat : 32652 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510021652 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140271434640 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32653] ppid=32621 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/32644/task/32653/stat : 32653 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510021652 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140270381840 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32654] ppid=32621 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/32644/task/32654/stat : 32654 (java) S 32621 32621 31589 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510021654 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140220922224 140140791818882 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32655] ppid=32621 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/32644/task/32655/stat : 32655 (java) S 32621 32621 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510021654 8616062976 33457 33554432000 4194304 4196468 140736590759456 140139481261088 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32656] ppid=32621 vsize=8414124 memory=668 CPUtime=0 cores=0-7
/proc/32644/task/32656/stat : 32656 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510021654 8616062976 33457 33554432000 4194304 4196468 140736590759456 140139212825456 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32657] ppid=32621 vsize=8414124 memory=1276 CPUtime=0 cores=0-7
/proc/32644/task/32657/stat : 32657 (java) S 32621 32621 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510021657 8616062976 33457 33554432000 4194304 4196468 140736590759456 140138838316880 140140791826331 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32658] ppid=32621 vsize=8414124 memory=1096 CPUtime=0.1 cores=0-7
/proc/32644/task/32658/stat : 32658 (java) R 32621 32621 31589 0 -1 4202560 866 0 0 0 10 0 0 0 20 0 24 0 510021657 8616062976 33457 33554432000 4194304 4196468 140736590759456 140139347022152 140140773351458 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32659] ppid=32621 vsize=8414124 memory=14008 CPUtime=0.12 cores=0-7
/proc/32644/task/32659/stat : 32659 (java) S 32621 32621 31589 0 -1 1077944384 518 0 0 0 12 0 0 0 20 0 24 0 510021657 8616062976 33457 33554432000 4194304 4196468 140736590759456 140139345988336 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32660] ppid=32621 vsize=8414124 memory=35436 CPUtime=0.1 cores=0-7
/proc/32644/task/32660/stat : 32660 (java) S 32621 32621 31589 0 -1 1077944384 410 0 0 0 10 0 0 0 20 0 24 0 510021657 8616062976 33457 33554432000 4194304 4196468 140736590759456 140139344935536 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32661] ppid=32621 vsize=8414124 memory=1476 CPUtime=0.26 cores=0-7
/proc/32644/task/32661/stat : 32661 (java) R 32621 32621 31589 0 -1 4202560 1074 0 0 0 26 0 0 0 20 0 24 0 510021657 8616062976 33457 33554432000 4194304 4196468 140736590759456 140139343878760 140140770400245 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32662] ppid=32621 vsize=8414124 memory=127308 CPUtime=0 cores=0-7
/proc/32644/task/32662/stat : 32662 (java) S 32621 32621 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510021657 8616062976 33457 33554432000 4194304 4196468 140736590759456 140138340412000 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32663] ppid=32621 vsize=8414124 memory=1028324 CPUtime=0.05 cores=0-7
/proc/32644/task/32663/stat : 32663 (java) S 32621 32621 31589 0 -1 1077944384 7 0 0 0 0 5 0 0 20 0 24 0 510021657 8616062976 33457 33554432000 4194304 4196468 140736590759456 140139342830128 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32666] ppid=32621 vsize=8414124 memory=9580 CPUtime=0 cores=0-7
/proc/32644/task/32666/stat : 32666 (java) S 32621 32621 31589 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510021729 8616062976 33457 33554432000 4194304 4196468 140736590759456 140140219868224 140140791832345 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32668] ppid=32621 vsize=8414124 memory=1052 CPUtime=0.03 cores=0-7
/proc/32644/task/32668/stat : 32668 (java) R 32621 32621 31589 0 -1 4202560 1693 0 0 0 2 1 0 0 20 0 24 0 510021729 8616062976 33457 33554432000 4194304 4196468 140736590759456 140137669312656 140140791829661 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32669] ppid=32621 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/32644/task/32669/stat : 32669 (java) S 32621 32621 31589 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 510021729 8616062976 33457 33554432000 4194304 4196468 140736590759456 140137937748016 140140791829661 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32670] ppid=32621 vsize=8414124 memory=7686721470300855189 CPUtime=0 cores=0-7
/proc/32644/task/32670/stat : 32670 (java) S 32621 32621 31589 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510021731 8616062976 33457 33554432000 4194304 4196468 140736590759456 140137400884784 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
Current children cumulated CPU time: 690.6 s
Current children cumulated vsize: 9841436 KiB
Current children cumulated memory: 1163780 KiB

[startup+93.4011 s]
/proc/loadavg: 8.23 7.24 5.49 6/221 32683
/proc/meminfo: memFree=24525276/32770624 swapFree=66953492/67108860
[pid=32621] ppid=32618 vsize=113128 memory=1476 CPUtime=5.84 cores=0-7
/proc/32621/stat : 32621 (scop.sh) S 32618 32621 31589 0 -1 4202496 582 26630 0 0 0 0 542 42 20 0 1 0 510021284 115843072 369 33554432000 4194304 5098028 140731732639024 140731732635768 139858955043452 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14905344 140731732644604 140731732644952 140731732644952 140731732647881 0
/proc/32621/statm: 28282 369 311 221 0 87 0
[pid=32644] ppid=32621 vsize=8414124 memory=200088 CPUtime=685.24 cores=0-7
/proc/32644/stat : 32644 (java) S 32621 32621 31589 0 -1 1077944320 24196 1408509 0 0 175 13 68105 231 20 0 23 0 510021651 8616062976 50022 33554432000 4194304 4196468 140736590759456 140736590742000 140140791807735 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
/proc/32644/statm: 2103531 50022 3228 1 0 2064875 0
[pid=32644/tid=32645] ppid=32621 vsize=8414124 memory=1476 CPUtime=684.17 cores=0-7
/proc/32644/task/32645/stat : 32645 (java) S 32621 32621 31589 0 -1 1077944384 17972 1408509 0 0 74 7 68105 231 20 0 23 0 510021651 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140763647904 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32646] ppid=32621 vsize=8414124 memory=8323961198447197070 CPUtime=683.36 cores=0-7
/proc/32644/task/32646/stat : 32646 (java) S 32621 32621 31589 0 -1 1077944384 2 1408509 0 0 0 0 68105 231 20 0 23 0 510021652 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140796050064 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32647] ppid=32621 vsize=8414124 memory=1276 CPUtime=683.36 cores=0-7
/proc/32644/task/32647/stat : 32647 (java) S 32621 32621 31589 0 -1 1077944384 1 1408509 0 0 0 0 68105 231 20 0 23 0 510021652 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140276697616 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32648] ppid=32621 vsize=8414124 memory=1096 CPUtime=683.36 cores=0-7
/proc/32644/task/32648/stat : 32648 (java) S 32621 32621 31589 0 -1 1077944384 1 1408509 0 0 0 0 68105 231 20 0 23 0 510021652 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140275644816 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32649] ppid=32621 vsize=8414124 memory=14008 CPUtime=683.36 cores=0-7
/proc/32644/task/32649/stat : 32649 (java) S 32621 32621 31589 0 -1 1077944384 1 1408509 0 0 0 0 68105 231 20 0 23 0 510021652 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140274592016 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32650] ppid=32621 vsize=8414124 memory=35436 CPUtime=683.36 cores=0-7
/proc/32644/task/32650/stat : 32650 (java) S 32621 32621 31589 0 -1 1077944384 3 1408509 0 0 0 0 68105 231 20 0 23 0 510021652 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140273540240 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32651] ppid=32621 vsize=8414124 memory=14056 CPUtime=683.36 cores=0-7
/proc/32644/task/32651/stat : 32651 (java) S 32621 32621 31589 0 -1 1077944384 1 1408509 0 0 0 0 68105 231 20 0 23 0 510021652 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140272487440 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32652] ppid=32621 vsize=8414124 memory=2116 CPUtime=683.36 cores=0-7
/proc/32644/task/32652/stat : 32652 (java) S 32621 32621 31589 0 -1 1077944384 1 1408509 0 0 0 0 68105 231 20 0 23 0 510021652 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140271434640 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32653] ppid=32621 vsize=8414124 memory=520 CPUtime=683.36 cores=0-7
/proc/32644/task/32653/stat : 32653 (java) S 32621 32621 31589 0 -1 1077944384 1 1408509 0 0 0 0 68105 231 20 0 23 0 510021652 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140270381840 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32654] ppid=32621 vsize=8414124 memory=1560 CPUtime=683.36 cores=0-7
/proc/32644/task/32654/stat : 32654 (java) S 32621 32621 31589 0 -1 1077944384 7 1408509 0 0 0 0 68105 231 20 0 23 0 510021654 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140220922224 140140791818882 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32655] ppid=32621 vsize=8414124 memory=924 CPUtime=683.36 cores=0-7
/proc/32644/task/32655/stat : 32655 (java) S 32621 32621 31589 0 -1 1077944384 13 1408509 0 0 0 0 68105 231 20 0 23 0 510021654 8616062976 50022 33554432000 4194304 4196468 140736590759456 140139481261088 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32656] ppid=32621 vsize=8414124 memory=2008 CPUtime=683.36 cores=0-7
/proc/32644/task/32656/stat : 32656 (java) S 32621 32621 31589 0 -1 1077944384 1 1408509 0 0 0 0 68105 231 20 0 23 0 510021654 8616062976 50022 33554432000 4194304 4196468 140736590759456 140139212825456 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32657] ppid=32621 vsize=8414124 memory=1028428 CPUtime=683.36 cores=0-7
/proc/32644/task/32657/stat : 32657 (java) S 32621 32621 31589 0 -1 1077944384 1 1408509 0 0 0 0 68105 231 20 0 23 0 510021657 8616062976 50022 33554432000 4194304 4196468 140736590759456 140138838316880 140140791826331 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32658] ppid=32621 vsize=8414124 memory=7686721470300855189 CPUtime=683.5 cores=0-7
/proc/32644/task/32658/stat : 32658 (java) S 32621 32621 31589 0 -1 1077944384 943 1408509 0 0 14 0 68105 231 20 0 23 0 510021657 8616062976 50022 33554432000 4194304 4196468 140736590759456 140139347041136 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32659] ppid=32621 vsize=8414124 memory=1412 CPUtime=683.52 cores=0-7
/proc/32644/task/32659/stat : 32659 (java) S 32621 32621 31589 0 -1 1077944384 536 1408509 0 0 16 0 68105 231 20 0 23 0 510021657 8616062976 50022 33554432000 4194304 4196468 140736590759456 140139345988336 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32660] ppid=32621 vsize=8414124 memory=3584 CPUtime=683.53 cores=0-7
/proc/32644/task/32660/stat : 32660 (java) S 32621 32621 31589 0 -1 1077944384 440 1408509 0 0 17 0 68105 231 20 0 23 0 510021657 8616062976 50022 33554432000 4194304 4196468 140736590759456 140139344935536 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32661] ppid=32621 vsize=8414124 memory=1476 CPUtime=683.65 cores=0-7
/proc/32644/task/32661/stat : 32661 (java) S 32621 32621 31589 0 -1 1077944384 1147 1408509 0 0 29 0 68105 231 20 0 23 0 510021657 8616062976 50022 33554432000 4194304 4196468 140736590759456 140139343882736 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32662] ppid=32621 vsize=8414124 memory=1476 CPUtime=683.36 cores=0-7
/proc/32644/task/32662/stat : 32662 (java) S 32621 32621 31589 0 -1 1077944384 3 1408509 0 0 0 0 68105 231 20 0 23 0 510021657 8616062976 50022 33554432000 4194304 4196468 140736590759456 140138340412000 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32663] ppid=32621 vsize=8414124 memory=127308 CPUtime=683.41 cores=0-7
/proc/32644/task/32663/stat : 32663 (java) S 32621 32621 31589 0 -1 1077944384 7 1408509 0 0 0 5 68105 231 20 0 23 0 510021657 8616062976 50022 33554432000 4194304 4196468 140736590759456 140139342830128 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32666] ppid=32621 vsize=8414124 memory=1030092 CPUtime=683.36 cores=0-7
/proc/32644/task/32666/stat : 32666 (java) S 32621 32621 31589 0 -1 1077944384 24 1408509 0 0 0 0 68105 231 20 0 23 0 510021729 8616062976 50022 33554432000 4194304 4196468 140736590759456 140140219867408 140140791818882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32668] ppid=32621 vsize=8414124 memory=127308 CPUtime=683.56 cores=0-7
/proc/32644/task/32668/stat : 32668 (java) R 32621 32621 31589 0 -1 4202560 1755 1408509 0 0 18 2 68105 231 20 0 23 0 510021729 8616062976 50022 33554432000 4194304 4196468 140736590759456 140137669318656 140140298395624 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
[pid=32644/tid=32670] ppid=32621 vsize=8414124 memory=1476 CPUtime=683.36 cores=0-7
/proc/32644/task/32670/stat : 32670 (java) S 32621 32621 31589 0 -1 1077944384 9 1408509 0 0 0 0 68105 231 20 0 23 0 510021731 8616062976 50022 33554432000 4194304 4196468 140736590759456 140137400884544 140140791817941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26181632 140736590767071 140736590767238 140736590767238 140736590770127 0
Current children cumulated CPU time: 691.08 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 201564 KiB

[startup+93.5055 s]
/proc/loadavg: 8.23 7.24 5.49 6/221 32683
/proc/meminfo: memFree=24525276/32770624 swapFree=66953492/67108860
[pid=32621] ppid=32618 vsize=113128 memory=1476 CPUtime=691.29 cores=0-7
/proc/32621/stat : 32621 (scop.sh) R 32618 32621 31589 0 -1 4202496 583 1459642 0 0 0 0 68841 288 20 0 1 0 510021284 115843072 369 33554432000 4194304 5098028 140731732639024 140731732635768 139858954745737 0 0 4100 81923 0 0 0 17 5 0 0 0 0 0 7196144 7232144 14905344 140731732644604 140731732644952 140731732644952 140731732647881 0
/proc/32621/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 691.29 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 93.5058
CPU time (s): 691.307
CPU user time (s): 688.415
CPU system time (s): 2.89144
CPU usage (%): 739.319
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1790064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 688.415
system time used= 2.89145
maximum resident set size= 1793356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1460236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32673
involuntary context switches= 7378


# summary of solver processes directly reported to runsolver:
#   pid: 32621
#   total CPU time (s): 691.307
#   total CPU user time (s): 688.415
#   total CPU system time (s): 2.89144

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.803946 second user time and 1.37137 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-24 18:03:44
IDJOB=4405613
IDBENCH=133411
IDSOLVER=2868
FILE ID=node119/4405613-1569341065
RUNJOBID= node119-1569335938-31616
PBS_JOBID= 21705065
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-60-3-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-4405613-1569341065/watcher-4405613-1569341065 -o /var/tmp/evaluation-result-4405613-1569341065/solver-4405613-1569341065 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --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-4405613-1569341065.xml

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

MD5SUM BENCH= 24593adebe844e759ba30cbfe45e1115
RANDOM SEED=586788715

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25687516 kB
MemAvailable:   31799380 kB
Buffers:          125208 kB
Cached:          6086040 kB
SwapCached:        46744 kB
Active:          3085232 kB
Inactive:        3176124 kB
Active(anon):       3340 kB
Inactive(anon):   104076 kB
Active(file):    3081892 kB
Inactive(file):  3072048 kB
Unevictable:      107592 kB
Mlocked:          107592 kB
SwapTotal:      67108860 kB
SwapFree:       66953492 kB
Dirty:             20656 kB
Writeback:             0 kB
AnonPages:        112716 kB
Mapped:            57372 kB
Shmem:             48536 kB
Slab:             414856 kB
SReclaimable:     386384 kB
SUnreclaim:        28472 kB
KernelStack:        3440 kB
PageTables:         5064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node119 at 2019-09-24 18:05:18