Trace number 4405656

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-09-22)SAT 761.468 103.064

General information on the benchmark

NameLangford/Langford-m1-k3/
Langford-3-35.xml
MD5SUMd39bc1ef1e07e502cfee7f2819d89a2a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark46.1491
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints71
Number of domains1
Minimum domain size105
Maximum domain size105
Distribution of domain sizes[{"size":105,"count":105}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":70},{"degree":3,"count":35}]
Minimum constraint arity2
Maximum constraint arity105
Distribution of constraint arities[{"arity":2,"count":70},{"arity":105,"count":1}]
Number of extensional constraints0
Number of intensional constraints70
Distribution of constraint types[{"type":"intension","count":70},{"type":"allDifferent","count":1}]
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-29092-serial-file.bin HOME/instance-4405656-1569242150.xml
0.65/0.60	
0.65/0.60	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.60	
0.77/0.63	c BEGIN-Prog: Mon Sep 23 14:35:09 CEST 2019
0.77/0.63	c PID: 29095
0.77/0.63	c IP: 172.20.3.116
0.77/0.63	c HOST: node116.alineos.net
0.77/0.64	c (0,0) Parsing Begin
1.54/1.04	c (0,0) Parsing End
1.54/1.05	c (0,0) CSP: 105 int (0 aux), 0 bool (0 aux), 71 ctr, max domain size 105
1.54/1.05	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.54/1.05	c (0,0) Constraint Name Generate Begin
1.54/1.06	c (0,0) Ctr:HOME/instance-4405656-1569242150.xml,Add:AllDifferent:Eq:Num:Var
1.54/1.06	c (0,0) Constraint Name Generate End
1.54/1.06	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.54/1.06	c (0,0) CSP to CSPinCNF Begin
4.25/1.84	c (1,1) translated 8 (10%) constraints
4.25/1.84	c (1,1) translated 15 (20%) constraints
4.25/1.84	c (1,1) translated 22 (30%) constraints
4.25/1.84	c (1,1) translated 29 (40%) constraints
4.25/1.84	c (1,1) translated 36 (50%) constraints
4.25/1.85	c (1,1) translated 43 (60%) constraints
4.25/1.85	c (1,1) translated 50 (70%) constraints
4.25/1.85	c (1,1) translated 57 (80%) constraints
4.25/1.85	c (1,1) translated 64 (90%) constraints
4.25/1.85	c (1,1) translated 71 (100%) constraints
4.25/1.85	c (1,1) ===========================================
4.25/1.88	c (1,1) Hybrid: #OE=105, #LE=0
4.25/1.88	c (1,1) Hybrid
4.25/1.88	c (1,1) ===========================================
4.66/1.95	c (1,1) translated 564 (10%) constraints
4.66/1.99	c (1,1) translated 1128 (20%) constraints
5.15/2.02	c (1,1) translated 1692 (30%) constraints
5.15/2.05	c (1,1) translated 2255 (40%) constraints
5.15/2.07	c (1,1) translated 2819 (50%) constraints
5.15/2.10	c (1,1) translated 3383 (60%) constraints
5.50/2.13	c (1,1) translated 3946 (70%) constraints
5.50/2.15	c (1,1) translated 4510 (80%) constraints
5.50/2.17	c (1,1) translated 5074 (90%) constraints
8.00/2.88	c (2,2) translated 5637 (100%) constraints
8.00/2.88	c (2,2) CSP to CSPinCNF End
8.00/2.89	c (2,2) CSP: 105 int (0 aux), 11025 bool (11025 aux), 27757 ctr, max domain size 101
8.00/2.89	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.00/2.89	c (2,2) CSPinCNF Propagation Begin
10.06/3.45	c (2,2) 3990 values, 8369 unsatisfiable literals, and 8412 valid clauses are removed
10.06/3.45	c (2,2) CSPinCNF Propagation End
10.06/3.45	c (2,2) CSP: 105 int (0 aux), 11025 bool (11025 aux), 19345 ctr, max domain size 101
10.06/3.45	c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.06/3.49	c (2,2) Hybrid: #OE=11130, #LE=0
10.06/3.49	c (2,2) Simplify CSPinCNF Begin
11.16/3.74	c (3,3) Simplify CSPinCNF End
11.16/3.74	c (3,3) CSP: 105 int (0 aux), 21447 bool (21447 aux), 29767 ctr, max domain size 101
11.16/3.74	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.16/3.74	c (3,3) Calculate Precise Domain Begin
11.16/3.74	c (3,3) 0 values are removed by re-calculation
11.16/3.74	c (3,3) Calculate Precise Domain End
11.16/3.75	c (3,3) CSP: 105 int (0 aux), 21447 bool (21447 aux), 29767 ctr, max domain size 101
11.16/3.75	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.16/3.75	c (3,3) CSPinCNF to SatSolver Begin
14.36/4.72	c (4,4) 2977 (10 %) CSP clauses are encoded (0 SAT variables, 127239 SAT clauses)
14.82/5.20	c (4,4) 5954 (20 %) CSP clauses are encoded (0 SAT variables, 218350 SAT clauses)
15.47/5.55	c (4,4) 8931 (30 %) CSP clauses are encoded (0 SAT variables, 284859 SAT clauses)
16.04/6.08	c (5,5) 11907 (40 %) CSP clauses are encoded (0 SAT variables, 394715 SAT clauses)
16.53/6.51	c (5,5) 14884 (50 %) CSP clauses are encoded (0 SAT variables, 483368 SAT clauses)
16.64/6.65	c (6,6) 17861 (60 %) CSP clauses are encoded (0 SAT variables, 510065 SAT clauses)
16.64/6.68	c (6,6) 20837 (70 %) CSP clauses are encoded (0 SAT variables, 513041 SAT clauses)
16.74/6.71	c (6,6) 23814 (80 %) CSP clauses are encoded (0 SAT variables, 516018 SAT clauses)
16.74/6.74	c (6,6) 26791 (90 %) CSP clauses are encoded (0 SAT variables, 518995 SAT clauses)
16.74/6.79	c (6,6) 29767 (100 %) CSP clauses are encoded (0 SAT variables, 531040 SAT clauses)
16.74/6.79	c (6,6) CSPinCNF to SatSolver End
16.74/6.79	c (6,6) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.74/6.79	c (6,6) 24387 bool, 531072 clause
16.74/6.79	c (6,6) Export Begin
16.85/6.89	c (6,6) Export to HOME/scop-29092-serial-file.bin
16.85/6.89	c (6,6) Export End
16.85/6.89	c (6,6) Export File Size: 0.02 MB
16.85/6.89	c (6,6) 0,0,2,2,3,3,6,STOP-AFTER(DIMACS)
16.85/6.89	c END-Prog: Mon Sep 23 14:35:15 CEST 2019
17.03/6.93	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29092-serial-file.bin
17.66/7.44	c (0,0) Read Serial File Begin
17.66/7.44	c (0,0) HOME/scop-29092-serial-file.bin
17.93/7.67	c (0,0) Read Serial File End
17.93/7.69	
17.93/7.69	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
17.93/7.69	(Solving Process)
17.93/7.69	
18.10/7.71	c BEGIN-Prog: Mon Sep 23 14:35:16 CEST 2019
18.10/7.71	c PID: 29116
18.10/7.71	c IP: 172.20.3.116
18.10/7.71	c HOST: node116.alineos.net
18.10/7.72	c (0,0) SatSolver.solve Begin
18.10/7.72	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405656-1569242150.xml-scop-29095.cnf
18.10/7.75	c (0,0) c
18.10/7.75	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)
18.10/7.75	c (0,0) c
18.10/7.75	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
18.10/7.75	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
18.10/7.75	c (0,0) c ========================================[ Problem Statistics ]===========================================
18.10/7.75	c (0,0) c |                                                                                                       |
18.33/7.92	c (0,0) c |  Number of variables:         24387                                                                   |
18.33/7.93	c (0,0) c |  Number of clauses:          531072                                                                   |
18.33/7.93	c (0,0) c |  Parse time:                   0.17 s                                                                 |
18.33/7.93	c (0,0) c |                                                                                                       |
19.28/8.77	c (1,0) c |  Simplification time:          0.83 s                                                                 |
19.28/8.77	c (1,0) c |                                                                                                       |
19.28/8.77	c (1,0) c |  Generating clones                                                                                    |
19.47/8.92	c (1,0) c |  all clones generated. Memory =   350.16Mb.                                                           |
19.47/8.92	c (1,0) c ========================================================================================================|
19.47/8.92	c (1,0) c
19.47/8.92	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
19.47/8.92	c (1,0) c
19.47/8.92	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.47/8.92	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
19.47/8.92	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
19.47/8.92	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
19.47/8.92	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
19.47/8.92	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
19.47/8.92	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
19.47/8.92	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
19.47/8.92	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
19.47/8.92	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
19.47/8.92	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
19.47/8.92	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
19.47/8.92	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
19.47/8.92	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
19.47/8.92	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
19.47/8.92	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
19.47/8.92	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
19.47/8.92	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
19.47/8.92	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
251.68/38.50	c (31,0) c
251.68/38.50	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
251.68/38.50	c (31,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
251.68/38.50	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
251.68/38.50	c (31,0) c |  0 |     63 |     197821 |      19432 |   332253 |    10635 |     1372 |    17860 |       71 |      226 |  20 |  0.000 |
251.68/38.50	c (31,0) c |  1 |     26 |     117365 |      30135 |   237350 |    13946 |     3121 |    15839 |       41 |      237 |  20 |  0.000 |
251.68/38.50	c (31,0) c |  2 |     62 |     188680 |      21233 |   297782 |    12439 |     1644 |    17389 |       58 |      225 |  20 |  0.000 |
251.68/38.50	c (31,0) c |  3 |    120 |     213158 |      23753 |   328322 |     7562 |     2400 |    17890 |       80 |      244 |  20 |  0.000 |
251.68/38.50	c (31,0) c |  4 |     82 |     209408 |      24061 |   318144 |     7866 |     2683 |    17911 |       99 |      239 |  20 |  0.000 |
251.68/38.50	c (31,0) c |  5 |    173 |     176529 |      43598 |   262274 |    17505 |     7368 |    13501 |      109 |      243 |  20 |  0.000 |
251.68/38.50	c (31,0) c |  6 |     60 |     215281 |      20283 |   332664 |    11485 |     1682 |    18727 |       92 |      234 |  20 |  0.000 |
251.68/38.50	c (31,0) c |  7 |     49 |     202122 |      20472 |   328756 |    11677 |     1531 |    18497 |       85 |      232 |  20 |  0.000 |
251.68/38.50	c (31,0) c 
251.68/38.50	c (31,0) c synthesis      202969 conflicts   352996234 propagations      870 conflicts/sec  1513024 propagations/sec
251.68/38.50	c (31,0) c real: 30.7539 s, cpu: 233.305 s, memory: 909.14 Mb
488.97/68.50	c (61,0) c
488.97/68.50	c (61,0) c |------------------------------------------------------------------------------------------------------------------------|
488.97/68.50	c (61,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
488.97/68.50	c (61,0) c |------------------------------------------------------------------------------------------------------------------------|
488.97/68.50	c (61,0) c |  0 |    204 |     352284 |      47291 |   403347 |    21197 |     6199 |    37462 |      367 |      471 |  20 |  0.000 |
488.97/68.50	c (61,0) c |  1 |     38 |     237994 |      61048 |   321031 |    22510 |     6535 |    36862 |      216 |      482 |  20 |  0.000 |
488.97/68.50	c (61,0) c |  2 |    139 |     369832 |      56977 |   381442 |    18443 |     7275 |    37164 |      287 |      485 |  20 |  0.000 |
488.97/68.50	c (61,0) c |  3 |    239 |     375993 |      49406 |   404701 |    23311 |     4078 |    38171 |      309 |      485 |  20 |  0.000 |
488.97/68.50	c (61,0) c |  4 |    235 |     383647 |      49349 |   400724 |    23254 |     5935 |    38348 |      332 |      484 |  20 |  0.000 |
488.97/68.50	c (61,0) c |  5 |    453 |     405667 |      60981 |   395228 |    22436 |     8473 |    35673 |      368 |      480 |  20 |  0.000 |
488.97/68.50	c (61,0) c |  6 |    130 |     432972 |      40170 |   426891 |    14075 |     3397 |    40596 |      356 |      478 |  20 |  0.000 |
488.97/68.50	c (61,0) c |  7 |    102 |     408226 |      40324 |   420850 |    14226 |     3241 |    40161 |      351 |      473 |  20 |  0.000 |
488.97/68.50	c (61,0) c 
488.97/68.50	c (61,0) c synthesis      405546 conflicts   729181204 propagations      862 conflicts/sec  1550026 propagations/sec
488.97/68.50	c (61,0) c real: 60.7539 s, cpu: 470.432 s, memory: 1229.14 Mb
726.80/98.50	c (91,0) c
726.80/98.50	c (91,0) c |------------------------------------------------------------------------------------------------------------------------|
726.80/98.50	c (91,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
726.80/98.50	c (91,0) c |------------------------------------------------------------------------------------------------------------------------|
726.80/98.50	c (91,0) c |  0 |    336 |     543628 |      67631 |   444787 |    29090 |     7996 |    48290 |      753 |      702 |  20 |  0.000 |
726.80/98.50	c (91,0) c |  1 |     63 |     415017 |      79705 |   397115 |    26139 |     8649 |    48384 |      644 |      715 |  20 |  0.000 |
726.80/98.50	c (91,0) c |  2 |    361 |     528999 |      74733 |   431098 |    21167 |     8372 |    48499 |      680 |      715 |  20 |  0.000 |
726.80/98.50	c (91,0) c |  3 |    239 |     415060 |      83661 |   406892 |    30096 |     6433 |    38171 |      351 |      722 |  20 |  0.000 |
726.80/98.50	c (91,0) c |  4 |    381 |     594496 |      67472 |   447591 |    28924 |     7388 |    49867 |      786 |      722 |  20 |  0.000 |
726.80/98.50	c (91,0) c |  5 |    673 |     629036 |      78173 |   443914 |    24605 |     9732 |    47563 |      837 |      722 |  20 |  0.000 |
726.80/98.50	c (91,0) c |  6 |    207 |     652312 |      58430 |   461673 |    19885 |     4975 |    52396 |      805 |      722 |  20 |  0.000 |
726.80/98.50	c (91,0) c |  7 |    149 |     558668 |      63916 |   447349 |    25367 |     4644 |    51926 |      737 |      711 |  20 |  0.000 |
726.80/98.50	c (91,0) c 
726.80/98.50	c (91,0) c synthesis      573721 conflicts  1098044421 propagations      810 conflicts/sec  1550626 propagations/sec
726.80/98.50	c (91,0) c real: 90.7539 s, cpu: 708.13 s, memory: 1130.78 Mb
760.83/102.82	c (95,0) c
760.83/102.82	c (95,0) c real time : 95.0837 s
760.83/102.82	c (95,0) c cpu time  : 741.42 s
760.83/102.82	c (95,0) c
760.83/102.82	c (95,0) c
760.83/102.82	c (95,0) c
760.83/102.83	c (95,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
760.83/102.83	c (95,0) c
760.83/102.83	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
760.83/102.83	c (95,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
760.83/102.83	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
760.83/102.83	c (95,0) c | Conflicts     |          594584 |      69929 |      82247 |      76927 |      88121 |      69606 |      80281 |      60870 |      66603 |
760.83/102.83	c (95,0) c | Decisions     |         4540586 |     575949 |     440637 |     559035 |     420222 |     619388 |     653863 |     682701 |     588791 |
760.83/102.83	c (95,0) c | Propagations  |      1150171887 |  136235488 |  150493740 |  145154312 |  146515419 |  142851715 |  148952408 |  139561222 |  140407583 |
760.83/102.83	c (95,0) c | ReduceDBs     |              54 |          7 |          7 |          7 |          7 |          7 |          7 |          6 |          6 |
760.83/102.83	c (95,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
760.83/102.83	c (95,0) c | Restarts      |            2510 |        355 |         73 |        374 |        240 |        396 |        702 |        215 |        155 |
760.83/102.83	c (95,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
760.83/102.83	c (95,0) c | PropBinClauses|      2099763793 |  251621273 |  272727504 |  264502343 |  263133347 |  263003948 |  269862502 |  257324767 |  257588109 |
760.83/102.83	c (95,0) c | PropPreBlocker|     27625092103 | 3408979400 | 3452855097 | 3478158597 | 3445488527 | 3489742917 | 3492436221 | 3446045037 | 3411386307 |
760.83/102.83	c (95,0) c | PropNotBlocker|      3761242253 |  450476555 |  447389956 |  454663388 |  510826066 |  455845518 |  451455017 |  491558639 |  499027114 |
760.83/102.83	c (95,0) c | LitFullScans  |     36002950649 | 4409461878 | 4500172845 | 4490830237 | 4530197214 | 4529826874 | 4530123882 | 4530180416 | 4482157303 |
760.83/102.83	c (95,0) c | LitScanFracts |         1221997 |     165030 |     156035 |     150414 |     153131 |     139310 |     143952 |     167477 |     146648 |
760.83/102.83	c (95,0) c | DecisionLevel0|            2510 |        355 |         73 |        374 |        240 |        396 |        702 |        215 |        155 |
760.83/102.83	c (95,0) c | Periods       |            5997 |        734 |        750 |        748 |        755 |        754 |        754 |        755 |        747 |
760.83/102.83	c (95,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
760.83/102.83	c (95,0) c | Avg_Trail     |                 |      14447 |      12891 |      12875 |      12571 |      14224 |      12179 |      14531 |      13767 |
760.83/102.83	c (95,0) c | Avg_DL        |                 |         80 |         60 |         72 |         72 |         85 |         61 |        103 |         89 |
760.83/102.83	c (95,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
760.83/102.83	c (95,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
760.83/102.83	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
760.83/102.83	c (95,0) c | Exported      |           59952 |       8222 |       8856 |       8561 |       6811 |       7554 |       9892 |       5175 |       4881 |
760.83/102.83	c (95,0) c | Imported      |          410549 |      49827 |      50119 |      50162 |      51835 |      51649 |      49335 |      53748 |      53874 |
760.83/102.83	c (95,0) c | Good          |           24403 |       2980 |       3127 |       3046 |       3176 |       3082 |       3009 |       3015 |       2968 |
760.83/102.83	c (95,0) c | Purge         |          386146 |      46847 |      46992 |      47116 |      48659 |      48567 |      46326 |      50733 |      50906 |
760.83/102.83	c (95,0) c | Promoted      |            6158 |        835 |        743 |        743 |        370 |        869 |        908 |        883 |        807 |
760.83/102.83	c (95,0) c | Remove_Imp    |          136809 |      18879 |      11924 |      14031 |      15712 |      20851 |      10928 |      22532 |      21952 |
760.83/102.83	c (95,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
760.83/102.83	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
760.83/102.83	c (95,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
760.83/102.83	c (95,0) c | Binaries      |                 |        455 |        398 |        458 |        270 |        462 |        533 |        504 |        529 |
760.83/102.83	c (95,0) c | Glues         |                 |       1560 |       1084 |       1477 |       1055 |       1618 |       1754 |       1824 |       1638 |
760.83/102.83	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
760.83/102.83	c (95,0) c | Orig_Seen     |            83 % |     449510 |     404519 |     435507 |     407353 |     451869 |     448355 |     464788 |     451584 |
760.83/102.83	c (95,0) c | Diff Orig seen|                 |      X     | -    44991 | -    14003 | -    42157 |       2359 | -     1155 |      15278 |       2074 |
760.83/102.83	c (95,0) c | Hamming       |            19 % |      X     |       4424 |       4578 |       4152 |       4372 |       4872 |       5521 |       5481 |
760.83/102.83	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
760.83/102.83	c (95,0) c | RunningTime   |                 |   93.5 100%|   93.8 100%|   93.8 100%|   92.9  99%|   92.1  98%|   91.1  97%|   93.2  99%|   93.8 100%|
760.83/102.83	c (95,0) c | WaitingTime   |                 |    0.2   0%|    0.0   0%|    0.0   0%|    0.8   1%|    1.7   2%|    2.7   3%|    0.6   1%|    0.0   0%|
760.83/102.83	c (95,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
760.83/102.83	c (95,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%|
760.83/102.83	c (95,0) c | SolvingTime   |                 |   93.8     |   93.9     |   93.8     |   93.8     |   93.9     |   93.9     |   93.8     |   93.9     |
760.83/102.83	c (95,0) c | PropagationTim|                 |   85.3  91%|   85.0  91%|   85.5  91%|   84.9  91%|   85.2  91%|   85.6  91%|   85.0  91%|   85.1  91%|
760.83/102.83	c (95,0) c | AnalysisTime  |                 |    5.5   6%|    6.0   6%|    5.3   6%|    6.1   6%|    5.5   6%|    5.2   6%|    5.8   6%|    5.8   6%|
760.83/102.83	c (95,0) c | ReductionTime |                 |    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.4   0%|    0.3   0%|    0.3   0%|    0.3   0%|
760.83/102.83	c (95,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
760.83/102.83	c (95,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%|
760.83/102.83	c (95,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%|
760.83/102.83	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
760.83/102.83	c (95,0) c
760.83/102.83	c (95,0) c
760.83/102.83	c (95,0) c Threads : 8
760.83/102.83	c (95,0) c Winner : 0
760.83/102.83	c (95,0) c Conflicts_0 : 69929
760.83/102.83	c (95,0) c Conflicts_1 : 82247
760.83/102.83	c (95,0) c Conflicts_2 : 76927
760.83/102.83	c (95,0) c Conflicts_3 : 88121
760.83/102.83	c (95,0) c Conflicts_4 : 69606
760.83/102.83	c (95,0) c Conflicts_5 : 80281
760.83/102.83	c (95,0) c Conflicts_6 : 60870
760.83/102.83	c (95,0) c Conflicts_7 : 66603
760.83/102.83	c (95,0) c Conflicts_total : 594584
760.83/102.83	c (95,0) c Conflicts_winner : 69929
760.83/102.83	c (95,0) c Decisions_0 : 575949
760.83/102.83	c (95,0) c Decisions_1 : 440637
760.83/102.83	c (95,0) c Decisions_2 : 559035
760.83/102.83	c (95,0) c Decisions_3 : 420222
760.83/102.83	c (95,0) c Decisions_4 : 619388
760.83/102.83	c (95,0) c Decisions_5 : 653863
760.83/102.83	c (95,0) c Decisions_6 : 682701
760.83/102.83	c (95,0) c Decisions_7 : 588791
760.83/102.83	c (95,0) c Decisions_total : 4540586
760.83/102.83	c (95,0) c Decisions_winner : 575949
760.83/102.83	c (95,0) c Propagations_0 : 136235488
760.83/102.83	c (95,0) c Propagations_1 : 150493740
760.83/102.83	c (95,0) c Propagations_2 : 145154312
760.83/102.83	c (95,0) c Propagations_3 : 146515419
760.83/102.83	c (95,0) c Propagations_4 : 142851715
760.83/102.83	c (95,0) c Propagations_5 : 148952408
760.83/102.83	c (95,0) c Propagations_6 : 139561222
760.83/102.83	c (95,0) c Propagations_7 : 140407583
760.83/102.83	c (95,0) c Propagations_total : 1150171887
760.83/102.83	c (95,0) c Propagations_winner : 136235488
760.83/102.83	c (95,0) c ReduceDBs_0 : 7
760.83/102.83	c (95,0) c ReduceDBs_1 : 7
760.83/102.83	c (95,0) c ReduceDBs_2 : 7
760.83/102.83	c (95,0) c ReduceDBs_3 : 7
760.83/102.83	c (95,0) c ReduceDBs_4 : 7
760.83/102.83	c (95,0) c ReduceDBs_5 : 7
760.83/102.83	c (95,0) c ReduceDBs_6 : 6
760.83/102.83	c (95,0) c ReduceDBs_7 : 6
760.83/102.83	c (95,0) c ReduceDBs_total : 54
760.83/102.83	c (95,0) c ReduceDBs_winner : 7
760.83/102.83	c (95,0) c SimpDBs_0 : 1
760.83/102.83	c (95,0) c SimpDBs_1 : 1
760.83/102.83	c (95,0) c SimpDBs_2 : 1
760.83/102.83	c (95,0) c SimpDBs_3 : 1
760.83/102.83	c (95,0) c SimpDBs_4 : 1
760.83/102.83	c (95,0) c SimpDBs_5 : 1
760.83/102.83	c (95,0) c SimpDBs_6 : 1
760.83/102.83	c (95,0) c SimpDBs_7 : 1
760.83/102.83	c (95,0) c SimpDBs_total : 8
760.83/102.83	c (95,0) c SimpDBs_winner : 1
760.83/102.83	c (95,0) c Restarts_0 : 355
760.83/102.83	c (95,0) c Restarts_1 : 73
760.83/102.83	c (95,0) c Restarts_2 : 374
760.83/102.83	c (95,0) c Restarts_3 : 240
760.83/102.83	c (95,0) c Restarts_4 : 396
760.83/102.83	c (95,0) c Restarts_5 : 702
760.83/102.83	c (95,0) c Restarts_6 : 215
760.83/102.83	c (95,0) c Restarts_7 : 155
760.83/102.83	c (95,0) c Restarts_total : 2510
760.83/102.83	c (95,0) c Restarts_winner : 355
760.83/102.83	c (95,0) c ForcedImports_0 : 0
760.83/102.83	c (95,0) c ForcedImports_1 : 0
760.83/102.83	c (95,0) c ForcedImports_2 : 0
760.83/102.83	c (95,0) c ForcedImports_3 : 0
760.83/102.83	c (95,0) c ForcedImports_4 : 0
760.83/102.83	c (95,0) c ForcedImports_5 : 0
760.83/102.83	c (95,0) c ForcedImports_6 : 0
760.83/102.83	c (95,0) c ForcedImports_7 : 0
760.83/102.83	c (95,0) c ForcedImports_total : 0
760.83/102.83	c (95,0) c ForcedImports_winner : 0
760.83/102.83	c (95,0) c PropsBinClauses_0 : 251621273
760.83/102.83	c (95,0) c PropsBinClauses_1 : 272727504
760.83/102.83	c (95,0) c PropsBinClauses_2 : 264502343
760.83/102.83	c (95,0) c PropsBinClauses_3 : 263133347
760.83/102.83	c (95,0) c PropsBinClauses_4 : 263003948
760.83/102.83	c (95,0) c PropsBinClauses_5 : 269862502
760.83/102.83	c (95,0) c PropsBinClauses_6 : 257324767
760.83/102.83	c (95,0) c PropsBinClauses_7 : 257588109
760.83/102.83	c (95,0) c PropsBinClauses_total : 2099763793
760.83/102.83	c (95,0) c PropsBinClauses_winner : 251621273
760.83/102.83	c (95,0) c PropsPreBlocker_0 : 3408979400
760.83/102.83	c (95,0) c PropsPreBlocker_1 : 3452855097
760.83/102.83	c (95,0) c PropsPreBlocker_2 : 3478158597
760.83/102.83	c (95,0) c PropsPreBlocker_3 : 3445488527
760.83/102.83	c (95,0) c PropsPreBlocker_4 : 3489742917
760.83/102.83	c (95,0) c PropsPreBlocker_5 : 3492436221
760.83/102.83	c (95,0) c PropsPreBlocker_6 : 3446045037
760.83/102.83	c (95,0) c PropsPreBlocker_7 : 3411386307
760.83/102.83	c (95,0) c PropsPreBlocker_total : 27625092103
760.83/102.83	c (95,0) c PropsPreBlocker_winner : 3408979400
760.83/102.83	c (95,0) c PropsNotBlocker_0 : 450476555
760.83/102.83	c (95,0) c PropsNotBlocker_1 : 447389956
760.83/102.83	c (95,0) c PropsNotBlocker_2 : 454663388
760.83/102.83	c (95,0) c PropsNotBlocker_3 : 510826066
760.83/102.83	c (95,0) c PropsNotBlocker_4 : 455845518
760.83/102.83	c (95,0) c PropsNotBlocker_5 : 451455017
760.83/102.83	c (95,0) c PropsNotBlocker_6 : 491558639
760.83/102.83	c (95,0) c PropsNotBlocker_7 : 499027114
760.83/102.83	c (95,0) c PropsNotBlocker_total : 3761242253
760.83/102.83	c (95,0) c PropsNotBlocker_winner : 450476555
760.83/102.83	c (95,0) c PropsLitFullScans_0 : 4409461878
760.83/102.83	c (95,0) c PropsLitFullScans_1 : 4500172845
760.83/102.83	c (95,0) c PropsLitFullScans_2 : 4490830237
760.83/102.83	c (95,0) c PropsLitFullScans_3 : 4530197214
760.83/102.83	c (95,0) c PropsLitFullScans_4 : 4529826874
760.83/102.83	c (95,0) c PropsLitFullScans_5 : 4530123882
760.83/102.83	c (95,0) c PropsLitFullScans_6 : 4530180416
760.83/102.83	c (95,0) c PropsLitFullScans_7 : 4482157303
760.83/102.83	c (95,0) c PropsLitFullScans_total : 36002950649
760.83/102.83	c (95,0) c PropsLitFullScans_winner : 4409461878
760.83/102.83	c (95,0) c LitScanFractions_0 : 165030
760.83/102.83	c (95,0) c LitScanFractions_1 : 156035
760.83/102.83	c (95,0) c LitScanFractions_2 : 150414
760.83/102.83	c (95,0) c LitScanFractions_3 : 153131
760.83/102.83	c (95,0) c LitScanFractions_4 : 139310
760.83/102.83	c (95,0) c LitScanFractions_5 : 143952
760.83/102.83	c (95,0) c LitScanFractions_6 : 167477
760.83/102.83	c (95,0) c LitScanFractions_7 : 146648
760.83/102.83	c (95,0) c LitScanFractions_total : 1221997
760.83/102.83	c (95,0) c LitScanFractions_winner : 165030
760.83/102.83	c (95,0) c DecisionLevel0_0 : 355
760.83/102.83	c (95,0) c DecisionLevel0_1 : 73
760.83/102.83	c (95,0) c DecisionLevel0_2 : 374
760.83/102.83	c (95,0) c DecisionLevel0_3 : 240
760.83/102.83	c (95,0) c DecisionLevel0_4 : 396
760.83/102.83	c (95,0) c DecisionLevel0_5 : 702
760.83/102.83	c (95,0) c DecisionLevel0_6 : 215
760.83/102.83	c (95,0) c DecisionLevel0_7 : 155
760.83/102.83	c (95,0) c DecisionLevel0_total : 2510
760.83/102.83	c (95,0) c DecisionLevel0_winner : 355
760.83/102.83	c (95,0) c Periods_0 : 734
760.83/102.83	c (95,0) c Periods_1 : 750
760.83/102.83	c (95,0) c Periods_2 : 748
760.83/102.83	c (95,0) c Periods_3 : 755
760.83/102.83	c (95,0) c Periods_4 : 754
760.83/102.83	c (95,0) c Periods_5 : 754
760.83/102.83	c (95,0) c Periods_6 : 755
760.83/102.83	c (95,0) c Periods_7 : 747
760.83/102.83	c (95,0) c Periods_total : 5997
760.83/102.83	c (95,0) c Periods_winner : 734
760.83/102.83	c (95,0) c Margin_0 : 20
760.83/102.83	c (95,0) c Margin_1 : 20
760.83/102.83	c (95,0) c Margin_2 : 20
760.83/102.83	c (95,0) c Margin_3 : 20
760.83/102.83	c (95,0) c Margin_4 : 20
760.83/102.83	c (95,0) c Margin_5 : 20
760.83/102.83	c (95,0) c Margin_6 : 20
760.83/102.83	c (95,0) c Margin_7 : 20
760.83/102.83	c (95,0) c Margin_total : 160
760.83/102.83	c (95,0) c Margin_winner : 20
760.83/102.83	c (95,0) c Exported_0 : 8222
760.83/102.83	c (95,0) c Exported_1 : 8856
760.83/102.83	c (95,0) c Exported_2 : 8561
760.83/102.83	c (95,0) c Exported_3 : 6811
760.83/102.83	c (95,0) c Exported_4 : 7554
760.83/102.83	c (95,0) c Exported_5 : 9892
760.83/102.83	c (95,0) c Exported_6 : 5175
760.83/102.83	c (95,0) c Exported_7 : 4881
760.83/102.83	c (95,0) c Exported_total : 59952
760.83/102.83	c (95,0) c Exported_winner : 8222
760.83/102.83	c (95,0) c Imported_0 : 49827
760.83/102.83	c (95,0) c Imported_1 : 50119
760.83/102.83	c (95,0) c Imported_2 : 50162
760.83/102.83	c (95,0) c Imported_3 : 51835
760.83/102.83	c (95,0) c Imported_4 : 51649
760.83/102.83	c (95,0) c Imported_5 : 49335
760.83/102.83	c (95,0) c Imported_6 : 53748
760.83/102.83	c (95,0) c Imported_7 : 53874
760.83/102.83	c (95,0) c Imported_total : 410549
760.83/102.83	c (95,0) c Imported_winner : 49827
760.83/102.83	c (95,0) c Good_0 : 2980
760.83/102.83	c (95,0) c Good_1 : 3127
760.83/102.83	c (95,0) c Good_2 : 3046
760.83/102.83	c (95,0) c Good_3 : 3176
760.83/102.83	c (95,0) c Good_4 : 3082
760.83/102.83	c (95,0) c Good_5 : 3009
760.83/102.83	c (95,0) c Good_6 : 3015
760.83/102.83	c (95,0) c Good_7 : 2968
760.83/102.83	c (95,0) c Good_total : 24403
760.83/102.83	c (95,0) c Good_winner : 2980
760.83/102.83	c (95,0) c Purge_0 : 46847
760.83/102.83	c (95,0) c Purge_1 : 46992
760.83/102.83	c (95,0) c Purge_2 : 47116
760.83/102.83	c (95,0) c Purge_3 : 48659
760.83/102.83	c (95,0) c Purge_4 : 48567
760.83/102.83	c (95,0) c Purge_5 : 46326
760.83/102.83	c (95,0) c Purge_6 : 50733
760.83/102.83	c (95,0) c Purge_7 : 50906
760.83/102.83	c (95,0) c Purge_total : 386146
760.83/102.83	c (95,0) c Purge_winner : 46847
760.83/102.83	c (95,0) c Promoted_0 : 835
760.83/102.83	c (95,0) c Promoted_1 : 743
760.83/102.83	c (95,0) c Promoted_2 : 743
760.83/102.83	c (95,0) c Promoted_3 : 370
760.83/102.83	c (95,0) c Promoted_4 : 869
760.83/102.84	c (95,0) c Promoted_5 : 908
760.83/102.84	c (95,0) c Promoted_6 : 883
760.83/102.84	c (95,0) c Promoted_7 : 807
760.83/102.84	c (95,0) c Promoted_total : 6158
760.83/102.84	c (95,0) c Promoted_winner : 835
760.83/102.84	c (95,0) c Remove_Imp_0 : 18879
760.83/102.84	c (95,0) c Remove_Imp_1 : 11924
760.83/102.84	c (95,0) c Remove_Imp_2 : 14031
760.83/102.84	c (95,0) c Remove_Imp_3 : 15712
760.83/102.84	c (95,0) c Remove_Imp_4 : 20851
760.83/102.84	c (95,0) c Remove_Imp_5 : 10928
760.83/102.84	c (95,0) c Remove_Imp_6 : 22532
760.83/102.84	c (95,0) c Remove_Imp_7 : 21952
760.83/102.84	c (95,0) c Remove_Imp_total : 136809
760.83/102.84	c (95,0) c Remove_Imp_winner : 18879
760.83/102.84	c (95,0) c Blocked_Reuse_0 : 0
760.83/102.84	c (95,0) c Blocked_Reuse_1 : 0
760.83/102.84	c (95,0) c Blocked_Reuse_2 : 0
760.83/102.84	c (95,0) c Blocked_Reuse_3 : 0
760.83/102.84	c (95,0) c Blocked_Reuse_4 : 0
760.83/102.84	c (95,0) c Blocked_Reuse_5 : 0
760.83/102.84	c (95,0) c Blocked_Reuse_6 : 0
760.83/102.84	c (95,0) c Blocked_Reuse_7 : 0
760.83/102.84	c (95,0) c Blocked_Reuse_total : 0
760.83/102.84	c (95,0) c Blocked_Reuse_winner : 0
760.83/102.84	c (95,0) c Unaries_0 : 0
760.83/102.84	c (95,0) c Unaries_1 : 0
760.83/102.84	c (95,0) c Unaries_2 : 0
760.83/102.84	c (95,0) c Unaries_3 : 0
760.83/102.84	c (95,0) c Unaries_4 : 0
760.83/102.84	c (95,0) c Unaries_5 : 0
760.83/102.84	c (95,0) c Unaries_6 : 0
760.83/102.84	c (95,0) c Unaries_7 : 0
760.83/102.84	c (95,0) c Unaries_total : 0
760.83/102.84	c (95,0) c Unaries_winner : 0
760.83/102.84	c (95,0) c Binaries_0 : 455
760.83/102.84	c (95,0) c Binaries_1 : 398
760.83/102.84	c (95,0) c Binaries_2 : 458
760.83/102.84	c (95,0) c Binaries_3 : 270
760.83/102.84	c (95,0) c Binaries_4 : 462
760.83/102.84	c (95,0) c Binaries_5 : 533
760.83/102.84	c (95,0) c Binaries_6 : 504
760.83/102.84	c (95,0) c Binaries_7 : 529
760.83/102.84	c (95,0) c Binaries_total : 3609
760.83/102.84	c (95,0) c Binaries_winner : 455
760.83/102.84	c (95,0) c Glues_0 : 1560
760.83/102.84	c (95,0) c Glues_1 : 1084
760.83/102.84	c (95,0) c Glues_2 : 1477
760.83/102.84	c (95,0) c Glues_3 : 1055
760.83/102.84	c (95,0) c Glues_4 : 1618
760.83/102.84	c (95,0) c Glues_5 : 1754
760.83/102.84	c (95,0) c Glues_6 : 1824
760.83/102.84	c (95,0) c Glues_7 : 1638
760.83/102.84	c (95,0) c Glues_total : 12010
760.83/102.84	c (95,0) c Glues_winner : 1560
760.83/102.84	c (95,0) c RunningTime_0 : 93.517233
760.83/102.84	c (95,0) c RunningTime_1 : 93.830225
760.83/102.84	c (95,0) c RunningTime_2 : 93.771748
760.83/102.84	c (95,0) c RunningTime_3 : 92.940171
760.83/102.84	c (95,0) c RunningTime_4 : 92.128026
760.83/102.84	c (95,0) c RunningTime_5 : 91.085728
760.83/102.84	c (95,0) c RunningTime_6 : 93.229496
760.83/102.84	c (95,0) c RunningTime_7 : 93.837984
760.83/102.84	c (95,0) c RunningTime_total : 744.340613
760.83/102.84	c (95,0) c RunningTime_winner : 93.517233
760.83/102.84	c (95,0) c WaitingTime_0 : 0.241665
760.83/102.84	c (95,0) c WaitingTime_1 : 0.001187
760.83/102.84	c (95,0) c WaitingTime_2 : 0.001040
760.83/102.84	c (95,0) c WaitingTime_3 : 0.812307
760.83/102.84	c (95,0) c WaitingTime_4 : 1.672570
760.83/102.84	c (95,0) c WaitingTime_5 : 2.728018
760.83/102.84	c (95,0) c WaitingTime_6 : 0.551464
760.83/102.84	c (95,0) c WaitingTime_7 : 0.001102
760.83/102.84	c (95,0) c WaitingTime_total : 6.009354
760.83/102.84	c (95,0) c WaitingTime_winner : 0.241665
760.83/102.84	c (95,0) c ExchangingTime_0 : 0.040260
760.83/102.84	c (95,0) c ExchangingTime_1 : 0.036672
760.83/102.84	c (95,0) c ExchangingTime_2 : 0.044077
760.83/102.84	c (95,0) c ExchangingTime_3 : 0.052734
760.83/102.84	c (95,0) c ExchangingTime_4 : 0.050394
760.83/102.84	c (95,0) c ExchangingTime_5 : 0.045997
760.83/102.84	c (95,0) c ExchangingTime_6 : 0.040515
760.83/102.84	c (95,0) c ExchangingTime_7 : 0.040665
760.83/102.84	c (95,0) c ExchangingTime_total : 0.351315
760.83/102.84	c (95,0) c ExchangingTime_winner : 0.040260
760.83/102.84	c (95,0) c PeriodProcTime_0 : 0.007876
760.83/102.84	c (95,0) c PeriodProcTime_1 : 0.005626
760.83/102.84	c (95,0) c PeriodProcTime_2 : 0.007935
760.83/102.84	c (95,0) c PeriodProcTime_3 : 0.007367
760.83/102.84	c (95,0) c PeriodProcTime_4 : 0.007058
760.83/102.84	c (95,0) c PeriodProcTime_5 : 0.007049
760.83/102.84	c (95,0) c PeriodProcTime_6 : 0.005942
760.83/102.84	c (95,0) c PeriodProcTime_7 : 0.007098
760.83/102.84	c (95,0) c PeriodProcTime_total : 0.055950
760.83/102.84	c (95,0) c PeriodProcTime_winner : 0.007876
760.83/102.84	c (95,0) c SolvingTime_0 : 93.807034
760.83/102.84	c (95,0) c SolvingTime_1 : 93.873711
760.83/102.84	c (95,0) c SolvingTime_2 : 93.824801
760.83/102.84	c (95,0) c SolvingTime_3 : 93.812578
760.83/102.84	c (95,0) c SolvingTime_4 : 93.858048
760.83/102.84	c (95,0) c SolvingTime_5 : 93.866792
760.83/102.84	c (95,0) c SolvingTime_6 : 93.827417
760.83/102.84	c (95,0) c SolvingTime_7 : 93.886849
760.83/102.84	c (95,0) c SolvingTime_total : 750.757232
760.83/102.84	c (95,0) c SolvingTime_winner : 93.807034
760.83/102.84	c (95,0) c PropagationTime_0 : 85.259776
760.83/102.84	c (95,0) c PropagationTime_1 : 84.992281
760.83/102.84	c (95,0) c PropagationTime_2 : 85.475916
760.83/102.84	c (95,0) c PropagationTime_3 : 84.903191
760.83/102.84	c (95,0) c PropagationTime_4 : 85.150754
760.83/102.84	c (95,0) c PropagationTime_5 : 85.580147
760.83/102.84	c (95,0) c PropagationTime_6 : 84.965078
760.83/102.84	c (95,0) c PropagationTime_7 : 85.110535
760.83/102.84	c (95,0) c PropagationTime_total : 681.437678
760.83/102.84	c (95,0) c PropagationTime_winner : 85.259776
760.83/102.84	c (95,0) c AnalysisTime_0 : 5.476768
760.83/102.84	c (95,0) c AnalysisTime_1 : 5.972266
760.83/102.84	c (95,0) c AnalysisTime_2 : 5.347975
760.83/102.84	c (95,0) c AnalysisTime_3 : 6.081934
760.83/102.84	c (95,0) c AnalysisTime_4 : 5.525718
760.83/102.84	c (95,0) c AnalysisTime_5 : 5.198922
760.83/102.84	c (95,0) c AnalysisTime_6 : 5.755856
760.83/102.84	c (95,0) c AnalysisTime_7 : 5.764590
760.83/102.84	c (95,0) c AnalysisTime_total : 45.124029
760.83/102.84	c (95,0) c AnalysisTime_winner : 5.476768
760.83/102.84	c (95,0) c ReductionTime_0 : 0.368158
760.83/102.84	c (95,0) c ReductionTime_1 : 0.288345
760.83/102.84	c (95,0) c ReductionTime_2 : 0.303684
760.83/102.84	c (95,0) c ReductionTime_3 : 0.284677
760.83/102.84	c (95,0) c ReductionTime_4 : 0.381379
760.83/102.84	c (95,0) c ReductionTime_5 : 0.293351
760.83/102.84	c (95,0) c ReductionTime_6 : 0.286516
760.83/102.84	c (95,0) c ReductionTime_7 : 0.296681
760.83/102.84	c (95,0) c ReductionTime_total : 2.502790
760.83/102.84	c (95,0) c ReductionTime_winner : 0.368158
760.83/102.84	c (95,0) c SimplifyTime_0 : 0.000020
760.83/102.84	c (95,0) c SimplifyTime_1 : 0.000002
760.83/102.84	c (95,0) c SimplifyTime_2 : 0.000058
760.83/102.84	c (95,0) c SimplifyTime_3 : 0.000033
760.83/102.84	c (95,0) c SimplifyTime_4 : 0.000044
760.83/102.84	c (95,0) c SimplifyTime_5 : 0.000073
760.83/102.84	c (95,0) c SimplifyTime_6 : 0.000017
760.83/102.84	c (95,0) c SimplifyTime_7 : 0.000017
760.83/102.84	c (95,0) c SimplifyTime_total : 0.000263
760.83/102.84	c (95,0) c SimplifyTime_winner : 0.000020
760.83/102.84	c (95,0) c UsedRateTime_0 : 0.000000
760.83/102.84	c (95,0) c UsedRateTime_1 : 0.000000
760.83/102.84	c (95,0) c UsedRateTime_2 : 0.000000
760.83/102.84	c (95,0) c UsedRateTime_3 : 0.000000
760.83/102.84	c (95,0) c UsedRateTime_4 : 0.000000
760.83/102.84	c (95,0) c UsedRateTime_5 : 0.000000
760.83/102.84	c (95,0) c UsedRateTime_6 : 0.000000
760.83/102.84	c (95,0) c UsedRateTime_7 : 0.000000
760.83/102.84	c (95,0) c UsedRateTime_total : 0.000000
760.83/102.84	c (95,0) c UsedRateTime_winner : 0.000000
760.83/102.84	c (95,0) c OverlapRateTime_0 : 0.000000
760.83/102.84	c (95,0) c OverlapRateTime_1 : 0.000000
760.83/102.84	c (95,0) c OverlapRateTime_2 : 0.000000
760.83/102.84	c (95,0) c OverlapRateTime_3 : 0.000000
760.83/102.84	c (95,0) c OverlapRateTime_4 : 0.000000
760.83/102.84	c (95,0) c OverlapRateTime_5 : 0.000000
760.83/102.84	c (95,0) c OverlapRateTime_6 : 0.000000
760.83/102.84	c (95,0) c OverlapRateTime_7 : 0.000000
760.83/102.84	c (95,0) c OverlapRateTime_total : 0.000000
760.83/102.84	c (95,0) c OverlapRateTime_winner : 0.000000
760.83/102.84	c (95,0) c
760.83/102.84	c (95,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
760.83/102.84	c (95,0) c
760.83/102.84	c (95,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
760.83/102.84	c (95,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
760.83/102.84	c (95,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
760.83/102.84	c (95,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
760.83/102.84	c (95,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
760.83/102.84	c (95,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
760.83/102.84	c (95,0) c | Initial random_seed   | 1716073598 | 1960397823 |  597018581 |  564477795 |  234087772 | 1516565312 | 2044729854 | 2104499767 |
760.83/102.84	c (95,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
760.83/102.84	c (95,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
760.83/102.84	c (95,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
760.83/102.84	c (95,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
760.83/102.84	c (95,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
760.83/102.84	c (95,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
760.83/102.84	c (95,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
760.83/102.84	c (95,0) c | var_decay             |     0.9300 |     0.9500 |     0.9500 |     0.9500 |     0.9300 |     0.9500 |     0.9200 |     0.9300 |
760.83/102.84	c (95,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
760.83/102.84	c (95,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
760.83/102.84	c (95,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
760.83/102.84	c (95,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
760.83/102.84	c (95,0) 
760.83/102.84	c (95,0) s SATISFIABLE
761.11/102.90	c (95,0) SatSolver.solve End
761.11/102.90	c (95,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
761.11/102.90	c (95,0) Show results Begin
761.33/103.03	c (95,0) x[0][0] = 75
761.33/103.03	c (95,0) x[0][1] = 81
761.33/103.03	c (95,0) x[0][2] = 58
761.33/103.03	c (95,0) x[0][3] = 3
761.33/103.03	c (95,0) x[0][4] = 38
761.33/103.03	c (95,0) x[0][5] = 82
761.33/103.03	c (95,0) x[0][6] = 85
761.33/103.03	c (95,0) x[0][7] = 5
761.33/103.03	c (95,0) x[0][8] = 80
761.33/103.03	c (95,0) x[0][9] = 54
761.33/103.03	c (95,0) x[0][10] = 0
761.33/103.03	c (95,0) x[0][11] = 4
761.33/103.03	c (95,0) x[0][12] = 6
761.33/103.03	c (95,0) x[0][13] = 73
761.33/103.03	c (95,0) x[0][14] = 21
761.33/103.03	c (95,0) x[0][15] = 18
761.33/103.03	c (95,0) x[0][16] = 11
761.33/103.03	c (95,0) x[0][17] = 48
761.33/103.03	c (95,0) x[0][18] = 2
761.33/103.03	c (95,0) x[0][19] = 57
761.33/103.03	c (95,0) x[0][20] = 19
761.33/103.03	c (95,0) x[0][21] = 10
761.33/103.03	c (95,0) x[0][22] = 7
761.33/103.03	c (95,0) x[0][23] = 1
761.33/103.03	c (95,0) x[0][24] = 46
761.33/103.03	c (95,0) x[0][25] = 43
761.33/103.03	c (95,0) x[0][26] = 36
761.33/103.03	c (95,0) x[0][27] = 16
761.33/103.03	c (95,0) x[0][28] = 9
761.33/103.03	c (95,0) x[0][29] = 40
761.33/103.03	c (95,0) x[0][30] = 27
761.33/103.03	c (95,0) x[0][31] = 28
761.33/103.03	c (95,0) x[0][32] = 15
761.33/103.03	c (95,0) x[0][33] = 25
761.33/103.03	c (95,0) x[0][34] = 32
761.33/103.03	c (95,0) x[1][0] = 77
761.33/103.03	c (95,0) x[1][1] = 84
761.33/103.03	c (95,0) x[1][2] = 62
761.33/103.03	c (95,0) x[1][3] = 8
761.33/103.03	c (95,0) x[1][4] = 44
761.33/103.03	c (95,0) x[1][5] = 89
761.33/103.04	c (95,0) x[1][6] = 93
761.33/103.04	c (95,0) x[1][7] = 14
761.33/103.04	c (95,0) x[1][8] = 90
761.33/103.04	c (95,0) x[1][9] = 65
761.33/103.04	c (95,0) x[1][10] = 12
761.33/103.04	c (95,0) x[1][11] = 17
761.33/103.04	c (95,0) x[1][12] = 20
761.33/103.04	c (95,0) x[1][13] = 88
761.33/103.04	c (95,0) x[1][14] = 37
761.33/103.04	c (95,0) x[1][15] = 35
761.33/103.04	c (95,0) x[1][16] = 29
761.33/103.04	c (95,0) x[1][17] = 67
761.33/103.04	c (95,0) x[1][18] = 22
761.33/103.04	c (95,0) x[1][19] = 78
761.33/103.04	c (95,0) x[1][20] = 41
761.33/103.04	c (95,0) x[1][21] = 33
761.33/103.04	c (95,0) x[1][22] = 31
761.33/103.04	c (95,0) x[1][23] = 26
761.33/103.04	c (95,0) x[1][24] = 72
761.33/103.04	c (95,0) x[1][25] = 70
761.33/103.04	c (95,0) x[1][26] = 64
761.33/103.04	c (95,0) x[1][27] = 45
761.33/103.04	c (95,0) x[1][28] = 39
761.33/103.04	c (95,0) x[1][29] = 71
761.33/103.04	c (95,0) x[1][30] = 59
761.33/103.04	c (95,0) x[1][31] = 61
761.33/103.04	c (95,0) x[1][32] = 49
761.33/103.04	c (95,0) x[1][33] = 60
761.33/103.04	c (95,0) x[1][34] = 68
761.33/103.04	c (95,0) x[2][0] = 79
761.33/103.04	c (95,0) x[2][1] = 87
761.33/103.04	c (95,0) x[2][2] = 66
761.33/103.04	c (95,0) x[2][3] = 13
761.33/103.04	c (95,0) x[2][4] = 50
761.33/103.04	c (95,0) x[2][5] = 96
761.33/103.04	c (95,0) x[2][6] = 101
761.33/103.04	c (95,0) x[2][7] = 23
761.33/103.04	c (95,0) x[2][8] = 100
761.33/103.04	c (95,0) x[2][9] = 76
761.33/103.04	c (95,0) x[2][10] = 24
761.33/103.04	c (95,0) x[2][11] = 30
761.33/103.04	c (95,0) x[2][12] = 34
761.33/103.04	c (95,0) x[2][13] = 103
761.33/103.04	c (95,0) x[2][14] = 53
761.33/103.04	c (95,0) x[2][15] = 52
761.33/103.04	c (95,0) x[2][16] = 47
761.33/103.04	c (95,0) x[2][17] = 86
761.33/103.04	c (95,0) x[2][18] = 42
761.33/103.04	c (95,0) x[2][19] = 99
761.33/103.04	c (95,0) x[2][20] = 63
761.33/103.04	c (95,0) x[2][21] = 56
761.33/103.04	c (95,0) x[2][22] = 55
761.33/103.04	c (95,0) x[2][23] = 51
761.33/103.04	c (95,0) x[2][24] = 98
761.33/103.04	c (95,0) x[2][25] = 97
761.33/103.04	c (95,0) x[2][26] = 92
761.33/103.04	c (95,0) x[2][27] = 74
761.33/103.04	c (95,0) x[2][28] = 69
761.33/103.04	c (95,0) x[2][29] = 102
761.33/103.04	c (95,0) x[2][30] = 91
761.33/103.04	c (95,0) x[2][31] = 94
761.33/103.04	c (95,0) x[2][32] = 83
761.33/103.04	c (95,0) x[2][33] = 95
761.33/103.04	c (95,0) x[2][34] = 104
761.33/103.04	s SATISFIABLE
761.33/103.05	v <instantiation>
761.33/103.05	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34]</list>
761.33/103.05	v     <values>75 81 58 3 38 82 85 5 80 54 0 4 6 73 21 18 11 48 2 57 19 10 7 1 46 43 36 16 9 40 27 28 15 25 32 77 84 62 8 44 89 93 14 90 65 12 17 20 88 37 35 29 67 22 78 41 33 31 26 72 70 64 45 39 71 59 61 49 60 68 79 87 66 13 50 96 101 23 100 76 24 30 34 103 53 52 47 86 42 99 63 56 55 51 98 97 92 74 69 102 91 94 83 95 104</values>
761.33/103.05	v </instantiation>
761.33/103.05	c (95,0) Show results End
761.33/103.05	c (95,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
761.33/103.05	c (95,0) 95,95,STOP-AFTER(ALL)
761.33/103.05	c END-Prog: Mon Sep 23 14:36:51 CEST 2019

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405656-1569242150/watcher-4405656-1569242150 -o /tmp/evaluation-result-4405656-1569242150/solver-4405656-1569242150 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569238589-28057 --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-4405656-1569242150.xml 

running on 8 cores: 0-7

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

solver pid=29092, runsolver pid=29089

[startup+0.100156 s]*
/proc/loadavg: 7.57 6.77 6.20 2/211 29115
/proc/meminfo: memFree=25260628/32770688 swapFree=67001204/67108860
[pid=29092] ppid=29089 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29092/stat : 29092 (scop.sh) S 29089 29092 28030 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500156564 115843072 349 33554432000 4194304 5098028 140734031300960 140734031298216 139947437097596 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13815808 140734031307556 140734031307884 140734031307884 140734031310797 0
/proc/29092/statm: 28282 349 296 221 0 87 0
[pid=29095] ppid=29092 vsize=27314120 memory=105856 CPUtime=0.1 cores=0-7
/proc/29095/stat : 29095 (java) S 29092 29092 28030 0 -1 1077944320 6518 0 0 0 8 2 0 0 20 0 20 0 500156564 27969658880 26464 33554432000 4194304 4196468 140733965597776 140733965580320 140157197274871 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
/proc/29095/statm: 6828530 26464 2768 1 0 6790935 0
[pid=29095/tid=29096] ppid=29092 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29095/task/29096/stat : 29096 (java) R 29092 29092 28030 0 -1 4202560 4646 0 0 0 7 2 0 0 20 0 20 0 500156564 27969658880 26484 33554432000 4194304 4196468 140733965597776 140157169110000 140157181355358 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29097] ppid=29092 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29095/task/29097/stat : 29097 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 26484 33554432000 4194304 4196468 140733965597776 140157201516816 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29098] ppid=29092 vsize=27314120 memory=140343967848064 CPUtime=0 cores=0-7
/proc/29095/task/29098/stat : 29098 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 26484 33554432000 4194304 4196468 140733965597776 140157015673232 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29099] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29099/stat : 29099 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 26484 33554432000 4194304 4196468 140733965597776 140157014620688 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29100] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29100/stat : 29100 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 26484 33554432000 4194304 4196468 140733965597776 140157013568144 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29101] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29101/stat : 29101 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 26484 33554432000 4194304 4196468 140733965597776 140157012515600 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29102] ppid=29092 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29102/stat : 29102 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 26484 33554432000 4194304 4196468 140733965597776 140157011463056 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29103] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29103/stat : 29103 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 26484 33554432000 4194304 4196468 140733965597776 140157010410512 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29104] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29104/stat : 29104 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 26484 33554432000 4194304 4196468 140733965597776 140157009357968 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29105] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29105/stat : 29105 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156569 27969658880 26484 33554432000 4194304 4196468 140733965597776 140156052940784 140157197286018 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29107] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29107/stat : 29107 (java) S 29092 29092 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500156569 27969658880 26484 33554432000 4194304 4196468 140733965597776 140155117626272 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29108] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29108/stat : 29108 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156569 27969658880 26484 33554432000 4194304 4196468 140733965597776 140154849190896 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29109] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29109/stat : 29109 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 26484 33554432000 4194304 4196468 140733965597776 140154474682576 140157197293467 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29110] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29110/stat : 29110 (java) S 29092 29092 28030 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 26484 33554432000 4194304 4196468 140733965597776 140156051888624 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29111] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29111/stat : 29111 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 26484 33554432000 4194304 4196468 140733965597776 140156050836080 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29112] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29112/stat : 29112 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 26484 33554432000 4194304 4196468 140733965597776 140156049783536 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29113] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29113/stat : 29113 (java) S 29092 29092 28030 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 26484 33554432000 4194304 4196468 140733965597776 140156048730992 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29114] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29114/stat : 29114 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 26484 33554432000 4194304 4196468 140733965597776 140153976776928 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29115] ppid=29092 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29115/stat : 29115 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156573 27969658880 26484 33554432000 4194304 4196468 140733965597776 140156047677872 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107252 KiB

[startup+0.211346 s]*
/proc/loadavg: 7.57 6.77 6.20 2/211 29115
/proc/meminfo: memFree=25241536/32770688 swapFree=67001204/67108860
[pid=29092] ppid=29089 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29092/stat : 29092 (scop.sh) S 29089 29092 28030 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500156564 115843072 349 33554432000 4194304 5098028 140734031300960 140734031298216 139947437097596 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13815808 140734031307556 140734031307884 140734031307884 140734031310797 0
/proc/29092/statm: 28282 349 296 221 0 87 0
[pid=29095] ppid=29092 vsize=27314120 memory=125268 CPUtime=0.23 cores=0-7
/proc/29095/stat : 29095 (java) S 29092 29092 28030 0 -1 1077944320 12027 0 0 0 19 4 0 0 20 0 20 0 500156564 27969658880 31317 33554432000 4194304 4196468 140733965597776 140733965580320 140157197274871 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
/proc/29095/statm: 6828530 31317 2935 1 0 6790935 0
[pid=29095/tid=29096] ppid=29092 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/29095/task/29096/stat : 29096 (java) R 29092 29092 28030 0 -1 4202560 9804 0 0 0 16 4 0 0 20 0 20 0 500156564 27969658880 31317 33554432000 4194304 4196468 140733965597776 140157169107072 140157181355358 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29097] ppid=29092 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/29095/task/29097/stat : 29097 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 31317 33554432000 4194304 4196468 140733965597776 140157201516816 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29098] ppid=29092 vsize=27314120 memory=140343971515954 CPUtime=0 cores=0-7
/proc/29095/task/29098/stat : 29098 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 31317 33554432000 4194304 4196468 140733965597776 140157015673232 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29099] ppid=29092 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29099/stat : 29099 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 31317 33554432000 4194304 4196468 140733965597776 140157014620688 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29100] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29100/stat : 29100 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 31317 33554432000 4194304 4196468 140733965597776 140157013568144 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29101] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29101/stat : 29101 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 31317 33554432000 4194304 4196468 140733965597776 140157012515600 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29102] ppid=29092 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29102/stat : 29102 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 31317 33554432000 4194304 4196468 140733965597776 140157011463056 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29103] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29103/stat : 29103 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 31317 33554432000 4194304 4196468 140733965597776 140157010410512 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29104] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29104/stat : 29104 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 31317 33554432000 4194304 4196468 140733965597776 140157009357968 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29105] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29105/stat : 29105 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156569 27969658880 31317 33554432000 4194304 4196468 140733965597776 140156052940784 140157197286018 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29107] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29107/stat : 29107 (java) S 29092 29092 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500156569 27969658880 31317 33554432000 4194304 4196468 140733965597776 140155117626272 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29108] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29108/stat : 29108 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156569 27969658880 31317 33554432000 4194304 4196468 140733965597776 140154849190896 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29109] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29109/stat : 29109 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 31317 33554432000 4194304 4196468 140733965597776 140154474682576 140157197293467 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29110] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29110/stat : 29110 (java) S 29092 29092 28030 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 31317 33554432000 4194304 4196468 140733965597776 140156051888624 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29111] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29111/stat : 29111 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 31317 33554432000 4194304 4196468 140733965597776 140156050836080 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29112] ppid=29092 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29112/stat : 29112 (java) S 29092 29092 28030 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 31317 33554432000 4194304 4196468 140733965597776 140156049783536 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29113] ppid=29092 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/29095/task/29113/stat : 29113 (java) R 29092 29092 28030 0 -1 4202560 444 0 0 0 2 0 0 0 20 0 20 0 500156572 27969658880 31317 33554432000 4194304 4196468 140733965597776 140156048730992 140157197296218 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29114] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29114/stat : 29114 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 31317 33554432000 4194304 4196468 140733965597776 140153976776928 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29115] ppid=29092 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29115/stat : 29115 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156573 27969658880 31317 33554432000 4194304 4196468 140733965597776 140156047677872 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126664 KiB

[startup+0.310678 s]*
/proc/loadavg: 7.57 6.77 6.20 2/211 29115
/proc/meminfo: memFree=25236284/32770688 swapFree=67001204/67108860
[pid=29092] ppid=29089 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29092/stat : 29092 (scop.sh) S 29089 29092 28030 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500156564 115843072 349 33554432000 4194304 5098028 140734031300960 140734031298216 139947437097596 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13815808 140734031307556 140734031307884 140734031307884 140734031310797 0
/proc/29092/statm: 28282 349 296 221 0 87 0
[pid=29095] ppid=29092 vsize=27314120 memory=129060 CPUtime=0.42 cores=0-7
/proc/29095/stat : 29095 (java) S 29092 29092 28030 0 -1 1077944320 12648 0 0 0 37 5 0 0 20 0 20 0 500156564 27969658880 32265 33554432000 4194304 4196468 140733965597776 140733965580320 140157197274871 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
/proc/29095/statm: 6828530 32265 2986 1 0 6790935 0
[pid=29095/tid=29096] ppid=29092 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29095/task/29096/stat : 29096 (java) R 29092 29092 28030 0 -1 4202560 10243 0 0 0 25 4 0 0 20 0 20 0 500156564 27969658880 32279 33554432000 4194304 4196468 140733965597776 140157169079256 140157181355358 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29097] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29097/stat : 29097 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 32279 33554432000 4194304 4196468 140733965597776 140157201516816 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29098] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29098/stat : 29098 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 32279 33554432000 4194304 4196468 140733965597776 140157015673232 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29099] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29099/stat : 29099 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 32279 33554432000 4194304 4196468 140733965597776 140157014620688 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29100] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29100/stat : 29100 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 32279 33554432000 4194304 4196468 140733965597776 140157013568144 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29101] ppid=29092 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/29095/task/29101/stat : 29101 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 32279 33554432000 4194304 4196468 140733965597776 140157012515600 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29102] ppid=29092 vsize=27314120 memory=140343827854255 CPUtime=0 cores=0-7
/proc/29095/task/29102/stat : 29102 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 32279 33554432000 4194304 4196468 140733965597776 140157011463056 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29103] ppid=29092 vsize=27314120 memory=140343827856560 CPUtime=0 cores=0-7
/proc/29095/task/29103/stat : 29103 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 32279 33554432000 4194304 4196468 140733965597776 140157010410512 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29104] ppid=29092 vsize=27314120 memory=140343827858864 CPUtime=0 cores=0-7
/proc/29095/task/29104/stat : 29104 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156567 27969658880 32279 33554432000 4194304 4196468 140733965597776 140157009357968 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29105] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29105/stat : 29105 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500156569 27969658880 32279 33554432000 4194304 4196468 140733965597776 140156052940784 140157197286018 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29107] ppid=29092 vsize=27314120 memory=280687655724688 CPUtime=0 cores=0-7
/proc/29095/task/29107/stat : 29107 (java) S 29092 29092 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500156569 27969658880 32279 33554432000 4194304 4196468 140733965597776 140155117626272 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29108] ppid=29092 vsize=27314120 memory=280687655731600 CPUtime=0 cores=0-7
/proc/29095/task/29108/stat : 29108 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156569 27969658880 32279 33554432000 4194304 4196468 140733965597776 140154849190896 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29109] ppid=29092 vsize=27314120 memory=280687655672848 CPUtime=0 cores=0-7
/proc/29095/task/29109/stat : 29109 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 32279 33554432000 4194304 4196468 140733965597776 140154474682576 140157197293467 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29110] ppid=29092 vsize=27314120 memory=280687655745424 CPUtime=0.01 cores=0-7
/proc/29095/task/29110/stat : 29110 (java) S 29092 29092 28030 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 500156572 27969658880 32279 33554432000 4194304 4196468 140733965597776 140156051888624 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29111] ppid=29092 vsize=27314120 memory=280687655752336 CPUtime=0 cores=0-7
/proc/29095/task/29111/stat : 29111 (java) R 29092 29092 28030 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 32279 33554432000 4194304 4196468 140733965597776 140156050826192 140157177975168 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29112] ppid=29092 vsize=27314120 memory=280687655750032 CPUtime=0.01 cores=0-7
/proc/29095/task/29112/stat : 29112 (java) S 29092 29092 28030 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 20 0 500156572 27969658880 32279 33554432000 4194304 4196468 140733965597776 140156049783536 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29113] ppid=29092 vsize=27314120 memory=280687655766192 CPUtime=0.07 cores=0-7
/proc/29095/task/29113/stat : 29113 (java) S 29092 29092 28030 0 -1 1077944384 489 0 0 0 7 0 0 0 20 0 20 0 500156572 27969658880 32279 33554432000 4194304 4196468 140733965597776 140156048730992 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29114] ppid=29092 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29114/stat : 29114 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500156572 27969658880 32279 33554432000 4194304 4196468 140733965597776 140153976776928 140157197285077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29115] ppid=29092 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29115/stat : 29115 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156573 27969658880 32279 33554432000 4194304 4196468 140733965597776 140156047677872 140157197286018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130456 KiB

[startup+0.700956 s]
/proc/loadavg: 7.57 6.77 6.20 2/211 29115
/proc/meminfo: memFree=25231252/32770688 swapFree=67001204/67108860
[pid=29092] ppid=29089 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/29092/stat : 29092 (scop.sh) S 29089 29092 28030 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500156564 115843072 349 33554432000 4194304 5098028 140734031300960 140734031298216 139947437097596 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13815808 140734031307556 140734031307884 140734031307884 140734031310797 0
/proc/29092/statm: 28282 349 296 221 0 87 0
[pid=29095] ppid=29092 vsize=27320392 memory=159452 CPUtime=0.9 cores=0-7
/proc/29095/stat : 29095 (java) S 29092 29092 28030 0 -1 1077944320 19446 0 0 0 82 8 0 0 20 0 20 0 500156564 27976081408 39863 33554432000 4194304 4196468 140733965597776 140733965580320 140157197274871 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
/proc/29095/statm: 6830098 39863 3101 1 0 6791447 0
[pid=29095/tid=29096] ppid=29092 vsize=27320392 memory=280687656124080 CPUtime=0.67 cores=0-7
/proc/29095/task/29096/stat : 29096 (java) R 29092 29092 28030 0 -1 4202560 16880 0 0 0 61 6 0 0 20 0 20 0 500156564 27976081408 39863 33554432000 4194304 4196468 140733965597776 140157169097360 140157182714790 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29097] ppid=29092 vsize=27320392 memory=140343828063088 CPUtime=0 cores=0-7
/proc/29095/task/29097/stat : 29097 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27976081408 39863 33554432000 4194304 4196468 140733965597776 140157201516816 140157197285077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29098] ppid=29092 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29098/stat : 29098 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27976081408 39863 33554432000 4194304 4196468 140733965597776 140157015673232 140157197285077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0
[pid=29095/tid=29099] ppid=29092 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/29095/task/29099/stat : 29099 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500156567 27976081408 39863 33554432000 4194304 4196468 140733965597776 140157014620688 140157197285077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13905920 140733965599466 140733965599894 140733965599894 140733965602767 0

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

/proc/29116/task/29123/stat : 29123 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684412210192 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29124] ppid=29092 vsize=8414124 memory=6112 CPUtime=0 cores=0-7
/proc/29116/task/29124/stat : 29124 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684411157392 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29125] ppid=29092 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/29116/task/29125/stat : 29125 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684410104592 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29126] ppid=29092 vsize=8414124 memory=3516 CPUtime=0 cores=0-7
/proc/29116/task/29126/stat : 29126 (java) S 29092 29092 28030 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500157260 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684024600944 140684931156610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29127] ppid=29092 vsize=8414124 memory=1088 CPUtime=0 cores=0-7
/proc/29116/task/29127/stat : 29127 (java) S 29092 29092 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500157261 8616062976 30167 33554432000 4194304 4196468 140735082834432 140683599930400 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29128] ppid=29092 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/29116/task/29128/stat : 29128 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157261 8616062976 30167 33554432000 4194304 4196468 140735082834432 140683331494768 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29129] ppid=29092 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/29116/task/29129/stat : 29129 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140682956986192 140684931164059 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29130] ppid=29092 vsize=8414124 memory=928 CPUtime=0.07 cores=0-7
/proc/29116/task/29130/stat : 29130 (java) S 29092 29092 28030 0 -1 1077944384 688 0 0 0 7 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684023548784 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29131] ppid=29092 vsize=8414124 memory=1620 CPUtime=0.04 cores=0-7
/proc/29116/task/29131/stat : 29131 (java) S 29092 29092 28030 0 -1 1077944384 147 0 0 0 4 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684022495984 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29132] ppid=29092 vsize=8414124 memory=780 CPUtime=0.07 cores=0-7
/proc/29116/task/29132/stat : 29132 (java) S 29092 29092 28030 0 -1 1077944384 261 0 0 0 7 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684021443184 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29133] ppid=29092 vsize=8414124 memory=1444 CPUtime=0.22 cores=0-7
/proc/29116/task/29133/stat : 29133 (java) S 29092 29092 28030 0 -1 1077944384 749 0 0 0 22 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684020390384 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29134] ppid=29092 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/29116/task/29134/stat : 29134 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140682459081312 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29135] ppid=29092 vsize=8414124 memory=2524 CPUtime=0.05 cores=0-7
/proc/29116/task/29135/stat : 29135 (java) S 29092 29092 28030 0 -1 1077944384 9 0 0 0 0 5 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684019337776 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29137] ppid=29092 vsize=8414124 memory=771516 CPUtime=0 cores=0-7
/proc/29116/task/29137/stat : 29137 (java) S 29092 29092 28030 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500157338 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684011304000 140684931170073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29139] ppid=29092 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/29116/task/29139/stat : 29139 (java) S 29092 29092 28030 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500157339 8616062976 30167 33554432000 4194304 4196468 140735082834432 140681787981968 140684931167389 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29140] ppid=29092 vsize=8414124 memory=14973369246290159 CPUtime=0 cores=0-7
/proc/29116/task/29140/stat : 29140 (java) S 29092 29092 28030 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500157339 8616062976 30167 33554432000 4194304 4196468 140735082834432 140682056417296 140684931167389 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29141] ppid=29092 vsize=8414124 memory=8836 CPUtime=0 cores=0-7
/proc/29116/task/29141/stat : 29141 (java) S 29092 29092 28030 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500157341 8616062976 30167 33554432000 4194304 4196468 140735082834432 140681519554096 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
Current children cumulated CPU time: 757.84 s
Current children cumulated vsize: 9584448 KiB
Current children cumulated memory: 904532 KiB

[startup+102.802 s]
/proc/loadavg: 7.90 7.06 6.36 9/224 29154
/proc/meminfo: memFree=24456124/32770688 swapFree=67001204/67108860
[pid=29092] ppid=29089 vsize=113128 memory=1476 CPUtime=17.05 cores=0-7
/proc/29092/stat : 29092 (scop.sh) S 29089 29092 28030 0 -1 4202496 583 31102 0 0 0 0 1646 59 20 0 1 0 500156564 115843072 369 33554432000 4194304 5098028 140734031300960 140734031297704 139947437097596 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13815808 140734031307556 140734031307884 140734031307884 140734031310797 0
/proc/29092/statm: 28282 369 311 221 0 87 0
[pid=29116] ppid=29092 vsize=8414124 memory=120668 CPUtime=1.35 cores=0-7
/proc/29116/stat : 29116 (java) S 29092 29092 28030 0 -1 1077944320 19634 0 0 0 128 7 0 0 20 0 24 0 500157257 8616062976 30167 33554432000 4194304 4196468 140735082834432 140735082816976 140684931145463 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
/proc/29116/statm: 2103531 30167 3209 1 0 2064875 0
[pid=29136] ppid=29116 vsize=1057196 memory=782480 CPUtime=742.43 cores=0-7
/proc/29136/stat : 29136 (manyglucose-4.1) S 29116 29092 28030 0 -1 1077944320 536246 0 0 0 74138 105 0 0 20 0 4 0 500157338 1082568704 195620 33554432000 4194304 4454172 140727130316112 140727130314496 139850139574007 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 18812928 140727130321769 140727130321968 140727130321968 140727130324922 0
/proc/29136/statm: 264299 195620 422 64 0 259967 0
[pid=29136/tid=29143] ppid=29116 vsize=1057196 memory=780340 CPUtime=93.74 cores=0-7
/proc/29136/task/29143/stat : 29143 (manyglucose-4.1) R 29116 29092 28030 0 -1 4202560 61027 0 0 0 9360 14 0 0 20 0 4 0 500157456 1082568704 195620 33554432000 4194304 4454172 140727130316112 139850106170248 4351289 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 18812928 140727130321769 140727130321968 140727130321968 140727130324922 0
[pid=29136/tid=29147] ppid=29116 vsize=1057196 memory=1620 CPUtime=90.27 cores=0-7
/proc/29136/task/29147/stat : 29147 (manyglucose-4.1) R 29116 29092 28030 0 -1 4202560 56222 0 0 0 9012 15 0 0 20 0 4 0 500157456 1082568704 195620 33554432000 4194304 4454172 140727130316112 139850051312672 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 18812928 140727130321769 140727130321968 140727130321968 140727130324922 0
[pid=29136/tid=29149] ppid=29116 vsize=1057196 memory=1444 CPUtime=93.74 cores=0-7
/proc/29136/task/29149/stat : 29149 (manyglucose-4.1) R 29116 29092 28030 0 -1 4202560 58939 0 0 0 9365 9 0 0 20 0 4 0 500157457 1082568704 195620 33554432000 4194304 4454172 140727130316112 139850034527400 4351305 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 18812928 140727130321769 140727130321968 140727130321968 140727130324922 0
[pid=29116/tid=29117] ppid=29092 vsize=8414124 memory=120668 CPUtime=0.84 cores=0-7
/proc/29116/task/29117/stat : 29117 (java) S 29092 29092 28030 0 -1 1077944384 16382 0 0 0 79 5 0 0 20 0 24 0 500157257 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684902985632 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29118] ppid=29092 vsize=8414124 memory=761144 CPUtime=0 cores=0-7
/proc/29116/task/29118/stat : 29118 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684935387792 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29119] ppid=29092 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/29116/task/29119/stat : 29119 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684416420368 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29120] ppid=29092 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/29116/task/29120/stat : 29120 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684415367568 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29121] ppid=29092 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/29116/task/29121/stat : 29121 (java) S 29092 29092 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684414314768 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29122] ppid=29092 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/29116/task/29122/stat : 29122 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684413262992 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29123] ppid=29092 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/29116/task/29123/stat : 29123 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684412210192 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29124] ppid=29092 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/29116/task/29124/stat : 29124 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684411157392 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29125] ppid=29092 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/29116/task/29125/stat : 29125 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157259 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684410104592 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29126] ppid=29092 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/29116/task/29126/stat : 29126 (java) S 29092 29092 28030 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500157260 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684024600944 140684931156610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29127] ppid=29092 vsize=8414124 memory=2524 CPUtime=0 cores=0-7
/proc/29116/task/29127/stat : 29127 (java) S 29092 29092 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500157261 8616062976 30167 33554432000 4194304 4196468 140735082834432 140683599930400 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29128] ppid=29092 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/29116/task/29128/stat : 29128 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157261 8616062976 30167 33554432000 4194304 4196468 140735082834432 140683331494768 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29129] ppid=29092 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/29116/task/29129/stat : 29129 (java) S 29092 29092 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140682956986192 140684931164059 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29130] ppid=29092 vsize=8414124 memory=120668 CPUtime=0.07 cores=0-7
/proc/29116/task/29130/stat : 29130 (java) S 29092 29092 28030 0 -1 1077944384 688 0 0 0 7 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684023548784 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29131] ppid=29092 vsize=8414124 memory=780340 CPUtime=0.04 cores=0-7
/proc/29116/task/29131/stat : 29131 (java) S 29092 29092 28030 0 -1 1077944384 147 0 0 0 4 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684022495984 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29132] ppid=29092 vsize=8414124 memory=14068 CPUtime=0.07 cores=0-7
/proc/29116/task/29132/stat : 29132 (java) S 29092 29092 28030 0 -1 1077944384 261 0 0 0 7 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684021443184 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29133] ppid=29092 vsize=8414124 memory=2120 CPUtime=0.22 cores=0-7
/proc/29116/task/29133/stat : 29133 (java) S 29092 29092 28030 0 -1 1077944384 749 0 0 0 22 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684020390384 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29134] ppid=29092 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/29116/task/29134/stat : 29134 (java) S 29092 29092 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140682459081312 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29135] ppid=29092 vsize=8414124 memory=1556 CPUtime=0.05 cores=0-7
/proc/29116/task/29135/stat : 29135 (java) S 29092 29092 28030 0 -1 1077944384 9 0 0 0 0 5 0 0 20 0 24 0 500157264 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684019337776 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29137] ppid=29092 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/29116/task/29137/stat : 29137 (java) S 29092 29092 28030 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500157338 8616062976 30167 33554432000 4194304 4196468 140735082834432 140684011304000 140684931170073 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29139] ppid=29092 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/29116/task/29139/stat : 29139 (java) S 29092 29092 28030 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500157339 8616062976 30167 33554432000 4194304 4196468 140735082834432 140681787981968 140684931167389 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29140] ppid=29092 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/29116/task/29140/stat : 29140 (java) S 29092 29092 28030 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500157339 8616062976 30167 33554432000 4194304 4196468 140735082834432 140682056417296 140684931167389 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29141] ppid=29092 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/29116/task/29141/stat : 29141 (java) S 29092 29092 28030 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500157341 8616062976 30167 33554432000 4194304 4196468 140735082834432 140681519554096 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
Current children cumulated CPU time: 760.83 s
Current children cumulated vsize: 9584448 KiB
Current children cumulated memory: 904624 KiB

[startup+103.001 s]*
/proc/loadavg: 7.90 7.06 6.36 3/213 29154
/proc/meminfo: memFree=25224448/32770688 swapFree=67001204/67108860
[pid=29092] ppid=29089 vsize=113128 memory=1476 CPUtime=17.05 cores=0-7
/proc/29092/stat : 29092 (scop.sh) S 29089 29092 28030 0 -1 4202496 583 31102 0 0 0 0 1646 59 20 0 1 0 500156564 115843072 369 33554432000 4194304 5098028 140734031300960 140734031297704 139947437097596 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13815808 140734031307556 140734031307884 140734031307884 140734031310797 0
/proc/29092/statm: 28282 369 311 221 0 87 0
[pid=29116] ppid=29092 vsize=8283048 memory=134676 CPUtime=744.28 cores=0-7
/proc/29116/stat : 29116 (java) S 29092 29092 28030 0 -1 1077944320 21621 536257 0 0 169 9 74142 108 20 0 22 0 500157257 8481841152 33669 33554432000 4194304 4196468 140735082834432 140735082816976 140684931145463 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
/proc/29116/statm: 2070762 33669 3224 1 0 2032106 0
[pid=29116/tid=29117] ppid=29092 vsize=8283048 memory=6791534058613427641 CPUtime=743.44 cores=0-7
/proc/29116/task/29117/stat : 29117 (java) R 29092 29092 28030 0 -1 4202560 16658 536257 0 0 89 5 74142 108 20 0 22 0 500157257 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684902983904 140684931157398 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29118] ppid=29092 vsize=8283048 memory=4872558044660077418 CPUtime=742.5 cores=0-7
/proc/29116/task/29118/stat : 29118 (java) S 29092 29092 28030 0 -1 1077944384 1 536257 0 0 0 0 74142 108 20 0 22 0 500157259 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684935387792 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29119] ppid=29092 vsize=8283048 memory=1804 CPUtime=742.5 cores=0-7
/proc/29116/task/29119/stat : 29119 (java) S 29092 29092 28030 0 -1 1077944384 1 536257 0 0 0 0 74142 108 20 0 22 0 500157259 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684416420368 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29120] ppid=29092 vsize=8283048 memory=916 CPUtime=742.5 cores=0-7
/proc/29116/task/29120/stat : 29120 (java) S 29092 29092 28030 0 -1 1077944384 2 536257 0 0 0 0 74142 108 20 0 22 0 500157259 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684415367568 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29121] ppid=29092 vsize=8283048 memory=4440 CPUtime=742.5 cores=0-7
/proc/29116/task/29121/stat : 29121 (java) S 29092 29092 28030 0 -1 1077944384 2 536257 0 0 0 0 74142 108 20 0 22 0 500157259 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684414314768 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29122] ppid=29092 vsize=8283048 memory=1412 CPUtime=742.5 cores=0-7
/proc/29116/task/29122/stat : 29122 (java) S 29092 29092 28030 0 -1 1077944384 3 536257 0 0 0 0 74142 108 20 0 22 0 500157259 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684413262992 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29123] ppid=29092 vsize=8283048 memory=3592 CPUtime=742.5 cores=0-7
/proc/29116/task/29123/stat : 29123 (java) S 29092 29092 28030 0 -1 1077944384 1 536257 0 0 0 0 74142 108 20 0 22 0 500157259 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684412210192 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29124] ppid=29092 vsize=8283048 memory=1476 CPUtime=742.5 cores=0-7
/proc/29116/task/29124/stat : 29124 (java) S 29092 29092 28030 0 -1 1077944384 1 536257 0 0 0 0 74142 108 20 0 22 0 500157259 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684411157392 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29125] ppid=29092 vsize=8283048 memory=120668 CPUtime=742.5 cores=0-7
/proc/29116/task/29125/stat : 29125 (java) S 29092 29092 28030 0 -1 1077944384 1 536257 0 0 0 0 74142 108 20 0 22 0 500157259 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684410104592 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29126] ppid=29092 vsize=8283048 memory=782996 CPUtime=742.5 cores=0-7
/proc/29116/task/29126/stat : 29126 (java) S 29092 29092 28030 0 -1 1077944384 7 536257 0 0 0 0 74142 108 20 0 22 0 500157260 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684024600944 140684931156610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29127] ppid=29092 vsize=8283048 memory=1412 CPUtime=742.5 cores=0-7
/proc/29116/task/29127/stat : 29127 (java) S 29092 29092 28030 0 -1 1077944384 13 536257 0 0 0 0 74142 108 20 0 22 0 500157261 8481841152 33669 33554432000 4194304 4196468 140735082834432 140683599930400 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29128] ppid=29092 vsize=8283048 memory=3436 CPUtime=742.5 cores=0-7
/proc/29116/task/29128/stat : 29128 (java) S 29092 29092 28030 0 -1 1077944384 1 536257 0 0 0 0 74142 108 20 0 22 0 500157261 8481841152 33669 33554432000 4194304 4196468 140735082834432 140683331494768 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29129] ppid=29092 vsize=8283048 memory=1476 CPUtime=742.5 cores=0-7
/proc/29116/task/29129/stat : 29129 (java) S 29092 29092 28030 0 -1 1077944384 1 536257 0 0 0 0 74142 108 20 0 22 0 500157264 8481841152 33669 33554432000 4194304 4196468 140735082834432 140682956986192 140684931164059 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29130] ppid=29092 vsize=8283048 memory=119724 CPUtime=742.61 cores=0-7
/proc/29116/task/29130/stat : 29130 (java) S 29092 29092 28030 0 -1 1077944384 843 536257 0 0 11 0 74142 108 20 0 22 0 500157264 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684023548784 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29131] ppid=29092 vsize=8283048 memory=783936 CPUtime=742.61 cores=0-7
/proc/29116/task/29131/stat : 29131 (java) S 29092 29092 28030 0 -1 1077944384 593 536257 0 0 11 0 74142 108 20 0 22 0 500157264 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684022495984 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29132] ppid=29092 vsize=8283048 memory=14008 CPUtime=742.61 cores=0-7
/proc/29116/task/29132/stat : 29132 (java) S 29092 29092 28030 0 -1 1077944384 402 536257 0 0 11 0 74142 108 20 0 22 0 500157264 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684021443184 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29133] ppid=29092 vsize=8283048 memory=30956 CPUtime=742.82 cores=0-7
/proc/29116/task/29133/stat : 29133 (java) R 29092 29092 28030 0 -1 4202560 1161 536257 0 0 31 1 74142 108 20 0 22 0 500157264 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684020390384 140684915225950 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29134] ppid=29092 vsize=8283048 memory=14068 CPUtime=742.5 cores=0-7
/proc/29116/task/29134/stat : 29134 (java) S 29092 29092 28030 0 -1 1077944384 3 536257 0 0 0 0 74142 108 20 0 22 0 500157264 8481841152 33669 33554432000 4194304 4196468 140735082834432 140682459081312 140684931155669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29135] ppid=29092 vsize=8283048 memory=140343828222769 CPUtime=742.55 cores=0-7
/proc/29116/task/29135/stat : 29135 (java) S 29092 29092 28030 0 -1 1077944384 9 536257 0 0 0 5 74142 108 20 0 22 0 500157264 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684019337776 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29137] ppid=29092 vsize=8283048 memory=7665782219711408980 CPUtime=742.5 cores=0-7
/proc/29116/task/29137/stat : 29137 (java) S 29092 29092 28030 0 -1 1077944384 25 536257 0 0 0 0 74142 108 20 0 22 0 500157338 8481841152 33669 33554432000 4194304 4196468 140735082834432 140684011303184 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
[pid=29116/tid=29141] ppid=29092 vsize=8283048 memory=0 CPUtime=742.5 cores=0-7
/proc/29116/task/29141/stat : 29141 (java) S 29092 29092 28030 0 -1 1077944384 14 536257 0 0 0 0 74142 108 20 0 22 0 500157341 8481841152 33669 33554432000 4194304 4196468 140735082834432 140681519555888 140684931156610 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8343552 140735082841079 140735082841238 140735082841238 140735082844111 0
Current children cumulated CPU time: 761.33 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 136152 KiB

Child status: 0
Real time (s): 103.064
CPU time (s): 761.468
CPU user time (s): 759.671
CPU system time (s): 1.79665
CPU usage (%): 738.831
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 2993792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 759.671
system time used= 1.79665
maximum resident set size= 2992680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 590762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21671
involuntary context switches= 7589


# summary of solver processes directly reported to runsolver:
#   pid: 29092
#   total CPU time (s): 761.468
#   total CPU user time (s): 759.671
#   total CPU system time (s): 1.79665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09074 second user time and 1.51832 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-23 14:35:08
IDJOB=4405656
IDBENCH=124271
IDSOLVER=2868
FILE ID=node116/4405656-1569242150
RUNJOBID= node116-1569238589-28057
PBS_JOBID= 21704912
Free space on /tmp= 6528 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-35.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-4405656-1569242150/watcher-4405656-1569242150 -o /tmp/evaluation-result-4405656-1569242150/solver-4405656-1569242150 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569238589-28057 --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-4405656-1569242150.xml

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

MD5SUM BENCH= d39bc1ef1e07e502cfee7f2819d89a2a
RANDOM SEED=740963004

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        25353228 kB
MemAvailable:   31842576 kB
Buffers:           86260 kB
Cached:          6567152 kB
SwapCached:         3400 kB
Active:          3312100 kB
Inactive:        3349152 kB
Active(anon):       9080 kB
Inactive(anon):    54652 kB
Active(file):    3303020 kB
Inactive(file):  3294500 kB
Unevictable:      108832 kB
Mlocked:          108832 kB
SwapTotal:      67108860 kB
SwapFree:       67001204 kB
Dirty:             20636 kB
Writeback:             0 kB
AnonPages:        174016 kB
Mapped:            54908 kB
Shmem:             47708 kB
Slab:             349228 kB
SReclaimable:     320288 kB
SUnreclaim:        28940 kB
KernelStack:        3776 kB
PageTables:         5520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     514468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 6508 MiB
End job on node116 at 2019-09-23 14:36:51