Trace number 4392467

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 1152.66 176.796

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-4_X2.xml
MD5SUMf5121aa225c6127ab5abec7ec5104cc1
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 benchmark170.824
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-13910-serial-file.bin HOME/instance-4392467-1568436512.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 06:47:48 CEST 2019
0.65/0.57	c PID: 13913
0.65/0.57	c IP: 172.20.3.136
0.65/0.57	c HOST: node136.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.06/1.12	c (0,0) Parsing End
2.06/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.06/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.13	c (0,0) Constraint Name Generate Begin
2.06/1.14	c (0,0) Ctr:HOME/instance-4392467-1568436512.xml,ExtensionConflict:ExtensionSupport:Var
2.06/1.14	c (0,0) Constraint Name Generate End
2.06/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.14	c (0,0) CSP to CSPinCNF Begin
3.17/1.62	c (1,1) translated 127 (10%) constraints
3.59/1.73	c (1,1) translated 253 (20%) constraints
4.00/1.81	c (1,1) translated 379 (30%) constraints
4.00/1.88	c (1,1) translated 505 (40%) constraints
4.42/1.93	c (1,1) translated 631 (50%) constraints
4.42/1.98	c (1,1) translated 757 (60%) constraints
5.24/2.11	c (1,1) translated 883 (70%) constraints
5.83/2.35	c (1,1) translated 1009 (80%) constraints
6.07/2.57	c (2,2) translated 1135 (90%) constraints
6.63/2.88	c (2,2) translated 1261 (100%) constraints
6.63/2.88	c (2,2) ===========================================
6.63/2.88	c (2,2) Order
6.63/2.88	c (2,2) ===========================================
7.02/2.94	c (2,2) translated 1883 (10%) constraints
7.02/2.99	c (2,2) translated 3765 (20%) constraints
7.45/3.04	c (2,2) translated 5647 (30%) constraints
7.45/3.09	c (2,2) translated 7529 (40%) constraints
7.84/3.14	c (2,2) translated 9411 (50%) constraints
7.84/3.18	c (2,2) translated 11294 (60%) constraints
8.20/3.23	c (2,2) translated 13176 (70%) constraints
8.20/3.26	c (2,2) translated 15058 (80%) constraints
8.54/3.30	c (2,2) translated 16940 (90%) constraints
8.54/3.33	c (2,2) translated 18822 (100%) constraints
8.54/3.33	c (2,2) CSP to CSPinCNF End
8.54/3.34	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.54/3.34	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.54/3.34	c (2,2) CSPinCNF Propagation Begin
9.68/3.69	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.68/3.69	c (3,3) CSPinCNF Propagation End
9.68/3.69	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.68/3.69	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.68/3.69	c (3,3) Simplify CSPinCNF Begin
10.00/3.75	c (3,3) Simplify CSPinCNF End
10.00/3.75	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.00/3.75	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.00/3.75	c (3,3) Calculate Precise Domain Begin
10.00/3.75	c (3,3) 0 values are removed by re-calculation
10.00/3.75	c (3,3) Calculate Precise Domain End
10.00/3.75	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.00/3.75	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.00/3.75	c (3,3) CSPinCNF to SatSolver Begin
10.33/3.90	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.58/3.95	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.58/4.00	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.03/4.04	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.03/4.08	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.03/4.10	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.41/4.12	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.41/4.13	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.41/4.15	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.41/4.16	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.41/4.16	c (3,3) CSPinCNF to SatSolver End
11.41/4.16	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.41/4.16	c (3,3) 2482 bool, 15697 clause
11.41/4.16	c (3,3) Export Begin
11.57/4.27	c (3,3) Export to HOME/scop-13910-serial-file.bin
11.57/4.27	c (3,3) Export End
11.57/4.27	c (3,3) Export File Size: 0.02 MB
11.57/4.27	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.57/4.27	c END-Prog: Sat Sep 14 06:47:52 CEST 2019
11.57/4.29	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13910-serial-file.bin
11.73/4.75	c (0,0) Read Serial File Begin
11.73/4.75	c (0,0) HOME/scop-13910-serial-file.bin
11.73/4.97	c (0,0) Read Serial File End
12.72/5.02	
12.72/5.02	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.72/5.02	(Solving Process)
12.72/5.02	
12.72/5.02	c BEGIN-Prog: Sat Sep 14 06:47:53 CEST 2019
12.72/5.02	c PID: 13935
12.72/5.02	c IP: 172.20.3.136
12.72/5.02	c HOST: node136.alineos.net
12.72/5.02	c (0,0) SatSolver.solve Begin
12.72/5.02	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392467-1568436512.xml-scop-13913.cnf
12.72/5.04	c (0,0) c
12.72/5.04	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)
12.72/5.04	c (0,0) c
12.72/5.04	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
12.72/5.04	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
12.72/5.04	c (0,0) c ========================================[ Problem Statistics ]===========================================
12.72/5.04	c (0,0) c |                                                                                                       |
12.72/5.04	c (0,0) c |  Number of variables:          2480                                                                   |
12.72/5.04	c (0,0) c |  Number of clauses:           15697                                                                   |
12.72/5.04	c (0,0) c |  Parse time:                   0.00 s                                                                 |
12.72/5.04	c (0,0) c |                                                                                                       |
12.72/5.04	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.72/5.05	c (0,0) c |  Simplification time:          0.01 s                                                                 |
12.72/5.05	c (0,0) c |                                                                                                       |
12.72/5.05	c (0,0) c |  Generating clones                                                                                    |
12.72/5.06	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
12.72/5.06	c (0,0) c ========================================================================================================|
12.72/5.06	c (0,0) c
12.72/5.06	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
12.72/5.06	c (0,0) c
12.72/5.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.72/5.06	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
12.72/5.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
12.72/5.06	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
12.72/5.06	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
12.72/5.06	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
12.72/5.06	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
12.72/5.06	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
12.72/5.06	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
12.72/5.06	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
12.72/5.06	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
12.72/5.06	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
12.72/5.06	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
12.72/5.06	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
12.72/5.06	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
12.72/5.06	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
12.72/5.06	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
12.72/5.06	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
12.72/5.06	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
232.82/34.64	c (29,0) c
232.82/34.64	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
232.82/34.64	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
232.82/34.64	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
232.82/34.64	c (29,0) c |  0 |    332 |     558960 |     304319 |     9096 |    37133 |    46715 |   305864 |    10034 |      330 |  20 |  0.847 |
232.82/34.64	c (29,0) c |  1 |    370 |     550067 |     294409 |     9293 |    63015 |    44898 |   295932 |    12306 |      310 |  20 |  0.847 |
232.82/34.64	c (29,0) c |  2 |    268 |     570291 |     299314 |     8620 |    67925 |    44297 |   308440 |     9714 |      330 |  20 |  0.847 |
232.82/34.64	c (29,0) c |  3 |    376 |     575619 |     305091 |     9248 |    37915 |    44050 |   307310 |    12710 |      330 |  20 |  0.847 |
232.82/34.64	c (29,0) c |  4 |    515 |     601603 |     326279 |     9469 |    59093 |    46145 |   297399 |    14952 |      330 |  20 |  0.848 |
232.82/34.64	c (29,0) c |  5 |    343 |     554781 |     296314 |     9325 |    64925 |    45379 |   308186 |    13245 |      330 |  20 |  0.847 |
232.82/34.64	c (29,0) c |  6 |    331 |     552413 |     303001 |     9138 |    71612 |    44427 |   308588 |    10992 |      330 |  20 |  0.847 |
232.82/34.64	c (29,0) c |  7 |    305 |     574433 |     304376 |     9080 |    37191 |    44533 |   308735 |    11761 |      330 |  20 |  0.847 |
232.82/34.64	c (29,0) c 
232.82/34.64	c (29,0) c synthesis     2433103 conflicts   184369474 propagations    11084 conflicts/sec   839908 propagations/sec
232.82/34.64	c (29,0) c real: 29.5995 s, cpu: 219.512 s, memory: 628.82 Mb
426.42/63.64	c (58,0) c
426.42/63.64	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
426.42/63.64	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
426.42/63.64	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
426.42/63.64	c (58,0) c |  0 |    379 |     823087 |     440752 |     9213 |    50568 |    60757 |   405814 |    14915 |      580 |  20 |  0.848 |
426.42/63.64	c (58,0) c |  1 |    426 |     842750 |     447048 |     9366 |    56860 |    59932 |   401279 |    18002 |      567 |  20 |  0.847 |
426.42/63.64	c (58,0) c |  2 |    356 |     866998 |     450455 |     9241 |    60263 |    58054 |   409545 |    19020 |      587 |  20 |  0.847 |
426.42/63.64	c (58,0) c |  3 |    416 |     830648 |     438019 |     9261 |    47829 |    55867 |   398312 |    16713 |      582 |  20 |  0.847 |
426.42/63.64	c (58,0) c |  4 |    693 |     902035 |     480515 |     9500 |    90325 |    62049 |   406693 |    23306 |      587 |  20 |  0.847 |
426.42/63.64	c (58,0) c |  5 |    556 |     844812 |     443066 |     9459 |    52881 |    58227 |   405640 |    23683 |      571 |  20 |  0.847 |
426.42/63.64	c (58,0) c |  6 |    382 |     840393 |     452795 |     9254 |    62606 |    57787 |   406227 |    17401 |      587 |  20 |  0.847 |
426.42/63.64	c (58,0) c |  7 |    431 |     893215 |     473839 |     9511 |    83654 |    62865 |   390569 |    21310 |      587 |  20 |  0.847 |
426.42/63.64	c (58,0) c 
426.42/63.64	c (58,0) c synthesis     3626490 conflicts   274517941 propagations     8777 conflicts/sec   664437 propagations/sec
426.42/63.64	c (58,0) c real: 58.6018 s, cpu: 413.159 s, memory: 664.79 Mb
635.32/93.64	c (88,0) c
635.32/93.64	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
635.32/93.64	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
635.32/93.64	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
635.32/93.64	c (88,0) c |  0 |    443 |    1124461 |     595593 |     9416 |    59006 |    76760 |   501065 |    28560 |      862 |  20 |  0.847 |
635.32/93.64	c (88,0) c |  1 |    542 |    1132140 |     596435 |     9414 |    59846 |    73840 |   498699 |    29524 |      842 |  20 |  0.848 |
635.32/93.64	c (88,0) c |  2 |    453 |    1156967 |     599164 |     9414 |    62578 |    72831 |   502934 |    29659 |      854 |  20 |  0.848 |
635.32/93.64	c (88,0) c |  3 |    484 |    1137232 |     594574 |     9463 |    57987 |    70684 |   506250 |    30753 |      862 |  20 |  0.847 |
635.32/93.64	c (88,0) c |  4 |    837 |    1189371 |     627721 |     9509 |    91134 |    73877 |   500062 |    32701 |      862 |  20 |  0.847 |
635.32/93.64	c (88,0) c |  5 |    771 |    1134080 |     589236 |     9490 |    52640 |    70920 |   500491 |    34101 |      855 |  20 |  0.848 |
635.32/93.64	c (88,0) c |  6 |    464 |    1103436 |     589169 |     9390 |    52588 |    70497 |   507815 |    28303 |      862 |  20 |  0.847 |
635.32/93.64	c (88,0) c |  7 |    522 |    1176656 |     621425 |     9564 |    84836 |    74485 |   504737 |    33117 |      862 |  20 |  0.847 |
635.32/93.64	c (88,0) c 
635.32/93.64	c (88,0) c synthesis     4813317 conflicts   362258964 propagations     7742 conflicts/sec   582688 propagations/sec
635.32/93.64	c (88,0) c real: 88.5998 s, cpu: 621.703 s, memory: 728.82 Mb
810.87/123.64	c (118,0) c
810.87/123.64	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
810.87/123.64	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
810.87/123.64	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
810.87/123.64	c (118,0) c |  0 |    497 |    1340276 |     702795 |     9436 |   112205 |    85473 |   570003 |    37120 |     1088 |  20 |  0.848 |
810.87/123.64	c (118,0) c |  1 |    605 |    1337573 |     704101 |     9437 |    56917 |    85090 |   565044 |    36969 |     1068 |  20 |  0.848 |
810.87/123.64	c (118,0) c |  2 |    573 |    1375451 |     708413 |     9440 |    61223 |    82881 |   565574 |    37918 |     1088 |  20 |  0.847 |
810.87/123.64	c (118,0) c |  3 |    545 |    1344401 |     701861 |     9474 |   111274 |    77893 |   578056 |    39210 |     1088 |  20 |  0.847 |
810.87/123.64	c (118,0) c |  4 |    948 |    1393342 |     732424 |     9522 |    85237 |    82865 |   573223 |    39897 |     1088 |  20 |  0.847 |
810.87/123.64	c (118,0) c |  5 |    899 |    1355777 |     699938 |     9503 |   109348 |    81200 |   575018 |    42185 |     1088 |  20 |  0.847 |
810.87/123.64	c (118,0) c |  6 |    553 |    1313383 |     697631 |     9425 |   107047 |    81540 |   571627 |    36437 |     1088 |  20 |  0.847 |
810.87/123.64	c (118,0) c |  7 |    603 |    1383558 |     727964 |     9587 |    80774 |    84439 |   568840 |    42545 |     1088 |  20 |  0.848 |
810.87/123.64	c (118,0) c 
810.87/123.64	c (118,0) c synthesis     5675128 conflicts   426886101 propagations     7120 conflicts/sec   535598 propagations/sec
810.87/123.64	c (118,0) c real: 118.6 s, cpu: 797.027 s, memory: 847.37 Mb
1003.93/152.64	c (147,0) c
1003.93/152.64	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1003.93/152.64	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1003.93/152.64	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1003.93/152.64	c (147,0) c |  0 |    586 |    1556175 |     809838 |     9450 |   103450 |    92104 |   624986 |    45334 |     1333 |  20 |  0.847 |
1003.93/152.64	c (147,0) c |  1 |    693 |    1554853 |     814222 |     9451 |   107840 |    91598 |   619716 |    44505 |     1313 |  20 |  0.847 |
1003.93/152.64	c (147,0) c |  2 |    686 |    1592673 |     815597 |     9454 |   109205 |    93218 |   629767 |    46022 |     1333 |  20 |  0.848 |
1003.93/152.64	c (147,0) c |  3 |    597 |    1560841 |     811938 |     9487 |   105551 |    83959 |   638763 |    46466 |     1333 |  20 |  0.847 |
1003.93/152.64	c (147,0) c |  4 |   1007 |    1589359 |     832866 |     9527 |    64678 |    92775 |   619028 |    46908 |     1333 |  20 |  0.848 |
1003.93/152.64	c (147,0) c |  5 |    971 |    1564322 |     804183 |     9511 |    97793 |    91085 |   630891 |    49382 |     1333 |  20 |  0.848 |
1003.93/152.64	c (147,0) c |  6 |    606 |    1527424 |     804207 |     9442 |    97820 |    90740 |   631278 |    45607 |     1333 |  20 |  0.847 |
1003.93/152.64	c (147,0) c |  7 |    633 |    1570764 |     827168 |     9594 |   120782 |    92902 |   630203 |    49488 |     1333 |  20 |  0.848 |
1003.93/152.64	c (147,0) c 
1003.93/152.64	c (147,0) c synthesis     6520019 conflicts   491267347 propagations     6587 conflicts/sec   496284 propagations/sec
1003.93/152.64	c (147,0) c real: 147.6 s, cpu: 989.892 s, memory: 783.37 Mb
1152.50/176.76	c (172,0) c
1152.50/176.76	c (172,0) c real time : 171.724 s
1152.50/176.76	c (172,0) c cpu time  : 1138.21 s
1152.50/176.76	c (172,0) c
1152.50/176.76	c (172,0) c
1152.50/176.76	c (172,0) c
1152.50/176.76	c (172,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1152.50/176.76	c (172,0) c
1152.50/176.76	c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1152.50/176.76	c (172,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1152.50/176.76	c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1152.50/176.76	c (172,0) c | Conflicts     |         7064433 |     877868 |     885634 |     878772 |     880795 |     900859 |     874862 |     869816 |     895827 |
1152.50/176.76	c (172,0) c | Decisions     |        13595405 |    1690354 |    1697543 |    1714971 |    1696631 |    1724103 |    1706510 |    1658601 |    1706692 |
1152.50/176.76	c (172,0) c | Propagations  |       533900550 |   66233808 |   67251729 |   66109570 |   66845822 |   67093194 |   66418151 |   66138025 |   67810251 |
1152.50/176.76	c (172,0) c | ReduceDBs     |             201 |         25 |         25 |         25 |         25 |         26 |         25 |         25 |         25 |
1152.50/176.76	c (172,0) c | SimpDBs       |              75 |         12 |         10 |         11 |          7 |          9 |          7 |          8 |         11 |
1152.50/176.76	c (172,0) c | Restarts      |            5961 |        599 |        714 |        707 |        620 |       1030 |        996 |        636 |        659 |
1152.50/176.76	c (172,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1152.50/176.76	c (172,0) c | PropBinClauses|      1155713618 |  143308765 |  146342446 |  143652006 |  146634506 |  143094427 |  140035999 |  144875213 |  147770256 |
1152.50/176.76	c (172,0) c | PropPreBlocker|     41763011921 | 5195910780 | 5264571174 | 5187593608 | 5130187538 | 5262364978 | 5256290201 | 5201101435 | 5264992207 |
1152.50/176.76	c (172,0) c | PropNotBlocker|      6689952508 |  826542254 |  832969273 |  833983276 |  853386393 |  845036168 |  839474367 |  829015164 |  829545613 |
1152.50/176.76	c (172,0) c | LitFullScans  |     72583275605 | 9074100435 | 9067358113 | 9073776922 | 9073867422 | 9073206191 | 9073638552 | 9073817486 | 9073510484 |
1152.50/176.76	c (172,0) c | LitScanFracts |        13872170 |    2825175 |    1338581 |    1753288 |    1862211 |    1198522 |    1581815 |    1813214 |    1499364 |
1152.50/176.76	c (172,0) c | DecisionLevel0|            6062 |        613 |        727 |        720 |        632 |       1042 |       1006 |        651 |        671 |
1152.50/176.76	c (172,0) c | Periods       |           12094 |       1511 |       1511 |       1512 |       1512 |       1512 |       1512 |       1512 |       1512 |
1152.50/176.76	c (172,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1152.50/176.76	c (172,0) c | Avg_Trail     |                 |        628 |        631 |        626 |        625 |        630 |        632 |        624 |        628 |
1152.50/176.76	c (172,0) c | Avg_DL        |                 |         21 |         21 |         21 |         21 |         21 |         21 |         20 |         21 |
1152.50/176.76	c (172,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1152.50/176.76	c (172,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1152.50/176.76	c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1152.50/176.76	c (172,0) c | Exported      |          772548 |      97170 |      97066 |      98878 |      88998 |      98213 |      97344 |      96574 |      98305 |
1152.50/176.76	c (172,0) c | Imported      |         5344634 |     670971 |     668289 |     665642 |     676055 |     667956 |     661461 |     669090 |     665170 |
1152.50/176.76	c (172,0) c | Good          |           14220 |       1813 |       1830 |       1791 |       1776 |       1718 |       1758 |       1786 |       1748 |
1152.50/176.76	c (172,0) c | Purge         |         5330414 |     669158 |     666459 |     663851 |     674279 |     666238 |     659703 |     667304 |     663422 |
1152.50/176.76	c (172,0) c | Promoted      |          419350 |      50415 |      50945 |      51968 |      51576 |      52785 |      54814 |      52032 |      54815 |
1152.50/176.76	c (172,0) c | Remove_Imp    |         4147822 |     515017 |     508481 |     506096 |     526376 |     535290 |     529841 |     517968 |     508753 |
1152.50/176.76	c (172,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1152.50/176.76	c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1152.50/176.76	c (172,0) c | Unaries       |                 |         14 |         13 |         13 |         12 |         12 |         10 |         15 |         12 |
1152.50/176.76	c (172,0) c | Binaries      |                 |        262 |        205 |        241 |        260 |        328 |        252 |        266 |        291 |
1152.50/176.76	c (172,0) c | Glues         |                 |        990 |        940 |        956 |       1030 |       1129 |       1011 |       1014 |       1030 |
1152.50/176.76	c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1152.50/176.76	c (172,0) c | Orig_Seen     |            87 % |       9456 |       9462 |       9468 |       9493 |       9530 |       9518 |       9448 |       9600 |
1152.50/176.76	c (172,0) c | Diff Orig seen|                 |      X     |          6 |         12 |         37 |         74 |         62 | -        8 |        144 |
1152.50/176.76	c (172,0) c | Hamming       |            11 % |      X     |        274 |        338 |        232 |        266 |        313 |        271 |        277 |
1152.50/176.76	c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1152.50/176.76	c (172,0) c | RunningTime   |                 |  140.6  83%|  171.0 100%|  150.8  89%|  132.2  78%|  137.9  81%|  153.6  90%|  129.6  76%|  124.5  73%|
1152.50/176.76	c (172,0) c | WaitingTime   |                 |   29.1  17%|    0.3   0%|   19.1  11%|   37.6  22%|   31.9  19%|   16.2  10%|   40.2  24%|   45.3  27%|
1152.50/176.76	c (172,0) c | ExchangingTime|                 |    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.4   0%|
1152.50/176.76	c (172,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%|
1152.50/176.76	c (172,0) c | SolvingTime   |                 |  170.1     |  171.6     |  170.2     |  170.1     |  170.1     |  170.2     |  170.1     |  170.1     |
1152.50/176.76	c (172,0) c | PropagationTim|                 |  136.4  80%|   97.2  57%|  121.3  71%|  144.3  85%|  134.4  79%|  115.0  68%|  144.5  85%|  151.7  89%|
1152.50/176.76	c (172,0) c | AnalysisTime  |                 |   29.8  18%|   70.7  41%|   45.1  26%|   22.3  13%|   31.9  19%|   51.5  30%|   22.0  13%|   14.5   9%|
1152.50/176.76	c (172,0) c | ReductionTime |                 |    1.4   1%|    1.3   1%|    1.4   1%|    1.3   1%|    1.5   1%|    1.3   1%|    1.4   1%|    1.6   1%|
1152.50/176.76	c (172,0) c | SimplifyTime  |                 |    0.1   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1152.50/176.76	c (172,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%|
1152.50/176.76	c (172,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%|
1152.50/176.76	c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1152.50/176.76	c (172,0) c
1152.50/176.76	c (172,0) c
1152.50/176.76	c (172,0) c Threads : 8
1152.50/176.76	c (172,0) c Winner : 0
1152.50/176.76	c (172,0) c Conflicts_0 : 877868
1152.50/176.76	c (172,0) c Conflicts_1 : 885634
1152.50/176.76	c (172,0) c Conflicts_2 : 878772
1152.50/176.76	c (172,0) c Conflicts_3 : 880795
1152.50/176.76	c (172,0) c Conflicts_4 : 900859
1152.50/176.76	c (172,0) c Conflicts_5 : 874862
1152.50/176.76	c (172,0) c Conflicts_6 : 869816
1152.50/176.76	c (172,0) c Conflicts_7 : 895827
1152.50/176.76	c (172,0) c Conflicts_total : 7064433
1152.50/176.76	c (172,0) c Conflicts_winner : 877868
1152.50/176.76	c (172,0) c Decisions_0 : 1690354
1152.50/176.76	c (172,0) c Decisions_1 : 1697543
1152.50/176.76	c (172,0) c Decisions_2 : 1714971
1152.50/176.76	c (172,0) c Decisions_3 : 1696631
1152.50/176.76	c (172,0) c Decisions_4 : 1724103
1152.50/176.76	c (172,0) c Decisions_5 : 1706510
1152.50/176.76	c (172,0) c Decisions_6 : 1658601
1152.50/176.76	c (172,0) c Decisions_7 : 1706692
1152.50/176.76	c (172,0) c Decisions_total : 13595405
1152.50/176.76	c (172,0) c Decisions_winner : 1690354
1152.50/176.76	c (172,0) c Propagations_0 : 66233808
1152.50/176.76	c (172,0) c Propagations_1 : 67251729
1152.50/176.76	c (172,0) c Propagations_2 : 66109570
1152.50/176.76	c (172,0) c Propagations_3 : 66845822
1152.50/176.76	c (172,0) c Propagations_4 : 67093194
1152.50/176.76	c (172,0) c Propagations_5 : 66418151
1152.50/176.76	c (172,0) c Propagations_6 : 66138025
1152.50/176.76	c (172,0) c Propagations_7 : 67810251
1152.50/176.76	c (172,0) c Propagations_total : 533900550
1152.50/176.76	c (172,0) c Propagations_winner : 66233808
1152.50/176.76	c (172,0) c ReduceDBs_0 : 25
1152.50/176.76	c (172,0) c ReduceDBs_1 : 25
1152.50/176.76	c (172,0) c ReduceDBs_2 : 25
1152.50/176.76	c (172,0) c ReduceDBs_3 : 25
1152.50/176.76	c (172,0) c ReduceDBs_4 : 26
1152.50/176.76	c (172,0) c ReduceDBs_5 : 25
1152.50/176.76	c (172,0) c ReduceDBs_6 : 25
1152.50/176.76	c (172,0) c ReduceDBs_7 : 25
1152.50/176.76	c (172,0) c ReduceDBs_total : 201
1152.50/176.76	c (172,0) c ReduceDBs_winner : 25
1152.50/176.76	c (172,0) c SimpDBs_0 : 12
1152.50/176.76	c (172,0) c SimpDBs_1 : 10
1152.50/176.76	c (172,0) c SimpDBs_2 : 11
1152.50/176.76	c (172,0) c SimpDBs_3 : 7
1152.50/176.76	c (172,0) c SimpDBs_4 : 9
1152.50/176.76	c (172,0) c SimpDBs_5 : 7
1152.50/176.76	c (172,0) c SimpDBs_6 : 8
1152.50/176.76	c (172,0) c SimpDBs_7 : 11
1152.50/176.76	c (172,0) c SimpDBs_total : 75
1152.50/176.76	c (172,0) c SimpDBs_winner : 12
1152.50/176.76	c (172,0) c Restarts_0 : 599
1152.50/176.76	c (172,0) c Restarts_1 : 714
1152.50/176.76	c (172,0) c Restarts_2 : 707
1152.50/176.76	c (172,0) c Restarts_3 : 620
1152.50/176.76	c (172,0) c Restarts_4 : 1030
1152.50/176.76	c (172,0) c Restarts_5 : 996
1152.50/176.76	c (172,0) c Restarts_6 : 636
1152.50/176.76	c (172,0) c Restarts_7 : 659
1152.50/176.76	c (172,0) c Restarts_total : 5961
1152.50/176.76	c (172,0) c Restarts_winner : 599
1152.50/176.76	c (172,0) c ForcedImports_0 : 0
1152.50/176.76	c (172,0) c ForcedImports_1 : 0
1152.50/176.76	c (172,0) c ForcedImports_2 : 0
1152.50/176.76	c (172,0) c ForcedImports_3 : 0
1152.50/176.76	c (172,0) c ForcedImports_4 : 0
1152.50/176.76	c (172,0) c ForcedImports_5 : 0
1152.50/176.76	c (172,0) c ForcedImports_6 : 0
1152.50/176.76	c (172,0) c ForcedImports_7 : 0
1152.50/176.76	c (172,0) c ForcedImports_total : 0
1152.50/176.76	c (172,0) c ForcedImports_winner : 0
1152.50/176.76	c (172,0) c PropsBinClauses_0 : 143308765
1152.50/176.76	c (172,0) c PropsBinClauses_1 : 146342446
1152.50/176.76	c (172,0) c PropsBinClauses_2 : 143652006
1152.50/176.76	c (172,0) c PropsBinClauses_3 : 146634506
1152.50/176.76	c (172,0) c PropsBinClauses_4 : 143094427
1152.50/176.76	c (172,0) c PropsBinClauses_5 : 140035999
1152.50/176.77	c (172,0) c PropsBinClauses_6 : 144875213
1152.50/176.77	c (172,0) c PropsBinClauses_7 : 147770256
1152.50/176.77	c (172,0) c PropsBinClauses_total : 1155713618
1152.50/176.77	c (172,0) c PropsBinClauses_winner : 143308765
1152.50/176.77	c (172,0) c PropsPreBlocker_0 : 5195910780
1152.50/176.77	c (172,0) c PropsPreBlocker_1 : 5264571174
1152.50/176.77	c (172,0) c PropsPreBlocker_2 : 5187593608
1152.50/176.77	c (172,0) c PropsPreBlocker_3 : 5130187538
1152.50/176.77	c (172,0) c PropsPreBlocker_4 : 5262364978
1152.50/176.77	c (172,0) c PropsPreBlocker_5 : 5256290201
1152.50/176.77	c (172,0) c PropsPreBlocker_6 : 5201101435
1152.50/176.77	c (172,0) c PropsPreBlocker_7 : 5264992207
1152.50/176.77	c (172,0) c PropsPreBlocker_total : 41763011921
1152.50/176.77	c (172,0) c PropsPreBlocker_winner : 5195910780
1152.50/176.77	c (172,0) c PropsNotBlocker_0 : 826542254
1152.50/176.77	c (172,0) c PropsNotBlocker_1 : 832969273
1152.50/176.77	c (172,0) c PropsNotBlocker_2 : 833983276
1152.50/176.77	c (172,0) c PropsNotBlocker_3 : 853386393
1152.50/176.77	c (172,0) c PropsNotBlocker_4 : 845036168
1152.50/176.77	c (172,0) c PropsNotBlocker_5 : 839474367
1152.50/176.77	c (172,0) c PropsNotBlocker_6 : 829015164
1152.50/176.77	c (172,0) c PropsNotBlocker_7 : 829545613
1152.50/176.77	c (172,0) c PropsNotBlocker_total : 6689952508
1152.50/176.77	c (172,0) c PropsNotBlocker_winner : 826542254
1152.50/176.77	c (172,0) c PropsLitFullScans_0 : 9074100435
1152.50/176.77	c (172,0) c PropsLitFullScans_1 : 9067358113
1152.50/176.77	c (172,0) c PropsLitFullScans_2 : 9073776922
1152.50/176.77	c (172,0) c PropsLitFullScans_3 : 9073867422
1152.50/176.77	c (172,0) c PropsLitFullScans_4 : 9073206191
1152.50/176.77	c (172,0) c PropsLitFullScans_5 : 9073638552
1152.50/176.77	c (172,0) c PropsLitFullScans_6 : 9073817486
1152.50/176.77	c (172,0) c PropsLitFullScans_7 : 9073510484
1152.50/176.77	c (172,0) c PropsLitFullScans_total : 72583275605
1152.50/176.77	c (172,0) c PropsLitFullScans_winner : 9074100435
1152.50/176.77	c (172,0) c LitScanFractions_0 : 2825175
1152.50/176.77	c (172,0) c LitScanFractions_1 : 1338581
1152.50/176.77	c (172,0) c LitScanFractions_2 : 1753288
1152.50/176.77	c (172,0) c LitScanFractions_3 : 1862211
1152.50/176.77	c (172,0) c LitScanFractions_4 : 1198522
1152.50/176.77	c (172,0) c LitScanFractions_5 : 1581815
1152.50/176.77	c (172,0) c LitScanFractions_6 : 1813214
1152.50/176.77	c (172,0) c LitScanFractions_7 : 1499364
1152.50/176.77	c (172,0) c LitScanFractions_total : 13872170
1152.50/176.77	c (172,0) c LitScanFractions_winner : 2825175
1152.50/176.77	c (172,0) c DecisionLevel0_0 : 613
1152.50/176.77	c (172,0) c DecisionLevel0_1 : 727
1152.50/176.77	c (172,0) c DecisionLevel0_2 : 720
1152.50/176.77	c (172,0) c DecisionLevel0_3 : 632
1152.50/176.77	c (172,0) c DecisionLevel0_4 : 1042
1152.50/176.77	c (172,0) c DecisionLevel0_5 : 1006
1152.50/176.77	c (172,0) c DecisionLevel0_6 : 651
1152.50/176.77	c (172,0) c DecisionLevel0_7 : 671
1152.50/176.77	c (172,0) c DecisionLevel0_total : 6062
1152.50/176.77	c (172,0) c DecisionLevel0_winner : 613
1152.50/176.77	c (172,0) c Periods_0 : 1511
1152.50/176.77	c (172,0) c Periods_1 : 1511
1152.50/176.77	c (172,0) c Periods_2 : 1512
1152.50/176.77	c (172,0) c Periods_3 : 1512
1152.50/176.77	c (172,0) c Periods_4 : 1512
1152.50/176.77	c (172,0) c Periods_5 : 1512
1152.50/176.77	c (172,0) c Periods_6 : 1512
1152.50/176.77	c (172,0) c Periods_7 : 1512
1152.50/176.77	c (172,0) c Periods_total : 12094
1152.50/176.77	c (172,0) c Periods_winner : 1511
1152.50/176.77	c (172,0) c Margin_0 : 20
1152.50/176.77	c (172,0) c Margin_1 : 20
1152.50/176.77	c (172,0) c Margin_2 : 20
1152.50/176.77	c (172,0) c Margin_3 : 20
1152.50/176.77	c (172,0) c Margin_4 : 20
1152.50/176.77	c (172,0) c Margin_5 : 20
1152.50/176.77	c (172,0) c Margin_6 : 20
1152.50/176.77	c (172,0) c Margin_7 : 20
1152.50/176.77	c (172,0) c Margin_total : 160
1152.50/176.77	c (172,0) c Margin_winner : 20
1152.50/176.77	c (172,0) c Exported_0 : 97170
1152.50/176.77	c (172,0) c Exported_1 : 97066
1152.50/176.77	c (172,0) c Exported_2 : 98878
1152.50/176.77	c (172,0) c Exported_3 : 88998
1152.50/176.77	c (172,0) c Exported_4 : 98213
1152.50/176.77	c (172,0) c Exported_5 : 97344
1152.50/176.77	c (172,0) c Exported_6 : 96574
1152.50/176.77	c (172,0) c Exported_7 : 98305
1152.50/176.77	c (172,0) c Exported_total : 772548
1152.50/176.77	c (172,0) c Exported_winner : 97170
1152.50/176.77	c (172,0) c Imported_0 : 670971
1152.50/176.77	c (172,0) c Imported_1 : 668289
1152.50/176.77	c (172,0) c Imported_2 : 665642
1152.50/176.77	c (172,0) c Imported_3 : 676055
1152.50/176.77	c (172,0) c Imported_4 : 667956
1152.50/176.77	c (172,0) c Imported_5 : 661461
1152.50/176.77	c (172,0) c Imported_6 : 669090
1152.50/176.77	c (172,0) c Imported_7 : 665170
1152.50/176.77	c (172,0) c Imported_total : 5344634
1152.50/176.77	c (172,0) c Imported_winner : 670971
1152.50/176.77	c (172,0) c Good_0 : 1813
1152.50/176.77	c (172,0) c Good_1 : 1830
1152.50/176.77	c (172,0) c Good_2 : 1791
1152.50/176.77	c (172,0) c Good_3 : 1776
1152.50/176.77	c (172,0) c Good_4 : 1718
1152.50/176.77	c (172,0) c Good_5 : 1758
1152.50/176.77	c (172,0) c Good_6 : 1786
1152.50/176.77	c (172,0) c Good_7 : 1748
1152.50/176.77	c (172,0) c Good_total : 14220
1152.50/176.77	c (172,0) c Good_winner : 1813
1152.50/176.77	c (172,0) c Purge_0 : 669158
1152.50/176.77	c (172,0) c Purge_1 : 666459
1152.50/176.77	c (172,0) c Purge_2 : 663851
1152.50/176.77	c (172,0) c Purge_3 : 674279
1152.50/176.77	c (172,0) c Purge_4 : 666238
1152.50/176.77	c (172,0) c Purge_5 : 659703
1152.50/176.77	c (172,0) c Purge_6 : 667304
1152.50/176.77	c (172,0) c Purge_7 : 663422
1152.50/176.77	c (172,0) c Purge_total : 5330414
1152.50/176.77	c (172,0) c Purge_winner : 669158
1152.50/176.77	c (172,0) c Promoted_0 : 50415
1152.50/176.77	c (172,0) c Promoted_1 : 50945
1152.50/176.77	c (172,0) c Promoted_2 : 51968
1152.50/176.77	c (172,0) c Promoted_3 : 51576
1152.50/176.77	c (172,0) c Promoted_4 : 52785
1152.50/176.77	c (172,0) c Promoted_5 : 54814
1152.50/176.77	c (172,0) c Promoted_6 : 52032
1152.50/176.77	c (172,0) c Promoted_7 : 54815
1152.50/176.77	c (172,0) c Promoted_total : 419350
1152.50/176.77	c (172,0) c Promoted_winner : 50415
1152.50/176.77	c (172,0) c Remove_Imp_0 : 515017
1152.50/176.77	c (172,0) c Remove_Imp_1 : 508481
1152.50/176.77	c (172,0) c Remove_Imp_2 : 506096
1152.50/176.77	c (172,0) c Remove_Imp_3 : 526376
1152.50/176.77	c (172,0) c Remove_Imp_4 : 535290
1152.50/176.77	c (172,0) c Remove_Imp_5 : 529841
1152.50/176.77	c (172,0) c Remove_Imp_6 : 517968
1152.50/176.77	c (172,0) c Remove_Imp_7 : 508753
1152.50/176.77	c (172,0) c Remove_Imp_total : 4147822
1152.50/176.77	c (172,0) c Remove_Imp_winner : 515017
1152.50/176.77	c (172,0) c Blocked_Reuse_0 : 0
1152.50/176.77	c (172,0) c Blocked_Reuse_1 : 0
1152.50/176.77	c (172,0) c Blocked_Reuse_2 : 0
1152.50/176.77	c (172,0) c Blocked_Reuse_3 : 0
1152.50/176.77	c (172,0) c Blocked_Reuse_4 : 0
1152.50/176.77	c (172,0) c Blocked_Reuse_5 : 0
1152.50/176.77	c (172,0) c Blocked_Reuse_6 : 0
1152.50/176.77	c (172,0) c Blocked_Reuse_7 : 0
1152.50/176.77	c (172,0) c Blocked_Reuse_total : 0
1152.50/176.77	c (172,0) c Blocked_Reuse_winner : 0
1152.50/176.77	c (172,0) c Unaries_0 : 14
1152.50/176.77	c (172,0) c Unaries_1 : 13
1152.50/176.77	c (172,0) c Unaries_2 : 13
1152.50/176.77	c (172,0) c Unaries_3 : 12
1152.50/176.77	c (172,0) c Unaries_4 : 12
1152.50/176.77	c (172,0) c Unaries_5 : 10
1152.50/176.77	c (172,0) c Unaries_6 : 15
1152.50/176.77	c (172,0) c Unaries_7 : 12
1152.50/176.77	c (172,0) c Unaries_total : 101
1152.50/176.77	c (172,0) c Unaries_winner : 14
1152.50/176.77	c (172,0) c Binaries_0 : 262
1152.50/176.77	c (172,0) c Binaries_1 : 205
1152.50/176.77	c (172,0) c Binaries_2 : 241
1152.50/176.77	c (172,0) c Binaries_3 : 260
1152.50/176.77	c (172,0) c Binaries_4 : 328
1152.50/176.77	c (172,0) c Binaries_5 : 252
1152.50/176.77	c (172,0) c Binaries_6 : 266
1152.50/176.77	c (172,0) c Binaries_7 : 291
1152.50/176.77	c (172,0) c Binaries_total : 2105
1152.50/176.77	c (172,0) c Binaries_winner : 262
1152.50/176.77	c (172,0) c Glues_0 : 990
1152.50/176.77	c (172,0) c Glues_1 : 940
1152.50/176.77	c (172,0) c Glues_2 : 956
1152.50/176.77	c (172,0) c Glues_3 : 1030
1152.50/176.77	c (172,0) c Glues_4 : 1129
1152.50/176.77	c (172,0) c Glues_5 : 1011
1152.50/176.77	c (172,0) c Glues_6 : 1014
1152.50/176.77	c (172,0) c Glues_7 : 1030
1152.50/176.77	c (172,0) c Glues_total : 8100
1152.50/176.77	c (172,0) c Glues_winner : 990
1152.50/176.77	c (172,0) c RunningTime_0 : 140.583005
1152.50/176.77	c (172,0) c RunningTime_1 : 170.983566
1152.50/176.77	c (172,0) c RunningTime_2 : 150.763309
1152.50/176.77	c (172,0) c RunningTime_3 : 132.197718
1152.50/176.77	c (172,0) c RunningTime_4 : 137.884336
1152.50/176.77	c (172,0) c RunningTime_5 : 153.600726
1152.50/176.77	c (172,0) c RunningTime_6 : 129.578424
1152.50/176.77	c (172,0) c RunningTime_7 : 124.501935
1152.50/176.77	c (172,0) c RunningTime_total : 1140.093020
1152.50/176.77	c (172,0) c RunningTime_winner : 140.583005
1152.50/176.77	c (172,0) c WaitingTime_0 : 29.129674
1152.50/176.77	c (172,0) c WaitingTime_1 : 0.266178
1152.50/176.77	c (172,0) c WaitingTime_2 : 19.101560
1152.50/176.77	c (172,0) c WaitingTime_3 : 37.559537
1152.50/176.77	c (172,0) c WaitingTime_4 : 31.907016
1152.50/176.77	c (172,0) c WaitingTime_5 : 16.190194
1152.50/176.77	c (172,0) c WaitingTime_6 : 40.193353
1152.50/176.77	c (172,0) c WaitingTime_7 : 45.252576
1152.50/176.77	c (172,0) c WaitingTime_total : 219.600088
1152.50/176.77	c (172,0) c WaitingTime_winner : 29.129674
1152.50/176.77	c (172,0) c ExchangingTime_0 : 0.378810
1152.50/176.77	c (172,0) c ExchangingTime_1 : 0.344275
1152.50/176.77	c (172,0) c ExchangingTime_2 : 0.319059
1152.50/176.77	c (172,0) c ExchangingTime_3 : 0.377782
1152.50/176.77	c (172,0) c ExchangingTime_4 : 0.343506
1152.50/176.77	c (172,0) c ExchangingTime_5 : 0.345931
1152.50/176.77	c (172,0) c ExchangingTime_6 : 0.363569
1152.50/176.77	c (172,0) c ExchangingTime_7 : 0.374906
1152.50/176.77	c (172,0) c ExchangingTime_total : 2.847839
1152.50/176.77	c (172,0) c ExchangingTime_winner : 0.378810
1152.50/176.77	c (172,0) c PeriodProcTime_0 : 0.012385
1152.50/176.77	c (172,0) c PeriodProcTime_1 : 0.023700
1152.50/176.77	c (172,0) c PeriodProcTime_2 : 0.014021
1152.50/176.77	c (172,0) c PeriodProcTime_3 : 0.013570
1152.50/176.77	c (172,0) c PeriodProcTime_4 : 0.013072
1152.50/176.77	c (172,0) c PeriodProcTime_5 : 0.013415
1152.50/176.77	c (172,0) c PeriodProcTime_6 : 0.013666
1152.50/176.77	c (172,0) c PeriodProcTime_7 : 0.015917
1152.50/176.77	c (172,0) c PeriodProcTime_total : 0.119747
1152.50/176.77	c (172,0) c PeriodProcTime_winner : 0.012385
1152.50/176.77	c (172,0) c SolvingTime_0 : 170.103875
1152.50/176.77	c (172,0) c SolvingTime_1 : 171.617720
1152.50/176.77	c (172,0) c SolvingTime_2 : 170.197949
1152.50/176.77	c (172,0) c SolvingTime_3 : 170.148606
1152.50/176.77	c (172,0) c SolvingTime_4 : 170.147930
1152.50/176.77	c (172,0) c SolvingTime_5 : 170.150267
1152.50/176.77	c (172,0) c SolvingTime_6 : 170.149012
1152.50/176.77	c (172,0) c SolvingTime_7 : 170.145334
1152.50/176.77	c (172,0) c SolvingTime_total : 1362.660693
1152.50/176.77	c (172,0) c SolvingTime_winner : 170.103875
1152.50/176.77	c (172,0) c PropagationTime_0 : 136.404229
1152.50/176.77	c (172,0) c PropagationTime_1 : 97.240821
1152.50/176.77	c (172,0) c PropagationTime_2 : 121.273872
1152.50/176.77	c (172,0) c PropagationTime_3 : 144.270198
1152.50/176.77	c (172,0) c PropagationTime_4 : 134.416622
1152.50/176.77	c (172,0) c PropagationTime_5 : 115.028219
1152.50/176.77	c (172,0) c PropagationTime_6 : 144.542025
1152.50/176.77	c (172,0) c PropagationTime_7 : 151.699387
1152.50/176.77	c (172,0) c PropagationTime_total : 1044.875373
1152.50/176.77	c (172,0) c PropagationTime_winner : 136.404229
1152.50/176.77	c (172,0) c AnalysisTime_0 : 29.794200
1152.50/176.77	c (172,0) c AnalysisTime_1 : 70.660826
1152.50/176.77	c (172,0) c AnalysisTime_2 : 45.085703
1152.50/176.77	c (172,0) c AnalysisTime_3 : 22.253025
1152.50/176.77	c (172,0) c AnalysisTime_4 : 31.909223
1152.50/176.77	c (172,0) c AnalysisTime_5 : 51.505311
1152.50/176.77	c (172,0) c AnalysisTime_6 : 21.950605
1152.50/176.77	c (172,0) c AnalysisTime_7 : 14.477619
1152.50/176.77	c (172,0) c AnalysisTime_total : 287.636513
1152.50/176.77	c (172,0) c AnalysisTime_winner : 29.794200
1152.50/176.77	c (172,0) c ReductionTime_0 : 1.437460
1152.50/176.77	c (172,0) c ReductionTime_1 : 1.257730
1152.50/176.77	c (172,0) c ReductionTime_2 : 1.370349
1152.50/176.77	c (172,0) c ReductionTime_3 : 1.347227
1152.50/176.77	c (172,0) c ReductionTime_4 : 1.513491
1152.50/176.77	c (172,0) c ReductionTime_5 : 1.312428
1152.50/176.77	c (172,0) c ReductionTime_6 : 1.402566
1152.50/176.77	c (172,0) c ReductionTime_7 : 1.581403
1152.50/176.77	c (172,0) c ReductionTime_total : 11.222654
1152.50/176.77	c (172,0) c ReductionTime_winner : 1.437460
1152.50/176.77	c (172,0) c SimplifyTime_0 : 0.148633
1152.50/176.77	c (172,0) c SimplifyTime_1 : 0.041443
1152.50/176.77	c (172,0) c SimplifyTime_2 : 0.085353
1152.50/176.77	c (172,0) c SimplifyTime_3 : 0.039532
1152.50/176.77	c (172,0) c SimplifyTime_4 : 0.031161
1152.50/176.77	c (172,0) c SimplifyTime_5 : 0.026088
1152.50/176.77	c (172,0) c SimplifyTime_6 : 0.023756
1152.50/176.77	c (172,0) c SimplifyTime_7 : 0.046326
1152.50/176.77	c (172,0) c SimplifyTime_total : 0.442291
1152.50/176.77	c (172,0) c SimplifyTime_winner : 0.148633
1152.50/176.77	c (172,0) c UsedRateTime_0 : 0.000000
1152.50/176.77	c (172,0) c UsedRateTime_1 : 0.000000
1152.50/176.77	c (172,0) c UsedRateTime_2 : 0.000000
1152.50/176.77	c (172,0) c UsedRateTime_3 : 0.000000
1152.50/176.77	c (172,0) c UsedRateTime_4 : 0.000000
1152.50/176.77	c (172,0) c UsedRateTime_5 : 0.000000
1152.50/176.77	c (172,0) c UsedRateTime_6 : 0.000000
1152.50/176.77	c (172,0) c UsedRateTime_7 : 0.000000
1152.50/176.77	c (172,0) c UsedRateTime_total : 0.000000
1152.50/176.77	c (172,0) c UsedRateTime_winner : 0.000000
1152.50/176.77	c (172,0) c OverlapRateTime_0 : 0.000000
1152.50/176.77	c (172,0) c OverlapRateTime_1 : 0.000000
1152.50/176.77	c (172,0) c OverlapRateTime_2 : 0.000000
1152.50/176.77	c (172,0) c OverlapRateTime_3 : 0.000000
1152.50/176.77	c (172,0) c OverlapRateTime_4 : 0.000000
1152.50/176.77	c (172,0) c OverlapRateTime_5 : 0.000000
1152.50/176.77	c (172,0) c OverlapRateTime_6 : 0.000000
1152.50/176.77	c (172,0) c OverlapRateTime_7 : 0.000000
1152.50/176.77	c (172,0) c OverlapRateTime_total : 0.000000
1152.50/176.77	c (172,0) c OverlapRateTime_winner : 0.000000
1152.50/176.77	c (172,0) c
1152.50/176.77	c (172,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1152.50/176.77	c (172,0) c
1152.50/176.77	c (172,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1152.50/176.77	c (172,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1152.50/176.77	c (172,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1152.50/176.77	c (172,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1152.50/176.77	c (172,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1152.50/176.77	c (172,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1152.50/176.77	c (172,0) c | Initial random_seed   |  961594455 |  687704032 | 1248382966 | 1794091094 | 1988373196 |  777790923 |  725777396 | 1774153959 |
1152.50/176.77	c (172,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1152.50/176.77	c (172,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1152.50/176.77	c (172,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1152.50/176.77	c (172,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1152.50/176.77	c (172,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1152.50/176.77	c (172,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1152.50/176.77	c (172,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1152.50/176.77	c (172,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1152.50/176.77	c (172,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1152.50/176.77	c (172,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1152.50/176.77	c (172,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1152.50/176.77	c (172,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1152.50/176.77	c (172,0) 
1152.50/176.77	c (172,0) s UNSATISFIABLE
1152.50/176.78	c (172,0) SatSolver.solve End
1152.50/176.78	c (172,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1152.50/176.78	c (172,0) Show results Begin
1152.50/176.78	s UNSATISFIABLE
1152.50/176.78	c (172,0) Show results End
1152.50/176.78	c (172,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1152.50/176.78	c (172,0) 172,172,STOP-AFTER(ALL)
1152.50/176.78	c END-Prog: Sat Sep 14 06:50:45 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 (9614 MiB free)
  memory of node 1: 16384 MiB (15617 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392467-1568436512/watcher-4392467-1568436512 -o /tmp/evaluation-result-4392467-1568436512/solver-4392467-1568436512 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568427975-11878 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392467-1568436512.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=13910, runsolver pid=13907
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 1.06 1.85 4.38 2/211 13932
/proc/meminfo: memFree=25741168/32770624 swapFree=67002164/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (scop.sh) S 13907 13910 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419899851 115843072 349 33554432000 4194304 5098028 140730589610512 140730589607768 140034318996092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7598080 140730589614885 140730589615212 140730589615212 140730589618125 0
/proc/13910/statm: 28282 349 296 221 0 87 0
[pid=13913] ppid=13910 vsize=27314120 memory=107620 CPUtime=0.1 cores=0-7
/proc/13913/stat : 13913 (java) S 13910 13910 11851 0 -1 1077944320 6483 0 0 0 8 2 0 0 20 0 20 0 419899851 27969658880 26905 33554432000 4194304 4196468 140729393080960 140729393063504 140216642932471 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
/proc/13913/statm: 6828530 26905 2798 1 0 6790935 0
[pid=13913/tid=13914] ppid=13910 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13913/task/13914/stat : 13914 (java) R 13910 13910 11851 0 -1 4202560 4577 0 0 0 7 2 0 0 20 0 20 0 419899851 27969658880 26905 33554432000 4194304 4196468 140729393080960 140216614757232 140216629000590 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13915] ppid=13910 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/13913/task/13915/stat : 13915 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 26905 33554432000 4194304 4196468 140729393080960 140216647175184 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13916] ppid=13910 vsize=27314120 memory=140686605522560 CPUtime=0 cores=0-7
/proc/13913/task/13916/stat : 13916 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 26905 33554432000 4194304 4196468 140729393080960 140216461331600 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13917] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13917/stat : 13917 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 26905 33554432000 4194304 4196468 140729393080960 140216460278544 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13918] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13918/stat : 13918 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 26905 33554432000 4194304 4196468 140729393080960 140216459226000 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13919] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13919/stat : 13919 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 26905 33554432000 4194304 4196468 140729393080960 140216458172944 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13920] ppid=13910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13913/task/13920/stat : 13920 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 27417 33554432000 4194304 4196468 140729393080960 140216457120400 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13921] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13921/stat : 13921 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 27417 33554432000 4194304 4196468 140729393080960 140216059459856 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13922] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13922/stat : 13922 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 27417 33554432000 4194304 4196468 140729393080960 140216058407312 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13923] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13923/stat : 13923 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419899855 27969658880 27417 33554432000 4194304 4196468 140729393080960 140214694509296 140216642943618 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13924] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13924/stat : 13924 (java) S 13910 13910 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419899856 27969658880 27417 33554432000 4194304 4196468 140729393080960 140214576080544 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13925] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13925/stat : 13925 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899856 27969658880 27417 33554432000 4194304 4196468 140729393080960 140214307644656 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13926] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13926/stat : 13926 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899858 27969658880 27417 33554432000 4194304 4196468 140729393080960 140213933136336 140216642951067 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13927] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13927/stat : 13927 (java) S 13910 13910 11851 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 419899858 27969658880 27417 33554432000 4194304 4196468 140729393080960 140214693456112 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13928] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13928/stat : 13928 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419899858 27969658880 27417 33554432000 4194304 4196468 140729393080960 140214692403568 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13929] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13929/stat : 13929 (java) S 13910 13910 11851 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419899858 27969658880 27417 33554432000 4194304 4196468 140729393080960 140214691350512 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13930] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13930/stat : 13930 (java) S 13910 13910 11851 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 419899858 27969658880 27417 33554432000 4194304 4196468 140729393080960 140214690297968 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13931] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13931/stat : 13931 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419899859 27969658880 27417 33554432000 4194304 4196468 140729393080960 140213435231200 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13932] ppid=13910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13913/task/13932/stat : 13932 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899859 27969658880 27417 33554432000 4194304 4196468 140729393080960 140214689246384 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109016 KiB

[startup+0.210603 s]*
/proc/loadavg: 1.06 1.85 4.38 2/211 13932
/proc/meminfo: memFree=25720344/32770624 swapFree=67002164/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (scop.sh) S 13907 13910 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419899851 115843072 349 33554432000 4194304 5098028 140730589610512 140730589607768 140034318996092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7598080 140730589614885 140730589615212 140730589615212 140730589618125 0
/proc/13910/statm: 28282 349 296 221 0 87 0
[pid=13913] ppid=13910 vsize=27314120 memory=126756 CPUtime=0.24 cores=0-7
/proc/13913/stat : 13913 (java) S 13910 13910 11851 0 -1 1077944320 12080 0 0 0 20 4 0 0 20 0 20 0 419899851 27969658880 31689 33554432000 4194304 4196468 140729393080960 140729393063504 140216642932471 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
/proc/13913/statm: 6828530 31689 2937 1 0 6790935 0
[pid=13913/tid=13914] ppid=13910 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13913/task/13914/stat : 13914 (java) R 13910 13910 11851 0 -1 4202560 9813 0 0 0 16 3 0 0 20 0 20 0 419899851 27969658880 31689 33554432000 4194304 4196468 140729393080960 140216614731856 140216642946353 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13915] ppid=13910 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/13913/task/13915/stat : 13915 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 31689 33554432000 4194304 4196468 140729393080960 140216647175184 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13916] ppid=13910 vsize=27314120 memory=140686605534694 CPUtime=0 cores=0-7
/proc/13913/task/13916/stat : 13916 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 31689 33554432000 4194304 4196468 140729393080960 140216461331600 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13917] ppid=13910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13913/task/13917/stat : 13917 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 31689 33554432000 4194304 4196468 140729393080960 140216460278544 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13918] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13918/stat : 13918 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 31689 33554432000 4194304 4196468 140729393080960 140216459226000 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13919] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13919/stat : 13919 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 31689 33554432000 4194304 4196468 140729393080960 140216458172944 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13920] ppid=13910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13913/task/13920/stat : 13920 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 31689 33554432000 4194304 4196468 140729393080960 140216457120400 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13921] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13921/stat : 13921 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 31689 33554432000 4194304 4196468 140729393080960 140216059459856 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13922] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13922/stat : 13922 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 31689 33554432000 4194304 4196468 140729393080960 140216058407312 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13923] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13923/stat : 13923 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419899855 27969658880 31689 33554432000 4194304 4196468 140729393080960 140214694509296 140216642943618 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13924] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13924/stat : 13924 (java) S 13910 13910 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419899856 27969658880 31689 33554432000 4194304 4196468 140729393080960 140214576080544 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13925] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13925/stat : 13925 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899856 27969658880 31689 33554432000 4194304 4196468 140729393080960 140214307644656 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13926] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13926/stat : 13926 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899858 27969658880 31689 33554432000 4194304 4196468 140729393080960 140213933136336 140216642951067 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13927] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13927/stat : 13927 (java) S 13910 13910 11851 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 419899858 27969658880 31689 33554432000 4194304 4196468 140729393080960 140214693456112 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13928] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13928/stat : 13928 (java) S 13910 13910 11851 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 419899858 27969658880 31689 33554432000 4194304 4196468 140729393080960 140214692403568 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13929] ppid=13910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13913/task/13929/stat : 13929 (java) S 13910 13910 11851 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419899858 27969658880 31689 33554432000 4194304 4196468 140729393080960 140214691350512 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13930] ppid=13910 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/13913/task/13930/stat : 13930 (java) S 13910 13910 11851 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 20 0 419899858 27969658880 31689 33554432000 4194304 4196468 140729393080960 140214690297968 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13931] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13931/stat : 13931 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419899859 27969658880 31689 33554432000 4194304 4196468 140729393080960 140213435231200 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13932] ppid=13910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13913/task/13932/stat : 13932 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899859 27969658880 31689 33554432000 4194304 4196468 140729393080960 140214689246384 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128152 KiB

[startup+0.310752 s]*
/proc/loadavg: 1.06 1.85 4.38 2/211 13932
/proc/meminfo: memFree=25717676/32770624 swapFree=67002164/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (scop.sh) S 13907 13910 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419899851 115843072 349 33554432000 4194304 5098028 140730589610512 140730589607768 140034318996092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7598080 140730589614885 140730589615212 140730589615212 140730589618125 0
/proc/13910/statm: 28282 349 296 221 0 87 0
[pid=13913] ppid=13910 vsize=27314120 memory=130100 CPUtime=0.43 cores=0-7
/proc/13913/stat : 13913 (java) S 13910 13910 11851 0 -1 1077944320 12943 0 0 0 38 5 0 0 20 0 20 0 419899851 27969658880 32525 33554432000 4194304 4196468 140729393080960 140729393063504 140216642932471 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
/proc/13913/statm: 6828530 32525 2997 1 0 6790935 0
[pid=13913/tid=13914] ppid=13910 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/13913/task/13914/stat : 13914 (java) R 13910 13910 11851 0 -1 4202560 10490 0 0 0 26 4 0 0 20 0 20 0 419899851 27969658880 32525 33554432000 4194304 4196468 140729393080960 140216614723120 140216626976101 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13915] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13915/stat : 13915 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 32525 33554432000 4194304 4196468 140729393080960 140216647175184 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13916] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13916/stat : 13916 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 32525 33554432000 4194304 4196468 140729393080960 140216461331600 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13917] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13917/stat : 13917 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 32525 33554432000 4194304 4196468 140729393080960 140216460278544 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13918] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13918/stat : 13918 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 32525 33554432000 4194304 4196468 140729393080960 140216459226000 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13919] ppid=13910 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/13913/task/13919/stat : 13919 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 32525 33554432000 4194304 4196468 140729393080960 140216458172944 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13920] ppid=13910 vsize=27314120 memory=140686485713839 CPUtime=0 cores=0-7
/proc/13913/task/13920/stat : 13920 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 32525 33554432000 4194304 4196468 140729393080960 140216457120400 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13921] ppid=13910 vsize=27314120 memory=140686485716144 CPUtime=0 cores=0-7
/proc/13913/task/13921/stat : 13921 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 32525 33554432000 4194304 4196468 140729393080960 140216059459856 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13922] ppid=13910 vsize=27314120 memory=140686485718448 CPUtime=0 cores=0-7
/proc/13913/task/13922/stat : 13922 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27969658880 32525 33554432000 4194304 4196468 140729393080960 140216058407312 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13923] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13923/stat : 13923 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419899855 27969658880 32525 33554432000 4194304 4196468 140729393080960 140214694509296 140216642943618 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13924] ppid=13910 vsize=27314120 memory=281372971443856 CPUtime=0 cores=0-7
/proc/13913/task/13924/stat : 13924 (java) S 13910 13910 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419899856 27969658880 32525 33554432000 4194304 4196468 140729393080960 140214576080544 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13925] ppid=13910 vsize=27314120 memory=281372971450768 CPUtime=0 cores=0-7
/proc/13913/task/13925/stat : 13925 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899856 27969658880 32525 33554432000 4194304 4196468 140729393080960 140214307644656 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13926] ppid=13910 vsize=27314120 memory=281372971392048 CPUtime=0 cores=0-7
/proc/13913/task/13926/stat : 13926 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899858 27969658880 32525 33554432000 4194304 4196468 140729393080960 140213933136336 140216642951067 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13927] ppid=13910 vsize=27314120 memory=281372971464592 CPUtime=0.01 cores=0-7
/proc/13913/task/13927/stat : 13927 (java) S 13910 13910 11851 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 20 0 419899858 27969658880 32525 33554432000 4194304 4196468 140729393080960 140214693456112 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13928] ppid=13910 vsize=27314120 memory=281372971471504 CPUtime=0.01 cores=0-7
/proc/13913/task/13928/stat : 13928 (java) S 13910 13910 11851 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 20 0 419899858 27969658880 32525 33554432000 4194304 4196468 140729393080960 140214692403568 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13929] ppid=13910 vsize=27314120 memory=281372971469200 CPUtime=0.01 cores=0-7
/proc/13913/task/13929/stat : 13929 (java) R 13910 13910 11851 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 20 0 419899858 27969658880 32525 33554432000 4194304 4196468 140729393080960 140214691350512 140216635917513 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13930] ppid=13910 vsize=27314120 memory=281372971485360 CPUtime=0.07 cores=0-7
/proc/13913/task/13930/stat : 13930 (java) S 13910 13910 11851 0 -1 1077944384 455 0 0 0 7 0 0 0 20 0 20 0 419899858 27969658880 32525 33554432000 4194304 4196468 140729393080960 140214690297968 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13931] ppid=13910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13931/stat : 13931 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419899859 27969658880 32525 33554432000 4194304 4196468 140729393080960 140213435231200 140216642942677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13932] ppid=13910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13913/task/13932/stat : 13932 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899859 27969658880 32525 33554432000 4194304 4196468 140729393080960 140214689246384 140216642943618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131496 KiB

[startup+0.700949 s]
/proc/loadavg: 1.06 1.85 4.38 2/211 13932
/proc/meminfo: memFree=25696704/32770624 swapFree=67002164/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13910/stat : 13910 (scop.sh) S 13907 13910 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419899851 115843072 349 33554432000 4194304 5098028 140730589610512 140730589607768 140034318996092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7598080 140730589614885 140730589615212 140730589615212 140730589618125 0
/proc/13910/statm: 28282 349 296 221 0 87 0
[pid=13913] ppid=13910 vsize=27320392 memory=165784 CPUtime=1.01 cores=0-7
/proc/13913/stat : 13913 (java) S 13910 13910 11851 0 -1 1077944320 20003 0 0 0 94 7 0 0 20 0 20 0 419899851 27976081408 41446 33554432000 4194304 4196468 140729393080960 140729393063504 140216642932471 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
/proc/13913/statm: 6830098 41446 3193 1 0 6791447 0
[pid=13913/tid=13914] ppid=13910 vsize=27320392 memory=281372971843248 CPUtime=0.67 cores=0-7
/proc/13913/task/13914/stat : 13914 (java) R 13910 13910 11851 0 -1 4202560 16915 0 0 0 62 5 0 0 20 0 20 0 419899851 27976081408 41446 33554432000 4194304 4196468 140729393080960 140216614769760 140216642944406 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13915] ppid=13910 vsize=27320392 memory=140686485922672 CPUtime=0 cores=0-7
/proc/13913/task/13915/stat : 13915 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27976081408 41446 33554432000 4194304 4196468 140729393080960 140216647175184 140216642942677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13916] ppid=13910 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/13913/task/13916/stat : 13916 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419899854 27976081408 41446 33554432000 4194304 4196468 140729393080960 140216461331600 140216642942677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0
[pid=13913/tid=13917] ppid=13910 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/13913/task/13917/stat : 13917 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419899854 27976081408 41446 33554432000 4194304 4196468 140729393080960 140216460278544 140216642942677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35975168 140729393087211 140729393087638 140729393087638 140729393090511 0

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

[pid=13935/tid=13945] ppid=13910 vsize=8414124 memory=121108 CPUtime=0 cores=0-7
/proc/13935/task/13945/stat : 13945 (java) S 13910 13910 11851 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419900283 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752453916656 139753360960130 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13946] ppid=13910 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/13935/task/13946/stat : 13946 (java) S 13910 13910 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419900284 8616062976 30277 33554432000 4194304 4196468 140732615036432 139751927571360 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13947] ppid=13910 vsize=8414124 memory=39740 CPUtime=0 cores=0-7
/proc/13935/task/13947/stat : 13947 (java) S 13910 13910 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419900284 8616062976 30277 33554432000 4194304 4196468 140732615036432 139751793349616 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13948] ppid=13910 vsize=8414124 memory=7686721470317567638 CPUtime=0 cores=0-7
/proc/13935/task/13948/stat : 13948 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139751418845392 139753360967579 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13949] ppid=13910 vsize=8414124 memory=121108 CPUtime=0.05 cores=0-7
/proc/13935/task/13949/stat : 13949 (java) S 13910 13910 11851 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752452864496 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13950] ppid=13910 vsize=8414124 memory=603176 CPUtime=0.07 cores=0-7
/proc/13935/task/13950/stat : 13950 (java) S 13910 13910 11851 0 -1 1077944384 423 0 0 0 7 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752451811952 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13951] ppid=13910 vsize=8414124 memory=14008 CPUtime=0.07 cores=0-7
/proc/13935/task/13951/stat : 13951 (java) S 13910 13910 11851 0 -1 1077944384 199 0 0 0 7 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752450759408 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13952] ppid=13910 vsize=8414124 memory=12040 CPUtime=0.22 cores=0-7
/proc/13935/task/13952/stat : 13952 (java) S 13910 13910 11851 0 -1 1077944384 794 0 0 0 22 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752449706864 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13953] ppid=13910 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/13935/task/13953/stat : 13953 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419900287 8616062976 30277 33554432000 4194304 4196468 140732615036432 139750920939744 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13954] ppid=13910 vsize=8414124 memory=21688 CPUtime=0.1 cores=0-7
/proc/13935/task/13954/stat : 13954 (java) S 13910 13910 11851 0 -1 1077944384 11 0 0 0 3 7 0 0 20 0 24 0 419900287 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752448653744 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13956] ppid=13910 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/13935/task/13956/stat : 13956 (java) S 13910 13910 11851 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419900355 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752441177280 139753360973593 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13958] ppid=13910 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/13935/task/13958/stat : 13958 (java) S 13910 13910 11851 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419900355 8616062976 30277 33554432000 4194304 4196468 140732615036432 139750249840400 139753360970909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13959] ppid=13910 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/13935/task/13959/stat : 13959 (java) S 13910 13910 11851 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419900355 8616062976 30277 33554432000 4194304 4196468 140732615036432 139750518275984 139753360970909 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13968] ppid=13910 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/13935/task/13968/stat : 13968 (java) S 13910 13910 11851 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419900357 8616062976 30277 33554432000 4194304 4196468 140732615036432 139749981413040 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
Current children cumulated CPU time: 1152.2 s
Current children cumulated vsize: 9359764 KiB
Current children cumulated memory: 755220 KiB

[startup+176.601 s]
/proc/loadavg: 4.53 3.34 4.54 2/218 13984
/proc/meminfo: memFree=25096364/32770624 swapFree=67002164/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1476 CPUtime=11.73 cores=0-7
/proc/13910/stat : 13910 (scop.sh) S 13907 13910 11851 0 -1 4202496 582 32119 0 0 0 0 1144 29 20 0 1 0 419899851 115843072 369 33554432000 4194304 5098028 140730589610512 140730589607256 140034318996092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7598080 140730589614885 140730589615212 140730589615212 140730589618125 0
/proc/13910/statm: 28282 369 311 221 0 87 0
[pid=13935] ppid=13910 vsize=8414124 memory=121108 CPUtime=1.35 cores=0-7
/proc/13935/stat : 13935 (java) S 13910 13910 11851 0 -1 1077944320 21372 0 0 0 127 8 0 0 20 0 24 0 419900280 8616062976 30277 33554432000 4194304 4196468 140732615036432 140732615018976 139753360948983 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
/proc/13935/statm: 2103531 30277 3201 1 0 2064875 0
[pid=13955] ppid=13935 vsize=832512 memory=632636 CPUtime=1139.32 cores=0-7
/proc/13955/stat : 13955 (manyglucose-4.1) S 13935 13910 11851 0 -1 1077944320 586525 0 0 0 113805 127 0 0 20 0 2 0 419900354 852492288 158159 33554432000 4194304 4454172 140729618984304 140729618982688 140211558915831 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 10674176 140729618985833 140729618986032 140729618986032 140729618988986 0
/proc/13955/statm: 208128 158159 419 64 0 203796 0
[pid=13955/tid=13961] ppid=13935 vsize=832512 memory=632560 CPUtime=171.05 cores=0-7
/proc/13955/task/13961/stat : 13961 (manyglucose-4.1) R 13935 13910 11851 0 -1 4202560 74506 0 0 0 17089 16 0 0 20 0 2 0 419900357 852492288 158159 33554432000 4194304 4454172 140729618984304 140211535305864 4350046 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 10674176 140729618985833 140729618986032 140729618986032 140729618988986 0
[pid=13935/tid=13936] ppid=13910 vsize=8414124 memory=121108 CPUtime=0.77 cores=0-7
/proc/13935/task/13936/stat : 13936 (java) S 13910 13910 11851 0 -1 1077944384 17836 0 0 0 72 5 0 0 20 0 24 0 419900281 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753332789152 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13937] ppid=13910 vsize=8414124 memory=555752 CPUtime=0 cores=0-7
/proc/13935/task/13937/stat : 13937 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753365190928 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13938] ppid=13910 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/13935/task/13938/stat : 13938 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753165359504 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13939] ppid=13910 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/13935/task/13939/stat : 13939 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753164306960 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13940] ppid=13910 vsize=8414124 memory=21688 CPUtime=0 cores=0-7
/proc/13935/task/13940/stat : 13940 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753163254416 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13941] ppid=13910 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/13935/task/13941/stat : 13941 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753162201872 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13942] ppid=13910 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/13935/task/13942/stat : 13942 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753161149328 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13943] ppid=13910 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/13935/task/13943/stat : 13943 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753160096784 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13944] ppid=13910 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/13935/task/13944/stat : 13944 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753159044240 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13945] ppid=13910 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/13935/task/13945/stat : 13945 (java) S 13910 13910 11851 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419900283 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752453916656 139753360960130 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13946] ppid=13910 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/13935/task/13946/stat : 13946 (java) S 13910 13910 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419900284 8616062976 30277 33554432000 4194304 4196468 140732615036432 139751927571360 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13947] ppid=13910 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/13935/task/13947/stat : 13947 (java) S 13910 13910 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419900284 8616062976 30277 33554432000 4194304 4196468 140732615036432 139751793349616 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13948] ppid=13910 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/13935/task/13948/stat : 13948 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139751418845392 139753360967579 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13949] ppid=13910 vsize=8414124 memory=1980 CPUtime=0.05 cores=0-7
/proc/13935/task/13949/stat : 13949 (java) S 13910 13910 11851 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752452864496 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13950] ppid=13910 vsize=8414124 memory=2580 CPUtime=0.07 cores=0-7
/proc/13935/task/13950/stat : 13950 (java) S 13910 13910 11851 0 -1 1077944384 423 0 0 0 7 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752451811952 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13951] ppid=13910 vsize=8414124 memory=1764 CPUtime=0.07 cores=0-7
/proc/13935/task/13951/stat : 13951 (java) S 13910 13910 11851 0 -1 1077944384 199 0 0 0 7 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752450759408 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13952] ppid=13910 vsize=8414124 memory=111632 CPUtime=0.22 cores=0-7
/proc/13935/task/13952/stat : 13952 (java) S 13910 13910 11851 0 -1 1077944384 794 0 0 0 22 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752449706864 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13953] ppid=13910 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/13935/task/13953/stat : 13953 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419900287 8616062976 30277 33554432000 4194304 4196468 140732615036432 139750920939744 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13954] ppid=13910 vsize=8414124 memory=1804 CPUtime=0.1 cores=0-7
/proc/13935/task/13954/stat : 13954 (java) S 13910 13910 11851 0 -1 1077944384 11 0 0 0 3 7 0 0 20 0 24 0 419900287 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752448653744 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13956] ppid=13910 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/13935/task/13956/stat : 13956 (java) S 13910 13910 11851 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419900355 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752441177280 139753360973593 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13958] ppid=13910 vsize=8414124 memory=4772 CPUtime=0 cores=0-7
/proc/13935/task/13958/stat : 13958 (java) S 13910 13910 11851 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419900355 8616062976 30277 33554432000 4194304 4196468 140732615036432 139750249840400 139753360970909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13959] ppid=13910 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/13935/task/13959/stat : 13959 (java) S 13910 13910 11851 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419900355 8616062976 30277 33554432000 4194304 4196468 140732615036432 139750518275984 139753360970909 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13968] ppid=13910 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/13935/task/13968/stat : 13968 (java) S 13910 13910 11851 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419900357 8616062976 30277 33554432000 4194304 4196468 140732615036432 139749981413040 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
Current children cumulated CPU time: 1152.4 s
Current children cumulated vsize: 9359764 KiB
Current children cumulated memory: 755220 KiB

[startup+176.701 s]
/proc/loadavg: 4.53 3.34 4.54 2/218 13984
/proc/meminfo: memFree=25096364/32770624 swapFree=67002164/67108860
[pid=13910] ppid=13907 vsize=113128 memory=1476 CPUtime=11.73 cores=0-7
/proc/13910/stat : 13910 (scop.sh) S 13907 13910 11851 0 -1 4202496 582 32119 0 0 0 0 1144 29 20 0 1 0 419899851 115843072 369 33554432000 4194304 5098028 140730589610512 140730589607256 140034318996092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7598080 140730589614885 140730589615212 140730589615212 140730589618125 0
/proc/13910/statm: 28282 369 311 221 0 87 0
[pid=13935] ppid=13910 vsize=8414124 memory=121108 CPUtime=1.35 cores=0-7
/proc/13935/stat : 13935 (java) S 13910 13910 11851 0 -1 1077944320 21372 0 0 0 127 8 0 0 20 0 24 0 419900280 8616062976 30277 33554432000 4194304 4196468 140732615036432 140732615018976 139753360948983 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
/proc/13935/statm: 2103531 30277 3201 1 0 2064875 0
[pid=13955] ppid=13935 vsize=832512 memory=632636 CPUtime=1139.42 cores=0-7
/proc/13955/stat : 13955 (manyglucose-4.1) S 13935 13910 11851 0 -1 1077944320 586530 0 0 0 113815 127 0 0 20 0 2 0 419900354 852492288 158159 33554432000 4194304 4454172 140729618984304 140729618982688 140211558915831 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 10674176 140729618985833 140729618986032 140729618986032 140729618988986 0
/proc/13955/statm: 208128 158159 419 64 0 203796 0
[pid=13955/tid=13961] ppid=13935 vsize=832512 memory=121108 CPUtime=171.15 cores=0-7
/proc/13955/task/13961/stat : 13961 (manyglucose-4.1) R 13935 13910 11851 0 -1 4202560 74511 0 0 0 17099 16 0 0 20 0 2 0 419900357 852492288 158159 33554432000 4194304 4454172 140729618984304 140211535305864 4349929 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 10674176 140729618985833 140729618986032 140729618986032 140729618988986 0
[pid=13935/tid=13936] ppid=13910 vsize=8414124 memory=1476 CPUtime=0.77 cores=0-7
/proc/13935/task/13936/stat : 13936 (java) S 13910 13910 11851 0 -1 1077944384 17836 0 0 0 72 5 0 0 20 0 24 0 419900281 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753332789152 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13937] ppid=13910 vsize=8414124 memory=3712 CPUtime=0 cores=0-7
/proc/13935/task/13937/stat : 13937 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753365190928 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13938] ppid=13910 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/13935/task/13938/stat : 13938 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753165359504 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13939] ppid=13910 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13935/task/13939/stat : 13939 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753164306960 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13940] ppid=13910 vsize=8414124 memory=121108 CPUtime=0 cores=0-7
/proc/13935/task/13940/stat : 13940 (java) S 13910 13910 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753163254416 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13941] ppid=13910 vsize=8414124 memory=627008 CPUtime=0 cores=0-7
/proc/13935/task/13941/stat : 13941 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753162201872 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13942] ppid=13910 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/13935/task/13942/stat : 13942 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753161149328 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13943] ppid=13910 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13935/task/13943/stat : 13943 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753160096784 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13944] ppid=13910 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13935/task/13944/stat : 13944 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419900282 8616062976 30277 33554432000 4194304 4196468 140732615036432 139753159044240 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13945] ppid=13910 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13935/task/13945/stat : 13945 (java) S 13910 13910 11851 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419900283 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752453916656 139753360960130 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13946] ppid=13910 vsize=8414124 memory=121108 CPUtime=0 cores=0-7
/proc/13935/task/13946/stat : 13946 (java) S 13910 13910 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419900284 8616062976 30277 33554432000 4194304 4196468 140732615036432 139751927571360 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13947] ppid=13910 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13935/task/13947/stat : 13947 (java) S 13910 13910 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419900284 8616062976 30277 33554432000 4194304 4196468 140732615036432 139751793349616 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13948] ppid=13910 vsize=8414124 memory=121108 CPUtime=0 cores=0-7
/proc/13935/task/13948/stat : 13948 (java) S 13910 13910 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139751418845392 139753360967579 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13949] ppid=13910 vsize=8414124 memory=1476 CPUtime=0.05 cores=0-7
/proc/13935/task/13949/stat : 13949 (java) S 13910 13910 11851 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752452864496 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13950] ppid=13910 vsize=8414124 memory=121108 CPUtime=0.07 cores=0-7
/proc/13935/task/13950/stat : 13950 (java) S 13910 13910 11851 0 -1 1077944384 423 0 0 0 7 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752451811952 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13951] ppid=13910 vsize=8414124 memory=15779709848649 CPUtime=0.07 cores=0-7
/proc/13935/task/13951/stat : 13951 (java) S 13910 13910 11851 0 -1 1077944384 199 0 0 0 7 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752450759408 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13952] ppid=13910 vsize=8414124 memory=6944652177228980320 CPUtime=0.22 cores=0-7
/proc/13935/task/13952/stat : 13952 (java) S 13910 13910 11851 0 -1 1077944384 794 0 0 0 22 0 0 0 20 0 24 0 419900286 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752449706864 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13953] ppid=13910 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/13935/task/13953/stat : 13953 (java) S 13910 13910 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419900287 8616062976 30277 33554432000 4194304 4196468 140732615036432 139750920939744 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13954] ppid=13910 vsize=8414124 memory=4772 CPUtime=0.1 cores=0-7
/proc/13935/task/13954/stat : 13954 (java) S 13910 13910 11851 0 -1 1077944384 11 0 0 0 3 7 0 0 20 0 24 0 419900287 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752448653744 139753360960130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13956] ppid=13910 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/13935/task/13956/stat : 13956 (java) S 13910 13910 11851 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419900355 8616062976 30277 33554432000 4194304 4196468 140732615036432 139752441177280 139753360973593 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13958] ppid=13910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13935/task/13958/stat : 13958 (java) S 13910 13910 11851 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419900355 8616062976 30277 33554432000 4194304 4196468 140732615036432 139750249840400 139753360970909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13959] ppid=13910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13935/task/13959/stat : 13959 (java) S 13910 13910 11851 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419900355 8616062976 30277 33554432000 4194304 4196468 140732615036432 139750518275984 139753360970909 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
[pid=13935/tid=13968] ppid=13910 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13935/task/13968/stat : 13968 (java) S 13910 13910 11851 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419900357 8616062976 30277 33554432000 4194304 4196468 140732615036432 139749981413040 139753360959189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35504128 140732615037943 140732615038102 140732615038102 140732615040975 0
Current children cumulated CPU time: 1152.5 s
Current children cumulated vsize: 9359764 KiB
Current children cumulated memory: 755220 KiB

Child status: 0
Real time (s): 176.796
CPU time (s): 1152.66
CPU user time (s): 1150.98
CPU system time (s): 1.68513
CPU usage (%): 651.974
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1047628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1150.98
system time used= 1.68513
maximum resident set size= 1051676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640707
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= 19439
involuntary context switches= 9884


# summary of solver processes directly reported to runsolver:
#   pid: 13910
#   total CPU time (s): 1152.66
#   total CPU user time (s): 1150.98
#   total CPU system time (s): 1.68513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.70603 second user time and 2.50574 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 06:47:48
IDJOB=4392467
IDBENCH=134574
IDSOLVER=2838
FILE ID=node136/4392467-1568436512
RUNJOBID= node136-1568427975-11878
PBS_JOBID= 21702302
Free space on /tmp= 61168 MiB

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

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

MD5SUM BENCH= f5121aa225c6127ab5abec7ec5104cc1
RANDOM SEED=470442674

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25838064 kB
MemAvailable:   31891876 kB
Buffers:           83824 kB
Cached:          6245892 kB
SwapCached:         3104 kB
Active:          2033628 kB
Inactive:        4303764 kB
Active(anon):       6068 kB
Inactive(anon):    42124 kB
Active(file):    2027560 kB
Inactive(file):  4261640 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002164 kB
Dirty:             20584 kB
Writeback:             0 kB
AnonPages:        267436 kB
Mapped:            43784 kB
Shmem:             31940 kB
Slab:             190364 kB
SReclaimable:     160892 kB
SUnreclaim:        29472 kB
KernelStack:        3824 kB
PageTables:         6396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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= 61148 MiB
End job on node136 at 2019-09-14 06:50:45