Trace number 4392338

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 941.647 125.877

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-203.xml
MD5SUMce251f4c9ae0df3aa97e9296eb89cd68
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 benchmark141.487
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size634
Maximum domain size634
Distribution of domain sizes[{"size":634,"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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-8296-serial-file.bin HOME/instance-4392338-1568429616.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 03:52:02 CEST 2019
0.65/0.56	c PID: 8299
0.65/0.56	c IP: 172.20.3.105
0.65/0.56	c HOST: node105.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.36/0.91	c (0,0) Parsing End
1.36/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 634
1.36/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.36/0.91	c (0,0) Constraint Name Generate Begin
1.36/0.92	c (0,0) Ctr:HOME/instance-4392338-1568429616.xml,Le:NoOverlap:Num:Var
1.36/0.92	c (0,0) Constraint Name Generate End
1.36/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.36/0.92	c (0,0) CSP to CSPinCNF Begin
1.36/1.00	c (0,0) translated 6 (10%) constraints
1.36/1.00	c (0,0) translated 11 (20%) constraints
1.52/1.01	c (0,0) translated 16 (30%) constraints
1.52/1.01	c (0,0) translated 22 (40%) constraints
1.52/1.01	c (0,0) translated 27 (50%) constraints
1.52/1.02	c (0,0) translated 32 (60%) constraints
1.52/1.02	c (0,0) translated 38 (70%) constraints
1.52/1.02	c (0,0) translated 43 (80%) constraints
1.52/1.02	c (0,0) translated 48 (90%) constraints
2.11/1.28	c (0,0) translated 53 (100%) constraints
2.11/1.28	c (0,0) ===========================================
2.11/1.29	c (0,0) Order
2.11/1.29	c (0,0) ===========================================
2.11/1.29	c (0,0) translated 36 (10%) constraints
2.43/1.30	c (0,0) translated 71 (20%) constraints
2.43/1.31	c (0,0) translated 106 (30%) constraints
2.43/1.31	c (0,0) translated 141 (40%) constraints
2.43/1.32	c (0,0) translated 176 (50%) constraints
2.43/1.32	c (0,0) translated 212 (60%) constraints
2.43/1.32	c (0,0) translated 247 (70%) constraints
2.43/1.33	c (0,0) translated 282 (80%) constraints
2.43/1.33	c (0,0) translated 317 (90%) constraints
2.43/1.34	c (0,0) translated 352 (100%) constraints
2.43/1.34	c (0,0) CSP to CSPinCNF End
2.43/1.34	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 620
2.43/1.34	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.43/1.34	c (0,0) CSPinCNF Propagation Begin
2.43/1.37	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.43/1.37	c (0,0) CSPinCNF Propagation End
2.43/1.37	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 620
2.43/1.37	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.43/1.37	c (0,0) Simplify CSPinCNF Begin
2.81/1.47	c (0,0) Simplify CSPinCNF End
2.81/1.47	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 620
2.81/1.47	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.81/1.47	c (0,0) Calculate Precise Domain Begin
2.81/1.48	c (0,0) 0 values are removed by re-calculation
2.81/1.48	c (0,0) Calculate Precise Domain End
2.81/1.48	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 620
2.81/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.81/1.48	c (0,0) CSPinCNF to SatSolver Begin
4.84/2.03	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 88075 SAT clauses)
5.05/2.27	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 148260 SAT clauses)
5.28/2.48	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 203813 SAT clauses)
5.62/2.71	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 261278 SAT clauses)
5.82/2.91	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 313609 SAT clauses)
5.95/3.11	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 365106 SAT clauses)
6.15/3.29	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 413670 SAT clauses)
6.41/3.82	c (3,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 460679 SAT clauses)
6.52/3.97	c (3,3) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 500547 SAT clauses)
6.65/4.07	c (3,3) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 526964 SAT clauses)
6.65/4.07	c (3,3) CSPinCNF to SatSolver End
6.65/4.07	c (3,3) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.65/4.07	c (3,3) 27326 bool, 527161 clause
6.65/4.07	c (3,3) Export Begin
6.77/4.15	c (3,3) Export to HOME/scop-8296-serial-file.bin
6.77/4.15	c (3,3) Export End
6.77/4.15	c (3,3) Export File Size: 0.01 MB
6.77/4.15	c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.77/4.15	c END-Prog: Sat Sep 14 03:52:05 CEST 2019
6.77/4.17	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8296-serial-file.bin
6.89/4.63	c (0,0) Read Serial File Begin
6.89/4.63	c (0,0) HOME/scop-8296-serial-file.bin
6.89/4.83	c (0,0) Read Serial File End
6.89/4.84	
6.89/4.84	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.89/4.84	(Solving Process)
6.89/4.84	
6.89/4.86	c BEGIN-Prog: Sat Sep 14 03:52:06 CEST 2019
6.89/4.86	c PID: 8319
6.89/4.86	c IP: 172.20.3.105
6.89/4.86	c HOST: node105.alineos.net
6.89/4.87	c (0,0) SatSolver.solve Begin
6.89/4.87	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392338-1568429616.xml-scop-8299.cnf
6.89/4.89	c (0,0) c
6.89/4.89	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)
6.89/4.89	c (0,0) c
6.89/4.89	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.89/4.89	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.89/4.89	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.89/4.89	c (0,0) c |                                                                                                       |
8.14/5.08	c (0,0) c |  Number of variables:         27326                                                                   |
8.14/5.08	c (0,0) c |  Number of clauses:          527161                                                                   |
8.14/5.08	c (0,0) c |  Parse time:                   0.17 s                                                                 |
8.14/5.08	c (0,0) c |                                                                                                       |
9.03/5.95	c (1,0) c |  Simplification time:          0.86 s                                                                 |
9.03/5.95	c (1,0) c |                                                                                                       |
9.03/5.95	c (1,0) c |  Generating clones                                                                                    |
9.14/6.10	c (1,0) c |  all clones generated. Memory =   350.77Mb.                                                           |
9.14/6.10	c (1,0) c ========================================================================================================|
9.14/6.10	c (1,0) c
9.14/6.10	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.14/6.10	c (1,0) c
9.14/6.10	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.14/6.10	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.14/6.10	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.14/6.10	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.14/6.10	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.14/6.10	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.14/6.10	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.14/6.10	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.14/6.10	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.14/6.10	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.14/6.10	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.14/6.10	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.14/6.10	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.14/6.10	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.14/6.10	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.14/6.10	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.14/6.10	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.14/6.10	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.14/6.10	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
242.32/35.46	c (30,0) c
242.32/35.46	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
242.32/35.46	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
242.32/35.46	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
242.32/35.46	c (30,0) c |  0 |    115 |     114757 |      47984 |    77790 |    21860 |     8718 |    52667 |     5506 |      190 |  20 |  0.516 |
242.32/35.46	c (30,0) c |  1 |    154 |     115213 |      48717 |    71423 |    22592 |     8281 |    54131 |     5309 |      195 |  20 |  0.516 |
242.32/35.46	c (30,0) c |  2 |    130 |     114830 |      50340 |    76149 |    24193 |     8590 |    56551 |     5547 |      206 |  20 |  0.516 |
242.32/35.46	c (30,0) c |  3 |    137 |     123096 |      53424 |    80280 |    14881 |     8875 |    57279 |     5780 |      210 |  20 |  0.516 |
242.32/35.46	c (30,0) c |  4 |    183 |     128262 |      53051 |    78142 |    14235 |     8619 |    56554 |     5834 |      210 |  20 |  0.516 |
242.32/35.46	c (30,0) c |  5 |    156 |     130172 |      54313 |    82818 |    15725 |     9187 |    56744 |     5933 |      210 |  20 |  0.516 |
242.32/35.46	c (30,0) c |  6 |    138 |     118519 |      51758 |    74872 |    13174 |     8826 |    55927 |     6195 |      207 |  20 |  0.516 |
242.32/35.46	c (30,0) c |  7 |    168 |     118653 |      48394 |    78145 |    22287 |     7710 |    55551 |     5674 |      199 |  20 |  0.516 |
242.32/35.46	c (30,0) c 
242.32/35.46	c (30,0) c synthesis      407981 conflicts   394576094 propagations     1744 conflicts/sec  1686982 propagations/sec
242.32/35.46	c (30,0) c real: 30.5735 s, cpu: 233.895 s, memory: 925.50 Mb
470.84/64.46	c (59,0) c
470.84/64.46	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
470.84/64.46	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
470.84/64.46	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
470.84/64.46	c (59,0) c |  0 |    254 |     191502 |      84882 |    96725 |    31311 |    13073 |    86878 |    10787 |      369 |  20 |  0.516 |
470.84/64.46	c (59,0) c |  1 |    290 |     192135 |      85476 |    91359 |    31906 |    13554 |    87589 |    10440 |      375 |  20 |  0.516 |
470.84/64.46	c (59,0) c |  2 |    276 |     190651 |      85772 |    96074 |    32196 |    12875 |    90143 |    10515 |      381 |  20 |  0.516 |
470.84/64.46	c (59,0) c |  3 |    301 |     201803 |      90453 |    97969 |    19272 |    14102 |    87998 |    11285 |      389 |  20 |  0.516 |
470.84/64.46	c (59,0) c |  4 |    325 |     207029 |      90030 |    97673 |    18786 |    13144 |    90788 |    11159 |      389 |  20 |  0.516 |
470.84/64.46	c (59,0) c |  5 |    279 |     203977 |      88775 |   101380 |    35193 |    13522 |    89399 |    11073 |      381 |  20 |  0.516 |
470.84/64.46	c (59,0) c |  6 |    286 |     197767 |      89167 |    96854 |    17983 |    13935 |    89901 |    11127 |      389 |  20 |  0.516 |
470.84/64.46	c (59,0) c |  7 |    358 |     202059 |      84851 |    99200 |    31284 |    12003 |    88943 |    10879 |      371 |  20 |  0.516 |
470.84/64.46	c (59,0) c 
470.84/64.46	c (59,0) c synthesis      699406 conflicts   715938871 propagations     1514 conflicts/sec  1549749 propagations/sec
470.84/64.46	c (59,0) c real: 59.5735 s, cpu: 461.971 s, memory: 925.50 Mb
708.76/94.46	c (89,0) c
708.76/94.46	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
708.76/94.46	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
708.76/94.46	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
708.76/94.46	c (89,0) c |  0 |    444 |     263499 |     119283 |   110910 |    27426 |    16960 |   114058 |    15256 |      556 |  20 |  1.332 |
708.76/94.46	c (89,0) c |  1 |    454 |     269005 |     121710 |   106527 |    29890 |    17354 |   115098 |    14942 |      563 |  20 |  1.332 |
708.76/94.46	c (89,0) c |  2 |    433 |     266080 |     122308 |   110042 |    30320 |    16638 |   116709 |    15282 |      569 |  20 |  1.332 |
708.76/94.46	c (89,0) c |  3 |    451 |     271616 |     124267 |   111144 |    32556 |    17910 |   116367 |    15516 |      574 |  20 |  1.332 |
708.76/94.46	c (89,0) c |  4 |    501 |     276078 |     122622 |   110752 |    30857 |    16546 |   115427 |    15334 |      563 |  20 |  1.332 |
708.76/94.46	c (89,0) c |  5 |    478 |     282883 |     125141 |   116005 |    33253 |    17292 |   116870 |    15775 |      573 |  20 |  1.332 |
708.76/94.46	c (89,0) c |  6 |    420 |     259821 |     120179 |   110174 |    28443 |    17437 |   113613 |    14927 |      554 |  20 |  1.332 |
708.76/94.46	c (89,0) c |  7 |    514 |     274276 |     120040 |   112178 |    27848 |    15627 |   116511 |    15247 |      562 |  20 |  2.145 |
708.76/94.46	c (89,0) c 
708.76/94.46	c (89,0) c synthesis      975550 conflicts  1035382640 propagations     1394 conflicts/sec  1479667 propagations/sec
708.76/94.46	c (89,0) c real: 89.5735 s, cpu: 699.74 s, memory: 1304.77 Mb
933.40/123.46	c (118,0) c
933.40/123.46	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
933.40/123.46	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
933.40/123.46	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
933.40/123.46	c (118,0) c |  0 |    574 |     325209 |     151468 |   120666 |    36916 |    20285 |   138457 |    19162 |      737 |  20 |  2.144 |
933.40/123.46	c (118,0) c |  1 |    554 |     333942 |     154426 |   119053 |    39930 |    20815 |   138890 |    18787 |      748 |  20 |  2.145 |
933.40/123.46	c (118,0) c |  2 |    567 |     323214 |     150792 |   118410 |    36246 |    19521 |   138022 |    18450 |      728 |  20 |  2.145 |
933.40/123.46	c (118,0) c |  3 |    600 |     333753 |     154544 |   119965 |    40125 |    20812 |   139312 |    19194 |      748 |  20 |  2.145 |
933.40/123.46	c (118,0) c |  4 |    691 |     340977 |     154032 |   120098 |    39592 |    19648 |   139637 |    19189 |      740 |  20 |  2.144 |
933.40/123.46	c (118,0) c |  5 |    635 |     342963 |     154875 |   125579 |    40393 |    20269 |   138887 |    19109 |      740 |  20 |  2.144 |
933.40/123.46	c (118,0) c |  6 |    564 |     327003 |     153455 |   120288 |    39030 |    21530 |   137769 |    18793 |      741 |  20 |  2.144 |
933.40/123.46	c (118,0) c |  7 |    654 |     336173 |     151829 |   121149 |    37239 |    18732 |   140783 |    19171 |      747 |  20 |  2.144 |
933.40/123.46	c (118,0) c 
933.40/123.46	c (118,0) c synthesis     1225421 conflicts  1333400744 propagations     1326 conflicts/sec  1442586 propagations/sec
933.40/123.46	c (118,0) c real: 118.573 s, cpu: 924.313 s, memory: 1014.41 Mb
941.00/125.68	c (121,0) c
941.00/125.68	c (121,0) c real time : 120.789 s
941.00/125.68	c (121,0) c cpu time  : 931.467 s
941.00/125.68	c (121,0) c
941.00/125.68	c (121,0) c
941.00/125.68	c (121,0) c
941.00/125.68	c (121,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
941.00/125.68	c (121,0) c
941.00/125.68	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
941.00/125.68	c (121,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
941.00/125.68	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
941.00/125.68	c (121,0) c | Conflicts     |         1234958 |     153148 |     154517 |     154228 |     154633 |     155374 |     156251 |     154799 |     152008 |
941.00/125.68	c (121,0) c | Decisions     |         2681842 |     328239 |     334507 |     329599 |     333899 |     343637 |     345655 |     329860 |     336446 |
941.00/125.68	c (121,0) c | Propagations  |      1345600668 |  167545540 |  167520870 |  168669547 |  168942748 |  167661810 |  167756947 |  168227502 |  169275704 |
941.00/125.68	c (121,0) c | ReduceDBs     |              80 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |
941.00/125.68	c (121,0) c | SimpDBs       |              58 |          7 |          8 |          7 |          7 |          8 |          8 |          6 |          7 |
941.00/125.68	c (121,0) c | Restarts      |            4876 |        581 |        554 |        578 |        600 |        697 |        640 |        572 |        654 |
941.00/125.68	c (121,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
941.00/125.68	c (121,0) c | PropBinClauses|      1592093601 |  199253761 |  198232963 |  200484945 |  199791992 |  198245159 |  197456865 |  198890905 |  199737011 |
941.00/125.68	c (121,0) c | PropPreBlocker|     19981296451 | 2492918691 | 2499531184 | 2498696885 | 2503550637 | 2484754388 | 2498564293 | 2508137026 | 2495143347 |
941.00/125.68	c (121,0) c | PropNotBlocker|      6186188934 |  780564784 |  774069236 |  766274045 |  773469159 |  774617209 |  770558103 |  768446626 |  778189772 |
941.00/125.68	c (121,0) c | LitFullScans  |     35958380728 | 4494498523 | 4496696916 | 4494549670 | 4494500085 | 4494491838 | 4494495587 | 4494584526 | 4494563583 |
941.00/125.68	c (121,0) c | LitScanFracts |         3982927 |     455511 |     516538 |     532945 |     495186 |     456422 |     486948 |     559906 |     479471 |
941.00/125.68	c (121,0) c | DecisionLevel0|            4893 |        583 |        557 |        579 |        601 |        700 |        642 |        572 |        659 |
941.00/125.68	c (121,0) c | Periods       |            5992 |        749 |        749 |        749 |        749 |        749 |        749 |        749 |        749 |
941.00/125.68	c (121,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
941.00/125.68	c (121,0) c | Avg_Trail     |                 |      11614 |      11643 |      11603 |      11633 |      11591 |      11739 |      11680 |      11636 |
941.00/125.68	c (121,0) c | Avg_DL        |                 |         24 |         24 |         24 |         25 |         24 |         25 |         25 |         25 |
941.00/125.68	c (121,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
941.00/125.68	c (121,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
941.00/125.68	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
941.00/125.68	c (121,0) c | Exported      |          162533 |      20465 |      20827 |      19832 |      20830 |      19781 |      20387 |      21660 |      18751 |
941.00/125.68	c (121,0) c | Imported      |         1117304 |     139347 |     138890 |     140095 |     139312 |     140403 |     139860 |     138614 |     140783 |
941.00/125.68	c (121,0) c | Good          |            1292 |        160 |        158 |        163 |        165 |        167 |        154 |        167 |        158 |
941.00/125.68	c (121,0) c | Purge         |         1116012 |     139187 |     138732 |     139932 |     139147 |     140236 |     139706 |     138447 |     140625 |
941.00/125.68	c (121,0) c | Promoted      |          153154 |      19402 |      18790 |      18899 |      19204 |      19357 |      19361 |      18953 |      19188 |
941.00/125.68	c (121,0) c | Remove_Imp    |          648773 |      81251 |      80863 |      82045 |      80466 |      80872 |      79632 |      79485 |      84159 |
941.00/125.68	c (121,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
941.00/125.68	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
941.00/125.68	c (121,0) c | Unaries       |                 |          2 |          3 |          1 |          1 |          3 |          2 |          0 |          5 |
941.00/125.68	c (121,0) c | Binaries      |                 |         25 |         28 |         22 |         20 |         18 |         31 |         18 |         26 |
941.00/125.68	c (121,0) c | Glues         |                 |        337 |        351 |        353 |        351 |        345 |        305 |        326 |        330 |
941.00/125.68	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
941.00/125.68	c (121,0) c | Orig_Seen     |            23 % |     121103 |     119783 |     118998 |     119989 |     120350 |     125944 |     120949 |     121183 |
941.00/125.68	c (121,0) c | Diff Orig seen|                 |       1320 |      X     | -      785 |        206 |        567 |       6161 |       1166 |       1400 |
941.00/125.68	c (121,0) c | Hamming       |            22 % |       7494 |      X     |       5043 |       7010 |       5449 |       6074 |       5571 |       6229 |
941.00/125.68	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
941.00/125.68	c (121,0) c | RunningTime   |                 |  118.9 100%|  116.1  99%|  118.2  99%|  113.7  97%|  117.7  99%|  116.5  98%|  117.2  99%|  116.0  99%|
941.00/125.68	c (121,0) c | WaitingTime   |                 |    0.0   0%|    1.2   1%|    1.3   1%|    3.6   3%|    0.7   1%|    1.8   2%|    0.8   1%|    1.4   1%|
941.00/125.68	c (121,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%|
941.00/125.68	c (121,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%|
941.00/125.68	c (121,0) c | SolvingTime   |                 |  119.0     |  117.4     |  119.6     |  117.4     |  118.5     |  118.4     |  118.1     |  117.5     |
941.00/125.68	c (121,0) c | PropagationTim|                 |   99.9  84%|   98.3  84%|   99.1  83%|   97.8  83%|   97.5  82%|   98.1  83%|   97.8  83%|   96.8  82%|
941.00/125.68	c (121,0) c | AnalysisTime  |                 |   15.8  13%|   15.9  14%|   17.1  14%|   16.2  14%|   17.5  15%|   16.8  14%|   17.0  14%|   17.3  15%|
941.00/125.68	c (121,0) c | ReductionTime |                 |    0.4   0%|    0.4   0%|    0.5   0%|    0.4   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.4   0%|
941.00/125.68	c (121,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.3   0%|    0.2   0%|    0.2   0%|    0.1   0%|    0.1   0%|
941.00/125.68	c (121,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%|
941.00/125.68	c (121,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%|
941.00/125.68	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
941.00/125.68	c (121,0) c
941.00/125.68	c (121,0) c
941.00/125.68	c (121,0) c Threads : 8
941.00/125.68	c (121,0) c Winner : 1
941.00/125.68	c (121,0) c Conflicts_0 : 153148
941.00/125.68	c (121,0) c Conflicts_1 : 154517
941.00/125.68	c (121,0) c Conflicts_2 : 154228
941.00/125.68	c (121,0) c Conflicts_3 : 154633
941.00/125.68	c (121,0) c Conflicts_4 : 155374
941.00/125.68	c (121,0) c Conflicts_5 : 156251
941.00/125.68	c (121,0) c Conflicts_6 : 154799
941.00/125.68	c (121,0) c Conflicts_7 : 152008
941.00/125.68	c (121,0) c Conflicts_total : 1234958
941.00/125.68	c (121,0) c Conflicts_winner : 154517
941.00/125.68	c (121,0) c Decisions_0 : 328239
941.00/125.68	c (121,0) c Decisions_1 : 334507
941.00/125.68	c (121,0) c Decisions_2 : 329599
941.00/125.68	c (121,0) c Decisions_3 : 333899
941.00/125.68	c (121,0) c Decisions_4 : 343637
941.00/125.68	c (121,0) c Decisions_5 : 345655
941.00/125.68	c (121,0) c Decisions_6 : 329860
941.00/125.68	c (121,0) c Decisions_7 : 336446
941.00/125.68	c (121,0) c Decisions_total : 2681842
941.00/125.68	c (121,0) c Decisions_winner : 334507
941.00/125.68	c (121,0) c Propagations_0 : 167545540
941.00/125.68	c (121,0) c Propagations_1 : 167520870
941.00/125.68	c (121,0) c Propagations_2 : 168669547
941.00/125.68	c (121,0) c Propagations_3 : 168942748
941.00/125.68	c (121,0) c Propagations_4 : 167661810
941.00/125.68	c (121,0) c Propagations_5 : 167756947
941.00/125.68	c (121,0) c Propagations_6 : 168227502
941.00/125.68	c (121,0) c Propagations_7 : 169275704
941.00/125.68	c (121,0) c Propagations_total : 1345600668
941.00/125.68	c (121,0) c Propagations_winner : 167520870
941.00/125.68	c (121,0) c ReduceDBs_0 : 10
941.00/125.68	c (121,0) c ReduceDBs_1 : 10
941.00/125.68	c (121,0) c ReduceDBs_2 : 10
941.00/125.68	c (121,0) c ReduceDBs_3 : 10
941.00/125.68	c (121,0) c ReduceDBs_4 : 10
941.00/125.68	c (121,0) c ReduceDBs_5 : 10
941.00/125.68	c (121,0) c ReduceDBs_6 : 10
941.00/125.68	c (121,0) c ReduceDBs_7 : 10
941.00/125.68	c (121,0) c ReduceDBs_total : 80
941.00/125.68	c (121,0) c ReduceDBs_winner : 10
941.00/125.68	c (121,0) c SimpDBs_0 : 7
941.00/125.68	c (121,0) c SimpDBs_1 : 8
941.00/125.68	c (121,0) c SimpDBs_2 : 7
941.00/125.68	c (121,0) c SimpDBs_3 : 7
941.00/125.68	c (121,0) c SimpDBs_4 : 8
941.00/125.68	c (121,0) c SimpDBs_5 : 8
941.00/125.68	c (121,0) c SimpDBs_6 : 6
941.00/125.68	c (121,0) c SimpDBs_7 : 7
941.00/125.68	c (121,0) c SimpDBs_total : 58
941.00/125.68	c (121,0) c SimpDBs_winner : 8
941.00/125.68	c (121,0) c Restarts_0 : 581
941.00/125.68	c (121,0) c Restarts_1 : 554
941.00/125.68	c (121,0) c Restarts_2 : 578
941.00/125.68	c (121,0) c Restarts_3 : 600
941.00/125.68	c (121,0) c Restarts_4 : 697
941.00/125.68	c (121,0) c Restarts_5 : 640
941.00/125.68	c (121,0) c Restarts_6 : 572
941.00/125.68	c (121,0) c Restarts_7 : 654
941.00/125.68	c (121,0) c Restarts_total : 4876
941.00/125.68	c (121,0) c Restarts_winner : 554
941.00/125.68	c (121,0) c ForcedImports_0 : 0
941.00/125.68	c (121,0) c ForcedImports_1 : 0
941.00/125.68	c (121,0) c ForcedImports_2 : 0
941.00/125.68	c (121,0) c ForcedImports_3 : 0
941.00/125.68	c (121,0) c ForcedImports_4 : 0
941.00/125.68	c (121,0) c ForcedImports_5 : 0
941.00/125.68	c (121,0) c ForcedImports_6 : 0
941.00/125.68	c (121,0) c ForcedImports_7 : 0
941.00/125.68	c (121,0) c ForcedImports_total : 0
941.00/125.68	c (121,0) c ForcedImports_winner : 0
941.00/125.68	c (121,0) c PropsBinClauses_0 : 199253761
941.00/125.68	c (121,0) c PropsBinClauses_1 : 198232963
941.00/125.68	c (121,0) c PropsBinClauses_2 : 200484945
941.00/125.68	c (121,0) c PropsBinClauses_3 : 199791992
941.00/125.68	c (121,0) c PropsBinClauses_4 : 198245159
941.00/125.68	c (121,0) c PropsBinClauses_5 : 197456865
941.00/125.68	c (121,0) c PropsBinClauses_6 : 198890905
941.00/125.68	c (121,0) c PropsBinClauses_7 : 199737011
941.00/125.68	c (121,0) c PropsBinClauses_total : 1592093601
941.00/125.68	c (121,0) c PropsBinClauses_winner : 198232963
941.00/125.68	c (121,0) c PropsPreBlocker_0 : 2492918691
941.00/125.68	c (121,0) c PropsPreBlocker_1 : 2499531184
941.00/125.68	c (121,0) c PropsPreBlocker_2 : 2498696885
941.00/125.68	c (121,0) c PropsPreBlocker_3 : 2503550637
941.00/125.68	c (121,0) c PropsPreBlocker_4 : 2484754388
941.00/125.68	c (121,0) c PropsPreBlocker_5 : 2498564293
941.00/125.68	c (121,0) c PropsPreBlocker_6 : 2508137026
941.00/125.68	c (121,0) c PropsPreBlocker_7 : 2495143347
941.00/125.68	c (121,0) c PropsPreBlocker_total : 19981296451
941.00/125.68	c (121,0) c PropsPreBlocker_winner : 2499531184
941.00/125.68	c (121,0) c PropsNotBlocker_0 : 780564784
941.00/125.68	c (121,0) c PropsNotBlocker_1 : 774069236
941.00/125.68	c (121,0) c PropsNotBlocker_2 : 766274045
941.00/125.68	c (121,0) c PropsNotBlocker_3 : 773469159
941.00/125.68	c (121,0) c PropsNotBlocker_4 : 774617209
941.00/125.68	c (121,0) c PropsNotBlocker_5 : 770558103
941.00/125.68	c (121,0) c PropsNotBlocker_6 : 768446626
941.00/125.68	c (121,0) c PropsNotBlocker_7 : 778189772
941.00/125.68	c (121,0) c PropsNotBlocker_total : 6186188934
941.00/125.68	c (121,0) c PropsNotBlocker_winner : 774069236
941.00/125.68	c (121,0) c PropsLitFullScans_0 : 4494498523
941.00/125.68	c (121,0) c PropsLitFullScans_1 : 4496696916
941.00/125.68	c (121,0) c PropsLitFullScans_2 : 4494549670
941.00/125.68	c (121,0) c PropsLitFullScans_3 : 4494500085
941.00/125.68	c (121,0) c PropsLitFullScans_4 : 4494491838
941.00/125.68	c (121,0) c PropsLitFullScans_5 : 4494495587
941.00/125.68	c (121,0) c PropsLitFullScans_6 : 4494584526
941.00/125.68	c (121,0) c PropsLitFullScans_7 : 4494563583
941.00/125.68	c (121,0) c PropsLitFullScans_total : 35958380728
941.00/125.68	c (121,0) c PropsLitFullScans_winner : 4496696916
941.00/125.68	c (121,0) c LitScanFractions_0 : 455511
941.00/125.68	c (121,0) c LitScanFractions_1 : 516538
941.00/125.68	c (121,0) c LitScanFractions_2 : 532945
941.00/125.68	c (121,0) c LitScanFractions_3 : 495186
941.00/125.68	c (121,0) c LitScanFractions_4 : 456422
941.00/125.68	c (121,0) c LitScanFractions_5 : 486948
941.00/125.68	c (121,0) c LitScanFractions_6 : 559906
941.00/125.68	c (121,0) c LitScanFractions_7 : 479471
941.00/125.68	c (121,0) c LitScanFractions_total : 3982927
941.00/125.68	c (121,0) c LitScanFractions_winner : 516538
941.00/125.68	c (121,0) c DecisionLevel0_0 : 583
941.00/125.68	c (121,0) c DecisionLevel0_1 : 557
941.00/125.68	c (121,0) c DecisionLevel0_2 : 579
941.00/125.68	c (121,0) c DecisionLevel0_3 : 601
941.00/125.68	c (121,0) c DecisionLevel0_4 : 700
941.00/125.68	c (121,0) c DecisionLevel0_5 : 642
941.00/125.68	c (121,0) c DecisionLevel0_6 : 572
941.00/125.68	c (121,0) c DecisionLevel0_7 : 659
941.00/125.68	c (121,0) c DecisionLevel0_total : 4893
941.00/125.68	c (121,0) c DecisionLevel0_winner : 557
941.00/125.68	c (121,0) c Periods_0 : 749
941.00/125.68	c (121,0) c Periods_1 : 749
941.00/125.68	c (121,0) c Periods_2 : 749
941.00/125.68	c (121,0) c Periods_3 : 749
941.00/125.68	c (121,0) c Periods_4 : 749
941.00/125.68	c (121,0) c Periods_5 : 749
941.00/125.68	c (121,0) c Periods_6 : 749
941.00/125.69	c (121,0) c Periods_7 : 749
941.00/125.69	c (121,0) c Periods_total : 5992
941.00/125.69	c (121,0) c Periods_winner : 749
941.00/125.69	c (121,0) c Margin_0 : 20
941.00/125.69	c (121,0) c Margin_1 : 20
941.00/125.69	c (121,0) c Margin_2 : 20
941.00/125.69	c (121,0) c Margin_3 : 20
941.00/125.69	c (121,0) c Margin_4 : 20
941.00/125.69	c (121,0) c Margin_5 : 20
941.00/125.69	c (121,0) c Margin_6 : 20
941.00/125.69	c (121,0) c Margin_7 : 20
941.00/125.69	c (121,0) c Margin_total : 160
941.00/125.69	c (121,0) c Margin_winner : 20
941.00/125.69	c (121,0) c Exported_0 : 20465
941.00/125.69	c (121,0) c Exported_1 : 20827
941.00/125.69	c (121,0) c Exported_2 : 19832
941.00/125.69	c (121,0) c Exported_3 : 20830
941.00/125.69	c (121,0) c Exported_4 : 19781
941.00/125.69	c (121,0) c Exported_5 : 20387
941.00/125.69	c (121,0) c Exported_6 : 21660
941.00/125.69	c (121,0) c Exported_7 : 18751
941.00/125.69	c (121,0) c Exported_total : 162533
941.00/125.69	c (121,0) c Exported_winner : 20827
941.00/125.69	c (121,0) c Imported_0 : 139347
941.00/125.69	c (121,0) c Imported_1 : 138890
941.00/125.69	c (121,0) c Imported_2 : 140095
941.00/125.69	c (121,0) c Imported_3 : 139312
941.00/125.69	c (121,0) c Imported_4 : 140403
941.00/125.69	c (121,0) c Imported_5 : 139860
941.00/125.69	c (121,0) c Imported_6 : 138614
941.00/125.69	c (121,0) c Imported_7 : 140783
941.00/125.69	c (121,0) c Imported_total : 1117304
941.00/125.69	c (121,0) c Imported_winner : 138890
941.00/125.69	c (121,0) c Good_0 : 160
941.00/125.69	c (121,0) c Good_1 : 158
941.00/125.69	c (121,0) c Good_2 : 163
941.00/125.69	c (121,0) c Good_3 : 165
941.00/125.69	c (121,0) c Good_4 : 167
941.00/125.69	c (121,0) c Good_5 : 154
941.00/125.69	c (121,0) c Good_6 : 167
941.00/125.69	c (121,0) c Good_7 : 158
941.00/125.69	c (121,0) c Good_total : 1292
941.00/125.69	c (121,0) c Good_winner : 158
941.00/125.69	c (121,0) c Purge_0 : 139187
941.00/125.69	c (121,0) c Purge_1 : 138732
941.00/125.69	c (121,0) c Purge_2 : 139932
941.00/125.69	c (121,0) c Purge_3 : 139147
941.00/125.69	c (121,0) c Purge_4 : 140236
941.00/125.69	c (121,0) c Purge_5 : 139706
941.00/125.69	c (121,0) c Purge_6 : 138447
941.00/125.69	c (121,0) c Purge_7 : 140625
941.00/125.69	c (121,0) c Purge_total : 1116012
941.00/125.69	c (121,0) c Purge_winner : 138732
941.00/125.69	c (121,0) c Promoted_0 : 19402
941.00/125.69	c (121,0) c Promoted_1 : 18790
941.00/125.69	c (121,0) c Promoted_2 : 18899
941.00/125.69	c (121,0) c Promoted_3 : 19204
941.00/125.69	c (121,0) c Promoted_4 : 19357
941.00/125.69	c (121,0) c Promoted_5 : 19361
941.00/125.69	c (121,0) c Promoted_6 : 18953
941.00/125.69	c (121,0) c Promoted_7 : 19188
941.00/125.69	c (121,0) c Promoted_total : 153154
941.00/125.69	c (121,0) c Promoted_winner : 18790
941.00/125.69	c (121,0) c Remove_Imp_0 : 81251
941.00/125.69	c (121,0) c Remove_Imp_1 : 80863
941.00/125.69	c (121,0) c Remove_Imp_2 : 82045
941.00/125.69	c (121,0) c Remove_Imp_3 : 80466
941.00/125.69	c (121,0) c Remove_Imp_4 : 80872
941.00/125.69	c (121,0) c Remove_Imp_5 : 79632
941.00/125.69	c (121,0) c Remove_Imp_6 : 79485
941.00/125.69	c (121,0) c Remove_Imp_7 : 84159
941.00/125.69	c (121,0) c Remove_Imp_total : 648773
941.00/125.69	c (121,0) c Remove_Imp_winner : 80863
941.00/125.69	c (121,0) c Blocked_Reuse_0 : 0
941.00/125.69	c (121,0) c Blocked_Reuse_1 : 0
941.00/125.69	c (121,0) c Blocked_Reuse_2 : 0
941.00/125.69	c (121,0) c Blocked_Reuse_3 : 0
941.00/125.69	c (121,0) c Blocked_Reuse_4 : 0
941.00/125.69	c (121,0) c Blocked_Reuse_5 : 0
941.00/125.69	c (121,0) c Blocked_Reuse_6 : 0
941.00/125.69	c (121,0) c Blocked_Reuse_7 : 0
941.00/125.69	c (121,0) c Blocked_Reuse_total : 0
941.00/125.69	c (121,0) c Blocked_Reuse_winner : 0
941.00/125.69	c (121,0) c Unaries_0 : 2
941.00/125.69	c (121,0) c Unaries_1 : 3
941.00/125.69	c (121,0) c Unaries_2 : 1
941.00/125.69	c (121,0) c Unaries_3 : 1
941.00/125.69	c (121,0) c Unaries_4 : 3
941.00/125.69	c (121,0) c Unaries_5 : 2
941.00/125.69	c (121,0) c Unaries_6 : 0
941.00/125.69	c (121,0) c Unaries_7 : 5
941.00/125.69	c (121,0) c Unaries_total : 17
941.00/125.69	c (121,0) c Unaries_winner : 3
941.00/125.69	c (121,0) c Binaries_0 : 25
941.00/125.69	c (121,0) c Binaries_1 : 28
941.00/125.69	c (121,0) c Binaries_2 : 22
941.00/125.69	c (121,0) c Binaries_3 : 20
941.00/125.69	c (121,0) c Binaries_4 : 18
941.00/125.69	c (121,0) c Binaries_5 : 31
941.00/125.69	c (121,0) c Binaries_6 : 18
941.00/125.69	c (121,0) c Binaries_7 : 26
941.00/125.69	c (121,0) c Binaries_total : 188
941.00/125.69	c (121,0) c Binaries_winner : 28
941.00/125.69	c (121,0) c Glues_0 : 337
941.00/125.69	c (121,0) c Glues_1 : 351
941.00/125.69	c (121,0) c Glues_2 : 353
941.00/125.69	c (121,0) c Glues_3 : 351
941.00/125.69	c (121,0) c Glues_4 : 345
941.00/125.69	c (121,0) c Glues_5 : 305
941.00/125.69	c (121,0) c Glues_6 : 326
941.00/125.69	c (121,0) c Glues_7 : 330
941.00/125.69	c (121,0) c Glues_total : 2698
941.00/125.69	c (121,0) c Glues_winner : 351
941.00/125.69	c (121,0) c RunningTime_0 : 118.941178
941.00/125.69	c (121,0) c RunningTime_1 : 116.142033
941.00/125.69	c (121,0) c RunningTime_2 : 118.175935
941.00/125.69	c (121,0) c RunningTime_3 : 113.683838
941.00/125.69	c (121,0) c RunningTime_4 : 117.711880
941.00/125.69	c (121,0) c RunningTime_5 : 116.480793
941.00/125.69	c (121,0) c RunningTime_6 : 117.211600
941.00/125.69	c (121,0) c RunningTime_7 : 116.000084
941.00/125.69	c (121,0) c RunningTime_total : 934.347341
941.00/125.69	c (121,0) c RunningTime_winner : 116.142033
941.00/125.69	c (121,0) c WaitingTime_0 : 0.001021
941.00/125.69	c (121,0) c WaitingTime_1 : 1.161690
941.00/125.69	c (121,0) c WaitingTime_2 : 1.276104
941.00/125.69	c (121,0) c WaitingTime_3 : 3.642946
941.00/125.69	c (121,0) c WaitingTime_4 : 0.661058
941.00/125.69	c (121,0) c WaitingTime_5 : 1.823166
941.00/125.69	c (121,0) c WaitingTime_6 : 0.798352
941.00/125.69	c (121,0) c WaitingTime_7 : 1.436297
941.00/125.69	c (121,0) c WaitingTime_total : 10.800634
941.00/125.69	c (121,0) c WaitingTime_winner : 1.161690
941.00/125.69	c (121,0) c ExchangingTime_0 : 0.092752
941.00/125.69	c (121,0) c ExchangingTime_1 : 0.077280
941.00/125.69	c (121,0) c ExchangingTime_2 : 0.090957
941.00/125.69	c (121,0) c ExchangingTime_3 : 0.076034
941.00/125.69	c (121,0) c ExchangingTime_4 : 0.089409
941.00/125.69	c (121,0) c ExchangingTime_5 : 0.090145
941.00/125.69	c (121,0) c ExchangingTime_6 : 0.078415
941.00/125.69	c (121,0) c ExchangingTime_7 : 0.097575
941.00/125.69	c (121,0) c ExchangingTime_total : 0.692566
941.00/125.69	c (121,0) c ExchangingTime_winner : 0.077280
941.00/125.69	c (121,0) c PeriodProcTime_0 : 0.007086
941.00/125.69	c (121,0) c PeriodProcTime_1 : 0.007764
941.00/125.69	c (121,0) c PeriodProcTime_2 : 0.007631
941.00/125.69	c (121,0) c PeriodProcTime_3 : 0.006804
941.00/125.69	c (121,0) c PeriodProcTime_4 : 0.006613
941.00/125.69	c (121,0) c PeriodProcTime_5 : 0.007399
941.00/125.69	c (121,0) c PeriodProcTime_6 : 0.008956
941.00/125.69	c (121,0) c PeriodProcTime_7 : 0.008699
941.00/125.69	c (121,0) c PeriodProcTime_total : 0.060953
941.00/125.69	c (121,0) c PeriodProcTime_winner : 0.007764
941.00/125.69	c (121,0) c SolvingTime_0 : 119.042037
941.00/125.69	c (121,0) c SolvingTime_1 : 117.388766
941.00/125.69	c (121,0) c SolvingTime_2 : 119.550626
941.00/125.69	c (121,0) c SolvingTime_3 : 117.409623
941.00/125.69	c (121,0) c SolvingTime_4 : 118.468959
941.00/125.69	c (121,0) c SolvingTime_5 : 118.401504
941.00/125.69	c (121,0) c SolvingTime_6 : 118.097323
941.00/125.69	c (121,0) c SolvingTime_7 : 117.542655
941.00/125.69	c (121,0) c SolvingTime_total : 945.901494
941.00/125.69	c (121,0) c SolvingTime_winner : 117.388766
941.00/125.69	c (121,0) c PropagationTime_0 : 99.937490
941.00/125.69	c (121,0) c PropagationTime_1 : 98.250448
941.00/125.69	c (121,0) c PropagationTime_2 : 99.063506
941.00/125.69	c (121,0) c PropagationTime_3 : 97.769283
941.00/125.69	c (121,0) c PropagationTime_4 : 97.479961
941.00/125.69	c (121,0) c PropagationTime_5 : 98.146973
941.00/125.69	c (121,0) c PropagationTime_6 : 97.790540
941.00/125.69	c (121,0) c PropagationTime_7 : 96.814651
941.00/125.69	c (121,0) c PropagationTime_total : 785.252852
941.00/125.69	c (121,0) c PropagationTime_winner : 98.250448
941.00/125.69	c (121,0) c AnalysisTime_0 : 15.793147
941.00/125.69	c (121,0) c AnalysisTime_1 : 15.856492
941.00/125.69	c (121,0) c AnalysisTime_2 : 17.060525
941.00/125.69	c (121,0) c AnalysisTime_3 : 16.232747
941.00/125.69	c (121,0) c AnalysisTime_4 : 17.533353
941.00/125.69	c (121,0) c AnalysisTime_5 : 16.763102
941.00/125.69	c (121,0) c AnalysisTime_6 : 16.986427
941.00/125.69	c (121,0) c AnalysisTime_7 : 17.327622
941.00/125.69	c (121,0) c AnalysisTime_total : 133.553415
941.00/125.69	c (121,0) c AnalysisTime_winner : 15.856492
941.00/125.69	c (121,0) c ReductionTime_0 : 0.424443
941.00/125.69	c (121,0) c ReductionTime_1 : 0.432860
941.00/125.69	c (121,0) c ReductionTime_2 : 0.490105
941.00/125.69	c (121,0) c ReductionTime_3 : 0.430943
941.00/125.69	c (121,0) c ReductionTime_4 : 0.459579
941.00/125.69	c (121,0) c ReductionTime_5 : 0.465847
941.00/125.69	c (121,0) c ReductionTime_6 : 0.463009
941.00/125.69	c (121,0) c ReductionTime_7 : 0.429220
941.00/125.69	c (121,0) c ReductionTime_total : 3.596005
941.00/125.69	c (121,0) c ReductionTime_winner : 0.432860
941.00/125.69	c (121,0) c SimplifyTime_0 : 0.130019
941.00/125.69	c (121,0) c SimplifyTime_1 : 0.143388
941.00/125.69	c (121,0) c SimplifyTime_2 : 0.139022
941.00/125.69	c (121,0) c SimplifyTime_3 : 0.251869
941.00/125.69	c (121,0) c SimplifyTime_4 : 0.158356
941.00/125.69	c (121,0) c SimplifyTime_5 : 0.154074
941.00/125.69	c (121,0) c SimplifyTime_6 : 0.141658
941.00/125.69	c (121,0) c SimplifyTime_7 : 0.133392
941.00/125.69	c (121,0) c SimplifyTime_total : 1.251778
941.00/125.69	c (121,0) c SimplifyTime_winner : 0.143388
941.00/125.69	c (121,0) c UsedRateTime_0 : 0.000000
941.00/125.69	c (121,0) c UsedRateTime_1 : 0.000000
941.00/125.69	c (121,0) c UsedRateTime_2 : 0.000000
941.00/125.69	c (121,0) c UsedRateTime_3 : 0.000000
941.00/125.69	c (121,0) c UsedRateTime_4 : 0.000000
941.00/125.69	c (121,0) c UsedRateTime_5 : 0.000000
941.00/125.69	c (121,0) c UsedRateTime_6 : 0.000000
941.00/125.69	c (121,0) c UsedRateTime_7 : 0.000000
941.00/125.69	c (121,0) c UsedRateTime_total : 0.000000
941.00/125.69	c (121,0) c UsedRateTime_winner : 0.000000
941.00/125.69	c (121,0) c OverlapRateTime_0 : 0.000000
941.00/125.69	c (121,0) c OverlapRateTime_1 : 0.000000
941.00/125.69	c (121,0) c OverlapRateTime_2 : 0.000000
941.00/125.69	c (121,0) c OverlapRateTime_3 : 0.000000
941.00/125.69	c (121,0) c OverlapRateTime_4 : 0.000000
941.00/125.69	c (121,0) c OverlapRateTime_5 : 0.000000
941.00/125.69	c (121,0) c OverlapRateTime_6 : 0.000000
941.00/125.69	c (121,0) c OverlapRateTime_7 : 0.000000
941.00/125.69	c (121,0) c OverlapRateTime_total : 0.000000
941.00/125.69	c (121,0) c OverlapRateTime_winner : 0.000000
941.00/125.69	c (121,0) c
941.00/125.69	c (121,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
941.00/125.69	c (121,0) c
941.00/125.69	c (121,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
941.00/125.69	c (121,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
941.00/125.69	c (121,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
941.00/125.69	c (121,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
941.00/125.69	c (121,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
941.00/125.69	c (121,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
941.00/125.69	c (121,0) c | Initial random_seed   | 2016904820 | 1730990928 |  329761305 | 2138309837 |  417010493 |   74897137 |  739604721 | 1958058407 |
941.00/125.69	c (121,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
941.00/125.69	c (121,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
941.00/125.69	c (121,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
941.00/125.69	c (121,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
941.00/125.69	c (121,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
941.00/125.69	c (121,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
941.00/125.69	c (121,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
941.00/125.69	c (121,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
941.00/125.69	c (121,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
941.00/125.69	c (121,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
941.00/125.69	c (121,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
941.00/125.69	c (121,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
941.00/125.69	c (121,0) 
941.00/125.69	c (121,0) s SATISFIABLE
8.22/125.75	c (121,0) SatSolver.solve End
8.22/125.75	c (121,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
8.22/125.75	c (121,0) Show results Begin
941.43/125.85	c (121,0) x[0] = 327
941.43/125.85	c (121,0) x[1] = 265
941.43/125.85	c (121,0) x[2] = 241
941.43/125.85	c (121,0) x[3] = 239
941.43/125.85	c (121,0) x[4] = 265
941.43/125.85	c (121,0) x[5] = 239
941.43/125.85	c (121,0) x[6] = 298
941.43/125.85	c (121,0) x[7] = 407
941.43/125.85	c (121,0) x[8] = 241
941.43/125.85	c (121,0) x[9] = 282
941.43/125.85	c (121,0) x[10] = 235
941.43/125.85	c (121,0) x[11] = 327
941.43/125.85	c (121,0) x[12] = 160
941.43/125.85	c (121,0) x[13] = 160
941.43/125.85	c (121,0) x[14] = 239
941.43/125.85	c (121,0) x[15] = 298
941.43/125.85	c (121,0) x[16] = 342
941.43/125.85	c (121,0) x[17] = 0
941.43/125.85	c (121,0) x[18] = 239
941.43/125.85	c (121,0) x[19] = 235
941.43/125.85	c (121,0) x[20] = 461
941.43/125.85	c (121,0) x[21] = 407
941.43/125.85	c (121,0) x[22] = 400
941.43/125.85	c (121,0) x[23] = 0
941.43/125.85	c (121,0) x[24] = 0
941.43/125.85	c (121,0) y[0] = 234
941.43/125.86	c (121,0) y[1] = 292
941.43/125.86	c (121,0) y[2] = 318
941.43/125.86	c (121,0) y[3] = 292
941.43/125.86	c (121,0) y[4] = 309
941.43/125.86	c (121,0) y[5] = 249
941.43/125.86	c (121,0) y[6] = 309
941.43/125.86	c (121,0) y[7] = 353
941.43/125.86	c (121,0) y[8] = 342
941.43/125.86	c (121,0) y[9] = 249
941.43/125.86	c (121,0) y[10] = 399
941.43/125.86	c (121,0) y[11] = 161
941.43/125.86	c (121,0) y[12] = 239
941.43/125.86	c (121,0) y[13] = 318
941.43/125.86	c (121,0) y[14] = 161
941.43/125.86	c (121,0) y[15] = 353
941.43/125.86	c (121,0) y[16] = 234
941.43/125.86	c (121,0) y[17] = 239
941.43/125.86	c (121,0) y[18] = 0
941.43/125.86	c (121,0) y[19] = 462
941.43/125.86	c (121,0) y[20] = 234
941.43/125.86	c (121,0) y[21] = 407
941.43/125.86	c (121,0) y[22] = 0
941.43/125.86	c (121,0) y[23] = 399
941.43/125.86	c (121,0) y[24] = 0
941.43/125.86	s SATISFIABLE
941.43/125.86	v <instantiation>
941.43/125.86	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>
941.43/125.86	v     <values>327 265 241 239 265 239 298 407 241 282 235 327 160 160 239 298 342 0 239 235 461 407 400 0 0 234 292 318 292 309 249 309 353 342 249 399 161 239 318 161 353 234 239 0 462 234 407 0 399 0</values>
941.43/125.86	v </instantiation>
941.43/125.86	c (121,0) Show results End
941.43/125.86	c (121,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
941.43/125.86	c (121,0) 121,121,STOP-AFTER(ALL)
941.43/125.86	c END-Prog: Sat Sep 14 03:54:07 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 (15187 MiB free)
  memory of node 1: 16384 MiB (15478 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392338-1568429616/watcher-4392338-1568429616 -o /tmp/evaluation-result-4392338-1568429616/solver-4392338-1568429616 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568422931-7684 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392338-1568429616.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=8296, runsolver pid=8293
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 7.40 7.87 7.91 3/210 8318
/proc/meminfo: memFree=31310784/32770624 swapFree=66937012/67108860
[pid=8296] ppid=8293 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8296/stat : 8296 (scop.sh) S 8293 8296 7657 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419219968 115843072 349 33554432000 4194304 5098028 140722511478384 140722511475640 140716020871804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20590592 140722511483685 140722511484012 140722511484012 140722511486925 0
/proc/8296/statm: 28282 349 296 221 0 87 0
[pid=8299] ppid=8296 vsize=27314120 memory=103528 CPUtime=0.1 cores=0-7
/proc/8299/stat : 8299 (java) S 8296 8296 7657 0 -1 1077944320 6550 0 0 0 8 2 0 0 20 0 20 0 419219969 27969658880 25882 33554432000 4194304 4196468 140735324224928 140735324207472 140524045750007 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
/proc/8299/statm: 6828530 25882 2770 1 0 6790935 0
[pid=8299/tid=8300] ppid=8296 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/8299/task/8300/stat : 8300 (java) R 8296 8296 7657 0 -1 4202560 4629 0 0 0 7 2 0 0 20 0 20 0 419219969 27969658880 25947 33554432000 4194304 4196468 140735324224928 140524017568384 140524029830494 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8301] ppid=8296 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8299/task/8301/stat : 8301 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 25947 33554432000 4194304 4196468 140735324224928 140524049992464 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8302] ppid=8296 vsize=27314120 memory=139880982615680 CPUtime=0 cores=0-7
/proc/8299/task/8302/stat : 8302 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 25947 33554432000 4194304 4196468 140735324224928 140523468073872 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8303] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8303/stat : 8303 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 25947 33554432000 4194304 4196468 140735324224928 140523467021328 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8304] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8304/stat : 8304 (java) S 8296 8296 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 25947 33554432000 4194304 4196468 140735324224928 140523465968784 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8305] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8305/stat : 8305 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 25947 33554432000 4194304 4196468 140735324224928 140523464915216 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8306] ppid=8296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8306/stat : 8306 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 25947 33554432000 4194304 4196468 140735324224928 140523463862672 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8307] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8307/stat : 8307 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 25947 33554432000 4194304 4196468 140735324224928 140523462810128 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8308] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8308/stat : 8308 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 25947 33554432000 4194304 4196468 140735324224928 140523461757584 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8309] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8309/stat : 8309 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219973 27969658880 25947 33554432000 4194304 4196468 140735324224928 140522567395824 140524045761154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8310] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8310/stat : 8310 (java) S 8296 8296 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419219973 27969658880 25947 33554432000 4194304 4196468 140735324224928 140521666241952 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8311] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8311/stat : 8311 (java) S 8296 8296 7657 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419219973 27969658880 25947 33554432000 4194304 4196468 140735324224928 140521532020208 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8312] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8312/stat : 8312 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 25947 33554432000 4194304 4196468 140735324224928 140521157515984 140524045768603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8313] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8313/stat : 8313 (java) S 8296 8296 7657 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 25947 33554432000 4194304 4196468 140735324224928 140522566342640 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8314] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8314/stat : 8314 (java) S 8296 8296 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 25947 33554432000 4194304 4196468 140735324224928 140522565290096 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8315] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8315/stat : 8315 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 25947 33554432000 4194304 4196468 140735324224928 140522564237552 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8316] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8316/stat : 8316 (java) S 8296 8296 7657 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 25947 33554432000 4194304 4196468 140735324224928 140522563185008 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8317] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8317/stat : 8317 (java) S 8296 8296 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 25947 33554432000 4194304 4196468 140735324224928 140520659610336 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8318] ppid=8296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8318/stat : 8318 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 25947 33554432000 4194304 4196468 140735324224928 140522562132912 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 104924 KiB

[startup+0.210536 s]*
/proc/loadavg: 7.40 7.87 7.91 2/210 8318
/proc/meminfo: memFree=31287040/32770624 swapFree=66937012/67108860
[pid=8296] ppid=8293 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8296/stat : 8296 (scop.sh) S 8293 8296 7657 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419219968 115843072 349 33554432000 4194304 5098028 140722511478384 140722511475640 140716020871804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20590592 140722511483685 140722511484012 140722511484012 140722511486925 0
/proc/8296/statm: 28282 349 296 221 0 87 0
[pid=8299] ppid=8296 vsize=27314120 memory=123432 CPUtime=0.24 cores=0-7
/proc/8299/stat : 8299 (java) S 8296 8296 7657 0 -1 1077944320 12237 0 0 0 20 4 0 0 20 0 20 0 419219969 27969658880 30858 33554432000 4194304 4196468 140735324224928 140735324207472 140524045750007 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
/proc/8299/statm: 6828530 30858 2949 1 0 6790935 0
[pid=8299/tid=8300] ppid=8296 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8299/task/8300/stat : 8300 (java) R 8296 8296 7657 0 -1 4202560 9872 0 0 0 16 3 0 0 20 0 20 0 419219969 27969658880 30858 33554432000 4194304 4196468 140735324224928 140524017549392 140524030915679 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8301] ppid=8296 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/8299/task/8301/stat : 8301 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 30858 33554432000 4194304 4196468 140735324224928 140524049992464 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8302] ppid=8296 vsize=27314120 memory=139880982624710 CPUtime=0 cores=0-7
/proc/8299/task/8302/stat : 8302 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 30858 33554432000 4194304 4196468 140735324224928 140523468073872 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8303] ppid=8296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8303/stat : 8303 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 30858 33554432000 4194304 4196468 140735324224928 140523467021328 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8304] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8304/stat : 8304 (java) S 8296 8296 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 30858 33554432000 4194304 4196468 140735324224928 140523465968784 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8305] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8305/stat : 8305 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 30858 33554432000 4194304 4196468 140735324224928 140523464915216 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8306] ppid=8296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8306/stat : 8306 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 30858 33554432000 4194304 4196468 140735324224928 140523463862672 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8307] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8307/stat : 8307 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 30858 33554432000 4194304 4196468 140735324224928 140523462810128 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8308] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8308/stat : 8308 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 30858 33554432000 4194304 4196468 140735324224928 140523461757584 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8309] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8309/stat : 8309 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219973 27969658880 30858 33554432000 4194304 4196468 140735324224928 140522567395824 140524045761154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8310] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8310/stat : 8310 (java) S 8296 8296 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419219973 27969658880 30858 33554432000 4194304 4196468 140735324224928 140521666241952 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8311] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8311/stat : 8311 (java) S 8296 8296 7657 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419219973 27969658880 30858 33554432000 4194304 4196468 140735324224928 140521532020208 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8312] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8312/stat : 8312 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 30858 33554432000 4194304 4196468 140735324224928 140521157515984 140524045768603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8313] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8313/stat : 8313 (java) S 8296 8296 7657 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 30858 33554432000 4194304 4196468 140735324224928 140522566342640 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8314] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8314/stat : 8314 (java) S 8296 8296 7657 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 30858 33554432000 4194304 4196468 140735324224928 140522565290096 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8315] ppid=8296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8315/stat : 8315 (java) S 8296 8296 7657 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 30858 33554432000 4194304 4196468 140735324224928 140522564237552 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8316] ppid=8296 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/8299/task/8316/stat : 8316 (java) S 8296 8296 7657 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 20 0 419219976 27969658880 30858 33554432000 4194304 4196468 140735324224928 140522563185008 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8317] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8317/stat : 8317 (java) S 8296 8296 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 30858 33554432000 4194304 4196468 140735324224928 140520659610336 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8318] ppid=8296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8318/stat : 8318 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 30858 33554432000 4194304 4196468 140735324224928 140522562132912 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124828 KiB

[startup+0.310836 s]*
/proc/loadavg: 7.40 7.87 7.91 2/210 8318
/proc/meminfo: memFree=31284372/32770624 swapFree=66937012/67108860
[pid=8296] ppid=8293 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8296/stat : 8296 (scop.sh) S 8293 8296 7657 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419219968 115843072 349 33554432000 4194304 5098028 140722511478384 140722511475640 140716020871804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20590592 140722511483685 140722511484012 140722511484012 140722511486925 0
/proc/8296/statm: 28282 349 296 221 0 87 0
[pid=8299] ppid=8296 vsize=27314120 memory=127080 CPUtime=0.41 cores=0-7
/proc/8299/stat : 8299 (java) S 8296 8296 7657 0 -1 1077944320 13176 0 0 0 36 5 0 0 20 0 20 0 419219969 27969658880 31770 33554432000 4194304 4196468 140735324224928 140735324207472 140524045750007 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
/proc/8299/statm: 6828530 31770 3045 1 0 6790935 0
[pid=8299/tid=8300] ppid=8296 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/8299/task/8300/stat : 8300 (java) R 8296 8296 7657 0 -1 4202560 10560 0 0 0 25 4 0 0 20 0 20 0 419219969 27969658880 31770 33554432000 4194304 4196468 140735324224928 140524017540656 140524029830494 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8301] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8301/stat : 8301 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 31770 33554432000 4194304 4196468 140735324224928 140524049992464 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8302] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8302/stat : 8302 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 31770 33554432000 4194304 4196468 140735324224928 140523468073872 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8303] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8303/stat : 8303 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 31770 33554432000 4194304 4196468 140735324224928 140523467021328 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8304] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8304/stat : 8304 (java) S 8296 8296 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 31770 33554432000 4194304 4196468 140735324224928 140523465968784 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8305] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8305/stat : 8305 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 31770 33554432000 4194304 4196468 140735324224928 140523464915216 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8306] ppid=8296 vsize=27314120 memory=139880843799215 CPUtime=0 cores=0-7
/proc/8299/task/8306/stat : 8306 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 31770 33554432000 4194304 4196468 140735324224928 140523463862672 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8307] ppid=8296 vsize=27314120 memory=139880843801520 CPUtime=0 cores=0-7
/proc/8299/task/8307/stat : 8307 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 31770 33554432000 4194304 4196468 140735324224928 140523462810128 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8308] ppid=8296 vsize=27314120 memory=139880843803824 CPUtime=0 cores=0-7
/proc/8299/task/8308/stat : 8308 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27969658880 31770 33554432000 4194304 4196468 140735324224928 140523461757584 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8309] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8309/stat : 8309 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219973 27969658880 31770 33554432000 4194304 4196468 140735324224928 140522567395824 140524045761154 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8310] ppid=8296 vsize=27314120 memory=279761687621520 CPUtime=0 cores=0-7
/proc/8299/task/8310/stat : 8310 (java) S 8296 8296 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419219973 27969658880 31770 33554432000 4194304 4196468 140735324224928 140521666241952 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8311] ppid=8296 vsize=27314120 memory=279761687619216 CPUtime=0 cores=0-7
/proc/8299/task/8311/stat : 8311 (java) S 8296 8296 7657 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419219973 27969658880 31770 33554432000 4194304 4196468 140735324224928 140521532020208 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8312] ppid=8296 vsize=27314120 memory=279761687626128 CPUtime=0 cores=0-7
/proc/8299/task/8312/stat : 8312 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 31770 33554432000 4194304 4196468 140735324224928 140521157515984 140524045768603 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8313] ppid=8296 vsize=27314120 memory=279761687567408 CPUtime=0.01 cores=0-7
/proc/8299/task/8313/stat : 8313 (java) S 8296 8296 7657 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 419219976 27969658880 31770 33554432000 4194304 4196468 140735324224928 140522566342640 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8314] ppid=8296 vsize=27314120 memory=279761687639952 CPUtime=0.01 cores=0-7
/proc/8299/task/8314/stat : 8314 (java) R 8296 8296 7657 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 419219976 27969658880 31770 33554432000 4194304 4196468 140735324224928 140522565290096 140524038735049 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8315] ppid=8296 vsize=27314120 memory=279761687646864 CPUtime=0 cores=0-7
/proc/8299/task/8315/stat : 8315 (java) S 8296 8296 7657 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 31770 33554432000 4194304 4196468 140735324224928 140522564237552 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8316] ppid=8296 vsize=27314120 memory=279761687644560 CPUtime=0.07 cores=0-7
/proc/8299/task/8316/stat : 8316 (java) S 8296 8296 7657 0 -1 1077944384 592 0 0 0 7 0 0 0 20 0 20 0 419219976 27969658880 31770 33554432000 4194304 4196468 140735324224928 140522563185008 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8317] ppid=8296 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8317/stat : 8317 (java) S 8296 8296 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 31770 33554432000 4194304 4196468 140735324224928 140520659610336 140524045760213 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8318] ppid=8296 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8318/stat : 8318 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219976 27969658880 31770 33554432000 4194304 4196468 140735324224928 140522562132912 140524045761154 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128476 KiB

[startup+0.700966 s]
/proc/loadavg: 7.40 7.87 7.91 2/210 8318
/proc/meminfo: memFree=31263524/32770624 swapFree=66937012/67108860
[pid=8296] ppid=8293 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8296/stat : 8296 (scop.sh) S 8293 8296 7657 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419219968 115843072 349 33554432000 4194304 5098028 140722511478384 140722511475640 140716020871804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20590592 140722511483685 140722511484012 140722511484012 140722511486925 0
/proc/8296/statm: 28282 349 296 221 0 87 0
[pid=8299] ppid=8296 vsize=27322516 memory=162600 CPUtime=0.98 cores=0-7
/proc/8299/stat : 8299 (java) S 8296 8296 7657 0 -1 1077944320 20337 0 0 0 90 8 0 0 20 0 20 0 419219969 27978256384 40650 33554432000 4194304 4196468 140735324224928 140735324207472 140524045750007 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
/proc/8299/statm: 6830629 40650 3202 1 0 6791959 0
[pid=8299/tid=8300] ppid=8296 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/8299/task/8300/stat : 8300 (java) R 8296 8296 7657 0 -1 4202560 17146 0 0 0 61 6 0 0 20 0 20 0 419219969 27978256384 40650 33554432000 4194304 4196468 140735324224928 140524017581776 140524029793637 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8301] ppid=8296 vsize=27322516 memory=139880844010352 CPUtime=0 cores=0-7
/proc/8299/task/8301/stat : 8301 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419219971 27978256384 40650 33554432000 4194304 4196468 140735324224928 140524049992464 140524045760213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8302] ppid=8296 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8302/stat : 8302 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27978256384 40650 33554432000 4194304 4196468 140735324224928 140523468073872 140524045760213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0
[pid=8299/tid=8303] ppid=8296 vsize=27322516 memory=784 CPUtime=0 cores=0-7
/proc/8299/task/8303/stat : 8303 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419219971 27978256384 40650 33554432000 4194304 4196468 140735324224928 140523467021328 140524045760213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31072256 140735324226284 140735324226710 140735324226710 140735324229583 0

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

/proc/8319/task/8324/stat : 8324 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717908720272 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8325] ppid=8296 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/8319/task/8325/stat : 8325 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717907667728 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8326] ppid=8296 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8319/task/8326/stat : 8326 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717906615184 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8327] ppid=8296 vsize=8414124 memory=119908 CPUtime=0 cores=0-7
/proc/8319/task/8327/stat : 8327 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717905562640 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8328] ppid=8296 vsize=8414124 memory=853368 CPUtime=0 cores=0-7
/proc/8319/task/8328/stat : 8328 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717904510096 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8329] ppid=8296 vsize=8414124 memory=25828 CPUtime=0 cores=0-7
/proc/8319/task/8329/stat : 8329 (java) S 8296 8296 7657 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419220389 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717199878128 140718106425986 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8330] ppid=8296 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/8319/task/8330/stat : 8330 (java) S 8296 8296 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419220389 8616062976 29977 33554432000 4194304 4196468 140726324886160 140716550382496 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8331] ppid=8296 vsize=8414124 memory=853240 CPUtime=0 cores=0-7
/proc/8319/task/8331/stat : 8331 (java) S 8296 8296 7657 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419220389 8616062976 29977 33554432000 4194304 4196468 140726324886160 140716416160752 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8332] ppid=8296 vsize=8414124 memory=1136 CPUtime=0 cores=0-7
/proc/8319/task/8332/stat : 8332 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140716041656528 140718106433435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8333] ppid=8296 vsize=8414124 memory=851192 CPUtime=0.08 cores=0-7
/proc/8319/task/8333/stat : 8333 (java) S 8296 8296 7657 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717198825968 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8334] ppid=8296 vsize=8414124 memory=5936 CPUtime=0.02 cores=0-7
/proc/8319/task/8334/stat : 8334 (java) S 8296 8296 7657 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717197773424 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8335] ppid=8296 vsize=8414124 memory=784 CPUtime=0.06 cores=0-7
/proc/8319/task/8335/stat : 8335 (java) S 8296 8296 7657 0 -1 1077944384 275 0 0 0 6 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717196720880 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8336] ppid=8296 vsize=8414124 memory=1060 CPUtime=0.19 cores=0-7
/proc/8319/task/8336/stat : 8336 (java) S 8296 8296 7657 0 -1 1077944384 709 0 0 0 19 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717195668336 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8337] ppid=8296 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/8319/task/8337/stat : 8337 (java) S 8296 8296 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140715543750880 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8338] ppid=8296 vsize=8414124 memory=1808 CPUtime=0.06 cores=0-7
/proc/8319/task/8338/stat : 8338 (java) S 8296 8296 7657 0 -1 1077944384 43 0 0 0 3 3 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717194615216 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8340] ppid=8296 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/8319/task/8340/stat : 8340 (java) S 8296 8296 7657 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419220457 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717186581696 140718106439449 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8342] ppid=8296 vsize=8414124 memory=4432 CPUtime=0 cores=0-7
/proc/8319/task/8342/stat : 8342 (java) S 8296 8296 7657 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419220458 8616062976 29977 33554432000 4194304 4196468 140726324886160 140714872651536 140718106436765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8343] ppid=8296 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/8319/task/8343/stat : 8343 (java) S 8296 8296 7657 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419220458 8616062976 29977 33554432000 4194304 4196468 140726324886160 140715141087120 140718106436765 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8344] ppid=8296 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/8319/task/8344/stat : 8344 (java) S 8296 8296 7657 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419220460 8616062976 29977 33554432000 4194304 4196468 140726324886160 140714604224176 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
Current children cumulated CPU time: 939.84 s
Current children cumulated vsize: 9566000 KiB
Current children cumulated memory: 974752 KiB

[startup+125.601 s]
/proc/loadavg: 7.98 7.92 7.92 3/217 8360
/proc/meminfo: memFree=30429504/32770624 swapFree=66937012/67108860
[pid=8296] ppid=8293 vsize=113128 memory=1476 CPUtime=6.89 cores=0-7
/proc/8296/stat : 8296 (scop.sh) S 8293 8296 7657 0 -1 4202496 583 27840 0 0 0 0 646 43 20 0 1 0 419219968 115843072 369 33554432000 4194304 5098028 140722511478384 140722511475128 140716020871804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20590592 140722511483685 140722511484012 140722511484012 140722511486925 0
/proc/8296/statm: 28282 369 311 221 0 87 0
[pid=8319] ppid=8296 vsize=8414124 memory=119908 CPUtime=1.23 cores=0-7
/proc/8319/stat : 8319 (java) S 8296 8296 7657 0 -1 1077944320 19545 0 0 0 115 8 0 0 20 0 24 0 419220386 8616062976 29977 33554432000 4194304 4196468 140726324886160 140726324868704 140718106414839 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
/proc/8319/statm: 2103531 29977 3183 1 0 2064875 0
[pid=8339] ppid=8319 vsize=1038748 memory=853368 CPUtime=932.88 cores=0-7
/proc/8339/stat : 8339 (manyglucose-4.1) S 8319 8296 7657 0 -1 1077944320 646587 0 0 0 93138 150 0 0 20 0 2 0 419220457 1063677952 213342 33554432000 4194304 4454172 140721907863776 140721907862160 139745226186487 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 10358784 140721907868522 140721907868720 140721907868720 140721907871674 0
/proc/8339/statm: 259687 213342 423 64 0 255355 0
[pid=8339/tid=8347] ppid=8319 vsize=1038748 memory=6791534058613427641 CPUtime=117.93 cores=0-7
/proc/8339/task/8347/stat : 8347 (manyglucose-4.1) R 8319 8296 7657 0 -1 4202560 70078 0 0 0 11775 18 0 0 20 0 2 0 419220579 1063677952 213342 33554432000 4194304 4454172 140721907863776 139745181842568 4329055 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 10358784 140721907868522 140721907868720 140721907868720 140721907871674 0
[pid=8319/tid=8320] ppid=8296 vsize=8414124 memory=14056 CPUtime=0.75 cores=0-7
/proc/8319/task/8320/stat : 8320 (java) S 8296 8296 7657 0 -1 1077944384 16291 0 0 0 70 5 0 0 20 0 24 0 419220386 8616062976 29977 33554432000 4194304 4196468 140726324886160 140718078255008 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8321] ppid=8296 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/8319/task/8321/stat : 8321 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140718110656784 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8322] ppid=8296 vsize=8414124 memory=516 CPUtime=0 cores=0-7
/proc/8319/task/8322/stat : 8322 (java) S 8296 8296 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717910825360 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8323] ppid=8296 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/8319/task/8323/stat : 8323 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717909772816 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8324] ppid=8296 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/8319/task/8324/stat : 8324 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717908720272 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8325] ppid=8296 vsize=8414124 memory=1668 CPUtime=0 cores=0-7
/proc/8319/task/8325/stat : 8325 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717907667728 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8326] ppid=8296 vsize=8414124 memory=904 CPUtime=0 cores=0-7
/proc/8319/task/8326/stat : 8326 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717906615184 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8327] ppid=8296 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/8319/task/8327/stat : 8327 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717905562640 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8328] ppid=8296 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/8319/task/8328/stat : 8328 (java) S 8296 8296 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419220387 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717904510096 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8329] ppid=8296 vsize=8414124 memory=2436 CPUtime=0 cores=0-7
/proc/8319/task/8329/stat : 8329 (java) S 8296 8296 7657 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419220389 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717199878128 140718106425986 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8330] ppid=8296 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/8319/task/8330/stat : 8330 (java) S 8296 8296 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419220389 8616062976 29977 33554432000 4194304 4196468 140726324886160 140716550382496 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8331] ppid=8296 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/8319/task/8331/stat : 8331 (java) S 8296 8296 7657 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419220389 8616062976 29977 33554432000 4194304 4196468 140726324886160 140716416160752 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8332] ppid=8296 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/8319/task/8332/stat : 8332 (java) S 8296 8296 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140716041656528 140718106433435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8333] ppid=8296 vsize=8414124 memory=1808 CPUtime=0.08 cores=0-7
/proc/8319/task/8333/stat : 8333 (java) S 8296 8296 7657 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717198825968 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8334] ppid=8296 vsize=8414124 memory=920 CPUtime=0.02 cores=0-7
/proc/8319/task/8334/stat : 8334 (java) S 8296 8296 7657 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717197773424 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8335] ppid=8296 vsize=8414124 memory=7686721470384543899 CPUtime=0.06 cores=0-7
/proc/8319/task/8335/stat : 8335 (java) S 8296 8296 7657 0 -1 1077944384 275 0 0 0 6 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717196720880 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8336] ppid=8296 vsize=8414124 memory=853240 CPUtime=0.19 cores=0-7
/proc/8319/task/8336/stat : 8336 (java) S 8296 8296 7657 0 -1 1077944384 709 0 0 0 19 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717195668336 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8337] ppid=8296 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8319/task/8337/stat : 8337 (java) S 8296 8296 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140715543750880 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8338] ppid=8296 vsize=8414124 memory=119908 CPUtime=0.06 cores=0-7
/proc/8319/task/8338/stat : 8338 (java) S 8296 8296 7657 0 -1 1077944384 43 0 0 0 3 3 0 0 20 0 24 0 419220392 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717194615216 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8340] ppid=8296 vsize=8414124 memory=850928 CPUtime=0 cores=0-7
/proc/8319/task/8340/stat : 8340 (java) S 8296 8296 7657 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419220457 8616062976 29977 33554432000 4194304 4196468 140726324886160 140717186581696 140718106439449 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8342] ppid=8296 vsize=8414124 memory=5939783387795003311 CPUtime=0 cores=0-7
/proc/8319/task/8342/stat : 8342 (java) S 8296 8296 7657 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419220458 8616062976 29977 33554432000 4194304 4196468 140726324886160 140714872651536 140718106436765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8343] ppid=8296 vsize=8414124 memory=5939783387795003311 CPUtime=0 cores=0-7
/proc/8319/task/8343/stat : 8343 (java) S 8296 8296 7657 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419220458 8616062976 29977 33554432000 4194304 4196468 140726324886160 140715141087120 140718106436765 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8344] ppid=8296 vsize=8414124 memory=5939783387795003311 CPUtime=0 cores=0-7
/proc/8319/task/8344/stat : 8344 (java) S 8296 8296 7657 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419220460 8616062976 29977 33554432000 4194304 4196468 140726324886160 140714604224176 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
Current children cumulated CPU time: 941 s
Current children cumulated vsize: 9566000 KiB
Current children cumulated memory: 974752 KiB

[startup+125.808 s]
/proc/loadavg: 7.98 7.92 7.92 3/217 8360
/proc/meminfo: memFree=30429504/32770624 swapFree=66937012/67108860
[pid=8296] ppid=8293 vsize=113128 memory=1476 CPUtime=6.89 cores=0-7
/proc/8296/stat : 8296 (scop.sh) S 8293 8296 7657 0 -1 4202496 583 27840 0 0 0 0 646 43 20 0 1 0 419219968 115843072 369 33554432000 4194304 5098028 140722511478384 140722511475128 140716020871804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20590592 140722511483685 140722511484012 140722511484012 140722511486925 0
/proc/8296/statm: 28282 369 311 221 0 87 0
[pid=8319] ppid=8296 vsize=8283048 memory=133628 CPUtime=934.54 cores=0-7
/proc/8319/stat : 8319 (java) S 8296 8296 7657 0 -1 1077944320 21401 646891 0 0 146 9 93147 152 20 0 22 0 419220386 8481841152 33407 33554432000 4194304 4196468 140726324886160 140726324868704 140718106414839 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
/proc/8319/statm: 2070762 33407 3224 1 0 2032106 0
[pid=8319/tid=8320] ppid=8296 vsize=8283048 memory=1136 CPUtime=933.79 cores=0-7
/proc/8319/task/8320/stat : 8320 (java) R 8296 8296 7657 0 -1 4202560 16455 646891 0 0 75 5 93147 152 20 0 22 0 419220386 8481841152 33407 33554432000 4194304 4196468 140726324886160 140718078251712 140718106426774 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8321] ppid=8296 vsize=8283048 memory=1072 CPUtime=932.99 cores=0-7
/proc/8319/task/8321/stat : 8321 (java) S 8296 8296 7657 0 -1 1077944384 2 646891 0 0 0 0 93147 152 20 0 22 0 419220387 8481841152 33407 33554432000 4194304 4196468 140726324886160 140718110656784 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8322] ppid=8296 vsize=8283048 memory=5936 CPUtime=932.99 cores=0-7
/proc/8319/task/8322/stat : 8322 (java) S 8296 8296 7657 0 -1 1077944384 3 646891 0 0 0 0 93147 152 20 0 22 0 419220387 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717910825360 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8323] ppid=8296 vsize=8283048 memory=784 CPUtime=932.99 cores=0-7
/proc/8319/task/8323/stat : 8323 (java) S 8296 8296 7657 0 -1 1077944384 2 646891 0 0 0 0 93147 152 20 0 22 0 419220387 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717909772816 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8324] ppid=8296 vsize=8283048 memory=1060 CPUtime=932.99 cores=0-7
/proc/8319/task/8324/stat : 8324 (java) S 8296 8296 7657 0 -1 1077944384 1 646891 0 0 0 0 93147 152 20 0 22 0 419220387 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717908720272 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8325] ppid=8296 vsize=8283048 memory=14012 CPUtime=932.99 cores=0-7
/proc/8319/task/8325/stat : 8325 (java) S 8296 8296 7657 0 -1 1077944384 2 646891 0 0 0 0 93147 152 20 0 22 0 419220387 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717907667728 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8326] ppid=8296 vsize=8283048 memory=853368 CPUtime=932.99 cores=0-7
/proc/8319/task/8326/stat : 8326 (java) S 8296 8296 7657 0 -1 1077944384 1 646891 0 0 0 0 93147 152 20 0 22 0 419220387 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717906615184 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8327] ppid=8296 vsize=8283048 memory=4000 CPUtime=932.99 cores=0-7
/proc/8319/task/8327/stat : 8327 (java) S 8296 8296 7657 0 -1 1077944384 2 646891 0 0 0 0 93147 152 20 0 22 0 419220387 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717905562640 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8328] ppid=8296 vsize=8283048 memory=616 CPUtime=932.99 cores=0-7
/proc/8319/task/8328/stat : 8328 (java) S 8296 8296 7657 0 -1 1077944384 2 646891 0 0 0 0 93147 152 20 0 22 0 419220387 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717904510096 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8329] ppid=8296 vsize=8283048 memory=2832 CPUtime=932.99 cores=0-7
/proc/8319/task/8329/stat : 8329 (java) S 8296 8296 7657 0 -1 1077944384 9 646891 0 0 0 0 93147 152 20 0 22 0 419220389 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717199878128 140718106425986 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8330] ppid=8296 vsize=8283048 memory=1624 CPUtime=932.99 cores=0-7
/proc/8319/task/8330/stat : 8330 (java) S 8296 8296 7657 0 -1 1077944384 13 646891 0 0 0 0 93147 152 20 0 22 0 419220389 8481841152 33407 33554432000 4194304 4196468 140726324886160 140716550382496 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8331] ppid=8296 vsize=8283048 memory=279761689443488 CPUtime=932.99 cores=0-7
/proc/8319/task/8331/stat : 8331 (java) S 8296 8296 7657 0 -1 1077944384 21 646891 0 0 0 0 93147 152 20 0 22 0 419220389 8481841152 33407 33554432000 4194304 4196468 140726324886160 140716416160752 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8332] ppid=8296 vsize=8283048 memory=7810739741420777320 CPUtime=932.99 cores=0-7
/proc/8319/task/8332/stat : 8332 (java) S 8296 8296 7657 0 -1 1077944384 1 646891 0 0 0 0 93147 152 20 0 22 0 419220392 8481841152 33407 33554432000 4194304 4196468 140726324886160 140716041656528 140718106433435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8333] ppid=8296 vsize=8283048 memory=7012758199642188648 CPUtime=933.12 cores=0-7
/proc/8319/task/8333/stat : 8333 (java) R 8296 8296 7657 0 -1 4202560 975 646891 0 0 13 0 93147 152 20 0 22 0 419220392 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717198813280 140718106436186 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8334] ppid=8296 vsize=8283048 memory=4432 CPUtime=933.06 cores=0-7
/proc/8319/task/8334/stat : 8334 (java) R 8296 8296 7657 0 -1 4202560 367 646891 0 0 7 0 93147 152 20 0 22 0 419220392 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717197773552 140718106436186 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8335] ppid=8296 vsize=8283048 memory=4104 CPUtime=933.09 cores=0-7
/proc/8319/task/8335/stat : 8335 (java) R 8296 8296 7657 0 -1 1077944384 549 646891 0 0 10 0 93147 152 20 0 22 0 419220392 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717196707072 140718106425045 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8336] ppid=8296 vsize=8283048 memory=1412 CPUtime=933.24 cores=0-7
/proc/8319/task/8336/stat : 8336 (java) R 8296 8296 7657 0 -1 4202560 1023 646891 0 0 25 0 93147 152 20 0 22 0 419220392 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717195666128 140718087824847 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8337] ppid=8296 vsize=8283048 memory=3636 CPUtime=932.99 cores=0-7
/proc/8319/task/8337/stat : 8337 (java) S 8296 8296 7657 0 -1 1077944384 3 646891 0 0 0 0 93147 152 20 0 22 0 419220392 8481841152 33407 33554432000 4194304 4196468 140726324886160 140715543750880 140718106425045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8338] ppid=8296 vsize=8283048 memory=1476 CPUtime=933.05 cores=0-7
/proc/8319/task/8338/stat : 8338 (java) S 8296 8296 7657 0 -1 1077944384 43 646891 0 0 3 3 93147 152 20 0 22 0 419220392 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717194615216 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8340] ppid=8296 vsize=8283048 memory=119908 CPUtime=932.99 cores=0-7
/proc/8319/task/8340/stat : 8340 (java) S 8296 8296 7657 0 -1 1077944384 25 646891 0 0 0 0 93147 152 20 0 22 0 419220457 8481841152 33407 33554432000 4194304 4196468 140726324886160 140717186580880 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
[pid=8319/tid=8344] ppid=8296 vsize=8283048 memory=4126316290023845779 CPUtime=932.99 cores=0-7
/proc/8319/task/8344/stat : 8344 (java) S 8296 8296 7657 0 -1 1077944384 14 646891 0 0 0 0 93147 152 20 0 22 0 419220460 8481841152 33407 33554432000 4194304 4196468 140726324886160 140714604225968 140718106425986 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20803584 140726324888568 140726324888726 140726324888726 140726324891599 0
Current children cumulated CPU time: 941.43 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 135104 KiB

Child status: 0
Real time (s): 125.877
CPU time (s): 941.647
CPU user time (s): 939.57
CPU system time (s): 2.077
CPU usage (%): 748.067
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 2086340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 939.57
system time used= 2.077
maximum resident set size= 2090452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 698004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22640
involuntary context switches= 8942


# summary of solver processes directly reported to runsolver:
#   pid: 8296
#   total CPU time (s): 941.647
#   total CPU user time (s): 939.57
#   total CPU system time (s): 2.077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21326 second user time and 1.78387 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-14 03:52:01
IDJOB=4392338
IDBENCH=127846
IDSOLVER=2838
FILE ID=node105/4392338-1568429616
RUNJOBID= node105-1568422931-7684
PBS_JOBID= 21702288
Free space on /tmp= 60864 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-203.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392338-1568429616/watcher-4392338-1568429616 -o /tmp/evaluation-result-4392338-1568429616/solver-4392338-1568429616 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568422931-7684 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392338-1568429616.xml

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

MD5SUM BENCH= ce251f4c9ae0df3aa97e9296eb89cd68
RANDOM SEED=1126588279

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
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:        31401812 kB
MemAvailable:   31861640 kB
Buffers:          179856 kB
Cached:           575156 kB
SwapCached:        67876 kB
Active:           419576 kB
Inactive:         407232 kB
Active(anon):      12020 kB
Inactive(anon):    93564 kB
Active(file):     407556 kB
Inactive(file):   313668 kB
Unevictable:      107596 kB
Mlocked:          107596 kB
SwapTotal:      67108860 kB
SwapFree:       66937012 kB
Dirty:             20508 kB
Writeback:             0 kB
AnonPages:        166156 kB
Mapped:            36956 kB
Shmem:             24660 kB
Slab:             137292 kB
SReclaimable:     108880 kB
SUnreclaim:        28412 kB
KernelStack:        3808 kB
PageTables:         5360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60844 MiB
End job on node105 at 2019-09-14 03:54:07