Trace number 4392719

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-160.xml
MD5SUM3ff67dee7a06e1e6311de3a7585abde9
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 benchmark146.729
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size534
Maximum domain size534
Distribution of domain sizes[{"size":534,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15063-serial-file.bin HOME/instance-4392719-1568430594.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 05:09:15 CEST 2019
0.65/0.57	c PID: 15066
0.65/0.57	c IP: 172.20.3.140
0.65/0.57	c HOST: node140.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.37/0.91	c (0,0) Parsing End
1.37/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 534
1.37/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.91	c (0,0) Constraint Name Generate Begin
1.37/0.92	c (0,0) Ctr:HOME/instance-4392719-1568430594.xml,Le:NoOverlap:Num:Var
1.37/0.92	c (0,0) Constraint Name Generate End
1.37/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.37/0.92	c (0,0) CSP to CSPinCNF Begin
1.37/1.00	c (0,0) translated 6 (10%) constraints
1.37/1.00	c (0,0) translated 11 (20%) constraints
1.37/1.00	c (0,0) translated 16 (30%) constraints
1.37/1.01	c (0,0) translated 22 (40%) constraints
1.54/1.01	c (0,0) translated 27 (50%) constraints
1.54/1.01	c (0,0) translated 32 (60%) constraints
1.54/1.01	c (0,0) translated 38 (70%) constraints
1.54/1.02	c (0,0) translated 43 (80%) constraints
1.54/1.02	c (0,0) translated 48 (90%) constraints
2.15/1.27	c (0,0) translated 53 (100%) constraints
2.15/1.27	c (0,0) ===========================================
2.15/1.29	c (0,0) Hybrid: #OE=50, #LE=0
2.15/1.29	c (0,0) Hybrid
2.15/1.29	c (0,0) ===========================================
2.46/1.30	c (0,0) translated 36 (10%) constraints
2.46/1.31	c (0,0) translated 71 (20%) constraints
2.46/1.31	c (0,0) translated 106 (30%) constraints
2.46/1.32	c (0,0) translated 141 (40%) constraints
2.46/1.33	c (0,0) translated 176 (50%) constraints
2.46/1.33	c (0,0) translated 212 (60%) constraints
2.46/1.34	c (0,0) translated 247 (70%) constraints
2.46/1.34	c (0,0) translated 282 (80%) constraints
2.46/1.34	c (0,0) translated 317 (90%) constraints
2.46/1.35	c (0,0) translated 352 (100%) constraints
2.46/1.35	c (0,0) CSP to CSPinCNF End
2.46/1.35	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 524
2.46/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.35	c (0,0) CSPinCNF Propagation Begin
2.46/1.38	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.46/1.38	c (0,0) CSPinCNF Propagation End
2.46/1.38	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 524
2.46/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.39	c (0,0) Hybrid: #OE=50, #LE=0
2.46/1.39	c (0,0) Simplify CSPinCNF Begin
2.85/1.48	c (0,0) Simplify CSPinCNF End
2.85/1.49	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 524
2.85/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.49	c (0,0) Calculate Precise Domain Begin
2.85/1.49	c (0,0) 0 values are removed by re-calculation
2.85/1.49	c (0,0) Calculate Precise Domain End
2.85/1.49	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 524
2.85/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.85/1.49	c (0,0) CSPinCNF to SatSolver Begin
4.67/1.97	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 74517 SAT clauses)
4.95/2.17	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 125424 SAT clauses)
5.20/2.34	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 172822 SAT clauses)
5.40/2.52	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 222135 SAT clauses)
5.51/2.69	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 266424 SAT clauses)
5.73/2.84	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 309648 SAT clauses)
5.83/2.99	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 349910 SAT clauses)
6.04/3.13	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 388929 SAT clauses)
6.19/3.52	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 421661 SAT clauses)
6.30/3.60	c (3,2) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 444328 SAT clauses)
6.30/3.60	c (3,2) CSPinCNF to SatSolver End
6.30/3.60	c (3,2) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.30/3.60	c (3,2) 23206 bool, 444490 clause
6.30/3.60	c (3,2) Export Begin
6.30/3.68	c (3,2) Export to HOME/scop-15063-serial-file.bin
6.30/3.68	c (3,2) Export End
6.30/3.69	c (3,2) Export File Size: 0.01 MB
6.30/3.69	c (3,2) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.30/3.69	c END-Prog: Sat Sep 14 05:09:18 CEST 2019
6.46/3.72	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15063-serial-file.bin
6.99/4.18	c (0,0) Read Serial File Begin
6.99/4.18	c (0,0) HOME/scop-15063-serial-file.bin
7.24/4.37	c (0,0) Read Serial File End
7.24/4.39	
7.24/4.39	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.24/4.39	(Solving Process)
7.24/4.39	
7.41/4.41	c BEGIN-Prog: Sat Sep 14 05:09:19 CEST 2019
7.41/4.41	c PID: 15086
7.41/4.41	c IP: 172.20.3.140
7.41/4.41	c HOST: node140.alineos.net
7.41/4.41	c (0,0) SatSolver.solve Begin
7.41/4.41	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392719-1568430594.xml-scop-15066.cnf
7.41/4.44	c (0,0) c
7.41/4.44	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
7.41/4.44	c (0,0) c
7.41/4.44	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.41/4.44	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.41/4.44	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.41/4.44	c (0,0) c |                                                                                                       |
7.61/4.60	c (0,0) c |  Number of variables:         23206                                                                   |
7.61/4.60	c (0,0) c |  Number of clauses:          444490                                                                   |
7.61/4.60	c (0,0) c |  Parse time:                   0.14 s                                                                 |
7.61/4.60	c (0,0) c |                                                                                                       |
8.37/5.26	c (1,0) c |  Simplification time:          0.65 s                                                                 |
8.37/5.26	c (1,0) c |                                                                                                       |
8.37/5.26	c (1,0) c |  Generating clones                                                                                    |
8.47/5.39	c (1,0) c |  all clones generated. Memory =   311.25Mb.                                                           |
8.47/5.39	c (1,0) c ========================================================================================================|
8.47/5.39	c (1,0) c
8.47/5.39	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.47/5.39	c (1,0) c
8.47/5.39	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.47/5.39	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.47/5.39	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.47/5.39	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.47/5.39	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.47/5.39	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.47/5.39	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.47/5.39	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.47/5.39	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.47/5.39	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.47/5.39	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.47/5.39	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.47/5.39	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.47/5.39	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.47/5.39	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.47/5.39	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.47/5.39	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.47/5.39	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.47/5.39	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.40/35.13	c (31,0) c
245.40/35.13	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
245.40/35.13	c (31,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
245.40/35.13	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
245.40/35.13	c (31,0) c |  0 |    194 |     117272 |      56865 |    49017 |    18323 |     9631 |    60590 |     7062 |      191 |  20 |  0.116 |
245.40/35.13	c (31,0) c |  1 |    210 |     117914 |      55446 |    53267 |    16910 |     9256 |    57645 |     6783 |      184 |  20 |  0.116 |
245.40/35.13	c (31,0) c |  2 |    243 |     119895 |      55976 |    52211 |    17437 |     9176 |    59603 |     7114 |      187 |  20 |  0.116 |
245.40/35.13	c (31,0) c |  3 |    214 |     117505 |      56540 |    50561 |    18007 |     9130 |    60789 |     6975 |      191 |  20 |  0.116 |
245.40/35.13	c (31,0) c |  4 |    236 |     125225 |      59486 |    52101 |    20944 |     9818 |    62782 |     7389 |      201 |  20 |  0.116 |
245.40/35.13	c (31,0) c |  5 |    244 |     118592 |      56799 |    47335 |    18256 |     9495 |    60355 |     6972 |      190 |  20 |  0.116 |
245.40/35.13	c (31,0) c |  6 |    206 |     121217 |      59394 |    49929 |    20851 |     9865 |    63264 |     7071 |      203 |  20 |  0.116 |
245.40/35.13	c (31,0) c |  7 |    265 |     124792 |      58310 |    53292 |    19767 |     9217 |    62172 |     7333 |      196 |  20 |  0.116 |
245.40/35.13	c (31,0) c 
245.40/35.13	c (31,0) c synthesis      458818 conflicts   366188054 propagations     1935 conflicts/sec  1543961 propagations/sec
245.40/35.13	c (31,0) c real: 30.6962 s, cpu: 237.174 s, memory: 975.27 Mb
478.08/65.13	c (61,0) c
478.08/65.13	c (61,0) c |------------------------------------------------------------------------------------------------------------------------|
478.08/65.13	c (61,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
478.08/65.13	c (61,0) c |------------------------------------------------------------------------------------------------------------------------|
478.08/65.13	c (61,0) c |  0 |    361 |     181377 |      94350 |    57627 |    23170 |    14197 |    93832 |    12044 |      362 |  20 |  0.116 |
478.08/65.13	c (61,0) c |  1 |    404 |     186349 |      93941 |    62783 |    22761 |    13943 |    93486 |    12213 |      360 |  20 |  0.116 |
478.08/65.13	c (61,0) c |  2 |    421 |     186796 |      92801 |    62359 |    21617 |    13541 |    93295 |    12105 |      355 |  20 |  0.116 |
478.08/65.13	c (61,0) c |  3 |    343 |     183997 |      94462 |    61867 |    23287 |    13609 |    94677 |    12069 |      363 |  20 |  0.116 |
478.08/65.13	c (61,0) c |  4 |    357 |     184881 |      94658 |    61081 |    23483 |    14275 |    93581 |    12162 |      361 |  20 |  0.116 |
478.08/65.13	c (61,0) c |  5 |    429 |     178258 |      90401 |    55879 |    19222 |    13500 |    91276 |    11777 |      343 |  20 |  0.116 |
478.08/65.13	c (61,0) c |  6 |    332 |     181776 |      93724 |    59825 |    22547 |    13880 |    93401 |    11790 |      362 |  20 |  0.116 |
478.08/65.13	c (61,0) c |  7 |    405 |     188862 |      94390 |    64072 |    23214 |    13772 |    93170 |    12270 |      360 |  20 |  0.116 |
478.08/65.13	c (61,0) c 
478.08/65.13	c (61,0) c synthesis      748727 conflicts   629144003 propagations     1595 conflicts/sec  1340031 propagations/sec
478.08/65.13	c (61,0) c real: 60.6922 s, cpu: 469.5 s, memory: 1334.35 Mb
712.23/95.13	c (91,0) c
712.23/95.13	c (91,0) c |------------------------------------------------------------------------------------------------------------------------|
712.23/95.13	c (91,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
712.23/95.13	c (91,0) c |------------------------------------------------------------------------------------------------------------------------|
712.23/95.13	c (91,0) c |  0 |    462 |     237651 |     128108 |    65842 |    36719 |    17746 |   118835 |    15826 |      530 |  20 |  0.116 |
712.23/95.13	c (91,0) c |  1 |    542 |     241690 |     126913 |    68719 |    35530 |    17323 |   118838 |    16203 |      530 |  20 |  0.116 |
712.23/95.13	c (91,0) c |  2 |    572 |     240189 |     123889 |    68197 |    32500 |    17110 |   116723 |    16035 |      517 |  20 |  0.116 |
712.23/95.13	c (91,0) c |  3 |    496 |     241463 |     127622 |    69328 |    36240 |    17136 |   119650 |    16137 |      530 |  20 |  0.116 |
712.23/95.13	c (91,0) c |  4 |    476 |     241905 |     127784 |    68273 |    36399 |    17965 |   118529 |    16232 |      530 |  20 |  0.116 |
712.23/95.13	c (91,0) c |  5 |    581 |     242233 |     127440 |    64834 |    36053 |    17734 |   118260 |    16047 |      530 |  20 |  0.116 |
712.23/95.13	c (91,0) c |  6 |    453 |     235242 |     123542 |    69217 |    32157 |    16807 |   116666 |    15362 |      513 |  20 |  0.116 |
712.23/95.13	c (91,0) c |  7 |    534 |     237710 |     123841 |    69097 |    32460 |    16766 |   115975 |    15884 |      510 |  20 |  0.116 |
712.23/95.13	c (91,0) c 
712.23/95.13	c (91,0) c synthesis     1009139 conflicts   872402311 propagations     1435 conflicts/sec  1240414 propagations/sec
712.23/95.13	c (91,0) c real: 90.6919 s, cpu: 703.315 s, memory: 1334.35 Mb
934.84/124.13	c (120,0) c
934.84/124.13	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
934.84/124.13	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
934.84/124.13	c (120,0) c |------------------------------------------------------------------------------------------------------------------------|
934.84/124.13	c (120,0) c |  0 |    587 |     283599 |     156294 |    70769 |    41991 |    20504 |   140157 |    19031 |      688 |  20 |  0.297 |
934.84/124.13	c (120,0) c |  1 |    651 |     285293 |     153491 |    72224 |    39303 |    20436 |   138952 |    19247 |      678 |  20 |  0.116 |
934.84/124.13	c (120,0) c |  2 |    721 |     290372 |     152890 |    73589 |    38699 |    20294 |   138762 |    19423 |      675 |  20 |  0.116 |
934.84/124.13	c (120,0) c |  3 |    592 |     285436 |     154763 |    73421 |    40245 |    19863 |   140428 |    19351 |      685 |  20 |  0.297 |
934.84/124.13	c (120,0) c |  4 |    587 |     289077 |     156639 |    72717 |    41699 |    20675 |   139985 |    19619 |      687 |  20 |  0.297 |
934.84/124.13	c (120,0) c |  5 |    654 |     290041 |     156393 |    70284 |    40494 |    21086 |   140014 |    19245 |      688 |  20 |  0.297 |
934.84/124.13	c (120,0) c |  6 |    592 |     288291 |     154552 |    75009 |    40173 |    20150 |   140367 |    19071 |      684 |  20 |  0.297 |
934.84/124.13	c (120,0) c |  7 |    652 |     286474 |     152522 |    73949 |    38332 |    19727 |   138256 |    19105 |      669 |  20 |  0.116 |
934.84/124.13	c (120,0) c 
934.84/124.13	c (120,0) c synthesis     1237544 conflicts  1089299707 propagations     1337 conflicts/sec  1176842 propagations/sec
934.84/124.13	c (120,0) c real: 119.692 s, cpu: 925.613 s, memory: 1398.35 Mb
1169.23/154.13	c (150,0) c
1169.23/154.13	c (150,0) c |------------------------------------------------------------------------------------------------------------------------|
1169.23/154.13	c (150,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1169.23/154.13	c (150,0) c |------------------------------------------------------------------------------------------------------------------------|
1169.23/154.13	c (150,0) c |  0 |    700 |     330808 |     185073 |    75361 |    45203 |    23417 |   160058 |    22240 |      855 |  20 |  0.358 |
1169.23/154.13	c (150,0) c |  1 |    760 |     331119 |     182026 |    76612 |    42177 |    23405 |   158831 |    22188 |      847 |  20 |  0.358 |
1169.23/154.13	c (150,0) c |  2 |    857 |     337036 |     180536 |    77577 |    40743 |    22814 |   157739 |    22470 |      840 |  20 |  0.358 |
1169.23/154.13	c (150,0) c |  3 |    688 |     334249 |     184440 |    78911 |    44579 |    22459 |   160607 |    22310 |      855 |  20 |  0.358 |
1169.23/154.13	c (150,0) c |  4 |    699 |     338041 |     186248 |    76771 |    45953 |    23987 |   160255 |    22785 |      859 |  20 |  0.358 |
1169.23/154.13	c (150,0) c |  5 |    758 |     340283 |     186703 |    75837 |    45976 |    23967 |   159955 |    22395 |      858 |  20 |  0.358 |
1169.23/154.13	c (150,0) c |  6 |    747 |     336304 |     184220 |    78037 |    44416 |    22740 |   161268 |    22356 |      859 |  20 |  0.358 |
1169.23/154.13	c (150,0) c |  7 |    760 |     334855 |     182006 |    78821 |    41869 |    22612 |   158414 |    22138 |      840 |  20 |  0.358 |
1169.23/154.13	c (150,0) c 
1169.23/154.13	c (150,0) c synthesis     1471252 conflicts  1312418413 propagations     1268 conflicts/sec  1131527 propagations/sec
1169.23/154.13	c (150,0) c real: 149.692 s, cpu: 1159.86 s, memory: 1398.35 Mb
1396.05/183.13	c (179,0) c
1396.05/183.13	c (179,0) c |------------------------------------------------------------------------------------------------------------------------|
1396.05/183.13	c (179,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1396.05/183.13	c (179,0) c |------------------------------------------------------------------------------------------------------------------------|
1396.05/183.13	c (179,0) c |  0 |    768 |     375116 |     213352 |    78487 |    45628 |    26143 |   177814 |    24890 |     1021 |  20 |  0.358 |
1396.05/183.13	c (179,0) c |  1 |    866 |     373522 |     207644 |    79887 |    39927 |    25559 |   176962 |    24804 |     1006 |  20 |  0.358 |
1396.05/183.13	c (179,0) c |  2 |    924 |     377872 |     207224 |    80000 |    39530 |    25140 |   175337 |    25072 |     1002 |  20 |  0.358 |
1396.05/183.13	c (179,0) c |  3 |    740 |     375826 |     212266 |    81547 |    44543 |    25152 |   178023 |    24863 |     1018 |  20 |  0.358 |
1396.05/183.13	c (179,0) c |  4 |    795 |     380688 |     213624 |    79626 |    45696 |    26718 |   177296 |    25550 |     1022 |  20 |  0.358 |
1396.05/183.13	c (179,0) c |  5 |    834 |     382072 |     213850 |    78766 |    45694 |    26411 |   177222 |    25128 |     1018 |  20 |  0.358 |
1396.05/183.13	c (179,0) c |  6 |    827 |     379258 |     211198 |    81489 |    43502 |    25513 |   178805 |    25038 |     1022 |  20 |  0.358 |
1396.05/183.13	c (179,0) c |  7 |    877 |     381566 |     210694 |    82183 |    42833 |    24987 |   178007 |    25170 |     1011 |  20 |  0.358 |
1396.05/183.13	c (179,0) c 
1396.05/183.13	c (179,0) c synthesis     1689852 conflicts  1521535340 propagations     1219 conflicts/sec  1097309 propagations/sec
1396.05/183.13	c (179,0) c real: 178.692 s, cpu: 1386.61 s, memory: 1398.35 Mb
1486.21/195.96	c (191,0) c
1486.21/195.96	c (191,0) c real time : 191.522 s
1486.21/195.96	c (191,0) c cpu time  : 1476.69 s
1486.21/195.96	c (191,0) c
1486.21/195.96	c (191,0) c
1486.21/195.96	c (191,0) c
1486.21/195.96	c (191,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1486.21/195.96	c (191,0) c
1486.21/195.96	c (191,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1486.21/195.96	c (191,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1486.21/195.96	c (191,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1486.21/195.96	c (191,0) c | Conflicts     |         1773296 |     222935 |     219456 |     219304 |     222843 |     223334 |     223246 |     220750 |     221428 |
1486.21/195.96	c (191,0) c | Decisions     |         3160750 |     391308 |     391882 |     396958 |     394393 |     395064 |     397401 |     394777 |     398967 |
1486.21/195.96	c (191,0) c | Propagations  |      1602931426 |  199403292 |  199363118 |  199783937 |  202403108 |  200547673 |  201500697 |  200301824 |  199627777 |
1486.21/195.96	c (191,0) c | ReduceDBs     |              96 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |         12 |
1486.21/195.96	c (191,0) c | SimpDBs       |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
1486.21/195.96	c (191,0) c | Restarts      |            6909 |        815 |        906 |        957 |        760 |        826 |        875 |        850 |        920 |
1486.21/195.96	c (191,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1486.21/195.96	c (191,0) c | PropBinClauses|      2257672334 |  281419854 |  279261992 |  282172405 |  284843938 |  282845919 |  282226204 |  283240655 |  281661367 |
1486.21/195.96	c (191,0) c | PropPreBlocker|     26112310885 | 3265641656 | 3251555937 | 3253605136 | 3270173443 | 3273067289 | 3265487646 | 3270609648 | 3262170130 |
1486.21/195.96	c (191,0) c | PropNotBlocker|     10289287284 | 1281869460 | 1287025486 | 1295658334 | 1278345025 | 1280857045 | 1288275861 | 1288428346 | 1288827727 |
1486.21/195.96	c (191,0) c | LitFullScans  |     51956884215 | 6498576590 | 6486765132 | 6486705965 | 6490844322 | 6504544326 | 6498506280 | 6504458754 | 6486482846 |
1486.21/195.96	c (191,0) c | LitScanFracts |         4425552 |     560864 |     735951 |     703632 |     476907 |     519901 |     504836 |     452582 |     470879 |
1486.21/195.96	c (191,0) c | DecisionLevel0|            6918 |        816 |        907 |        958 |        761 |        828 |        877 |        850 |        921 |
1486.21/195.96	c (191,0) c | Periods       |            8658 |       1083 |       1081 |       1081 |       1081 |       1084 |       1083 |       1084 |       1081 |
1486.21/195.96	c (191,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1486.21/195.96	c (191,0) c | Avg_Trail     |                 |       6690 |       6696 |       6681 |       6770 |       6696 |       6732 |       6750 |       6706 |
1486.21/195.96	c (191,0) c | Avg_DL        |                 |         22 |         22 |         23 |         23 |         22 |         21 |         23 |         23 |
1486.21/195.96	c (191,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1486.21/195.96	c (191,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1486.21/195.96	c (191,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1486.21/195.96	c (191,0) c | Exported      |          213061 |      26951 |      26628 |      26136 |      26181 |      27602 |      27280 |      26539 |      25744 |
1486.21/195.96	c (191,0) c | Imported      |         1471598 |     183800 |     184111 |     183375 |     184406 |     183368 |     183248 |     184483 |     184807 |
1486.21/195.96	c (191,0) c | Good          |             343 |         40 |         45 |         40 |         47 |         46 |         37 |         42 |         46 |
1486.21/195.96	c (191,0) c | Purge         |         1471255 |     183760 |     184066 |     183335 |     184359 |     183322 |     183211 |     184441 |     184761 |
1486.21/195.96	c (191,0) c | Promoted      |          209191 |      25993 |      25981 |      26233 |      25908 |      26479 |      26124 |      26021 |      26452 |
1486.21/195.96	c (191,0) c | Remove_Imp    |          884720 |     109650 |     111159 |     112325 |     111023 |     109059 |     109331 |     111895 |     110278 |
1486.21/195.96	c (191,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1486.21/195.96	c (191,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1486.21/195.96	c (191,0) c | Unaries       |                 |          1 |          1 |          1 |          1 |          2 |          2 |          0 |          1 |
1486.21/195.96	c (191,0) c | Binaries      |                 |          9 |          4 |          9 |          2 |          3 |         12 |          7 |          3 |
1486.21/195.96	c (191,0) c | Glues         |                 |        217 |        219 |        224 |        197 |        196 |        234 |        188 |        216 |
1486.21/195.96	c (191,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1486.21/195.96	c (191,0) c | Orig_Seen     |            18 % |      79713 |      81075 |      82321 |      85055 |      80314 |      80954 |      82990 |      83182 |
1486.21/195.96	c (191,0) c | Diff Orig seen|                 | -     5342 | -     3980 | -     2734 |      X     | -     4741 | -     4101 | -     2065 | -     1873 |
1486.21/195.96	c (191,0) c | Hamming       |            25 % |       5709 |       6645 |       3768 |      X     |       6404 |       6768 |       5107 |       7422 |
1486.21/195.96	c (191,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1486.21/195.96	c (191,0) c | RunningTime   |                 |  185.9  98%|  187.6  98%|  190.4 100%|  183.1  97%|  179.7  95%|  184.0  97%|  184.8  98%|  187.0  99%|
1486.21/195.96	c (191,0) c | WaitingTime   |                 |    2.7   1%|    2.8   1%|    0.0   0%|    5.5   3%|    9.0   5%|    4.8   3%|    3.9   2%|    2.1   1%|
1486.21/195.96	c (191,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%|
1486.21/195.96	c (191,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%|
1486.21/195.96	c (191,0) c | SolvingTime   |                 |  188.8     |  190.5     |  190.5     |  188.8     |  188.9     |  188.8     |  188.9     |  189.2     |
1486.21/195.96	c (191,0) c | PropagationTim|                 |  163.5  87%|  162.8  85%|  163.1  86%|  161.2  85%|  162.9  86%|  162.3  86%|  162.5  86%|  162.9  86%|
1486.21/195.96	c (191,0) c | AnalysisTime  |                 |   21.4  11%|   23.7  12%|   23.4  12%|   23.7  13%|   22.1  12%|   22.5  12%|   22.3  12%|   22.2  12%|
1486.21/195.96	c (191,0) c | ReductionTime |                 |    0.6   0%|    0.6   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.6   0%|    0.5   0%|
1486.21/195.96	c (191,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
1486.21/195.96	c (191,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%|
1486.21/195.96	c (191,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%|
1486.21/195.96	c (191,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1486.21/195.96	c (191,0) c
1486.21/195.96	c (191,0) c
1486.21/195.96	c (191,0) c Threads : 8
1486.21/195.96	c (191,0) c Winner : 3
1486.21/195.96	c (191,0) c Conflicts_0 : 222935
1486.21/195.96	c (191,0) c Conflicts_1 : 219456
1486.21/195.96	c (191,0) c Conflicts_2 : 219304
1486.21/195.96	c (191,0) c Conflicts_3 : 222843
1486.21/195.96	c (191,0) c Conflicts_4 : 223334
1486.21/195.96	c (191,0) c Conflicts_5 : 223246
1486.21/195.96	c (191,0) c Conflicts_6 : 220750
1486.21/195.96	c (191,0) c Conflicts_7 : 221428
1486.21/195.96	c (191,0) c Conflicts_total : 1773296
1486.21/195.96	c (191,0) c Conflicts_winner : 222843
1486.21/195.96	c (191,0) c Decisions_0 : 391308
1486.21/195.96	c (191,0) c Decisions_1 : 391882
1486.21/195.96	c (191,0) c Decisions_2 : 396958
1486.21/195.96	c (191,0) c Decisions_3 : 394393
1486.21/195.96	c (191,0) c Decisions_4 : 395064
1486.21/195.96	c (191,0) c Decisions_5 : 397401
1486.21/195.96	c (191,0) c Decisions_6 : 394777
1486.21/195.96	c (191,0) c Decisions_7 : 398967
1486.21/195.96	c (191,0) c Decisions_total : 3160750
1486.21/195.96	c (191,0) c Decisions_winner : 394393
1486.21/195.96	c (191,0) c Propagations_0 : 199403292
1486.21/195.96	c (191,0) c Propagations_1 : 199363118
1486.21/195.96	c (191,0) c Propagations_2 : 199783937
1486.21/195.96	c (191,0) c Propagations_3 : 202403108
1486.21/195.96	c (191,0) c Propagations_4 : 200547673
1486.21/195.96	c (191,0) c Propagations_5 : 201500697
1486.21/195.96	c (191,0) c Propagations_6 : 200301824
1486.21/195.96	c (191,0) c Propagations_7 : 199627777
1486.21/195.96	c (191,0) c Propagations_total : 1602931426
1486.21/195.96	c (191,0) c Propagations_winner : 202403108
1486.21/195.96	c (191,0) c ReduceDBs_0 : 12
1486.21/195.96	c (191,0) c ReduceDBs_1 : 12
1486.21/195.96	c (191,0) c ReduceDBs_2 : 12
1486.21/195.96	c (191,0) c ReduceDBs_3 : 12
1486.21/195.96	c (191,0) c ReduceDBs_4 : 12
1486.21/195.96	c (191,0) c ReduceDBs_5 : 12
1486.21/195.96	c (191,0) c ReduceDBs_6 : 12
1486.21/195.96	c (191,0) c ReduceDBs_7 : 12
1486.21/195.96	c (191,0) c ReduceDBs_total : 96
1486.21/195.96	c (191,0) c ReduceDBs_winner : 12
1486.21/195.96	c (191,0) c SimpDBs_0 : 4
1486.21/195.96	c (191,0) c SimpDBs_1 : 4
1486.21/195.96	c (191,0) c SimpDBs_2 : 4
1486.21/195.96	c (191,0) c SimpDBs_3 : 4
1486.21/195.96	c (191,0) c SimpDBs_4 : 4
1486.21/195.96	c (191,0) c SimpDBs_5 : 4
1486.21/195.96	c (191,0) c SimpDBs_6 : 4
1486.21/195.96	c (191,0) c SimpDBs_7 : 4
1486.21/195.96	c (191,0) c SimpDBs_total : 32
1486.21/195.96	c (191,0) c SimpDBs_winner : 4
1486.21/195.96	c (191,0) c Restarts_0 : 815
1486.21/195.96	c (191,0) c Restarts_1 : 906
1486.21/195.96	c (191,0) c Restarts_2 : 957
1486.21/195.96	c (191,0) c Restarts_3 : 760
1486.21/195.96	c (191,0) c Restarts_4 : 826
1486.21/195.96	c (191,0) c Restarts_5 : 875
1486.21/195.96	c (191,0) c Restarts_6 : 850
1486.21/195.96	c (191,0) c Restarts_7 : 920
1486.21/195.96	c (191,0) c Restarts_total : 6909
1486.21/195.96	c (191,0) c Restarts_winner : 760
1486.21/195.96	c (191,0) c ForcedImports_0 : 0
1486.21/195.96	c (191,0) c ForcedImports_1 : 0
1486.21/195.96	c (191,0) c ForcedImports_2 : 0
1486.21/195.96	c (191,0) c ForcedImports_3 : 0
1486.21/195.96	c (191,0) c ForcedImports_4 : 0
1486.21/195.96	c (191,0) c ForcedImports_5 : 0
1486.21/195.96	c (191,0) c ForcedImports_6 : 0
1486.21/195.96	c (191,0) c ForcedImports_7 : 0
1486.21/195.96	c (191,0) c ForcedImports_total : 0
1486.21/195.96	c (191,0) c ForcedImports_winner : 0
1486.21/195.96	c (191,0) c PropsBinClauses_0 : 281419854
1486.21/195.96	c (191,0) c PropsBinClauses_1 : 279261992
1486.21/195.96	c (191,0) c PropsBinClauses_2 : 282172405
1486.21/195.96	c (191,0) c PropsBinClauses_3 : 284843938
1486.21/195.96	c (191,0) c PropsBinClauses_4 : 282845919
1486.21/195.96	c (191,0) c PropsBinClauses_5 : 282226204
1486.21/195.96	c (191,0) c PropsBinClauses_6 : 283240655
1486.21/195.96	c (191,0) c PropsBinClauses_7 : 281661367
1486.21/195.96	c (191,0) c PropsBinClauses_total : 2257672334
1486.21/195.96	c (191,0) c PropsBinClauses_winner : 284843938
1486.21/195.96	c (191,0) c PropsPreBlocker_0 : 3265641656
1486.21/195.96	c (191,0) c PropsPreBlocker_1 : 3251555937
1486.21/195.96	c (191,0) c PropsPreBlocker_2 : 3253605136
1486.21/195.96	c (191,0) c PropsPreBlocker_3 : 3270173443
1486.21/195.96	c (191,0) c PropsPreBlocker_4 : 3273067289
1486.21/195.96	c (191,0) c PropsPreBlocker_5 : 3265487646
1486.21/195.96	c (191,0) c PropsPreBlocker_6 : 3270609648
1486.21/195.96	c (191,0) c PropsPreBlocker_7 : 3262170130
1486.21/195.96	c (191,0) c PropsPreBlocker_total : 26112310885
1486.21/195.96	c (191,0) c PropsPreBlocker_winner : 3270173443
1486.21/195.96	c (191,0) c PropsNotBlocker_0 : 1281869460
1486.21/195.96	c (191,0) c PropsNotBlocker_1 : 1287025486
1486.21/195.96	c (191,0) c PropsNotBlocker_2 : 1295658334
1486.21/195.96	c (191,0) c PropsNotBlocker_3 : 1278345025
1486.21/195.96	c (191,0) c PropsNotBlocker_4 : 1280857045
1486.21/195.96	c (191,0) c PropsNotBlocker_5 : 1288275861
1486.21/195.96	c (191,0) c PropsNotBlocker_6 : 1288428346
1486.21/195.96	c (191,0) c PropsNotBlocker_7 : 1288827727
1486.21/195.96	c (191,0) c PropsNotBlocker_total : 10289287284
1486.21/195.96	c (191,0) c PropsNotBlocker_winner : 1278345025
1486.21/195.96	c (191,0) c PropsLitFullScans_0 : 6498576590
1486.21/195.96	c (191,0) c PropsLitFullScans_1 : 6486765132
1486.21/195.96	c (191,0) c PropsLitFullScans_2 : 6486705965
1486.21/195.96	c (191,0) c PropsLitFullScans_3 : 6490844322
1486.21/195.96	c (191,0) c PropsLitFullScans_4 : 6504544326
1486.21/195.96	c (191,0) c PropsLitFullScans_5 : 6498506280
1486.21/195.96	c (191,0) c PropsLitFullScans_6 : 6504458754
1486.21/195.96	c (191,0) c PropsLitFullScans_7 : 6486482846
1486.21/195.96	c (191,0) c PropsLitFullScans_total : 51956884215
1486.21/195.96	c (191,0) c PropsLitFullScans_winner : 6490844322
1486.21/195.96	c (191,0) c LitScanFractions_0 : 560864
1486.21/195.96	c (191,0) c LitScanFractions_1 : 735951
1486.21/195.96	c (191,0) c LitScanFractions_2 : 703632
1486.21/195.96	c (191,0) c LitScanFractions_3 : 476907
1486.21/195.96	c (191,0) c LitScanFractions_4 : 519901
1486.21/195.96	c (191,0) c LitScanFractions_5 : 504836
1486.21/195.96	c (191,0) c LitScanFractions_6 : 452582
1486.21/195.96	c (191,0) c LitScanFractions_7 : 470879
1486.21/195.96	c (191,0) c LitScanFractions_total : 4425552
1486.21/195.96	c (191,0) c LitScanFractions_winner : 476907
1486.21/195.96	c (191,0) c DecisionLevel0_0 : 816
1486.21/195.96	c (191,0) c DecisionLevel0_1 : 907
1486.21/195.96	c (191,0) c DecisionLevel0_2 : 958
1486.21/195.96	c (191,0) c DecisionLevel0_3 : 761
1486.21/195.96	c (191,0) c DecisionLevel0_4 : 828
1486.21/195.96	c (191,0) c DecisionLevel0_5 : 877
1486.21/195.96	c (191,0) c DecisionLevel0_6 : 850
1486.21/195.96	c (191,0) c DecisionLevel0_7 : 921
1486.21/195.96	c (191,0) c DecisionLevel0_total : 6918
1486.21/195.96	c (191,0) c DecisionLevel0_winner : 761
1486.21/195.96	c (191,0) c Periods_0 : 1083
1486.21/195.96	c (191,0) c Periods_1 : 1081
1486.21/195.96	c (191,0) c Periods_2 : 1081
1486.21/195.96	c (191,0) c Periods_3 : 1081
1486.21/195.96	c (191,0) c Periods_4 : 1084
1486.21/195.96	c (191,0) c Periods_5 : 1083
1486.21/195.96	c (191,0) c Periods_6 : 1084
1486.21/195.96	c (191,0) c Periods_7 : 1081
1486.21/195.96	c (191,0) c Periods_total : 8658
1486.21/195.96	c (191,0) c Periods_winner : 1081
1486.21/195.96	c (191,0) c Margin_0 : 20
1486.21/195.96	c (191,0) c Margin_1 : 20
1486.21/195.96	c (191,0) c Margin_2 : 20
1486.21/195.96	c (191,0) c Margin_3 : 20
1486.21/195.96	c (191,0) c Margin_4 : 20
1486.21/195.96	c (191,0) c Margin_5 : 20
1486.21/195.96	c (191,0) c Margin_6 : 20
1486.21/195.96	c (191,0) c Margin_7 : 20
1486.21/195.96	c (191,0) c Margin_total : 160
1486.21/195.96	c (191,0) c Margin_winner : 20
1486.21/195.96	c (191,0) c Exported_0 : 26951
1486.21/195.96	c (191,0) c Exported_1 : 26628
1486.21/195.96	c (191,0) c Exported_2 : 26136
1486.21/195.96	c (191,0) c Exported_3 : 26181
1486.21/195.96	c (191,0) c Exported_4 : 27602
1486.21/195.96	c (191,0) c Exported_5 : 27280
1486.21/195.96	c (191,0) c Exported_6 : 26539
1486.21/195.96	c (191,0) c Exported_7 : 25744
1486.21/195.96	c (191,0) c Exported_total : 213061
1486.21/195.96	c (191,0) c Exported_winner : 26181
1486.21/195.96	c (191,0) c Imported_0 : 183800
1486.21/195.96	c (191,0) c Imported_1 : 184111
1486.21/195.96	c (191,0) c Imported_2 : 183375
1486.21/195.96	c (191,0) c Imported_3 : 184406
1486.21/195.96	c (191,0) c Imported_4 : 183368
1486.21/195.96	c (191,0) c Imported_5 : 183248
1486.21/195.96	c (191,0) c Imported_6 : 184483
1486.21/195.96	c (191,0) c Imported_7 : 184807
1486.21/195.96	c (191,0) c Imported_total : 1471598
1486.21/195.97	c (191,0) c Imported_winner : 184406
1486.21/195.97	c (191,0) c Good_0 : 40
1486.21/195.97	c (191,0) c Good_1 : 45
1486.21/195.97	c (191,0) c Good_2 : 40
1486.21/195.97	c (191,0) c Good_3 : 47
1486.21/195.97	c (191,0) c Good_4 : 46
1486.21/195.97	c (191,0) c Good_5 : 37
1486.21/195.97	c (191,0) c Good_6 : 42
1486.21/195.97	c (191,0) c Good_7 : 46
1486.21/195.97	c (191,0) c Good_total : 343
1486.21/195.97	c (191,0) c Good_winner : 47
1486.21/195.97	c (191,0) c Purge_0 : 183760
1486.21/195.97	c (191,0) c Purge_1 : 184066
1486.21/195.97	c (191,0) c Purge_2 : 183335
1486.21/195.97	c (191,0) c Purge_3 : 184359
1486.21/195.97	c (191,0) c Purge_4 : 183322
1486.21/195.97	c (191,0) c Purge_5 : 183211
1486.21/195.97	c (191,0) c Purge_6 : 184441
1486.21/195.97	c (191,0) c Purge_7 : 184761
1486.21/195.97	c (191,0) c Purge_total : 1471255
1486.21/195.97	c (191,0) c Purge_winner : 184359
1486.21/195.97	c (191,0) c Promoted_0 : 25993
1486.21/195.97	c (191,0) c Promoted_1 : 25981
1486.21/195.97	c (191,0) c Promoted_2 : 26233
1486.21/195.97	c (191,0) c Promoted_3 : 25908
1486.21/195.97	c (191,0) c Promoted_4 : 26479
1486.21/195.97	c (191,0) c Promoted_5 : 26124
1486.21/195.97	c (191,0) c Promoted_6 : 26021
1486.21/195.97	c (191,0) c Promoted_7 : 26452
1486.21/195.97	c (191,0) c Promoted_total : 209191
1486.21/195.97	c (191,0) c Promoted_winner : 25908
1486.21/195.97	c (191,0) c Remove_Imp_0 : 109650
1486.21/195.97	c (191,0) c Remove_Imp_1 : 111159
1486.21/195.97	c (191,0) c Remove_Imp_2 : 112325
1486.21/195.97	c (191,0) c Remove_Imp_3 : 111023
1486.21/195.97	c (191,0) c Remove_Imp_4 : 109059
1486.21/195.97	c (191,0) c Remove_Imp_5 : 109331
1486.21/195.97	c (191,0) c Remove_Imp_6 : 111895
1486.21/195.97	c (191,0) c Remove_Imp_7 : 110278
1486.21/195.97	c (191,0) c Remove_Imp_total : 884720
1486.21/195.97	c (191,0) c Remove_Imp_winner : 111023
1486.21/195.97	c (191,0) c Blocked_Reuse_0 : 0
1486.21/195.97	c (191,0) c Blocked_Reuse_1 : 0
1486.21/195.97	c (191,0) c Blocked_Reuse_2 : 0
1486.21/195.97	c (191,0) c Blocked_Reuse_3 : 0
1486.21/195.97	c (191,0) c Blocked_Reuse_4 : 0
1486.21/195.97	c (191,0) c Blocked_Reuse_5 : 0
1486.21/195.97	c (191,0) c Blocked_Reuse_6 : 0
1486.21/195.97	c (191,0) c Blocked_Reuse_7 : 0
1486.21/195.97	c (191,0) c Blocked_Reuse_total : 0
1486.21/195.97	c (191,0) c Blocked_Reuse_winner : 0
1486.21/195.97	c (191,0) c Unaries_0 : 1
1486.21/195.97	c (191,0) c Unaries_1 : 1
1486.21/195.97	c (191,0) c Unaries_2 : 1
1486.21/195.97	c (191,0) c Unaries_3 : 1
1486.21/195.97	c (191,0) c Unaries_4 : 2
1486.21/195.97	c (191,0) c Unaries_5 : 2
1486.21/195.97	c (191,0) c Unaries_6 : 0
1486.21/195.97	c (191,0) c Unaries_7 : 1
1486.21/195.97	c (191,0) c Unaries_total : 9
1486.21/195.97	c (191,0) c Unaries_winner : 1
1486.21/195.97	c (191,0) c Binaries_0 : 9
1486.21/195.97	c (191,0) c Binaries_1 : 4
1486.21/195.97	c (191,0) c Binaries_2 : 9
1486.21/195.97	c (191,0) c Binaries_3 : 2
1486.21/195.97	c (191,0) c Binaries_4 : 3
1486.21/195.97	c (191,0) c Binaries_5 : 12
1486.21/195.97	c (191,0) c Binaries_6 : 7
1486.21/195.97	c (191,0) c Binaries_7 : 3
1486.21/195.97	c (191,0) c Binaries_total : 49
1486.21/195.97	c (191,0) c Binaries_winner : 2
1486.21/195.97	c (191,0) c Glues_0 : 217
1486.21/195.97	c (191,0) c Glues_1 : 219
1486.21/195.97	c (191,0) c Glues_2 : 224
1486.21/195.97	c (191,0) c Glues_3 : 197
1486.21/195.97	c (191,0) c Glues_4 : 196
1486.21/195.97	c (191,0) c Glues_5 : 234
1486.21/195.97	c (191,0) c Glues_6 : 188
1486.21/195.97	c (191,0) c Glues_7 : 216
1486.21/195.97	c (191,0) c Glues_total : 1691
1486.21/195.97	c (191,0) c Glues_winner : 197
1486.21/195.97	c (191,0) c RunningTime_0 : 185.925353
1486.21/195.97	c (191,0) c RunningTime_1 : 187.645651
1486.21/195.97	c (191,0) c RunningTime_2 : 190.375458
1486.21/195.97	c (191,0) c RunningTime_3 : 183.116253
1486.21/195.97	c (191,0) c RunningTime_4 : 179.741843
1486.21/195.97	c (191,0) c RunningTime_5 : 183.954751
1486.21/195.97	c (191,0) c RunningTime_6 : 184.825589
1486.21/195.97	c (191,0) c RunningTime_7 : 186.966840
1486.21/195.97	c (191,0) c RunningTime_total : 1482.551739
1486.21/195.97	c (191,0) c RunningTime_winner : 183.116253
1486.21/195.97	c (191,0) c WaitingTime_0 : 2.741102
1486.21/195.97	c (191,0) c WaitingTime_1 : 2.764261
1486.21/195.97	c (191,0) c WaitingTime_2 : 0.001619
1486.21/195.97	c (191,0) c WaitingTime_3 : 5.516637
1486.21/195.97	c (191,0) c WaitingTime_4 : 9.043364
1486.21/195.97	c (191,0) c WaitingTime_5 : 4.765478
1486.21/195.97	c (191,0) c WaitingTime_6 : 3.935501
1486.21/195.97	c (191,0) c WaitingTime_7 : 2.133441
1486.21/195.97	c (191,0) c WaitingTime_total : 30.901403
1486.21/195.97	c (191,0) c WaitingTime_winner : 5.516637
1486.21/195.97	c (191,0) c ExchangingTime_0 : 0.122063
1486.21/195.97	c (191,0) c ExchangingTime_1 : 0.115928
1486.21/195.97	c (191,0) c ExchangingTime_2 : 0.120518
1486.21/195.97	c (191,0) c ExchangingTime_3 : 0.116094
1486.21/195.97	c (191,0) c ExchangingTime_4 : 0.111680
1486.21/195.97	c (191,0) c ExchangingTime_5 : 0.108469
1486.21/195.97	c (191,0) c ExchangingTime_6 : 0.134513
1486.21/195.97	c (191,0) c ExchangingTime_7 : 0.111937
1486.21/195.97	c (191,0) c ExchangingTime_total : 0.941202
1486.21/195.97	c (191,0) c ExchangingTime_winner : 0.116094
1486.21/195.97	c (191,0) c PeriodProcTime_0 : 0.010889
1486.21/195.97	c (191,0) c PeriodProcTime_1 : 0.011132
1486.21/195.97	c (191,0) c PeriodProcTime_2 : 0.012275
1486.21/195.97	c (191,0) c PeriodProcTime_3 : 0.010332
1486.21/195.97	c (191,0) c PeriodProcTime_4 : 0.010960
1486.21/195.97	c (191,0) c PeriodProcTime_5 : 0.011824
1486.21/195.97	c (191,0) c PeriodProcTime_6 : 0.011516
1486.21/195.97	c (191,0) c PeriodProcTime_7 : 0.012066
1486.21/195.97	c (191,0) c PeriodProcTime_total : 0.090994
1486.21/195.97	c (191,0) c PeriodProcTime_winner : 0.010332
1486.21/195.97	c (191,0) c SolvingTime_0 : 188.799406
1486.21/195.97	c (191,0) c SolvingTime_1 : 190.536972
1486.21/195.97	c (191,0) c SolvingTime_2 : 190.509871
1486.21/195.97	c (191,0) c SolvingTime_3 : 188.759316
1486.21/195.97	c (191,0) c SolvingTime_4 : 188.907846
1486.21/195.97	c (191,0) c SolvingTime_5 : 188.840521
1486.21/195.97	c (191,0) c SolvingTime_6 : 188.907120
1486.21/195.97	c (191,0) c SolvingTime_7 : 189.224284
1486.21/195.97	c (191,0) c SolvingTime_total : 1514.485337
1486.21/195.97	c (191,0) c SolvingTime_winner : 188.759316
1486.21/195.97	c (191,0) c PropagationTime_0 : 163.453608
1486.21/195.97	c (191,0) c PropagationTime_1 : 162.753142
1486.21/195.97	c (191,0) c PropagationTime_2 : 163.100811
1486.21/195.97	c (191,0) c PropagationTime_3 : 161.167131
1486.21/195.97	c (191,0) c PropagationTime_4 : 162.934417
1486.21/195.97	c (191,0) c PropagationTime_5 : 162.309928
1486.21/195.97	c (191,0) c PropagationTime_6 : 162.496352
1486.21/195.97	c (191,0) c PropagationTime_7 : 162.864940
1486.21/195.97	c (191,0) c PropagationTime_total : 1301.080329
1486.21/195.97	c (191,0) c PropagationTime_winner : 161.167131
1486.21/195.97	c (191,0) c AnalysisTime_0 : 21.356026
1486.21/195.97	c (191,0) c AnalysisTime_1 : 23.722750
1486.21/195.97	c (191,0) c AnalysisTime_2 : 23.439929
1486.21/195.97	c (191,0) c AnalysisTime_3 : 23.651929
1486.21/195.97	c (191,0) c AnalysisTime_4 : 22.060591
1486.21/195.97	c (191,0) c AnalysisTime_5 : 22.529189
1486.21/195.97	c (191,0) c AnalysisTime_6 : 22.257482
1486.21/195.97	c (191,0) c AnalysisTime_7 : 22.210737
1486.21/195.97	c (191,0) c AnalysisTime_total : 181.228634
1486.21/195.97	c (191,0) c AnalysisTime_winner : 23.651929
1486.21/195.97	c (191,0) c ReductionTime_0 : 0.567821
1486.21/195.97	c (191,0) c ReductionTime_1 : 0.588551
1486.21/195.97	c (191,0) c ReductionTime_2 : 0.523097
1486.21/195.97	c (191,0) c ReductionTime_3 : 0.513276
1486.21/195.97	c (191,0) c ReductionTime_4 : 0.521165
1486.21/195.97	c (191,0) c ReductionTime_5 : 0.543142
1486.21/195.97	c (191,0) c ReductionTime_6 : 0.579059
1486.21/195.97	c (191,0) c ReductionTime_7 : 0.529614
1486.21/195.97	c (191,0) c ReductionTime_total : 4.365725
1486.21/195.97	c (191,0) c ReductionTime_winner : 0.513276
1486.21/195.97	c (191,0) c SimplifyTime_0 : 0.060614
1486.21/195.97	c (191,0) c SimplifyTime_1 : 0.066310
1486.21/195.97	c (191,0) c SimplifyTime_2 : 0.062452
1486.21/195.97	c (191,0) c SimplifyTime_3 : 0.058909
1486.21/195.97	c (191,0) c SimplifyTime_4 : 0.067303
1486.21/195.97	c (191,0) c SimplifyTime_5 : 0.063843
1486.21/195.97	c (191,0) c SimplifyTime_6 : 0.064094
1486.21/195.97	c (191,0) c SimplifyTime_7 : 0.062607
1486.21/195.97	c (191,0) c SimplifyTime_total : 0.506133
1486.21/195.97	c (191,0) c SimplifyTime_winner : 0.058909
1486.21/195.97	c (191,0) c UsedRateTime_0 : 0.000000
1486.21/195.97	c (191,0) c UsedRateTime_1 : 0.000000
1486.21/195.97	c (191,0) c UsedRateTime_2 : 0.000000
1486.21/195.97	c (191,0) c UsedRateTime_3 : 0.000000
1486.21/195.97	c (191,0) c UsedRateTime_4 : 0.000000
1486.21/195.97	c (191,0) c UsedRateTime_5 : 0.000000
1486.21/195.97	c (191,0) c UsedRateTime_6 : 0.000000
1486.21/195.97	c (191,0) c UsedRateTime_7 : 0.000000
1486.21/195.97	c (191,0) c UsedRateTime_total : 0.000000
1486.21/195.97	c (191,0) c UsedRateTime_winner : 0.000000
1486.21/195.97	c (191,0) c OverlapRateTime_0 : 0.000000
1486.21/195.97	c (191,0) c OverlapRateTime_1 : 0.000000
1486.21/195.97	c (191,0) c OverlapRateTime_2 : 0.000000
1486.21/195.97	c (191,0) c OverlapRateTime_3 : 0.000000
1486.21/195.97	c (191,0) c OverlapRateTime_4 : 0.000000
1486.21/195.97	c (191,0) c OverlapRateTime_5 : 0.000000
1486.21/195.97	c (191,0) c OverlapRateTime_6 : 0.000000
1486.21/195.97	c (191,0) c OverlapRateTime_7 : 0.000000
1486.21/195.97	c (191,0) c OverlapRateTime_total : 0.000000
1486.21/195.97	c (191,0) c OverlapRateTime_winner : 0.000000
1486.21/195.97	c (191,0) c
1486.21/195.97	c (191,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1486.21/195.97	c (191,0) c
1486.21/195.97	c (191,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1486.21/195.97	c (191,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1486.21/195.97	c (191,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1486.21/195.97	c (191,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1486.21/195.97	c (191,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1486.21/195.97	c (191,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1486.21/195.97	c (191,0) c | Initial random_seed   | 1607724209 | 1043939906 |  274136171 | 1631451274 | 1478223978 |  590483981 |  834846748 |   72031239 |
1486.21/195.97	c (191,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1486.21/195.97	c (191,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1486.21/195.97	c (191,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1486.21/195.97	c (191,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1486.21/195.97	c (191,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1486.21/195.97	c (191,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1486.21/195.97	c (191,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1486.21/195.97	c (191,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1486.21/195.97	c (191,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1486.21/195.97	c (191,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1486.21/195.97	c (191,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1486.21/195.97	c (191,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1486.21/195.97	c (191,0) 
1486.21/195.97	c (191,0) s SATISFIABLE
1486.50/196.03	c (191,0) SatSolver.solve End
1486.50/196.03	c (191,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1486.50/196.03	c (191,0) Show results Begin
1486.75/196.13	c (192,0) x[0] = 315
1486.75/196.13	c (192,0) x[1] = 427
1486.75/196.13	c (192,0) x[2] = 360
1486.75/196.13	c (192,0) x[3] = 271
1486.75/196.13	c (192,0) x[4] = 153
1486.75/196.13	c (192,0) x[5] = 288
1486.75/196.13	c (192,0) x[6] = 288
1486.75/196.13	c (192,0) x[7] = 271
1486.75/196.13	c (192,0) x[8] = 326
1486.75/196.13	c (192,0) x[9] = 375
1486.75/196.13	c (192,0) x[10] = 315
1486.75/196.13	c (192,0) x[11] = 210
1486.75/196.13	c (192,0) x[12] = 359
1486.75/196.13	c (192,0) x[13] = 359
1486.75/196.13	c (192,0) x[14] = 288
1486.75/196.13	c (192,0) x[15] = 440
1486.75/196.13	c (192,0) x[16] = 427
1486.75/196.13	c (192,0) x[17] = 153
1486.75/196.13	c (192,0) x[18] = 210
1486.75/196.13	c (192,0) x[19] = 0
1486.75/196.13	c (192,0) x[20] = 375
1486.75/196.13	c (192,0) x[21] = 0
1486.75/196.13	c (192,0) x[22] = 360
1486.75/196.13	c (192,0) x[23] = 171
1486.75/196.13	c (192,0) x[24] = 0
1486.75/196.13	c (192,0) y[0] = 209
1486.75/196.13	c (192,0) y[1] = 81
1486.75/196.13	c (192,0) y[2] = 345
1486.75/196.13	c (192,0) y[3] = 193
1486.75/196.13	c (192,0) y[4] = 345
1486.75/196.13	c (192,0) y[5] = 193
1486.75/196.13	c (192,0) y[6] = 220
1486.75/196.13	c (192,0) y[7] = 149
1486.75/196.13	c (192,0) y[8] = 209
1486.75/196.13	c (192,0) y[9] = 149
1486.75/196.13	c (192,0) y[10] = 149
1486.75/196.13	c (192,0) y[11] = 149
1486.75/196.13	c (192,0) y[12] = 81
1486.75/196.13	c (192,0) y[13] = 0
1486.75/196.13	c (192,0) y[14] = 258
1486.75/196.13	c (192,0) y[15] = 0
1486.75/196.13	c (192,0) y[16] = 94
1486.75/196.13	c (192,0) y[17] = 210
1486.75/196.13	c (192,0) y[18] = 0
1486.75/196.13	c (192,0) y[19] = 210
1486.75/196.13	c (192,0) y[20] = 201
1486.75/196.13	c (192,0) y[21] = 363
1486.75/196.13	c (192,0) y[22] = 360
1486.75/196.13	c (192,0) y[23] = 345
1486.75/196.14	c (192,0) y[24] = 0
1486.75/196.14	s SATISFIABLE
1486.75/196.14	v <instantiation>
1486.75/196.14	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>
1486.75/196.14	v     <values>315 427 360 271 153 288 288 271 326 375 315 210 359 359 288 440 427 153 210 0 375 0 360 171 0 209 81 345 193 345 193 220 149 209 149 149 149 81 0 258 0 94 210 0 210 201 363 360 345 0</values>
1486.75/196.14	v </instantiation>
1486.75/196.14	c (192,0) Show results End
1486.75/196.14	c (192,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1486.75/196.14	c (192,0) 191,192,STOP-AFTER(ALL)
1486.75/196.14	c END-Prog: Sat Sep 14 05:12:31 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 (10596 MiB free)
  memory of node 1: 16384 MiB (13431 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=15063, runsolver pid=15060

[startup+0.100167 s]*
/proc/loadavg: 7.57 7.89 7.66 3/212 15085
/proc/meminfo: memFree=24510196/32770624 swapFree=66999292/67108860
[pid=15063] ppid=15060 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15063/stat : 15063 (scop.sh) S 15060 15063 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418997901 115843072 349 33554432000 4194304 5098028 140722388116752 140722388114008 140223841620604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18993152 140722388124452 140722388124780 140722388124780 140722388127693 0
/proc/15063/statm: 28282 349 296 221 0 87 0
[pid=15066] ppid=15063 vsize=27314120 memory=106344 CPUtime=0.1 cores=0-7
/proc/15066/stat : 15066 (java) S 15063 15063 14887 0 -1 1077944320 6662 0 0 0 8 2 0 0 20 0 20 0 418997902 27969658880 26586 33554432000 4194304 4196468 140722814812528 140722814795072 140174458625783 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
/proc/15066/statm: 6828530 26586 2799 1 0 6790935 0
[pid=15066/tid=15067] ppid=15063 vsize=27314120 memory=7681340447573057437 CPUtime=0.09 cores=0-7
/proc/15066/task/15067/stat : 15067 (java) R 15063 15063 14887 0 -1 4202560 4759 0 0 0 7 2 0 0 20 0 20 0 418997902 27969658880 26586 33554432000 4194304 4196468 140722814812528 140174430448064 140174442706270 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15068] ppid=15063 vsize=27314120 memory=732370587251710949 CPUtime=0 cores=0-7
/proc/15066/task/15068/stat : 15068 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997904 27969658880 26586 33554432000 4194304 4196468 140722814812528 140174462868368 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15069] ppid=15063 vsize=27314120 memory=140448914257536 CPUtime=0 cores=0-7
/proc/15066/task/15069/stat : 15069 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997904 27969658880 26586 33554432000 4194304 4196468 140722814812528 140174246263568 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15070] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15070/stat : 15070 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418997904 27969658880 26586 33554432000 4194304 4196468 140722814812528 140174245211280 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15071] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15071/stat : 15071 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 26586 33554432000 4194304 4196468 140722814812528 140173878746128 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15072] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15072/stat : 15072 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 26586 33554432000 4194304 4196468 140722814812528 140173877692816 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15073] ppid=15063 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15066/task/15073/stat : 15073 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 26586 33554432000 4194304 4196468 140722814812528 140173876640016 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15074] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15074/stat : 15074 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 26586 33554432000 4194304 4196468 140722814812528 140173875587728 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15075] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15075/stat : 15075 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 26586 33554432000 4194304 4196468 140722814812528 140173874534928 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15076] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15076/stat : 15076 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418997906 27969658880 26586 33554432000 4194304 4196468 140722814812528 140172623567472 140174458636930 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15077] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15077/stat : 15077 (java) S 15063 15063 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418997907 27969658880 26586 33554432000 4194304 4196468 140722814812528 140172364604704 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15078] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15078/stat : 15078 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997907 27969658880 26586 33554432000 4194304 4196468 140722814812528 140172096169584 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15079] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15079/stat : 15079 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 26586 33554432000 4194304 4196468 140722814812528 140171721661008 140174458644379 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15080] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15080/stat : 15080 (java) S 15063 15063 14887 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 26586 33554432000 4194304 4196468 140722814812528 140172622514288 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15081] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15081/stat : 15081 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 26586 33554432000 4194304 4196468 140722814812528 140172621461488 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15082] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15082/stat : 15082 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 26586 33554432000 4194304 4196468 140722814812528 140172620409200 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15083] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15083/stat : 15083 (java) S 15063 15063 14887 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 26586 33554432000 4194304 4196468 140722814812528 140172619356400 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15084] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15084/stat : 15084 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 26586 33554432000 4194304 4196468 140722814812528 140171223755616 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15085] ppid=15063 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15066/task/15085/stat : 15085 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997910 27969658880 26586 33554432000 4194304 4196468 140722814812528 140172618304304 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107740 KiB

[startup+0.21026 s]*
/proc/loadavg: 7.57 7.89 7.66 2/212 15085
/proc/meminfo: memFree=24489204/32770624 swapFree=66999292/67108860
[pid=15063] ppid=15060 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15063/stat : 15063 (scop.sh) S 15060 15063 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418997901 115843072 349 33554432000 4194304 5098028 140722388116752 140722388114008 140223841620604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18993152 140722388124452 140722388124780 140722388124780 140722388127693 0
/proc/15063/statm: 28282 349 296 221 0 87 0
[pid=15066] ppid=15063 vsize=27314120 memory=125680 CPUtime=0.24 cores=0-7
/proc/15066/stat : 15066 (java) S 15063 15063 14887 0 -1 1077944320 12274 0 0 0 20 4 0 0 20 0 20 0 418997902 27969658880 31420 33554432000 4194304 4196468 140722814812528 140722814795072 140174458625783 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
/proc/15066/statm: 6828530 31420 2963 1 0 6790935 0
[pid=15066/tid=15067] ppid=15063 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/15066/task/15067/stat : 15067 (java) R 15063 15063 14887 0 -1 4202560 9986 0 0 0 16 3 0 0 20 0 20 0 418997902 27969658880 31420 33554432000 4194304 4196468 140722814812528 140174430425168 140174440189335 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15068] ppid=15063 vsize=27314120 memory=732370587251710949 CPUtime=0 cores=0-7
/proc/15066/task/15068/stat : 15068 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997904 27969658880 31420 33554432000 4194304 4196468 140722814812528 140174462868368 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15069] ppid=15063 vsize=27314120 memory=140448914257536 CPUtime=0 cores=0-7
/proc/15066/task/15069/stat : 15069 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997904 27969658880 31420 33554432000 4194304 4196468 140722814812528 140174246263568 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15070] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15070/stat : 15070 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418997904 27969658880 31420 33554432000 4194304 4196468 140722814812528 140174245211280 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15071] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15071/stat : 15071 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 31420 33554432000 4194304 4196468 140722814812528 140173878746128 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15072] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15072/stat : 15072 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 31420 33554432000 4194304 4196468 140722814812528 140173877692816 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15073] ppid=15063 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15066/task/15073/stat : 15073 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 31420 33554432000 4194304 4196468 140722814812528 140173876640016 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15074] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15074/stat : 15074 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 31420 33554432000 4194304 4196468 140722814812528 140173875587728 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15075] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15075/stat : 15075 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 31420 33554432000 4194304 4196468 140722814812528 140173874534928 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15076] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15076/stat : 15076 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418997906 27969658880 31420 33554432000 4194304 4196468 140722814812528 140172623567472 140174458636930 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15077] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15077/stat : 15077 (java) S 15063 15063 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418997907 27969658880 31420 33554432000 4194304 4196468 140722814812528 140172364604704 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15078] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15078/stat : 15078 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997907 27969658880 31420 33554432000 4194304 4196468 140722814812528 140172096169584 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15079] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15079/stat : 15079 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 31420 33554432000 4194304 4196468 140722814812528 140171721661008 140174458644379 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15080] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15080/stat : 15080 (java) S 15063 15063 14887 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 31420 33554432000 4194304 4196468 140722814812528 140172622514288 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15081] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15081/stat : 15081 (java) S 15063 15063 14887 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 31420 33554432000 4194304 4196468 140722814812528 140172621461488 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15082] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15082/stat : 15082 (java) S 15063 15063 14887 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 31420 33554432000 4194304 4196468 140722814812528 140172620409200 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15083] ppid=15063 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/15066/task/15083/stat : 15083 (java) S 15063 15063 14887 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 20 0 418997909 27969658880 31420 33554432000 4194304 4196468 140722814812528 140172619356400 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15084] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15084/stat : 15084 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 31420 33554432000 4194304 4196468 140722814812528 140171223755616 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15085] ppid=15063 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15066/task/15085/stat : 15085 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997910 27969658880 31420 33554432000 4194304 4196468 140722814812528 140172618304304 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127076 KiB

[startup+0.309588 s]*
/proc/loadavg: 7.57 7.89 7.66 2/212 15085
/proc/meminfo: memFree=24485876/32770624 swapFree=66999292/67108860
[pid=15063] ppid=15060 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15063/stat : 15063 (scop.sh) S 15060 15063 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418997901 115843072 349 33554432000 4194304 5098028 140722388116752 140722388114008 140223841620604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18993152 140722388124452 140722388124780 140722388124780 140722388127693 0
/proc/15063/statm: 28282 349 296 221 0 87 0
[pid=15066] ppid=15063 vsize=27314120 memory=129568 CPUtime=0.42 cores=0-7
/proc/15066/stat : 15066 (java) S 15063 15063 14887 0 -1 1077944320 12783 0 0 0 38 4 0 0 20 0 20 0 418997902 27969658880 32392 33554432000 4194304 4196468 140722814812528 140722814795072 140174458625783 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
/proc/15066/statm: 6828530 32392 3017 1 0 6790935 0
[pid=15066/tid=15067] ppid=15063 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15066/task/15067/stat : 15067 (java) R 15063 15063 14887 0 -1 4202560 10309 0 0 0 26 3 0 0 20 0 20 0 418997902 27969658880 32392 33554432000 4194304 4196468 140722814812528 140174430438128 140174441812592 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15068] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15068/stat : 15068 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997904 27969658880 32392 33554432000 4194304 4196468 140722814812528 140174462868368 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15069] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15069/stat : 15069 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997904 27969658880 32392 33554432000 4194304 4196468 140722814812528 140174246263568 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15070] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15070/stat : 15070 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418997904 27969658880 32392 33554432000 4194304 4196468 140722814812528 140174245211280 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15071] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15071/stat : 15071 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 32392 33554432000 4194304 4196468 140722814812528 140173878746128 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15072] ppid=15063 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/15066/task/15072/stat : 15072 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 32392 33554432000 4194304 4196468 140722814812528 140173877692816 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15073] ppid=15063 vsize=27314120 memory=140448786117551 CPUtime=0 cores=0-7
/proc/15066/task/15073/stat : 15073 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 32392 33554432000 4194304 4196468 140722814812528 140173876640016 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15074] ppid=15063 vsize=27314120 memory=140448786119856 CPUtime=0 cores=0-7
/proc/15066/task/15074/stat : 15074 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 32392 33554432000 4194304 4196468 140722814812528 140173875587728 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15075] ppid=15063 vsize=27314120 memory=140448786122160 CPUtime=0 cores=0-7
/proc/15066/task/15075/stat : 15075 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997905 27969658880 32392 33554432000 4194304 4196468 140722814812528 140173874534928 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15076] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15076/stat : 15076 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418997906 27969658880 32392 33554432000 4194304 4196468 140722814812528 140172623567472 140174458636930 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15077] ppid=15063 vsize=27314120 memory=280897572251280 CPUtime=0 cores=0-7
/proc/15066/task/15077/stat : 15077 (java) S 15063 15063 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418997907 27969658880 32392 33554432000 4194304 4196468 140722814812528 140172364604704 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15078] ppid=15063 vsize=27314120 memory=280897572258192 CPUtime=0 cores=0-7
/proc/15066/task/15078/stat : 15078 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997907 27969658880 32392 33554432000 4194304 4196468 140722814812528 140172096169584 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15079] ppid=15063 vsize=27314120 memory=280897572199344 CPUtime=0 cores=0-7
/proc/15066/task/15079/stat : 15079 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 32392 33554432000 4194304 4196468 140722814812528 140171721661008 140174458644379 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15080] ppid=15063 vsize=27314120 memory=280897572272016 CPUtime=0.01 cores=0-7
/proc/15066/task/15080/stat : 15080 (java) S 15063 15063 14887 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 418997909 27969658880 32392 33554432000 4194304 4196468 140722814812528 140172622514288 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15081] ppid=15063 vsize=27314120 memory=280897572278928 CPUtime=0.01 cores=0-7
/proc/15066/task/15081/stat : 15081 (java) R 15063 15063 14887 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 20 0 418997909 27969658880 32392 33554432000 4194304 4196468 140722814812528 140172621461488 140174436260432 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15082] ppid=15063 vsize=27314120 memory=280897572276624 CPUtime=0 cores=0-7
/proc/15066/task/15082/stat : 15082 (java) S 15063 15063 14887 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 32392 33554432000 4194304 4196468 140722814812528 140172620409200 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15083] ppid=15063 vsize=27314120 memory=280897572292784 CPUtime=0.07 cores=0-7
/proc/15066/task/15083/stat : 15083 (java) S 15063 15063 14887 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 20 0 418997909 27969658880 32392 33554432000 4194304 4196468 140722814812528 140172619356400 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15084] ppid=15063 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15084/stat : 15084 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418997909 27969658880 32392 33554432000 4194304 4196468 140722814812528 140171223755616 140174458635989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15085] ppid=15063 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15066/task/15085/stat : 15085 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997910 27969658880 32392 33554432000 4194304 4196468 140722814812528 140172618304304 140174458636930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130964 KiB

[startup+0.70088 s]
/proc/loadavg: 7.57 7.89 7.66 2/212 15085
/proc/meminfo: memFree=24465492/32770624 swapFree=66999292/67108860
[pid=15063] ppid=15060 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15063/stat : 15063 (scop.sh) S 15060 15063 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418997901 115843072 349 33554432000 4194304 5098028 140722388116752 140722388114008 140223841620604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18993152 140722388124452 140722388124780 140722388124780 140722388127693 0
/proc/15063/statm: 28282 349 296 221 0 87 0
[pid=15066] ppid=15063 vsize=27322516 memory=165636 CPUtime=0.98 cores=0-7
/proc/15066/stat : 15066 (java) S 15063 15063 14887 0 -1 1077944320 20600 0 0 0 91 7 0 0 20 0 20 0 418997902 27978256384 41409 33554432000 4194304 4196468 140722814812528 140722814795072 140174458625783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
/proc/15066/statm: 6830629 41409 3200 1 0 6791959 0
[pid=15066/tid=15067] ppid=15063 vsize=27322516 memory=280897572587712 CPUtime=0.67 cores=0-7
/proc/15066/task/15067/stat : 15067 (java) R 15063 15063 14887 0 -1 4202560 17530 0 0 0 62 5 0 0 20 0 20 0 418997902 27978256384 41409 33554432000 4194304 4196468 140722814812528 140174430457520 140174442706270 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15068] ppid=15063 vsize=27322516 memory=5162550690983 CPUtime=0 cores=0-7
/proc/15066/task/15068/stat : 15068 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997904 27978256384 41409 33554432000 4194304 4196468 140722814812528 140174462868368 140174458635989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15069] ppid=15063 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15069/stat : 15069 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418997904 27978256384 41409 33554432000 4194304 4196468 140722814812528 140174246263568 140174458635989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0
[pid=15066/tid=15070] ppid=15063 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/15066/task/15070/stat : 15070 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418997904 27978256384 41409 33554432000 4194304 4196468 140722814812528 140174245211280 140174458635989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9416704 140722814821098 140722814821526 140722814821526 140722814824399 0

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

[pid=15086/tid=15088] ppid=15063 vsize=8414124 memory=1048 CPUtime=0 cores=0-7
/proc/15086/task/15088/stat : 15088 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418998275 8616062976 29622 33554432000 4194304 4196468 140724127964096 140617843333520 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15089] ppid=15063 vsize=8414124 memory=5900 CPUtime=0 cores=0-7
/proc/15086/task/15089/stat : 15089 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418998275 8616062976 29622 33554432000 4194304 4196468 140724127964096 140617643501840 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15090] ppid=15063 vsize=8414124 memory=612 CPUtime=0 cores=0-7
/proc/15086/task/15090/stat : 15090 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418998275 8616062976 29622 33554432000 4194304 4196468 140724127964096 140617642449552 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15091] ppid=15063 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/15086/task/15091/stat : 15091 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418998275 8616062976 29622 33554432000 4194304 4196468 140724127964096 140617641396752 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15092] ppid=15063 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/15086/task/15092/stat : 15092 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418998275 8616062976 29622 33554432000 4194304 4196468 140724127964096 140617640344464 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15093] ppid=15063 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15086/task/15093/stat : 15093 (java) S 15063 15063 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418998275 8616062976 29622 33554432000 4194304 4196468 140724127964096 140617639291664 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15094] ppid=15063 vsize=8414124 memory=288230617492226348 CPUtime=0 cores=0-7
/proc/15086/task/15094/stat : 15094 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418998275 8616062976 29622 33554432000 4194304 4196468 140724127964096 140617638239376 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15095] ppid=15063 vsize=8414124 memory=280897573397856 CPUtime=0 cores=0-7
/proc/15086/task/15095/stat : 15095 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418998275 8616062976 29622 33554432000 4194304 4196468 140724127964096 140617637186576 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15096] ppid=15063 vsize=8414124 memory=7235147594880805952 CPUtime=0 cores=0-7
/proc/15086/task/15096/stat : 15096 (java) S 15063 15063 14887 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418998277 8616062976 29622 33554432000 4194304 4196468 140724127964096 140616932649072 140617839102594 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15097] ppid=15063 vsize=8414124 memory=6154544246623129961 CPUtime=0 cores=0-7
/proc/15086/task/15097/stat : 15097 (java) S 15063 15063 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418998277 8616062976 29622 33554432000 4194304 4196468 140724127964096 140616423957280 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15098] ppid=15063 vsize=8414124 memory=7512114543601282149 CPUtime=0 cores=0-7
/proc/15086/task/15098/stat : 15098 (java) S 15063 15063 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418998277 8616062976 29622 33554432000 4194304 4196468 140724127964096 140616289735792 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15099] ppid=15063 vsize=8414124 memory=7084813470051689040 CPUtime=0 cores=0-7
/proc/15086/task/15099/stat : 15099 (java) S 15063 15063 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418998280 8616062976 29622 33554432000 4194304 4196468 140724127964096 140615915231312 140617839110043 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15100] ppid=15063 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/15086/task/15100/stat : 15100 (java) S 15063 15063 14887 0 -1 1077944384 540 0 0 0 3 0 0 0 20 0 24 0 418998280 8616062976 29622 33554432000 4194304 4196468 140724127964096 140616931596912 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15101] ppid=15063 vsize=8414124 memory=280897572722728 CPUtime=0.06 cores=0-7
/proc/15086/task/15101/stat : 15101 (java) S 15063 15063 14887 0 -1 1077944384 314 0 0 0 6 0 0 0 20 0 24 0 418998280 8616062976 29622 33554432000 4194304 4196468 140724127964096 140616930544112 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15102] ppid=15063 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/15086/task/15102/stat : 15102 (java) S 15063 15063 14887 0 -1 1077944384 238 0 0 0 7 0 0 0 20 0 24 0 418998280 8616062976 29622 33554432000 4194304 4196468 140724127964096 140616929491824 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15103] ppid=15063 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/15086/task/15103/stat : 15103 (java) S 15063 15063 14887 0 -1 1077944384 709 0 0 0 20 0 0 0 20 0 24 0 418998280 8616062976 29622 33554432000 4194304 4196468 140724127964096 140616928439024 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15104] ppid=15063 vsize=8414124 memory=996268 CPUtime=0 cores=0-7
/proc/15086/task/15104/stat : 15104 (java) S 15063 15063 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418998280 8616062976 29622 33554432000 4194304 4196468 140724127964096 140615417325920 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15105] ppid=15063 vsize=8414124 memory=19480 CPUtime=0.12 cores=0-7
/proc/15086/task/15105/stat : 15105 (java) S 15063 15063 14887 0 -1 1077944384 15 0 0 0 4 8 0 0 20 0 24 0 418998280 8616062976 29622 33554432000 4194304 4196468 140724127964096 140616927385904 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15107] ppid=15063 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/15086/task/15107/stat : 15107 (java) S 15063 15063 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418998345 8616062976 29622 33554432000 4194304 4196468 140724127964096 140616919352640 140617839116057 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15109] ppid=15063 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/15086/task/15109/stat : 15109 (java) S 15063 15063 14887 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418998346 8616062976 29622 33554432000 4194304 4196468 140724127964096 140614746226576 140617839113373 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15110] ppid=15063 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/15086/task/15110/stat : 15110 (java) S 15063 15063 14887 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418998346 8616062976 29622 33554432000 4194304 4196468 140724127964096 140615014661904 140617839113373 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15111] ppid=15063 vsize=8414124 memory=3680 CPUtime=0 cores=0-7
/proc/15086/task/15111/stat : 15111 (java) S 15063 15063 14887 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418998348 8616062976 29622 33554432000 4194304 4196468 140724127964096 140614477799216 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
Current children cumulated CPU time: 1485.61 s
Current children cumulated vsize: 9959156 KiB
Current children cumulated memory: 1116232 KiB

[startup+196.006 s]*
/proc/loadavg: 7.92 7.91 7.71 4/218 15138
/proc/meminfo: memFree=24346244/32770624 swapFree=66999292/67108860
[pid=15063] ppid=15060 vsize=113128 memory=1476 CPUtime=6.48 cores=0-7
/proc/15063/stat : 15063 (scop.sh) S 15060 15063 14887 0 -1 4202496 583 27879 0 0 0 0 613 35 20 0 1 0 418997901 115843072 369 33554432000 4194304 5098028 140722388116752 140722388113496 140223841620604 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18993152 140722388124452 140722388124780 140722388124780 140722388127693 0
/proc/15063/statm: 28282 369 311 221 0 87 0
[pid=15086] ppid=15063 vsize=8414124 memory=128184 CPUtime=1480.02 cores=0-7
/proc/15086/stat : 15086 (java) S 15063 15063 14887 0 -1 1077944320 21010 847012 0 0 136 8 147669 189 20 0 23 0 418998273 8616062976 32046 33554432000 4194304 4196468 140724127964096 140724127946640 140617839091447 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
/proc/15086/statm: 2103531 32046 3219 1 0 2064875 0
[pid=15086/tid=15087] ppid=15063 vsize=8414124 memory=6791534058613427641 CPUtime=1479.32 cores=0-7
/proc/15086/task/15087/stat : 15087 (java) S 15063 15063 14887 0 -1 1077944384 16389 847012 0 0 70 4 147669 189 20 0 23 0 418998274 8616062976 32046 33554432000 4194304 4196468 140724127964096 140617810931616 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15088] ppid=15063 vsize=8414124 memory=1652 CPUtime=1478.58 cores=0-7
/proc/15086/task/15088/stat : 15088 (java) S 15063 15063 14887 0 -1 1077944384 1 847012 0 0 0 0 147669 189 20 0 23 0 418998275 8616062976 32046 33554432000 4194304 4196468 140724127964096 140617843333520 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15089] ppid=15063 vsize=8414124 memory=1980 CPUtime=1478.58 cores=0-7
/proc/15086/task/15089/stat : 15089 (java) S 15063 15063 14887 0 -1 1077944384 1 847012 0 0 0 0 147669 189 20 0 23 0 418998275 8616062976 32046 33554432000 4194304 4196468 140724127964096 140617643501840 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15090] ppid=15063 vsize=8414124 memory=2540 CPUtime=1478.58 cores=0-7
/proc/15086/task/15090/stat : 15090 (java) S 15063 15063 14887 0 -1 1077944384 2 847012 0 0 0 0 147669 189 20 0 23 0 418998275 8616062976 32046 33554432000 4194304 4196468 140724127964096 140617642449552 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15091] ppid=15063 vsize=8414124 memory=-7003737579269690708 CPUtime=1478.58 cores=0-7
/proc/15086/task/15091/stat : 15091 (java) S 15063 15063 14887 0 -1 1077944384 1 847012 0 0 0 0 147669 189 20 0 23 0 418998275 8616062976 32046 33554432000 4194304 4196468 140724127964096 140617641396752 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15092] ppid=15063 vsize=8414124 memory=996216 CPUtime=1478.58 cores=0-7
/proc/15086/task/15092/stat : 15092 (java) S 15063 15063 14887 0 -1 1077944384 2 847012 0 0 0 0 147669 189 20 0 23 0 418998275 8616062976 32046 33554432000 4194304 4196468 140724127964096 140617640344464 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15093] ppid=15063 vsize=8414124 memory=40432 CPUtime=1478.58 cores=0-7
/proc/15086/task/15093/stat : 15093 (java) S 15063 15063 14887 0 -1 1077944384 2 847012 0 0 0 0 147669 189 20 0 23 0 418998275 8616062976 32046 33554432000 4194304 4196468 140724127964096 140617639291664 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15094] ppid=15063 vsize=8414124 memory=988 CPUtime=1478.58 cores=0-7
/proc/15086/task/15094/stat : 15094 (java) S 15063 15063 14887 0 -1 1077944384 3 847012 0 0 0 0 147669 189 20 0 23 0 418998275 8616062976 32046 33554432000 4194304 4196468 140724127964096 140617638239376 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15095] ppid=15063 vsize=8414124 memory=2016 CPUtime=1478.58 cores=0-7
/proc/15086/task/15095/stat : 15095 (java) S 15063 15063 14887 0 -1 1077944384 1 847012 0 0 0 0 147669 189 20 0 23 0 418998275 8616062976 32046 33554432000 4194304 4196468 140724127964096 140617637186576 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15096] ppid=15063 vsize=8414124 memory=1424 CPUtime=1478.58 cores=0-7
/proc/15086/task/15096/stat : 15096 (java) S 15063 15063 14887 0 -1 1077944384 8 847012 0 0 0 0 147669 189 20 0 23 0 418998277 8616062976 32046 33554432000 4194304 4196468 140724127964096 140616932649072 140617839102594 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15097] ppid=15063 vsize=8414124 memory=1540 CPUtime=1478.58 cores=0-7
/proc/15086/task/15097/stat : 15097 (java) S 15063 15063 14887 0 -1 1077944384 13 847012 0 0 0 0 147669 189 20 0 23 0 418998277 8616062976 32046 33554432000 4194304 4196468 140724127964096 140616423957280 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15098] ppid=15063 vsize=8414124 memory=772 CPUtime=1478.58 cores=0-7
/proc/15086/task/15098/stat : 15098 (java) S 15063 15063 14887 0 -1 1077944384 21 847012 0 0 0 0 147669 189 20 0 23 0 418998277 8616062976 32046 33554432000 4194304 4196468 140724127964096 140616289735792 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15099] ppid=15063 vsize=8414124 memory=10596 CPUtime=1478.58 cores=0-7
/proc/15086/task/15099/stat : 15099 (java) S 15063 15063 14887 0 -1 1077944384 1 847012 0 0 0 0 147669 189 20 0 23 0 418998280 8616062976 32046 33554432000 4194304 4196468 140724127964096 140615915231312 140617839110043 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15100] ppid=15063 vsize=8414124 memory=1712 CPUtime=1478.64 cores=0-7
/proc/15086/task/15100/stat : 15100 (java) R 15063 15063 14887 0 -1 1077944384 823 847012 0 0 6 0 147669 189 20 0 23 0 418998280 8616062976 32046 33554432000 4194304 4196468 140724127964096 140616931596912 140617839103382 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15101] ppid=15063 vsize=8414124 memory=988 CPUtime=1478.68 cores=0-7
/proc/15086/task/15101/stat : 15101 (java) R 15063 15063 14887 0 -1 4202560 623 847012 0 0 10 0 147669 189 20 0 23 0 418998280 8616062976 32046 33554432000 4194304 4196468 140724127964096 140616930544112 140617832076489 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15102] ppid=15063 vsize=8414124 memory=4004 CPUtime=1478.67 cores=0-7
/proc/15086/task/15102/stat : 15102 (java) R 15063 15063 14887 0 -1 1077944384 254 847012 0 0 9 0 147669 189 20 0 23 0 418998280 8616062976 32046 33554432000 4194304 4196468 140724127964096 140616929491824 140617839102594 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15103] ppid=15063 vsize=8414124 memory=996268 CPUtime=1478.81 cores=0-7
/proc/15086/task/15103/stat : 15103 (java) R 15063 15063 14887 0 -1 4202560 927 847012 0 0 23 0 147669 189 20 0 23 0 418998280 8616062976 32046 33554432000 4194304 4196468 140724127964096 140616928439024 140617823640226 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15104] ppid=15063 vsize=8414124 memory=1476 CPUtime=1478.58 cores=0-7
/proc/15086/task/15104/stat : 15104 (java) S 15063 15063 14887 0 -1 1077944384 3 847012 0 0 0 0 147669 189 20 0 23 0 418998280 8616062976 32046 33554432000 4194304 4196468 140724127964096 140615417325920 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15105] ppid=15063 vsize=8414124 memory=118488 CPUtime=1478.7 cores=0-7
/proc/15086/task/15105/stat : 15105 (java) S 15063 15063 14887 0 -1 1077944384 15 847012 0 0 4 8 147669 189 20 0 23 0 418998280 8616062976 32046 33554432000 4194304 4196468 140724127964096 140616927385904 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15107] ppid=15063 vsize=8414124 memory=996216 CPUtime=1478.58 cores=0-7
/proc/15086/task/15107/stat : 15107 (java) S 15063 15063 14887 0 -1 1077944384 25 847012 0 0 0 0 147669 189 20 0 23 0 418998345 8616062976 32046 33554432000 4194304 4196468 140724127964096 140616919351824 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15109] ppid=15063 vsize=8414124 memory=996216 CPUtime=1478.63 cores=0-7
/proc/15086/task/15109/stat : 15109 (java) R 15063 15063 14887 0 -1 4202560 561 847012 0 0 5 0 147669 189 20 0 23 0 418998346 8616062976 32046 33554432000 4194304 4196468 140724127964096 140614746232752 140617839103382 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15111] ppid=15063 vsize=8414124 memory=1436 CPUtime=1478.58 cores=0-7
/proc/15086/task/15111/stat : 15111 (java) S 15063 15063 14887 0 -1 1077944384 8 847012 0 0 0 0 147669 189 20 0 23 0 418998348 8616062976 32046 33554432000 4194304 4196468 140724127964096 140614477798976 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
Current children cumulated CPU time: 1486.5 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 129660 KiB

[startup+196.111 s]
/proc/loadavg: 7.92 7.91 7.71 4/218 15138
/proc/meminfo: memFree=24346244/32770624 swapFree=66999292/67108860
[pid=15063] ppid=15060 vsize=113128 memory=1476 CPUtime=6.48 cores=0-7
/proc/15063/stat : 15063 (scop.sh) S 15060 15063 14887 0 -1 4202496 583 27879 0 0 0 0 613 35 20 0 1 0 418997901 115843072 369 33554432000 4194304 5098028 140722388116752 140722388113496 140223841620604 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18993152 140722388124452 140722388124780 140722388124780 140722388127693 0
/proc/15063/statm: 28282 369 311 221 0 87 0
[pid=15086] ppid=15063 vsize=8283048 memory=131736 CPUtime=1480.27 cores=0-7
/proc/15086/stat : 15086 (java) S 15063 15063 14887 0 -1 1077944320 22438 847012 0 0 160 9 147669 189 20 0 22 0 418998273 8481841152 32934 33554432000 4194304 4196468 140724127964096 140724127946640 140617839091447 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
/proc/15086/statm: 2070762 32934 3227 1 0 2032106 0
[pid=15086/tid=15087] ppid=15063 vsize=8283048 memory=118488 CPUtime=1479.41 cores=0-7
/proc/15086/task/15087/stat : 15087 (java) R 15063 15063 14887 0 -1 4202560 17656 847012 0 0 78 5 147669 189 20 0 22 0 418998274 8481841152 32934 33554432000 4194304 4196468 140724127964096 140617810929760 140617313234739 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15088] ppid=15063 vsize=8283048 memory=1476 CPUtime=1478.58 cores=0-7
/proc/15086/task/15088/stat : 15088 (java) S 15063 15063 14887 0 -1 1077944384 1 847012 0 0 0 0 147669 189 20 0 22 0 418998275 8481841152 32934 33554432000 4194304 4196468 140724127964096 140617843333520 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15089] ppid=15063 vsize=8283048 memory=1476 CPUtime=1478.58 cores=0-7
/proc/15086/task/15089/stat : 15089 (java) S 15063 15063 14887 0 -1 1077944384 1 847012 0 0 0 0 147669 189 20 0 22 0 418998275 8481841152 32934 33554432000 4194304 4196468 140724127964096 140617643501840 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15090] ppid=15063 vsize=8283048 memory=1476 CPUtime=1478.58 cores=0-7
/proc/15086/task/15090/stat : 15090 (java) S 15063 15063 14887 0 -1 1077944384 2 847012 0 0 0 0 147669 189 20 0 22 0 418998275 8481841152 32934 33554432000 4194304 4196468 140724127964096 140617642449552 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15091] ppid=15063 vsize=8283048 memory=1476 CPUtime=1478.58 cores=0-7
/proc/15086/task/15091/stat : 15091 (java) S 15063 15063 14887 0 -1 1077944384 1 847012 0 0 0 0 147669 189 20 0 22 0 418998275 8481841152 32934 33554432000 4194304 4196468 140724127964096 140617641396752 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15092] ppid=15063 vsize=8283048 memory=1476 CPUtime=1478.58 cores=0-7
/proc/15086/task/15092/stat : 15092 (java) S 15063 15063 14887 0 -1 1077944384 2 847012 0 0 0 0 147669 189 20 0 22 0 418998275 8481841152 32934 33554432000 4194304 4196468 140724127964096 140617640344464 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15093] ppid=15063 vsize=8283048 memory=994168 CPUtime=1478.58 cores=0-7
/proc/15086/task/15093/stat : 15093 (java) S 15063 15063 14887 0 -1 1077944384 2 847012 0 0 0 0 147669 189 20 0 22 0 418998275 8481841152 32934 33554432000 4194304 4196468 140724127964096 140617639291664 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15094] ppid=15063 vsize=8283048 memory=0 CPUtime=1478.58 cores=0-7
/proc/15086/task/15094/stat : 15094 (java) S 15063 15063 14887 0 -1 1077944384 3 847012 0 0 0 0 147669 189 20 0 22 0 418998275 8481841152 32934 33554432000 4194304 4196468 140724127964096 140617638239376 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15095] ppid=15063 vsize=8283048 memory=118488 CPUtime=1478.58 cores=0-7
/proc/15086/task/15095/stat : 15095 (java) S 15063 15063 14887 0 -1 1077944384 1 847012 0 0 0 0 147669 189 20 0 22 0 418998275 8481841152 32934 33554432000 4194304 4196468 140724127964096 140617637186576 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15096] ppid=15063 vsize=8283048 memory=994168 CPUtime=1478.58 cores=0-7
/proc/15086/task/15096/stat : 15096 (java) S 15063 15063 14887 0 -1 1077944384 8 847012 0 0 0 0 147669 189 20 0 22 0 418998277 8481841152 32934 33554432000 4194304 4196468 140724127964096 140616932649072 140617839102594 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15097] ppid=15063 vsize=8283048 memory=0 CPUtime=1478.58 cores=0-7
/proc/15086/task/15097/stat : 15097 (java) S 15063 15063 14887 0 -1 1077944384 13 847012 0 0 0 0 147669 189 20 0 22 0 418998277 8481841152 32934 33554432000 4194304 4196468 140724127964096 140616423957280 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15098] ppid=15063 vsize=8283048 memory=0 CPUtime=1478.58 cores=0-7
/proc/15086/task/15098/stat : 15098 (java) S 15063 15063 14887 0 -1 1077944384 21 847012 0 0 0 0 147669 189 20 0 22 0 418998277 8481841152 32934 33554432000 4194304 4196468 140724127964096 140616289735792 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15099] ppid=15063 vsize=8283048 memory=0 CPUtime=1478.58 cores=0-7
/proc/15086/task/15099/stat : 15099 (java) S 15063 15063 14887 0 -1 1077944384 1 847012 0 0 0 0 147669 189 20 0 22 0 418998280 8481841152 32934 33554432000 4194304 4196468 140724127964096 140615915231312 140617839110043 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15100] ppid=15063 vsize=8283048 memory=280897572045040 CPUtime=1478.68 cores=0-7
/proc/15086/task/15100/stat : 15100 (java) R 15063 15063 14887 0 -1 4202560 851 847012 0 0 10 0 147669 189 20 0 22 0 418998280 8481841152 32934 33554432000 4194304 4196468 140724127964096 140616931589936 140617839112794 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15101] ppid=15063 vsize=8283048 memory=280897572045040 CPUtime=1478.71 cores=0-7
/proc/15086/task/15101/stat : 15101 (java) R 15063 15063 14887 0 -1 4202560 649 847012 0 0 13 0 147669 189 20 0 22 0 418998280 8481841152 32934 33554432000 4194304 4196468 140724127964096 140616930525952 140617839112794 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15102] ppid=15063 vsize=8283048 memory=164 CPUtime=1478.71 cores=0-7
/proc/15086/task/15102/stat : 15102 (java) R 15063 15063 14887 0 -1 4202560 289 847012 0 0 13 0 147669 189 20 0 22 0 418998280 8481841152 32934 33554432000 4194304 4196468 140724127964096 140616929478608 140617839112794 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15103] ppid=15063 vsize=8283048 memory=3982140099162170730 CPUtime=1478.84 cores=0-7
/proc/15086/task/15103/stat : 15103 (java) S 15063 15063 14887 0 -1 1077944384 991 847012 0 0 26 0 147669 189 20 0 22 0 418998280 8481841152 32934 33554432000 4194304 4196468 140724127964096 140616928439024 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15104] ppid=15063 vsize=8283048 memory=3620105987922809448 CPUtime=1478.58 cores=0-7
/proc/15086/task/15104/stat : 15104 (java) S 15063 15063 14887 0 -1 1077944384 3 847012 0 0 0 0 147669 189 20 0 22 0 418998280 8481841152 32934 33554432000 4194304 4196468 140724127964096 140615417325920 140617839101653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15105] ppid=15063 vsize=8283048 memory=1476 CPUtime=1478.7 cores=0-7
/proc/15086/task/15105/stat : 15105 (java) S 15063 15063 14887 0 -1 1077944384 15 847012 0 0 4 8 147669 189 20 0 22 0 418998280 8481841152 32934 33554432000 4194304 4196468 140724127964096 140616927385904 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15107] ppid=15063 vsize=8283048 memory=118488 CPUtime=1478.58 cores=0-7
/proc/15086/task/15107/stat : 15107 (java) S 15063 15063 14887 0 -1 1077944384 25 847012 0 0 0 0 147669 189 20 0 22 0 418998345 8481841152 32934 33554432000 4194304 4196468 140724127964096 140616919351824 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
[pid=15086/tid=15111] ppid=15063 vsize=8283048 memory=3680 CPUtime=1478.58 cores=0-7
/proc/15086/task/15111/stat : 15111 (java) S 15063 15063 14887 0 -1 1077944384 14 847012 0 0 0 0 147669 189 20 0 22 0 418998348 8481841152 32934 33554432000 4194304 4196468 140724127964096 140614477801008 140617839102594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33685504 140724127970295 140724127970454 140724127970454 140724127973327 0
Current children cumulated CPU time: 1486.75 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 133212 KiB

Child status: 0
Real time (s): 196.162
CPU time (s): 1486.89
CPU user time (s): 1484.53
CPU system time (s): 2.35726
CPU usage (%): 757.99
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1786928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1484.53
system time used= 2.35726
maximum resident set size= 1786048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 898052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21997
involuntary context switches= 16149


# summary of solver processes directly reported to runsolver:
#   pid: 15063
#   total CPU time (s): 1486.89
#   total CPU user time (s): 1484.53
#   total CPU system time (s): 2.35726

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.9113 second user time and 2.84577 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-14 05:09:14
IDJOB=4392719
IDBENCH=127955
IDSOLVER=2839
FILE ID=node140/4392719-1568430594
RUNJOBID= node140-1568430400-14914
PBS_JOBID= 21702310
Free space on /tmp= 58140 MiB

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

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

MD5SUM BENCH= 3ff67dee7a06e1e6311de3a7585abde9
RANDOM SEED=1666059340

node140.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.43
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.43
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.43
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.43
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:        24604632 kB
MemAvailable:   31856944 kB
Buffers:          171900 kB
Cached:          7288076 kB
SwapCached:         2728 kB
Active:          1518444 kB
Inactive:        5949504 kB
Active(anon):       3128 kB
Inactive(anon):    45600 kB
Active(file):    1515316 kB
Inactive(file):  5903904 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66999292 kB
Dirty:             20748 kB
Writeback:             0 kB
AnonPages:        113552 kB
Mapped:            44364 kB
Shmem:             32268 kB
Slab:             291340 kB
SReclaimable:     261552 kB
SUnreclaim:        29788 kB
KernelStack:        3392 kB
PageTables:         5580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58120 MiB
End job on node140 at 2019-09-14 05:12:31