Trace number 4392740

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5/
mdd-7-25-5-56-09.xml
MD5SUMe7714f1bdc5f54a36db8d66dbea9ce0a
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 benchmark120.316
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree8
Maximum variable degree25
Distribution of variable degrees[{"degree":8,"count":1},{"degree":9,"count":2},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":5},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":1},{"degree":19,"count":3},{"degree":22,"count":1},{"degree":25,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":56}]
Number of extensional constraints56
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":56}]
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-24681-serial-file.bin HOME/instance-4392740-1568426061.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 03:53:42 CEST 2019
0.66/0.56	c PID: 24684
0.66/0.56	c IP: 172.20.3.119
0.66/0.56	c HOST: node119.alineos.net
0.66/0.57	c (0,0) Parsing Begin
6.53/4.85	c (4,4) Parsing End
6.53/4.85	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
6.53/4.85	c (4,4) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.53/4.85	c (4,4) Constraint Name Generate Begin
6.53/4.86	c (4,4) Ctr:HOME/instance-4392740-1568426061.xml,ExtensionSupport:Var
6.53/4.86	c (4,4) Constraint Name Generate End
6.53/4.86	c (4,4) Heap : 3943 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.53/4.86	c (4,4) CSP to CSPinCNF Begin
18.77/9.61	c (9,8) translated 6 (10%) constraints
24.13/13.65	c (13,12) translated 12 (20%) constraints
28.62/17.06	c (16,16) translated 17 (30%) constraints
33.74/21.17	c (20,20) translated 23 (40%) constraints
37.18/24.44	c (23,23) translated 28 (50%) constraints
41.83/28.39	c (27,27) translated 34 (60%) constraints
46.17/32.40	c (31,31) translated 40 (70%) constraints
49.47/35.76	c (35,34) translated 45 (80%) constraints
54.72/40.14	c (39,39) translated 51 (90%) constraints
58.12/43.51	c (42,42) translated 56 (100%) constraints
58.74/44.15	c (43,43) ===========================================
58.86/44.21	c (43,43) Hybrid: #OE=12517, #LE=0
58.86/44.21	c (43,43) Hybrid
58.86/44.21	c (43,43) ===========================================
59.83/44.59	c (44,43) translated 12891 (10%) constraints
60.41/44.88	c (44,43) translated 25782 (20%) constraints
60.77/45.17	c (44,44) translated 38673 (30%) constraints
61.06/45.45	c (44,44) translated 51563 (40%) constraints
61.38/45.74	c (45,44) translated 64454 (50%) constraints
61.81/46.04	c (45,44) translated 77345 (60%) constraints
62.11/46.33	c (45,45) translated 90235 (70%) constraints
62.41/46.62	c (46,45) translated 103126 (80%) constraints
62.77/46.92	c (46,45) translated 116017 (90%) constraints
63.07/47.21	c (46,46) translated 128907 (100%) constraints
63.07/47.21	c (46,46) CSP to CSPinCNF End
63.07/47.23	c (46,46) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128907 ctr, max domain size 5
63.07/47.23	c (46,46) Heap : 5282 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
63.07/47.23	c (46,46) CSPinCNF Propagation Begin
66.23/48.26	c (47,46) 0 values, 69 unsatisfiable literals, and 19 valid clauses are removed
66.23/48.26	c (47,46) CSPinCNF Propagation End
66.23/48.26	c (47,46) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
66.23/48.26	c (47,46) Heap : 454 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
66.41/48.31	c (47,46) Hybrid: #OE=12517, #LE=0
66.41/48.31	c (47,46) Simplify CSPinCNF Begin
66.72/48.58	c (48,47) Simplify CSPinCNF End
66.72/48.59	c (48,47) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
66.72/48.59	c (48,47) Heap : 677 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
66.72/48.59	c (48,47) Calculate Precise Domain Begin
66.72/48.59	c (48,47) 0 values are removed by re-calculation
66.72/48.59	c (48,47) Calculate Precise Domain End
66.72/48.59	c (48,47) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
66.72/48.59	c (48,47) Heap : 677 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
66.72/48.59	c (48,47) CSPinCNF to SatSolver Begin
68.41/49.04	c (48,47) 12889 (10 %) CSP clauses are encoded (0 SAT variables, 12963 SAT clauses)
68.68/49.17	c (48,47) 25778 (20 %) CSP clauses are encoded (0 SAT variables, 25852 SAT clauses)
68.78/49.29	c (48,47) 38667 (30 %) CSP clauses are encoded (0 SAT variables, 38741 SAT clauses)
68.99/49.41	c (48,48) 51556 (40 %) CSP clauses are encoded (0 SAT variables, 51630 SAT clauses)
69.09/49.52	c (48,48) 64444 (50 %) CSP clauses are encoded (0 SAT variables, 64518 SAT clauses)
69.19/49.64	c (49,48) 77333 (60 %) CSP clauses are encoded (0 SAT variables, 77407 SAT clauses)
69.29/49.76	c (49,48) 90222 (70 %) CSP clauses are encoded (0 SAT variables, 90296 SAT clauses)
69.39/49.87	c (49,48) 103111 (80 %) CSP clauses are encoded (0 SAT variables, 103185 SAT clauses)
69.49/49.99	c (49,48) 116000 (90 %) CSP clauses are encoded (0 SAT variables, 116074 SAT clauses)
69.60/50.10	c (49,48) 128888 (100 %) CSP clauses are encoded (0 SAT variables, 128962 SAT clauses)
69.60/50.10	c (49,48) CSPinCNF to SatSolver End
69.60/50.10	c (49,48) Heap : 1913 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
69.60/50.10	c (49,48) 12589 bool, 128963 clause
69.60/50.10	c (49,48) Export Begin
69.70/50.20	c (49,48) Export to HOME/scop-24681-serial-file.bin
69.70/50.20	c (49,48) Export End
69.88/50.20	c (49,48) Export File Size: 0.01 MB
69.88/50.20	c (49,48) 4,4,46,47,48,48,49,STOP-AFTER(DIMACS)
69.88/50.20	c END-Prog: Sat Sep 14 03:54:32 CEST 2019
69.88/50.23	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24681-serial-file.bin
69.93/50.69	c (0,0) Read Serial File Begin
69.93/50.69	c (0,0) HOME/scop-24681-serial-file.bin
69.93/50.89	c (0,0) Read Serial File End
69.93/50.91	
69.93/50.91	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
69.93/50.91	(Solving Process)
69.93/50.91	
69.93/50.93	c BEGIN-Prog: Sat Sep 14 03:54:33 CEST 2019
69.93/50.93	c PID: 24707
69.93/50.93	c IP: 172.20.3.119
69.93/50.93	c HOST: node119.alineos.net
69.93/50.93	c (0,0) SatSolver.solve Begin
69.93/50.93	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392740-1568426061.xml-scop-24684.cnf
69.93/50.96	c (0,0) c
69.93/50.96	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)
69.93/50.96	c (0,0) c
69.93/50.96	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
69.93/50.96	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
69.93/50.96	c (0,0) c ========================================[ Problem Statistics ]===========================================
69.93/50.96	c (0,0) c |                                                                                                       |
71.12/51.01	c (0,0) c |  Number of variables:         12589                                                                   |
71.12/51.01	c (0,0) c |  Number of clauses:          128963                                                                   |
71.12/51.01	c (0,0) c |  Parse time:                   0.05 s                                                                 |
71.12/51.01	c (0,0) c |                                                                                                       |
71.12/51.08	c (0,0) c |  Simplification time:          0.07 s                                                                 |
71.12/51.08	c (0,0) c |                                                                                                       |
71.12/51.08	c (0,0) c |  Generating clones                                                                                    |
71.23/51.12	c (0,0) c |  all clones generated. Memory =    95.86Mb.                                                           |
71.23/51.12	c (0,0) c ========================================================================================================|
71.23/51.12	c (0,0) c
71.23/51.12	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
71.23/51.12	c (0,0) c
71.23/51.12	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.23/51.12	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
71.23/51.12	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
71.23/51.12	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
71.23/51.12	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
71.23/51.12	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
71.23/51.12	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
71.23/51.12	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
71.23/51.12	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
71.23/51.12	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
71.23/51.12	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
71.23/51.12	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
71.23/51.12	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
71.23/51.12	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
71.23/51.12	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
71.23/51.12	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
71.23/51.12	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
71.23/51.12	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
71.23/51.12	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
305.18/80.59	c (29,0) c
305.18/80.59	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
305.18/80.59	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
305.18/80.59	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
305.18/80.59	c (29,0) c |  0 |     40 |      60966 |      49566 |    38587 |    23478 |     8648 |    56634 |     3224 |      204 |  20 |  0.000 |
305.18/80.59	c (29,0) c |  1 |     36 |      59797 |      48502 |    40724 |    22410 |     9058 |    55742 |     3156 |      206 |  20 |  0.000 |
305.18/80.59	c (29,0) c |  2 |     21 |      60400 |      49636 |    36072 |    23545 |     9090 |    36357 |     2331 |      207 |  20 |  0.000 |
305.18/80.59	c (29,0) c |  3 |     32 |      61944 |      50539 |    38868 |    24452 |     8916 |    56770 |     3443 |      209 |  20 |  0.000 |
305.18/80.59	c (29,0) c |  4 |     34 |      61623 |      50227 |    40912 |    24134 |     8953 |    47048 |     3349 |      209 |  20 |  0.000 |
305.18/80.59	c (29,0) c |  5 |     41 |      61234 |      49397 |    40873 |    23308 |     8739 |    51339 |     3502 |      206 |  20 |  0.000 |
305.18/80.59	c (29,0) c |  6 |     35 |      60133 |      49315 |    35251 |    23225 |     8875 |    48401 |     2403 |      207 |  20 |  0.000 |
305.18/80.59	c (29,0) c |  7 |     16 |      60976 |      50560 |    37157 |    24472 |     9227 |    54727 |     2251 |      214 |  20 |  0.000 |
305.18/80.59	c (29,0) c 
305.18/80.59	c (29,0) c synthesis      397743 conflicts   632154785 propagations     1705 conflicts/sec  2709276 propagations/sec
305.18/80.59	c (29,0) c real: 29.6295 s, cpu: 233.33 s, memory: 693.35 Mb
536.40/109.59	c (58,0) c
536.40/109.59	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
536.40/109.59	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
536.40/109.59	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
536.40/109.59	c (58,0) c |  0 |     51 |     104479 |      88017 |    46519 |    34450 |    13950 |    88448 |     6605 |      400 |  20 |  0.000 |
536.40/109.59	c (58,0) c |  1 |     38 |     104648 |      88388 |    46935 |    34824 |    14896 |    72631 |     6047 |      406 |  20 |  0.000 |
536.40/109.59	c (58,0) c |  2 |     28 |     105940 |      90045 |    44839 |    18874 |    14451 |    96490 |     5745 |      404 |  20 |  0.000 |
536.40/109.59	c (58,0) c |  3 |     32 |     107026 |      91054 |    44182 |    19878 |    14605 |    56770 |     5734 |      414 |  20 |  0.000 |
536.40/109.59	c (58,0) c |  4 |     60 |     105968 |      88980 |    48790 |    17805 |    14295 |    87984 |     6768 |      403 |  20 |  0.000 |
536.40/109.59	c (58,0) c |  5 |     48 |     106002 |      89150 |    46680 |    17980 |    13952 |    69840 |     6306 |      407 |  20 |  0.000 |
536.40/109.59	c (58,0) c |  6 |     53 |     104210 |      88319 |    42783 |    34753 |    13748 |    96758 |     5686 |      402 |  20 |  0.000 |
536.40/109.59	c (58,0) c |  7 |     23 |     106431 |      90461 |    45931 |    19290 |    14841 |    87116 |     6008 |      410 |  20 |  0.000 |
536.40/109.59	c (58,0) c 
536.40/109.59	c (58,0) c synthesis      714414 conflicts  1166647423 propagations     1538 conflicts/sec  2512051 propagations/sec
536.40/109.59	c (58,0) c real: 58.6295 s, cpu: 464.42 s, memory: 682.12 Mb
775.67/139.59	c (88,0) c
775.67/139.59	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
775.67/139.59	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
775.67/139.59	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
775.67/139.59	c (88,0) c |  0 |     56 |     152153 |     130628 |    53114 |     2501 |    20102 |   123955 |     8063 |      608 |  20 |  0.000 |
775.67/139.59	c (88,0) c |  1 |     50 |     146942 |     126515 |    50520 |    35133 |    18947 |   131796 |     8803 |      604 |  20 |  0.000 |
775.67/139.59	c (88,0) c |  2 |     37 |     156020 |     134934 |    52480 |     2781 |    22452 |   129101 |     7044 |      618 |  20 |  0.000 |
775.67/139.59	c (88,0) c |  3 |     34 |     147867 |     128046 |    47682 |    36665 |    18506 |   109432 |     8253 |      620 |  20 |  0.000 |
775.67/139.59	c (88,0) c |  4 |     69 |     152839 |     130829 |    55439 |     2686 |    20701 |   128944 |     8196 |      609 |  20 |  0.000 |
775.67/139.59	c (88,0) c |  5 |     52 |     149068 |     128491 |    49751 |    37111 |    18650 |    98329 |     9044 |      614 |  20 |  0.000 |
775.67/139.59	c (88,0) c |  6 |     61 |     153806 |     133108 |    49486 |     2976 |    20964 |   108644 |     6753 |      613 |  20 |  0.000 |
775.67/139.59	c (88,0) c |  7 |     28 |     149424 |     129006 |    50432 |    37625 |    19649 |   111176 |     8398 |      616 |  20 |  0.000 |
775.67/139.59	c (88,0) c 
775.67/139.59	c (88,0) c synthesis     1041557 conflicts  1722890263 propagations     1480 conflicts/sec  2448657 propagations/sec
775.67/139.59	c (88,0) c real: 88.6295 s, cpu: 703.606 s, memory: 682.12 Mb
1006.55/168.59	c (117,0) c
1006.55/168.59	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
1006.55/168.59	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1006.55/168.59	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
1006.55/168.59	c (117,0) c |  0 |     59 |     199581 |     173398 |    60013 |     3222 |    25884 |   161194 |     8557 |      817 |  20 |  0.000 |
1006.55/168.59	c (117,0) c |  1 |     50 |     182698 |     159758 |    53760 |    45569 |    22591 |   131796 |    10638 |      804 |  20 |  0.000 |
1006.55/168.59	c (117,0) c |  2 |     38 |     203580 |     178133 |    57381 |     2050 |    26715 |   164656 |     7295 |      812 |  20 |  0.000 |
1006.55/168.59	c (117,0) c |  3 |     42 |     184794 |     161468 |    50712 |    47282 |    21922 |   168778 |    10550 |      814 |  20 |  0.000 |
1006.55/168.59	c (117,0) c |  4 |     72 |     196285 |     169830 |    60637 |     3672 |    25643 |   164867 |     8560 |      809 |  20 |  0.000 |
1006.55/168.59	c (117,0) c |  5 |     54 |     188298 |     163839 |    53532 |    49659 |    22591 |   154531 |    12421 |      809 |  20 |  0.000 |
1006.55/168.59	c (117,0) c |  6 |     69 |     201112 |     175584 |    54280 |     3424 |    26158 |   164951 |     6925 |      810 |  20 |  0.000 |
1006.55/168.59	c (117,0) c |  7 |     35 |     188003 |     163916 |    53785 |    49727 |    22887 |   161444 |    11426 |      811 |  20 |  0.000 |
1006.55/168.59	c (117,0) c 
1006.55/168.59	c (117,0) c synthesis     1345927 conflicts  2244755158 propagations     1440 conflicts/sec  2402330 propagations/sec
1006.55/168.59	c (117,0) c real: 117.63 s, cpu: 934.408 s, memory: 682.12 Mb
1245.12/198.59	c (147,0) c
1245.12/198.59	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1245.12/198.59	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1245.12/198.59	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1245.12/198.59	c (147,0) c |  0 |     71 |     244777 |     214005 |    65221 |     1903 |    30511 |   192302 |     8808 |     1019 |  20 |  0.000 |
1245.12/198.59	c (147,0) c |  1 |     62 |     220375 |     194247 |    55927 |    54659 |    25946 |   196493 |    13459 |     1011 |  20 |  0.000 |
1245.12/198.59	c (147,0) c |  2 |     50 |     245658 |     215437 |    62487 |     3268 |    31035 |   189471 |     7635 |     1000 |  20 |  0.000 |
1245.12/198.59	c (147,0) c |  3 |     65 |     225336 |     197614 |    54307 |    30026 |    25532 |   197068 |    13934 |     1016 |  20 |  0.000 |
1245.12/198.59	c (147,0) c |  4 |     73 |     241223 |     210351 |    65098 |     2263 |    29687 |   168984 |     8784 |     1019 |  20 |  0.000 |
1245.12/198.59	c (147,0) c |  5 |     54 |     225140 |     197551 |    55431 |    29964 |    26018 |   154531 |    13706 |     1011 |  20 |  0.000 |
1245.12/198.59	c (147,0) c |  6 |     85 |     243586 |     213674 |    59148 |     3531 |    31118 |   173376 |     7181 |     1001 |  20 |  0.000 |
1245.12/198.59	c (147,0) c |  7 |     48 |     226496 |     198626 |    56871 |    31038 |    25951 |   189655 |    14316 |     1014 |  20 |  0.000 |
1245.12/198.59	c (147,0) c 
1245.12/198.59	c (147,0) c synthesis     1641505 conflicts  2760725091 propagations     1400 conflicts/sec  2353844 propagations/sec
1245.12/198.59	c (147,0) c real: 147.63 s, cpu: 1172.86 s, memory: 682.12 Mb
1476.36/227.59	c (176,0) c
1476.36/227.59	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1476.36/227.59	c (176,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1476.36/227.59	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1476.36/227.59	c (176,0) c |  0 |     91 |     286531 |     251207 |    69440 |     3032 |    35189 |   212998 |     9138 |     1203 |  20 |  0.000 |
1476.36/227.59	c (176,0) c |  1 |     94 |     257850 |     227780 |    58284 |    60189 |    29292 |   214096 |    16272 |     1209 |  20 |  0.000 |
1476.36/227.59	c (176,0) c |  2 |     56 |     293454 |     258342 |    67470 |     2252 |    36318 |   218475 |     7926 |     1207 |  20 |  0.000 |
1476.36/227.59	c (176,0) c |  3 |     94 |     262861 |     230986 |    56910 |    32799 |    28482 |   218028 |    16334 |     1213 |  20 |  0.000 |
1476.36/227.59	c (176,0) c |  4 |     74 |     279185 |     244831 |    68274 |     2688 |    34159 |   219147 |     8908 |     1201 |  20 |  0.000 |
1476.36/227.59	c (176,0) c |  5 |     54 |     258841 |     228882 |    56824 |    30695 |    28779 |   154531 |    14537 |     1210 |  20 |  0.000 |
1476.36/227.59	c (176,0) c |  6 |     89 |     287229 |     253083 |    64035 |     2946 |    36471 |   212747 |     7506 |     1204 |  20 |  0.000 |
1476.36/227.59	c (176,0) c |  7 |     49 |     262394 |     231734 |    58964 |    33545 |    29081 |   214999 |    16129 |     1215 |  20 |  0.000 |
1476.36/227.59	c (176,0) c 
1476.36/227.59	c (176,0) c synthesis     1926845 conflicts  3253377602 propagations     1373 conflicts/sec  2317511 propagations/sec
1476.36/227.59	c (176,0) c real: 176.63 s, cpu: 1403.82 s, memory: 682.12 Mb
1715.61/257.59	c (206,0) c
1715.61/257.59	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1715.61/257.59	c (206,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1715.61/257.59	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1715.61/257.59	c (206,0) c |  0 |     93 |     331675 |     292236 |    72869 |     2161 |    40225 |   222934 |     9314 |     1410 |  20 |  0.000 |
1715.61/257.59	c (206,0) c |  1 |     97 |     294012 |     261104 |    59904 |    62910 |    31733 |   250425 |    18080 |     1413 |  20 |  0.000 |
1715.61/257.59	c (206,0) c |  2 |     62 |     338569 |     298756 |    72013 |     2654 |    40949 |   242342 |     8329 |     1418 |  20 |  0.000 |
1715.61/257.59	c (206,0) c |  3 |    101 |     299439 |     264712 |    58487 |    33325 |    31223 |   239491 |    18522 |     1420 |  20 |  0.000 |
1715.61/257.59	c (206,0) c |  4 |     79 |     326118 |     286580 |    72769 |     2482 |    39163 |   227323 |     9138 |     1412 |  20 |  0.000 |
1715.61/257.59	c (206,0) c |  5 |     55 |     293979 |     261290 |    58434 |    63103 |    31439 |   239582 |    17547 |     1406 |  20 |  0.000 |
1715.61/257.59	c (206,0) c |  6 |     89 |     332241 |     294077 |    68197 |     2006 |    39867 |   212747 |     7680 |     1414 |  20 |  0.000 |
1715.61/257.59	c (206,0) c |  7 |     54 |     298127 |     264724 |    60295 |    33338 |    31657 |   235647 |    18212 |     1419 |  20 |  0.000 |
1715.61/257.59	c (206,0) c 
1715.61/257.59	c (206,0) c synthesis     2223479 conflicts  3763569814 propagations     1353 conflicts/sec  2290745 propagations/sec
1715.61/257.59	c (206,0) c real: 206.63 s, cpu: 1642.95 s, memory: 682.12 Mb
1729.74/260.19	c (209,0) c
1729.74/260.19	c (209,0) c real time : 209.229 s
1729.74/260.19	c (209,0) c cpu time  : 1656.44 s
1729.74/260.19	c (209,0) c
1729.74/260.19	c (209,0) c
1729.74/260.19	c (209,0) c
1729.74/260.19	c (209,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1729.74/260.19	c (209,0) c
1729.74/260.19	c (209,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1729.74/260.19	c (209,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1729.74/260.19	c (209,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1729.74/260.19	c (209,0) c | Conflicts     |         2241065 |     295472 |     263025 |     300500 |     265931 |     289337 |     264485 |     296271 |     266044 |
1729.74/260.19	c (209,0) c | Decisions     |         2533365 |     335211 |     296113 |     340524 |     300721 |     329174 |     297441 |     334620 |     299561 |
1729.74/260.19	c (209,0) c | Propagations  |      3794238255 |  503884653 |  443593657 |  511598063 |  441606147 |  501723873 |  436125769 |  505469056 |  450237037 |
1729.74/260.19	c (209,0) c | ReduceDBs     |             475 |        105 |         13 |        108 |         14 |        102 |         13 |        106 |         14 |
1729.74/260.19	c (209,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1729.74/260.19	c (209,0) c | Restarts      |             632 |         93 |         98 |         62 |        101 |         79 |         56 |         89 |         54 |
1729.74/260.19	c (209,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1729.74/260.19	c (209,0) c | PropBinClauses|      1231032763 |  161007774 |  142912016 |  167352158 |  148091591 |  158914064 |  142098268 |  168266361 |  142390531 |
1729.74/260.19	c (209,0) c | PropPreBlocker|     40688989895 | 5105557200 | 5069805415 | 5113096904 | 5074886098 | 5097532985 | 5052790532 | 5095274644 | 5080046117 |
1729.74/260.19	c (209,0) c | PropNotBlocker|     14084796366 | 1819967879 | 1721488635 | 1793704017 | 1717732860 | 1828929882 | 1700923556 | 1816558230 | 1685491307 |
1729.74/260.19	c (209,0) c | LitFullScans  |     68504153664 | 8562505238 | 8562601149 | 8562544239 | 8566155604 | 8562595539 | 8562649767 | 8562477314 | 8562624814 |
1729.74/260.19	c (209,0) c | LitScanFracts |         4436245 |     479446 |     585511 |     501786 |     568077 |     573080 |     631793 |     474193 |     622359 |
1729.74/260.19	c (209,0) c | DecisionLevel0|             632 |         93 |         98 |         62 |        101 |         79 |         56 |         89 |         54 |
1729.74/260.19	c (209,0) c | Periods       |           11416 |       1427 |       1427 |       1427 |       1427 |       1427 |       1427 |       1427 |       1427 |
1729.74/260.19	c (209,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1729.74/260.19	c (209,0) c | Avg_Trail     |                 |       5256 |       5192 |       5283 |       5192 |       5317 |       5169 |       5184 |       5279 |
1729.74/260.19	c (209,0) c | Avg_DL        |                 |         16 |         15 |         16 |         16 |         16 |         15 |         15 |         16 |
1729.74/260.19	c (209,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1729.74/260.19	c (209,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1729.74/260.19	c (209,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1729.74/260.19	c (209,0) c | Exported      |          287988 |      40545 |      31895 |      41063 |      31302 |      39480 |      31759 |      40191 |      31753 |
1729.74/260.19	c (209,0) c | Imported      |         1887725 |     222934 |     253562 |     242342 |     239491 |     227323 |     253679 |     212747 |     235647 |
1729.74/260.19	c (209,0) c | Good          |            3451 |        403 |        443 |        434 |        419 |        425 |        442 |        436 |        449 |
1729.74/260.19	c (209,0) c | Purge         |         1884274 |     222531 |     253119 |     241908 |     239072 |     226898 |     253237 |     212311 |     235198 |
1729.74/260.19	c (209,0) c | Promoted      |          107604 |       9318 |      18276 |       8339 |      18569 |       9155 |      17969 |       7686 |      18292 |
1729.74/260.19	c (209,0) c | Remove_Imp    |         1461312 |     212053 |     152843 |     231947 |     172777 |     216554 |     103604 |     202462 |     169072 |
1729.74/260.19	c (209,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1729.74/260.19	c (209,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1729.74/260.19	c (209,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1729.74/260.19	c (209,0) c | Binaries      |                 |         88 |         57 |         65 |         74 |         65 |         58 |         51 |         43 |
1729.74/260.19	c (209,0) c | Glues         |                 |       1206 |        956 |       1135 |        935 |       1280 |        885 |       1038 |        915 |
1729.74/260.19	c (209,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1729.74/260.19	c (209,0) c | Orig_Seen     |            50 % |      73071 |      60040 |      72193 |      58530 |      72984 |      58674 |      68365 |      60332 |
1729.74/260.19	c (209,0) c | Diff Orig seen|                 |      14541 |       1510 |      13663 |      X     |      14454 |        144 |       9835 |       1802 |
1729.74/260.19	c (209,0) c | Hamming       |            47 % |       5731 |       6016 |       6078 |      X     |       6114 |       6019 |       5896 |       6007 |
1729.74/260.19	c (209,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1729.74/260.19	c (209,0) c | RunningTime   |                 |  207.7 100%|  208.2 100%|  207.2 100%|  207.4 100%|  208.0 100%|  208.9 100%|  208.0 100%|  207.4 100%|
1729.74/260.19	c (209,0) c | WaitingTime   |                 |    0.4   0%|    0.0   0%|    0.3   0%|    0.0   0%|    0.3   0%|    0.0   0%|    0.1   0%|    0.0   0%|
1729.74/260.19	c (209,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%|
1729.74/260.19	c (209,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%|
1729.74/260.19	c (209,0) c | SolvingTime   |                 |  208.3     |  208.3     |  207.6     |  207.5     |  208.4     |  209.0     |  208.2     |  207.5     |
1729.74/260.19	c (209,0) c | PropagationTim|                 |  197.4  95%|  196.9  95%|  196.6  95%|  196.5  95%|  197.5  95%|  195.7  94%|  197.5  95%|  197.5  95%|
1729.74/260.19	c (209,0) c | AnalysisTime  |                 |    5.5   3%|    6.8   3%|    5.4   3%|    6.4   3%|    5.6   3%|    8.8   4%|    5.4   3%|    5.2   3%|
1729.74/260.19	c (209,0) c | ReductionTime |                 |    0.8   0%|    0.5   0%|    0.8   0%|    0.5   0%|    0.7   0%|    0.4   0%|    0.7   0%|    0.5   0%|
1729.74/260.19	c (209,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1729.74/260.19	c (209,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%|
1729.74/260.19	c (209,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%|
1729.74/260.19	c (209,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1729.74/260.19	c (209,0) c
1729.74/260.19	c (209,0) c
1729.74/260.19	c (209,0) c Threads : 8
1729.74/260.19	c (209,0) c Winner : 3
1729.74/260.19	c (209,0) c Conflicts_0 : 295472
1729.74/260.19	c (209,0) c Conflicts_1 : 263025
1729.74/260.19	c (209,0) c Conflicts_2 : 300500
1729.74/260.19	c (209,0) c Conflicts_3 : 265931
1729.74/260.19	c (209,0) c Conflicts_4 : 289337
1729.74/260.19	c (209,0) c Conflicts_5 : 264485
1729.74/260.19	c (209,0) c Conflicts_6 : 296271
1729.74/260.19	c (209,0) c Conflicts_7 : 266044
1729.74/260.19	c (209,0) c Conflicts_total : 2241065
1729.74/260.19	c (209,0) c Conflicts_winner : 265931
1729.74/260.19	c (209,0) c Decisions_0 : 335211
1729.74/260.19	c (209,0) c Decisions_1 : 296113
1729.74/260.19	c (209,0) c Decisions_2 : 340524
1729.74/260.19	c (209,0) c Decisions_3 : 300721
1729.74/260.19	c (209,0) c Decisions_4 : 329174
1729.74/260.19	c (209,0) c Decisions_5 : 297441
1729.74/260.19	c (209,0) c Decisions_6 : 334620
1729.74/260.19	c (209,0) c Decisions_7 : 299561
1729.74/260.19	c (209,0) c Decisions_total : 2533365
1729.74/260.19	c (209,0) c Decisions_winner : 300721
1729.74/260.19	c (209,0) c Propagations_0 : 503884653
1729.74/260.19	c (209,0) c Propagations_1 : 443593657
1729.74/260.19	c (209,0) c Propagations_2 : 511598063
1729.74/260.19	c (209,0) c Propagations_3 : 441606147
1729.74/260.19	c (209,0) c Propagations_4 : 501723873
1729.74/260.19	c (209,0) c Propagations_5 : 436125769
1729.74/260.19	c (209,0) c Propagations_6 : 505469056
1729.74/260.19	c (209,0) c Propagations_7 : 450237037
1729.74/260.19	c (209,0) c Propagations_total : 3794238255
1729.74/260.19	c (209,0) c Propagations_winner : 441606147
1729.74/260.19	c (209,0) c ReduceDBs_0 : 105
1729.74/260.19	c (209,0) c ReduceDBs_1 : 13
1729.74/260.19	c (209,0) c ReduceDBs_2 : 108
1729.74/260.19	c (209,0) c ReduceDBs_3 : 14
1729.74/260.19	c (209,0) c ReduceDBs_4 : 102
1729.74/260.19	c (209,0) c ReduceDBs_5 : 13
1729.74/260.19	c (209,0) c ReduceDBs_6 : 106
1729.74/260.19	c (209,0) c ReduceDBs_7 : 14
1729.74/260.19	c (209,0) c ReduceDBs_total : 475
1729.74/260.19	c (209,0) c ReduceDBs_winner : 14
1729.74/260.19	c (209,0) c SimpDBs_0 : 1
1729.74/260.19	c (209,0) c SimpDBs_1 : 1
1729.74/260.19	c (209,0) c SimpDBs_2 : 1
1729.74/260.19	c (209,0) c SimpDBs_3 : 1
1729.74/260.19	c (209,0) c SimpDBs_4 : 1
1729.74/260.19	c (209,0) c SimpDBs_5 : 1
1729.74/260.19	c (209,0) c SimpDBs_6 : 1
1729.74/260.19	c (209,0) c SimpDBs_7 : 1
1729.74/260.19	c (209,0) c SimpDBs_total : 8
1729.74/260.19	c (209,0) c SimpDBs_winner : 1
1729.74/260.19	c (209,0) c Restarts_0 : 93
1729.74/260.19	c (209,0) c Restarts_1 : 98
1729.74/260.19	c (209,0) c Restarts_2 : 62
1729.74/260.19	c (209,0) c Restarts_3 : 101
1729.74/260.19	c (209,0) c Restarts_4 : 79
1729.74/260.19	c (209,0) c Restarts_5 : 56
1729.74/260.19	c (209,0) c Restarts_6 : 89
1729.74/260.19	c (209,0) c Restarts_7 : 54
1729.74/260.19	c (209,0) c Restarts_total : 632
1729.74/260.19	c (209,0) c Restarts_winner : 101
1729.74/260.19	c (209,0) c ForcedImports_0 : 0
1729.74/260.19	c (209,0) c ForcedImports_1 : 0
1729.74/260.19	c (209,0) c ForcedImports_2 : 0
1729.74/260.19	c (209,0) c ForcedImports_3 : 0
1729.74/260.19	c (209,0) c ForcedImports_4 : 0
1729.74/260.19	c (209,0) c ForcedImports_5 : 0
1729.74/260.19	c (209,0) c ForcedImports_6 : 0
1729.74/260.19	c (209,0) c ForcedImports_7 : 0
1729.74/260.19	c (209,0) c ForcedImports_total : 0
1729.74/260.19	c (209,0) c ForcedImports_winner : 0
1729.74/260.19	c (209,0) c PropsBinClauses_0 : 161007774
1729.74/260.19	c (209,0) c PropsBinClauses_1 : 142912016
1729.74/260.19	c (209,0) c PropsBinClauses_2 : 167352158
1729.74/260.19	c (209,0) c PropsBinClauses_3 : 148091591
1729.74/260.19	c (209,0) c PropsBinClauses_4 : 158914064
1729.74/260.19	c (209,0) c PropsBinClauses_5 : 142098268
1729.74/260.19	c (209,0) c PropsBinClauses_6 : 168266361
1729.74/260.19	c (209,0) c PropsBinClauses_7 : 142390531
1729.74/260.19	c (209,0) c PropsBinClauses_total : 1231032763
1729.74/260.19	c (209,0) c PropsBinClauses_winner : 148091591
1729.74/260.19	c (209,0) c PropsPreBlocker_0 : 5105557200
1729.74/260.19	c (209,0) c PropsPreBlocker_1 : 5069805415
1729.74/260.19	c (209,0) c PropsPreBlocker_2 : 5113096904
1729.74/260.19	c (209,0) c PropsPreBlocker_3 : 5074886098
1729.74/260.19	c (209,0) c PropsPreBlocker_4 : 5097532985
1729.74/260.19	c (209,0) c PropsPreBlocker_5 : 5052790532
1729.74/260.19	c (209,0) c PropsPreBlocker_6 : 5095274644
1729.74/260.19	c (209,0) c PropsPreBlocker_7 : 5080046117
1729.74/260.19	c (209,0) c PropsPreBlocker_total : 40688989895
1729.74/260.19	c (209,0) c PropsPreBlocker_winner : 5074886098
1729.74/260.19	c (209,0) c PropsNotBlocker_0 : 1819967879
1729.74/260.19	c (209,0) c PropsNotBlocker_1 : 1721488635
1729.74/260.19	c (209,0) c PropsNotBlocker_2 : 1793704017
1729.74/260.19	c (209,0) c PropsNotBlocker_3 : 1717732860
1729.74/260.19	c (209,0) c PropsNotBlocker_4 : 1828929882
1729.74/260.19	c (209,0) c PropsNotBlocker_5 : 1700923556
1729.74/260.19	c (209,0) c PropsNotBlocker_6 : 1816558230
1729.74/260.19	c (209,0) c PropsNotBlocker_7 : 1685491307
1729.74/260.19	c (209,0) c PropsNotBlocker_total : 14084796366
1729.74/260.19	c (209,0) c PropsNotBlocker_winner : 1717732860
1729.74/260.19	c (209,0) c PropsLitFullScans_0 : 8562505238
1729.74/260.19	c (209,0) c PropsLitFullScans_1 : 8562601149
1729.74/260.19	c (209,0) c PropsLitFullScans_2 : 8562544239
1729.74/260.19	c (209,0) c PropsLitFullScans_3 : 8566155604
1729.74/260.19	c (209,0) c PropsLitFullScans_4 : 8562595539
1729.74/260.19	c (209,0) c PropsLitFullScans_5 : 8562649767
1729.74/260.19	c (209,0) c PropsLitFullScans_6 : 8562477314
1729.74/260.19	c (209,0) c PropsLitFullScans_7 : 8562624814
1729.74/260.19	c (209,0) c PropsLitFullScans_total : 68504153664
1729.74/260.19	c (209,0) c PropsLitFullScans_winner : 8566155604
1729.74/260.19	c (209,0) c LitScanFractions_0 : 479446
1729.74/260.19	c (209,0) c LitScanFractions_1 : 585511
1729.74/260.19	c (209,0) c LitScanFractions_2 : 501786
1729.74/260.19	c (209,0) c LitScanFractions_3 : 568077
1729.74/260.19	c (209,0) c LitScanFractions_4 : 573080
1729.74/260.19	c (209,0) c LitScanFractions_5 : 631793
1729.74/260.19	c (209,0) c LitScanFractions_6 : 474193
1729.74/260.19	c (209,0) c LitScanFractions_7 : 622359
1729.74/260.19	c (209,0) c LitScanFractions_total : 4436245
1729.74/260.19	c (209,0) c LitScanFractions_winner : 568077
1729.74/260.19	c (209,0) c DecisionLevel0_0 : 93
1729.74/260.19	c (209,0) c DecisionLevel0_1 : 98
1729.74/260.19	c (209,0) c DecisionLevel0_2 : 62
1729.74/260.19	c (209,0) c DecisionLevel0_3 : 101
1729.74/260.19	c (209,0) c DecisionLevel0_4 : 79
1729.74/260.19	c (209,0) c DecisionLevel0_5 : 56
1729.74/260.19	c (209,0) c DecisionLevel0_6 : 89
1729.74/260.19	c (209,0) c DecisionLevel0_7 : 54
1729.74/260.19	c (209,0) c DecisionLevel0_total : 632
1729.74/260.19	c (209,0) c DecisionLevel0_winner : 101
1729.74/260.19	c (209,0) c Periods_0 : 1427
1729.74/260.19	c (209,0) c Periods_1 : 1427
1729.74/260.19	c (209,0) c Periods_2 : 1427
1729.74/260.19	c (209,0) c Periods_3 : 1427
1729.74/260.19	c (209,0) c Periods_4 : 1427
1729.74/260.19	c (209,0) c Periods_5 : 1427
1729.74/260.19	c (209,0) c Periods_6 : 1427
1729.74/260.19	c (209,0) c Periods_7 : 1427
1729.74/260.19	c (209,0) c Periods_total : 11416
1729.74/260.19	c (209,0) c Periods_winner : 1427
1729.74/260.19	c (209,0) c Margin_0 : 20
1729.74/260.19	c (209,0) c Margin_1 : 20
1729.74/260.19	c (209,0) c Margin_2 : 20
1729.74/260.19	c (209,0) c Margin_3 : 20
1729.74/260.19	c (209,0) c Margin_4 : 20
1729.74/260.19	c (209,0) c Margin_5 : 20
1729.74/260.19	c (209,0) c Margin_6 : 20
1729.74/260.19	c (209,0) c Margin_7 : 20
1729.74/260.19	c (209,0) c Margin_total : 160
1729.74/260.19	c (209,0) c Margin_winner : 20
1729.74/260.19	c (209,0) c Exported_0 : 40545
1729.74/260.19	c (209,0) c Exported_1 : 31895
1729.74/260.19	c (209,0) c Exported_2 : 41063
1729.74/260.19	c (209,0) c Exported_3 : 31302
1729.74/260.19	c (209,0) c Exported_4 : 39480
1729.74/260.19	c (209,0) c Exported_5 : 31759
1729.74/260.19	c (209,0) c Exported_6 : 40191
1729.74/260.19	c (209,0) c Exported_7 : 31753
1729.74/260.19	c (209,0) c Exported_total : 287988
1729.74/260.19	c (209,0) c Exported_winner : 31302
1729.74/260.19	c (209,0) c Imported_0 : 222934
1729.74/260.19	c (209,0) c Imported_1 : 253562
1729.74/260.19	c (209,0) c Imported_2 : 242342
1729.74/260.19	c (209,0) c Imported_3 : 239491
1729.74/260.19	c (209,0) c Imported_4 : 227323
1729.74/260.19	c (209,0) c Imported_5 : 253679
1729.74/260.19	c (209,0) c Imported_6 : 212747
1729.74/260.19	c (209,0) c Imported_7 : 235647
1729.74/260.19	c (209,0) c Imported_total : 1887725
1729.74/260.19	c (209,0) c Imported_winner : 239491
1729.74/260.19	c (209,0) c Good_0 : 403
1729.74/260.19	c (209,0) c Good_1 : 443
1729.74/260.19	c (209,0) c Good_2 : 434
1729.74/260.19	c (209,0) c Good_3 : 419
1729.74/260.19	c (209,0) c Good_4 : 425
1729.74/260.19	c (209,0) c Good_5 : 442
1729.74/260.19	c (209,0) c Good_6 : 436
1729.74/260.19	c (209,0) c Good_7 : 449
1729.74/260.19	c (209,0) c Good_total : 3451
1729.74/260.19	c (209,0) c Good_winner : 419
1729.74/260.19	c (209,0) c Purge_0 : 222531
1729.74/260.19	c (209,0) c Purge_1 : 253119
1729.74/260.19	c (209,0) c Purge_2 : 241908
1729.74/260.19	c (209,0) c Purge_3 : 239072
1729.74/260.19	c (209,0) c Purge_4 : 226898
1729.74/260.19	c (209,0) c Purge_5 : 253237
1729.74/260.19	c (209,0) c Purge_6 : 212311
1729.74/260.19	c (209,0) c Purge_7 : 235198
1729.74/260.19	c (209,0) c Purge_total : 1884274
1729.74/260.19	c (209,0) c Purge_winner : 239072
1729.74/260.19	c (209,0) c Promoted_0 : 9318
1729.74/260.19	c (209,0) c Promoted_1 : 18276
1729.74/260.19	c (209,0) c Promoted_2 : 8339
1729.74/260.19	c (209,0) c Promoted_3 : 18569
1729.74/260.19	c (209,0) c Promoted_4 : 9155
1729.74/260.19	c (209,0) c Promoted_5 : 17969
1729.74/260.19	c (209,0) c Promoted_6 : 7686
1729.74/260.19	c (209,0) c Promoted_7 : 18292
1729.74/260.19	c (209,0) c Promoted_total : 107604
1729.74/260.19	c (209,0) c Promoted_winner : 18569
1729.74/260.19	c (209,0) c Remove_Imp_0 : 212053
1729.74/260.19	c (209,0) c Remove_Imp_1 : 152843
1729.74/260.19	c (209,0) c Remove_Imp_2 : 231947
1729.74/260.19	c (209,0) c Remove_Imp_3 : 172777
1729.74/260.19	c (209,0) c Remove_Imp_4 : 216554
1729.74/260.19	c (209,0) c Remove_Imp_5 : 103604
1729.74/260.19	c (209,0) c Remove_Imp_6 : 202462
1729.74/260.19	c (209,0) c Remove_Imp_7 : 169072
1729.74/260.19	c (209,0) c Remove_Imp_total : 1461312
1729.74/260.19	c (209,0) c Remove_Imp_winner : 172777
1729.74/260.19	c (209,0) c Blocked_Reuse_0 : 0
1729.74/260.19	c (209,0) c Blocked_Reuse_1 : 0
1729.74/260.19	c (209,0) c Blocked_Reuse_2 : 0
1729.74/260.19	c (209,0) c Blocked_Reuse_3 : 0
1729.74/260.19	c (209,0) c Blocked_Reuse_4 : 0
1729.74/260.19	c (209,0) c Blocked_Reuse_5 : 0
1729.74/260.19	c (209,0) c Blocked_Reuse_6 : 0
1729.74/260.19	c (209,0) c Blocked_Reuse_7 : 0
1729.74/260.19	c (209,0) c Blocked_Reuse_total : 0
1729.74/260.20	c (209,0) c Blocked_Reuse_winner : 0
1729.74/260.20	c (209,0) c Unaries_0 : 0
1729.74/260.20	c (209,0) c Unaries_1 : 0
1729.74/260.20	c (209,0) c Unaries_2 : 0
1729.74/260.20	c (209,0) c Unaries_3 : 0
1729.74/260.20	c (209,0) c Unaries_4 : 0
1729.74/260.20	c (209,0) c Unaries_5 : 0
1729.74/260.20	c (209,0) c Unaries_6 : 0
1729.74/260.20	c (209,0) c Unaries_7 : 0
1729.74/260.20	c (209,0) c Unaries_total : 0
1729.74/260.20	c (209,0) c Unaries_winner : 0
1729.74/260.20	c (209,0) c Binaries_0 : 88
1729.74/260.20	c (209,0) c Binaries_1 : 57
1729.74/260.20	c (209,0) c Binaries_2 : 65
1729.74/260.20	c (209,0) c Binaries_3 : 74
1729.74/260.20	c (209,0) c Binaries_4 : 65
1729.74/260.20	c (209,0) c Binaries_5 : 58
1729.74/260.20	c (209,0) c Binaries_6 : 51
1729.74/260.20	c (209,0) c Binaries_7 : 43
1729.74/260.20	c (209,0) c Binaries_total : 501
1729.74/260.20	c (209,0) c Binaries_winner : 74
1729.74/260.20	c (209,0) c Glues_0 : 1206
1729.74/260.20	c (209,0) c Glues_1 : 956
1729.74/260.20	c (209,0) c Glues_2 : 1135
1729.74/260.20	c (209,0) c Glues_3 : 935
1729.74/260.20	c (209,0) c Glues_4 : 1280
1729.74/260.20	c (209,0) c Glues_5 : 885
1729.74/260.20	c (209,0) c Glues_6 : 1038
1729.74/260.20	c (209,0) c Glues_7 : 915
1729.74/260.20	c (209,0) c Glues_total : 8350
1729.74/260.20	c (209,0) c Glues_winner : 935
1729.74/260.20	c (209,0) c RunningTime_0 : 207.733361
1729.74/260.20	c (209,0) c RunningTime_1 : 208.211758
1729.74/260.20	c (209,0) c RunningTime_2 : 207.198514
1729.74/260.20	c (209,0) c RunningTime_3 : 207.383509
1729.74/260.20	c (209,0) c RunningTime_4 : 207.989175
1729.74/260.20	c (209,0) c RunningTime_5 : 208.896831
1729.74/260.20	c (209,0) c RunningTime_6 : 207.989043
1729.74/260.20	c (209,0) c RunningTime_7 : 207.429208
1729.74/260.20	c (209,0) c RunningTime_total : 1662.831400
1729.74/260.20	c (209,0) c RunningTime_winner : 207.383509
1729.74/260.20	c (209,0) c WaitingTime_0 : 0.391327
1729.74/260.20	c (209,0) c WaitingTime_1 : 0.002026
1729.74/260.20	c (209,0) c WaitingTime_2 : 0.309243
1729.74/260.20	c (209,0) c WaitingTime_3 : 0.002307
1729.74/260.20	c (209,0) c WaitingTime_4 : 0.279799
1729.74/260.20	c (209,0) c WaitingTime_5 : 0.002148
1729.74/260.20	c (209,0) c WaitingTime_6 : 0.087351
1729.74/260.20	c (209,0) c WaitingTime_7 : 0.002240
1729.74/260.20	c (209,0) c WaitingTime_total : 1.076441
1729.74/260.20	c (209,0) c WaitingTime_winner : 0.002307
1729.74/260.20	c (209,0) c ExchangingTime_0 : 0.125627
1729.74/260.20	c (209,0) c ExchangingTime_1 : 0.109065
1729.74/260.20	c (209,0) c ExchangingTime_2 : 0.127943
1729.74/260.20	c (209,0) c ExchangingTime_3 : 0.112762
1729.74/260.20	c (209,0) c ExchangingTime_4 : 0.124588
1729.74/260.20	c (209,0) c ExchangingTime_5 : 0.117187
1729.74/260.20	c (209,0) c ExchangingTime_6 : 0.124724
1729.74/260.20	c (209,0) c ExchangingTime_7 : 0.105654
1729.74/260.20	c (209,0) c ExchangingTime_total : 0.947549
1729.74/260.20	c (209,0) c ExchangingTime_winner : 0.112762
1729.74/260.20	c (209,0) c PeriodProcTime_0 : 0.013947
1729.74/260.20	c (209,0) c PeriodProcTime_1 : 0.014642
1729.74/260.20	c (209,0) c PeriodProcTime_2 : 0.012463
1729.74/260.20	c (209,0) c PeriodProcTime_3 : 0.011053
1729.74/260.20	c (209,0) c PeriodProcTime_4 : 0.014209
1729.74/260.20	c (209,0) c PeriodProcTime_5 : 0.014959
1729.74/260.20	c (209,0) c PeriodProcTime_6 : 0.014436
1729.74/260.20	c (209,0) c PeriodProcTime_7 : 0.010921
1729.74/260.20	c (209,0) c PeriodProcTime_total : 0.106631
1729.74/260.20	c (209,0) c PeriodProcTime_winner : 0.011053
1729.74/260.20	c (209,0) c SolvingTime_0 : 208.264262
1729.74/260.20	c (209,0) c SolvingTime_1 : 208.337491
1729.74/260.20	c (209,0) c SolvingTime_2 : 207.648163
1729.74/260.20	c (209,0) c SolvingTime_3 : 207.509631
1729.74/260.20	c (209,0) c SolvingTime_4 : 208.407771
1729.74/260.20	c (209,0) c SolvingTime_5 : 209.031124
1729.74/260.20	c (209,0) c SolvingTime_6 : 208.215555
1729.74/260.20	c (209,0) c SolvingTime_7 : 207.548023
1729.74/260.20	c (209,0) c SolvingTime_total : 1664.962021
1729.74/260.20	c (209,0) c SolvingTime_winner : 207.509631
1729.74/260.20	c (209,0) c PropagationTime_0 : 197.394286
1729.74/260.20	c (209,0) c PropagationTime_1 : 196.925306
1729.74/260.20	c (209,0) c PropagationTime_2 : 196.624444
1729.74/260.20	c (209,0) c PropagationTime_3 : 196.478652
1729.74/260.20	c (209,0) c PropagationTime_4 : 197.457795
1729.74/260.20	c (209,0) c PropagationTime_5 : 195.718853
1729.74/260.20	c (209,0) c PropagationTime_6 : 197.464916
1729.74/260.20	c (209,0) c PropagationTime_7 : 197.513706
1729.74/260.20	c (209,0) c PropagationTime_total : 1575.577958
1729.74/260.20	c (209,0) c PropagationTime_winner : 196.478652
1729.74/260.20	c (209,0) c AnalysisTime_0 : 5.530465
1729.74/260.20	c (209,0) c AnalysisTime_1 : 6.767750
1729.74/260.20	c (209,0) c AnalysisTime_2 : 5.442504
1729.74/260.20	c (209,0) c AnalysisTime_3 : 6.375862
1729.74/260.20	c (209,0) c AnalysisTime_4 : 5.594910
1729.74/260.20	c (209,0) c AnalysisTime_5 : 8.783490
1729.74/260.20	c (209,0) c AnalysisTime_6 : 5.426720
1729.74/260.20	c (209,0) c AnalysisTime_7 : 5.232446
1729.74/260.20	c (209,0) c AnalysisTime_total : 49.154146
1729.74/260.20	c (209,0) c AnalysisTime_winner : 6.375862
1729.74/260.20	c (209,0) c ReductionTime_0 : 0.759154
1729.74/260.20	c (209,0) c ReductionTime_1 : 0.470880
1729.74/260.20	c (209,0) c ReductionTime_2 : 0.761722
1729.74/260.20	c (209,0) c ReductionTime_3 : 0.522852
1729.74/260.20	c (209,0) c ReductionTime_4 : 0.738148
1729.74/260.20	c (209,0) c ReductionTime_5 : 0.431897
1729.74/260.20	c (209,0) c ReductionTime_6 : 0.662797
1729.74/260.20	c (209,0) c ReductionTime_7 : 0.535966
1729.74/260.20	c (209,0) c ReductionTime_total : 4.883415
1729.74/260.20	c (209,0) c ReductionTime_winner : 0.522852
1729.74/260.20	c (209,0) c SimplifyTime_0 : 0.000011
1729.74/260.20	c (209,0) c SimplifyTime_1 : 0.000011
1729.74/260.20	c (209,0) c SimplifyTime_2 : 0.000005
1729.74/260.20	c (209,0) c SimplifyTime_3 : 0.000010
1729.74/260.20	c (209,0) c SimplifyTime_4 : 0.000006
1729.74/260.20	c (209,0) c SimplifyTime_5 : 0.000010
1729.74/260.20	c (209,0) c SimplifyTime_6 : 0.000011
1729.74/260.20	c (209,0) c SimplifyTime_7 : 0.000007
1729.74/260.20	c (209,0) c SimplifyTime_total : 0.000070
1729.74/260.20	c (209,0) c SimplifyTime_winner : 0.000010
1729.74/260.20	c (209,0) c UsedRateTime_0 : 0.000000
1729.74/260.20	c (209,0) c UsedRateTime_1 : 0.000000
1729.74/260.20	c (209,0) c UsedRateTime_2 : 0.000000
1729.74/260.20	c (209,0) c UsedRateTime_3 : 0.000000
1729.74/260.20	c (209,0) c UsedRateTime_4 : 0.000000
1729.74/260.20	c (209,0) c UsedRateTime_5 : 0.000000
1729.74/260.20	c (209,0) c UsedRateTime_6 : 0.000000
1729.74/260.20	c (209,0) c UsedRateTime_7 : 0.000000
1729.74/260.20	c (209,0) c UsedRateTime_total : 0.000000
1729.85/260.20	c (209,0) c UsedRateTime_winner : 0.000000
1729.85/260.20	c (209,0) c OverlapRateTime_0 : 0.000000
1729.85/260.20	c (209,0) c OverlapRateTime_1 : 0.000000
1729.85/260.20	c (209,0) c OverlapRateTime_2 : 0.000000
1729.85/260.20	c (209,0) c OverlapRateTime_3 : 0.000000
1729.85/260.20	c (209,0) c OverlapRateTime_4 : 0.000000
1729.85/260.20	c (209,0) c OverlapRateTime_5 : 0.000000
1729.85/260.20	c (209,0) c OverlapRateTime_6 : 0.000000
1729.85/260.20	c (209,0) c OverlapRateTime_7 : 0.000000
1729.85/260.20	c (209,0) c OverlapRateTime_total : 0.000000
1729.85/260.20	c (209,0) c OverlapRateTime_winner : 0.000000
1729.85/260.20	c (209,0) c
1729.85/260.20	c (209,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1729.85/260.20	c (209,0) c
1729.85/260.20	c (209,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1729.85/260.20	c (209,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1729.85/260.20	c (209,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1729.85/260.20	c (209,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1729.85/260.20	c (209,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1729.85/260.20	c (209,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1729.85/260.20	c (209,0) c | Initial random_seed   | 1786259602 |  133802831 | 1687847527 |  655359485 | 1133743958 |  361856796 |  551727826 | 1479504448 |
1729.85/260.20	c (209,0) c | chanseokStrategy      |       True |      False |       True |      False |       True |      False |       True |      False |
1729.85/260.21	c (209,0) c | coLBDBound            |          4 |          5 |          4 |          5 |          4 |          5 |          4 |          5 |
1729.85/260.21	c (209,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1729.85/260.21	c (209,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1729.85/260.21	c (209,0) c | incReduceDB           |          0 |        300 |          0 |        300 |          0 |        300 |          0 |        300 |
1729.85/260.21	c (209,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1729.85/260.21	c (209,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1729.85/260.21	c (209,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1729.85/260.21	c (209,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1729.85/260.21	c (209,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1729.85/260.21	c (209,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1729.85/260.21	c (209,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1729.85/260.21	c (209,0) 
1729.85/260.21	c (209,0) s SATISFIABLE
1729.85/260.25	c (209,0) SatSolver.solve End
1729.85/260.25	c (209,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1729.85/260.25	c (209,0) Show results Begin
1730.08/260.31	c (209,0) x[0] = 4
1730.08/260.31	c (209,0) x[1] = 0
1730.08/260.31	c (209,0) x[2] = 0
1730.08/260.31	c (209,0) x[3] = 2
1730.08/260.31	c (209,0) x[4] = 0
1730.08/260.31	c (209,0) x[5] = 4
1730.08/260.31	c (209,0) x[6] = 0
1730.08/260.31	c (209,0) x[7] = 3
1730.08/260.31	c (209,0) x[8] = 0
1730.08/260.31	c (209,0) x[9] = 3
1730.08/260.31	c (209,0) x[10] = 3
1730.08/260.31	c (209,0) x[11] = 4
1730.08/260.31	c (209,0) x[12] = 0
1730.08/260.31	c (209,0) x[13] = 1
1730.08/260.31	c (209,0) x[14] = 1
1730.08/260.31	c (209,0) x[15] = 4
1730.08/260.31	c (209,0) x[16] = 0
1730.08/260.31	c (209,0) x[17] = 1
1730.08/260.31	c (209,0) x[18] = 0
1730.08/260.31	c (209,0) x[19] = 4
1730.08/260.31	c (209,0) x[20] = 1
1730.08/260.31	c (209,0) x[21] = 4
1730.08/260.31	c (209,0) x[22] = 4
1730.08/260.31	c (209,0) x[23] = 1
1730.08/260.31	c (209,0) x[24] = 3
1730.08/260.31	s SATISFIABLE
1730.08/260.32	v <instantiation>
1730.08/260.32	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]</list>
1730.08/260.32	v     <values>4 0 0 2 0 4 0 3 0 3 3 4 0 1 1 4 0 1 0 4 1 4 4 1 3</values>
1730.08/260.32	v </instantiation>
1730.08/260.32	c (209,0) Show results End
1730.08/260.32	c (209,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1730.08/260.32	c (209,0) 209,209,STOP-AFTER(ALL)
1730.08/260.32	c END-Prog: Sat Sep 14 03:58:02 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 (11801 MiB free)
  memory of node 1: 16384 MiB (10759 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392740-1568426061/watcher-4392740-1568426061 -o /tmp/evaluation-result-4392740-1568426061/solver-4392740-1568426061 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568417505-21287 --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-4392740-1568426061.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=24681, runsolver pid=24678
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 7.97 7.85 7.81 2/212 24703
/proc/meminfo: memFree=23008628/32770624 swapFree=66939840/67108860
[pid=24681] ppid=24678 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24681/stat : 24681 (scop.sh) S 24678 24681 21260 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418521056 115843072 349 33554432000 4194304 5098028 140724976202160 140724976199416 140516048822908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32485376 140724976210724 140724976211052 140724976211052 140724976213965 0
/proc/24681/statm: 28282 349 296 221 0 87 0
[pid=24684] ppid=24681 vsize=27314120 memory=104288 CPUtime=0.11 cores=0-7
/proc/24684/stat : 24684 (java) S 24681 24681 21260 0 -1 1077944320 6169 0 0 0 8 3 0 0 20 0 20 0 418521056 27969658880 26072 33554432000 4194304 4196468 140724126450496 140724126433040 140349483192055 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
/proc/24684/statm: 6828530 26072 2804 1 0 6790935 0
[pid=24684/tid=24685] ppid=24681 vsize=27314120 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/24684/task/24685/stat : 24685 (java) R 24681 24681 21260 0 -1 4202560 4259 0 0 0 6 2 0 0 20 0 20 0 418521057 27969658880 26072 33554432000 4194304 4196468 140724126450496 140349455014336 140349483215645 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24686] ppid=24681 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24684/task/24686/stat : 24686 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 26072 33554432000 4194304 4196468 140724126450496 140349487434384 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24687] ppid=24681 vsize=27314120 memory=140351052473984 CPUtime=0 cores=0-7
/proc/24684/task/24687/stat : 24687 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 26072 33554432000 4194304 4196468 140724126450496 140349270829584 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24688] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24688/stat : 24688 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 26072 33554432000 4194304 4196468 140724126450496 140349269776784 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24689] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24689/stat : 24689 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 26072 33554432000 4194304 4196468 140724126450496 140349268723984 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24690] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24690/stat : 24690 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 26072 33554432000 4194304 4196468 140724126450496 140349267672208 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24691] ppid=24681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24684/task/24691/stat : 24691 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 26072 33554432000 4194304 4196468 140724126450496 140349266619408 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24692] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24692/stat : 24692 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 26072 33554432000 4194304 4196468 140724126450496 140349265566608 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24693] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24693/stat : 24693 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 26072 33554432000 4194304 4196468 140724126450496 140348898663184 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24694] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24694/stat : 24694 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521060 27969658880 26072 33554432000 4194304 4196468 140724126450496 140348071913840 140349483203202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24695] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24695/stat : 24695 (java) S 24681 24681 21260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418521061 27969658880 26072 33554432000 4194304 4196468 140724126450496 140347048977440 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24696] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24696/stat : 24696 (java) S 24681 24681 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418521061 27969658880 26072 33554432000 4194304 4196468 140724126450496 140346914755440 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24697] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24697/stat : 24697 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 26072 33554432000 4194304 4196468 140724126450496 140346540250960 140349483210651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24698] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24698/stat : 24698 (java) S 24681 24681 21260 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 26584 33554432000 4194304 4196468 140724126450496 140348070861680 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24699] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24699/stat : 24699 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 26584 33554432000 4194304 4196468 140724126450496 140348069808880 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24700] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24700/stat : 24700 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 26584 33554432000 4194304 4196468 140724126450496 140348068756080 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24701] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24701/stat : 24701 (java) S 24681 24681 21260 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 26584 33554432000 4194304 4196468 140724126450496 140348067703280 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24702] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24702/stat : 24702 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 26584 33554432000 4194304 4196468 140724126450496 140346042346080 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24703] ppid=24681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24684/task/24703/stat : 24703 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 26584 33554432000 4194304 4196468 140724126450496 140348066650672 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105684 KiB

[startup+0.21045 s]*
/proc/loadavg: 7.97 7.85 7.81 3/212 24703
/proc/meminfo: memFree=22991368/32770624 swapFree=66939840/67108860
[pid=24681] ppid=24678 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24681/stat : 24681 (scop.sh) S 24678 24681 21260 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418521056 115843072 349 33554432000 4194304 5098028 140724976202160 140724976199416 140516048822908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32485376 140724976210724 140724976211052 140724976211052 140724976213965 0
/proc/24681/statm: 28282 349 296 221 0 87 0
[pid=24684] ppid=24681 vsize=27314120 memory=121180 CPUtime=0.24 cores=0-7
/proc/24684/stat : 24684 (java) S 24681 24681 21260 0 -1 1077944320 11166 0 0 0 20 4 0 0 20 0 20 0 418521056 27969658880 30295 33554432000 4194304 4196468 140724126450496 140724126433040 140349483192055 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
/proc/24684/statm: 6828530 30295 2955 1 0 6790935 0
[pid=24684/tid=24685] ppid=24681 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24684/task/24685/stat : 24685 (java) R 24681 24681 21260 0 -1 4202560 8869 0 0 0 16 3 0 0 20 0 20 0 418521057 27969658880 30295 33554432000 4194304 4196468 140724126450496 140349455012976 140349464757008 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24686] ppid=24681 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/24684/task/24686/stat : 24686 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 30295 33554432000 4194304 4196468 140724126450496 140349487434384 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24687] ppid=24681 vsize=27314120 memory=140351055572923 CPUtime=0 cores=0-7
/proc/24684/task/24687/stat : 24687 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 30295 33554432000 4194304 4196468 140724126450496 140349270829584 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24688] ppid=24681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24684/task/24688/stat : 24688 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 30295 33554432000 4194304 4196468 140724126450496 140349269776784 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24689] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24689/stat : 24689 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 30295 33554432000 4194304 4196468 140724126450496 140349268723984 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24690] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24690/stat : 24690 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 30295 33554432000 4194304 4196468 140724126450496 140349267672208 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24691] ppid=24681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24684/task/24691/stat : 24691 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 30295 33554432000 4194304 4196468 140724126450496 140349266619408 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24692] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24692/stat : 24692 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 30295 33554432000 4194304 4196468 140724126450496 140349265566608 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24693] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24693/stat : 24693 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 30295 33554432000 4194304 4196468 140724126450496 140348898663184 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24694] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24694/stat : 24694 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521060 27969658880 30295 33554432000 4194304 4196468 140724126450496 140348071913840 140349483203202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24695] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24695/stat : 24695 (java) S 24681 24681 21260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418521061 27969658880 30295 33554432000 4194304 4196468 140724126450496 140347048977440 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24696] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24696/stat : 24696 (java) S 24681 24681 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418521061 27969658880 30295 33554432000 4194304 4196468 140724126450496 140346914755440 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24697] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24697/stat : 24697 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 30295 33554432000 4194304 4196468 140724126450496 140346540250960 140349483210651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24698] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24698/stat : 24698 (java) S 24681 24681 21260 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 30295 33554432000 4194304 4196468 140724126450496 140348070861680 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24699] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24699/stat : 24699 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 30295 33554432000 4194304 4196468 140724126450496 140348069808880 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24700] ppid=24681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24684/task/24700/stat : 24700 (java) S 24681 24681 21260 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 30295 33554432000 4194304 4196468 140724126450496 140348068756080 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24701] ppid=24681 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24684/task/24701/stat : 24701 (java) S 24681 24681 21260 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 418521064 27969658880 30295 33554432000 4194304 4196468 140724126450496 140348067703280 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24702] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24702/stat : 24702 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 30295 33554432000 4194304 4196468 140724126450496 140346042346080 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24703] ppid=24681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24684/task/24703/stat : 24703 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 30295 33554432000 4194304 4196468 140724126450496 140348066650672 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122576 KiB

[startup+0.310315 s]*
/proc/loadavg: 7.97 7.85 7.81 2/212 24703
/proc/meminfo: memFree=22987460/32770624 swapFree=66939840/67108860
[pid=24681] ppid=24678 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24681/stat : 24681 (scop.sh) S 24678 24681 21260 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418521056 115843072 349 33554432000 4194304 5098028 140724976202160 140724976199416 140516048822908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32485376 140724976210724 140724976211052 140724976211052 140724976213965 0
/proc/24681/statm: 28282 349 296 221 0 87 0
[pid=24684] ppid=24681 vsize=27314120 memory=125424 CPUtime=0.42 cores=0-7
/proc/24684/stat : 24684 (java) S 24681 24681 21260 0 -1 1077944320 11805 0 0 0 38 4 0 0 20 0 20 0 418521056 27969658880 31356 33554432000 4194304 4196468 140724126450496 140724126433040 140349483192055 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
/proc/24684/statm: 6828530 31356 3032 1 0 6790935 0
[pid=24684/tid=24685] ppid=24681 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/24684/task/24685/stat : 24685 (java) R 24681 24681 21260 0 -1 4202560 9283 0 0 0 26 3 0 0 20 0 20 0 418521057 27969658880 31356 33554432000 4194304 4196468 140724126450496 140349455022128 140349464757028 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24686] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24686/stat : 24686 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 31356 33554432000 4194304 4196468 140724126450496 140349487434384 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24687] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24687/stat : 24687 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 31356 33554432000 4194304 4196468 140724126450496 140349270829584 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24688] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24688/stat : 24688 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 31356 33554432000 4194304 4196468 140724126450496 140349269776784 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24689] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24689/stat : 24689 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 31356 33554432000 4194304 4196468 140724126450496 140349268723984 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24690] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24690/stat : 24690 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 31356 33554432000 4194304 4196468 140724126450496 140349267672208 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24691] ppid=24681 vsize=27314120 memory=140350941391535 CPUtime=0 cores=0-7
/proc/24684/task/24691/stat : 24691 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 31356 33554432000 4194304 4196468 140724126450496 140349266619408 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24692] ppid=24681 vsize=27314120 memory=140350941393840 CPUtime=0 cores=0-7
/proc/24684/task/24692/stat : 24692 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 31356 33554432000 4194304 4196468 140724126450496 140349265566608 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24693] ppid=24681 vsize=27314120 memory=140350941396144 CPUtime=0 cores=0-7
/proc/24684/task/24693/stat : 24693 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418521059 27969658880 31356 33554432000 4194304 4196468 140724126450496 140348898663184 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24694] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24694/stat : 24694 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521060 27969658880 31356 33554432000 4194304 4196468 140724126450496 140348071913840 140349483203202 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24695] ppid=24681 vsize=27314120 memory=280701882806160 CPUtime=0 cores=0-7
/proc/24684/task/24695/stat : 24695 (java) S 24681 24681 21260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418521061 27969658880 31356 33554432000 4194304 4196468 140724126450496 140347048977440 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24696] ppid=24681 vsize=27314120 memory=280701882803856 CPUtime=0 cores=0-7
/proc/24684/task/24696/stat : 24696 (java) S 24681 24681 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418521061 27969658880 31356 33554432000 4194304 4196468 140724126450496 140346914755440 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24697] ppid=24681 vsize=27314120 memory=280701882810768 CPUtime=0 cores=0-7
/proc/24684/task/24697/stat : 24697 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 31356 33554432000 4194304 4196468 140724126450496 140346540250960 140349483210651 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24698] ppid=24681 vsize=27314120 memory=280701882752048 CPUtime=0.01 cores=0-7
/proc/24684/task/24698/stat : 24698 (java) S 24681 24681 21260 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 20 0 418521064 27969658880 31356 33554432000 4194304 4196468 140724126450496 140348070861680 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24699] ppid=24681 vsize=27314120 memory=280701882824592 CPUtime=0.01 cores=0-7
/proc/24684/task/24699/stat : 24699 (java) S 24681 24681 21260 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 418521064 27969658880 31356 33554432000 4194304 4196468 140724126450496 140348069808880 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24700] ppid=24681 vsize=27314120 memory=280701882831504 CPUtime=0.02 cores=0-7
/proc/24684/task/24700/stat : 24700 (java) S 24681 24681 21260 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 20 0 418521064 27969658880 31356 33554432000 4194304 4196468 140724126450496 140348068756080 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24701] ppid=24681 vsize=27314120 memory=280701882829200 CPUtime=0.07 cores=0-7
/proc/24684/task/24701/stat : 24701 (java) S 24681 24681 21260 0 -1 1077944384 513 0 0 0 7 0 0 0 20 0 20 0 418521064 27969658880 31356 33554432000 4194304 4196468 140724126450496 140348067703280 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24702] ppid=24681 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24702/stat : 24702 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 31356 33554432000 4194304 4196468 140724126450496 140346042346080 140349483202261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24703] ppid=24681 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24684/task/24703/stat : 24703 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521064 27969658880 31356 33554432000 4194304 4196468 140724126450496 140348066650672 140349483203202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126820 KiB

[startup+0.701387 s]
/proc/loadavg: 7.97 7.85 7.81 2/212 24703
/proc/meminfo: memFree=22963776/32770624 swapFree=66939840/67108860
[pid=24681] ppid=24678 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24681/stat : 24681 (scop.sh) S 24678 24681 21260 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418521056 115843072 349 33554432000 4194304 5098028 140724976202160 140724976199416 140516048822908 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32485376 140724976210724 140724976211052 140724976211052 140724976213965 0
/proc/24681/statm: 28282 349 296 221 0 87 0
[pid=24684] ppid=24681 vsize=27320392 memory=165332 CPUtime=1 cores=0-7
/proc/24684/stat : 24684 (java) S 24681 24681 21260 0 -1 1077944320 19921 0 0 0 93 7 0 0 20 0 20 0 418521056 27976081408 41333 33554432000 4194304 4196468 140724126450496 140724126433040 140349483192055 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
/proc/24684/statm: 6830098 41333 3189 1 0 6791447 0
[pid=24684/tid=24685] ppid=24681 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/24684/task/24685/stat : 24685 (java) R 24681 24681 21260 0 -1 4202560 16861 0 0 0 62 5 0 0 20 0 20 0 418521057 27976081408 41333 33554432000 4194304 4196468 140724126450496 140349455029312 140349483213981 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24686] ppid=24681 vsize=27320392 memory=140350941602672 CPUtime=0 cores=0-7
/proc/24684/task/24686/stat : 24686 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27976081408 41333 33554432000 4194304 4196468 140724126450496 140349487434384 140349483202261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24687] ppid=24681 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24684/task/24687/stat : 24687 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418521059 27976081408 41333 33554432000 4194304 4196468 140724126450496 140349270829584 140349483202261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0
[pid=24684/tid=24688] ppid=24681 vsize=27320392 memory=1256 CPUtime=0 cores=0-7
/proc/24684/task/24688/stat : 24688 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418521059 27976081408 41333 33554432000 4194304 4196468 140724126450496 140349269776784 140349483202261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16334848 140724126454506 140724126454934 140724126454934 140724126457807 0

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

/proc/24707/task/24711/stat : 24711 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30290 33554432000 4194304 4196468 140724720935904 139792201276432 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24712] ppid=24681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24707/task/24712/stat : 24712 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30290 33554432000 4194304 4196468 140724720935904 139792200223888 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24713] ppid=24681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24707/task/24713/stat : 24713 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30290 33554432000 4194304 4196468 140724720935904 139792199170320 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24714] ppid=24681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24707/task/24714/stat : 24714 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30290 33554432000 4194304 4196468 140724720935904 139792198117776 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24715] ppid=24681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24707/task/24715/stat : 24715 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30290 33554432000 4194304 4196468 140724720935904 139792197065232 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24716] ppid=24681 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/24707/task/24716/stat : 24716 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30290 33554432000 4194304 4196468 140724720935904 139792196012688 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24717] ppid=24681 vsize=8414124 memory=668 CPUtime=0 cores=0-7
/proc/24707/task/24717/stat : 24717 (java) S 24681 24681 21260 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 418526083 8616062976 30290 33554432000 4194304 4196468 140724720935904 139791676713456 139792717601410 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24718] ppid=24681 vsize=8414124 memory=1256 CPUtime=0 cores=0-7
/proc/24707/task/24718/stat : 24718 (java) S 24681 24681 21260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418526083 8616062976 30290 33554432000 4194304 4196468 140724720935904 139791387583904 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24719] ppid=24681 vsize=8414124 memory=1076 CPUtime=0 cores=0-7
/proc/24707/task/24719/stat : 24719 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418526083 8616062976 30290 33554432000 4194304 4196468 140724720935904 139791119148528 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24720] ppid=24681 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/24707/task/24720/stat : 24720 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418526086 8616062976 30290 33554432000 4194304 4196468 140724720935904 139790744640208 139792717608859 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24721] ppid=24681 vsize=8414124 memory=22512 CPUtime=0.07 cores=0-7
/proc/24707/task/24721/stat : 24721 (java) S 24681 24681 21260 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 24 0 418526086 8616062976 30290 33554432000 4194304 4196468 140724720935904 139791675660272 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24722] ppid=24681 vsize=8414124 memory=14056 CPUtime=0.05 cores=0-7
/proc/24707/task/24722/stat : 24722 (java) S 24681 24681 21260 0 -1 1077944384 227 0 0 0 5 0 0 0 20 0 24 0 418526086 8616062976 30290 33554432000 4194304 4196468 140724720935904 139791674607728 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24723] ppid=24681 vsize=8414124 memory=3504 CPUtime=0.06 cores=0-7
/proc/24707/task/24723/stat : 24723 (java) S 24681 24681 21260 0 -1 1077944384 416 0 0 0 6 0 0 0 20 0 24 0 418526086 8616062976 30290 33554432000 4194304 4196468 140724720935904 139791673555184 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24724] ppid=24681 vsize=8414124 memory=40828 CPUtime=0.2 cores=0-7
/proc/24707/task/24724/stat : 24724 (java) S 24681 24681 21260 0 -1 1077944384 749 0 0 0 20 0 0 0 20 0 24 0 418526086 8616062976 30290 33554432000 4194304 4196468 140724720935904 139791672502640 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24725] ppid=24681 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24707/task/24725/stat : 24725 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418526086 8616062976 30290 33554432000 4194304 4196468 140724720935904 139790246734560 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24726] ppid=24681 vsize=8414124 memory=121160 CPUtime=0.11 cores=0-7
/proc/24707/task/24726/stat : 24726 (java) S 24681 24681 21260 0 -1 1077944384 15 0 0 0 11 0 0 0 20 0 24 0 418526086 8616062976 30290 33554432000 4194304 4196468 140724720935904 139791671450544 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24728] ppid=24681 vsize=8414124 memory=383220 CPUtime=0 cores=0-7
/proc/24707/task/24728/stat : 24728 (java) S 24681 24681 21260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418526152 8616062976 30290 33554432000 4194304 4196468 140724720935904 139791663417024 139792717614873 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24730] ppid=24681 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/24707/task/24730/stat : 24730 (java) S 24681 24681 21260 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418526152 8616062976 30290 33554432000 4194304 4196468 140724720935904 139789575634192 139792717612189 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24731] ppid=24681 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/24707/task/24731/stat : 24731 (java) S 24681 24681 21260 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418526152 8616062976 30290 33554432000 4194304 4196468 140724720935904 139789844069776 139792717612189 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24732] ppid=24681 vsize=8414124 memory=75 CPUtime=0 cores=0-7
/proc/24707/task/24732/stat : 24732 (java) S 24681 24681 21260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418526154 8616062976 30290 33554432000 4194304 4196468 140724720935904 139789307206832 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
Current children cumulated CPU time: 1729.64 s
Current children cumulated vsize: 9217544 KiB
Current children cumulated memory: 510060 KiB

[startup+260.202 s]
/proc/loadavg: 7.90 7.46 7.60 2/218 24779
/proc/meminfo: memFree=22603848/32770624 swapFree=66939852/67108860
[pid=24681] ppid=24678 vsize=113128 memory=1476 CPUtime=69.93 cores=0-7
/proc/24681/stat : 24681 (scop.sh) S 24678 24681 21260 0 -1 4202496 582 78239 0 0 0 0 6672 321 20 0 1 0 418521056 115843072 369 33554432000 4194304 5098028 140724976202160 140724976198904 140516048822908 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32485376 140724976210724 140724976211052 140724976211052 140724976213965 0
/proc/24681/statm: 28282 369 311 221 0 87 0
[pid=24707] ppid=24681 vsize=8414124 memory=121240 CPUtime=1.32 cores=0-7
/proc/24707/stat : 24707 (java) S 24681 24681 21260 0 -1 1077944320 20280 0 0 0 125 7 0 0 20 0 24 0 418526080 8616062976 30310 33554432000 4194304 4196468 140724720935904 140724720918448 139792717590263 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
/proc/24707/statm: 2103531 30310 3200 1 0 2064875 0
[pid=24727] ppid=24707 vsize=665704 memory=387400 CPUtime=1658.6 cores=0-7
/proc/24727/stat : 24727 (manyglucose-4.1) S 24707 24681 21260 0 -1 4202496 543215 0 0 0 165644 216 0 0 20 0 1 0 418526152 681680896 96850 33554432000 4194304 4454172 140721810222288 140721810220608 140595623648381 0 4 0 8388610 18446744071580971376 0 0 17 1 0 0 0 0 0 6552832 6554400 17727488 140721810223977 140721810224176 140721810224176 140721810227130 0
/proc/24727/statm: 166426 96850 418 64 0 162094 0
[pid=24707/tid=24708] ppid=24681 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7
/proc/24707/task/24708/stat : 24708 (java) S 24681 24681 21260 0 -1 1077944384 16903 0 0 0 70 5 0 0 20 0 24 0 418526080 8616062976 30310 33554432000 4194304 4196468 140724720935904 139792689430432 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24709] ppid=24681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24707/task/24709/stat : 24709 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30310 33554432000 4194304 4196468 140724720935904 139792721832720 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24710] ppid=24681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24707/task/24710/stat : 24710 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30310 33554432000 4194304 4196468 140724720935904 139792530394000 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24711] ppid=24681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24707/task/24711/stat : 24711 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30310 33554432000 4194304 4196468 140724720935904 139792201276432 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24712] ppid=24681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24707/task/24712/stat : 24712 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30310 33554432000 4194304 4196468 140724720935904 139792200223888 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24713] ppid=24681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24707/task/24713/stat : 24713 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30310 33554432000 4194304 4196468 140724720935904 139792199170320 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24714] ppid=24681 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24707/task/24714/stat : 24714 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30310 33554432000 4194304 4196468 140724720935904 139792198117776 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24715] ppid=24681 vsize=8414124 memory=7 CPUtime=0 cores=0-7
/proc/24707/task/24715/stat : 24715 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30310 33554432000 4194304 4196468 140724720935904 139792197065232 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24716] ppid=24681 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/24707/task/24716/stat : 24716 (java) S 24681 24681 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418526081 8616062976 30310 33554432000 4194304 4196468 140724720935904 139792196012688 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24717] ppid=24681 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/24707/task/24717/stat : 24717 (java) S 24681 24681 21260 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 418526083 8616062976 30310 33554432000 4194304 4196468 140724720935904 139791676713456 139792717601410 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24718] ppid=24681 vsize=8414124 memory=14699582244260401 CPUtime=0 cores=0-7
/proc/24707/task/24718/stat : 24718 (java) S 24681 24681 21260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418526083 8616062976 30310 33554432000 4194304 4196468 140724720935904 139791387583904 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24719] ppid=24681 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24707/task/24719/stat : 24719 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418526083 8616062976 30310 33554432000 4194304 4196468 140724720935904 139791119148528 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24720] ppid=24681 vsize=8414124 memory=121160 CPUtime=0 cores=0-7
/proc/24707/task/24720/stat : 24720 (java) S 24681 24681 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418526086 8616062976 30310 33554432000 4194304 4196468 140724720935904 139790744640208 139792717608859 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24721] ppid=24681 vsize=8414124 memory=389404 CPUtime=0.07 cores=0-7
/proc/24707/task/24721/stat : 24721 (java) S 24681 24681 21260 0 -1 1077944384 527 0 0 0 7 0 0 0 20 0 24 0 418526086 8616062976 30310 33554432000 4194304 4196468 140724720935904 139791675660272 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24722] ppid=24681 vsize=8414124 memory=4108 CPUtime=0.05 cores=0-7
/proc/24707/task/24722/stat : 24722 (java) R 24681 24681 21260 0 -1 4202560 233 0 0 0 5 0 0 0 20 0 24 0 418526086 8616062976 30310 33554432000 4194304 4196468 140724720935904 139791674607728 139792698777774 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24723] ppid=24681 vsize=8414124 memory=1620 CPUtime=0.07 cores=0-7
/proc/24707/task/24723/stat : 24723 (java) R 24681 24681 21260 0 -1 4202560 418 0 0 0 7 0 0 0 20 0 24 0 418526086 8616062976 30310 33554432000 4194304 4196468 140724720935904 139791673555184 139792703620189 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24724] ppid=24681 vsize=8414124 memory=8317482817917895235 CPUtime=0.21 cores=0-7
/proc/24707/task/24724/stat : 24724 (java) R 24681 24681 21260 0 -1 4202560 772 0 0 0 21 0 0 0 20 0 24 0 418526086 8616062976 30310 33554432000 4194304 4196468 140724720935904 139791672502768 139792717611610 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24725] ppid=24681 vsize=8414124 memory=-8673197757533811090 CPUtime=0 cores=0-7
/proc/24707/task/24725/stat : 24725 (java) S 24681 24681 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418526086 8616062976 30310 33554432000 4194304 4196468 140724720935904 139790246734560 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24726] ppid=24681 vsize=8414124 memory=1476 CPUtime=0.11 cores=0-7
/proc/24707/task/24726/stat : 24726 (java) S 24681 24681 21260 0 -1 1077944384 15 0 0 0 11 0 0 0 20 0 24 0 418526086 8616062976 30310 33554432000 4194304 4196468 140724720935904 139791671450544 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24728] ppid=24681 vsize=8414124 memory=121160 CPUtime=0 cores=0-7
/proc/24707/task/24728/stat : 24728 (java) S 24681 24681 21260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418526152 8616062976 30310 33554432000 4194304 4196468 140724720935904 139791663417024 139792717614873 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24730] ppid=24681 vsize=8414124 memory=1476 CPUtime=0.01 cores=0-7
/proc/24707/task/24730/stat : 24730 (java) R 24681 24681 21260 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 24 0 418526152 8616062976 30310 33554432000 4194304 4196468 140724720935904 139789575641888 140724722636738 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24731] ppid=24681 vsize=8414124 memory=121160 CPUtime=0 cores=0-7
/proc/24707/task/24731/stat : 24731 (java) S 24681 24681 21260 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418526152 8616062976 30310 33554432000 4194304 4196468 140724720935904 139789844069776 139792717612189 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24732] ppid=24681 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/24707/task/24732/stat : 24732 (java) S 24681 24681 21260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418526154 8616062976 30310 33554432000 4194304 4196468 140724720935904 139789307206832 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
Current children cumulated CPU time: 1729.85 s
Current children cumulated vsize: 9192956 KiB
Current children cumulated memory: 510116 KiB

[startup+260.301 s]
/proc/loadavg: 7.90 7.46 7.60 2/218 24779
/proc/meminfo: memFree=22603848/32770624 swapFree=66939852/67108860
[pid=24681] ppid=24678 vsize=113128 memory=1476 CPUtime=69.93 cores=0-7
/proc/24681/stat : 24681 (scop.sh) S 24678 24681 21260 0 -1 4202496 582 78239 0 0 0 0 6672 321 20 0 1 0 418521056 115843072 369 33554432000 4194304 5098028 140724976202160 140724976198904 140516048822908 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32485376 140724976210724 140724976211052 140724976211052 140724976213965 0
/proc/24681/statm: 28282 369 311 221 0 87 0
[pid=24707] ppid=24681 vsize=8283048 memory=132668 CPUtime=1660.15 cores=0-7
/proc/24707/stat : 24707 (java) S 24681 24681 21260 0 -1 1077944320 22702 543216 0 0 144 9 165644 218 20 0 22 0 418526080 8481841152 33167 33554432000 4194304 4196468 140724720935904 140724720918448 139792717590263 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
/proc/24707/statm: 2070762 33167 3220 1 0 2032106 0
[pid=24707/tid=24708] ppid=24681 vsize=8283048 memory=121160 CPUtime=1659.42 cores=0-7
/proc/24707/task/24708/stat : 24708 (java) R 24681 24681 21260 0 -1 4202560 17125 543216 0 0 75 5 165644 218 20 0 22 0 418526080 8481841152 33167 33554432000 4194304 4196468 140724720935904 139792689426976 139792717602198 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24709] ppid=24681 vsize=8283048 memory=1476 CPUtime=1658.62 cores=0-7
/proc/24707/task/24709/stat : 24709 (java) S 24681 24681 21260 0 -1 1077944384 3 543216 0 0 0 0 165644 218 20 0 22 0 418526081 8481841152 33167 33554432000 4194304 4196468 140724720935904 139792721832720 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24710] ppid=24681 vsize=8283048 memory=121160 CPUtime=1658.62 cores=0-7
/proc/24707/task/24710/stat : 24710 (java) S 24681 24681 21260 0 -1 1077944384 3 543216 0 0 0 0 165644 218 20 0 22 0 418526081 8481841152 33167 33554432000 4194304 4196468 140724720935904 139792530394000 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24711] ppid=24681 vsize=8283048 memory=520 CPUtime=1658.62 cores=0-7
/proc/24707/task/24711/stat : 24711 (java) S 24681 24681 21260 0 -1 1077944384 2 543216 0 0 0 0 165644 218 20 0 22 0 418526081 8481841152 33167 33554432000 4194304 4196468 140724720935904 139792201276432 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24712] ppid=24681 vsize=8283048 memory=1560 CPUtime=1658.62 cores=0-7
/proc/24707/task/24712/stat : 24712 (java) S 24681 24681 21260 0 -1 1077944384 1 543216 0 0 0 0 165644 218 20 0 22 0 418526081 8481841152 33167 33554432000 4194304 4196468 140724720935904 139792200223888 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24713] ppid=24681 vsize=8283048 memory=1808 CPUtime=1658.62 cores=0-7
/proc/24707/task/24713/stat : 24713 (java) S 24681 24681 21260 0 -1 1077944384 2 543216 0 0 0 0 165644 218 20 0 22 0 418526081 8481841152 33167 33554432000 4194304 4196468 140724720935904 139792199170320 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24714] ppid=24681 vsize=8283048 memory=924 CPUtime=1658.62 cores=0-7
/proc/24707/task/24714/stat : 24714 (java) S 24681 24681 21260 0 -1 1077944384 2 543216 0 0 0 0 165644 218 20 0 22 0 418526081 8481841152 33167 33554432000 4194304 4196468 140724720935904 139792198117776 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24715] ppid=24681 vsize=8283048 memory=3504 CPUtime=1658.62 cores=0-7
/proc/24707/task/24715/stat : 24715 (java) S 24681 24681 21260 0 -1 1077944384 1 543216 0 0 0 0 165644 218 20 0 22 0 418526081 8481841152 33167 33554432000 4194304 4196468 140724720935904 139792197065232 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24716] ppid=24681 vsize=8283048 memory=40828 CPUtime=1658.62 cores=0-7
/proc/24707/task/24716/stat : 24716 (java) S 24681 24681 21260 0 -1 1077944384 2 543216 0 0 0 0 165644 218 20 0 22 0 418526081 8481841152 33167 33554432000 4194304 4196468 140724720935904 139792196012688 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24717] ppid=24681 vsize=8283048 memory=3504 CPUtime=1658.62 cores=0-7
/proc/24707/task/24717/stat : 24717 (java) S 24681 24681 21260 0 -1 1077944384 10 543216 0 0 0 0 165644 218 20 0 22 0 418526083 8481841152 33167 33554432000 4194304 4196468 140724720935904 139791676713456 139792717601410 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24718] ppid=24681 vsize=8283048 memory=40828 CPUtime=1658.62 cores=0-7
/proc/24707/task/24718/stat : 24718 (java) S 24681 24681 21260 0 -1 1077944384 13 543216 0 0 0 0 165644 218 20 0 22 0 418526083 8481841152 33167 33554432000 4194304 4196468 140724720935904 139791387583904 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24719] ppid=24681 vsize=8283048 memory=0 CPUtime=1658.62 cores=0-7
/proc/24707/task/24719/stat : 24719 (java) S 24681 24681 21260 0 -1 1077944384 1 543216 0 0 0 0 165644 218 20 0 22 0 418526083 8481841152 33167 33554432000 4194304 4196468 140724720935904 139791119148528 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24720] ppid=24681 vsize=8283048 memory=0 CPUtime=1658.62 cores=0-7
/proc/24707/task/24720/stat : 24720 (java) S 24681 24681 21260 0 -1 1077944384 1 543216 0 0 0 0 165644 218 20 0 22 0 418526086 8481841152 33167 33554432000 4194304 4196468 140724720935904 139790744640208 139792717608859 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24721] ppid=24681 vsize=8283048 memory=7992 CPUtime=1658.73 cores=0-7
/proc/24707/task/24721/stat : 24721 (java) S 24681 24681 21260 0 -1 1077944384 753 543216 0 0 11 0 165644 218 20 0 22 0 418526086 8481841152 33167 33554432000 4194304 4196468 140724720935904 139791675660272 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24722] ppid=24681 vsize=8283048 memory=9580 CPUtime=1658.69 cores=0-7
/proc/24707/task/24722/stat : 24722 (java) S 24681 24681 21260 0 -1 1077944384 299 543216 0 0 7 0 165644 218 20 0 22 0 418526086 8481841152 33167 33554432000 4194304 4196468 140724720935904 139791674607728 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24723] ppid=24681 vsize=8283048 memory=1052 CPUtime=1658.71 cores=0-7
/proc/24707/task/24723/stat : 24723 (java) S 24681 24681 21260 0 -1 1077944384 424 543216 0 0 9 0 165644 218 20 0 22 0 418526086 8481841152 33167 33554432000 4194304 4196468 140724720935904 139791673555184 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24724] ppid=24681 vsize=8283048 memory=4872558044660077418 CPUtime=1658.86 cores=0-7
/proc/24707/task/24724/stat : 24724 (java) R 24681 24681 21260 0 -1 4202560 958 543216 0 0 24 0 165644 218 20 0 22 0 418526086 8481841152 33167 33554432000 4194304 4196468 140724720935904 139791672502640 139792717602198 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24725] ppid=24681 vsize=8283048 memory=3688 CPUtime=1658.62 cores=0-7
/proc/24707/task/24725/stat : 24725 (java) S 24681 24681 21260 0 -1 1077944384 3 543216 0 0 0 0 165644 218 20 0 22 0 418526086 8481841152 33167 33554432000 4194304 4196468 140724720935904 139790246734560 139792717600469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24726] ppid=24681 vsize=8283048 memory=1984 CPUtime=1658.73 cores=0-7
/proc/24707/task/24726/stat : 24726 (java) S 24681 24681 21260 0 -1 1077944384 15 543216 0 0 11 0 165644 218 20 0 22 0 418526086 8481841152 33167 33554432000 4194304 4196468 140724720935904 139791671450544 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24728] ppid=24681 vsize=8283048 memory=1476 CPUtime=1658.62 cores=0-7
/proc/24707/task/24728/stat : 24728 (java) S 24681 24681 21260 0 -1 1077944384 32 543216 0 0 0 0 165644 218 20 0 22 0 418526152 8481841152 33167 33554432000 4194304 4196468 140724720935904 139791663416208 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
[pid=24707/tid=24732] ppid=24681 vsize=8283048 memory=121160 CPUtime=1658.62 cores=0-7
/proc/24707/task/24732/stat : 24732 (java) S 24681 24681 21260 0 -1 1077944384 9 543216 0 0 0 0 165644 218 20 0 22 0 418526154 8481841152 33167 33554432000 4194304 4196468 140724720935904 139789307208624 139792717601410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36339712 140724720940023 140724720940182 140724720940182 140724720943055 0
Current children cumulated CPU time: 1730.08 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 134144 KiB

Child status: 0
Real time (s): 260.338
CPU time (s): 1730.16
CPU user time (s): 1724.66
CPU system time (s): 5.50308
CPU usage (%): 664.582
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6617408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1724.66
system time used= 5.50308
maximum resident set size= 6616208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91148
involuntary context switches= 18433


# summary of solver processes directly reported to runsolver:
#   pid: 24681
#   total CPU time (s): 1730.16
#   total CPU user time (s): 1724.66
#   total CPU system time (s): 5.50308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.16756 second user time and 3.56839 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-14 03:53:42
IDJOB=4392740
IDBENCH=126097
IDSOLVER=2839
FILE ID=node119/4392740-1568426061
RUNJOBID= node119-1568417505-21287
PBS_JOBID= 21702275
Free space on /tmp= 61472 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-09.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-4392740-1568426061/watcher-4392740-1568426061 -o /tmp/evaluation-result-4392740-1568426061/solver-4392740-1568426061 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568417505-21287 --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-4392740-1568426061.xml

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

MD5SUM BENCH= e7714f1bdc5f54a36db8d66dbea9ce0a
RANDOM SEED=409270937

node119.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.47
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.47
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.47
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.47
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:        23103176 kB
MemAvailable:   31819164 kB
Buffers:          206972 kB
Cached:          8773152 kB
SwapCached:        61108 kB
Active:          2852604 kB
Inactive:        6194172 kB
Active(anon):       5200 kB
Inactive(anon):   102432 kB
Active(file):    2847404 kB
Inactive(file):  6091740 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66939840 kB
Dirty:             53468 kB
Writeback:             0 kB
AnonPages:        143804 kB
Mapped:            44748 kB
Shmem:             32816 kB
Slab:             215108 kB
SReclaimable:     185360 kB
SUnreclaim:        29748 kB
KernelStack:        3840 kB
PageTables:         5324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61452 MiB
End job on node119 at 2019-09-14 03:58:02