Trace number 4405326

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-09-22)UNSAT 1180.49 174.486

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-0_X2.xml
MD5SUMe5c3d43a301dadc2ad5fa4651c286aba
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 benchmark163.179
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-19585-serial-file.bin HOME/instance-4405326-1569342500.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: Tue Sep 24 18:27:21 CEST 2019
0.65/0.57	c PID: 19588
0.65/0.57	c IP: 172.20.3.103
0.65/0.57	c HOST: node103.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.03/1.14	c (0,0) Parsing End
2.03/1.14	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.81/1.52	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.81/1.52	c (0,0) Constraint Name Generate Begin
2.81/1.52	c (0,0) Ctr:HOME/instance-4405326-1569342500.xml,ExtensionConflict:ExtensionSupport:Var
2.81/1.52	c (0,0) Constraint Name Generate End
2.81/1.52	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.81/1.52	c (0,0) CSP to CSPinCNF Begin
3.15/1.67	c (1,1) translated 127 (10%) constraints
3.43/1.78	c (1,1) translated 253 (20%) constraints
3.85/1.85	c (1,1) translated 379 (30%) constraints
4.28/1.92	c (1,1) translated 505 (40%) constraints
4.28/1.97	c (1,1) translated 631 (50%) constraints
4.74/2.03	c (1,1) translated 757 (60%) constraints
5.11/2.16	c (1,1) translated 883 (70%) constraints
5.99/2.40	c (1,1) translated 1009 (80%) constraints
6.24/2.62	c (2,2) translated 1135 (90%) constraints
6.89/2.94	c (2,2) translated 1261 (100%) constraints
6.89/2.94	c (2,2) ===========================================
6.89/2.94	c (2,2) Order
6.89/2.94	c (2,2) ===========================================
6.89/3.00	c (2,2) translated 1883 (10%) constraints
7.32/3.06	c (2,2) translated 3765 (20%) constraints
7.72/3.11	c (2,2) translated 5647 (30%) constraints
7.72/3.16	c (2,2) translated 7529 (40%) constraints
8.07/3.21	c (2,2) translated 9411 (50%) constraints
8.07/3.26	c (2,2) translated 11294 (60%) constraints
8.48/3.31	c (2,2) translated 13176 (70%) constraints
8.48/3.35	c (2,2) translated 15058 (80%) constraints
8.48/3.39	c (2,2) translated 16940 (90%) constraints
8.85/3.43	c (2,2) translated 18822 (100%) constraints
8.85/3.43	c (2,2) CSP to CSPinCNF End
8.85/3.43	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
8.85/3.43	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.85/3.43	c (2,2) CSPinCNF Propagation Begin
9.94/3.79	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
9.94/3.79	c (3,3) CSPinCNF Propagation End
9.94/3.79	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
9.94/3.79	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.94/3.79	c (3,3) Simplify CSPinCNF Begin
10.23/3.85	c (3,3) Simplify CSPinCNF End
10.23/3.85	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.23/3.85	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.23/3.85	c (3,3) Calculate Precise Domain Begin
10.23/3.85	c (3,3) 0 values are removed by re-calculation
10.23/3.85	c (3,3) Calculate Precise Domain End
10.23/3.85	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.23/3.85	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.23/3.85	c (3,3) CSPinCNF to SatSolver Begin
10.56/3.99	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.88/4.05	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
10.88/4.10	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.28/4.14	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.28/4.18	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.63/4.20	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.63/4.22	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.63/4.24	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.63/4.25	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.63/4.27	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.63/4.27	c (3,3) CSPinCNF to SatSolver End
11.63/4.27	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.63/4.27	c (3,3) 2482 bool, 15697 clause
11.63/4.27	c (3,3) Export Begin
11.85/4.37	c (3,3) Export to HOME/scop-19585-serial-file.bin
11.85/4.37	c (3,3) Export End
11.85/4.37	c (3,3) Export File Size: 0.02 MB
11.85/4.37	c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS)
11.85/4.37	c END-Prog: Tue Sep 24 18:27:25 CEST 2019
0.00/4.40	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19585-serial-file.bin
12.03/4.86	c (0,0) Read Serial File Begin
12.03/4.86	c (0,0) HOME/scop-19585-serial-file.bin
12.84/5.09	c (0,0) Read Serial File End
12.84/5.10	
12.84/5.10	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
12.84/5.10	(Solving Process)
12.84/5.10	
13.01/5.12	c BEGIN-Prog: Tue Sep 24 18:27:26 CEST 2019
13.01/5.12	c PID: 19608
13.01/5.12	c IP: 172.20.3.103
13.01/5.12	c HOST: node103.alineos.net
13.01/5.13	c (0,0) SatSolver.solve Begin
13.01/5.13	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405326-1569342500.xml-scop-19588.cnf
13.01/5.15	c (0,0) c
13.01/5.15	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
13.01/5.15	c (0,0) c
13.01/5.15	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.01/5.15	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.01/5.15	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.01/5.15	c (0,0) c |                                                                                                       |
13.01/5.16	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.01/5.16	c (0,0) c |  Number of variables:          2480                                                                   |
13.01/5.16	c (0,0) c |  Number of clauses:           15697                                                                   |
13.01/5.16	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.01/5.16	c (0,0) c |                                                                                                       |
13.01/5.16	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.01/5.16	c (0,0) c |                                                                                                       |
13.01/5.16	c (0,0) c |  Generating clones                                                                                    |
13.01/5.17	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.01/5.17	c (0,0) c ========================================================================================================|
13.01/5.17	c (0,0) c
13.01/5.17	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.01/5.17	c (0,0) c
13.01/5.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.01/5.17	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.01/5.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.01/5.17	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.01/5.17	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.01/5.17	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.01/5.17	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.01/5.17	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.01/5.17	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.01/5.17	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.01/5.17	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.01/5.17	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.01/5.17	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.01/5.17	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.01/5.17	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.01/5.17	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.01/5.17	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.01/5.17	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.01/5.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
240.48/34.98	c (30,0) c
240.48/34.98	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
240.48/34.98	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
240.48/34.98	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
240.48/34.98	c (30,0) c |  0 |    295 |     496194 |     267793 |     9215 |    36402 |    37550 |   284127 |    13544 |      278 |  20 |  0.847 |
240.48/34.98	c (30,0) c |  1 |    291 |     509666 |     274753 |     9356 |    43362 |    43756 |   282929 |    11840 |      283 |  20 |  0.847 |
240.48/34.98	c (30,0) c |  2 |    481 |     544728 |     291721 |     9327 |    60338 |    42875 |   282461 |    17111 |      292 |  20 |  0.847 |
240.48/34.98	c (30,0) c |  3 |    409 |     513848 |     281228 |     9278 |    49841 |    41766 |   280255 |    14548 |      290 |  20 |  0.847 |
240.48/34.98	c (30,0) c |  4 |    473 |     530072 |     290649 |     9444 |    59264 |    43058 |   261877 |    15911 |      283 |  20 |  0.848 |
240.48/34.98	c (30,0) c |  5 |    441 |     546332 |     291805 |     9405 |    60414 |    44734 |   282297 |    17225 |      290 |  20 |  0.847 |
240.48/34.98	c (30,0) c |  6 |    423 |     536014 |     285747 |     9455 |    54358 |    44390 |   283764 |    15325 |      290 |  20 |  0.847 |
240.48/34.98	c (30,0) c |  7 |    398 |     518684 |     281458 |     9445 |    50068 |    40592 |   273475 |    14158 |      273 |  20 |  0.847 |
240.48/34.98	c (30,0) c 
240.48/34.98	c (30,0) c synthesis     2265155 conflicts   168204742 propagations     9971 conflicts/sec   740438 propagations/sec
240.48/34.98	c (30,0) c real: 29.8257 s, cpu: 227.169 s, memory: 628.62 Mb
471.58/64.98	c (60,0) c
471.58/64.98	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
471.58/64.98	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
471.58/64.98	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
471.58/64.98	c (60,0) c |  0 |    419 |     796579 |     423118 |     9377 |    76534 |    52237 |   394464 |    26953 |      504 |  20 |  0.848 |
471.58/64.98	c (60,0) c |  1 |    487 |     801628 |     424395 |     9539 |    77803 |    58278 |   390715 |    25978 |      504 |  20 |  0.848 |
471.58/64.98	c (60,0) c |  2 |    539 |     827876 |     443681 |     9370 |    53506 |    60579 |   395618 |    28191 |      524 |  20 |  0.847 |
471.58/64.98	c (60,0) c |  3 |    498 |     811208 |     432242 |     9323 |    85660 |    56684 |   397265 |    27381 |      524 |  20 |  0.847 |
471.58/64.98	c (60,0) c |  4 |    587 |     824459 |     441545 |     9495 |    51358 |    58118 |   396627 |    27896 |      518 |  20 |  0.847 |
471.58/64.98	c (60,0) c |  5 |    477 |     814674 |     432504 |     9427 |    85916 |    59724 |   393764 |    27248 |      524 |  20 |  0.848 |
471.58/64.98	c (60,0) c |  6 |    495 |     833589 |     439723 |     9490 |    49537 |    59038 |   396399 |    27511 |      523 |  20 |  0.848 |
471.58/64.98	c (60,0) c |  7 |    529 |     822296 |     441931 |     9496 |    51747 |    56964 |   398441 |    27013 |      524 |  20 |  0.847 |
471.58/64.98	c (60,0) c 
471.58/64.98	c (60,0) c synthesis     3479141 conflicts   255823434 propagations     7603 conflicts/sec   559036 propagations/sec
471.58/64.98	c (60,0) c real: 59.8257 s, cpu: 457.615 s, memory: 635.03 Mb
666.30/93.98	c (89,0) c
666.30/93.98	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
666.30/93.98	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
666.30/93.98	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
666.30/93.98	c (89,0) c |  0 |    584 |    1024238 |     541929 |     9401 |    56743 |    62928 |   475117 |    36991 |      722 |  20 |  0.848 |
666.30/93.98	c (89,0) c |  1 |    605 |    1025269 |     539001 |     9563 |    53812 |    69050 |   456607 |    34714 |      708 |  20 |  0.847 |
666.30/93.98	c (89,0) c |  2 |    582 |    1040030 |     555925 |     9388 |    70742 |    70761 |   467453 |    36392 |      728 |  20 |  0.847 |
666.30/93.98	c (89,0) c |  3 |    600 |    1049511 |     549425 |     9344 |    64241 |    67567 |   469732 |    36354 |      728 |  20 |  0.848 |
666.30/93.98	c (89,0) c |  4 |    617 |    1054209 |     559681 |     9517 |    74500 |    70372 |   470559 |    35512 |      728 |  20 |  0.847 |
666.30/93.98	c (89,0) c |  5 |    500 |    1036503 |     547826 |     9445 |    62636 |    72283 |   466358 |    34517 |      728 |  20 |  0.847 |
666.30/93.98	c (89,0) c |  6 |    559 |    1062954 |     554720 |     9503 |    69533 |    68832 |   471058 |    35245 |      727 |  20 |  0.847 |
666.30/93.98	c (89,0) c |  7 |    605 |    1038790 |     553683 |     9502 |    68495 |    65753 |   475359 |    34940 |      727 |  20 |  0.847 |
666.30/93.98	c (89,0) c 
666.30/93.98	c (89,0) c synthesis     4402192 conflicts   322806818 propagations     6751 conflicts/sec   495064 propagations/sec
666.30/93.98	c (89,0) c real: 88.8257 s, cpu: 652.05 s, memory: 696.24 Mb
862.74/123.97	c (119,0) c
862.74/123.97	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
862.74/123.97	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
862.74/123.98	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
862.74/123.98	c (119,0) c |  0 |    637 |    1206384 |     634859 |     9408 |    98276 |    71980 |   533661 |    44299 |      911 |  20 |  0.847 |
862.74/123.98	c (119,0) c |  1 |    715 |    1223225 |     639541 |     9570 |   102958 |    77880 |   528251 |    42413 |      914 |  20 |  0.847 |
862.74/123.98	c (119,0) c |  2 |    632 |    1236762 |     655058 |     9399 |    64472 |    79708 |   531721 |    43171 |      931 |  20 |  0.847 |
862.74/123.98	c (119,0) c |  3 |    679 |    1239761 |     646395 |     9354 |    55808 |    77039 |   537968 |    44215 |      931 |  20 |  0.847 |
862.74/123.98	c (119,0) c |  4 |    665 |    1249681 |     658679 |     9524 |    68093 |    79698 |   534152 |    42761 |      926 |  20 |  0.847 |
862.74/123.98	c (119,0) c |  5 |    567 |    1228149 |     645058 |     9459 |    54470 |    80116 |   532164 |    42402 |      927 |  20 |  0.848 |
862.74/123.98	c (119,0) c |  6 |    613 |    1262406 |     654280 |     9517 |    63690 |    78611 |   537416 |    43101 |      931 |  20 |  0.847 |
862.74/123.98	c (119,0) c |  7 |    646 |    1238283 |     652335 |     9511 |    61748 |    75691 |   539408 |    43582 |      931 |  20 |  0.847 |
862.74/123.98	c (119,0) c 
862.74/123.98	c (119,0) c synthesis     5186207 conflicts   380529933 propagations     6114 conflicts/sec   448589 propagations/sec
862.74/123.98	c (119,0) c real: 118.825 s, cpu: 848.281 s, memory: 725.88 Mb
1052.92/152.98	c (148,0) c
1052.92/152.98	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1052.92/152.98	c (148,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1052.92/152.98	c (148,0) c |------------------------------------------------------------------------------------------------------------------------|
1052.92/152.98	c (148,0) c |  0 |    679 |    1387674 |     726759 |     9423 |    73226 |    80974 |   594982 |    50997 |     1118 |  20 |  0.888 |
1052.92/152.98	c (148,0) c |  1 |    769 |    1413623 |     732697 |     9578 |    85510 |    86528 |   588989 |    49622 |     1117 |  20 |  0.847 |
1052.92/152.98	c (148,0) c |  2 |    685 |    1414960 |     743841 |     9410 |    94029 |    88128 |   593531 |    50791 |     1137 |  20 |  0.888 |
1052.92/152.98	c (148,0) c |  3 |    735 |    1429207 |     741083 |     9368 |    91756 |    87162 |   594966 |    51419 |     1137 |  20 |  0.887 |
1052.92/152.98	c (148,0) c |  4 |    718 |    1421467 |     743827 |     9534 |    96641 |    87278 |   588828 |    49674 |     1120 |  20 |  0.848 |
1052.92/152.98	c (148,0) c |  5 |    609 |    1419432 |     740602 |     9469 |    89897 |    87838 |   594542 |    49389 |     1136 |  20 |  0.888 |
1052.92/152.98	c (148,0) c |  6 |    631 |    1438771 |     744695 |     9526 |    97503 |    86978 |   583967 |    50381 |     1137 |  20 |  0.848 |
1052.92/152.98	c (148,0) c |  7 |    725 |    1419680 |     741958 |     9516 |    91793 |    81693 |   599360 |    50707 |     1137 |  20 |  0.887 |
1052.92/152.98	c (148,0) c 
1052.92/152.98	c (148,0) c synthesis     5915462 conflicts   435403476 propagations     5698 conflicts/sec   419361 propagations/sec
1052.92/152.98	c (148,0) c real: 147.826 s, cpu: 1038.25 s, memory: 791.99 Mb
1180.32/174.45	c (169,0) c
1180.32/174.45	c (169,0) c real time : 169.296 s
1180.32/174.45	c (169,0) c cpu time  : 1164.94 s
1180.32/174.45	c (169,0) c
1180.32/174.45	c (169,0) c
1180.32/174.45	c (169,0) c
1180.32/174.45	c (169,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1180.32/174.45	c (169,0) c
1180.32/174.45	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1180.32/174.45	c (169,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1180.32/174.45	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1180.32/174.45	c (169,0) c | Conflicts     |         6301844 |     781738 |     784762 |     786690 |     785285 |     795811 |     787303 |     793790 |     786465 |
1180.32/174.45	c (169,0) c | Decisions     |        12115070 |    1498093 |    1517925 |    1500462 |    1513880 |    1528901 |    1512155 |    1537972 |    1505682 |
1180.32/174.45	c (169,0) c | Propagations  |       465718205 |   57881534 |   58024244 |   58011408 |   58638781 |   58281075 |   58431335 |   58818406 |   57631422 |
1180.32/174.45	c (169,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
1180.32/174.45	c (169,0) c | SimpDBs       |              74 |          9 |         11 |          8 |          7 |         11 |          9 |          8 |         11 |
1180.32/174.45	c (169,0) c | Restarts      |            5708 |        699 |        781 |        703 |        755 |        735 |        641 |        657 |        737 |
1180.32/174.45	c (169,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1180.32/174.45	c (169,0) c | PropBinClauses|       985334704 |  124653474 |  122275169 |  123316247 |  123756572 |  121734693 |  123354588 |  124472798 |  121771163 |
1180.32/174.45	c (169,0) c | PropPreBlocker|     33911121033 | 4192721443 | 4225953396 | 4261471866 | 4247094596 | 4244184410 | 4245307400 | 4261630591 | 4232757331 |
1180.32/174.45	c (169,0) c | PropNotBlocker|      5758917030 |  735168159 |  721012054 |  725622287 |  723074670 |  713131724 |  710807573 |  715229863 |  714870700 |
1180.32/174.45	c (169,0) c | LitFullScans  |     60405556502 | 7548485374 | 7543188360 | 7555028518 | 7555047777 | 7542944452 | 7555161898 | 7555045490 | 7550654633 |
1180.32/174.45	c (169,0) c | LitScanFracts |         8662885 |    1277255 |    1171858 |    1018069 |    1036313 |     939049 |    1156912 |    1012680 |    1050749 |
1180.32/174.45	c (169,0) c | DecisionLevel0|            5808 |        720 |        793 |        712 |        767 |        749 |        651 |        668 |        748 |
1180.32/174.45	c (169,0) c | Periods       |           10065 |       1257 |       1257 |       1259 |       1259 |       1257 |       1259 |       1259 |       1258 |
1180.32/174.45	c (169,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1180.32/174.45	c (169,0) c | Avg_Trail     |                 |        626 |        627 |        633 |        631 |        629 |        625 |        628 |        633 |
1180.32/174.45	c (169,0) c | Avg_DL        |                 |         21 |         21 |         22 |         21 |         22 |         21 |         22 |         22 |
1180.32/174.45	c (169,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1180.32/174.45	c (169,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1180.32/174.45	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1180.32/174.45	c (169,0) c | Exported      |          721404 |      85799 |      90920 |      92393 |      91514 |      92085 |      92727 |      90480 |      85486 |
1180.32/174.45	c (169,0) c | Imported      |         4987208 |     630019 |     620691 |     621967 |     624290 |     619316 |     619617 |     621150 |     630158 |
1180.32/174.45	c (169,0) c | Good          |           13857 |       1770 |       1716 |       1761 |       1778 |       1700 |       1713 |       1704 |       1715 |
1180.32/174.45	c (169,0) c | Purge         |         4973351 |     628249 |     618975 |     620206 |     622512 |     617616 |     617904 |     619446 |     628443 |
1180.32/174.45	c (169,0) c | Promoted      |          439781 |      56034 |      54311 |      54990 |      55227 |      54902 |      53184 |      55423 |      55710 |
1180.32/174.45	c (169,0) c | Remove_Imp    |         3933714 |     504329 |     491649 |     487034 |     491316 |     486324 |     487473 |     496269 |     489320 |
1180.32/174.45	c (169,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1180.32/174.45	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1180.32/174.45	c (169,0) c | Unaries       |                 |         21 |         12 |          9 |         12 |         14 |         10 |         11 |         11 |
1180.32/174.45	c (169,0) c | Binaries      |                 |        240 |        254 |        228 |        223 |        287 |        267 |        268 |        277 |
1180.32/174.45	c (169,0) c | Glues         |                 |        912 |       1020 |        962 |        966 |       1051 |        979 |       1009 |       1003 |
1180.32/174.45	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1180.32/174.45	c (169,0) c | Orig_Seen     |            87 % |       9426 |       9581 |       9417 |       9374 |       9543 |       9473 |       9533 |       9519 |
1180.32/174.45	c (169,0) c | Diff Orig seen|                 |      X     |        155 | -        9 | -       52 |        117 |         47 |        107 |         93 |
1180.32/174.45	c (169,0) c | Hamming       |            10 % |      X     |        276 |        249 |        278 |        272 |        259 |        277 |        241 |
1180.32/174.45	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1180.32/174.45	c (169,0) c | RunningTime   |                 |  164.1  98%|  168.0  99%|  128.3  76%|  131.3  78%|  159.8  95%|  144.7  86%|  136.1  81%|  134.5  80%|
1180.32/174.45	c (169,0) c | WaitingTime   |                 |    3.3   2%|    0.8   0%|   39.2  23%|   36.1  22%|    7.6   5%|   22.7  14%|   31.3  19%|   32.9  20%|
1180.32/174.45	c (169,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.4   0%|
1180.32/174.45	c (169,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%|
1180.32/174.45	c (169,0) c | SolvingTime   |                 |  167.7     |  169.2     |  167.8     |  167.8     |  167.7     |  167.8     |  167.8     |  167.7     |
1180.32/174.45	c (169,0) c | PropagationTim|                 |  102.8  61%|   95.7  57%|  132.3  79%|  128.0  76%|  100.7  60%|  118.8  71%|  121.4  72%|  122.6  73%|
1180.32/174.45	c (169,0) c | AnalysisTime  |                 |   61.4  37%|   69.9  41%|   31.9  19%|   36.3  22%|   63.4  38%|   45.3  27%|   42.9  26%|   41.7  25%|
1180.32/174.45	c (169,0) c | ReductionTime |                 |    1.4   1%|    1.4   1%|    1.4   1%|    1.3   1%|    1.5   1%|    1.5   1%|    1.4   1%|    1.3   1%|
1180.32/174.45	c (169,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|
1180.32/174.45	c (169,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%|
1180.32/174.45	c (169,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%|
1180.32/174.45	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1180.32/174.45	c (169,0) c
1180.32/174.45	c (169,0) c
1180.32/174.45	c (169,0) c Threads : 8
1180.32/174.45	c (169,0) c Winner : 0
1180.32/174.45	c (169,0) c Conflicts_0 : 781738
1180.32/174.45	c (169,0) c Conflicts_1 : 784762
1180.32/174.45	c (169,0) c Conflicts_2 : 786690
1180.32/174.45	c (169,0) c Conflicts_3 : 785285
1180.32/174.45	c (169,0) c Conflicts_4 : 795811
1180.32/174.45	c (169,0) c Conflicts_5 : 787303
1180.32/174.45	c (169,0) c Conflicts_6 : 793790
1180.32/174.45	c (169,0) c Conflicts_7 : 786465
1180.32/174.45	c (169,0) c Conflicts_total : 6301844
1180.32/174.45	c (169,0) c Conflicts_winner : 781738
1180.32/174.45	c (169,0) c Decisions_0 : 1498093
1180.32/174.45	c (169,0) c Decisions_1 : 1517925
1180.32/174.45	c (169,0) c Decisions_2 : 1500462
1180.32/174.45	c (169,0) c Decisions_3 : 1513880
1180.32/174.45	c (169,0) c Decisions_4 : 1528901
1180.32/174.45	c (169,0) c Decisions_5 : 1512155
1180.32/174.45	c (169,0) c Decisions_6 : 1537972
1180.32/174.45	c (169,0) c Decisions_7 : 1505682
1180.32/174.45	c (169,0) c Decisions_total : 12115070
1180.32/174.45	c (169,0) c Decisions_winner : 1498093
1180.32/174.45	c (169,0) c Propagations_0 : 57881534
1180.32/174.45	c (169,0) c Propagations_1 : 58024244
1180.32/174.45	c (169,0) c Propagations_2 : 58011408
1180.32/174.45	c (169,0) c Propagations_3 : 58638781
1180.32/174.45	c (169,0) c Propagations_4 : 58281075
1180.32/174.45	c (169,0) c Propagations_5 : 58431335
1180.32/174.45	c (169,0) c Propagations_6 : 58818406
1180.32/174.45	c (169,0) c Propagations_7 : 57631422
1180.32/174.45	c (169,0) c Propagations_total : 465718205
1180.32/174.45	c (169,0) c Propagations_winner : 57881534
1180.32/174.45	c (169,0) c ReduceDBs_0 : 24
1180.32/174.45	c (169,0) c ReduceDBs_1 : 24
1180.32/174.45	c (169,0) c ReduceDBs_2 : 24
1180.32/174.45	c (169,0) c ReduceDBs_3 : 24
1180.32/174.45	c (169,0) c ReduceDBs_4 : 24
1180.32/174.45	c (169,0) c ReduceDBs_5 : 24
1180.32/174.45	c (169,0) c ReduceDBs_6 : 24
1180.32/174.45	c (169,0) c ReduceDBs_7 : 24
1180.32/174.45	c (169,0) c ReduceDBs_total : 192
1180.32/174.45	c (169,0) c ReduceDBs_winner : 24
1180.32/174.45	c (169,0) c SimpDBs_0 : 9
1180.32/174.45	c (169,0) c SimpDBs_1 : 11
1180.32/174.45	c (169,0) c SimpDBs_2 : 8
1180.32/174.45	c (169,0) c SimpDBs_3 : 7
1180.32/174.45	c (169,0) c SimpDBs_4 : 11
1180.32/174.45	c (169,0) c SimpDBs_5 : 9
1180.32/174.45	c (169,0) c SimpDBs_6 : 8
1180.32/174.45	c (169,0) c SimpDBs_7 : 11
1180.32/174.45	c (169,0) c SimpDBs_total : 74
1180.32/174.45	c (169,0) c SimpDBs_winner : 9
1180.32/174.45	c (169,0) c Restarts_0 : 699
1180.32/174.45	c (169,0) c Restarts_1 : 781
1180.32/174.45	c (169,0) c Restarts_2 : 703
1180.32/174.45	c (169,0) c Restarts_3 : 755
1180.32/174.45	c (169,0) c Restarts_4 : 735
1180.32/174.45	c (169,0) c Restarts_5 : 641
1180.32/174.45	c (169,0) c Restarts_6 : 657
1180.32/174.45	c (169,0) c Restarts_7 : 737
1180.32/174.45	c (169,0) c Restarts_total : 5708
1180.32/174.45	c (169,0) c Restarts_winner : 699
1180.32/174.45	c (169,0) c ForcedImports_0 : 0
1180.32/174.45	c (169,0) c ForcedImports_1 : 0
1180.32/174.45	c (169,0) c ForcedImports_2 : 0
1180.32/174.45	c (169,0) c ForcedImports_3 : 0
1180.32/174.45	c (169,0) c ForcedImports_4 : 0
1180.32/174.45	c (169,0) c ForcedImports_5 : 0
1180.32/174.45	c (169,0) c ForcedImports_6 : 0
1180.32/174.45	c (169,0) c ForcedImports_7 : 0
1180.32/174.45	c (169,0) c ForcedImports_total : 0
1180.32/174.45	c (169,0) c ForcedImports_winner : 0
1180.32/174.45	c (169,0) c PropsBinClauses_0 : 124653474
1180.32/174.45	c (169,0) c PropsBinClauses_1 : 122275169
1180.32/174.45	c (169,0) c PropsBinClauses_2 : 123316247
1180.32/174.45	c (169,0) c PropsBinClauses_3 : 123756572
1180.32/174.45	c (169,0) c PropsBinClauses_4 : 121734693
1180.32/174.45	c (169,0) c PropsBinClauses_5 : 123354588
1180.32/174.45	c (169,0) c PropsBinClauses_6 : 124472798
1180.32/174.45	c (169,0) c PropsBinClauses_7 : 121771163
1180.32/174.45	c (169,0) c PropsBinClauses_total : 985334704
1180.32/174.45	c (169,0) c PropsBinClauses_winner : 124653474
1180.32/174.45	c (169,0) c PropsPreBlocker_0 : 4192721443
1180.32/174.45	c (169,0) c PropsPreBlocker_1 : 4225953396
1180.32/174.45	c (169,0) c PropsPreBlocker_2 : 4261471866
1180.32/174.45	c (169,0) c PropsPreBlocker_3 : 4247094596
1180.32/174.45	c (169,0) c PropsPreBlocker_4 : 4244184410
1180.32/174.45	c (169,0) c PropsPreBlocker_5 : 4245307400
1180.32/174.45	c (169,0) c PropsPreBlocker_6 : 4261630591
1180.32/174.45	c (169,0) c PropsPreBlocker_7 : 4232757331
1180.32/174.45	c (169,0) c PropsPreBlocker_total : 33911121033
1180.32/174.45	c (169,0) c PropsPreBlocker_winner : 4192721443
1180.32/174.45	c (169,0) c PropsNotBlocker_0 : 735168159
1180.32/174.45	c (169,0) c PropsNotBlocker_1 : 721012054
1180.32/174.45	c (169,0) c PropsNotBlocker_2 : 725622287
1180.32/174.45	c (169,0) c PropsNotBlocker_3 : 723074670
1180.32/174.45	c (169,0) c PropsNotBlocker_4 : 713131724
1180.32/174.45	c (169,0) c PropsNotBlocker_5 : 710807573
1180.32/174.45	c (169,0) c PropsNotBlocker_6 : 715229863
1180.32/174.45	c (169,0) c PropsNotBlocker_7 : 714870700
1180.32/174.45	c (169,0) c PropsNotBlocker_total : 5758917030
1180.32/174.45	c (169,0) c PropsNotBlocker_winner : 735168159
1180.32/174.45	c (169,0) c PropsLitFullScans_0 : 7548485374
1180.32/174.45	c (169,0) c PropsLitFullScans_1 : 7543188360
1180.32/174.45	c (169,0) c PropsLitFullScans_2 : 7555028518
1180.32/174.45	c (169,0) c PropsLitFullScans_3 : 7555047777
1180.32/174.45	c (169,0) c PropsLitFullScans_4 : 7542944452
1180.32/174.45	c (169,0) c PropsLitFullScans_5 : 7555161898
1180.32/174.45	c (169,0) c PropsLitFullScans_6 : 7555045490
1180.32/174.45	c (169,0) c PropsLitFullScans_7 : 7550654633
1180.32/174.45	c (169,0) c PropsLitFullScans_total : 60405556502
1180.32/174.45	c (169,0) c PropsLitFullScans_winner : 7548485374
1180.32/174.45	c (169,0) c LitScanFractions_0 : 1277255
1180.32/174.45	c (169,0) c LitScanFractions_1 : 1171858
1180.32/174.45	c (169,0) c LitScanFractions_2 : 1018069
1180.32/174.45	c (169,0) c LitScanFractions_3 : 1036313
1180.32/174.45	c (169,0) c LitScanFractions_4 : 939049
1180.32/174.45	c (169,0) c LitScanFractions_5 : 1156912
1180.32/174.45	c (169,0) c LitScanFractions_6 : 1012680
1180.32/174.45	c (169,0) c LitScanFractions_7 : 1050749
1180.32/174.45	c (169,0) c LitScanFractions_total : 8662885
1180.32/174.45	c (169,0) c LitScanFractions_winner : 1277255
1180.32/174.45	c (169,0) c DecisionLevel0_0 : 720
1180.32/174.45	c (169,0) c DecisionLevel0_1 : 793
1180.32/174.45	c (169,0) c DecisionLevel0_2 : 712
1180.32/174.45	c (169,0) c DecisionLevel0_3 : 767
1180.32/174.45	c (169,0) c DecisionLevel0_4 : 749
1180.32/174.45	c (169,0) c DecisionLevel0_5 : 651
1180.32/174.45	c (169,0) c DecisionLevel0_6 : 668
1180.32/174.45	c (169,0) c DecisionLevel0_7 : 748
1180.32/174.45	c (169,0) c DecisionLevel0_total : 5808
1180.32/174.45	c (169,0) c DecisionLevel0_winner : 720
1180.32/174.45	c (169,0) c Periods_0 : 1257
1180.32/174.45	c (169,0) c Periods_1 : 1257
1180.32/174.45	c (169,0) c Periods_2 : 1259
1180.32/174.45	c (169,0) c Periods_3 : 1259
1180.32/174.45	c (169,0) c Periods_4 : 1257
1180.32/174.45	c (169,0) c Periods_5 : 1259
1180.32/174.45	c (169,0) c Periods_6 : 1259
1180.32/174.45	c (169,0) c Periods_7 : 1258
1180.32/174.45	c (169,0) c Periods_total : 10065
1180.32/174.45	c (169,0) c Periods_winner : 1257
1180.32/174.45	c (169,0) c Margin_0 : 20
1180.32/174.45	c (169,0) c Margin_1 : 20
1180.32/174.45	c (169,0) c Margin_2 : 20
1180.32/174.45	c (169,0) c Margin_3 : 20
1180.32/174.45	c (169,0) c Margin_4 : 20
1180.32/174.45	c (169,0) c Margin_5 : 20
1180.32/174.45	c (169,0) c Margin_6 : 20
1180.32/174.45	c (169,0) c Margin_7 : 20
1180.32/174.45	c (169,0) c Margin_total : 160
1180.32/174.45	c (169,0) c Margin_winner : 20
1180.32/174.45	c (169,0) c Exported_0 : 85799
1180.32/174.45	c (169,0) c Exported_1 : 90920
1180.32/174.45	c (169,0) c Exported_2 : 92393
1180.32/174.45	c (169,0) c Exported_3 : 91514
1180.32/174.45	c (169,0) c Exported_4 : 92085
1180.32/174.45	c (169,0) c Exported_5 : 92727
1180.32/174.45	c (169,0) c Exported_6 : 90480
1180.32/174.45	c (169,0) c Exported_7 : 85486
1180.32/174.45	c (169,0) c Exported_total : 721404
1180.32/174.45	c (169,0) c Exported_winner : 85799
1180.32/174.45	c (169,0) c Imported_0 : 630019
1180.32/174.45	c (169,0) c Imported_1 : 620691
1180.32/174.45	c (169,0) c Imported_2 : 621967
1180.32/174.45	c (169,0) c Imported_3 : 624290
1180.32/174.45	c (169,0) c Imported_4 : 619316
1180.32/174.45	c (169,0) c Imported_5 : 619617
1180.32/174.45	c (169,0) c Imported_6 : 621150
1180.32/174.45	c (169,0) c Imported_7 : 630158
1180.32/174.45	c (169,0) c Imported_total : 4987208
1180.32/174.45	c (169,0) c Imported_winner : 630019
1180.32/174.45	c (169,0) c Good_0 : 1770
1180.32/174.45	c (169,0) c Good_1 : 1716
1180.32/174.45	c (169,0) c Good_2 : 1761
1180.32/174.45	c (169,0) c Good_3 : 1778
1180.32/174.45	c (169,0) c Good_4 : 1700
1180.32/174.45	c (169,0) c Good_5 : 1713
1180.32/174.45	c (169,0) c Good_6 : 1704
1180.32/174.45	c (169,0) c Good_7 : 1715
1180.32/174.45	c (169,0) c Good_total : 13857
1180.32/174.45	c (169,0) c Good_winner : 1770
1180.32/174.45	c (169,0) c Purge_0 : 628249
1180.32/174.45	c (169,0) c Purge_1 : 618975
1180.32/174.45	c (169,0) c Purge_2 : 620206
1180.32/174.45	c (169,0) c Purge_3 : 622512
1180.32/174.45	c (169,0) c Purge_4 : 617616
1180.32/174.45	c (169,0) c Purge_5 : 617904
1180.32/174.45	c (169,0) c Purge_6 : 619446
1180.32/174.45	c (169,0) c Purge_7 : 628443
1180.32/174.45	c (169,0) c Purge_total : 4973351
1180.32/174.45	c (169,0) c Purge_winner : 628249
1180.32/174.45	c (169,0) c Promoted_0 : 56034
1180.32/174.45	c (169,0) c Promoted_1 : 54311
1180.32/174.45	c (169,0) c Promoted_2 : 54990
1180.32/174.45	c (169,0) c Promoted_3 : 55227
1180.32/174.45	c (169,0) c Promoted_4 : 54902
1180.32/174.45	c (169,0) c Promoted_5 : 53184
1180.32/174.45	c (169,0) c Promoted_6 : 55423
1180.32/174.45	c (169,0) c Promoted_7 : 55710
1180.32/174.45	c (169,0) c Promoted_total : 439781
1180.32/174.45	c (169,0) c Promoted_winner : 56034
1180.32/174.45	c (169,0) c Remove_Imp_0 : 504329
1180.32/174.45	c (169,0) c Remove_Imp_1 : 491649
1180.32/174.45	c (169,0) c Remove_Imp_2 : 487034
1180.32/174.45	c (169,0) c Remove_Imp_3 : 491316
1180.32/174.45	c (169,0) c Remove_Imp_4 : 486324
1180.32/174.45	c (169,0) c Remove_Imp_5 : 487473
1180.32/174.45	c (169,0) c Remove_Imp_6 : 496269
1180.32/174.45	c (169,0) c Remove_Imp_7 : 489320
1180.32/174.45	c (169,0) c Remove_Imp_total : 3933714
1180.32/174.45	c (169,0) c Remove_Imp_winner : 504329
1180.32/174.45	c (169,0) c Blocked_Reuse_0 : 0
1180.32/174.45	c (169,0) c Blocked_Reuse_1 : 0
1180.32/174.46	c (169,0) c Blocked_Reuse_2 : 0
1180.32/174.46	c (169,0) c Blocked_Reuse_3 : 0
1180.32/174.46	c (169,0) c Blocked_Reuse_4 : 0
1180.32/174.46	c (169,0) c Blocked_Reuse_5 : 0
1180.32/174.46	c (169,0) c Blocked_Reuse_6 : 0
1180.32/174.46	c (169,0) c Blocked_Reuse_7 : 0
1180.32/174.46	c (169,0) c Blocked_Reuse_total : 0
1180.32/174.46	c (169,0) c Blocked_Reuse_winner : 0
1180.32/174.46	c (169,0) c Unaries_0 : 21
1180.32/174.46	c (169,0) c Unaries_1 : 12
1180.32/174.46	c (169,0) c Unaries_2 : 9
1180.32/174.46	c (169,0) c Unaries_3 : 12
1180.32/174.46	c (169,0) c Unaries_4 : 14
1180.32/174.46	c (169,0) c Unaries_5 : 10
1180.32/174.46	c (169,0) c Unaries_6 : 11
1180.32/174.46	c (169,0) c Unaries_7 : 11
1180.32/174.46	c (169,0) c Unaries_total : 100
1180.32/174.46	c (169,0) c Unaries_winner : 21
1180.32/174.46	c (169,0) c Binaries_0 : 240
1180.32/174.46	c (169,0) c Binaries_1 : 254
1180.32/174.46	c (169,0) c Binaries_2 : 228
1180.32/174.46	c (169,0) c Binaries_3 : 223
1180.32/174.46	c (169,0) c Binaries_4 : 287
1180.32/174.46	c (169,0) c Binaries_5 : 267
1180.32/174.46	c (169,0) c Binaries_6 : 268
1180.32/174.46	c (169,0) c Binaries_7 : 277
1180.32/174.46	c (169,0) c Binaries_total : 2044
1180.32/174.46	c (169,0) c Binaries_winner : 240
1180.32/174.46	c (169,0) c Glues_0 : 912
1180.32/174.46	c (169,0) c Glues_1 : 1020
1180.32/174.46	c (169,0) c Glues_2 : 962
1180.32/174.46	c (169,0) c Glues_3 : 966
1180.32/174.46	c (169,0) c Glues_4 : 1051
1180.32/174.46	c (169,0) c Glues_5 : 979
1180.32/174.46	c (169,0) c Glues_6 : 1009
1180.32/174.46	c (169,0) c Glues_7 : 1003
1180.32/174.46	c (169,0) c Glues_total : 7902
1180.32/174.46	c (169,0) c Glues_winner : 912
1180.32/174.46	c (169,0) c RunningTime_0 : 164.076434
1180.32/174.46	c (169,0) c RunningTime_1 : 168.045382
1180.32/174.46	c (169,0) c RunningTime_2 : 128.258870
1180.32/174.46	c (169,0) c RunningTime_3 : 131.259489
1180.32/174.46	c (169,0) c RunningTime_4 : 159.788465
1180.32/174.46	c (169,0) c RunningTime_5 : 144.718170
1180.32/174.46	c (169,0) c RunningTime_6 : 136.099591
1180.32/174.46	c (169,0) c RunningTime_7 : 134.460001
1180.32/174.46	c (169,0) c RunningTime_total : 1166.706402
1180.32/174.46	c (169,0) c RunningTime_winner : 164.076434
1180.32/174.46	c (169,0) c WaitingTime_0 : 3.281122
1180.32/174.46	c (169,0) c WaitingTime_1 : 0.806947
1180.32/174.46	c (169,0) c WaitingTime_2 : 39.192632
1180.32/174.46	c (169,0) c WaitingTime_3 : 36.148282
1180.32/174.46	c (169,0) c WaitingTime_4 : 7.591573
1180.32/174.46	c (169,0) c WaitingTime_5 : 22.690456
1180.32/174.46	c (169,0) c WaitingTime_6 : 31.331892
1180.32/174.46	c (169,0) c WaitingTime_7 : 32.893262
1180.32/174.46	c (169,0) c WaitingTime_total : 173.936166
1180.32/174.46	c (169,0) c WaitingTime_winner : 3.281122
1180.32/174.46	c (169,0) c ExchangingTime_0 : 0.344084
1180.32/174.46	c (169,0) c ExchangingTime_1 : 0.328932
1180.32/174.46	c (169,0) c ExchangingTime_2 : 0.342869
1180.32/174.46	c (169,0) c ExchangingTime_3 : 0.384973
1180.32/174.46	c (169,0) c ExchangingTime_4 : 0.322381
1180.32/174.46	c (169,0) c ExchangingTime_5 : 0.385321
1180.32/174.46	c (169,0) c ExchangingTime_6 : 0.363723
1180.32/174.46	c (169,0) c ExchangingTime_7 : 0.359593
1180.32/174.46	c (169,0) c ExchangingTime_total : 2.831875
1180.32/174.46	c (169,0) c ExchangingTime_winner : 0.344084
1180.32/174.46	c (169,0) c PeriodProcTime_0 : 0.012720
1180.32/174.46	c (169,0) c PeriodProcTime_1 : 0.015266
1180.32/174.46	c (169,0) c PeriodProcTime_2 : 0.012845
1180.32/174.46	c (169,0) c PeriodProcTime_3 : 0.014007
1180.32/174.46	c (169,0) c PeriodProcTime_4 : 0.011180
1180.32/174.46	c (169,0) c PeriodProcTime_5 : 0.012836
1180.32/174.46	c (169,0) c PeriodProcTime_6 : 0.012037
1180.32/174.46	c (169,0) c PeriodProcTime_7 : 0.013543
1180.32/174.46	c (169,0) c PeriodProcTime_total : 0.104433
1180.32/174.46	c (169,0) c PeriodProcTime_winner : 0.012720
1180.32/174.46	c (169,0) c SolvingTime_0 : 167.714360
1180.32/174.46	c (169,0) c SolvingTime_1 : 169.196527
1180.32/174.46	c (169,0) c SolvingTime_2 : 167.807216
1180.32/174.46	c (169,0) c SolvingTime_3 : 167.806750
1180.32/174.46	c (169,0) c SolvingTime_4 : 167.713599
1180.32/174.46	c (169,0) c SolvingTime_5 : 167.806782
1180.32/174.46	c (169,0) c SolvingTime_6 : 167.807243
1180.32/174.46	c (169,0) c SolvingTime_7 : 167.726399
1180.32/174.46	c (169,0) c SolvingTime_total : 1343.578876
1180.32/174.46	c (169,0) c SolvingTime_winner : 167.714360
1180.32/174.46	c (169,0) c PropagationTime_0 : 102.815498
1180.32/174.46	c (169,0) c PropagationTime_1 : 95.731883
1180.32/174.46	c (169,0) c PropagationTime_2 : 132.316776
1180.32/174.46	c (169,0) c PropagationTime_3 : 128.047635
1180.32/174.46	c (169,0) c PropagationTime_4 : 100.702873
1180.32/174.46	c (169,0) c PropagationTime_5 : 118.795011
1180.32/174.46	c (169,0) c PropagationTime_6 : 121.407105
1180.32/174.46	c (169,0) c PropagationTime_7 : 122.621709
1180.32/174.46	c (169,0) c PropagationTime_total : 922.438491
1180.32/174.46	c (169,0) c PropagationTime_winner : 102.815498
1180.32/174.46	c (169,0) c AnalysisTime_0 : 61.383282
1180.32/174.46	c (169,0) c AnalysisTime_1 : 69.916082
1180.32/174.46	c (169,0) c AnalysisTime_2 : 31.943968
1180.32/174.46	c (169,0) c AnalysisTime_3 : 36.278087
1180.32/174.46	c (169,0) c AnalysisTime_4 : 63.420048
1180.32/174.46	c (169,0) c AnalysisTime_5 : 45.298575
1180.32/174.46	c (169,0) c AnalysisTime_6 : 42.899668
1180.32/174.46	c (169,0) c AnalysisTime_7 : 41.654013
1180.32/174.46	c (169,0) c AnalysisTime_total : 392.793724
1180.32/174.46	c (169,0) c AnalysisTime_winner : 61.383282
1180.32/174.46	c (169,0) c ReductionTime_0 : 1.360598
1180.32/174.46	c (169,0) c ReductionTime_1 : 1.389477
1180.32/174.46	c (169,0) c ReductionTime_2 : 1.394336
1180.32/174.46	c (169,0) c ReductionTime_3 : 1.300331
1180.32/174.46	c (169,0) c ReductionTime_4 : 1.478999
1180.32/174.46	c (169,0) c ReductionTime_5 : 1.531643
1180.32/174.46	c (169,0) c ReductionTime_6 : 1.352922
1180.32/174.46	c (169,0) c ReductionTime_7 : 1.296817
1180.32/174.46	c (169,0) c ReductionTime_total : 11.105123
1180.32/174.46	c (169,0) c ReductionTime_winner : 1.360598
1180.32/174.46	c (169,0) c SimplifyTime_0 : 0.045103
1180.32/174.46	c (169,0) c SimplifyTime_1 : 0.040064
1180.32/174.46	c (169,0) c SimplifyTime_2 : 0.092849
1180.32/174.46	c (169,0) c SimplifyTime_3 : 0.023098
1180.32/174.46	c (169,0) c SimplifyTime_4 : 0.028690
1180.32/174.46	c (169,0) c SimplifyTime_5 : 0.028208
1180.32/174.46	c (169,0) c SimplifyTime_6 : 0.068008
1180.32/174.46	c (169,0) c SimplifyTime_7 : 0.079251
1180.32/174.46	c (169,0) c SimplifyTime_total : 0.405271
1180.32/174.46	c (169,0) c SimplifyTime_winner : 0.045103
1180.32/174.46	c (169,0) c UsedRateTime_0 : 0.000000
1180.32/174.46	c (169,0) c UsedRateTime_1 : 0.000000
1180.32/174.46	c (169,0) c UsedRateTime_2 : 0.000000
1180.32/174.46	c (169,0) c UsedRateTime_3 : 0.000000
1180.32/174.46	c (169,0) c UsedRateTime_4 : 0.000000
1180.32/174.46	c (169,0) c UsedRateTime_5 : 0.000000
1180.32/174.46	c (169,0) c UsedRateTime_6 : 0.000000
1180.32/174.46	c (169,0) c UsedRateTime_7 : 0.000000
1180.32/174.46	c (169,0) c UsedRateTime_total : 0.000000
1180.32/174.46	c (169,0) c UsedRateTime_winner : 0.000000
1180.32/174.46	c (169,0) c OverlapRateTime_0 : 0.000000
1180.32/174.46	c (169,0) c OverlapRateTime_1 : 0.000000
1180.32/174.46	c (169,0) c OverlapRateTime_2 : 0.000000
1180.32/174.46	c (169,0) c OverlapRateTime_3 : 0.000000
1180.32/174.46	c (169,0) c OverlapRateTime_4 : 0.000000
1180.32/174.46	c (169,0) c OverlapRateTime_5 : 0.000000
1180.32/174.46	c (169,0) c OverlapRateTime_6 : 0.000000
1180.32/174.46	c (169,0) c OverlapRateTime_7 : 0.000000
1180.32/174.46	c (169,0) c OverlapRateTime_total : 0.000000
1180.32/174.46	c (169,0) c OverlapRateTime_winner : 0.000000
1180.32/174.46	c (169,0) c
1180.32/174.46	c (169,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1180.32/174.46	c (169,0) c
1180.32/174.46	c (169,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1180.32/174.46	c (169,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1180.32/174.46	c (169,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1180.32/174.46	c (169,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1180.32/174.46	c (169,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1180.32/174.46	c (169,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1180.32/174.46	c (169,0) c | Initial random_seed   |   86308644 | 1279651148 | 1171258071 |  953033319 |  116390518 |  910711794 | 1884101758 | 1114231165 |
1180.32/174.46	c (169,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1180.32/174.46	c (169,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1180.32/174.46	c (169,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1180.32/174.46	c (169,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1180.32/174.46	c (169,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1180.32/174.46	c (169,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1180.32/174.46	c (169,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1180.32/174.46	c (169,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1180.32/174.46	c (169,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1180.32/174.46	c (169,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1180.32/174.46	c (169,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1180.32/174.46	c (169,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1180.32/174.46	c (169,0) 
1180.32/174.46	c (169,0) s UNSATISFIABLE
1180.32/174.47	c (169,0) SatSolver.solve End
1180.32/174.47	c (169,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1180.32/174.47	c (169,0) Show results Begin
1180.32/174.47	s UNSATISFIABLE
1180.32/174.47	c (169,0) Show results End
1180.32/174.47	c (169,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1180.32/174.47	c (169,0) 169,169,STOP-AFTER(ALL)
1180.32/174.47	c END-Prog: Tue Sep 24 18:30:15 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 (13738 MiB free)
  memory of node 1: 16384 MiB (14482 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405326-1569342500/watcher-4405326-1569342500 -o /tmp/evaluation-result-4405326-1569342500/solver-4405326-1569342500 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --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-4405326-1569342500.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=19585, runsolver pid=19582
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 2.61 5.79 6.56 4/211 19607
/proc/meminfo: memFree=28804380/32770624 swapFree=66999256/67108860
[pid=19585] ppid=19582 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19585/stat : 19585 (scop.sh) S 19582 19585 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510503017 115843072 349 33554432000 4194304 5098028 140728239095520 140728239092776 140567477838460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12845056 140728239100709 140728239101036 140728239101036 140728239103949 0
/proc/19585/statm: 28282 349 296 221 0 87 0
[pid=19588] ppid=19585 vsize=27314120 memory=105788 CPUtime=0.11 cores=0-7
/proc/19588/stat : 19588 (java) S 19585 19585 18413 0 -1 1077944320 6525 0 0 0 8 3 0 0 20 0 20 0 510503017 27969658880 26447 33554432000 4194304 4196468 140722208742288 140722208724832 140438821854967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
/proc/19588/statm: 6828530 26447 2795 1 0 6790935 0
[pid=19588/tid=19589] ppid=19585 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/19588/task/19589/stat : 19589 (java) R 19585 19585 18413 0 -1 4202560 4621 0 0 0 7 2 0 0 20 0 20 0 510503018 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438793679824 140438805935454 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19590] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19590/stat : 19590 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438826097296 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19591] ppid=19585 vsize=27314120 memory=288371050323744384 CPUtime=0 cores=0-7
/proc/19588/task/19591/stat : 19591 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438244248080 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19592] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19592/stat : 19592 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438243195280 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19593] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19593/stat : 19593 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438242142480 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19594] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19594/stat : 19594 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438241090704 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19595] ppid=19585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19588/task/19595/stat : 19595 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438240037904 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19596] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19596/stat : 19596 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438238985104 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19597] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19597/stat : 19597 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438237932304 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19598] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19598/stat : 19598 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510503022 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438081649008 140438821866114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19599] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19599/stat : 19599 (java) S 19585 19585 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510503022 27969658880 26447 33554432000 4194304 4196468 140722208742288 140436437984288 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19600] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19600/stat : 19600 (java) S 19585 19585 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510503022 27969658880 26447 33554432000 4194304 4196468 140722208742288 140436303762288 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19601] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19601/stat : 19601 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 26447 33554432000 4194304 4196468 140722208742288 140435929257808 140438821873563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19602] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19602/stat : 19602 (java) S 19585 19585 18413 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438080596848 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19603] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19603/stat : 19603 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438079544048 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19604] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19604/stat : 19604 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438078491248 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19605] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19605/stat : 19605 (java) S 19585 19585 18413 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438077438448 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19606] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19606/stat : 19606 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 26447 33554432000 4194304 4196468 140722208742288 140435431352928 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19607] ppid=19585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19588/task/19607/stat : 19607 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 26447 33554432000 4194304 4196468 140722208742288 140438076385840 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107184 KiB

[startup+0.210576 s]*
/proc/loadavg: 2.61 5.79 6.56 2/211 19607
/proc/meminfo: memFree=28786056/32770624 swapFree=66999256/67108860
[pid=19585] ppid=19582 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19585/stat : 19585 (scop.sh) S 19582 19585 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510503017 115843072 349 33554432000 4194304 5098028 140728239095520 140728239092776 140567477838460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12845056 140728239100709 140728239101036 140728239101036 140728239103949 0
/proc/19585/statm: 28282 349 296 221 0 87 0
[pid=19588] ppid=19585 vsize=27314120 memory=122604 CPUtime=0.25 cores=0-7
/proc/19588/stat : 19588 (java) S 19585 19585 18413 0 -1 1077944320 11533 0 0 0 20 5 0 0 20 0 20 0 510503017 27969658880 30651 33554432000 4194304 4196468 140722208742288 140722208724832 140438821854967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
/proc/19588/statm: 6828530 30651 2929 1 0 6790935 0
[pid=19588/tid=19589] ppid=19585 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19588/task/19589/stat : 19589 (java) R 19585 19585 18413 0 -1 4202560 9226 0 0 0 16 4 0 0 20 0 20 0 510503018 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438793654352 140438803418519 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19590] ppid=19585 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/19588/task/19590/stat : 19590 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438826097296 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19591] ppid=19585 vsize=27314120 memory=140674172052239 CPUtime=0 cores=0-7
/proc/19588/task/19591/stat : 19591 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438244248080 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19592] ppid=19585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19588/task/19592/stat : 19592 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438243195280 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19593] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19593/stat : 19593 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438242142480 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19594] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19594/stat : 19594 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438241090704 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19595] ppid=19585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19588/task/19595/stat : 19595 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438240037904 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19596] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19596/stat : 19596 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438238985104 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19597] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19597/stat : 19597 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438237932304 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19598] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19598/stat : 19598 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510503022 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438081649008 140438821866114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19599] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19599/stat : 19599 (java) S 19585 19585 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510503022 27969658880 30651 33554432000 4194304 4196468 140722208742288 140436437984288 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19600] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19600/stat : 19600 (java) S 19585 19585 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510503022 27969658880 30651 33554432000 4194304 4196468 140722208742288 140436303762288 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19601] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19601/stat : 19601 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 30651 33554432000 4194304 4196468 140722208742288 140435929257808 140438821873563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19602] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19602/stat : 19602 (java) S 19585 19585 18413 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438080596848 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19603] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19603/stat : 19603 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438079544048 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19604] ppid=19585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19588/task/19604/stat : 19604 (java) S 19585 19585 18413 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438078491248 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19605] ppid=19585 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/19588/task/19605/stat : 19605 (java) S 19585 19585 18413 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 20 0 510503025 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438077438448 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19606] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19606/stat : 19606 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 30651 33554432000 4194304 4196468 140722208742288 140435431352928 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19607] ppid=19585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19588/task/19607/stat : 19607 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 30651 33554432000 4194304 4196468 140722208742288 140438076385840 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124000 KiB

[startup+0.310403 s]*
/proc/loadavg: 2.61 5.79 6.56 2/211 19607
/proc/meminfo: memFree=28783132/32770624 swapFree=66999256/67108860
[pid=19585] ppid=19582 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19585/stat : 19585 (scop.sh) S 19582 19585 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510503017 115843072 349 33554432000 4194304 5098028 140728239095520 140728239092776 140567477838460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12845056 140728239100709 140728239101036 140728239101036 140728239103949 0
/proc/19585/statm: 28282 349 296 221 0 87 0
[pid=19588] ppid=19585 vsize=27314120 memory=126280 CPUtime=0.42 cores=0-7
/proc/19588/stat : 19588 (java) S 19585 19585 18413 0 -1 1077944320 11985 0 0 0 37 5 0 0 20 0 20 0 510503017 27969658880 31570 33554432000 4194304 4196468 140722208742288 140722208724832 140438821854967 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
/proc/19588/statm: 6828530 31570 3013 1 0 6790935 0
[pid=19588/tid=19589] ppid=19585 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/19588/task/19589/stat : 19589 (java) R 19585 19585 18413 0 -1 4202560 9497 0 0 0 26 4 0 0 20 0 20 0 510503018 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438793685040 140438803418542 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19590] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19590/stat : 19590 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438826097296 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19591] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19591/stat : 19591 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438244248080 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19592] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19592/stat : 19592 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438243195280 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19593] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19593/stat : 19593 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438242142480 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19594] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19594/stat : 19594 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438241090704 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19595] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19595/stat : 19595 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438240037904 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19596] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19596/stat : 19596 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438238985104 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19597] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19597/stat : 19597 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438237932304 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19598] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19598/stat : 19598 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510503022 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438081649008 140438821866114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19599] ppid=19585 vsize=27314120 memory=281348141161856 CPUtime=0 cores=0-7
/proc/19588/task/19599/stat : 19599 (java) S 19585 19585 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510503022 27969658880 31570 33554432000 4194304 4196468 140722208742288 140436437984288 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19600] ppid=19585 vsize=27314120 memory=281348141166464 CPUtime=0 cores=0-7
/proc/19588/task/19600/stat : 19600 (java) S 19585 19585 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510503022 27969658880 31570 33554432000 4194304 4196468 140722208742288 140436303762288 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19601] ppid=19585 vsize=27314120 memory=281348141171072 CPUtime=0 cores=0-7
/proc/19588/task/19601/stat : 19601 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 31570 33554432000 4194304 4196468 140722208742288 140435929257808 140438821873563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19602] ppid=19585 vsize=27314120 memory=281348141175680 CPUtime=0.02 cores=0-7
/proc/19588/task/19602/stat : 19602 (java) S 19585 19585 18413 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 20 0 510503025 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438080596848 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19603] ppid=19585 vsize=27314120 memory=281348141180288 CPUtime=0.01 cores=0-7
/proc/19588/task/19603/stat : 19603 (java) S 19585 19585 18413 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 510503025 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438079544048 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19604] ppid=19585 vsize=27314120 memory=281348141184896 CPUtime=0.01 cores=0-7
/proc/19588/task/19604/stat : 19604 (java) S 19585 19585 18413 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 510503025 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438078491248 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19605] ppid=19585 vsize=27314120 memory=281348141189504 CPUtime=0.06 cores=0-7
/proc/19588/task/19605/stat : 19605 (java) S 19585 19585 18413 0 -1 1077944384 507 0 0 0 6 0 0 0 20 0 20 0 510503025 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438077438448 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19606] ppid=19585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19606/stat : 19606 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 31570 33554432000 4194304 4196468 140722208742288 140435431352928 140438821865173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19607] ppid=19585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19588/task/19607/stat : 19607 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503025 27969658880 31570 33554432000 4194304 4196468 140722208742288 140438076385840 140438821866114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127676 KiB

[startup+0.700988 s]
/proc/loadavg: 2.61 5.79 6.56 2/211 19607
/proc/meminfo: memFree=28759552/32770624 swapFree=66999256/67108860
[pid=19585] ppid=19582 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19585/stat : 19585 (scop.sh) S 19582 19585 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510503017 115843072 349 33554432000 4194304 5098028 140728239095520 140728239092776 140567477838460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12845056 140728239100709 140728239101036 140728239101036 140728239103949 0
/proc/19585/statm: 28282 349 296 221 0 87 0
[pid=19588] ppid=19585 vsize=27320392 memory=163028 CPUtime=0.99 cores=0-7
/proc/19588/stat : 19588 (java) S 19585 19585 18413 0 -1 1077944320 19909 0 0 0 92 7 0 0 20 0 20 0 510503017 27976081408 40757 33554432000 4194304 4196468 140722208742288 140722208724832 140438821854967 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
/proc/19588/statm: 6830098 40757 3166 1 0 6791447 0
[pid=19588/tid=19589] ppid=19585 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/19588/task/19589/stat : 19589 (java) R 19585 19585 18413 0 -1 4202560 16930 0 0 0 62 6 0 0 20 0 20 0 510503018 27976081408 40757 33554432000 4194304 4196468 140722208742288 140438793693488 140438821866902 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19590] ppid=19585 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19590/stat : 19590 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27976081408 40757 33554432000 4194304 4196468 140722208742288 140438826097296 140438821865173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19591] ppid=19585 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19588/task/19591/stat : 19591 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27976081408 40757 33554432000 4194304 4196468 140722208742288 140438244248080 140438821865173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0
[pid=19588/tid=19592] ppid=19585 vsize=27320392 memory=2828 CPUtime=0 cores=0-7
/proc/19588/task/19592/stat : 19592 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510503020 27976081408 40757 33554432000 4194304 4196468 140722208742288 140438243195280 140438821865173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140722208748267 140722208748694 140722208748694 140722208751567 0

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

[pid=19608/tid=19618] ppid=19585 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/19608/task/19618/stat : 19618 (java) S 19585 19585 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510503461 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709536922480 139710443506306 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19619] ppid=19585 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/19608/task/19619/stat : 19619 (java) S 19585 19585 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510503461 8616062976 29847 33554432000 4194304 4196468 140731609417472 139708910790176 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19620] ppid=19585 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/19608/task/19620/stat : 19620 (java) S 19585 19585 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510503461 8616062976 29847 33554432000 4194304 4196468 140731609417472 139708776568176 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19621] ppid=19585 vsize=8414124 memory=1004 CPUtime=0 cores=0-7
/proc/19608/task/19621/stat : 19621 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139708402063696 139710443513755 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19622] ppid=19585 vsize=8414124 memory=6084 CPUtime=0.06 cores=0-7
/proc/19608/task/19622/stat : 19622 (java) S 19585 19585 18413 0 -1 1077944384 683 0 0 0 6 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709535869296 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19623] ppid=19585 vsize=8414124 memory=14008 CPUtime=0.05 cores=0-7
/proc/19608/task/19623/stat : 19623 (java) S 19585 19585 18413 0 -1 1077944384 183 0 0 0 5 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709534816496 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19624] ppid=19585 vsize=8414124 memory=2124 CPUtime=0.07 cores=0-7
/proc/19608/task/19624/stat : 19624 (java) S 19585 19585 18413 0 -1 1077944384 321 0 0 0 7 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709533763696 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19625] ppid=19585 vsize=8414124 memory=35592 CPUtime=0.21 cores=0-7
/proc/19608/task/19625/stat : 19625 (java) S 19585 19585 18413 0 -1 1077944384 749 0 0 0 21 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709532710896 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19626] ppid=19585 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/19608/task/19626/stat : 19626 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139707904158816 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19627] ppid=19585 vsize=8414124 memory=500 CPUtime=0.11 cores=0-7
/proc/19608/task/19627/stat : 19627 (java) S 19585 19585 18413 0 -1 1077944384 13 0 0 0 0 11 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709531659312 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19629] ppid=19585 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/19608/task/19629/stat : 19629 (java) S 19585 19585 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510503533 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709523625536 139710443519769 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19631] ppid=19585 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/19608/task/19631/stat : 19631 (java) S 19585 19585 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510503533 8616062976 29847 33554432000 4194304 4196468 140731609417472 139707233058448 139710443517085 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19632] ppid=19585 vsize=8414124 memory=3768 CPUtime=0 cores=0-7
/proc/19608/task/19632/stat : 19632 (java) S 19585 19585 18413 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510503533 8616062976 29847 33554432000 4194304 4196468 140731609417472 139707501493776 139710443517085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19640] ppid=19585 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/19608/task/19640/stat : 19640 (java) S 19585 19585 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510503535 8616062976 29847 33554432000 4194304 4196468 140731609417472 139706964630576 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
Current children cumulated CPU time: 1179.52 s
Current children cumulated vsize: 9275384 KiB
Current children cumulated memory: 681228 KiB

[startup+174.001 s]*
/proc/loadavg: 5.39 5.87 6.47 2/217 19659
/proc/meminfo: memFree=28230832/32770624 swapFree=66999256/67108860
[pid=19585] ppid=19582 vsize=113128 memory=1476 CPUtime=12.03 cores=0-7
/proc/19585/stat : 19585 (scop.sh) S 19582 19585 18413 0 -1 4202496 582 31397 0 0 0 0 1172 31 20 0 1 0 510503017 115843072 369 33554432000 4194304 5098028 140728239095520 140728239092264 140567477838460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12845056 140728239100709 140728239101036 140728239101036 140728239103949 0
/proc/19585/statm: 28282 369 311 221 0 87 0
[pid=19608] ppid=19585 vsize=8414124 memory=119388 CPUtime=1.35 cores=0-7
/proc/19608/stat : 19608 (java) S 19585 19585 18413 0 -1 1077944320 20360 0 0 0 125 10 0 0 20 0 24 0 510503458 8616062976 29847 33554432000 4194304 4196468 140731609417472 140731609400016 139710443495159 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
/proc/19608/statm: 2103531 29847 3205 1 0 2064875 0
[pid=19628] ppid=19608 vsize=748132 memory=560364 CPUtime=1166.55 cores=0-7
/proc/19628/stat : 19628 (manyglucose-4.1) S 19608 19585 18413 0 -1 1077944320 975421 0 0 0 116450 205 0 0 20 0 2 0 510503532 766087168 140091 33554432000 4194304 4454172 140737437953312 140737437951696 140027597233911 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 19480576 140737437954921 140737437955120 140737437955120 140737437958074 0
/proc/19628/statm: 187033 140091 419 64 0 182701 0
[pid=19628/tid=19634] ppid=19608 vsize=748132 memory=4416 CPUtime=167.97 cores=0-7
/proc/19628/task/19634/stat : 19634 (manyglucose-4.1) R 19608 19585 18413 0 -1 4202560 133579 0 0 0 16773 24 0 0 20 0 2 0 510503535 766087168 140091 33554432000 4194304 4454172 140737437953312 140027573623944 4333320 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 19480576 140737437954921 140737437955120 140737437955120 140737437958074 0
[pid=19608/tid=19609] ppid=19585 vsize=8414124 memory=219867965835245 CPUtime=0.77 cores=0-7
/proc/19608/task/19609/stat : 19609 (java) S 19585 19585 18413 0 -1 1077944384 16986 0 0 0 71 6 0 0 20 0 24 0 510503458 8616062976 29847 33554432000 4194304 4196468 140731609417472 139710415335328 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19610] ppid=19585 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/19608/task/19610/stat : 19610 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139710447738000 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19611] ppid=19585 vsize=8414124 memory=140674071536227 CPUtime=0 cores=0-7
/proc/19608/task/19611/stat : 19611 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709928606736 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19612] ppid=19585 vsize=8414124 memory=140674071546560 CPUtime=0 cores=0-7
/proc/19608/task/19612/stat : 19612 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709927553936 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19613] ppid=19585 vsize=8414124 memory=3467965301951311728 CPUtime=0 cores=0-7
/proc/19608/task/19613/stat : 19613 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709926501136 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19614] ppid=19585 vsize=8414124 memory=3467965301951312016 CPUtime=0 cores=0-7
/proc/19608/task/19614/stat : 19614 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709925448336 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19615] ppid=19585 vsize=8414124 memory=3467965301968089264 CPUtime=0 cores=0-7
/proc/19608/task/19615/stat : 19615 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709924395536 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19616] ppid=19585 vsize=8414124 memory=3907347826228600800 CPUtime=0 cores=0-7
/proc/19608/task/19616/stat : 19616 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709923342736 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19617] ppid=19585 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19608/task/19617/stat : 19617 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709922289936 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19618] ppid=19585 vsize=8414124 memory=119388 CPUtime=0 cores=0-7
/proc/19608/task/19618/stat : 19618 (java) S 19585 19585 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510503461 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709536922480 139710443506306 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19619] ppid=19585 vsize=8414124 memory=558040 CPUtime=0 cores=0-7
/proc/19608/task/19619/stat : 19619 (java) S 19585 19585 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510503461 8616062976 29847 33554432000 4194304 4196468 140731609417472 139708910790176 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19620] ppid=19585 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/19608/task/19620/stat : 19620 (java) S 19585 19585 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510503461 8616062976 29847 33554432000 4194304 4196468 140731609417472 139708776568176 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19621] ppid=19585 vsize=8414124 memory=3768 CPUtime=0 cores=0-7
/proc/19608/task/19621/stat : 19621 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139708402063696 139710443513755 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19622] ppid=19585 vsize=8414124 memory=1980 CPUtime=0.06 cores=0-7
/proc/19608/task/19622/stat : 19622 (java) S 19585 19585 18413 0 -1 1077944384 683 0 0 0 6 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709535869296 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19623] ppid=19585 vsize=8414124 memory=2512 CPUtime=0.05 cores=0-7
/proc/19608/task/19623/stat : 19623 (java) S 19585 19585 18413 0 -1 1077944384 183 0 0 0 5 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709534816496 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19624] ppid=19585 vsize=8414124 memory=1436 CPUtime=0.07 cores=0-7
/proc/19608/task/19624/stat : 19624 (java) S 19585 19585 18413 0 -1 1077944384 321 0 0 0 7 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709533763696 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19625] ppid=19585 vsize=8414124 memory=796 CPUtime=0.21 cores=0-7
/proc/19608/task/19625/stat : 19625 (java) S 19585 19585 18413 0 -1 1077944384 749 0 0 0 21 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709532710896 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19626] ppid=19585 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/19608/task/19626/stat : 19626 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139707904158816 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19627] ppid=19585 vsize=8414124 memory=111628 CPUtime=0.12 cores=0-7
/proc/19608/task/19627/stat : 19627 (java) S 19585 19585 18413 0 -1 1077944384 13 0 0 0 0 12 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709531659312 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19629] ppid=19585 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/19608/task/19629/stat : 19629 (java) S 19585 19585 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510503533 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709523625536 139710443519769 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19631] ppid=19585 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/19608/task/19631/stat : 19631 (java) S 19585 19585 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510503533 8616062976 29847 33554432000 4194304 4196468 140731609417472 139707233058448 139710443517085 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19632] ppid=19585 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/19608/task/19632/stat : 19632 (java) S 19585 19585 18413 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510503533 8616062976 29847 33554432000 4194304 4196468 140731609417472 139707501493776 139710443517085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19640] ppid=19585 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/19608/task/19640/stat : 19640 (java) S 19585 19585 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510503535 8616062976 29847 33554432000 4194304 4196468 140731609417472 139706964630576 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
Current children cumulated CPU time: 1179.93 s
Current children cumulated vsize: 9275384 KiB
Current children cumulated memory: 681228 KiB

[startup+174.401 s]
/proc/loadavg: 5.39 5.87 6.47 2/217 19659
/proc/meminfo: memFree=28230832/32770624 swapFree=66999256/67108860
[pid=19585] ppid=19582 vsize=113128 memory=1476 CPUtime=12.03 cores=0-7
/proc/19585/stat : 19585 (scop.sh) S 19582 19585 18413 0 -1 4202496 582 31397 0 0 0 0 1172 31 20 0 1 0 510503017 115843072 369 33554432000 4194304 5098028 140728239095520 140728239092264 140567477838460 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12845056 140728239100709 140728239101036 140728239101036 140728239103949 0
/proc/19585/statm: 28282 369 311 221 0 87 0
[pid=19608] ppid=19585 vsize=8414124 memory=119388 CPUtime=1.35 cores=0-7
/proc/19608/stat : 19608 (java) S 19585 19585 18413 0 -1 1077944320 20360 0 0 0 125 10 0 0 20 0 24 0 510503458 8616062976 29847 33554432000 4194304 4196468 140731609417472 140731609400016 139710443495159 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
/proc/19608/statm: 2103531 29847 3205 1 0 2064875 0
[pid=19628] ppid=19608 vsize=748132 memory=560364 CPUtime=1166.94 cores=0-7
/proc/19628/stat : 19628 (manyglucose-4.1) S 19608 19585 18413 0 -1 1077944320 975427 0 0 0 116489 205 0 0 20 0 2 0 510503532 766087168 140091 33554432000 4194304 4454172 140737437953312 140737437951696 140027597233911 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 19480576 140737437954921 140737437955120 140737437955120 140737437958074 0
/proc/19628/statm: 187033 140091 419 64 0 182701 0
[pid=19628/tid=19634] ppid=19608 vsize=748132 memory=560364 CPUtime=168.36 cores=0-7
/proc/19628/task/19634/stat : 19634 (manyglucose-4.1) R 19608 19585 18413 0 -1 4202560 133585 0 0 0 16812 24 0 0 20 0 2 0 510503535 766087168 140091 33554432000 4194304 4454172 140737437953312 140027573623944 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 19480576 140737437954921 140737437955120 140737437955120 140737437958074 0
[pid=19608/tid=19609] ppid=19585 vsize=8414124 memory=1764 CPUtime=0.77 cores=0-7
/proc/19608/task/19609/stat : 19609 (java) S 19585 19585 18413 0 -1 1077944384 16986 0 0 0 71 6 0 0 20 0 24 0 510503458 8616062976 29847 33554432000 4194304 4196468 140731609417472 139710415335328 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19610] ppid=19585 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/19608/task/19610/stat : 19610 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139710447738000 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19611] ppid=19585 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/19608/task/19611/stat : 19611 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709928606736 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19612] ppid=19585 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/19608/task/19612/stat : 19612 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709927553936 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19613] ppid=19585 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19608/task/19613/stat : 19613 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709926501136 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19614] ppid=19585 vsize=8414124 memory=119388 CPUtime=0 cores=0-7
/proc/19608/task/19614/stat : 19614 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709925448336 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19615] ppid=19585 vsize=8414124 memory=560088 CPUtime=0 cores=0-7
/proc/19608/task/19615/stat : 19615 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709924395536 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19616] ppid=19585 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/19608/task/19616/stat : 19616 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709923342736 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19617] ppid=19585 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/19608/task/19617/stat : 19617 (java) S 19585 19585 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510503459 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709922289936 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19618] ppid=19585 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/19608/task/19618/stat : 19618 (java) S 19585 19585 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510503461 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709536922480 139710443506306 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19619] ppid=19585 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/19608/task/19619/stat : 19619 (java) S 19585 19585 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510503461 8616062976 29847 33554432000 4194304 4196468 140731609417472 139708910790176 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19620] ppid=19585 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/19608/task/19620/stat : 19620 (java) S 19585 19585 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510503461 8616062976 29847 33554432000 4194304 4196468 140731609417472 139708776568176 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19621] ppid=19585 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/19608/task/19621/stat : 19621 (java) S 19585 19585 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139708402063696 139710443513755 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19622] ppid=19585 vsize=8414124 memory=8560 CPUtime=0.06 cores=0-7
/proc/19608/task/19622/stat : 19622 (java) S 19585 19585 18413 0 -1 1077944384 683 0 0 0 6 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709535869296 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19623] ppid=19585 vsize=8414124 memory=1712 CPUtime=0.05 cores=0-7
/proc/19608/task/19623/stat : 19623 (java) S 19585 19585 18413 0 -1 1077944384 183 0 0 0 5 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709534816496 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19624] ppid=19585 vsize=8414124 memory=1112 CPUtime=0.07 cores=0-7
/proc/19608/task/19624/stat : 19624 (java) S 19585 19585 18413 0 -1 1077944384 321 0 0 0 7 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709533763696 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19625] ppid=19585 vsize=8414124 memory=1004 CPUtime=0.21 cores=0-7
/proc/19608/task/19625/stat : 19625 (java) S 19585 19585 18413 0 -1 1077944384 749 0 0 0 21 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709532710896 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19626] ppid=19585 vsize=8414124 memory=6084 CPUtime=0 cores=0-7
/proc/19608/task/19626/stat : 19626 (java) S 19585 19585 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139707904158816 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19627] ppid=19585 vsize=8414124 memory=14008 CPUtime=0.12 cores=0-7
/proc/19608/task/19627/stat : 19627 (java) S 19585 19585 18413 0 -1 1077944384 13 0 0 0 0 12 0 0 20 0 24 0 510503464 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709531659312 139710443506306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19629] ppid=19585 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/19608/task/19629/stat : 19629 (java) S 19585 19585 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510503533 8616062976 29847 33554432000 4194304 4196468 140731609417472 139709523625536 139710443519769 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19631] ppid=19585 vsize=8414124 memory=35592 CPUtime=0 cores=0-7
/proc/19608/task/19631/stat : 19631 (java) S 19585 19585 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510503533 8616062976 29847 33554432000 4194304 4196468 140731609417472 139707233058448 139710443517085 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19632] ppid=19585 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/19608/task/19632/stat : 19632 (java) S 19585 19585 18413 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510503533 8616062976 29847 33554432000 4194304 4196468 140731609417472 139707501493776 139710443517085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
[pid=19608/tid=19640] ppid=19585 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/19608/task/19640/stat : 19640 (java) S 19585 19585 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510503535 8616062976 29847 33554432000 4194304 4196468 140731609417472 139706964630576 139710443505365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14622720 140731609420791 140731609420950 140731609420950 140731609423823 0
Current children cumulated CPU time: 1180.32 s
Current children cumulated vsize: 9275384 KiB
Current children cumulated memory: 681228 KiB

Child status: 0
Real time (s): 174.486
CPU time (s): 1180.49
CPU user time (s): 1177.97
CPU system time (s): 2.51634
CPU usage (%): 676.552
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1044756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1177.97
system time used= 2.51634
maximum resident set size= 1049172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19727
involuntary context switches= 9902


# summary of solver processes directly reported to runsolver:
#   pid: 19585
#   total CPU time (s): 1180.49
#   total CPU user time (s): 1177.97
#   total CPU system time (s): 2.51634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.74452 second user time and 2.43483 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-24 18:27:20
IDJOB=4405326
IDBENCH=134571
IDSOLVER=2867
FILE ID=node103/4405326-1569342500
RUNJOBID= node103-1569335920-18440
PBS_JOBID= 21705072
Free space on /tmp= 20860 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-0_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-4405326-1569342500/watcher-4405326-1569342500 -o /tmp/evaluation-result-4405326-1569342500/solver-4405326-1569342500 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --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-4405326-1569342500.xml

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

MD5SUM BENCH= e5c3d43a301dadc2ad5fa4651c286aba
RANDOM SEED=586788715

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28899696 kB
MemAvailable:   31851736 kB
Buffers:           49528 kB
Cached:          3178804 kB
SwapCached:         7000 kB
Active:          3133468 kB
Inactive:         110400 kB
Active(anon):       3400 kB
Inactive(anon):    69352 kB
Active(file):    3130068 kB
Inactive(file):    41048 kB
Unevictable:      107056 kB
Mlocked:          107056 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             20276 kB
Writeback:             0 kB
AnonPages:        124104 kB
Mapped:            57524 kB
Shmem:             49080 kB
Slab:             222140 kB
SReclaimable:     193520 kB
SUnreclaim:        28620 kB
KernelStack:        3712 kB
PageTables:         5764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20840 MiB
End job on node103 at 2019-09-24 18:30:15