Trace number 4405300

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 1775.77 274.251

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-18457-serial-file.bin HOME/instance-4405300-1569335979.xml
0.64/0.55	
0.64/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.64/0.55	
0.64/0.57	c BEGIN-Prog: Tue Sep 24 16:38:41 CEST 2019
0.64/0.57	c PID: 18460
0.64/0.57	c IP: 172.20.3.103
0.64/0.57	c HOST: node103.alineos.net
0.64/0.58	c (0,0) Parsing Begin
6.30/4.82	c (4,4) Parsing End
6.86/5.06	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
6.86/5.06	c (4,4) Heap : 4056 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.86/5.06	c (4,4) Constraint Name Generate Begin
6.86/5.06	c (4,4) Ctr:HOME/instance-4405300-1569335979.xml,ExtensionSupport:Var
6.86/5.06	c (4,4) Constraint Name Generate End
6.86/5.06	c (4,4) Heap : 4056 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.86/5.06	c (4,4) CSP to CSPinCNF Begin
18.17/9.94	c (9,9) translated 6 (10%) constraints
24.72/14.62	c (14,13) translated 12 (20%) constraints
29.78/18.53	c (17,17) translated 17 (30%) constraints
35.51/23.21	c (22,22) translated 23 (40%) constraints
39.36/26.96	c (26,26) translated 28 (50%) constraints
44.76/31.51	c (30,30) translated 34 (60%) constraints
49.48/36.09	c (35,35) translated 40 (70%) constraints
53.38/39.94	c (39,38) translated 45 (80%) constraints
59.23/44.92	c (44,43) translated 51 (90%) constraints
63.14/48.81	c (48,47) translated 56 (100%) constraints
63.85/49.55	c (49,48) ===========================================
63.85/49.56	c (49,48) Order
63.85/49.56	c (49,48) ===========================================
64.74/49.91	c (49,48) translated 12891 (10%) constraints
65.19/50.20	c (49,49) translated 25782 (20%) constraints
65.44/50.49	c (49,49) translated 38673 (30%) constraints
65.74/50.78	c (50,49) translated 51563 (40%) constraints
66.05/51.06	c (50,49) translated 64454 (50%) constraints
66.49/51.37	c (50,50) translated 77345 (60%) constraints
66.79/51.65	c (51,50) translated 90235 (70%) constraints
67.10/51.94	c (51,50) translated 103126 (80%) constraints
67.46/52.23	c (51,51) translated 116017 (90%) constraints
67.76/52.52	c (51,51) translated 128907 (100%) constraints
67.76/52.52	c (51,51) CSP to CSPinCNF End
67.76/52.53	c (51,51) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128907 ctr, max domain size 5
67.76/52.53	c (51,51) Heap : 5158 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
67.76/52.53	c (51,51) CSPinCNF Propagation Begin
70.62/53.53	c (52,52) 0 values, 69 unsatisfiable literals, and 19 valid clauses are removed
70.62/53.53	c (52,52) CSPinCNF Propagation End
70.62/53.54	c (52,52) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
70.62/53.54	c (52,52) Heap : 454 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
70.62/53.54	c (52,52) Simplify CSPinCNF Begin
71.27/53.81	c (53,52) Simplify CSPinCNF End
71.27/53.82	c (53,52) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
71.27/53.82	c (53,52) Heap : 575 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
71.27/53.82	c (53,52) Calculate Precise Domain Begin
71.27/53.82	c (53,52) 0 values are removed by re-calculation
71.27/53.82	c (53,52) Calculate Precise Domain End
71.27/53.82	c (53,52) CSP: 25 int (0 aux), 12492 bool (12492 aux), 128888 ctr, max domain size 5
71.27/53.82	c (53,52) Heap : 575 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
71.27/53.82	c (53,52) CSPinCNF to SatSolver Begin
72.75/54.26	c (53,52) 12889 (10 %) CSP clauses are encoded (0 SAT variables, 12963 SAT clauses)
73.07/54.39	c (53,53) 25778 (20 %) CSP clauses are encoded (0 SAT variables, 25852 SAT clauses)
73.31/54.51	c (53,53) 38667 (30 %) CSP clauses are encoded (0 SAT variables, 38741 SAT clauses)
73.41/54.63	c (54,53) 51556 (40 %) CSP clauses are encoded (0 SAT variables, 51630 SAT clauses)
73.51/54.75	c (54,53) 64444 (50 %) CSP clauses are encoded (0 SAT variables, 64518 SAT clauses)
73.61/54.87	c (54,53) 77333 (60 %) CSP clauses are encoded (0 SAT variables, 77407 SAT clauses)
73.71/54.99	c (54,53) 90222 (70 %) CSP clauses are encoded (0 SAT variables, 90296 SAT clauses)
73.92/55.11	c (54,53) 103111 (80 %) CSP clauses are encoded (0 SAT variables, 103185 SAT clauses)
74.01/55.23	c (54,53) 116000 (90 %) CSP clauses are encoded (0 SAT variables, 116074 SAT clauses)
74.11/55.35	c (54,54) 128888 (100 %) CSP clauses are encoded (0 SAT variables, 128962 SAT clauses)
74.11/55.35	c (54,54) CSPinCNF to SatSolver End
74.11/55.35	c (54,54) Heap : 1799 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
74.11/55.35	c (54,54) 12589 bool, 128963 clause
74.11/55.35	c (54,54) Export Begin
74.24/55.43	c (54,54) Export to HOME/scop-18457-serial-file.bin
74.24/55.43	c (54,54) Export End
74.24/55.43	c (54,54) Export File Size: 0.01 MB
74.24/55.43	c (54,54) 4,4,51,52,53,53,54,STOP-AFTER(DIMACS)
74.24/55.43	c END-Prog: Tue Sep 24 16:39:36 CEST 2019
74.24/55.49	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18457-serial-file.bin
74.39/55.95	c (0,0) Read Serial File Begin
74.39/55.95	c (0,0) HOME/scop-18457-serial-file.bin
75.21/56.16	c (0,0) Read Serial File End
75.21/56.17	
75.21/56.17	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
75.21/56.17	(Solving Process)
75.21/56.17	
75.21/56.19	c BEGIN-Prog: Tue Sep 24 16:39:37 CEST 2019
75.21/56.19	c PID: 18483
75.21/56.19	c IP: 172.20.3.103
75.21/56.19	c HOST: node103.alineos.net
75.21/56.20	c (0,0) SatSolver.solve Begin
75.21/56.20	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405300-1569335979.xml-scop-18460.cnf
75.34/56.22	c (0,0) c
75.34/56.22	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)
75.34/56.22	c (0,0) c
75.34/56.22	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
75.34/56.22	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
75.34/56.22	c (0,0) c ========================================[ Problem Statistics ]===========================================
75.34/56.22	c (0,0) c |                                                                                                       |
75.34/56.27	c (0,0) c |  Number of variables:         12589                                                                   |
75.34/56.27	c (0,0) c |  Number of clauses:          128963                                                                   |
75.34/56.27	c (0,0) c |  Parse time:                   0.05 s                                                                 |
75.34/56.27	c (0,0) c |                                                                                                       |
75.54/56.35	c (0,0) c |  Simplification time:          0.07 s                                                                 |
75.54/56.35	c (0,0) c |                                                                                                       |
75.54/56.35	c (0,0) c |  Generating clones                                                                                    |
75.54/56.39	c (0,0) c |  all clones generated. Memory =    95.87Mb.                                                           |
75.54/56.39	c (0,0) c ========================================================================================================|
75.54/56.39	c (0,0) c
75.54/56.39	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
75.54/56.39	c (0,0) c
75.54/56.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
75.54/56.39	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
75.54/56.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
75.54/56.39	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
75.54/56.39	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
75.54/56.39	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
75.54/56.39	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
75.54/56.39	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
75.54/56.39	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
75.54/56.39	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
75.54/56.39	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
75.54/56.39	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
75.54/56.39	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
75.54/56.39	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
75.54/56.39	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
75.54/56.39	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
75.54/56.39	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
75.54/56.39	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
75.54/56.39	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
310.47/86.01	c (30,0) c
310.47/86.01	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
310.47/86.01	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
310.47/86.01	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
310.47/86.01	c (30,0) c |  0 |     39 |      60043 |      48817 |    38267 |    22729 |     8532 |    55681 |     3101 |      201 |  20 |  0.000 |
310.47/86.01	c (30,0) c |  1 |     36 |      59333 |      48116 |    40627 |    22024 |     9001 |    55742 |     3111 |      204 |  20 |  0.000 |
310.47/86.01	c (30,0) c |  2 |     21 |      61625 |      50748 |    36284 |    24657 |     9276 |    36357 |     2382 |      212 |  20 |  0.000 |
310.47/86.01	c (30,0) c |  3 |     32 |      61688 |      50321 |    38791 |    24234 |     8877 |    56770 |     3395 |      208 |  20 |  0.000 |
310.47/86.01	c (30,0) c |  4 |     35 |      62087 |      50623 |    40987 |    24530 |     9012 |    58462 |     3367 |      211 |  20 |  0.000 |
310.47/86.01	c (30,0) c |  5 |     41 |      61193 |      49359 |    40865 |    23270 |     8737 |    51339 |     3500 |      206 |  20 |  0.000 |
310.47/86.01	c (30,0) c |  6 |     35 |      61292 |      50351 |    35494 |    24261 |     9039 |    48401 |     2486 |      212 |  20 |  0.000 |
310.47/86.01	c (30,0) c |  7 |     16 |      60004 |      49712 |    36854 |    23624 |     9093 |    54727 |     2147 |      210 |  20 |  0.000 |
310.47/86.01	c (30,0) c 
310.47/86.01	c (30,0) c synthesis      398047 conflicts   632899543 propagations     1697 conflicts/sec  2698805 propagations/sec
310.47/86.01	c (30,0) c real: 29.7871 s, cpu: 234.511 s, memory: 682.16 Mb
541.72/115.01	c (59,0) c
541.72/115.01	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
541.72/115.01	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
541.72/115.01	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
541.72/115.01	c (59,0) c |  0 |     51 |     102953 |      86606 |    46353 |    33039 |    13802 |    88448 |     6515 |      391 |  20 |  0.000 |
541.72/115.01	c (59,0) c |  1 |     38 |     103482 |      87351 |    46789 |    33786 |    14733 |    72631 |     5974 |      400 |  20 |  0.000 |
541.72/115.01	c (59,0) c |  2 |     28 |     107251 |      91214 |    44987 |    20043 |    14596 |    96490 |     5830 |      411 |  20 |  0.000 |
541.72/115.01	c (59,0) c |  3 |     32 |     105987 |      90098 |    44108 |    18922 |    14511 |    56770 |     5708 |      409 |  20 |  0.000 |
541.72/115.01	c (59,0) c |  4 |     60 |     106986 |      89929 |    48893 |    18754 |    14391 |    87984 |     6815 |      408 |  20 |  0.000 |
541.72/115.01	c (59,0) c |  5 |     48 |     105523 |      88711 |    46646 |    35146 |    13894 |    69840 |     6290 |      405 |  20 |  0.000 |
541.72/115.01	c (59,0) c |  6 |     54 |     105370 |      89350 |    42909 |    18171 |    13853 |    97051 |     5775 |      408 |  20 |  0.000 |
541.72/115.01	c (59,0) c |  7 |     23 |     104661 |      88866 |    45686 |    17695 |    14633 |    87116 |     5882 |      402 |  20 |  0.000 |
541.72/115.01	c (59,0) c 
541.72/115.01	c (59,0) c synthesis      712125 conflicts  1162750038 propagations     1529 conflicts/sec  2497044 propagations/sec
541.72/115.01	c (59,0) c real: 58.7871 s, cpu: 465.651 s, memory: 682.16 Mb
771.96/144.04	c (88,0) c
771.96/144.04	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
771.96/144.04	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
771.96/144.04	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
771.96/144.04	c (88,0) c |  0 |     56 |     149166 |     127917 |    52724 |     3725 |    19926 |   123955 |     8050 |      595 |  20 |  0.000 |
771.96/144.04	c (88,0) c |  1 |     50 |     143870 |     123748 |    50033 |    32366 |    18601 |   131796 |     8486 |      589 |  20 |  0.000 |
771.96/144.04	c (88,0) c |  2 |     37 |     153778 |     132949 |    52215 |     2764 |    22117 |   129101 |     7032 |      609 |  20 |  0.000 |
771.96/144.04	c (88,0) c |  3 |     34 |     144847 |     125267 |    47528 |    33886 |    18204 |   109432 |     8136 |      604 |  20 |  0.000 |
771.96/144.04	c (88,0) c |  4 |     69 |     152941 |     130919 |    55455 |     2771 |    20706 |   128944 |     8196 |      609 |  20 |  0.000 |
771.96/144.04	c (88,0) c |  5 |     52 |     146218 |     125845 |    49601 |    34465 |    18362 |    98329 |     8934 |      599 |  20 |  0.000 |
771.96/144.04	c (88,0) c |  6 |     61 |     152869 |     132236 |    49399 |     2144 |    20845 |   108644 |     6753 |      609 |  20 |  0.000 |
771.96/144.04	c (88,0) c |  7 |     28 |     145064 |     125034 |    50154 |    33653 |    19240 |   111176 |     8212 |      594 |  20 |  0.000 |
771.96/144.04	c (88,0) c 
771.96/144.04	c (88,0) c synthesis     1023915 conflicts  1692975811 propagations     1472 conflicts/sec  2433133 propagations/sec
771.96/144.04	c (88,0) c real: 87.7874 s, cpu: 695.801 s, memory: 682.16 Mb
1005.32/174.01	c (118,0) c
1005.32/174.01	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
1005.32/174.01	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1005.32/174.01	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
1005.32/174.01	c (118,0) c |  0 |     59 |     197125 |     171185 |    59628 |     3031 |    25532 |   161194 |     8541 |      807 |  20 |  0.000 |
1005.32/174.01	c (118,0) c |  1 |     50 |     180586 |     157800 |    53623 |    43610 |    22407 |   131796 |    10575 |      792 |  20 |  0.000 |
1005.32/174.01	c (118,0) c |  2 |     37 |     202370 |     177092 |    57253 |     2964 |    26660 |   129101 |     7284 |      807 |  20 |  0.000 |
1005.32/174.01	c (118,0) c |  3 |     41 |     179685 |     156915 |    50093 |    42729 |    21417 |   163028 |    10100 |      787 |  20 |  0.000 |
1005.32/174.01	c (118,0) c |  4 |     71 |     193437 |     167276 |    60344 |     3114 |    25317 |   137836 |     8466 |      796 |  20 |  0.000 |
1005.32/174.01	c (118,0) c |  5 |     54 |     186856 |     162527 |    53451 |    48347 |    22451 |   154531 |    12326 |      801 |  20 |  0.000 |
1005.32/174.01	c (118,0) c |  6 |     66 |     200268 |     174905 |    54168 |     2771 |    26108 |   164619 |     6910 |      807 |  20 |  0.000 |
1005.32/174.01	c (118,0) c |  7 |     35 |     184370 |     160613 |    53511 |    46424 |    22587 |   161444 |    11097 |      792 |  20 |  0.000 |
1005.32/174.01	c (118,0) c 
1005.32/174.01	c (118,0) c synthesis     1328313 conflicts  2214243305 propagations     1430 conflicts/sec  2383263 propagations/sec
1005.32/174.01	c (118,0) c real: 117.787 s, cpu: 929.081 s, memory: 682.16 Mb
1231.05/203.01	c (147,0) c
1231.05/203.01	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1231.05/203.01	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1231.05/203.01	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1231.05/203.01	c (147,0) c |  0 |     70 |     239422 |     209281 |    64518 |     3121 |    29658 |   190783 |     8782 |      996 |  20 |  0.000 |
1231.05/203.01	c (147,0) c |  1 |     58 |     215055 |     189439 |    55627 |    49851 |    25550 |   191906 |    12865 |      981 |  20 |  0.000 |
1231.05/203.01	c (147,0) c |  2 |     50 |     244686 |     214576 |    62319 |     2458 |    30822 |   189471 |     7627 |      996 |  20 |  0.000 |
1231.05/203.01	c (147,0) c |  3 |     56 |     217336 |     190475 |    53843 |    50888 |    24841 |   189989 |    13307 |      976 |  20 |  0.000 |
1231.05/203.01	c (147,0) c |  4 |     73 |     236248 |     205896 |    64615 |     3715 |    29253 |   168984 |     8768 |      996 |  20 |  0.000 |
1231.05/203.01	c (147,0) c |  5 |     54 |     221720 |     194419 |    55188 |    54835 |    25645 |   154531 |    13554 |      993 |  20 |  0.000 |
1231.05/203.01	c (147,0) c |  6 |     85 |     242606 |     212785 |    59060 |     2686 |    30995 |   173376 |     7179 |      996 |  20 |  0.000 |
1231.05/203.01	c (147,0) c |  7 |     48 |     220296 |     193021 |    56487 |    53435 |    25471 |   189655 |    13951 |      981 |  20 |  0.000 |
1231.05/203.01	c (147,0) c 
1231.05/203.01	c (147,0) c synthesis     1609892 conflicts  2707663991 propagations     1394 conflicts/sec  2344870 propagations/sec
1231.05/203.01	c (147,0) c real: 146.787 s, cpu: 1154.72 s, memory: 682.16 Mb
1455.58/232.02	c (176,0) c
1455.58/232.02	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1455.58/232.02	c (176,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1455.58/232.02	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1455.58/232.02	c (176,0) c |  0 |     91 |     282661 |     247745 |    69040 |     3531 |    34608 |   212998 |     9117 |     1186 |  20 |  0.000 |
1455.58/232.02	c (176,0) c |  1 |     94 |     250946 |     221498 |    57978 |    53906 |    28542 |   214096 |    15844 |     1170 |  20 |  0.000 |
1455.58/232.02	c (176,0) c |  2 |     50 |     288259 |     253766 |    66969 |     3579 |    35788 |   189471 |     7814 |     1186 |  20 |  0.000 |
1455.58/232.02	c (176,0) c |  3 |     94 |     254277 |     223194 |    56506 |    55606 |    27804 |   218028 |    15767 |     1166 |  20 |  0.000 |
1455.58/232.02	c (176,0) c |  4 |     73 |     275975 |     241923 |    68003 |     3754 |    33909 |   168984 |     8886 |     1186 |  20 |  0.000 |
1455.58/232.02	c (176,0) c |  5 |     54 |     254628 |     224952 |    56667 |    57365 |    28435 |   154531 |    14436 |     1184 |  20 |  0.000 |
1455.58/232.02	c (176,0) c |  6 |     89 |     283335 |     249521 |    63472 |     3359 |    36134 |   212747 |     7473 |     1186 |  20 |  0.000 |
1455.58/232.02	c (176,0) c |  7 |     49 |     254678 |     224599 |    58639 |    57011 |    28543 |   214999 |    15740 |     1173 |  20 |  0.000 |
1455.58/232.02	c (176,0) c 
1455.58/232.02	c (176,0) c synthesis     1887198 conflicts  3187348334 propagations     1369 conflicts/sec  2312425 propagations/sec
1455.58/232.02	c (176,0) c real: 175.787 s, cpu: 1378.36 s, memory: 682.16 Mb
1676.33/261.01	c (205,0) c
1676.33/261.01	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1676.33/261.01	c (205,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1676.33/261.01	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1676.33/261.01	c (205,0) c |  0 |     93 |     322238 |     283751 |    72073 |     3614 |    39651 |   222934 |     9280 |     1367 |  20 |  0.000 |
1676.33/261.01	c (205,0) c |  1 |     94 |     285514 |     253394 |    59414 |    55200 |    31202 |   214096 |    17321 |     1364 |  20 |  0.000 |
1676.33/261.01	c (205,0) c |  2 |     61 |     327818 |     289107 |    71020 |     2977 |    39977 |   226541 |     8168 |     1367 |  20 |  0.000 |
1676.33/261.01	c (205,0) c |  3 |    101 |     288442 |     254368 |    58150 |    56181 |    30343 |   239491 |    17997 |     1353 |  20 |  0.000 |
1676.33/261.01	c (205,0) c |  4 |     79 |     315309 |     276986 |    71805 |     2844 |    37751 |   227323 |     9100 |     1365 |  20 |  0.000 |
1676.33/261.01	c (205,0) c |  5 |     55 |     283602 |     251633 |    57906 |    53446 |    30521 |   239582 |    15946 |     1347 |  20 |  0.000 |
1676.33/261.01	c (205,0) c |  6 |     89 |     322623 |     285283 |    67296 |     3183 |    38989 |   212747 |     7656 |     1367 |  20 |  0.000 |
1676.33/261.01	c (205,0) c |  7 |     54 |     289454 |     256665 |    60095 |    58476 |    31002 |   235647 |    17753 |     1367 |  20 |  0.000 |
1676.33/261.01	c (205,0) c 
1676.33/261.01	c (205,0) c synthesis     2151187 conflicts  3640935216 propagations     1345 conflicts/sec  2275738 propagations/sec
1676.33/261.01	c (205,0) c real: 204.787 s, cpu: 1599.89 s, memory: 682.16 Mb
1775.05/274.10	c (218,0) c
1775.05/274.10	c (218,0) c real time : 217.879 s
1775.05/274.10	c (218,0) c cpu time  : 1698.13 s
1775.05/274.10	c (218,0) c
1775.05/274.10	c (218,0) c
1775.05/274.10	c (218,0) c
1775.05/274.10	c (218,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1775.05/274.10	c (218,0) c
1775.05/274.10	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1775.05/274.10	c (218,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1775.05/274.10	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1775.05/274.10	c (218,0) c | Conflicts     |         2264152 |     299730 |     266631 |     304669 |     265931 |     292447 |     265052 |     300149 |     269543 |
1775.05/274.10	c (218,0) c | Decisions     |         2558678 |     339907 |     300105 |     345082 |     300721 |     332595 |     298070 |     338843 |     303355 |
1775.05/274.10	c (218,0) c | Propagations  |      3833715027 |  510915945 |  449349225 |  518839840 |  441606147 |  507270617 |  436986564 |  512722255 |  456024434 |
1775.05/274.10	c (218,0) c | ReduceDBs     |             485 |        107 |         14 |        110 |         14 |        104 |         14 |        108 |         14 |
1775.05/274.10	c (218,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1775.05/274.10	c (218,0) c | Restarts      |             635 |         93 |        101 |         62 |        101 |         79 |         56 |         89 |         54 |
1775.05/274.10	c (218,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1775.05/274.10	c (218,0) c | PropBinClauses|      1244541135 |  163474278 |  144872426 |  169902356 |  148091591 |  160478766 |  142428888 |  170711603 |  144581227 |
1775.05/274.10	c (218,0) c | PropPreBlocker|     41134422543 | 5181585807 | 5145082740 | 5189312595 | 5074886098 | 5155475330 | 5063616937 | 5171081144 | 5153381892 |
1775.05/274.10	c (218,0) c | PropNotBlocker|     14236732095 | 1846384420 | 1745425188 | 1820105474 | 1717732860 | 1848938758 | 1704204064 | 1843271520 | 1710669811 |
1775.05/274.10	c (218,0) c | LitFullScans  |     69248125250 | 8688515747 | 8688597285 | 8688518173 | 8566155604 | 8658582639 | 8580639863 | 8688483301 | 8688632638 |
1775.05/274.10	c (218,0) c | LitScanFracts |         4487111 |     493446 |     590280 |     511760 |     568077 |     579569 |     632258 |     482239 |     629482 |
1775.05/274.10	c (218,0) c | DecisionLevel0|             635 |         93 |        101 |         62 |        101 |         79 |         56 |         89 |         54 |
1775.05/274.10	c (218,0) c | Periods       |           11540 |       1448 |       1448 |       1448 |       1427 |       1443 |       1430 |       1448 |       1448 |
1775.05/274.10	c (218,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1775.05/274.10	c (218,0) c | Avg_Trail     |                 |       5253 |       5191 |       5280 |       5192 |       5320 |       5168 |       5187 |       5275 |
1775.05/274.10	c (218,0) c | Avg_DL        |                 |         16 |         15 |         16 |         16 |         16 |         15 |         15 |         16 |
1775.05/274.10	c (218,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1775.05/274.10	c (218,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1775.05/274.10	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1775.05/274.10	c (218,0) c | Exported      |          290246 |      40964 |      32135 |      41559 |      31302 |      39723 |      31817 |      40722 |      32024 |
1775.05/274.10	c (218,0) c | Imported      |         1889786 |     222934 |     255623 |     242342 |     239491 |     227323 |     253679 |     212747 |     235647 |
1775.05/274.10	c (218,0) c | Good          |            3452 |        403 |        444 |        434 |        419 |        425 |        442 |        436 |        449 |
1775.05/274.10	c (218,0) c | Purge         |         1886334 |     222531 |     255179 |     241908 |     239072 |     226898 |     253237 |     212311 |     235198 |
1775.05/274.10	c (218,0) c | Promoted      |          108189 |       9333 |      18584 |       8366 |      18569 |       9163 |      18041 |       7699 |      18434 |
1775.05/274.10	c (218,0) c | Remove_Imp    |         1579332 |     212053 |     187782 |     231956 |     172777 |     216554 |     186676 |     202462 |     169072 |
1775.05/274.10	c (218,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1775.05/274.10	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1775.05/274.10	c (218,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1775.05/274.10	c (218,0) c | Binaries      |                 |         88 |         57 |         65 |         74 |         65 |         58 |         52 |         43 |
1775.05/274.10	c (218,0) c | Glues         |                 |       1212 |        964 |       1141 |        935 |       1282 |        886 |       1047 |        918 |
1775.05/274.10	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1775.05/274.10	c (218,0) c | Orig_Seen     |            50 % |      73361 |      60248 |      72586 |      58530 |      73248 |      58738 |      68680 |      60434 |
1775.05/274.10	c (218,0) c | Diff Orig seen|                 |      14831 |       1718 |      14056 |      X     |      14718 |        208 |      10150 |       1904 |
1775.05/274.10	c (218,0) c | Hamming       |            46 % |       5641 |       6192 |       5646 |      X     |       5993 |       5998 |       5733 |       5976 |
1775.05/274.10	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1775.05/274.10	c (218,0) c | RunningTime   |                 |  207.3  95%|  217.5 100%|  209.2  96%|  217.4 100%|  212.2  97%|  217.4 100%|  206.4  95%|  216.6 100%|
1775.05/274.10	c (218,0) c | WaitingTime   |                 |   10.2   5%|    0.0   0%|    8.3   4%|    0.0   0%|    5.3   2%|    0.1   0%|   11.1   5%|    0.9   0%|
1775.05/274.10	c (218,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%|
1775.05/274.10	c (218,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%|
1775.05/274.10	c (218,0) c | SolvingTime   |                 |  217.6     |  217.6     |  217.6     |  217.6     |  217.7     |  217.6     |  217.6     |  217.6     |
1775.05/274.10	c (218,0) c | PropagationTim|                 |  206.7  95%|  205.6  94%|  206.4  95%|  205.8  95%|  206.5  95%|  203.8  94%|  207.0  95%|  207.3  95%|
1775.05/274.10	c (218,0) c | AnalysisTime  |                 |    5.5   3%|    7.2   3%|    5.7   3%|    6.9   3%|    5.7   3%|    9.1   4%|    5.4   2%|    5.5   3%|
1775.05/274.10	c (218,0) c | ReductionTime |                 |    0.7   0%|    0.6   0%|    0.8   0%|    0.5   0%|    0.7   0%|    0.5   0%|    0.7   0%|    0.5   0%|
1775.05/274.10	c (218,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%|
1775.05/274.10	c (218,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%|
1775.05/274.10	c (218,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%|
1775.05/274.10	c (218,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1775.05/274.10	c (218,0) c
1775.05/274.10	c (218,0) c
1775.05/274.10	c (218,0) c Threads : 8
1775.05/274.10	c (218,0) c Winner : 3
1775.05/274.10	c (218,0) c Conflicts_0 : 299730
1775.05/274.10	c (218,0) c Conflicts_1 : 266631
1775.05/274.10	c (218,0) c Conflicts_2 : 304669
1775.05/274.10	c (218,0) c Conflicts_3 : 265931
1775.05/274.10	c (218,0) c Conflicts_4 : 292447
1775.05/274.10	c (218,0) c Conflicts_5 : 265052
1775.05/274.10	c (218,0) c Conflicts_6 : 300149
1775.05/274.10	c (218,0) c Conflicts_7 : 269543
1775.05/274.10	c (218,0) c Conflicts_total : 2264152
1775.05/274.10	c (218,0) c Conflicts_winner : 265931
1775.05/274.10	c (218,0) c Decisions_0 : 339907
1775.05/274.10	c (218,0) c Decisions_1 : 300105
1775.05/274.10	c (218,0) c Decisions_2 : 345082
1775.05/274.10	c (218,0) c Decisions_3 : 300721
1775.05/274.10	c (218,0) c Decisions_4 : 332595
1775.05/274.10	c (218,0) c Decisions_5 : 298070
1775.05/274.10	c (218,0) c Decisions_6 : 338843
1775.05/274.10	c (218,0) c Decisions_7 : 303355
1775.05/274.10	c (218,0) c Decisions_total : 2558678
1775.05/274.10	c (218,0) c Decisions_winner : 300721
1775.05/274.10	c (218,0) c Propagations_0 : 510915945
1775.05/274.10	c (218,0) c Propagations_1 : 449349225
1775.05/274.10	c (218,0) c Propagations_2 : 518839840
1775.05/274.10	c (218,0) c Propagations_3 : 441606147
1775.05/274.10	c (218,0) c Propagations_4 : 507270617
1775.05/274.10	c (218,0) c Propagations_5 : 436986564
1775.05/274.10	c (218,0) c Propagations_6 : 512722255
1775.05/274.10	c (218,0) c Propagations_7 : 456024434
1775.05/274.10	c (218,0) c Propagations_total : 3833715027
1775.05/274.10	c (218,0) c Propagations_winner : 441606147
1775.05/274.10	c (218,0) c ReduceDBs_0 : 107
1775.05/274.10	c (218,0) c ReduceDBs_1 : 14
1775.05/274.10	c (218,0) c ReduceDBs_2 : 110
1775.05/274.10	c (218,0) c ReduceDBs_3 : 14
1775.05/274.10	c (218,0) c ReduceDBs_4 : 104
1775.05/274.10	c (218,0) c ReduceDBs_5 : 14
1775.05/274.10	c (218,0) c ReduceDBs_6 : 108
1775.05/274.10	c (218,0) c ReduceDBs_7 : 14
1775.05/274.10	c (218,0) c ReduceDBs_total : 485
1775.05/274.10	c (218,0) c ReduceDBs_winner : 14
1775.05/274.10	c (218,0) c SimpDBs_0 : 1
1775.05/274.10	c (218,0) c SimpDBs_1 : 1
1775.05/274.10	c (218,0) c SimpDBs_2 : 1
1775.05/274.10	c (218,0) c SimpDBs_3 : 1
1775.05/274.10	c (218,0) c SimpDBs_4 : 1
1775.05/274.10	c (218,0) c SimpDBs_5 : 1
1775.05/274.10	c (218,0) c SimpDBs_6 : 1
1775.05/274.10	c (218,0) c SimpDBs_7 : 1
1775.05/274.10	c (218,0) c SimpDBs_total : 8
1775.05/274.10	c (218,0) c SimpDBs_winner : 1
1775.05/274.10	c (218,0) c Restarts_0 : 93
1775.05/274.10	c (218,0) c Restarts_1 : 101
1775.05/274.10	c (218,0) c Restarts_2 : 62
1775.05/274.10	c (218,0) c Restarts_3 : 101
1775.05/274.10	c (218,0) c Restarts_4 : 79
1775.05/274.10	c (218,0) c Restarts_5 : 56
1775.05/274.10	c (218,0) c Restarts_6 : 89
1775.05/274.10	c (218,0) c Restarts_7 : 54
1775.05/274.10	c (218,0) c Restarts_total : 635
1775.05/274.10	c (218,0) c Restarts_winner : 101
1775.05/274.10	c (218,0) c ForcedImports_0 : 0
1775.05/274.10	c (218,0) c ForcedImports_1 : 0
1775.05/274.10	c (218,0) c ForcedImports_2 : 0
1775.05/274.10	c (218,0) c ForcedImports_3 : 0
1775.05/274.10	c (218,0) c ForcedImports_4 : 0
1775.05/274.10	c (218,0) c ForcedImports_5 : 0
1775.05/274.10	c (218,0) c ForcedImports_6 : 0
1775.05/274.10	c (218,0) c ForcedImports_7 : 0
1775.05/274.10	c (218,0) c ForcedImports_total : 0
1775.05/274.10	c (218,0) c ForcedImports_winner : 0
1775.05/274.10	c (218,0) c PropsBinClauses_0 : 163474278
1775.05/274.10	c (218,0) c PropsBinClauses_1 : 144872426
1775.05/274.10	c (218,0) c PropsBinClauses_2 : 169902356
1775.05/274.10	c (218,0) c PropsBinClauses_3 : 148091591
1775.05/274.10	c (218,0) c PropsBinClauses_4 : 160478766
1775.05/274.10	c (218,0) c PropsBinClauses_5 : 142428888
1775.05/274.10	c (218,0) c PropsBinClauses_6 : 170711603
1775.05/274.10	c (218,0) c PropsBinClauses_7 : 144581227
1775.05/274.10	c (218,0) c PropsBinClauses_total : 1244541135
1775.05/274.10	c (218,0) c PropsBinClauses_winner : 148091591
1775.05/274.10	c (218,0) c PropsPreBlocker_0 : 5181585807
1775.05/274.10	c (218,0) c PropsPreBlocker_1 : 5145082740
1775.05/274.10	c (218,0) c PropsPreBlocker_2 : 5189312595
1775.05/274.10	c (218,0) c PropsPreBlocker_3 : 5074886098
1775.05/274.10	c (218,0) c PropsPreBlocker_4 : 5155475330
1775.05/274.10	c (218,0) c PropsPreBlocker_5 : 5063616937
1775.05/274.10	c (218,0) c PropsPreBlocker_6 : 5171081144
1775.05/274.10	c (218,0) c PropsPreBlocker_7 : 5153381892
1775.05/274.10	c (218,0) c PropsPreBlocker_total : 41134422543
1775.05/274.10	c (218,0) c PropsPreBlocker_winner : 5074886098
1775.05/274.10	c (218,0) c PropsNotBlocker_0 : 1846384420
1775.05/274.10	c (218,0) c PropsNotBlocker_1 : 1745425188
1775.05/274.10	c (218,0) c PropsNotBlocker_2 : 1820105474
1775.05/274.10	c (218,0) c PropsNotBlocker_3 : 1717732860
1775.05/274.10	c (218,0) c PropsNotBlocker_4 : 1848938758
1775.05/274.10	c (218,0) c PropsNotBlocker_5 : 1704204064
1775.05/274.10	c (218,0) c PropsNotBlocker_6 : 1843271520
1775.05/274.10	c (218,0) c PropsNotBlocker_7 : 1710669811
1775.05/274.10	c (218,0) c PropsNotBlocker_total : 14236732095
1775.05/274.10	c (218,0) c PropsNotBlocker_winner : 1717732860
1775.05/274.10	c (218,0) c PropsLitFullScans_0 : 8688515747
1775.05/274.10	c (218,0) c PropsLitFullScans_1 : 8688597285
1775.05/274.10	c (218,0) c PropsLitFullScans_2 : 8688518173
1775.05/274.10	c (218,0) c PropsLitFullScans_3 : 8566155604
1775.05/274.10	c (218,0) c PropsLitFullScans_4 : 8658582639
1775.05/274.10	c (218,0) c PropsLitFullScans_5 : 8580639863
1775.05/274.10	c (218,0) c PropsLitFullScans_6 : 8688483301
1775.05/274.10	c (218,0) c PropsLitFullScans_7 : 8688632638
1775.05/274.10	c (218,0) c PropsLitFullScans_total : 69248125250
1775.05/274.10	c (218,0) c PropsLitFullScans_winner : 8566155604
1775.05/274.10	c (218,0) c LitScanFractions_0 : 493446
1775.05/274.10	c (218,0) c LitScanFractions_1 : 590280
1775.05/274.10	c (218,0) c LitScanFractions_2 : 511760
1775.05/274.10	c (218,0) c LitScanFractions_3 : 568077
1775.05/274.10	c (218,0) c LitScanFractions_4 : 579569
1775.05/274.10	c (218,0) c LitScanFractions_5 : 632258
1775.05/274.11	c (218,0) c LitScanFractions_6 : 482239
1775.05/274.11	c (218,0) c LitScanFractions_7 : 629482
1775.05/274.11	c (218,0) c LitScanFractions_total : 4487111
1775.05/274.11	c (218,0) c LitScanFractions_winner : 568077
1775.05/274.11	c (218,0) c DecisionLevel0_0 : 93
1775.05/274.11	c (218,0) c DecisionLevel0_1 : 101
1775.05/274.11	c (218,0) c DecisionLevel0_2 : 62
1775.05/274.11	c (218,0) c DecisionLevel0_3 : 101
1775.05/274.11	c (218,0) c DecisionLevel0_4 : 79
1775.05/274.11	c (218,0) c DecisionLevel0_5 : 56
1775.05/274.11	c (218,0) c DecisionLevel0_6 : 89
1775.05/274.11	c (218,0) c DecisionLevel0_7 : 54
1775.05/274.11	c (218,0) c DecisionLevel0_total : 635
1775.05/274.11	c (218,0) c DecisionLevel0_winner : 101
1775.05/274.11	c (218,0) c Periods_0 : 1448
1775.05/274.11	c (218,0) c Periods_1 : 1448
1775.05/274.11	c (218,0) c Periods_2 : 1448
1775.05/274.11	c (218,0) c Periods_3 : 1427
1775.05/274.11	c (218,0) c Periods_4 : 1443
1775.05/274.11	c (218,0) c Periods_5 : 1430
1775.05/274.11	c (218,0) c Periods_6 : 1448
1775.05/274.11	c (218,0) c Periods_7 : 1448
1775.05/274.11	c (218,0) c Periods_total : 11540
1775.05/274.11	c (218,0) c Periods_winner : 1427
1775.05/274.11	c (218,0) c Margin_0 : 20
1775.05/274.11	c (218,0) c Margin_1 : 20
1775.05/274.11	c (218,0) c Margin_2 : 20
1775.05/274.11	c (218,0) c Margin_3 : 20
1775.05/274.11	c (218,0) c Margin_4 : 20
1775.05/274.11	c (218,0) c Margin_5 : 20
1775.05/274.11	c (218,0) c Margin_6 : 20
1775.05/274.11	c (218,0) c Margin_7 : 20
1775.05/274.11	c (218,0) c Margin_total : 160
1775.05/274.11	c (218,0) c Margin_winner : 20
1775.05/274.11	c (218,0) c Exported_0 : 40964
1775.05/274.11	c (218,0) c Exported_1 : 32135
1775.05/274.11	c (218,0) c Exported_2 : 41559
1775.05/274.11	c (218,0) c Exported_3 : 31302
1775.05/274.11	c (218,0) c Exported_4 : 39723
1775.05/274.11	c (218,0) c Exported_5 : 31817
1775.05/274.11	c (218,0) c Exported_6 : 40722
1775.05/274.11	c (218,0) c Exported_7 : 32024
1775.05/274.11	c (218,0) c Exported_total : 290246
1775.05/274.11	c (218,0) c Exported_winner : 31302
1775.05/274.11	c (218,0) c Imported_0 : 222934
1775.05/274.11	c (218,0) c Imported_1 : 255623
1775.05/274.11	c (218,0) c Imported_2 : 242342
1775.05/274.11	c (218,0) c Imported_3 : 239491
1775.05/274.11	c (218,0) c Imported_4 : 227323
1775.05/274.11	c (218,0) c Imported_5 : 253679
1775.05/274.11	c (218,0) c Imported_6 : 212747
1775.05/274.11	c (218,0) c Imported_7 : 235647
1775.05/274.11	c (218,0) c Imported_total : 1889786
1775.05/274.11	c (218,0) c Imported_winner : 239491
1775.05/274.11	c (218,0) c Good_0 : 403
1775.05/274.11	c (218,0) c Good_1 : 444
1775.05/274.11	c (218,0) c Good_2 : 434
1775.05/274.11	c (218,0) c Good_3 : 419
1775.05/274.11	c (218,0) c Good_4 : 425
1775.05/274.11	c (218,0) c Good_5 : 442
1775.05/274.11	c (218,0) c Good_6 : 436
1775.05/274.11	c (218,0) c Good_7 : 449
1775.05/274.11	c (218,0) c Good_total : 3452
1775.05/274.11	c (218,0) c Good_winner : 419
1775.05/274.11	c (218,0) c Purge_0 : 222531
1775.05/274.11	c (218,0) c Purge_1 : 255179
1775.05/274.11	c (218,0) c Purge_2 : 241908
1775.05/274.11	c (218,0) c Purge_3 : 239072
1775.05/274.11	c (218,0) c Purge_4 : 226898
1775.05/274.11	c (218,0) c Purge_5 : 253237
1775.05/274.11	c (218,0) c Purge_6 : 212311
1775.05/274.11	c (218,0) c Purge_7 : 235198
1775.05/274.11	c (218,0) c Purge_total : 1886334
1775.05/274.11	c (218,0) c Purge_winner : 239072
1775.05/274.11	c (218,0) c Promoted_0 : 9333
1775.05/274.11	c (218,0) c Promoted_1 : 18584
1775.05/274.11	c (218,0) c Promoted_2 : 8366
1775.05/274.11	c (218,0) c Promoted_3 : 18569
1775.05/274.11	c (218,0) c Promoted_4 : 9163
1775.05/274.11	c (218,0) c Promoted_5 : 18041
1775.05/274.11	c (218,0) c Promoted_6 : 7699
1775.05/274.11	c (218,0) c Promoted_7 : 18434
1775.05/274.11	c (218,0) c Promoted_total : 108189
1775.05/274.11	c (218,0) c Promoted_winner : 18569
1775.05/274.11	c (218,0) c Remove_Imp_0 : 212053
1775.05/274.11	c (218,0) c Remove_Imp_1 : 187782
1775.05/274.11	c (218,0) c Remove_Imp_2 : 231956
1775.05/274.11	c (218,0) c Remove_Imp_3 : 172777
1775.05/274.11	c (218,0) c Remove_Imp_4 : 216554
1775.05/274.11	c (218,0) c Remove_Imp_5 : 186676
1775.05/274.11	c (218,0) c Remove_Imp_6 : 202462
1775.05/274.11	c (218,0) c Remove_Imp_7 : 169072
1775.05/274.11	c (218,0) c Remove_Imp_total : 1579332
1775.05/274.11	c (218,0) c Remove_Imp_winner : 172777
1775.05/274.11	c (218,0) c Blocked_Reuse_0 : 0
1775.05/274.11	c (218,0) c Blocked_Reuse_1 : 0
1775.05/274.11	c (218,0) c Blocked_Reuse_2 : 0
1775.05/274.11	c (218,0) c Blocked_Reuse_3 : 0
1775.05/274.11	c (218,0) c Blocked_Reuse_4 : 0
1775.05/274.11	c (218,0) c Blocked_Reuse_5 : 0
1775.05/274.11	c (218,0) c Blocked_Reuse_6 : 0
1775.05/274.11	c (218,0) c Blocked_Reuse_7 : 0
1775.05/274.11	c (218,0) c Blocked_Reuse_total : 0
1775.05/274.11	c (218,0) c Blocked_Reuse_winner : 0
1775.05/274.11	c (218,0) c Unaries_0 : 0
1775.05/274.11	c (218,0) c Unaries_1 : 0
1775.05/274.11	c (218,0) c Unaries_2 : 0
1775.05/274.11	c (218,0) c Unaries_3 : 0
1775.05/274.11	c (218,0) c Unaries_4 : 0
1775.05/274.11	c (218,0) c Unaries_5 : 0
1775.05/274.11	c (218,0) c Unaries_6 : 0
1775.05/274.11	c (218,0) c Unaries_7 : 0
1775.05/274.11	c (218,0) c Unaries_total : 0
1775.05/274.11	c (218,0) c Unaries_winner : 0
1775.05/274.11	c (218,0) c Binaries_0 : 88
1775.05/274.11	c (218,0) c Binaries_1 : 57
1775.05/274.11	c (218,0) c Binaries_2 : 65
1775.05/274.11	c (218,0) c Binaries_3 : 74
1775.05/274.11	c (218,0) c Binaries_4 : 65
1775.05/274.11	c (218,0) c Binaries_5 : 58
1775.05/274.11	c (218,0) c Binaries_6 : 52
1775.05/274.11	c (218,0) c Binaries_7 : 43
1775.05/274.11	c (218,0) c Binaries_total : 502
1775.05/274.11	c (218,0) c Binaries_winner : 74
1775.05/274.11	c (218,0) c Glues_0 : 1212
1775.05/274.11	c (218,0) c Glues_1 : 964
1775.05/274.11	c (218,0) c Glues_2 : 1141
1775.05/274.11	c (218,0) c Glues_3 : 935
1775.05/274.11	c (218,0) c Glues_4 : 1282
1775.05/274.11	c (218,0) c Glues_5 : 886
1775.05/274.11	c (218,0) c Glues_6 : 1047
1775.46/274.11	c (218,0) c Glues_7 : 918
1775.46/274.11	c (218,0) c Glues_total : 8385
1775.46/274.11	c (218,0) c Glues_winner : 935
1775.46/274.11	c (218,0) c RunningTime_0 : 207.289328
1775.46/274.11	c (218,0) c RunningTime_1 : 217.515900
1775.46/274.11	c (218,0) c RunningTime_2 : 209.160076
1775.46/274.11	c (218,0) c RunningTime_3 : 217.430124
1775.46/274.11	c (218,0) c RunningTime_4 : 212.233118
1775.46/274.11	c (218,0) c RunningTime_5 : 217.395854
1775.46/274.11	c (218,0) c RunningTime_6 : 206.403738
1775.46/274.11	c (218,0) c RunningTime_7 : 216.587101
1775.46/274.11	c (218,0) c RunningTime_total : 1704.015239
1775.46/274.11	c (218,0) c RunningTime_winner : 217.430124
1775.46/274.11	c (218,0) c WaitingTime_0 : 10.223447
1775.46/274.11	c (218,0) c WaitingTime_1 : 0.003779
1775.46/274.11	c (218,0) c WaitingTime_2 : 8.324801
1775.46/274.11	c (218,0) c WaitingTime_3 : 0.031791
1775.46/274.11	c (218,0) c WaitingTime_4 : 5.306275
1775.46/274.11	c (218,0) c WaitingTime_5 : 0.088498
1775.46/274.11	c (218,0) c WaitingTime_6 : 11.089866
1775.46/274.11	c (218,0) c WaitingTime_7 : 0.930777
1775.46/274.11	c (218,0) c WaitingTime_total : 35.999234
1775.46/274.11	c (218,0) c WaitingTime_winner : 0.031791
1775.46/274.11	c (218,0) c ExchangingTime_0 : 0.121061
1775.46/274.11	c (218,0) c ExchangingTime_1 : 0.110439
1775.46/274.11	c (218,0) c ExchangingTime_2 : 0.130927
1775.46/274.11	c (218,0) c ExchangingTime_3 : 0.109237
1775.46/274.11	c (218,0) c ExchangingTime_4 : 0.125391
1775.46/274.11	c (218,0) c ExchangingTime_5 : 0.121665
1775.46/274.11	c (218,0) c ExchangingTime_6 : 0.119843
1775.46/274.11	c (218,0) c ExchangingTime_7 : 0.106055
1775.46/274.11	c (218,0) c ExchangingTime_total : 0.944618
1775.46/274.11	c (218,0) c ExchangingTime_winner : 0.109237
1775.46/274.11	c (218,0) c PeriodProcTime_0 : 0.013244
1775.46/274.11	c (218,0) c PeriodProcTime_1 : 0.013404
1775.46/274.11	c (218,0) c PeriodProcTime_2 : 0.012706
1775.46/274.11	c (218,0) c PeriodProcTime_3 : 0.017350
1775.46/274.11	c (218,0) c PeriodProcTime_4 : 0.012868
1775.46/274.11	c (218,0) c PeriodProcTime_5 : 0.013087
1775.46/274.11	c (218,0) c PeriodProcTime_6 : 0.012083
1775.46/274.11	c (218,0) c PeriodProcTime_7 : 0.012735
1775.46/274.11	c (218,0) c PeriodProcTime_total : 0.107476
1775.46/274.11	c (218,0) c PeriodProcTime_winner : 0.017350
1775.46/274.11	c (218,0) c SolvingTime_0 : 217.647080
1775.46/274.11	c (218,0) c SolvingTime_1 : 217.643522
1775.46/274.11	c (218,0) c SolvingTime_2 : 217.628511
1775.46/274.11	c (218,0) c SolvingTime_3 : 217.588502
1775.46/274.11	c (218,0) c SolvingTime_4 : 217.677652
1775.46/274.11	c (218,0) c SolvingTime_5 : 217.619105
1775.46/274.11	c (218,0) c SolvingTime_6 : 217.625530
1775.46/274.11	c (218,0) c SolvingTime_7 : 217.636667
1775.46/274.11	c (218,0) c SolvingTime_total : 1741.066568
1775.46/274.11	c (218,0) c SolvingTime_winner : 217.588502
1775.46/274.11	c (218,0) c PropagationTime_0 : 206.741662
1775.46/274.11	c (218,0) c PropagationTime_1 : 205.579476
1775.46/274.11	c (218,0) c PropagationTime_2 : 206.381569
1775.46/274.11	c (218,0) c PropagationTime_3 : 205.836379
1775.46/274.11	c (218,0) c PropagationTime_4 : 206.499808
1775.46/274.11	c (218,0) c PropagationTime_5 : 203.772471
1775.46/274.11	c (218,0) c PropagationTime_6 : 207.046630
1775.46/274.11	c (218,0) c PropagationTime_7 : 207.313840
1775.46/274.11	c (218,0) c PropagationTime_total : 1649.171836
1775.46/274.11	c (218,0) c PropagationTime_winner : 205.836379
1775.46/274.11	c (218,0) c AnalysisTime_0 : 5.539646
1775.46/274.11	c (218,0) c AnalysisTime_1 : 7.197713
1775.46/274.11	c (218,0) c AnalysisTime_2 : 5.742058
1775.46/274.11	c (218,0) c AnalysisTime_3 : 6.873998
1775.46/274.11	c (218,0) c AnalysisTime_4 : 5.710731
1775.46/274.11	c (218,0) c AnalysisTime_5 : 9.077822
1775.46/274.11	c (218,0) c AnalysisTime_6 : 5.432787
1775.46/274.11	c (218,0) c AnalysisTime_7 : 5.509807
1775.46/274.11	c (218,0) c AnalysisTime_total : 51.084562
1775.46/274.11	c (218,0) c AnalysisTime_winner : 6.873998
1775.46/274.11	c (218,0) c ReductionTime_0 : 0.730855
1775.46/274.11	c (218,0) c ReductionTime_1 : 0.557428
1775.46/274.11	c (218,0) c ReductionTime_2 : 0.758228
1775.46/274.11	c (218,0) c ReductionTime_3 : 0.511309
1775.46/274.11	c (218,0) c ReductionTime_4 : 0.733270
1775.46/274.11	c (218,0) c ReductionTime_5 : 0.534401
1775.46/274.11	c (218,0) c ReductionTime_6 : 0.653967
1775.46/274.11	c (218,0) c ReductionTime_7 : 0.540164
1775.46/274.11	c (218,0) c ReductionTime_total : 5.019623
1775.46/274.11	c (218,0) c ReductionTime_winner : 0.511309
1775.46/274.11	c (218,0) c SimplifyTime_0 : 0.000013
1775.46/274.11	c (218,0) c SimplifyTime_1 : 0.000010
1775.46/274.11	c (218,0) c SimplifyTime_2 : 0.000008
1775.46/274.11	c (218,0) c SimplifyTime_3 : 0.000009
1775.46/274.11	c (218,0) c SimplifyTime_4 : 0.000011
1775.46/274.11	c (218,0) c SimplifyTime_5 : 0.000007
1775.46/274.11	c (218,0) c SimplifyTime_6 : 0.000011
1775.46/274.11	c (218,0) c SimplifyTime_7 : 0.000003
1775.46/274.11	c (218,0) c SimplifyTime_total : 0.000072
1775.46/274.11	c (218,0) c SimplifyTime_winner : 0.000009
1775.46/274.11	c (218,0) c UsedRateTime_0 : 0.000000
1775.46/274.11	c (218,0) c UsedRateTime_1 : 0.000000
1775.46/274.11	c (218,0) c UsedRateTime_2 : 0.000000
1775.46/274.11	c (218,0) c UsedRateTime_3 : 0.000000
1775.46/274.11	c (218,0) c UsedRateTime_4 : 0.000000
1775.46/274.11	c (218,0) c UsedRateTime_5 : 0.000000
1775.46/274.11	c (218,0) c UsedRateTime_6 : 0.000000
1775.46/274.11	c (218,0) c UsedRateTime_7 : 0.000000
1775.46/274.11	c (218,0) c UsedRateTime_total : 0.000000
1775.46/274.11	c (218,0) c UsedRateTime_winner : 0.000000
1775.46/274.11	c (218,0) c OverlapRateTime_0 : 0.000000
1775.46/274.11	c (218,0) c OverlapRateTime_1 : 0.000000
1775.46/274.11	c (218,0) c OverlapRateTime_2 : 0.000000
1775.46/274.11	c (218,0) c OverlapRateTime_3 : 0.000000
1775.46/274.11	c (218,0) c OverlapRateTime_4 : 0.000000
1775.46/274.11	c (218,0) c OverlapRateTime_5 : 0.000000
1775.46/274.11	c (218,0) c OverlapRateTime_6 : 0.000000
1775.46/274.11	c (218,0) c OverlapRateTime_7 : 0.000000
1775.46/274.11	c (218,0) c OverlapRateTime_total : 0.000000
1775.46/274.11	c (218,0) c OverlapRateTime_winner : 0.000000
1775.46/274.11	c (218,0) c
1775.46/274.11	c (218,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1775.46/274.11	c (218,0) c
1775.46/274.11	c (218,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1775.46/274.11	c (218,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1775.46/274.11	c (218,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1775.46/274.11	c (218,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1775.46/274.11	c (218,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1775.46/274.11	c (218,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1775.46/274.11	c (218,0) c | Initial random_seed   |  394570910 |  877452258 | 2087886662 |  655359485 | 1336969595 | 1783460817 |  737315020 | 1612394220 |
1775.46/274.11	c (218,0) c | chanseokStrategy      |       True |      False |       True |      False |       True |      False |       True |      False |
1775.46/274.13	c (218,0) c | coLBDBound            |          4 |          5 |          4 |          5 |          4 |          5 |          4 |          5 |
1775.46/274.13	c (218,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1775.46/274.13	c (218,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1775.46/274.13	c (218,0) c | incReduceDB           |          0 |        300 |          0 |        300 |          0 |        300 |          0 |        300 |
1775.46/274.13	c (218,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1775.46/274.13	c (218,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1775.46/274.13	c (218,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1775.46/274.13	c (218,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1775.46/274.13	c (218,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1775.46/274.13	c (218,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1775.46/274.13	c (218,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1775.46/274.13	c (218,0) 
1775.46/274.13	c (218,0) s SATISFIABLE
1775.46/274.16	c (218,0) SatSolver.solve End
1775.46/274.16	c (218,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1775.46/274.16	c (218,0) Show results Begin
1775.68/274.23	c (218,0) x[0] = 4
1775.68/274.23	c (218,0) x[1] = 0
1775.68/274.23	c (218,0) x[2] = 0
1775.68/274.23	c (218,0) x[3] = 2
1775.68/274.23	c (218,0) x[4] = 0
1775.68/274.23	c (218,0) x[5] = 4
1775.68/274.23	c (218,0) x[6] = 0
1775.68/274.23	c (218,0) x[7] = 3
1775.68/274.23	c (218,0) x[8] = 0
1775.68/274.23	c (218,0) x[9] = 3
1775.68/274.23	c (218,0) x[10] = 3
1775.68/274.23	c (218,0) x[11] = 4
1775.68/274.23	c (218,0) x[12] = 0
1775.68/274.23	c (218,0) x[13] = 1
1775.68/274.23	c (218,0) x[14] = 1
1775.68/274.23	c (218,0) x[15] = 4
1775.68/274.23	c (218,0) x[16] = 0
1775.68/274.23	c (218,0) x[17] = 1
1775.68/274.23	c (218,0) x[18] = 0
1775.68/274.23	c (218,0) x[19] = 4
1775.68/274.23	c (218,0) x[20] = 1
1775.68/274.23	c (218,0) x[21] = 4
1775.68/274.23	c (218,0) x[22] = 4
1775.68/274.23	c (218,0) x[23] = 1
1775.68/274.23	c (218,0) x[24] = 3
1775.68/274.23	s SATISFIABLE
1775.68/274.23	v <instantiation>
1775.68/274.23	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24]</list>
1775.68/274.23	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>
1775.68/274.23	v </instantiation>
1775.68/274.23	c (218,0) Show results End
1775.68/274.23	c (218,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1775.68/274.23	c (218,0) 218,218,STOP-AFTER(ALL)
1775.68/274.23	c END-Prog: Tue Sep 24 16:43:15 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 (11987 MiB free)
  memory of node 1: 16384 MiB (13073 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405300-1569335979/watcher-4405300-1569335979 -o /tmp/evaluation-result-4405300-1569335979/solver-4405300-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405300-1569335979.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 threadver pid=18454

Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 18479
/proc/meminfo: memFree=25566252/32770624 swapFree=66999256/67108860
[pid=18457] ppid=18454 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18457/stat : 18457 (scop.sh) S 18454 18457 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509851014 115843072 349 33554432000 4194304 5098028 140722581717392 140722581714648 139938837176956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32432128 140722581721893 140722581722220 140722581722220 140722581725133 0
/proc/18457/statm: 28282 349 296 221 0 87 0
[pid=18460] ppid=18457 vsize=27314120 memory=106956 CPUtime=0.09 cores=0-7
/proc/18460/stat : 18460 (java) S 18457 18457 18413 0 -1 1077944320 6270 0 0 0 7 2 0 0 20 0 20 0 509851014 27969658880 26739 33554432000 4194304 4196468 140730736821040 140730736803584 139871266467575 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
/proc/18460/statm: 6828530 26739 2774 1 0 6790935 0
[pid=18460/tid=18461] ppid=18457 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/18460/task/18461/stat : 18461 (java) R 18457 18457 18413 0 -1 4202560 4392 0 0 0 6 2 0 0 20 0 20 0 509851015 27969658880 26739 33554432000 4194304 4196468 140730736821040 139871238293760 139871266489501 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18462] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18462/stat : 18462 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 26739 33554432000 4194304 4196468 140730736821040 139871270709904 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18463] ppid=18457 vsize=27314120 memory=288370291271263872 CPUtime=0 cores=0-7
/proc/18460/task/18463/stat : 18463 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 26739 33554432000 4194304 4196468 140730736821040 139871054105104 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18464] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18464/stat : 18464 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 26739 33554432000 4194304 4196468 140730736821040 139871053052304 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18465] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18465/stat : 18465 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 26739 33554432000 4194304 4196468 140730736821040 139871051999504 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18466] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18466/stat : 18466 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 26739 33554432000 4194304 4196468 140730736821040 139871050947728 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18467] ppid=18457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18460/task/18467/stat : 18467 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 26739 33554432000 4194304 4196468 140730736821040 139871049894928 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18468] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18468/stat : 18468 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 26739 33554432000 4194304 4196468 140730736821040 139871048842128 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18469] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18469/stat : 18469 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 26739 33554432000 4194304 4196468 140730736821040 139871047789328 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18470] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18470/stat : 18470 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851019 27969658880 26739 33554432000 4194304 4196468 140730736821040 139869855201648 139871266478722 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18471] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18471/stat : 18471 (java) S 18457 18457 18413 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 509851020 27969658880 26739 33554432000 4194304 4196468 140730736821040 139869166756896 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18472] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18472/stat : 18472 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851020 27969658880 26739 33554432000 4194304 4196468 140730736821040 139868898321264 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18473] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18473/stat : 18473 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 26739 33554432000 4194304 4196468 140730736821040 139868523812688 139871266486171 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18474] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18474/stat : 18474 (java) S 18457 18457 18413 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 26739 33554432000 4194304 4196468 140730736821040 139869854149488 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18475] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18475/stat : 18475 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 26739 33554432000 4194304 4196468 140730736821040 139869853096688 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18476] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18476/stat : 18476 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 26739 33554432000 4194304 4196468 140730736821040 139869852043888 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18477] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18477/stat : 18477 (java) S 18457 18457 18413 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 26739 33554432000 4194304 4196468 140730736821040 139869850991088 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18478] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18478/stat : 18478 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 26739 33554432000 4194304 4196468 140730736821040 139868025907808 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18479] ppid=18457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18460/task/18479/stat : 18479 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 26739 33554432000 4194304 4196468 140730736821040 139869849938480 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108352 KiB

[startup+0.21054 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 18479
/proc/meminfo: memFree=25548036/32770624 swapFree=66999256/67108860
[pid=18457] ppid=18454 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18457/stat : 18457 (scop.sh) S 18454 18457 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509851014 115843072 349 33554432000 4194304 5098028 140722581717392 140722581714648 139938837176956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32432128 140722581721893 140722581722220 140722581722220 140722581725133 0
/proc/18457/statm: 28282 349 296 221 0 87 0
[pid=18460] ppid=18457 vsize=27314120 memory=124064 CPUtime=0.23 cores=0-7
/proc/18460/stat : 18460 (java) S 18457 18457 18413 0 -1 1077944320 11254 0 0 0 19 4 0 0 20 0 20 0 509851014 27969658880 31016 33554432000 4194304 4196468 140730736821040 140730736803584 139871266467575 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
/proc/18460/statm: 6828530 31016 2920 1 0 6790935 0
[pid=18460/tid=18461] ppid=18457 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18460/task/18461/stat : 18461 (java) R 18457 18457 18413 0 -1 4202560 8978 0 0 0 16 3 0 0 20 0 20 0 509851015 27969658880 31016 33554432000 4194304 4196468 140730736821040 139871238251824 139871250548092 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18462] ppid=18457 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/18460/task/18462/stat : 18462 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 31016 33554432000 4194304 4196468 140730736821040 139871270709904 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18463] ppid=18457 vsize=27314120 memory=139915119570825 CPUtime=0 cores=0-7
/proc/18460/task/18463/stat : 18463 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 31016 33554432000 4194304 4196468 140730736821040 139871054105104 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18464] ppid=18457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18460/task/18464/stat : 18464 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 31016 33554432000 4194304 4196468 140730736821040 139871053052304 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18465] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18465/stat : 18465 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 31016 33554432000 4194304 4196468 140730736821040 139871051999504 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18466] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18466/stat : 18466 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 31016 33554432000 4194304 4196468 140730736821040 139871050947728 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18467] ppid=18457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18460/task/18467/stat : 18467 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 31016 33554432000 4194304 4196468 140730736821040 139871049894928 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18468] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18468/stat : 18468 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 31016 33554432000 4194304 4196468 140730736821040 139871048842128 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18469] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18469/stat : 18469 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 31016 33554432000 4194304 4196468 140730736821040 139871047789328 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18470] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18470/stat : 18470 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851019 27969658880 31016 33554432000 4194304 4196468 140730736821040 139869855201648 139871266478722 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18471] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18471/stat : 18471 (java) S 18457 18457 18413 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 509851020 27969658880 31016 33554432000 4194304 4196468 140730736821040 139869166756896 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18472] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18472/stat : 18472 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851020 27969658880 31016 33554432000 4194304 4196468 140730736821040 139868898321264 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18473] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18473/stat : 18473 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 31016 33554432000 4194304 4196468 140730736821040 139868523812688 139871266486171 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18474] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18474/stat : 18474 (java) S 18457 18457 18413 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 31016 33554432000 4194304 4196468 140730736821040 139869854149488 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18475] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18475/stat : 18475 (java) S 18457 18457 18413 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 31016 33554432000 4194304 4196468 140730736821040 139869853096688 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18476] ppid=18457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18460/task/18476/stat : 18476 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 31016 33554432000 4194304 4196468 140730736821040 139869852043888 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18477] ppid=18457 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/18460/task/18477/stat : 18477 (java) R 18457 18457 18413 0 -1 4202560 473 0 0 0 2 0 0 0 20 0 20 0 509851023 27969658880 31016 33554432000 4194304 4196468 140730736821040 139869850991088 139871266488922 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18478] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18478/stat : 18478 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 31016 33554432000 4194304 4196468 140730736821040 139868025907808 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18479] ppid=18457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18460/task/18479/stat : 18479 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 31016 33554432000 4194304 4196468 140730736821040 139869849938480 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125460 KiB

[startup+0.310425 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 18479
/proc/meminfo: memFree=25544996/32770624 swapFree=66999256/67108860
[pid=18457] ppid=18454 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18457/stat : 18457 (scop.sh) S 18454 18457 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509851014 115843072 349 33554432000 4194304 5098028 140722581717392 140722581714648 139938837176956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32432128 140722581721893 140722581722220 140722581722220 140722581725133 0
/proc/18457/statm: 28282 349 296 221 0 87 0
[pid=18460] ppid=18457 vsize=27314120 memory=128128 CPUtime=0.41 cores=0-7
/proc/18460/stat : 18460 (java) S 18457 18457 18413 0 -1 1077944320 12333 0 0 0 36 5 0 0 20 0 20 0 509851014 27969658880 32032 33554432000 4194304 4196468 140730736821040 140730736803584 139871266467575 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
/proc/18460/statm: 6828530 32032 3052 1 0 6790935 0
[pid=18460/tid=18461] ppid=18457 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/18460/task/18461/stat : 18461 (java) R 18457 18457 18413 0 -1 4202560 9864 0 0 0 25 4 0 0 20 0 20 0 509851015 27969658880 32032 33554432000 4194304 4196468 140730736821040 139871238250592 139871248031135 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18462] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18462/stat : 18462 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 32032 33554432000 4194304 4196468 140730736821040 139871270709904 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18463] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18463/stat : 18463 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 32032 33554432000 4194304 4196468 140730736821040 139871054105104 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18464] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18464/stat : 18464 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 32032 33554432000 4194304 4196468 140730736821040 139871053052304 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18465] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18465/stat : 18465 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 32032 33554432000 4194304 4196468 140730736821040 139871051999504 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18466] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18466/stat : 18466 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 32032 33554432000 4194304 4196468 140730736821040 139871050947728 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18467] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18467/stat : 18467 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 32032 33554432000 4194304 4196468 140730736821040 139871049894928 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18468] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18468/stat : 18468 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 32032 33554432000 4194304 4196468 140730736821040 139871048842128 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18469] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18469/stat : 18469 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851018 27969658880 32032 33554432000 4194304 4196468 140730736821040 139871047789328 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18470] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18470/stat : 18470 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851019 27969658880 32032 33554432000 4194304 4196468 140730736821040 139869855201648 139871266478722 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18471] ppid=18457 vsize=27314120 memory=279830004440448 CPUtime=0 cores=0-7
/proc/18460/task/18471/stat : 18471 (java) S 18457 18457 18413 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 509851020 27969658880 32032 33554432000 4194304 4196468 140730736821040 139869166756896 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18472] ppid=18457 vsize=27314120 memory=279830004445056 CPUtime=0 cores=0-7
/proc/18460/task/18472/stat : 18472 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851020 27969658880 32032 33554432000 4194304 4196468 140730736821040 139868898321264 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18473] ppid=18457 vsize=27314120 memory=279830004449664 CPUtime=0 cores=0-7
/proc/18460/task/18473/stat : 18473 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 32032 33554432000 4194304 4196468 140730736821040 139868523812688 139871266486171 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18474] ppid=18457 vsize=27314120 memory=279830004454272 CPUtime=0.01 cores=0-7
/proc/18460/task/18474/stat : 18474 (java) S 18457 18457 18413 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 509851023 27969658880 32032 33554432000 4194304 4196468 140730736821040 139869854149488 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18475] ppid=18457 vsize=27314120 memory=279830004458880 CPUtime=0.01 cores=0-7
/proc/18460/task/18475/stat : 18475 (java) S 18457 18457 18413 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 20 0 509851023 27969658880 32032 33554432000 4194304 4196468 140730736821040 139869853096688 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18476] ppid=18457 vsize=27314120 memory=279830004463488 CPUtime=0 cores=0-7
/proc/18460/task/18476/stat : 18476 (java) S 18457 18457 18413 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 32032 33554432000 4194304 4196468 140730736821040 139869852043888 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18477] ppid=18457 vsize=27314120 memory=279830004468096 CPUtime=0.07 cores=0-7
/proc/18460/task/18477/stat : 18477 (java) S 18457 18457 18413 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 20 0 509851023 27969658880 32032 33554432000 4194304 4196468 140730736821040 139869850991088 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18478] ppid=18457 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18478/stat : 18478 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 32032 33554432000 4194304 4196468 140730736821040 139868025907808 139871266477781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18479] ppid=18457 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18460/task/18479/stat : 18479 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851023 27969658880 32032 33554432000 4194304 4196468 140730736821040 139869849938480 139871266478722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129524 KiB

[startup+0.70181 s]
/proc/loadavg: 0.00 0.01 0.05 3/211 18479
/proc/meminfo: memFree=25521548/32770624 swapFree=66999256/67108860
[pid=18457] ppid=18454 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18457/stat : 18457 (scop.sh) S 18454 18457 18413 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509851014 115843072 349 33554432000 4194304 5098028 140722581717392 140722581714648 139938837176956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32432128 140722581721893 140722581722220 140722581722220 140722581725133 0
/proc/18457/statm: 28282 349 296 221 0 87 0
[pid=18460] ppid=18457 vsize=27320392 memory=165388 CPUtime=0.98 cores=0-7
/proc/18460/stat : 18460 (java) S 18457 18457 18413 0 -1 1077944320 19930 0 0 0 90 8 0 0 20 0 20 0 509851014 27976081408 41347 33554432000 4194304 4196468 140730736821040 140730736803584 139871266467575 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
/proc/18460/statm: 6830098 41347 3186 1 0 6791447 0
[pid=18460/tid=18461] ppid=18457 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/18460/task/18461/stat : 18461 (java) R 18457 18457 18413 0 -1 4202560 16878 0 0 0 61 6 0 0 20 0 20 0 509851015 27976081408 41347 33554432000 4194304 4196468 140730736821040 139871238298128 139870729287319 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18462] ppid=18457 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18462/stat : 18462 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509851018 27976081408 41347 33554432000 4194304 4196468 140730736821040 139871270709904 139871266477781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18463] ppid=18457 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18460/task/18463/stat : 18463 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27976081408 41347 33554432000 4194304 4196468 140730736821040 139871054105104 139871266477781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0
[pid=18460/tid=18464] ppid=18457 vsize=27320392 memory=2828 CPUtime=0 cores=0-7
/proc/18460/task/18464/stat : 18464 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509851018 27976081408 41347 33554432000 4194304 4196468 140730736821040 139871053052304 139871266477781 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22724608 140730736829163 140730736829590 140730736829590 140730736832463 0

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

/proc/18483/task/18494/stat : 18494 (java) S 18457 18457 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509856567 8616062976 30269 33554432000 4194304 4196468 140722473704944 140439592101280 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18495] ppid=18457 vsize=8414124 memory=121076 CPUtime=0 cores=0-7
/proc/18483/task/18495/stat : 18495 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856567 8616062976 30269 33554432000 4194304 4196468 140722473704944 140439323665904 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18496] ppid=18457 vsize=8414124 memory=385344 CPUtime=0 cores=0-7
/proc/18483/task/18496/stat : 18496 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140438949157584 140440972031899 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18497] ppid=18457 vsize=8414124 memory=1004 CPUtime=0.08 cores=0-7
/proc/18483/task/18497/stat : 18497 (java) S 18457 18457 18413 0 -1 1077944384 578 0 0 0 8 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440400046064 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18498] ppid=18457 vsize=8414124 memory=6084 CPUtime=0.05 cores=0-7
/proc/18483/task/18498/stat : 18498 (java) S 18457 18457 18413 0 -1 1077944384 278 0 0 0 5 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440398993520 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18499] ppid=18457 vsize=8414124 memory=14008 CPUtime=0.04 cores=0-7
/proc/18483/task/18499/stat : 18499 (java) S 18457 18457 18413 0 -1 1077944384 293 0 0 0 4 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140439994755312 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18500] ppid=18457 vsize=8414124 memory=2124 CPUtime=0.2 cores=0-7
/proc/18483/task/18500/stat : 18500 (java) S 18457 18457 18413 0 -1 1077944384 737 0 0 0 20 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140439993702768 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18501] ppid=18457 vsize=8414124 memory=121076 CPUtime=0 cores=0-7
/proc/18483/task/18501/stat : 18501 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140438451251936 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18502] ppid=18457 vsize=8414124 memory=385344 CPUtime=0.13 cores=0-7
/proc/18483/task/18502/stat : 18502 (java) S 18457 18457 18413 0 -1 1077944384 17 0 0 0 5 8 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140439992650672 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18504] ppid=18457 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/18483/task/18504/stat : 18504 (java) S 18457 18457 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509856636 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440397940416 140440972037913 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18506] ppid=18457 vsize=8414124 memory=121076 CPUtime=0 cores=0-7
/proc/18483/task/18506/stat : 18506 (java) S 18457 18457 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509856637 8616062976 30269 33554432000 4194304 4196468 140722473704944 140437780151568 140440972035229 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18507] ppid=18457 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/18483/task/18507/stat : 18507 (java) S 18457 18457 18413 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509856637 8616062976 30269 33554432000 4194304 4196468 140722473704944 140438048587152 140440972035229 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18508] ppid=18457 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/18483/task/18508/stat : 18508 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856639 8616062976 30269 33554432000 4194304 4196468 140722473704944 140437511724208 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
Current children cumulated CPU time: 1771.91 s
Current children cumulated vsize: 9225780 KiB
Current children cumulated memory: 507896 KiB

[startup+274.002 s]*
/proc/loadavg: 7.20 3.92 1.63 9/225 18538
/proc/meminfo: memFree=25162976/32770624 swapFree=66999256/67108860
[pid=18457] ppid=18454 vsize=113128 memory=1476 CPUtime=74.39 cores=0-7
/proc/18457/stat : 18457 (scop.sh) S 18454 18457 18413 0 -1 4202496 582 78166 0 0 0 0 7119 320 20 0 1 0 509851014 115843072 369 33554432000 4194304 5098028 140722581717392 140722581714136 139938837176956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32432128 140722581721893 140722581722220 140722581722220 140722581725133 0
/proc/18457/statm: 28282 369 311 221 0 87 0
[pid=18483] ppid=18457 vsize=8414124 memory=121076 CPUtime=1.3 cores=0-7
/proc/18483/stat : 18483 (java) S 18457 18457 18413 0 -1 1077944320 21237 0 0 0 122 8 0 0 20 0 24 0 509856563 8616062976 30269 33554432000 4194304 4196468 140722473704944 140722473687488 140440972013303 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
/proc/18483/statm: 2103531 30269 3196 1 0 2064875 0
[pid=18503] ppid=18483 vsize=698528 memory=385396 CPUtime=1699.36 cores=0-7
/proc/18503/stat : 18503 (manyglucose-4.1) S 18483 18457 18413 0 -1 1077944320 360356 0 0 0 169775 161 0 0 20 0 8 0 509856636 715292672 96349 33554432000 4194304 4454172 140735303918096 140735303916480 140275306508023 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 28192768 140735303926633 140735303926832 140735303926832 140735303929786 0
/proc/18503/statm: 174632 96349 417 64 0 170300 0
[pid=18503/tid=18509] ppid=18483 vsize=698528 memory=2828 CPUtime=205.43 cores=0-7
/proc/18503/task/18509/stat : 18509 (manyglucose-4.1) R 18483 18457 18413 0 -1 4202560 43323 0 0 0 20524 19 0 0 20 0 8 0 509856653 715292672 96349 33554432000 4194304 4454172 140735303918096 140275279772704 4351209 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 28192768 140735303926633 140735303926832 140735303926832 140735303929786 0
[pid=18503/tid=18510] ppid=18483 vsize=698528 memory=676 CPUtime=217.45 cores=0-7
/proc/18503/task/18510/stat : 18510 (manyglucose-4.1) R 18483 18457 18413 0 -1 4202560 41826 0 0 0 21726 19 0 0 20 0 8 0 509856653 715292672 96349 33554432000 4194304 4454172 140735303918096 140275271380000 4351331 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 28192768 140735303926633 140735303926832 140735303926832 140735303929786 0
[pid=18503/tid=18511] ppid=18483 vsize=698528 memory=1060 CPUtime=208.05 cores=0-7
/proc/18503/task/18511/stat : 18511 (manyglucose-4.1) R 18483 18457 18413 0 -1 4202560 46891 0 0 0 20786 19 0 0 20 0 8 0 509856653 715292672 96349 33554432000 4194304 4454172 140735303918096 140275262987296 4349826 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 28192768 140735303926633 140735303926832 140735303926832 140735303929786 0
[pid=18503/tid=18513] ppid=18483 vsize=698528 memory=1548 CPUtime=211.79 cores=0-7
/proc/18503/task/18513/stat : 18513 (manyglucose-4.1) R 18483 18457 18413 0 -1 4202560 45177 0 0 0 21161 18 0 0 20 0 8 0 509856653 715292672 96349 33554432000 4194304 4454172 140735303918096 140275246201888 4351331 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 28192768 140735303926633 140735303926832 140735303926832 140735303929786 0
[pid=18503/tid=18514] ppid=18483 vsize=698528 memory=8560 CPUtime=217.34 cores=0-7
/proc/18503/task/18514/stat : 18514 (manyglucose-4.1) R 18483 18457 18413 0 -1 4202560 40924 0 0 0 21714 20 0 0 20 0 8 0 509856653 715292672 96349 33554432000 4194304 4454172 140735303918096 140275237809288 4350267 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 28192768 140735303926633 140735303926832 140735303926832 140735303929786 0
[pid=18503/tid=18515] ppid=18483 vsize=698528 memory=1712 CPUtime=205.12 cores=0-7
/proc/18503/task/18515/stat : 18515 (manyglucose-4.1) R 18483 18457 18413 0 -1 4202560 42339 0 0 0 20491 21 0 0 20 0 8 0 509856653 715292672 96349 33554432000 4194304 4454172 140735303918096 140275229416480 4351289 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 28192768 140735303926633 140735303926832 140735303926832 140735303929786 0
[pid=18503/tid=18516] ppid=18483 vsize=698528 memory=1112 CPUtime=216.53 cores=0-7
/proc/18503/task/18516/stat : 18516 (manyglucose-4.1) R 18483 18457 18413 0 -1 4202560 45051 0 0 0 21634 19 0 0 20 0 8 0 509856653 715292672 96349 33554432000 4194304 4454172 140735303918096 140275221023776 4351769 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 28192768 140735303926633 140735303926832 140735303926832 140735303929786 0
[pid=18483/tid=18484] ppid=18457 vsize=8414124 memory=1398722017469774279 CPUtime=0.75 cores=0-7
/proc/18483/task/18484/stat : 18484 (java) S 18457 18457 18413 0 -1 1077944384 17938 0 0 0 70 5 0 0 20 0 24 0 509856564 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440943853472 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18485] ppid=18457 vsize=8414124 memory=13848573129264102 CPUtime=0 cores=0-7
/proc/18483/task/18485/stat : 18485 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856565 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440976255760 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18486] ppid=18457 vsize=8414124 memory=381248 CPUtime=0 cores=0-7
/proc/18483/task/18486/stat : 18486 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856565 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440456821648 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18487] ppid=18457 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/18483/task/18487/stat : 18487 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856565 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440455769104 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18488] ppid=18457 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/18483/task/18488/stat : 18488 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856565 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440454716560 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18489] ppid=18457 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/18483/task/18489/stat : 18489 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856565 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440453662992 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18490] ppid=18457 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/18483/task/18490/stat : 18490 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856565 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440452610448 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18491] ppid=18457 vsize=8414124 memory=3054156605268465310 CPUtime=0 cores=0-7
/proc/18483/task/18491/stat : 18491 (java) S 18457 18457 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509856565 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440451557904 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18492] ppid=18457 vsize=8414124 memory=-8707038579349950309 CPUtime=0 cores=0-7
/proc/18483/task/18492/stat : 18492 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856565 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440450505360 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18493] ppid=18457 vsize=8414124 memory=-8341965534556230502 CPUtime=0 cores=0-7
/proc/18483/task/18493/stat : 18493 (java) S 18457 18457 18413 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 509856567 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440401099248 140440972024450 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18494] ppid=18457 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/18483/task/18494/stat : 18494 (java) S 18457 18457 18413 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509856567 8616062976 30269 33554432000 4194304 4196468 140722473704944 140439592101280 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18495] ppid=18457 vsize=8414124 memory=302867273281175578 CPUtime=0 cores=0-7
/proc/18483/task/18495/stat : 18495 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856567 8616062976 30269 33554432000 4194304 4196468 140722473704944 140439323665904 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18496] ppid=18457 vsize=8414124 memory=302867294839898427 CPUtime=0 cores=0-7
/proc/18483/task/18496/stat : 18496 (java) S 18457 18457 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140438949157584 140440972031899 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18497] ppid=18457 vsize=8414124 memory=-8959179615243628946 CPUtime=0.08 cores=0-7
/proc/18483/task/18497/stat : 18497 (java) S 18457 18457 18413 0 -1 1077944384 578 0 0 0 8 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440400046064 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18498] ppid=18457 vsize=8414124 memory=379200 CPUtime=0.05 cores=0-7
/proc/18483/task/18498/stat : 18498 (java) S 18457 18457 18413 0 -1 1077944384 278 0 0 0 5 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440398993520 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18499] ppid=18457 vsize=8414124 memory=-8959179615243628946 CPUtime=0.04 cores=0-7
/proc/18483/task/18499/stat : 18499 (java) S 18457 18457 18413 0 -1 1077944384 293 0 0 0 4 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140439994755312 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18500] ppid=18457 vsize=8414124 memory=3504 CPUtime=0.2 cores=0-7
/proc/18483/task/18500/stat : 18500 (java) S 18457 18457 18413 0 -1 1077944384 737 0 0 0 20 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140439993702768 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18501] ppid=18457 vsize=8414124 memory=64764 CPUtime=0 cores=0-7
/proc/18483/task/18501/stat : 18501 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140438451251936 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18502] ppid=18457 vsize=8414124 memory=3028 CPUtime=0.13 cores=0-7
/proc/18483/task/18502/stat : 18502 (java) S 18457 18457 18413 0 -1 1077944384 17 0 0 0 5 8 0 0 20 0 24 0 509856570 8616062976 30269 33554432000 4194304 4196468 140722473704944 140439992650672 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18504] ppid=18457 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/18483/task/18504/stat : 18504 (java) S 18457 18457 18413 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509856636 8616062976 30269 33554432000 4194304 4196468 140722473704944 140440397940416 140440972037913 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18506] ppid=18457 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/18483/task/18506/stat : 18506 (java) S 18457 18457 18413 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509856637 8616062976 30269 33554432000 4194304 4196468 140722473704944 140437780151568 140440972035229 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18507] ppid=18457 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/18483/task/18507/stat : 18507 (java) S 18457 18457 18413 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509856637 8616062976 30269 33554432000 4194304 4196468 140722473704944 140438048587152 140440972035229 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18508] ppid=18457 vsize=8414124 memory=3604 CPUtime=0 cores=0-7
/proc/18483/task/18508/stat : 18508 (java) S 18457 18457 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509856639 8616062976 30269 33554432000 4194304 4196468 140722473704944 140437511724208 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
Current children cumulated CPU time: 1775.05 s
Current children cumulated vsize: 9225780 KiB
Current children cumulated memory: 507948 KiB

[startup+274.21 s]
/proc/loadavg: 7.20 3.92 1.63 9/225 18538
/proc/meminfo: memFree=25162976/32770624 swapFree=66999256/67108860
[pid=18457] ppid=18454 vsize=113128 memory=1476 CPUtime=74.39 cores=0-7
/proc/18457/stat : 18457 (scop.sh) S 18454 18457 18413 0 -1 4202496 582 78166 0 0 0 0 7119 320 20 0 1 0 509851014 115843072 369 33554432000 4194304 5098028 140722581717392 140722581714136 139938837176956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32432128 140722581721893 140722581722220 140722581722220 140722581725133 0
/proc/18457/statm: 28282 369 311 221 0 87 0
[pid=18483] ppid=18457 vsize=8283048 memory=132560 CPUtime=1701.29 cores=0-7
/proc/18483/stat : 18483 (java) S 18457 18457 18413 0 -1 1077944320 23663 360369 0 0 144 10 169813 162 20 0 22 0 509856563 8481841152 33140 33554432000 4194304 4196468 140722473704944 140722473687488 140440972013303 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
/proc/18483/statm: 2070762 33140 3221 1 0 2032106 0
[pid=18483/tid=18484] ppid=18457 vsize=8283048 memory=13848573129264102 CPUtime=1700.55 cores=0-7
/proc/18483/task/18484/stat : 18484 (java) R 18457 18457 18413 0 -1 4202560 18147 360369 0 0 75 5 169813 162 20 0 22 0 509856564 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440943851104 140440972025238 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18485] ppid=18457 vsize=8283048 memory=13848573129264102 CPUtime=1699.75 cores=0-7
/proc/18483/task/18485/stat : 18485 (java) S 18457 18457 18413 0 -1 1077944384 2 360369 0 0 0 0 169813 162 20 0 22 0 509856565 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440976255760 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18486] ppid=18457 vsize=8283048 memory=3768 CPUtime=1699.75 cores=0-7
/proc/18483/task/18486/stat : 18486 (java) S 18457 18457 18413 0 -1 1077944384 1 360369 0 0 0 0 169813 162 20 0 22 0 509856565 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440456821648 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18487] ppid=18457 vsize=8283048 memory=1980 CPUtime=1699.75 cores=0-7
/proc/18483/task/18487/stat : 18487 (java) S 18457 18457 18413 0 -1 1077944384 1 360369 0 0 0 0 169813 162 20 0 22 0 509856565 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440455769104 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18488] ppid=18457 vsize=8283048 memory=1476 CPUtime=1699.75 cores=0-7
/proc/18483/task/18488/stat : 18488 (java) S 18457 18457 18413 0 -1 1077944384 2 360369 0 0 0 0 169813 162 20 0 22 0 509856565 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440454716560 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18489] ppid=18457 vsize=8283048 memory=121076 CPUtime=1699.75 cores=0-7
/proc/18483/task/18489/stat : 18489 (java) S 18457 18457 18413 0 -1 1077944384 2 360369 0 0 0 0 169813 162 20 0 22 0 509856565 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440453662992 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18490] ppid=18457 vsize=8283048 memory=1476 CPUtime=1699.75 cores=0-7
/proc/18483/task/18490/stat : 18490 (java) S 18457 18457 18413 0 -1 1077944384 2 360369 0 0 0 0 169813 162 20 0 22 0 509856565 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440452610448 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18491] ppid=18457 vsize=8283048 memory=121076 CPUtime=1699.75 cores=0-7
/proc/18483/task/18491/stat : 18491 (java) S 18457 18457 18413 0 -1 1077944384 2 360369 0 0 0 0 169813 162 20 0 22 0 509856565 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440451557904 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18492] ppid=18457 vsize=8283048 memory=385344 CPUtime=1699.75 cores=0-7
/proc/18483/task/18492/stat : 18492 (java) S 18457 18457 18413 0 -1 1077944384 3 360369 0 0 0 0 169813 162 20 0 22 0 509856565 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440450505360 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18493] ppid=18457 vsize=8283048 memory=4715433313220523562 CPUtime=1699.75 cores=0-7
/proc/18483/task/18493/stat : 18493 (java) S 18457 18457 18413 0 -1 1077944384 9 360369 0 0 0 0 169813 162 20 0 22 0 509856567 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440401099248 140440972024450 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18494] ppid=18457 vsize=8283048 memory=7822038051842261661 CPUtime=1699.75 cores=0-7
/proc/18483/task/18494/stat : 18494 (java) S 18457 18457 18413 0 -1 1077944384 13 360369 0 0 0 0 169813 162 20 0 22 0 509856567 8481841152 33140 33554432000 4194304 4196468 140722473704944 140439592101280 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18495] ppid=18457 vsize=8283048 memory=4713745541279610410 CPUtime=1699.75 cores=0-7
/proc/18483/task/18495/stat : 18495 (java) S 18457 18457 18413 0 -1 1077944384 1 360369 0 0 0 0 169813 162 20 0 22 0 509856567 8481841152 33140 33554432000 4194304 4196468 140722473704944 140439323665904 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18496] ppid=18457 vsize=8283048 memory=288230574492221466 CPUtime=1699.75 cores=0-7
/proc/18483/task/18496/stat : 18496 (java) S 18457 18457 18413 0 -1 1077944384 1 360369 0 0 0 0 169813 162 20 0 22 0 509856570 8481841152 33140 33554432000 4194304 4196468 140722473704944 140438949157584 140440972031899 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18497] ppid=18457 vsize=8283048 memory=288230596050944315 CPUtime=1699.87 cores=0-7
/proc/18483/task/18497/stat : 18497 (java) R 18457 18457 18413 0 -1 4202560 801 360369 0 0 12 0 169813 162 20 0 22 0 509856570 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440400046064 140440972024450 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18498] ppid=18457 vsize=8283048 memory=13848573129264102 CPUtime=1699.82 cores=0-7
/proc/18483/task/18498/stat : 18498 (java) R 18457 18457 18413 0 -1 1077944384 334 360369 0 0 7 0 169813 162 20 0 22 0 509856570 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440398993520 140440972024450 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18499] ppid=18457 vsize=8283048 memory=2124 CPUtime=1699.81 cores=0-7
/proc/18483/task/18499/stat : 18499 (java) S 18457 18457 18413 0 -1 1077944384 315 360369 0 0 6 0 169813 162 20 0 22 0 509856570 8481841152 33140 33554432000 4194304 4196468 140722473704944 140439994755312 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18500] ppid=18457 vsize=8283048 memory=35480 CPUtime=1699.99 cores=0-7
/proc/18483/task/18500/stat : 18500 (java) R 18457 18457 18413 0 -1 4202560 932 360369 0 0 24 0 169813 162 20 0 22 0 509856570 8481841152 33140 33554432000 4194304 4196468 140722473704944 140439993702768 140440951373963 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18501] ppid=18457 vsize=8283048 memory=12024 CPUtime=1699.75 cores=0-7
/proc/18483/task/18501/stat : 18501 (java) S 18457 18457 18413 0 -1 1077944384 3 360369 0 0 0 0 169813 162 20 0 22 0 509856570 8481841152 33140 33554432000 4194304 4196468 140722473704944 140438451251936 140440972023509 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18502] ppid=18457 vsize=8283048 memory=500 CPUtime=1699.88 cores=0-7
/proc/18483/task/18502/stat : 18502 (java) S 18457 18457 18413 0 -1 1077944384 17 360369 0 0 5 8 169813 162 20 0 22 0 509856570 8481841152 33140 33554432000 4194304 4196468 140722473704944 140439992650672 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18504] ppid=18457 vsize=8283048 memory=1560 CPUtime=1699.75 cores=0-7
/proc/18483/task/18504/stat : 18504 (java) S 18457 18457 18413 0 -1 1077944384 26 360369 0 0 0 0 169813 162 20 0 22 0 509856636 8481841152 33140 33554432000 4194304 4196468 140722473704944 140440397939600 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
[pid=18483/tid=18508] ppid=18457 vsize=8283048 memory=1980 CPUtime=1699.75 cores=0-7
/proc/18483/task/18508/stat : 18508 (java) S 18457 18457 18413 0 -1 1077944384 7 360369 0 0 0 0 169813 162 20 0 22 0 509856639 8481841152 33140 33554432000 4194304 4196468 140722473704944 140437511726000 140440972024450 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34603008 140722473706487 140722473706646 140722473706646 140722473709519 0
Current children cumulated CPU time: 1775.68 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 134036 KiB

Child status: 0
Real time (s): 274.251
CPU time (s): 1775.77
CPU user time (s): 1770.82
CPU system time (s): 4.95057
CPU usage (%): 647.498
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6613276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.82
system time used= 4.95057
maximum resident set size= 6612792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91587
involuntary context switches= 17878


# summary of solver processes directly reported to runsolver:
#   pid: 18457
#   total CPU time (s): 1775.77
#   total CPU user time (s): 1770.82
#   total CPU system time (s): 4.95057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.73566 second user time and 3.35984 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-24 16:38:40
IDJOB=4405300
IDBENCH=126097
IDSOLVER=2867
FILE ID=node103/4405300-1569335979
RUNJOBID= node103-1569335920-18440
PBS_JOBID= 21705072
Free space on /tmp= 20828 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405300-1569335979/watcher-4405300-1569335979 -o /tmp/evaluation-result-4405300-1569335979/solver-4405300-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405300-1569335979.xml

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

MD5SUM BENCH= e7714f1bdc5f54a36db8d66dbea9ce0a
RANDOM SEED=2101077985

node103.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.74
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.74
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.74
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.74
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:        25662156 kB
MemAvailable:   31857764 kB
Buffers:           96304 kB
Cached:          6380220 kB
SwapCached:         7000 kB
Active:          3222352 kB
Inactive:        3268252 kB
Active(anon):       3800 kB
Inactive(anon):    68196 kB
Active(file):    3218552 kB
Inactive(file):  3200056 kB
Unevictable:      107216 kB
Mlocked:          107216 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             53076 kB
Writeback:             0 kB
AnonPages:        114852 kB
Mapped:            57060 kB
Shmem:             49080 kB
Slab:             214224 kB
SReclaimable:     185672 kB
SUnreclaim:        28552 kB
KernelStack:        3280 kB
PageTables:         5396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20804 MiB
End job on node103 at 2019-09-24 16:43:15