Trace number 4405456

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-rand/
Subisomorphism-si2-r001-m400-05.xml
MD5SUM5f006248f7b4f652f1c0eb398f87a4da
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 benchmark9.50125
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints172
Number of domains1
Minimum domain size400
Maximum domain size400
Distribution of domain sizes[{"size":400,"count":80}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":20},{"degree":4,"count":19},{"degree":5,"count":18},{"degree":6,"count":11},{"degree":7,"count":8},{"degree":8,"count":2},{"degree":9,"count":2}]
Minimum constraint arity1
Maximum constraint arity80
Distribution of constraint arities[{"arity":1,"count":60},{"arity":2,"count":111},{"arity":80,"count":1}]
Number of extensional constraints171
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":171},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-6491-serial-file.bin HOME/instance-4405456-1569338623.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 17:23:06 CEST 2019
0.65/0.56	c PID: 6494
0.65/0.56	c IP: 172.20.3.148
0.65/0.56	c HOST: node148.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.59/0.98	c (0,0) Parsing End
1.59/0.99	c (0,0) CSP: 80 int (0 aux), 0 bool (0 aux), 172 ctr, max domain size 400
1.59/0.99	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.59/0.99	c (0,0) Constraint Name Generate Begin
1.59/1.00	c (0,0) Ctr:HOME/instance-4405456-1569338623.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.59/1.00	c (0,0) Constraint Name Generate End
1.59/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.59/1.00	c (0,0) CSP to CSPinCNF Begin
15.45/8.37	c (7,7) translated 18 (10%) constraints
22.34/14.90	c (14,14) translated 35 (20%) constraints
30.69/21.53	c (20,20) translated 52 (30%) constraints
36.92/27.71	c (27,26) translated 69 (40%) constraints
46.35/34.25	c (33,33) translated 86 (50%) constraints
52.89/40.77	c (40,39) translated 104 (60%) constraints
56.20/44.03	c (43,42) translated 121 (70%) constraints
56.20/44.04	c (43,42) translated 138 (80%) constraints
56.20/44.07	c (43,42) translated 155 (90%) constraints
56.20/44.08	c (43,42) translated 172 (100%) constraints
56.20/44.09	c (43,42) ===========================================
57.10/44.33	c (43,43) Hybrid: #OE=44480, #LE=0
57.10/44.33	c (43,43) Hybrid
57.10/44.33	c (43,43) ===========================================
60.17/46.06	c (45,44) translated 80623 (10%) constraints
61.79/47.65	c (47,46) translated 161246 (20%) constraints
63.39/49.23	c (48,48) translated 241869 (30%) constraints
65.00/50.83	c (50,49) translated 322491 (40%) constraints
70.99/52.98	c (52,51) translated 403114 (50%) constraints
72.59/54.56	c (54,52) translated 483737 (60%) constraints
74.20/56.14	c (55,54) translated 564359 (70%) constraints
75.79/57.73	c (57,55) translated 644982 (80%) constraints
77.39/59.33	c (58,57) translated 725605 (90%) constraints
79.04/60.92	c (60,59) translated 806227 (100%) constraints
79.04/60.92	c (60,59) CSP to CSPinCNF End
79.04/60.94	c (60,59) CSP: 80 int (0 aux), 44400 bool (44400 aux), 806227 ctr, max domain size 400
79.04/60.94	c (60,59) Heap : 2991 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
79.04/60.94	c (60,59) CSPinCNF Propagation Begin
88.73/66.74	c (66,64) 0 values, 111 unsatisfiable literals, and 1 valid clauses are removed
88.73/66.74	c (66,64) CSPinCNF Propagation End
88.73/66.75	c (66,64) CSP: 80 int (0 aux), 44400 bool (44400 aux), 806226 ctr, max domain size 400
88.73/66.75	c (66,64) Heap : 2732 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
89.10/67.05	c (66,64) Hybrid: #OE=44480, #LE=0
89.10/67.05	c (66,64) Simplify CSPinCNF Begin
91.23/68.54	c (68,66) Simplify CSPinCNF End
91.23/68.55	c (68,66) CSP: 80 int (0 aux), 50720 bool (50720 aux), 812546 ctr, max domain size 400
91.23/68.55	c (68,66) Heap : 3510 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
91.23/68.55	c (68,66) Calculate Precise Domain Begin
91.23/68.56	c (68,66) 0 values are removed by re-calculation
91.23/68.56	c (68,66) Calculate Precise Domain End
91.23/68.57	c (68,66) CSP: 80 int (0 aux), 50720 bool (50720 aux), 812546 ctr, max domain size 400
91.23/68.57	c (68,66) Heap : 3510 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
91.23/68.57	c (68,66) CSPinCNF to SatSolver Begin
108.25/80.46	c (79,77) 81255 (10 %) CSP clauses are encoded (0 SAT variables, 2634774 SAT clauses)
109.10/81.22	c (80,77) 162510 (20 %) CSP clauses are encoded (0 SAT variables, 2716029 SAT clauses)
109.91/82.03	c (81,78) 243764 (30 %) CSP clauses are encoded (0 SAT variables, 2797283 SAT clauses)
110.61/82.79	c (82,79) 325019 (40 %) CSP clauses are encoded (0 SAT variables, 2878538 SAT clauses)
111.40/83.55	c (83,80) 406273 (50 %) CSP clauses are encoded (0 SAT variables, 2959792 SAT clauses)
112.21/84.31	c (83,81) 487528 (60 %) CSP clauses are encoded (0 SAT variables, 3041047 SAT clauses)
112.91/85.08	c (84,81) 568783 (70 %) CSP clauses are encoded (0 SAT variables, 3122302 SAT clauses)
113.72/85.83	c (85,82) 650037 (80 %) CSP clauses are encoded (0 SAT variables, 3203556 SAT clauses)
117.94/87.05	c (86,83) 731292 (90 %) CSP clauses are encoded (0 SAT variables, 3284811 SAT clauses)
118.73/87.81	c (87,84) 812546 (100 %) CSP clauses are encoded (0 SAT variables, 3366065 SAT clauses)
118.73/87.81	c (87,84) CSPinCNF to SatSolver End
118.73/87.81	c (87,84) Heap : 1673 MiB used (max 21575 MiB), NonHeap : 31 MiB used (max 0 MiB)
118.73/87.81	c (87,84) 82640 bool, 3366066 clause
118.73/87.81	c (87,84) Export Begin
118.92/87.91	c (87,84) Export to HOME/scop-6491-serial-file.bin
118.92/87.91	c (87,84) Export End
118.92/87.91	c (87,84) Export File Size: 0.02 MB
118.92/87.91	c (87,84) 0,0,60,66,68,68,87,STOP-AFTER(DIMACS)
118.92/87.91	c END-Prog: Tue Sep 24 17:24:33 CEST 2019
118.92/87.95	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6491-serial-file.bin
119.57/88.41	c (0,0) Read Serial File Begin
119.57/88.41	c (0,0) HOME/scop-6491-serial-file.bin
119.85/88.63	c (0,0) Read Serial File End
119.85/88.64	
119.85/88.64	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
119.85/88.64	(Solving Process)
119.85/88.64	
119.85/88.66	c BEGIN-Prog: Tue Sep 24 17:24:34 CEST 2019
119.85/88.66	c PID: 6519
119.85/88.66	c IP: 172.20.3.148
119.85/88.66	c HOST: node148.alineos.net
119.85/88.67	c (0,0) SatSolver.solve Begin
119.85/88.67	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405456-1569338623.xml-scop-6494.cnf
119.85/88.70	c (0,0) c
119.85/88.70	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)
119.85/88.70	c (0,0) c
119.85/88.70	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
119.85/88.70	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
119.85/88.70	c (0,0) c ========================================[ Problem Statistics ]===========================================
119.85/88.70	c (0,0) c |                                                                                                       |
121.27/89.81	c (1,0) c |  Number of variables:         82640                                                                   |
121.27/89.81	c (1,0) c |  Number of clauses:         3366066                                                                   |
121.27/89.81	c (1,0) c |  Parse time:                   1.02 s                                                                 |
121.27/89.81	c (1,0) c |                                                                                                       |
134.57/103.19	c (14,0) c |  Simplification time:         13.28 s                                                                 |
134.57/103.19	c (14,0) c |                                                                                                       |
134.57/103.19	c (14,0) c |  Generating clones                                                                                    |
135.36/103.94	c (15,0) c |  all clones generated. Memory =  2037.37Mb.                                                           |
135.36/103.94	c (15,0) c ========================================================================================================|
135.36/103.94	c (15,0) c
135.36/103.94	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
135.36/103.94	c (15,0) c
135.36/103.94	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.36/103.94	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
135.36/103.94	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.36/103.94	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
135.36/103.94	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
135.36/103.94	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
135.36/103.94	c (15,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
135.36/103.94	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
135.36/103.94	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
135.36/103.94	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
135.36/103.94	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
135.36/103.94	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
135.36/103.94	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
135.36/103.94	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
135.36/103.94	c (15,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
135.36/103.94	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
135.36/103.94	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
135.36/103.94	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
135.36/103.94	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
367.64/133.26	c (44,0) c
367.64/133.26	c (44,0) c |------------------------------------------------------------------------------------------------------------------------|
367.64/133.26	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
367.64/133.26	c (44,0) c |------------------------------------------------------------------------------------------------------------------------|
367.64/133.26	c (44,0) c |  0 |    133 |     175792 |      45817 |   277049 |    19719 |     8971 |    55645 |     3321 |      211 |  20 |  0.050 |
367.64/133.26	c (44,0) c |  1 |     98 |     169504 |      45669 |   278999 |    19465 |     9604 |    58456 |     3348 |      216 |  20 |  0.053 |
367.64/133.26	c (44,0) c |  2 |    131 |     195281 |      47432 |   255264 |    21285 |     9991 |    57460 |     3653 |      216 |  20 |  0.053 |
367.64/133.26	c (44,0) c |  3 |    166 |     186079 |      47500 |   275768 |    21301 |     9754 |    59064 |     3310 |      221 |  20 |  0.054 |
367.64/133.26	c (44,0) c |  4 |    147 |     168177 |      45951 |   263672 |    19762 |     8903 |    62990 |     2867 |      230 |  20 |  0.054 |
367.64/133.26	c (44,0) c |  5 |    143 |     192855 |      49032 |   236591 |    22861 |    10148 |    61874 |     3838 |      228 |  20 |  0.054 |
367.64/133.26	c (44,0) c |  6 |    101 |     148281 |      43005 |   293570 |    16870 |     8039 |    57318 |     2504 |      210 |  20 |  0.050 |
367.64/133.26	c (44,0) c |  7 |    131 |     190134 |      48870 |   246569 |    22521 |     9980 |    62756 |     4058 |      229 |  20 |  0.054 |
367.64/133.26	c (44,0) c 
367.64/133.27	c (44,0) c synthesis      373276 conflicts   426708358 propagations     1530 conflicts/sec  1748953 propagations/sec
367.64/133.27	c (44,0) c real: 44.5643 s, cpu: 243.979 s, memory: 2613.92 Mb
596.62/162.26	c (73,0) c
596.62/162.26	c (73,0) c |------------------------------------------------------------------------------------------------------------------------|
596.62/162.26	c (73,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
596.62/162.26	c (73,0) c |------------------------------------------------------------------------------------------------------------------------|
596.62/162.26	c (73,0) c |  0 |    295 |     381954 |      85792 |   354745 |    28460 |    16319 |   110027 |     8169 |      426 |  20 |  0.116 |
596.62/162.26	c (73,0) c |  1 |    245 |     363054 |      84400 |   369781 |    30338 |    17019 |   111085 |     7774 |      433 |  20 |  0.125 |
596.62/162.26	c (73,0) c |  2 |    264 |     399495 |      87750 |   341529 |    30142 |    17685 |   113749 |     8208 |      444 |  20 |  0.128 |
596.62/162.26	c (73,0) c |  3 |    266 |     353188 |      86661 |   384992 |    29546 |    16712 |   114808 |     7403 |      445 |  20 |  0.127 |
596.62/162.26	c (73,0) c |  4 |    286 |     331082 |      81863 |   366751 |    28237 |    15616 |   114602 |     6384 |      442 |  20 |  0.126 |
596.62/162.26	c (73,0) c |  5 |    242 |     375094 |      86957 |   319589 |    33336 |    17395 |   110297 |     8142 |      430 |  20 |  0.115 |
596.62/162.26	c (73,0) c |  6 |    221 |     321893 |      81098 |   397909 |    27285 |    16294 |   110853 |     6333 |      429 |  20 |  0.109 |
596.62/162.26	c (73,0) c |  7 |    272 |     376003 |      87075 |   329045 |    29968 |    17111 |   110701 |     8349 |      443 |  20 |  0.121 |
596.62/162.26	c (73,0) c 
596.62/162.26	c (73,0) c synthesis      681596 conflicts   807650976 propagations     1443 conflicts/sec  1709793 propagations/sec
596.62/162.26	c (73,0) c real: 73.5643 s, cpu: 472.368 s, memory: 2614.30 Mb
824.03/191.26	c (102,0) c
824.03/191.26	c (102,0) c |------------------------------------------------------------------------------------------------------------------------|
824.03/191.26	c (102,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
824.03/191.26	c (102,0) c |------------------------------------------------------------------------------------------------------------------------|
824.03/191.26	c (102,0) c |  0 |    391 |     534767 |     120691 |   422206 |    42834 |    22709 |   154400 |    12264 |      657 |  20 |  0.269 |
824.03/191.26	c (102,0) c |  1 |    353 |     523429 |     116615 |   438497 |    40721 |    22771 |   153707 |    12015 |      655 |  20 |  0.264 |
824.03/191.26	c (102,0) c |  2 |    375 |     550938 |     118318 |   387748 |    40492 |    23002 |   153987 |    12015 |      656 |  20 |  0.266 |
824.03/191.26	c (102,0) c |  3 |    380 |     517281 |     118692 |   452631 |    41332 |    22740 |   156342 |    11978 |      667 |  20 |  0.271 |
824.03/191.26	c (102,0) c |  4 |    377 |     479645 |     113131 |   427143 |    37269 |    21952 |   156648 |    10507 |      668 |  20 |  0.271 |
824.03/191.26	c (102,0) c |  5 |    338 |     524881 |     118570 |   383775 |    42387 |    22785 |   153548 |    12322 |      652 |  20 |  0.265 |
824.03/191.26	c (102,0) c |  6 |    332 |     482586 |     112912 |   449909 |    41250 |    22379 |   153202 |    10389 |      648 |  20 |  0.253 |
824.03/191.26	c (102,0) c |  7 |    357 |     517668 |     117093 |   401141 |    39373 |    22369 |   154075 |    11716 |      656 |  20 |  0.264 |
824.03/191.26	c (102,0) c 
824.03/191.26	c (102,0) c synthesis      936022 conflicts  1159639840 propagations     1340 conflicts/sec  1660539 propagations/sec
824.03/191.26	c (102,0) c real: 102.564 s, cpu: 698.352 s, memory: 2614.69 Mb
838.23/193.47	c (105,0) c
838.23/193.47	c (105,0) c real time : 104.776 s
838.23/193.47	c (105,0) c cpu time  : 712.075 s
838.23/193.47	c (105,0) c
838.23/193.47	c (105,0) c
838.23/193.47	c (105,0) c
838.23/193.47	c (105,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
838.23/193.47	c (105,0) c
838.23/193.47	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
838.23/193.47	c (105,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
838.23/193.47	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
838.23/193.47	c (105,0) c | Conflicts     |          949690 |     122217 |     118262 |     120116 |     119967 |     114907 |     120633 |     115338 |     118250 |
838.23/193.47	c (105,0) c | Decisions     |         4195567 |     541597 |     530700 |     559933 |     522712 |     489107 |     536304 |     492615 |     522599 |
838.23/193.47	c (105,0) c | Propagations  |      1180929512 |  147704433 |  147299200 |  147785392 |  150624093 |  148644490 |  148274654 |  144799842 |  145797408 |
838.23/193.47	c (105,0) c | ReduceDBs     |              64 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |
838.23/193.47	c (105,0) c | SimpDBs       |             103 |         13 |         13 |         13 |         13 |         13 |         13 |         12 |         13 |
838.23/193.47	c (105,0) c | Restarts      |            2962 |        397 |        360 |        380 |        388 |        389 |        352 |        336 |        360 |
838.23/193.47	c (105,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
838.23/193.47	c (105,0) c | PropBinClauses|       874818997 |  110718519 |  109213099 |  110074324 |  111539694 |  108250235 |  110338852 |  106257020 |  108427254 |
838.23/193.47	c (105,0) c | PropPreBlocker|     19180420315 | 2356545544 | 2396787151 | 2371323861 | 2455850169 | 2446202767 | 2365816494 | 2407550243 | 2380344086 |
838.23/193.47	c (105,0) c | PropNotBlocker|      5024116703 |  637426613 |  624187042 |  626634381 |  633299678 |  638569228 |  631833524 |  615558435 |  616607802 |
838.23/193.47	c (105,0) c | LitFullScans  |     32248511177 | 4011048712 | 4012027354 | 4021092497 | 4076810966 | 4090046580 | 4010307006 | 4011041256 | 4016136806 |
838.23/193.47	c (105,0) c | LitScanFracts |        27081500 |    3042065 |    3980207 |    4749116 |    2799116 |    3971427 |    2246396 |    3033049 |    3260124 |
838.23/193.47	c (105,0) c | DecisionLevel0|            3175 |        432 |        389 |        405 |        418 |        421 |        381 |        358 |        371 |
838.23/193.47	c (105,0) c | Periods       |            5369 |        668 |        668 |        669 |        679 |        681 |        668 |        668 |        668 |
838.23/193.47	c (105,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
838.23/193.47	c (105,0) c | Avg_Trail     |                 |      10461 |      11254 |      10907 |      11534 |      12276 |      10623 |      12335 |      11342 |
838.23/193.47	c (105,0) c | Avg_DL        |                 |         42 |         42 |         49 |         45 |         43 |         44 |         44 |         48 |
838.23/193.47	c (105,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
838.23/193.47	c (105,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
838.23/193.47	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
838.23/193.47	c (105,0) c | Exported      |          183146 |      22984 |      23056 |      23328 |      22991 |      22378 |      23094 |      22785 |      22530 |
838.23/193.47	c (105,0) c | Imported      |         1251185 |     156135 |     155578 |     156078 |     157630 |     159205 |     156027 |     155556 |     154976 |
838.23/193.47	c (105,0) c | Good          |           25033 |       3090 |       3139 |       3099 |       3126 |       3212 |       3056 |       3149 |       3162 |
838.23/193.47	c (105,0) c | Purge         |         1226152 |     153045 |     152439 |     152979 |     154504 |     155993 |     152971 |     152407 |     151814 |
838.23/193.47	c (105,0) c | Promoted      |           95372 |      12521 |      12293 |      12352 |      12185 |      10758 |      12671 |      10761 |      11831 |
838.23/193.47	c (105,0) c | Remove_Imp    |          663030 |      79437 |      82793 |      80655 |      84175 |      89644 |      76499 |      84388 |      85439 |
838.23/193.47	c (105,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
838.23/193.47	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
838.23/193.47	c (105,0) c | Unaries       |                 |         35 |         29 |         25 |         30 |         32 |         29 |         22 |         11 |
838.23/193.47	c (105,0) c | Binaries      |                 |        508 |        440 |        484 |        483 |        413 |        533 |        427 |        385 |
838.23/193.47	c (105,0) c | Glues         |                 |       6774 |       6745 |       6603 |       6544 |       6111 |       6863 |       6234 |       6336 |
838.23/193.47	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
838.23/193.47	c (105,0) c | Orig_Seen     |            12 % |     424235 |     441160 |     390634 |     454615 |     430445 |     386928 |     453329 |     408097 |
838.23/193.47	c (105,0) c | Diff Orig seen|                 |      16138 |      33063 | -    17463 |      46518 |      22348 | -    21169 |      45232 |      X     |
838.23/193.47	c (105,0) c | Hamming       |            20 % |      16859 |      18173 |      18217 |      15755 |      16883 |      16898 |      16777 |      X     |
838.23/193.47	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
838.23/193.47	c (105,0) c | RunningTime   |                 |   88.8 100%|   88.9 100%|   88.3  99%|   87.0  98%|   86.5  97%|   89.1 100%|   89.4 100%|   87.2  98%|
838.23/193.47	c (105,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.6   1%|    1.8   2%|    2.3   3%|    0.1   0%|    0.0   0%|    1.6   2%|
838.23/193.47	c (105,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
838.23/193.47	c (105,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
838.23/193.47	c (105,0) c | SolvingTime   |                 |   88.9     |   89.0     |   88.9     |   88.9     |   88.9     |   89.3     |   89.5     |   88.9     |
838.23/193.47	c (105,0) c | PropagationTim|                 |   72.3  81%|   72.9  82%|   72.6  82%|   72.2  81%|   71.6  81%|   72.3  81%|   73.2  82%|   71.7  81%|
838.23/193.47	c (105,0) c | AnalysisTime  |                 |   11.7  13%|   11.2  13%|   11.2  13%|   11.7  13%|   12.0  13%|   11.9  13%|   11.4  13%|   12.2  14%|
838.23/193.47	c (105,0) c | ReductionTime |                 |    0.5   1%|    0.6   1%|    0.6   1%|    0.6   1%|    0.5   1%|    0.6   1%|    0.5   1%|    0.6   1%|
838.23/193.47	c (105,0) c | SimplifyTime  |                 |    1.2   1%|    1.2   1%|    1.4   2%|    1.3   1%|    1.5   2%|    1.3   1%|    1.2   1%|    1.3   2%|
838.23/193.47	c (105,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
838.23/193.47	c (105,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
838.23/193.47	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
838.23/193.47	c (105,0) c
838.23/193.47	c (105,0) c
838.23/193.47	c (105,0) c Threads : 8
838.23/193.47	c (105,0) c Winner : 7
838.23/193.47	c (105,0) c Conflicts_0 : 122217
838.23/193.47	c (105,0) c Conflicts_1 : 118262
838.23/193.47	c (105,0) c Conflicts_2 : 120116
838.23/193.47	c (105,0) c Conflicts_3 : 119967
838.23/193.47	c (105,0) c Conflicts_4 : 114907
838.23/193.47	c (105,0) c Conflicts_5 : 120633
838.23/193.47	c (105,0) c Conflicts_6 : 115338
838.23/193.47	c (105,0) c Conflicts_7 : 118250
838.23/193.47	c (105,0) c Conflicts_total : 949690
838.23/193.47	c (105,0) c Conflicts_winner : 118250
838.23/193.47	c (105,0) c Decisions_0 : 541597
838.23/193.47	c (105,0) c Decisions_1 : 530700
838.23/193.47	c (105,0) c Decisions_2 : 559933
838.23/193.47	c (105,0) c Decisions_3 : 522712
838.23/193.47	c (105,0) c Decisions_4 : 489107
838.23/193.47	c (105,0) c Decisions_5 : 536304
838.23/193.47	c (105,0) c Decisions_6 : 492615
838.23/193.47	c (105,0) c Decisions_7 : 522599
838.23/193.47	c (105,0) c Decisions_total : 4195567
838.23/193.47	c (105,0) c Decisions_winner : 522599
838.23/193.47	c (105,0) c Propagations_0 : 147704433
838.23/193.47	c (105,0) c Propagations_1 : 147299200
838.23/193.47	c (105,0) c Propagations_2 : 147785392
838.23/193.47	c (105,0) c Propagations_3 : 150624093
838.23/193.47	c (105,0) c Propagations_4 : 148644490
838.23/193.47	c (105,0) c Propagations_5 : 148274654
838.23/193.47	c (105,0) c Propagations_6 : 144799842
838.23/193.47	c (105,0) c Propagations_7 : 145797408
838.23/193.47	c (105,0) c Propagations_total : 1180929512
838.23/193.47	c (105,0) c Propagations_winner : 145797408
838.23/193.47	c (105,0) c ReduceDBs_0 : 8
838.23/193.47	c (105,0) c ReduceDBs_1 : 8
838.23/193.47	c (105,0) c ReduceDBs_2 : 8
838.23/193.47	c (105,0) c ReduceDBs_3 : 8
838.23/193.47	c (105,0) c ReduceDBs_4 : 8
838.23/193.47	c (105,0) c ReduceDBs_5 : 8
838.23/193.47	c (105,0) c ReduceDBs_6 : 8
838.23/193.47	c (105,0) c ReduceDBs_7 : 8
838.23/193.47	c (105,0) c ReduceDBs_total : 64
838.23/193.47	c (105,0) c ReduceDBs_winner : 8
838.23/193.47	c (105,0) c SimpDBs_0 : 13
838.23/193.47	c (105,0) c SimpDBs_1 : 13
838.23/193.47	c (105,0) c SimpDBs_2 : 13
838.23/193.47	c (105,0) c SimpDBs_3 : 13
838.23/193.47	c (105,0) c SimpDBs_4 : 13
838.23/193.47	c (105,0) c SimpDBs_5 : 13
838.23/193.47	c (105,0) c SimpDBs_6 : 12
838.23/193.47	c (105,0) c SimpDBs_7 : 13
838.23/193.47	c (105,0) c SimpDBs_total : 103
838.23/193.47	c (105,0) c SimpDBs_winner : 13
838.23/193.47	c (105,0) c Restarts_0 : 397
838.23/193.47	c (105,0) c Restarts_1 : 360
838.23/193.47	c (105,0) c Restarts_2 : 380
838.23/193.47	c (105,0) c Restarts_3 : 388
838.23/193.47	c (105,0) c Restarts_4 : 389
838.23/193.47	c (105,0) c Restarts_5 : 352
838.23/193.47	c (105,0) c Restarts_6 : 336
838.23/193.47	c (105,0) c Restarts_7 : 360
838.23/193.47	c (105,0) c Restarts_total : 2962
838.23/193.47	c (105,0) c Restarts_winner : 360
838.23/193.47	c (105,0) c ForcedImports_0 : 0
838.23/193.47	c (105,0) c ForcedImports_1 : 0
838.23/193.47	c (105,0) c ForcedImports_2 : 0
838.23/193.47	c (105,0) c ForcedImports_3 : 0
838.23/193.47	c (105,0) c ForcedImports_4 : 0
838.23/193.47	c (105,0) c ForcedImports_5 : 0
838.23/193.47	c (105,0) c ForcedImports_6 : 0
838.23/193.47	c (105,0) c ForcedImports_7 : 0
838.23/193.47	c (105,0) c ForcedImports_total : 0
838.23/193.47	c (105,0) c ForcedImports_winner : 0
838.23/193.47	c (105,0) c PropsBinClauses_0 : 110718519
838.23/193.47	c (105,0) c PropsBinClauses_1 : 109213099
838.23/193.47	c (105,0) c PropsBinClauses_2 : 110074324
838.23/193.47	c (105,0) c PropsBinClauses_3 : 111539694
838.23/193.47	c (105,0) c PropsBinClauses_4 : 108250235
838.23/193.47	c (105,0) c PropsBinClauses_5 : 110338852
838.23/193.47	c (105,0) c PropsBinClauses_6 : 106257020
838.23/193.47	c (105,0) c PropsBinClauses_7 : 108427254
838.23/193.47	c (105,0) c PropsBinClauses_total : 874818997
838.23/193.47	c (105,0) c PropsBinClauses_winner : 108427254
838.23/193.47	c (105,0) c PropsPreBlocker_0 : 2356545544
838.23/193.47	c (105,0) c PropsPreBlocker_1 : 2396787151
838.23/193.47	c (105,0) c PropsPreBlocker_2 : 2371323861
838.23/193.47	c (105,0) c PropsPreBlocker_3 : 2455850169
838.23/193.47	c (105,0) c PropsPreBlocker_4 : 2446202767
838.23/193.47	c (105,0) c PropsPreBlocker_5 : 2365816494
838.23/193.47	c (105,0) c PropsPreBlocker_6 : 2407550243
838.23/193.47	c (105,0) c PropsPreBlocker_7 : 2380344086
838.23/193.47	c (105,0) c PropsPreBlocker_total : 19180420315
838.23/193.47	c (105,0) c PropsPreBlocker_winner : 2380344086
838.23/193.47	c (105,0) c PropsNotBlocker_0 : 637426613
838.23/193.47	c (105,0) c PropsNotBlocker_1 : 624187042
838.23/193.47	c (105,0) c PropsNotBlocker_2 : 626634381
838.23/193.47	c (105,0) c PropsNotBlocker_3 : 633299678
838.23/193.47	c (105,0) c PropsNotBlocker_4 : 638569228
838.23/193.47	c (105,0) c PropsNotBlocker_5 : 631833524
838.23/193.47	c (105,0) c PropsNotBlocker_6 : 615558435
838.23/193.47	c (105,0) c PropsNotBlocker_7 : 616607802
838.23/193.47	c (105,0) c PropsNotBlocker_total : 5024116703
838.23/193.47	c (105,0) c PropsNotBlocker_winner : 616607802
838.23/193.47	c (105,0) c PropsLitFullScans_0 : 4011048712
838.23/193.47	c (105,0) c PropsLitFullScans_1 : 4012027354
838.23/193.47	c (105,0) c PropsLitFullScans_2 : 4021092497
838.23/193.47	c (105,0) c PropsLitFullScans_3 : 4076810966
838.23/193.47	c (105,0) c PropsLitFullScans_4 : 4090046580
838.23/193.47	c (105,0) c PropsLitFullScans_5 : 4010307006
838.23/193.47	c (105,0) c PropsLitFullScans_6 : 4011041256
838.23/193.47	c (105,0) c PropsLitFullScans_7 : 4016136806
838.23/193.47	c (105,0) c PropsLitFullScans_total : 32248511177
838.23/193.47	c (105,0) c PropsLitFullScans_winner : 4016136806
838.23/193.47	c (105,0) c LitScanFractions_0 : 3042065
838.23/193.47	c (105,0) c LitScanFractions_1 : 3980207
838.23/193.47	c (105,0) c LitScanFractions_2 : 4749116
838.23/193.47	c (105,0) c LitScanFractions_3 : 2799116
838.23/193.47	c (105,0) c LitScanFractions_4 : 3971427
838.23/193.47	c (105,0) c LitScanFractions_5 : 2246396
838.23/193.47	c (105,0) c LitScanFractions_6 : 3033049
838.23/193.47	c (105,0) c LitScanFractions_7 : 3260124
838.23/193.47	c (105,0) c LitScanFractions_total : 27081500
838.23/193.47	c (105,0) c LitScanFractions_winner : 3260124
838.23/193.47	c (105,0) c DecisionLevel0_0 : 432
838.23/193.47	c (105,0) c DecisionLevel0_1 : 389
838.23/193.47	c (105,0) c DecisionLevel0_2 : 405
838.23/193.47	c (105,0) c DecisionLevel0_3 : 418
838.23/193.47	c (105,0) c DecisionLevel0_4 : 421
838.23/193.47	c (105,0) c DecisionLevel0_5 : 381
838.23/193.47	c (105,0) c DecisionLevel0_6 : 358
838.23/193.47	c (105,0) c DecisionLevel0_7 : 371
838.23/193.48	c (105,0) c DecisionLevel0_total : 3175
838.23/193.48	c (105,0) c DecisionLevel0_winner : 371
838.23/193.48	c (105,0) c Periods_0 : 668
838.23/193.48	c (105,0) c Periods_1 : 668
838.23/193.48	c (105,0) c Periods_2 : 669
838.23/193.48	c (105,0) c Periods_3 : 679
838.23/193.48	c (105,0) c Periods_4 : 681
838.23/193.48	c (105,0) c Periods_5 : 668
838.23/193.48	c (105,0) c Periods_6 : 668
838.23/193.48	c (105,0) c Periods_7 : 668
838.23/193.48	c (105,0) c Periods_total : 5369
838.23/193.48	c (105,0) c Periods_winner : 668
838.23/193.48	c (105,0) c Margin_0 : 20
838.23/193.48	c (105,0) c Margin_1 : 20
838.23/193.48	c (105,0) c Margin_2 : 20
838.23/193.48	c (105,0) c Margin_3 : 20
838.23/193.48	c (105,0) c Margin_4 : 20
838.23/193.48	c (105,0) c Margin_5 : 20
838.23/193.48	c (105,0) c Margin_6 : 20
838.23/193.48	c (105,0) c Margin_7 : 20
838.23/193.48	c (105,0) c Margin_total : 160
838.23/193.48	c (105,0) c Margin_winner : 20
838.23/193.48	c (105,0) c Exported_0 : 22984
838.23/193.48	c (105,0) c Exported_1 : 23056
838.23/193.48	c (105,0) c Exported_2 : 23328
838.23/193.48	c (105,0) c Exported_3 : 22991
838.23/193.48	c (105,0) c Exported_4 : 22378
838.23/193.48	c (105,0) c Exported_5 : 23094
838.23/193.48	c (105,0) c Exported_6 : 22785
838.23/193.48	c (105,0) c Exported_7 : 22530
838.23/193.48	c (105,0) c Exported_total : 183146
838.23/193.48	c (105,0) c Exported_winner : 22530
838.23/193.48	c (105,0) c Imported_0 : 156135
838.23/193.48	c (105,0) c Imported_1 : 155578
838.23/193.48	c (105,0) c Imported_2 : 156078
838.23/193.48	c (105,0) c Imported_3 : 157630
838.23/193.48	c (105,0) c Imported_4 : 159205
838.23/193.48	c (105,0) c Imported_5 : 156027
838.23/193.48	c (105,0) c Imported_6 : 155556
838.23/193.48	c (105,0) c Imported_7 : 154976
838.23/193.48	c (105,0) c Imported_total : 1251185
838.23/193.48	c (105,0) c Imported_winner : 154976
838.23/193.48	c (105,0) c Good_0 : 3090
838.23/193.48	c (105,0) c Good_1 : 3139
838.23/193.48	c (105,0) c Good_2 : 3099
838.23/193.48	c (105,0) c Good_3 : 3126
838.23/193.48	c (105,0) c Good_4 : 3212
838.23/193.48	c (105,0) c Good_5 : 3056
838.23/193.48	c (105,0) c Good_6 : 3149
838.23/193.48	c (105,0) c Good_7 : 3162
838.23/193.48	c (105,0) c Good_total : 25033
838.23/193.48	c (105,0) c Good_winner : 3162
838.23/193.48	c (105,0) c Purge_0 : 153045
838.23/193.48	c (105,0) c Purge_1 : 152439
838.23/193.48	c (105,0) c Purge_2 : 152979
838.23/193.48	c (105,0) c Purge_3 : 154504
838.23/193.48	c (105,0) c Purge_4 : 155993
838.23/193.48	c (105,0) c Purge_5 : 152971
838.23/193.48	c (105,0) c Purge_6 : 152407
838.23/193.48	c (105,0) c Purge_7 : 151814
838.23/193.48	c (105,0) c Purge_total : 1226152
838.23/193.48	c (105,0) c Purge_winner : 151814
838.23/193.48	c (105,0) c Promoted_0 : 12521
838.23/193.48	c (105,0) c Promoted_1 : 12293
838.23/193.48	c (105,0) c Promoted_2 : 12352
838.23/193.48	c (105,0) c Promoted_3 : 12185
838.23/193.48	c (105,0) c Promoted_4 : 10758
838.23/193.48	c (105,0) c Promoted_5 : 12671
838.23/193.48	c (105,0) c Promoted_6 : 10761
838.23/193.48	c (105,0) c Promoted_7 : 11831
838.23/193.48	c (105,0) c Promoted_total : 95372
838.23/193.48	c (105,0) c Promoted_winner : 11831
838.23/193.48	c (105,0) c Remove_Imp_0 : 79437
838.23/193.48	c (105,0) c Remove_Imp_1 : 82793
838.23/193.48	c (105,0) c Remove_Imp_2 : 80655
838.23/193.48	c (105,0) c Remove_Imp_3 : 84175
838.23/193.48	c (105,0) c Remove_Imp_4 : 89644
838.23/193.48	c (105,0) c Remove_Imp_5 : 76499
838.23/193.48	c (105,0) c Remove_Imp_6 : 84388
838.23/193.48	c (105,0) c Remove_Imp_7 : 85439
838.23/193.48	c (105,0) c Remove_Imp_total : 663030
838.23/193.48	c (105,0) c Remove_Imp_winner : 85439
838.23/193.48	c (105,0) c Blocked_Reuse_0 : 0
838.23/193.48	c (105,0) c Blocked_Reuse_1 : 0
838.23/193.48	c (105,0) c Blocked_Reuse_2 : 0
838.23/193.48	c (105,0) c Blocked_Reuse_3 : 0
838.23/193.48	c (105,0) c Blocked_Reuse_4 : 0
838.23/193.48	c (105,0) c Blocked_Reuse_5 : 0
838.23/193.48	c (105,0) c Blocked_Reuse_6 : 0
838.23/193.48	c (105,0) c Blocked_Reuse_7 : 0
838.23/193.48	c (105,0) c Blocked_Reuse_total : 0
838.23/193.48	c (105,0) c Blocked_Reuse_winner : 0
838.23/193.48	c (105,0) c Unaries_0 : 35
838.23/193.48	c (105,0) c Unaries_1 : 29
838.23/193.48	c (105,0) c Unaries_2 : 25
838.23/193.48	c (105,0) c Unaries_3 : 30
838.23/193.48	c (105,0) c Unaries_4 : 32
838.23/193.48	c (105,0) c Unaries_5 : 29
838.23/193.48	c (105,0) c Unaries_6 : 22
838.23/193.48	c (105,0) c Unaries_7 : 11
838.23/193.48	c (105,0) c Unaries_total : 213
838.23/193.48	c (105,0) c Unaries_winner : 11
838.23/193.48	c (105,0) c Binaries_0 : 508
838.23/193.48	c (105,0) c Binaries_1 : 440
838.23/193.48	c (105,0) c Binaries_2 : 484
838.23/193.48	c (105,0) c Binaries_3 : 483
838.23/193.48	c (105,0) c Binaries_4 : 413
838.23/193.48	c (105,0) c Binaries_5 : 533
838.23/193.48	c (105,0) c Binaries_6 : 427
838.23/193.48	c (105,0) c Binaries_7 : 385
838.23/193.48	c (105,0) c Binaries_total : 3673
838.23/193.48	c (105,0) c Binaries_winner : 385
838.23/193.48	c (105,0) c Glues_0 : 6774
838.23/193.48	c (105,0) c Glues_1 : 6745
838.23/193.48	c (105,0) c Glues_2 : 6603
838.23/193.48	c (105,0) c Glues_3 : 6544
838.23/193.48	c (105,0) c Glues_4 : 6111
838.23/193.48	c (105,0) c Glues_5 : 6863
838.23/193.48	c (105,0) c Glues_6 : 6234
838.23/193.48	c (105,0) c Glues_7 : 6336
838.23/193.48	c (105,0) c Glues_total : 52210
838.23/193.48	c (105,0) c Glues_winner : 6336
838.23/193.48	c (105,0) c RunningTime_0 : 88.799032
838.23/193.48	c (105,0) c RunningTime_1 : 88.949120
838.23/193.48	c (105,0) c RunningTime_2 : 88.265456
838.23/193.48	c (105,0) c RunningTime_3 : 86.988279
838.23/193.48	c (105,0) c RunningTime_4 : 86.547047
838.23/193.48	c (105,0) c RunningTime_5 : 89.079136
838.23/193.48	c (105,0) c RunningTime_6 : 89.414848
838.23/193.48	c (105,0) c RunningTime_7 : 87.197917
838.23/193.48	c (105,0) c RunningTime_total : 705.240833
838.23/193.48	c (105,0) c RunningTime_winner : 87.197917
838.23/193.48	c (105,0) c WaitingTime_0 : 0.001049
838.23/193.48	c (105,0) c WaitingTime_1 : 0.001127
838.23/193.48	c (105,0) c WaitingTime_2 : 0.558726
838.23/193.48	c (105,0) c WaitingTime_3 : 1.819657
838.23/193.48	c (105,0) c WaitingTime_4 : 2.296444
838.23/193.48	c (105,0) c WaitingTime_5 : 0.078152
838.23/193.48	c (105,0) c WaitingTime_6 : 0.000847
838.23/193.48	c (105,0) c WaitingTime_7 : 1.594501
838.23/193.48	c (105,0) c WaitingTime_total : 6.350503
838.23/193.48	c (105,0) c WaitingTime_winner : 1.594501
838.23/193.48	c (105,0) c ExchangingTime_0 : 0.088283
838.23/193.48	c (105,0) c ExchangingTime_1 : 0.086077
838.23/193.48	c (105,0) c ExchangingTime_2 : 0.090215
838.23/193.48	c (105,0) c ExchangingTime_3 : 0.089194
838.23/193.48	c (105,0) c ExchangingTime_4 : 0.084441
838.23/193.48	c (105,0) c ExchangingTime_5 : 0.090293
838.23/193.48	c (105,0) c ExchangingTime_6 : 0.085488
838.23/193.48	c (105,0) c ExchangingTime_7 : 0.090485
838.23/193.48	c (105,0) c ExchangingTime_total : 0.704477
838.23/193.48	c (105,0) c ExchangingTime_winner : 0.090485
838.23/193.48	c (105,0) c PeriodProcTime_0 : 0.006014
838.23/193.48	c (105,0) c PeriodProcTime_1 : 0.005932
838.23/193.48	c (105,0) c PeriodProcTime_2 : 0.006285
838.23/193.48	c (105,0) c PeriodProcTime_3 : 0.006699
838.23/193.48	c (105,0) c PeriodProcTime_4 : 0.006638
838.23/193.48	c (105,0) c PeriodProcTime_5 : 0.007025
838.23/193.48	c (105,0) c PeriodProcTime_6 : 0.007540
838.23/193.48	c (105,0) c PeriodProcTime_7 : 0.006810
838.23/193.48	c (105,0) c PeriodProcTime_total : 0.052943
838.23/193.48	c (105,0) c PeriodProcTime_winner : 0.006810
838.23/193.48	c (105,0) c SolvingTime_0 : 88.894378
838.23/193.48	c (105,0) c SolvingTime_1 : 89.042257
838.23/193.48	c (105,0) c SolvingTime_2 : 88.920683
838.23/193.48	c (105,0) c SolvingTime_3 : 88.903829
838.23/193.48	c (105,0) c SolvingTime_4 : 88.934570
838.23/193.48	c (105,0) c SolvingTime_5 : 89.254605
838.23/193.48	c (105,0) c SolvingTime_6 : 89.508723
838.23/193.48	c (105,0) c SolvingTime_7 : 88.889712
838.23/193.48	c (105,0) c SolvingTime_total : 712.348756
838.23/193.48	c (105,0) c SolvingTime_winner : 88.889712
838.23/193.48	c (105,0) c PropagationTime_0 : 72.291890
838.23/193.48	c (105,0) c PropagationTime_1 : 72.886167
838.23/193.48	c (105,0) c PropagationTime_2 : 72.588051
838.23/193.48	c (105,0) c PropagationTime_3 : 72.177188
838.23/193.48	c (105,0) c PropagationTime_4 : 71.647680
838.23/193.48	c (105,0) c PropagationTime_5 : 72.268747
838.23/193.48	c (105,0) c PropagationTime_6 : 73.192192
838.23/193.48	c (105,0) c PropagationTime_7 : 71.721082
838.23/193.48	c (105,0) c PropagationTime_total : 578.772996
838.23/193.48	c (105,0) c PropagationTime_winner : 71.721082
838.23/193.48	c (105,0) c AnalysisTime_0 : 11.715404
838.23/193.48	c (105,0) c AnalysisTime_1 : 11.220914
838.23/193.48	c (105,0) c AnalysisTime_2 : 11.219380
838.23/193.48	c (105,0) c AnalysisTime_3 : 11.692840
838.23/193.48	c (105,0) c AnalysisTime_4 : 11.995623
838.23/193.48	c (105,0) c AnalysisTime_5 : 11.911946
838.23/193.48	c (105,0) c AnalysisTime_6 : 11.406627
838.23/193.48	c (105,0) c AnalysisTime_7 : 12.150919
838.23/193.48	c (105,0) c AnalysisTime_total : 93.313652
838.23/193.48	c (105,0) c AnalysisTime_winner : 12.150919
838.23/193.48	c (105,0) c ReductionTime_0 : 0.526257
838.23/193.48	c (105,0) c ReductionTime_1 : 0.562149
838.23/193.48	c (105,0) c ReductionTime_2 : 0.560310
838.23/193.48	c (105,0) c ReductionTime_3 : 0.556722
838.23/193.48	c (105,0) c ReductionTime_4 : 0.536686
838.23/193.48	c (105,0) c ReductionTime_5 : 0.574552
838.23/193.48	c (105,0) c ReductionTime_6 : 0.536123
838.23/193.48	c (105,0) c ReductionTime_7 : 0.567083
838.23/193.48	c (105,0) c ReductionTime_total : 4.419883
838.23/193.48	c (105,0) c ReductionTime_winner : 0.567083
838.23/193.48	c (105,0) c SimplifyTime_0 : 1.192606
838.23/193.48	c (105,0) c SimplifyTime_1 : 1.194602
838.23/193.48	c (105,0) c SimplifyTime_2 : 1.369992
838.23/193.48	c (105,0) c SimplifyTime_3 : 1.271302
838.23/193.48	c (105,0) c SimplifyTime_4 : 1.479122
838.23/193.48	c (105,0) c SimplifyTime_5 : 1.267822
838.23/193.48	c (105,0) c SimplifyTime_6 : 1.194679
838.23/193.48	c (105,0) c SimplifyTime_7 : 1.339172
838.23/193.48	c (105,0) c SimplifyTime_total : 10.309296
838.23/193.48	c (105,0) c SimplifyTime_winner : 1.339172
838.23/193.48	c (105,0) c UsedRateTime_0 : 0.000000
838.23/193.48	c (105,0) c UsedRateTime_1 : 0.000000
838.23/193.48	c (105,0) c UsedRateTime_2 : 0.000000
838.23/193.48	c (105,0) c UsedRateTime_3 : 0.000000
838.23/193.48	c (105,0) c UsedRateTime_4 : 0.000000
838.23/193.48	c (105,0) c UsedRateTime_5 : 0.000000
838.23/193.48	c (105,0) c UsedRateTime_6 : 0.000000
838.23/193.48	c (105,0) c UsedRateTime_7 : 0.000000
838.23/193.48	c (105,0) c UsedRateTime_total : 0.000000
838.23/193.48	c (105,0) c UsedRateTime_winner : 0.000000
838.23/193.48	c (105,0) c OverlapRateTime_0 : 0.000000
838.23/193.48	c (105,0) c OverlapRateTime_1 : 0.000000
838.23/193.48	c (105,0) c OverlapRateTime_2 : 0.000000
838.23/193.48	c (105,0) c OverlapRateTime_3 : 0.000000
838.23/193.48	c (105,0) c OverlapRateTime_4 : 0.000000
838.23/193.48	c (105,0) c OverlapRateTime_5 : 0.000000
838.23/193.48	c (105,0) c OverlapRateTime_6 : 0.000000
838.23/193.48	c (105,0) c OverlapRateTime_7 : 0.000000
838.23/193.48	c (105,0) c OverlapRateTime_total : 0.000000
838.23/193.48	c (105,0) c OverlapRateTime_winner : 0.000000
838.23/193.48	c (105,0) c
838.23/193.48	c (105,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
838.23/193.48	c (105,0) c
838.23/193.48	c (105,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
838.23/193.48	c (105,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
838.23/193.48	c (105,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
838.23/193.48	c (105,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
838.23/193.48	c (105,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
838.23/193.48	c (105,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
838.23/193.48	c (105,0) c | Initial random_seed   | 1676810150 |  667132057 | 1801009959 | 2088014999 | 1729071805 | 1218799992 |  729598820 | 1877392234 |
838.23/193.48	c (105,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
838.23/193.48	c (105,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
838.23/193.48	c (105,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
838.23/193.48	c (105,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
838.23/193.48	c (105,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
838.23/193.48	c (105,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
838.23/193.48	c (105,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
838.23/193.48	c (105,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
838.23/193.48	c (105,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
838.23/193.48	c (105,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
838.23/193.48	c (105,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
838.23/193.48	c (105,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
838.23/193.48	c (105,0) 
838.23/193.48	c (105,0) s SATISFIABLE
120.48/193.61	c (105,0) SatSolver.solve End
120.48/193.61	c (105,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
120.48/193.61	c (105,0) Show results Begin
838.91/193.72	c (105,0) x[0] = 367
838.91/193.72	c (105,0) x[1] = 15
838.91/193.72	c (105,0) x[2] = 181
838.91/193.72	c (105,0) x[3] = 310
838.91/193.72	c (105,0) x[4] = 197
838.91/193.72	c (105,0) x[5] = 87
838.91/193.72	c (105,0) x[6] = 27
838.91/193.72	c (105,0) x[7] = 94
838.91/193.72	c (105,0) x[8] = 24
838.91/193.72	c (105,0) x[9] = 88
838.91/193.72	c (105,0) x[10] = 379
838.91/193.72	c (105,0) x[11] = 316
838.91/193.72	c (105,0) x[12] = 7
838.91/193.72	c (105,0) x[13] = 315
838.91/193.72	c (105,0) x[14] = 307
838.91/193.72	c (105,0) x[15] = 282
838.91/193.72	c (105,0) x[16] = 279
838.91/193.72	c (105,0) x[17] = 275
838.91/193.72	c (105,0) x[18] = 53
838.91/193.72	c (105,0) x[19] = 311
838.91/193.72	c (105,0) x[20] = 55
838.91/193.72	c (105,0) x[21] = 175
838.91/193.72	c (105,0) x[22] = 20
838.91/193.72	c (105,0) x[23] = 99
838.91/193.72	c (105,0) x[24] = 228
838.91/193.72	c (105,0) x[25] = 297
838.91/193.72	c (105,0) x[26] = 43
838.91/193.72	c (105,0) x[27] = 240
838.91/193.72	c (105,0) x[28] = 314
838.91/193.72	c (105,0) x[29] = 67
838.91/193.72	c (105,0) x[30] = 110
838.91/193.72	c (105,0) x[31] = 166
838.91/193.72	c (105,0) x[32] = 32
838.91/193.72	c (105,0) x[33] = 40
838.91/193.72	c (105,0) x[34] = 337
838.91/193.72	c (105,0) x[35] = 280
838.91/193.72	c (105,0) x[36] = 131
838.91/193.72	c (105,0) x[37] = 261
838.91/193.72	c (105,0) x[38] = 319
838.91/193.72	c (105,0) x[39] = 16
838.91/193.72	c (105,0) x[40] = 225
838.91/193.73	c (105,0) x[41] = 347
838.91/193.73	c (105,0) x[42] = 259
838.91/193.73	c (105,0) x[43] = 186
838.91/193.73	c (105,0) x[44] = 338
838.91/193.73	c (105,0) x[45] = 339
838.91/193.73	c (105,0) x[46] = 82
838.91/193.73	c (105,0) x[47] = 145
838.91/193.73	c (105,0) x[48] = 49
838.91/193.73	c (105,0) x[49] = 374
838.91/193.73	c (105,0) x[50] = 355
838.91/193.73	c (105,0) x[51] = 370
838.91/193.73	c (105,0) x[52] = 210
838.91/193.73	c (105,0) x[53] = 111
838.91/193.73	c (105,0) x[54] = 13
838.91/193.73	c (105,0) x[55] = 381
838.91/193.73	c (105,0) x[56] = 143
838.91/193.73	c (105,0) x[57] = 180
838.91/193.73	c (105,0) x[58] = 21
838.91/193.73	c (105,0) x[59] = 323
838.91/193.73	c (105,0) x[60] = 285
838.91/193.73	c (105,0) x[61] = 396
838.91/193.73	c (105,0) x[62] = 371
838.91/193.73	c (105,0) x[63] = 378
838.91/193.73	c (105,0) x[64] = 29
838.91/193.73	c (105,0) x[65] = 201
838.91/193.73	c (105,0) x[66] = 95
838.91/193.73	c (105,0) x[67] = 160
838.91/193.73	c (105,0) x[68] = 146
838.91/193.73	c (105,0) x[69] = 340
838.91/193.73	c (105,0) x[70] = 71
838.91/193.73	c (105,0) x[71] = 173
838.91/193.73	c (105,0) x[72] = 231
838.91/193.73	c (105,0) x[73] = 182
838.91/193.73	c (105,0) x[74] = 127
838.91/193.73	c (105,0) x[75] = 126
838.91/193.73	c (105,0) x[76] = 18
838.91/193.73	c (105,0) x[77] = 273
838.91/193.73	c (105,0) x[78] = 144
838.91/193.73	c (105,0) x[79] = 308
838.91/193.73	s SATISFIABLE
838.91/193.73	v <instantiation>
838.91/193.73	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79]</list>
838.91/193.73	v     <values>367 15 181 310 197 87 27 94 24 88 379 316 7 315 307 282 279 275 53 311 55 175 20 99 228 297 43 240 314 67 110 166 32 40 337 280 131 261 319 16 225 347 259 186 338 339 82 145 49 374 355 370 210 111 13 381 143 180 21 323 285 396 371 378 29 201 95 160 146 340 71 173 231 182 127 126 18 273 144 308</values>
838.91/193.73	v </instantiation>
838.91/193.73	c (105,0) Show results End
838.91/193.73	c (105,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
838.91/193.73	c (105,0) 105,105,STOP-AFTER(ALL)
838.91/193.73	c END-Prog: Tue Sep 24 17:26:19 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (8856 MiB free)
  memory of node 1: 16384 MiB (12697 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405456-1569338623/watcher-4405456-1569338623 -o /tmp/evaluation-result-4405456-1569338623/solver-4405456-1569338623 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405456-1569338623.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=6491, runsolver pid=6488
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 8.19 7.89 7.36 3/212 6513
/proc/meminfo: memFree=21977292/32770624 swapFree=67002576/67108860
[pid=6491] ppid=6488 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6491/stat : 6491 (scop.sh) S 6488 6491 5615 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 510023789 115843072 349 33554432000 4194304 5098028 140723615715824 140723615713080 140570100978300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9310208 140723615724324 140723615724652 140723615724652 140723615727565 0
/proc/6491/statm: 28282 349 296 221 0 87 0
[pid=6494] ppid=6491 vsize=27314120 memory=104648 CPUtime=0.11 cores=0-7
/proc/6494/stat : 6494 (java) S 6491 6491 5615 0 -1 1077944320 6765 0 0 0 8 3 0 0 20 0 20 0 510023789 27969658880 26162 33554432000 4194304 4196468 140734189686848 140734189669392 140270996913911 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
/proc/6494/statm: 6828530 26162 2799 1 0 6790935 0
[pid=6494/tid=6495] ppid=6491 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/6494/task/6495/stat : 6495 (java) R 6491 6491 5615 0 -1 4202560 4860 0 0 0 6 2 0 0 20 0 20 0 510023790 27969658880 26162 33554432000 4194304 4196468 140734189686848 140270968743976 140270982345850 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6496] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6496/stat : 6496 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 26162 33554432000 4194304 4196468 140734189686848 140271001155984 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6497] ppid=6491 vsize=27314120 memory=13995285187073688 CPUtime=0 cores=0-7
/proc/6494/task/6497/stat : 6497 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 26162 33554432000 4194304 4196468 140734189686848 140270815312144 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6498] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6498/stat : 6498 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 26162 33554432000 4194304 4196468 140734189686848 140270417640080 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6499] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6499/stat : 6499 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 26162 33554432000 4194304 4196468 140734189686848 140270416587280 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6500] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6500/stat : 6500 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 26162 33554432000 4194304 4196468 140734189686848 140270415534992 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6501] ppid=6491 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6494/task/6501/stat : 6501 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 26162 33554432000 4194304 4196468 140734189686848 140270414482192 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6502] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6502/stat : 6502 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 26162 33554432000 4194304 4196468 140734189686848 140270413429904 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6503] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6503/stat : 6503 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 26162 33554432000 4194304 4196468 140734189686848 140270412377104 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6504] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6504/stat : 6504 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510023794 27969658880 26162 33554432000 4194304 4196468 140734189686848 140269518481520 140270996925058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6505] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6505/stat : 6505 (java) S 6491 6491 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510023794 27969658880 26162 33554432000 4194304 4196468 140734189686848 140268598715168 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6506] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6506/stat : 6506 (java) S 6491 6491 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510023794 27969658880 26162 33554432000 4194304 4196468 140734189686848 140268464493680 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6507] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6507/stat : 6507 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 26162 33554432000 4194304 4196468 140734189686848 140268089989200 140270996932507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6508] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6508/stat : 6508 (java) S 6491 6491 5615 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 26162 33554432000 4194304 4196468 140734189686848 140269517429360 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6509] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6509/stat : 6509 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 26162 33554432000 4194304 4196468 140734189686848 140269516376560 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6510] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6510/stat : 6510 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 26162 33554432000 4194304 4196468 140734189686848 140269515324272 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6511] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6511/stat : 6511 (java) S 6491 6491 5615 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 26162 33554432000 4194304 4196468 140734189686848 140269514271472 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6512] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6512/stat : 6512 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 26162 33554432000 4194304 4196468 140734189686848 140267592083808 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6513] ppid=6491 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6494/task/6513/stat : 6513 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 26162 33554432000 4194304 4196468 140734189686848 140269513218352 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106044 KiB

[startup+0.21046 s]*
/proc/loadavg: 8.19 7.89 7.36 2/212 6513
/proc/meminfo: memFree=21958460/32770624 swapFree=67002576/67108860
[pid=6491] ppid=6488 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6491/stat : 6491 (scop.sh) S 6488 6491 5615 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 510023789 115843072 349 33554432000 4194304 5098028 140723615715824 140723615713080 140570100978300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9310208 140723615724324 140723615724652 140723615724652 140723615727565 0
/proc/6491/statm: 28282 349 296 221 0 87 0
[pid=6494] ppid=6491 vsize=27314120 memory=121536 CPUtime=0.25 cores=0-7
/proc/6494/stat : 6494 (java) S 6491 6491 5615 0 -1 1077944320 11770 0 0 0 20 5 0 0 20 0 20 0 510023789 27969658880 30384 33554432000 4194304 4196468 140734189686848 140734189669392 140270996913911 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
/proc/6494/statm: 6828530 30384 2925 1 0 6790935 0
[pid=6494/tid=6495] ppid=6491 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/6494/task/6495/stat : 6495 (java) R 6491 6491 5615 0 -1 4202560 9469 0 0 0 15 4 0 0 20 0 20 0 510023790 27969658880 30384 33554432000 4194304 4196468 140734189686848 140270968713296 140270982079456 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6496] ppid=6491 vsize=27314120 memory=14976 CPUtime=0 cores=0-7
/proc/6494/task/6496/stat : 6496 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 30384 33554432000 4194304 4196468 140734189686848 140271001155984 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6497] ppid=6491 vsize=27314120 memory=140114920947019 CPUtime=0 cores=0-7
/proc/6494/task/6497/stat : 6497 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 30384 33554432000 4194304 4196468 140734189686848 140270815312144 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6498] ppid=6491 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6494/task/6498/stat : 6498 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 30384 33554432000 4194304 4196468 140734189686848 140270417640080 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6499] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6499/stat : 6499 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 30384 33554432000 4194304 4196468 140734189686848 140270416587280 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6500] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6500/stat : 6500 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 30384 33554432000 4194304 4196468 140734189686848 140270415534992 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6501] ppid=6491 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6494/task/6501/stat : 6501 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 30384 33554432000 4194304 4196468 140734189686848 140270414482192 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6502] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6502/stat : 6502 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 30384 33554432000 4194304 4196468 140734189686848 140270413429904 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6503] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6503/stat : 6503 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 30384 33554432000 4194304 4196468 140734189686848 140270412377104 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6504] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6504/stat : 6504 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510023794 27969658880 30384 33554432000 4194304 4196468 140734189686848 140269518481520 140270996925058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6505] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6505/stat : 6505 (java) S 6491 6491 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510023794 27969658880 30384 33554432000 4194304 4196468 140734189686848 140268598715168 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6506] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6506/stat : 6506 (java) S 6491 6491 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510023794 27969658880 30384 33554432000 4194304 4196468 140734189686848 140268464493680 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6507] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6507/stat : 6507 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 30384 33554432000 4194304 4196468 140734189686848 140268089989200 140270996932507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6508] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6508/stat : 6508 (java) S 6491 6491 5615 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 30384 33554432000 4194304 4196468 140734189686848 140269517429360 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6509] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6509/stat : 6509 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 30384 33554432000 4194304 4196468 140734189686848 140269516376560 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6510] ppid=6491 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6494/task/6510/stat : 6510 (java) S 6491 6491 5615 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 30384 33554432000 4194304 4196468 140734189686848 140269515324272 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6511] ppid=6491 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/6494/task/6511/stat : 6511 (java) S 6491 6491 5615 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 510023797 27969658880 30384 33554432000 4194304 4196468 140734189686848 140269514271472 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6512] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6512/stat : 6512 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 30384 33554432000 4194304 4196468 140734189686848 140267592083808 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6513] ppid=6491 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6494/task/6513/stat : 6513 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 30384 33554432000 4194304 4196468 140734189686848 140269513218352 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122932 KiB

[startup+0.309733 s]*
/proc/loadavg: 8.19 7.89 7.36 2/212 6513
/proc/meminfo: memFree=21956056/32770624 swapFree=67002576/67108860
[pid=6491] ppid=6488 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6491/stat : 6491 (scop.sh) S 6488 6491 5615 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 510023789 115843072 349 33554432000 4194304 5098028 140723615715824 140723615713080 140570100978300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9310208 140723615724324 140723615724652 140723615724652 140723615727565 0
/proc/6491/statm: 28282 349 296 221 0 87 0
[pid=6494] ppid=6491 vsize=27314120 memory=125696 CPUtime=0.42 cores=0-7
/proc/6494/stat : 6494 (java) S 6491 6491 5615 0 -1 1077944320 12311 0 0 0 37 5 0 0 20 0 20 0 510023789 27969658880 31424 33554432000 4194304 4196468 140734189686848 140734189669392 140270996913911 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
/proc/6494/statm: 6828530 31424 3065 1 0 6790935 0
[pid=6494/tid=6495] ppid=6491 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/6494/task/6495/stat : 6495 (java) R 6491 6491 5615 0 -1 4202560 9798 0 0 0 25 4 0 0 20 0 20 0 510023790 27969658880 31424 33554432000 4194304 4196468 140734189686848 140270968743984 140270978477467 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6496] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6496/stat : 6496 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 31424 33554432000 4194304 4196468 140734189686848 140271001155984 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6497] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6497/stat : 6497 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 31424 33554432000 4194304 4196468 140734189686848 140270815312144 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6498] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6498/stat : 6498 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 31424 33554432000 4194304 4196468 140734189686848 140270417640080 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6499] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6499/stat : 6499 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 31424 33554432000 4194304 4196468 140734189686848 140270416587280 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6500] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6500/stat : 6500 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 31424 33554432000 4194304 4196468 140734189686848 140270415534992 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6501] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6501/stat : 6501 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 31424 33554432000 4194304 4196468 140734189686848 140270414482192 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6502] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6502/stat : 6502 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 31424 33554432000 4194304 4196468 140734189686848 140270413429904 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6503] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6503/stat : 6503 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27969658880 31424 33554432000 4194304 4196468 140734189686848 140270412377104 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6504] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6504/stat : 6504 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510023794 27969658880 31424 33554432000 4194304 4196468 140734189686848 140269518481520 140270996925058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6505] ppid=6491 vsize=27314120 memory=280229570616704 CPUtime=0 cores=0-7
/proc/6494/task/6505/stat : 6505 (java) S 6491 6491 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510023794 27969658880 31424 33554432000 4194304 4196468 140734189686848 140268598715168 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6506] ppid=6491 vsize=27314120 memory=280229570621312 CPUtime=0 cores=0-7
/proc/6494/task/6506/stat : 6506 (java) S 6491 6491 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510023794 27969658880 31424 33554432000 4194304 4196468 140734189686848 140268464493680 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6507] ppid=6491 vsize=27314120 memory=280229570625920 CPUtime=0 cores=0-7
/proc/6494/task/6507/stat : 6507 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 31424 33554432000 4194304 4196468 140734189686848 140268089989200 140270996932507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6508] ppid=6491 vsize=27314120 memory=280229570630528 CPUtime=0.01 cores=0-7
/proc/6494/task/6508/stat : 6508 (java) S 6491 6491 5615 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 20 0 510023797 27969658880 31424 33554432000 4194304 4196468 140734189686848 140269517429360 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6509] ppid=6491 vsize=27314120 memory=280229570635136 CPUtime=0.01 cores=0-7
/proc/6494/task/6509/stat : 6509 (java) S 6491 6491 5615 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 20 0 510023797 27969658880 31424 33554432000 4194304 4196468 140734189686848 140269516376560 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6510] ppid=6491 vsize=27314120 memory=280229570639744 CPUtime=0.02 cores=0-7
/proc/6494/task/6510/stat : 6510 (java) R 6491 6491 5615 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 20 0 510023797 27969658880 31424 33554432000 4194304 4196468 140734189686848 140269515324272 140270974241920 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6511] ppid=6491 vsize=27314120 memory=280229570644352 CPUtime=0.07 cores=0-7
/proc/6494/task/6511/stat : 6511 (java) S 6491 6491 5615 0 -1 1077944384 507 0 0 0 7 0 0 0 20 0 20 0 510023797 27969658880 31424 33554432000 4194304 4196468 140734189686848 140269514271472 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6512] ppid=6491 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6512/stat : 6512 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 31424 33554432000 4194304 4196468 140734189686848 140267592083808 140270996924117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6513] ppid=6491 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/6494/task/6513/stat : 6513 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023797 27969658880 31424 33554432000 4194304 4196468 140734189686848 140269513218352 140270996925058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127092 KiB

[startup+0.700873 s]
/proc/loadavg: 8.19 7.89 7.36 3/212 6513
/proc/meminfo: memFree=21932604/32770624 swapFree=67002576/67108860
[pid=6491] ppid=6488 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/6491/stat : 6491 (scop.sh) S 6488 6491 5615 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 510023789 115843072 349 33554432000 4194304 5098028 140723615715824 140723615713080 140570100978300 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9310208 140723615724324 140723615724652 140723615724652 140723615727565 0
/proc/6491/statm: 28282 349 296 221 0 87 0
[pid=6494] ppid=6491 vsize=27322440 memory=163928 CPUtime=1.01 cores=0-7
/proc/6494/stat : 6494 (java) S 6491 6491 5615 0 -1 1077944320 20640 0 0 0 94 7 0 0 20 0 20 0 510023789 27978178560 40982 33554432000 4194304 4196468 140734189686848 140734189669392 140270996913911 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
/proc/6494/statm: 6830610 40982 3184 1 0 6791959 0
[pid=6494/tid=6495] ppid=6491 vsize=27322440 memory=0 CPUtime=0.68 cores=0-7
/proc/6494/task/6495/stat : 6495 (java) R 6491 6491 5615 0 -1 4202560 17488 0 0 0 62 6 0 0 20 0 20 0 510023790 27978178560 40982 33554432000 4194304 4196468 140734189686848 140270968749488 140270980994398 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6496] ppid=6491 vsize=27322440 memory=140114785510272 CPUtime=0 cores=0-7
/proc/6494/task/6496/stat : 6496 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510023792 27978178560 40982 33554432000 4194304 4196468 140734189686848 140271001155984 140270996924117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6497] ppid=6491 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/6494/task/6497/stat : 6497 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27978178560 40982 33554432000 4194304 4196468 140734189686848 140270815312144 140270996924117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0
[pid=6494/tid=6498] ppid=6491 vsize=27322440 memory=1052 CPUtime=0 cores=0-7
/proc/6494/task/6498/stat : 6498 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510023792 27978178560 40982 33554432000 4194304 4196468 140734189686848 140270417640080 140270996924117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140734189695723 140734189696150 140734189696150 140734189699023 0

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

[pid=6519/tid=6522] ppid=6491 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/6519/task/6522/stat : 6522 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 30350 33554432000 4194304 4196468 140729406647216 140276520315280 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6523] ppid=6491 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/6519/task/6523/stat : 6523 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 30350 33554432000 4194304 4196468 140729406647216 140276519262736 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6524] ppid=6491 vsize=8414124 memory=2222128 CPUtime=0 cores=0-7
/proc/6519/task/6524/stat : 6524 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 30350 33554432000 4194304 4196468 140729406647216 140276190403216 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6525] ppid=6491 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6519/task/6525/stat : 6525 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 30350 33554432000 4194304 4196468 140729406647216 140276189350672 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6526] ppid=6491 vsize=8414124 memory=121400 CPUtime=0 cores=0-7
/proc/6519/task/6526/stat : 6526 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 30350 33554432000 4194304 4196468 140729406647216 140276188298128 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6527] ppid=6491 vsize=8414124 memory=2217584 CPUtime=0 cores=0-7
/proc/6519/task/6527/stat : 6527 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 30350 33554432000 4194304 4196468 140729406647216 140276187245584 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6528] ppid=6491 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/6519/task/6528/stat : 6528 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 30350 33554432000 4194304 4196468 140729406647216 140276186193040 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6529] ppid=6491 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/6519/task/6529/stat : 6529 (java) S 6491 6491 5615 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 510032588 8616062976 30350 33554432000 4194304 4196468 140729406647216 140275809392624 140276707523202 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6530] ppid=6491 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/6519/task/6530/stat : 6530 (java) S 6491 6491 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510032588 8616062976 30350 33554432000 4194304 4196468 140729406647216 140275242492832 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6531] ppid=6491 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6519/task/6531/stat : 6531 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032588 8616062976 30350 33554432000 4194304 4196468 140729406647216 140274974057456 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6532] ppid=6491 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/6519/task/6532/stat : 6532 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032591 8616062976 30350 33554432000 4194304 4196468 140729406647216 140274599549136 140276707530651 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6533] ppid=6491 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/6519/task/6533/stat : 6533 (java) S 6491 6491 5615 0 -1 1077944384 484 0 0 0 5 0 0 0 20 0 24 0 510032591 8616062976 30350 33554432000 4194304 4196468 140729406647216 140275808340464 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6534] ppid=6491 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/6519/task/6534/stat : 6534 (java) S 6491 6491 5615 0 -1 1077944384 425 0 0 0 7 0 0 0 20 0 24 0 510032591 8616062976 30350 33554432000 4194304 4196468 140729406647216 140275807287920 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6535] ppid=6491 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/6519/task/6535/stat : 6535 (java) S 6491 6491 5615 0 -1 1077944384 291 0 0 0 5 0 0 0 20 0 24 0 510032591 8616062976 30350 33554432000 4194304 4196468 140729406647216 140275806235376 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6536] ppid=6491 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/6519/task/6536/stat : 6536 (java) S 6491 6491 5615 0 -1 1077944384 762 0 0 0 21 0 0 0 20 0 24 0 510032591 8616062976 30350 33554432000 4194304 4196468 140729406647216 140275805182832 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6537] ppid=6491 vsize=8414124 memory=-4075877051373423735 CPUtime=0 cores=0-7
/proc/6519/task/6537/stat : 6537 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510032592 8616062976 30350 33554432000 4194304 4196468 140729406647216 140274101643488 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6538] ppid=6491 vsize=8414124 memory=14012 CPUtime=0.05 cores=0-7
/proc/6519/task/6538/stat : 6538 (java) S 6491 6491 5615 0 -1 1077944384 9 0 0 0 3 2 0 0 20 0 24 0 510032592 8616062976 30350 33554432000 4194304 4196468 140729406647216 140275804129712 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6540] ppid=6491 vsize=8414124 memory=32752 CPUtime=0 cores=0-7
/proc/6519/task/6540/stat : 6540 (java) S 6491 6491 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510032659 8616062976 30350 33554432000 4194304 4196468 140729406647216 140275796096192 140276707536665 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6542] ppid=6491 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/6519/task/6542/stat : 6542 (java) S 6491 6491 5615 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510032659 8616062976 30350 33554432000 4194304 4196468 140729406647216 140273430544144 140276707533981 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6543] ppid=6491 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/6519/task/6543/stat : 6543 (java) S 6491 6491 5615 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510032659 8616062976 30350 33554432000 4194304 4196468 140729406647216 140273698979728 140276707533981 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6544] ppid=6491 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/6519/task/6544/stat : 6544 (java) S 6491 6491 5615 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510032661 8616062976 30350 33554432000 4194304 4196468 140729406647216 140273162116784 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
Current children cumulated CPU time: 838.02 s
Current children cumulated vsize: 11196496 KiB
Current children cumulated memory: 2345004 KiB

[startup+193.601 s]
/proc/loadavg: 6.74 6.42 6.81 3/218 6559
/proc/meminfo: memFree=19665616/32770624 swapFree=67002576/67108860
[pid=6491] ppid=6488 vsize=113128 memory=1476 CPUtime=118.99 cores=0-7
/proc/6491/stat : 6491 (scop.sh) S 6488 6491 5615 0 -1 4202496 582 84193 0 0 0 0 11293 606 20 0 1 0 510023789 115843072 369 33554432000 4194304 5098028 140723615715824 140723615712568 140570100978300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9310208 140723615724324 140723615724652 140723615724652 140723615727565 0
/proc/6491/statm: 28282 369 311 221 0 87 0
[pid=6519] ppid=6491 vsize=8414124 memory=137884 CPUtime=1.49 cores=0-7
/proc/6519/stat : 6519 (java) S 6491 6491 5615 0 -1 1077944320 21362 0 0 0 140 9 0 0 20 0 24 0 510032584 8616062976 34471 33554432000 4194304 4196468 140729406647216 140729406629760 140276707512055 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
/proc/6519/statm: 2103531 34471 3220 1 0 2064875 0
[pid=6519/tid=6520] ppid=6491 vsize=8414124 memory=1556 CPUtime=0.76 cores=0-7
/proc/6519/task/6520/stat : 6520 (java) S 6491 6491 5615 0 -1 1077944384 17444 0 0 0 71 5 0 0 20 0 24 0 510032585 8616062976 34471 33554432000 4194304 4196468 140729406647216 140276679352224 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6521] ppid=6491 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/6519/task/6521/stat : 6521 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 34471 33554432000 4194304 4196468 140729406647216 140276711754000 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6522] ppid=6491 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/6519/task/6522/stat : 6522 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 34471 33554432000 4194304 4196468 140729406647216 140276520315280 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6523] ppid=6491 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/6519/task/6523/stat : 6523 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 34471 33554432000 4194304 4196468 140729406647216 140276519262736 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6524] ppid=6491 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/6519/task/6524/stat : 6524 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 34471 33554432000 4194304 4196468 140729406647216 140276190403216 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6525] ppid=6491 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/6519/task/6525/stat : 6525 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 34471 33554432000 4194304 4196468 140729406647216 140276189350672 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6526] ppid=6491 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/6519/task/6526/stat : 6526 (java) S 6491 6491 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 34471 33554432000 4194304 4196468 140729406647216 140276188298128 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6527] ppid=6491 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6519/task/6527/stat : 6527 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 34471 33554432000 4194304 4196468 140729406647216 140276187245584 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6528] ppid=6491 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/6519/task/6528/stat : 6528 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032586 8616062976 34471 33554432000 4194304 4196468 140729406647216 140276186193040 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6529] ppid=6491 vsize=8414124 memory=121400 CPUtime=0 cores=0-7
/proc/6519/task/6529/stat : 6529 (java) S 6491 6491 5615 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 510032588 8616062976 34471 33554432000 4194304 4196468 140729406647216 140275809392624 140276707523202 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6530] ppid=6491 vsize=8414124 memory=2215392 CPUtime=0 cores=0-7
/proc/6519/task/6530/stat : 6530 (java) S 6491 6491 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510032588 8616062976 34471 33554432000 4194304 4196468 140729406647216 140275242492832 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6531] ppid=6491 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/6519/task/6531/stat : 6531 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032588 8616062976 34471 33554432000 4194304 4196468 140729406647216 140274974057456 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6532] ppid=6491 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/6519/task/6532/stat : 6532 (java) S 6491 6491 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510032591 8616062976 34471 33554432000 4194304 4196468 140729406647216 140274599549136 140276707530651 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6533] ppid=6491 vsize=8414124 memory=4100 CPUtime=0.09 cores=0-7
/proc/6519/task/6533/stat : 6533 (java) S 6491 6491 5615 0 -1 1077944384 499 0 0 0 9 0 0 0 20 0 24 0 510032591 8616062976 34471 33554432000 4194304 4196468 140729406647216 140275808340464 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6534] ppid=6491 vsize=8414124 memory=1412 CPUtime=0.11 cores=0-7
/proc/6519/task/6534/stat : 6534 (java) S 6491 6491 5615 0 -1 1077944384 686 0 0 0 11 0 0 0 20 0 24 0 510032591 8616062976 34471 33554432000 4194304 4196468 140729406647216 140275807287920 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6535] ppid=6491 vsize=8414124 memory=3628 CPUtime=0.08 cores=0-7
/proc/6519/task/6535/stat : 6535 (java) S 6491 6491 5615 0 -1 1077944384 308 0 0 0 8 0 0 0 20 0 24 0 510032591 8616062976 34471 33554432000 4194304 4196468 140729406647216 140275806235376 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6536] ppid=6491 vsize=8414124 memory=1476 CPUtime=0.25 cores=0-7
/proc/6519/task/6536/stat : 6536 (java) S 6491 6491 5615 0 -1 1077944384 961 0 0 0 25 0 0 0 20 0 24 0 510032591 8616062976 34471 33554432000 4194304 4196468 140729406647216 140275805182832 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6537] ppid=6491 vsize=8414124 memory=121400 CPUtime=0 cores=0-7
/proc/6519/task/6537/stat : 6537 (java) S 6491 6491 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510032592 8616062976 34471 33554432000 4194304 4196468 140729406647216 140274101643488 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6538] ppid=6491 vsize=8414124 memory=2200728 CPUtime=0.05 cores=0-7
/proc/6519/task/6538/stat : 6538 (java) S 6491 6491 5615 0 -1 1077944384 9 0 0 0 3 2 0 0 20 0 24 0 510032592 8616062976 34471 33554432000 4194304 4196468 140729406647216 140275804129712 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6540] ppid=6491 vsize=8414124 memory=1736 CPUtime=0 cores=0-7
/proc/6519/task/6540/stat : 6540 (java) S 6491 6491 5615 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510032659 8616062976 34471 33554432000 4194304 4196468 140729406647216 140275796096192 140276707536665 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6542] ppid=6491 vsize=8414124 memory=1448 CPUtime=0.09 cores=0-7
/proc/6519/task/6542/stat : 6542 (java) S 6491 6491 5615 0 -1 4202560 64 0 0 0 9 0 0 0 20 0 24 0 510032659 8616062976 34471 33554432000 4194304 4196468 140729406647216 140273430544112 140276707533981 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6543] ppid=6491 vsize=8414124 memory=1964 CPUtime=0 cores=0-7
/proc/6519/task/6543/stat : 6543 (java) S 6491 6491 5615 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510032659 8616062976 34471 33554432000 4194304 4196468 140729406647216 140273698979728 140276707533981 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6544] ppid=6491 vsize=8414124 memory=6160 CPUtime=0 cores=0-7
/proc/6519/task/6544/stat : 6544 (java) S 6491 6491 5615 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510032661 8616062976 34471 33554432000 4194304 4196468 140729406647216 140273162116784 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
Current children cumulated CPU time: 120.48 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 139360 KiB

[startup+193.701 s]
/proc/loadavg: 6.74 6.42 6.81 3/218 6559
/proc/meminfo: memFree=19665616/32770624 swapFree=67002576/67108860
[pid=6491] ppid=6488 vsize=113128 memory=1476 CPUtime=118.99 cores=0-7
/proc/6491/stat : 6491 (scop.sh) S 6488 6491 5615 0 -1 4202496 582 84193 0 0 0 0 11293 606 20 0 1 0 510023789 115843072 369 33554432000 4194304 5098028 140723615715824 140723615712568 140570100978300 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9310208 140723615724324 140723615724652 140723615724652 140723615727565 0
/proc/6491/statm: 28282 369 311 221 0 87 0
[pid=6519] ppid=6491 vsize=8283048 memory=145840 CPUtime=719.92 cores=0-7
/proc/6519/stat : 6519 (java) S 6491 6491 5615 0 -1 1077944320 21850 3888969 0 0 164 9 71209 610 20 0 22 0 510032584 8481841152 36460 33554432000 4194304 4196468 140729406647216 140729406629760 140276707512055 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
/proc/6519/statm: 2070762 36460 3231 1 0 2032106 0
[pid=6519/tid=6520] ppid=6491 vsize=8283048 memory=1476 CPUtime=719.04 cores=0-7
/proc/6519/task/6520/stat : 6520 (java) R 6491 6491 5615 0 -1 4202560 17685 3888969 0 0 80 5 71209 610 20 0 22 0 510032585 8481841152 36460 33554432000 4194304 4196468 140729406647216 140276679350048 140276707523990 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6521] ppid=6491 vsize=8283048 memory=2167428 CPUtime=718.19 cores=0-7
/proc/6519/task/6521/stat : 6521 (java) S 6491 6491 5615 0 -1 1077944384 2 3888969 0 0 0 0 71209 610 20 0 22 0 510032586 8481841152 36460 33554432000 4194304 4196468 140729406647216 140276711754000 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6522] ppid=6491 vsize=8283048 memory=2127876 CPUtime=718.19 cores=0-7
/proc/6519/task/6522/stat : 6522 (java) S 6491 6491 5615 0 -1 1077944384 1 3888969 0 0 0 0 71209 610 20 0 22 0 510032586 8481841152 36460 33554432000 4194304 4196468 140729406647216 140276520315280 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6523] ppid=6491 vsize=8283048 memory=3588 CPUtime=718.19 cores=0-7
/proc/6519/task/6523/stat : 6523 (java) S 6491 6491 5615 0 -1 1077944384 3 3888969 0 0 0 0 71209 610 20 0 22 0 510032586 8481841152 36460 33554432000 4194304 4196468 140729406647216 140276519262736 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6524] ppid=6491 vsize=8283048 memory=63268 CPUtime=718.19 cores=0-7
/proc/6519/task/6524/stat : 6524 (java) S 6491 6491 5615 0 -1 1077944384 1 3888969 0 0 0 0 71209 610 20 0 22 0 510032586 8481841152 36460 33554432000 4194304 4196468 140729406647216 140276190403216 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6525] ppid=6491 vsize=8283048 memory=280229572198704 CPUtime=718.19 cores=0-7
/proc/6519/task/6525/stat : 6525 (java) S 6491 6491 5615 0 -1 1077944384 2 3888969 0 0 0 0 71209 610 20 0 22 0 510032586 8481841152 36460 33554432000 4194304 4196468 140729406647216 140276189350672 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6526] ppid=6491 vsize=8283048 memory=6944656575208382560 CPUtime=718.19 cores=0-7
/proc/6519/task/6526/stat : 6526 (java) S 6491 6491 5615 0 -1 1077944384 2 3888969 0 0 0 0 71209 610 20 0 22 0 510032586 8481841152 36460 33554432000 4194304 4196468 140729406647216 140276188298128 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6527] ppid=6491 vsize=8283048 memory=2175892 CPUtime=718.19 cores=0-7
/proc/6519/task/6527/stat : 6527 (java) S 6491 6491 5615 0 -1 1077944384 1 3888969 0 0 0 0 71209 610 20 0 22 0 510032586 8481841152 36460 33554432000 4194304 4196468 140729406647216 140276187245584 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6528] ppid=6491 vsize=8283048 memory=6944656592385698452 CPUtime=718.19 cores=0-7
/proc/6519/task/6528/stat : 6528 (java) S 6491 6491 5615 0 -1 1077944384 1 3888969 0 0 0 0 71209 610 20 0 22 0 510032586 8481841152 36460 33554432000 4194304 4196468 140729406647216 140276186193040 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6529] ppid=6491 vsize=8283048 memory=56203942048539 CPUtime=718.19 cores=0-7
/proc/6519/task/6529/stat : 6529 (java) S 6491 6491 5615 0 -1 1077944384 10 3888969 0 0 0 0 71209 610 20 0 22 0 510032588 8481841152 36460 33554432000 4194304 4196468 140729406647216 140275809392624 140276707523202 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6530] ppid=6491 vsize=8283048 memory=7019251915316423256 CPUtime=718.19 cores=0-7
/proc/6519/task/6530/stat : 6530 (java) S 6491 6491 5615 0 -1 1077944384 13 3888969 0 0 0 0 71209 610 20 0 22 0 510032588 8481841152 36460 33554432000 4194304 4196468 140729406647216 140275242492832 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6531] ppid=6491 vsize=8283048 memory=2179996 CPUtime=718.19 cores=0-7
/proc/6519/task/6531/stat : 6531 (java) S 6491 6491 5615 0 -1 1077944384 1 3888969 0 0 0 0 71209 610 20 0 22 0 510032588 8481841152 36460 33554432000 4194304 4196468 140729406647216 140274974057456 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6532] ppid=6491 vsize=8283048 memory=1476 CPUtime=718.19 cores=0-7
/proc/6519/task/6532/stat : 6532 (java) S 6491 6491 5615 0 -1 1077944384 1 3888969 0 0 0 0 71209 610 20 0 22 0 510032591 8481841152 36460 33554432000 4194304 4196468 140729406647216 140274599549136 140276707530651 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6533] ppid=6491 vsize=8283048 memory=1476 CPUtime=718.31 cores=0-7
/proc/6519/task/6533/stat : 6533 (java) S 6491 6491 5615 0 -1 1077944384 565 3888969 0 0 12 0 71209 610 20 0 22 0 510032591 8481841152 36460 33554432000 4194304 4196468 140729406647216 140275808340464 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6534] ppid=6491 vsize=8283048 memory=121400 CPUtime=718.33 cores=0-7
/proc/6519/task/6534/stat : 6534 (java) R 6491 6491 5615 0 -1 4202560 718 3888969 0 0 14 0 71209 610 20 0 22 0 510032591 8481841152 36460 33554432000 4194304 4196468 140729406647216 140275807287920 140276707533402 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6535] ppid=6491 vsize=8283048 memory=1476 CPUtime=718.31 cores=0-7
/proc/6519/task/6535/stat : 6535 (java) S 6491 6491 5615 0 -1 1077944384 386 3888969 0 0 12 0 71209 610 20 0 22 0 510032591 8481841152 36460 33554432000 4194304 4196468 140729406647216 140275806235376 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6536] ppid=6491 vsize=8283048 memory=121400 CPUtime=718.47 cores=0-7
/proc/6519/task/6536/stat : 6536 (java) R 6491 6491 5615 0 -1 4202560 1026 3888969 0 0 28 0 71209 610 20 0 22 0 510032591 8481841152 36460 33554432000 4194304 4196468 140729406647216 140275805182832 140276707533402 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6537] ppid=6491 vsize=8283048 memory=7017852224129164369 CPUtime=718.19 cores=0-7
/proc/6519/task/6537/stat : 6537 (java) S 6491 6491 5615 0 -1 1077944384 3 3888969 0 0 0 0 71209 610 20 0 22 0 510032592 8481841152 36460 33554432000 4194304 4196468 140729406647216 140274101643488 140276707522261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6538] ppid=6491 vsize=8283048 memory=6946356381614369642 CPUtime=718.24 cores=0-7
/proc/6519/task/6538/stat : 6538 (java) S 6491 6491 5615 0 -1 1077944384 9 3888969 0 0 3 2 71209 610 20 0 22 0 510032592 8481841152 36460 33554432000 4194304 4196468 140729406647216 140275804129712 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6540] ppid=6491 vsize=8283048 memory=7812170029887809644 CPUtime=718.19 cores=0-7
/proc/6519/task/6540/stat : 6540 (java) S 6491 6491 5615 0 -1 1077944384 23 3888969 0 0 0 0 71209 610 20 0 22 0 510032659 8481841152 36460 33554432000 4194304 4196468 140729406647216 140275796095376 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
[pid=6519/tid=6544] ppid=6491 vsize=8283048 memory=2832 CPUtime=718.19 cores=0-7
/proc/6519/task/6544/stat : 6544 (java) S 6491 6491 5615 0 -1 1077944384 10 3888969 0 0 0 0 71209 610 20 0 22 0 510032661 8481841152 36460 33554432000 4194304 4196468 140729406647216 140273162118576 140276707523202 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140729406653432 140729406653590 140729406653590 140729406656463 0
Current children cumulated CPU time: 838.91 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 147316 KiB

Child status: 0
Real time (s): 193.759
CPU time (s): 839.038
CPU user time (s): 826.738
CPU system time (s): 12.2998
CPU usage (%): 433.031
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7593568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 826.738
system time used= 12.2998
maximum resident set size= 7592656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3996725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 140728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51169
involuntary context switches= 7758


# summary of solver processes directly reported to runsolver:
#   pid: 6491
#   total CPU time (s): 839.038
#   total CPU user time (s): 826.738
#   total CPU system time (s): 12.2998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51183 second user time and 2.55384 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 17:23:05
IDJOB=4405456
IDBENCH=131036
IDSOLVER=2868
FILE ID=node148/4405456-1569338623
RUNJOBID= node148-1569335941-5642
PBS_JOBID= 21705049
Free space on /tmp= 22084 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-rand/Subisomorphism-si2-r001-m400-05.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405456-1569338623/watcher-4405456-1569338623 -o /tmp/evaluation-result-4405456-1569338623/solver-4405456-1569338623 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405456-1569338623.xml

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

MD5SUM BENCH= 5f006248f7b4f652f1c0eb398f87a4da
RANDOM SEED=586788715

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
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:        22071432 kB
MemAvailable:   31853776 kB
Buffers:           90932 kB
Cached:          9961660 kB
SwapCached:         3348 kB
Active:          5142056 kB
Inactive:        4914732 kB
Active(anon):       3432 kB
Inactive(anon):    56492 kB
Active(file):    5138624 kB
Inactive(file):  4858240 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       67002576 kB
Dirty:             20624 kB
Writeback:             0 kB
AnonPages:        112640 kB
Mapped:            56604 kB
Shmem:             47084 kB
Slab:             231548 kB
SReclaimable:     202632 kB
SUnreclaim:        28916 kB
KernelStack:        3360 kB
PageTables:         5212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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= 22064 MiB
End job on node148 at 2019-09-24 17:26:19