Trace number 4392717

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 1151.2 152.247

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-152.xml
MD5SUM95353c685d9c4a971cd57b59ef19ccd8
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 benchmark69.0695
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size513
Maximum domain size513
Distribution of domain sizes[{"size":513,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","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-21633-serial-file.bin HOME/instance-4392717-1568430467.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 04:05:51 CEST 2019
0.65/0.56	c PID: 21636
0.65/0.56	c IP: 172.20.3.107
0.65/0.56	c HOST: node107.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.40/0.91	c (0,0) Parsing End
1.40/0.92	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 513
1.40/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.92	c (0,0) Constraint Name Generate Begin
1.40/0.92	c (0,0) Ctr:HOME/instance-4392717-1568430467.xml,Le:NoOverlap:Num:Var
1.40/0.92	c (0,0) Constraint Name Generate End
1.40/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.92	c (0,0) CSP to CSPinCNF Begin
1.40/1.00	c (0,0) translated 6 (10%) constraints
1.55/1.01	c (0,0) translated 11 (20%) constraints
1.55/1.01	c (0,0) translated 16 (30%) constraints
1.55/1.01	c (0,0) translated 22 (40%) constraints
1.55/1.02	c (0,0) translated 27 (50%) constraints
1.55/1.02	c (0,0) translated 32 (60%) constraints
1.55/1.02	c (0,0) translated 38 (70%) constraints
1.55/1.02	c (0,0) translated 43 (80%) constraints
1.55/1.03	c (0,0) translated 48 (90%) constraints
2.13/1.28	c (0,0) translated 53 (100%) constraints
2.13/1.28	c (0,0) ===========================================
2.45/1.30	c (0,0) Hybrid: #OE=50, #LE=0
2.45/1.30	c (0,0) Hybrid
2.45/1.30	c (0,0) ===========================================
2.45/1.31	c (0,0) translated 36 (10%) constraints
2.45/1.31	c (0,0) translated 71 (20%) constraints
2.45/1.32	c (0,0) translated 106 (30%) constraints
2.45/1.33	c (0,0) translated 141 (40%) constraints
2.45/1.33	c (0,0) translated 176 (50%) constraints
2.45/1.34	c (0,0) translated 212 (60%) constraints
2.45/1.34	c (0,0) translated 247 (70%) constraints
2.45/1.35	c (0,0) translated 282 (80%) constraints
2.45/1.35	c (0,0) translated 317 (90%) constraints
2.45/1.36	c (0,0) translated 352 (100%) constraints
2.45/1.36	c (0,0) CSP to CSPinCNF End
2.45/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 508
2.45/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.36	c (0,0) CSPinCNF Propagation Begin
2.45/1.39	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.45/1.39	c (0,0) CSPinCNF Propagation End
2.45/1.39	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 508
2.45/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.40	c (0,0) Hybrid: #OE=50, #LE=0
2.45/1.40	c (0,0) Simplify CSPinCNF Begin
2.84/1.49	c (0,0) Simplify CSPinCNF End
2.84/1.49	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 508
2.84/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.49	c (0,0) Calculate Precise Domain Begin
2.84/1.49	c (0,0) 0 values are removed by re-calculation
2.84/1.49	c (0,0) Calculate Precise Domain End
2.84/1.50	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 508
2.84/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.50	c (0,0) CSPinCNF to SatSolver Begin
4.66/1.99	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 72337 SAT clauses)
5.04/2.19	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 121712 SAT clauses)
5.27/2.37	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 167458 SAT clauses)
5.49/2.55	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 214878 SAT clauses)
5.70/2.72	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 258354 SAT clauses)
5.83/2.88	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 301074 SAT clauses)
6.03/3.04	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 339878 SAT clauses)
6.14/3.18	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 376717 SAT clauses)
6.24/3.30	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 407421 SAT clauses)
6.34/3.38	c (2,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 429532 SAT clauses)
6.34/3.38	c (2,2) CSPinCNF to SatSolver End
6.34/3.38	c (2,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.34/3.38	c (2,2) 22394 bool, 429688 clause
6.34/3.38	c (2,2) Export Begin
6.46/3.46	c (2,2) Export to HOME/scop-21633-serial-file.bin
6.46/3.46	c (2,2) Export End
6.46/3.47	c (2,2) Export File Size: 0.01 MB
6.46/3.47	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.46/3.47	c END-Prog: Sat Sep 14 04:05:54 CEST 2019
6.46/3.49	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21633-serial-file.bin
6.63/3.95	c (0,0) Read Serial File Begin
6.63/3.95	c (0,0) HOME/scop-21633-serial-file.bin
7.44/4.15	c (0,0) Read Serial File End
7.44/4.16	
7.44/4.16	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.44/4.16	(Solving Process)
7.44/4.16	
7.44/4.18	c BEGIN-Prog: Sat Sep 14 04:05:55 CEST 2019
7.44/4.18	c PID: 21656
7.44/4.18	c IP: 172.20.3.107
7.44/4.18	c HOST: node107.alineos.net
7.44/4.19	c (0,0) SatSolver.solve Begin
7.44/4.19	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392717-1568430467.xml-scop-21636.cnf
7.60/4.22	c (0,0) c
7.60/4.22	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)
7.60/4.22	c (0,0) c
7.60/4.22	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.60/4.22	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.60/4.22	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.60/4.22	c (0,0) c |                                                                                                       |
7.76/4.37	c (0,0) c |  Number of variables:         22394                                                                   |
7.76/4.37	c (0,0) c |  Number of clauses:          429688                                                                   |
7.76/4.37	c (0,0) c |  Parse time:                   0.14 s                                                                 |
7.76/4.37	c (0,0) c |                                                                                                       |
7.76/4.97	c (1,0) c |  Simplification time:          0.59 s                                                                 |
7.76/4.97	c (1,0) c |                                                                                                       |
7.76/4.97	c (1,0) c |  Generating clones                                                                                    |
8.55/5.09	c (1,0) c |  all clones generated. Memory =   303.90Mb.                                                           |
8.55/5.09	c (1,0) c ========================================================================================================|
8.55/5.09	c (1,0) c
8.55/5.09	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.55/5.09	c (1,0) c
8.55/5.09	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.55/5.09	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.55/5.09	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.55/5.09	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.55/5.09	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.55/5.09	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.55/5.09	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.55/5.09	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.55/5.09	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.55/5.09	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.55/5.09	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.55/5.09	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.55/5.09	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.55/5.09	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.55/5.09	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.55/5.09	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.55/5.09	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.55/5.09	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.55/5.09	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
243.79/34.69	c (30,0) c
243.79/34.69	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
243.79/34.69	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
243.79/34.69	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
243.79/34.69	c (30,0) c |  0 |    185 |     107899 |      57615 |    35762 |    19070 |     9990 |    60311 |     7245 |      188 |  20 |  0.147 |
243.79/34.69	c (30,0) c |  1 |    210 |     112033 |      58563 |    35743 |    20029 |     9898 |    61003 |     7269 |      190 |  20 |  0.147 |
243.79/34.69	c (30,0) c |  2 |    189 |     110728 |      59864 |    38424 |    21322 |     9716 |    62955 |     7839 |      198 |  20 |  0.147 |
243.79/34.69	c (30,0) c |  3 |    208 |     110403 |      58900 |    35797 |    20354 |     9436 |    62260 |     7456 |      193 |  20 |  0.147 |
243.79/34.69	c (30,0) c |  4 |    234 |     113264 |      60684 |    36801 |    22140 |     9281 |    64185 |     7750 |      200 |  20 |  0.147 |
243.79/34.69	c (30,0) c |  5 |    214 |     113520 |      61275 |    38655 |    22733 |     9752 |    63570 |     7819 |      203 |  20 |  0.147 |
243.79/34.69	c (30,0) c |  6 |    229 |     111480 |      59758 |    36970 |    21217 |     9563 |    63886 |     7599 |      200 |  20 |  0.147 |
243.79/34.69	c (30,0) c |  7 |    234 |     116864 |      60243 |    38268 |    21702 |     9379 |    63986 |     7844 |      200 |  20 |  0.147 |
243.79/34.69	c (30,0) c 
243.79/34.69	c (30,0) c synthesis      476902 conflicts   376901910 propagations     2021 conflicts/sec  1596892 propagations/sec
243.79/34.69	c (30,0) c real: 30.4751 s, cpu: 236.022 s, memory: 937.38 Mb
481.71/64.69	c (60,0) c
481.71/64.69	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
481.71/64.69	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
481.71/64.69	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
481.71/64.69	c (60,0) c |  0 |    329 |     168585 |      96533 |    42156 |    25354 |    14988 |    93710 |    12488 |      363 |  20 |  0.147 |
481.71/64.69	c (60,0) c |  1 |    430 |     175735 |      97253 |    42379 |    26073 |    14055 |    95247 |    12946 |      367 |  20 |  0.147 |
481.71/64.69	c (60,0) c |  2 |    367 |     174985 |     100332 |    46158 |    29154 |    14774 |    97859 |    13294 |      383 |  20 |  0.147 |
481.71/64.69	c (60,0) c |  3 |    370 |     173726 |      98384 |    44347 |    27206 |    14335 |    96493 |    12842 |      372 |  20 |  0.147 |
481.71/64.69	c (60,0) c |  4 |    366 |     177335 |     100847 |    44920 |    29675 |    13995 |    98648 |    13142 |      382 |  20 |  0.147 |
481.71/64.69	c (60,0) c |  5 |    343 |     174238 |     100290 |    44410 |    29107 |    14096 |    98017 |    13161 |      383 |  20 |  0.147 |
481.71/64.69	c (60,0) c |  6 |    352 |     171868 |      98832 |    44569 |    27656 |    14927 |    97008 |    12813 |      383 |  20 |  0.147 |
481.71/64.69	c (60,0) c |  7 |    406 |     180008 |      99728 |    45355 |    28552 |    13902 |    98759 |    13183 |      383 |  20 |  0.147 |
481.71/64.69	c (60,0) c 
481.71/64.69	c (60,0) c synthesis      792199 conflicts   655845571 propagations     1672 conflicts/sec  1384601 propagations/sec
481.71/64.69	c (60,0) c real: 60.4751 s, cpu: 473.671 s, memory: 1326.09 Mb
712.11/94.69	c (90,0) c
712.11/94.69	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
712.11/94.69	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
712.11/94.69	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
712.11/94.69	c (90,0) c |  0 |    486 |     218901 |     129205 |    46405 |    37821 |    19065 |   120700 |    16702 |      533 |  20 |  0.147 |
712.11/94.69	c (90,0) c |  1 |    612 |     233333 |     132712 |    52661 |    41329 |    18046 |   124420 |    17298 |      551 |  20 |  0.147 |
712.11/94.69	c (90,0) c |  2 |    453 |     223354 |     133496 |    49861 |    42115 |    18927 |   124811 |    17553 |      553 |  20 |  0.147 |
712.11/94.69	c (90,0) c |  3 |    526 |     228616 |     133483 |    50581 |    42096 |    18470 |   124210 |    17344 |      553 |  20 |  0.147 |
712.11/94.69	c (90,0) c |  4 |    497 |     227558 |     133937 |    48746 |    42554 |    17875 |   121323 |    17177 |      553 |  20 |  0.147 |
712.11/94.69	c (90,0) c |  5 |    441 |     224582 |     134384 |    48102 |    43000 |    18253 |   123696 |    17018 |      553 |  20 |  0.147 |
712.11/94.69	c (90,0) c |  6 |    443 |     219492 |     131499 |    48178 |    40118 |    18644 |   124678 |    16764 |      553 |  20 |  0.147 |
712.11/94.69	c (90,0) c |  7 |    507 |     229014 |     132843 |    48914 |    41456 |    17584 |   126321 |    17262 |      552 |  20 |  0.147 |
712.11/94.69	c (90,0) c 
712.11/94.69	c (90,0) c synthesis     1061560 conflicts   898699428 propagations     1508 conflicts/sec  1276851 propagations/sec
712.11/94.69	c (90,0) c real: 90.4751 s, cpu: 703.84 s, memory: 1326.09 Mb
949.40/124.69	c (120,0) c
949.40/124.69	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
949.40/124.69	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
949.40/124.69	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
949.40/124.69	c (120,0) c |  0 |    572 |     265556 |     161607 |    49743 |    46413 |    22997 |   146727 |    20422 |      711 |  20 |  0.263 |
949.40/124.69	c (120,0) c |  1 |    723 |     279377 |     163667 |    56050 |    49272 |    21049 |   151106 |    20865 |      729 |  20 |  0.263 |
949.40/124.69	c (120,0) c |  2 |    558 |     269554 |     164903 |    53028 |    50388 |    22536 |   149597 |    20978 |      729 |  20 |  0.263 |
949.40/124.69	c (120,0) c |  3 |    602 |     273129 |     164889 |    53324 |    50511 |    21853 |   149921 |    20648 |      728 |  20 |  0.263 |
949.40/124.69	c (120,0) c |  4 |    606 |     271379 |     162890 |    52898 |    48466 |    21391 |   148590 |    20521 |      712 |  20 |  0.263 |
949.40/124.69	c (120,0) c |  5 |    590 |     272504 |     166067 |    51256 |    26422 |    21587 |   149911 |    20812 |      730 |  20 |  0.264 |
949.40/124.69	c (120,0) c |  6 |    535 |     265003 |     162350 |    51954 |    47641 |    22136 |   149269 |    20566 |      725 |  20 |  0.263 |
949.40/124.69	c (120,0) c |  7 |    615 |     269469 |     160565 |    51295 |    45926 |    20266 |   149483 |    20566 |      712 |  20 |  0.263 |
949.40/124.69	c (120,0) c 
949.40/124.69	c (120,0) c synthesis     1306938 conflicts  1122896438 propagations     1389 conflicts/sec  1193701 propagations/sec
949.40/124.69	c (120,0) c real: 120.475 s, cpu: 940.685 s, memory: 1390.09 Mb
1150.60/152.05	c (148,0) c
1150.60/152.05	c (148,0) c real time : 147.837 s
1150.60/152.05	c (148,0) c cpu time  : 1140.94 s
1150.60/152.05	c (148,0) c
1150.60/152.05	c (148,0) c
1150.60/152.05	c (148,0) c
1150.60/152.05	c (148,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1150.60/152.05	c (148,0) c
1150.60/152.05	c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1150.60/152.05	c (148,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1150.60/152.05	c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1150.60/152.05	c (148,0) c | Conflicts     |         1513794 |     188639 |     188201 |     190031 |     190007 |     190497 |     190684 |     187959 |     187776 |
1150.60/152.05	c (148,0) c | Decisions     |         2472156 |     305648 |     316728 |     307611 |     310173 |     310748 |     309522 |     301609 |     310117 |
1150.60/152.05	c (148,0) c | Propagations  |      1310824593 |  162767758 |  162874376 |  165978231 |  163682835 |  163451277 |  164571944 |  163397441 |  164100731 |
1150.60/152.05	c (148,0) c | ReduceDBs     |              88 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |
1150.60/152.05	c (148,0) c | SimpDBs       |              24 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |          3 |
1150.60/152.05	c (148,0) c | Restarts      |            5368 |        658 |        762 |        629 |        640 |        703 |        639 |        621 |        716 |
1150.60/152.05	c (148,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1150.60/152.05	c (148,0) c | PropBinClauses|      1892840824 |  234324185 |  234297318 |  239122757 |  239607865 |  234455238 |  237180239 |  237825742 |  236027480 |
1150.60/152.05	c (148,0) c | PropPreBlocker|     20729713251 | 2588392411 | 2577084601 | 2600702909 | 2589330509 | 2589152684 | 2604220202 | 2597816146 | 2583013789 |
1150.60/152.05	c (148,0) c | PropNotBlocker|      8230736537 | 1028971155 | 1036804865 | 1028072137 | 1031634902 | 1023824281 | 1022734898 | 1027893522 | 1030800777 |
1150.60/152.05	c (148,0) c | LitFullScans  |     41805387123 | 5220402253 | 5222504412 | 5232329129 | 5230380675 | 5220549094 | 5232430013 | 5226359296 | 5220432251 |
1150.60/152.05	c (148,0) c | LitScanFracts |         3367862 |     391220 |     405653 |     324273 |     562467 |     533928 |     402775 |     356539 |     391007 |
1150.60/152.05	c (148,0) c | DecisionLevel0|            5377 |        660 |        763 |        630 |        641 |        704 |        640 |        622 |        717 |
1150.60/152.05	c (148,0) c | Periods       |            6966 |        870 |        870 |        872 |        871 |        870 |        872 |        871 |        870 |
1150.60/152.05	c (148,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1150.60/152.05	c (148,0) c | Avg_Trail     |                 |       6167 |       6181 |       6155 |       6117 |       6198 |       6194 |       6161 |       6176 |
1150.60/152.05	c (148,0) c | Avg_DL        |                 |         21 |         22 |         22 |         22 |         21 |         21 |         22 |         22 |
1150.60/152.05	c (148,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1150.60/152.05	c (148,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1150.60/152.05	c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1150.60/152.05	c (148,0) c | Exported      |          195055 |      25342 |      23260 |      25044 |      24685 |      24781 |      24444 |      24950 |      22549 |
1150.60/152.05	c (148,0) c | Imported      |         1335033 |     167184 |     167446 |     165996 |     168281 |     167903 |     161851 |     167128 |     169244 |
1150.60/152.05	c (148,0) c | Good          |             321 |         37 |         45 |         39 |         42 |         36 |         42 |         42 |         38 |
1150.60/152.05	c (148,0) c | Purge         |         1334712 |     167147 |     167401 |     165957 |     168239 |     167867 |     161809 |     167086 |     169206 |
1150.60/152.05	c (148,0) c | Promoted      |          186760 |      23450 |      23196 |      23590 |      23033 |      23471 |      23261 |      23193 |      23566 |
1150.60/152.05	c (148,0) c | Remove_Imp    |          794112 |      98297 |     100855 |      98450 |      98645 |      98613 |      98499 |      99919 |     100834 |
1150.60/152.05	c (148,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1150.60/152.05	c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1150.60/152.05	c (148,0) c | Unaries       |                 |          2 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1150.60/152.05	c (148,0) c | Binaries      |                 |          9 |          1 |          7 |          4 |         11 |          3 |          4 |          8 |
1150.60/152.05	c (148,0) c | Glues         |                 |        128 |        142 |        145 |        141 |        164 |        148 |        131 |        150 |
1150.60/152.05	c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1150.60/152.05	c (148,0) c | Orig_Seen     |            12 % |      52363 |      60637 |      55076 |      56094 |      54786 |      54363 |      54356 |      53506 |
1150.60/152.05	c (148,0) c | Diff Orig seen|                 | -     8274 |      X     | -     5561 | -     4543 | -     5851 | -     6274 | -     6281 | -     7131 |
1150.60/152.05	c (148,0) c | Hamming       |            31 % |       7026 |      X     |       7185 |       7447 |       8006 |       6607 |       6111 |       6723 |
1150.60/152.05	c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1150.60/152.05	c (148,0) c | RunningTime   |                 |  146.4 100%|  143.0  98%|  140.6  97%|  142.9  98%|  145.1  99%|  140.4  97%|  142.5  98%|  144.3  99%|
1150.60/152.05	c (148,0) c | WaitingTime   |                 |    0.0   0%|    2.3   2%|    4.7   3%|    2.4   2%|    1.7   1%|    4.9   3%|    2.9   2%|    2.0   1%|
1150.60/152.05	c (148,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1150.60/152.05	c (148,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%|
1150.60/152.05	c (148,0) c | SolvingTime   |                 |  146.5     |  145.4     |  145.4     |  145.4     |  146.9     |  145.5     |  145.5     |  146.3     |
1150.60/152.05	c (148,0) c | PropagationTim|                 |  127.4  87%|  125.9  87%|  125.8  86%|  125.3  86%|  126.5  86%|  124.7  86%|  125.7  86%|  127.1  87%|
1150.60/152.05	c (148,0) c | AnalysisTime  |                 |   16.3  11%|   16.6  11%|   16.7  11%|   17.2  12%|   17.5  12%|   17.9  12%|   16.9  12%|   16.5  11%|
1150.60/152.05	c (148,0) c | ReductionTime |                 |    0.4   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.4   0%|    0.5   0%|    0.4   0%|
1150.60/152.05	c (148,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%|
1150.60/152.05	c (148,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%|
1150.60/152.05	c (148,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%|
1150.60/152.05	c (148,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1150.60/152.05	c (148,0) c
1150.60/152.05	c (148,0) c
1150.60/152.05	c (148,0) c Threads : 8
1150.60/152.05	c (148,0) c Winner : 1
1150.60/152.05	c (148,0) c Conflicts_0 : 188639
1150.60/152.05	c (148,0) c Conflicts_1 : 188201
1150.60/152.05	c (148,0) c Conflicts_2 : 190031
1150.60/152.05	c (148,0) c Conflicts_3 : 190007
1150.60/152.05	c (148,0) c Conflicts_4 : 190497
1150.60/152.05	c (148,0) c Conflicts_5 : 190684
1150.60/152.05	c (148,0) c Conflicts_6 : 187959
1150.60/152.05	c (148,0) c Conflicts_7 : 187776
1150.60/152.05	c (148,0) c Conflicts_total : 1513794
1150.60/152.05	c (148,0) c Conflicts_winner : 188201
1150.60/152.05	c (148,0) c Decisions_0 : 305648
1150.60/152.05	c (148,0) c Decisions_1 : 316728
1150.60/152.05	c (148,0) c Decisions_2 : 307611
1150.60/152.05	c (148,0) c Decisions_3 : 310173
1150.60/152.05	c (148,0) c Decisions_4 : 310748
1150.60/152.05	c (148,0) c Decisions_5 : 309522
1150.60/152.05	c (148,0) c Decisions_6 : 301609
1150.60/152.05	c (148,0) c Decisions_7 : 310117
1150.60/152.05	c (148,0) c Decisions_total : 2472156
1150.60/152.05	c (148,0) c Decisions_winner : 316728
1150.60/152.05	c (148,0) c Propagations_0 : 162767758
1150.60/152.05	c (148,0) c Propagations_1 : 162874376
1150.60/152.05	c (148,0) c Propagations_2 : 165978231
1150.60/152.05	c (148,0) c Propagations_3 : 163682835
1150.60/152.05	c (148,0) c Propagations_4 : 163451277
1150.60/152.05	c (148,0) c Propagations_5 : 164571944
1150.60/152.05	c (148,0) c Propagations_6 : 163397441
1150.60/152.05	c (148,0) c Propagations_7 : 164100731
1150.60/152.05	c (148,0) c Propagations_total : 1310824593
1150.60/152.05	c (148,0) c Propagations_winner : 162874376
1150.60/152.05	c (148,0) c ReduceDBs_0 : 11
1150.60/152.05	c (148,0) c ReduceDBs_1 : 11
1150.60/152.05	c (148,0) c ReduceDBs_2 : 11
1150.60/152.05	c (148,0) c ReduceDBs_3 : 11
1150.60/152.05	c (148,0) c ReduceDBs_4 : 11
1150.60/152.05	c (148,0) c ReduceDBs_5 : 11
1150.60/152.05	c (148,0) c ReduceDBs_6 : 11
1150.60/152.05	c (148,0) c ReduceDBs_7 : 11
1150.60/152.05	c (148,0) c ReduceDBs_total : 88
1150.60/152.05	c (148,0) c ReduceDBs_winner : 11
1150.60/152.05	c (148,0) c SimpDBs_0 : 3
1150.60/152.05	c (148,0) c SimpDBs_1 : 3
1150.60/152.05	c (148,0) c SimpDBs_2 : 3
1150.60/152.05	c (148,0) c SimpDBs_3 : 3
1150.60/152.05	c (148,0) c SimpDBs_4 : 3
1150.60/152.05	c (148,0) c SimpDBs_5 : 3
1150.60/152.05	c (148,0) c SimpDBs_6 : 3
1150.60/152.05	c (148,0) c SimpDBs_7 : 3
1150.60/152.05	c (148,0) c SimpDBs_total : 24
1150.60/152.05	c (148,0) c SimpDBs_winner : 3
1150.60/152.05	c (148,0) c Restarts_0 : 658
1150.60/152.05	c (148,0) c Restarts_1 : 762
1150.60/152.05	c (148,0) c Restarts_2 : 629
1150.60/152.05	c (148,0) c Restarts_3 : 640
1150.60/152.05	c (148,0) c Restarts_4 : 703
1150.60/152.05	c (148,0) c Restarts_5 : 639
1150.60/152.05	c (148,0) c Restarts_6 : 621
1150.60/152.05	c (148,0) c Restarts_7 : 716
1150.60/152.05	c (148,0) c Restarts_total : 5368
1150.60/152.05	c (148,0) c Restarts_winner : 762
1150.60/152.05	c (148,0) c ForcedImports_0 : 0
1150.60/152.05	c (148,0) c ForcedImports_1 : 0
1150.60/152.05	c (148,0) c ForcedImports_2 : 0
1150.60/152.05	c (148,0) c ForcedImports_3 : 0
1150.60/152.05	c (148,0) c ForcedImports_4 : 0
1150.60/152.05	c (148,0) c ForcedImports_5 : 0
1150.60/152.05	c (148,0) c ForcedImports_6 : 0
1150.60/152.05	c (148,0) c ForcedImports_7 : 0
1150.60/152.05	c (148,0) c ForcedImports_total : 0
1150.60/152.05	c (148,0) c ForcedImports_winner : 0
1150.60/152.05	c (148,0) c PropsBinClauses_0 : 234324185
1150.60/152.05	c (148,0) c PropsBinClauses_1 : 234297318
1150.60/152.05	c (148,0) c PropsBinClauses_2 : 239122757
1150.60/152.05	c (148,0) c PropsBinClauses_3 : 239607865
1150.60/152.05	c (148,0) c PropsBinClauses_4 : 234455238
1150.60/152.05	c (148,0) c PropsBinClauses_5 : 237180239
1150.60/152.05	c (148,0) c PropsBinClauses_6 : 237825742
1150.60/152.05	c (148,0) c PropsBinClauses_7 : 236027480
1150.60/152.05	c (148,0) c PropsBinClauses_total : 1892840824
1150.60/152.05	c (148,0) c PropsBinClauses_winner : 234297318
1150.60/152.05	c (148,0) c PropsPreBlocker_0 : 2588392411
1150.60/152.05	c (148,0) c PropsPreBlocker_1 : 2577084601
1150.60/152.05	c (148,0) c PropsPreBlocker_2 : 2600702909
1150.60/152.05	c (148,0) c PropsPreBlocker_3 : 2589330509
1150.60/152.05	c (148,0) c PropsPreBlocker_4 : 2589152684
1150.60/152.05	c (148,0) c PropsPreBlocker_5 : 2604220202
1150.60/152.05	c (148,0) c PropsPreBlocker_6 : 2597816146
1150.60/152.05	c (148,0) c PropsPreBlocker_7 : 2583013789
1150.60/152.05	c (148,0) c PropsPreBlocker_total : 20729713251
1150.60/152.05	c (148,0) c PropsPreBlocker_winner : 2577084601
1150.60/152.05	c (148,0) c PropsNotBlocker_0 : 1028971155
1150.60/152.05	c (148,0) c PropsNotBlocker_1 : 1036804865
1150.60/152.05	c (148,0) c PropsNotBlocker_2 : 1028072137
1150.60/152.06	c (148,0) c PropsNotBlocker_3 : 1031634902
1150.60/152.06	c (148,0) c PropsNotBlocker_4 : 1023824281
1150.60/152.06	c (148,0) c PropsNotBlocker_5 : 1022734898
1150.60/152.06	c (148,0) c PropsNotBlocker_6 : 1027893522
1150.60/152.06	c (148,0) c PropsNotBlocker_7 : 1030800777
1150.60/152.06	c (148,0) c PropsNotBlocker_total : 8230736537
1150.60/152.06	c (148,0) c PropsNotBlocker_winner : 1036804865
1150.60/152.06	c (148,0) c PropsLitFullScans_0 : 5220402253
1150.60/152.06	c (148,0) c PropsLitFullScans_1 : 5222504412
1150.60/152.06	c (148,0) c PropsLitFullScans_2 : 5232329129
1150.60/152.06	c (148,0) c PropsLitFullScans_3 : 5230380675
1150.60/152.06	c (148,0) c PropsLitFullScans_4 : 5220549094
1150.60/152.06	c (148,0) c PropsLitFullScans_5 : 5232430013
1150.60/152.06	c (148,0) c PropsLitFullScans_6 : 5226359296
1150.60/152.06	c (148,0) c PropsLitFullScans_7 : 5220432251
1150.60/152.06	c (148,0) c PropsLitFullScans_total : 41805387123
1150.60/152.06	c (148,0) c PropsLitFullScans_winner : 5222504412
1150.60/152.06	c (148,0) c LitScanFractions_0 : 391220
1150.60/152.06	c (148,0) c LitScanFractions_1 : 405653
1150.60/152.06	c (148,0) c LitScanFractions_2 : 324273
1150.60/152.06	c (148,0) c LitScanFractions_3 : 562467
1150.60/152.06	c (148,0) c LitScanFractions_4 : 533928
1150.60/152.06	c (148,0) c LitScanFractions_5 : 402775
1150.60/152.06	c (148,0) c LitScanFractions_6 : 356539
1150.60/152.06	c (148,0) c LitScanFractions_7 : 391007
1150.60/152.06	c (148,0) c LitScanFractions_total : 3367862
1150.60/152.06	c (148,0) c LitScanFractions_winner : 405653
1150.60/152.06	c (148,0) c DecisionLevel0_0 : 660
1150.60/152.06	c (148,0) c DecisionLevel0_1 : 763
1150.60/152.06	c (148,0) c DecisionLevel0_2 : 630
1150.60/152.06	c (148,0) c DecisionLevel0_3 : 641
1150.60/152.06	c (148,0) c DecisionLevel0_4 : 704
1150.60/152.06	c (148,0) c DecisionLevel0_5 : 640
1150.60/152.06	c (148,0) c DecisionLevel0_6 : 622
1150.60/152.06	c (148,0) c DecisionLevel0_7 : 717
1150.60/152.06	c (148,0) c DecisionLevel0_total : 5377
1150.60/152.06	c (148,0) c DecisionLevel0_winner : 763
1150.60/152.06	c (148,0) c Periods_0 : 870
1150.60/152.06	c (148,0) c Periods_1 : 870
1150.60/152.06	c (148,0) c Periods_2 : 872
1150.60/152.06	c (148,0) c Periods_3 : 871
1150.60/152.06	c (148,0) c Periods_4 : 870
1150.60/152.06	c (148,0) c Periods_5 : 872
1150.60/152.06	c (148,0) c Periods_6 : 871
1150.60/152.06	c (148,0) c Periods_7 : 870
1150.60/152.06	c (148,0) c Periods_total : 6966
1150.60/152.06	c (148,0) c Periods_winner : 870
1150.60/152.06	c (148,0) c Margin_0 : 20
1150.60/152.06	c (148,0) c Margin_1 : 20
1150.60/152.06	c (148,0) c Margin_2 : 20
1150.60/152.06	c (148,0) c Margin_3 : 20
1150.60/152.06	c (148,0) c Margin_4 : 20
1150.60/152.06	c (148,0) c Margin_5 : 20
1150.60/152.06	c (148,0) c Margin_6 : 20
1150.60/152.06	c (148,0) c Margin_7 : 20
1150.60/152.06	c (148,0) c Margin_total : 160
1150.60/152.06	c (148,0) c Margin_winner : 20
1150.60/152.06	c (148,0) c Exported_0 : 25342
1150.60/152.06	c (148,0) c Exported_1 : 23260
1150.60/152.06	c (148,0) c Exported_2 : 25044
1150.60/152.06	c (148,0) c Exported_3 : 24685
1150.60/152.06	c (148,0) c Exported_4 : 24781
1150.60/152.06	c (148,0) c Exported_5 : 24444
1150.60/152.06	c (148,0) c Exported_6 : 24950
1150.60/152.06	c (148,0) c Exported_7 : 22549
1150.60/152.06	c (148,0) c Exported_total : 195055
1150.60/152.06	c (148,0) c Exported_winner : 23260
1150.60/152.06	c (148,0) c Imported_0 : 167184
1150.60/152.06	c (148,0) c Imported_1 : 167446
1150.60/152.06	c (148,0) c Imported_2 : 165996
1150.60/152.06	c (148,0) c Imported_3 : 168281
1150.60/152.06	c (148,0) c Imported_4 : 167903
1150.60/152.06	c (148,0) c Imported_5 : 161851
1150.60/152.06	c (148,0) c Imported_6 : 167128
1150.60/152.06	c (148,0) c Imported_7 : 169244
1150.60/152.06	c (148,0) c Imported_total : 1335033
1150.60/152.06	c (148,0) c Imported_winner : 167446
1150.60/152.06	c (148,0) c Good_0 : 37
1150.60/152.06	c (148,0) c Good_1 : 45
1150.60/152.06	c (148,0) c Good_2 : 39
1150.60/152.06	c (148,0) c Good_3 : 42
1150.60/152.06	c (148,0) c Good_4 : 36
1150.60/152.06	c (148,0) c Good_5 : 42
1150.60/152.06	c (148,0) c Good_6 : 42
1150.60/152.06	c (148,0) c Good_7 : 38
1150.60/152.06	c (148,0) c Good_total : 321
1150.60/152.06	c (148,0) c Good_winner : 45
1150.60/152.06	c (148,0) c Purge_0 : 167147
1150.60/152.06	c (148,0) c Purge_1 : 167401
1150.60/152.06	c (148,0) c Purge_2 : 165957
1150.60/152.06	c (148,0) c Purge_3 : 168239
1150.60/152.06	c (148,0) c Purge_4 : 167867
1150.60/152.06	c (148,0) c Purge_5 : 161809
1150.60/152.06	c (148,0) c Purge_6 : 167086
1150.60/152.06	c (148,0) c Purge_7 : 169206
1150.60/152.06	c (148,0) c Purge_total : 1334712
1150.60/152.06	c (148,0) c Purge_winner : 167401
1150.60/152.06	c (148,0) c Promoted_0 : 23450
1150.60/152.06	c (148,0) c Promoted_1 : 23196
1150.60/152.06	c (148,0) c Promoted_2 : 23590
1150.60/152.06	c (148,0) c Promoted_3 : 23033
1150.60/152.06	c (148,0) c Promoted_4 : 23471
1150.60/152.06	c (148,0) c Promoted_5 : 23261
1150.60/152.06	c (148,0) c Promoted_6 : 23193
1150.60/152.06	c (148,0) c Promoted_7 : 23566
1150.60/152.06	c (148,0) c Promoted_total : 186760
1150.60/152.06	c (148,0) c Promoted_winner : 23196
1150.60/152.06	c (148,0) c Remove_Imp_0 : 98297
1150.60/152.06	c (148,0) c Remove_Imp_1 : 100855
1150.60/152.06	c (148,0) c Remove_Imp_2 : 98450
1150.60/152.06	c (148,0) c Remove_Imp_3 : 98645
1150.60/152.06	c (148,0) c Remove_Imp_4 : 98613
1150.60/152.06	c (148,0) c Remove_Imp_5 : 98499
1150.60/152.06	c (148,0) c Remove_Imp_6 : 99919
1150.60/152.06	c (148,0) c Remove_Imp_7 : 100834
1150.60/152.06	c (148,0) c Remove_Imp_total : 794112
1150.60/152.06	c (148,0) c Remove_Imp_winner : 100855
1150.60/152.06	c (148,0) c Blocked_Reuse_0 : 0
1150.60/152.06	c (148,0) c Blocked_Reuse_1 : 0
1150.60/152.06	c (148,0) c Blocked_Reuse_2 : 0
1150.60/152.06	c (148,0) c Blocked_Reuse_3 : 0
1150.60/152.06	c (148,0) c Blocked_Reuse_4 : 0
1150.60/152.06	c (148,0) c Blocked_Reuse_5 : 0
1150.60/152.06	c (148,0) c Blocked_Reuse_6 : 0
1150.60/152.06	c (148,0) c Blocked_Reuse_7 : 0
1150.60/152.06	c (148,0) c Blocked_Reuse_total : 0
1150.60/152.06	c (148,0) c Blocked_Reuse_winner : 0
1150.60/152.06	c (148,0) c Unaries_0 : 2
1150.60/152.06	c (148,0) c Unaries_1 : 1
1150.60/152.06	c (148,0) c Unaries_2 : 1
1150.60/152.06	c (148,0) c Unaries_3 : 1
1150.60/152.06	c (148,0) c Unaries_4 : 1
1150.60/152.06	c (148,0) c Unaries_5 : 1
1150.60/152.06	c (148,0) c Unaries_6 : 1
1150.60/152.06	c (148,0) c Unaries_7 : 1
1150.60/152.06	c (148,0) c Unaries_total : 9
1150.60/152.06	c (148,0) c Unaries_winner : 1
1150.60/152.06	c (148,0) c Binaries_0 : 9
1150.60/152.06	c (148,0) c Binaries_1 : 1
1150.60/152.06	c (148,0) c Binaries_2 : 7
1150.60/152.06	c (148,0) c Binaries_3 : 4
1150.60/152.06	c (148,0) c Binaries_4 : 11
1150.60/152.06	c (148,0) c Binaries_5 : 3
1150.60/152.06	c (148,0) c Binaries_6 : 4
1150.60/152.06	c (148,0) c Binaries_7 : 8
1150.60/152.06	c (148,0) c Binaries_total : 47
1150.60/152.06	c (148,0) c Binaries_winner : 1
1150.60/152.06	c (148,0) c Glues_0 : 128
1150.60/152.06	c (148,0) c Glues_1 : 142
1150.60/152.06	c (148,0) c Glues_2 : 145
1150.60/152.06	c (148,0) c Glues_3 : 141
1150.60/152.06	c (148,0) c Glues_4 : 164
1150.60/152.06	c (148,0) c Glues_5 : 148
1150.60/152.06	c (148,0) c Glues_6 : 131
1150.60/152.06	c (148,0) c Glues_7 : 150
1150.60/152.06	c (148,0) c Glues_total : 1149
1150.60/152.06	c (148,0) c Glues_winner : 142
1150.60/152.06	c (148,0) c RunningTime_0 : 146.404750
1150.60/152.06	c (148,0) c RunningTime_1 : 143.004729
1150.60/152.06	c (148,0) c RunningTime_2 : 140.612617
1150.60/152.06	c (148,0) c RunningTime_3 : 142.916579
1150.60/152.06	c (148,0) c RunningTime_4 : 145.073508
1150.60/152.06	c (148,0) c RunningTime_5 : 140.421212
1150.60/152.06	c (148,0) c RunningTime_6 : 142.475865
1150.60/152.06	c (148,0) c RunningTime_7 : 144.274065
1150.60/152.06	c (148,0) c RunningTime_total : 1145.183325
1150.60/152.06	c (148,0) c RunningTime_winner : 143.004729
1150.60/152.06	c (148,0) c WaitingTime_0 : 0.001045
1150.60/152.06	c (148,0) c WaitingTime_1 : 2.286041
1150.60/152.06	c (148,0) c WaitingTime_2 : 4.706963
1150.60/152.06	c (148,0) c WaitingTime_3 : 2.388289
1150.60/152.06	c (148,0) c WaitingTime_4 : 1.738660
1150.60/152.06	c (148,0) c WaitingTime_5 : 4.933737
1150.60/152.06	c (148,0) c WaitingTime_6 : 2.884941
1150.60/152.06	c (148,0) c WaitingTime_7 : 1.969257
1150.60/152.06	c (148,0) c WaitingTime_total : 20.908933
1150.60/152.06	c (148,0) c WaitingTime_winner : 2.286041
1150.60/152.06	c (148,0) c ExchangingTime_0 : 0.114219
1150.60/152.06	c (148,0) c ExchangingTime_1 : 0.103489
1150.60/152.06	c (148,0) c ExchangingTime_2 : 0.101541
1150.60/152.06	c (148,0) c ExchangingTime_3 : 0.109389
1150.60/152.06	c (148,0) c ExchangingTime_4 : 0.110759
1150.60/152.06	c (148,0) c ExchangingTime_5 : 0.087670
1150.60/152.06	c (148,0) c ExchangingTime_6 : 0.108785
1150.60/152.06	c (148,0) c ExchangingTime_7 : 0.094601
1150.60/152.06	c (148,0) c ExchangingTime_total : 0.830454
1150.60/152.06	c (148,0) c ExchangingTime_winner : 0.103489
1150.60/152.06	c (148,0) c PeriodProcTime_0 : 0.011432
1150.60/152.06	c (148,0) c PeriodProcTime_1 : 0.007787
1150.60/152.06	c (148,0) c PeriodProcTime_2 : 0.007819
1150.60/152.06	c (148,0) c PeriodProcTime_3 : 0.008541
1150.60/152.06	c (148,0) c PeriodProcTime_4 : 0.008897
1150.60/152.06	c (148,0) c PeriodProcTime_5 : 0.010099
1150.60/152.06	c (148,0) c PeriodProcTime_6 : 0.009474
1150.60/152.06	c (148,0) c PeriodProcTime_7 : 0.008197
1150.60/152.06	c (148,0) c PeriodProcTime_total : 0.072246
1150.60/152.06	c (148,0) c PeriodProcTime_winner : 0.007787
1150.60/152.06	c (148,0) c SolvingTime_0 : 146.531446
1150.60/152.06	c (148,0) c SolvingTime_1 : 145.402047
1150.60/152.06	c (148,0) c SolvingTime_2 : 145.428941
1150.60/152.06	c (148,0) c SolvingTime_3 : 145.422798
1150.60/152.06	c (148,0) c SolvingTime_4 : 146.931825
1150.60/152.06	c (148,0) c SolvingTime_5 : 145.452718
1150.60/152.06	c (148,0) c SolvingTime_6 : 145.479064
1150.60/152.06	c (148,0) c SolvingTime_7 : 146.346120
1150.60/152.06	c (148,0) c SolvingTime_total : 1166.994959
1150.60/152.06	c (148,0) c SolvingTime_winner : 145.402047
1150.60/152.06	c (148,0) c PropagationTime_0 : 127.402735
1150.60/152.06	c (148,0) c PropagationTime_1 : 125.868678
1150.60/152.06	c (148,0) c PropagationTime_2 : 125.779933
1150.60/152.06	c (148,0) c PropagationTime_3 : 125.287683
1150.60/152.06	c (148,0) c PropagationTime_4 : 126.485047
1150.60/152.06	c (148,0) c PropagationTime_5 : 124.741333
1150.60/152.06	c (148,0) c PropagationTime_6 : 125.682847
1150.60/152.06	c (148,0) c PropagationTime_7 : 127.090460
1150.60/152.06	c (148,0) c PropagationTime_total : 1008.338717
1150.60/152.06	c (148,0) c PropagationTime_winner : 125.868678
1150.60/152.06	c (148,0) c AnalysisTime_0 : 16.348120
1150.60/152.06	c (148,0) c AnalysisTime_1 : 16.613739
1150.60/152.06	c (148,0) c AnalysisTime_2 : 16.720890
1150.60/152.06	c (148,0) c AnalysisTime_3 : 17.150548
1150.60/152.06	c (148,0) c AnalysisTime_4 : 17.500508
1150.60/152.06	c (148,0) c AnalysisTime_5 : 17.862122
1150.60/152.06	c (148,0) c AnalysisTime_6 : 16.874965
1150.60/152.06	c (148,0) c AnalysisTime_7 : 16.459990
1150.60/152.06	c (148,0) c AnalysisTime_total : 135.530882
1150.60/152.06	c (148,0) c AnalysisTime_winner : 16.613739
1150.60/152.06	c (148,0) c ReductionTime_0 : 0.423501
1150.60/152.06	c (148,0) c ReductionTime_1 : 0.480894
1150.60/152.06	c (148,0) c ReductionTime_2 : 0.477468
1150.60/152.06	c (148,0) c ReductionTime_3 : 0.490697
1150.60/152.06	c (148,0) c ReductionTime_4 : 0.482116
1150.60/152.06	c (148,0) c ReductionTime_5 : 0.399992
1150.60/152.06	c (148,0) c ReductionTime_6 : 0.478209
1150.60/152.06	c (148,0) c ReductionTime_7 : 0.392169
1150.60/152.06	c (148,0) c ReductionTime_total : 3.625045
1150.60/152.06	c (148,0) c ReductionTime_winner : 0.480894
1150.60/152.06	c (148,0) c SimplifyTime_0 : 0.036077
1150.60/152.06	c (148,0) c SimplifyTime_1 : 0.037789
1150.60/152.06	c (148,0) c SimplifyTime_2 : 0.037468
1150.60/152.06	c (148,0) c SimplifyTime_3 : 0.042920
1150.60/152.06	c (148,0) c SimplifyTime_4 : 0.046444
1150.60/152.06	c (148,0) c SimplifyTime_5 : 0.042427
1150.60/152.06	c (148,0) c SimplifyTime_6 : 0.037909
1150.60/152.06	c (148,0) c SimplifyTime_7 : 0.042947
1150.60/152.06	c (148,0) c SimplifyTime_total : 0.323980
1150.60/152.06	c (148,0) c SimplifyTime_winner : 0.037789
1150.60/152.06	c (148,0) c UsedRateTime_0 : 0.000000
1150.60/152.06	c (148,0) c UsedRateTime_1 : 0.000000
1150.60/152.06	c (148,0) c UsedRateTime_2 : 0.000000
1150.60/152.06	c (148,0) c UsedRateTime_3 : 0.000000
1150.60/152.06	c (148,0) c UsedRateTime_4 : 0.000000
1150.60/152.06	c (148,0) c UsedRateTime_5 : 0.000000
1150.60/152.06	c (148,0) c UsedRateTime_6 : 0.000000
1150.60/152.06	c (148,0) c UsedRateTime_7 : 0.000000
1150.60/152.06	c (148,0) c UsedRateTime_total : 0.000000
1150.60/152.06	c (148,0) c UsedRateTime_winner : 0.000000
1150.60/152.06	c (148,0) c OverlapRateTime_0 : 0.000000
1150.60/152.06	c (148,0) c OverlapRateTime_1 : 0.000000
1150.60/152.06	c (148,0) c OverlapRateTime_2 : 0.000000
1150.60/152.06	c (148,0) c OverlapRateTime_3 : 0.000000
1150.60/152.06	c (148,0) c OverlapRateTime_4 : 0.000000
1150.60/152.06	c (148,0) c OverlapRateTime_5 : 0.000000
1150.60/152.06	c (148,0) c OverlapRateTime_6 : 0.000000
1150.60/152.06	c (148,0) c OverlapRateTime_7 : 0.000000
1150.60/152.06	c (148,0) c OverlapRateTime_total : 0.000000
1150.60/152.06	c (148,0) c OverlapRateTime_winner : 0.000000
1150.60/152.06	c (148,0) c
1150.60/152.06	c (148,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1150.60/152.06	c (148,0) c
1150.60/152.06	c (148,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1150.60/152.06	c (148,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1150.60/152.06	c (148,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1150.60/152.06	c (148,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1150.60/152.06	c (148,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1150.60/152.06	c (148,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1150.60/152.06	c (148,0) c | Initial random_seed   | 2010956851 | 2032600084 | 1120604834 |  637904180 |  682313571 |  321351318 | 1709242555 | 1520044846 |
1150.60/152.06	c (148,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1150.60/152.06	c (148,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1150.60/152.06	c (148,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1150.60/152.06	c (148,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1150.60/152.06	c (148,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1150.60/152.06	c (148,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1150.60/152.06	c (148,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1150.60/152.06	c (148,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1150.60/152.06	c (148,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1150.60/152.06	c (148,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1150.60/152.06	c (148,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1150.60/152.06	c (148,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1150.60/152.06	c (148,0) 
1150.60/152.06	c (148,0) s SATISFIABLE
1150.86/152.11	c (148,0) SatSolver.solve End
1150.86/152.11	c (148,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1150.86/152.11	c (148,0) Show results Begin
1151.12/152.21	c (148,0) x[0] = 348
1151.12/152.21	c (148,0) x[1] = 93
1151.12/152.21	c (148,0) x[2] = 102
1151.12/152.21	c (148,0) x[3] = 209
1151.12/152.21	c (148,0) x[4] = 93
1151.12/152.21	c (148,0) x[5] = 324
1151.12/152.21	c (148,0) x[6] = 65
1151.12/152.21	c (148,0) x[7] = 112
1151.12/152.21	c (148,0) x[8] = 65
1151.12/152.21	c (148,0) x[9] = 102
1151.12/152.21	c (148,0) x[10] = 145
1151.12/152.21	c (148,0) x[11] = 0
1151.12/152.21	c (148,0) x[12] = 141
1151.12/152.21	c (148,0) x[13] = 145
1151.12/152.21	c (148,0) x[14] = 226
1151.12/152.21	c (148,0) x[15] = 102
1151.12/152.21	c (148,0) x[16] = 0
1151.12/152.21	c (148,0) x[17] = 209
1151.12/152.21	c (148,0) x[18] = 0
1151.12/152.21	c (148,0) x[19] = 201
1151.12/152.21	c (148,0) x[20] = 201
1151.12/152.21	c (148,0) x[21] = 354
1151.12/152.21	c (148,0) x[22] = 348
1151.12/152.21	c (148,0) x[23] = 324
1151.12/152.21	c (148,0) x[24] = 0
1151.12/152.21	c (148,0) y[0] = 153
1151.12/152.22	c (148,0) y[1] = 340
1151.12/152.22	c (148,0) y[2] = 339
1151.12/152.22	c (148,0) y[3] = 415
1151.12/152.22	c (148,0) y[4] = 349
1151.12/152.22	c (148,0) y[5] = 300
1151.12/152.22	c (148,0) y[6] = 340
1151.12/152.22	c (148,0) y[7] = 339
1151.12/152.22	c (148,0) y[8] = 303
1151.12/152.22	c (148,0) y[9] = 300
1151.12/152.22	c (148,0) y[10] = 368
1151.12/152.22	c (148,0) y[11] = 303
1151.12/152.22	c (148,0) y[12] = 300
1151.12/152.22	c (148,0) y[13] = 432
1151.12/152.22	c (148,0) y[14] = 415
1151.12/152.22	c (148,0) y[15] = 201
1151.12/152.22	c (148,0) y[16] = 201
1151.12/152.22	c (148,0) y[17] = 300
1151.12/152.22	c (148,0) y[18] = 368
1151.12/152.22	c (148,0) y[19] = 153
1151.12/152.22	c (148,0) y[20] = 0
1151.12/152.22	c (148,0) y[21] = 0
1151.12/152.22	c (148,0) y[22] = 159
1151.12/152.22	c (148,0) y[23] = 324
1151.12/152.22	c (148,0) y[24] = 0
1151.12/152.22	s SATISFIABLE
1151.12/152.22	v <instantiation>
1151.12/152.22	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
1151.12/152.22	v     <values>348 93 102 209 93 324 65 112 65 102 145 0 141 145 226 102 0 209 0 201 201 354 348 324 0 153 340 339 415 349 300 340 339 303 300 368 303 300 432 415 201 201 300 368 153 0 0 159 324 0</values>
1151.12/152.22	v </instantiation>
1151.12/152.22	c (148,0) Show results End
1151.12/152.22	c (148,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1151.12/152.22	c (148,0) 148,148,STOP-AFTER(ALL)
1151.12/152.22	c END-Prog: Sat Sep 14 04:08:23 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: 16374 MiB (14974 MiB free)
  memory of node 1: 16384 MiB (15366 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392717-1568430467/watcher-4392717-1568430467 -o /tmp/evaluation-result-4392717-1568430467/solver-4392717-1568430467 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568426415-21453 --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-4392717-1568430467.xml 

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

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


[startup+0.100136 s]*
/proc/loadavg: 8.01 8.13 8.05 3/211 21655
/proc/meminfo: memFree=30975288/32770624 swapFree=66922968/67108860
[pid=21633] ppid=21630 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21633/stat : 21633 (scop.sh) S 21630 21633 21426 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419302745 115843072 349 33554432000 4194304 5098028 140728815642432 140728815639688 140708185723516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10321920 140728815645476 140728815645804 140728815645804 140728815648717 0
/proc/21633/statm: 28282 349 296 221 0 87 0
[pid=21636] ppid=21633 vsize=27314120 memory=105676 CPUtime=0.1 cores=0-7
/proc/21636/stat : 21636 (java) S 21633 21633 21426 0 -1 1077944320 6453 0 0 0 8 2 0 0 20 0 20 0 419302746 27969658880 26419 33554432000 4194304 4196468 140733833291760 140733833274304 140595397410551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
/proc/21636/statm: 6828530 26419 2815 1 0 6790935 0
[pid=21636/tid=21637] ppid=21633 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/21636/task/21637/stat : 21637 (java) R 21633 21633 21426 0 -1 4202560 4530 0 0 0 7 2 0 0 20 0 20 0 419302746 27969658880 26419 33554432000 4194304 4196468 140733833291760 140595369233840 140595381491038 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21638] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21638/stat : 21638 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 26419 33554432000 4194304 4196468 140733833291760 140595401652880 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21639] ppid=21633 vsize=27314120 memory=288370195097040512 CPUtime=0 cores=0-7
/proc/21636/task/21639/stat : 21639 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 26419 33554432000 4194304 4196468 140733833291760 140595219741200 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21640] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21640/stat : 21640 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 26419 33554432000 4194304 4196468 140733833291760 140595218688400 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21641] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21641/stat : 21641 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 26419 33554432000 4194304 4196468 140733833291760 140594817956112 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21642] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21642/stat : 21642 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 26419 33554432000 4194304 4196468 140733833291760 140594816904336 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21643] ppid=21633 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21636/task/21643/stat : 21643 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 26419 33554432000 4194304 4196468 140733833291760 140594815851536 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21644] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21644/stat : 21644 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 26419 33554432000 4194304 4196468 140733833291760 140594814798736 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21645] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21645/stat : 21645 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 26419 33554432000 4194304 4196468 140733833291760 140594813745936 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21646] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21646/stat : 21646 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302750 27969658880 26419 33554432000 4194304 4196468 140733833291760 140593784707440 140595397421698 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21647] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21647/stat : 21647 (java) S 21633 21633 21426 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419302750 27969658880 26419 33554432000 4194304 4196468 140733833291760 140593137181728 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21648] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21648/stat : 21648 (java) S 21633 21633 21426 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419302751 27969658880 26419 33554432000 4194304 4196468 140733833291760 140593002959728 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21649] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21649/stat : 21649 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 26419 33554432000 4194304 4196468 140733833291760 140592628455248 140595397429147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21650] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21650/stat : 21650 (java) S 21633 21633 21426 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 26419 33554432000 4194304 4196468 140733833291760 140593783655280 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21651] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21651/stat : 21651 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 26419 33554432000 4194304 4196468 140733833291760 140593782602480 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21652] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21652/stat : 21652 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 26419 33554432000 4194304 4196468 140733833291760 140593781549680 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21653] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21653/stat : 21653 (java) S 21633 21633 21426 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 26419 33554432000 4194304 4196468 140733833291760 140593780496880 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21654] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21654/stat : 21654 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 26419 33554432000 4194304 4196468 140733833291760 140592130550368 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21655] ppid=21633 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21636/task/21655/stat : 21655 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302754 27969658880 26419 33554432000 4194304 4196468 140733833291760 140593779444272 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107072 KiB

[startup+0.210217 s]*
/proc/loadavg: 8.01 8.13 8.05 2/211 21655
/proc/meminfo: memFree=30956848/32770624 swapFree=66922968/67108860
[pid=21633] ppid=21630 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21633/stat : 21633 (scop.sh) S 21630 21633 21426 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419302745 115843072 349 33554432000 4194304 5098028 140728815642432 140728815639688 140708185723516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10321920 140728815645476 140728815645804 140728815645804 140728815648717 0
/proc/21633/statm: 28282 349 296 221 0 87 0
[pid=21636] ppid=21633 vsize=27314120 memory=121976 CPUtime=0.24 cores=0-7
/proc/21636/stat : 21636 (java) S 21633 21633 21426 0 -1 1077944320 11457 0 0 0 20 4 0 0 20 0 20 0 419302746 27969658880 30494 33554432000 4194304 4196468 140733833291760 140733833274304 140595397410551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
/proc/21636/statm: 6828530 30494 2891 1 0 6790935 0
[pid=21636/tid=21637] ppid=21633 vsize=27314120 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/21636/task/21637/stat : 21637 (java) R 21633 21633 21426 0 -1 4202560 9135 0 0 0 16 4 0 0 20 0 20 0 419302746 27969658880 30494 33554432000 4194304 4196468 140733833291760 140595369218112 140595378974107 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21638] ppid=21633 vsize=27314120 memory=10923 CPUtime=0 cores=0-7
/proc/21636/task/21638/stat : 21638 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 30494 33554432000 4194304 4196468 140733833291760 140595401652880 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21639] ppid=21633 vsize=27314120 memory=139818945349015 CPUtime=0 cores=0-7
/proc/21636/task/21639/stat : 21639 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 30494 33554432000 4194304 4196468 140733833291760 140595219741200 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21640] ppid=21633 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21636/task/21640/stat : 21640 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 30494 33554432000 4194304 4196468 140733833291760 140595218688400 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21641] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21641/stat : 21641 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 30494 33554432000 4194304 4196468 140733833291760 140594817956112 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21642] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21642/stat : 21642 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 30494 33554432000 4194304 4196468 140733833291760 140594816904336 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21643] ppid=21633 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21636/task/21643/stat : 21643 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 30494 33554432000 4194304 4196468 140733833291760 140594815851536 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21644] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21644/stat : 21644 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 30494 33554432000 4194304 4196468 140733833291760 140594814798736 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21645] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21645/stat : 21645 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 30494 33554432000 4194304 4196468 140733833291760 140594813745936 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21646] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21646/stat : 21646 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302750 27969658880 30494 33554432000 4194304 4196468 140733833291760 140593784707440 140595397421698 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21647] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21647/stat : 21647 (java) S 21633 21633 21426 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419302750 27969658880 30494 33554432000 4194304 4196468 140733833291760 140593137181728 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21648] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21648/stat : 21648 (java) S 21633 21633 21426 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419302751 27969658880 30494 33554432000 4194304 4196468 140733833291760 140593002959728 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21649] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21649/stat : 21649 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 30494 33554432000 4194304 4196468 140733833291760 140592628455248 140595397429147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21650] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21650/stat : 21650 (java) S 21633 21633 21426 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 30494 33554432000 4194304 4196468 140733833291760 140593783655280 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21651] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21651/stat : 21651 (java) S 21633 21633 21426 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 30494 33554432000 4194304 4196468 140733833291760 140593782602480 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21652] ppid=21633 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21636/task/21652/stat : 21652 (java) S 21633 21633 21426 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 30494 33554432000 4194304 4196468 140733833291760 140593781549680 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21653] ppid=21633 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/21636/task/21653/stat : 21653 (java) S 21633 21633 21426 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 20 0 419302753 27969658880 30494 33554432000 4194304 4196468 140733833291760 140593780496880 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21654] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21654/stat : 21654 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 30494 33554432000 4194304 4196468 140733833291760 140592130550368 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21655] ppid=21633 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21636/task/21655/stat : 21655 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302754 27969658880 30494 33554432000 4194304 4196468 140733833291760 140593779444272 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123372 KiB

[startup+0.3096 s]*
/proc/loadavg: 8.01 8.13 8.05 2/211 21655
/proc/meminfo: memFree=30955568/32770624 swapFree=66922968/67108860
[pid=21633] ppid=21630 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21633/stat : 21633 (scop.sh) S 21630 21633 21426 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419302745 115843072 349 33554432000 4194304 5098028 140728815642432 140728815639688 140708185723516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10321920 140728815645476 140728815645804 140728815645804 140728815648717 0
/proc/21633/statm: 28282 349 296 221 0 87 0
[pid=21636] ppid=21633 vsize=27314120 memory=125920 CPUtime=0.42 cores=0-7
/proc/21636/stat : 21636 (java) S 21633 21633 21426 0 -1 1077944320 12389 0 0 0 37 5 0 0 20 0 20 0 419302746 27969658880 31480 33554432000 4194304 4196468 140733833291760 140733833274304 140595397410551 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
/proc/21636/statm: 6828530 31480 3018 1 0 6790935 0
[pid=21636/tid=21637] ppid=21633 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/21636/task/21637/stat : 21637 (java) R 21633 21633 21426 0 -1 4202560 9888 0 0 0 25 4 0 0 20 0 20 0 419302746 27969658880 31480 33554432000 4194304 4196468 140733833291760 140595369193568 140595378974067 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21638] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21638/stat : 21638 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 31480 33554432000 4194304 4196468 140733833291760 140595401652880 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21639] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21639/stat : 21639 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 31480 33554432000 4194304 4196468 140733833291760 140595219741200 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21640] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21640/stat : 21640 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 31480 33554432000 4194304 4196468 140733833291760 140595218688400 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21641] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21641/stat : 21641 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 31480 33554432000 4194304 4196468 140733833291760 140594817956112 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21642] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21642/stat : 21642 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 31480 33554432000 4194304 4196468 140733833291760 140594816904336 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21643] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21643/stat : 21643 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 31480 33554432000 4194304 4196468 140733833291760 140594815851536 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21644] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21644/stat : 21644 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 31480 33554432000 4194304 4196468 140733833291760 140594814798736 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21645] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21645/stat : 21645 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302748 27969658880 31480 33554432000 4194304 4196468 140733833291760 140594813745936 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21646] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21646/stat : 21646 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302750 27969658880 31480 33554432000 4194304 4196468 140733833291760 140593784707440 140595397421698 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21647] ppid=21633 vsize=27314120 memory=279637670436224 CPUtime=0 cores=0-7
/proc/21636/task/21647/stat : 21647 (java) S 21633 21633 21426 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419302750 27969658880 31480 33554432000 4194304 4196468 140733833291760 140593137181728 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21648] ppid=21633 vsize=27314120 memory=279637670440832 CPUtime=0 cores=0-7
/proc/21636/task/21648/stat : 21648 (java) S 21633 21633 21426 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419302751 27969658880 31480 33554432000 4194304 4196468 140733833291760 140593002959728 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21649] ppid=21633 vsize=27314120 memory=279637670445440 CPUtime=0 cores=0-7
/proc/21636/task/21649/stat : 21649 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 31480 33554432000 4194304 4196468 140733833291760 140592628455248 140595397429147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21650] ppid=21633 vsize=27314120 memory=279637670450048 CPUtime=0.01 cores=0-7
/proc/21636/task/21650/stat : 21650 (java) S 21633 21633 21426 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 419302753 27969658880 31480 33554432000 4194304 4196468 140733833291760 140593783655280 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21651] ppid=21633 vsize=27314120 memory=279637670454656 CPUtime=0.01 cores=0-7
/proc/21636/task/21651/stat : 21651 (java) S 21633 21633 21426 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 419302753 27969658880 31480 33554432000 4194304 4196468 140733833291760 140593782602480 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21652] ppid=21633 vsize=27314120 memory=279637670459264 CPUtime=0.01 cores=0-7
/proc/21636/task/21652/stat : 21652 (java) S 21633 21633 21426 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 419302753 27969658880 31480 33554432000 4194304 4196468 140733833291760 140593781549680 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21653] ppid=21633 vsize=27314120 memory=279637670463872 CPUtime=0.07 cores=0-7
/proc/21636/task/21653/stat : 21653 (java) S 21633 21633 21426 0 -1 1077944384 509 0 0 0 7 0 0 0 20 0 20 0 419302753 27969658880 31480 33554432000 4194304 4196468 140733833291760 140593780496880 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21654] ppid=21633 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21654/stat : 21654 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419302753 27969658880 31480 33554432000 4194304 4196468 140733833291760 140592130550368 140595397420757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21655] ppid=21633 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21636/task/21655/stat : 21655 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302754 27969658880 31480 33554432000 4194304 4196468 140733833291760 140593779444272 140595397421698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127316 KiB

[startup+0.700869 s]
/proc/loadavg: 8.01 8.13 8.05 2/211 21655
/proc/meminfo: memFree=30932792/32770624 swapFree=66922968/67108860
[pid=21633] ppid=21630 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21633/stat : 21633 (scop.sh) S 21630 21633 21426 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419302745 115843072 349 33554432000 4194304 5098028 140728815642432 140728815639688 140708185723516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10321920 140728815645476 140728815645804 140728815645804 140728815648717 0
/proc/21633/statm: 28282 349 296 221 0 87 0
[pid=21636] ppid=21633 vsize=27322516 memory=165032 CPUtime=1 cores=0-7
/proc/21636/stat : 21636 (java) S 21633 21633 21426 0 -1 1077944320 19989 0 0 0 92 8 0 0 20 0 20 0 419302746 27978256384 41258 33554432000 4194304 4196468 140733833291760 140733833274304 140595397410551 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
/proc/21636/statm: 6830629 41258 3161 1 0 6791959 0
[pid=21636/tid=21637] ppid=21633 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/21636/task/21637/stat : 21637 (java) R 21633 21633 21426 0 -1 4202560 16968 0 0 0 61 6 0 0 20 0 20 0 419302746 27978256384 41258 33554432000 4194304 4196468 140733833291760 140595369242288 140595381491038 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21638] ppid=21633 vsize=27322516 memory=139818835420032 CPUtime=0 cores=0-7
/proc/21636/task/21638/stat : 21638 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419302748 27978256384 41258 33554432000 4194304 4196468 140733833291760 140595401652880 140595397420757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21639] ppid=21633 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/21636/task/21639/stat : 21639 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27978256384 41258 33554432000 4194304 4196468 140733833291760 140595219741200 140595397420757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0
[pid=21636/tid=21640] ppid=21633 vsize=27322516 memory=9364 CPUtime=0 cores=0-7
/proc/21636/task/21640/stat : 21640 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419302748 27978256384 41258 33554432000 4194304 4196468 140733833291760 140595218688400 140595397420757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140733833298666 140733833299094 140733833299094 140733833301967 0

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

/proc/21656/task/21661/stat : 21661 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070499629840 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21662] ppid=21633 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/21656/task/21662/stat : 21662 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070498577040 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21663] ppid=21633 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/21656/task/21663/stat : 21663 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070497524240 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21664] ppid=21633 vsize=8414124 memory=4196 CPUtime=0 cores=0-7
/proc/21656/task/21664/stat : 21664 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070496471440 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21665] ppid=21633 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/21656/task/21665/stat : 21665 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070495418640 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21666] ppid=21633 vsize=8414124 memory=21488 CPUtime=0 cores=0-7
/proc/21656/task/21666/stat : 21666 (java) S 21633 21633 21426 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419303098 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069975370608 140071016143490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21667] ppid=21633 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/21656/task/21667/stat : 21667 (java) S 21633 21633 21426 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419303099 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069688043040 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21668] ppid=21633 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/21656/task/21668/stat : 21668 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303099 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069419607408 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21669] ppid=21633 vsize=8414124 memory=1284 CPUtime=0 cores=0-7
/proc/21656/task/21669/stat : 21669 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069045098832 140071016150939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21670] ppid=21633 vsize=8414124 memory=1044 CPUtime=0.02 cores=0-7
/proc/21656/task/21670/stat : 21670 (java) S 21633 21633 21426 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069974317424 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21671] ppid=21633 vsize=8414124 memory=708 CPUtime=0.07 cores=0-7
/proc/21656/task/21671/stat : 21671 (java) S 21633 21633 21426 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069973264624 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21672] ppid=21633 vsize=8414124 memory=1476 CPUtime=0.08 cores=0-7
/proc/21656/task/21672/stat : 21672 (java) S 21633 21633 21426 0 -1 1077944384 385 0 0 0 8 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069972211824 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21673] ppid=21633 vsize=8414124 memory=120320 CPUtime=0.2 cores=0-7
/proc/21656/task/21673/stat : 21673 (java) S 21633 21633 21426 0 -1 1077944384 702 0 0 0 20 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069971159024 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21674] ppid=21633 vsize=8414124 memory=921728 CPUtime=0 cores=0-7
/proc/21656/task/21674/stat : 21674 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140068547193952 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21675] ppid=21633 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7
/proc/21656/task/21675/stat : 21675 (java) S 21633 21633 21426 0 -1 1077944384 11 0 0 0 0 9 0 0 20 0 24 0 419303102 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069970107440 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21677] ppid=21633 vsize=8414124 memory=120320 CPUtime=0 cores=0-7
/proc/21656/task/21677/stat : 21677 (java) S 21633 21633 21426 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419303167 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069962073664 140071016156953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21679] ppid=21633 vsize=8414124 memory=921728 CPUtime=0 cores=0-7
/proc/21656/task/21679/stat : 21679 (java) S 21633 21633 21426 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419303167 8616062976 30080 33554432000 4194304 4196468 140729703176976 140067876093584 140071016154269 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21680] ppid=21633 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/21656/task/21680/stat : 21680 (java) S 21633 21633 21426 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419303167 8616062976 30080 33554432000 4194304 4196468 140729703176976 140068144528912 140071016154269 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21681] ppid=21633 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/21656/task/21681/stat : 21681 (java) S 21633 21633 21426 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419303169 8616062976 30080 33554432000 4194304 4196468 140729703176976 140067607665712 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
Current children cumulated CPU time: 1149.08 s
Current children cumulated vsize: 9950704 KiB
Current children cumulated memory: 1043576 KiB

[startup+152.001 s]*
/proc/loadavg: 8.10 8.02 8.01 2/217 21699
/proc/meminfo: memFree=30030004/32770624 swapFree=66922968/67108860
[pid=21633] ppid=21630 vsize=113128 memory=1476 CPUtime=6.63 cores=0-7
/proc/21633/stat : 21633 (scop.sh) S 21630 21633 21426 0 -1 4202496 583 27012 0 0 0 0 626 37 20 0 1 0 419302745 115843072 369 33554432000 4194304 5098028 140728815642432 140728815639176 140708185723516 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10321920 140728815645476 140728815645804 140728815645804 140728815648717 0
/proc/21633/statm: 28282 369 311 221 0 87 0
[pid=21656] ppid=21633 vsize=8414124 memory=120320 CPUtime=1.24 cores=0-7
/proc/21656/stat : 21656 (java) S 21633 21633 21426 0 -1 1077944320 20092 0 0 0 117 7 0 0 20 0 24 0 419303095 8616062976 30080 33554432000 4194304 4196468 140729703176976 140729703159520 140071016132343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
/proc/21656/statm: 2103531 30080 3207 1 0 2064875 0
[pid=21676] ppid=21656 vsize=1423452 memory=921780 CPUtime=1142.73 cores=0-7
/proc/21676/stat : 21676 (manyglucose-4.1) S 21656 21633 21426 0 -1 1077944320 849669 0 0 0 114089 184 0 0 20 0 2 0 419303167 1457614848 230445 33554432000 4194304 4454172 140728800575408 140728800573792 140510001241847 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 28798976 140728800580457 140728800580656 140728800580656 140728800583610 0
/proc/21676/statm: 355863 230445 423 64 0 351531 0
[pid=21676/tid=21686] ppid=21656 vsize=1423452 memory=5794845653706370150 CPUtime=144.99 cores=0-7
/proc/21676/task/21686/stat : 21686 (manyglucose-4.1) R 21656 21633 21426 0 -1 4202560 101335 0 0 0 14478 21 0 0 20 0 2 0 419303255 1457614848 230445 33554432000 4194304 4454172 140728800575408 140509918870664 4351289 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 28798976 140728800580457 140728800580656 140728800580656 140728800583610 0
[pid=21656/tid=21657] ppid=21633 vsize=8414124 memory=8317482817917895235 CPUtime=0.74 cores=0-7
/proc/21656/task/21657/stat : 21657 (java) S 21633 21633 21426 0 -1 1077944384 16908 0 0 0 69 5 0 0 20 0 24 0 419303095 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070987972512 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21658] ppid=21633 vsize=8414124 memory=21488 CPUtime=0 cores=0-7
/proc/21656/task/21658/stat : 21658 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303096 8616062976 30080 33554432000 4194304 4196468 140729703176976 140071020375184 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21659] ppid=21633 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/21656/task/21659/stat : 21659 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303096 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070501735440 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21660] ppid=21633 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/21656/task/21660/stat : 21660 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070500682640 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21661] ppid=21633 vsize=8414124 memory=1284 CPUtime=0 cores=0-7
/proc/21656/task/21661/stat : 21661 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070499629840 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21662] ppid=21633 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/21656/task/21662/stat : 21662 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070498577040 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21663] ppid=21633 vsize=8414124 memory=708 CPUtime=0 cores=0-7
/proc/21656/task/21663/stat : 21663 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070497524240 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21664] ppid=21633 vsize=8414124 memory=9364 CPUtime=0 cores=0-7
/proc/21656/task/21664/stat : 21664 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070496471440 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21665] ppid=21633 vsize=8414124 memory=1120 CPUtime=0 cores=0-7
/proc/21656/task/21665/stat : 21665 (java) S 21633 21633 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419303097 8616062976 30080 33554432000 4194304 4196468 140729703176976 140070495418640 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21666] ppid=21633 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/21656/task/21666/stat : 21666 (java) S 21633 21633 21426 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419303098 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069975370608 140071016143490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21667] ppid=21633 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/21656/task/21667/stat : 21667 (java) S 21633 21633 21426 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419303099 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069688043040 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21668] ppid=21633 vsize=8414124 memory=8048 CPUtime=0 cores=0-7
/proc/21656/task/21668/stat : 21668 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303099 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069419607408 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21669] ppid=21633 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/21656/task/21669/stat : 21669 (java) S 21633 21633 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069045098832 140071016150939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21670] ppid=21633 vsize=8414124 memory=7740951552232346724 CPUtime=0.02 cores=0-7
/proc/21656/task/21670/stat : 21670 (java) S 21633 21633 21426 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069974317424 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21671] ppid=21633 vsize=8414124 memory=7740951552232346724 CPUtime=0.07 cores=0-7
/proc/21656/task/21671/stat : 21671 (java) S 21633 21633 21426 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069973264624 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21672] ppid=21633 vsize=8414124 memory=7884515842135052628 CPUtime=0.08 cores=0-7
/proc/21656/task/21672/stat : 21672 (java) S 21633 21633 21426 0 -1 1077944384 385 0 0 0 8 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069972211824 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21673] ppid=21633 vsize=8414124 memory=7884515842135052628 CPUtime=0.2 cores=0-7
/proc/21656/task/21673/stat : 21673 (java) S 21633 21633 21426 0 -1 1077944384 702 0 0 0 20 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069971159024 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21674] ppid=21633 vsize=8414124 memory=7881981484558738543 CPUtime=0 cores=0-7
/proc/21656/task/21674/stat : 21674 (java) S 21633 21633 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419303101 8616062976 30080 33554432000 4194304 4196468 140729703176976 140068547193952 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21675] ppid=21633 vsize=8414124 memory=7881981484558738543 CPUtime=0.09 cores=0-7
/proc/21656/task/21675/stat : 21675 (java) S 21633 21633 21426 0 -1 1077944384 11 0 0 0 0 9 0 0 20 0 24 0 419303102 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069970107440 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21677] ppid=21633 vsize=8414124 memory=7881981484558738543 CPUtime=0 cores=0-7
/proc/21656/task/21677/stat : 21677 (java) S 21633 21633 21426 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419303167 8616062976 30080 33554432000 4194304 4196468 140729703176976 140069962073664 140071016156953 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21679] ppid=21633 vsize=8414124 memory=7092156012695940968 CPUtime=0 cores=0-7
/proc/21656/task/21679/stat : 21679 (java) S 21633 21633 21426 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419303167 8616062976 30080 33554432000 4194304 4196468 140729703176976 140067876093584 140071016154269 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21680] ppid=21633 vsize=8414124 memory=7884515842135052628 CPUtime=0 cores=0-7
/proc/21656/task/21680/stat : 21680 (java) S 21633 21633 21426 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419303167 8616062976 30080 33554432000 4194304 4196468 140729703176976 140068144528912 140071016154269 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21681] ppid=21633 vsize=8414124 memory=7881981484558738543 CPUtime=0 cores=0-7
/proc/21656/task/21681/stat : 21681 (java) S 21633 21633 21426 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419303169 8616062976 30080 33554432000 4194304 4196468 140729703176976 140067607665712 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
Current children cumulated CPU time: 1150.6 s
Current children cumulated vsize: 9950704 KiB
Current children cumulated memory: 1043576 KiB

[startup+152.203 s]
/proc/loadavg: 8.10 8.02 8.01 2/217 21699
/proc/meminfo: memFree=30030004/32770624 swapFree=66922968/67108860
[pid=21633] ppid=21630 vsize=113128 memory=1476 CPUtime=6.63 cores=0-7
/proc/21633/stat : 21633 (scop.sh) S 21630 21633 21426 0 -1 4202496 583 27012 0 0 0 0 626 37 20 0 1 0 419302745 115843072 369 33554432000 4194304 5098028 140728815642432 140728815639176 140708185723516 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10321920 140728815645476 140728815645804 140728815645804 140728815648717 0
/proc/21633/statm: 28282 369 311 221 0 87 0
[pid=21656] ppid=21633 vsize=8283048 memory=134804 CPUtime=1144.49 cores=0-7
/proc/21656/stat : 21656 (java) S 21633 21633 21426 0 -1 1077944320 22128 849707 0 0 159 9 114094 187 20 0 22 0 419303095 8481841152 33701 33554432000 4194304 4196468 140729703176976 140729703159520 140071016132343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
/proc/21656/statm: 2070762 33701 3228 1 0 2032106 0
[pid=21656/tid=21657] ppid=21633 vsize=8283048 memory=14981065810905736 CPUtime=1143.64 cores=0-7
/proc/21656/task/21657/stat : 21657 (java) R 21633 21633 21426 0 -1 4202560 17179 849707 0 0 78 5 114094 187 20 0 22 0 419303095 8481841152 33701 33554432000 4194304 4196468 140729703176976 140070987970400 140071016144278 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21658] ppid=21633 vsize=8283048 memory=14981065810905736 CPUtime=1142.81 cores=0-7
/proc/21656/task/21658/stat : 21658 (java) S 21633 21633 21426 0 -1 1077944384 1 849707 0 0 0 0 114094 187 20 0 22 0 419303096 8481841152 33701 33554432000 4194304 4196468 140729703176976 140071020375184 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21659] ppid=21633 vsize=8283048 memory=2016 CPUtime=1142.81 cores=0-7
/proc/21656/task/21659/stat : 21659 (java) S 21633 21633 21426 0 -1 1077944384 2 849707 0 0 0 0 114094 187 20 0 22 0 419303096 8481841152 33701 33554432000 4194304 4196468 140729703176976 140070501735440 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21660] ppid=21633 vsize=8283048 memory=1284 CPUtime=1142.81 cores=0-7
/proc/21656/task/21660/stat : 21660 (java) S 21633 21633 21426 0 -1 1077944384 2 849707 0 0 0 0 114094 187 20 0 22 0 419303097 8481841152 33701 33554432000 4194304 4196468 140729703176976 140070500682640 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21661] ppid=21633 vsize=8283048 memory=1044 CPUtime=1142.81 cores=0-7
/proc/21656/task/21661/stat : 21661 (java) S 21633 21633 21426 0 -1 1077944384 3 849707 0 0 0 0 114094 187 20 0 22 0 419303097 8481841152 33701 33554432000 4194304 4196468 140729703176976 140070499629840 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21662] ppid=21633 vsize=8283048 memory=897148 CPUtime=1142.81 cores=0-7
/proc/21656/task/21662/stat : 21662 (java) S 21633 21633 21426 0 -1 1077944384 1 849707 0 0 0 0 114094 187 20 0 22 0 419303097 8481841152 33701 33554432000 4194304 4196468 140729703176976 140070498577040 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21663] ppid=21633 vsize=8283048 memory=120320 CPUtime=1142.81 cores=0-7
/proc/21656/task/21663/stat : 21663 (java) S 21633 21633 21426 0 -1 1077944384 1 849707 0 0 0 0 114094 187 20 0 22 0 419303097 8481841152 33701 33554432000 4194304 4196468 140729703176976 140070497524240 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21664] ppid=21633 vsize=8283048 memory=1476 CPUtime=1142.81 cores=0-7
/proc/21656/task/21664/stat : 21664 (java) S 21633 21633 21426 0 -1 1077944384 1 849707 0 0 0 0 114094 187 20 0 22 0 419303097 8481841152 33701 33554432000 4194304 4196468 140729703176976 140070496471440 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21665] ppid=21633 vsize=8283048 memory=120320 CPUtime=1142.81 cores=0-7
/proc/21656/task/21665/stat : 21665 (java) S 21633 21633 21426 0 -1 1077944384 2 849707 0 0 0 0 114094 187 20 0 22 0 419303097 8481841152 33701 33554432000 4194304 4196468 140729703176976 140070495418640 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21666] ppid=21633 vsize=8283048 memory=897148 CPUtime=1142.81 cores=0-7
/proc/21656/task/21666/stat : 21666 (java) S 21633 21633 21426 0 -1 1077944384 10 849707 0 0 0 0 114094 187 20 0 22 0 419303098 8481841152 33701 33554432000 4194304 4196468 140729703176976 140069975370608 140071016143490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21667] ppid=21633 vsize=8283048 memory=856148 CPUtime=1142.81 cores=0-7
/proc/21656/task/21667/stat : 21667 (java) S 21633 21633 21426 0 -1 1077944384 13 849707 0 0 0 0 114094 187 20 0 22 0 419303099 8481841152 33701 33554432000 4194304 4196468 140729703176976 140069688043040 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21668] ppid=21633 vsize=8283048 memory=8048 CPUtime=1142.81 cores=0-7
/proc/21656/task/21668/stat : 21668 (java) S 21633 21633 21426 0 -1 1077944384 1 849707 0 0 0 0 114094 187 20 0 22 0 419303099 8481841152 33701 33554432000 4194304 4196468 140729703176976 140069419607408 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21669] ppid=21633 vsize=8283048 memory=1408 CPUtime=1142.81 cores=0-7
/proc/21656/task/21669/stat : 21669 (java) S 21633 21633 21426 0 -1 1077944384 1 849707 0 0 0 0 114094 187 20 0 22 0 419303101 8481841152 33701 33554432000 4194304 4196468 140729703176976 140069045098832 140071016150939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21670] ppid=21633 vsize=8283048 memory=3708 CPUtime=1142.89 cores=0-7
/proc/21656/task/21670/stat : 21670 (java) R 21633 21633 21426 0 -1 4202560 573 849707 0 0 8 0 114094 187 20 0 22 0 419303101 8481841152 33701 33554432000 4194304 4196468 140729703176976 140069974301728 140070999628859 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21671] ppid=21633 vsize=8283048 memory=1476 CPUtime=1142.94 cores=0-7
/proc/21656/task/21671/stat : 21671 (java) S 21633 21633 21426 0 -1 1077944384 606 849707 0 0 13 0 114094 187 20 0 22 0 419303101 8481841152 33701 33554432000 4194304 4196468 140729703176976 140069973264624 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21672] ppid=21633 vsize=8283048 memory=120320 CPUtime=1142.95 cores=0-7
/proc/21656/task/21672/stat : 21672 (java) S 21633 21633 21426 0 -1 1077944384 718 849707 0 0 14 0 114094 187 20 0 22 0 419303101 8481841152 33701 33554432000 4194304 4196468 140729703176976 140069972211824 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21673] ppid=21633 vsize=8283048 memory=921728 CPUtime=1143.08 cores=0-7
/proc/21656/task/21673/stat : 21673 (java) R 21633 21633 21426 0 -1 4202560 1071 849707 0 0 27 0 114094 187 20 0 22 0 419303101 8481841152 33701 33554432000 4194304 4196468 140729703176976 140069971159024 140071016153690 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21674] ppid=21633 vsize=8283048 memory=1164 CPUtime=1142.81 cores=0-7
/proc/21656/task/21674/stat : 21674 (java) S 21633 21633 21426 0 -1 1077944384 3 849707 0 0 0 0 114094 187 20 0 22 0 419303101 8481841152 33701 33554432000 4194304 4196468 140729703176976 140068547193952 140071016142549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21675] ppid=21633 vsize=8283048 memory=8317482817917895235 CPUtime=1142.9 cores=0-7
/proc/21656/task/21675/stat : 21675 (java) S 21633 21633 21426 0 -1 1077944384 11 849707 0 0 0 9 114094 187 20 0 22 0 419303102 8481841152 33701 33554432000 4194304 4196468 140729703176976 140069970107440 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21677] ppid=21633 vsize=8283048 memory=1560 CPUtime=1142.81 cores=0-7
/proc/21656/task/21677/stat : 21677 (java) S 21633 21633 21426 0 -1 1077944384 25 849707 0 0 0 0 114094 187 20 0 22 0 419303167 8481841152 33701 33554432000 4194304 4196468 140729703176976 140069962072848 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
[pid=21656/tid=21681] ppid=21633 vsize=8283048 memory=1680 CPUtime=1142.81 cores=0-7
/proc/21656/task/21681/stat : 21681 (java) S 21633 21633 21426 0 -1 1077944384 15 849707 0 0 0 0 114094 187 20 0 22 0 419303169 8481841152 33701 33554432000 4194304 4196468 140729703176976 140067607667504 140071016143490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15826944 140729703183351 140729703183510 140729703183510 140729703186383 0
Current children cumulated CPU time: 1151.12 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 136280 KiB

Child status: 0
Real time (s): 152.247
CPU time (s): 1151.2
CPU user time (s): 1148.84
CPU system time (s): 2.36309
CPU usage (%): 756.138
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 1734640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1148.84
system time used= 2.36309
maximum resident set size= 1741720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 900539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20293
involuntary context switches= 10728


# summary of solver processes directly reported to runsolver:
#   pid: 21633
#   total CPU time (s): 1151.2
#   total CPU user time (s): 1148.84
#   total CPU system time (s): 2.36309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50784 second user time and 2.12267 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-14 04:05:51
IDJOB=4392717
IDBENCH=127942
IDSOLVER=2839
FILE ID=node107/4392717-1568430467
RUNJOBID= node107-1568426415-21453
PBS_JOBID= 21702309
Free space on /tmp= 59040 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-152.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-4392717-1568430467/watcher-4392717-1568430467 -o /tmp/evaluation-result-4392717-1568430467/solver-4392717-1568430467 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568426415-21453 --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-4392717-1568430467.xml

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

MD5SUM BENCH= 95353c685d9c4a971cd57b59ef19ccd8
RANDOM SEED=1182916593

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31069292 kB
MemAvailable:   31830204 kB
Buffers:          174200 kB
Cached:           858752 kB
SwapCached:        79060 kB
Active:           564272 kB
Inactive:         549824 kB
Active(anon):      10860 kB
Inactive(anon):   101144 kB
Active(file):     553412 kB
Inactive(file):   448680 kB
Unevictable:      109964 kB
Mlocked:          109964 kB
SwapTotal:      67108860 kB
SwapFree:       66922968 kB
Dirty:             20600 kB
Writeback:             0 kB
AnonPages:        168528 kB
Mapped:            34708 kB
Shmem:             22696 kB
Slab:             177536 kB
SReclaimable:     149308 kB
SUnreclaim:        28228 kB
KernelStack:        3760 kB
PageTables:         6056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 59020 MiB
End job on node107 at 2019-09-14 04:08:23