Trace number 4392747

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 940.947 137.343

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-1_X2.xml
MD5SUMa5169531bc56f5bae607e8bf56d35270
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark174.931
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22424-serial-file.bin HOME/instance-4392747-1568436586.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 06:49:03 CEST 2019
0.66/0.57	c PID: 22427
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
2.05/1.13	c (0,0) Parsing End
2.05/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.05/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.14	c (0,0) Constraint Name Generate Begin
2.05/1.15	c (0,0) Ctr:HOME/instance-4392747-1568436586.xml,ExtensionConflict:ExtensionSupport:Var
2.05/1.15	c (0,0) Constraint Name Generate End
2.05/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.15	c (0,0) CSP to CSPinCNF Begin
3.15/1.64	c (1,1) translated 127 (10%) constraints
3.56/1.75	c (1,1) translated 253 (20%) constraints
3.97/1.82	c (1,1) translated 379 (30%) constraints
3.97/1.89	c (1,1) translated 505 (40%) constraints
4.39/1.95	c (1,1) translated 631 (50%) constraints
4.39/2.00	c (1,1) translated 757 (60%) constraints
5.23/2.14	c (1,1) translated 883 (70%) constraints
5.94/2.39	c (1,1) translated 1009 (80%) constraints
6.32/2.61	c (2,2) translated 1135 (90%) constraints
7.04/2.92	c (2,2) translated 1261 (100%) constraints
7.04/2.92	c (2,2) ===========================================
7.04/2.95	c (2,2) Hybrid: #OE=793, #LE=0
7.04/2.95	c (2,2) Hybrid
7.04/2.95	c (2,2) ===========================================
7.50/3.01	c (2,2) translated 1883 (10%) constraints
7.50/3.07	c (2,2) translated 3765 (20%) constraints
7.89/3.12	c (2,2) translated 5647 (30%) constraints
7.89/3.17	c (2,2) translated 7529 (40%) constraints
7.89/3.22	c (2,2) translated 9411 (50%) constraints
7.89/3.27	c (2,2) translated 11294 (60%) constraints
7.89/3.32	c (2,2) translated 13176 (70%) constraints
7.89/3.36	c (2,2) translated 15058 (80%) constraints
8.96/3.39	c (2,2) translated 16940 (90%) constraints
8.97/3.43	c (2,2) translated 18822 (100%) constraints
8.97/3.43	c (2,2) CSP to CSPinCNF End
8.97/3.43	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.97/3.43	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.97/3.43	c (2,2) CSPinCNF Propagation Begin
10.06/3.79	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.06/3.79	c (3,3) CSPinCNF Propagation End
10.06/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.06/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.35/3.80	c (3,3) Hybrid: #OE=793, #LE=0
10.35/3.80	c (3,3) Simplify CSPinCNF Begin
10.35/3.86	c (3,3) Simplify CSPinCNF End
10.35/3.86	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.35/3.86	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.35/3.86	c (3,3) Calculate Precise Domain Begin
10.35/3.86	c (3,3) 0 values are removed by re-calculation
10.35/3.86	c (3,3) Calculate Precise Domain End
10.35/3.86	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.35/3.86	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.35/3.86	c (3,3) CSPinCNF to SatSolver Begin
10.94/4.01	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.94/4.07	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.37/4.12	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.37/4.16	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.37/4.20	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.77/4.22	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.77/4.24	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.77/4.26	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.77/4.27	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.77/4.29	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.77/4.29	c (3,3) CSPinCNF to SatSolver End
11.77/4.29	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.77/4.29	c (3,3) 2482 bool, 15697 clause
11.77/4.29	c (3,3) Export Begin
11.99/4.39	c (3,3) Export to HOME/scop-22424-serial-file.bin
11.99/4.39	c (3,3) Export End
11.99/4.39	c (3,3) Export File Size: 0.02 MB
11.99/4.39	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.99/4.39	c END-Prog: Sat Sep 14 06:49:07 CEST 2019
12.18/4.42	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22424-serial-file.bin
12.20/4.88	c (0,0) Read Serial File Begin
12.20/4.88	c (0,0) HOME/scop-22424-serial-file.bin
13.16/5.11	c (0,0) Read Serial File End
13.16/5.12	
13.16/5.12	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
13.16/5.12	(Solving Process)
13.16/5.12	
13.16/5.14	c BEGIN-Prog: Sat Sep 14 06:49:08 CEST 2019
13.16/5.14	c PID: 22449
13.16/5.14	c IP: 172.20.3.147
13.16/5.14	c HOST: node147.alineos.net
13.16/5.14	c (0,0) SatSolver.solve Begin
13.16/5.14	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392747-1568436586.xml-scop-22427.cnf
13.16/5.17	c (0,0) c
13.16/5.17	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)
13.16/5.17	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.16/5.17	c (0,0) c
13.16/5.17	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.16/5.17	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.16/5.17	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.16/5.17	c (0,0) c |                                                                                                       |
13.16/5.17	c (0,0) c |  Number of variables:          2480                                                                   |
13.16/5.17	c (0,0) c |  Number of clauses:           15697                                                                   |
13.16/5.17	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.16/5.17	c (0,0) c |                                                                                                       |
13.16/5.18	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.16/5.18	c (0,0) c |                                                                                                       |
13.16/5.18	c (0,0) c |  Generating clones                                                                                    |
13.16/5.19	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.16/5.19	c (0,0) c ========================================================================================================|
13.16/5.19	c (0,0) c
13.16/5.19	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.16/5.19	c (0,0) c
13.16/5.19	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.16/5.19	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.16/5.19	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.16/5.19	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.16/5.19	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.16/5.19	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.16/5.19	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.16/5.19	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.16/5.19	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.16/5.19	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.16/5.19	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.16/5.19	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.16/5.19	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.16/5.19	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.16/5.19	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.16/5.19	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.16/5.19	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.16/5.19	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.16/5.19	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
238.12/34.97	c (30,0) c
238.12/34.97	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
238.12/34.97	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
238.12/34.97	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
238.12/34.97	c (30,0) c |  0 |    314 |     569568 |     312782 |     9369 |    45595 |    45175 |   298940 |    16588 |      317 |  20 |  0.847 |
238.12/34.97	c (30,0) c |  1 |    345 |     575792 |     314253 |     9128 |    47069 |    46330 |   296140 |    14536 |      315 |  20 |  0.847 |
238.12/34.97	c (30,0) c |  2 |    355 |     518246 |     276801 |     9057 |    45416 |    43057 |   296435 |    11181 |      311 |  20 |  0.847 |
238.12/34.97	c (30,0) c |  3 |    427 |     547827 |     301058 |     9518 |    69680 |    44558 |   292947 |    14834 |      310 |  20 |  0.848 |
238.12/34.97	c (30,0) c |  4 |    346 |     541620 |     290595 |     9411 |    59214 |    42451 |   289154 |    13286 |      299 |  20 |  0.847 |
238.12/34.97	c (30,0) c |  5 |    372 |     526742 |     289263 |     9019 |    57876 |    41347 |   286260 |    13065 |      299 |  20 |  0.847 |
238.12/34.97	c (30,0) c |  6 |    326 |     526709 |     290312 |     9071 |    58929 |    42180 |   296902 |    11376 |      315 |  20 |  0.847 |
238.12/34.97	c (30,0) c |  7 |    507 |     592429 |     317727 |     9447 |    50538 |    45095 |   296592 |    17679 |      317 |  20 |  0.847 |
238.12/34.97	c (30,0) c 
238.12/34.97	c (30,0) c synthesis     2392793 conflicts   179902480 propagations    10672 conflicts/sec   802385 propagations/sec
238.12/34.97	c (30,0) c real: 29.8015 s, cpu: 224.21 s, memory: 628.86 Mb
448.83/64.97	c (60,0) c
448.83/64.97	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
448.83/64.97	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
448.83/64.97	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
448.83/64.97	c (60,0) c |  0 |    410 |     896141 |     479373 |     9412 |    89189 |    59992 |   410896 |    28301 |      596 |  20 |  0.847 |
448.83/64.97	c (60,0) c |  1 |    417 |     911187 |     492448 |     9300 |    56058 |    64196 |   412749 |    25751 |      594 |  20 |  0.848 |
448.83/64.97	c (60,0) c |  2 |    405 |     851577 |     454106 |     9337 |    63916 |    66371 |   407138 |    22557 |      596 |  20 |  0.848 |
448.83/64.97	c (60,0) c |  3 |    495 |     910935 |     484957 |     9540 |    48589 |    62394 |   415723 |    26306 |      597 |  20 |  0.848 |
448.83/64.97	c (60,0) c |  4 |    435 |     905983 |     477312 |     9498 |    87126 |    63146 |   418922 |    26491 |      596 |  20 |  0.847 |
448.83/64.97	c (60,0) c |  5 |    417 |     803972 |     438331 |     9042 |    48144 |    56132 |   403655 |    20728 |      577 |  20 |  0.847 |
448.83/64.97	c (60,0) c |  6 |    418 |     836870 |     448149 |     9425 |    57969 |    55979 |   421999 |    25199 |      587 |  20 |  0.847 |
448.83/64.97	c (60,0) c |  7 |    618 |     921138 |     489204 |     9487 |    52815 |    60673 |   421893 |    28356 |      597 |  20 |  0.847 |
448.83/64.97	c (60,0) c 
448.83/64.97	c (60,0) c synthesis     3763880 conflicts   281869446 propagations     8661 conflicts/sec   648613 propagations/sec
448.83/64.97	c (60,0) c real: 59.8015 s, cpu: 434.573 s, memory: 691.76 Mb
660.53/94.97	c (90,0) c
660.53/94.97	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
660.53/94.97	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
660.53/94.97	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
660.53/94.97	c (90,0) c |  0 |    467 |    1181227 |     624432 |     9435 |    87848 |    75184 |   508983 |    38058 |      873 |  20 |  0.847 |
660.53/94.97	c (90,0) c |  1 |    477 |    1191031 |     634828 |     9334 |    98242 |    76296 |   512180 |    35005 |      873 |  20 |  0.847 |
660.53/94.97	c (90,0) c |  2 |    449 |    1148490 |     604256 |     9441 |    67678 |    82548 |   507069 |    36607 |      873 |  20 |  0.848 |
660.53/94.97	c (90,0) c |  3 |    554 |    1185434 |     626386 |     9554 |    89805 |    76484 |   503065 |    36411 |      873 |  20 |  0.847 |
660.53/94.97	c (90,0) c |  4 |    571 |    1187539 |     620446 |     9519 |    83853 |    75029 |   513608 |    37765 |      873 |  20 |  0.847 |
660.53/94.97	c (90,0) c |  5 |    473 |    1097249 |     584806 |     9401 |    99621 |    68555 |   505503 |    35308 |      862 |  20 |  0.848 |
660.53/94.97	c (90,0) c |  6 |    561 |    1107702 |     583625 |     9458 |    98442 |    68136 |   504531 |    35812 |      853 |  20 |  0.848 |
660.53/94.97	c (90,0) c |  7 |    676 |    1192030 |     631084 |     9504 |    94490 |    72638 |   513955 |    38474 |      873 |  20 |  0.848 |
660.53/94.97	c (90,0) c 
660.53/94.97	c (90,0) c synthesis     4909864 conflicts   368189637 propagations     7605 conflicts/sec   570261 propagations/sec
660.53/94.97	c (90,0) c real: 89.8015 s, cpu: 645.652 s, memory: 691.76 Mb
856.38/123.97	c (119,0) c
856.38/123.97	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
856.38/123.97	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
856.38/123.97	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
856.38/123.97	c (119,0) c |  0 |    502 |    1405755 |     737500 |     9442 |    89742 |    83074 |   581354 |    45726 |     1125 |  20 |  1.090 |
856.38/123.97	c (119,0) c |  1 |    522 |    1418569 |     749122 |     9351 |    99770 |    87275 |   581072 |    43465 |     1125 |  20 |  1.090 |
856.38/123.97	c (119,0) c |  2 |    454 |    1382439 |     721643 |     9458 |    68342 |    93003 |   563237 |    45346 |     1125 |  20 |  0.928 |
856.38/123.97	c (119,0) c |  3 |    584 |    1402412 |     735216 |     9566 |    73386 |    89562 |   581058 |    44431 |     1125 |  20 |  1.089 |
856.38/123.97	c (119,0) c |  4 |    615 |    1416855 |     735237 |     9532 |    87042 |    84482 |   577204 |    46637 |     1125 |  20 |  0.927 |
856.38/123.97	c (119,0) c |  5 |    520 |    1341499 |     705386 |     9420 |    58199 |    76867 |   569556 |    44144 |     1125 |  20 |  0.847 |
856.38/123.97	c (119,0) c |  6 |    662 |    1333967 |     698457 |     9480 |   105911 |    78538 |   586871 |    44386 |     1105 |  20 |  1.089 |
856.38/123.97	c (119,0) c |  7 |    731 |    1418626 |     745041 |     9518 |    95879 |    84425 |   587467 |    46821 |     1125 |  20 |  1.129 |
856.38/123.97	c (119,0) c 
856.38/123.97	c (119,0) c synthesis     5827603 conflicts   439027653 propagations     6930 conflicts/sec   522048 propagations/sec
856.38/123.97	c (119,0) c real: 118.801 s, cpu: 840.971 s, memory: 819.76 Mb
940.82/137.30	c (132,0) c
940.82/137.30	c (132,0) c real time : 132.135 s
940.82/137.30	c (132,0) c cpu time  : 924.95 s
940.82/137.30	c (132,0) c
940.82/137.30	c (132,0) c
940.82/137.30	c (132,0) c
940.82/137.30	c (132,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
940.82/137.30	c (132,0) c
940.82/137.30	c (132,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
940.82/137.30	c (132,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
940.82/137.30	c (132,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
940.82/137.30	c (132,0) c | Conflicts     |         6180615 |     775028 |     794961 |     765161 |     777648 |     778618 |     751519 |     750008 |     787672 |
940.82/137.30	c (132,0) c | Decisions     |        11826713 |    1479369 |    1509847 |    1469539 |    1486684 |    1503796 |    1436562 |    1435011 |    1505905 |
940.82/137.30	c (132,0) c | Propagations  |       466732995 |   58184273 |   59283226 |   58181516 |   58550549 |   58899760 |   57436155 |   57317476 |   58880040 |
940.82/137.30	c (132,0) c | ReduceDBs     |             189 |         24 |         24 |         23 |         24 |         24 |         23 |         23 |         24 |
940.82/137.30	c (132,0) c | SimpDBs       |              81 |         11 |          8 |         10 |         10 |         12 |         11 |          8 |         11 |
940.82/137.30	c (132,0) c | Restarts      |            4639 |        507 |        526 |        456 |        597 |        624 |        526 |        666 |        737 |
940.82/137.30	c (132,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
940.82/137.30	c (132,0) c | PropBinClauses|       980462112 |  120180612 |  124451990 |  124539586 |  123665135 |  122059369 |  122309830 |  122162903 |  121092687 |
940.82/137.30	c (132,0) c | PropPreBlocker|     33456795668 | 4221734331 | 4224312131 | 4054178564 | 4163754627 | 4214540953 | 4151437692 | 4214759508 | 4212077862 |
940.82/137.30	c (132,0) c | PropNotBlocker|      5430876097 |  674528057 |  679497575 |  690303498 |  680937624 |  683744067 |  676734558 |  667479798 |  677650920 |
940.82/137.30	c (132,0) c | LitFullScans  |     59219453351 | 7399256949 | 7405172317 | 7405626385 | 7405694841 | 7405568896 | 7399413943 | 7399528305 | 7399191715 |
940.82/137.30	c (132,0) c | LitScanFracts |        11363040 |    1239497 |    1157811 |    1610755 |    1689087 |    1562700 |    1403826 |    1513393 |    1185971 |
940.82/137.30	c (132,0) c | DecisionLevel0|            4740 |        525 |        539 |        474 |        608 |        632 |        537 |        675 |        750 |
940.82/137.30	c (132,0) c | Periods       |            9868 |       1233 |       1234 |       1234 |       1234 |       1234 |       1233 |       1233 |       1233 |
940.82/137.30	c (132,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
940.82/137.30	c (132,0) c | Avg_Trail     |                 |        631 |        631 |        628 |        628 |        627 |        626 |        627 |        639 |
940.82/137.30	c (132,0) c | Avg_DL        |                 |         21 |         21 |         21 |         21 |         21 |         20 |         21 |         22 |
940.82/137.30	c (132,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
940.82/137.30	c (132,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
940.82/137.30	c (132,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
940.82/137.30	c (132,0) c | Exported      |          712019 |      86167 |      92187 |      98008 |      93089 |      87926 |      80981 |      84478 |      89183 |
940.82/137.30	c (132,0) c | Imported      |         4903461 |     619162 |     611603 |     607909 |     605320 |     612586 |     618966 |     613128 |     614787 |
940.82/137.30	c (132,0) c | Good          |           14025 |       1808 |       1777 |       1782 |       1685 |       1730 |       1769 |       1721 |       1753 |
940.82/137.30	c (132,0) c | Purge         |         4889436 |     617354 |     609826 |     606127 |     603635 |     610856 |     617197 |     611407 |     613034 |
940.82/137.30	c (132,0) c | Promoted      |          395990 |      49546 |      47357 |      49830 |      50025 |      50601 |      49913 |      48025 |      50693 |
940.82/137.30	c (132,0) c | Remove_Imp    |         3788509 |     474005 |     475484 |     458454 |     488491 |     483639 |     456317 |     471451 |     480668 |
940.82/137.30	c (132,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
940.82/137.30	c (132,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
940.82/137.30	c (132,0) c | Unaries       |                 |         18 |         13 |         18 |         11 |          8 |         11 |          9 |         13 |
940.82/137.30	c (132,0) c | Binaries      |                 |        228 |        250 |        264 |        303 |        271 |        232 |        263 |        264 |
940.82/137.30	c (132,0) c | Glues         |                 |        938 |        951 |        973 |       1074 |        991 |        955 |        968 |       1005 |
940.82/137.30	c (132,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
940.82/137.30	c (132,0) c | Orig_Seen     |            87 % |       9445 |       9356 |       9470 |       9570 |       9539 |       9422 |       9488 |       9522 |
940.82/137.30	c (132,0) c | Diff Orig seen|                 |      X     | -       89 |         25 |        125 |         94 | -       23 |         43 |         77 |
940.82/137.30	c (132,0) c | Hamming       |            11 % |      X     |        230 |        260 |        317 |        313 |        279 |        280 |        244 |
940.82/137.30	c (132,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
940.82/137.30	c (132,0) c | RunningTime   |                 |  111.2  85%|  118.3  91%|  116.6  89%|  108.0  83%|  111.2  85%|  127.1  97%|  130.4  99%|  104.7  80%|
940.82/137.30	c (132,0) c | WaitingTime   |                 |   18.8  14%|   11.7   9%|   13.5  10%|   22.0  17%|   18.8  14%|    3.0   2%|    1.3   1%|   25.6  20%|
940.82/137.30	c (132,0) c | ExchangingTime|                 |    0.4   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|
940.82/137.30	c (132,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
940.82/137.30	c (132,0) c | SolvingTime   |                 |  130.4     |  130.4     |  130.4     |  130.4     |  130.4     |  130.4     |  132.0     |  130.7     |
940.82/137.30	c (132,0) c | PropagationTim|                 |  113.7  87%|   91.7  70%|   94.6  73%|  114.0  87%|  105.5  81%|   83.0  64%|   80.8  61%|  115.1  88%|
940.82/137.30	c (132,0) c | AnalysisTime  |                 |   13.1  10%|   35.3  27%|   32.7  25%|   12.9  10%|   21.4  16%|   44.2  34%|   48.2  37%|   12.0   9%|
940.82/137.30	c (132,0) c | ReductionTime |                 |    1.4   1%|    1.3   1%|    1.1   1%|    1.4   1%|    1.3   1%|    1.1   1%|    1.1   1%|    1.4   1%|
940.82/137.30	c (132,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|
940.82/137.30	c (132,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%|
940.82/137.30	c (132,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%|
940.82/137.30	c (132,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
940.82/137.30	c (132,0) c
940.82/137.30	c (132,0) c
940.82/137.30	c (132,0) c Threads : 8
940.82/137.30	c (132,0) c Winner : 0
940.82/137.30	c (132,0) c Conflicts_0 : 775028
940.82/137.30	c (132,0) c Conflicts_1 : 794961
940.82/137.31	c (132,0) c Conflicts_2 : 765161
940.82/137.31	c (132,0) c Conflicts_3 : 777648
940.82/137.31	c (132,0) c Conflicts_4 : 778618
940.82/137.31	c (132,0) c Conflicts_5 : 751519
940.82/137.31	c (132,0) c Conflicts_6 : 750008
940.82/137.31	c (132,0) c Conflicts_7 : 787672
940.82/137.31	c (132,0) c Conflicts_total : 6180615
940.82/137.31	c (132,0) c Conflicts_winner : 775028
940.82/137.31	c (132,0) c Decisions_0 : 1479369
940.82/137.31	c (132,0) c Decisions_1 : 1509847
940.82/137.31	c (132,0) c Decisions_2 : 1469539
940.82/137.31	c (132,0) c Decisions_3 : 1486684
940.82/137.31	c (132,0) c Decisions_4 : 1503796
940.82/137.31	c (132,0) c Decisions_5 : 1436562
940.82/137.31	c (132,0) c Decisions_6 : 1435011
940.82/137.31	c (132,0) c Decisions_7 : 1505905
940.82/137.31	c (132,0) c Decisions_total : 11826713
940.82/137.31	c (132,0) c Decisions_winner : 1479369
940.82/137.31	c (132,0) c Propagations_0 : 58184273
940.82/137.31	c (132,0) c Propagations_1 : 59283226
940.82/137.31	c (132,0) c Propagations_2 : 58181516
940.82/137.31	c (132,0) c Propagations_3 : 58550549
940.82/137.31	c (132,0) c Propagations_4 : 58899760
940.82/137.31	c (132,0) c Propagations_5 : 57436155
940.82/137.31	c (132,0) c Propagations_6 : 57317476
940.82/137.31	c (132,0) c Propagations_7 : 58880040
940.82/137.31	c (132,0) c Propagations_total : 466732995
940.82/137.31	c (132,0) c Propagations_winner : 58184273
940.82/137.31	c (132,0) c ReduceDBs_0 : 24
940.82/137.31	c (132,0) c ReduceDBs_1 : 24
940.82/137.31	c (132,0) c ReduceDBs_2 : 23
940.82/137.31	c (132,0) c ReduceDBs_3 : 24
940.82/137.31	c (132,0) c ReduceDBs_4 : 24
940.82/137.31	c (132,0) c ReduceDBs_5 : 23
940.82/137.31	c (132,0) c ReduceDBs_6 : 23
940.82/137.31	c (132,0) c ReduceDBs_7 : 24
940.82/137.31	c (132,0) c ReduceDBs_total : 189
940.82/137.31	c (132,0) c ReduceDBs_winner : 24
940.82/137.31	c (132,0) c SimpDBs_0 : 11
940.82/137.31	c (132,0) c SimpDBs_1 : 8
940.82/137.31	c (132,0) c SimpDBs_2 : 10
940.82/137.31	c (132,0) c SimpDBs_3 : 10
940.82/137.31	c (132,0) c SimpDBs_4 : 12
940.82/137.31	c (132,0) c SimpDBs_5 : 11
940.82/137.31	c (132,0) c SimpDBs_6 : 8
940.82/137.31	c (132,0) c SimpDBs_7 : 11
940.82/137.31	c (132,0) c SimpDBs_total : 81
940.82/137.31	c (132,0) c SimpDBs_winner : 11
940.82/137.31	c (132,0) c Restarts_0 : 507
940.82/137.31	c (132,0) c Restarts_1 : 526
940.82/137.31	c (132,0) c Restarts_2 : 456
940.82/137.31	c (132,0) c Restarts_3 : 597
940.82/137.31	c (132,0) c Restarts_4 : 624
940.82/137.31	c (132,0) c Restarts_5 : 526
940.82/137.31	c (132,0) c Restarts_6 : 666
940.82/137.31	c (132,0) c Restarts_7 : 737
940.82/137.31	c (132,0) c Restarts_total : 4639
940.82/137.31	c (132,0) c Restarts_winner : 507
940.82/137.31	c (132,0) c ForcedImports_0 : 0
940.82/137.31	c (132,0) c ForcedImports_1 : 0
940.82/137.31	c (132,0) c ForcedImports_2 : 0
940.82/137.31	c (132,0) c ForcedImports_3 : 0
940.82/137.31	c (132,0) c ForcedImports_4 : 0
940.82/137.31	c (132,0) c ForcedImports_5 : 0
940.82/137.31	c (132,0) c ForcedImports_6 : 0
940.82/137.31	c (132,0) c ForcedImports_7 : 0
940.82/137.31	c (132,0) c ForcedImports_total : 0
940.82/137.31	c (132,0) c ForcedImports_winner : 0
940.82/137.31	c (132,0) c PropsBinClauses_0 : 120180612
940.82/137.31	c (132,0) c PropsBinClauses_1 : 124451990
940.82/137.31	c (132,0) c PropsBinClauses_2 : 124539586
940.82/137.31	c (132,0) c PropsBinClauses_3 : 123665135
940.82/137.31	c (132,0) c PropsBinClauses_4 : 122059369
940.82/137.31	c (132,0) c PropsBinClauses_5 : 122309830
940.82/137.31	c (132,0) c PropsBinClauses_6 : 122162903
940.82/137.31	c (132,0) c PropsBinClauses_7 : 121092687
940.82/137.31	c (132,0) c PropsBinClauses_total : 980462112
940.82/137.31	c (132,0) c PropsBinClauses_winner : 120180612
940.82/137.31	c (132,0) c PropsPreBlocker_0 : 4221734331
940.82/137.31	c (132,0) c PropsPreBlocker_1 : 4224312131
940.82/137.31	c (132,0) c PropsPreBlocker_2 : 4054178564
940.82/137.31	c (132,0) c PropsPreBlocker_3 : 4163754627
940.82/137.31	c (132,0) c PropsPreBlocker_4 : 4214540953
940.82/137.31	c (132,0) c PropsPreBlocker_5 : 4151437692
940.82/137.31	c (132,0) c PropsPreBlocker_6 : 4214759508
940.82/137.31	c (132,0) c PropsPreBlocker_7 : 4212077862
940.82/137.31	c (132,0) c PropsPreBlocker_total : 33456795668
940.82/137.31	c (132,0) c PropsPreBlocker_winner : 4221734331
940.82/137.31	c (132,0) c PropsNotBlocker_0 : 674528057
940.82/137.31	c (132,0) c PropsNotBlocker_1 : 679497575
940.82/137.31	c (132,0) c PropsNotBlocker_2 : 690303498
940.82/137.31	c (132,0) c PropsNotBlocker_3 : 680937624
940.82/137.31	c (132,0) c PropsNotBlocker_4 : 683744067
940.82/137.31	c (132,0) c PropsNotBlocker_5 : 676734558
940.82/137.31	c (132,0) c PropsNotBlocker_6 : 667479798
940.82/137.31	c (132,0) c PropsNotBlocker_7 : 677650920
940.82/137.31	c (132,0) c PropsNotBlocker_total : 5430876097
940.82/137.31	c (132,0) c PropsNotBlocker_winner : 674528057
940.82/137.31	c (132,0) c PropsLitFullScans_0 : 7399256949
940.82/137.31	c (132,0) c PropsLitFullScans_1 : 7405172317
940.82/137.31	c (132,0) c PropsLitFullScans_2 : 7405626385
940.82/137.31	c (132,0) c PropsLitFullScans_3 : 7405694841
940.82/137.31	c (132,0) c PropsLitFullScans_4 : 7405568896
940.82/137.31	c (132,0) c PropsLitFullScans_5 : 7399413943
940.82/137.31	c (132,0) c PropsLitFullScans_6 : 7399528305
940.82/137.31	c (132,0) c PropsLitFullScans_7 : 7399191715
940.82/137.31	c (132,0) c PropsLitFullScans_total : 59219453351
940.82/137.31	c (132,0) c PropsLitFullScans_winner : 7399256949
940.82/137.31	c (132,0) c LitScanFractions_0 : 1239497
940.82/137.31	c (132,0) c LitScanFractions_1 : 1157811
940.82/137.31	c (132,0) c LitScanFractions_2 : 1610755
940.82/137.31	c (132,0) c LitScanFractions_3 : 1689087
940.82/137.31	c (132,0) c LitScanFractions_4 : 1562700
940.82/137.31	c (132,0) c LitScanFractions_5 : 1403826
940.82/137.31	c (132,0) c LitScanFractions_6 : 1513393
940.82/137.31	c (132,0) c LitScanFractions_7 : 1185971
940.82/137.31	c (132,0) c LitScanFractions_total : 11363040
940.82/137.31	c (132,0) c LitScanFractions_winner : 1239497
940.82/137.31	c (132,0) c DecisionLevel0_0 : 525
940.82/137.31	c (132,0) c DecisionLevel0_1 : 539
940.82/137.31	c (132,0) c DecisionLevel0_2 : 474
940.82/137.31	c (132,0) c DecisionLevel0_3 : 608
940.82/137.31	c (132,0) c DecisionLevel0_4 : 632
940.82/137.31	c (132,0) c DecisionLevel0_5 : 537
940.82/137.31	c (132,0) c DecisionLevel0_6 : 675
940.82/137.31	c (132,0) c DecisionLevel0_7 : 750
940.82/137.31	c (132,0) c DecisionLevel0_total : 4740
940.82/137.31	c (132,0) c DecisionLevel0_winner : 525
940.82/137.31	c (132,0) c Periods_0 : 1233
940.82/137.31	c (132,0) c Periods_1 : 1234
940.82/137.31	c (132,0) c Periods_2 : 1234
940.82/137.31	c (132,0) c Periods_3 : 1234
940.82/137.31	c (132,0) c Periods_4 : 1234
940.82/137.31	c (132,0) c Periods_5 : 1233
940.82/137.31	c (132,0) c Periods_6 : 1233
940.82/137.31	c (132,0) c Periods_7 : 1233
940.82/137.31	c (132,0) c Periods_total : 9868
940.82/137.31	c (132,0) c Periods_winner : 1233
940.82/137.31	c (132,0) c Margin_0 : 20
940.82/137.31	c (132,0) c Margin_1 : 20
940.82/137.31	c (132,0) c Margin_2 : 20
940.82/137.31	c (132,0) c Margin_3 : 20
940.82/137.31	c (132,0) c Margin_4 : 20
940.82/137.31	c (132,0) c Margin_5 : 20
940.82/137.31	c (132,0) c Margin_6 : 20
940.82/137.31	c (132,0) c Margin_7 : 20
940.82/137.31	c (132,0) c Margin_total : 160
940.82/137.31	c (132,0) c Margin_winner : 20
940.82/137.31	c (132,0) c Exported_0 : 86167
940.82/137.31	c (132,0) c Exported_1 : 92187
940.82/137.31	c (132,0) c Exported_2 : 98008
940.82/137.31	c (132,0) c Exported_3 : 93089
940.82/137.31	c (132,0) c Exported_4 : 87926
940.82/137.31	c (132,0) c Exported_5 : 80981
940.82/137.31	c (132,0) c Exported_6 : 84478
940.82/137.31	c (132,0) c Exported_7 : 89183
940.82/137.31	c (132,0) c Exported_total : 712019
940.82/137.31	c (132,0) c Exported_winner : 86167
940.82/137.31	c (132,0) c Imported_0 : 619162
940.82/137.31	c (132,0) c Imported_1 : 611603
940.82/137.31	c (132,0) c Imported_2 : 607909
940.82/137.31	c (132,0) c Imported_3 : 605320
940.82/137.31	c (132,0) c Imported_4 : 612586
940.82/137.31	c (132,0) c Imported_5 : 618966
940.82/137.31	c (132,0) c Imported_6 : 613128
940.82/137.31	c (132,0) c Imported_7 : 614787
940.82/137.31	c (132,0) c Imported_total : 4903461
940.82/137.31	c (132,0) c Imported_winner : 619162
940.82/137.31	c (132,0) c Good_0 : 1808
940.82/137.31	c (132,0) c Good_1 : 1777
940.82/137.31	c (132,0) c Good_2 : 1782
940.82/137.31	c (132,0) c Good_3 : 1685
940.82/137.31	c (132,0) c Good_4 : 1730
940.82/137.31	c (132,0) c Good_5 : 1769
940.82/137.31	c (132,0) c Good_6 : 1721
940.82/137.31	c (132,0) c Good_7 : 1753
940.82/137.31	c (132,0) c Good_total : 14025
940.82/137.31	c (132,0) c Good_winner : 1808
940.82/137.31	c (132,0) c Purge_0 : 617354
940.82/137.31	c (132,0) c Purge_1 : 609826
940.82/137.31	c (132,0) c Purge_2 : 606127
940.82/137.31	c (132,0) c Purge_3 : 603635
940.82/137.31	c (132,0) c Purge_4 : 610856
940.82/137.31	c (132,0) c Purge_5 : 617197
940.82/137.31	c (132,0) c Purge_6 : 611407
940.82/137.31	c (132,0) c Purge_7 : 613034
940.82/137.31	c (132,0) c Purge_total : 4889436
940.82/137.31	c (132,0) c Purge_winner : 617354
940.82/137.31	c (132,0) c Promoted_0 : 49546
940.82/137.31	c (132,0) c Promoted_1 : 47357
940.82/137.31	c (132,0) c Promoted_2 : 49830
940.82/137.31	c (132,0) c Promoted_3 : 50025
940.82/137.31	c (132,0) c Promoted_4 : 50601
940.82/137.31	c (132,0) c Promoted_5 : 49913
940.82/137.31	c (132,0) c Promoted_6 : 48025
940.82/137.31	c (132,0) c Promoted_7 : 50693
940.82/137.31	c (132,0) c Promoted_total : 395990
940.82/137.31	c (132,0) c Promoted_winner : 49546
940.82/137.31	c (132,0) c Remove_Imp_0 : 474005
940.82/137.31	c (132,0) c Remove_Imp_1 : 475484
940.82/137.31	c (132,0) c Remove_Imp_2 : 458454
940.82/137.31	c (132,0) c Remove_Imp_3 : 488491
940.82/137.31	c (132,0) c Remove_Imp_4 : 483639
940.82/137.31	c (132,0) c Remove_Imp_5 : 456317
940.82/137.31	c (132,0) c Remove_Imp_6 : 471451
940.82/137.31	c (132,0) c Remove_Imp_7 : 480668
940.82/137.31	c (132,0) c Remove_Imp_total : 3788509
940.82/137.31	c (132,0) c Remove_Imp_winner : 474005
940.82/137.31	c (132,0) c Blocked_Reuse_0 : 0
940.82/137.31	c (132,0) c Blocked_Reuse_1 : 0
940.82/137.31	c (132,0) c Blocked_Reuse_2 : 0
940.82/137.31	c (132,0) c Blocked_Reuse_3 : 0
940.82/137.31	c (132,0) c Blocked_Reuse_4 : 0
940.82/137.31	c (132,0) c Blocked_Reuse_5 : 0
940.82/137.31	c (132,0) c Blocked_Reuse_6 : 0
940.82/137.31	c (132,0) c Blocked_Reuse_7 : 0
940.82/137.31	c (132,0) c Blocked_Reuse_total : 0
940.82/137.31	c (132,0) c Blocked_Reuse_winner : 0
940.82/137.31	c (132,0) c Unaries_0 : 18
940.82/137.31	c (132,0) c Unaries_1 : 13
940.82/137.31	c (132,0) c Unaries_2 : 18
940.82/137.31	c (132,0) c Unaries_3 : 11
940.82/137.31	c (132,0) c Unaries_4 : 8
940.82/137.31	c (132,0) c Unaries_5 : 11
940.82/137.31	c (132,0) c Unaries_6 : 9
940.82/137.31	c (132,0) c Unaries_7 : 13
940.82/137.31	c (132,0) c Unaries_total : 101
940.82/137.31	c (132,0) c Unaries_winner : 18
940.82/137.31	c (132,0) c Binaries_0 : 228
940.82/137.31	c (132,0) c Binaries_1 : 250
940.82/137.31	c (132,0) c Binaries_2 : 264
940.82/137.31	c (132,0) c Binaries_3 : 303
940.82/137.31	c (132,0) c Binaries_4 : 271
940.82/137.31	c (132,0) c Binaries_5 : 232
940.82/137.31	c (132,0) c Binaries_6 : 263
940.82/137.31	c (132,0) c Binaries_7 : 264
940.82/137.31	c (132,0) c Binaries_total : 2075
940.82/137.31	c (132,0) c Binaries_winner : 228
940.82/137.31	c (132,0) c Glues_0 : 938
940.82/137.31	c (132,0) c Glues_1 : 951
940.82/137.31	c (132,0) c Glues_2 : 973
940.82/137.31	c (132,0) c Glues_3 : 1074
940.82/137.31	c (132,0) c Glues_4 : 991
940.82/137.31	c (132,0) c Glues_5 : 955
940.82/137.31	c (132,0) c Glues_6 : 968
940.82/137.31	c (132,0) c Glues_7 : 1005
940.82/137.31	c (132,0) c Glues_total : 7855
940.82/137.31	c (132,0) c Glues_winner : 938
940.82/137.31	c (132,0) c RunningTime_0 : 111.183405
940.82/137.31	c (132,0) c RunningTime_1 : 118.349233
940.82/137.31	c (132,0) c RunningTime_2 : 116.565940
940.82/137.31	c (132,0) c RunningTime_3 : 107.978226
940.82/137.31	c (132,0) c RunningTime_4 : 111.220581
940.82/137.31	c (132,0) c RunningTime_5 : 127.087196
940.82/137.31	c (132,0) c RunningTime_6 : 130.382918
940.82/137.31	c (132,0) c RunningTime_7 : 104.690894
940.82/137.31	c (132,0) c RunningTime_total : 927.458393
940.82/137.31	c (132,0) c RunningTime_winner : 111.183405
940.82/137.31	c (132,0) c WaitingTime_0 : 18.792114
940.82/137.31	c (132,0) c WaitingTime_1 : 11.673994
940.82/137.31	c (132,0) c WaitingTime_2 : 13.515761
940.82/137.31	c (132,0) c WaitingTime_3 : 22.037443
940.82/137.31	c (132,0) c WaitingTime_4 : 18.783109
940.82/137.31	c (132,0) c WaitingTime_5 : 3.000586
940.82/137.31	c (132,0) c WaitingTime_6 : 1.315464
940.82/137.31	c (132,0) c WaitingTime_7 : 25.616416
940.82/137.31	c (132,0) c WaitingTime_total : 114.734887
940.82/137.31	c (132,0) c WaitingTime_winner : 18.792114
940.82/137.31	c (132,0) c ExchangingTime_0 : 0.373801
940.82/137.31	c (132,0) c ExchangingTime_1 : 0.350952
940.82/137.31	c (132,0) c ExchangingTime_2 : 0.327252
940.82/137.31	c (132,0) c ExchangingTime_3 : 0.365839
940.82/137.31	c (132,0) c ExchangingTime_4 : 0.361843
940.82/137.31	c (132,0) c ExchangingTime_5 : 0.318740
940.82/137.31	c (132,0) c ExchangingTime_6 : 0.325254
940.82/137.31	c (132,0) c ExchangingTime_7 : 0.361469
940.82/137.31	c (132,0) c ExchangingTime_total : 2.785149
940.82/137.31	c (132,0) c ExchangingTime_winner : 0.373801
940.82/137.31	c (132,0) c PeriodProcTime_0 : 0.012258
940.82/137.31	c (132,0) c PeriodProcTime_1 : 0.011096
940.82/137.31	c (132,0) c PeriodProcTime_2 : 0.011263
940.82/137.31	c (132,0) c PeriodProcTime_3 : 0.012898
940.82/137.31	c (132,0) c PeriodProcTime_4 : 0.012574
940.82/137.31	c (132,0) c PeriodProcTime_5 : 0.014741
940.82/137.31	c (132,0) c PeriodProcTime_6 : 0.014860
940.82/137.31	c (132,0) c PeriodProcTime_7 : 0.012546
940.82/137.31	c (132,0) c PeriodProcTime_total : 0.102235
940.82/137.31	c (132,0) c PeriodProcTime_winner : 0.012258
940.82/137.31	c (132,0) c SolvingTime_0 : 130.361577
940.82/137.31	c (132,0) c SolvingTime_1 : 130.385274
940.82/137.31	c (132,0) c SolvingTime_2 : 130.420216
940.82/137.31	c (132,0) c SolvingTime_3 : 130.394405
940.82/137.31	c (132,0) c SolvingTime_4 : 130.378107
940.82/137.31	c (132,0) c SolvingTime_5 : 130.421263
940.82/137.31	c (132,0) c SolvingTime_6 : 132.038496
940.82/137.31	c (132,0) c SolvingTime_7 : 130.681325
940.82/137.31	c (132,0) c SolvingTime_total : 1045.080664
940.82/137.31	c (132,0) c SolvingTime_winner : 130.361577
940.82/137.31	c (132,0) c PropagationTime_0 : 113.703965
940.82/137.31	c (132,0) c PropagationTime_1 : 91.717296
940.82/137.31	c (132,0) c PropagationTime_2 : 94.617783
940.82/137.31	c (132,0) c PropagationTime_3 : 113.965862
940.82/137.31	c (132,0) c PropagationTime_4 : 105.525770
940.82/137.31	c (132,0) c PropagationTime_5 : 83.049109
940.82/137.31	c (132,0) c PropagationTime_6 : 80.797407
940.82/137.31	c (132,0) c PropagationTime_7 : 115.050452
940.82/137.31	c (132,0) c PropagationTime_total : 798.427644
940.82/137.31	c (132,0) c PropagationTime_winner : 113.703965
940.82/137.31	c (132,0) c AnalysisTime_0 : 13.062549
940.82/137.31	c (132,0) c AnalysisTime_1 : 35.329437
940.82/137.31	c (132,0) c AnalysisTime_2 : 32.693036
940.82/137.31	c (132,0) c AnalysisTime_3 : 12.921588
940.82/137.31	c (132,0) c AnalysisTime_4 : 21.424760
940.82/137.31	c (132,0) c AnalysisTime_5 : 44.223277
940.82/137.31	c (132,0) c AnalysisTime_6 : 48.200806
940.82/137.31	c (132,0) c AnalysisTime_7 : 12.042961
940.82/137.31	c (132,0) c AnalysisTime_total : 219.898414
940.82/137.31	c (132,0) c AnalysisTime_winner : 13.062549
940.82/137.31	c (132,0) c ReductionTime_0 : 1.373211
940.82/137.31	c (132,0) c ReductionTime_1 : 1.284289
940.82/137.31	c (132,0) c ReductionTime_2 : 1.142215
940.82/137.31	c (132,0) c ReductionTime_3 : 1.405713
940.82/137.31	c (132,0) c ReductionTime_4 : 1.296960
940.82/137.31	c (132,0) c ReductionTime_5 : 1.123873
940.82/137.31	c (132,0) c ReductionTime_6 : 1.098436
940.82/137.31	c (132,0) c ReductionTime_7 : 1.399004
940.82/137.31	c (132,0) c ReductionTime_total : 10.123701
940.82/137.31	c (132,0) c ReductionTime_winner : 1.373211
940.82/137.31	c (132,0) c SimplifyTime_0 : 0.091584
940.82/137.31	c (132,0) c SimplifyTime_1 : 0.101222
940.82/137.31	c (132,0) c SimplifyTime_2 : 0.042414
940.82/137.31	c (132,0) c SimplifyTime_3 : 0.103681
940.82/137.31	c (132,0) c SimplifyTime_4 : 0.074084
940.82/137.31	c (132,0) c SimplifyTime_5 : 0.074802
940.82/137.31	c (132,0) c SimplifyTime_6 : 0.024271
940.82/137.31	c (132,0) c SimplifyTime_7 : 0.071760
940.82/137.31	c (132,0) c SimplifyTime_total : 0.583819
940.82/137.31	c (132,0) c SimplifyTime_winner : 0.091584
940.82/137.31	c (132,0) c UsedRateTime_0 : 0.000000
940.82/137.31	c (132,0) c UsedRateTime_1 : 0.000000
940.82/137.31	c (132,0) c UsedRateTime_2 : 0.000000
940.82/137.31	c (132,0) c UsedRateTime_3 : 0.000000
940.82/137.31	c (132,0) c UsedRateTime_4 : 0.000000
940.82/137.32	c (132,0) c UsedRateTime_5 : 0.000000
940.82/137.32	c (132,0) c UsedRateTime_6 : 0.000000
940.82/137.32	c (132,0) c UsedRateTime_7 : 0.000000
940.82/137.32	c (132,0) c UsedRateTime_total : 0.000000
940.82/137.32	c (132,0) c UsedRateTime_winner : 0.000000
940.82/137.32	c (132,0) c OverlapRateTime_0 : 0.000000
940.82/137.32	c (132,0) c OverlapRateTime_1 : 0.000000
940.82/137.32	c (132,0) c OverlapRateTime_2 : 0.000000
940.82/137.32	c (132,0) c OverlapRateTime_3 : 0.000000
940.82/137.32	c (132,0) c OverlapRateTime_4 : 0.000000
940.82/137.32	c (132,0) c OverlapRateTime_5 : 0.000000
940.82/137.32	c (132,0) c OverlapRateTime_6 : 0.000000
940.82/137.32	c (132,0) c OverlapRateTime_7 : 0.000000
940.82/137.32	c (132,0) c OverlapRateTime_total : 0.000000
940.82/137.32	c (132,0) c OverlapRateTime_winner : 0.000000
940.82/137.32	c (132,0) c
940.82/137.32	c (132,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
940.82/137.32	c (132,0) c
940.82/137.32	c (132,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
940.82/137.32	c (132,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
940.82/137.32	c (132,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
940.82/137.32	c (132,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
940.82/137.32	c (132,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
940.82/137.32	c (132,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
940.82/137.32	c (132,0) c | Initial random_seed   | 2145371359 |  250064238 |  788797375 |  598775280 | 1099213163 |   99748497 | 1738580459 |  523388735 |
940.82/137.32	c (132,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
940.82/137.32	c (132,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
940.82/137.32	c (132,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
940.82/137.32	c (132,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
940.82/137.32	c (132,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
940.82/137.32	c (132,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
940.82/137.32	c (132,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
940.82/137.32	c (132,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
940.82/137.32	c (132,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
940.82/137.32	c (132,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
940.82/137.32	c (132,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
940.82/137.32	c (132,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
940.82/137.32	c (132,0) 
940.82/137.32	c (132,0) s UNSATISFIABLE
940.82/137.33	c (132,0) SatSolver.solve End
940.82/137.33	c (132,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
940.82/137.33	c (132,0) Show results Begin
940.82/137.33	s UNSATISFIABLE
940.82/137.33	c (132,0) Show results End
940.82/137.33	c (132,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
940.82/137.33	c (132,0) 132,132,STOP-AFTER(ALL)
940.82/137.33	c END-Prog: Sat Sep 14 06:51:20 CEST 2019

Verifier Data


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

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

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

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


[startup+0.100188 s]*
/proc/loadavg: 0.09 0.09 0.59 2/211 22446
/proc/meminfo: memFree=26745624/32770624 swapFree=66957016/67108860
[pid=22424] ppid=22421 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22424/stat : 22424 (scop.sh) S 22421 22424 16596 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419572417 115843072 349 33554432000 4194304 5098028 140722025498016 140722025495272 140630209974908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14057472 140722025505572 140722025505900 140722025505900 140722025508813 0
/proc/22424/statm: 28282 349 296 221 0 87 0
[pid=22427] ppid=22424 vsize=27314120 memory=105216 CPUtime=0.1 cores=0-7
/proc/22427/stat : 22427 (java) S 22424 22424 16596 0 -1 1077944320 6905 0 0 0 8 2 0 0 20 0 20 0 419572418 27969658880 26304 33554432000 4194304 4196468 140724487466576 140724487449120 140202897395447 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
/proc/22427/statm: 6828530 26304 2772 1 0 6790935 0
[pid=22427/tid=22428] ppid=22424 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/22427/task/22428/stat : 22428 (java) R 22424 22424 16596 0 -1 4202560 4984 0 0 0 7 2 0 0 20 0 20 0 419572418 27969658880 26304 33554432000 4194304 4196468 140724487466576 140202869199648 140202897407382 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22429] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22429/stat : 22429 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 26304 33554432000 4194304 4196468 140724487466576 140202901637904 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22430] ppid=22424 vsize=27314120 memory=139846626522752 CPUtime=0 cores=0-7
/proc/22427/task/22430/stat : 22430 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 26304 33554432000 4194304 4196468 140724487466576 140202715794320 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22431] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22431/stat : 22431 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 26304 33554432000 4194304 4196468 140724487466576 140202714741776 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22432] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22432/stat : 22432 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 26304 33554432000 4194304 4196468 140724487466576 140202713689232 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22433] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22433/stat : 22433 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 26304 33554432000 4194304 4196468 140724487466576 140202712635664 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22434] ppid=22424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22427/task/22434/stat : 22434 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 26304 33554432000 4194304 4196468 140724487466576 140202711583120 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22435] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22435/stat : 22435 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 26304 33554432000 4194304 4196468 140724487466576 140202710530576 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22436] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22436/stat : 22436 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 26304 33554432000 4194304 4196468 140724487466576 140202709478032 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22437] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22437/stat : 22437 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572422 27969658880 26304 33554432000 4194304 4196468 140724487466576 140201351424496 140202897406594 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22438] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22438/stat : 22438 (java) S 22424 22424 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419572422 27969658880 26304 33554432000 4194304 4196468 140724487466576 140200550327712 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22439] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22439/stat : 22439 (java) S 22424 22424 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419572423 27969658880 26304 33554432000 4194304 4196468 140724487466576 140200416105968 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22440] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22440/stat : 22440 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 26304 33554432000 4194304 4196468 140724487466576 140200041601744 140202897414043 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22441] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22441/stat : 22441 (java) S 22424 22424 16596 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 26304 33554432000 4194304 4196468 140724487466576 140201350371312 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22442] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22442/stat : 22442 (java) R 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 26304 33554432000 4194304 4196468 140724487466576 140201349318768 140202897406594 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22443] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22443/stat : 22443 (java) S 22424 22424 16596 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 26304 33554432000 4194304 4196468 140724487466576 140201348266224 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22444] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22444/stat : 22444 (java) R 22424 22424 16596 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 26304 33554432000 4194304 4196468 140724487466576 140201347213680 140202897406594 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22445] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22445/stat : 22445 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 26304 33554432000 4194304 4196468 140724487466576 140199543696096 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22446] ppid=22424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22427/task/22446/stat : 22446 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572426 27969658880 26304 33554432000 4194304 4196468 140724487466576 140201346161584 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106612 KiB

[startup+0.209771 s]*
/proc/loadavg: 0.09 0.09 0.59 4/211 22446
/proc/meminfo: memFree=26726432/32770624 swapFree=66957016/67108860
[pid=22424] ppid=22421 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22424/stat : 22424 (scop.sh) S 22421 22424 16596 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419572417 115843072 349 33554432000 4194304 5098028 140722025498016 140722025495272 140630209974908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14057472 140722025505572 140722025505900 140722025505900 140722025508813 0
/proc/22424/statm: 28282 349 296 221 0 87 0
[pid=22427] ppid=22424 vsize=27314120 memory=122196 CPUtime=0.25 cores=0-7
/proc/22427/stat : 22427 (java) S 22424 22424 16596 0 -1 1077944320 11780 0 0 0 21 4 0 0 20 0 20 0 419572418 27969658880 30549 33554432000 4194304 4196468 140724487466576 140724487449120 140202897395447 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
/proc/22427/statm: 6828530 30549 2931 1 0 6790935 0
[pid=22427/tid=22428] ppid=22424 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/22427/task/22428/stat : 22428 (java) R 22424 22424 16596 0 -1 4202560 9475 0 0 0 17 3 0 0 20 0 20 0 419572418 27969658880 30549 33554432000 4194304 4196468 140724487466576 140202869208880 140202878959007 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22429] ppid=22424 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/22427/task/22429/stat : 22429 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 30549 33554432000 4194304 4196468 140724487466576 140202901637904 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22430] ppid=22424 vsize=27314120 memory=139846629668917 CPUtime=0 cores=0-7
/proc/22427/task/22430/stat : 22430 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 30549 33554432000 4194304 4196468 140724487466576 140202715794320 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22431] ppid=22424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22427/task/22431/stat : 22431 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 30549 33554432000 4194304 4196468 140724487466576 140202714741776 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22432] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22432/stat : 22432 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 30549 33554432000 4194304 4196468 140724487466576 140202713689232 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22433] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22433/stat : 22433 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 30549 33554432000 4194304 4196468 140724487466576 140202712635664 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22434] ppid=22424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22427/task/22434/stat : 22434 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 30549 33554432000 4194304 4196468 140724487466576 140202711583120 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22435] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22435/stat : 22435 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 30549 33554432000 4194304 4196468 140724487466576 140202710530576 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22436] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22436/stat : 22436 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 30549 33554432000 4194304 4196468 140724487466576 140202709478032 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22437] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22437/stat : 22437 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572422 27969658880 30549 33554432000 4194304 4196468 140724487466576 140201351424496 140202897406594 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22438] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22438/stat : 22438 (java) S 22424 22424 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419572422 27969658880 30549 33554432000 4194304 4196468 140724487466576 140200550327712 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22439] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22439/stat : 22439 (java) S 22424 22424 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419572423 27969658880 30549 33554432000 4194304 4196468 140724487466576 140200416105968 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22440] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22440/stat : 22440 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 30549 33554432000 4194304 4196468 140724487466576 140200041601744 140202897414043 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22441] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22441/stat : 22441 (java) S 22424 22424 16596 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 30549 33554432000 4194304 4196468 140724487466576 140201350371312 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22442] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22442/stat : 22442 (java) S 22424 22424 16596 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 30549 33554432000 4194304 4196468 140724487466576 140201349318768 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22443] ppid=22424 vsize=27314120 memory=-1 CPUtime=0.01 cores=0-7
/proc/22427/task/22443/stat : 22443 (java) S 22424 22424 16596 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 419572425 27969658880 30549 33554432000 4194304 4196468 140724487466576 140201348266224 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22444] ppid=22424 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/22427/task/22444/stat : 22444 (java) S 22424 22424 16596 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 419572425 27969658880 30549 33554432000 4194304 4196468 140724487466576 140201347213680 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22445] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22445/stat : 22445 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 30549 33554432000 4194304 4196468 140724487466576 140199543696096 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22446] ppid=22424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22427/task/22446/stat : 22446 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572426 27969658880 30549 33554432000 4194304 4196468 140724487466576 140201346161584 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123592 KiB

[startup+0.309327 s]*
/proc/loadavg: 0.09 0.09 0.59 3/211 22446
/proc/meminfo: memFree=26723168/32770624 swapFree=66957016/67108860
[pid=22424] ppid=22421 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22424/stat : 22424 (scop.sh) S 22421 22424 16596 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419572417 115843072 349 33554432000 4194304 5098028 140722025498016 140722025495272 140630209974908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14057472 140722025505572 140722025505900 140722025505900 140722025508813 0
/proc/22424/statm: 28282 349 296 221 0 87 0
[pid=22427] ppid=22424 vsize=27314120 memory=125992 CPUtime=0.42 cores=0-7
/proc/22427/stat : 22427 (java) S 22424 22424 16596 0 -1 1077944320 12829 0 0 0 38 4 0 0 20 0 20 0 419572418 27969658880 31498 33554432000 4194304 4196468 140724487466576 140724487449120 140202897395447 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
/proc/22427/statm: 6828530 31498 3064 1 0 6790935 0
[pid=22427/tid=22428] ppid=22424 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22427/task/22428/stat : 22428 (java) R 22424 22424 16596 0 -1 4202560 10353 0 0 0 26 3 0 0 20 0 20 0 419572418 27969658880 31498 33554432000 4194304 4196468 140724487466576 140202869209376 140202882561040 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22429] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22429/stat : 22429 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 31498 33554432000 4194304 4196468 140724487466576 140202901637904 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22430] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22430/stat : 22430 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 31498 33554432000 4194304 4196468 140724487466576 140202715794320 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22431] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22431/stat : 22431 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 31498 33554432000 4194304 4196468 140724487466576 140202714741776 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22432] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22432/stat : 22432 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 31498 33554432000 4194304 4196468 140724487466576 140202713689232 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22433] ppid=22424 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/22427/task/22433/stat : 22433 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 31498 33554432000 4194304 4196468 140724487466576 140202712635664 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22434] ppid=22424 vsize=27314120 memory=139846484063151 CPUtime=0 cores=0-7
/proc/22427/task/22434/stat : 22434 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 31498 33554432000 4194304 4196468 140724487466576 140202711583120 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22435] ppid=22424 vsize=27314120 memory=139846484065456 CPUtime=0 cores=0-7
/proc/22427/task/22435/stat : 22435 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 31498 33554432000 4194304 4196468 140724487466576 140202710530576 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22436] ppid=22424 vsize=27314120 memory=139846484067760 CPUtime=0 cores=0-7
/proc/22427/task/22436/stat : 22436 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572420 27969658880 31498 33554432000 4194304 4196468 140724487466576 140202709478032 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22437] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22437/stat : 22437 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572422 27969658880 31498 33554432000 4194304 4196468 140724487466576 140201351424496 140202897406594 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22438] ppid=22424 vsize=27314120 memory=279692968142480 CPUtime=0 cores=0-7
/proc/22427/task/22438/stat : 22438 (java) S 22424 22424 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419572422 27969658880 31498 33554432000 4194304 4196468 140724487466576 140200550327712 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22439] ppid=22424 vsize=27314120 memory=279692968149392 CPUtime=0 cores=0-7
/proc/22427/task/22439/stat : 22439 (java) S 22424 22424 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419572423 27969658880 31498 33554432000 4194304 4196468 140724487466576 140200416105968 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22440] ppid=22424 vsize=27314120 memory=279692968090672 CPUtime=0 cores=0-7
/proc/22427/task/22440/stat : 22440 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 31498 33554432000 4194304 4196468 140724487466576 140200041601744 140202897414043 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22441] ppid=22424 vsize=27314120 memory=279692968163216 CPUtime=0 cores=0-7
/proc/22427/task/22441/stat : 22441 (java) S 22424 22424 16596 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 31498 33554432000 4194304 4196468 140724487466576 140201350371312 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22442] ppid=22424 vsize=27314120 memory=279692968170128 CPUtime=0.02 cores=0-7
/proc/22427/task/22442/stat : 22442 (java) S 22424 22424 16596 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 20 0 419572425 27969658880 31498 33554432000 4194304 4196468 140724487466576 140201349318768 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22443] ppid=22424 vsize=27314120 memory=279692968167824 CPUtime=0.01 cores=0-7
/proc/22427/task/22443/stat : 22443 (java) S 22424 22424 16596 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 419572425 27969658880 31498 33554432000 4194304 4196468 140724487466576 140201348266224 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22444] ppid=22424 vsize=27314120 memory=279692968183984 CPUtime=0.07 cores=0-7
/proc/22427/task/22444/stat : 22444 (java) S 22424 22424 16596 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 20 0 419572425 27969658880 31498 33554432000 4194304 4196468 140724487466576 140201347213680 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22445] ppid=22424 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22445/stat : 22445 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419572425 27969658880 31498 33554432000 4194304 4196468 140724487466576 140199543696096 140202897405653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22446] ppid=22424 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22427/task/22446/stat : 22446 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572426 27969658880 31498 33554432000 4194304 4196468 140724487466576 140201346161584 140202897406594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127388 KiB

[startup+0.700912 s]
/proc/loadavg: 0.09 0.09 0.59 2/211 22446
/proc/meminfo: memFree=26700540/32770624 swapFree=66957016/67108860
[pid=22424] ppid=22421 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22424/stat : 22424 (scop.sh) S 22421 22424 16596 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419572417 115843072 349 33554432000 4194304 5098028 140722025498016 140722025495272 140630209974908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14057472 140722025505572 140722025505900 140722025505900 140722025508813 0
/proc/22424/statm: 28282 349 296 221 0 87 0
[pid=22427] ppid=22424 vsize=27320392 memory=163152 CPUtime=1.01 cores=0-7
/proc/22427/stat : 22427 (java) S 22424 22424 16596 0 -1 1077944320 20453 0 0 0 94 7 0 0 20 0 20 0 419572418 27976081408 40788 33554432000 4194304 4196468 140724487466576 140724487449120 140202897395447 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
/proc/22427/statm: 6830098 40788 3175 1 0 6791447 0
[pid=22427/tid=22428] ppid=22424 vsize=27320392 memory=279692968541872 CPUtime=0.67 cores=0-7
/proc/22427/task/22428/stat : 22428 (java) R 22424 22424 16596 0 -1 4202560 17408 0 0 0 62 5 0 0 20 0 20 0 419572418 27976081408 40788 33554432000 4194304 4196468 140724487466576 140202869232880 140202379150631 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22429] ppid=22424 vsize=27320392 memory=139846484271984 CPUtime=0 cores=0-7
/proc/22427/task/22429/stat : 22429 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419572420 27976081408 40788 33554432000 4194304 4196468 140724487466576 140202901637904 140202897405653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22430] ppid=22424 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/22427/task/22430/stat : 22430 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419572420 27976081408 40788 33554432000 4194304 4196468 140724487466576 140202715794320 140202897405653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0
[pid=22427/tid=22431] ppid=22424 vsize=27320392 memory=1096 CPUtime=0 cores=0-7
/proc/22427/task/22431/stat : 22431 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419572420 27976081408 40788 33554432000 4194304 4196468 140724487466576 140202714741776 140202897405653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32702464 140724487471850 140724487472278 140724487472278 140724487475151 0

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

[pid=22449/tid=22459] ppid=22424 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/22449/task/22459/stat : 22459 (java) S 22424 22424 16596 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419572863 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581717879536 140582490274434 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22460] ppid=22424 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/22449/task/22460/stat : 22460 (java) S 22424 22424 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419572863 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581057586848 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22461] ppid=22424 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/22449/task/22461/stat : 22461 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572863 8616062976 30353 33554432000 4194304 4196468 140728454988256 140580789150960 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22462] ppid=22424 vsize=8414124 memory=2520 CPUtime=0 cores=0-7
/proc/22449/task/22462/stat : 22462 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140580414642640 140582490281883 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22463] ppid=22424 vsize=8414124 memory=1760 CPUtime=0.07 cores=0-7
/proc/22449/task/22463/stat : 22463 (java) S 22424 22424 16596 0 -1 1077944384 724 0 0 0 7 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581716826352 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22464] ppid=22424 vsize=8414124 memory=1660 CPUtime=0.07 cores=0-7
/proc/22449/task/22464/stat : 22464 (java) S 22424 22424 16596 0 -1 1077944384 246 0 0 0 7 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581715773808 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22465] ppid=22424 vsize=8414124 memory=111632 CPUtime=0.05 cores=0-7
/proc/22449/task/22465/stat : 22465 (java) S 22424 22424 16596 0 -1 1077944384 219 0 0 0 5 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581714720752 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22466] ppid=22424 vsize=8414124 memory=796 CPUtime=0.21 cores=0-7
/proc/22449/task/22466/stat : 22466 (java) S 22424 22424 16596 0 -1 1077944384 747 0 0 0 21 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581713668208 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22467] ppid=22424 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/22449/task/22467/stat : 22467 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140579916737504 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22468] ppid=22424 vsize=8414124 memory=920 CPUtime=0.08 cores=0-7
/proc/22449/task/22468/stat : 22468 (java) S 22424 22424 16596 0 -1 1077944384 11 0 0 0 0 8 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581712616624 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22470] ppid=22424 vsize=8414124 memory=4204 CPUtime=0 cores=0-7
/proc/22449/task/22470/stat : 22470 (java) S 22424 22424 16596 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419572934 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581704582592 140582490287897 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22472] ppid=22424 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/22449/task/22472/stat : 22472 (java) S 22424 22424 16596 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419572935 8616062976 30353 33554432000 4194304 4196468 140728454988256 140579245637136 140582490285213 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22473] ppid=22424 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/22449/task/22473/stat : 22473 (java) S 22424 22424 16596 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419572935 8616062976 30353 33554432000 4194304 4196468 140728454988256 140579514072720 140582490285213 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22482] ppid=22424 vsize=8414124 memory=3672 CPUtime=0 cores=0-7
/proc/22449/task/22482/stat : 22482 (java) S 22424 22424 16596 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 419572937 8616062976 30353 33554432000 4194304 4196468 140728454988256 140578977209264 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
Current children cumulated CPU time: 939.63 s
Current children cumulated vsize: 9250072 KiB
Current children cumulated memory: 705840 KiB

[startup+136.901 s]
/proc/loadavg: 5.71 2.40 1.39 2/218 22495
/proc/meminfo: memFree=26145612/32770624 swapFree=66957016/67108860
[pid=22424] ppid=22421 vsize=113128 memory=1476 CPUtime=12.2 cores=0-7
/proc/22424/stat : 22424 (scop.sh) S 22421 22424 16596 0 -1 4202496 583 32203 0 0 0 0 1189 31 20 0 1 0 419572417 115843072 369 33554432000 4194304 5098028 140722025498016 140722025494760 140630209974908 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14057472 140722025505572 140722025505900 140722025505900 140722025508813 0
/proc/22424/statm: 28282 369 311 221 0 87 0
[pid=22449] ppid=22424 vsize=8414124 memory=121412 CPUtime=1.32 cores=0-7
/proc/22449/stat : 22449 (java) S 22424 22424 16596 0 -1 1077944320 20821 0 0 0 123 9 0 0 20 0 24 0 419572860 8616062976 30353 33554432000 4194304 4196468 140728454988256 140728454970800 140582490263287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
/proc/22449/statm: 2103531 30353 3207 1 0 2064875 0
[pid=22469] ppid=22449 vsize=722820 memory=582952 CPUtime=926.9 cores=0-7
/proc/22469/stat : 22469 (manyglucose-4.1) S 22449 22424 16596 0 -1 1077944320 1052757 0 0 0 92454 236 0 0 20 0 2 0 419572934 740167680 145738 33554432000 4194304 4454172 140726518134096 140726518132480 140454586248951 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 39931904 140726518141801 140726518142000 140726518142000 140726518144954 0
/proc/22469/statm: 180705 145738 419 64 0 176373 0
[pid=22469/tid=22480] ppid=22449 vsize=722820 memory=582952 CPUtime=130.28 cores=0-7
/proc/22469/task/22480/stat : 22480 (manyglucose-4.1) R 22449 22424 16596 0 -1 4202560 134802 0 0 0 13009 19 0 0 20 0 2 0 419572937 740167680 145738 33554432000 4194304 4454172 140726518134096 140454520675464 4351803 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 39931904 140726518141801 140726518142000 140726518142000 140726518144954 0
[pid=22449/tid=22450] ppid=22424 vsize=8414124 memory=-8527959976675930514 CPUtime=0.78 cores=0-7
/proc/22449/task/22450/stat : 22450 (java) S 22424 22424 16596 0 -1 1077944384 17345 0 0 0 72 6 0 0 20 0 24 0 419572860 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582462103456 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22451] ppid=22424 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/22449/task/22451/stat : 22451 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582494506000 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22452] ppid=22424 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/22449/task/22452/stat : 22452 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582294674576 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22453] ppid=22424 vsize=8414124 memory=4008 CPUtime=0 cores=0-7
/proc/22449/task/22453/stat : 22453 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582293621520 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22454] ppid=22424 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/22449/task/22454/stat : 22454 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582292568976 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22455] ppid=22424 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/22449/task/22455/stat : 22455 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582291515920 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22456] ppid=22424 vsize=8414124 memory=15252640887999028 CPUtime=0 cores=0-7
/proc/22449/task/22456/stat : 22456 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582290463376 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22457] ppid=22424 vsize=8414124 memory=4204 CPUtime=0 cores=0-7
/proc/22449/task/22457/stat : 22457 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582289410320 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22458] ppid=22424 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/22449/task/22458/stat : 22458 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582288357776 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22459] ppid=22424 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/22449/task/22459/stat : 22459 (java) S 22424 22424 16596 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419572863 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581717879536 140582490274434 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22460] ppid=22424 vsize=8414124 memory=3672 CPUtime=0 cores=0-7
/proc/22449/task/22460/stat : 22460 (java) S 22424 22424 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419572863 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581057586848 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22461] ppid=22424 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/22449/task/22461/stat : 22461 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572863 8616062976 30353 33554432000 4194304 4196468 140728454988256 140580789150960 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22462] ppid=22424 vsize=8414124 memory=121412 CPUtime=0 cores=0-7
/proc/22449/task/22462/stat : 22462 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140580414642640 140582490281883 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22463] ppid=22424 vsize=8414124 memory=582952 CPUtime=0.07 cores=0-7
/proc/22449/task/22463/stat : 22463 (java) S 22424 22424 16596 0 -1 1077944384 724 0 0 0 7 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581716826352 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22464] ppid=22424 vsize=8414124 memory=6100 CPUtime=0.07 cores=0-7
/proc/22449/task/22464/stat : 22464 (java) S 22424 22424 16596 0 -1 1077944384 246 0 0 0 7 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581715773808 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22465] ppid=22424 vsize=8414124 memory=11624 CPUtime=0.05 cores=0-7
/proc/22449/task/22465/stat : 22465 (java) S 22424 22424 16596 0 -1 1077944384 219 0 0 0 5 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581714720752 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22466] ppid=22424 vsize=8414124 memory=732 CPUtime=0.21 cores=0-7
/proc/22449/task/22466/stat : 22466 (java) S 22424 22424 16596 0 -1 1077944384 747 0 0 0 21 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581713668208 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22467] ppid=22424 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/22449/task/22467/stat : 22467 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140579916737504 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22468] ppid=22424 vsize=8414124 memory=1560 CPUtime=0.08 cores=0-7
/proc/22449/task/22468/stat : 22468 (java) S 22424 22424 16596 0 -1 1077944384 11 0 0 0 0 8 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581712616624 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22470] ppid=22424 vsize=8414124 memory=4008 CPUtime=0 cores=0-7
/proc/22449/task/22470/stat : 22470 (java) S 22424 22424 16596 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419572934 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581704582592 140582490287897 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22472] ppid=22424 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/22449/task/22472/stat : 22472 (java) S 22424 22424 16596 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419572935 8616062976 30353 33554432000 4194304 4196468 140728454988256 140579245637136 140582490285213 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22473] ppid=22424 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/22449/task/22473/stat : 22473 (java) S 22424 22424 16596 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419572935 8616062976 30353 33554432000 4194304 4196468 140728454988256 140579514072720 140582490285213 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22482] ppid=22424 vsize=8414124 memory=1164 CPUtime=0 cores=0-7
/proc/22449/task/22482/stat : 22482 (java) S 22424 22424 16596 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 419572937 8616062976 30353 33554432000 4194304 4196468 140728454988256 140578977209264 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
Current children cumulated CPU time: 940.42 s
Current children cumulated vsize: 9250072 KiB
Current children cumulated memory: 705840 KiB

[startup+137.301 s]
/proc/loadavg: 5.71 2.40 1.39 2/219 22497
/proc/meminfo: memFree=26144204/32770624 swapFree=66957016/67108860
[pid=22424] ppid=22421 vsize=113128 memory=1476 CPUtime=12.2 cores=0-7
/proc/22424/stat : 22424 (scop.sh) S 22421 22424 16596 0 -1 4202496 583 32203 0 0 0 0 1189 31 20 0 1 0 419572417 115843072 369 33554432000 4194304 5098028 140722025498016 140722025494760 140630209974908 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14057472 140722025505572 140722025505900 140722025505900 140722025508813 0
/proc/22424/statm: 28282 369 311 221 0 87 0
[pid=22449] ppid=22424 vsize=8414124 memory=121412 CPUtime=1.32 cores=0-7
/proc/22449/stat : 22449 (java) S 22424 22424 16596 0 -1 1077944320 20821 0 0 0 123 9 0 0 20 0 24 0 419572860 8616062976 30353 33554432000 4194304 4196468 140728454988256 140728454970800 140582490263287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
/proc/22449/statm: 2103531 30353 3207 1 0 2064875 0
[pid=22469] ppid=22449 vsize=722820 memory=582952 CPUtime=927.3 cores=0-7
/proc/22469/stat : 22469 (manyglucose-4.1) S 22449 22424 16596 0 -1 1077944320 1052761 0 0 0 92494 236 0 0 20 0 2 0 419572934 740167680 145738 33554432000 4194304 4454172 140726518134096 140726518132480 140454586248951 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 39931904 140726518141801 140726518142000 140726518142000 140726518144954 0
/proc/22469/statm: 180705 145738 419 64 0 176373 0
[pid=22469/tid=22480] ppid=22449 vsize=722820 memory=1476 CPUtime=130.68 cores=0-7
/proc/22469/task/22480/stat : 22480 (manyglucose-4.1) R 22449 22424 16596 0 -1 4202560 134806 0 0 0 13049 19 0 0 20 0 2 0 419572937 740167680 145738 33554432000 4194304 4454172 140726518134096 140454520675464 4351535 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 39931904 140726518141801 140726518142000 140726518142000 140726518144954 0
[pid=22449/tid=22450] ppid=22424 vsize=8414124 memory=121412 CPUtime=0.78 cores=0-7
/proc/22449/task/22450/stat : 22450 (java) S 22424 22424 16596 0 -1 1077944384 17345 0 0 0 72 6 0 0 20 0 24 0 419572860 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582462103456 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22451] ppid=22424 vsize=8414124 memory=320318721837236250 CPUtime=0 cores=0-7
/proc/22449/task/22451/stat : 22451 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582494506000 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22452] ppid=22424 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/22449/task/22452/stat : 22452 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582294674576 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22453] ppid=22424 vsize=8414124 memory=15252640887999028 CPUtime=0 cores=0-7
/proc/22449/task/22453/stat : 22453 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582293621520 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22454] ppid=22424 vsize=8414124 memory=492 CPUtime=0 cores=0-7
/proc/22449/task/22454/stat : 22454 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582292568976 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22455] ppid=22424 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/22449/task/22455/stat : 22455 (java) S 22424 22424 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582291515920 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22456] ppid=22424 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/22449/task/22456/stat : 22456 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582290463376 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22457] ppid=22424 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/22449/task/22457/stat : 22457 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582289410320 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22458] ppid=22424 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/22449/task/22458/stat : 22458 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572861 8616062976 30353 33554432000 4194304 4196468 140728454988256 140582288357776 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22459] ppid=22424 vsize=8414124 memory=896 CPUtime=0 cores=0-7
/proc/22449/task/22459/stat : 22459 (java) S 22424 22424 16596 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419572863 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581717879536 140582490274434 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22460] ppid=22424 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/22449/task/22460/stat : 22460 (java) S 22424 22424 16596 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419572863 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581057586848 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22461] ppid=22424 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/22449/task/22461/stat : 22461 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572863 8616062976 30353 33554432000 4194304 4196468 140728454988256 140580789150960 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22462] ppid=22424 vsize=8414124 memory=5787477641288517003 CPUtime=0 cores=0-7
/proc/22449/task/22462/stat : 22462 (java) S 22424 22424 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140580414642640 140582490281883 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22463] ppid=22424 vsize=8414124 memory=-8961168018402230209 CPUtime=0.07 cores=0-7
/proc/22449/task/22463/stat : 22463 (java) S 22424 22424 16596 0 -1 1077944384 724 0 0 0 7 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581716826352 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22464] ppid=22424 vsize=8414124 memory=-8253362762722141311 CPUtime=0.07 cores=0-7
/proc/22449/task/22464/stat : 22464 (java) S 22424 22424 16596 0 -1 1077944384 246 0 0 0 7 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581715773808 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22465] ppid=22424 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/22449/task/22465/stat : 22465 (java) S 22424 22424 16596 0 -1 1077944384 219 0 0 0 5 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581714720752 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22466] ppid=22424 vsize=8414124 memory=121412 CPUtime=0.21 cores=0-7
/proc/22449/task/22466/stat : 22466 (java) S 22424 22424 16596 0 -1 1077944384 747 0 0 0 21 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581713668208 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22467] ppid=22424 vsize=8414124 memory=582952 CPUtime=0 cores=0-7
/proc/22449/task/22467/stat : 22467 (java) S 22424 22424 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140579916737504 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22468] ppid=22424 vsize=8414124 memory=6100 CPUtime=0.08 cores=0-7
/proc/22449/task/22468/stat : 22468 (java) S 22424 22424 16596 0 -1 1077944384 11 0 0 0 0 8 0 0 20 0 24 0 419572866 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581712616624 140582490274434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22470] ppid=22424 vsize=8414124 memory=320318721837236250 CPUtime=0 cores=0-7
/proc/22449/task/22470/stat : 22470 (java) S 22424 22424 16596 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419572934 8616062976 30353 33554432000 4194304 4196468 140728454988256 140581704582592 140582490287897 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22472] ppid=22424 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/22449/task/22472/stat : 22472 (java) S 22424 22424 16596 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419572935 8616062976 30353 33554432000 4194304 4196468 140728454988256 140579245637136 140582490285213 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22473] ppid=22424 vsize=8414124 memory=15252640887999028 CPUtime=0 cores=0-7
/proc/22449/task/22473/stat : 22473 (java) S 22424 22424 16596 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419572935 8616062976 30353 33554432000 4194304 4196468 140728454988256 140579514072720 140582490285213 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
[pid=22449/tid=22482] ppid=22424 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/22449/task/22482/stat : 22482 (java) S 22424 22424 16596 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 419572937 8616062976 30353 33554432000 4194304 4196468 140728454988256 140578977209264 140582490273493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140728454992887 140728454993046 140728454993046 140728454995919 0
Current children cumulated CPU time: 940.82 s
Current children cumulated vsize: 9250072 KiB
Current children cumulated memory: 705840 KiB

Child status: 0
Real time (s): 137.343
CPU time (s): 940.947
CPU user time (s): 938.132
CPU system time (s): 2.81517
CPU usage (%): 685.108
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1063280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 938.132
system time used= 2.81517
maximum resident set size= 1062392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1106638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18505
involuntary context switches= 8454


# summary of solver processes directly reported to runsolver:
#   pid: 22424
#   total CPU time (s): 940.947
#   total CPU user time (s): 938.132
#   total CPU system time (s): 2.81517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33921 second user time and 1.93998 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-14 06:49:02
IDJOB=4392747
IDBENCH=134581
IDSOLVER=2839
FILE ID=node147/4392747-1568436586
RUNJOBID= node147-1568427292-16623
PBS_JOBID= 21702296
Free space on /tmp= 58880 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-1_X2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392747-1568436586/watcher-4392747-1568436586 -o /tmp/evaluation-result-4392747-1568436586/solver-4392747-1568436586 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392747-1568436586.xml

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

MD5SUM BENCH= a5169531bc56f5bae607e8bf56d35270
RANDOM SEED=956407379

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:        26839352 kB
MemAvailable:   31814520 kB
Buffers:          196284 kB
Cached:          5002308 kB
SwapCached:        48496 kB
Active:          2038976 kB
Inactive:        3212368 kB
Active(anon):       4924 kB
Inactive(anon):    89344 kB
Active(file):    2034052 kB
Inactive(file):  3123024 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957016 kB
Dirty:             20760 kB
Writeback:             0 kB
AnonPages:        125348 kB
Mapped:            45116 kB
Shmem:             32768 kB
Slab:             276000 kB
SReclaimable:     246552 kB
SUnreclaim:        29448 kB
KernelStack:        3712 kB
PageTables:         5220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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:51:20