Trace number 4392800

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10451-serial-file.bin HOME/instance-4392800-1568436552.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 06:48:31 CEST 2019
0.66/0.57	c PID: 10454
0.66/0.57	c IP: 172.20.3.143
0.66/0.57	c HOST: node143.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.04/1.13	c (0,0) Parsing End
2.04/1.14	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.04/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.14	c (0,0) Constraint Name Generate Begin
2.04/1.15	c (0,0) Ctr:HOME/instance-4392800-1568436552.xml,ExtensionConflict:ExtensionSupport:Var
2.04/1.15	c (0,0) Constraint Name Generate End
2.04/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.15	c (0,0) CSP to CSPinCNF Begin
3.13/1.66	c (1,1) translated 127 (10%) constraints
3.50/1.77	c (1,1) translated 253 (20%) constraints
3.91/1.84	c (1,1) translated 379 (30%) constraints
4.33/1.91	c (1,1) translated 505 (40%) constraints
4.33/1.97	c (1,1) translated 631 (50%) constraints
4.77/2.03	c (1,1) translated 757 (60%) constraints
5.17/2.17	c (1,1) translated 883 (70%) constraints
6.09/2.43	c (1,1) translated 1009 (80%) constraints
6.33/2.66	c (2,2) translated 1135 (90%) constraints
6.87/2.98	c (2,2) translated 1261 (100%) constraints
6.87/2.98	c (2,2) ===========================================
6.87/3.00	c (2,2) Hybrid: #OE=793, #LE=0
6.87/3.00	c (2,2) Hybrid
6.87/3.00	c (2,2) ===========================================
7.27/3.07	c (2,2) translated 1883 (10%) constraints
7.66/3.13	c (2,2) translated 3765 (20%) constraints
8.04/3.31	c (2,2) translated 5647 (30%) constraints
8.04/3.36	c (2,2) translated 7529 (40%) constraints
8.44/3.42	c (2,2) translated 9411 (50%) constraints
8.44/3.47	c (2,2) translated 11294 (60%) constraints
8.83/3.52	c (2,2) translated 13176 (70%) constraints
8.83/3.56	c (3,2) translated 15058 (80%) constraints
9.16/3.60	c (3,2) translated 16940 (90%) constraints
9.16/3.64	c (3,2) translated 18822 (100%) constraints
9.16/3.64	c (3,2) CSP to CSPinCNF End
9.16/3.64	c (3,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
9.16/3.64	c (3,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.16/3.64	c (3,2) CSPinCNF Propagation Begin
10.15/3.99	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.15/3.99	c (3,3) CSPinCNF Propagation End
10.15/3.99	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.15/3.99	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.44/4.01	c (3,3) Hybrid: #OE=793, #LE=0
10.44/4.01	c (3,3) Simplify CSPinCNF Begin
10.44/4.06	c (3,3) Simplify CSPinCNF End
10.44/4.06	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.44/4.06	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.44/4.06	c (3,3) Calculate Precise Domain Begin
10.44/4.06	c (3,3) 0 values are removed by re-calculation
10.44/4.06	c (3,3) Calculate Precise Domain End
10.44/4.06	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.44/4.06	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.44/4.06	c (3,3) CSPinCNF to SatSolver Begin
11.02/4.21	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
11.02/4.27	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.42/4.32	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.42/4.35	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.42/4.38	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.82/4.41	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.82/4.43	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.82/4.44	c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.82/4.46	c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.82/4.47	c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.82/4.47	c (3,3) CSPinCNF to SatSolver End
11.82/4.47	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.82/4.47	c (3,3) 2482 bool, 15697 clause
11.82/4.47	c (3,3) Export Begin
12.09/4.58	c (4,3) Export to HOME/scop-10451-serial-file.bin
12.09/4.58	c (4,3) Export End
12.09/4.58	c (4,3) Export File Size: 0.02 MB
12.09/4.58	c (4,3) 0,0,3,3,3,3,3,STOP-AFTER(DIMACS)
12.09/4.58	c END-Prog: Sat Sep 14 06:48:35 CEST 2019
0.00/4.61	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10451-serial-file.bin
12.78/5.06	c (0,0) Read Serial File Begin
12.78/5.06	c (0,0) HOME/scop-10451-serial-file.bin
13.04/5.29	c (0,0) Read Serial File End
13.22/5.30	
13.22/5.30	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
13.22/5.30	(Solving Process)
13.22/5.30	
13.22/5.32	c BEGIN-Prog: Sat Sep 14 06:48:36 CEST 2019
13.22/5.32	c PID: 10474
13.22/5.32	c IP: 172.20.3.143
13.22/5.32	c HOST: node143.alineos.net
13.22/5.33	c (0,0) SatSolver.solve Begin
13.22/5.33	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392800-1568436552.xml-scop-10454.cnf
13.22/5.35	c (0,0) c
13.22/5.35	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.22/5.35	c (0,0) c
13.22/5.35	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.22/5.35	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.22/5.35	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.22/5.35	c (0,0) c |                                                                                                       |
13.22/5.35	c (0,0) c |  Number of variables:          2480                                                                   |
13.22/5.35	c (0,0) c |  Number of clauses:           15697                                                                   |
13.22/5.35	c (0,0) c |  Parse time:                   0.01 s                                                                 |
13.22/5.35	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.22/5.35	c (0,0) c |                                                                                                       |
13.22/5.36	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.22/5.36	c (0,0) c |                                                                                                       |
13.22/5.36	c (0,0) c |  Generating clones                                                                                    |
13.22/5.37	c (0,0) c |  all clones generated. Memory =    32.06Mb.                                                           |
13.22/5.37	c (0,0) c ========================================================================================================|
13.22/5.37	c (0,0) c
13.22/5.37	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.22/5.37	c (0,0) c
13.22/5.37	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.22/5.37	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.22/5.37	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.22/5.37	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.22/5.37	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.22/5.37	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.22/5.37	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.22/5.37	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.22/5.37	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.22/5.37	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.22/5.37	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.22/5.37	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.22/5.37	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.22/5.37	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.22/5.37	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.22/5.37	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.22/5.37	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.22/5.37	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.22/5.37	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
229.69/34.66	c (29,0) c
229.69/34.66	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
229.69/34.66	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
229.69/34.66	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
229.69/34.66	c (29,0) c |  0 |    333 |     538575 |     296318 |     9295 |    64939 |    46153 |   276282 |    14250 |      302 |  20 |  0.847 |
229.69/34.66	c (29,0) c |  1 |    466 |     514228 |     284618 |     9396 |    53226 |    42250 |   280062 |     9776 |      305 |  20 |  0.847 |
229.69/34.66	c (29,0) c |  2 |    378 |     508427 |     283274 |     8963 |    51888 |    40298 |   290289 |    13170 |      308 |  20 |  0.847 |
229.69/34.66	c (29,0) c |  3 |    547 |     575485 |     308676 |     9411 |    41485 |    44504 |   290387 |    15524 |      310 |  20 |  0.847 |
229.69/34.66	c (29,0) c |  4 |    354 |     539084 |     290328 |     9115 |    58939 |    44784 |   288984 |    12474 |      309 |  20 |  0.848 |
229.69/34.66	c (29,0) c |  5 |    488 |     541113 |     297152 |     9482 |    65760 |    40959 |   293030 |    17978 |      314 |  20 |  0.847 |
229.69/34.66	c (29,0) c |  6 |    372 |     543340 |     298841 |     9345 |    67464 |    41688 |   295668 |    11015 |      313 |  20 |  0.847 |
229.69/34.66	c (29,0) c |  7 |    353 |     539345 |     288522 |     9274 |    57146 |    45214 |   277605 |    12317 |      294 |  20 |  0.847 |
229.69/34.66	c (29,0) c 
229.69/34.66	c (29,0) c synthesis     2347730 conflicts   174774726 propagations    10855 conflicts/sec   808099 propagations/sec
229.69/34.66	c (29,0) c real: 29.3097 s, cpu: 216.279 s, memory: 629.37 Mb
424.81/63.66	c (58,0) c
424.81/63.66	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
424.81/63.66	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
424.81/63.66	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
424.81/63.66	c (58,0) c |  0 |    526 |     821472 |     445585 |     9381 |    55396 |    60698 |   396563 |    26527 |      544 |  20 |  0.847 |
424.81/63.66	c (58,0) c |  1 |    569 |     818298 |     445410 |     9511 |    55228 |    62603 |   401575 |    22992 |      560 |  20 |  0.847 |
424.81/63.66	c (58,0) c |  2 |    461 |     765650 |     422673 |     9247 |    76084 |    54639 |   397184 |    22007 |      564 |  20 |  0.847 |
424.81/63.66	c (58,0) c |  3 |    644 |     852560 |     453089 |     9435 |    62897 |    60613 |   379539 |    23943 |      546 |  20 |  0.848 |
424.81/63.66	c (58,0) c |  4 |    440 |     859985 |     456368 |     9350 |    66181 |    61596 |   403954 |    24154 |      564 |  20 |  0.847 |
424.81/63.66	c (58,0) c |  5 |    690 |     842759 |     453704 |     9518 |    63523 |    57793 |   400398 |    29112 |      564 |  20 |  0.848 |
424.81/63.66	c (58,0) c |  6 |    421 |     814702 |     441102 |     9356 |    50918 |    55033 |   405144 |    16536 |      564 |  20 |  0.847 |
424.81/63.66	c (58,0) c |  7 |    494 |     862245 |     456809 |     9416 |    66624 |    58431 |   406643 |    24111 |      564 |  20 |  0.847 |
424.81/63.66	c (58,0) c 
424.81/63.66	c (58,0) c synthesis     3574740 conflicts   264522748 propagations     8697 conflicts/sec   643575 propagations/sec
424.81/63.66	c (58,0) c real: 58.3095 s, cpu: 411.021 s, memory: 695.46 Mb
609.85/92.66	c (87,0) c
609.85/92.66	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
609.85/92.66	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
609.85/92.66	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
609.85/92.66	c (87,0) c |  0 |    621 |    1068051 |     570641 |     9399 |    85455 |    72444 |   474639 |    34540 |      774 |  20 |  0.847 |
609.85/92.66	c (87,0) c |  1 |    643 |    1062223 |     570231 |     9539 |    85053 |    72880 |   478882 |    32252 |      790 |  20 |  0.847 |
609.85/92.66	c (87,0) c |  2 |    516 |    1013588 |     551354 |     9383 |    66170 |    66186 |   481488 |    31770 |      793 |  20 |  0.847 |
609.85/92.66	c (87,0) c |  3 |    710 |    1098374 |     580025 |     9451 |    94840 |    73654 |   470777 |    32355 |      785 |  20 |  0.848 |
609.85/92.66	c (87,0) c |  4 |    557 |    1095707 |     575576 |     9363 |    90387 |    71661 |   481006 |    34119 |      794 |  20 |  0.847 |
609.85/92.66	c (87,0) c |  5 |    739 |    1068971 |     572986 |     9531 |    87803 |    67311 |   481314 |    36717 |      794 |  20 |  0.848 |
609.85/92.66	c (87,0) c |  6 |    486 |    1043942 |     559970 |     9454 |    74787 |    64690 |   485207 |    25834 |      794 |  20 |  0.847 |
609.85/92.66	c (87,0) c |  7 |    574 |    1097363 |     578176 |     9447 |    92987 |    69173 |   483547 |    33332 |      792 |  20 |  0.847 |
609.85/92.66	c (87,0) c 
609.85/92.66	c (87,0) c synthesis     4558960 conflicts   336567887 propagations     7655 conflicts/sec   565167 propagations/sec
609.85/92.66	c (87,0) c real: 87.3097 s, cpu: 595.52 s, memory: 695.46 Mb
797.13/121.66	c (116,0) c
797.13/121.66	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
797.13/121.66	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
797.13/121.66	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
797.13/121.66	c (116,0) c |  0 |    657 |    1272543 |     678752 |     9404 |    88164 |    82632 |   549792 |    41818 |     1009 |  20 |  0.848 |
797.13/121.66	c (116,0) c |  1 |    690 |    1285209 |     683626 |     9551 |    93044 |    84796 |   548481 |    40407 |     1028 |  20 |  0.848 |
797.13/121.66	c (116,0) c |  2 |    553 |    1229787 |     661579 |     9403 |    70994 |    76649 |   555693 |    40269 |     1029 |  20 |  0.847 |
797.13/121.66	c (116,0) c |  3 |    769 |    1325147 |     691620 |     9459 |   101035 |    81592 |   554094 |    42803 |     1029 |  20 |  0.847 |
797.13/121.66	c (116,0) c |  4 |    606 |    1311176 |     686466 |     9377 |    95879 |    82137 |   552782 |    42150 |     1029 |  20 |  0.847 |
797.13/121.66	c (116,0) c |  5 |    760 |    1279537 |     682473 |     9538 |    91881 |    80506 |   553641 |    44069 |     1028 |  20 |  0.848 |
797.13/121.66	c (116,0) c |  6 |    540 |    1266836 |     673604 |     9494 |    83013 |    74116 |   556013 |    35900 |     1029 |  20 |  0.847 |
797.13/121.66	c (116,0) c |  7 |    630 |    1320033 |     690967 |     9462 |   100383 |    79447 |   554636 |    42604 |     1028 |  20 |  0.847 |
797.13/121.66	c (116,0) c 
797.13/121.66	c (116,0) c synthesis     5449088 conflicts   402082317 propagations     6964 conflicts/sec   513852 propagations/sec
797.13/121.66	c (116,0) c real: 116.311 s, cpu: 782.486 s, memory: 725.20 Mb
994.84/151.67	c (146,0) c
994.84/151.67	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
994.84/151.67	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
994.84/151.67	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
994.84/151.67	c (146,0) c |  0 |    691 |    1455355 |     770275 |     9413 |    63886 |    90688 |   601080 |    49296 |     1234 |  20 |  0.847 |
994.84/151.67	c (146,0) c |  1 |    734 |    1467307 |     775781 |     9563 |    69393 |    91840 |   606043 |    48396 |     1252 |  20 |  0.847 |
994.84/151.67	c (146,0) c |  2 |    610 |    1416345 |     754690 |     9417 |   107506 |    85457 |   603414 |    48909 |     1254 |  20 |  0.847 |
994.84/151.67	c (146,0) c |  3 |    803 |    1497272 |     779859 |     9468 |    73470 |    89769 |   604221 |    49913 |     1242 |  20 |  0.847 |
994.84/151.67	c (146,0) c |  4 |    668 |    1502865 |     780956 |     9388 |    74570 |    87954 |   609186 |    49860 |     1251 |  20 |  0.847 |
994.84/151.67	c (146,0) c |  5 |    814 |    1462159 |     772954 |     9549 |    66574 |    85389 |   611674 |    53348 |     1254 |  20 |  0.847 |
994.84/151.67	c (146,0) c |  6 |    603 |    1454168 |     766343 |     9510 |    59950 |    82501 |   615598 |    42696 |     1253 |  20 |  0.848 |
994.84/151.67	c (146,0) c |  7 |    678 |    1507778 |     785184 |     9472 |    78799 |    89379 |   609047 |    50475 |     1254 |  20 |  0.848 |
994.84/151.67	c (146,0) c 
994.84/151.67	c (146,0) c synthesis     6186042 conflicts   458033030 propagations     6315 conflicts/sec   467605 propagations/sec
994.84/151.67	c (146,0) c real: 146.31 s, cpu: 979.53 s, memory: 861.98 Mb
1073.39/163.33	c (158,0) c
1073.39/163.33	c (158,0) c real time : 157.981 s
1073.39/163.33	c (158,0) c cpu time  : 1057.51 s
1073.39/163.33	c (158,0) c
1073.39/163.33	c (158,0) c
1073.39/163.33	c (158,0) c
1073.39/163.33	c (158,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1073.39/163.33	c (158,0) c
1073.39/163.33	c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1073.39/163.33	c (158,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1073.39/163.33	c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1073.39/163.33	c (158,0) c | Conflicts     |         6445152 |     809147 |     807884 |     785450 |     812532 |     810537 |     803023 |     802028 |     814551 |
1073.39/163.33	c (158,0) c | Decisions     |        12281948 |    1532288 |    1532156 |    1478617 |    1560585 |    1561729 |    1519721 |    1527183 |    1569669 |
1073.39/163.33	c (158,0) c | Propagations  |       478507203 |   59624925 |   60153726 |   58809316 |   59817030 |   60146026 |   59374584 |   59824506 |   60757090 |
1073.39/163.33	c (158,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
1073.39/163.33	c (158,0) c | SimpDBs       |              80 |          9 |         12 |          7 |         10 |         10 |         11 |         11 |         10 |
1073.39/163.33	c (158,0) c | Restarts      |            5687 |        705 |        745 |        617 |        813 |        689 |        821 |        607 |        690 |
1073.39/163.33	c (158,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1073.39/163.33	c (158,0) c | PropBinClauses|      1067037025 |  132515229 |  133084803 |  133208442 |  131982232 |  134266780 |  131900795 |  134536380 |  135542364 |
1073.39/163.33	c (158,0) c | PropPreBlocker|     35955686906 | 4550116709 | 4470500413 | 4447671852 | 4518674369 | 4493885201 | 4482601138 | 4476428604 | 4515808620 |
1073.39/163.33	c (158,0) c | PropNotBlocker|      5986447995 |  744338802 |  754372898 |  753141329 |  746933700 |  748493550 |  748129997 |  747182125 |  743855594 |
1073.39/163.33	c (158,0) c | LitFullScans  |     64191848089 | 8023195430 | 8023135801 | 8024037763 | 8023313994 | 8023279208 | 8023380990 | 8028337531 | 8023167372 |
1073.39/163.33	c (158,0) c | LitScanFracts |        10769408 |    1183655 |    1128370 |    2032540 |    1305250 |    1272086 |    1369587 |    1331637 |    1146283 |
1073.39/163.33	c (158,0) c | DecisionLevel0|            5787 |        718 |        759 |        628 |        826 |        702 |        831 |        622 |        701 |
1073.39/163.33	c (158,0) c | Periods       |           10696 |       1337 |       1337 |       1337 |       1337 |       1337 |       1337 |       1337 |       1337 |
1073.39/163.33	c (158,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1073.39/163.33	c (158,0) c | Avg_Trail     |                 |        633 |        632 |        620 |        637 |        630 |        630 |        636 |        633 |
1073.39/163.33	c (158,0) c | Avg_DL        |                 |         22 |         21 |         21 |         23 |         21 |         21 |         22 |         21 |
1073.39/163.33	c (158,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1073.39/163.33	c (158,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1073.39/163.33	c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1073.39/163.33	c (158,0) c | Exported      |          729873 |      93761 |      95017 |      88435 |      93772 |      90426 |      89526 |      87082 |      91854 |
1073.39/163.33	c (158,0) c | Imported      |         5048522 |     627404 |     629317 |     629100 |     627919 |     630448 |     635340 |     638066 |     630928 |
1073.39/163.33	c (158,0) c | Good          |           14901 |       1849 |       1867 |       1853 |       1849 |       1839 |       1884 |       1895 |       1865 |
1073.39/163.33	c (158,0) c | Purge         |         5033621 |     625555 |     627450 |     627247 |     626070 |     628609 |     633456 |     636171 |     629063 |
1073.39/163.33	c (158,0) c | Promoted      |          418024 |      52521 |      51456 |      52262 |      53261 |      52981 |      56173 |      45466 |      53904 |
1073.39/163.33	c (158,0) c | Remove_Imp    |         3890015 |     482391 |     478544 |     498497 |     478668 |     484708 |     489348 |     497120 |     480739 |
1073.39/163.33	c (158,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1073.39/163.33	c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1073.39/163.33	c (158,0) c | Unaries       |                 |         13 |         14 |         11 |         13 |         13 |         10 |         15 |         11 |
1073.39/163.33	c (158,0) c | Binaries      |                 |        272 |        291 |        251 |        277 |        280 |        272 |        276 |        276 |
1073.39/163.33	c (158,0) c | Glues         |                 |        987 |       1064 |       1020 |       1055 |        984 |       1022 |       1001 |        982 |
1073.39/163.33	c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1073.39/163.33	c (158,0) c | Orig_Seen     |            87 % |       9415 |       9565 |       9423 |       9470 |       9393 |       9554 |       9515 |       9481 |
1073.39/163.33	c (158,0) c | Diff Orig seen|                 | -      100 |         50 | -       92 | -       45 | -      122 |         39 |      X     | -       34 |
1073.39/163.33	c (158,0) c | Hamming       |            10 % |        305 |        302 |        291 |        254 |        256 |        248 |      X     |        233 |
1073.39/163.33	c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1073.39/163.33	c (158,0) c | RunningTime   |                 |  155.7  99%|  152.5  97%|  125.5  80%|  152.0  97%|  134.6  86%|  109.1  70%|  108.4  69%|  126.6  81%|
1073.39/163.33	c (158,0) c | WaitingTime   |                 |    1.8   1%|    3.7   2%|   31.3  20%|    4.5   3%|   21.9  14%|   46.7  30%|   47.4  30%|   29.5  19%|
1073.39/163.33	c (158,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.3   0%|
1073.39/163.33	c (158,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%|
1073.39/163.33	c (158,0) c | SolvingTime   |                 |  157.9     |  156.5     |  157.2     |  156.8     |  156.9     |  156.2     |  156.1     |  156.5     |
1073.39/163.33	c (158,0) c | PropagationTim|                 |   99.9  63%|   99.8  64%|  126.7  81%|  100.9  64%|  118.9  76%|  143.1  92%|  139.6  89%|  119.5  76%|
1073.39/163.33	c (158,0) c | AnalysisTime  |                 |   54.5  35%|   53.2  34%|   27.0  17%|   52.3  33%|   34.4  22%|    9.6   6%|   13.1   8%|   33.6  21%|
1073.39/163.33	c (158,0) c | ReductionTime |                 |    1.4   1%|    1.3   1%|    1.4   1%|    1.4   1%|    1.4   1%|    1.3   1%|    1.3   1%|    1.2   1%|
1073.39/163.33	c (158,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.1   0%|
1073.39/163.33	c (158,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%|
1073.39/163.33	c (158,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%|
1073.39/163.33	c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1073.39/163.33	c (158,0) c
1073.39/163.33	c (158,0) c
1073.39/163.33	c (158,0) c Threads : 8
1073.39/163.33	c (158,0) c Winner : 6
1073.39/163.33	c (158,0) c Conflicts_0 : 809147
1073.39/163.33	c (158,0) c Conflicts_1 : 807884
1073.39/163.33	c (158,0) c Conflicts_2 : 785450
1073.39/163.33	c (158,0) c Conflicts_3 : 812532
1073.39/163.33	c (158,0) c Conflicts_4 : 810537
1073.39/163.33	c (158,0) c Conflicts_5 : 803023
1073.39/163.33	c (158,0) c Conflicts_6 : 802028
1073.39/163.33	c (158,0) c Conflicts_7 : 814551
1073.39/163.33	c (158,0) c Conflicts_total : 6445152
1073.39/163.33	c (158,0) c Conflicts_winner : 802028
1073.39/163.33	c (158,0) c Decisions_0 : 1532288
1073.39/163.33	c (158,0) c Decisions_1 : 1532156
1073.39/163.33	c (158,0) c Decisions_2 : 1478617
1073.39/163.33	c (158,0) c Decisions_3 : 1560585
1073.39/163.33	c (158,0) c Decisions_4 : 1561729
1073.39/163.33	c (158,0) c Decisions_5 : 1519721
1073.39/163.33	c (158,0) c Decisions_6 : 1527183
1073.39/163.33	c (158,0) c Decisions_7 : 1569669
1073.39/163.33	c (158,0) c Decisions_total : 12281948
1073.39/163.33	c (158,0) c Decisions_winner : 1527183
1073.39/163.33	c (158,0) c Propagations_0 : 59624925
1073.39/163.33	c (158,0) c Propagations_1 : 60153726
1073.39/163.33	c (158,0) c Propagations_2 : 58809316
1073.39/163.33	c (158,0) c Propagations_3 : 59817030
1073.39/163.33	c (158,0) c Propagations_4 : 60146026
1073.39/163.33	c (158,0) c Propagations_5 : 59374584
1073.39/163.33	c (158,0) c Propagations_6 : 59824506
1073.39/163.33	c (158,0) c Propagations_7 : 60757090
1073.39/163.33	c (158,0) c Propagations_total : 478507203
1073.39/163.33	c (158,0) c Propagations_winner : 59824506
1073.39/163.33	c (158,0) c ReduceDBs_0 : 24
1073.39/163.33	c (158,0) c ReduceDBs_1 : 24
1073.39/163.33	c (158,0) c ReduceDBs_2 : 24
1073.39/163.33	c (158,0) c ReduceDBs_3 : 24
1073.39/163.33	c (158,0) c ReduceDBs_4 : 24
1073.39/163.33	c (158,0) c ReduceDBs_5 : 24
1073.39/163.33	c (158,0) c ReduceDBs_6 : 24
1073.39/163.33	c (158,0) c ReduceDBs_7 : 24
1073.39/163.33	c (158,0) c ReduceDBs_total : 192
1073.39/163.33	c (158,0) c ReduceDBs_winner : 24
1073.39/163.33	c (158,0) c SimpDBs_0 : 9
1073.39/163.33	c (158,0) c SimpDBs_1 : 12
1073.39/163.33	c (158,0) c SimpDBs_2 : 7
1073.39/163.33	c (158,0) c SimpDBs_3 : 10
1073.39/163.33	c (158,0) c SimpDBs_4 : 10
1073.39/163.33	c (158,0) c SimpDBs_5 : 11
1073.39/163.33	c (158,0) c SimpDBs_6 : 11
1073.39/163.33	c (158,0) c SimpDBs_7 : 10
1073.39/163.33	c (158,0) c SimpDBs_total : 80
1073.39/163.33	c (158,0) c SimpDBs_winner : 11
1073.39/163.33	c (158,0) c Restarts_0 : 705
1073.39/163.33	c (158,0) c Restarts_1 : 745
1073.39/163.33	c (158,0) c Restarts_2 : 617
1073.39/163.33	c (158,0) c Restarts_3 : 813
1073.39/163.33	c (158,0) c Restarts_4 : 689
1073.39/163.33	c (158,0) c Restarts_5 : 821
1073.39/163.33	c (158,0) c Restarts_6 : 607
1073.39/163.33	c (158,0) c Restarts_7 : 690
1073.39/163.33	c (158,0) c Restarts_total : 5687
1073.39/163.33	c (158,0) c Restarts_winner : 607
1073.39/163.33	c (158,0) c ForcedImports_0 : 0
1073.39/163.33	c (158,0) c ForcedImports_1 : 0
1073.39/163.33	c (158,0) c ForcedImports_2 : 0
1073.39/163.33	c (158,0) c ForcedImports_3 : 0
1073.39/163.33	c (158,0) c ForcedImports_4 : 0
1073.39/163.34	c (158,0) c ForcedImports_5 : 0
1073.39/163.34	c (158,0) c ForcedImports_6 : 0
1073.39/163.34	c (158,0) c ForcedImports_7 : 0
1073.39/163.34	c (158,0) c ForcedImports_total : 0
1073.39/163.34	c (158,0) c ForcedImports_winner : 0
1073.39/163.34	c (158,0) c PropsBinClauses_0 : 132515229
1073.39/163.34	c (158,0) c PropsBinClauses_1 : 133084803
1073.39/163.34	c (158,0) c PropsBinClauses_2 : 133208442
1073.39/163.34	c (158,0) c PropsBinClauses_3 : 131982232
1073.39/163.34	c (158,0) c PropsBinClauses_4 : 134266780
1073.39/163.34	c (158,0) c PropsBinClauses_5 : 131900795
1073.39/163.34	c (158,0) c PropsBinClauses_6 : 134536380
1073.39/163.34	c (158,0) c PropsBinClauses_7 : 135542364
1073.39/163.34	c (158,0) c PropsBinClauses_total : 1067037025
1073.39/163.34	c (158,0) c PropsBinClauses_winner : 134536380
1073.39/163.34	c (158,0) c PropsPreBlocker_0 : 4550116709
1073.39/163.34	c (158,0) c PropsPreBlocker_1 : 4470500413
1073.39/163.34	c (158,0) c PropsPreBlocker_2 : 4447671852
1073.39/163.34	c (158,0) c PropsPreBlocker_3 : 4518674369
1073.39/163.34	c (158,0) c PropsPreBlocker_4 : 4493885201
1073.39/163.34	c (158,0) c PropsPreBlocker_5 : 4482601138
1073.39/163.34	c (158,0) c PropsPreBlocker_6 : 4476428604
1073.39/163.34	c (158,0) c PropsPreBlocker_7 : 4515808620
1073.39/163.34	c (158,0) c PropsPreBlocker_total : 35955686906
1073.39/163.34	c (158,0) c PropsPreBlocker_winner : 4476428604
1073.39/163.34	c (158,0) c PropsNotBlocker_0 : 744338802
1073.39/163.34	c (158,0) c PropsNotBlocker_1 : 754372898
1073.39/163.34	c (158,0) c PropsNotBlocker_2 : 753141329
1073.39/163.34	c (158,0) c PropsNotBlocker_3 : 746933700
1073.39/163.34	c (158,0) c PropsNotBlocker_4 : 748493550
1073.39/163.34	c (158,0) c PropsNotBlocker_5 : 748129997
1073.39/163.34	c (158,0) c PropsNotBlocker_6 : 747182125
1073.39/163.34	c (158,0) c PropsNotBlocker_7 : 743855594
1073.39/163.34	c (158,0) c PropsNotBlocker_total : 5986447995
1073.39/163.34	c (158,0) c PropsNotBlocker_winner : 747182125
1073.39/163.34	c (158,0) c PropsLitFullScans_0 : 8023195430
1073.39/163.34	c (158,0) c PropsLitFullScans_1 : 8023135801
1073.39/163.34	c (158,0) c PropsLitFullScans_2 : 8024037763
1073.39/163.34	c (158,0) c PropsLitFullScans_3 : 8023313994
1073.39/163.34	c (158,0) c PropsLitFullScans_4 : 8023279208
1073.39/163.34	c (158,0) c PropsLitFullScans_5 : 8023380990
1073.39/163.34	c (158,0) c PropsLitFullScans_6 : 8028337531
1073.39/163.34	c (158,0) c PropsLitFullScans_7 : 8023167372
1073.39/163.34	c (158,0) c PropsLitFullScans_total : 64191848089
1073.39/163.34	c (158,0) c PropsLitFullScans_winner : 8028337531
1073.39/163.34	c (158,0) c LitScanFractions_0 : 1183655
1073.39/163.34	c (158,0) c LitScanFractions_1 : 1128370
1073.39/163.34	c (158,0) c LitScanFractions_2 : 2032540
1073.39/163.34	c (158,0) c LitScanFractions_3 : 1305250
1073.39/163.34	c (158,0) c LitScanFractions_4 : 1272086
1073.39/163.34	c (158,0) c LitScanFractions_5 : 1369587
1073.39/163.34	c (158,0) c LitScanFractions_6 : 1331637
1073.39/163.34	c (158,0) c LitScanFractions_7 : 1146283
1073.39/163.34	c (158,0) c LitScanFractions_total : 10769408
1073.39/163.34	c (158,0) c LitScanFractions_winner : 1331637
1073.39/163.34	c (158,0) c DecisionLevel0_0 : 718
1073.39/163.34	c (158,0) c DecisionLevel0_1 : 759
1073.39/163.34	c (158,0) c DecisionLevel0_2 : 628
1073.39/163.34	c (158,0) c DecisionLevel0_3 : 826
1073.39/163.34	c (158,0) c DecisionLevel0_4 : 702
1073.39/163.34	c (158,0) c DecisionLevel0_5 : 831
1073.39/163.34	c (158,0) c DecisionLevel0_6 : 622
1073.39/163.34	c (158,0) c DecisionLevel0_7 : 701
1073.39/163.34	c (158,0) c DecisionLevel0_total : 5787
1073.39/163.34	c (158,0) c DecisionLevel0_winner : 622
1073.39/163.34	c (158,0) c Periods_0 : 1337
1073.39/163.34	c (158,0) c Periods_1 : 1337
1073.39/163.34	c (158,0) c Periods_2 : 1337
1073.39/163.34	c (158,0) c Periods_3 : 1337
1073.39/163.34	c (158,0) c Periods_4 : 1337
1073.39/163.34	c (158,0) c Periods_5 : 1337
1073.39/163.34	c (158,0) c Periods_6 : 1337
1073.39/163.34	c (158,0) c Periods_7 : 1337
1073.39/163.34	c (158,0) c Periods_total : 10696
1073.39/163.34	c (158,0) c Periods_winner : 1337
1073.39/163.34	c (158,0) c Margin_0 : 20
1073.39/163.34	c (158,0) c Margin_1 : 20
1073.39/163.34	c (158,0) c Margin_2 : 20
1073.39/163.34	c (158,0) c Margin_3 : 20
1073.39/163.34	c (158,0) c Margin_4 : 20
1073.39/163.34	c (158,0) c Margin_5 : 20
1073.39/163.34	c (158,0) c Margin_6 : 20
1073.39/163.34	c (158,0) c Margin_7 : 20
1073.39/163.34	c (158,0) c Margin_total : 160
1073.39/163.34	c (158,0) c Margin_winner : 20
1073.39/163.34	c (158,0) c Exported_0 : 93761
1073.39/163.34	c (158,0) c Exported_1 : 95017
1073.39/163.34	c (158,0) c Exported_2 : 88435
1073.39/163.34	c (158,0) c Exported_3 : 93772
1073.39/163.34	c (158,0) c Exported_4 : 90426
1073.39/163.34	c (158,0) c Exported_5 : 89526
1073.39/163.34	c (158,0) c Exported_6 : 87082
1073.39/163.34	c (158,0) c Exported_7 : 91854
1073.39/163.34	c (158,0) c Exported_total : 729873
1073.39/163.34	c (158,0) c Exported_winner : 87082
1073.39/163.34	c (158,0) c Imported_0 : 627404
1073.39/163.34	c (158,0) c Imported_1 : 629317
1073.39/163.34	c (158,0) c Imported_2 : 629100
1073.39/163.34	c (158,0) c Imported_3 : 627919
1073.39/163.34	c (158,0) c Imported_4 : 630448
1073.39/163.34	c (158,0) c Imported_5 : 635340
1073.39/163.34	c (158,0) c Imported_6 : 638066
1073.39/163.34	c (158,0) c Imported_7 : 630928
1073.39/163.34	c (158,0) c Imported_total : 5048522
1073.39/163.34	c (158,0) c Imported_winner : 638066
1073.39/163.34	c (158,0) c Good_0 : 1849
1073.39/163.34	c (158,0) c Good_1 : 1867
1073.39/163.34	c (158,0) c Good_2 : 1853
1073.39/163.34	c (158,0) c Good_3 : 1849
1073.39/163.34	c (158,0) c Good_4 : 1839
1073.39/163.34	c (158,0) c Good_5 : 1884
1073.39/163.34	c (158,0) c Good_6 : 1895
1073.39/163.34	c (158,0) c Good_7 : 1865
1073.39/163.34	c (158,0) c Good_total : 14901
1073.39/163.34	c (158,0) c Good_winner : 1895
1073.39/163.34	c (158,0) c Purge_0 : 625555
1073.39/163.34	c (158,0) c Purge_1 : 627450
1073.39/163.34	c (158,0) c Purge_2 : 627247
1073.39/163.34	c (158,0) c Purge_3 : 626070
1073.39/163.34	c (158,0) c Purge_4 : 628609
1073.39/163.34	c (158,0) c Purge_5 : 633456
1073.39/163.34	c (158,0) c Purge_6 : 636171
1073.39/163.34	c (158,0) c Purge_7 : 629063
1073.39/163.34	c (158,0) c Purge_total : 5033621
1073.39/163.34	c (158,0) c Purge_winner : 636171
1073.39/163.34	c (158,0) c Promoted_0 : 52521
1073.39/163.34	c (158,0) c Promoted_1 : 51456
1073.39/163.34	c (158,0) c Promoted_2 : 52262
1073.39/163.34	c (158,0) c Promoted_3 : 53261
1073.39/163.34	c (158,0) c Promoted_4 : 52981
1073.39/163.34	c (158,0) c Promoted_5 : 56173
1073.39/163.34	c (158,0) c Promoted_6 : 45466
1073.39/163.34	c (158,0) c Promoted_7 : 53904
1073.39/163.34	c (158,0) c Promoted_total : 418024
1073.39/163.34	c (158,0) c Promoted_winner : 45466
1073.39/163.34	c (158,0) c Remove_Imp_0 : 482391
1073.39/163.34	c (158,0) c Remove_Imp_1 : 478544
1073.39/163.34	c (158,0) c Remove_Imp_2 : 498497
1073.39/163.34	c (158,0) c Remove_Imp_3 : 478668
1073.39/163.34	c (158,0) c Remove_Imp_4 : 484708
1073.39/163.34	c (158,0) c Remove_Imp_5 : 489348
1073.39/163.34	c (158,0) c Remove_Imp_6 : 497120
1073.39/163.34	c (158,0) c Remove_Imp_7 : 480739
1073.39/163.34	c (158,0) c Remove_Imp_total : 3890015
1073.39/163.34	c (158,0) c Remove_Imp_winner : 497120
1073.39/163.34	c (158,0) c Blocked_Reuse_0 : 0
1073.39/163.34	c (158,0) c Blocked_Reuse_1 : 0
1073.39/163.34	c (158,0) c Blocked_Reuse_2 : 0
1073.39/163.34	c (158,0) c Blocked_Reuse_3 : 0
1073.39/163.34	c (158,0) c Blocked_Reuse_4 : 0
1073.39/163.34	c (158,0) c Blocked_Reuse_5 : 0
1073.39/163.34	c (158,0) c Blocked_Reuse_6 : 0
1073.39/163.34	c (158,0) c Blocked_Reuse_7 : 0
1073.39/163.34	c (158,0) c Blocked_Reuse_total : 0
1073.39/163.34	c (158,0) c Blocked_Reuse_winner : 0
1073.39/163.34	c (158,0) c Unaries_0 : 13
1073.39/163.34	c (158,0) c Unaries_1 : 14
1073.39/163.34	c (158,0) c Unaries_2 : 11
1073.39/163.34	c (158,0) c Unaries_3 : 13
1073.39/163.34	c (158,0) c Unaries_4 : 13
1073.39/163.34	c (158,0) c Unaries_5 : 10
1073.39/163.34	c (158,0) c Unaries_6 : 15
1073.39/163.34	c (158,0) c Unaries_7 : 11
1073.39/163.34	c (158,0) c Unaries_total : 100
1073.39/163.34	c (158,0) c Unaries_winner : 15
1073.39/163.34	c (158,0) c Binaries_0 : 272
1073.39/163.34	c (158,0) c Binaries_1 : 291
1073.39/163.34	c (158,0) c Binaries_2 : 251
1073.39/163.34	c (158,0) c Binaries_3 : 277
1073.39/163.34	c (158,0) c Binaries_4 : 280
1073.39/163.34	c (158,0) c Binaries_5 : 272
1073.39/163.34	c (158,0) c Binaries_6 : 276
1073.39/163.34	c (158,0) c Binaries_7 : 276
1073.39/163.34	c (158,0) c Binaries_total : 2195
1073.39/163.34	c (158,0) c Binaries_winner : 276
1073.39/163.34	c (158,0) c Glues_0 : 987
1073.39/163.34	c (158,0) c Glues_1 : 1064
1073.39/163.34	c (158,0) c Glues_2 : 1020
1073.39/163.34	c (158,0) c Glues_3 : 1055
1073.39/163.34	c (158,0) c Glues_4 : 984
1073.39/163.34	c (158,0) c Glues_5 : 1022
1073.39/163.34	c (158,0) c Glues_6 : 1001
1073.39/163.34	c (158,0) c Glues_7 : 982
1073.39/163.34	c (158,0) c Glues_total : 8115
1073.39/163.34	c (158,0) c Glues_winner : 1001
1073.39/163.34	c (158,0) c RunningTime_0 : 155.692013
1073.39/163.34	c (158,0) c RunningTime_1 : 152.462034
1073.39/163.34	c (158,0) c RunningTime_2 : 125.549804
1073.39/163.34	c (158,0) c RunningTime_3 : 151.995343
1073.39/163.34	c (158,0) c RunningTime_4 : 134.627541
1073.39/163.34	c (158,0) c RunningTime_5 : 109.120722
1073.39/163.34	c (158,0) c RunningTime_6 : 108.396647
1073.39/163.34	c (158,0) c RunningTime_7 : 126.577907
1073.39/163.34	c (158,0) c RunningTime_total : 1064.422012
1073.39/163.34	c (158,0) c RunningTime_winner : 108.396647
1073.39/163.34	c (158,0) c WaitingTime_0 : 1.820772
1073.39/163.34	c (158,0) c WaitingTime_1 : 3.730364
1073.39/163.34	c (158,0) c WaitingTime_2 : 31.253004
1073.39/163.34	c (158,0) c WaitingTime_3 : 4.478992
1073.39/163.34	c (158,0) c WaitingTime_4 : 21.907302
1073.39/163.34	c (158,0) c WaitingTime_5 : 46.685931
1073.39/163.34	c (158,0) c WaitingTime_6 : 47.359261
1073.39/163.34	c (158,0) c WaitingTime_7 : 29.542169
1073.39/163.34	c (158,0) c WaitingTime_total : 186.777795
1073.39/163.34	c (158,0) c WaitingTime_winner : 47.359261
1073.39/163.34	c (158,0) c ExchangingTime_0 : 0.349086
1073.39/163.34	c (158,0) c ExchangingTime_1 : 0.334082
1073.39/163.34	c (158,0) c ExchangingTime_2 : 0.354917
1073.39/163.34	c (158,0) c ExchangingTime_3 : 0.349517
1073.39/163.34	c (158,0) c ExchangingTime_4 : 0.388289
1073.39/163.34	c (158,0) c ExchangingTime_5 : 0.336382
1073.39/163.34	c (158,0) c ExchangingTime_6 : 0.366928
1073.39/163.34	c (158,0) c ExchangingTime_7 : 0.322621
1073.39/163.34	c (158,0) c ExchangingTime_total : 2.801822
1073.39/163.34	c (158,0) c ExchangingTime_winner : 0.366928
1073.39/163.34	c (158,0) c PeriodProcTime_0 : 0.017714
1073.39/163.34	c (158,0) c PeriodProcTime_1 : 0.013129
1073.39/163.34	c (158,0) c PeriodProcTime_2 : 0.013519
1073.39/163.34	c (158,0) c PeriodProcTime_3 : 0.016450
1073.39/163.34	c (158,0) c PeriodProcTime_4 : 0.013004
1073.39/163.34	c (158,0) c PeriodProcTime_5 : 0.013030
1073.39/163.34	c (158,0) c PeriodProcTime_6 : 0.012650
1073.39/163.34	c (158,0) c PeriodProcTime_7 : 0.013713
1073.39/163.34	c (158,0) c PeriodProcTime_total : 0.113207
1073.39/163.34	c (158,0) c PeriodProcTime_winner : 0.012650
1073.39/163.34	c (158,0) c SolvingTime_0 : 157.879585
1073.39/163.34	c (158,0) c SolvingTime_1 : 156.539609
1073.39/163.34	c (158,0) c SolvingTime_2 : 157.171243
1073.39/163.34	c (158,0) c SolvingTime_3 : 156.840302
1073.39/163.34	c (158,0) c SolvingTime_4 : 156.936136
1073.39/163.34	c (158,0) c SolvingTime_5 : 156.156066
1073.39/163.34	c (158,0) c SolvingTime_6 : 156.135486
1073.39/163.34	c (158,0) c SolvingTime_7 : 156.456410
1073.39/163.34	c (158,0) c SolvingTime_total : 1254.114837
1073.39/163.34	c (158,0) c SolvingTime_winner : 156.135486
1073.39/163.34	c (158,0) c PropagationTime_0 : 99.881333
1073.39/163.34	c (158,0) c PropagationTime_1 : 99.770696
1073.39/163.34	c (158,0) c PropagationTime_2 : 126.736527
1073.39/163.34	c (158,0) c PropagationTime_3 : 100.942348
1073.39/163.34	c (158,0) c PropagationTime_4 : 118.904187
1073.39/163.34	c (158,0) c PropagationTime_5 : 143.146120
1073.39/163.34	c (158,0) c PropagationTime_6 : 139.583647
1073.39/163.34	c (158,0) c PropagationTime_7 : 119.548763
1073.39/163.34	c (158,0) c PropagationTime_total : 948.513620
1073.39/163.34	c (158,0) c PropagationTime_winner : 139.583647
1073.39/163.34	c (158,0) c AnalysisTime_0 : 54.499067
1073.39/163.34	c (158,0) c AnalysisTime_1 : 53.244687
1073.39/163.34	c (158,0) c AnalysisTime_2 : 26.979384
1073.39/163.34	c (158,0) c AnalysisTime_3 : 52.269403
1073.39/163.34	c (158,0) c AnalysisTime_4 : 34.435040
1073.39/163.34	c (158,0) c AnalysisTime_5 : 9.600459
1073.39/163.34	c (158,0) c AnalysisTime_6 : 13.131915
1073.39/163.34	c (158,0) c AnalysisTime_7 : 33.555509
1073.39/163.34	c (158,0) c AnalysisTime_total : 277.715465
1073.39/163.34	c (158,0) c AnalysisTime_winner : 13.131915
1073.39/163.34	c (158,0) c ReductionTime_0 : 1.370557
1073.39/163.34	c (158,0) c ReductionTime_1 : 1.342070
1073.39/163.34	c (158,0) c ReductionTime_2 : 1.360076
1073.39/163.34	c (158,0) c ReductionTime_3 : 1.419512
1073.39/163.34	c (158,0) c ReductionTime_4 : 1.401378
1073.39/163.34	c (158,0) c ReductionTime_5 : 1.259088
1073.39/163.34	c (158,0) c ReductionTime_6 : 1.302281
1073.39/163.34	c (158,0) c ReductionTime_7 : 1.214941
1073.39/163.34	c (158,0) c ReductionTime_total : 10.669904
1073.39/163.34	c (158,0) c ReductionTime_winner : 1.302281
1073.39/163.34	c (158,0) c SimplifyTime_0 : 0.023006
1073.39/163.34	c (158,0) c SimplifyTime_1 : 0.030483
1073.39/163.34	c (158,0) c SimplifyTime_2 : 0.023512
1073.39/163.34	c (158,0) c SimplifyTime_3 : 0.025841
1073.39/163.34	c (158,0) c SimplifyTime_4 : 0.033833
1073.39/163.34	c (158,0) c SimplifyTime_5 : 0.098742
1073.39/163.34	c (158,0) c SimplifyTime_6 : 0.042513
1073.39/163.34	c (158,0) c SimplifyTime_7 : 0.104515
1073.39/163.34	c (158,0) c SimplifyTime_total : 0.382445
1073.39/163.34	c (158,0) c SimplifyTime_winner : 0.042513
1073.39/163.34	c (158,0) c UsedRateTime_0 : 0.000000
1073.39/163.34	c (158,0) c UsedRateTime_1 : 0.000000
1073.39/163.34	c (158,0) c UsedRateTime_2 : 0.000000
1073.39/163.34	c (158,0) c UsedRateTime_3 : 0.000000
1073.39/163.34	c (158,0) c UsedRateTime_4 : 0.000000
1073.39/163.34	c (158,0) c UsedRateTime_5 : 0.000000
1073.39/163.34	c (158,0) c UsedRateTime_6 : 0.000000
1073.39/163.34	c (158,0) c UsedRateTime_7 : 0.000000
1073.39/163.34	c (158,0) c UsedRateTime_total : 0.000000
1073.39/163.34	c (158,0) c UsedRateTime_winner : 0.000000
1073.39/163.34	c (158,0) c OverlapRateTime_0 : 0.000000
1073.39/163.34	c (158,0) c OverlapRateTime_1 : 0.000000
1073.39/163.34	c (158,0) c OverlapRateTime_2 : 0.000000
1073.39/163.34	c (158,0) c OverlapRateTime_3 : 0.000000
1073.39/163.34	c (158,0) c OverlapRateTime_4 : 0.000000
1073.39/163.34	c (158,0) c OverlapRateTime_5 : 0.000000
1073.39/163.34	c (158,0) c OverlapRateTime_6 : 0.000000
1073.39/163.34	c (158,0) c OverlapRateTime_7 : 0.000000
1073.39/163.34	c (158,0) c OverlapRateTime_total : 0.000000
1073.39/163.34	c (158,0) c OverlapRateTime_winner : 0.000000
1073.39/163.34	c (158,0) c
1073.39/163.34	c (158,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1073.39/163.34	c (158,0) c
1073.39/163.34	c (158,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1073.39/163.34	c (158,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1073.39/163.34	c (158,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1073.39/163.34	c (158,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1073.39/163.34	c (158,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1073.39/163.34	c (158,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1073.39/163.34	c (158,0) c | Initial random_seed   |  373847951 | 1464426043 | 1971369320 |  570472437 |  920522361 | 1549743383 | 2002078161 |  203313826 |
1073.39/163.34	c (158,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1073.39/163.34	c (158,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1073.39/163.34	c (158,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1073.39/163.34	c (158,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1073.39/163.34	c (158,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1073.39/163.34	c (158,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1073.39/163.34	c (158,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1073.39/163.34	c (158,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1073.39/163.34	c (158,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1073.39/163.34	c (158,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1073.39/163.34	c (158,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1073.39/163.34	c (158,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1073.39/163.34	c (158,0) 
1073.39/163.34	c (158,0) s UNSATISFIABLE
1073.39/163.35	c (158,0) SatSolver.solve End
1073.39/163.35	c (158,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1073.39/163.35	c (158,0) Show results Begin
1073.39/163.35	s UNSATISFIABLE
1073.39/163.35	c (158,0) Show results End
1073.39/163.35	c (158,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1073.39/163.36	c (158,0) 158,158,STOP-AFTER(ALL)
1073.39/163.36	c END-Prog: Sat Sep 14 06:51:14 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 (10816 MiB free)
  memory of node 1: 16384 MiB (13302 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=10451, runsolver pid=10448

[startup+0.100137 s]*
/proc/loadavg: 7.28 7.71 7.64 3/211 10473
/proc/meminfo: memFree=24603352/32770624 swapFree=67108848/67108860
[pid=10451] ppid=10448 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10451/stat : 10451 (scop.sh) S 10448 10451 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592549 115843072 349 33554432000 4194304 5098028 140721983516064 140721983513320 140046679757436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20148224 140721983521572 140721983521900 140721983521900 140721983524813 0
/proc/10451/statm: 28282 349 296 221 0 87 0
[pid=10454] ppid=10451 vsize=27314120 memory=106852 CPUtime=0.1 cores=0-7
/proc/10454/stat : 10454 (java) S 10451 10451 10407 0 -1 1077944320 6775 0 0 0 8 2 0 0 20 0 20 0 419592549 27969658880 26713 33554432000 4194304 4196468 140727310856000 140727310838544 140036842835703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
/proc/10454/statm: 6828530 26713 2799 1 0 6790935 0
[pid=10454/tid=10455] ppid=10451 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/10454/task/10455/stat : 10455 (java) R 10451 10451 10407 0 -1 4202560 4889 0 0 0 7 2 0 0 20 0 20 0 419592550 27969658880 26713 33554432000 4194304 4196468 140727310856000 140036814662032 140036826916190 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10456] ppid=10451 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10454/task/10456/stat : 10456 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 26713 33554432000 4194304 4196468 140727310856000 140036847077776 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10457] ppid=10451 vsize=27314120 memory=140137187526272 CPUtime=0 cores=0-7
/proc/10454/task/10457/stat : 10457 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 26713 33554432000 4194304 4196468 140727310856000 140036671719696 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10458] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10458/stat : 10458 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 26713 33554432000 4194304 4196468 140727310856000 140036264327824 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10459] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10459/stat : 10459 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 26713 33554432000 4194304 4196468 140727310856000 140036263275024 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10460] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10460/stat : 10460 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 26713 33554432000 4194304 4196468 140727310856000 140036262222736 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10461] ppid=10451 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10454/task/10461/stat : 10461 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 26713 33554432000 4194304 4196468 140727310856000 140036261169936 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10462] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10462/stat : 10462 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 26713 33554432000 4194304 4196468 140727310856000 140036260117648 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10463] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10463/stat : 10463 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 26713 33554432000 4194304 4196468 140727310856000 140036259064848 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10464] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10464/stat : 10464 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592554 27969658880 26713 33554432000 4194304 4196468 140727310856000 140035834140784 140036842846850 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10465] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10465/stat : 10465 (java) S 10451 10451 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419592554 27969658880 26713 33554432000 4194304 4196468 140727310856000 140034791432992 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10466] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10466/stat : 10466 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592554 27969658880 26713 33554432000 4194304 4196468 140727310856000 140034522997872 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10467] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10467/stat : 10467 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 26713 33554432000 4194304 4196468 140727310856000 140034148489296 140036842854299 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10468] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10468/stat : 10468 (java) S 10451 10451 10407 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 26713 33554432000 4194304 4196468 140727310856000 140035833088624 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10469] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10469/stat : 10469 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 26713 33554432000 4194304 4196468 140727310856000 140035832035824 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10470] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10470/stat : 10470 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 26713 33554432000 4194304 4196468 140727310856000 140035830983536 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10471] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10471/stat : 10471 (java) S 10451 10451 10407 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 26713 33554432000 4194304 4196468 140727310856000 140035829930736 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10472] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10472/stat : 10472 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 26713 33554432000 4194304 4196468 140727310856000 140033650583904 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10473] ppid=10451 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10454/task/10473/stat : 10473 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 26713 33554432000 4194304 4196468 140727310856000 140035828877616 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108248 KiB

[startup+0.210067 s]*
/proc/loadavg: 7.28 7.71 7.64 4/211 10473
/proc/meminfo: memFree=24583296/32770624 swapFree=67108848/67108860
[pid=10451] ppid=10448 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10451/stat : 10451 (scop.sh) S 10448 10451 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592549 115843072 349 33554432000 4194304 5098028 140721983516064 140721983513320 140046679757436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20148224 140721983521572 140721983521900 140721983521900 140721983524813 0
/proc/10451/statm: 28282 349 296 221 0 87 0
[pid=10454] ppid=10451 vsize=27314120 memory=125976 CPUtime=0.24 cores=0-7
/proc/10454/stat : 10454 (java) S 10451 10451 10407 0 -1 1077944320 12397 0 0 0 21 3 0 0 20 0 20 0 419592549 27969658880 31494 33554432000 4194304 4196468 140727310856000 140727310838544 140036842835703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
/proc/10454/statm: 6828530 31494 2940 1 0 6790935 0
[pid=10454/tid=10455] ppid=10451 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10454/task/10455/stat : 10455 (java) R 10451 10451 10407 0 -1 4202560 10127 0 0 0 17 3 0 0 20 0 20 0 419592550 27969658880 31494 33554432000 4194304 4196468 140727310856000 140036814654944 140036824399232 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10456] ppid=10451 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/10454/task/10456/stat : 10456 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 31494 33554432000 4194304 4196468 140727310856000 140036847077776 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10457] ppid=10451 vsize=27314120 memory=140137190615472 CPUtime=0 cores=0-7
/proc/10454/task/10457/stat : 10457 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 31494 33554432000 4194304 4196468 140727310856000 140036671719696 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10458] ppid=10451 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10454/task/10458/stat : 10458 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 31494 33554432000 4194304 4196468 140727310856000 140036264327824 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10459] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10459/stat : 10459 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 31494 33554432000 4194304 4196468 140727310856000 140036263275024 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10460] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10460/stat : 10460 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 31494 33554432000 4194304 4196468 140727310856000 140036262222736 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10461] ppid=10451 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10454/task/10461/stat : 10461 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 31494 33554432000 4194304 4196468 140727310856000 140036261169936 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10462] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10462/stat : 10462 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 31494 33554432000 4194304 4196468 140727310856000 140036260117648 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10463] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10463/stat : 10463 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 31494 33554432000 4194304 4196468 140727310856000 140036259064848 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10464] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10464/stat : 10464 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592554 27969658880 31494 33554432000 4194304 4196468 140727310856000 140035834140784 140036842846850 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10465] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10465/stat : 10465 (java) S 10451 10451 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419592554 27969658880 31494 33554432000 4194304 4196468 140727310856000 140034791432992 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10466] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10466/stat : 10466 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592554 27969658880 31494 33554432000 4194304 4196468 140727310856000 140034522997872 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10467] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10467/stat : 10467 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 31494 33554432000 4194304 4196468 140727310856000 140034148489296 140036842854299 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10468] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10468/stat : 10468 (java) S 10451 10451 10407 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 31494 33554432000 4194304 4196468 140727310856000 140035833088624 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10469] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10469/stat : 10469 (java) S 10451 10451 10407 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 31494 33554432000 4194304 4196468 140727310856000 140035832035824 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10470] ppid=10451 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10454/task/10470/stat : 10470 (java) S 10451 10451 10407 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 31494 33554432000 4194304 4196468 140727310856000 140035830983536 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10471] ppid=10451 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10454/task/10471/stat : 10471 (java) S 10451 10451 10407 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 419592557 27969658880 31494 33554432000 4194304 4196468 140727310856000 140035829930736 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10472] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10472/stat : 10472 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 31494 33554432000 4194304 4196468 140727310856000 140033650583904 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10473] ppid=10451 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10454/task/10473/stat : 10473 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 31494 33554432000 4194304 4196468 140727310856000 140035828877616 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127372 KiB

[startup+0.30948 s]*
/proc/loadavg: 7.28 7.71 7.64 2/211 10473
/proc/meminfo: memFree=24581252/32770624 swapFree=67108848/67108860
[pid=10451] ppid=10448 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10451/stat : 10451 (scop.sh) S 10448 10451 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592549 115843072 349 33554432000 4194304 5098028 140721983516064 140721983513320 140046679757436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20148224 140721983521572 140721983521900 140721983521900 140721983524813 0
/proc/10451/statm: 28282 349 296 221 0 87 0
[pid=10454] ppid=10451 vsize=27314120 memory=129796 CPUtime=0.42 cores=0-7
/proc/10454/stat : 10454 (java) S 10451 10451 10407 0 -1 1077944320 12819 0 0 0 38 4 0 0 20 0 20 0 419592549 27969658880 32449 33554432000 4194304 4196468 140727310856000 140727310838544 140036842835703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
/proc/10454/statm: 6828530 32449 3033 1 0 6790935 0
[pid=10454/tid=10455] ppid=10451 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/10454/task/10455/stat : 10455 (java) R 10451 10451 10407 0 -1 4202560 10365 0 0 0 26 3 0 0 20 0 20 0 419592550 27969658880 32449 33554432000 4194304 4196468 140727310856000 140036814655408 140036826022533 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10456] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10456/stat : 10456 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 32449 33554432000 4194304 4196468 140727310856000 140036847077776 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10457] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10457/stat : 10457 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 32449 33554432000 4194304 4196468 140727310856000 140036671719696 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10458] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10458/stat : 10458 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 32449 33554432000 4194304 4196468 140727310856000 140036264327824 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10459] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10459/stat : 10459 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 32449 33554432000 4194304 4196468 140727310856000 140036263275024 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10460] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10460/stat : 10460 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 32449 33554432000 4194304 4196468 140727310856000 140036262222736 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10461] ppid=10451 vsize=27314120 memory=140137065441967 CPUtime=0 cores=0-7
/proc/10454/task/10461/stat : 10461 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 32449 33554432000 4194304 4196468 140727310856000 140036261169936 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10462] ppid=10451 vsize=27314120 memory=140137065444272 CPUtime=0 cores=0-7
/proc/10454/task/10462/stat : 10462 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 32449 33554432000 4194304 4196468 140727310856000 140036260117648 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10463] ppid=10451 vsize=27314120 memory=140137065446576 CPUtime=0 cores=0-7
/proc/10454/task/10463/stat : 10463 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27969658880 32449 33554432000 4194304 4196468 140727310856000 140036259064848 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10464] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10464/stat : 10464 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592554 27969658880 32449 33554432000 4194304 4196468 140727310856000 140035834140784 140036842846850 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10465] ppid=10451 vsize=27314120 memory=280274130907024 CPUtime=0 cores=0-7
/proc/10454/task/10465/stat : 10465 (java) S 10451 10451 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419592554 27969658880 32449 33554432000 4194304 4196468 140727310856000 140034791432992 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10466] ppid=10451 vsize=27314120 memory=280274130904720 CPUtime=0 cores=0-7
/proc/10454/task/10466/stat : 10466 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592554 27969658880 32449 33554432000 4194304 4196468 140727310856000 140034522997872 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10467] ppid=10451 vsize=27314120 memory=280274130911632 CPUtime=0 cores=0-7
/proc/10454/task/10467/stat : 10467 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 32449 33554432000 4194304 4196468 140727310856000 140034148489296 140036842854299 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10468] ppid=10451 vsize=27314120 memory=280274130852912 CPUtime=0.01 cores=0-7
/proc/10454/task/10468/stat : 10468 (java) S 10451 10451 10407 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 20 0 419592557 27969658880 32449 33554432000 4194304 4196468 140727310856000 140035833088624 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10469] ppid=10451 vsize=27314120 memory=280274130925456 CPUtime=0.02 cores=0-7
/proc/10454/task/10469/stat : 10469 (java) R 10451 10451 10407 0 -1 4202560 103 0 0 0 2 0 0 0 20 0 20 0 419592557 27969658880 32449 33554432000 4194304 4196468 140727310856000 140035832035824 140036826319188 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10470] ppid=10451 vsize=27314120 memory=280274130932368 CPUtime=0.01 cores=0-7
/proc/10454/task/10470/stat : 10470 (java) S 10451 10451 10407 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 419592557 27969658880 32449 33554432000 4194304 4196468 140727310856000 140035830983536 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10471] ppid=10451 vsize=27314120 memory=280274130930064 CPUtime=0.07 cores=0-7
/proc/10454/task/10471/stat : 10471 (java) S 10451 10451 10407 0 -1 1077944384 483 0 0 0 7 0 0 0 20 0 20 0 419592557 27969658880 32449 33554432000 4194304 4196468 140727310856000 140035829930736 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10472] ppid=10451 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10472/stat : 10472 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 32449 33554432000 4194304 4196468 140727310856000 140033650583904 140036842845909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10473] ppid=10451 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10454/task/10473/stat : 10473 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592557 27969658880 32449 33554432000 4194304 4196468 140727310856000 140035828877616 140036842846850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131192 KiB

[startup+0.700858 s]
/proc/loadavg: 7.28 7.71 7.64 2/211 10473
/proc/meminfo: memFree=24559300/32770624 swapFree=67108848/67108860
[pid=10451] ppid=10448 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10451/stat : 10451 (scop.sh) S 10448 10451 10407 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592549 115843072 349 33554432000 4194304 5098028 140721983516064 140721983513320 140046679757436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20148224 140721983521572 140721983521900 140721983521900 140721983524813 0
/proc/10451/statm: 28282 349 296 221 0 87 0
[pid=10454] ppid=10451 vsize=27320392 memory=165248 CPUtime=0.99 cores=0-7
/proc/10454/stat : 10454 (java) S 10451 10451 10407 0 -1 1077944320 20407 0 0 0 94 5 0 0 20 0 20 0 419592549 27976081408 41312 33554432000 4194304 4196468 140727310856000 140727310838544 140036842835703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
/proc/10454/statm: 6830098 41312 3182 1 0 6791447 0
[pid=10454/tid=10455] ppid=10451 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/10454/task/10455/stat : 10455 (java) R 10451 10451 10407 0 -1 4202560 17425 0 0 0 63 4 0 0 20 0 20 0 419592550 27976081408 41312 33554432000 4194304 4196468 140727310856000 140036814670536 140036345303324 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10456] ppid=10451 vsize=27320392 memory=140137065653104 CPUtime=0 cores=0-7
/proc/10454/task/10456/stat : 10456 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27976081408 41312 33554432000 4194304 4196468 140727310856000 140036847077776 140036842845909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10457] ppid=10451 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/10454/task/10457/stat : 10457 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592552 27976081408 41312 33554432000 4194304 4196468 140727310856000 140036671719696 140036842845909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0
[pid=10454/tid=10458] ppid=10451 vsize=27320392 memory=7180 CPUtime=0 cores=0-7
/proc/10454/task/10458/stat : 10458 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592552 27976081408 41312 33554432000 4194304 4196468 140727310856000 140036264327824 140036842845909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30978048 140727310865130 140727310865558 140727310865558 140727310868431 0

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

[pid=10474/tid=10484] ppid=10451 vsize=8414124 memory=-7029379521811233644 CPUtime=0 cores=0-7
/proc/10474/task/10484/stat : 10484 (java) S 10451 10451 10407 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419593013 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468604230256 140469779221122 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10485] ppid=10451 vsize=8414124 memory=8387223549236478041 CPUtime=0 cores=0-7
/proc/10474/task/10485/stat : 10485 (java) S 10451 10451 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419593014 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468448912672 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10486] ppid=10451 vsize=8414124 memory=288289995532534941 CPUtime=0 cores=0-7
/proc/10474/task/10486/stat : 10486 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593014 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468180477552 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10487] ppid=10451 vsize=8414124 memory=-8887403530542150034 CPUtime=0 cores=0-7
/proc/10474/task/10487/stat : 10487 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140467805968976 140469779228571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10488] ppid=10451 vsize=8414124 memory=288230596050944315 CPUtime=0.07 cores=0-7
/proc/10474/task/10488/stat : 10488 (java) S 10451 10451 10407 0 -1 1077944384 597 0 0 0 7 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468603177072 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10489] ppid=10451 vsize=8414124 memory=15544015764327050 CPUtime=0.07 cores=0-7
/proc/10474/task/10489/stat : 10489 (java) S 10451 10451 10407 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468602124272 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10490] ppid=10451 vsize=8414124 memory=4872558044660077418 CPUtime=0.06 cores=0-7
/proc/10474/task/10490/stat : 10490 (java) S 10451 10451 10407 0 -1 1077944384 272 0 0 0 6 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468601071984 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10491] ppid=10451 vsize=8414124 memory=321 CPUtime=0.21 cores=0-7
/proc/10474/task/10491/stat : 10491 (java) S 10451 10451 10407 0 -1 1077944384 756 0 0 0 21 0 0 0 20 0 24 0 419593017 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468600019184 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10492] ppid=10451 vsize=8414124 memory=4714026854056620951 CPUtime=0 cores=0-7
/proc/10474/task/10492/stat : 10492 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419593017 8616062976 30371 33554432000 4194304 4196468 140737009120752 140467308063584 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10493] ppid=10451 vsize=8414124 memory=7447099270015050048 CPUtime=0.09 cores=0-7
/proc/10474/task/10493/stat : 10493 (java) S 10451 10451 10407 0 -1 1077944384 13 0 0 0 3 6 0 0 20 0 24 0 419593017 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468598967088 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10495] ppid=10451 vsize=8414124 memory=7865572170606653489 CPUtime=0 cores=0-7
/proc/10474/task/10495/stat : 10495 (java) S 10451 10451 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419593084 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468590933824 140469779234585 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10497] ppid=10451 vsize=8414124 memory=7452142806842303826 CPUtime=0 cores=0-7
/proc/10474/task/10497/stat : 10497 (java) S 10451 10451 10407 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 419593084 8616062976 30371 33554432000 4194304 4196468 140737009120752 140466905398672 140469779231901 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10498] ppid=10451 vsize=8414124 memory=5941188380403864726 CPUtime=0 cores=0-7
/proc/10474/task/10498/stat : 10498 (java) S 10451 10451 10407 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419593085 8616062976 30371 33554432000 4194304 4196468 140737009120752 140466636963088 140469779231901 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10505] ppid=10451 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10474/task/10505/stat : 10505 (java) S 10451 10451 10407 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419593086 8616062976 30371 33554432000 4194304 4196468 140737009120752 140466368535856 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
Current children cumulated CPU time: 1072.89 s
Current children cumulated vsize: 9269848 KiB
Current children cumulated memory: 732040 KiB

[startup+163.201 s]
/proc/loadavg: 6.42 7.07 7.41 2/218 10525
/proc/meminfo: memFree=23978516/32770624 swapFree=67108848/67108860
[pid=10451] ppid=10448 vsize=113128 memory=1476 CPUtime=12.27 cores=0-7
/proc/10451/stat : 10451 (scop.sh) S 10448 10451 10407 0 -1 4202496 583 32980 0 0 0 0 1198 29 20 0 1 0 419592549 115843072 369 33554432000 4194304 5098028 140721983516064 140721983512808 140046679757436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20148224 140721983521572 140721983521900 140721983521900 140721983524813 0
/proc/10451/statm: 28282 369 311 221 0 87 0
[pid=10474] ppid=10451 vsize=8414124 memory=121484 CPUtime=1.33 cores=0-7
/proc/10474/stat : 10474 (java) S 10451 10451 10407 0 -1 1077944320 20857 0 0 0 124 9 0 0 20 0 24 0 419593010 8616062976 30371 33554432000 4194304 4196468 140737009120752 140737009103296 140469779209975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
/proc/10474/statm: 2103531 30371 3211 1 0 2064875 0
[pid=10494] ppid=10474 vsize=742596 memory=609080 CPUtime=1059.69 cores=0-7
/proc/10494/stat : 10494 (manyglucose-4.1) S 10474 10451 10407 0 -1 1077944320 1306932 0 0 0 105737 232 0 0 20 0 2 0 419593084 760418304 152270 33554432000 4194304 4454172 140727441006960 140727441005344 140716028301047 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 38502400 140727441015657 140727441015856 140727441015856 140727441018810 0
/proc/10494/statm: 185649 152270 419 64 0 181317 0
[pid=10494/tid=10499] ppid=10474 vsize=742596 memory=3924 CPUtime=155.91 cores=0-7
/proc/10494/task/10499/stat : 10499 (manyglucose-4.1) R 10474 10451 10407 0 -1 4202560 154143 0 0 0 15569 22 0 0 20 0 2 0 419593086 760418304 152270 33554432000 4194304 4454172 140727441006960 140716013083656 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 38502400 140727441015657 140727441015856 140727441015856 140727441018810 0
[pid=10474/tid=10475] ppid=10451 vsize=8414124 memory=41448 CPUtime=0.77 cores=0-7
/proc/10474/task/10475/stat : 10475 (java) S 10451 10451 10407 0 -1 1077944384 17515 0 0 0 71 6 0 0 20 0 24 0 419593010 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469751050144 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10476] ppid=10451 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10474/task/10476/stat : 10476 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469783452560 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10477] ppid=10451 vsize=8414124 memory=121484 CPUtime=0 cores=0-7
/proc/10474/task/10477/stat : 10477 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469592013584 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10478] ppid=10451 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10474/task/10478/stat : 10478 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469590961296 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10479] ppid=10451 vsize=8414124 memory=121484 CPUtime=0 cores=0-7
/proc/10474/task/10479/stat : 10479 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469262605328 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10480] ppid=10451 vsize=8414124 memory=609080 CPUtime=0 cores=0-7
/proc/10474/task/10480/stat : 10480 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469261552016 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10481] ppid=10451 vsize=8414124 memory=3924 CPUtime=0 cores=0-7
/proc/10474/task/10481/stat : 10481 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469260499216 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10482] ppid=10451 vsize=8414124 memory=41448 CPUtime=0 cores=0-7
/proc/10474/task/10482/stat : 10482 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469259446928 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10483] ppid=10451 vsize=8414124 memory=1228 CPUtime=0 cores=0-7
/proc/10474/task/10483/stat : 10483 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469258394128 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10484] ppid=10451 vsize=8414124 memory=2352 CPUtime=0 cores=0-7
/proc/10474/task/10484/stat : 10484 (java) S 10451 10451 10407 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419593013 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468604230256 140469779221122 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10485] ppid=10451 vsize=8414124 memory=-8887403530542150034 CPUtime=0 cores=0-7
/proc/10474/task/10485/stat : 10485 (java) S 10451 10451 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419593014 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468448912672 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10486] ppid=10451 vsize=8414124 memory=1792 CPUtime=0 cores=0-7
/proc/10474/task/10486/stat : 10486 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593014 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468180477552 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10487] ppid=10451 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10474/task/10487/stat : 10487 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140467805968976 140469779228571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10488] ppid=10451 vsize=8414124 memory=6788 CPUtime=0.07 cores=0-7
/proc/10474/task/10488/stat : 10488 (java) S 10451 10451 10407 0 -1 1077944384 597 0 0 0 7 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468603177072 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10489] ppid=10451 vsize=8414124 memory=280274130698480 CPUtime=0.07 cores=0-7
/proc/10474/task/10489/stat : 10489 (java) S 10451 10451 10407 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468602124272 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10490] ppid=10451 vsize=8414124 memory=121484 CPUtime=0.06 cores=0-7
/proc/10474/task/10490/stat : 10490 (java) S 10451 10451 10407 0 -1 1077944384 272 0 0 0 6 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468601071984 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10491] ppid=10451 vsize=8414124 memory=609080 CPUtime=0.21 cores=0-7
/proc/10474/task/10491/stat : 10491 (java) S 10451 10451 10407 0 -1 1077944384 756 0 0 0 21 0 0 0 20 0 24 0 419593017 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468600019184 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10492] ppid=10451 vsize=8414124 memory=6628 CPUtime=0 cores=0-7
/proc/10474/task/10492/stat : 10492 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419593017 8616062976 30371 33554432000 4194304 4196468 140737009120752 140467308063584 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10493] ppid=10451 vsize=8414124 memory=8836 CPUtime=0.09 cores=0-7
/proc/10474/task/10493/stat : 10493 (java) S 10451 10451 10407 0 -1 1077944384 13 0 0 0 3 6 0 0 20 0 24 0 419593017 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468598967088 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10495] ppid=10451 vsize=8414124 memory=11044 CPUtime=0 cores=0-7
/proc/10474/task/10495/stat : 10495 (java) S 10451 10451 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419593084 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468590933824 140469779234585 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10497] ppid=10451 vsize=8414124 memory=13252 CPUtime=0 cores=0-7
/proc/10474/task/10497/stat : 10497 (java) S 10451 10451 10407 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 419593084 8616062976 30371 33554432000 4194304 4196468 140737009120752 140466905398672 140469779231901 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10498] ppid=10451 vsize=8414124 memory=15460 CPUtime=0 cores=0-7
/proc/10474/task/10498/stat : 10498 (java) S 10451 10451 10407 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419593085 8616062976 30371 33554432000 4194304 4196468 140737009120752 140466636963088 140469779231901 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10505] ppid=10451 vsize=8414124 memory=1636 CPUtime=0 cores=0-7
/proc/10474/task/10505/stat : 10505 (java) S 10451 10451 10407 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419593086 8616062976 30371 33554432000 4194304 4196468 140737009120752 140466368535856 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
Current children cumulated CPU time: 1073.29 s
Current children cumulated vsize: 9269848 KiB
Current children cumulated memory: 732040 KiB

[startup+163.301 s]
/proc/loadavg: 6.42 7.07 7.41 2/218 10525
/proc/meminfo: memFree=23978516/32770624 swapFree=67108848/67108860
[pid=10451] ppid=10448 vsize=113128 memory=1476 CPUtime=12.27 cores=0-7
/proc/10451/stat : 10451 (scop.sh) S 10448 10451 10407 0 -1 4202496 583 32980 0 0 0 0 1198 29 20 0 1 0 419592549 115843072 369 33554432000 4194304 5098028 140721983516064 140721983512808 140046679757436 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20148224 140721983521572 140721983521900 140721983521900 140721983524813 0
/proc/10451/statm: 28282 369 311 221 0 87 0
[pid=10474] ppid=10451 vsize=8414124 memory=121484 CPUtime=1.33 cores=0-7
/proc/10474/stat : 10474 (java) S 10451 10451 10407 0 -1 1077944320 20857 0 0 0 124 9 0 0 20 0 24 0 419593010 8616062976 30371 33554432000 4194304 4196468 140737009120752 140737009103296 140469779209975 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
/proc/10474/statm: 2103531 30371 3211 1 0 2064875 0
[pid=10494] ppid=10474 vsize=742596 memory=609080 CPUtime=1059.79 cores=0-7
/proc/10494/stat : 10494 (manyglucose-4.1) S 10474 10451 10407 0 -1 1077944320 1306942 0 0 0 105747 232 0 0 20 0 2 0 419593084 760418304 152270 33554432000 4194304 4454172 140727441006960 140727441005344 140716028301047 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 38502400 140727441015657 140727441015856 140727441015856 140727441018810 0
/proc/10494/statm: 185649 152270 419 64 0 181317 0
[pid=10494/tid=10499] ppid=10474 vsize=742596 memory=121484 CPUtime=156.01 cores=0-7
/proc/10494/task/10499/stat : 10499 (manyglucose-4.1) R 10474 10451 10407 0 -1 4202560 154153 0 0 0 15579 22 0 0 20 0 2 0 419593086 760418304 152270 33554432000 4194304 4454172 140727441006960 140716013083656 140716013673003 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 38502400 140727441015657 140727441015856 140727441015856 140727441018810 0
[pid=10474/tid=10475] ppid=10451 vsize=8414124 memory=1476 CPUtime=0.77 cores=0-7
/proc/10474/task/10475/stat : 10475 (java) S 10451 10451 10407 0 -1 1077944384 17515 0 0 0 71 6 0 0 20 0 24 0 419593010 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469751050144 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10476] ppid=10451 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/10474/task/10476/stat : 10476 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469783452560 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10477] ppid=10451 vsize=8414124 memory=3904 CPUtime=0 cores=0-7
/proc/10474/task/10477/stat : 10477 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469592013584 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10478] ppid=10451 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10474/task/10478/stat : 10478 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469590961296 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10479] ppid=10451 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10474/task/10479/stat : 10479 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469262605328 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10480] ppid=10451 vsize=8414124 memory=605652 CPUtime=0 cores=0-7
/proc/10474/task/10480/stat : 10480 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469261552016 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10481] ppid=10451 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10474/task/10481/stat : 10481 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469260499216 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10482] ppid=10451 vsize=8414124 memory=609080 CPUtime=0 cores=0-7
/proc/10474/task/10482/stat : 10482 (java) S 10451 10451 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469259446928 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10483] ppid=10451 vsize=8414124 memory=611060 CPUtime=0 cores=0-7
/proc/10474/task/10483/stat : 10483 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593012 8616062976 30371 33554432000 4194304 4196468 140737009120752 140469258394128 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10484] ppid=10451 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10474/task/10484/stat : 10484 (java) S 10451 10451 10407 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419593013 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468604230256 140469779221122 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10485] ppid=10451 vsize=8414124 memory=121484 CPUtime=0 cores=0-7
/proc/10474/task/10485/stat : 10485 (java) S 10451 10451 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419593014 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468448912672 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10486] ppid=10451 vsize=8414124 memory=610800 CPUtime=0 cores=0-7
/proc/10474/task/10486/stat : 10486 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593014 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468180477552 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10487] ppid=10451 vsize=8414124 memory=121484 CPUtime=0 cores=0-7
/proc/10474/task/10487/stat : 10487 (java) S 10451 10451 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140467805968976 140469779228571 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10488] ppid=10451 vsize=8414124 memory=610980 CPUtime=0.07 cores=0-7
/proc/10474/task/10488/stat : 10488 (java) S 10451 10451 10407 0 -1 1077944384 597 0 0 0 7 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468603177072 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10489] ppid=10451 vsize=8414124 memory=732040 CPUtime=0.07 cores=0-7
/proc/10474/task/10489/stat : 10489 (java) S 10451 10451 10407 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468602124272 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10490] ppid=10451 vsize=8414124 memory=1792 CPUtime=0.06 cores=0-7
/proc/10474/task/10490/stat : 10490 (java) S 10451 10451 10407 0 -1 1077944384 272 0 0 0 6 0 0 0 20 0 24 0 419593016 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468601071984 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10491] ppid=10451 vsize=8414124 memory=8612 CPUtime=0.21 cores=0-7
/proc/10474/task/10491/stat : 10491 (java) S 10451 10451 10407 0 -1 1077944384 756 0 0 0 21 0 0 0 20 0 24 0 419593017 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468600019184 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10492] ppid=10451 vsize=8414124 memory=1192 CPUtime=0 cores=0-7
/proc/10474/task/10492/stat : 10492 (java) S 10451 10451 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419593017 8616062976 30371 33554432000 4194304 4196468 140737009120752 140467308063584 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10493] ppid=10451 vsize=8414124 memory=5536 CPUtime=0.09 cores=0-7
/proc/10474/task/10493/stat : 10493 (java) S 10451 10451 10407 0 -1 1077944384 13 0 0 0 3 6 0 0 20 0 24 0 419593017 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468598967088 140469779221122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10495] ppid=10451 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/10474/task/10495/stat : 10495 (java) S 10451 10451 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419593084 8616062976 30371 33554432000 4194304 4196468 140737009120752 140468590933824 140469779234585 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10497] ppid=10451 vsize=8414124 memory=3668 CPUtime=0 cores=0-7
/proc/10474/task/10497/stat : 10497 (java) S 10451 10451 10407 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 419593084 8616062976 30371 33554432000 4194304 4196468 140737009120752 140466905398672 140469779231901 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10498] ppid=10451 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10474/task/10498/stat : 10498 (java) S 10451 10451 10407 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419593085 8616062976 30371 33554432000 4194304 4196468 140737009120752 140466636963088 140469779231901 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
[pid=10474/tid=10505] ppid=10451 vsize=8414124 memory=121484 CPUtime=0 cores=0-7
/proc/10474/task/10505/stat : 10505 (java) S 10451 10451 10407 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419593086 8616062976 30371 33554432000 4194304 4196468 140737009120752 140466368535856 140469779220181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14217216 140737009124343 140737009124502 140737009124502 140737009127375 0
Current children cumulated CPU time: 1073.39 s
Current children cumulated vsize: 9269848 KiB
Current children cumulated memory: 732040 KiB

Child status: 0
Real time (s): 163.369
CPU time (s): 1073.54
CPU user time (s): 1070.79
CPU system time (s): 2.74846
CPU usage (%): 657.126
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1059136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1070.79
system time used= 2.74845
maximum resident set size= 1063528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1361661
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= 20351
involuntary context switches= 9633


# summary of solver processes directly reported to runsolver:
#   pid: 10451
#   total CPU time (s): 1073.54
#   total CPU user time (s): 1070.79
#   total CPU system time (s): 2.74846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56172 second user time and 2.3572 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-14 06:48:31
IDJOB=4392800
IDBENCH=134580
IDSOLVER=2839
FILE ID=node143/4392800-1568436552
RUNJOBID= node143-1568436511-10434
PBS_JOBID= 21702317
Free space on /tmp= 59272 MiB

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

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

MD5SUM BENCH= a7efa7459c7ca72744d0a792626ba479
RANDOM SEED=188673673

node143.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.73
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.73
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.73
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.73
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:        24697588 kB
MemAvailable:   31753528 kB
Buffers:          199932 kB
Cached:          7146256 kB
SwapCached:            8 kB
Active:          2142760 kB
Inactive:        5254232 kB
Active(anon):       4588 kB
Inactive(anon):   145612 kB
Active(file):    2138172 kB
Inactive(file):  5108620 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             20588 kB
Writeback:             0 kB
AnonPages:        157480 kB
Mapped:            48148 kB
Shmem:             90756 kB
Slab:             266352 kB
SReclaimable:     237608 kB
SUnreclaim:        28744 kB
KernelStack:        3280 kB
PageTables:         5236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59252 MiB
End job on node143 at 2019-09-14 06:51:14