Trace number 4392766

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 1177.89 175.104

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-23514-serial-file.bin HOME/instance-4392766-1568436236.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 06:43:17 CEST 2019
0.65/0.56	c PID: 23517
0.65/0.56	c IP: 172.20.3.135
0.65/0.56	c HOST: node135.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.06/1.12	c (0,0) Parsing End
2.06/1.13	c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28
2.06/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.13	c (0,0) Constraint Name Generate Begin
2.06/1.14	c (0,0) Ctr:HOME/instance-4392766-1568436236.xml,ExtensionConflict:ExtensionSupport:Var
2.06/1.14	c (0,0) Constraint Name Generate End
2.06/1.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.06/1.14	c (0,0) CSP to CSPinCNF Begin
3.18/1.63	c (1,1) translated 127 (10%) constraints
3.60/1.74	c (1,1) translated 253 (20%) constraints
4.01/1.81	c (1,1) translated 379 (30%) constraints
4.01/1.87	c (1,1) translated 505 (40%) constraints
4.43/1.93	c (1,1) translated 631 (50%) constraints
4.43/1.98	c (1,1) translated 757 (60%) constraints
5.26/2.11	c (1,1) translated 883 (70%) constraints
5.86/2.35	c (1,1) translated 1009 (80%) constraints
6.11/2.57	c (2,2) translated 1135 (90%) constraints
6.70/2.88	c (2,2) translated 1261 (100%) constraints
6.70/2.88	c (2,2) ===========================================
7.07/2.90	c (2,2) Hybrid: #OE=793, #LE=0
7.07/2.90	c (2,2) Hybrid
7.07/2.90	c (2,2) ===========================================
7.07/2.97	c (2,2) translated 1883 (10%) constraints
7.52/3.03	c (2,2) translated 3765 (20%) constraints
7.52/3.08	c (2,2) translated 5647 (30%) constraints
7.93/3.14	c (2,2) translated 7529 (40%) constraints
7.93/3.20	c (2,2) translated 9411 (50%) constraints
8.29/3.25	c (2,2) translated 11294 (60%) constraints
8.68/3.31	c (2,2) translated 13176 (70%) constraints
8.68/3.35	c (2,2) translated 15058 (80%) constraints
8.68/3.39	c (2,2) translated 16940 (90%) constraints
9.09/3.44	c (2,2) translated 18822 (100%) constraints
9.09/3.44	c (2,2) CSP to CSPinCNF End
9.09/3.44	c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28
9.09/3.44	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.09/3.44	c (2,2) CSPinCNF Propagation Begin
10.37/4.09	c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed
10.37/4.09	c (3,3) CSPinCNF Propagation End
10.37/4.09	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.37/4.09	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.37/4.10	c (3,3) Hybrid: #OE=793, #LE=0
10.37/4.10	c (3,3) Simplify CSPinCNF Begin
10.41/4.16	c (3,3) Simplify CSPinCNF End
10.41/4.16	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.41/4.16	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.41/4.16	c (3,3) Calculate Precise Domain Begin
10.41/4.16	c (3,3) 0 values are removed by re-calculation
10.41/4.16	c (3,3) Calculate Precise Domain End
10.41/4.16	c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26
10.41/4.16	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.41/4.16	c (3,3) CSPinCNF to SatSolver Begin
10.98/4.30	c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses)
10.98/4.36	c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses)
11.35/4.41	c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses)
11.35/4.45	c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses)
11.35/4.48	c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses)
11.76/4.51	c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses)
11.76/4.53	c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses)
11.76/4.54	c (4,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses)
11.76/4.56	c (4,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses)
11.76/4.57	c (4,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses)
11.76/4.57	c (4,3) CSPinCNF to SatSolver End
11.76/4.57	c (4,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.76/4.57	c (4,3) 2482 bool, 15697 clause
11.76/4.57	c (4,3) Export Begin
12.01/4.68	c (4,3) Export to HOME/scop-23514-serial-file.bin
12.01/4.68	c (4,3) Export End
12.01/4.68	c (4,3) Export File Size: 0.02 MB
12.01/4.68	c (4,3) 0,0,2,3,3,3,4,STOP-AFTER(DIMACS)
12.01/4.68	c END-Prog: Sat Sep 14 06:43:21 CEST 2019
0.00/4.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23514-serial-file.bin
12.71/5.16	c (0,0) Read Serial File Begin
12.71/5.16	c (0,0) HOME/scop-23514-serial-file.bin
12.97/5.39	c (0,0) Read Serial File End
13.15/5.40	
13.15/5.40	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
13.15/5.40	(Solving Process)
13.15/5.40	
13.15/5.42	c BEGIN-Prog: Sat Sep 14 06:43:22 CEST 2019
13.15/5.42	c PID: 23537
13.15/5.42	c IP: 172.20.3.135
13.15/5.42	c HOST: node135.alineos.net
13.15/5.43	c (0,0) SatSolver.solve Begin
13.15/5.43	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392766-1568436236.xml-scop-23517.cnf
13.15/5.46	c (0,0) c
13.15/5.46	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.15/5.46	c (0,0) c
13.15/5.46	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.15/5.46	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.15/5.46	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.15/5.46	c (0,0) c |                                                                                                       |
13.15/5.46	c (0,0) c |  Number of variables:          2480                                                                   |
13.15/5.46	c (0,0) c |  Number of clauses:           15697                                                                   |
13.15/5.46	c (0,0) c |  Parse time:                   0.00 s                                                                 |
13.15/5.46	c (0,0) c |                                                                                                       |
13.15/5.46	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
13.15/5.47	c (0,0) c |  Simplification time:          0.01 s                                                                 |
13.15/5.47	c (0,0) c |                                                                                                       |
13.15/5.47	c (0,0) c |  Generating clones                                                                                    |
13.15/5.47	c (0,0) c |  all clones generated. Memory =    32.07Mb.                                                           |
13.15/5.47	c (0,0) c ========================================================================================================|
13.15/5.47	c (0,0) c
13.15/5.47	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.15/5.47	c (0,0) c
13.15/5.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.15/5.47	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.15/5.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.15/5.47	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.15/5.47	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.15/5.47	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.15/5.47	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.15/5.47	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.15/5.47	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.15/5.47	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.15/5.47	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.15/5.47	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.15/5.47	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.15/5.47	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.15/5.47	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.15/5.47	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.15/5.47	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.15/5.47	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.15/5.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
227.05/35.23	c (30,0) c
227.05/35.23	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
227.05/35.23	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
227.05/35.23	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
227.05/35.23	c (30,0) c |  0 |    290 |     486376 |     262558 |     9178 |    64365 |    37070 |   279705 |    12918 |      272 |  20 |  0.848 |
227.05/35.23	c (30,0) c |  1 |    271 |     489271 |     263786 |     9281 |    65595 |    42329 |   271378 |    10494 |      271 |  20 |  0.847 |
227.05/35.23	c (30,0) c |  2 |    470 |     517699 |     277777 |     9321 |    46393 |    41184 |   272178 |    16077 |      272 |  20 |  0.848 |
227.05/35.23	c (30,0) c |  3 |    408 |     487838 |     267500 |     9274 |    36114 |    40147 |   270886 |    13996 |      272 |  20 |  0.847 |
227.05/35.23	c (30,0) c |  4 |    473 |     518046 |     283846 |     9444 |    52461 |    42052 |   261877 |    15780 |      272 |  20 |  0.848 |
227.05/35.23	c (30,0) c |  5 |    427 |     519748 |     278471 |     9392 |    47081 |    43540 |   273725 |    15841 |      272 |  20 |  0.848 |
227.05/35.23	c (30,0) c |  6 |    420 |     510020 |     272836 |     9452 |    41446 |    43330 |   266599 |    14601 |      272 |  20 |  0.847 |
227.05/35.23	c (30,0) c |  7 |    381 |     488073 |     264181 |     9433 |    65997 |    39023 |   264152 |    12888 |      253 |  20 |  0.847 |
227.05/35.23	c (30,0) c 
227.05/35.23	c (30,0) c synthesis     2170955 conflicts   161376231 propagations    10175 conflicts/sec   756360 propagations/sec
227.05/35.23	c (30,0) c real: 29.7733 s, cpu: 213.359 s, memory: 628.29 Mb
443.86/64.24	c (59,0) c
443.86/64.24	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
443.86/64.24	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
443.86/64.24	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
443.86/64.24	c (59,0) c |  0 |    369 |     762513 |     406906 |     9361 |    60322 |    51105 |   382366 |    25059 |      476 |  20 |  0.848 |
443.86/64.24	c (59,0) c |  1 |    477 |     787492 |     416813 |     9539 |    70221 |    57562 |   382855 |    25363 |      490 |  20 |  0.847 |
443.86/64.24	c (59,0) c |  2 |    531 |     788397 |     423309 |     9366 |    76727 |    59046 |   377927 |    26431 |      491 |  20 |  0.847 |
443.86/64.24	c (59,0) c |  3 |    492 |     779186 |     416280 |     9321 |    69697 |    55278 |   386058 |    26104 |      495 |  20 |  0.847 |
443.86/64.24	c (59,0) c |  4 |    572 |     794780 |     427036 |     9489 |    80442 |    57036 |   385372 |    26694 |      494 |  20 |  0.847 |
443.86/64.24	c (59,0) c |  5 |    471 |     784431 |     417532 |     9426 |    70945 |    58489 |   386278 |    24940 |      496 |  20 |  0.847 |
443.86/64.24	c (59,0) c |  6 |    488 |     789686 |     416805 |     9489 |    70220 |    57110 |   367187 |    25785 |      484 |  20 |  0.847 |
443.86/64.24	c (59,0) c |  7 |    506 |     768944 |     414556 |     9488 |    67968 |    54513 |   370363 |    24138 |      478 |  20 |  0.848 |
443.86/64.24	c (59,0) c 
443.86/64.24	c (59,0) c synthesis     3339237 conflicts   245709457 propagations     7772 conflicts/sec   571919 propagations/sec
443.86/64.24	c (59,0) c real: 58.7833 s, cpu: 429.623 s, memory: 634.40 Mb
653.79/94.23	c (89,0) c
653.79/94.23	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
653.79/94.23	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
653.79/94.23	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
653.79/94.23	c (89,0) c |  0 |    565 |     995005 |     527063 |     9399 |    90676 |    61237 |   465184 |    36103 |      696 |  20 |  0.847 |
653.79/94.23	c (89,0) c |  1 |    605 |    1011207 |     531883 |     9562 |    95491 |    68097 |   456607 |    34345 |      696 |  20 |  0.847 |
653.79/94.23	c (89,0) c |  2 |    578 |    1026764 |     548694 |     9387 |    63511 |    70047 |   465463 |    35947 |      716 |  20 |  0.847 |
653.79/94.23	c (89,0) c |  3 |    596 |    1033648 |     541950 |     9344 |    56767 |    66748 |   468563 |    35803 |      715 |  20 |  0.848 |
653.79/94.23	c (89,0) c |  4 |    612 |    1041721 |     553568 |     9517 |    68387 |    69844 |   461128 |    34881 |      716 |  20 |  0.848 |
653.79/94.23	c (89,0) c |  5 |    499 |    1020369 |     540038 |     9445 |    54848 |    71774 |   463937 |    33897 |      716 |  20 |  0.847 |
653.79/94.23	c (89,0) c |  6 |    553 |    1049384 |     547961 |     9501 |    62773 |    68217 |   462645 |    34855 |      715 |  20 |  0.848 |
653.79/94.23	c (89,0) c |  7 |    598 |    1026475 |     547518 |     9502 |    62331 |    65461 |   469814 |    34449 |      716 |  20 |  0.847 |
653.79/94.23	c (89,0) c 
653.79/94.23	c (89,0) c synthesis     4338676 conflicts   318131834 propagations     6787 conflicts/sec   497658 propagations/sec
653.79/94.23	c (89,0) c real: 88.7733 s, cpu: 639.258 s, memory: 664.54 Mb
837.48/123.23	c (118,0) c
837.48/123.23	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
837.48/123.23	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
837.48/123.23	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
837.48/123.23	c (118,0) c |  0 |    637 |    1203018 |     633060 |     9408 |    96477 |    71853 |   533661 |    44102 |      906 |  20 |  0.847 |
837.48/123.23	c (118,0) c |  1 |    707 |    1203189 |     628756 |     9570 |    92174 |    76901 |   521141 |    41438 |      886 |  20 |  0.848 |
837.48/123.23	c (118,0) c |  2 |    629 |    1210591 |     642255 |     9398 |   105673 |    78312 |   527494 |    42351 |      906 |  20 |  0.847 |
837.48/123.23	c (118,0) c |  3 |    670 |    1220205 |     636453 |     9352 |    99870 |    76221 |   529004 |    43223 |      906 |  20 |  0.847 |
837.48/123.23	c (118,0) c |  4 |    653 |    1227929 |     647689 |     9524 |    57103 |    78646 |   527713 |    42026 |      906 |  20 |  0.847 |
837.48/123.23	c (118,0) c |  5 |    563 |    1210564 |     636293 |     9459 |    99704 |    79291 |   518723 |    41534 |      906 |  20 |  0.848 |
837.48/123.23	c (118,0) c |  6 |    611 |    1233204 |     640446 |     9515 |   103858 |    76715 |   526992 |    42417 |      906 |  20 |  0.847 |
837.48/123.23	c (118,0) c |  7 |    641 |    1211828 |     639628 |     9505 |   103045 |    74767 |   530836 |    42681 |      906 |  20 |  0.847 |
837.48/123.23	c (118,0) c 
837.48/123.23	c (118,0) c synthesis     5104580 conflicts   374415562 propagations     6206 conflicts/sec   455183 propagations/sec
837.48/123.23	c (118,0) c real: 117.773 s, cpu: 822.561 s, memory: 830.96 Mb
1034.13/152.23	c (147,0) c
1034.13/152.23	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1034.13/152.23	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1034.13/152.23	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1034.13/152.23	c (147,0) c |  0 |    677 |    1377101 |     721673 |     9422 |    68139 |    80609 |   591956 |    50546 |     1107 |  20 |  0.887 |
1034.13/152.23	c (147,0) c |  1 |    768 |    1397555 |     725133 |     9577 |    77946 |    85876 |   582979 |    49126 |     1100 |  20 |  0.847 |
1034.13/152.23	c (147,0) c |  2 |    684 |    1401779 |     737273 |     9409 |    90085 |    87392 |   588949 |    50081 |     1120 |  20 |  0.847 |
1034.13/152.23	c (147,0) c |  3 |    734 |    1411968 |     732405 |     9366 |    85218 |    85926 |   586654 |    50800 |     1116 |  20 |  0.848 |
1034.13/152.23	c (147,0) c |  4 |    717 |    1411073 |     738519 |     9534 |    91333 |    86712 |   583550 |    49245 |     1107 |  20 |  0.847 |
1034.13/152.23	c (147,0) c |  5 |    606 |    1402869 |     731981 |     9468 |    84799 |    86544 |   586204 |    48838 |     1114 |  20 |  0.847 |
1034.13/152.23	c (147,0) c |  6 |    631 |    1421926 |     736284 |     9526 |    89091 |    86158 |   583967 |    49654 |     1117 |  20 |  0.848 |
1034.13/152.23	c (147,0) c |  7 |    722 |    1405958 |     735425 |     9516 |    88237 |    81189 |   595029 |    49959 |     1120 |  20 |  0.847 |
1034.13/152.23	c (147,0) c 
1034.13/152.23	c (147,0) c synthesis     5858693 conflicts   431064921 propagations     5751 conflicts/sec   423127 propagations/sec
1034.13/152.23	c (147,0) c real: 146.774 s, cpu: 1018.76 s, memory: 723.81 Mb
1177.72/175.07	c (169,0) c
1177.72/175.07	c (169,0) c real time : 169.615 s
1177.72/175.07	c (169,0) c cpu time  : 1161.91 s
1177.72/175.07	c (169,0) c
1177.72/175.07	c (169,0) c
1177.72/175.07	c (169,0) c
1177.72/175.07	c (169,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1177.72/175.07	c (169,0) c
1177.72/175.07	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1177.72/175.07	c (169,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1177.72/175.07	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1177.72/175.07	c (169,0) c | Conflicts     |         6302146 |     781738 |     784762 |     786690 |     785285 |     795811 |     787303 |     793790 |     786767 |
1177.72/175.07	c (169,0) c | Decisions     |        12115736 |    1498093 |    1517925 |    1500462 |    1513880 |    1528901 |    1512155 |    1537972 |    1506348 |
1177.72/175.07	c (169,0) c | Propagations  |       465742045 |   57881534 |   58024244 |   58011408 |   58638781 |   58281075 |   58431335 |   58818406 |   57655262 |
1177.72/175.07	c (169,0) c | ReduceDBs     |             192 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |         24 |
1177.72/175.07	c (169,0) c | SimpDBs       |              74 |          9 |         11 |          8 |          7 |         11 |          9 |          8 |         11 |
1177.72/175.07	c (169,0) c | Restarts      |            5709 |        699 |        781 |        703 |        755 |        735 |        641 |        657 |        738 |
1177.72/175.07	c (169,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1177.72/175.07	c (169,0) c | PropBinClauses|       985384891 |  124653474 |  122275169 |  123316247 |  123756572 |  121734693 |  123354588 |  124472798 |  121821350 |
1177.72/175.07	c (169,0) c | PropPreBlocker|     33913210104 | 4192721443 | 4225953396 | 4261471866 | 4247094596 | 4244184410 | 4245307400 | 4261630591 | 4234846402 |
1177.72/175.07	c (169,0) c | PropNotBlocker|      5759543139 |  735168159 |  721012054 |  725622287 |  723074670 |  713131724 |  710807573 |  715229863 |  715496809 |
1177.72/175.07	c (169,0) c | LitFullScans  |     60409962824 | 7548485374 | 7543188360 | 7555028518 | 7555047777 | 7542944452 | 7555161898 | 7555045490 | 7555060955 |
1177.72/175.07	c (169,0) c | LitScanFracts |         8662893 |    1277255 |    1171858 |    1018069 |    1036313 |     939049 |    1156912 |    1012680 |    1050757 |
1177.72/175.07	c (169,0) c | DecisionLevel0|            5809 |        720 |        793 |        712 |        767 |        749 |        651 |        668 |        749 |
1177.72/175.07	c (169,0) c | Periods       |           10066 |       1257 |       1257 |       1259 |       1259 |       1257 |       1259 |       1259 |       1259 |
1177.72/175.07	c (169,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1177.72/175.07	c (169,0) c | Avg_Trail     |                 |        626 |        627 |        633 |        631 |        629 |        625 |        628 |        633 |
1177.72/175.07	c (169,0) c | Avg_DL        |                 |         21 |         21 |         22 |         21 |         22 |         21 |         22 |         22 |
1177.72/175.07	c (169,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1177.72/175.07	c (169,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1177.72/175.07	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1177.72/175.07	c (169,0) c | Exported      |          721439 |      85799 |      90920 |      92393 |      91514 |      92085 |      92727 |      90480 |      85521 |
1177.72/175.07	c (169,0) c | Imported      |         4987421 |     630019 |     620691 |     621967 |     624290 |     619316 |     619617 |     621150 |     630371 |
1177.72/175.07	c (169,0) c | Good          |           13857 |       1770 |       1716 |       1761 |       1778 |       1700 |       1713 |       1704 |       1715 |
1177.72/175.07	c (169,0) c | Purge         |         4973564 |     628249 |     618975 |     620206 |     622512 |     617616 |     617904 |     619446 |     628656 |
1177.72/175.07	c (169,0) c | Promoted      |          439829 |      56034 |      54311 |      54990 |      55227 |      54902 |      53184 |      55423 |      55758 |
1177.72/175.07	c (169,0) c | Remove_Imp    |         3933714 |     504329 |     491649 |     487034 |     491316 |     486324 |     487473 |     496269 |     489320 |
1177.72/175.07	c (169,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1177.72/175.07	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1177.72/175.07	c (169,0) c | Unaries       |                 |         21 |         12 |          9 |         12 |         14 |         10 |         11 |         11 |
1177.72/175.07	c (169,0) c | Binaries      |                 |        240 |        254 |        228 |        223 |        287 |        267 |        268 |        278 |
1177.72/175.07	c (169,0) c | Glues         |                 |        912 |       1020 |        962 |        966 |       1051 |        979 |       1009 |       1005 |
1177.72/175.07	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1177.72/175.07	c (169,0) c | Orig_Seen     |            87 % |       9426 |       9581 |       9417 |       9374 |       9543 |       9473 |       9533 |       9519 |
1177.72/175.07	c (169,0) c | Diff Orig seen|                 |      X     |        155 | -        9 | -       52 |        117 |         47 |        107 |         93 |
1177.72/175.07	c (169,0) c | Hamming       |            10 % |      X     |        276 |        249 |        278 |        272 |        259 |        277 |        254 |
1177.72/175.07	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1177.72/175.07	c (169,0) c | RunningTime   |                 |  157.0  93%|  167.3  99%|  126.8  75%|  137.2  82%|  149.5  89%|  137.9  82%|  145.4  86%|  145.1  86%|
1177.72/175.07	c (169,0) c | WaitingTime   |                 |   10.8   6%|    1.9   1%|   41.0  24%|   30.6  18%|   18.4  11%|   29.9  18%|   22.4  13%|   22.6  13%|
1177.72/175.07	c (169,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.3   0%|    0.4   0%|    0.4   0%|    0.4   0%|
1177.72/175.07	c (169,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1177.72/175.07	c (169,0) c | SolvingTime   |                 |  168.1     |  169.5     |  168.2     |  168.2     |  168.2     |  168.2     |  168.2     |  168.2     |
1177.72/175.07	c (169,0) c | PropagationTim|                 |  107.1  64%|  100.4  59%|  134.3  80%|  124.8  74%|  106.9  64%|  121.6  72%|  117.9  70%|  118.4  70%|
1177.72/175.07	c (169,0) c | AnalysisTime  |                 |   57.5  34%|   65.5  39%|   30.4  18%|   39.7  24%|   57.9  34%|   43.0  26%|   46.6  28%|   46.2  27%|
1177.72/175.07	c (169,0) c | ReductionTime |                 |    1.3   1%|    1.5   1%|    1.3   1%|    1.4   1%|    1.3   1%|    1.4   1%|    1.5   1%|    1.4   1%|
1177.72/175.07	c (169,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|
1177.72/175.07	c (169,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1177.72/175.07	c (169,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1177.72/175.07	c (169,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1177.72/175.07	c (169,0) c
1177.72/175.07	c (169,0) c
1177.72/175.07	c (169,0) c Threads : 8
1177.72/175.07	c (169,0) c Winner : 0
1177.72/175.07	c (169,0) c Conflicts_0 : 781738
1177.72/175.07	c (169,0) c Conflicts_1 : 784762
1177.72/175.07	c (169,0) c Conflicts_2 : 786690
1177.72/175.07	c (169,0) c Conflicts_3 : 785285
1177.72/175.07	c (169,0) c Conflicts_4 : 795811
1177.72/175.07	c (169,0) c Conflicts_5 : 787303
1177.72/175.07	c (169,0) c Conflicts_6 : 793790
1177.72/175.07	c (169,0) c Conflicts_7 : 786767
1177.72/175.07	c (169,0) c Conflicts_total : 6302146
1177.72/175.07	c (169,0) c Conflicts_winner : 781738
1177.72/175.07	c (169,0) c Decisions_0 : 1498093
1177.72/175.07	c (169,0) c Decisions_1 : 1517925
1177.72/175.07	c (169,0) c Decisions_2 : 1500462
1177.72/175.07	c (169,0) c Decisions_3 : 1513880
1177.72/175.07	c (169,0) c Decisions_4 : 1528901
1177.72/175.07	c (169,0) c Decisions_5 : 1512155
1177.72/175.07	c (169,0) c Decisions_6 : 1537972
1177.72/175.07	c (169,0) c Decisions_7 : 1506348
1177.72/175.07	c (169,0) c Decisions_total : 12115736
1177.72/175.07	c (169,0) c Decisions_winner : 1498093
1177.72/175.07	c (169,0) c Propagations_0 : 57881534
1177.72/175.07	c (169,0) c Propagations_1 : 58024244
1177.72/175.07	c (169,0) c Propagations_2 : 58011408
1177.72/175.07	c (169,0) c Propagations_3 : 58638781
1177.72/175.07	c (169,0) c Propagations_4 : 58281075
1177.72/175.07	c (169,0) c Propagations_5 : 58431335
1177.72/175.07	c (169,0) c Propagations_6 : 58818406
1177.72/175.07	c (169,0) c Propagations_7 : 57655262
1177.72/175.07	c (169,0) c Propagations_total : 465742045
1177.72/175.07	c (169,0) c Propagations_winner : 57881534
1177.72/175.07	c (169,0) c ReduceDBs_0 : 24
1177.72/175.07	c (169,0) c ReduceDBs_1 : 24
1177.72/175.07	c (169,0) c ReduceDBs_2 : 24
1177.72/175.07	c (169,0) c ReduceDBs_3 : 24
1177.72/175.07	c (169,0) c ReduceDBs_4 : 24
1177.72/175.07	c (169,0) c ReduceDBs_5 : 24
1177.72/175.07	c (169,0) c ReduceDBs_6 : 24
1177.72/175.07	c (169,0) c ReduceDBs_7 : 24
1177.72/175.07	c (169,0) c ReduceDBs_total : 192
1177.72/175.07	c (169,0) c ReduceDBs_winner : 24
1177.72/175.07	c (169,0) c SimpDBs_0 : 9
1177.72/175.07	c (169,0) c SimpDBs_1 : 11
1177.72/175.07	c (169,0) c SimpDBs_2 : 8
1177.72/175.07	c (169,0) c SimpDBs_3 : 7
1177.72/175.07	c (169,0) c SimpDBs_4 : 11
1177.72/175.07	c (169,0) c SimpDBs_5 : 9
1177.72/175.07	c (169,0) c SimpDBs_6 : 8
1177.72/175.07	c (169,0) c SimpDBs_7 : 11
1177.72/175.07	c (169,0) c SimpDBs_total : 74
1177.72/175.07	c (169,0) c SimpDBs_winner : 9
1177.72/175.07	c (169,0) c Restarts_0 : 699
1177.72/175.07	c (169,0) c Restarts_1 : 781
1177.72/175.07	c (169,0) c Restarts_2 : 703
1177.72/175.07	c (169,0) c Restarts_3 : 755
1177.72/175.07	c (169,0) c Restarts_4 : 735
1177.72/175.07	c (169,0) c Restarts_5 : 641
1177.72/175.07	c (169,0) c Restarts_6 : 657
1177.72/175.07	c (169,0) c Restarts_7 : 738
1177.72/175.07	c (169,0) c Restarts_total : 5709
1177.72/175.07	c (169,0) c Restarts_winner : 699
1177.72/175.07	c (169,0) c ForcedImports_0 : 0
1177.72/175.07	c (169,0) c ForcedImports_1 : 0
1177.72/175.07	c (169,0) c ForcedImports_2 : 0
1177.72/175.07	c (169,0) c ForcedImports_3 : 0
1177.72/175.07	c (169,0) c ForcedImports_4 : 0
1177.72/175.07	c (169,0) c ForcedImports_5 : 0
1177.72/175.07	c (169,0) c ForcedImports_6 : 0
1177.72/175.07	c (169,0) c ForcedImports_7 : 0
1177.72/175.07	c (169,0) c ForcedImports_total : 0
1177.72/175.07	c (169,0) c ForcedImports_winner : 0
1177.72/175.07	c (169,0) c PropsBinClauses_0 : 124653474
1177.72/175.07	c (169,0) c PropsBinClauses_1 : 122275169
1177.72/175.07	c (169,0) c PropsBinClauses_2 : 123316247
1177.72/175.07	c (169,0) c PropsBinClauses_3 : 123756572
1177.72/175.07	c (169,0) c PropsBinClauses_4 : 121734693
1177.72/175.07	c (169,0) c PropsBinClauses_5 : 123354588
1177.72/175.07	c (169,0) c PropsBinClauses_6 : 124472798
1177.72/175.07	c (169,0) c PropsBinClauses_7 : 121821350
1177.72/175.07	c (169,0) c PropsBinClauses_total : 985384891
1177.72/175.07	c (169,0) c PropsBinClauses_winner : 124653474
1177.72/175.07	c (169,0) c PropsPreBlocker_0 : 4192721443
1177.72/175.07	c (169,0) c PropsPreBlocker_1 : 4225953396
1177.72/175.07	c (169,0) c PropsPreBlocker_2 : 4261471866
1177.72/175.07	c (169,0) c PropsPreBlocker_3 : 4247094596
1177.72/175.07	c (169,0) c PropsPreBlocker_4 : 4244184410
1177.72/175.07	c (169,0) c PropsPreBlocker_5 : 4245307400
1177.72/175.07	c (169,0) c PropsPreBlocker_6 : 4261630591
1177.72/175.07	c (169,0) c PropsPreBlocker_7 : 4234846402
1177.72/175.07	c (169,0) c PropsPreBlocker_total : 33913210104
1177.72/175.07	c (169,0) c PropsPreBlocker_winner : 4192721443
1177.72/175.07	c (169,0) c PropsNotBlocker_0 : 735168159
1177.72/175.07	c (169,0) c PropsNotBlocker_1 : 721012054
1177.72/175.07	c (169,0) c PropsNotBlocker_2 : 725622287
1177.72/175.07	c (169,0) c PropsNotBlocker_3 : 723074670
1177.72/175.07	c (169,0) c PropsNotBlocker_4 : 713131724
1177.72/175.07	c (169,0) c PropsNotBlocker_5 : 710807573
1177.72/175.07	c (169,0) c PropsNotBlocker_6 : 715229863
1177.72/175.07	c (169,0) c PropsNotBlocker_7 : 715496809
1177.72/175.07	c (169,0) c PropsNotBlocker_total : 5759543139
1177.72/175.07	c (169,0) c PropsNotBlocker_winner : 735168159
1177.72/175.07	c (169,0) c PropsLitFullScans_0 : 7548485374
1177.72/175.07	c (169,0) c PropsLitFullScans_1 : 7543188360
1177.72/175.07	c (169,0) c PropsLitFullScans_2 : 7555028518
1177.72/175.07	c (169,0) c PropsLitFullScans_3 : 7555047777
1177.72/175.07	c (169,0) c PropsLitFullScans_4 : 7542944452
1177.72/175.07	c (169,0) c PropsLitFullScans_5 : 7555161898
1177.72/175.07	c (169,0) c PropsLitFullScans_6 : 7555045490
1177.72/175.07	c (169,0) c PropsLitFullScans_7 : 7555060955
1177.72/175.07	c (169,0) c PropsLitFullScans_total : 60409962824
1177.72/175.07	c (169,0) c PropsLitFullScans_winner : 7548485374
1177.72/175.07	c (169,0) c LitScanFractions_0 : 1277255
1177.72/175.07	c (169,0) c LitScanFractions_1 : 1171858
1177.72/175.07	c (169,0) c LitScanFractions_2 : 1018069
1177.72/175.07	c (169,0) c LitScanFractions_3 : 1036313
1177.72/175.07	c (169,0) c LitScanFractions_4 : 939049
1177.72/175.07	c (169,0) c LitScanFractions_5 : 1156912
1177.72/175.07	c (169,0) c LitScanFractions_6 : 1012680
1177.72/175.07	c (169,0) c LitScanFractions_7 : 1050757
1177.72/175.07	c (169,0) c LitScanFractions_total : 8662893
1177.72/175.07	c (169,0) c LitScanFractions_winner : 1277255
1177.72/175.07	c (169,0) c DecisionLevel0_0 : 720
1177.72/175.07	c (169,0) c DecisionLevel0_1 : 793
1177.72/175.08	c (169,0) c DecisionLevel0_2 : 712
1177.72/175.08	c (169,0) c DecisionLevel0_3 : 767
1177.72/175.08	c (169,0) c DecisionLevel0_4 : 749
1177.72/175.08	c (169,0) c DecisionLevel0_5 : 651
1177.72/175.08	c (169,0) c DecisionLevel0_6 : 668
1177.72/175.08	c (169,0) c DecisionLevel0_7 : 749
1177.72/175.08	c (169,0) c DecisionLevel0_total : 5809
1177.72/175.08	c (169,0) c DecisionLevel0_winner : 720
1177.72/175.08	c (169,0) c Periods_0 : 1257
1177.72/175.08	c (169,0) c Periods_1 : 1257
1177.72/175.08	c (169,0) c Periods_2 : 1259
1177.72/175.08	c (169,0) c Periods_3 : 1259
1177.72/175.08	c (169,0) c Periods_4 : 1257
1177.72/175.08	c (169,0) c Periods_5 : 1259
1177.72/175.08	c (169,0) c Periods_6 : 1259
1177.72/175.08	c (169,0) c Periods_7 : 1259
1177.72/175.08	c (169,0) c Periods_total : 10066
1177.72/175.08	c (169,0) c Periods_winner : 1257
1177.72/175.08	c (169,0) c Margin_0 : 20
1177.72/175.08	c (169,0) c Margin_1 : 20
1177.72/175.08	c (169,0) c Margin_2 : 20
1177.72/175.08	c (169,0) c Margin_3 : 20
1177.72/175.08	c (169,0) c Margin_4 : 20
1177.72/175.08	c (169,0) c Margin_5 : 20
1177.72/175.08	c (169,0) c Margin_6 : 20
1177.72/175.08	c (169,0) c Margin_7 : 20
1177.72/175.08	c (169,0) c Margin_total : 160
1177.72/175.08	c (169,0) c Margin_winner : 20
1177.72/175.08	c (169,0) c Exported_0 : 85799
1177.72/175.08	c (169,0) c Exported_1 : 90920
1177.72/175.08	c (169,0) c Exported_2 : 92393
1177.72/175.08	c (169,0) c Exported_3 : 91514
1177.72/175.08	c (169,0) c Exported_4 : 92085
1177.72/175.08	c (169,0) c Exported_5 : 92727
1177.72/175.08	c (169,0) c Exported_6 : 90480
1177.72/175.08	c (169,0) c Exported_7 : 85521
1177.72/175.08	c (169,0) c Exported_total : 721439
1177.72/175.08	c (169,0) c Exported_winner : 85799
1177.72/175.08	c (169,0) c Imported_0 : 630019
1177.72/175.08	c (169,0) c Imported_1 : 620691
1177.72/175.08	c (169,0) c Imported_2 : 621967
1177.72/175.08	c (169,0) c Imported_3 : 624290
1177.72/175.08	c (169,0) c Imported_4 : 619316
1177.72/175.08	c (169,0) c Imported_5 : 619617
1177.72/175.08	c (169,0) c Imported_6 : 621150
1177.72/175.08	c (169,0) c Imported_7 : 630371
1177.72/175.08	c (169,0) c Imported_total : 4987421
1177.72/175.08	c (169,0) c Imported_winner : 630019
1177.72/175.08	c (169,0) c Good_0 : 1770
1177.72/175.08	c (169,0) c Good_1 : 1716
1177.72/175.08	c (169,0) c Good_2 : 1761
1177.72/175.08	c (169,0) c Good_3 : 1778
1177.72/175.08	c (169,0) c Good_4 : 1700
1177.72/175.08	c (169,0) c Good_5 : 1713
1177.72/175.08	c (169,0) c Good_6 : 1704
1177.72/175.08	c (169,0) c Good_7 : 1715
1177.72/175.08	c (169,0) c Good_total : 13857
1177.72/175.08	c (169,0) c Good_winner : 1770
1177.72/175.08	c (169,0) c Purge_0 : 628249
1177.72/175.08	c (169,0) c Purge_1 : 618975
1177.72/175.08	c (169,0) c Purge_2 : 620206
1177.72/175.08	c (169,0) c Purge_3 : 622512
1177.72/175.08	c (169,0) c Purge_4 : 617616
1177.72/175.08	c (169,0) c Purge_5 : 617904
1177.72/175.08	c (169,0) c Purge_6 : 619446
1177.72/175.08	c (169,0) c Purge_7 : 628656
1177.72/175.08	c (169,0) c Purge_total : 4973564
1177.72/175.08	c (169,0) c Purge_winner : 628249
1177.72/175.08	c (169,0) c Promoted_0 : 56034
1177.72/175.08	c (169,0) c Promoted_1 : 54311
1177.72/175.08	c (169,0) c Promoted_2 : 54990
1177.72/175.08	c (169,0) c Promoted_3 : 55227
1177.72/175.08	c (169,0) c Promoted_4 : 54902
1177.72/175.08	c (169,0) c Promoted_5 : 53184
1177.72/175.08	c (169,0) c Promoted_6 : 55423
1177.72/175.08	c (169,0) c Promoted_7 : 55758
1177.72/175.08	c (169,0) c Promoted_total : 439829
1177.72/175.08	c (169,0) c Promoted_winner : 56034
1177.72/175.08	c (169,0) c Remove_Imp_0 : 504329
1177.72/175.08	c (169,0) c Remove_Imp_1 : 491649
1177.72/175.08	c (169,0) c Remove_Imp_2 : 487034
1177.72/175.08	c (169,0) c Remove_Imp_3 : 491316
1177.72/175.08	c (169,0) c Remove_Imp_4 : 486324
1177.72/175.08	c (169,0) c Remove_Imp_5 : 487473
1177.72/175.08	c (169,0) c Remove_Imp_6 : 496269
1177.72/175.08	c (169,0) c Remove_Imp_7 : 489320
1177.72/175.08	c (169,0) c Remove_Imp_total : 3933714
1177.72/175.08	c (169,0) c Remove_Imp_winner : 504329
1177.72/175.08	c (169,0) c Blocked_Reuse_0 : 0
1177.72/175.08	c (169,0) c Blocked_Reuse_1 : 0
1177.72/175.08	c (169,0) c Blocked_Reuse_2 : 0
1177.72/175.08	c (169,0) c Blocked_Reuse_3 : 0
1177.72/175.08	c (169,0) c Blocked_Reuse_4 : 0
1177.72/175.08	c (169,0) c Blocked_Reuse_5 : 0
1177.72/175.08	c (169,0) c Blocked_Reuse_6 : 0
1177.72/175.08	c (169,0) c Blocked_Reuse_7 : 0
1177.72/175.08	c (169,0) c Blocked_Reuse_total : 0
1177.72/175.08	c (169,0) c Blocked_Reuse_winner : 0
1177.72/175.08	c (169,0) c Unaries_0 : 21
1177.72/175.08	c (169,0) c Unaries_1 : 12
1177.72/175.08	c (169,0) c Unaries_2 : 9
1177.72/175.08	c (169,0) c Unaries_3 : 12
1177.72/175.08	c (169,0) c Unaries_4 : 14
1177.72/175.08	c (169,0) c Unaries_5 : 10
1177.72/175.08	c (169,0) c Unaries_6 : 11
1177.72/175.08	c (169,0) c Unaries_7 : 11
1177.72/175.08	c (169,0) c Unaries_total : 100
1177.72/175.08	c (169,0) c Unaries_winner : 21
1177.72/175.08	c (169,0) c Binaries_0 : 240
1177.72/175.08	c (169,0) c Binaries_1 : 254
1177.72/175.08	c (169,0) c Binaries_2 : 228
1177.72/175.08	c (169,0) c Binaries_3 : 223
1177.72/175.08	c (169,0) c Binaries_4 : 287
1177.72/175.08	c (169,0) c Binaries_5 : 267
1177.72/175.08	c (169,0) c Binaries_6 : 268
1177.72/175.08	c (169,0) c Binaries_7 : 278
1177.72/175.08	c (169,0) c Binaries_total : 2045
1177.72/175.08	c (169,0) c Binaries_winner : 240
1177.72/175.08	c (169,0) c Glues_0 : 912
1177.72/175.08	c (169,0) c Glues_1 : 1020
1177.72/175.08	c (169,0) c Glues_2 : 962
1177.72/175.08	c (169,0) c Glues_3 : 966
1177.72/175.08	c (169,0) c Glues_4 : 1051
1177.72/175.08	c (169,0) c Glues_5 : 979
1177.72/175.08	c (169,0) c Glues_6 : 1009
1177.72/175.08	c (169,0) c Glues_7 : 1005
1177.72/175.08	c (169,0) c Glues_total : 7904
1177.72/175.08	c (169,0) c Glues_winner : 912
1177.72/175.08	c (169,0) c RunningTime_0 : 156.971637
1177.72/175.08	c (169,0) c RunningTime_1 : 167.263553
1177.72/175.08	c (169,0) c RunningTime_2 : 126.784370
1177.72/175.08	c (169,0) c RunningTime_3 : 137.205117
1177.72/175.08	c (169,0) c RunningTime_4 : 149.477628
1177.72/175.08	c (169,0) c RunningTime_5 : 137.876996
1177.72/175.08	c (169,0) c RunningTime_6 : 145.361775
1177.72/175.08	c (169,0) c RunningTime_7 : 145.148450
1177.72/175.08	c (169,0) c RunningTime_total : 1166.089526
1177.72/175.08	c (169,0) c RunningTime_winner : 156.971637
1177.72/175.08	c (169,0) c WaitingTime_0 : 10.764846
1177.72/175.08	c (169,0) c WaitingTime_1 : 1.897194
1177.72/175.08	c (169,0) c WaitingTime_2 : 40.985445
1177.72/175.08	c (169,0) c WaitingTime_3 : 30.579077
1177.72/175.08	c (169,0) c WaitingTime_4 : 18.403158
1177.72/175.08	c (169,0) c WaitingTime_5 : 29.917994
1177.72/175.08	c (169,0) c WaitingTime_6 : 22.413185
1177.72/175.08	c (169,0) c WaitingTime_7 : 22.622602
1177.72/175.08	c (169,0) c WaitingTime_total : 177.583500
1177.72/175.08	c (169,0) c WaitingTime_winner : 10.764846
1177.72/175.08	c (169,0) c ExchangingTime_0 : 0.335744
1177.72/175.08	c (169,0) c ExchangingTime_1 : 0.339543
1177.72/175.08	c (169,0) c ExchangingTime_2 : 0.385565
1177.72/175.08	c (169,0) c ExchangingTime_3 : 0.375928
1177.72/175.08	c (169,0) c ExchangingTime_4 : 0.327691
1177.72/175.08	c (169,0) c ExchangingTime_5 : 0.362443
1177.72/175.08	c (169,0) c ExchangingTime_6 : 0.384042
1177.72/175.08	c (169,0) c ExchangingTime_7 : 0.387691
1177.72/175.08	c (169,0) c ExchangingTime_total : 2.898648
1177.72/175.08	c (169,0) c ExchangingTime_winner : 0.335744
1177.72/175.08	c (169,0) c PeriodProcTime_0 : 0.012623
1177.72/175.08	c (169,0) c PeriodProcTime_1 : 0.015540
1177.72/175.08	c (169,0) c PeriodProcTime_2 : 0.013591
1177.72/175.08	c (169,0) c PeriodProcTime_3 : 0.013368
1177.72/175.08	c (169,0) c PeriodProcTime_4 : 0.012750
1177.72/175.08	c (169,0) c PeriodProcTime_5 : 0.013185
1177.72/175.08	c (169,0) c PeriodProcTime_6 : 0.011575
1177.72/175.08	c (169,0) c PeriodProcTime_7 : 0.013201
1177.72/175.08	c (169,0) c PeriodProcTime_total : 0.105834
1177.72/175.08	c (169,0) c PeriodProcTime_winner : 0.012623
1177.72/175.08	c (169,0) c SolvingTime_0 : 168.084851
1177.72/175.08	c (169,0) c SolvingTime_1 : 169.515830
1177.72/175.08	c (169,0) c SolvingTime_2 : 168.168971
1177.72/175.08	c (169,0) c SolvingTime_3 : 168.173490
1177.72/175.08	c (169,0) c SolvingTime_4 : 168.221227
1177.72/175.08	c (169,0) c SolvingTime_5 : 168.170618
1177.72/175.08	c (169,0) c SolvingTime_6 : 168.170576
1177.72/175.08	c (169,0) c SolvingTime_7 : 168.171944
1177.72/175.08	c (169,0) c SolvingTime_total : 1346.677508
1177.72/175.08	c (169,0) c SolvingTime_winner : 168.084851
1177.72/175.08	c (169,0) c PropagationTime_0 : 107.138907
1177.72/175.08	c (169,0) c PropagationTime_1 : 100.360228
1177.72/175.08	c (169,0) c PropagationTime_2 : 134.269701
1177.72/175.08	c (169,0) c PropagationTime_3 : 124.833102
1177.72/175.08	c (169,0) c PropagationTime_4 : 106.920678
1177.72/175.08	c (169,0) c PropagationTime_5 : 121.641689
1177.72/175.08	c (169,0) c PropagationTime_6 : 117.939558
1177.72/175.08	c (169,0) c PropagationTime_7 : 118.401759
1177.72/175.08	c (169,0) c PropagationTime_total : 931.505623
1177.72/175.08	c (169,0) c PropagationTime_winner : 107.138907
1177.72/175.08	c (169,0) c AnalysisTime_0 : 57.510767
1177.72/175.08	c (169,0) c AnalysisTime_1 : 65.467186
1177.72/175.08	c (169,0) c AnalysisTime_2 : 30.403395
1177.72/175.08	c (169,0) c AnalysisTime_3 : 39.685829
1177.72/175.08	c (169,0) c AnalysisTime_4 : 57.899760
1177.72/175.08	c (169,0) c AnalysisTime_5 : 43.034472
1177.72/175.08	c (169,0) c AnalysisTime_6 : 46.553024
1177.72/175.08	c (169,0) c AnalysisTime_7 : 46.168009
1177.72/175.08	c (169,0) c AnalysisTime_total : 386.722444
1177.72/175.08	c (169,0) c AnalysisTime_winner : 57.510767
1177.72/175.08	c (169,0) c ReductionTime_0 : 1.330485
1177.72/175.08	c (169,0) c ReductionTime_1 : 1.459993
1177.72/175.08	c (169,0) c ReductionTime_2 : 1.327834
1177.72/175.08	c (169,0) c ReductionTime_3 : 1.417766
1177.72/175.08	c (169,0) c ReductionTime_4 : 1.312194
1177.72/175.08	c (169,0) c ReductionTime_5 : 1.352233
1177.72/175.08	c (169,0) c ReductionTime_6 : 1.459437
1177.72/175.08	c (169,0) c ReductionTime_7 : 1.392900
1177.72/175.08	c (169,0) c ReductionTime_total : 11.052843
1177.72/175.08	c (169,0) c ReductionTime_winner : 1.330485
1177.72/175.08	c (169,0) c SimplifyTime_0 : 0.043457
1177.72/175.08	c (169,0) c SimplifyTime_1 : 0.041854
1177.72/175.08	c (169,0) c SimplifyTime_2 : 0.049035
1177.72/175.08	c (169,0) c SimplifyTime_3 : 0.023113
1177.72/175.08	c (169,0) c SimplifyTime_4 : 0.030576
1177.72/175.08	c (169,0) c SimplifyTime_5 : 0.023599
1177.72/175.08	c (169,0) c SimplifyTime_6 : 0.064053
1177.72/175.08	c (169,0) c SimplifyTime_7 : 0.049335
1177.72/175.08	c (169,0) c SimplifyTime_total : 0.325021
1177.72/175.08	c (169,0) c SimplifyTime_winner : 0.043457
1177.72/175.08	c (169,0) c UsedRateTime_0 : 0.000000
1177.72/175.08	c (169,0) c UsedRateTime_1 : 0.000000
1177.72/175.08	c (169,0) c UsedRateTime_2 : 0.000000
1177.72/175.08	c (169,0) c UsedRateTime_3 : 0.000000
1177.72/175.08	c (169,0) c UsedRateTime_4 : 0.000000
1177.72/175.08	c (169,0) c UsedRateTime_5 : 0.000000
1177.72/175.08	c (169,0) c UsedRateTime_6 : 0.000000
1177.72/175.08	c (169,0) c UsedRateTime_7 : 0.000000
1177.72/175.08	c (169,0) c UsedRateTime_total : 0.000000
1177.72/175.08	c (169,0) c UsedRateTime_winner : 0.000000
1177.72/175.08	c (169,0) c OverlapRateTime_0 : 0.000000
1177.72/175.08	c (169,0) c OverlapRateTime_1 : 0.000000
1177.72/175.08	c (169,0) c OverlapRateTime_2 : 0.000000
1177.72/175.08	c (169,0) c OverlapRateTime_3 : 0.000000
1177.72/175.08	c (169,0) c OverlapRateTime_4 : 0.000000
1177.72/175.08	c (169,0) c OverlapRateTime_5 : 0.000000
1177.72/175.08	c (169,0) c OverlapRateTime_6 : 0.000000
1177.72/175.08	c (169,0) c OverlapRateTime_7 : 0.000000
1177.72/175.08	c (169,0) c OverlapRateTime_total : 0.000000
1177.72/175.08	c (169,0) c OverlapRateTime_winner : 0.000000
1177.72/175.08	c (169,0) c
1177.72/175.08	c (169,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1177.72/175.08	c (169,0) c
1177.72/175.08	c (169,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1177.72/175.08	c (169,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1177.72/175.08	c (169,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1177.72/175.08	c (169,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1177.72/175.08	c (169,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1177.72/175.08	c (169,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1177.72/175.08	c (169,0) c | Initial random_seed   |   86308644 | 1279651148 | 1171258071 |  953033319 |  116390518 |  910711794 | 1884101758 | 1788522029 |
1177.72/175.08	c (169,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1177.72/175.08	c (169,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1177.72/175.08	c (169,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1177.72/175.08	c (169,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1177.72/175.08	c (169,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1177.72/175.08	c (169,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1177.72/175.08	c (169,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1177.72/175.08	c (169,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1177.72/175.08	c (169,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1177.72/175.08	c (169,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1177.72/175.08	c (169,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1177.72/175.08	c (169,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1177.72/175.08	c (169,0) 
1177.72/175.08	c (169,0) s UNSATISFIABLE
1177.72/175.09	c (169,0) SatSolver.solve End
1177.72/175.09	c (169,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1177.72/175.09	c (169,0) Show results Begin
1177.72/175.09	s UNSATISFIABLE
1177.72/175.09	c (169,0) Show results End
1177.72/175.09	c (169,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1177.72/175.09	c (170,0) 169,169,STOP-AFTER(ALL)
1177.72/175.09	c END-Prog: Sat Sep 14 06:46:11 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 (15105 MiB free)
  memory of node 1: 16384 MiB (14986 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392766-1568436236/watcher-4392766-1568436236 -o /tmp/evaluation-result-4392766-1568436236/solver-4392766-1568436236 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568428312-22143 --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-4392766-1568436236.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
solver pid=23514, runsolver pid=23511
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100162 s]*
/proc/loadavg: 4.05 4.81 6.07 3/216 23536
/proc/meminfo: memFree=30717236/32770624 swapFree=66968420/67108860
[pid=23514] ppid=23511 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23514/stat : 23514 (scop.sh) S 23511 23514 22116 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419873192 115843072 349 33554432000 4194304 5098028 140723263940768 140723263938024 139629156495996 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33308672 140723263943460 140723263943788 140723263943788 140723263946701 0
/proc/23514/statm: 28282 349 296 221 0 87 0
[pid=23517] ppid=23514 vsize=27314120 memory=107888 CPUtime=0.11 cores=0-7
/proc/23517/stat : 23517 (java) S 23514 23514 22116 0 -1 1077944320 6478 0 0 0 8 3 0 0 20 0 20 0 419873192 27969658880 26972 33554432000 4194304 4196468 140736157313344 140736157295888 139663399608055 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
/proc/23517/statm: 6828530 26972 2817 1 0 6790935 0
[pid=23517/tid=23518] ppid=23514 vsize=27314120 memory=8041066567320903832 CPUtime=0.08 cores=0-7
/proc/23517/task/23518/stat : 23518 (java) R 23514 23514 22116 0 -1 4202560 4577 0 0 0 6 2 0 0 20 0 20 0 419873193 27969658880 26972 33554432000 4194304 4196468 140736157313344 139663371431104 139663384521010 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23519] ppid=23514 vsize=27314120 memory=732370079464131557 CPUtime=0 cores=0-7
/proc/23517/task/23519/stat : 23519 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 26972 33554432000 4194304 4196468 140736157313344 139663403850256 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23520] ppid=23514 vsize=27314120 memory=139941126678144 CPUtime=0 cores=0-7
/proc/23517/task/23520/stat : 23520 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 26972 33554432000 4194304 4196468 140736157313344 139663218006672 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23521] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23521/stat : 23521 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 26972 33554432000 4194304 4196468 140736157313344 139663216953616 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23522] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23522/stat : 23522 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 26972 33554432000 4194304 4196468 140736157313344 139663215901072 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23523] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23523/stat : 23523 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 26972 33554432000 4194304 4196468 140736157313344 139663214849040 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23524] ppid=23514 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23517/task/23524/stat : 23524 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 26972 33554432000 4194304 4196468 140736157313344 139663213796496 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23525] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23525/stat : 23525 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 26972 33554432000 4194304 4196468 140736157313344 139663212743440 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23526] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23526/stat : 23526 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 26972 33554432000 4194304 4196468 140736157313344 139663211690896 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23527] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23527/stat : 23527 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873197 27969658880 26972 33554432000 4194304 4196468 140736157313344 139661585357040 139663399619202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23528] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23528/stat : 23528 (java) S 23514 23514 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419873197 27969658880 26972 33554432000 4194304 4196468 140736157313344 139661330605216 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23529] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23529/stat : 23529 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873197 27969658880 26972 33554432000 4194304 4196468 140736157313344 139661062169328 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23530] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23530/stat : 23530 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 26972 33554432000 4194304 4196468 140736157313344 139660687661008 139663399626651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23531] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23531/stat : 23531 (java) S 23514 23514 22116 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 26972 33554432000 4194304 4196468 140736157313344 139661584304880 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23532] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23532/stat : 23532 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 26972 33554432000 4194304 4196468 140736157313344 139661583252336 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23533] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23533/stat : 23533 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 26972 33554432000 4194304 4196468 140736157313344 139661582199280 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23534] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23534/stat : 23534 (java) S 23514 23514 22116 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 26972 33554432000 4194304 4196468 140736157313344 139661581146736 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23535] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23535/stat : 23535 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 26972 33554432000 4194304 4196468 140736157313344 139660189755872 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23536] ppid=23514 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23517/task/23536/stat : 23536 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 26972 33554432000 4194304 4196468 140736157313344 139661580094128 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109284 KiB

[startup+0.210848 s]*
/proc/loadavg: 4.05 4.81 6.07 2/216 23536
/proc/meminfo: memFree=30699020/32770624 swapFree=66968420/67108860
[pid=23514] ppid=23511 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23514/stat : 23514 (scop.sh) S 23511 23514 22116 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419873192 115843072 349 33554432000 4194304 5098028 140723263940768 140723263938024 139629156495996 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33308672 140723263943460 140723263943788 140723263943788 140723263946701 0
/proc/23514/statm: 28282 349 296 221 0 87 0
[pid=23517] ppid=23514 vsize=27314120 memory=124612 CPUtime=0.24 cores=0-7
/proc/23517/stat : 23517 (java) S 23514 23514 22116 0 -1 1077944320 11358 0 0 0 20 4 0 0 20 0 20 0 419873192 27969658880 31153 33554432000 4194304 4196468 140736157313344 140736157295888 139663399608055 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
/proc/23517/statm: 6828530 31153 2924 1 0 6790935 0
[pid=23517/tid=23518] ppid=23514 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/23517/task/23518/stat : 23518 (java) R 23514 23514 22116 0 -1 4202560 9066 0 0 0 16 4 0 0 20 0 20 0 419873193 27969658880 31153 33554432000 4194304 4196468 140736157313344 139663371427984 139663399629981 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23519] ppid=23514 vsize=27314120 memory=279882099926776 CPUtime=0 cores=0-7
/proc/23517/task/23519/stat : 23519 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 31153 33554432000 4194304 4196468 140736157313344 139663403850256 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23520] ppid=23514 vsize=27314120 memory=139941126678144 CPUtime=0 cores=0-7
/proc/23517/task/23520/stat : 23520 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 31153 33554432000 4194304 4196468 140736157313344 139663218006672 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23521] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23521/stat : 23521 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 31153 33554432000 4194304 4196468 140736157313344 139663216953616 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23522] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23522/stat : 23522 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 31153 33554432000 4194304 4196468 140736157313344 139663215901072 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23523] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23523/stat : 23523 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 31153 33554432000 4194304 4196468 140736157313344 139663214849040 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23524] ppid=23514 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23517/task/23524/stat : 23524 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 31153 33554432000 4194304 4196468 140736157313344 139663213796496 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23525] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23525/stat : 23525 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 31153 33554432000 4194304 4196468 140736157313344 139663212743440 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23526] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23526/stat : 23526 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 31153 33554432000 4194304 4196468 140736157313344 139663211690896 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23527] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23527/stat : 23527 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873197 27969658880 31153 33554432000 4194304 4196468 140736157313344 139661585357040 139663399619202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23528] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23528/stat : 23528 (java) S 23514 23514 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419873197 27969658880 31153 33554432000 4194304 4196468 140736157313344 139661330605216 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23529] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23529/stat : 23529 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873197 27969658880 31153 33554432000 4194304 4196468 140736157313344 139661062169328 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23530] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23530/stat : 23530 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 31153 33554432000 4194304 4196468 140736157313344 139660687661008 139663399626651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23531] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23531/stat : 23531 (java) S 23514 23514 22116 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 31153 33554432000 4194304 4196468 140736157313344 139661584304880 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23532] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23532/stat : 23532 (java) S 23514 23514 22116 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 31153 33554432000 4194304 4196468 140736157313344 139661583252336 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23533] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23533/stat : 23533 (java) S 23514 23514 22116 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 31153 33554432000 4194304 4196468 140736157313344 139661582199280 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23534] ppid=23514 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/23517/task/23534/stat : 23534 (java) S 23514 23514 22116 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 419873200 27969658880 31153 33554432000 4194304 4196468 140736157313344 139661581146736 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23535] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23535/stat : 23535 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 31153 33554432000 4194304 4196468 140736157313344 139660189755872 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23536] ppid=23514 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23517/task/23536/stat : 23536 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 31153 33554432000 4194304 4196468 140736157313344 139661580094128 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126008 KiB

[startup+0.310545 s]*
/proc/loadavg: 4.05 4.81 6.07 2/216 23536
/proc/meminfo: memFree=30695980/32770624 swapFree=66968420/67108860
[pid=23514] ppid=23511 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23514/stat : 23514 (scop.sh) S 23511 23514 22116 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419873192 115843072 349 33554432000 4194304 5098028 140723263940768 140723263938024 139629156495996 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33308672 140723263943460 140723263943788 140723263943788 140723263946701 0
/proc/23514/statm: 28282 349 296 221 0 87 0
[pid=23517] ppid=23514 vsize=27314120 memory=128156 CPUtime=0.42 cores=0-7
/proc/23517/stat : 23517 (java) S 23514 23514 22116 0 -1 1077944320 12428 0 0 0 37 5 0 0 20 0 20 0 419873192 27969658880 32039 33554432000 4194304 4196468 140736157313344 140736157295888 139663399608055 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
/proc/23517/statm: 6828530 32039 3022 1 0 6790935 0
[pid=23517/tid=23518] ppid=23514 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23517/task/23518/stat : 23518 (java) R 23514 23514 22116 0 -1 4202560 9956 0 0 0 25 4 0 0 20 0 20 0 419873193 27969658880 32039 33554432000 4194304 4196468 140736157313344 139663371391072 139663382794885 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23519] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23519/stat : 23519 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 32039 33554432000 4194304 4196468 140736157313344 139663403850256 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23520] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23520/stat : 23520 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 32039 33554432000 4194304 4196468 140736157313344 139663218006672 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23521] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23521/stat : 23521 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 32039 33554432000 4194304 4196468 140736157313344 139663216953616 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23522] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23522/stat : 23522 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 32039 33554432000 4194304 4196468 140736157313344 139663215901072 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23523] ppid=23514 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/23517/task/23523/stat : 23523 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 32039 33554432000 4194304 4196468 140736157313344 139663214849040 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23524] ppid=23514 vsize=27314120 memory=139940973343663 CPUtime=0 cores=0-7
/proc/23517/task/23524/stat : 23524 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 32039 33554432000 4194304 4196468 140736157313344 139663213796496 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23525] ppid=23514 vsize=27314120 memory=139940973345968 CPUtime=0 cores=0-7
/proc/23517/task/23525/stat : 23525 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 32039 33554432000 4194304 4196468 140736157313344 139663212743440 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23526] ppid=23514 vsize=27314120 memory=139940973348272 CPUtime=0 cores=0-7
/proc/23517/task/23526/stat : 23526 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27969658880 32039 33554432000 4194304 4196468 140736157313344 139663211690896 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23527] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23527/stat : 23527 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873197 27969658880 32039 33554432000 4194304 4196468 140736157313344 139661585357040 139663399619202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23528] ppid=23514 vsize=27314120 memory=279881946703504 CPUtime=0 cores=0-7
/proc/23517/task/23528/stat : 23528 (java) S 23514 23514 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419873197 27969658880 32039 33554432000 4194304 4196468 140736157313344 139661330605216 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23529] ppid=23514 vsize=27314120 memory=279881946710416 CPUtime=0 cores=0-7
/proc/23517/task/23529/stat : 23529 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873197 27969658880 32039 33554432000 4194304 4196468 140736157313344 139661062169328 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23530] ppid=23514 vsize=27314120 memory=279881946651696 CPUtime=0 cores=0-7
/proc/23517/task/23530/stat : 23530 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 32039 33554432000 4194304 4196468 140736157313344 139660687661008 139663399626651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23531] ppid=23514 vsize=27314120 memory=279881946724240 CPUtime=0.01 cores=0-7
/proc/23517/task/23531/stat : 23531 (java) S 23514 23514 22116 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 20 0 419873200 27969658880 32039 33554432000 4194304 4196468 140736157313344 139661584304880 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23532] ppid=23514 vsize=27314120 memory=279881946731152 CPUtime=0.01 cores=0-7
/proc/23517/task/23532/stat : 23532 (java) S 23514 23514 22116 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 419873200 27969658880 32039 33554432000 4194304 4196468 140736157313344 139661583252336 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23533] ppid=23514 vsize=27314120 memory=279881946728848 CPUtime=0.01 cores=0-7
/proc/23517/task/23533/stat : 23533 (java) R 23514 23514 22116 0 -1 4202560 101 0 0 0 1 0 0 0 20 0 20 0 419873200 27969658880 32039 33554432000 4194304 4196468 140736157313344 139661582199280 139663377242704 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23534] ppid=23514 vsize=27314120 memory=279881946745008 CPUtime=0.07 cores=0-7
/proc/23517/task/23534/stat : 23534 (java) S 23514 23514 22116 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 20 0 419873200 27969658880 32039 33554432000 4194304 4196468 140736157313344 139661581146736 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23535] ppid=23514 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23517/task/23535/stat : 23535 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 32039 33554432000 4194304 4196468 140736157313344 139660189755872 139663399618261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23536] ppid=23514 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23517/task/23536/stat : 23536 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419873200 27969658880 32039 33554432000 4194304 4196468 140736157313344 139661580094128 139663399619202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129552 KiB

[startup+0.700991 s]
/proc/loadavg: 4.05 4.81 6.07 2/216 23536
/proc/meminfo: memFree=30672776/32770624 swapFree=66968420/67108860
[pid=23514] ppid=23511 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/23514/stat : 23514 (scop.sh) S 23511 23514 22116 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419873192 115843072 349 33554432000 4194304 5098028 140723263940768 140723263938024 139629156495996 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33308672 140723263943460 140723263943788 140723263943788 140723263946701 0
/proc/23514/statm: 28282 349 296 221 0 87 0
[pid=23517] ppid=23514 vsize=27320392 memory=165468 CPUtime=1.01 cores=0-7
/proc/23517/stat : 23517 (java) S 23514 23514 22116 0 -1 1077944320 20003 0 0 0 94 7 0 0 20 0 20 0 419873192 27976081408 41367 33554432000 4194304 4196468 140736157313344 140736157295888 139663399608055 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
/proc/23517/statm: 6830098 41367 3182 1 0 6791447 0
[pid=23517/tid=23518] ppid=23514 vsize=27320392 memory=279881947039872 CPUtime=0.67 cores=0-7
/proc/23517/task/23518/stat : 23518 (java) R 23514 23514 22116 0 -1 4202560 16902 0 0 0 61 6 0 0 20 0 20 0 419873193 27976081408 41367 33554432000 4194304 4196468 140736157313344 139663371442912 139663399619990 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23519] ppid=23514 vsize=27320392 memory=3928 CPUtime=0 cores=0-7
/proc/23517/task/23519/stat : 23519 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27976081408 41367 33554432000 4194304 4196468 140736157313344 139663403850256 139663399618261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23520] ppid=23514 vsize=27320392 memory=716 CPUtime=0 cores=0-7
/proc/23517/task/23520/stat : 23520 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419873195 27976081408 41367 33554432000 4194304 4196468 140736157313344 139663218006672 139663399618261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0
[pid=23517/tid=23521] ppid=23514 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/23517/task/23521/stat : 23521 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419873195 27976081408 41367 33554432000 4194304 4196468 140736157313344 139663216953616 139663399618261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20254720 140736157315818 140736157316246 140736157316246 140736157319119 0

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

[pid=23537/tid=23547] ppid=23514 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/23537/task/23547/stat : 23547 (java) S 23514 23514 22116 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419873666 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229063174896 140230239115906 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23548] ppid=23514 vsize=8414124 memory=2048 CPUtime=0 cores=0-7
/proc/23537/task/23548/stat : 23548 (java) S 23514 23514 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419873666 8616062976 30291 33554432000 4194304 4196468 140733496853136 140228870268576 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23549] ppid=23514 vsize=8414124 memory=1240 CPUtime=0 cores=0-7
/proc/23537/task/23549/stat : 23549 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873666 8616062976 30291 33554432000 4194304 4196468 140733496853136 140228601832688 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23550] ppid=23514 vsize=8414124 memory=3928 CPUtime=0 cores=0-7
/proc/23537/task/23550/stat : 23550 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140228227324368 140230239123355 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23551] ppid=23514 vsize=8414124 memory=716 CPUtime=0.05 cores=0-7
/proc/23537/task/23551/stat : 23551 (java) S 23514 23514 22116 0 -1 1077944384 547 0 0 0 5 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229062121712 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23552] ppid=23514 vsize=8414124 memory=776 CPUtime=0.09 cores=0-7
/proc/23537/task/23552/stat : 23552 (java) S 23514 23514 22116 0 -1 1077944384 340 0 0 0 9 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229061069168 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23553] ppid=23514 vsize=8414124 memory=1052 CPUtime=0.06 cores=0-7
/proc/23537/task/23553/stat : 23553 (java) S 23514 23514 22116 0 -1 1077944384 309 0 0 0 6 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229060016112 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23554] ppid=23514 vsize=8414124 memory=2832 CPUtime=0.22 cores=0-7
/proc/23537/task/23554/stat : 23554 (java) S 23514 23514 22116 0 -1 1077944384 742 0 0 0 22 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229058963568 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23555] ppid=23514 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/23537/task/23555/stat : 23555 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140227729419232 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23556] ppid=23514 vsize=8414124 memory=13948 CPUtime=0.11 cores=0-7
/proc/23537/task/23556/stat : 23556 (java) S 23514 23514 22116 0 -1 1077944384 13 0 0 0 4 7 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229057911984 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23560] ppid=23514 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/23537/task/23560/stat : 23560 (java) S 23514 23514 22116 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419873738 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229541758400 140230239129369 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23562] ppid=23514 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/23537/task/23562/stat : 23562 (java) S 23514 23514 22116 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419873738 8616062976 30291 33554432000 4194304 4196468 140733496853136 140227326754320 140230239126685 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23563] ppid=23514 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/23537/task/23563/stat : 23563 (java) S 23514 23514 22116 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419873738 8616062976 30291 33554432000 4194304 4196468 140733496853136 140227058318992 140230239126685 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23572] ppid=23514 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/23537/task/23572/stat : 23572 (java) S 23514 23514 22116 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 419873740 8616062976 30291 33554432000 4194304 4196468 140733496853136 140226789890992 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
Current children cumulated CPU time: 1177.1 s
Current children cumulated vsize: 9207736 KiB
Current children cumulated memory: 646956 KiB

[startup+174.801 s]
/proc/loadavg: 6.32 5.54 6.13 2/222 23582
/proc/meminfo: memFree=30181008/32770624 swapFree=66968420/67108860
[pid=23514] ppid=23511 vsize=113128 memory=1476 CPUtime=12.18 cores=0-7
/proc/23514/stat : 23514 (scop.sh) S 23511 23514 22116 0 -1 4202496 583 31655 0 0 0 0 1189 29 20 0 1 0 419873192 115843072 369 33554432000 4194304 5098028 140723263940768 140723263937512 139629156495996 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33308672 140723263943460 140723263943788 140723263943788 140723263946701 0
/proc/23514/statm: 28282 369 311 221 0 87 0
[pid=23537] ppid=23514 vsize=8414124 memory=121164 CPUtime=1.38 cores=0-7
/proc/23537/stat : 23537 (java) S 23514 23514 22116 0 -1 1077944320 20786 0 0 0 129 9 0 0 20 0 24 0 419873663 8616062976 30291 33554432000 4194304 4196468 140733496853136 140733496835680 140230239104759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
/proc/23537/statm: 2103531 30291 3208 1 0 2064875 0
[pid=23559] ppid=23537 vsize=680484 memory=524316 CPUtime=1163.95 cores=0-7
/proc/23559/stat : 23559 (manyglucose-4.1) S 23537 23514 22116 0 -1 1077944320 1235525 0 0 0 116164 231 0 0 20 0 2 0 419873737 696815616 131079 33554432000 4194304 4454172 140734210003728 140734210002112 140369443069687 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 29622272 140734210012009 140734210012208 140734210012208 140734210015162 0
/proc/23559/statm: 170121 131079 419 64 0 165789 0
[pid=23559/tid=23565] ppid=23537 vsize=680484 memory=716 CPUtime=167.08 cores=0-7
/proc/23559/task/23565/stat : 23565 (manyglucose-4.1) R 23537 23514 22116 0 -1 4202560 169969 0 0 0 16675 33 0 0 20 0 2 0 419873740 696815616 131079 33554432000 4194304 4454172 140734210003728 140369419459720 4333329 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 29622272 140734210012009 140734210012208 140734210012208 140734210015162 0
[pid=23537/tid=23538] ppid=23514 vsize=8414124 memory=776 CPUtime=0.77 cores=0-7
/proc/23537/task/23538/stat : 23538 (java) S 23514 23514 22116 0 -1 1077944384 17306 0 0 0 72 5 0 0 20 0 24 0 419873663 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230210944928 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23539] ppid=23514 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/23537/task/23539/stat : 23539 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230243347472 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23540] ppid=23514 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/23537/task/23540/stat : 23540 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230043516048 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23541] ppid=23514 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/23537/task/23541/stat : 23541 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230042462992 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23542] ppid=23514 vsize=8414124 memory=2048 CPUtime=0 cores=0-7
/proc/23537/task/23542/stat : 23542 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230041410448 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23543] ppid=23514 vsize=8414124 memory=1240 CPUtime=0 cores=0-7
/proc/23537/task/23543/stat : 23543 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230040357392 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23544] ppid=23514 vsize=8414124 memory=3928 CPUtime=0 cores=0-7
/proc/23537/task/23544/stat : 23544 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230039304848 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23545] ppid=23514 vsize=8414124 memory=716 CPUtime=0 cores=0-7
/proc/23537/task/23545/stat : 23545 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230038251792 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23546] ppid=23514 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/23537/task/23546/stat : 23546 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230037199248 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23547] ppid=23514 vsize=8414124 memory=7686721470351121046 CPUtime=0 cores=0-7
/proc/23537/task/23547/stat : 23547 (java) S 23514 23514 22116 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419873666 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229063174896 140230239115906 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23548] ppid=23514 vsize=8414124 memory=7686721470351121046 CPUtime=0 cores=0-7
/proc/23537/task/23548/stat : 23548 (java) S 23514 23514 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419873666 8616062976 30291 33554432000 4194304 4196468 140733496853136 140228870268576 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23549] ppid=23514 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/23537/task/23549/stat : 23549 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873666 8616062976 30291 33554432000 4194304 4196468 140733496853136 140228601832688 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23550] ppid=23514 vsize=8414124 memory=121164 CPUtime=0 cores=0-7
/proc/23537/task/23550/stat : 23550 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140228227324368 140230239123355 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23551] ppid=23514 vsize=8414124 memory=586268 CPUtime=0.05 cores=0-7
/proc/23537/task/23551/stat : 23551 (java) S 23514 23514 22116 0 -1 1077944384 547 0 0 0 5 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229062121712 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23552] ppid=23514 vsize=8414124 memory=1240 CPUtime=0.09 cores=0-7
/proc/23537/task/23552/stat : 23552 (java) S 23514 23514 22116 0 -1 1077944384 340 0 0 0 9 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229061069168 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23553] ppid=23514 vsize=8414124 memory=3928 CPUtime=0.06 cores=0-7
/proc/23537/task/23553/stat : 23553 (java) S 23514 23514 22116 0 -1 1077944384 309 0 0 0 6 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229060016112 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23554] ppid=23514 vsize=8414124 memory=716 CPUtime=0.22 cores=0-7
/proc/23537/task/23554/stat : 23554 (java) S 23514 23514 22116 0 -1 1077944384 742 0 0 0 22 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229058963568 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23555] ppid=23514 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/23537/task/23555/stat : 23555 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140227729419232 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23556] ppid=23514 vsize=8414124 memory=1052 CPUtime=0.13 cores=0-7
/proc/23537/task/23556/stat : 23556 (java) S 23514 23514 22116 0 -1 1077944384 13 0 0 0 5 8 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229057911984 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23560] ppid=23514 vsize=8414124 memory=7686721470351121046 CPUtime=0 cores=0-7
/proc/23537/task/23560/stat : 23560 (java) S 23514 23514 22116 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419873738 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229541758400 140230239129369 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23562] ppid=23514 vsize=8414124 memory=9328 CPUtime=0 cores=0-7
/proc/23537/task/23562/stat : 23562 (java) S 23514 23514 22116 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419873738 8616062976 30291 33554432000 4194304 4196468 140733496853136 140227326754320 140230239126685 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23563] ppid=23514 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/23537/task/23563/stat : 23563 (java) S 23514 23514 22116 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419873738 8616062976 30291 33554432000 4194304 4196468 140733496853136 140227058318992 140230239126685 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23572] ppid=23514 vsize=8414124 memory=1216 CPUtime=0 cores=0-7
/proc/23537/task/23572/stat : 23572 (java) S 23514 23514 22116 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 419873740 8616062976 30291 33554432000 4194304 4196468 140733496853136 140226789890992 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
Current children cumulated CPU time: 1177.51 s
Current children cumulated vsize: 9207736 KiB
Current children cumulated memory: 646956 KiB

[startup+175.001 s]*
/proc/loadavg: 6.32 5.54 6.13 2/222 23582
/proc/meminfo: memFree=30181148/32770624 swapFree=66968420/67108860
[pid=23514] ppid=23511 vsize=113128 memory=1476 CPUtime=12.18 cores=0-7
/proc/23514/stat : 23514 (scop.sh) S 23511 23514 22116 0 -1 4202496 583 31655 0 0 0 0 1189 29 20 0 1 0 419873192 115843072 369 33554432000 4194304 5098028 140723263940768 140723263937512 139629156495996 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33308672 140723263943460 140723263943788 140723263943788 140723263946701 0
/proc/23514/statm: 28282 369 311 221 0 87 0
[pid=23537] ppid=23514 vsize=8414124 memory=121164 CPUtime=1.38 cores=0-7
/proc/23537/stat : 23537 (java) S 23514 23514 22116 0 -1 1077944320 20786 0 0 0 129 9 0 0 20 0 24 0 419873663 8616062976 30291 33554432000 4194304 4196468 140733496853136 140733496835680 140230239104759 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
/proc/23537/statm: 2103531 30291 3208 1 0 2064875 0
[pid=23559] ppid=23537 vsize=680484 memory=524316 CPUtime=1164.16 cores=0-7
/proc/23559/stat : 23559 (manyglucose-4.1) S 23537 23514 22116 0 -1 1077944320 1235565 0 0 0 116185 231 0 0 20 0 2 0 419873737 696815616 131079 33554432000 4194304 4454172 140734210003728 140734210002112 140369443069687 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 29622272 140734210012009 140734210012208 140734210012208 140734210015162 0
/proc/23559/statm: 170121 131079 419 64 0 165789 0
[pid=23559/tid=23565] ppid=23537 vsize=680484 memory=7686721470351121046 CPUtime=167.28 cores=0-7
/proc/23559/task/23565/stat : 23565 (manyglucose-4.1) R 23537 23514 22116 0 -1 4202560 170009 0 0 0 16695 33 0 0 20 0 2 0 419873740 696815616 131079 33554432000 4194304 4454172 140734210003728 140369419459720 4314753 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 29622272 140734210012009 140734210012208 140734210012208 140734210015162 0
[pid=23537/tid=23538] ppid=23514 vsize=8414124 memory=7686721470351121046 CPUtime=0.77 cores=0-7
/proc/23537/task/23538/stat : 23538 (java) S 23514 23514 22116 0 -1 1077944384 17306 0 0 0 72 5 0 0 20 0 24 0 419873663 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230210944928 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23539] ppid=23514 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/23537/task/23539/stat : 23539 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230243347472 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23540] ppid=23514 vsize=8414124 memory=121164 CPUtime=0 cores=0-7
/proc/23537/task/23540/stat : 23540 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230043516048 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23541] ppid=23514 vsize=8414124 memory=521556 CPUtime=0 cores=0-7
/proc/23537/task/23541/stat : 23541 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230042462992 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23542] ppid=23514 vsize=8414124 memory=524316 CPUtime=0 cores=0-7
/proc/23537/task/23542/stat : 23542 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230041410448 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23543] ppid=23514 vsize=8414124 memory=7686721470351121046 CPUtime=0 cores=0-7
/proc/23537/task/23543/stat : 23543 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230040357392 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23544] ppid=23514 vsize=8414124 memory=7686721470351121046 CPUtime=0 cores=0-7
/proc/23537/task/23544/stat : 23544 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230039304848 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23545] ppid=23514 vsize=8414124 memory=121164 CPUtime=0 cores=0-7
/proc/23537/task/23545/stat : 23545 (java) S 23514 23514 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230038251792 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23546] ppid=23514 vsize=8414124 memory=521560 CPUtime=0 cores=0-7
/proc/23537/task/23546/stat : 23546 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873664 8616062976 30291 33554432000 4194304 4196468 140733496853136 140230037199248 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23547] ppid=23514 vsize=8414124 memory=13946 CPUtime=0 cores=0-7
/proc/23537/task/23547/stat : 23547 (java) S 23514 23514 22116 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419873666 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229063174896 140230239115906 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23548] ppid=23514 vsize=8414124 memory=297290584721313080 CPUtime=0 cores=0-7
/proc/23537/task/23548/stat : 23548 (java) S 23514 23514 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419873666 8616062976 30291 33554432000 4194304 4196468 140733496853136 140228870268576 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23549] ppid=23514 vsize=8414124 memory=6226622766060759656 CPUtime=0 cores=0-7
/proc/23537/task/23549/stat : 23549 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873666 8616062976 30291 33554432000 4194304 4196468 140733496853136 140228601832688 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23550] ppid=23514 vsize=8414124 memory=7593744507460413544 CPUtime=0 cores=0-7
/proc/23537/task/23550/stat : 23550 (java) S 23514 23514 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140228227324368 140230239123355 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23551] ppid=23514 vsize=8414124 memory=5859855365292126567 CPUtime=0.05 cores=0-7
/proc/23537/task/23551/stat : 23551 (java) S 23514 23514 22116 0 -1 1077944384 547 0 0 0 5 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229062121712 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23552] ppid=23514 vsize=8414124 memory=7800342664977737045 CPUtime=0.09 cores=0-7
/proc/23537/task/23552/stat : 23552 (java) S 23514 23514 22116 0 -1 1077944384 340 0 0 0 9 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229061069168 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23553] ppid=23514 vsize=8414124 memory=7372764651889321841 CPUtime=0.06 cores=0-7
/proc/23537/task/23553/stat : 23553 (java) S 23514 23514 22116 0 -1 1077944384 309 0 0 0 6 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229060016112 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23554] ppid=23514 vsize=8414124 memory=7378427136839143762 CPUtime=0.22 cores=0-7
/proc/23537/task/23554/stat : 23554 (java) S 23514 23514 22116 0 -1 1077944384 742 0 0 0 22 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229058963568 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23555] ppid=23514 vsize=8414124 memory=7378427136839143762 CPUtime=0 cores=0-7
/proc/23537/task/23555/stat : 23555 (java) S 23514 23514 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140227729419232 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23556] ppid=23514 vsize=8414124 memory=7378427136839143762 CPUtime=0.13 cores=0-7
/proc/23537/task/23556/stat : 23556 (java) S 23514 23514 22116 0 -1 1077944384 13 0 0 0 5 8 0 0 20 0 24 0 419873669 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229057911984 140230239115906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23560] ppid=23514 vsize=8414124 memory=7378427136839143762 CPUtime=0 cores=0-7
/proc/23537/task/23560/stat : 23560 (java) S 23514 23514 22116 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419873738 8616062976 30291 33554432000 4194304 4196468 140733496853136 140229541758400 140230239129369 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23562] ppid=23514 vsize=8414124 memory=7378427136839143762 CPUtime=0 cores=0-7
/proc/23537/task/23562/stat : 23562 (java) S 23514 23514 22116 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419873738 8616062976 30291 33554432000 4194304 4196468 140733496853136 140227326754320 140230239126685 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23563] ppid=23514 vsize=8414124 memory=1216 CPUtime=0 cores=0-7
/proc/23537/task/23563/stat : 23563 (java) S 23514 23514 22116 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 419873738 8616062976 30291 33554432000 4194304 4196468 140733496853136 140227058318992 140230239126685 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
[pid=23537/tid=23572] ppid=23514 vsize=8414124 memory=1000 CPUtime=0 cores=0-7
/proc/23537/task/23572/stat : 23572 (java) S 23514 23514 22116 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 24 0 419873740 8616062976 30291 33554432000 4194304 4196468 140733496853136 140226789890992 140230239114965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15839232 140733496861687 140733496861846 140733496861846 140733496864719 0
Current children cumulated CPU time: 1177.72 s
Current children cumulated vsize: 9207736 KiB
Current children cumulated memory: 646956 KiB

Child status: 0
Real time (s): 175.104
CPU time (s): 1177.89
CPU user time (s): 1175.16
CPU system time (s): 2.73244
CPU usage (%): 672.678
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1064868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1175.16
system time used= 2.73244
maximum resident set size= 1071380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1288905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18854
involuntary context switches= 10913


# summary of solver processes directly reported to runsolver:
#   pid: 23514
#   total CPU time (s): 1177.89
#   total CPU user time (s): 1175.16
#   total CPU system time (s): 2.73244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.71255 second user time and 2.54648 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-14 06:43:16
IDJOB=4392766
IDBENCH=134571
IDSOLVER=2839
FILE ID=node135/4392766-1568436236
RUNJOBID= node135-1568428312-22143
PBS_JOBID= 21702304
Free space on /tmp= 61376 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-0_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-4392766-1568436236/watcher-4392766-1568436236 -o /tmp/evaluation-result-4392766-1568436236/solver-4392766-1568436236 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568428312-22143 --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-4392766-1568436236.xml

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

MD5SUM BENCH= e5c3d43a301dadc2ad5fa4651c286aba
RANDOM SEED=758360269

node135.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.76
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.76
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.76
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.76
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:        30814540 kB
MemAvailable:   31863100 kB
Buffers:          169472 kB
Cached:          1147068 kB
SwapCached:        34624 kB
Active:           560688 kB
Inactive:         795444 kB
Active(anon):      11688 kB
Inactive(anon):    60388 kB
Active(file):     549000 kB
Inactive(file):   735056 kB
Unevictable:      110024 kB
Mlocked:          110024 kB
SwapTotal:      67108860 kB
SwapFree:       66968420 kB
Dirty:             20540 kB
Writeback:             0 kB
AnonPages:        115088 kB
Mapped:            37364 kB
Shmem:             24352 kB
Slab:             191428 kB
SReclaimable:     160676 kB
SUnreclaim:        30752 kB
KernelStack:        3792 kB
PageTables:         5600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498176 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:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61356 MiB
End job on node135 at 2019-09-14 06:46:11