Trace number 4405498

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 943.071 126.246

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-203.xml
MD5SUMce251f4c9ae0df3aa97e9296eb89cd68
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark141.487
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size634
Maximum domain size634
Distribution of domain sizes[{"size":634,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-30532-serial-file.bin HOME/instance-4405498-1569337913.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 16:10:13 CEST 2019
0.65/0.56	c PID: 30535
0.65/0.56	c IP: 172.20.3.105
0.65/0.56	c HOST: node105.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.39/0.90	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 634
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.91	c (0,0) Ctr:HOME/instance-4405498-1569337913.xml,Le:NoOverlap:Num:Var
1.39/0.91	c (0,0) Constraint Name Generate End
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) CSP to CSPinCNF Begin
1.39/0.99	c (0,0) translated 6 (10%) constraints
1.39/1.00	c (0,0) translated 11 (20%) constraints
1.39/1.00	c (0,0) translated 16 (30%) constraints
1.39/1.00	c (0,0) translated 22 (40%) constraints
1.56/1.01	c (0,0) translated 27 (50%) constraints
1.56/1.01	c (0,0) translated 32 (60%) constraints
1.56/1.01	c (0,0) translated 38 (70%) constraints
1.56/1.01	c (0,0) translated 43 (80%) constraints
1.56/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.49/1.30	c (0,0) translated 36 (10%) constraints
2.49/1.31	c (0,0) translated 71 (20%) constraints
2.49/1.31	c (0,0) translated 106 (30%) constraints
2.49/1.32	c (0,0) translated 141 (40%) constraints
2.49/1.33	c (0,0) translated 176 (50%) constraints
2.49/1.33	c (0,0) translated 212 (60%) constraints
2.49/1.34	c (0,0) translated 247 (70%) constraints
2.49/1.34	c (0,0) translated 282 (80%) constraints
2.49/1.34	c (0,0) translated 317 (90%) constraints
2.49/1.35	c (0,0) translated 352 (100%) constraints
2.49/1.35	c (0,0) CSP to CSPinCNF End
2.49/1.35	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 620
2.49/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.35	c (0,0) CSPinCNF Propagation Begin
2.49/1.38	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.49/1.38	c (0,0) CSPinCNF Propagation End
2.49/1.38	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 620
2.49/1.38	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.39	c (0,0) Hybrid: #OE=50, #LE=0
2.49/1.39	c (0,0) Simplify CSPinCNF Begin
2.84/1.48	c (0,0) Simplify CSPinCNF End
2.84/1.48	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 620
2.84/1.48	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.48	c (0,0) Calculate Precise Domain Begin
2.84/1.48	c (0,0) 0 values are removed by re-calculation
2.84/1.48	c (0,0) Calculate Precise Domain End
2.84/1.49	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 620
2.84/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.84/1.49	c (0,0) CSPinCNF to SatSolver Begin
4.83/2.01	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 88075 SAT clauses)
5.05/2.24	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 148260 SAT clauses)
5.27/2.45	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 203813 SAT clauses)
5.51/2.66	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 261278 SAT clauses)
5.72/2.85	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 313609 SAT clauses)
5.94/3.04	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 365106 SAT clauses)
6.15/3.22	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 413670 SAT clauses)
6.26/3.39	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 460679 SAT clauses)
6.46/3.54	c (2,2) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 500547 SAT clauses)
6.57/3.64	c (3,3) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 526964 SAT clauses)
6.57/3.64	c (3,3) CSPinCNF to SatSolver End
6.57/3.64	c (3,3) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.57/3.64	c (3,3) 27326 bool, 527161 clause
6.57/3.64	c (3,3) Export Begin
6.72/3.72	c (3,3) Export to HOME/scop-30532-serial-file.bin
6.72/3.72	c (3,3) Export End
6.72/3.72	c (3,3) Export File Size: 0.01 MB
6.72/3.72	c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.72/3.72	c END-Prog: Tue Sep 24 16:10:16 CEST 2019
6.72/3.75	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-30532-serial-file.bin
7.37/4.21	c (0,0) Read Serial File Begin
7.37/4.21	c (0,0) HOME/scop-30532-serial-file.bin
7.66/4.40	c (0,0) Read Serial File End
7.66/4.41	
7.66/4.41	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.66/4.41	(Solving Process)
7.66/4.41	
7.66/4.44	c BEGIN-Prog: Tue Sep 24 16:10:17 CEST 2019
7.66/4.44	c PID: 30555
7.66/4.44	c IP: 172.20.3.105
7.66/4.44	c HOST: node105.alineos.net
7.66/4.44	c (0,0) SatSolver.solve Begin
7.66/4.44	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405498-1569337913.xml-scop-30535.cnf
7.66/4.47	c (0,0) c
7.66/4.47	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.66/4.47	c (0,0) c
7.66/4.47	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.66/4.47	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.66/4.47	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.66/4.47	c (0,0) c |                                                                                                       |
7.91/4.65	c (0,0) c |  Number of variables:         27326                                                                   |
7.91/4.65	c (0,0) c |  Number of clauses:          527161                                                                   |
7.91/4.65	c (0,0) c |  Parse time:                   0.18 s                                                                 |
7.91/4.66	c (0,0) c |                                                                                                       |
8.94/5.53	c (1,0) c |  Simplification time:          0.86 s                                                                 |
8.94/5.53	c (1,0) c |                                                                                                       |
8.94/5.53	c (1,0) c |  Generating clones                                                                                    |
9.04/5.68	c (1,0) c |  all clones generated. Memory =   350.77Mb.                                                           |
9.04/5.68	c (1,0) c ========================================================================================================|
9.04/5.68	c (1,0) c
9.04/5.68	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.04/5.68	c (1,0) c
9.04/5.68	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.04/5.68	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.04/5.68	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.04/5.68	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.04/5.68	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.04/5.68	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.04/5.68	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.04/5.68	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.04/5.68	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.04/5.68	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.04/5.68	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.04/5.68	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.04/5.68	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.04/5.68	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.04/5.68	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.04/5.68	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.04/5.68	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.04/5.68	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.04/5.68	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
243.53/35.14	c (31,0) c
243.53/35.14	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
243.53/35.14	c (31,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
243.53/35.14	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
243.53/35.14	c (31,0) c |  0 |    115 |     114069 |      47776 |    77684 |    21652 |     8687 |    52667 |     5473 |      190 |  20 |  0.516 |
243.53/35.14	c (31,0) c |  1 |    151 |     114152 |      48240 |    71066 |    22116 |     8216 |    53742 |     5238 |      193 |  20 |  0.516 |
243.53/35.14	c (31,0) c |  2 |    120 |     110753 |      48787 |    74662 |    22640 |     8417 |    55269 |     5336 |      199 |  20 |  0.516 |
243.53/35.14	c (31,0) c |  3 |    135 |     121849 |      52742 |    79956 |    14200 |     8761 |    56394 |     5725 |      208 |  20 |  0.516 |
243.53/35.14	c (31,0) c |  4 |    183 |     127260 |      52346 |    77980 |    13530 |     8463 |    56554 |     5770 |      207 |  20 |  0.516 |
243.53/35.14	c (31,0) c |  5 |    153 |     128505 |      53625 |    82528 |    15037 |     9074 |    56196 |     5798 |      207 |  20 |  0.516 |
243.53/35.14	c (31,0) c |  6 |    137 |     116822 |      50986 |    74631 |    24811 |     8739 |    55755 |     6086 |      204 |  20 |  0.516 |
243.53/35.14	c (31,0) c |  7 |    176 |     124309 |      50388 |    79754 |    24281 |     7931 |    57243 |     5947 |      207 |  20 |  0.516 |
243.53/35.14	c (31,0) c 
243.53/35.14	c (31,0) c synthesis      404890 conflicts   391280471 propagations     1724 conflicts/sec  1665917 propagations/sec
243.53/35.14	c (31,0) c real: 30.6717 s, cpu: 234.874 s, memory: 925.47 Mb
480.08/65.13	c (61,0) c
480.08/65.13	c (61,0) c |------------------------------------------------------------------------------------------------------------------------|
480.08/65.13	c (61,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
480.08/65.13	c (61,0) c |------------------------------------------------------------------------------------------------------------------------|
480.08/65.13	c (61,0) c |  0 |    258 |     192800 |      85475 |    97011 |    31904 |    13143 |    88017 |    10858 |      372 |  20 |  0.516 |
480.08/65.13	c (61,0) c |  1 |    292 |     192482 |      85640 |    91424 |    32070 |    13562 |    88373 |    10462 |      376 |  20 |  0.516 |
480.08/65.13	c (61,0) c |  2 |    287 |     195031 |      87813 |    96800 |    34237 |    13112 |    91461 |    10826 |      392 |  20 |  0.516 |
480.08/65.13	c (61,0) c |  3 |    301 |     200283 |      89586 |    97715 |    18405 |    13942 |    87998 |    11226 |      385 |  20 |  0.516 |
480.08/65.13	c (61,0) c |  4 |    323 |     205082 |      89069 |    97236 |    17824 |    13038 |    90208 |    11047 |      385 |  20 |  0.516 |
480.08/65.13	c (61,0) c |  5 |    294 |     209579 |      91104 |   102462 |    19917 |    13768 |    90681 |    11347 |      392 |  20 |  0.516 |
480.08/65.13	c (61,0) c |  6 |    286 |     196740 |      88540 |    96756 |    34957 |    13858 |    89901 |    11049 |      386 |  20 |  0.516 |
480.08/65.13	c (61,0) c |  7 |    376 |     208415 |      87824 |   100331 |    34258 |    12335 |    91421 |    11394 |      387 |  20 |  0.516 |
480.08/65.14	c (61,0) c 
480.08/65.14	c (61,0) c synthesis      705051 conflicts   722336536 propagations     1496 conflicts/sec  1532902 propagations/sec
480.08/65.14	c (61,0) c real: 60.6717 s, cpu: 471.222 s, memory: 925.47 Mb
706.03/94.13	c (90,0) c
706.03/94.13	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
706.03/94.13	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
706.03/94.13	c (90,0) c |------------------------------------------------------------------------------------------------------------------------|
706.03/94.13	c (90,0) c |  0 |    434 |     259615 |     117450 |   110296 |    25594 |    16718 |   112676 |    15036 |      546 |  20 |  1.332 |
706.03/94.13	c (90,0) c |  1 |    449 |     265093 |     119726 |   106008 |    27906 |    17136 |   112609 |    14737 |      554 |  20 |  1.332 |
706.03/94.13	c (90,0) c |  2 |    432 |     265047 |     121738 |   109861 |    29750 |    16573 |   116328 |    15194 |      566 |  20 |  1.332 |
706.03/94.13	c (90,0) c |  3 |    448 |     269030 |     122813 |   110766 |    31102 |    17690 |   114723 |    15376 |      565 |  20 |  1.332 |
706.03/94.13	c (90,0) c |  4 |    503 |     277275 |     123207 |   111022 |    31442 |    16608 |   116254 |    15396 |      566 |  20 |  1.332 |
706.03/94.13	c (90,0) c |  5 |    469 |     280619 |     123934 |   115662 |    32045 |    17166 |   115589 |    15630 |      566 |  20 |  1.332 |
706.03/94.13	c (90,0) c |  6 |    432 |     264487 |     122456 |   110835 |    30721 |    17728 |   115429 |    15231 |      566 |  20 |  1.332 |
706.03/94.13	c (90,0) c |  7 |    518 |     275317 |     120581 |   112313 |    28389 |    15673 |   117190 |    15313 |      566 |  20 |  2.144 |
706.03/94.13	c (90,0) c 
706.03/94.13	c (90,0) c synthesis      971905 conflicts  1030997064 propagations     1394 conflicts/sec  1479231 propagations/sec
706.03/94.14	c (90,0) c real: 89.6717 s, cpu: 696.982 s, memory: 1403.11 Mb
928.74/123.14	c (119,0) c
928.74/123.14	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
928.74/123.14	c (119,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
928.74/123.14	c (119,0) c |------------------------------------------------------------------------------------------------------------------------|
928.74/123.14	c (119,0) c |  0 |    575 |     325411 |     151579 |   120693 |    37026 |    20293 |   138585 |    19175 |      738 |  20 |  2.144 |
928.74/123.14	c (119,0) c |  1 |    550 |     329931 |     152813 |   117829 |    38317 |    20677 |   137330 |    18642 |      740 |  20 |  2.145 |
928.74/123.14	c (119,0) c |  2 |    575 |     327420 |     152999 |   118783 |    38452 |    19718 |   139642 |    18704 |      741 |  20 |  2.144 |
928.74/123.14	c (119,0) c |  3 |    590 |     331009 |     153379 |   119654 |    38959 |    20710 |   138608 |    19052 |      741 |  20 |  2.144 |
928.74/123.14	c (119,0) c |  4 |    681 |     337397 |     152293 |   119709 |    37853 |    19475 |   138187 |    18959 |      729 |  20 |  2.144 |
928.74/123.14	c (119,0) c |  5 |    612 |     335017 |     151475 |   123707 |    36993 |    19972 |   136679 |    18656 |      721 |  20 |  2.145 |
928.74/123.14	c (119,0) c |  6 |    564 |     326882 |     153366 |   120236 |    38941 |    21520 |   137769 |    18784 |      741 |  20 |  2.144 |
928.74/123.14	c (119,0) c |  7 |    652 |     333918 |     150616 |   120927 |    36026 |    18569 |   140057 |    18994 |      740 |  20 |  2.145 |
928.74/123.14	c (119,0) c 
928.74/123.14	c (119,0) c synthesis     1218520 conflicts  1325596390 propagations     1325 conflicts/sec  1441594 propagations/sec
928.74/123.14	c (119,0) c real: 118.681 s, cpu: 919.535 s, memory: 984.75 Mb
942.46/126.05	c (121,0) c
942.46/126.05	c (121,0) c real time : 121.588 s
942.46/126.05	c (121,0) c cpu time  : 932.981 s
942.46/126.05	c (121,0) c
942.46/126.05	c (121,0) c
942.46/126.05	c (121,0) c
942.46/126.05	c (121,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
942.46/126.05	c (121,0) c
942.46/126.05	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.46/126.05	c (121,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
942.46/126.05	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.46/126.05	c (121,0) c | Conflicts     |         1235359 |     153148 |     154517 |     154393 |     154762 |     155374 |     156251 |     154906 |     152008 |
942.46/126.05	c (121,0) c | Decisions     |         2682577 |     328239 |     334507 |     329946 |     334150 |     343637 |     345655 |     329997 |     336446 |
942.46/126.05	c (121,0) c | Propagations  |      1346201343 |  167545540 |  167520870 |  168871861 |  169151194 |  167661810 |  167756947 |  168417417 |  169275704 |
942.46/126.05	c (121,0) c | ReduceDBs     |              80 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |
942.46/126.05	c (121,0) c | SimpDBs       |              58 |          7 |          8 |          7 |          7 |          8 |          8 |          6 |          7 |
942.46/126.05	c (121,0) c | Restarts      |            4878 |        581 |        554 |        580 |        600 |        697 |        640 |        572 |        654 |
942.46/126.05	c (121,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
942.46/126.05	c (121,0) c | PropBinClauses|      1592781842 |  199253761 |  198232963 |  200713464 |  200031498 |  198245159 |  197456865 |  199111121 |  199737011 |
942.46/126.05	c (121,0) c | PropPreBlocker|     19991440482 | 2492918691 | 2499531184 | 2502261759 | 2506904916 | 2484754388 | 2498564293 | 2511361904 | 2495143347 |
942.46/126.05	c (121,0) c | PropNotBlocker|      6189631932 |  780564784 |  774069236 |  767150422 |  774689777 |  774617209 |  770558103 |  769792629 |  778189772 |
942.46/126.05	c (121,0) c | LitFullScans  |     35976373410 | 4494498523 | 4496696916 | 4500558474 | 4500497472 | 4494491838 | 4494495587 | 4500571017 | 4494563583 |
942.46/126.05	c (121,0) c | LitScanFracts |         3985093 |     455511 |     516538 |     534034 |     495241 |     456422 |     486948 |     560928 |     479471 |
942.46/126.05	c (121,0) c | DecisionLevel0|            4895 |        583 |        557 |        581 |        601 |        700 |        642 |        572 |        659 |
942.46/126.05	c (121,0) c | Periods       |            5995 |        749 |        749 |        750 |        750 |        749 |        749 |        750 |        749 |
942.46/126.05	c (121,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
942.46/126.05	c (121,0) c | Avg_Trail     |                 |      11614 |      11643 |      11605 |      11633 |      11591 |      11739 |      11679 |      11636 |
942.46/126.05	c (121,0) c | Avg_DL        |                 |         24 |         24 |         24 |         25 |         24 |         25 |         25 |         25 |
942.46/126.05	c (121,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
942.46/126.05	c (121,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
942.46/126.05	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.46/126.05	c (121,0) c | Exported      |          162586 |      20465 |      20827 |      19838 |      20862 |      19781 |      20387 |      21675 |      18751 |
942.46/126.05	c (121,0) c | Imported      |         1117733 |     139347 |     138890 |     140524 |     139312 |     140403 |     139860 |     138614 |     140783 |
942.46/126.05	c (121,0) c | Good          |            1293 |        160 |        158 |        164 |        165 |        167 |        154 |        167 |        158 |
942.46/126.05	c (121,0) c | Purge         |         1116440 |     139187 |     138732 |     140360 |     139147 |     140236 |     139706 |     138447 |     140625 |
942.46/126.05	c (121,0) c | Promoted      |          153221 |      19402 |      18790 |      18918 |      19232 |      19357 |      19361 |      18973 |      19188 |
942.46/126.05	c (121,0) c | Remove_Imp    |          648773 |      81251 |      80863 |      82045 |      80466 |      80872 |      79632 |      79485 |      84159 |
942.46/126.05	c (121,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
942.46/126.05	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.46/126.05	c (121,0) c | Unaries       |                 |          2 |          3 |          1 |          1 |          3 |          2 |          0 |          5 |
942.46/126.05	c (121,0) c | Binaries      |                 |         25 |         28 |         22 |         20 |         18 |         31 |         18 |         26 |
942.46/126.05	c (121,0) c | Glues         |                 |        337 |        351 |        353 |        353 |        345 |        305 |        326 |        330 |
942.46/126.05	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.46/126.05	c (121,0) c | Orig_Seen     |            23 % |     121103 |     119783 |     119043 |     120017 |     120350 |     125944 |     120992 |     121183 |
942.46/126.05	c (121,0) c | Diff Orig seen|                 |       1320 |      X     | -      740 |        234 |        567 |       6161 |       1209 |       1400 |
942.46/126.05	c (121,0) c | Hamming       |            23 % |       7494 |      X     |       4184 |       8124 |       5449 |       6074 |       7658 |       6229 |
942.46/126.05	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.46/126.05	c (121,0) c | RunningTime   |                 |  119.1 100%|  118.3 100%|  115.5  97%|  115.4  97%|  118.4  99%|  116.9  97%|  115.7  97%|  116.6  98%|
942.46/126.05	c (121,0) c | WaitingTime   |                 |    0.0   0%|    0.4   0%|    3.1   3%|    3.3   3%|    1.2   1%|    3.3   3%|    2.9   2%|    2.1   2%|
942.46/126.05	c (121,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
942.46/126.05	c (121,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
942.46/126.05	c (121,0) c | SolvingTime   |                 |  119.2     |  118.7     |  118.7     |  118.8     |  119.7     |  120.4     |  118.7     |  118.9     |
942.46/126.05	c (121,0) c | PropagationTim|                 |   99.9  84%|   99.1  83%|   98.3  83%|   98.6  83%|   98.7  82%|   99.6  83%|   98.6  83%|   98.0  82%|
942.46/126.05	c (121,0) c | AnalysisTime  |                 |   16.0  13%|   16.3  14%|   17.1  14%|   16.8  14%|   17.6  15%|   17.3  14%|   16.8  14%|   17.5  15%|
942.46/126.05	c (121,0) c | ReductionTime |                 |    0.4   0%|    0.5   0%|    0.4   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.4   0%|    0.4   0%|
942.46/126.05	c (121,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|
942.46/126.05	c (121,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
942.46/126.05	c (121,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
942.46/126.05	c (121,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.46/126.05	c (121,0) c
942.46/126.05	c (121,0) c
942.46/126.05	c (121,0) c Threads : 8
942.46/126.05	c (121,0) c Winner : 1
942.46/126.05	c (121,0) c Conflicts_0 : 153148
942.46/126.05	c (121,0) c Conflicts_1 : 154517
942.46/126.05	c (121,0) c Conflicts_2 : 154393
942.46/126.05	c (121,0) c Conflicts_3 : 154762
942.46/126.05	c (121,0) c Conflicts_4 : 155374
942.46/126.05	c (121,0) c Conflicts_5 : 156251
942.46/126.05	c (121,0) c Conflicts_6 : 154906
942.46/126.05	c (121,0) c Conflicts_7 : 152008
942.46/126.05	c (121,0) c Conflicts_total : 1235359
942.46/126.05	c (121,0) c Conflicts_winner : 154517
942.46/126.05	c (121,0) c Decisions_0 : 328239
942.46/126.05	c (121,0) c Decisions_1 : 334507
942.46/126.05	c (121,0) c Decisions_2 : 329946
942.46/126.05	c (121,0) c Decisions_3 : 334150
942.46/126.05	c (121,0) c Decisions_4 : 343637
942.46/126.05	c (121,0) c Decisions_5 : 345655
942.46/126.05	c (121,0) c Decisions_6 : 329997
942.46/126.05	c (121,0) c Decisions_7 : 336446
942.46/126.05	c (121,0) c Decisions_total : 2682577
942.46/126.05	c (121,0) c Decisions_winner : 334507
942.46/126.05	c (121,0) c Propagations_0 : 167545540
942.46/126.05	c (121,0) c Propagations_1 : 167520870
942.46/126.05	c (121,0) c Propagations_2 : 168871861
942.46/126.05	c (121,0) c Propagations_3 : 169151194
942.46/126.05	c (121,0) c Propagations_4 : 167661810
942.46/126.05	c (121,0) c Propagations_5 : 167756947
942.46/126.05	c (121,0) c Propagations_6 : 168417417
942.46/126.05	c (121,0) c Propagations_7 : 169275704
942.46/126.05	c (121,0) c Propagations_total : 1346201343
942.46/126.05	c (121,0) c Propagations_winner : 167520870
942.46/126.05	c (121,0) c ReduceDBs_0 : 10
942.46/126.05	c (121,0) c ReduceDBs_1 : 10
942.46/126.05	c (121,0) c ReduceDBs_2 : 10
942.46/126.05	c (121,0) c ReduceDBs_3 : 10
942.46/126.05	c (121,0) c ReduceDBs_4 : 10
942.46/126.05	c (121,0) c ReduceDBs_5 : 10
942.46/126.05	c (121,0) c ReduceDBs_6 : 10
942.46/126.05	c (121,0) c ReduceDBs_7 : 10
942.46/126.05	c (121,0) c ReduceDBs_total : 80
942.46/126.05	c (121,0) c ReduceDBs_winner : 10
942.46/126.05	c (121,0) c SimpDBs_0 : 7
942.46/126.05	c (121,0) c SimpDBs_1 : 8
942.46/126.05	c (121,0) c SimpDBs_2 : 7
942.46/126.05	c (121,0) c SimpDBs_3 : 7
942.46/126.05	c (121,0) c SimpDBs_4 : 8
942.46/126.05	c (121,0) c SimpDBs_5 : 8
942.46/126.05	c (121,0) c SimpDBs_6 : 6
942.46/126.05	c (121,0) c SimpDBs_7 : 7
942.46/126.05	c (121,0) c SimpDBs_total : 58
942.46/126.05	c (121,0) c SimpDBs_winner : 8
942.46/126.05	c (121,0) c Restarts_0 : 581
942.46/126.05	c (121,0) c Restarts_1 : 554
942.46/126.05	c (121,0) c Restarts_2 : 580
942.46/126.05	c (121,0) c Restarts_3 : 600
942.46/126.05	c (121,0) c Restarts_4 : 697
942.46/126.05	c (121,0) c Restarts_5 : 640
942.46/126.05	c (121,0) c Restarts_6 : 572
942.46/126.05	c (121,0) c Restarts_7 : 654
942.46/126.05	c (121,0) c Restarts_total : 4878
942.46/126.05	c (121,0) c Restarts_winner : 554
942.46/126.05	c (121,0) c ForcedImports_0 : 0
942.46/126.05	c (121,0) c ForcedImports_1 : 0
942.46/126.05	c (121,0) c ForcedImports_2 : 0
942.46/126.05	c (121,0) c ForcedImports_3 : 0
942.46/126.05	c (121,0) c ForcedImports_4 : 0
942.46/126.05	c (121,0) c ForcedImports_5 : 0
942.46/126.05	c (121,0) c ForcedImports_6 : 0
942.46/126.05	c (121,0) c ForcedImports_7 : 0
942.46/126.05	c (121,0) c ForcedImports_total : 0
942.46/126.06	c (121,0) c ForcedImports_winner : 0
942.46/126.06	c (121,0) c PropsBinClauses_0 : 199253761
942.46/126.06	c (121,0) c PropsBinClauses_1 : 198232963
942.46/126.06	c (121,0) c PropsBinClauses_2 : 200713464
942.46/126.06	c (121,0) c PropsBinClauses_3 : 200031498
942.46/126.06	c (121,0) c PropsBinClauses_4 : 198245159
942.46/126.06	c (121,0) c PropsBinClauses_5 : 197456865
942.46/126.06	c (121,0) c PropsBinClauses_6 : 199111121
942.46/126.06	c (121,0) c PropsBinClauses_7 : 199737011
942.46/126.06	c (121,0) c PropsBinClauses_total : 1592781842
942.46/126.06	c (121,0) c PropsBinClauses_winner : 198232963
942.46/126.06	c (121,0) c PropsPreBlocker_0 : 2492918691
942.46/126.06	c (121,0) c PropsPreBlocker_1 : 2499531184
942.46/126.06	c (121,0) c PropsPreBlocker_2 : 2502261759
942.46/126.06	c (121,0) c PropsPreBlocker_3 : 2506904916
942.46/126.06	c (121,0) c PropsPreBlocker_4 : 2484754388
942.46/126.06	c (121,0) c PropsPreBlocker_5 : 2498564293
942.46/126.06	c (121,0) c PropsPreBlocker_6 : 2511361904
942.46/126.06	c (121,0) c PropsPreBlocker_7 : 2495143347
942.46/126.06	c (121,0) c PropsPreBlocker_total : 19991440482
942.46/126.06	c (121,0) c PropsPreBlocker_winner : 2499531184
942.46/126.06	c (121,0) c PropsNotBlocker_0 : 780564784
942.46/126.06	c (121,0) c PropsNotBlocker_1 : 774069236
942.46/126.06	c (121,0) c PropsNotBlocker_2 : 767150422
942.46/126.06	c (121,0) c PropsNotBlocker_3 : 774689777
942.46/126.06	c (121,0) c PropsNotBlocker_4 : 774617209
942.46/126.06	c (121,0) c PropsNotBlocker_5 : 770558103
942.46/126.06	c (121,0) c PropsNotBlocker_6 : 769792629
942.46/126.06	c (121,0) c PropsNotBlocker_7 : 778189772
942.46/126.06	c (121,0) c PropsNotBlocker_total : 6189631932
942.46/126.06	c (121,0) c PropsNotBlocker_winner : 774069236
942.46/126.06	c (121,0) c PropsLitFullScans_0 : 4494498523
942.46/126.06	c (121,0) c PropsLitFullScans_1 : 4496696916
942.46/126.06	c (121,0) c PropsLitFullScans_2 : 4500558474
942.46/126.06	c (121,0) c PropsLitFullScans_3 : 4500497472
942.46/126.06	c (121,0) c PropsLitFullScans_4 : 4494491838
942.46/126.06	c (121,0) c PropsLitFullScans_5 : 4494495587
942.46/126.06	c (121,0) c PropsLitFullScans_6 : 4500571017
942.46/126.06	c (121,0) c PropsLitFullScans_7 : 4494563583
942.46/126.06	c (121,0) c PropsLitFullScans_total : 35976373410
942.46/126.06	c (121,0) c PropsLitFullScans_winner : 4496696916
942.46/126.06	c (121,0) c LitScanFractions_0 : 455511
942.46/126.06	c (121,0) c LitScanFractions_1 : 516538
942.46/126.06	c (121,0) c LitScanFractions_2 : 534034
942.46/126.06	c (121,0) c LitScanFractions_3 : 495241
942.46/126.06	c (121,0) c LitScanFractions_4 : 456422
942.46/126.06	c (121,0) c LitScanFractions_5 : 486948
942.46/126.06	c (121,0) c LitScanFractions_6 : 560928
942.46/126.06	c (121,0) c LitScanFractions_7 : 479471
942.46/126.06	c (121,0) c LitScanFractions_total : 3985093
942.46/126.06	c (121,0) c LitScanFractions_winner : 516538
942.46/126.06	c (121,0) c DecisionLevel0_0 : 583
942.46/126.06	c (121,0) c DecisionLevel0_1 : 557
942.46/126.06	c (121,0) c DecisionLevel0_2 : 581
942.46/126.06	c (121,0) c DecisionLevel0_3 : 601
942.46/126.06	c (121,0) c DecisionLevel0_4 : 700
942.46/126.06	c (121,0) c DecisionLevel0_5 : 642
942.46/126.06	c (121,0) c DecisionLevel0_6 : 572
942.46/126.06	c (121,0) c DecisionLevel0_7 : 659
942.46/126.06	c (121,0) c DecisionLevel0_total : 4895
942.46/126.06	c (121,0) c DecisionLevel0_winner : 557
942.46/126.06	c (121,0) c Periods_0 : 749
942.46/126.06	c (121,0) c Periods_1 : 749
942.46/126.06	c (121,0) c Periods_2 : 750
942.46/126.06	c (121,0) c Periods_3 : 750
942.46/126.06	c (121,0) c Periods_4 : 749
942.46/126.06	c (121,0) c Periods_5 : 749
942.46/126.06	c (121,0) c Periods_6 : 750
942.46/126.06	c (121,0) c Periods_7 : 749
942.46/126.06	c (121,0) c Periods_total : 5995
942.46/126.06	c (121,0) c Periods_winner : 749
942.46/126.06	c (121,0) c Margin_0 : 20
942.46/126.06	c (121,0) c Margin_1 : 20
942.46/126.06	c (121,0) c Margin_2 : 20
942.46/126.06	c (121,0) c Margin_3 : 20
942.46/126.06	c (121,0) c Margin_4 : 20
942.46/126.06	c (121,0) c Margin_5 : 20
942.46/126.06	c (121,0) c Margin_6 : 20
942.46/126.06	c (121,0) c Margin_7 : 20
942.46/126.06	c (121,0) c Margin_total : 160
942.46/126.06	c (121,0) c Margin_winner : 20
942.46/126.06	c (121,0) c Exported_0 : 20465
942.46/126.06	c (121,0) c Exported_1 : 20827
942.46/126.06	c (121,0) c Exported_2 : 19838
942.46/126.06	c (121,0) c Exported_3 : 20862
942.46/126.06	c (121,0) c Exported_4 : 19781
942.46/126.06	c (121,0) c Exported_5 : 20387
942.46/126.06	c (121,0) c Exported_6 : 21675
942.46/126.06	c (121,0) c Exported_7 : 18751
942.46/126.06	c (121,0) c Exported_total : 162586
942.46/126.06	c (121,0) c Exported_winner : 20827
942.46/126.06	c (121,0) c Imported_0 : 139347
942.46/126.06	c (121,0) c Imported_1 : 138890
942.46/126.06	c (121,0) c Imported_2 : 140524
942.46/126.06	c (121,0) c Imported_3 : 139312
942.46/126.06	c (121,0) c Imported_4 : 140403
942.46/126.06	c (121,0) c Imported_5 : 139860
942.46/126.06	c (121,0) c Imported_6 : 138614
942.46/126.06	c (121,0) c Imported_7 : 140783
942.46/126.06	c (121,0) c Imported_total : 1117733
942.46/126.06	c (121,0) c Imported_winner : 138890
942.46/126.06	c (121,0) c Good_0 : 160
942.46/126.06	c (121,0) c Good_1 : 158
942.46/126.06	c (121,0) c Good_2 : 164
942.46/126.06	c (121,0) c Good_3 : 165
942.46/126.06	c (121,0) c Good_4 : 167
942.46/126.06	c (121,0) c Good_5 : 154
942.46/126.06	c (121,0) c Good_6 : 167
942.46/126.06	c (121,0) c Good_7 : 158
942.46/126.06	c (121,0) c Good_total : 1293
942.46/126.06	c (121,0) c Good_winner : 158
942.46/126.06	c (121,0) c Purge_0 : 139187
942.46/126.06	c (121,0) c Purge_1 : 138732
942.46/126.06	c (121,0) c Purge_2 : 140360
942.46/126.06	c (121,0) c Purge_3 : 139147
942.46/126.06	c (121,0) c Purge_4 : 140236
942.46/126.06	c (121,0) c Purge_5 : 139706
942.46/126.06	c (121,0) c Purge_6 : 138447
942.46/126.06	c (121,0) c Purge_7 : 140625
942.46/126.06	c (121,0) c Purge_total : 1116440
942.46/126.06	c (121,0) c Purge_winner : 138732
942.46/126.06	c (121,0) c Promoted_0 : 19402
942.46/126.06	c (121,0) c Promoted_1 : 18790
942.46/126.06	c (121,0) c Promoted_2 : 18918
942.46/126.06	c (121,0) c Promoted_3 : 19232
942.46/126.06	c (121,0) c Promoted_4 : 19357
942.46/126.06	c (121,0) c Promoted_5 : 19361
942.46/126.06	c (121,0) c Promoted_6 : 18973
942.46/126.06	c (121,0) c Promoted_7 : 19188
942.46/126.06	c (121,0) c Promoted_total : 153221
942.46/126.06	c (121,0) c Promoted_winner : 18790
942.46/126.06	c (121,0) c Remove_Imp_0 : 81251
942.46/126.06	c (121,0) c Remove_Imp_1 : 80863
942.46/126.06	c (121,0) c Remove_Imp_2 : 82045
942.46/126.06	c (121,0) c Remove_Imp_3 : 80466
942.46/126.06	c (121,0) c Remove_Imp_4 : 80872
942.46/126.06	c (121,0) c Remove_Imp_5 : 79632
942.46/126.06	c (121,0) c Remove_Imp_6 : 79485
942.46/126.06	c (121,0) c Remove_Imp_7 : 84159
942.46/126.06	c (121,0) c Remove_Imp_total : 648773
942.46/126.06	c (121,0) c Remove_Imp_winner : 80863
942.46/126.06	c (121,0) c Blocked_Reuse_0 : 0
942.46/126.06	c (121,0) c Blocked_Reuse_1 : 0
942.46/126.06	c (121,0) c Blocked_Reuse_2 : 0
942.46/126.06	c (121,0) c Blocked_Reuse_3 : 0
942.46/126.06	c (121,0) c Blocked_Reuse_4 : 0
942.46/126.06	c (121,0) c Blocked_Reuse_5 : 0
942.46/126.06	c (121,0) c Blocked_Reuse_6 : 0
942.46/126.06	c (121,0) c Blocked_Reuse_7 : 0
942.46/126.06	c (121,0) c Blocked_Reuse_total : 0
942.46/126.06	c (121,0) c Blocked_Reuse_winner : 0
942.46/126.06	c (121,0) c Unaries_0 : 2
942.46/126.06	c (121,0) c Unaries_1 : 3
942.46/126.06	c (121,0) c Unaries_2 : 1
942.46/126.06	c (121,0) c Unaries_3 : 1
942.46/126.06	c (121,0) c Unaries_4 : 3
942.46/126.06	c (121,0) c Unaries_5 : 2
942.46/126.06	c (121,0) c Unaries_6 : 0
942.46/126.06	c (121,0) c Unaries_7 : 5
942.46/126.06	c (121,0) c Unaries_total : 17
942.46/126.06	c (121,0) c Unaries_winner : 3
942.46/126.06	c (121,0) c Binaries_0 : 25
942.46/126.06	c (121,0) c Binaries_1 : 28
942.46/126.06	c (121,0) c Binaries_2 : 22
942.46/126.06	c (121,0) c Binaries_3 : 20
942.46/126.06	c (121,0) c Binaries_4 : 18
942.46/126.06	c (121,0) c Binaries_5 : 31
942.46/126.06	c (121,0) c Binaries_6 : 18
942.46/126.06	c (121,0) c Binaries_7 : 26
942.46/126.06	c (121,0) c Binaries_total : 188
942.46/126.06	c (121,0) c Binaries_winner : 28
942.46/126.06	c (121,0) c Glues_0 : 337
942.46/126.06	c (121,0) c Glues_1 : 351
942.46/126.06	c (121,0) c Glues_2 : 353
942.46/126.06	c (121,0) c Glues_3 : 353
942.46/126.06	c (121,0) c Glues_4 : 345
942.46/126.06	c (121,0) c Glues_5 : 305
942.46/126.06	c (121,0) c Glues_6 : 326
942.46/126.06	c (121,0) c Glues_7 : 330
942.46/126.06	c (121,0) c Glues_total : 2700
942.46/126.06	c (121,0) c Glues_winner : 351
942.46/126.06	c (121,0) c RunningTime_0 : 119.105262
942.46/126.06	c (121,0) c RunningTime_1 : 118.273191
942.46/126.06	c (121,0) c RunningTime_2 : 115.500177
942.46/126.06	c (121,0) c RunningTime_3 : 115.415750
942.46/126.06	c (121,0) c RunningTime_4 : 118.432990
942.46/126.06	c (121,0) c RunningTime_5 : 116.945440
942.46/126.06	c (121,0) c RunningTime_6 : 115.731907
942.46/126.06	c (121,0) c RunningTime_7 : 116.625829
942.46/126.06	c (121,0) c RunningTime_total : 936.030546
942.46/126.06	c (121,0) c RunningTime_winner : 118.273191
942.46/126.06	c (121,0) c WaitingTime_0 : 0.000943
942.46/126.06	c (121,0) c WaitingTime_1 : 0.352204
942.46/126.06	c (121,0) c WaitingTime_2 : 3.128961
942.46/126.06	c (121,0) c WaitingTime_3 : 3.253763
942.46/126.06	c (121,0) c WaitingTime_4 : 1.159097
942.46/126.06	c (121,0) c WaitingTime_5 : 3.312933
942.46/126.06	c (121,0) c WaitingTime_6 : 2.933504
942.46/126.06	c (121,0) c WaitingTime_7 : 2.141018
942.46/126.06	c (121,0) c WaitingTime_total : 16.282423
942.46/126.06	c (121,0) c WaitingTime_winner : 0.352204
942.46/126.06	c (121,0) c ExchangingTime_0 : 0.105460
942.46/126.06	c (121,0) c ExchangingTime_1 : 0.077075
942.46/126.06	c (121,0) c ExchangingTime_2 : 0.089044
942.46/126.06	c (121,0) c ExchangingTime_3 : 0.077026
942.46/126.06	c (121,0) c ExchangingTime_4 : 0.091991
942.46/126.06	c (121,0) c ExchangingTime_5 : 0.084620
942.46/126.06	c (121,0) c ExchangingTime_6 : 0.074903
942.46/126.06	c (121,0) c ExchangingTime_7 : 0.097979
942.46/126.06	c (121,0) c ExchangingTime_total : 0.698098
942.46/126.06	c (121,0) c ExchangingTime_winner : 0.077075
942.46/126.06	c (121,0) c PeriodProcTime_0 : 0.008688
942.46/126.06	c (121,0) c PeriodProcTime_1 : 0.007915
942.46/126.06	c (121,0) c PeriodProcTime_2 : 0.008507
942.46/126.06	c (121,0) c PeriodProcTime_3 : 0.006694
942.46/126.06	c (121,0) c PeriodProcTime_4 : 0.007789
942.46/126.06	c (121,0) c PeriodProcTime_5 : 0.007327
942.46/126.06	c (121,0) c PeriodProcTime_6 : 0.006771
942.46/126.06	c (121,0) c PeriodProcTime_7 : 0.007736
942.46/126.06	c (121,0) c PeriodProcTime_total : 0.061426
942.46/126.06	c (121,0) c PeriodProcTime_winner : 0.007915
942.46/126.06	c (121,0) c SolvingTime_0 : 119.220354
942.46/126.06	c (121,0) c SolvingTime_1 : 118.710385
942.46/126.06	c (121,0) c SolvingTime_2 : 118.726688
942.46/126.06	c (121,0) c SolvingTime_3 : 118.753232
942.46/126.06	c (121,0) c SolvingTime_4 : 119.691868
942.46/126.06	c (121,0) c SolvingTime_5 : 120.350320
942.46/126.06	c (121,0) c SolvingTime_6 : 118.747085
942.46/126.06	c (121,0) c SolvingTime_7 : 118.872562
942.46/126.06	c (121,0) c SolvingTime_total : 953.072493
942.46/126.06	c (121,0) c SolvingTime_winner : 118.710385
942.46/126.06	c (121,0) c PropagationTime_0 : 99.905837
942.46/126.06	c (121,0) c PropagationTime_1 : 99.101115
942.46/126.06	c (121,0) c PropagationTime_2 : 98.254361
942.46/126.06	c (121,0) c PropagationTime_3 : 98.600078
942.46/126.06	c (121,0) c PropagationTime_4 : 98.658662
942.46/126.06	c (121,0) c PropagationTime_5 : 99.578870
942.46/126.06	c (121,0) c PropagationTime_6 : 98.631524
942.46/126.06	c (121,0) c PropagationTime_7 : 97.965238
942.46/126.06	c (121,0) c PropagationTime_total : 790.695685
942.46/126.06	c (121,0) c PropagationTime_winner : 99.101115
942.46/126.06	c (121,0) c AnalysisTime_0 : 16.028976
942.46/126.06	c (121,0) c AnalysisTime_1 : 16.263769
942.46/126.06	c (121,0) c AnalysisTime_2 : 17.118184
942.46/126.06	c (121,0) c AnalysisTime_3 : 16.758661
942.46/126.06	c (121,0) c AnalysisTime_4 : 17.552613
942.46/126.06	c (121,0) c AnalysisTime_5 : 17.252726
942.46/126.06	c (121,0) c AnalysisTime_6 : 16.833533
942.46/126.06	c (121,0) c AnalysisTime_7 : 17.518564
942.46/126.06	c (121,0) c AnalysisTime_total : 135.327027
942.46/126.06	c (121,0) c AnalysisTime_winner : 16.263769
942.46/126.06	c (121,0) c ReductionTime_0 : 0.431644
942.46/126.06	c (121,0) c ReductionTime_1 : 0.458067
942.46/126.06	c (121,0) c ReductionTime_2 : 0.437754
942.46/126.06	c (121,0) c ReductionTime_3 : 0.450063
942.46/126.06	c (121,0) c ReductionTime_4 : 0.463657
942.46/126.06	c (121,0) c ReductionTime_5 : 0.459736
942.46/126.06	c (121,0) c ReductionTime_6 : 0.435904
942.46/126.06	c (121,0) c ReductionTime_7 : 0.437305
942.46/126.06	c (121,0) c ReductionTime_total : 3.574128
942.46/126.06	c (121,0) c ReductionTime_winner : 0.458067
942.46/126.06	c (121,0) c SimplifyTime_0 : 0.133812
942.46/126.06	c (121,0) c SimplifyTime_1 : 0.148987
942.46/126.06	c (121,0) c SimplifyTime_2 : 0.131320
942.46/126.06	c (121,0) c SimplifyTime_3 : 0.132041
942.46/126.06	c (121,0) c SimplifyTime_4 : 0.143092
942.46/126.06	c (121,0) c SimplifyTime_5 : 0.186326
942.46/126.06	c (121,0) c SimplifyTime_6 : 0.121955
942.46/126.06	c (121,0) c SimplifyTime_7 : 0.132262
942.46/126.06	c (121,0) c SimplifyTime_total : 1.129796
942.46/126.06	c (121,0) c SimplifyTime_winner : 0.148987
942.46/126.06	c (121,0) c UsedRateTime_0 : 0.000000
942.46/126.06	c (121,0) c UsedRateTime_1 : 0.000000
942.46/126.06	c (121,0) c UsedRateTime_2 : 0.000000
942.46/126.06	c (121,0) c UsedRateTime_3 : 0.000000
942.46/126.06	c (121,0) c UsedRateTime_4 : 0.000000
942.46/126.06	c (121,0) c UsedRateTime_5 : 0.000000
942.46/126.06	c (121,0) c UsedRateTime_6 : 0.000000
942.46/126.06	c (121,0) c UsedRateTime_7 : 0.000000
942.46/126.06	c (121,0) c UsedRateTime_total : 0.000000
942.46/126.06	c (121,0) c UsedRateTime_winner : 0.000000
942.46/126.06	c (121,0) c OverlapRateTime_0 : 0.000000
942.46/126.06	c (121,0) c OverlapRateTime_1 : 0.000000
942.46/126.06	c (121,0) c OverlapRateTime_2 : 0.000000
942.46/126.06	c (121,0) c OverlapRateTime_3 : 0.000000
942.46/126.06	c (121,0) c OverlapRateTime_4 : 0.000000
942.46/126.06	c (121,0) c OverlapRateTime_5 : 0.000000
942.46/126.06	c (121,0) c OverlapRateTime_6 : 0.000000
942.46/126.06	c (121,0) c OverlapRateTime_7 : 0.000000
942.46/126.06	c (121,0) c OverlapRateTime_total : 0.000000
942.46/126.06	c (121,0) c OverlapRateTime_winner : 0.000000
942.46/126.06	c (121,0) c
942.46/126.06	c (121,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
942.46/126.06	c (121,0) c
942.46/126.06	c (121,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.46/126.06	c (121,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
942.46/126.06	c (121,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.46/126.06	c (121,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
942.46/126.06	c (121,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
942.46/126.06	c (121,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
942.46/126.06	c (121,0) c | Initial random_seed   | 2016904820 | 1730990928 |  762349194 | 1257877625 |  417010493 |   74897137 | 1818860985 | 1958058407 |
942.46/126.06	c (121,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
942.46/126.06	c (121,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
942.46/126.06	c (121,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
942.46/126.06	c (121,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
942.46/126.06	c (121,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
942.46/126.06	c (121,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
942.46/126.06	c (121,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
942.46/126.06	c (121,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
942.46/126.06	c (121,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
942.46/126.06	c (121,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
942.46/126.06	c (121,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
942.46/126.06	c (121,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
942.46/126.06	c (121,0) 
942.46/126.06	c (121,0) s SATISFIABLE
942.71/126.11	c (121,0) SatSolver.solve End
942.71/126.12	c (121,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
942.71/126.12	c (121,0) Show results Begin
942.95/126.22	c (122,0) x[0] = 327
942.95/126.22	c (122,0) x[1] = 265
942.95/126.22	c (122,0) x[2] = 241
942.95/126.22	c (122,0) x[3] = 239
942.95/126.22	c (122,0) x[4] = 265
942.95/126.22	c (122,0) x[5] = 239
942.95/126.22	c (122,0) x[6] = 298
942.95/126.22	c (122,0) x[7] = 407
942.95/126.22	c (122,0) x[8] = 241
942.95/126.22	c (122,0) x[9] = 282
942.95/126.22	c (122,0) x[10] = 235
942.95/126.22	c (122,0) x[11] = 327
942.95/126.22	c (122,0) x[12] = 160
942.95/126.22	c (122,0) x[13] = 160
942.95/126.22	c (122,0) x[14] = 239
942.95/126.22	c (122,0) x[15] = 298
942.95/126.22	c (122,0) x[16] = 342
942.95/126.22	c (122,0) x[17] = 0
942.95/126.22	c (122,0) x[18] = 239
942.95/126.22	c (122,0) x[19] = 235
942.95/126.22	c (122,0) x[20] = 461
942.95/126.22	c (122,0) x[21] = 407
942.95/126.22	c (122,0) x[22] = 400
942.95/126.22	c (122,0) x[23] = 0
942.95/126.22	c (122,0) x[24] = 0
942.95/126.22	c (122,0) y[0] = 234
942.95/126.23	c (122,0) y[1] = 292
942.95/126.23	c (122,0) y[2] = 318
942.95/126.23	c (122,0) y[3] = 292
942.95/126.23	c (122,0) y[4] = 309
942.95/126.23	c (122,0) y[5] = 249
942.95/126.23	c (122,0) y[6] = 309
942.95/126.23	c (122,0) y[7] = 353
942.95/126.23	c (122,0) y[8] = 342
942.95/126.23	c (122,0) y[9] = 249
942.95/126.23	c (122,0) y[10] = 399
942.95/126.23	c (122,0) y[11] = 161
942.95/126.23	c (122,0) y[12] = 239
942.95/126.23	c (122,0) y[13] = 318
942.95/126.23	c (122,0) y[14] = 161
942.95/126.23	c (122,0) y[15] = 353
942.95/126.23	c (122,0) y[16] = 234
942.95/126.23	c (122,0) y[17] = 239
942.95/126.23	c (122,0) y[18] = 0
942.95/126.23	c (122,0) y[19] = 462
942.95/126.23	c (122,0) y[20] = 234
942.95/126.23	c (122,0) y[21] = 407
942.95/126.23	c (122,0) y[22] = 0
942.95/126.23	c (122,0) y[23] = 399
942.95/126.23	c (122,0) y[24] = 0
942.95/126.23	s SATISFIABLE
942.95/126.23	v <instantiation>
942.95/126.23	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>
942.95/126.23	v     <values>327 265 241 239 265 239 298 407 241 282 235 327 160 160 239 298 342 0 239 235 461 407 400 0 0 234 292 318 292 309 249 309 353 342 249 399 161 239 318 161 353 234 239 0 462 234 407 0 399 0</values>
942.95/126.23	v </instantiation>
942.95/126.23	c (122,0) Show results End
942.95/126.23	c (122,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
942.95/126.23	c (122,0) 121,122,STOP-AFTER(ALL)
942.95/126.23	c END-Prog: Tue Sep 24 16:12:19 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 (13554 MiB free)
  memory of node 1: 16384 MiB (12071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405498-1569337913/watcher-4405498-1569337913 -o /var/tmp/evaluation-result-4405498-1569337913/solver-4405498-1569337913 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405498-1569337913.xml 

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

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


[startup+0.100155 s]*
/proc/loadavg: 6.94 6.48 4.19 2/212 30554
/proc/meminfo: memFree=26146036/32770624 swapFree=66956836/67108860
[pid=30532] ppid=30529 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30532/stat : 30532 (scop.sh) S 30529 30532 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510049101 115843072 349 33554432000 4194304 5098028 140724389844112 140724389841368 139911459680892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33464320 140724389851900 140724389852248 140724389852248 140724389855177 0
/proc/30532/statm: 28282 349 296 221 0 87 0
[pid=30535] ppid=30532 vsize=27314120 memory=106500 CPUtime=0.1 cores=0-7
/proc/30535/stat : 30535 (java) S 30532 30532 29338 0 -1 1077944320 6706 0 0 0 8 2 0 0 20 0 20 0 510049101 27969658880 26625 33554432000 4194304 4196468 140730624293232 140730624275776 139624828686071 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
/proc/30535/statm: 6828530 26625 2802 1 0 6790935 0
[pid=30535/tid=30536] ppid=30532 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/30535/task/30536/stat : 30536 (java) R 30532 30532 29338 0 -1 4202560 4805 0 0 0 7 2 0 0 20 0 20 0 510049102 27969658880 27137 33554432000 4194304 4196468 140730624293232 139624800522912 139624812766558 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30537] ppid=30532 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30535/task/30537/stat : 30537 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 27137 33554432000 4194304 4196468 140730624293232 139624832928016 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30538] ppid=30532 vsize=27314120 memory=140211031811712 CPUtime=0 cores=0-7
/proc/30535/task/30538/stat : 30538 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 27137 33554432000 4194304 4196468 140730624293232 139624647084432 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30539] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30539/stat : 30539 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 27137 33554432000 4194304 4196468 140730624293232 139624646031888 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30540] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30540/stat : 30540 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 27137 33554432000 4194304 4196468 140730624293232 139624644979344 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30541] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30541/stat : 30541 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 27137 33554432000 4194304 4196468 140730624293232 139624643926800 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30542] ppid=30532 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30535/task/30542/stat : 30542 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 27137 33554432000 4194304 4196468 140730624293232 139624642874256 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30543] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30543/stat : 30543 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 27137 33554432000 4194304 4196468 140730624293232 139624641821712 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30544] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30544/stat : 30544 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 27137 33554432000 4194304 4196468 140730624293232 139624640769168 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30545] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30545/stat : 30545 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049105 27969658880 27137 33554432000 4194304 4196468 140730624293232 139623685609456 139624828697218 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30546] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30546/stat : 30546 (java) S 30532 30532 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510049106 27969658880 27137 33554432000 4194304 4196468 140730624293232 139622810117024 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30547] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30547/stat : 30547 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049106 27969658880 27137 33554432000 4194304 4196468 140730624293232 139622541681648 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30548] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30548/stat : 30548 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 27137 33554432000 4194304 4196468 140730624293232 139622167173328 139624828704667 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30549] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30549/stat : 30549 (java) S 30532 30532 29338 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 27137 33554432000 4194304 4196468 140730624293232 139623684557296 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30550] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30550/stat : 30550 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 27137 33554432000 4194304 4196468 140730624293232 139622675896944 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30551] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30551/stat : 30551 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 27137 33554432000 4194304 4196468 140730624293232 139622674844400 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30552] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30552/stat : 30552 (java) S 30532 30532 29338 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 27137 33554432000 4194304 4196468 140730624293232 139622673791856 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30553] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30553/stat : 30553 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 27137 33554432000 4194304 4196468 140730624293232 139621669267680 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30554] ppid=30532 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30535/task/30554/stat : 30554 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 27137 33554432000 4194304 4196468 140730624293232 139622672738736 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107896 KiB

[startup+0.210466 s]*
/proc/loadavg: 6.94 6.48 4.19 2/212 30554
/proc/meminfo: memFree=26124332/32770624 swapFree=66956836/67108860
[pid=30532] ppid=30529 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30532/stat : 30532 (scop.sh) S 30529 30532 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510049101 115843072 349 33554432000 4194304 5098028 140724389844112 140724389841368 139911459680892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33464320 140724389851900 140724389852248 140724389852248 140724389855177 0
/proc/30532/statm: 28282 349 296 221 0 87 0
[pid=30535] ppid=30532 vsize=27314120 memory=125532 CPUtime=0.24 cores=0-7
/proc/30535/stat : 30535 (java) S 30532 30532 29338 0 -1 1077944320 12309 0 0 0 20 4 0 0 20 0 20 0 510049101 27969658880 31383 33554432000 4194304 4196468 140730624293232 140730624275776 139624828686071 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
/proc/30535/statm: 6828530 31383 2935 1 0 6790935 0
[pid=30535/tid=30536] ppid=30532 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30535/task/30536/stat : 30536 (java) R 30532 30532 29338 0 -1 4202560 10015 0 0 0 16 3 0 0 20 0 20 0 510049102 27969658880 31383 33554432000 4194304 4196468 140730624293232 139624800485456 139624808961955 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30537] ppid=30532 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/30535/task/30537/stat : 30537 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 31383 33554432000 4194304 4196468 140730624293232 139624832928016 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30538] ppid=30532 vsize=27314120 memory=140211031840356 CPUtime=0 cores=0-7
/proc/30535/task/30538/stat : 30538 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 31383 33554432000 4194304 4196468 140730624293232 139624647084432 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30539] ppid=30532 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30535/task/30539/stat : 30539 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 31383 33554432000 4194304 4196468 140730624293232 139624646031888 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30540] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30540/stat : 30540 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 31383 33554432000 4194304 4196468 140730624293232 139624644979344 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30541] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30541/stat : 30541 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 31383 33554432000 4194304 4196468 140730624293232 139624643926800 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30542] ppid=30532 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30535/task/30542/stat : 30542 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 31383 33554432000 4194304 4196468 140730624293232 139624642874256 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30543] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30543/stat : 30543 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 31383 33554432000 4194304 4196468 140730624293232 139624641821712 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30544] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30544/stat : 30544 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 31383 33554432000 4194304 4196468 140730624293232 139624640769168 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30545] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30545/stat : 30545 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049105 27969658880 31383 33554432000 4194304 4196468 140730624293232 139623685609456 139624828697218 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30546] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30546/stat : 30546 (java) S 30532 30532 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510049106 27969658880 31383 33554432000 4194304 4196468 140730624293232 139622810117024 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30547] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30547/stat : 30547 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049106 27969658880 31383 33554432000 4194304 4196468 140730624293232 139622541681648 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30548] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30548/stat : 30548 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 31383 33554432000 4194304 4196468 140730624293232 139622167173328 139624828704667 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30549] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30549/stat : 30549 (java) S 30532 30532 29338 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 31383 33554432000 4194304 4196468 140730624293232 139623684557296 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30550] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30550/stat : 30550 (java) S 30532 30532 29338 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 31383 33554432000 4194304 4196468 140730624293232 139622675896944 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30551] ppid=30532 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30535/task/30551/stat : 30551 (java) S 30532 30532 29338 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 31383 33554432000 4194304 4196468 140730624293232 139622674844400 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30552] ppid=30532 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30535/task/30552/stat : 30552 (java) S 30532 30532 29338 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 20 0 510049109 27969658880 31383 33554432000 4194304 4196468 140730624293232 139622673791856 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30553] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30553/stat : 30553 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 31383 33554432000 4194304 4196468 140730624293232 139621669267680 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30554] ppid=30532 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30535/task/30554/stat : 30554 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 31383 33554432000 4194304 4196468 140730624293232 139622672738736 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126928 KiB

[startup+0.310262 s]*
/proc/loadavg: 6.94 6.48 4.19 2/212 30554
/proc/meminfo: memFree=26121292/32770624 swapFree=66956836/67108860
[pid=30532] ppid=30529 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30532/stat : 30532 (scop.sh) S 30529 30532 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510049101 115843072 349 33554432000 4194304 5098028 140724389844112 140724389841368 139911459680892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33464320 140724389851900 140724389852248 140724389852248 140724389855177 0
/proc/30532/statm: 28282 349 296 221 0 87 0
[pid=30535] ppid=30532 vsize=27314120 memory=129808 CPUtime=0.42 cores=0-7
/proc/30535/stat : 30535 (java) S 30532 30532 29338 0 -1 1077944320 12796 0 0 0 37 5 0 0 20 0 20 0 510049101 27969658880 32452 33554432000 4194304 4196468 140730624293232 140730624275776 139624828686071 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
/proc/30535/statm: 6828530 32452 3063 1 0 6790935 0
[pid=30535/tid=30536] ppid=30532 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/30535/task/30536/stat : 30536 (java) R 30532 30532 29338 0 -1 4202560 10304 0 0 0 26 4 0 0 20 0 20 0 510049102 27969658880 32452 33554432000 4194304 4196468 140730624293232 139624800499936 139624810249627 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30537] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30537/stat : 30537 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 32452 33554432000 4194304 4196468 140730624293232 139624832928016 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30538] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30538/stat : 30538 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 32452 33554432000 4194304 4196468 140730624293232 139624647084432 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30539] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30539/stat : 30539 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 32452 33554432000 4194304 4196468 140730624293232 139624646031888 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30540] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30540/stat : 30540 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 32452 33554432000 4194304 4196468 140730624293232 139624644979344 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30541] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30541/stat : 30541 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 32452 33554432000 4194304 4196468 140730624293232 139624643926800 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30542] ppid=30532 vsize=27314120 memory=140210885192367 CPUtime=0 cores=0-7
/proc/30535/task/30542/stat : 30542 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 32452 33554432000 4194304 4196468 140730624293232 139624642874256 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30543] ppid=30532 vsize=27314120 memory=140210885194672 CPUtime=0 cores=0-7
/proc/30535/task/30543/stat : 30543 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 32452 33554432000 4194304 4196468 140730624293232 139624641821712 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30544] ppid=30532 vsize=27314120 memory=140210885196976 CPUtime=0 cores=0-7
/proc/30535/task/30544/stat : 30544 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27969658880 32452 33554432000 4194304 4196468 140730624293232 139624640769168 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30545] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30545/stat : 30545 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510049105 27969658880 32452 33554432000 4194304 4196468 140730624293232 139623685609456 139624828697218 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30546] ppid=30532 vsize=27314120 memory=280421770407824 CPUtime=0 cores=0-7
/proc/30535/task/30546/stat : 30546 (java) S 30532 30532 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510049106 27969658880 32452 33554432000 4194304 4196468 140730624293232 139622810117024 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30547] ppid=30532 vsize=27314120 memory=280421770405520 CPUtime=0 cores=0-7
/proc/30535/task/30547/stat : 30547 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049106 27969658880 32452 33554432000 4194304 4196468 140730624293232 139622541681648 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30548] ppid=30532 vsize=27314120 memory=280421770412432 CPUtime=0 cores=0-7
/proc/30535/task/30548/stat : 30548 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 32452 33554432000 4194304 4196468 140730624293232 139622167173328 139624828704667 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30549] ppid=30532 vsize=27314120 memory=280421770353712 CPUtime=0.01 cores=0-7
/proc/30535/task/30549/stat : 30549 (java) S 30532 30532 29338 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 510049109 27969658880 32452 33554432000 4194304 4196468 140730624293232 139623684557296 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30550] ppid=30532 vsize=27314120 memory=280421770426256 CPUtime=0 cores=0-7
/proc/30535/task/30550/stat : 30550 (java) R 30532 30532 29338 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 32452 33554432000 4194304 4196468 140730624293232 139622675896944 139624810210429 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30551] ppid=30532 vsize=27314120 memory=280421770433168 CPUtime=0.02 cores=0-7
/proc/30535/task/30551/stat : 30551 (java) S 30532 30532 29338 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 20 0 510049109 27969658880 32452 33554432000 4194304 4196468 140730624293232 139622674844400 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30552] ppid=30532 vsize=27314120 memory=280421770430864 CPUtime=0.06 cores=0-7
/proc/30535/task/30552/stat : 30552 (java) S 30532 30532 29338 0 -1 1077944384 491 0 0 0 6 0 0 0 20 0 20 0 510049109 27969658880 32452 33554432000 4194304 4196468 140730624293232 139622673791856 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30553] ppid=30532 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30553/stat : 30553 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 32452 33554432000 4194304 4196468 140730624293232 139621669267680 139624828696277 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30554] ppid=30532 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30535/task/30554/stat : 30554 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049109 27969658880 32452 33554432000 4194304 4196468 140730624293232 139622672738736 139624828697218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131204 KiB

[startup+0.702323 s]
/proc/loadavg: 6.94 6.48 4.19 2/212 30554
/proc/meminfo: memFree=26099464/32770624 swapFree=66956836/67108860
[pid=30532] ppid=30529 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30532/stat : 30532 (scop.sh) S 30529 30532 29338 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510049101 115843072 349 33554432000 4194304 5098028 140724389844112 140724389841368 139911459680892 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33464320 140724389851900 140724389852248 140724389852248 140724389855177 0
/proc/30532/statm: 28282 349 296 221 0 87 0
[pid=30535] ppid=30532 vsize=27322516 memory=165900 CPUtime=1.01 cores=0-7
/proc/30535/stat : 30535 (java) S 30532 30532 29338 0 -1 1077944320 20643 0 0 0 93 8 0 0 20 0 20 0 510049101 27978256384 41475 33554432000 4194304 4196468 140730624293232 140730624275776 139624828686071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
/proc/30535/statm: 6830629 41475 3200 1 0 6791959 0
[pid=30535/tid=30536] ppid=30532 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/30535/task/30536/stat : 30536 (java) R 30532 30532 29338 0 -1 4202560 17535 0 0 0 62 6 0 0 20 0 20 0 510049102 27978256384 41475 33554432000 4194304 4196468 140730624293232 139624800522560 139624828707997 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30537] ppid=30532 vsize=27322516 memory=140210885403504 CPUtime=0 cores=0-7
/proc/30535/task/30537/stat : 30537 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27978256384 41475 33554432000 4194304 4196468 140730624293232 139624832928016 139624828696277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30538] ppid=30532 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/30535/task/30538/stat : 30538 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510049104 27978256384 41475 33554432000 4194304 4196468 140730624293232 139624647084432 139624828696277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0
[pid=30535/tid=30539] ppid=30532 vsize=27322516 memory=784 CPUtime=0 cores=0-7
/proc/30535/task/30539/stat : 30539 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510049104 27978256384 41475 33554432000 4194304 4196468 140730624293232 139624646031888 139624828696277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7180288 140730624295622 140730624296070 140730624296070 140730624298959 0

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

/proc/30555/task/30560/stat : 30560 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791139208336 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30561] ppid=30532 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/30555/task/30561/stat : 30561 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791138154768 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30562] ppid=30532 vsize=8414124 memory=25020 CPUtime=0 cores=0-7
/proc/30555/task/30562/stat : 30562 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791137102224 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30563] ppid=30532 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/30555/task/30563/stat : 30563 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791136049680 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30564] ppid=30532 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/30555/task/30564/stat : 30564 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791134997136 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30565] ppid=30532 vsize=8414124 memory=3608 CPUtime=0 cores=0-7
/proc/30555/task/30565/stat : 30565 (java) S 30532 30532 29338 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510049479 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790698600944 139791336913538 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30566] ppid=30532 vsize=8414124 memory=616 CPUtime=0 cores=0-7
/proc/30555/task/30566/stat : 30566 (java) S 30532 30532 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510049480 8616062976 30116 33554432000 4194304 4196468 140728675828736 139789642753440 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30567] ppid=30532 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/30555/task/30567/stat : 30567 (java) S 30532 30532 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510049480 8616062976 30116 33554432000 4194304 4196468 140728675828736 139789508531696 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30568] ppid=30532 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/30555/task/30568/stat : 30568 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139789134027472 139791336920987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30569] ppid=30532 vsize=8414124 memory=1136 CPUtime=0.07 cores=0-7
/proc/30555/task/30569/stat : 30569 (java) S 30532 30532 29338 0 -1 1077944384 545 0 0 0 7 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790697547760 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30570] ppid=30532 vsize=8414124 memory=2116 CPUtime=0.07 cores=0-7
/proc/30555/task/30570/stat : 30570 (java) S 30532 30532 29338 0 -1 1077944384 471 0 0 0 7 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790696495216 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30571] ppid=30532 vsize=8414124 memory=516 CPUtime=0.03 cores=0-7
/proc/30555/task/30571/stat : 30571 (java) S 30532 30532 29338 0 -1 1077944384 76 0 0 0 3 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790695442672 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30572] ppid=30532 vsize=8414124 memory=1556 CPUtime=0.19 cores=0-7
/proc/30555/task/30572/stat : 30572 (java) S 30532 30532 29338 0 -1 1077944384 711 0 0 0 19 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790694390128 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30573] ppid=30532 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/30555/task/30573/stat : 30573 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139788636121824 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30574] ppid=30532 vsize=8414124 memory=1772 CPUtime=0.14 cores=0-7
/proc/30555/task/30574/stat : 30574 (java) S 30532 30532 29338 0 -1 1077944384 11 0 0 0 7 7 0 0 20 0 24 0 510049483 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790693338032 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30576] ppid=30532 vsize=8414124 memory=900 CPUtime=0 cores=0-7
/proc/30555/task/30576/stat : 30576 (java) S 30532 30532 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510049547 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790685304512 139791336927001 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30578] ppid=30532 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/30555/task/30578/stat : 30578 (java) S 30532 30532 29338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510049548 8616062976 30116 33554432000 4194304 4196468 140728675828736 139787965021456 139791336924317 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30579] ppid=30532 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/30555/task/30579/stat : 30579 (java) S 30532 30532 29338 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510049548 8616062976 30116 33554432000 4194304 4196468 140728675828736 139788233457040 139791336924317 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30580] ppid=30532 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/30555/task/30580/stat : 30580 (java) S 30532 30532 29338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510049550 8616062976 30116 33554432000 4194304 4196468 140728675828736 139787696594096 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
Current children cumulated CPU time: 942.05 s
Current children cumulated vsize: 9527432 KiB
Current children cumulated memory: 950480 KiB

[startup+126.001 s]*
/proc/loadavg: 7.82 6.93 4.64 2/218 30596
/proc/meminfo: memFree=25291724/32770624 swapFree=66956836/67108860
[pid=30532] ppid=30529 vsize=113128 memory=1476 CPUtime=6.78 cores=0-7
/proc/30532/stat : 30532 (scop.sh) S 30529 30532 29338 0 -1 4202496 583 27974 0 0 0 0 636 42 20 0 1 0 510049101 115843072 369 33554432000 4194304 5098028 140724389844112 140724389840856 139911459680892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33464320 140724389851900 140724389852248 140724389852248 140724389855177 0
/proc/30532/statm: 28282 369 311 221 0 87 0
[pid=30555] ppid=30532 vsize=8414124 memory=120464 CPUtime=1.23 cores=0-7
/proc/30555/stat : 30555 (java) S 30532 30532 29338 0 -1 1077944320 19604 0 0 0 115 8 0 0 20 0 24 0 510049476 8616062976 30116 33554432000 4194304 4196468 140728675828736 140728675811280 139791336902391 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
/proc/30555/statm: 2103531 30116 3208 1 0 2064875 0
[pid=30575] ppid=30555 vsize=1000180 memory=828540 CPUtime=934.45 cores=0-7
/proc/30575/stat : 30575 (manyglucose-4.1) S 30555 30532 29338 0 -1 1077944320 784722 0 0 0 93293 152 0 0 20 0 2 0 510049547 1024184320 207135 33554432000 4194304 4454172 140727569776912 140727569775296 140279319805687 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 6979584 140727569781581 140727569781788 140727569781788 140727569784758 0
/proc/30575/statm: 250045 207135 422 64 0 245713 0
[pid=30575/tid=30586] ppid=30555 vsize=1000180 memory=6299530256883739234 CPUtime=116.78 cores=0-7
/proc/30575/task/30586/stat : 30586 (manyglucose-4.1) R 30555 30532 29338 0 -1 4202560 98318 0 0 0 11658 20 0 0 20 0 2 0 510049669 1024184320 207135 33554432000 4194304 4454172 140727569776912 140279228247176 4351773 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 6979584 140727569781581 140727569781788 140727569781788 140727569784758 0
[pid=30555/tid=30556] ppid=30532 vsize=8414124 memory=8317482817917895235 CPUtime=0.74 cores=0-7
/proc/30555/task/30556/stat : 30556 (java) S 30532 30532 29338 0 -1 1077944384 16370 0 0 0 69 5 0 0 20 0 24 0 510049477 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791308742560 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30557] ppid=30532 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30555/task/30557/stat : 30557 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791341144848 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30558] ppid=30532 vsize=8414124 memory=120464 CPUtime=0 cores=0-7
/proc/30555/task/30558/stat : 30558 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791141313424 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30559] ppid=30532 vsize=8414124 memory=952548 CPUtime=0 cores=0-7
/proc/30555/task/30559/stat : 30559 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791140260880 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30560] ppid=30532 vsize=8414124 memory=3608 CPUtime=0 cores=0-7
/proc/30555/task/30560/stat : 30560 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791139208336 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30561] ppid=30532 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30555/task/30561/stat : 30561 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791138154768 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30562] ppid=30532 vsize=8414124 memory=120464 CPUtime=0 cores=0-7
/proc/30555/task/30562/stat : 30562 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791137102224 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30563] ppid=30532 vsize=8414124 memory=-8815907786912461202 CPUtime=0 cores=0-7
/proc/30555/task/30563/stat : 30563 (java) S 30532 30532 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791136049680 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30564] ppid=30532 vsize=8414124 memory=120464 CPUtime=0 cores=0-7
/proc/30555/task/30564/stat : 30564 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510049478 8616062976 30116 33554432000 4194304 4196468 140728675828736 139791134997136 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30565] ppid=30532 vsize=8414124 memory=828496 CPUtime=0 cores=0-7
/proc/30555/task/30565/stat : 30565 (java) S 30532 30532 29338 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510049479 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790698600944 139791336913538 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30566] ppid=30532 vsize=8414124 memory=616 CPUtime=0 cores=0-7
/proc/30555/task/30566/stat : 30566 (java) S 30532 30532 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510049480 8616062976 30116 33554432000 4194304 4196468 140728675828736 139789642753440 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30567] ppid=30532 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/30555/task/30567/stat : 30567 (java) S 30532 30532 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510049480 8616062976 30116 33554432000 4194304 4196468 140728675828736 139789508531696 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30568] ppid=30532 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/30555/task/30568/stat : 30568 (java) S 30532 30532 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139789134027472 139791336920987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30569] ppid=30532 vsize=8414124 memory=1136 CPUtime=0.07 cores=0-7
/proc/30555/task/30569/stat : 30569 (java) S 30532 30532 29338 0 -1 1077944384 545 0 0 0 7 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790697547760 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30570] ppid=30532 vsize=8414124 memory=1072 CPUtime=0.07 cores=0-7
/proc/30555/task/30570/stat : 30570 (java) S 30532 30532 29338 0 -1 1077944384 471 0 0 0 7 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790696495216 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30571] ppid=30532 vsize=8414124 memory=6196 CPUtime=0.03 cores=0-7
/proc/30555/task/30571/stat : 30571 (java) S 30532 30532 29338 0 -1 1077944384 76 0 0 0 3 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790695442672 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30572] ppid=30532 vsize=8414124 memory=784 CPUtime=0.19 cores=0-7
/proc/30555/task/30572/stat : 30572 (java) S 30532 30532 29338 0 -1 1077944384 711 0 0 0 19 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790694390128 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30573] ppid=30532 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/30555/task/30573/stat : 30573 (java) S 30532 30532 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510049482 8616062976 30116 33554432000 4194304 4196468 140728675828736 139788636121824 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30574] ppid=30532 vsize=8414124 memory=14012 CPUtime=0.14 cores=0-7
/proc/30555/task/30574/stat : 30574 (java) S 30532 30532 29338 0 -1 1077944384 11 0 0 0 7 7 0 0 20 0 24 0 510049483 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790693338032 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30576] ppid=30532 vsize=8414124 memory=25020 CPUtime=0 cores=0-7
/proc/30555/task/30576/stat : 30576 (java) S 30532 30532 29338 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510049547 8616062976 30116 33554432000 4194304 4196468 140728675828736 139790685304512 139791336927001 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30578] ppid=30532 vsize=8414124 memory=14056 CPUtime=0 cores=0-7
/proc/30555/task/30578/stat : 30578 (java) S 30532 30532 29338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510049548 8616062976 30116 33554432000 4194304 4196468 140728675828736 139787965021456 139791336924317 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30579] ppid=30532 vsize=8414124 memory=6299530256883739234 CPUtime=0 cores=0-7
/proc/30555/task/30579/stat : 30579 (java) S 30532 30532 29338 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510049548 8616062976 30116 33554432000 4194304 4196468 140728675828736 139788233457040 139791336924317 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30580] ppid=30532 vsize=8414124 memory=7374482131934601578 CPUtime=0 cores=0-7
/proc/30555/task/30580/stat : 30580 (java) S 30532 30532 29338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510049550 8616062976 30116 33554432000 4194304 4196468 140728675828736 139787696594096 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
Current children cumulated CPU time: 942.46 s
Current children cumulated vsize: 9527432 KiB
Current children cumulated memory: 950480 KiB

[startup+126.201 s]
/proc/loadavg: 7.82 6.93 4.64 2/218 30596
/proc/meminfo: memFree=25291724/32770624 swapFree=66956836/67108860
[pid=30532] ppid=30529 vsize=113128 memory=1476 CPUtime=6.78 cores=0-7
/proc/30532/stat : 30532 (scop.sh) S 30529 30532 29338 0 -1 4202496 583 27974 0 0 0 0 636 42 20 0 1 0 510049101 115843072 369 33554432000 4194304 5098028 140724389844112 140724389840856 139911459680892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33464320 140724389851900 140724389852248 140724389852248 140724389855177 0
/proc/30532/statm: 28282 369 311 221 0 87 0
[pid=30555] ppid=30532 vsize=8283048 memory=134332 CPUtime=936.17 cores=0-7
/proc/30555/stat : 30555 (java) S 30532 30532 29338 0 -1 1077944320 21530 785146 0 0 155 9 93298 155 20 0 22 0 510049476 8481841152 33583 33554432000 4194304 4196468 140728675828736 140728675811280 139791336902391 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
/proc/30555/statm: 2070762 33583 3224 1 0 2032106 0
[pid=30555/tid=30556] ppid=30532 vsize=8283048 memory=13563791027735085 CPUtime=935.35 cores=0-7
/proc/30555/task/30556/stat : 30556 (java) R 30532 30532 29338 0 -1 4202560 16645 785146 0 0 77 5 93298 155 20 0 22 0 510049477 8481841152 33583 33554432000 4194304 4196468 140728675828736 139791308738368 139791336914326 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30557] ppid=30532 vsize=8283048 memory=1548 CPUtime=934.53 cores=0-7
/proc/30555/task/30557/stat : 30557 (java) S 30532 30532 29338 0 -1 1077944384 1 785146 0 0 0 0 93298 155 20 0 22 0 510049478 8481841152 33583 33554432000 4194304 4196468 140728675828736 139791341144848 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30558] ppid=30532 vsize=8283048 memory=7552 CPUtime=934.53 cores=0-7
/proc/30555/task/30558/stat : 30558 (java) S 30532 30532 29338 0 -1 1077944384 2 785146 0 0 0 0 93298 155 20 0 22 0 510049478 8481841152 33583 33554432000 4194304 4196468 140728675828736 139791141313424 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30559] ppid=30532 vsize=8283048 memory=3608 CPUtime=934.53 cores=0-7
/proc/30555/task/30559/stat : 30559 (java) S 30532 30532 29338 0 -1 1077944384 2 785146 0 0 0 0 93298 155 20 0 22 0 510049478 8481841152 33583 33554432000 4194304 4196468 140728675828736 139791140260880 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30560] ppid=30532 vsize=8283048 memory=616 CPUtime=934.53 cores=0-7
/proc/30555/task/30560/stat : 30560 (java) S 30532 30532 29338 0 -1 1077944384 1 785146 0 0 0 0 93298 155 20 0 22 0 510049478 8481841152 33583 33554432000 4194304 4196468 140728675828736 139791139208336 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30561] ppid=30532 vsize=8283048 memory=2832 CPUtime=934.53 cores=0-7
/proc/30555/task/30561/stat : 30561 (java) S 30532 30532 29338 0 -1 1077944384 1 785146 0 0 0 0 93298 155 20 0 22 0 510049478 8481841152 33583 33554432000 4194304 4196468 140728675828736 139791138154768 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30562] ppid=30532 vsize=8283048 memory=1620 CPUtime=934.53 cores=0-7
/proc/30555/task/30562/stat : 30562 (java) S 30532 30532 29338 0 -1 1077944384 1 785146 0 0 0 0 93298 155 20 0 22 0 510049478 8481841152 33583 33554432000 4194304 4196468 140728675828736 139791137102224 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30563] ppid=30532 vsize=8283048 memory=1136 CPUtime=934.53 cores=0-7
/proc/30555/task/30563/stat : 30563 (java) S 30532 30532 29338 0 -1 1077944384 2 785146 0 0 0 0 93298 155 20 0 22 0 510049478 8481841152 33583 33554432000 4194304 4196468 140728675828736 139791136049680 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30564] ppid=30532 vsize=8283048 memory=1072 CPUtime=934.53 cores=0-7
/proc/30555/task/30564/stat : 30564 (java) S 30532 30532 29338 0 -1 1077944384 3 785146 0 0 0 0 93298 155 20 0 22 0 510049478 8481841152 33583 33554432000 4194304 4196468 140728675828736 139791134997136 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30565] ppid=30532 vsize=8283048 memory=6196 CPUtime=934.53 cores=0-7
/proc/30555/task/30565/stat : 30565 (java) S 30532 30532 29338 0 -1 1077944384 8 785146 0 0 0 0 93298 155 20 0 22 0 510049479 8481841152 33583 33554432000 4194304 4196468 140728675828736 139790698600944 139791336913538 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30566] ppid=30532 vsize=8283048 memory=784 CPUtime=934.53 cores=0-7
/proc/30555/task/30566/stat : 30566 (java) S 30532 30532 29338 0 -1 1077944384 13 785146 0 0 0 0 93298 155 20 0 22 0 510049480 8481841152 33583 33554432000 4194304 4196468 140728675828736 139789642753440 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30567] ppid=30532 vsize=8283048 memory=0 CPUtime=934.53 cores=0-7
/proc/30555/task/30567/stat : 30567 (java) S 30532 30532 29338 0 -1 1077944384 21 785146 0 0 0 0 93298 155 20 0 22 0 510049480 8481841152 33583 33554432000 4194304 4196468 140728675828736 139789508531696 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30568] ppid=30532 vsize=8283048 memory=7882545512969294166 CPUtime=934.53 cores=0-7
/proc/30555/task/30568/stat : 30568 (java) S 30532 30532 29338 0 -1 1077944384 1 785146 0 0 0 0 93298 155 20 0 22 0 510049482 8481841152 33583 33554432000 4194304 4196468 140728675828736 139789134027472 139791336920987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30569] ppid=30532 vsize=8283048 memory=7740093907545319528 CPUtime=934.66 cores=0-7
/proc/30555/task/30569/stat : 30569 (java) S 30532 30532 29338 0 -1 1077944384 679 785146 0 0 13 0 93298 155 20 0 22 0 510049482 8481841152 33583 33554432000 4194304 4196468 140728675828736 139790697547760 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30570] ppid=30532 vsize=8283048 memory=7379827952569176936 CPUtime=934.67 cores=0-7
/proc/30555/task/30570/stat : 30570 (java) R 30532 30532 29338 0 -1 4202560 723 785146 0 0 14 0 93298 155 20 0 22 0 510049482 8481841152 33583 33554432000 4194304 4196468 140728675828736 139790696495216 139791314497184 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30571] ppid=30532 vsize=8283048 memory=7740093907545319528 CPUtime=934.61 cores=0-7
/proc/30555/task/30571/stat : 30571 (java) S 30532 30532 29338 0 -1 1077944384 450 785146 0 0 8 0 93298 155 20 0 22 0 510049482 8481841152 33583 33554432000 4194304 4196468 140728675828736 139790695442672 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30572] ppid=30532 vsize=8283048 memory=7379827952569176936 CPUtime=934.79 cores=0-7
/proc/30555/task/30572/stat : 30572 (java) R 30532 30532 29338 0 -1 4202560 1042 785146 0 0 26 0 93298 155 20 0 22 0 510049482 8481841152 33583 33554432000 4194304 4196468 140728675828736 139790694390128 139791320246083 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30573] ppid=30532 vsize=8283048 memory=7740093907545319528 CPUtime=934.53 cores=0-7
/proc/30555/task/30573/stat : 30573 (java) S 30532 30532 29338 0 -1 1077944384 3 785146 0 0 0 0 93298 155 20 0 22 0 510049482 8481841152 33583 33554432000 4194304 4196468 140728675828736 139788636121824 139791336912597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30574] ppid=30532 vsize=8283048 memory=4639950512826379884 CPUtime=934.67 cores=0-7
/proc/30555/task/30574/stat : 30574 (java) S 30532 30532 29338 0 -1 1077944384 11 785146 0 0 7 7 93298 155 20 0 22 0 510049483 8481841152 33583 33554432000 4194304 4196468 140728675828736 139790693338032 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30576] ppid=30532 vsize=8283048 memory=7444844296305861480 CPUtime=934.53 cores=0-7
/proc/30555/task/30576/stat : 30576 (java) S 30532 30532 29338 0 -1 1077944384 25 785146 0 0 0 0 93298 155 20 0 22 0 510049547 8481841152 33583 33554432000 4194304 4196468 140728675828736 139790685303696 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
[pid=30555/tid=30580] ppid=30532 vsize=8283048 memory=7450475951846735976 CPUtime=934.53 cores=0-7
/proc/30555/task/30580/stat : 30580 (java) S 30532 30532 29338 0 -1 1077944384 12 785146 0 0 0 0 93298 155 20 0 22 0 510049550 8481841152 33583 33554432000 4194304 4196468 140728675828736 139787696595888 139791336913538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140728675836895 140728675837062 140728675837062 140728675839951 0
Current children cumulated CPU time: 942.95 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 135808 KiB

Child status: 0
Real time (s): 126.246
CPU time (s): 943.071
CPU user time (s): 940.97
CPU system time (s): 2.10192
CPU usage (%): 747.012
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 2073128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 940.97
system time used= 2.10192
maximum resident set size= 2076672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 836336
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22764
involuntary context switches= 9158


# summary of solver processes directly reported to runsolver:
#   pid: 30532
#   total CPU time (s): 943.071
#   total CPU user time (s): 940.97
#   total CPU system time (s): 2.10192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16491 second user time and 1.86037 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 16:10:12
IDJOB=4405498
IDBENCH=127846
IDSOLVER=2868
FILE ID=node105/4405498-1569337913
RUNJOBID= node105-1569332278-29365
PBS_JOBID= 21705070
Free space on /var/tmp= 13180 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-203.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 /var/tmp/evaluation-result-4405498-1569337913/watcher-4405498-1569337913 -o /var/tmp/evaluation-result-4405498-1569337913/solver-4405498-1569337913 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --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-4405498-1569337913.xml

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

MD5SUM BENCH= ce251f4c9ae0df3aa97e9296eb89cd68
RANDOM SEED=2009945970

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26241256 kB
MemAvailable:   31799296 kB
Buffers:          110760 kB
Cached:          5579156 kB
SwapCached:        48352 kB
Active:          2826692 kB
Inactive:        2912352 kB
Active(anon):       3864 kB
Inactive(anon):    99568 kB
Active(file):    2822828 kB
Inactive(file):  2812784 kB
Unevictable:      110928 kB
Mlocked:          110928 kB
SwapTotal:      67108860 kB
SwapFree:       66956836 kB
Dirty:             19936 kB
Writeback:             0 kB
AnonPages:        129032 kB
Mapped:            54880 kB
Shmem:             45912 kB
Slab:             379556 kB
SReclaimable:     350888 kB
SUnreclaim:        28668 kB
KernelStack:        3728 kB
PageTables:         5716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13156 MiB
End job on node105 at 2019-09-24 16:12:19