Trace number 4392366

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePrimes/
Primes-m1-p20/Primes-20-20-3-3.xml
MD5SUM065412ea00e4edb14381318bc4e9318f
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 benchmark0.007616
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Number of domains1
Minimum domain size70
Maximum domain size70
Distribution of domain sizes[{"size":70,"count":60}]
Minimum variable degree0
Maximum variable degree3
Distribution of variable degrees[{"degree":0,"count":40},{"degree":1,"count":35},{"degree":2,"count":17},{"degree":3,"count":8}]
Minimum constraint arity3
Maximum constraint arity6
Distribution of constraint arities[{"arity":3,"count":3},{"arity":4,"count":7},{"arity":5,"count":4},{"arity":6,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":20}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-17585-serial-file.bin HOME/instance-4392366-1568433356.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 04:45:40 CEST 2019
0.65/0.56	c PID: 17588
0.65/0.56	c IP: 172.20.3.104
0.65/0.56	c HOST: node104.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.15/0.86	c (0,0) Parsing End
1.15/0.86	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 20 ctr, max domain size 70
1.15/0.86	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.15/0.86	c (0,0) Constraint Name Generate Begin
1.15/0.87	c (0,0) Ctr:HOME/instance-4392366-1568433356.xml,Num:Var:WeightedSum
1.15/0.87	c (0,0) Constraint Name Generate End
1.15/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.15/0.87	c (0,0) CSP to CSPinCNF Begin
1.36/0.95	c (0,0) translated 2 (10%) constraints
1.36/0.96	c (0,0) translated 4 (20%) constraints
1.36/0.97	c (0,0) translated 6 (30%) constraints
1.36/0.97	c (0,0) translated 8 (40%) constraints
1.36/0.98	c (0,0) translated 10 (50%) constraints
1.36/0.98	c (0,0) translated 12 (60%) constraints
1.36/0.99	c (0,0) translated 14 (70%) constraints
1.36/0.99	c (0,0) translated 16 (80%) constraints
1.36/1.00	c (0,0) translated 18 (90%) constraints
1.36/1.00	c (0,0) translated 20 (100%) constraints
1.36/1.00	c (0,0) ===========================================
1.36/1.00	c (0,0) Order
1.36/1.00	c (0,0) ===========================================
1.55/1.03	c (0,0) translated 2 (10%) constraints
1.55/1.03	c (0,0) translated 4 (20%) constraints
1.55/1.04	c (0,0) translated 6 (30%) constraints
1.55/1.05	c (0,0) translated 8 (40%) constraints
1.55/1.06	c (0,0) translated 10 (50%) constraints
1.55/1.06	c (0,0) translated 12 (60%) constraints
1.55/1.07	c (0,0) translated 14 (70%) constraints
1.55/1.07	c (0,0) translated 16 (80%) constraints
1.55/1.08	c (0,0) translated 18 (90%) constraints
1.55/1.09	c (0,0) translated 20 (100%) constraints
1.55/1.09	c (0,0) CSP to CSPinCNF End
1.55/1.09	c (0,0) CSP: 93 int (33 aux), 0 bool (0 aux), 106 ctr, max domain size 5452
1.55/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.55/1.09	c (0,0) CSPinCNF Propagation Begin
1.78/1.11	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.78/1.11	c (0,0) CSPinCNF Propagation End
1.78/1.11	c (0,0) CSP: 93 int (33 aux), 0 bool (0 aux), 106 ctr, max domain size 5452
1.78/1.11	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.78/1.11	c (0,0) Simplify CSPinCNF Begin
1.78/1.11	c (0,0) Simplify CSPinCNF End
1.78/1.12	c (0,0) CSP: 93 int (33 aux), 0 bool (0 aux), 106 ctr, max domain size 5452
1.78/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.78/1.12	c (0,0) Calculate Precise Domain Begin
2.36/1.32	c (0,0) 12346 values are removed by re-calculation
2.36/1.32	c (0,0) Calculate Precise Domain End
2.36/1.32	c (0,0) CSP: 93 int (33 aux), 0 bool (0 aux), 106 ctr, max domain size 4723
2.36/1.32	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.36/1.32	c (0,0) CSPinCNF to SatSolver Begin
9.05/6.40	c (5,5) 11 (10 %) CSP clauses are encoded (0 SAT variables, 2845728 SAT clauses)
10.04/7.06	c (6,6) 22 (20 %) CSP clauses are encoded (0 SAT variables, 3191860 SAT clauses)
19.24/12.72	c (12,10) 32 (30 %) CSP clauses are encoded (0 SAT variables, 5938253 SAT clauses)
21.86/15.88	c (15,13) 43 (40 %) CSP clauses are encoded (0 SAT variables, 7673853 SAT clauses)
23.20/17.18	c (16,14) 53 (50 %) CSP clauses are encoded (0 SAT variables, 8548796 SAT clauses)
24.03/17.53	c (16,15) 64 (60 %) CSP clauses are encoded (0 SAT variables, 8728025 SAT clauses)
24.03/17.58	c (17,15) 75 (70 %) CSP clauses are encoded (0 SAT variables, 8758540 SAT clauses)
30.28/24.31	c (23,21) 85 (80 %) CSP clauses are encoded (0 SAT variables, 12841312 SAT clauses)
73.60/39.05	c (38,31) 96 (90 %) CSP clauses are encoded (0 SAT variables, 20012438 SAT clauses)
135.97/55.83	c (55,41) 106 (100 %) CSP clauses are encoded (0 SAT variables, 27188136 SAT clauses)
135.97/55.84	c (55,41) CSPinCNF to SatSolver End
135.97/55.84	c (55,41) Heap : 3174 MiB used (max 20025 MiB), NonHeap : 25 MiB used (max 0 MiB)
135.97/55.84	c (55,41) 63569 bool, 27190725 clause
135.97/55.84	c (55,41) Export Begin
136.09/55.93	c (55,42) Export to HOME/scop-17585-serial-file.bin
136.09/55.93	c (55,42) Export End
136.09/55.93	c (55,42) Export File Size: 0.01 MB
136.09/55.93	c (55,42) 0,0,0,0,0,0,55,STOP-AFTER(DIMACS)
136.09/55.93	c END-Prog: Sat Sep 14 04:46:35 CEST 2019
136.09/55.99	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17585-serial-file.bin
136.73/56.45	c (0,0) Read Serial File Begin
136.73/56.45	c (0,0) HOME/scop-17585-serial-file.bin
136.99/56.65	c (0,0) Read Serial File End
136.99/56.66	
136.99/56.66	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
136.99/56.66	(Solving Process)
136.99/56.67	
136.99/56.69	c BEGIN-Prog: Sat Sep 14 04:46:36 CEST 2019
136.99/56.69	c PID: 17611
136.99/56.69	c IP: 172.20.3.104
136.99/56.69	c HOST: node104.alineos.net
136.99/56.69	c (0,0) SatSolver.solve Begin
136.99/56.69	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392366-1568433356.xml-scop-17588.cnf
137.17/56.72	c (0,0) c
137.17/56.72	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)
137.17/56.72	c (0,0) c
137.17/56.72	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
137.17/56.72	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
137.17/56.72	c (0,0) c ========================================[ Problem Statistics ]===========================================
137.17/56.72	c (0,0) c |                                                                                                       |
144.62/64.06	c (7,0) c |  Number of variables:         63569                                                                   |
144.62/64.06	c (7,0) c |  Number of clauses:        27190107                                                                   |
144.62/64.06	c (7,0) c |  Parse time:                   6.61 s                                                                 |
144.62/64.06	c (7,0) c |                                                                                                       |
146.31/65.73	c (9,0) c | Too many clauses... No preprocessing                                                                  |
146.31/65.73	c (9,0) c |  Simplification time:          1.43 s                                                                 |
146.31/65.73	c (9,0) c |                                                                                                       |
146.31/65.73	c (9,0) c |  One Solver is taking   1995.37Mb... Let's take   4 solvers for this run (max 40% of the maxmemory).  |
146.31/65.73	c (9,0) c |  Generating clones                                                                                    |
147.90/67.31	c (10,0) c |  all clones generated. Memory =  6189.41Mb.                                                           |
147.90/67.31	c (10,0) c ========================================================================================================|
147.90/67.31	c (10,0) c
147.90/67.31	c (10,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
147.90/67.31	c (10,0) c
147.90/67.31	c (10,0) c |-----------------------|------------|------------|------------|------------|
147.90/67.31	c (10,0) c | Threads               |          0 |          1 |          2 |          3 |
147.90/67.31	c (10,0) c |-----------------------|------------|------------|------------|------------|
147.90/67.31	c (10,0) c | randomizeFirstDescent |      False |       True |       True |       True |
147.90/67.31	c (10,0) c | adaptStrategeis       |       True |      False |       True |      False |
147.90/67.31	c (10,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |
147.90/67.31	c (10,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |
147.90/67.31	c (10,0) c | chanseokStrategy      |      False |      False |      False |      False |
147.90/67.31	c (10,0) c | coLBDBound            |          5 |          5 |          5 |          5 |
147.90/67.31	c (10,0) c | glureduce             |       True |       True |       True |       True |
147.90/67.31	c (10,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |
147.90/67.31	c (10,0) c | incReduceDB           |        300 |        300 |        300 |        300 |
147.90/67.31	c (10,0) c | luby_restart          |      False |      False |      False |      False |
147.90/67.31	c (10,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |
147.90/67.31	c (10,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
147.90/67.31	c (10,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
147.90/67.31	c (10,0) c | randomize_on_restarts |      False |      False |      False |      False |
147.90/67.31	c (10,0) c | remove_satisfied      |       True |       True |       True |       True |
147.90/67.31	c (10,0) c |-----------------------|------------|------------|------------|------------|
152.53/68.59	c (12,0) c
152.53/68.59	c (12,0) c real time : 11.8729 s
152.53/68.59	c (12,0) c cpu time  : 13.1189 s
152.53/68.59	c (12,0) c
152.53/68.59	c (12,0) c
152.53/68.59	c (12,0) c
152.53/68.59	c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
152.53/68.59	c (12,0) c
152.53/68.59	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|
152.53/68.59	c (12,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |
152.53/68.59	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|
152.53/68.59	c (12,0) c | Conflicts     |              56 |          8 |         36 |          3 |          9 |
152.53/68.59	c (12,0) c | Decisions     |           42363 |      16122 |       8597 |       9802 |       7842 |
152.53/68.59	c (12,0) c | Propagations  |          502443 |     168024 |     137261 |      83826 |     113332 |
152.53/68.59	c (12,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |
152.53/68.59	c (12,0) c | SimpDBs       |               4 |          1 |          1 |          1 |          1 |
152.53/68.59	c (12,0) c | Restarts      |               4 |          1 |          1 |          1 |          1 |
152.53/68.59	c (12,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |
152.53/68.59	c (12,0) c | PropBinClauses|          836112 |     281227 |     225643 |     141333 |     187909 |
152.53/68.59	c (12,0) c | PropPreBlocker|       208648339 |   58738697 |   63265508 |   43660833 |   42983301 |
152.53/68.59	c (12,0) c | PropNotBlocker|        94071005 |   25009433 |   22548912 |   23076734 |   23435926 |
152.53/68.59	c (12,0) c | LitFullScans  |       303725961 |   84089032 |   86091600 |   66899814 |   66645515 |
152.53/68.59	c (12,0) c | LitScanFracts |          356973 |      78090 |      99946 |      49549 |     129388 |
152.53/68.59	c (12,0) c | DecisionLevel0|               7 |          3 |          1 |          1 |          2 |
152.53/68.59	c (12,0) c | Periods       |              50 |         14 |         14 |         11 |         11 |
152.53/68.59	c (12,0) c | Margin        |              80 |         20 |         20 |         20 |         20 |
152.53/68.59	c (12,0) c | Avg_Trail     |                 |      54939 |      38028 |      31571 |      26373 |
152.53/68.59	c (12,0) c | Avg_DL        |                 |       6343 |        486 |       1651 |       2414 |
152.53/68.59	c (12,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |
152.53/68.59	c (12,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |
152.53/68.59	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|
152.53/68.59	c (12,0) c | Exported      |              10 |          0 |          7 |          2 |          1 |
152.53/68.59	c (12,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |
152.53/68.59	c (12,0) c | Good          |               0 |          0 |          0 |          0 |          0 |
152.53/68.59	c (12,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |
152.53/68.59	c (12,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |
152.53/68.59	c (12,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |
152.53/68.59	c (12,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |
152.53/68.59	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|
152.53/68.59	c (12,0) c | Unaries       |                 |          2 |          0 |          0 |          1 |
152.53/68.59	c (12,0) c | Binaries      |                 |          0 |          5 |          2 |          0 |
152.53/68.59	c (12,0) c | Glues         |                 |          0 |          7 |          2 |          1 |
152.53/68.59	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|
152.53/68.59	c (12,0) c | Orig_Seen     |             0 % |        115 |        439 |         31 |        306 |
152.53/68.59	c (12,0) c | Diff Orig seen|                 | -      191 |        133 | -      275 |      X     |
152.53/68.59	c (12,0) c | Hamming       |            25 % |      19735 |      16100 |      13068 |      X     |
152.53/68.59	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|
152.53/68.59	c (12,0) c | RunningTime   |                 |    1.2 100%|    1.2 100%|    1.3 100%|    1.2 100%|
152.53/68.59	c (12,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
152.53/68.59	c (12,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
152.53/68.59	c (12,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
152.53/68.59	c (12,0) c | SolvingTime   |                 |    1.2     |    1.2     |    1.3     |    1.2     |
152.53/68.59	c (12,0) c | PropagationTim|                 |    1.2  99%|    1.2 100%|    1.3 100%|    1.2 100%|
152.53/68.59	c (12,0) c | AnalysisTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
152.53/68.59	c (12,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
152.53/68.59	c (12,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
152.53/68.59	c (12,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
152.53/68.59	c (12,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
152.53/68.59	c (12,0) c |---------------|-----------------|------------|------------|------------|------------|
152.53/68.59	c (12,0) c
152.53/68.59	c (12,0) c
152.53/68.59	c (12,0) c Threads : 4
152.53/68.59	c (12,0) c Winner : 3
152.53/68.59	c (12,0) c Conflicts_0 : 8
152.53/68.59	c (12,0) c Conflicts_1 : 36
152.53/68.59	c (12,0) c Conflicts_2 : 3
152.53/68.59	c (12,0) c Conflicts_3 : 9
152.53/68.59	c (12,0) c Conflicts_total : 56
152.53/68.59	c (12,0) c Conflicts_winner : 9
152.53/68.59	c (12,0) c Decisions_0 : 16122
152.53/68.59	c (12,0) c Decisions_1 : 8597
152.53/68.59	c (12,0) c Decisions_2 : 9802
152.53/68.59	c (12,0) c Decisions_3 : 7842
152.53/68.59	c (12,0) c Decisions_total : 42363
152.53/68.59	c (12,0) c Decisions_winner : 7842
152.53/68.59	c (12,0) c Propagations_0 : 168024
152.53/68.59	c (12,0) c Propagations_1 : 137261
152.53/68.59	c (12,0) c Propagations_2 : 83826
152.53/68.59	c (12,0) c Propagations_3 : 113332
152.53/68.59	c (12,0) c Propagations_total : 502443
152.53/68.59	c (12,0) c Propagations_winner : 113332
152.53/68.59	c (12,0) c ReduceDBs_0 : 0
152.53/68.59	c (12,0) c ReduceDBs_1 : 0
152.53/68.59	c (12,0) c ReduceDBs_2 : 0
152.53/68.59	c (12,0) c ReduceDBs_3 : 0
152.53/68.59	c (12,0) c ReduceDBs_total : 0
152.53/68.59	c (12,0) c ReduceDBs_winner : 0
152.53/68.59	c (12,0) c SimpDBs_0 : 1
152.53/68.59	c (12,0) c SimpDBs_1 : 1
152.53/68.59	c (12,0) c SimpDBs_2 : 1
152.53/68.59	c (12,0) c SimpDBs_3 : 1
152.53/68.59	c (12,0) c SimpDBs_total : 4
152.53/68.59	c (12,0) c SimpDBs_winner : 1
152.53/68.59	c (12,0) c Restarts_0 : 1
152.53/68.59	c (12,0) c Restarts_1 : 1
152.53/68.59	c (12,0) c Restarts_2 : 1
152.53/68.59	c (12,0) c Restarts_3 : 1
152.53/68.59	c (12,0) c Restarts_total : 4
152.53/68.59	c (12,0) c Restarts_winner : 1
152.53/68.59	c (12,0) c ForcedImports_0 : 0
152.53/68.59	c (12,0) c ForcedImports_1 : 0
152.53/68.59	c (12,0) c ForcedImports_2 : 0
152.53/68.59	c (12,0) c ForcedImports_3 : 0
152.53/68.59	c (12,0) c ForcedImports_total : 0
152.53/68.59	c (12,0) c ForcedImports_winner : 0
152.53/68.59	c (12,0) c PropsBinClauses_0 : 281227
152.53/68.59	c (12,0) c PropsBinClauses_1 : 225643
152.53/68.59	c (12,0) c PropsBinClauses_2 : 141333
152.53/68.59	c (12,0) c PropsBinClauses_3 : 187909
152.53/68.59	c (12,0) c PropsBinClauses_total : 836112
152.53/68.59	c (12,0) c PropsBinClauses_winner : 187909
152.53/68.59	c (12,0) c PropsPreBlocker_0 : 58738697
152.53/68.59	c (12,0) c PropsPreBlocker_1 : 63265508
152.53/68.59	c (12,0) c PropsPreBlocker_2 : 43660833
152.53/68.59	c (12,0) c PropsPreBlocker_3 : 42983301
152.53/68.59	c (12,0) c PropsPreBlocker_total : 208648339
152.53/68.59	c (12,0) c PropsPreBlocker_winner : 42983301
152.53/68.59	c (12,0) c PropsNotBlocker_0 : 25009433
152.53/68.59	c (12,0) c PropsNotBlocker_1 : 22548912
152.53/68.59	c (12,0) c PropsNotBlocker_2 : 23076734
152.53/68.59	c (12,0) c PropsNotBlocker_3 : 23435926
152.53/68.59	c (12,0) c PropsNotBlocker_total : 94071005
152.53/68.59	c (12,0) c PropsNotBlocker_winner : 23435926
152.53/68.59	c (12,0) c PropsLitFullScans_0 : 84089032
152.53/68.59	c (12,0) c PropsLitFullScans_1 : 86091600
152.53/68.59	c (12,0) c PropsLitFullScans_2 : 66899814
152.53/68.59	c (12,0) c PropsLitFullScans_3 : 66645515
152.53/68.59	c (12,0) c PropsLitFullScans_total : 303725961
152.53/68.59	c (12,0) c PropsLitFullScans_winner : 66645515
152.53/68.59	c (12,0) c LitScanFractions_0 : 78090
152.53/68.59	c (12,0) c LitScanFractions_1 : 99946
152.53/68.59	c (12,0) c LitScanFractions_2 : 49549
152.53/68.59	c (12,0) c LitScanFractions_3 : 129388
152.53/68.59	c (12,0) c LitScanFractions_total : 356973
152.53/68.59	c (12,0) c LitScanFractions_winner : 129388
152.53/68.59	c (12,0) c DecisionLevel0_0 : 3
152.53/68.59	c (12,0) c DecisionLevel0_1 : 1
152.53/68.59	c (12,0) c DecisionLevel0_2 : 1
152.53/68.59	c (12,0) c DecisionLevel0_3 : 2
152.53/68.59	c (12,0) c DecisionLevel0_total : 7
152.53/68.59	c (12,0) c DecisionLevel0_winner : 2
152.53/68.59	c (12,0) c Periods_0 : 14
152.53/68.59	c (12,0) c Periods_1 : 14
152.53/68.59	c (12,0) c Periods_2 : 11
152.53/68.59	c (12,0) c Periods_3 : 11
152.53/68.59	c (12,0) c Periods_total : 50
152.53/68.59	c (12,0) c Periods_winner : 11
152.53/68.59	c (12,0) c Margin_0 : 20
152.53/68.59	c (12,0) c Margin_1 : 20
152.53/68.59	c (12,0) c Margin_2 : 20
152.53/68.59	c (12,0) c Margin_3 : 20
152.53/68.59	c (12,0) c Margin_total : 80
152.53/68.59	c (12,0) c Margin_winner : 20
152.53/68.59	c (12,0) c Exported_0 : 0
152.53/68.59	c (12,0) c Exported_1 : 7
152.53/68.59	c (12,0) c Exported_2 : 2
152.53/68.59	c (12,0) c Exported_3 : 1
152.53/68.59	c (12,0) c Exported_total : 10
152.53/68.59	c (12,0) c Exported_winner : 1
152.53/68.59	c (12,0) c Imported_0 : 0
152.53/68.59	c (12,0) c Imported_1 : 0
152.53/68.59	c (12,0) c Imported_2 : 0
152.53/68.59	c (12,0) c Imported_3 : 0
152.53/68.59	c (12,0) c Imported_total : 0
152.53/68.59	c (12,0) c Imported_winner : 0
152.53/68.59	c (12,0) c Good_0 : 0
152.53/68.59	c (12,0) c Good_1 : 0
152.53/68.59	c (12,0) c Good_2 : 0
152.53/68.59	c (12,0) c Good_3 : 0
152.53/68.59	c (12,0) c Good_total : 0
152.53/68.59	c (12,0) c Good_winner : 0
152.53/68.59	c (12,0) c Purge_0 : 0
152.53/68.59	c (12,0) c Purge_1 : 0
152.53/68.59	c (12,0) c Purge_2 : 0
152.53/68.59	c (12,0) c Purge_3 : 0
152.53/68.59	c (12,0) c Purge_total : 0
152.53/68.59	c (12,0) c Purge_winner : 0
152.53/68.59	c (12,0) c Promoted_0 : 0
152.53/68.59	c (12,0) c Promoted_1 : 0
152.53/68.59	c (12,0) c Promoted_2 : 0
152.53/68.59	c (12,0) c Promoted_3 : 0
152.53/68.59	c (12,0) c Promoted_total : 0
152.53/68.59	c (12,0) c Promoted_winner : 0
152.53/68.59	c (12,0) c Remove_Imp_0 : 0
152.53/68.59	c (12,0) c Remove_Imp_1 : 0
152.53/68.59	c (12,0) c Remove_Imp_2 : 0
152.53/68.59	c (12,0) c Remove_Imp_3 : 0
152.53/68.59	c (12,0) c Remove_Imp_total : 0
152.53/68.60	c (12,0) c Remove_Imp_winner : 0
152.53/68.60	c (12,0) c Blocked_Reuse_0 : 0
152.53/68.60	c (12,0) c Blocked_Reuse_1 : 0
152.53/68.60	c (12,0) c Blocked_Reuse_2 : 0
152.53/68.60	c (12,0) c Blocked_Reuse_3 : 0
152.53/68.60	c (12,0) c Blocked_Reuse_total : 0
152.53/68.60	c (12,0) c Blocked_Reuse_winner : 0
152.53/68.60	c (12,0) c Unaries_0 : 2
152.53/68.60	c (12,0) c Unaries_1 : 0
152.53/68.60	c (12,0) c Unaries_2 : 0
152.53/68.60	c (12,0) c Unaries_3 : 1
152.53/68.60	c (12,0) c Unaries_total : 3
152.53/68.60	c (12,0) c Unaries_winner : 1
152.53/68.60	c (12,0) c Binaries_0 : 0
152.53/68.60	c (12,0) c Binaries_1 : 5
152.53/68.60	c (12,0) c Binaries_2 : 2
152.53/68.60	c (12,0) c Binaries_3 : 0
152.53/68.60	c (12,0) c Binaries_total : 7
152.53/68.60	c (12,0) c Binaries_winner : 0
152.53/68.60	c (12,0) c Glues_0 : 0
152.53/68.60	c (12,0) c Glues_1 : 7
152.53/68.60	c (12,0) c Glues_2 : 2
152.53/68.60	c (12,0) c Glues_3 : 1
152.53/68.60	c (12,0) c Glues_total : 10
152.53/68.60	c (12,0) c Glues_winner : 1
152.53/68.60	c (12,0) c RunningTime_0 : 1.172671
152.53/68.60	c (12,0) c RunningTime_1 : 1.249476
152.53/68.60	c (12,0) c RunningTime_2 : 1.276017
152.53/68.60	c (12,0) c RunningTime_3 : 1.160391
152.53/68.60	c (12,0) c RunningTime_total : 4.858556
152.53/68.60	c (12,0) c RunningTime_winner : 1.160391
152.53/68.60	c (12,0) c WaitingTime_0 : 0.000000
152.53/68.60	c (12,0) c WaitingTime_1 : 0.000000
152.53/68.60	c (12,0) c WaitingTime_2 : 0.000000
152.53/68.60	c (12,0) c WaitingTime_3 : 0.000000
152.53/68.60	c (12,0) c WaitingTime_total : 0.000000
152.53/68.60	c (12,0) c WaitingTime_winner : 0.000000
152.53/68.60	c (12,0) c ExchangingTime_0 : 0.000011
152.53/68.60	c (12,0) c ExchangingTime_1 : 0.000029
152.53/68.60	c (12,0) c ExchangingTime_2 : 0.000021
152.53/68.60	c (12,0) c ExchangingTime_3 : 0.000014
152.53/68.60	c (12,0) c ExchangingTime_total : 0.000075
152.53/68.60	c (12,0) c ExchangingTime_winner : 0.000014
152.53/68.60	c (12,0) c PeriodProcTime_0 : 0.000141
152.53/68.60	c (12,0) c PeriodProcTime_1 : 0.000143
152.53/68.60	c (12,0) c PeriodProcTime_2 : 0.000147
152.53/68.60	c (12,0) c PeriodProcTime_3 : 0.000119
152.53/68.60	c (12,0) c PeriodProcTime_total : 0.000549
152.53/68.60	c (12,0) c PeriodProcTime_winner : 0.000119
152.53/68.60	c (12,0) c SolvingTime_0 : 1.172824
152.53/68.60	c (12,0) c SolvingTime_1 : 1.249647
152.53/68.60	c (12,0) c SolvingTime_2 : 1.276185
152.53/68.60	c (12,0) c SolvingTime_3 : 1.160524
152.53/68.60	c (12,0) c SolvingTime_total : 4.859180
152.53/68.60	c (12,0) c SolvingTime_winner : 1.160524
152.53/68.60	c (12,0) c PropagationTime_0 : 1.166885
152.53/68.60	c (12,0) c PropagationTime_1 : 1.246277
152.53/68.60	c (12,0) c PropagationTime_2 : 1.273433
152.53/68.60	c (12,0) c PropagationTime_3 : 1.158137
152.53/68.60	c (12,0) c PropagationTime_total : 4.844733
152.53/68.60	c (12,0) c PropagationTime_winner : 1.158137
152.53/68.60	c (12,0) c AnalysisTime_0 : 0.000114
152.53/68.60	c (12,0) c AnalysisTime_1 : 0.000329
152.53/68.60	c (12,0) c AnalysisTime_2 : 0.000057
152.53/68.60	c (12,0) c AnalysisTime_3 : 0.000144
152.53/68.60	c (12,0) c AnalysisTime_total : 0.000645
152.53/68.60	c (12,0) c AnalysisTime_winner : 0.000144
152.53/68.60	c (12,0) c ReductionTime_0 : 0.000000
152.53/68.60	c (12,0) c ReductionTime_1 : 0.000000
152.53/68.60	c (12,0) c ReductionTime_2 : 0.000000
152.53/68.60	c (12,0) c ReductionTime_3 : 0.000000
152.53/68.60	c (12,0) c ReductionTime_total : 0.000000
152.53/68.60	c (12,0) c ReductionTime_winner : 0.000000
152.53/68.60	c (12,0) c SimplifyTime_0 : 0.000000
152.53/68.60	c (12,0) c SimplifyTime_1 : 0.000000
152.53/68.60	c (12,0) c SimplifyTime_2 : 0.000000
152.53/68.60	c (12,0) c SimplifyTime_3 : 0.000000
152.53/68.60	c (12,0) c SimplifyTime_total : 0.000000
152.53/68.60	c (12,0) c SimplifyTime_winner : 0.000000
152.53/68.60	c (12,0) c UsedRateTime_0 : 0.000000
152.53/68.60	c (12,0) c UsedRateTime_1 : 0.000000
152.53/68.60	c (12,0) c UsedRateTime_2 : 0.000000
152.53/68.60	c (12,0) c UsedRateTime_3 : 0.000000
152.53/68.60	c (12,0) c UsedRateTime_total : 0.000000
152.53/68.60	c (12,0) c UsedRateTime_winner : 0.000000
152.53/68.60	c (12,0) c OverlapRateTime_0 : 0.000000
152.53/68.60	c (12,0) c OverlapRateTime_1 : 0.000000
152.53/68.60	c (12,0) c OverlapRateTime_2 : 0.000000
152.53/68.60	c (12,0) c OverlapRateTime_3 : 0.000000
152.53/68.60	c (12,0) c OverlapRateTime_total : 0.000000
152.53/68.60	c (12,0) c OverlapRateTime_winner : 0.000000
152.53/68.60	c (12,0) c
152.53/68.60	c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
152.53/68.60	c (12,0) c
152.53/68.60	c (12,0) c |-----------------------|------------|------------|------------|------------|
152.53/68.60	c (12,0) c | Threads               |          0 |          1 |          2 |          3 |
152.53/68.60	c (12,0) c |-----------------------|------------|------------|------------|------------|
152.53/68.60	c (12,0) c | randomizeFirstDescent |      False |       True |       True |       True |
152.53/68.60	c (12,0) c | adaptStrategeis       |       True |      False |       True |      False |
152.53/68.60	c (12,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |
152.53/68.60	c (12,0) c | Initial random_seed   | 1313663530 |  899987139 | 1213267251 | 1335385725 |
152.53/68.60	c (12,0) c | chanseokStrategy      |      False |      False |      False |      False |
152.53/68.60	c (12,0) c | coLBDBound            |          5 |          5 |          5 |          5 |
152.53/68.60	c (12,0) c | glureduce             |       True |       True |       True |       True |
152.53/68.60	c (12,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |
152.53/68.60	c (12,0) c | incReduceDB           |        300 |        300 |        300 |        300 |
152.53/68.60	c (12,0) c | luby_restart          |      False |      False |      False |      False |
152.53/68.60	c (12,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |
152.53/68.60	c (12,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
152.53/68.60	c (12,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
152.53/68.60	c (12,0) c | randomize_on_restarts |      False |      False |      False |      False |
152.53/68.60	c (12,0) c | remove_satisfied      |       True |       True |       True |       True |
152.53/68.60	c (12,0) c |-----------------------|------------|------------|------------|------------|
152.53/68.60	c (12,0) 
152.53/68.60	c (12,0) s SATISFIABLE
137.57/68.80	c (12,0) SatSolver.solve End
137.57/68.80	c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
137.57/68.80	c (12,0) Show results Begin
153.11/68.90	c (12,0) x[2] = 46
153.11/68.90	c (12,0) x[3] = 7
153.11/68.90	c (12,0) x[4] = 4
153.11/68.90	c (12,0) x[5] = 2
153.11/68.90	c (12,0) x[7] = 42
153.11/68.90	c (12,0) x[9] = 2
153.11/68.90	c (12,0) x[12] = 31
153.11/68.90	c (12,0) x[13] = 68
153.11/68.90	c (12,0) x[14] = 2
153.11/68.90	c (12,0) x[15] = 14
153.11/68.90	c (12,0) x[17] = 13
153.11/68.90	c (12,0) x[19] = 11
153.11/68.90	c (12,0) x[20] = 2
153.11/68.90	c (12,0) x[25] = 31
153.11/68.90	c (12,0) x[26] = 5
153.11/68.90	c (12,0) x[27] = 10
153.11/68.90	c (12,0) x[28] = 3
153.11/68.90	c (12,0) x[29] = 9
153.11/68.90	c (12,0) x[30] = 50
153.11/68.90	c (12,0) x[31] = 5
153.11/68.90	c (12,0) x[33] = 67
153.11/68.90	c (12,0) x[36] = 54
153.11/68.90	c (12,0) x[37] = 18
153.11/68.90	c (12,0) x[39] = 22
153.11/68.90	c (12,0) x[40] = 4
153.11/68.90	c (12,0) x[44] = 34
153.11/68.90	c (12,0) x[46] = 12
153.11/68.90	c (12,0) x[48] = 4
153.11/68.90	c (12,0) x[49] = 21
153.11/68.90	c (12,0) x[50] = 2
153.11/68.90	c (12,0) x[51] = 18
153.11/68.90	c (12,0) x[53] = 25
153.11/68.90	c (12,0) x[55] = 71
153.11/68.90	c (12,0) x[56] = 63
153.11/68.90	c (12,0) x[59] = 21
153.11/68.90	c (12,0) x[60] = 55
153.11/68.90	c (12,0) x[61] = 65
153.11/68.90	c (12,0) x[64] = 60
153.11/68.90	c (12,0) x[65] = 15
153.11/68.90	c (12,0) x[67] = 2
153.11/68.90	c (12,0) x[68] = 43
153.11/68.90	c (12,0) x[69] = 56
153.11/68.90	c (12,0) x[70] = 2
153.11/68.90	c (12,0) x[71] = 71
153.11/68.90	c (12,0) x[72] = 4
153.11/68.90	c (12,0) x[74] = 60
153.11/68.90	c (12,0) x[75] = 60
153.11/68.90	c (12,0) x[76] = 48
153.11/68.90	c (12,0) x[77] = 63
153.11/68.90	c (12,0) x[79] = 31
153.11/68.90	c (12,0) x[80] = 26
153.11/68.90	c (12,0) x[82] = 33
153.11/68.90	c (12,0) x[83] = 71
153.11/68.90	c (12,0) x[84] = 48
153.11/68.90	c (12,0) x[88] = 24
153.11/68.90	c (12,0) x[90] = 71
153.11/68.90	c (12,0) x[92] = 5
153.11/68.90	c (12,0) x[93] = 5
153.11/68.90	c (12,0) x[95] = 37
153.11/68.90	c (12,0) x[99] = 21
153.11/68.90	s SATISFIABLE
153.30/68.90	v <instantiation>
153.30/68.90	v     <list>x[2] x[3] x[4] x[5] x[7] x[9] x[12] x[13] x[14] x[15] x[17] x[19] x[20] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[33] x[36] x[37] x[39] x[40] x[44] x[46] x[48] x[49] x[50] x[51] x[53] x[55] x[56] x[59] x[60] x[61] x[64] x[65] x[67] x[68] x[69] x[70] x[71] x[72] x[74] x[75] x[76] x[77] x[79] x[80] x[82] x[83] x[84] x[88] x[90] x[92] x[93] x[95] x[99]</list>
153.30/68.90	v     <values>46 7 4 2 42 2 31 68 2 14 13 11 2 31 5 10 3 9 50 5 67 54 18 22 4 34 12 4 21 2 18 25 71 63 21 55 65 60 15 2 43 56 2 71 4 60 60 48 63 31 26 33 71 48 24 71 5 5 37 21</values>
153.30/68.90	v </instantiation>
153.30/68.90	c (12,0) Show results End
153.30/68.90	c (12,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
153.30/68.90	c (12,0) 12,12,STOP-AFTER(ALL)
153.30/68.90	c END-Prog: Sat Sep 14 04:46:48 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 (10767 MiB free)
  memory of node 1: 16384 MiB (15302 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.10014 s]*
/proc/loadavg: 7.90 8.23 8.19 2/210 17607
/proc/meminfo: memFree=26599712/32770624 swapFree=66977616/67108860
[pid=17585] ppid=17582 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17585/stat : 17585 (scop.sh) S 17582 17585 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592893 115843072 349 33554432000 4194304 5098028 140733274591216 140733274588472 139639008944764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37978112 140733274596133 140733274596460 140733274596460 140733274599373 0
/proc/17585/statm: 28282 349 296 221 0 87 0
[pid=17588] ppid=17585 vsize=27314120 memory=107608 CPUtime=0.1 cores=0-7
/proc/17588/stat : 17588 (java) S 17585 17585 15723 0 -1 1077944320 6923 0 0 0 8 2 0 0 20 0 20 0 419592894 27969658880 26902 33554432000 4194304 4196468 140729257347904 140729257330448 140091098083063 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
/proc/17588/statm: 6828530 26902 2816 1 0 6790935 0
[pid=17588/tid=17589] ppid=17585 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/17588/task/17589/stat : 17589 (java) R 17585 17585 15723 0 -1 4202560 5008 0 0 0 7 1 0 0 20 0 20 0 419592894 27969658880 26902 33554432000 4194304 4196468 140729257347904 140091069901440 140091090320190 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17590] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17590/stat : 17590 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 26902 33554432000 4194304 4196468 140729257347904 140091102325392 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17591] ppid=17585 vsize=27314120 memory=4048929170461648544 CPUtime=0 cores=0-7
/proc/17588/task/17591/stat : 17591 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 26902 33554432000 4194304 4196468 140729257347904 140090916481552 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17592] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17592/stat : 17592 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 26902 33554432000 4194304 4196468 140729257347904 140090915428752 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17593] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17593/stat : 17593 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 26902 33554432000 4194304 4196468 140729257347904 140090914375952 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17594] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17594/stat : 17594 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 26902 33554432000 4194304 4196468 140729257347904 140090913324176 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17595] ppid=17585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17588/task/17595/stat : 17595 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 26902 33554432000 4194304 4196468 140729257347904 140090912271376 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17596] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17596/stat : 17596 (java) S 17585 17585 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 26902 33554432000 4194304 4196468 140729257347904 140090911218576 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17597] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17597/stat : 17597 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 26902 33554432000 4194304 4196468 140729257347904 140090910165776 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17598] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17598/stat : 17598 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592898 27969658880 26902 33554432000 4194304 4196468 140729257347904 140089149532528 140091098094210 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17599] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17599/stat : 17599 (java) S 17585 17585 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419592898 27969658880 26902 33554432000 4194304 4196468 140729257347904 140089015395360 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17600] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17600/stat : 17600 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592899 27969658880 26902 33554432000 4194304 4196468 140729257347904 140088746959728 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17601] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17601/stat : 17601 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 26902 33554432000 4194304 4196468 140729257347904 140088372451152 140091098101659 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17602] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17602/stat : 17602 (java) S 17585 17585 15723 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 26902 33554432000 4194304 4196468 140729257347904 140089148480368 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17603] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17603/stat : 17603 (java) S 17585 17585 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 26902 33554432000 4194304 4196468 140729257347904 140089147427568 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17604] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17604/stat : 17604 (java) S 17585 17585 15723 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 26902 33554432000 4194304 4196468 140729257347904 140089146374768 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17605] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17605/stat : 17605 (java) S 17585 17585 15723 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 26902 33554432000 4194304 4196468 140729257347904 140089145321968 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17606] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17606/stat : 17606 (java) S 17585 17585 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 26902 33554432000 4194304 4196468 140729257347904 140087874546272 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17607] ppid=17585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17588/task/17607/stat : 17607 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592902 27969658880 26902 33554432000 4194304 4196468 140729257347904 140089144269360 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109004 KiB

[startup+0.210426 s]*
/proc/loadavg: 7.90 8.23 8.19 2/210 17607
/proc/meminfo: memFree=26579092/32770624 swapFree=66977616/67108860
[pid=17585] ppid=17582 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17585/stat : 17585 (scop.sh) S 17582 17585 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592893 115843072 349 33554432000 4194304 5098028 140733274591216 140733274588472 139639008944764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37978112 140733274596133 140733274596460 140733274596460 140733274599373 0
/proc/17585/statm: 28282 349 296 221 0 87 0
[pid=17588] ppid=17585 vsize=27314120 memory=126616 CPUtime=0.24 cores=0-7
/proc/17588/stat : 17588 (java) S 17585 17585 15723 0 -1 1077944320 12528 0 0 0 21 3 0 0 20 0 20 0 419592894 27969658880 31654 33554432000 4194304 4196468 140729257347904 140729257330448 140091098083063 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
/proc/17588/statm: 6828530 31654 2936 1 0 6790935 0
[pid=17588/tid=17589] ppid=17585 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17588/task/17589/stat : 17589 (java) R 17585 17585 15723 0 -1 4202560 10220 0 0 0 17 2 0 0 20 0 20 0 419592894 27969658880 31654 33554432000 4194304 4196468 140729257347904 140091069891536 140091075307216 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17590] ppid=17585 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/17588/task/17590/stat : 17590 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 31654 33554432000 4194304 4196468 140729257347904 140091102325392 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17591] ppid=17585 vsize=27314120 memory=140096149827862 CPUtime=0 cores=0-7
/proc/17588/task/17591/stat : 17591 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 31654 33554432000 4194304 4196468 140729257347904 140090916481552 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17592] ppid=17585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17588/task/17592/stat : 17592 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 31654 33554432000 4194304 4196468 140729257347904 140090915428752 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17593] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17593/stat : 17593 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 31654 33554432000 4194304 4196468 140729257347904 140090914375952 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17594] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17594/stat : 17594 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 31654 33554432000 4194304 4196468 140729257347904 140090913324176 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17595] ppid=17585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17588/task/17595/stat : 17595 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 31654 33554432000 4194304 4196468 140729257347904 140090912271376 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17596] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17596/stat : 17596 (java) S 17585 17585 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 31654 33554432000 4194304 4196468 140729257347904 140090911218576 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17597] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17597/stat : 17597 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 31654 33554432000 4194304 4196468 140729257347904 140090910165776 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17598] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17598/stat : 17598 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592898 27969658880 31654 33554432000 4194304 4196468 140729257347904 140089149532528 140091098094210 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17599] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17599/stat : 17599 (java) S 17585 17585 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419592898 27969658880 31654 33554432000 4194304 4196468 140729257347904 140089015395360 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17600] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17600/stat : 17600 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592899 27969658880 31654 33554432000 4194304 4196468 140729257347904 140088746959728 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17601] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17601/stat : 17601 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 31654 33554432000 4194304 4196468 140729257347904 140088372451152 140091098101659 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17602] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17602/stat : 17602 (java) S 17585 17585 15723 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 31654 33554432000 4194304 4196468 140729257347904 140089148480368 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17603] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17603/stat : 17603 (java) S 17585 17585 15723 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 31654 33554432000 4194304 4196468 140729257347904 140089147427568 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17604] ppid=17585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17588/task/17604/stat : 17604 (java) S 17585 17585 15723 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 31654 33554432000 4194304 4196468 140729257347904 140089146374768 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17605] ppid=17585 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/17588/task/17605/stat : 17605 (java) S 17585 17585 15723 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 419592901 27969658880 31654 33554432000 4194304 4196468 140729257347904 140089145321968 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17606] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17606/stat : 17606 (java) S 17585 17585 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 31654 33554432000 4194304 4196468 140729257347904 140087874546272 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17607] ppid=17585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17588/task/17607/stat : 17607 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592902 27969658880 31654 33554432000 4194304 4196468 140729257347904 140089144269360 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128012 KiB

[startup+0.309842 s]*
/proc/loadavg: 7.90 8.23 8.19 2/210 17607
/proc/meminfo: memFree=26576300/32770624 swapFree=66977616/67108860
[pid=17585] ppid=17582 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17585/stat : 17585 (scop.sh) S 17582 17585 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592893 115843072 349 33554432000 4194304 5098028 140733274591216 140733274588472 139639008944764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37978112 140733274596133 140733274596460 140733274596460 140733274599373 0
/proc/17585/statm: 28282 349 296 221 0 87 0
[pid=17588] ppid=17585 vsize=27314120 memory=130220 CPUtime=0.42 cores=0-7
/proc/17588/stat : 17588 (java) S 17585 17585 15723 0 -1 1077944320 12884 0 0 0 39 3 0 0 20 0 20 0 419592894 27969658880 32555 33554432000 4194304 4196468 140729257347904 140729257330448 140091098083063 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
/proc/17588/statm: 6828530 32555 3056 1 0 6790935 0
[pid=17588/tid=17589] ppid=17585 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/17588/task/17589/stat : 17589 (java) R 17585 17585 15723 0 -1 4202560 10407 0 0 0 27 2 0 0 20 0 20 0 419592894 27969658880 32555 33554432000 4194304 4196468 140729257347904 140091069913136 140091083248608 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17590] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17590/stat : 17590 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 32555 33554432000 4194304 4196468 140729257347904 140091102325392 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17591] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17591/stat : 17591 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 32555 33554432000 4194304 4196468 140729257347904 140090916481552 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17592] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17592/stat : 17592 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 32555 33554432000 4194304 4196468 140729257347904 140090915428752 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17593] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17593/stat : 17593 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 32555 33554432000 4194304 4196468 140729257347904 140090914375952 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17594] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17594/stat : 17594 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 32555 33554432000 4194304 4196468 140729257347904 140090913324176 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17595] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17595/stat : 17595 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 32555 33554432000 4194304 4196468 140729257347904 140090912271376 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17596] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17596/stat : 17596 (java) S 17585 17585 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 32555 33554432000 4194304 4196468 140729257347904 140090911218576 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17597] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17597/stat : 17597 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27969658880 32555 33554432000 4194304 4196468 140729257347904 140090910165776 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17598] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17598/stat : 17598 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592898 27969658880 32555 33554432000 4194304 4196468 140729257347904 140089149532528 140091098094210 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17599] ppid=17585 vsize=27314120 memory=280191989652864 CPUtime=0 cores=0-7
/proc/17588/task/17599/stat : 17599 (java) S 17585 17585 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419592898 27969658880 32555 33554432000 4194304 4196468 140729257347904 140089015395360 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17600] ppid=17585 vsize=27314120 memory=280191989657472 CPUtime=0 cores=0-7
/proc/17588/task/17600/stat : 17600 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592899 27969658880 32555 33554432000 4194304 4196468 140729257347904 140088746959728 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17601] ppid=17585 vsize=27314120 memory=280191989662080 CPUtime=0 cores=0-7
/proc/17588/task/17601/stat : 17601 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 32555 33554432000 4194304 4196468 140729257347904 140088372451152 140091098101659 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17602] ppid=17585 vsize=27314120 memory=280191989666688 CPUtime=0.01 cores=0-7
/proc/17588/task/17602/stat : 17602 (java) R 17585 17585 15723 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 419592901 27969658880 32555 33554432000 4194304 4196468 140729257347904 140089148480368 140091079604196 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17603] ppid=17585 vsize=27314120 memory=280191989671296 CPUtime=0.02 cores=0-7
/proc/17588/task/17603/stat : 17603 (java) S 17585 17585 15723 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 20 0 419592901 27969658880 32555 33554432000 4194304 4196468 140729257347904 140089147427568 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17604] ppid=17585 vsize=27314120 memory=280191989675904 CPUtime=0 cores=0-7
/proc/17588/task/17604/stat : 17604 (java) S 17585 17585 15723 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 32555 33554432000 4194304 4196468 140729257347904 140089146374768 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17605] ppid=17585 vsize=27314120 memory=280191989680512 CPUtime=0.07 cores=0-7
/proc/17588/task/17605/stat : 17605 (java) S 17585 17585 15723 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 20 0 419592901 27969658880 32555 33554432000 4194304 4196468 140729257347904 140089145321968 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17606] ppid=17585 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17606/stat : 17606 (java) S 17585 17585 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419592901 27969658880 32555 33554432000 4194304 4196468 140729257347904 140087874546272 140091098093269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17607] ppid=17585 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17588/task/17607/stat : 17607 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592902 27969658880 32555 33554432000 4194304 4196468 140729257347904 140089144269360 140091098094210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131616 KiB

[startup+0.700854 s]
/proc/loadavg: 7.90 8.23 8.19 2/210 17607
/proc/meminfo: memFree=26553604/32770624 swapFree=66977616/67108860
[pid=17585] ppid=17582 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17585/stat : 17585 (scop.sh) S 17582 17585 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419592893 115843072 349 33554432000 4194304 5098028 140733274591216 140733274588472 139639008944764 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37978112 140733274596133 140733274596460 140733274596460 140733274599373 0
/proc/17585/statm: 28282 349 296 221 0 87 0
[pid=17588] ppid=17585 vsize=27322516 memory=165720 CPUtime=1 cores=0-7
/proc/17588/stat : 17588 (java) S 17585 17585 15723 0 -1 1077944320 20607 0 0 0 94 6 0 0 20 0 20 0 419592894 27978256384 41430 33554432000 4194304 4196468 140729257347904 140729257330448 140091098083063 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
/proc/17588/statm: 6830629 41430 3184 1 0 6791959 0
[pid=17588/tid=17589] ppid=17585 vsize=27322516 memory=4580 CPUtime=0.67 cores=0-7
/proc/17588/task/17589/stat : 17589 (java) R 17585 17585 15723 0 -1 4202560 17529 0 0 0 62 5 0 0 20 0 20 0 419592894 27978256384 41430 33554432000 4194304 4196468 140729257347904 140091069914800 140091082163550 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17590] ppid=17585 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17590/stat : 17590 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27978256384 41430 33554432000 4194304 4196468 140729257347904 140091102325392 140091098093269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17591] ppid=17585 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/17588/task/17591/stat : 17591 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419592896 27978256384 41430 33554432000 4194304 4196468 140729257347904 140090916481552 140091098093269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0
[pid=17588/tid=17592] ppid=17585 vsize=27322516 memory=1056 CPUtime=0 cores=0-7
/proc/17588/task/17592/stat : 17592 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419592896 27978256384 41430 33554432000 4194304 4196468 140729257347904 140090915428752 140091098093269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140729257349867 140729257350294 140729257350294 140729257353167 0

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

[pid=17611/tid=17612] ppid=17585 vsize=8414124 memory=6944652177228980320 CPUtime=0.74 cores=0-7
/proc/17611/task/17612/stat : 17612 (java) S 17585 17585 15723 0 -1 1077944384 16848 0 0 0 68 6 0 0 20 0 24 0 419598493 8616062976 29967 33554432000 4194304 4196468 140726413280048 140566109990816 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17613] ppid=17585 vsize=8414124 memory=8174723239089013032 CPUtime=0 cores=0-7
/proc/17611/task/17613/stat : 17613 (java) S 17585 17585 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419598495 8616062976 29967 33554432000 4194304 4196468 140726413280048 140566142393104 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17614] ppid=17585 vsize=8414124 memory=288291090751092463 CPUtime=0 cores=0-7
/proc/17611/task/17614/stat : 17614 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419598495 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565960481680 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17615] ppid=17585 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/17611/task/17615/stat : 17615 (java) S 17585 17585 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419598495 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565959429136 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17616] ppid=17585 vsize=8414124 memory=5972 CPUtime=0 cores=0-7
/proc/17611/task/17616/stat : 17616 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419598495 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565621406864 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17617] ppid=17585 vsize=8414124 memory=7552 CPUtime=0 cores=0-7
/proc/17611/task/17617/stat : 17617 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419598495 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565620353296 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17618] ppid=17585 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/17611/task/17618/stat : 17618 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419598495 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565619300752 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17619] ppid=17585 vsize=8414124 memory=1084 CPUtime=0 cores=0-7
/proc/17611/task/17619/stat : 17619 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419598495 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565618248208 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17620] ppid=17585 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/17611/task/17620/stat : 17620 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419598495 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565617195664 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17621] ppid=17585 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/17611/task/17621/stat : 17621 (java) S 17585 17585 15723 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419598496 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565567252976 140566138161794 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17622] ppid=17585 vsize=8414124 memory=21924 CPUtime=0 cores=0-7
/proc/17611/task/17622/stat : 17622 (java) S 17585 17585 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419598496 8616062976 29967 33554432000 4194304 4196468 140726413280048 140564750132640 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17623] ppid=17585 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/17611/task/17623/stat : 17623 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419598497 8616062976 29967 33554432000 4194304 4196468 140726413280048 140564481697264 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17624] ppid=17585 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/17611/task/17624/stat : 17624 (java) S 17585 17585 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419598499 8616062976 29967 33554432000 4194304 4196468 140726413280048 140564107188944 140566138169243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17625] ppid=17585 vsize=8414124 memory=1564 CPUtime=0.05 cores=0-7
/proc/17611/task/17625/stat : 17625 (java) S 17585 17585 15723 0 -1 1077944384 596 0 0 0 5 0 0 0 20 0 24 0 419598499 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565566199792 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17626] ppid=17585 vsize=8414124 memory=924 CPUtime=0.03 cores=0-7
/proc/17611/task/17626/stat : 17626 (java) S 17585 17585 15723 0 -1 1077944384 207 0 0 0 3 0 0 0 20 0 24 0 419598499 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565565147248 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17627] ppid=17585 vsize=8414124 memory=1756 CPUtime=0.08 cores=0-7
/proc/17611/task/17627/stat : 17627 (java) S 17585 17585 15723 0 -1 1077944384 280 0 0 0 8 0 0 0 20 0 24 0 419598499 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565564094704 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17628] ppid=17585 vsize=8414124 memory=1440 CPUtime=0.19 cores=0-7
/proc/17611/task/17628/stat : 17628 (java) S 17585 17585 15723 0 -1 1077944384 557 0 0 0 19 0 0 0 20 0 24 0 419598500 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565563042160 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17629] ppid=17585 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/17611/task/17629/stat : 17629 (java) S 17585 17585 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419598500 8616062976 29967 33554432000 4194304 4196468 140726413280048 140563609283296 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17630] ppid=17585 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/17611/task/17630/stat : 17630 (java) S 17585 17585 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419598500 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565561990064 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17632] ppid=17585 vsize=8414124 memory=7686721470250326938 CPUtime=0 cores=0-7
/proc/17611/task/17632/stat : 17632 (java) S 17585 17585 15723 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419598565 8616062976 29967 33554432000 4194304 4196468 140726413280048 140565556147904 140566138175257 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17634] ppid=17585 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/17611/task/17634/stat : 17634 (java) S 17585 17585 15723 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419598565 8616062976 29967 33554432000 4194304 4196468 140726413280048 140562938182928 140566138172573 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17635] ppid=17585 vsize=8414124 memory=1084 CPUtime=0 cores=0-7
/proc/17611/task/17635/stat : 17635 (java) S 17585 17585 15723 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419598565 8616062976 29967 33554432000 4194304 4196468 140726413280048 140563206618512 140566138172573 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17636] ppid=17585 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/17611/task/17636/stat : 17636 (java) S 17585 17585 15723 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419598567 8616062976 29967 33554432000 4194304 4196468 140726413280048 140562669755568 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
Current children cumulated CPU time: 152.18 s
Current children cumulated vsize: 15685740 KiB
Current children cumulated memory: 6700168 KiB

[startup+68.8011 s]
/proc/loadavg: 4.71 7.20 7.83 5/219 17642
/proc/meminfo: memFree=19592056/32770624 swapFree=66977616/67108860
[pid=17585] ppid=17582 vsize=113128 memory=1476 CPUtime=136.2 cores=0-7
/proc/17585/stat : 17585 (scop.sh) S 17582 17585 15723 0 -1 4202496 582 73422 0 0 0 0 12674 946 20 0 1 0 419592893 115843072 369 33554432000 4194304 5098028 140733274591216 140733274587960 139639008944764 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37978112 140733274596133 140733274596460 140733274596460 140733274599373 0
/proc/17585/statm: 28282 369 311 221 0 87 0
[pid=17611] ppid=17585 vsize=8283048 memory=134872 CPUtime=16.91 cores=0-7
/proc/17611/stat : 17611 (java) S 17585 17585 15723 0 -1 1077944320 21646 1096163 0 0 130 8 1313 240 20 0 22 0 419598493 8481841152 33718 33554432000 4194304 4196468 140726413280048 140726413262592 140566138150647 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
/proc/17611/statm: 2070762 33718 3220 1 0 2032106 0
[pid=17611/tid=17612] ppid=17585 vsize=8283048 memory=3252 CPUtime=16.28 cores=0-7
/proc/17611/task/17612/stat : 17612 (java) R 17585 17585 15723 0 -1 4202560 16855 1096163 0 0 69 6 1313 240 20 0 22 0 419598493 8481841152 33718 33554432000 4194304 4196468 140726413280048 140566109990816 140566138172477 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17613] ppid=17585 vsize=8283048 memory=1112 CPUtime=15.53 cores=0-7
/proc/17611/task/17613/stat : 17613 (java) S 17585 17585 15723 0 -1 1077944384 2 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 33718 33554432000 4194304 4196468 140726413280048 140566142393104 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17614] ppid=17585 vsize=8283048 memory=0 CPUtime=15.53 cores=0-7
/proc/17611/task/17614/stat : 17614 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565960481680 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17615] ppid=17585 vsize=8283048 memory=-8382741927119592821 CPUtime=15.53 cores=0-7
/proc/17611/task/17615/stat : 17615 (java) S 17585 17585 15723 0 -1 1077944384 3 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565959429136 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17616] ppid=17585 vsize=8283048 memory=-6517932947147445662 CPUtime=15.53 cores=0-7
/proc/17611/task/17616/stat : 17616 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565621406864 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17617] ppid=17585 vsize=8283048 memory=8514701219882241188 CPUtime=15.53 cores=0-7
/proc/17611/task/17617/stat : 17617 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565620353296 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17618] ppid=17585 vsize=8283048 memory=7309167735352552301 CPUtime=15.53 cores=0-7
/proc/17611/task/17618/stat : 17618 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565619300752 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17619] ppid=17585 vsize=8283048 memory=7518026630507423339 CPUtime=15.53 cores=0-7
/proc/17611/task/17619/stat : 17619 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565618248208 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17620] ppid=17585 vsize=8283048 memory=7518026630507423339 CPUtime=15.53 cores=0-7
/proc/17611/task/17620/stat : 17620 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565617195664 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17621] ppid=17585 vsize=8283048 memory=119868 CPUtime=15.53 cores=0-7
/proc/17611/task/17621/stat : 17621 (java) S 17585 17585 15723 0 -1 1077944384 5 1096163 0 0 0 0 1313 240 20 0 22 0 419598496 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565567252976 140566138161794 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17622] ppid=17585 vsize=8283048 memory=2239372 CPUtime=15.53 cores=0-7
/proc/17611/task/17622/stat : 17622 (java) S 17585 17585 15723 0 -1 1077944384 13 1096163 0 0 0 0 1313 240 20 0 22 0 419598496 8481841152 33718 33554432000 4194304 4196468 140726413280048 140564750132640 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17623] ppid=17585 vsize=8283048 memory=16105866206120578 CPUtime=15.53 cores=0-7
/proc/17611/task/17623/stat : 17623 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598497 8481841152 33718 33554432000 4194304 4196468 140726413280048 140564481697264 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17624] ppid=17585 vsize=8283048 memory=1476 CPUtime=15.53 cores=0-7
/proc/17611/task/17624/stat : 17624 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598499 8481841152 33718 33554432000 4194304 4196468 140726413280048 140564107188944 140566138169243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17625] ppid=17585 vsize=8283048 memory=119868 CPUtime=15.62 cores=0-7
/proc/17611/task/17625/stat : 17625 (java) S 17585 17585 15723 0 -1 1077944384 845 1096163 0 0 9 0 1313 240 20 0 22 0 419598499 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565566199792 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17626] ppid=17585 vsize=8283048 memory=1595864 CPUtime=15.6 cores=0-7
/proc/17611/task/17626/stat : 17626 (java) S 17585 17585 15723 0 -1 1077944384 526 1096163 0 0 7 0 1313 240 20 0 22 0 419598499 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565565147248 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17627] ppid=17585 vsize=8283048 memory=280191990332192 CPUtime=15.64 cores=0-7
/proc/17611/task/17627/stat : 17627 (java) S 17585 17585 15723 0 -1 1077944384 291 1096163 0 0 11 0 1313 240 20 0 22 0 419598499 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565564094704 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17628] ppid=17585 vsize=8283048 memory=140095995122352 CPUtime=15.76 cores=0-7
/proc/17611/task/17628/stat : 17628 (java) R 17585 17585 15723 0 -1 4202560 1174 1096163 0 0 23 0 1313 240 20 0 22 0 419598500 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565563037424 140566131247483 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17629] ppid=17585 vsize=8283048 memory=796 CPUtime=15.53 cores=0-7
/proc/17611/task/17629/stat : 17629 (java) S 17585 17585 15723 0 -1 1077944384 3 1096163 0 0 0 0 1313 240 20 0 22 0 419598500 8481841152 33718 33554432000 4194304 4196468 140726413280048 140563609283296 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17630] ppid=17585 vsize=8283048 memory=0 CPUtime=15.53 cores=0-7
/proc/17611/task/17630/stat : 17630 (java) S 17585 17585 15723 0 -1 1077944384 3 1096163 0 0 0 0 1313 240 20 0 22 0 419598500 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565561990064 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17632] ppid=17585 vsize=8283048 memory=0 CPUtime=15.53 cores=0-7
/proc/17611/task/17632/stat : 17632 (java) S 17585 17585 15723 0 -1 1077944384 26 1096163 0 0 0 0 1313 240 20 0 22 0 419598565 8481841152 33718 33554432000 4194304 4196468 140726413280048 140565556147088 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17636] ppid=17585 vsize=8283048 memory=1476 CPUtime=15.53 cores=0-7
/proc/17611/task/17636/stat : 17636 (java) S 17585 17585 15723 0 -1 1077944384 12 1096163 0 0 0 0 1313 240 20 0 22 0 419598567 8481841152 33718 33554432000 4194304 4196468 140726413280048 140562669757360 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
Current children cumulated CPU time: 153.11 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 136348 KiB

[startup+68.9014 s]
/proc/loadavg: 4.71 7.20 7.83 5/219 17642
/proc/meminfo: memFree=19592056/32770624 swapFree=66977616/67108860
[pid=17585] ppid=17582 vsize=113128 memory=1476 CPUtime=136.2 cores=0-7
/proc/17585/stat : 17585 (scop.sh) S 17582 17585 15723 0 -1 4202496 582 73422 0 0 0 0 12674 946 20 0 1 0 419592893 115843072 369 33554432000 4194304 5098028 140733274591216 140733274587960 139639008944764 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37978112 140733274596133 140733274596460 140733274596460 140733274599373 0
/proc/17585/statm: 28282 369 311 221 0 87 0
[pid=17611] ppid=17585 vsize=8283048 memory=140756 CPUtime=17.1 cores=0-7
/proc/17611/stat : 17611 (java) S 17585 17585 15723 0 -1 1077944320 22074 1096163 0 0 148 9 1313 240 20 0 22 0 419598493 8481841152 35189 33554432000 4194304 4196468 140726413280048 140726413262592 140566138150647 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
/proc/17611/statm: 2070762 35189 3224 1 0 2032106 0
[pid=17611/tid=17612] ppid=17585 vsize=8283048 memory=134840 CPUtime=16.37 cores=0-7
/proc/17611/task/17612/stat : 17612 (java) R 17585 17585 15723 0 -1 4202560 17131 1096163 0 0 78 6 1313 240 20 0 22 0 419598493 8481841152 35189 33554432000 4194304 4196468 140726413280048 140566109988064 140566138172477 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17613] ppid=17585 vsize=8283048 memory=1476 CPUtime=15.53 cores=0-7
/proc/17611/task/17613/stat : 17613 (java) S 17585 17585 15723 0 -1 1077944384 2 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 35189 33554432000 4194304 4196468 140726413280048 140566142393104 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17614] ppid=17585 vsize=8283048 memory=6791534058613427641 CPUtime=15.53 cores=0-7
/proc/17611/task/17614/stat : 17614 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565960481680 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17615] ppid=17585 vsize=8283048 memory=41372 CPUtime=15.53 cores=0-7
/proc/17611/task/17615/stat : 17615 (java) S 17585 17585 15723 0 -1 1077944384 3 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565959429136 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17616] ppid=17585 vsize=8283048 memory=1476 CPUtime=15.53 cores=0-7
/proc/17611/task/17616/stat : 17616 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565621406864 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17617] ppid=17585 vsize=8283048 memory=119868 CPUtime=15.53 cores=0-7
/proc/17611/task/17617/stat : 17617 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565620353296 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17618] ppid=17585 vsize=8283048 memory=1476 CPUtime=15.53 cores=0-7
/proc/17611/task/17618/stat : 17618 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565619300752 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17619] ppid=17585 vsize=8283048 memory=1476 CPUtime=15.53 cores=0-7
/proc/17611/task/17619/stat : 17619 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565618248208 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17620] ppid=17585 vsize=8283048 memory=0 CPUtime=15.53 cores=0-7
/proc/17611/task/17620/stat : 17620 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598495 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565617195664 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17621] ppid=17585 vsize=8283048 memory=280191989448944 CPUtime=15.53 cores=0-7
/proc/17611/task/17621/stat : 17621 (java) S 17585 17585 15723 0 -1 1077944384 5 1096163 0 0 0 0 1313 240 20 0 22 0 419598496 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565567252976 140566138161794 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17622] ppid=17585 vsize=8283048 memory=0 CPUtime=15.53 cores=0-7
/proc/17611/task/17622/stat : 17622 (java) S 17585 17585 15723 0 -1 1077944384 13 1096163 0 0 0 0 1313 240 20 0 22 0 419598496 8481841152 35189 33554432000 4194304 4196468 140726413280048 140564750132640 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17623] ppid=17585 vsize=8283048 memory=288230574492221466 CPUtime=15.53 cores=0-7
/proc/17611/task/17623/stat : 17623 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598497 8481841152 35189 33554432000 4194304 4196468 140726413280048 140564481697264 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17624] ppid=17585 vsize=8283048 memory=288230621803970871 CPUtime=15.53 cores=0-7
/proc/17611/task/17624/stat : 17624 (java) S 17585 17585 15723 0 -1 1077944384 1 1096163 0 0 0 0 1313 240 20 0 22 0 419598499 8481841152 35189 33554432000 4194304 4196468 140726413280048 140564107188944 140566138169243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17625] ppid=17585 vsize=8283048 memory=16105866206120578 CPUtime=15.64 cores=0-7
/proc/17611/task/17625/stat : 17625 (java) S 17585 17585 15723 0 -1 1077944384 862 1096163 0 0 11 0 1313 240 20 0 22 0 419598499 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565566199792 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17626] ppid=17585 vsize=8283048 memory=6791534058613427641 CPUtime=15.61 cores=0-7
/proc/17611/task/17626/stat : 17626 (java) S 17585 17585 15723 0 -1 1077944384 533 1096163 0 0 8 0 1313 240 20 0 22 0 419598499 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565565147248 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17627] ppid=17585 vsize=8283048 memory=3252 CPUtime=15.65 cores=0-7
/proc/17611/task/17627/stat : 17627 (java) S 17585 17585 15723 0 -1 1077944384 296 1096163 0 0 12 0 1313 240 20 0 22 0 419598499 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565564094704 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17628] ppid=17585 vsize=8283048 memory=1112 CPUtime=15.81 cores=0-7
/proc/17611/task/17628/stat : 17628 (java) R 17585 17585 15723 0 -1 4202560 1291 1096163 0 0 28 0 1313 240 20 0 22 0 419598500 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565563042160 140566117101520 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17629] ppid=17585 vsize=8283048 memory=280191991141408 CPUtime=15.53 cores=0-7
/proc/17611/task/17629/stat : 17629 (java) S 17585 17585 15723 0 -1 1077944384 3 1096163 0 0 0 0 1313 240 20 0 22 0 419598500 8481841152 35189 33554432000 4194304 4196468 140726413280048 140563609283296 140566138160853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17630] ppid=17585 vsize=8283048 memory=215620243196279 CPUtime=15.53 cores=0-7
/proc/17611/task/17630/stat : 17630 (java) S 17585 17585 15723 0 -1 1077944384 3 1096163 0 0 0 0 1313 240 20 0 22 0 419598500 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565561990064 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17632] ppid=17585 vsize=8283048 memory=215620243196280 CPUtime=15.53 cores=0-7
/proc/17611/task/17632/stat : 17632 (java) S 17585 17585 15723 0 -1 1077944384 26 1096163 0 0 0 0 1313 240 20 0 22 0 419598565 8481841152 35189 33554432000 4194304 4196468 140726413280048 140565556147088 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
[pid=17611/tid=17636] ppid=17585 vsize=8283048 memory=119868 CPUtime=15.53 cores=0-7
/proc/17611/task/17636/stat : 17636 (java) S 17585 17585 15723 0 -1 1077944384 12 1096163 0 0 0 0 1313 240 20 0 22 0 419598567 8481841152 35189 33554432000 4194304 4196468 140726413280048 140562669757360 140566138161794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31637504 140726413284343 140726413284502 140726413284502 140726413287375 0
Current children cumulated CPU time: 153.3 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 142232 KiB

Child status: 0
Real time (s): 69.001
CPU time (s): 153.459
CPU user time (s): 141.389
CPU system time (s): 12.0698
CPU usage (%): 222.401
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 9252932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.389
system time used= 12.0698
maximum resident set size= 9252212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1192277
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1121720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40325
involuntary context switches= 1111


# summary of solver processes directly reported to runsolver:
#   pid: 17585
#   total CPU time (s): 153.459
#   total CPU user time (s): 141.389
#   total CPU system time (s): 12.0698

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.456182 second user time and 0.793756 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-14 04:45:39
IDJOB=4392366
IDBENCH=133338
IDSOLVER=2838
FILE ID=node104/4392366-1568433356
RUNJOBID= node104-1568421227-15750
PBS_JOBID= 21702284
Free space on /tmp= 59012 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p20/Primes-20-20-3-3.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392366-1568433356/watcher-4392366-1568433356 -o /tmp/evaluation-result-4392366-1568433356/solver-4392366-1568433356 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568421227-15750 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392366-1568433356.xml

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

MD5SUM BENCH= 065412ea00e4edb14381318bc4e9318f
RANDOM SEED=1823648743

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
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:        26696140 kB
MemAvailable:   31835436 kB
Buffers:          181760 kB
Cached:          5211736 kB
SwapCached:        31688 kB
Active:          1767532 kB
Inactive:        3662992 kB
Active(anon):       3304 kB
Inactive(anon):    75148 kB
Active(file):    1764228 kB
Inactive(file):  3587844 kB
Unevictable:      107776 kB
Mlocked:          107776 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:             20848 kB
Writeback:             8 kB
AnonPages:        114456 kB
Mapped:            44232 kB
Shmem:             32780 kB
Slab:             236500 kB
SReclaimable:     206116 kB
SUnreclaim:        30384 kB
KernelStack:        3376 kB
PageTables:         5364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58992 MiB
End job on node104 at 2019-09-14 04:46:48