Trace number 4392481

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 order+ManyGlucose (2019-06-15)SAT 2979.15 405.103

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-40-3-5.xml
MD5SUMb9738aa7a21d23764c9c35483473acef
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 benchmark33.4427
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":91}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":9},{"degree":1,"count":19},{"degree":2,"count":29},{"degree":3,"count":25},{"degree":4,"count":15},{"degree":6,"count":3}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":3},{"arity":4,"count":8},{"arity":5,"count":9},{"arity":6,"count":5},{"arity":7,"count":6},{"arity":8,"count":9}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":40}]
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-21949-serial-file.bin HOME/instance-4392481-1568433657.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 06:00:15 CEST 2019
0.66/0.57	c PID: 21952
0.66/0.57	c IP: 172.20.3.147
0.66/0.57	c HOST: node147.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.38/0.90	c (0,0) Parsing End
1.38/0.90	c (0,0) CSP: 91 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 28
1.38/0.90	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.90	c (0,0) Constraint Name Generate Begin
1.38/0.91	c (0,0) Ctr:HOME/instance-4392481-1568433657.xml,Num:Var:WeightedSum
1.38/0.91	c (0,0) Constraint Name Generate End
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) CSP to CSPinCNF Begin
1.38/1.00	c (0,0) translated 4 (10%) constraints
1.57/1.02	c (0,0) translated 8 (20%) constraints
1.57/1.03	c (0,0) translated 12 (30%) constraints
1.57/1.03	c (0,0) translated 16 (40%) constraints
1.57/1.04	c (0,0) translated 20 (50%) constraints
1.57/1.05	c (0,0) translated 24 (60%) constraints
1.57/1.05	c (0,0) translated 28 (70%) constraints
1.57/1.06	c (0,0) translated 32 (80%) constraints
1.57/1.07	c (0,0) translated 36 (90%) constraints
1.57/1.07	c (0,0) translated 40 (100%) constraints
1.57/1.07	c (0,0) ===========================================
1.57/1.07	c (0,0) Order
1.57/1.07	c (0,0) ===========================================
1.84/1.11	c (0,0) translated 4 (10%) constraints
1.84/1.13	c (0,0) translated 8 (20%) constraints
1.84/1.14	c (0,0) translated 12 (30%) constraints
1.84/1.15	c (0,0) translated 16 (40%) constraints
1.84/1.16	c (0,0) translated 20 (50%) constraints
1.84/1.17	c (0,0) translated 24 (60%) constraints
1.84/1.18	c (0,0) translated 28 (70%) constraints
1.84/1.19	c (0,0) translated 32 (80%) constraints
2.04/1.20	c (0,0) translated 36 (90%) constraints
2.04/1.21	c (0,0) translated 40 (100%) constraints
2.04/1.22	c (0,0) CSP to CSPinCNF End
2.04/1.22	c (0,0) CSP: 199 int (108 aux), 0 bool (0 aux), 296 ctr, max domain size 1540
2.04/1.22	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.04/1.22	c (0,0) CSPinCNF Propagation Begin
2.04/1.24	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.04/1.24	c (0,0) CSPinCNF Propagation End
2.04/1.24	c (0,0) CSP: 199 int (108 aux), 0 bool (0 aux), 296 ctr, max domain size 1540
2.04/1.24	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.04/1.24	c (0,0) Simplify CSPinCNF Begin
2.04/1.25	c (0,0) Simplify CSPinCNF End
2.04/1.25	c (0,0) CSP: 199 int (108 aux), 0 bool (0 aux), 296 ctr, max domain size 1540
2.04/1.25	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.04/1.25	c (0,0) Calculate Precise Domain Begin
2.62/1.49	c (0,0) 6744 values are removed by re-calculation
2.62/1.49	c (0,0) Calculate Precise Domain End
2.62/1.49	c (0,0) CSP: 199 int (108 aux), 0 bool (0 aux), 296 ctr, max domain size 1484
2.62/1.49	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.62/1.49	c (0,0) CSPinCNF to SatSolver Begin
7.08/3.83	c (3,3) 30 (10 %) CSP clauses are encoded (0 SAT variables, 1215249 SAT clauses)
10.31/6.90	c (6,6) 60 (20 %) CSP clauses are encoded (0 SAT variables, 3052225 SAT clauses)
11.54/9.12	c (8,7) 89 (30 %) CSP clauses are encoded (0 SAT variables, 3773989 SAT clauses)
12.16/9.76	c (9,8) 119 (40 %) CSP clauses are encoded (0 SAT variables, 4134319 SAT clauses)
13.00/10.29	c (9,8) 148 (50 %) CSP clauses are encoded (0 SAT variables, 4386465 SAT clauses)
13.70/10.78	c (10,9) 178 (60 %) CSP clauses are encoded (0 SAT variables, 4684511 SAT clauses)
15.91/13.66	c (13,11) 208 (70 %) CSP clauses are encoded (0 SAT variables, 6163341 SAT clauses)
16.45/14.13	c (13,11) 237 (80 %) CSP clauses are encoded (0 SAT variables, 6486467 SAT clauses)
17.58/15.29	c (14,12) 267 (90 %) CSP clauses are encoded (0 SAT variables, 7274239 SAT clauses)
18.20/15.87	c (15,13) 296 (100 %) CSP clauses are encoded (0 SAT variables, 7670009 SAT clauses)
18.20/15.89	c (15,13) CSPinCNF to SatSolver End
18.20/15.89	c (15,13) Heap : 4178 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
18.20/15.89	c (15,13) 56025 bool, 7686444 clause
18.20/15.89	c (15,13) Export Begin
18.30/15.98	c (15,13) Export to HOME/scop-21949-serial-file.bin
18.30/15.98	c (15,13) Export End
18.30/15.98	c (15,13) Export File Size: 0.02 MB
18.30/15.98	c (15,13) 0,0,0,0,0,0,15,STOP-AFTER(DIMACS)
18.30/15.98	c END-Prog: Sat Sep 14 06:00:30 CEST 2019
0.00/16.03	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21949-serial-file.bin
18.99/16.49	c (0,0) Read Serial File Begin
18.99/16.49	c (0,0) HOME/scop-21949-serial-file.bin
19.23/16.70	c (0,0) Read Serial File End
19.40/16.71	
19.40/16.71	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
19.40/16.71	(Solving Process)
19.40/16.71	
19.40/16.73	c BEGIN-Prog: Sat Sep 14 06:00:31 CEST 2019
19.40/16.73	c PID: 21974
19.40/16.73	c IP: 172.20.3.147
19.40/16.73	c HOST: node147.alineos.net
19.40/16.73	c (0,0) SatSolver.solve Begin
19.40/16.73	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392481-1568433657.xml-scop-21952.cnf
19.40/16.76	c (0,0) c
19.40/16.76	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)
19.40/16.76	c (0,0) c
19.40/16.76	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
19.40/16.76	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
19.40/16.76	c (0,0) c ========================================[ Problem Statistics ]===========================================
19.40/16.76	c (0,0) c |                                                                                                       |
21.67/18.83	c (2,0) c |  Number of variables:         56025                                                                   |
21.67/18.83	c (2,0) c |  Number of clauses:         7686444                                                                   |
21.67/18.83	c (2,0) c |  Parse time:                   1.85 s                                                                 |
21.67/18.83	c (2,0) c |                                                                                                       |
22.18/19.38	c (2,0) c | Too many clauses... No preprocessing                                                                  |
22.18/19.38	c (2,0) c |  Simplification time:          0.50 s                                                                 |
22.18/19.38	c (2,0) c |                                                                                                       |
22.18/19.38	c (2,0) c |  Generating clones                                                                                    |
23.39/20.52	c (4,0) c |  all clones generated. Memory =  3250.21Mb.                                                           |
23.39/20.52	c (4,0) c ========================================================================================================|
23.39/20.52	c (4,0) c
23.39/20.52	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.39/20.52	c (4,0) c
23.39/20.52	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.39/20.52	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.39/20.52	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.39/20.52	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.39/20.52	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.39/20.52	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.39/20.52	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
23.39/20.52	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.39/20.52	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.39/20.52	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.39/20.52	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.39/20.52	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.39/20.52	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.39/20.52	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.39/20.52	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
23.39/20.52	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.39/20.52	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.39/20.52	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.39/20.52	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
240.08/50.17	c (33,0) c
240.08/50.17	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
240.08/50.17	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
240.08/50.17	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
240.08/50.17	c (33,0) c |  0 |     37 |      13986 |       7049 |    84606 |     3255 |      551 |     1804 |       88 |      415 |  20 |  2.770 |
240.08/50.17	c (33,0) c |  1 |     31 |      11958 |       6551 |    82214 |     5550 |      584 |     2252 |       89 |      432 |  20 |  2.770 |
240.08/50.17	c (33,0) c |  2 |     32 |      12524 |       6339 |    81711 |     5342 |      453 |     2007 |      104 |      435 |  20 |  2.770 |
240.08/50.17	c (33,0) c |  3 |     39 |      13343 |       6961 |    84001 |     3167 |      579 |     2486 |      113 |      434 |  20 |  2.770 |
240.08/50.17	c (33,0) c |  4 |     18 |      11485 |       6110 |    82690 |     5113 |      375 |     1886 |       91 |      435 |  20 |  2.770 |
240.08/50.17	c (33,0) c |  5 |      4 |       5875 |       3957 |    46657 |     2964 |       46 |     1476 |       29 |      433 |  20 |  2.770 |
240.08/50.17	c (33,0) c |  6 |     25 |      13652 |       7263 |    83159 |     3482 |      697 |      915 |       81 |      435 |  20 |  2.770 |
240.08/50.17	c (33,0) c |  7 |     22 |      10630 |       5877 |    70642 |     4885 |      271 |     2267 |       71 |      434 |  20 |  2.770 |
240.08/50.17	c (33,0) c 
240.08/50.17	c (33,0) c synthesis       50107 conflicts   152344357 propagations      235 conflicts/sec   713841 propagations/sec
240.08/50.17	c (33,0) c real: 33.4086 s, cpu: 213.415 s, memory: 4276.82 Mb
466.12/79.17	c (62,0) c
466.12/79.17	c (62,0) c |------------------------------------------------------------------------------------------------------------------------|
466.12/79.17	c (62,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
466.12/79.17	c (62,0) c |------------------------------------------------------------------------------------------------------------------------|
466.12/79.17	c (62,0) c |  0 |     70 |      25308 |      13566 |   143703 |     9754 |     1746 |    11803 |      446 |      913 |  20 |  2.854 |
466.12/79.17	c (62,0) c |  1 |     61 |      23396 |      13190 |   141039 |     9363 |     1769 |    11071 |      449 |      917 |  20 |  2.854 |
466.12/79.17	c (62,0) c |  2 |     59 |      22481 |      12166 |   140606 |     8366 |     1753 |    11192 |      357 |      901 |  20 |  2.854 |
466.12/79.17	c (62,0) c |  3 |     69 |      24736 |      13699 |   143343 |     9865 |     1834 |    11485 |      475 |      920 |  20 |  2.854 |
466.12/79.17	c (62,0) c |  4 |     34 |      22512 |      12901 |   145340 |     9114 |     1656 |    11798 |      394 |      918 |  20 |  2.854 |
466.12/79.17	c (62,0) c |  5 |     11 |      16283 |      11018 |   112107 |     7219 |     1744 |    11489 |      362 |      921 |  20 |  2.854 |
466.12/79.17	c (62,0) c |  6 |     52 |      24244 |      13533 |   139369 |     9747 |     1974 |    11124 |      422 |      918 |  20 |  2.854 |
466.12/79.17	c (62,0) c |  7 |     41 |      21084 |      12331 |   129656 |     8532 |     1586 |    12094 |      423 |      917 |  20 |  2.854 |
466.12/79.17	c (62,0) c 
466.12/79.17	c (62,0) c synthesis      102404 conflicts   316520790 propagations      234 conflicts/sec   722730 propagations/sec
466.12/79.17	c (62,0) c real: 62.4086 s, cpu: 437.951 s, memory: 4341.98 Mb
697.93/109.17	c (92,0) c
697.93/109.17	c (92,0) c |------------------------------------------------------------------------------------------------------------------------|
697.93/109.17	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
697.93/109.17	c (92,0) c |------------------------------------------------------------------------------------------------------------------------|
697.93/109.17	c (92,0) c |  0 |    102 |      36651 |      20141 |   193966 |    11346 |     2910 |    20423 |      968 |     1401 |  20 |  4.002 |
697.93/109.17	c (92,0) c |  1 |     87 |      34321 |      19896 |   188151 |    11085 |     2931 |    20544 |      977 |     1418 |  20 |  4.002 |
697.93/109.17	c (92,0) c |  2 |     94 |      32954 |      18254 |   191854 |     9460 |     2726 |    20644 |      841 |     1408 |  20 |  4.002 |
697.93/109.17	c (92,0) c |  3 |    105 |      37403 |      21025 |   201290 |    12194 |     3132 |    20164 |      932 |     1419 |  20 |  4.002 |
697.93/109.17	c (92,0) c |  4 |     53 |      34661 |      20525 |   199249 |    11725 |     2977 |    20308 |      817 |     1419 |  20 |  4.002 |
697.93/109.17	c (92,0) c |  5 |     25 |      26677 |      17645 |   167909 |     8856 |     3214 |    20379 |      792 |     1420 |  20 |  4.004 |
697.93/109.17	c (92,0) c |  6 |     81 |      34568 |      19724 |   184399 |    10928 |     3100 |    20403 |      880 |     1417 |  20 |  4.004 |
697.93/109.17	c (92,0) c |  7 |     62 |      32628 |      19487 |   188390 |    10678 |     2899 |    19329 |      866 |     1418 |  20 |  4.002 |
697.93/109.17	c (92,0) c 
697.93/109.17	c (92,0) c synthesis      156697 conflicts   489528111 propagations      234 conflicts/sec   731705 propagations/sec
697.93/109.17	c (92,0) c real: 92.4086 s, cpu: 669.024 s, memory: 4342.89 Mb
922.53/139.17	c (122,0) c
922.53/139.17	c (122,0) c |------------------------------------------------------------------------------------------------------------------------|
922.53/139.17	c (122,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
922.53/139.17	c (122,0) c |------------------------------------------------------------------------------------------------------------------------|
922.53/139.17	c (122,0) c |  0 |    134 |      47282 |      26216 |   238477 |    10005 |     3799 |    28457 |     1454 |     1896 |  20 |  4.004 |
922.53/139.17	c (122,0) c |  1 |    112 |      45235 |      26710 |   232067 |    10510 |     4125 |    27472 |     1454 |     1895 |  20 |  4.004 |
922.53/139.17	c (122,0) c |  2 |    121 |      42014 |      23597 |   231842 |    14803 |     3642 |    28422 |     1277 |     1876 |  20 |  4.004 |
922.53/139.17	c (122,0) c |  3 |    137 |      48852 |      27884 |   246649 |    11674 |     4199 |    28200 |     1510 |     1896 |  20 |  4.004 |
922.53/139.17	c (122,0) c |  4 |     79 |      44738 |      26793 |   246284 |    10606 |     4096 |    27933 |     1288 |     1895 |  20 |  4.004 |
922.53/139.17	c (122,0) c |  5 |     36 |      36980 |      24441 |   211937 |     8264 |     4612 |    26448 |     1298 |     1896 |  20 |  4.004 |
922.53/139.17	c (122,0) c |  6 |    118 |      45468 |      25972 |   226413 |     9787 |     4083 |    28274 |     1396 |     1896 |  20 |  4.004 |
922.53/139.17	c (122,0) c |  7 |     75 |      43706 |      26767 |   230771 |    10577 |     4212 |    28159 |     1307 |     1893 |  20 |  4.004 |
922.53/139.17	c (122,0) c 
922.53/139.17	c (122,0) c synthesis      208380 conflicts   653924764 propagations      234 conflicts/sec   732948 propagations/sec
922.53/139.17	c (122,0) c real: 122.409 s, cpu: 892.184 s, memory: 4343.80 Mb
1150.58/168.17	c (151,0) c
1150.58/168.17	c (151,0) c |------------------------------------------------------------------------------------------------------------------------|
1150.58/168.17	c (151,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1150.58/168.17	c (151,0) c |------------------------------------------------------------------------------------------------------------------------|
1150.58/168.17	c (151,0) c |  0 |    163 |      57871 |      32637 |   276426 |    16426 |     4835 |    35451 |     1970 |     2373 |  20 |  4.004 |
1150.58/168.17	c (151,0) c |  1 |    147 |      55652 |      32839 |   274232 |    16639 |     5042 |    35310 |     2035 |     2365 |  20 |  4.004 |
1150.58/168.17	c (151,0) c |  2 |    151 |      53090 |      30275 |   272297 |    14079 |     4727 |    35652 |     1834 |     2365 |  20 |  4.004 |
1150.58/168.17	c (151,0) c |  3 |    170 |      59998 |      34366 |   284547 |    18156 |     5269 |    35152 |     2092 |     2376 |  20 |  4.004 |
1150.58/168.17	c (151,0) c |  4 |    103 |      54863 |      32797 |   283450 |    16610 |     5069 |    35437 |     1846 |     2374 |  20 |  4.004 |
1150.58/168.17	c (151,0) c |  5 |     42 |      45139 |      29910 |   247304 |    13733 |     5618 |    34594 |     1664 |     2358 |  20 |  4.004 |
1150.58/168.17	c (151,0) c |  6 |    155 |      57135 |      32606 |   266078 |    16421 |     5128 |    34829 |     2041 |     2364 |  20 |  4.004 |
1150.58/168.17	c (151,0) c |  7 |     88 |      51818 |      32238 |   260272 |    16048 |     5158 |    34823 |     1728 |     2375 |  20 |  4.004 |
1150.58/168.17	c (151,0) c 
1150.58/168.17	c (151,0) c synthesis      257668 conflicts   819612029 propagations      230 conflicts/sec   732489 propagations/sec
1150.58/168.17	c (151,0) c real: 151.409 s, cpu: 1118.94 s, memory: 4344.45 Mb
1378.61/197.17	c (180,0) c
1378.61/197.17	c (180,0) c |------------------------------------------------------------------------------------------------------------------------|
1378.61/197.17	c (180,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1378.61/197.17	c (180,0) c |------------------------------------------------------------------------------------------------------------------------|
1378.61/197.17	c (180,0) c |  0 |    184 |      66773 |      38145 |   310022 |    12050 |     5724 |    42864 |     2494 |     2852 |  20 |  4.004 |
1378.61/197.17	c (180,0) c |  1 |    174 |      66587 |      39478 |   310814 |    13384 |     6123 |    42240 |     2563 |     2838 |  20 |  4.004 |
1378.61/197.17	c (180,0) c |  2 |    186 |      64464 |      37151 |   308597 |    11062 |     5814 |    42899 |     2479 |     2857 |  20 |  4.004 |
1378.61/197.17	c (180,0) c |  3 |    205 |      70685 |      40480 |   319133 |    14384 |     6258 |    42085 |     2636 |     2856 |  20 |  4.004 |
1378.61/197.17	c (180,0) c |  4 |    122 |      64637 |      39199 |   317074 |    13116 |     5982 |    42727 |     2415 |     2857 |  20 |  4.004 |
1378.61/197.17	c (180,0) c |  5 |     56 |      55969 |      36930 |   289359 |    10851 |     6809 |    40957 |     2255 |     2858 |  20 |  4.004 |
1378.61/197.17	c (180,0) c |  6 |    194 |      67656 |      38703 |   303857 |    12629 |     6032 |    42562 |     2540 |     2855 |  20 |  4.004 |
1378.61/197.17	c (180,0) c |  7 |     97 |      61005 |      38513 |   293096 |    12432 |     6212 |    41778 |     2152 |     2858 |  20 |  4.004 |
1378.61/197.17	c (180,0) c 
1378.61/197.17	c (180,0) c synthesis      308599 conflicts   985885811 propagations      229 conflicts/sec   732419 propagations/sec
1378.61/197.17	c (180,0) c real: 180.409 s, cpu: 1346.07 s, memory: 4345.22 Mb
1600.05/226.17	c (209,0) c
1600.05/226.17	c (209,0) c |------------------------------------------------------------------------------------------------------------------------|
1600.05/226.17	c (209,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1600.05/226.17	c (209,0) c |------------------------------------------------------------------------------------------------------------------------|
1600.05/226.17	c (209,0) c |  0 |    210 |      78118 |      45271 |   343630 |    19176 |     6924 |    49717 |     3098 |     3332 |  20 |  4.004 |
1600.05/226.17	c (209,0) c |  1 |    201 |      76880 |      45842 |   341659 |    19748 |     7075 |    49185 |     3239 |     3312 |  20 |  4.004 |
1600.05/226.17	c (209,0) c |  2 |    210 |      74550 |      43577 |   339110 |    17488 |     6801 |    49854 |     3011 |     3332 |  20 |  4.004 |
1600.05/226.17	c (209,0) c |  3 |    235 |      81658 |      46827 |   352403 |    20731 |     7315 |    48821 |     3217 |     3332 |  20 |  4.004 |
1600.05/226.17	c (209,0) c |  4 |    151 |      74726 |      45260 |   347357 |    19177 |     6824 |    49710 |     2983 |     3331 |  20 |  4.004 |
1600.05/226.17	c (209,0) c |  5 |     70 |      65523 |      43324 |   317764 |    17245 |     7796 |    48852 |     2718 |     3332 |  20 |  4.004 |
1600.05/226.17	c (209,0) c |  6 |    238 |      78913 |      45013 |   338675 |    18939 |     6978 |    48894 |     3074 |     3332 |  20 |  4.004 |
1600.05/226.17	c (209,0) c |  7 |    115 |      71672 |      45335 |   328041 |    19254 |     7230 |    49369 |     2770 |     3332 |  20 |  4.004 |
1600.05/226.17	c (209,0) c 
1600.05/226.17	c (209,0) c synthesis      360449 conflicts  1150953838 propagations      230 conflicts/sec   734672 propagations/sec
1600.05/226.17	c (209,0) c real: 209.409 s, cpu: 1566.62 s, memory: 4346.12 Mb
1830.24/256.17	c (239,0) c
1830.24/256.17	c (239,0) c |------------------------------------------------------------------------------------------------------------------------|
1830.24/256.17	c (239,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1830.24/256.17	c (239,0) c |------------------------------------------------------------------------------------------------------------------------|
1830.24/256.17	c (239,0) c |  0 |    250 |      87880 |      51024 |   373374 |    12480 |     7866 |    55891 |     3680 |     3819 |  20 |  4.004 |
1830.24/256.17	c (239,0) c |  1 |    222 |      87262 |      52431 |   372596 |    13895 |     8149 |    55018 |     3829 |     3815 |  20 |  4.004 |
1830.24/256.17	c (239,0) c |  2 |    226 |      83769 |      49617 |   368434 |    23528 |     7751 |    56001 |     3473 |     3820 |  20 |  4.004 |
1830.24/256.17	c (239,0) c |  3 |    266 |      90617 |      52134 |   379815 |    13587 |     8140 |    55265 |     3646 |     3800 |  20 |  4.004 |
1830.24/256.17	c (239,0) c |  4 |    181 |      84681 |      51358 |   382712 |    12826 |     7432 |    56316 |     3643 |     3819 |  20 |  4.004 |
1830.24/256.17	c (239,0) c |  5 |     77 |      74222 |      49024 |   346018 |    22945 |     8750 |    53190 |     3274 |     3820 |  20 |  4.004 |
1830.24/256.17	c (239,0) c |  6 |    268 |      87826 |      50357 |   368740 |    24283 |     7762 |    55797 |     3575 |     3820 |  20 |  4.004 |
1830.24/256.17	c (239,0) c |  7 |    140 |      82456 |      51841 |   361210 |    13305 |     8186 |    55450 |     3408 |     3820 |  20 |  4.004 |
1830.24/256.17	c (239,0) c 
1830.24/256.17	c (239,0) c synthesis      407786 conflicts  1314416086 propagations      227 conflicts/sec   731829 propagations/sec
1830.24/256.17	c (239,0) c real: 239.409 s, cpu: 1796.07 s, memory: 4347.04 Mb
2064.16/286.17	c (269,0) c
2064.16/286.17	c (269,0) c |------------------------------------------------------------------------------------------------------------------------|
2064.16/286.17	c (269,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2064.16/286.17	c (269,0) c |------------------------------------------------------------------------------------------------------------------------|
2064.16/286.17	c (269,0) c |  0 |    274 |      98466 |      57554 |   403561 |    18986 |     8649 |    62082 |     4369 |     4313 |  20 |  4.726 |
2064.16/286.17	c (269,0) c |  1 |    247 |      97094 |      58732 |   401009 |    20158 |     9051 |    61722 |     4332 |     4299 |  20 |  4.726 |
2064.16/286.17	c (269,0) c |  2 |    245 |      92390 |      55331 |   398289 |    16786 |     8572 |    62467 |     3852 |     4317 |  20 |  4.727 |
2064.16/286.17	c (269,0) c |  3 |    296 |     101355 |      58881 |   413808 |    20320 |     8958 |    61842 |     4192 |     4314 |  20 |  4.726 |
2064.16/286.17	c (269,0) c |  4 |    189 |      93172 |      57341 |   405894 |    18784 |     8276 |    60317 |     4067 |     4315 |  20 |  4.727 |
2064.16/286.17	c (269,0) c |  5 |     81 |      82217 |      54573 |   376040 |    16046 |     9702 |    59660 |     3579 |     4318 |  20 |  4.726 |
2064.16/286.17	c (269,0) c |  6 |    294 |      98307 |      57095 |   399435 |    18556 |     8819 |    62250 |     4093 |     4319 |  20 |  4.726 |
2064.16/286.17	c (269,0) c |  7 |    168 |      93542 |      58632 |   395377 |    20096 |     9286 |    61621 |     3999 |     4318 |  20 |  4.726 |
2064.16/286.17	c (269,0) c 
2064.16/286.17	c (269,0) c synthesis      458139 conflicts  1482000062 propagations      226 conflicts/sec   730570 propagations/sec
2064.16/286.17	c (269,0) c real: 269.409 s, cpu: 2028.55 s, memory: 4347.43 Mb
2286.47/315.18	c (298,0) c
2286.47/315.18	c (298,0) c |------------------------------------------------------------------------------------------------------------------------|
2286.47/315.18	c (298,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2286.47/315.18	c (298,0) c |------------------------------------------------------------------------------------------------------------------------|
2286.47/315.18	c (298,0) c |  0 |    295 |     106473 |      62551 |   426005 |    23983 |     9218 |    67856 |     4873 |     4778 |  20 |  4.727 |
2286.47/315.18	c (298,0) c |  1 |    274 |     107000 |      64715 |   428537 |    26141 |     9822 |    66835 |     4864 |     4789 |  20 |  4.727 |
2286.47/315.18	c (298,0) c |  2 |    277 |     102255 |      61339 |   424143 |    22794 |     9393 |    68058 |     4423 |     4793 |  20 |  4.726 |
2286.47/315.18	c (298,0) c |  3 |    320 |     110763 |      64562 |   443170 |    26001 |     9585 |    67465 |     4726 |     4791 |  20 |  4.727 |
2286.47/315.18	c (298,0) c |  4 |    196 |     100797 |      62592 |   426934 |    24035 |     9002 |    67553 |     4432 |     4777 |  20 |  4.727 |
2286.47/315.18	c (298,0) c |  5 |     93 |      91357 |      60459 |   404265 |    21932 |    10566 |    66604 |     4073 |     4797 |  20 |  4.726 |
2286.47/315.18	c (298,0) c |  6 |    326 |     109857 |      63959 |   428247 |    25420 |     9956 |    67556 |     4775 |     4797 |  20 |  4.726 |
2286.47/315.18	c (298,0) c |  7 |    188 |     103080 |      64689 |   428057 |    26153 |    10147 |    67031 |     4466 |     4784 |  20 |  4.726 |
2286.47/315.18	c (298,0) c 
2286.47/315.18	c (298,0) c synthesis      504866 conflicts  1640243606 propagations      224 conflicts/sec   729076 propagations/sec
2286.47/315.18	c (298,0) c real: 298.409 s, cpu: 2249.76 s, memory: 4348.21 Mb
2512.58/344.17	c (327,0) c
2512.58/344.17	c (327,0) c |------------------------------------------------------------------------------------------------------------------------|
2512.58/344.17	c (327,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2512.58/344.17	c (327,0) c |------------------------------------------------------------------------------------------------------------------------|
2513.38/344.27	c (327,0) c |  0 |    324 |     115916 |      68184 |   451692 |    29616 |     9845 |    73750 |     5386 |     5266 |  20 |  4.728 |
2513.38/344.27	c (327,0) c |  1 |    290 |     116980 |      71125 |   453344 |    17547 |    10718 |    72559 |     5349 |     5264 |  20 |  4.728 |
2513.38/344.27	c (327,0) c |  2 |    293 |     109651 |      66039 |   444308 |    27494 |    10066 |    73458 |     4782 |     5259 |  20 |  4.728 |
2513.38/344.27	c (327,0) c |  3 |    345 |     120356 |      70615 |   470352 |    17043 |    10281 |    73319 |     5257 |     5273 |  20 |  4.728 |
2513.38/344.27	c (327,0) c |  4 |    221 |     110023 |      68250 |   453234 |    29692 |     9776 |    73418 |     5052 |     5256 |  20 |  4.728 |
2513.38/344.27	c (327,0) c |  5 |    109 |     101185 |      66636 |   432770 |    28109 |    11497 |    72058 |     4559 |     5275 |  20 |  4.728 |
2513.38/344.27	c (327,0) c |  6 |    356 |     118191 |      68874 |   450527 |    15314 |    10684 |    72872 |     5265 |     5265 |  20 |  4.728 |
2513.38/344.27	c (327,0) c |  7 |    219 |     112751 |      70371 |   454252 |    16809 |    10946 |    72560 |     4955 |     5259 |  20 |  4.728 |
2513.38/344.27	c (327,0) c 
2513.38/344.27	c (327,0) c synthesis      550094 conflicts  1798769098 propagations      222 conflicts/sec   727041 propagations/sec
2513.38/344.27	c (327,0) c real: 327.409 s, cpu: 2474.09 s, memory: 4348.99 Mb
2737.34/373.17	c (356,0) c
2737.34/373.17	c (356,0) c |------------------------------------------------------------------------------------------------------------------------|
2737.34/373.17	c (356,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2737.34/373.17	c (356,0) c |------------------------------------------------------------------------------------------------------------------------|
2737.34/373.17	c (356,0) c |  0 |    336 |     123993 |      73420 |   479090 |    19862 |    10557 |    78504 |     5687 |     5734 |  20 |  4.728 |
2737.34/373.17	c (356,0) c |  1 |    314 |     127152 |      77468 |   478810 |    23890 |    11569 |    78188 |     5839 |     5738 |  20 |  4.728 |
2737.34/373.17	c (356,0) c |  2 |    302 |     116602 |      70931 |   459880 |    17372 |    10839 |    78616 |     5193 |     5719 |  20 |  4.728 |
2737.34/373.17	c (356,0) c |  3 |    368 |     131554 |      77477 |   498832 |    23905 |    11309 |    78284 |     5712 |     5739 |  20 |  4.728 |
2737.34/373.17	c (356,0) c |  4 |    232 |     117961 |      73539 |   475996 |    19971 |    10562 |    78161 |     5426 |     5729 |  20 |  4.728 |
2737.34/373.17	c (356,0) c |  5 |    120 |     108510 |      71628 |   456096 |    18073 |    12183 |    77570 |     5088 |     5735 |  20 |  4.728 |
2737.34/373.17	c (356,0) c |  6 |    376 |     127734 |      74923 |   476885 |    21363 |    11299 |    78268 |     5729 |     5736 |  20 |  4.728 |
2737.34/373.17	c (356,0) c |  7 |    242 |     121189 |      75462 |   471780 |    21900 |    11729 |    75531 |     5354 |     5739 |  20 |  4.728 |
2737.34/373.17	c (356,0) c 
2737.34/373.17	c (356,0) c synthesis      594848 conflicts  1955390933 propagations      221 conflicts/sec   724853 propagations/sec
2737.34/373.17	c (356,0) c real: 356.408 s, cpu: 2697.64 s, memory: 4349.38 Mb
2964.22/402.17	c (385,0) c
2964.22/402.17	c (385,0) c |------------------------------------------------------------------------------------------------------------------------|
2964.22/402.17	c (385,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2964.22/402.17	c (385,0) c |------------------------------------------------------------------------------------------------------------------------|
2964.22/402.17	c (385,0) c |  0 |    347 |     132015 |      78706 |   500487 |    25148 |    11397 |    81376 |     6056 |     6198 |  20 |  4.728 |
2964.22/402.17	c (385,0) c |  1 |    330 |     136286 |      83368 |   503428 |    29790 |    12371 |    82718 |     6253 |     6217 |  20 |  4.728 |
2964.22/402.17	c (385,0) c |  2 |    325 |     124062 |      76083 |   476356 |    22524 |    11532 |    83940 |     5451 |     6218 |  20 |  4.728 |
2964.22/402.17	c (385,0) c |  3 |    388 |     141461 |      84103 |   523335 |    30531 |    12212 |    83645 |     6150 |     6218 |  20 |  4.728 |
2964.22/402.17	c (385,0) c |  4 |    246 |     125800 |      78941 |   498100 |    25373 |    11423 |    84301 |     5975 |     6218 |  20 |  4.728 |
2964.22/402.17	c (385,0) c |  5 |    141 |     116738 |      76714 |   477452 |    23159 |    12816 |    82632 |     5480 |     6218 |  20 |  4.728 |
2964.22/402.17	c (385,0) c |  6 |    395 |     136132 |      80392 |   496273 |    26832 |    11930 |    83403 |     6128 |     6218 |  20 |  4.728 |
2964.22/402.17	c (385,0) c |  7 |    261 |     129195 |      80543 |   492585 |    26981 |    12508 |    83337 |     5788 |     6218 |  20 |  4.728 |
2964.22/402.17	c (385,0) c 
2964.22/402.17	c (385,0) c synthesis      638850 conflicts  2112961868 propagations      219 conflicts/sec   722807 propagations/sec
2964.22/402.17	c (385,0) c real: 385.413 s, cpu: 2923.27 s, memory: 4349.90 Mb
2978.39/404.71	c (388,0) c
2978.39/404.71	c (388,0) c real time : 387.955 s
2978.39/404.71	c (388,0) c cpu time  : 2936.82 s
2978.39/404.71	c (388,0) c
2978.39/404.71	c (388,0) c
2978.39/404.71	c (388,0) c
2978.39/404.71	c (388,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2978.39/404.71	c (388,0) c
2978.39/404.71	c (388,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2978.39/404.71	c (388,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2978.39/404.71	c (388,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2978.39/404.71	c (388,0) c | Conflicts     |          641532 |      79222 |      83664 |      76432 |      84368 |      79167 |      77051 |      80689 |      80939 |
2978.39/404.71	c (388,0) c | Decisions     |         1045842 |     132784 |     136710 |     124662 |     141873 |     126180 |     117215 |     136583 |     129835 |
2978.39/404.71	c (388,0) c | Propagations  |      2122673133 |  267399566 |  272554592 |  266965972 |  265355360 |  262479953 |  258061849 |  269183160 |  260672681 |
2978.39/404.71	c (388,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
2978.39/404.71	c (388,0) c | SimpDBs       |              48 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |          6 |
2978.39/404.71	c (388,0) c | Restarts      |            2440 |        347 |        330 |        327 |        389 |        248 |        141 |        395 |        263 |
2978.39/404.71	c (388,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2978.39/404.71	c (388,0) c | PropBinClauses|      4462282581 |  562322184 |  569393948 |  560403784 |  553797234 |  555500967 |  546568864 |  561816884 |  552478716 |
2978.39/404.71	c (388,0) c | PropPreBlocker|    268944951395 |33513325674 |33625525481 |33602202033 |33589943381 |33710107484 |33643480733 |33521026037 |33739340572 |
2978.39/404.71	c (388,0) c | PropNotBlocker|     23540280188 | 3038262244 | 2919899236 | 2957770219 | 2980028714 | 2853977661 | 2920867951 | 3037838434 | 2831635729 |
2978.39/404.71	c (388,0) c | LitFullScans  |    299863192621 |37477857055 |37483719465 |37483696301 |37484906233 |37483681483 |37481672367 |37483945189 |37483714528 |
2978.39/404.71	c (388,0) c | LitScanFracts |        60356508 |    7383725 |    7523640 |    7594425 |    7718355 |    7602677 |    7462266 |    7551035 |    7520385 |
2978.39/404.71	c (388,0) c | DecisionLevel0|            2482 |        356 |        333 |        335 |        395 |        255 |        143 |        399 |        266 |
2978.39/404.71	c (388,0) c | Periods       |           49966 |       6245 |       6246 |       6246 |       6246 |       6246 |       6245 |       6246 |       6246 |
2978.39/404.71	c (388,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2978.39/404.71	c (388,0) c | Avg_Trail     |                 |      42811 |      43082 |      43029 |      43526 |      43420 |      43736 |      42785 |      43404 |
2978.39/404.71	c (388,0) c | Avg_DL        |                 |         28 |         29 |         28 |         31 |         29 |         30 |         30 |         30 |
2978.39/404.71	c (388,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2978.39/404.71	c (388,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2978.39/404.71	c (388,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2978.39/404.71	c (388,0) c | Exported      |           96521 |      11470 |      12407 |      11572 |      12249 |      11437 |      12847 |      11961 |      12578 |
2978.39/404.71	c (388,0) c | Imported      |          667129 |      81376 |      82718 |      84667 |      83891 |      84819 |      82632 |      83403 |      83623 |
2978.39/404.71	c (388,0) c | Good          |            2278 |        274 |        270 |        289 |        280 |        291 |        299 |        287 |        288 |
2978.39/404.71	c (388,0) c | Purge         |          664851 |      81102 |      82448 |      84378 |      83611 |      84528 |      82333 |      83116 |      83335 |
2978.39/404.71	c (388,0) c | Promoted      |           47503 |       6077 |       6280 |       5468 |       6184 |       6001 |       5503 |       6146 |       5844 |
2978.39/404.71	c (388,0) c | Remove_Imp    |          337858 |      43513 |      40309 |      44155 |      41411 |      43030 |      43256 |      41774 |      40410 |
2978.39/404.71	c (388,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2978.39/404.71	c (388,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2978.39/404.71	c (388,0) c | Unaries       |                 |          9 |          3 |          8 |          6 |          7 |          2 |          4 |          3 |
2978.39/404.71	c (388,0) c | Binaries      |                 |         50 |         55 |         37 |         46 |         35 |         27 |         39 |         38 |
2978.39/404.71	c (388,0) c | Glues         |                 |        850 |        859 |        776 |        821 |        820 |        576 |        804 |        709 |
2978.39/404.71	c (388,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2978.39/404.71	c (388,0) c | Orig_Seen     |             6 % |     501901 |     504304 |     478251 |     524531 |     499584 |     479363 |     497195 |     493767 |
2978.39/404.71	c (388,0) c | Diff Orig seen|                 |      22538 |      24941 | -     1112 |      45168 |      20221 |      X     |      17832 |      14404 |
2978.39/404.71	c (388,0) c | Hamming       |            19 % |      11714 |      11850 |      10161 |      11218 |      10127 |      X     |      10788 |      10387 |
2978.39/404.71	c (388,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2978.39/404.71	c (388,0) c | RunningTime   |                 |  379.1  99%|  380.1  99%|  372.7  97%|  368.6  96%|  370.1  97%|  362.3  95%|  370.0  97%|  365.1  95%|
2978.39/404.71	c (388,0) c | WaitingTime   |                 |    4.9   1%|    3.1   1%|   10.6   3%|   14.6   4%|   13.1   3%|   20.9   5%|   13.2   3%|   18.2   5%|
2978.39/404.71	c (388,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
2978.39/404.71	c (388,0) c | PeriodProcTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
2978.39/404.71	c (388,0) c | SolvingTime   |                 |  384.2     |  383.4     |  383.4     |  383.4     |  383.4     |  383.4     |  383.4     |  383.4     |
2978.39/404.71	c (388,0) c | PropagationTim|                 |  376.5  98%|  375.6  98%|  375.5  98%|  375.5  98%|  375.3  98%|  375.6  98%|  375.6  98%|  375.5  98%|
2978.39/404.71	c (388,0) c | AnalysisTime  |                 |    3.9   1%|    4.1   1%|    4.0   1%|    4.0   1%|    4.1   1%|    4.1   1%|    3.9   1%|    4.0   1%|
2978.39/404.71	c (388,0) c | ReductionTime |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
2978.39/404.71	c (388,0) c | SimplifyTime  |                 |    0.5   0%|    0.5   0%|    0.8   0%|    0.6   0%|    0.8   0%|    0.6   0%|    0.7   0%|    0.7   0%|
2978.39/404.71	c (388,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%|
2978.39/404.71	c (388,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%|
2978.39/404.71	c (388,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2978.39/404.71	c (388,0) c
2978.39/404.71	c (388,0) c
2978.39/404.71	c (388,0) c Threads : 8
2978.39/404.71	c (388,0) c Winner : 5
2978.39/404.71	c (388,0) c Conflicts_0 : 79222
2978.39/404.71	c (388,0) c Conflicts_1 : 83664
2978.39/404.71	c (388,0) c Conflicts_2 : 76432
2978.39/404.71	c (388,0) c Conflicts_3 : 84368
2978.39/404.71	c (388,0) c Conflicts_4 : 79167
2978.39/404.71	c (388,0) c Conflicts_5 : 77051
2978.39/404.72	c (388,0) c Conflicts_6 : 80689
2978.39/404.72	c (388,0) c Conflicts_7 : 80939
2978.39/404.72	c (388,0) c Conflicts_total : 641532
2978.39/404.72	c (388,0) c Conflicts_winner : 77051
2978.39/404.72	c (388,0) c Decisions_0 : 132784
2978.39/404.72	c (388,0) c Decisions_1 : 136710
2978.39/404.72	c (388,0) c Decisions_2 : 124662
2978.39/404.72	c (388,0) c Decisions_3 : 141873
2978.39/404.72	c (388,0) c Decisions_4 : 126180
2978.39/404.72	c (388,0) c Decisions_5 : 117215
2978.39/404.72	c (388,0) c Decisions_6 : 136583
2978.39/404.72	c (388,0) c Decisions_7 : 129835
2978.39/404.72	c (388,0) c Decisions_total : 1045842
2978.39/404.72	c (388,0) c Decisions_winner : 117215
2978.39/404.72	c (388,0) c Propagations_0 : 267399566
2978.39/404.72	c (388,0) c Propagations_1 : 272554592
2978.39/404.72	c (388,0) c Propagations_2 : 266965972
2978.39/404.72	c (388,0) c Propagations_3 : 265355360
2978.39/404.72	c (388,0) c Propagations_4 : 262479953
2978.39/404.72	c (388,0) c Propagations_5 : 258061849
2978.39/404.72	c (388,0) c Propagations_6 : 269183160
2978.39/404.72	c (388,0) c Propagations_7 : 260672681
2978.39/404.72	c (388,0) c Propagations_total : 2122673133
2978.39/404.72	c (388,0) c Propagations_winner : 258061849
2978.39/404.72	c (388,0) c ReduceDBs_0 : 7
2978.39/404.72	c (388,0) c ReduceDBs_1 : 7
2978.39/404.72	c (388,0) c ReduceDBs_2 : 7
2978.39/404.72	c (388,0) c ReduceDBs_3 : 7
2978.39/404.72	c (388,0) c ReduceDBs_4 : 7
2978.39/404.72	c (388,0) c ReduceDBs_5 : 7
2978.39/404.72	c (388,0) c ReduceDBs_6 : 7
2978.39/404.72	c (388,0) c ReduceDBs_7 : 7
2978.39/404.72	c (388,0) c ReduceDBs_total : 56
2978.39/404.72	c (388,0) c ReduceDBs_winner : 7
2978.39/404.72	c (388,0) c SimpDBs_0 : 6
2978.39/404.72	c (388,0) c SimpDBs_1 : 6
2978.39/404.72	c (388,0) c SimpDBs_2 : 6
2978.39/404.72	c (388,0) c SimpDBs_3 : 6
2978.39/404.72	c (388,0) c SimpDBs_4 : 6
2978.39/404.72	c (388,0) c SimpDBs_5 : 6
2978.39/404.72	c (388,0) c SimpDBs_6 : 6
2978.39/404.72	c (388,0) c SimpDBs_7 : 6
2978.39/404.72	c (388,0) c SimpDBs_total : 48
2978.39/404.72	c (388,0) c SimpDBs_winner : 6
2978.39/404.72	c (388,0) c Restarts_0 : 347
2978.39/404.72	c (388,0) c Restarts_1 : 330
2978.39/404.72	c (388,0) c Restarts_2 : 327
2978.39/404.72	c (388,0) c Restarts_3 : 389
2978.39/404.72	c (388,0) c Restarts_4 : 248
2978.39/404.72	c (388,0) c Restarts_5 : 141
2978.39/404.72	c (388,0) c Restarts_6 : 395
2978.39/404.72	c (388,0) c Restarts_7 : 263
2978.39/404.72	c (388,0) c Restarts_total : 2440
2978.39/404.72	c (388,0) c Restarts_winner : 141
2978.39/404.72	c (388,0) c ForcedImports_0 : 0
2978.39/404.72	c (388,0) c ForcedImports_1 : 0
2978.39/404.72	c (388,0) c ForcedImports_2 : 0
2978.39/404.72	c (388,0) c ForcedImports_3 : 0
2978.39/404.72	c (388,0) c ForcedImports_4 : 0
2978.39/404.72	c (388,0) c ForcedImports_5 : 0
2978.39/404.72	c (388,0) c ForcedImports_6 : 0
2978.39/404.72	c (388,0) c ForcedImports_7 : 0
2978.39/404.72	c (388,0) c ForcedImports_total : 0
2978.39/404.72	c (388,0) c ForcedImports_winner : 0
2978.39/404.72	c (388,0) c PropsBinClauses_0 : 562322184
2978.39/404.72	c (388,0) c PropsBinClauses_1 : 569393948
2978.39/404.72	c (388,0) c PropsBinClauses_2 : 560403784
2978.39/404.72	c (388,0) c PropsBinClauses_3 : 553797234
2978.39/404.72	c (388,0) c PropsBinClauses_4 : 555500967
2978.39/404.72	c (388,0) c PropsBinClauses_5 : 546568864
2978.39/404.72	c (388,0) c PropsBinClauses_6 : 561816884
2978.39/404.72	c (388,0) c PropsBinClauses_7 : 552478716
2978.39/404.72	c (388,0) c PropsBinClauses_total : 4462282581
2978.39/404.72	c (388,0) c PropsBinClauses_winner : 546568864
2978.39/404.72	c (388,0) c PropsPreBlocker_0 : 33513325674
2978.39/404.72	c (388,0) c PropsPreBlocker_1 : 33625525481
2978.39/404.72	c (388,0) c PropsPreBlocker_2 : 33602202033
2978.39/404.72	c (388,0) c PropsPreBlocker_3 : 33589943381
2978.39/404.72	c (388,0) c PropsPreBlocker_4 : 33710107484
2978.39/404.72	c (388,0) c PropsPreBlocker_5 : 33643480733
2978.39/404.72	c (388,0) c PropsPreBlocker_6 : 33521026037
2978.39/404.72	c (388,0) c PropsPreBlocker_7 : 33739340572
2978.39/404.72	c (388,0) c PropsPreBlocker_total : 268944951395
2978.39/404.72	c (388,0) c PropsPreBlocker_winner : 33643480733
2978.39/404.72	c (388,0) c PropsNotBlocker_0 : 3038262244
2978.39/404.72	c (388,0) c PropsNotBlocker_1 : 2919899236
2978.39/404.72	c (388,0) c PropsNotBlocker_2 : 2957770219
2978.39/404.72	c (388,0) c PropsNotBlocker_3 : 2980028714
2978.39/404.72	c (388,0) c PropsNotBlocker_4 : 2853977661
2978.39/404.72	c (388,0) c PropsNotBlocker_5 : 2920867951
2978.39/404.72	c (388,0) c PropsNotBlocker_6 : 3037838434
2978.39/404.72	c (388,0) c PropsNotBlocker_7 : 2831635729
2978.39/404.72	c (388,0) c PropsNotBlocker_total : 23540280188
2978.39/404.72	c (388,0) c PropsNotBlocker_winner : 2920867951
2978.39/404.72	c (388,0) c PropsLitFullScans_0 : 37477857055
2978.39/404.72	c (388,0) c PropsLitFullScans_1 : 37483719465
2978.39/404.72	c (388,0) c PropsLitFullScans_2 : 37483696301
2978.39/404.72	c (388,0) c PropsLitFullScans_3 : 37484906233
2978.39/404.72	c (388,0) c PropsLitFullScans_4 : 37483681483
2978.39/404.72	c (388,0) c PropsLitFullScans_5 : 37481672367
2978.39/404.72	c (388,0) c PropsLitFullScans_6 : 37483945189
2978.39/404.72	c (388,0) c PropsLitFullScans_7 : 37483714528
2978.39/404.72	c (388,0) c PropsLitFullScans_total : 299863192621
2978.39/404.72	c (388,0) c PropsLitFullScans_winner : 37481672367
2978.39/404.72	c (388,0) c LitScanFractions_0 : 7383725
2978.39/404.72	c (388,0) c LitScanFractions_1 : 7523640
2978.39/404.72	c (388,0) c LitScanFractions_2 : 7594425
2978.39/404.72	c (388,0) c LitScanFractions_3 : 7718355
2978.39/404.72	c (388,0) c LitScanFractions_4 : 7602677
2978.39/404.72	c (388,0) c LitScanFractions_5 : 7462266
2978.39/404.72	c (388,0) c LitScanFractions_6 : 7551035
2978.39/404.72	c (388,0) c LitScanFractions_7 : 7520385
2978.39/404.72	c (388,0) c LitScanFractions_total : 60356508
2978.39/404.72	c (388,0) c LitScanFractions_winner : 7462266
2978.39/404.72	c (388,0) c DecisionLevel0_0 : 356
2978.39/404.72	c (388,0) c DecisionLevel0_1 : 333
2978.39/404.72	c (388,0) c DecisionLevel0_2 : 335
2978.39/404.72	c (388,0) c DecisionLevel0_3 : 395
2978.39/404.72	c (388,0) c DecisionLevel0_4 : 255
2978.39/404.72	c (388,0) c DecisionLevel0_5 : 143
2978.39/404.72	c (388,0) c DecisionLevel0_6 : 399
2978.39/404.72	c (388,0) c DecisionLevel0_7 : 266
2978.39/404.72	c (388,0) c DecisionLevel0_total : 2482
2978.39/404.72	c (388,0) c DecisionLevel0_winner : 143
2978.39/404.72	c (388,0) c Periods_0 : 6245
2978.39/404.72	c (388,0) c Periods_1 : 6246
2978.39/404.72	c (388,0) c Periods_2 : 6246
2978.39/404.72	c (388,0) c Periods_3 : 6246
2978.39/404.72	c (388,0) c Periods_4 : 6246
2978.39/404.72	c (388,0) c Periods_5 : 6245
2978.39/404.72	c (388,0) c Periods_6 : 6246
2978.39/404.72	c (388,0) c Periods_7 : 6246
2978.39/404.72	c (388,0) c Periods_total : 49966
2978.39/404.72	c (388,0) c Periods_winner : 6245
2978.39/404.72	c (388,0) c Margin_0 : 20
2978.39/404.72	c (388,0) c Margin_1 : 20
2978.39/404.72	c (388,0) c Margin_2 : 20
2978.39/404.72	c (388,0) c Margin_3 : 20
2978.39/404.72	c (388,0) c Margin_4 : 20
2978.39/404.72	c (388,0) c Margin_5 : 20
2978.39/404.72	c (388,0) c Margin_6 : 20
2978.39/404.72	c (388,0) c Margin_7 : 20
2978.39/404.72	c (388,0) c Margin_total : 160
2978.39/404.72	c (388,0) c Margin_winner : 20
2978.39/404.72	c (388,0) c Exported_0 : 11470
2978.39/404.72	c (388,0) c Exported_1 : 12407
2978.39/404.72	c (388,0) c Exported_2 : 11572
2978.39/404.72	c (388,0) c Exported_3 : 12249
2978.39/404.72	c (388,0) c Exported_4 : 11437
2978.39/404.72	c (388,0) c Exported_5 : 12847
2978.39/404.72	c (388,0) c Exported_6 : 11961
2978.39/404.72	c (388,0) c Exported_7 : 12578
2978.39/404.72	c (388,0) c Exported_total : 96521
2978.39/404.72	c (388,0) c Exported_winner : 12847
2978.39/404.72	c (388,0) c Imported_0 : 81376
2978.39/404.72	c (388,0) c Imported_1 : 82718
2978.39/404.72	c (388,0) c Imported_2 : 84667
2978.39/404.72	c (388,0) c Imported_3 : 83891
2978.39/404.72	c (388,0) c Imported_4 : 84819
2978.39/404.72	c (388,0) c Imported_5 : 82632
2978.39/404.72	c (388,0) c Imported_6 : 83403
2978.39/404.72	c (388,0) c Imported_7 : 83623
2978.39/404.72	c (388,0) c Imported_total : 667129
2978.39/404.72	c (388,0) c Imported_winner : 82632
2978.39/404.72	c (388,0) c Good_0 : 274
2978.39/404.72	c (388,0) c Good_1 : 270
2978.39/404.72	c (388,0) c Good_2 : 289
2978.39/404.72	c (388,0) c Good_3 : 280
2978.39/404.72	c (388,0) c Good_4 : 291
2978.39/404.72	c (388,0) c Good_5 : 299
2978.39/404.72	c (388,0) c Good_6 : 287
2978.39/404.72	c (388,0) c Good_7 : 288
2978.39/404.72	c (388,0) c Good_total : 2278
2978.39/404.72	c (388,0) c Good_winner : 299
2978.39/404.72	c (388,0) c Purge_0 : 81102
2978.39/404.72	c (388,0) c Purge_1 : 82448
2978.39/404.72	c (388,0) c Purge_2 : 84378
2978.39/404.72	c (388,0) c Purge_3 : 83611
2978.39/404.72	c (388,0) c Purge_4 : 84528
2978.39/404.72	c (388,0) c Purge_5 : 82333
2978.39/404.72	c (388,0) c Purge_6 : 83116
2978.39/404.72	c (388,0) c Purge_7 : 83335
2978.39/404.72	c (388,0) c Purge_total : 664851
2978.39/404.72	c (388,0) c Purge_winner : 82333
2978.39/404.72	c (388,0) c Promoted_0 : 6077
2978.39/404.72	c (388,0) c Promoted_1 : 6280
2978.39/404.72	c (388,0) c Promoted_2 : 5468
2978.39/404.72	c (388,0) c Promoted_3 : 6184
2978.39/404.72	c (388,0) c Promoted_4 : 6001
2978.39/404.72	c (388,0) c Promoted_5 : 5503
2978.39/404.72	c (388,0) c Promoted_6 : 6146
2978.39/404.72	c (388,0) c Promoted_7 : 5844
2978.39/404.72	c (388,0) c Promoted_total : 47503
2978.39/404.72	c (388,0) c Promoted_winner : 5503
2978.39/404.72	c (388,0) c Remove_Imp_0 : 43513
2978.39/404.72	c (388,0) c Remove_Imp_1 : 40309
2978.39/404.72	c (388,0) c Remove_Imp_2 : 44155
2978.39/404.72	c (388,0) c Remove_Imp_3 : 41411
2978.39/404.72	c (388,0) c Remove_Imp_4 : 43030
2978.39/404.72	c (388,0) c Remove_Imp_5 : 43256
2978.39/404.72	c (388,0) c Remove_Imp_6 : 41774
2978.39/404.72	c (388,0) c Remove_Imp_7 : 40410
2978.39/404.72	c (388,0) c Remove_Imp_total : 337858
2978.39/404.72	c (388,0) c Remove_Imp_winner : 43256
2978.39/404.72	c (388,0) c Blocked_Reuse_0 : 0
2978.39/404.72	c (388,0) c Blocked_Reuse_1 : 0
2978.39/404.72	c (388,0) c Blocked_Reuse_2 : 0
2978.39/404.72	c (388,0) c Blocked_Reuse_3 : 0
2978.39/404.72	c (388,0) c Blocked_Reuse_4 : 0
2978.39/404.72	c (388,0) c Blocked_Reuse_5 : 0
2978.39/404.72	c (388,0) c Blocked_Reuse_6 : 0
2978.39/404.72	c (388,0) c Blocked_Reuse_7 : 0
2978.39/404.72	c (388,0) c Blocked_Reuse_total : 0
2978.39/404.72	c (388,0) c Blocked_Reuse_winner : 0
2978.39/404.72	c (388,0) c Unaries_0 : 9
2978.39/404.72	c (388,0) c Unaries_1 : 3
2978.39/404.72	c (388,0) c Unaries_2 : 8
2978.39/404.72	c (388,0) c Unaries_3 : 6
2978.39/404.72	c (388,0) c Unaries_4 : 7
2978.39/404.72	c (388,0) c Unaries_5 : 2
2978.39/404.72	c (388,0) c Unaries_6 : 4
2978.39/404.72	c (388,0) c Unaries_7 : 3
2978.39/404.72	c (388,0) c Unaries_total : 42
2978.39/404.72	c (388,0) c Unaries_winner : 2
2978.39/404.72	c (388,0) c Binaries_0 : 50
2978.39/404.72	c (388,0) c Binaries_1 : 55
2978.39/404.72	c (388,0) c Binaries_2 : 37
2978.39/404.72	c (388,0) c Binaries_3 : 46
2978.39/404.72	c (388,0) c Binaries_4 : 35
2978.39/404.72	c (388,0) c Binaries_5 : 27
2978.39/404.72	c (388,0) c Binaries_6 : 39
2978.39/404.72	c (388,0) c Binaries_7 : 38
2978.39/404.72	c (388,0) c Binaries_total : 327
2978.39/404.72	c (388,0) c Binaries_winner : 27
2978.39/404.72	c (388,0) c Glues_0 : 850
2978.39/404.72	c (388,0) c Glues_1 : 859
2978.39/404.72	c (388,0) c Glues_2 : 776
2978.39/404.72	c (388,0) c Glues_3 : 821
2978.39/404.72	c (388,0) c Glues_4 : 820
2978.39/404.72	c (388,0) c Glues_5 : 576
2978.39/404.72	c (388,0) c Glues_6 : 804
2978.39/404.72	c (388,0) c Glues_7 : 709
2978.39/404.72	c (388,0) c Glues_total : 6215
2978.39/404.72	c (388,0) c Glues_winner : 576
2978.39/404.72	c (388,0) c RunningTime_0 : 379.070196
2978.39/404.72	c (388,0) c RunningTime_1 : 380.087320
2978.39/404.72	c (388,0) c RunningTime_2 : 372.656125
2978.39/404.72	c (388,0) c RunningTime_3 : 368.609406
2978.39/404.72	c (388,0) c RunningTime_4 : 370.138603
2978.39/404.72	c (388,0) c RunningTime_5 : 362.304054
2978.39/404.72	c (388,0) c RunningTime_6 : 370.032429
2978.39/404.72	c (388,0) c RunningTime_7 : 365.054518
2978.39/404.72	c (388,0) c RunningTime_total : 2967.952651
2978.39/404.72	c (388,0) c RunningTime_winner : 362.304054
2978.39/404.72	c (388,0) c WaitingTime_0 : 4.906197
2978.39/404.72	c (388,0) c WaitingTime_1 : 3.132174
2978.39/404.72	c (388,0) c WaitingTime_2 : 10.563405
2978.39/404.72	c (388,0) c WaitingTime_3 : 14.618386
2978.39/404.72	c (388,0) c WaitingTime_4 : 13.064698
2978.39/404.72	c (388,0) c WaitingTime_5 : 20.877803
2978.39/404.72	c (388,0) c WaitingTime_6 : 13.173882
2978.39/404.72	c (388,0) c WaitingTime_7 : 18.154737
2978.39/404.72	c (388,0) c WaitingTime_total : 98.491282
2978.39/404.72	c (388,0) c WaitingTime_winner : 20.877803
2978.39/404.72	c (388,0) c ExchangingTime_0 : 0.117714
2978.39/404.72	c (388,0) c ExchangingTime_1 : 0.115967
2978.39/404.72	c (388,0) c ExchangingTime_2 : 0.116594
2978.39/404.72	c (388,0) c ExchangingTime_3 : 0.122065
2978.39/404.72	c (388,0) c ExchangingTime_4 : 0.127994
2978.39/404.72	c (388,0) c ExchangingTime_5 : 0.119936
2978.39/404.72	c (388,0) c ExchangingTime_6 : 0.128957
2978.39/404.72	c (388,0) c ExchangingTime_7 : 0.124631
2978.39/404.72	c (388,0) c ExchangingTime_total : 0.973858
2978.39/404.72	c (388,0) c ExchangingTime_winner : 0.119936
2978.39/404.72	c (388,0) c PeriodProcTime_0 : 0.069006
2978.39/404.72	c (388,0) c PeriodProcTime_1 : 0.070776
2978.39/404.72	c (388,0) c PeriodProcTime_2 : 0.068717
2978.39/404.72	c (388,0) c PeriodProcTime_3 : 0.064696
2978.39/404.72	c (388,0) c PeriodProcTime_4 : 0.070055
2978.39/404.72	c (388,0) c PeriodProcTime_5 : 0.079269
2978.39/404.72	c (388,0) c PeriodProcTime_6 : 0.067938
2978.39/404.72	c (388,0) c PeriodProcTime_7 : 0.068197
2978.39/404.72	c (388,0) c PeriodProcTime_total : 0.558653
2978.39/404.72	c (388,0) c PeriodProcTime_winner : 0.079269
2978.39/404.72	c (388,0) c SolvingTime_0 : 384.163113
2978.39/404.72	c (388,0) c SolvingTime_1 : 383.406237
2978.39/404.72	c (388,0) c SolvingTime_2 : 383.404841
2978.39/404.72	c (388,0) c SolvingTime_3 : 383.414552
2978.39/404.72	c (388,0) c SolvingTime_4 : 383.401349
2978.39/404.72	c (388,0) c SolvingTime_5 : 383.381062
2978.39/404.72	c (388,0) c SolvingTime_6 : 383.403206
2978.39/404.72	c (388,0) c SolvingTime_7 : 383.402083
2978.39/404.72	c (388,0) c SolvingTime_total : 3067.976443
2978.39/404.72	c (388,0) c SolvingTime_winner : 383.381062
2978.39/404.72	c (388,0) c PropagationTime_0 : 376.517959
2978.39/404.72	c (388,0) c PropagationTime_1 : 375.604416
2978.39/404.72	c (388,0) c PropagationTime_2 : 375.466197
2978.39/404.72	c (388,0) c PropagationTime_3 : 375.543518
2978.39/404.72	c (388,0) c PropagationTime_4 : 375.309530
2978.39/404.72	c (388,0) c PropagationTime_5 : 375.559235
2978.39/404.72	c (388,0) c PropagationTime_6 : 375.642145
2978.39/404.72	c (388,0) c PropagationTime_7 : 375.486427
2978.39/404.72	c (388,0) c PropagationTime_total : 3005.129427
2978.39/404.72	c (388,0) c PropagationTime_winner : 375.559235
2978.39/404.72	c (388,0) c AnalysisTime_0 : 3.913916
2978.39/404.72	c (388,0) c AnalysisTime_1 : 4.056659
2978.39/404.72	c (388,0) c AnalysisTime_2 : 3.980019
2978.39/404.72	c (388,0) c AnalysisTime_3 : 4.046509
2978.39/404.72	c (388,0) c AnalysisTime_4 : 4.051102
2978.39/404.72	c (388,0) c AnalysisTime_5 : 4.149065
2978.39/404.72	c (388,0) c AnalysisTime_6 : 3.859763
2978.39/404.72	c (388,0) c AnalysisTime_7 : 3.995821
2978.39/404.72	c (388,0) c AnalysisTime_total : 32.052853
2978.39/404.72	c (388,0) c AnalysisTime_winner : 4.149065
2978.39/404.72	c (388,0) c ReductionTime_0 : 0.061408
2978.39/404.72	c (388,0) c ReductionTime_1 : 0.056505
2978.39/404.72	c (388,0) c ReductionTime_2 : 0.059875
2978.39/404.72	c (388,0) c ReductionTime_3 : 0.059038
2978.39/404.72	c (388,0) c ReductionTime_4 : 0.059121
2978.39/404.72	c (388,0) c ReductionTime_5 : 0.060754
2978.39/404.72	c (388,0) c ReductionTime_6 : 0.060795
2978.39/404.72	c (388,0) c ReductionTime_7 : 0.074855
2978.39/404.72	c (388,0) c ReductionTime_total : 0.492350
2978.39/404.72	c (388,0) c ReductionTime_winner : 0.060754
2978.39/404.72	c (388,0) c SimplifyTime_0 : 0.511248
2978.39/404.72	c (388,0) c SimplifyTime_1 : 0.499080
2978.39/404.72	c (388,0) c SimplifyTime_2 : 0.784748
2978.39/404.72	c (388,0) c SimplifyTime_3 : 0.615709
2978.39/404.72	c (388,0) c SimplifyTime_4 : 0.803994
2978.39/404.72	c (388,0) c SimplifyTime_5 : 0.611954
2978.39/404.72	c (388,0) c SimplifyTime_6 : 0.659772
2978.39/404.72	c (388,0) c SimplifyTime_7 : 0.724394
2978.39/404.72	c (388,0) c SimplifyTime_total : 5.210898
2978.39/404.72	c (388,0) c SimplifyTime_winner : 0.611954
2978.39/404.72	c (388,0) c UsedRateTime_0 : 0.000000
2978.39/404.72	c (388,0) c UsedRateTime_1 : 0.000000
2978.39/404.72	c (388,0) c UsedRateTime_2 : 0.000000
2978.39/404.72	c (388,0) c UsedRateTime_3 : 0.000000
2978.39/404.72	c (388,0) c UsedRateTime_4 : 0.000000
2978.39/404.72	c (388,0) c UsedRateTime_5 : 0.000000
2978.39/404.72	c (388,0) c UsedRateTime_6 : 0.000000
2978.39/404.72	c (388,0) c UsedRateTime_7 : 0.000000
2978.39/404.72	c (388,0) c UsedRateTime_total : 0.000000
2978.39/404.72	c (388,0) c UsedRateTime_winner : 0.000000
2978.39/404.72	c (388,0) c OverlapRateTime_0 : 0.000000
2978.39/404.72	c (388,0) c OverlapRateTime_1 : 0.000000
2978.39/404.72	c (388,0) c OverlapRateTime_2 : 0.000000
2978.39/404.72	c (388,0) c OverlapRateTime_3 : 0.000000
2978.39/404.72	c (388,0) c OverlapRateTime_4 : 0.000000
2978.39/404.72	c (388,0) c OverlapRateTime_5 : 0.000000
2978.39/404.72	c (388,0) c OverlapRateTime_6 : 0.000000
2978.39/404.72	c (388,0) c OverlapRateTime_7 : 0.000000
2978.39/404.72	c (388,0) c OverlapRateTime_total : 0.000000
2978.39/404.72	c (388,0) c OverlapRateTime_winner : 0.000000
2978.39/404.72	c (388,0) c
2978.39/404.72	c (388,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2978.39/404.72	c (388,0) c
2978.39/404.73	c (388,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2978.39/404.73	c (388,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2978.39/404.73	c (388,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2978.39/404.73	c (388,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2978.39/404.73	c (388,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
2978.39/404.73	c (388,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2978.39/404.73	c (388,0) c | Initial random_seed   | 1486461252 | 1826648420 | 1450929122 |  803346868 | 2053257837 | 1471221982 | 1578212303 |  498602757 |
2978.39/404.73	c (388,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2978.39/404.73	c (388,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2978.39/404.73	c (388,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2978.39/404.73	c (388,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2978.39/404.73	c (388,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2978.39/404.73	c (388,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2978.39/404.73	c (388,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2978.39/404.73	c (388,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2978.39/404.73	c (388,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2978.39/404.73	c (388,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2978.39/404.73	c (388,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2978.39/404.73	c (388,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2978.39/404.73	c (388,0) 
2978.39/404.73	c (388,0) s SATISFIABLE
20.20/404.95	c (388,0) SatSolver.solve End
20.20/404.95	c (388,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
20.20/404.95	c (388,0) Show results Begin
2978.95/405.06	c (388,0) x[0] = 15
2978.95/405.06	c (388,0) x[2] = 9
2978.95/405.06	c (388,0) x[3] = 20
2978.95/405.06	c (388,0) x[4] = 14
2978.95/405.06	c (388,0) x[5] = 6
2978.95/405.06	c (388,0) x[6] = 19
2978.95/405.06	c (388,0) x[8] = 24
2978.95/405.06	c (388,0) x[9] = 5
2978.95/405.06	c (388,0) x[10] = 11
2978.95/405.06	c (388,0) x[11] = 26
2978.95/405.06	c (388,0) x[12] = 6
2978.95/405.06	c (388,0) x[13] = 6
2978.95/405.06	c (388,0) x[14] = 2
2978.95/405.06	c (388,0) x[15] = 20
2978.95/405.06	c (388,0) x[16] = 2
2978.95/405.06	c (388,0) x[17] = 16
2978.95/405.06	c (388,0) x[18] = 8
2978.95/405.06	c (388,0) x[19] = 17
2978.95/405.06	c (388,0) x[21] = 25
2978.95/405.06	c (388,0) x[22] = 15
2978.95/405.06	c (388,0) x[23] = 29
2978.95/405.06	c (388,0) x[24] = 12
2978.95/405.06	c (388,0) x[25] = 21
2978.95/405.06	c (388,0) x[26] = 14
2978.95/405.06	c (388,0) x[27] = 4
2978.95/405.06	c (388,0) x[28] = 2
2978.95/405.06	c (388,0) x[29] = 11
2978.95/405.06	c (388,0) x[31] = 2
2978.95/405.06	c (388,0) x[32] = 4
2978.95/405.06	c (388,0) x[33] = 28
2978.95/405.06	c (388,0) x[34] = 27
2978.95/405.06	c (388,0) x[35] = 19
2978.95/405.06	c (388,0) x[37] = 4
2978.95/405.06	c (388,0) x[38] = 3
2978.95/405.06	c (388,0) x[39] = 23
2978.95/405.06	c (388,0) x[40] = 18
2978.95/405.06	c (388,0) x[41] = 10
2978.95/405.06	c (388,0) x[42] = 3
2978.95/405.06	c (388,0) x[43] = 9
2978.95/405.06	c (388,0) x[44] = 11
2978.95/405.06	c (388,0) x[45] = 15
2978.95/405.06	c (388,0) x[46] = 28
2978.95/405.06	c (388,0) x[47] = 13
2978.95/405.06	c (388,0) x[48] = 19
2978.95/405.06	c (388,0) x[49] = 3
2978.95/405.06	c (388,0) x[50] = 3
2978.95/405.06	c (388,0) x[51] = 8
2978.95/405.06	c (388,0) x[53] = 3
2978.95/405.06	c (388,0) x[54] = 14
2978.95/405.06	c (388,0) x[55] = 16
2978.95/405.06	c (388,0) x[56] = 5
2978.95/405.06	c (388,0) x[57] = 4
2978.95/405.06	c (388,0) x[58] = 17
2978.95/405.06	c (388,0) x[59] = 2
2978.95/405.06	c (388,0) x[60] = 19
2978.95/405.06	c (388,0) x[61] = 14
2978.95/405.06	c (388,0) x[62] = 19
2978.95/405.06	c (388,0) x[63] = 3
2978.95/405.06	c (388,0) x[64] = 21
2978.95/405.06	c (388,0) x[65] = 16
2978.95/405.06	c (388,0) x[66] = 14
2978.95/405.06	c (388,0) x[67] = 29
2978.95/405.06	c (388,0) x[68] = 13
2978.95/405.06	c (388,0) x[69] = 23
2978.95/405.06	c (388,0) x[70] = 4
2978.95/405.06	c (388,0) x[71] = 16
2978.95/405.06	c (388,0) x[72] = 8
2978.95/405.06	c (388,0) x[73] = 10
2978.95/405.06	c (388,0) x[74] = 13
2978.95/405.06	c (388,0) x[75] = 21
2978.95/405.06	c (388,0) x[76] = 16
2978.95/405.06	c (388,0) x[78] = 7
2978.95/405.06	c (388,0) x[79] = 4
2978.95/405.06	c (388,0) x[80] = 19
2978.95/405.06	c (388,0) x[81] = 29
2978.95/405.06	c (388,0) x[82] = 18
2978.95/405.06	c (388,0) x[83] = 15
2978.95/405.06	c (388,0) x[84] = 20
2978.95/405.06	c (388,0) x[85] = 5
2978.95/405.06	c (388,0) x[86] = 7
2978.95/405.06	c (388,0) x[87] = 2
2978.95/405.06	c (388,0) x[88] = 11
2978.95/405.06	c (388,0) x[89] = 29
2978.95/405.06	c (388,0) x[90] = 4
2978.95/405.06	c (388,0) x[93] = 17
2978.95/405.06	c (388,0) x[94] = 18
2978.95/405.06	c (388,0) x[95] = 18
2978.95/405.06	c (388,0) x[96] = 11
2978.95/405.06	c (388,0) x[97] = 14
2978.95/405.06	c (388,0) x[98] = 5
2978.95/405.06	c (388,0) x[99] = 24
2978.95/405.06	s SATISFIABLE
2978.95/405.07	v <instantiation>
2978.95/405.07	v     <list>x[0] x[2] x[3] x[4] x[5] x[6] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[31] x[32] x[33] x[34] x[35] 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[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[71] x[72] x[73] x[74] x[75] x[76] 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[93] x[94] x[95] x[96] x[97] x[98] x[99]</list>
2978.95/405.07	v     <values>15 9 20 14 6 19 24 5 11 26 6 6 2 20 2 16 8 17 25 15 29 12 21 14 4 2 11 2 4 28 27 19 4 3 23 18 10 3 9 11 15 28 13 19 3 3 8 3 14 16 5 4 17 2 19 14 19 3 21 16 14 29 13 23 4 16 8 10 13 21 16 7 4 19 29 18 15 20 5 7 2 11 29 4 17 18 18 11 14 5 24</values>
2978.95/405.07	v </instantiation>
2978.95/405.07	c (388,0) Show results End
2978.95/405.07	c (388,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2978.95/405.07	c (388,0) 388,388,STOP-AFTER(ALL)
2978.95/405.07	c END-Prog: Sat Sep 14 06:06:59 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 (11768 MiB free)
  memory of node 1: 16384 MiB (14446 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392481-1568433657/watcher-4392481-1568433657 -o /tmp/evaluation-result-4392481-1568433657/solver-4392481-1568433657 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392481-1568433657.xml 

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

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

solver pid=21949, runsolver pid=21946

[startup+0.100059 s]*
/proc/loadavg: 6.56 6.25 7.00 3/213 21971
/proc/meminfo: memFree=26747796/32770624 swapFree=66957016/67108860
[pid=21949] ppid=21946 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21949/stat : 21949 (scop.sh) S 21946 21949 16596 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419279598 115843072 349 33554432000 4194304 5098028 140726497667632 140726497664888 140704675889788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23007232 140726497674021 140726497674348 140726497674348 140726497677261 0
/proc/21949/statm: 28282 349 296 221 0 87 0
[pid=21952] ppid=21949 vsize=27314120 memory=107344 CPUtime=0.1 cores=0-7
/proc/21952/stat : 21952 (java) S 21949 21949 16596 0 -1 1077944320 6401 0 0 0 8 2 0 0 20 0 20 0 419279598 27969658880 26836 33554432000 4194304 4196468 140726988905360 140726988887904 139671348973303 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
/proc/21952/statm: 6828530 26836 2799 1 0 6790935 0
[pid=21952/tid=21953] ppid=21949 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21952/task/21953/stat : 21953 (java) R 21949 21949 16596 0 -1 4202560 4503 0 0 0 7 2 0 0 20 0 20 0 419279598 27969658880 26836 33554432000 4194304 4196468 140726988905360 139671320777504 139671327418876 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21954] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21954/stat : 21954 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 26836 33554432000 4194304 4196468 140726988905360 139671353216144 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21955] ppid=21949 vsize=27314120 memory=140029988492928 CPUtime=0 cores=0-7
/proc/21952/task/21955/stat : 21955 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 26836 33554432000 4194304 4196468 140726988905360 139671136611344 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21956] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21956/stat : 21956 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 26836 33554432000 4194304 4196468 140726988905360 139671135558544 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21957] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21957/stat : 21957 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 26836 33554432000 4194304 4196468 140726988905360 139671134505744 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21958] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21958/stat : 21958 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 26836 33554432000 4194304 4196468 140726988905360 139671133452944 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21959] ppid=21949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21952/task/21959/stat : 21959 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 26836 33554432000 4194304 4196468 140726988905360 139671132400144 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21960] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21960/stat : 21960 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 26836 33554432000 4194304 4196468 140726988905360 139671131347344 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21961] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21961/stat : 21961 (java) S 21949 21949 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 26836 33554432000 4194304 4196468 140726988905360 139671130294544 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21962] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21962/stat : 21962 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279602 27969658880 26836 33554432000 4194304 4196468 140726988905360 139670339955568 139671348984450 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21963] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21963/stat : 21963 (java) S 21949 21949 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419279603 27969658880 26836 33554432000 4194304 4196468 140726988905360 139669316560416 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21964] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21964/stat : 21964 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279603 27969658880 26836 33554432000 4194304 4196468 140726988905360 139669048124784 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21965] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21965/stat : 21965 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 26836 33554432000 4194304 4196468 140726988905360 139668673616208 139671348991899 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21966] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21966/stat : 21966 (java) S 21949 21949 16596 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 26836 33554432000 4194304 4196468 140726988905360 139670338902384 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21967] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21967/stat : 21967 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 26836 33554432000 4194304 4196468 140726988905360 139670337849584 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21968] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21968/stat : 21968 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 26836 33554432000 4194304 4196468 140726988905360 139670336796784 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21969] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21969/stat : 21969 (java) S 21949 21949 16596 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 26836 33554432000 4194304 4196468 140726988905360 139670335743984 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21970] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21970/stat : 21970 (java) S 21949 21949 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419279606 27969658880 26836 33554432000 4194304 4196468 140726988905360 139668175711328 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21971] ppid=21949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21952/task/21971/stat : 21971 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279606 27969658880 26836 33554432000 4194304 4196468 140726988905360 139670334692400 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108740 KiB

[startup+0.210119 s]*
/proc/loadavg: 6.56 6.25 7.00 3/213 21971
/proc/meminfo: memFree=26726008/32770624 swapFree=66957016/67108860
[pid=21949] ppid=21946 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21949/stat : 21949 (scop.sh) S 21946 21949 16596 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419279598 115843072 349 33554432000 4194304 5098028 140726497667632 140726497664888 140704675889788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23007232 140726497674021 140726497674348 140726497674348 140726497677261 0
/proc/21949/statm: 28282 349 296 221 0 87 0
[pid=21952] ppid=21949 vsize=27314120 memory=126684 CPUtime=0.24 cores=0-7
/proc/21952/stat : 21952 (java) S 21949 21949 16596 0 -1 1077944320 12017 0 0 0 20 4 0 0 20 0 20 0 419279598 27969658880 31671 33554432000 4194304 4196468 140726988905360 140726988887904 139671348973303 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
/proc/21952/statm: 6828530 31671 2968 1 0 6790935 0
[pid=21952/tid=21953] ppid=21949 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21952/task/21953/stat : 21953 (java) R 21949 21949 16596 0 -1 4202560 9726 0 0 0 16 4 0 0 20 0 20 0 419279598 27969658880 31671 33554432000 4194304 4196468 140726988905360 139671320780864 139671329249024 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21954] ppid=21949 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/21952/task/21954/stat : 21954 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 31671 33554432000 4194304 4196468 140726988905360 139671353216144 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21955] ppid=21949 vsize=27314120 memory=140029988508768 CPUtime=0 cores=0-7
/proc/21952/task/21955/stat : 21955 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 31671 33554432000 4194304 4196468 140726988905360 139671136611344 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21956] ppid=21949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21952/task/21956/stat : 21956 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 31671 33554432000 4194304 4196468 140726988905360 139671135558544 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21957] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21957/stat : 21957 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 31671 33554432000 4194304 4196468 140726988905360 139671134505744 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21958] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21958/stat : 21958 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 31671 33554432000 4194304 4196468 140726988905360 139671133452944 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21959] ppid=21949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21952/task/21959/stat : 21959 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 31671 33554432000 4194304 4196468 140726988905360 139671132400144 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21960] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21960/stat : 21960 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 31671 33554432000 4194304 4196468 140726988905360 139671131347344 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21961] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21961/stat : 21961 (java) S 21949 21949 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 31671 33554432000 4194304 4196468 140726988905360 139671130294544 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21962] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21962/stat : 21962 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279602 27969658880 31671 33554432000 4194304 4196468 140726988905360 139670339955568 139671348984450 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21963] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21963/stat : 21963 (java) S 21949 21949 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419279603 27969658880 31671 33554432000 4194304 4196468 140726988905360 139669316560416 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21964] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21964/stat : 21964 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279603 27969658880 31671 33554432000 4194304 4196468 140726988905360 139669048124784 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21965] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21965/stat : 21965 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 31671 33554432000 4194304 4196468 140726988905360 139668673616208 139671348991899 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21966] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21966/stat : 21966 (java) S 21949 21949 16596 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 31671 33554432000 4194304 4196468 140726988905360 139670338902384 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21967] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21967/stat : 21967 (java) S 21949 21949 16596 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 31671 33554432000 4194304 4196468 140726988905360 139670337849584 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21968] ppid=21949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21952/task/21968/stat : 21968 (java) S 21949 21949 16596 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 31671 33554432000 4194304 4196468 140726988905360 139670336796784 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21969] ppid=21949 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/21952/task/21969/stat : 21969 (java) S 21949 21949 16596 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 20 0 419279605 27969658880 31671 33554432000 4194304 4196468 140726988905360 139670335743984 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21970] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21970/stat : 21970 (java) S 21949 21949 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419279606 27969658880 31671 33554432000 4194304 4196468 140726988905360 139668175711328 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21971] ppid=21949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21952/task/21971/stat : 21971 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279606 27969658880 31671 33554432000 4194304 4196468 140726988905360 139670334692400 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128080 KiB

[startup+0.309562 s]*
/proc/loadavg: 6.56 6.25 7.00 2/213 21971
/proc/meminfo: memFree=26723464/32770624 swapFree=66957016/67108860
[pid=21949] ppid=21946 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21949/stat : 21949 (scop.sh) S 21946 21949 16596 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419279598 115843072 349 33554432000 4194304 5098028 140726497667632 140726497664888 140704675889788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23007232 140726497674021 140726497674348 140726497674348 140726497677261 0
/proc/21949/statm: 28282 349 296 221 0 87 0
[pid=21952] ppid=21949 vsize=27314120 memory=130024 CPUtime=0.42 cores=0-7
/proc/21952/stat : 21952 (java) S 21949 21949 16596 0 -1 1077944320 12351 0 0 0 38 4 0 0 20 0 20 0 419279598 27969658880 32506 33554432000 4194304 4196468 140726988905360 140726988887904 139671348973303 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
/proc/21952/statm: 6828530 32506 3022 1 0 6790935 0
[pid=21952/tid=21953] ppid=21949 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/21952/task/21953/stat : 21953 (java) R 21949 21949 16596 0 -1 4202560 9913 0 0 0 26 4 0 0 20 0 20 0 419279598 27969658880 32506 33554432000 4194304 4196468 140726988905360 139671320776528 139671333053790 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21954] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21954/stat : 21954 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 32506 33554432000 4194304 4196468 140726988905360 139671353216144 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21955] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21955/stat : 21955 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 32506 33554432000 4194304 4196468 140726988905360 139671136611344 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21956] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21956/stat : 21956 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 32506 33554432000 4194304 4196468 140726988905360 139671135558544 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21957] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21957/stat : 21957 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 32506 33554432000 4194304 4196468 140726988905360 139671134505744 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21958] ppid=21949 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/21952/task/21958/stat : 21958 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 32506 33554432000 4194304 4196468 140726988905360 139671133452944 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21959] ppid=21949 vsize=27314120 memory=140029825479599 CPUtime=0 cores=0-7
/proc/21952/task/21959/stat : 21959 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 32506 33554432000 4194304 4196468 140726988905360 139671132400144 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21960] ppid=21949 vsize=27314120 memory=140029825481904 CPUtime=0 cores=0-7
/proc/21952/task/21960/stat : 21960 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 32506 33554432000 4194304 4196468 140726988905360 139671131347344 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21961] ppid=21949 vsize=27314120 memory=140029825484208 CPUtime=0 cores=0-7
/proc/21952/task/21961/stat : 21961 (java) S 21949 21949 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419279601 27969658880 32506 33554432000 4194304 4196468 140726988905360 139671130294544 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21962] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21962/stat : 21962 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279602 27969658880 32506 33554432000 4194304 4196468 140726988905360 139670339955568 139671348984450 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21963] ppid=21949 vsize=27314120 memory=280059650975376 CPUtime=0 cores=0-7
/proc/21952/task/21963/stat : 21963 (java) S 21949 21949 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419279603 27969658880 32506 33554432000 4194304 4196468 140726988905360 139669316560416 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21964] ppid=21949 vsize=27314120 memory=280059650982288 CPUtime=0 cores=0-7
/proc/21952/task/21964/stat : 21964 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279603 27969658880 32506 33554432000 4194304 4196468 140726988905360 139669048124784 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21965] ppid=21949 vsize=27314120 memory=280059650923568 CPUtime=0 cores=0-7
/proc/21952/task/21965/stat : 21965 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 32506 33554432000 4194304 4196468 140726988905360 139668673616208 139671348991899 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21966] ppid=21949 vsize=27314120 memory=280059650996112 CPUtime=0 cores=0-7
/proc/21952/task/21966/stat : 21966 (java) S 21949 21949 16596 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 32506 33554432000 4194304 4196468 140726988905360 139670338902384 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21967] ppid=21949 vsize=27314120 memory=280059651003024 CPUtime=0 cores=0-7
/proc/21952/task/21967/stat : 21967 (java) S 21949 21949 16596 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 20 0 419279605 27969658880 32506 33554432000 4194304 4196468 140726988905360 139670337849584 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21968] ppid=21949 vsize=27314120 memory=280059651000720 CPUtime=0.02 cores=0-7
/proc/21952/task/21968/stat : 21968 (java) R 21949 21949 16596 0 -1 4202560 127 0 0 0 2 0 0 0 20 0 20 0 419279605 27969658880 32506 33554432000 4194304 4196468 140726988905360 139670336796784 139671332499752 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21969] ppid=21949 vsize=27314120 memory=280059651016880 CPUtime=0.07 cores=0-7
/proc/21952/task/21969/stat : 21969 (java) S 21949 21949 16596 0 -1 1077944384 482 0 0 0 7 0 0 0 20 0 20 0 419279605 27969658880 32506 33554432000 4194304 4196468 140726988905360 139670335743984 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21970] ppid=21949 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21970/stat : 21970 (java) S 21949 21949 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419279606 27969658880 32506 33554432000 4194304 4196468 140726988905360 139668175711328 139671348983509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21971] ppid=21949 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21952/task/21971/stat : 21971 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279606 27969658880 32506 33554432000 4194304 4196468 140726988905360 139670334692400 139671348984450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131420 KiB

[startup+0.700895 s]
/proc/loadavg: 6.56 6.25 7.00 2/213 21971
/proc/meminfo: memFree=26703116/32770624 swapFree=66957016/67108860
[pid=21949] ppid=21946 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21949/stat : 21949 (scop.sh) S 21946 21949 16596 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419279598 115843072 349 33554432000 4194304 5098028 140726497667632 140726497664888 140704675889788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23007232 140726497674021 140726497674348 140726497674348 140726497677261 0
/proc/21949/statm: 28282 349 296 221 0 87 0
[pid=21952] ppid=21949 vsize=27322440 memory=165564 CPUtime=1 cores=0-7
/proc/21952/stat : 21952 (java) S 21949 21949 16596 0 -1 1077944320 20028 0 0 0 93 7 0 0 20 0 20 0 419279598 27978178560 41391 33554432000 4194304 4196468 140726988905360 140726988887904 139671348973303 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
/proc/21952/statm: 6830610 41391 3180 1 0 6791959 0
[pid=21952/tid=21953] ppid=21949 vsize=27322440 memory=280059651374768 CPUtime=0.68 cores=0-7
/proc/21952/task/21953/stat : 21953 (java) R 21949 21949 16596 0 -1 4202560 17004 0 0 0 62 6 0 0 20 0 20 0 419279598 27978178560 41391 33554432000 4194304 4196468 140726988905360 139671320808592 139671333053790 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21954] ppid=21949 vsize=27322440 memory=140029825688432 CPUtime=0 cores=0-7
/proc/21952/task/21954/stat : 21954 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27978178560 41391 33554432000 4194304 4196468 140726988905360 139671353216144 139671348983509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21955] ppid=21949 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/21952/task/21955/stat : 21955 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419279601 27978178560 41391 33554432000 4194304 4196468 140726988905360 139671136611344 139671348983509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0
[pid=21952/tid=21956] ppid=21949 vsize=27322440 memory=1096 CPUtime=0 cores=0-7
/proc/21952/task/21956/stat : 21956 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419279601 27978178560 41391 33554432000 4194304 4196468 140726988905360 139671135558544 139671348983509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30294016 140726988911339 140726988911766 140726988911766 140726988914639 0

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

[pid=21974/tid=21982] ppid=21949 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/21974/task/21982/stat : 21982 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419281203 8616062976 30819 33554432000 4194304 4196468 140726026511840 139744672255120 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21983] ppid=21949 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/21974/task/21983/stat : 21983 (java) S 21949 21949 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419281203 8616062976 30819 33554432000 4194304 4196468 140726026511840 139744671202320 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21984] ppid=21949 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/21974/task/21984/stat : 21984 (java) S 21949 21949 16596 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 419281204 8616062976 30819 33554432000 4194304 4196468 140726026511840 139744487254128 139745192499842 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 85 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21985] ppid=21949 vsize=8414124 memory=4492 CPUtime=0 cores=0-7
/proc/21974/task/21985/stat : 21985 (java) S 21949 21949 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419281205 8616062976 30819 33554432000 4194304 4196468 140726026511840 139743471854368 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21986] ppid=21949 vsize=8414124 memory=-8887398028672266642 CPUtime=0 cores=0-7
/proc/21974/task/21986/stat : 21986 (java) S 21949 21949 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419281205 8616062976 30819 33554432000 4194304 4196468 140726026511840 139743337632880 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21987] ppid=21949 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/21974/task/21987/stat : 21987 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419281207 8616062976 30819 33554432000 4194304 4196468 140726026511840 139742963128400 139745192507291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21988] ppid=21949 vsize=8414124 memory=896 CPUtime=0.02 cores=0-7
/proc/21974/task/21988/stat : 21988 (java) S 21949 21949 16596 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 24 0 419281207 8616062976 30819 33554432000 4194304 4196468 140726026511840 139744486201968 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21989] ppid=21949 vsize=8414124 memory=1980 CPUtime=0.05 cores=0-7
/proc/21974/task/21989/stat : 21989 (java) S 21949 21949 16596 0 -1 1077944384 418 0 0 0 5 0 0 0 20 0 24 0 419281207 8616062976 30819 33554432000 4194304 4196468 140726026511840 139744485149168 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21990] ppid=21949 vsize=8414124 memory=732 CPUtime=0.08 cores=0-7
/proc/21974/task/21990/stat : 21990 (java) S 21949 21949 16596 0 -1 1077944384 269 0 0 0 8 0 0 0 20 0 24 0 419281207 8616062976 30819 33554432000 4194304 4196468 140726026511840 139744484096880 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21991] ppid=21949 vsize=8414124 memory=776 CPUtime=0.21 cores=0-7
/proc/21974/task/21991/stat : 21991 (java) S 21949 21949 16596 0 -1 1077944384 748 0 0 0 21 0 0 0 20 0 24 0 419281207 8616062976 30819 33554432000 4194304 4196468 140726026511840 139744483044080 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21992] ppid=21949 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/21974/task/21992/stat : 21992 (java) S 21949 21949 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419281208 8616062976 30819 33554432000 4194304 4196468 140726026511840 139742465223008 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21993] ppid=21949 vsize=8414124 memory=4008 CPUtime=0.26 cores=0-7
/proc/21974/task/21993/stat : 21993 (java) S 21949 21949 16596 0 -1 1077944384 27 0 0 0 12 14 0 0 20 0 24 0 419281208 8616062976 30819 33554432000 4194304 4196468 140726026511840 139744481990960 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 85 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21995] ppid=21949 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/21974/task/21995/stat : 21995 (java) S 21949 21949 16596 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419281274 8616062976 30819 33554432000 4194304 4196468 140726026511840 139744480380224 139745192513305 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21997] ppid=21949 vsize=8414124 memory=2828 CPUtime=0.03 cores=0-7
/proc/21974/task/21997/stat : 21997 (java) S 21949 21949 16596 0 -1 4202560 1683 0 0 0 1 2 0 0 20 0 24 0 419281274 8616062976 30819 33554432000 4194304 4196468 140726026511840 139741794123664 139745192510621 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21998] ppid=21949 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/21974/task/21998/stat : 21998 (java) S 21949 21949 16596 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419281274 8616062976 30819 33554432000 4194304 4196468 140726026511840 139742062558992 139745192510621 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21999] ppid=21949 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/21974/task/21999/stat : 21999 (java) S 21949 21949 16596 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419281276 8616062976 30819 33554432000 4194304 4196468 140726026511840 139741525696304 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
Current children cumulated CPU time: 2978.1 s
Current children cumulated vsize: 12981544 KiB
Current children cumulated memory: 4008132 KiB

[startup+404.801 s]
/proc/loadavg: 7.67 7.56 7.36 2/217 22054
/proc/meminfo: memFree=22686092/32770624 swapFree=66957016/67108860
[pid=21949] ppid=21946 vsize=113128 memory=1476 CPUtime=18.5 cores=0-7
/proc/21949/stat : 21949 (scop.sh) S 21946 21949 16596 0 -1 4202496 583 31226 0 0 0 0 1723 127 20 0 1 0 419279598 115843072 369 33554432000 4194304 5098028 140726497667632 140726497664376 140704675889788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23007232 140726497674021 140726497674348 140726497674348 140726497677261 0
/proc/21949/statm: 28282 369 311 221 0 87 0
[pid=21974] ppid=21949 vsize=8414124 memory=137244 CPUtime=1.7 cores=0-7
/proc/21974/stat : 21974 (java) S 21949 21949 16596 0 -1 1077944320 23344 0 0 0 157 13 0 0 20 0 24 0 419281201 8616062976 34311 33554432000 4194304 4196468 140726026511840 140726026494384 139745192488695 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
/proc/21974/statm: 2103531 34311 3220 1 0 2064875 0
[pid=21974/tid=21975] ppid=21949 vsize=8414124 memory=2020 CPUtime=0.75 cores=0-7
/proc/21974/task/21975/stat : 21975 (java) S 21949 21949 16596 0 -1 1077944384 16881 0 0 0 69 6 0 0 20 0 24 0 419281201 8616062976 34311 33554432000 4194304 4196468 140726026511840 139745164328864 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21976] ppid=21949 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/21974/task/21976/stat : 21976 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419281203 8616062976 34311 33554432000 4194304 4196468 140726026511840 139745196730768 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21977] ppid=21949 vsize=8414124 memory=1368 CPUtime=0 cores=0-7
/proc/21974/task/21977/stat : 21977 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419281203 8616062976 34311 33554432000 4194304 4196468 140726026511840 139745017026832 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21978] ppid=21949 vsize=8414124 memory=-8887398028672266642 CPUtime=0 cores=0-7
/proc/21974/task/21978/stat : 21978 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419281203 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744676465296 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21979] ppid=21949 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/21974/task/21979/stat : 21979 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419281203 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744675412496 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21980] ppid=21949 vsize=8414124 memory=21972 CPUtime=0 cores=0-7
/proc/21974/task/21980/stat : 21980 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419281203 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744674360208 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21981] ppid=21949 vsize=8414124 memory=492 CPUtime=0 cores=0-7
/proc/21974/task/21981/stat : 21981 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419281203 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744673307408 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21982] ppid=21949 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/21974/task/21982/stat : 21982 (java) S 21949 21949 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419281203 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744672255120 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21983] ppid=21949 vsize=8414124 memory=123276 CPUtime=0 cores=0-7
/proc/21974/task/21983/stat : 21983 (java) S 21949 21949 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419281203 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744671202320 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21984] ppid=21949 vsize=8414124 memory=3883172 CPUtime=0 cores=0-7
/proc/21974/task/21984/stat : 21984 (java) S 21949 21949 16596 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 419281204 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744487254128 139745192499842 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 85 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21985] ppid=21949 vsize=8414124 memory=3882780 CPUtime=0 cores=0-7
/proc/21974/task/21985/stat : 21985 (java) S 21949 21949 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419281205 8616062976 34311 33554432000 4194304 4196468 140726026511840 139743471854368 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21986] ppid=21949 vsize=8414124 memory=15252640887999028 CPUtime=0 cores=0-7
/proc/21974/task/21986/stat : 21986 (java) S 21949 21949 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419281205 8616062976 34311 33554432000 4194304 4196468 140726026511840 139743337632880 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21987] ppid=21949 vsize=8414124 memory=3881612 CPUtime=0 cores=0-7
/proc/21974/task/21987/stat : 21987 (java) S 21949 21949 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419281207 8616062976 34311 33554432000 4194304 4196468 140726026511840 139742963128400 139745192507291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21988] ppid=21949 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/21974/task/21988/stat : 21988 (java) S 21949 21949 16596 0 -1 1077944384 432 0 0 0 5 0 0 0 20 0 24 0 419281207 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744486201968 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21989] ppid=21949 vsize=8414124 memory=-8887398028672266642 CPUtime=0.1 cores=0-7
/proc/21974/task/21989/stat : 21989 (java) S 21949 21949 16596 0 -1 1077944384 725 0 0 0 10 0 0 0 20 0 24 0 419281207 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744485149168 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21990] ppid=21949 vsize=8414124 memory=1768 CPUtime=0.12 cores=0-7
/proc/21974/task/21990/stat : 21990 (java) S 21949 21949 16596 0 -1 1077944384 493 0 0 0 12 0 0 0 20 0 24 0 419281207 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744484096880 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21991] ppid=21949 vsize=8414124 memory=1436 CPUtime=0.25 cores=0-7
/proc/21974/task/21991/stat : 21991 (java) S 21949 21949 16596 0 -1 1077944384 1089 0 0 0 25 0 0 0 20 0 24 0 419281207 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744483044080 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21992] ppid=21949 vsize=8414124 memory=896 CPUtime=0 cores=0-7
/proc/21974/task/21992/stat : 21992 (java) S 21949 21949 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419281208 8616062976 34311 33554432000 4194304 4196468 140726026511840 139742465223008 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21993] ppid=21949 vsize=8414124 memory=1980 CPUtime=0.26 cores=0-7
/proc/21974/task/21993/stat : 21993 (java) S 21949 21949 16596 0 -1 1077944384 27 0 0 0 12 14 0 0 20 0 24 0 419281208 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744481990960 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 85 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21995] ppid=21949 vsize=8414124 memory=2520 CPUtime=0 cores=0-7
/proc/21974/task/21995/stat : 21995 (java) S 21949 21949 16596 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419281274 8616062976 34311 33554432000 4194304 4196468 140726026511840 139744480380224 139745192513305 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21997] ppid=21949 vsize=8414124 memory=1760 CPUtime=0.11 cores=0-7
/proc/21974/task/21997/stat : 21997 (java) S 21949 21949 16596 0 -1 4202560 2276 0 0 0 9 2 0 0 20 0 24 0 419281274 8616062976 34311 33554432000 4194304 4196468 140726026511840 139741794123792 139745192510621 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21998] ppid=21949 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/21974/task/21998/stat : 21998 (java) S 21949 21949 16596 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419281274 8616062976 34311 33554432000 4194304 4196468 140726026511840 139742062558992 139745192510621 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21999] ppid=21949 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/21974/task/21999/stat : 21999 (java) S 21949 21949 16596 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419281276 8616062976 34311 33554432000 4194304 4196468 140726026511840 139741525696304 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
Current children cumulated CPU time: 20.2 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 138720 KiB

[startup+405.001 s]
/proc/loadavg: 7.67 7.56 7.36 2/217 22054
/proc/meminfo: memFree=22686092/32770624 swapFree=66957016/67108860
[pid=21949] ppid=21946 vsize=113128 memory=1476 CPUtime=18.5 cores=0-7
/proc/21949/stat : 21949 (scop.sh) S 21946 21949 16596 0 -1 4202496 583 31226 0 0 0 0 1723 127 20 0 1 0 419279598 115843072 369 33554432000 4194304 5098028 140726497667632 140726497664376 140704675889788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23007232 140726497674021 140726497674348 140726497674348 140726497677261 0
/proc/21949/statm: 28282 369 311 221 0 87 0
[pid=21974] ppid=21949 vsize=8283048 memory=137984 CPUtime=2960.45 cores=0-7
/proc/21974/stat : 21974 (java) S 21949 21949 16596 0 -1 1077944320 23575 19724458 0 0 165 14 293683 2183 20 0 22 0 419281201 8481841152 34496 33554432000 4194304 4196468 140726026511840 140726026494384 139745192488695 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
/proc/21974/statm: 2070762 34496 3224 1 0 2032106 0
[pid=21974/tid=21975] ppid=21949 vsize=8283048 memory=6791534058613427641 CPUtime=2959.46 cores=0-7
/proc/21974/task/21975/stat : 21975 (java) R 21949 21949 16596 0 -1 4202560 17031 19724458 0 0 74 6 293683 2183 20 0 22 0 419281201 8481841152 34496 33554432000 4194304 4196468 140726026511840 139745164326704 139744697862405 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21976] ppid=21949 vsize=8283048 memory=1808 CPUtime=2958.66 cores=0-7
/proc/21974/task/21976/stat : 21976 (java) S 21949 21949 16596 0 -1 1077944384 2 19724458 0 0 0 0 293683 2183 20 0 22 0 419281203 8481841152 34496 33554432000 4194304 4196468 140726026511840 139745196730768 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21977] ppid=21949 vsize=8283048 memory=920 CPUtime=2958.66 cores=0-7
/proc/21974/task/21977/stat : 21977 (java) S 21949 21949 16596 0 -1 1077944384 1 19724458 0 0 0 0 293683 2183 20 0 22 0 419281203 8481841152 34496 33554432000 4194304 4196468 140726026511840 139745017026832 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21978] ppid=21949 vsize=8283048 memory=4492 CPUtime=2958.66 cores=0-7
/proc/21974/task/21978/stat : 21978 (java) S 21949 21949 16596 0 -1 1077944384 2 19724458 0 0 0 0 293683 2183 20 0 22 0 419281203 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744676465296 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21979] ppid=21949 vsize=8283048 memory=4104 CPUtime=2958.66 cores=0-7
/proc/21974/task/21979/stat : 21979 (java) S 21949 21949 16596 0 -1 1077944384 1 19724458 0 0 0 0 293683 2183 20 0 22 0 419281203 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744675412496 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21980] ppid=21949 vsize=8283048 memory=1412 CPUtime=2958.66 cores=0-7
/proc/21974/task/21980/stat : 21980 (java) S 21949 21949 16596 0 -1 1077944384 2 19724458 0 0 0 0 293683 2183 20 0 22 0 419281203 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744674360208 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21981] ppid=21949 vsize=8283048 memory=3796 CPUtime=2958.66 cores=0-7
/proc/21974/task/21981/stat : 21981 (java) S 21949 21949 16596 0 -1 1077944384 2 19724458 0 0 0 0 293683 2183 20 0 22 0 419281203 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744673307408 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21982] ppid=21949 vsize=8283048 memory=1476 CPUtime=2958.66 cores=0-7
/proc/21974/task/21982/stat : 21982 (java) S 21949 21949 16596 0 -1 1077944384 2 19724458 0 0 0 0 293683 2183 20 0 22 0 419281203 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744672255120 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21983] ppid=21949 vsize=8283048 memory=123276 CPUtime=2958.66 cores=0-7
/proc/21974/task/21983/stat : 21983 (java) S 21949 21949 16596 0 -1 1077944384 3 19724458 0 0 0 0 293683 2183 20 0 22 0 419281203 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744671202320 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21984] ppid=21949 vsize=8283048 memory=3883240 CPUtime=2958.66 cores=0-7
/proc/21974/task/21984/stat : 21984 (java) S 21949 21949 16596 0 -1 1077944384 11 19724458 0 0 0 0 293683 2183 20 0 22 0 419281204 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744487254128 139745192499842 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 85 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21985] ppid=21949 vsize=8283048 memory=-8887398028672266642 CPUtime=2958.66 cores=0-7
/proc/21974/task/21985/stat : 21985 (java) S 21949 21949 16596 0 -1 1077944384 13 19724458 0 0 0 0 293683 2183 20 0 22 0 419281205 8481841152 34496 33554432000 4194304 4196468 140726026511840 139743471854368 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21986] ppid=21949 vsize=8283048 memory=4126316290023845779 CPUtime=2958.66 cores=0-7
/proc/21974/task/21986/stat : 21986 (java) S 21949 21949 16596 0 -1 1077944384 21 19724458 0 0 0 0 293683 2183 20 0 22 0 419281205 8481841152 34496 33554432000 4194304 4196468 140726026511840 139743337632880 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21987] ppid=21949 vsize=8283048 memory=0 CPUtime=2958.66 cores=0-7
/proc/21974/task/21987/stat : 21987 (java) S 21949 21949 16596 0 -1 1077944384 1 19724458 0 0 0 0 293683 2183 20 0 22 0 419281207 8481841152 34496 33554432000 4194304 4196468 140726026511840 139742963128400 139745192507291 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21988] ppid=21949 vsize=8283048 memory=0 CPUtime=2958.71 cores=0-7
/proc/21974/task/21988/stat : 21988 (java) S 21949 21949 16596 0 -1 1077944384 437 19724458 0 0 5 0 293683 2183 20 0 22 0 419281207 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744486201968 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21989] ppid=21949 vsize=8283048 memory=0 CPUtime=2958.77 cores=0-7
/proc/21974/task/21989/stat : 21989 (java) R 21949 21949 16596 0 -1 4202560 729 19724458 0 0 11 0 293683 2183 20 0 22 0 419281207 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744485149264 139745192500630 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21990] ppid=21949 vsize=8283048 memory=0 CPUtime=2958.78 cores=0-7
/proc/21974/task/21990/stat : 21990 (java) R 21949 21949 16596 0 -1 1077944384 494 19724458 0 0 12 0 293683 2183 20 0 22 0 419281207 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744484096880 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21991] ppid=21949 vsize=8283048 memory=0 CPUtime=2958.93 cores=0-7
/proc/21974/task/21991/stat : 21991 (java) R 21949 21949 16596 0 -1 4202560 1147 19724458 0 0 27 0 293683 2183 20 0 22 0 419281207 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744483044176 139745192500630 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21992] ppid=21949 vsize=8283048 memory=0 CPUtime=2958.66 cores=0-7
/proc/21974/task/21992/stat : 21992 (java) S 21949 21949 16596 0 -1 1077944384 3 19724458 0 0 0 0 293683 2183 20 0 22 0 419281208 8481841152 34496 33554432000 4194304 4196468 140726026511840 139742465223008 139745192498901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21993] ppid=21949 vsize=8283048 memory=0 CPUtime=2958.92 cores=0-7
/proc/21974/task/21993/stat : 21993 (java) S 21949 21949 16596 0 -1 1077944384 27 19724458 0 0 12 14 293683 2183 20 0 22 0 419281208 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744481990960 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 85 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21995] ppid=21949 vsize=8283048 memory=0 CPUtime=2958.66 cores=0-7
/proc/21974/task/21995/stat : 21995 (java) S 21949 21949 16596 0 -1 1077944384 26 19724458 0 0 0 0 293683 2183 20 0 22 0 419281274 8481841152 34496 33554432000 4194304 4196468 140726026511840 139744480379408 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
[pid=21974/tid=21999] ppid=21949 vsize=8283048 memory=0 CPUtime=2958.66 cores=0-7
/proc/21974/task/21999/stat : 21999 (java) S 21949 21949 16596 0 -1 1077944384 16 19724458 0 0 0 0 293683 2183 20 0 22 0 419281276 8481841152 34496 33554432000 4194304 4196468 140726026511840 139741525698096 139745192499842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20295680 140726026519543 140726026519702 140726026519702 140726026522575 0
Current children cumulated CPU time: 2978.95 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 139460 KiB

[startup+405.101 s]
/proc/loadavg: 7.67 7.56 7.36 2/217 22054
/proc/meminfo: memFree=22686092/32770624 swapFree=66957016/67108860
[pid=21949] ppid=21946 vsize=113128 memory=1476 CPUtime=18.5 cores=0-7
/proc/21949/stat : 21949 (scop.sh) S 21946 21949 16596 0 -1 4202496 583 31226 0 0 0 0 1723 127 20 0 1 0 419279598 115843072 369 33554432000 4194304 5098028 140726497667632 140726497664376 140704675889788 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23007232 140726497674021 140726497674348 140726497674348 140726497677261 0
/proc/21949/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 18.5 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 405.103
CPU time (s): 2979.15
CPU user time (s): 2955.86
CPU system time (s): 23.2903
CPU usage (%): 735.405
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 5931816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2955.86
system time used= 23.2903
maximum resident set size= 5933096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19780132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 311736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182540
involuntary context switches= 27853


# summary of solver processes directly reported to runsolver:
#   pid: 21949
#   total CPU time (s): 2979.15
#   total CPU user time (s): 2955.86
#   total CPU system time (s): 23.2903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64907 second user time and 5.98628 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-14 06:00:14
IDJOB=4392481
IDBENCH=133440
IDSOLVER=2838
FILE ID=node147/4392481-1568433657
RUNJOBID= node147-1568427292-16623
PBS_JOBID= 21702296
Free space on /tmp= 58880 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-40-3-5.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392481-1568433657/watcher-4392481-1568433657 -o /tmp/evaluation-result-4392481-1568433657/solver-4392481-1568433657 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392481-1568433657.xml

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

MD5SUM BENCH= b9738aa7a21d23764c9c35483473acef
RANDOM SEED=60723716

node147.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.52
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.52
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.52
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.52
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:        26844060 kB
MemAvailable:   31811376 kB
Buffers:          191880 kB
Cached:          5001752 kB
SwapCached:        48496 kB
Active:          2035392 kB
Inactive:        3211432 kB
Active(anon):       4904 kB
Inactive(anon):    89344 kB
Active(file):    2030488 kB
Inactive(file):  3122088 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957016 kB
Dirty:             20520 kB
Writeback:             0 kB
AnonPages:        128036 kB
Mapped:            44944 kB
Shmem:             32768 kB
Slab:             272592 kB
SReclaimable:     243200 kB
SUnreclaim:        29392 kB
KernelStack:        3744 kB
PageTables:         5628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58860 MiB
End job on node147 at 2019-09-14 06:07:00