Trace number 4387980

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+GlueMiniSat (2019-06-15)SAT 284.617 258.168

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-rand/
Subisomorphism-si2-r001-m400-05.xml
MD5SUM5f006248f7b4f652f1c0eb398f87a4da
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.50125
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints172
Number of domains1
Minimum domain size400
Maximum domain size400
Distribution of domain sizes[{"size":400,"count":80}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":20},{"degree":4,"count":19},{"degree":5,"count":18},{"degree":6,"count":11},{"degree":7,"count":8},{"degree":8,"count":2},{"degree":9,"count":2}]
Minimum constraint arity1
Maximum constraint arity80
Distribution of constraint arities[{"arity":1,"count":60},{"arity":2,"count":111},{"arity":80,"count":1}]
Number of extensional constraints171
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":171},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-12476-serial-file.bin HOME/instance-4387980-1568293143.xml
0.65/0.53	
0.65/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Thu Sep 12 14:58:21 CEST 2019
0.65/0.56	c PID: 12479
0.65/0.56	c IP: 172.20.3.137
0.65/0.56	c HOST: node137.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.54/0.98	c (0,0) Parsing End
1.54/0.99	c (0,0) CSP: 80 int (0 aux), 0 bool (0 aux), 172 ctr, max domain size 400
1.54/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.54/0.99	c (0,0) Constraint Name Generate Begin
1.54/0.99	c (0,0) Ctr:HOME/instance-4387980-1568293143.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.54/0.99	c (0,0) Constraint Name Generate End
1.54/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.54/0.99	c (0,0) CSP to CSPinCNF Begin
15.13/8.42	c (7,7) translated 18 (10%) constraints
22.03/14.68	c (14,13) translated 35 (20%) constraints
29.16/20.92	c (20,19) translated 52 (30%) constraints
36.43/27.21	c (26,25) translated 69 (40%) constraints
44.08/33.63	c (33,31) translated 86 (50%) constraints
50.39/40.00	c (39,38) translated 104 (60%) constraints
55.49/43.68	c (43,41) translated 121 (70%) constraints
55.49/43.69	c (43,41) translated 138 (80%) constraints
55.74/43.73	c (43,41) translated 155 (90%) constraints
55.74/43.74	c (43,41) translated 172 (100%) constraints
55.74/43.74	c (43,41) ===========================================
55.74/43.74	c (43,41) Order
55.74/43.74	c (43,41) ===========================================
58.36/45.31	c (44,43) translated 80623 (10%) constraints
59.81/46.74	c (46,44) translated 161246 (20%) constraints
61.23/48.17	c (47,45) translated 241869 (30%) constraints
62.62/49.59	c (49,47) translated 322491 (40%) constraints
64.14/51.03	c (50,48) translated 403114 (50%) constraints
68.25/53.14	c (52,50) translated 483737 (60%) constraints
69.64/54.56	c (54,51) translated 564359 (70%) constraints
71.04/55.99	c (55,53) translated 644982 (80%) constraints
72.54/57.41	c (56,54) translated 725605 (90%) constraints
74.00/58.84	c (58,55) translated 806227 (100%) constraints
74.00/58.84	c (58,55) CSP to CSPinCNF End
74.00/58.86	c (58,56) CSP: 80 int (0 aux), 44400 bool (44400 aux), 806227 ctr, max domain size 400
74.00/58.86	c (58,56) Heap : 2476 MiB used (max 10215 MiB), NonHeap : 27 MiB used (max 0 MiB)
74.00/58.86	c (58,56) CSPinCNF Propagation Begin
85.71/65.45	c (64,61) 0 values, 111 unsatisfiable literals, and 1 valid clauses are removed
85.71/65.45	c (64,61) CSPinCNF Propagation End
85.71/65.46	c (64,61) CSP: 80 int (0 aux), 44400 bool (44400 aux), 806226 ctr, max domain size 400
85.71/65.46	c (64,61) Heap : 1102 MiB used (max 10540 MiB), NonHeap : 28 MiB used (max 0 MiB)
85.71/65.47	c (64,61) Simplify CSPinCNF Begin
88.00/66.81	c (66,62) Simplify CSPinCNF End
88.00/66.82	c (66,62) CSP: 80 int (0 aux), 50720 bool (50720 aux), 812546 ctr, max domain size 400
88.00/66.82	c (66,62) Heap : 1891 MiB used (max 10540 MiB), NonHeap : 28 MiB used (max 0 MiB)
88.00/66.82	c (66,62) Calculate Precise Domain Begin
88.00/66.82	c (66,62) 0 values are removed by re-calculation
88.00/66.82	c (66,62) Calculate Precise Domain End
88.00/66.83	c (66,62) CSP: 80 int (0 aux), 50720 bool (50720 aux), 812546 ctr, max domain size 400
88.00/66.83	c (66,62) Heap : 1891 MiB used (max 10540 MiB), NonHeap : 28 MiB used (max 0 MiB)
88.00/66.83	c (66,62) CSPinCNF to SatSolver Begin
102.80/77.99	c (77,72) 81255 (10 %) CSP clauses are encoded (0 SAT variables, 2634774 SAT clauses)
103.65/78.78	c (78,73) 162510 (20 %) CSP clauses are encoded (0 SAT variables, 2716029 SAT clauses)
104.74/79.80	c (79,74) 243764 (30 %) CSP clauses are encoded (0 SAT variables, 2797283 SAT clauses)
105.45/80.59	c (80,75) 325019 (40 %) CSP clauses are encoded (0 SAT variables, 2878538 SAT clauses)
106.25/81.37	c (80,76) 406273 (50 %) CSP clauses are encoded (0 SAT variables, 2959792 SAT clauses)
107.06/82.16	c (81,76) 487528 (60 %) CSP clauses are encoded (0 SAT variables, 3041047 SAT clauses)
108.38/83.08	c (82,77) 568783 (70 %) CSP clauses are encoded (0 SAT variables, 3122302 SAT clauses)
109.17/83.87	c (83,78) 650037 (80 %) CSP clauses are encoded (0 SAT variables, 3203556 SAT clauses)
109.97/84.66	c (84,79) 731292 (90 %) CSP clauses are encoded (0 SAT variables, 3284811 SAT clauses)
110.77/85.44	c (84,79) 812546 (100 %) CSP clauses are encoded (0 SAT variables, 3366065 SAT clauses)
110.77/85.44	c (84,79) CSPinCNF to SatSolver End
110.77/85.44	c (84,79) Heap : 3034 MiB used (max 10525 MiB), NonHeap : 31 MiB used (max 0 MiB)
110.77/85.44	c (84,79) 82640 bool, 3366066 clause
110.77/85.44	c (84,79) Export Begin
110.91/85.54	c (85,80) Export to HOME/scop-12476-serial-file.bin
110.91/85.54	c (85,80) Export End
110.91/85.54	c (85,80) Export File Size: 0.02 MB
110.91/85.54	c (85,80) 0,0,58,64,66,66,84,STOP-AFTER(DIMACS)
110.91/85.54	c END-Prog: Thu Sep 12 14:59:46 CEST 2019
110.91/85.56	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12476-serial-file.bin
111.60/86.03	c (0,0) Read Serial File Begin
111.60/86.03	c (0,0) HOME/scop-12476-serial-file.bin
111.88/86.25	c (0,0) Read Serial File End
111.88/86.27	
111.88/86.27	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
111.88/86.27	(Solving Process)
111.88/86.27	
111.88/86.29	c BEGIN-Prog: Thu Sep 12 14:59:47 CEST 2019
111.88/86.29	c PID: 12500
111.88/86.29	c IP: 172.20.3.137
111.88/86.29	c HOST: node137.alineos.net
111.88/86.29	c (0,0) SatSolver.solve Begin
111.88/86.29	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387980-1568293143.xml-scop-12479.cnf
112.05/86.33	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
112.05/86.33	c (0,0) c glueminisat-simp-2.2.10-193oa-n
112.05/86.33	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387980-1568293143.xml-scop-12479.cnf 
112.05/86.33	c (0,0) c Options:
112.05/86.33	c (0,0) c CORE
112.05/86.33	c (0,0) c  var_decay             = 0.950
112.05/86.33	c (0,0) c  clause_decay          = 0.999
112.05/86.33	c (0,0) c  random_var_freq       = 0.000
112.05/86.33	c (0,0) c  random_seed           = 91648253.000
112.05/86.33	c (0,0) c  luby_restart          = 1
112.05/86.33	c (0,0) c  ccmin_mode            = 2
112.05/86.33	c (0,0) c  phase_saving          = 2
112.05/86.33	c (0,0) c  rnd_pol               = 0
112.05/86.33	c (0,0) c  rnd_init_act          = 0
112.05/86.33	c (0,0) c  garbage_frac          = 0.200
112.05/86.33	c (0,0) c  restart_first         = 1000
112.05/86.33	c (0,0) c  restart_inc           = 2.000
112.05/86.33	c (0,0) c MODEL
112.05/86.33	c (0,0) c  partial_model         = 0
112.05/86.33	c (0,0) c PROPAGATION
112.05/86.33	c (0,0) c  bin_propagation       = 1
112.05/86.33	c (0,0) c SIMPLIFICATION
112.05/86.33	c (0,0) c  lrn_min_size          = 100
112.05/86.33	c (0,0) c  lazy_simp             = 1
112.05/86.33	c (0,0) c  lazy_interval         = 10
112.05/86.33	c (0,0) c  lazy_fld_probing      = 1
112.05/86.33	c (0,0) c  lazy_pol_probing      = 1
112.05/86.33	c (0,0) c  lazy_nec_probing      = 1
112.05/86.33	c (0,0) c  lazy_eqv_probing      = 1
112.05/86.33	c (0,0) c  lazy_cla_probing      = 1
112.05/86.33	c (0,0) c  lazy_lrn_min          = 2
112.05/86.33	c (0,0) c  lazy_uw_lit_elim      = 1
112.05/86.33	c (0,0) c  lazy_pr_lit_elim      = 0
112.05/86.33	c (0,0) c  lazy_bin_add          = 3
112.05/86.33	c (0,0) c  probed_lit_chain      = 1
112.05/86.33	c (0,0) c  pr_min_lits           = 0.00020
112.05/86.33	c (0,0) c  pr_min_starts         = 500
112.05/86.33	c (0,0) c  rw_min_lits           = 0.010
112.05/86.33	c (0,0) c  rw_min_starts         = 500
112.05/86.33	c (0,0) c  rand_attach           = 0
112.05/86.33	c (0,0) c  dec_elim              = 1
112.05/86.33	c (0,0) c  dec_elim_lim          = 25
112.05/86.33	c (0,0) c  dec_elim_len          = -1
112.05/86.33	c (0,0) c  amo                   = 0
112.05/86.33	c (0,0) c  amo_grp               = 1
112.05/86.33	c (0,0) c  amo_max_bins          = 1000000
112.05/86.33	c (0,0) c  amo_starts            = 50
112.05/86.33	c (0,0) c  mace_cmd              = mace
112.05/86.33	c (0,0) c DECISION
112.05/86.33	c (0,0) c  rand_rebuild          = 0
112.05/86.33	c (0,0) c  rand_rebuild_confs    = 10000
112.05/86.33	c (0,0) c  inc_var_decay         = 1
112.05/86.33	c (0,0) c  inc_var_decay_period  = 100000
112.05/86.33	c (0,0) c  inc_var_decay_init    = 0.600
112.05/86.33	c (0,0) c  var_decay_mode        = 0
112.05/86.33	c (0,0) c  var_decay_gain        = 0
112.05/86.33	c (0,0) c  sloped_var_decay      = 1
112.05/86.33	c (0,0) c  max_var_decay         = 0.990
112.05/86.33	c (0,0) c  min_var_decay         = 0.950
112.05/86.33	c (0,0) c  min_var_decay_vars    = 10000
112.05/86.33	c (0,0) c  max_var_decay_vars    = 500
112.05/86.33	c (0,0) c  uip_bumping           = 1
112.05/86.33	c (0,0) c  lbd_act_bumping       = 1
112.05/86.33	c (0,0) c  rand_tiebreak         = 0
112.05/86.33	c (0,0) c  simp_rebuild          = 1
112.05/86.33	c (0,0) c RESTART
112.05/86.33	c (0,0) c  restart_strategy      = 2
112.05/86.33	c (0,0) c  restart_blocking      = 0
112.05/86.33	c (0,0) c  agility_decay         = 0.99990
112.05/86.33	c (0,0) c  lbd_restart_rate      = 0.800
112.05/86.33	c (0,0) c  dec_restart_rate      = 0.950
112.05/86.33	c (0,0) c  blk_restart_rate      = 0.700
112.05/86.33	c (0,0) c  lbd_queue_size        = 50
112.05/86.33	c (0,0) c  dec_queue_size        = 50
112.05/86.33	c (0,0) c  trl_queue_size        = 5000
112.05/86.33	c (0,0) c  blk_restart_weight    = 1.000
112.05/86.33	c (0,0) c  inc_rst_rate          = 0
112.05/86.33	c (0,0) c  inc_rst_rate_period   = 500000
112.05/86.33	c (0,0) c  inc_lbd_rst_rate_init = 0.600
112.05/86.33	c (0,0) c  inc_dec_rst_rate_init = 0.750
112.05/86.33	c (0,0) c REDUCTION
112.05/86.33	c (0,0) c  closed_lbd            = 0
112.05/86.33	c (0,0) c  closed_lbd_rate       = 0.500
112.05/86.33	c (0,0) c  rm_simulate           = 0
112.05/86.33	c (0,0) c  rdb_eval              = 2
112.05/86.33	c (0,0) c  rdb_call              = 3
112.05/86.33	c (0,0) c  rdb_ub                = 0.500
112.05/86.33	c (0,0) c  core_lbd_cvr          = 0.800
112.05/86.33	c (0,0) c  supp_lbd_cvr          = 0.990
112.05/86.33	c (0,0) c  core_lbd_lb           = 2
112.05/86.33	c (0,0) c  supp_lbd_lb           = 2
112.05/86.33	c (0,0) c  core_lbd_prd          = 7
112.05/86.33	c (0,0) c  supp_lbd_prd          = 1
112.05/86.33	c (0,0) c  othr_lbd_prd          = 0
112.05/86.33	c (0,0) c  inc_lrn_limit         = 1000
112.05/86.33	c (0,0) c  frozen_lbd            = 30
112.05/86.33	c (0,0) c  simp_min_starts       = 100
112.05/86.33	c (0,0) c  rm_low_act_learnts    = 1
112.05/86.33	c (0,0) c  lv0_reduce_db         = 0
112.05/86.33	c (0,0) c  reduce_db_base        = 20000
112.05/86.33	c (0,0) c  reduce_db_inc         = 1000
112.05/86.33	c (0,0) c HARD
112.05/86.33	c (0,0) c  inst_check            = 200000
112.05/86.33	c (0,0) c  small_block           = 1.750
112.05/86.33	c (0,0) c  slow_restart_speed    = 400.000
112.05/86.33	c (0,0) c  slow_restart_strategy = 3
112.05/86.33	c (0,0) c  slow_lbd_restart_rate = 0.700
112.05/86.33	c (0,0) c  slow_dec_restart_rate = 1.000
112.05/86.33	c (0,0) c  slow_lbd_queue_size   = 50
112.05/86.33	c (0,0) c  slow_var_decay        = 0.950
112.05/86.33	c (0,0) c  slow_glue_threshold   = 2
112.05/86.33	c (0,0) c  slow_phase_saving     = 2
112.05/86.33	c (0,0) c  fast_restart_speed    = 125.000
112.05/86.33	c (0,0) c  fast_restart_strategy = 1
112.05/86.33	c (0,0) c  fast_lbd_restart_rate = 0.800
112.05/86.33	c (0,0) c  fast_dec_restart_rate = 0.950
112.05/86.33	c (0,0) c  fast_lbd_queue_size   = 50
112.05/86.33	c (0,0) c  fast_var_decay        = 1.000
112.05/86.33	c (0,0) c  fast_glue_threshold   = 2
112.05/86.33	c (0,0) c  fast_phase_saving     = 2
112.05/86.33	c (0,0) c STATS
112.05/86.33	c (0,0) c  stats_conf_size       = 10000
112.05/86.33	c (0,0) c  max_stats_size        = 30
112.05/86.33	c (0,0) c SOLVER
112.05/86.33	c (0,0) c  minisat               = 0
113.31/87.48	c (1,0) c Problem: 82640 variables, 3366066 clauses, parsing 1.08 s
127.62/101.72	c (15,0) c  reduced to 79480 variables, 3357479 clauses (grow = 0)
127.72/101.89	c (15,0) c  exclude 111 (0.1%) variables from decision variables (last cost 6)
128.03/102.18	c (16,0) c Simplification: 3271 vars, 8587 clauses are eliminated using 14.56 s
128.03/102.18	c (16,0) c
128.03/102.18	c (16,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
128.03/102.18	c (16,0) c
128.03/102.18	c (16,0) c   15         0         0    79369  3357479        0   -nan  -nan  -nan -nan%
128.23/102.35	c (16,0) c   16         1       100    79369  3357479      100   99.4   5.5  54.4 14.1%
128.33/102.41	c (16,0) c   16         1       220    79369  3357479      220   74.8   5.3  46.4 11.7%
128.33/102.45	c (16,0) c   16         1       364    79369  3357479      365   57.4   5.2  44.6 11.3%
128.43/102.54	c (16,0) c   16         2       536    79369  3357479      538   58.2   5.2  44.3 10.6%
128.53/102.66	c (16,0) c   16         2       743    79369  3357479      745   68.3   4.9  40.7 10.4%
128.63/102.79	c (16,0) c   16         2       991    79369  3357479      993   72.9   4.9  37.1  9.9%
128.83/102.98	c (17,0) c   16         3      1289    79369  3357479     1291   72.9   5.9  40.2 10.0%
129.03/103.14	c (17,0) c   16         5      1647    79369  3357479     1650   72.8   5.9  44.6 10.0%
129.22/103.40	c (17,0) c   17         8      2076    79369  3357479     2080   68.9   6.0  50.0 11.3%
129.53/103.64	c (17,0) c   17         9      2591    79369  3357479     2595   65.9   5.8  45.0 11.3%
129.83/103.90	c (17,0) c   17        12      3210    79369  3357479     3217   67.5   5.8  44.3 10.7%
130.23/104.30	c (18,0) c   17        13      3953    79369  3357479     3963   76.0   6.0  42.1 10.9%
130.62/104.74	c (18,0) c   18        14      4844    79369  3357479     4858   76.3   6.1  39.8 10.9%
131.23/105.34	c (19,0) c   19        19      5913    79369  3357479     5931   77.8   6.0  39.9 11.1%
131.93/106.05	c (20,0) c   19        26      7196    79369  3357479     7218   81.6   6.0  40.9 11.6%
132.63/106.78	c (20,0) c
132.63/106.78	c (20,0) c   variables         : 79369       (init 82640, after simp 79369, 111 non-decs, 80 csp)
132.63/106.78	c (20,0) c   clauses           : 3357479     (init 3366066, after simp 3357479)
132.63/106.78	c (20,0) c   restarts          : 31          (273.00 confs/res, 50~1064 confs, 0 blks, 0 last)
132.63/106.78	c (20,0) c   conflicts         : 8736        (433 /sec, 59.18% dconfs, 0.00% supp, trail 336.18w x 42.12h, jmp 3.61h)
132.63/106.78	c (20,0) c   decisions         : 34184       (0.6300 vdcy, 1693 /sec, 0.00% bin, rs 0.004 s)
132.63/106.78	c (20,0) c   propagations      : 13084538    (647881 /sec, 382.77 lits/dec, 30.95% o.a.)
132.63/106.78	c (20,0) c   conflict literals : 883966      (17.95% deleted; 0.11% by bin min, 0.002 s)
132.63/106.78	c (20,0) c   len               : 82.529      (82.91 for all, max 1050, used 1050)
132.63/106.78	c (20,0) c   lbd               : 5.859       (7.03 (5.88) for all, max 286, used 262, 2.913 stdev, 11.801 blk)
132.63/106.78	c (20,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
132.63/106.78	c (20,0) c   simp dbs          : 1           (0.001 s)
132.63/106.78	c (20,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
132.63/106.78	c (20,0) c   learnts           : 8777        (0 learnts removed, 0.00%)
132.63/106.78	c (20,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
132.63/106.78	c (20,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
132.63/106.78	c (20,0) c   premise updates   : 66567       (0.42 /lit)
132.63/106.78	c (20,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
132.63/106.78	c (20,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
132.63/106.78	c (20,0) c   lazy added bins   : 41          (41 prop + 0 conf, 0.006s)
132.63/106.78	c (20,0) c   unwatched lit elim: 1190        (0.00+0.12%, 110+1080 of 9982400+883966)
132.63/106.78	c (20,0) c   classified type   : undef
132.63/106.78	c (20,0) c   progress          : 0.000 %
132.63/106.78	c (20,0) c
132.63/106.78	c (20,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
132.63/106.78	c (20,0) c
132.63/106.78	c (20,0) c   20        32      8736    79369  3357479     8777   82.5   5.9  42.1 11.4%
133.63/107.73	c (21,0) c   21        40     10584    79369  3357479    10638   79.8   5.8  41.7 11.3%
134.64/108.73	c (22,0) c   22        54     12802    79369  3357479    12869   75.7   6.0  41.9 11.0%
135.84/110.00	c (24,0) c   23        57     15464    79369  3357479    15551   71.6   5.8  39.0 11.6%
137.43/111.56	c (25,0) c   25        71     18658    79366  3357479    18757   70.3   5.7  38.9 10.7%
138.04/112.15	c (26,0) c   25 r      79     20002    79366  3357479    20114   69.4   5.8  40.7 10.7%
138.04/112.15	c (26,0) c
138.04/112.15	c (26,0) c R [LBD Statistics #1]
138.04/112.15	c (26,0) c R LBD         used lbd               used clause lbd
138.04/112.15	c (26,0) c R  tot      284847                   20114
138.04/112.15	c (26,0) c R  avg       2.388                   5.795
138.04/112.15	c (26,0) c R   1        21234 ( 7.5/ 7.5%)        358 ( 1.8/ 1.8%)
138.04/112.15	c (26,0) c R   2       204290 (71.7/79.2%)       5762 (28.6/30.4%)
138.04/112.15	c (26,0) c R   3        33819 (11.9/91.0%)       3104 (15.4/45.9%)
138.04/112.15	c (26,0) c R
138.04/112.15	c (26,0) c R core_lbd_threshold = 3
138.04/112.15	c (26,0) c R supp_lbd_threshold = 8
138.04/112.15	c (26,0) c R
138.04/112.15	c (26,0) c R [RDB Statistics #1]
138.04/112.15	c (26,0) c R kept: lbd      =    9220 (45.8/45.8%)
138.04/112.15	c (26,0) c R kept: ttl      =   10886 (54.1/100.0%)
138.04/112.15	c (26,0) c R kept: locked   =       8 ( 0.0/100.0%)
138.04/112.15	c (26,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
138.04/112.15	c (26,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
138.04/112.15	c (26,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
138.04/112.15	c (26,0) c
138.04/112.15	c (26,0) c   25 R      79     20002    79366  3357479    20114   69.4   5.8  40.7 10.7%
139.33/113.40	c (27,0) c   27        89     22491    79366  3357479    22624   68.1   5.8  41.3 11.1%
141.73/115.83	c (29,0) c   29       109     27091    79366  3357180    27265   66.6   5.7  42.2 10.3%
144.54/118.65	c (32,0) c   32       130     32611    79365  3357180    32842   66.1   5.6  39.8 10.8%
147.54/121.68	c (35,0) c   35       149     39235    79366  3357180    39529   63.6   5.5  39.2 10.1%
148.44/122.56	c (36,0) c   36 r     157     41000    79366  3357180    41306   63.0   5.5  39.1  9.8%
148.44/122.56	c (36,0) c
148.44/122.56	c (36,0) c R [LBD Statistics #2]
148.44/122.56	c (36,0) c R LBD         used lbd               used clause lbd
148.44/122.56	c (36,0) c R  tot     1180205                   41306
148.44/122.56	c (36,0) c R  avg       2.176                   5.533
148.44/122.56	c (36,0) c R   1       107747 ( 9.1/ 9.1%)        988 ( 2.4/ 2.4%)
148.44/122.56	c (36,0) c R   2       916443 (77.7/86.8%)      12700 (30.7/33.1%)
148.44/122.56	c (36,0) c R
148.44/122.56	c (36,0) c R core_lbd_threshold = 2
148.44/122.56	c (36,0) c R supp_lbd_threshold = 6
148.44/122.56	c (36,0) c R
148.44/122.56	c (36,0) c R [RDB Statistics #2]
148.44/122.56	c (36,0) c R kept: lbd      =   13670 (33.1/33.1%)
148.44/122.56	c (36,0) c R kept: ttl      =   14445 (35.0/68.1%)
148.44/122.56	c (36,0) c R kept: locked   =      18 ( 0.0/68.1%)
148.44/122.56	c (36,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
148.44/122.56	c (36,0) c R lost: ttl      =   13173 (31.9/31.9%)
148.44/122.56	c (36,0) c R lost: subsumed =       0 ( 0.0/31.9%)
148.44/122.56	c (36,0) c
148.44/122.56	c (36,0) c   36 R     157     41000    79366  3357180    28133   30.2   3.1  39.1  9.8%
151.46/125.50	c (39,0) c   39       192     47184    79366  3357180    34365   35.5   3.8  46.0 10.6%
156.15/130.21	c (44,0) c   43       228     56723    79357  3357166    43914   37.3   4.1  49.5  9.7%
159.24/133.31	c (47,0) c   46 r     252     63001    79357  3357166    50257   37.2   4.2  53.1 10.0%
159.24/133.31	c (47,0) c
159.24/133.31	c (47,0) c R [LBD Statistics #3]
159.24/133.31	c (47,0) c R LBD         used lbd               used clause lbd
159.24/133.31	c (47,0) c R  tot     2522605                   50257
159.24/133.31	c (47,0) c R  avg       2.114                   4.243
159.24/133.31	c (47,0) c R   1       247080 ( 9.8/ 9.8%)       1699 ( 3.4/ 3.4%)
159.24/133.31	c (47,0) c R   2      2005586 (79.5/89.3%)      20046 (39.9/43.3%)
159.24/133.31	c (47,0) c R
159.24/133.31	c (47,0) c R core_lbd_threshold = 2
159.24/133.31	c (47,0) c R supp_lbd_threshold = 6
159.24/133.31	c (47,0) c R
159.24/133.31	c (47,0) c R [RDB Statistics #3]
159.24/133.31	c (47,0) c R kept: lbd      =   21631 (43.0/43.0%)
159.24/133.31	c (47,0) c R kept: ttl      =   15284 (30.4/73.5%)
159.24/133.31	c (47,0) c R kept: locked   =     133 ( 0.3/73.7%)
159.24/133.31	c (47,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
159.24/133.31	c (47,0) c R lost: ttl      =   13209 (26.3/26.3%)
159.24/133.31	c (47,0) c R lost: subsumed =       0 ( 0.0/26.3%)
159.24/133.31	c (47,0) c
159.24/133.31	c (47,0) c
159.24/133.31	c (47,0) c   variables         : 79357       (init 82640, after simp 79369, 110 non-decs, 80 csp)
159.24/133.31	c (47,0) c   clauses           : 3357166     (init 3366066, after simp 3357479)
159.24/133.31	c (47,0) c   restarts          : 251         (250.00 confs/res, 50~2193 confs, 0 blks, 0 last)
159.24/133.31	c (47,0) c   conflicts         : 63001       (1356 /sec, 58.51% dconfs, 0.00% supp, trail 328.51w x 44.29h, jmp 3.39h)
159.24/133.31	c (47,0) c   decisions         : 231201      (0.8200 vdcy, 4975 /sec, 0.00% bin, rs 0.020 s)
159.24/133.31	c (47,0) c   propagations      : 89141956    (1918078 /sec, 385.56 lits/dec, 35.22% o.a.)
159.24/133.31	c (47,0) c   conflict literals : 4870442     (25.45% deleted; 0.28% by bin min, 0.013 s)
159.24/133.31	c (47,0) c   len               : 17.650      (57.42 for all, max 1050, used 1050)
159.24/133.31	c (47,0) c   lbd               : 2.645       (6.96 (5.60) for all, max 296, used 272, 1.362 stdev, 8.247 blk)
159.24/133.31	c (47,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
159.24/133.31	c (47,0) c   simp dbs          : 3           (0.463 s)
159.24/133.31	c (47,0) c   reduce dbs        : 3           (core-lbd 2, supp-lbd 6, 0.006 s)
159.24/133.31	c (47,0) c   learnts           : 37048       (26382 learnts removed, 41.88%)
159.24/133.31	c (47,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
159.24/133.31	c (47,0) c   assigned lits     : 0           (0/5 probed, 5 remains)
159.24/133.31	c (47,0) c   premise updates   : 2588865     (16.31 /lit)
159.24/133.31	c (47,0) c   probed variables  : 5           (2 pr, 0 eq, 0 fld, 2 pol, 0 nec, 1 cla, 0 amo)
159.24/133.31	c (47,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
159.24/133.31	c (47,0) c   lazy added bins   : 529         (529 prop + 0 conf, 0.039s)
159.24/133.31	c (47,0) c   unwatched lit elim: 11391       (0.00+0.22%, 478+10913 of 9982400+4870442)
159.24/133.31	c (47,0) c   classified type   : undef
159.24/133.31	c (47,0) c   progress          : 0.016 %
159.24/133.31	c (47,0) c
159.24/133.31	c (47,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
159.24/133.31	c (47,0) c
159.24/133.31	c (47,0) c   46 R     252     63001    79357  3357166    37048   17.7   2.6  53.1 10.0%
162.16/136.24	c (50,0) c   49       277     68170    79356  3357166    42287   21.1   3.0  65.0 11.0%
169.98/144.08	c (58,0) c   57       329     81907    79352  3355576    55933   29.5   3.7  41.6 11.8%
172.16/146.27	c (60,0) c   59 r     350     86001    79351  3355576    60054   30.8   3.8  46.1 12.4%
172.16/146.27	c (60,0) c
172.16/146.27	c (60,0) c R [LBD Statistics #4]
172.16/146.27	c (60,0) c R LBD         used lbd               used clause lbd
172.16/146.27	c (60,0) c R  tot     4287039                   60054
172.16/146.27	c (60,0) c R  avg       2.078                   3.779
172.16/146.27	c (60,0) c R   1       437225 (10.2/10.2%)       2483 ( 4.1/ 4.1%)
172.16/146.27	c (60,0) c R   2      3452352 (80.5/90.7%)      27967 (46.6/50.7%)
172.16/146.27	c (60,0) c R
172.16/146.27	c (60,0) c R core_lbd_threshold = 2
172.16/146.27	c (60,0) c R supp_lbd_threshold = 5
172.16/146.27	c (60,0) c R
172.16/146.27	c (60,0) c R [RDB Statistics #4]
172.16/146.27	c (60,0) c R kept: lbd      =   30429 (50.7/50.7%)
172.16/146.27	c (60,0) c R kept: ttl      =   16214 (27.0/77.7%)
172.16/146.27	c (60,0) c R kept: locked   =      30 ( 0.0/77.7%)
172.16/146.27	c (60,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
172.16/146.27	c (60,0) c R lost: ttl      =   13381 (22.3/22.3%)
172.16/146.27	c (60,0) c R lost: subsumed =       0 ( 0.0/22.3%)
172.16/146.27	c (60,0) c
172.16/146.27	c (60,0) c   59 R     350     86001    79351  3355576    46673   16.8   2.5  46.1 12.4%
179.56/153.60	c (67,0) c   67       418     98391    79348  3355246    58994   24.6   3.2  46.8 12.3%
180.37/154.48	c (68,0) c   68 f     423    100000    79347  3355246    60614   25.0   3.3  40.5 11.4%
186.08/160.13	c (74,0) c   73 r     476    110000    79347  3355246    70678   28.5   3.8  42.9 11.1%
186.37/160.47	c (74,0) c
186.37/160.47	c (74,0) c R [LBD Statistics #5]
186.37/160.47	c (74,0) c R LBD         used lbd               used clause lbd
186.37/160.47	c (74,0) c R  tot     6661017                   70678
186.37/160.47	c (74,0) c R  avg       2.056                   3.823
186.37/160.47	c (74,0) c R   1       706048 (10.6/10.6%)       3255 ( 4.6/ 4.6%)
186.37/160.47	c (74,0) c R   2      5403225 (81.1/91.7%)      35535 (50.3/54.9%)
186.37/160.47	c (74,0) c R
186.37/160.47	c (74,0) c R core_lbd_threshold = 2
186.37/160.47	c (74,0) c R supp_lbd_threshold = 5
186.37/160.47	c (74,0) c R
186.37/160.47	c (74,0) c R [RDB Statistics #5]
186.37/160.47	c (74,0) c R kept: lbd      =   38057 (53.8/53.8%)
186.37/160.47	c (74,0) c R kept: ttl      =   14787 (20.9/74.8%)
186.37/160.47	c (74,0) c R kept: locked   =     776 ( 1.1/75.9%)
186.37/160.47	c (74,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
186.37/160.47	c (74,0) c R lost: ttl      =   17058 (24.1/24.1%)
186.37/160.47	c (74,0) c R lost: subsumed =       0 ( 0.0/24.1%)
186.37/160.47	c (74,0) c
186.37/160.47	c (74,0) c   74 R     476    110000    79347  3355246    53620   13.6   2.3  42.9 11.1%
190.99/165.05	c (79,0) c   78       514    118172    79343  3355228    61513   17.6   2.8  39.1 12.5%
201.19/175.24	c (89,0) c   88 r     610    135000    79338  3355061    77713   27.0   3.6  40.4 12.0%
201.19/175.24	c (89,0) c
201.19/175.24	c (89,0) c R [LBD Statistics #6]
201.19/175.24	c (89,0) c R LBD         used lbd               used clause lbd
201.19/175.24	c (89,0) c R  tot     9575134                   77713
201.19/175.24	c (89,0) c R  avg       2.041                   3.590
201.19/175.24	c (89,0) c R   1      1035707 (10.8/10.8%)       4051 ( 5.2/ 5.2%)
201.19/175.24	c (89,0) c R   2      7802508 (81.5/92.3%)      43448 (55.9/61.1%)
201.19/175.24	c (89,0) c R
201.19/175.24	c (89,0) c R core_lbd_threshold = 2
201.19/175.24	c (89,0) c R supp_lbd_threshold = 5
201.19/175.24	c (89,0) c R
201.19/175.24	c (89,0) c R [RDB Statistics #6]
201.19/175.24	c (89,0) c R kept: lbd      =   47503 (61.1/61.1%)
201.19/175.24	c (89,0) c R kept: ttl      =   14525 (18.7/79.8%)
201.19/175.24	c (89,0) c R kept: locked   =       0 ( 0.0/79.8%)
201.19/175.24	c (89,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
201.19/175.24	c (89,0) c R lost: ttl      =   15685 (20.2/20.2%)
201.19/175.24	c (89,0) c R lost: subsumed =       0 ( 0.0/20.2%)
201.19/175.24	c (89,0) c
201.19/175.24	c (89,0) c   88 R     610    135000    79338  3355061    62028   13.6   2.3  40.4 12.0%
204.90/178.94	c (92,0) c   92       637    141909    79337  3355061    68985   17.5   2.6  34.6 12.0%
205.00/179.05	c (93,0) c   92 p     638    142194    79327  3355061    69275   17.7   2.6  34.4 12.0%
217.01/191.04	c (105,0) c  104 r     765    161000    79324  3354078    88103   27.7   3.6  43.5 13.0%
217.01/191.04	c (105,0) c
217.01/191.04	c (105,0) c R [LBD Statistics #7]
217.01/191.04	c (105,0) c R LBD         used lbd               used clause lbd
217.01/191.04	c (105,0) c R  tot    13186753                   88103
217.01/191.04	c (105,0) c R  avg       2.032                   3.562
217.01/191.04	c (105,0) c R   1      1447382 (11.0/11.0%)       4964 ( 5.6/ 5.6%)
217.01/191.04	c (105,0) c R   2     10779248 (81.7/92.7%)      52217 (59.3/64.9%)
217.01/191.04	c (105,0) c R
217.01/191.04	c (105,0) c R core_lbd_threshold = 2
217.01/191.04	c (105,0) c R supp_lbd_threshold = 5
217.01/191.04	c (105,0) c R
217.01/191.04	c (105,0) c R [RDB Statistics #7]
217.01/191.04	c (105,0) c R kept: lbd      =   55846 (63.4/63.4%)
217.01/191.04	c (105,0) c R kept: ttl      =   14868 (16.9/80.3%)
217.01/191.04	c (105,0) c R kept: locked   =    1400 ( 1.6/81.9%)
217.01/191.04	c (105,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
217.01/191.04	c (105,0) c R lost: ttl      =   15989 (18.1/18.1%)
217.01/191.04	c (105,0) c R lost: subsumed =       0 ( 0.0/18.1%)
217.01/191.04	c (105,0) c
217.01/191.04	c (105,0) c  104 R     765    161000    79324  3354078    72114   13.3   2.2  43.5 13.0%
224.41/198.45	c (112,0) c
224.41/198.45	c (112,0) c   variables         : 79324       (init 82640, after simp 79369, 109 non-decs, 80 csp)
224.41/198.45	c (112,0) c   clauses           : 3354053     (init 3366066, after simp 3357479)
224.41/198.45	c (112,0) c   restarts          : 818         (208.05 confs/res, 50~2193 confs, 0 blks, 0 last)
224.41/198.45	c (112,0) c   conflicts         : 170394      (1535 /sec, 58.67% dconfs, 0.00% supp, trail 358.28w x 44.10h, jmp 3.80h)
224.41/198.45	c (112,0) c   decisions         : 698222      (0.9500 vdcy, 6290 /sec, 0.00% bin, rs 0.027 s)
224.41/198.45	c (112,0) c   propagations      : 253821520   (2286402 /sec, 363.53 lits/dec, 37.37% o.a.)
224.41/198.45	c (112,0) c   conflict literals : 13425133    (27.29% deleted; 0.33% by bin min, 0.039 s)
224.41/198.45	c (112,0) c   len               : 20.379      (57.03 for all, max 1305, used 1116)
224.41/198.45	c (112,0) c   lbd               : 2.726       (7.45 (6.01) for all, max 446, used 446, 1.165 stdev, 7.650 blk)
224.41/198.45	c (112,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
224.41/198.45	c (112,0) c   simp dbs          : 9           (2.183 s)
224.41/198.45	c (112,0) c   reduce dbs        : 7           (core-lbd 2, supp-lbd 5, 0.350 s)
224.41/198.45	c (112,0) c   learnts           : 81316       (88495 learnts removed, 51.94%)
224.41/198.45	c (112,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
224.41/198.45	c (112,0) c   assigned lits     : 1           (2/19 probed, 3 remains)
224.41/198.45	c (112,0) c   premise updates   : 8757655     (55.17 /lit)
224.41/198.45	c (112,0) c   probed variables  : 19          (4 pr, 0 eq, 3 fld, 4 pol, 0 nec, 8 cla, 0 amo)
224.41/198.45	c (112,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
224.41/198.45	c (112,0) c   lazy added bins   : 1399        (1399 prop + 0 conf, 0.119s)
224.41/198.45	c (112,0) c   unwatched lit elim: 50753       (0.02+0.36%, 1950+48803 of 9982400+13425133)
224.41/198.45	c (112,0) c   classified type   : undef
224.41/198.45	c (112,0) c   progress          : 0.059 %
224.41/198.45	c (112,0) c
224.41/198.45	c (112,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
224.41/198.45	c (112,0) c
224.41/198.45	c (112,0) c  112       819    170394    79324  3354053    81316   20.4   2.7  39.1 15.3%
239.82/213.88	c (127,0) c  127 r     936    188003    79320  3354018    98863   31.6   3.7  43.3 16.2%
240.13/214.17	c (128,0) c
240.13/214.17	c (128,0) c R [LBD Statistics #8]
240.13/214.17	c (128,0) c R LBD         used lbd               used clause lbd
240.13/214.17	c (128,0) c R  tot    18178552                   98863
240.13/214.17	c (128,0) c R  avg       2.017                   3.663
240.13/214.17	c (128,0) c R   1      2050814 (11.3/11.3%)       6100 ( 6.2/ 6.2%)
240.13/214.17	c (128,0) c R   2     14923900 (82.1/93.4%)      61889 (62.6/68.8%)
240.13/214.17	c (128,0) c R
240.13/214.17	c (128,0) c R core_lbd_threshold = 2
240.13/214.17	c (128,0) c R supp_lbd_threshold = 5
240.13/214.17	c (128,0) c R
240.13/214.17	c (128,0) c R [RDB Statistics #8]
240.13/214.17	c (128,0) c R kept: lbd      =   67385 (68.2/68.2%)
240.13/214.17	c (128,0) c R kept: ttl      =   14107 (14.3/82.4%)
240.13/214.17	c (128,0) c R kept: locked   =      70 ( 0.1/82.5%)
240.13/214.17	c (128,0) c R lost: lbd      =     540 ( 0.5/ 0.5%)
240.13/214.17	c (128,0) c R lost: ttl      =   16761 (17.0/17.5%)
240.13/214.17	c (128,0) c R lost: subsumed =       0 ( 0.0/17.5%)
240.13/214.17	c (128,0) c
240.13/214.17	c (128,0) c  127 R     936    188003    79320  3354018    81562   13.2   2.2  43.3 16.2%
250.93/225.00	c (139,0) c  138 N    1002    200003    79319  3354009    93646   21.4   2.7  36.1 18.5%
255.23/229.25	c (143,0) c
255.23/229.25	c (143,0) c I variables         : 79319       (init 82640, after simp 79369, 109 non-decs, 80 csp)
255.23/229.25	c (143,0) c I clauses           : 3354009     (init 3366066, after simp 3357479)
255.23/229.25	c (143,0) c I restarts          : 1001        (199.60 confs/res, 50~2193 confs, 0 blks, 0 last)
255.23/229.25	c (143,0) c I conflicts         : 200003      (1456 /sec, 58.67% dconfs, 0.00% supp, trail 396.93w x 43.61h, jmp 3.90h)
255.23/229.25	c (143,0) c I decisions         : 840329      (0.9500 vdcy, 6116 /sec, 0.00% bin, rs 0.029 s)
255.23/229.25	c (143,0) c I propagations      : 312150825   (2271868 /sec, 371.46 lits/dec, 37.92% o.a.)
255.23/229.25	c (143,0) c I conflict literals : 16826097    (27.70% deleted; 0.30% by bin min, 0.048 s)
255.23/229.25	c (143,0) c I len               : 21.397      (60.57 for all, max 1305, used 1171)
255.23/229.25	c (143,0) c I lbd               : 2.735       (7.69 (6.21) for all, max 446, used 446, 1.182 stdev, 7.873 blk)
255.23/229.25	c (143,0) c I amo               : 0           (0 max, -nan avg, 0.000 s)
255.23/229.25	c (143,0) c I simp dbs          : 11          (2.845 s)
255.23/229.25	c (143,0) c I reduce dbs        : 8           (core-lbd 2, supp-lbd 5, 0.629 s)
255.23/229.25	c (143,0) c I learnts           : 93646       (105796 learnts removed, 52.90%)
255.23/229.25	c (143,0) c I rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
255.23/229.25	c (143,0) c I assigned lits     : 1           (2/20 probed, 4 remains)
255.23/229.25	c (143,0) c I premise updates   : 10028799    (63.18 /lit)
255.23/229.25	c (143,0) c I probed variables  : 20          (4 pr, 0 eq, 3 fld, 5 pol, 0 nec, 8 cla, 0 amo)
255.23/229.25	c (143,0) c I equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
255.23/229.25	c (143,0) c I lazy added bins   : 1635        (1635 prop + 0 conf, 0.145s)
255.23/229.25	c (143,0) c I unwatched lit elim: 70911       (0.02+0.41%, 2415+68496 of 9982400+16826097)
255.23/229.25	c (143,0) c I classified type   : normal
255.23/229.25	c (143,0) c I progress          : 0.066 %
255.23/229.25	c (143,0) c
255.23/229.25	c (143,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
255.23/229.25	c (143,0) c
255.23/229.25	c (143,0) c  142      1016    204576    79318  3354009    98244   23.8   2.9  29.3 18.0%
266.63/240.66	c (154,0) c  154 r    1070    216000    79272  3354009   109717   31.7   3.2  28.7 18.0%
266.63/240.67	c (154,0) c
266.63/240.67	c (154,0) c R [LBD Statistics #9]
266.63/240.67	c (154,0) c R LBD         used lbd               used clause lbd
266.63/240.67	c (154,0) c R  tot    24883190                  109717
266.63/240.67	c (154,0) c R  avg       2.002                   3.186
266.63/240.67	c (154,0) c R   1      2848739 (11.4/11.4%)       7426 ( 6.8/ 6.8%)
266.63/240.67	c (154,0) c R   2     20548356 (82.6/94.0%)      71963 (65.6/72.4%)
266.63/240.67	c (154,0) c R
266.63/240.67	c (154,0) c R core_lbd_threshold = 2
266.63/240.67	c (154,0) c R supp_lbd_threshold = 4
266.63/240.67	c (154,0) c R
266.63/240.67	c (154,0) c R [RDB Statistics #9]
266.63/240.67	c (154,0) c R kept: lbd      =   78630 (71.7/71.7%)
266.63/240.67	c (154,0) c R kept: ttl      =   13539 (12.3/84.0%)
266.63/240.67	c (154,0) c R kept: locked   =     142 ( 0.1/84.1%)
266.63/240.67	c (154,0) c R lost: lbd      =     630 ( 0.6/ 0.6%)
266.63/240.67	c (154,0) c R lost: ttl      =   16776 (15.3/15.9%)
266.63/240.67	c (154,0) c R lost: subsumed =       0 ( 0.0/15.9%)
266.63/240.67	c (154,0) c
266.63/240.67	c (154,0) c  154 R    1070    216000    79272  3354009    92311   13.4   2.1  28.7 18.0%
282.74/256.71	c (170,0) c  170 p    1150    231616    79238  3348477   106724   24.3   2.8  33.3 18.2%
282.74/256.79	c (170,0) c  170 p    1151    231681    79216  3348477   106789   24.3   2.8  33.2 18.2%
283.94/257.93	c (171,0) c  171      1153    232907    79214  3348477   108016   24.5   2.9  35.2 19.9%
283.94/257.93	c (171,0) c
283.94/257.93	c (171,0) c
283.94/257.93	c (171,0) c variables         : 79214       (init 82640, after simp 79369, 108 non-decs, 80 csp)
283.94/257.93	c (171,0) c clauses           : 3348477     (init 3366066, after simp 3357479)
283.94/257.93	c (171,0) c restarts          : 1152        (202.00 confs/res, 50~2495 confs, 0 blks, 0 last)
283.94/257.93	c (171,0) c conflicts         : 232907      (1369 /sec, 58.57% dconfs, 0.00% supp, trail 460.10w x 41.88h, jmp 3.95h)
283.94/257.93	c (171,0) c decisions         : 989018      (0.9500 vdcy, 5814 /sec, 0.00% bin, rs 0.030 s)
283.94/257.93	c (171,0) c propagations      : 380317980   (2235567 /sec, 384.54 lits/dec, 38.27% o.a.)
283.94/257.93	c (171,0) c conflict literals : 21508565    (29.84% deleted; 0.26% by bin min, 0.058 s)
283.94/257.93	c (171,0) c len               : 24.485      (64.55 for all, max 1305, used 1239)
283.94/257.93	c (171,0) c lbd               : 2.872       (7.76 (6.23) for all, max 446, used 446, 1.153 stdev, 8.317 blk)
283.94/257.93	c (171,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
283.94/257.93	c (171,0) c simp dbs          : 12          (3.185 s)
283.94/257.93	c (171,0) c reduce dbs        : 9           (core-lbd 2, supp-lbd 4, 0.637 s)
283.94/257.93	c (171,0) c learnts           : 108016      (123202 learnts removed, 52.90%)
283.94/257.93	c (171,0) c rewrite dbs       : 0           (0/4 vars, 0+0 taut, 0+0 unit, 0.000 s)
283.94/257.93	c (171,0) c assigned lits     : 3           (26/55 probed, 1 remains)
283.94/257.93	c (171,0) c premise updates   : 13002409    (81.91 /lit)
283.94/257.93	c (171,0) c probed variables  : 55          (4 pr, 0 eq, 13 fld, 21 pol, 0 nec, 17 cla, 0 amo)
283.94/257.93	c (171,0) c equiv variables   : 4           (4 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
283.94/257.93	c (171,0) c lazy added bins   : 1812        (1812 prop + 0 conf, 0.172s)
283.94/257.93	c (171,0) c unwatched lit elim: 83629       (0.03+0.38%, 2753+80876 of 9982400+21508565)
283.94/257.93	c (171,0) c classified type   : normal
283.94/257.93	c (171,0) c progress          : 0.199 %
283.94/257.93	c (171,0) c
283.94/257.93	c (171,0) c [Statistics]
283.94/257.93	c (171,0) c             learnts len        learnts lbd        lit blk size       eq vars size
283.94/257.93	c (171,0) c  tot      232907             232907            1807665                  4
283.94/257.93	c (171,0) c  avg      64.548              6.231              8.317              2.000
283.94/257.93	c (171,0) c   1           39 ( 0.0%)       8197 ( 3.5%)    1272237 (70.4%)          0 ( 0.0%)
283.94/257.93	c (171,0) c   2         2565 ( 1.1%)      77492 (33.3%)     161541 ( 8.9%)          4 (100.0%)
283.94/257.93	c (171,0) c   3        19245 ( 8.3%)      27001 (11.6%)      73891 ( 4.1%)          0 ( 0.0%)
283.94/257.93	c (171,0) c   4        24453 (10.5%)      21733 ( 9.3%)      42574 ( 2.4%)          0 ( 0.0%)
283.94/257.93	c (171,0) c   5        15975 ( 6.9%)      17875 ( 7.7%)      28925 ( 1.6%)          0 ( 0.0%)
283.94/257.93	c (171,0) c   6        13366 ( 5.7%)      15395 ( 6.6%)      21215 ( 1.2%)          0 ( 0.0%)
283.94/257.93	c (171,0) c   7        11556 ( 5.0%)      12656 ( 5.4%)      16389 ( 0.9%)          0 ( 0.0%)
283.94/257.93	c (171,0) c   8         9990 ( 4.3%)      10258 ( 4.4%)      12987 ( 0.7%)          0 ( 0.0%)
283.94/257.93	c (171,0) c   9         8576 ( 3.7%)       7943 ( 3.4%)      10555 ( 0.6%)          0 ( 0.0%)
283.94/257.93	c (171,0) c  10         7447 ( 3.2%)       6291 ( 2.7%)       8938 ( 0.5%)          0 ( 0.0%)
283.94/257.93	c (171,0) c  11         6652 ( 2.9%)       4877 ( 2.1%)       7530 ( 0.4%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  12         5569 ( 2.4%)       3761 ( 1.6%)       6811 ( 0.4%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  13         4855 ( 2.1%)       2921 ( 1.3%)       5756 ( 0.3%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  14         4248 ( 1.8%)       2334 ( 1.0%)       5183 ( 0.3%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  15         3681 ( 1.6%)       1868 ( 0.8%)       4593 ( 0.3%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  16         3283 ( 1.4%)       1533 ( 0.7%)       4205 ( 0.2%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  17         2839 ( 1.2%)       1192 ( 0.5%)       3961 ( 0.2%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  18         2578 ( 1.1%)        951 ( 0.4%)       3582 ( 0.2%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  19         2281 ( 1.0%)        806 ( 0.3%)       3309 ( 0.2%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  20         2033 ( 0.9%)        687 ( 0.3%)       3140 ( 0.2%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  21         1842 ( 0.8%)        573 ( 0.2%)       2960 ( 0.2%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  22         1699 ( 0.7%)        474 ( 0.2%)       2776 ( 0.2%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  23         1466 ( 0.6%)        438 ( 0.2%)       2755 ( 0.2%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  24         1363 ( 0.6%)        356 ( 0.2%)       2489 ( 0.1%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  25         1279 ( 0.5%)        363 ( 0.2%)       2330 ( 0.1%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  26         1205 ( 0.5%)        314 ( 0.1%)       2045 ( 0.1%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  27         1104 ( 0.5%)        272 ( 0.1%)       2017 ( 0.1%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  28         1058 ( 0.5%)        261 ( 0.1%)       1904 ( 0.1%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  29          972 ( 0.4%)        221 ( 0.1%)       1812 ( 0.1%)          0 ( 0.0%)
283.94/257.94	c (171,0) c  30        69688 (29.9%)       3864 ( 1.7%)      89255 ( 4.9%)          0 ( 0.0%)
283.94/257.94	c (171,0) c
283.94/257.94	c (171,0) c [LBD Statistics]
283.94/257.94	c (171,0) c LBD          used lbd               used clause lbd         unused clause lbd
283.94/257.94	c (171,0) c  tot     28873209                  162903                   71777
283.94/257.94	c (171,0) c  avg        1.997                   4.439                  10.192
283.94/257.94	c (171,0) c    1      3313066 (11.5/11.5%)       8158 ( 5.0/ 5.0%)          0 ( 0.0/ 0.0%)
283.94/257.94	c (171,0) c    2     23910977 (82.8/94.3%)      76295 (46.8/51.8%)       3009 ( 4.2/ 4.2%)
283.94/257.94	c (171,0) c    3      1034694 ( 3.6/97.9%)      21323 (13.1/64.9%)       5678 ( 7.9/12.1%)
283.94/257.94	c (171,0) c    4       352468 ( 1.2/99.1%)      14411 ( 8.8/73.8%)       7322 (10.2/22.3%)
283.94/257.94	c (171,0) c    5       124847 ( 0.4/99.5%)       9811 ( 6.0/79.8%)       8064 (11.2/33.5%)
283.94/257.94	c (171,0) c    6        44581 ( 0.2/99.7%)       7654 ( 4.7/84.5%)       7741 (10.8/44.3%)
283.94/257.94	c (171,0) c    7        25110 ( 0.1/99.8%)       5716 ( 3.5/88.0%)       6940 ( 9.7/54.0%)
283.94/257.94	c (171,0) c    8        17559 ( 0.1/99.8%)       4372 ( 2.7/90.7%)       5886 ( 8.2/62.2%)
283.94/257.94	c (171,0) c    9        11039 ( 0.0/99.9%)       3170 ( 1.9/92.6%)       4773 ( 6.6/68.8%)
283.94/257.94	c (171,0) c   10         8984 ( 0.0/99.9%)       2395 ( 1.5/94.1%)       3896 ( 5.4/74.3%)
283.94/257.94	c (171,0) c   11         6300 ( 0.0/99.9%)       1748 ( 1.1/95.2%)       3129 ( 4.4/78.6%)
283.94/257.94	c (171,0) c   12         4355 ( 0.0/99.9%)       1338 ( 0.8/96.0%)       2423 ( 3.4/82.0%)
283.94/257.94	c (171,0) c   13         3398 ( 0.0/99.9%)       1058 ( 0.6/96.7%)       1863 ( 2.6/84.6%)
283.94/257.94	c (171,0) c   14         2765 ( 0.0/100.0%)        791 ( 0.5/97.1%)       1543 ( 2.1/86.8%)
283.94/257.94	c (171,0) c   15         1916 ( 0.0/100.0%)        638 ( 0.4/97.5%)       1230 ( 1.7/88.5%)
283.94/257.94	c (171,0) c   16         1601 ( 0.0/100.0%)        479 ( 0.3/97.8%)       1054 ( 1.5/89.9%)
283.94/257.94	c (171,0) c   17         1235 ( 0.0/100.0%)        399 ( 0.2/98.1%)        793 ( 1.1/91.0%)
283.94/257.94	c (171,0) c   18          900 ( 0.0/100.0%)        313 ( 0.2/98.3%)        638 ( 0.9/91.9%)
283.94/257.94	c (171,0) c   19          776 ( 0.0/100.0%)        275 ( 0.2/98.4%)        531 ( 0.7/92.7%)
283.94/257.94	c (171,0) c   20          617 ( 0.0/100.0%)        248 ( 0.2/98.6%)        439 ( 0.6/93.3%)
283.94/257.94	c (171,0) c   21          514 ( 0.0/100.0%)        185 ( 0.1/98.7%)        388 ( 0.5/93.8%)
283.94/257.94	c (171,0) c   22          419 ( 0.0/100.0%)        152 ( 0.1/98.8%)        322 ( 0.4/94.3%)
283.94/257.94	c (171,0) c   23          358 ( 0.0/100.0%)        138 ( 0.1/98.9%)        300 ( 0.4/94.7%)
283.94/257.94	c (171,0) c   24          363 ( 0.0/100.0%)        117 ( 0.1/98.9%)        239 ( 0.3/95.0%)
283.94/257.94	c (171,0) c   25          314 ( 0.0/100.0%)        129 ( 0.1/99.0%)        234 ( 0.3/95.3%)
283.94/257.94	c (171,0) c   26          256 ( 0.0/100.0%)        115 ( 0.1/99.1%)        199 ( 0.3/95.6%)
283.94/257.94	c (171,0) c   27          266 ( 0.0/100.0%)         93 ( 0.1/99.2%)        179 ( 0.2/95.9%)
283.94/257.94	c (171,0) c   28          221 ( 0.0/100.0%)         69 ( 0.0/99.2%)        192 ( 0.3/96.1%)
283.94/257.94	c (171,0) c   29          194 ( 0.0/100.0%)         67 ( 0.0/99.2%)        154 ( 0.2/96.4%)
283.94/257.94	c (171,0) c   30          145 ( 0.0/100.0%)         62 ( 0.0/99.3%)        122 ( 0.2/96.5%)
283.94/257.94	c (171,0) c   31          173 ( 0.0/100.0%)         59 ( 0.0/99.3%)        124 ( 0.2/96.7%)
283.94/257.94	c (171,0) c   32          129 ( 0.0/100.0%)         50 ( 0.0/99.3%)        118 ( 0.2/96.9%)
283.94/257.94	c (171,0) c   33          118 ( 0.0/100.0%)         46 ( 0.0/99.4%)        122 ( 0.2/97.0%)
283.94/257.94	c (171,0) c   34          136 ( 0.0/100.0%)         49 ( 0.0/99.4%)        117 ( 0.2/97.2%)
283.94/257.94	c (171,0) c   35           86 ( 0.0/100.0%)         44 ( 0.0/99.4%)         95 ( 0.1/97.3%)
283.94/257.94	c (171,0) c   36          107 ( 0.0/100.0%)         27 ( 0.0/99.4%)         87 ( 0.1/97.4%)
283.94/257.94	c (171,0) c   37          109 ( 0.0/100.0%)         38 ( 0.0/99.5%)         74 ( 0.1/97.5%)
283.94/257.94	c (171,0) c   38           73 ( 0.0/100.0%)         26 ( 0.0/99.5%)         57 ( 0.1/97.6%)
283.94/257.94	c (171,0) c   39           82 ( 0.0/100.0%)         26 ( 0.0/99.5%)         54 ( 0.1/97.7%)
283.94/257.94	c (171,0) c   40           63 ( 0.0/100.0%)         32 ( 0.0/99.5%)         60 ( 0.1/97.8%)
283.94/257.94	c (171,0) c   41           76 ( 0.0/100.0%)         24 ( 0.0/99.5%)         55 ( 0.1/97.9%)
283.94/257.94	c (171,0) c   42          101 ( 0.0/100.0%)         24 ( 0.0/99.5%)         43 ( 0.1/97.9%)
283.94/257.94	c (171,0) c   43           61 ( 0.0/100.0%)         20 ( 0.0/99.6%)         46 ( 0.1/98.0%)
283.94/257.94	c (171,0) c   44           49 ( 0.0/100.0%)         19 ( 0.0/99.6%)         40 ( 0.1/98.0%)
283.94/257.94	c (171,0) c   45           61 ( 0.0/100.0%)         15 ( 0.0/99.6%)         52 ( 0.1/98.1%)
283.94/257.94	c (171,0) c   46           47 ( 0.0/100.0%)         17 ( 0.0/99.6%)         47 ( 0.1/98.2%)
283.94/257.94	c (171,0) c   47           38 ( 0.0/100.0%)         13 ( 0.0/99.6%)         40 ( 0.1/98.2%)
283.94/257.94	c (171,0) c   48           26 ( 0.0/100.0%)         24 ( 0.0/99.6%)         35 ( 0.0/98.3%)
283.94/257.94	c (171,0) c   49           31 ( 0.0/100.0%)         10 ( 0.0/99.6%)         30 ( 0.0/98.3%)
283.94/257.94	c (171,0) c   50           31 ( 0.0/100.0%)         14 ( 0.0/99.6%)         24 ( 0.0/98.4%)
283.94/257.94	c (171,0) c   51           19 ( 0.0/100.0%)          7 ( 0.0/99.6%)         37 ( 0.1/98.4%)
283.94/257.94	c (171,0) c   52           23 ( 0.0/100.0%)         18 ( 0.0/99.6%)         33 ( 0.0/98.5%)
283.94/257.94	c (171,0) c   53           28 ( 0.0/100.0%)         12 ( 0.0/99.7%)         26 ( 0.0/98.5%)
283.94/257.94	c (171,0) c   54           30 ( 0.0/100.0%)         13 ( 0.0/99.7%)         26 ( 0.0/98.5%)
283.94/257.94	c (171,0) c   55           19 ( 0.0/100.0%)         11 ( 0.0/99.7%)         31 ( 0.0/98.6%)
283.94/257.94	c (171,0) c   56           30 ( 0.0/100.0%)         12 ( 0.0/99.7%)         29 ( 0.0/98.6%)
283.94/257.94	c (171,0) c   57           55 ( 0.0/100.0%)          8 ( 0.0/99.7%)         20 ( 0.0/98.6%)
283.94/257.94	c (171,0) c   58           27 ( 0.0/100.0%)          9 ( 0.0/99.7%)         14 ( 0.0/98.7%)
283.94/257.94	c (171,0) c   59           22 ( 0.0/100.0%)          8 ( 0.0/99.7%)         19 ( 0.0/98.7%)
283.94/257.94	c (171,0) c   60           26 ( 0.0/100.0%)         14 ( 0.0/99.7%)         19 ( 0.0/98.7%)
283.94/257.94	c (171,0) c   61           34 ( 0.0/100.0%)          5 ( 0.0/99.7%)         23 ( 0.0/98.7%)
283.94/257.94	c (171,0) c   62           17 ( 0.0/100.0%)          3 ( 0.0/99.7%)         17 ( 0.0/98.8%)
283.94/257.94	c (171,0) c   63           26 ( 0.0/100.0%)         12 ( 0.0/99.7%)         24 ( 0.0/98.8%)
283.94/257.94	c (171,0) c   64           16 ( 0.0/100.0%)          8 ( 0.0/99.7%)         14 ( 0.0/98.8%)
283.94/257.94	c (171,0) c   65           14 ( 0.0/100.0%)         13 ( 0.0/99.7%)         17 ( 0.0/98.8%)
283.94/257.94	c (171,0) c   66           22 ( 0.0/100.0%)         10 ( 0.0/99.7%)         16 ( 0.0/98.9%)
283.94/257.94	c (171,0) c   67           18 ( 0.0/100.0%)          5 ( 0.0/99.7%)         24 ( 0.0/98.9%)
283.94/257.94	c (171,0) c   68           22 ( 0.0/100.0%)         13 ( 0.0/99.7%)         13 ( 0.0/98.9%)
283.94/257.94	c (171,0) c   69           15 ( 0.0/100.0%)         10 ( 0.0/99.7%)         24 ( 0.0/99.0%)
283.94/257.94	c (171,0) c   70           25 ( 0.0/100.0%)         11 ( 0.0/99.8%)         19 ( 0.0/99.0%)
283.94/257.94	c (171,0) c   71           21 ( 0.0/100.0%)          9 ( 0.0/99.8%)         14 ( 0.0/99.0%)
283.94/257.94	c (171,0) c   72           16 ( 0.0/100.0%)          3 ( 0.0/99.8%)         15 ( 0.0/99.0%)
283.94/257.94	c (171,0) c   73           23 ( 0.0/100.0%)          5 ( 0.0/99.8%)         26 ( 0.0/99.1%)
283.94/257.94	c (171,0) c   74           13 ( 0.0/100.0%)          7 ( 0.0/99.8%)          9 ( 0.0/99.1%)
283.94/257.94	c (171,0) c   75            4 ( 0.0/100.0%)          2 ( 0.0/99.8%)         10 ( 0.0/99.1%)
283.94/257.94	c (171,0) c   76           11 ( 0.0/100.0%)          4 ( 0.0/99.8%)         18 ( 0.0/99.1%)
283.94/257.94	c (171,0) c   77            9 ( 0.0/100.0%)          6 ( 0.0/99.8%)         13 ( 0.0/99.1%)
283.94/257.94	c (171,0) c   78           17 ( 0.0/100.0%)          7 ( 0.0/99.8%)         11 ( 0.0/99.1%)
283.94/257.94	c (171,0) c   79           10 ( 0.0/100.0%)          7 ( 0.0/99.8%)         13 ( 0.0/99.2%)
283.94/257.94	c (171,0) c   80           15 ( 0.0/100.0%)          9 ( 0.0/99.8%)         13 ( 0.0/99.2%)
283.94/257.94	c (171,0) c   81           17 ( 0.0/100.0%)          1 ( 0.0/99.8%)          7 ( 0.0/99.2%)
283.94/257.94	c (171,0) c   82           19 ( 0.0/100.0%)          3 ( 0.0/99.8%)         16 ( 0.0/99.2%)
283.94/257.94	c (171,0) c   83           11 ( 0.0/100.0%)          8 ( 0.0/99.8%)          8 ( 0.0/99.2%)
283.94/257.94	c (171,0) c   84           10 ( 0.0/100.0%)          4 ( 0.0/99.8%)         11 ( 0.0/99.2%)
283.94/257.94	c (171,0) c   85            7 ( 0.0/100.0%)          3 ( 0.0/99.8%)         11 ( 0.0/99.3%)
283.94/257.94	c (171,0) c   86           27 ( 0.0/100.0%)         10 ( 0.0/99.8%)          7 ( 0.0/99.3%)
283.94/257.94	c (171,0) c   87            9 ( 0.0/100.0%)          1 ( 0.0/99.8%)          7 ( 0.0/99.3%)
283.94/257.94	c (171,0) c   88            5 ( 0.0/100.0%)          5 ( 0.0/99.8%)         11 ( 0.0/99.3%)
283.94/257.94	c (171,0) c   89           12 ( 0.0/100.0%)          8 ( 0.0/99.8%)         10 ( 0.0/99.3%)
283.94/257.94	c (171,0) c   90           15 ( 0.0/100.0%)          6 ( 0.0/99.8%)          8 ( 0.0/99.3%)
283.94/257.94	c (171,0) c   91           12 ( 0.0/100.0%)          4 ( 0.0/99.8%)         11 ( 0.0/99.3%)
283.94/257.94	c (171,0) c   92           10 ( 0.0/100.0%)          2 ( 0.0/99.8%)          6 ( 0.0/99.3%)
283.94/257.94	c (171,0) c   93            7 ( 0.0/100.0%)          8 ( 0.0/99.8%)         10 ( 0.0/99.4%)
283.94/257.94	c (171,0) c   94            5 ( 0.0/100.0%)          3 ( 0.0/99.8%)          6 ( 0.0/99.4%)
283.94/257.94	c (171,0) c   95           11 ( 0.0/100.0%)          5 ( 0.0/99.8%)          7 ( 0.0/99.4%)
283.94/257.94	c (171,0) c   96            5 ( 0.0/100.0%)          3 ( 0.0/99.8%)         11 ( 0.0/99.4%)
283.94/257.94	c (171,0) c   97           12 ( 0.0/100.0%)          2 ( 0.0/99.8%)          8 ( 0.0/99.4%)
283.94/257.94	c (171,0) c   98           12 ( 0.0/100.0%)          3 ( 0.0/99.8%)         10 ( 0.0/99.4%)
283.94/257.94	c (171,0) c   99            4 ( 0.0/100.0%)          3 ( 0.0/99.8%)          9 ( 0.0/99.4%)
283.94/257.94	c (171,0) c  100            8 ( 0.0/100.0%)          1 ( 0.0/99.8%)          6 ( 0.0/99.4%)
283.94/257.94	c (171,0) c  101            6 ( 0.0/100.0%)          6 ( 0.0/99.8%)          3 ( 0.0/99.4%)
283.94/257.94	c (171,0) c  102            7 ( 0.0/100.0%)          5 ( 0.0/99.8%)          7 ( 0.0/99.4%)
283.94/257.94	c (171,0) c  103            7 ( 0.0/100.0%)          3 ( 0.0/99.8%)          5 ( 0.0/99.5%)
283.94/257.94	c (171,0) c  104            9 ( 0.0/100.0%)          5 ( 0.0/99.9%)          3 ( 0.0/99.5%)
283.94/257.94	c (171,0) c  105            1 ( 0.0/100.0%)          3 ( 0.0/99.9%)          2 ( 0.0/99.5%)
283.94/257.94	c (171,0) c  106           10 ( 0.0/100.0%)          4 ( 0.0/99.9%)          8 ( 0.0/99.5%)
283.94/257.94	c (171,0) c  107            5 ( 0.0/100.0%)          2 ( 0.0/99.9%)          3 ( 0.0/99.5%)
283.94/257.94	c (171,0) c  108            8 ( 0.0/100.0%)          5 ( 0.0/99.9%)          7 ( 0.0/99.5%)
283.94/257.94	c (171,0) c  109            5 ( 0.0/100.0%)          1 ( 0.0/99.9%)          8 ( 0.0/99.5%)
283.94/257.94	c (171,0) c  110            9 ( 0.0/100.0%)          3 ( 0.0/99.9%)          7 ( 0.0/99.5%)
283.94/257.94	c (171,0) c  111           10 ( 0.0/100.0%)          6 ( 0.0/99.9%)         12 ( 0.0/99.5%)
283.94/257.94	c (171,0) c  112           12 ( 0.0/100.0%)          7 ( 0.0/99.9%)         16 ( 0.0/99.5%)
283.94/257.94	c (171,0) c  113           10 ( 0.0/100.0%)          4 ( 0.0/99.9%)         11 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  114           11 ( 0.0/100.0%)          7 ( 0.0/99.9%)          9 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  115            8 ( 0.0/100.0%)          2 ( 0.0/99.9%)          6 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  116            6 ( 0.0/100.0%)          3 ( 0.0/99.9%)          3 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  117            7 ( 0.0/100.0%)          3 ( 0.0/99.9%)         11 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  118           11 ( 0.0/100.0%)          2 ( 0.0/99.9%)          5 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  119            7 ( 0.0/100.0%)          2 ( 0.0/99.9%)          6 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  120            1 ( 0.0/100.0%)          2 ( 0.0/99.9%)          4 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  121            4 ( 0.0/100.0%)          3 ( 0.0/99.9%)          6 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  122            3 ( 0.0/100.0%)          3 ( 0.0/99.9%)          4 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  123            5 ( 0.0/100.0%)          0 ( 0.0/99.9%)          3 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  124            1 ( 0.0/100.0%)          1 ( 0.0/99.9%)          4 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  125            1 ( 0.0/100.0%)          2 ( 0.0/99.9%)          3 ( 0.0/99.6%)
283.94/257.94	c (171,0) c  126            5 ( 0.0/100.0%)          3 ( 0.0/99.9%)          2 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  127            2 ( 0.0/100.0%)          0 ( 0.0/99.9%)          3 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  128            5 ( 0.0/100.0%)          0 ( 0.0/99.9%)          3 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  129            0 ( 0.0/100.0%)          3 ( 0.0/99.9%)          5 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  130            7 ( 0.0/100.0%)          2 ( 0.0/99.9%)          4 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  131            4 ( 0.0/100.0%)          1 ( 0.0/99.9%)          4 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  132            4 ( 0.0/100.0%)          3 ( 0.0/99.9%)          3 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  133            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  134            2 ( 0.0/100.0%)          3 ( 0.0/99.9%)          5 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  135            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          3 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  136            2 ( 0.0/100.0%)          2 ( 0.0/99.9%)          7 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  137            1 ( 0.0/100.0%)          2 ( 0.0/99.9%)          2 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  138            8 ( 0.0/100.0%)          5 ( 0.0/99.9%)          4 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  139            5 ( 0.0/100.0%)          2 ( 0.0/99.9%)          3 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  140            4 ( 0.0/100.0%)          1 ( 0.0/99.9%)          6 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  141            7 ( 0.0/100.0%)          0 ( 0.0/99.9%)          6 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  142            3 ( 0.0/100.0%)          2 ( 0.0/99.9%)          3 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  143            3 ( 0.0/100.0%)          3 ( 0.0/99.9%)          5 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  144            3 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  145            4 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.7%)
283.94/257.94	c (171,0) c  146            5 ( 0.0/100.0%)          4 ( 0.0/99.9%)          2 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  147            3 ( 0.0/100.0%)          1 ( 0.0/99.9%)          5 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  148            7 ( 0.0/100.0%)          4 ( 0.0/99.9%)          4 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  149            3 ( 0.0/100.0%)          3 ( 0.0/99.9%)          3 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  150            2 ( 0.0/100.0%)          3 ( 0.0/99.9%)          3 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  151            2 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  152           17 ( 0.0/100.0%)          1 ( 0.0/99.9%)          2 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  153            2 ( 0.0/100.0%)          0 ( 0.0/99.9%)          7 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  154            2 ( 0.0/100.0%)          0 ( 0.0/99.9%)          5 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  155            0 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  156            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          4 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  157            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  158            7 ( 0.0/100.0%)          4 ( 0.0/99.9%)          3 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  159            4 ( 0.0/100.0%)          4 ( 0.0/99.9%)          4 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  160            4 ( 0.0/100.0%)          2 ( 0.0/99.9%)          0 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  161            3 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  162            5 ( 0.0/100.0%)          2 ( 0.0/99.9%)          0 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  163            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  164            3 ( 0.0/100.0%)          3 ( 0.0/99.9%)          2 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  165            4 ( 0.0/100.0%)          3 ( 0.0/99.9%)          0 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  166            0 ( 0.0/100.0%)          2 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  167           11 ( 0.0/100.0%)          1 ( 0.0/99.9%)          2 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  168            4 ( 0.0/100.0%)          2 ( 0.0/99.9%)          2 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  169            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  170            2 ( 0.0/100.0%)          4 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  171            1 ( 0.0/100.0%)          2 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  172            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  173            4 ( 0.0/100.0%)          2 ( 0.0/99.9%)          3 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  174            2 ( 0.0/100.0%)          2 ( 0.0/99.9%)          5 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  175            2 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  176            3 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  177            1 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  178            1 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.8%)
283.94/257.94	c (171,0) c  179            1 ( 0.0/100.0%)          1 ( 0.0/99.9%)          2 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  180            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  181            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  182            3 ( 0.0/100.0%)          1 ( 0.0/99.9%)          2 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  183            2 ( 0.0/100.0%)          2 ( 0.0/99.9%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  184            1 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  185            2 ( 0.0/100.0%)          0 ( 0.0/99.9%)          3 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  186            2 ( 0.0/100.0%)          2 ( 0.0/99.9%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  187            2 ( 0.0/100.0%)          2 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  188            2 ( 0.0/100.0%)          2 ( 0.0/100.0%)          3 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  189            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  190            4 ( 0.0/100.0%)          1 ( 0.0/100.0%)          3 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  191            2 ( 0.0/100.0%)          2 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  192            3 ( 0.0/100.0%)          2 ( 0.0/100.0%)          2 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  193            4 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  194            7 ( 0.0/100.0%)          3 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  195            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  196            2 ( 0.0/100.0%)          3 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  197            3 ( 0.0/100.0%)          2 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  198            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  199            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          4 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  200            4 ( 0.0/100.0%)          2 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  201            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  202            4 ( 0.0/100.0%)          2 ( 0.0/100.0%)          2 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  203            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          3 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  204            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  205            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  206            4 ( 0.0/100.0%)          1 ( 0.0/100.0%)          5 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  207            0 ( 0.0/100.0%)          2 ( 0.0/100.0%)          3 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  208            3 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  209            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  210            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  211            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  212            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  213            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  214            4 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  215            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  216            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  217            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  218            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  219            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  220            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  221            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  222            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  223            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  224            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  225            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  226            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  227            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  228            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  229            7 ( 0.0/100.0%)          3 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  230            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  231            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  232            3 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  233            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  234            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  235            5 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  236            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  237            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  238            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  239            0 ( 0.0/100.0%)          2 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  240            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  241            3 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  242            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  243            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  244            3 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  245            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  246            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  247            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  248            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  249            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  250            1 ( 0.0/100.0%)          2 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  251            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  252            6 ( 0.0/100.0%)          3 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  253            8 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  254            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  255            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  256            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  257            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  258            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  259            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  260            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  261            4 ( 0.0/100.0%)          2 ( 0.0/100.0%)          0 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  262            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
283.94/257.94	c (171,0) c  263            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  264            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  265            4 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  266            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  267            3 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  268            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  269            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  270            6 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  271            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  272            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  273            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  274            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  275            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  276            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  277            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  278            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  279            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  280            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  281            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  282            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  283            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  284            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  285            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  286            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  287            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  288            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          3 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  289            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  290            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  291            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  292            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  293            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  294            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  295            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  296            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  297            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  298            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  299            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  300            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  301            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  302            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  303            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  304            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  305            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  306            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  307            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  308            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  309            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  310            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  311            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  312            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  313            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  314            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  315            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  316            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  317            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  318            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  319            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  320            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  321            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  322            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  323            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  324            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  325            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  326            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  327            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  328            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  329            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  330            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  331            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  332            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  333            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  334            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  335            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  336            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  337            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  338            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  339            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  340            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.94	c (171,0) c  341            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  342            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  343            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  344            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  345            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  346            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  347            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  348            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  349            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  350            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  351            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  352            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  353            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  354            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          4 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  355            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  356            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  357            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  358            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  359            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  360            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  361            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  362            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  363            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  364            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  365            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  366            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  367            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  368            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  369            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  370            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  371            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  372            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  373            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  374            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  375            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  376            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  377            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  378            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  379            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  380            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  381            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  382            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  383            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  384            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  385            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  386            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  387            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  388            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  389            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  390            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  391            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  392            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  393            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  394            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  395            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  396            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  397            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  398            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  399            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  400            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  401            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  402            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  403            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  404            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  405            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  406            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  407            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  408            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  409            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  410            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  411            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  412            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  413            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  414            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  415            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  416            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  417            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  418            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  419            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  420            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  421            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  422            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  423            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  424            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  425            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  426            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  427            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  428            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  429            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  430            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  431            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  432            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  433            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  434            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  435            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  436            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  437            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  438            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  439            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  440            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  441            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  442            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  443            2 ( 0.0/100.0%)          2 ( 0.0/100.0%)          1 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  444            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  445            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c  446            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
283.94/257.95	c (171,0) c
283.94/257.95	c (171,0) c Memory used       : 457.00 MB
283.94/257.95	c (171,0) c CPU time          : 170.128 s
283.94/257.95	c (171,0) c Real time         : 171.621 s
283.94/257.95	c (171,0) c
283.94/257.95	c (171,0) s SATISFIABLE
284.19/258.03	c (172,0) SatSolver.solve End
284.19/258.03	c (172,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
284.19/258.03	c (172,0) Show results Begin
284.46/258.14	c (172,0) x[0] = 367
284.46/258.14	c (172,0) x[1] = 15
284.46/258.14	c (172,0) x[2] = 181
284.46/258.14	c (172,0) x[3] = 310
284.46/258.14	c (172,0) x[4] = 197
284.46/258.14	c (172,0) x[5] = 87
284.46/258.14	c (172,0) x[6] = 221
284.46/258.14	c (172,0) x[7] = 94
284.46/258.14	c (172,0) x[8] = 24
284.46/258.14	c (172,0) x[9] = 88
284.46/258.14	c (172,0) x[10] = 379
284.46/258.14	c (172,0) x[11] = 316
284.46/258.14	c (172,0) x[12] = 7
284.46/258.14	c (172,0) x[13] = 315
284.46/258.14	c (172,0) x[14] = 307
284.46/258.14	c (172,0) x[15] = 282
284.46/258.14	c (172,0) x[16] = 227
284.46/258.14	c (172,0) x[17] = 275
284.46/258.14	c (172,0) x[18] = 53
284.46/258.14	c (172,0) x[19] = 311
284.46/258.14	c (172,0) x[20] = 55
284.46/258.14	c (172,0) x[21] = 165
284.46/258.14	c (172,0) x[22] = 20
284.46/258.14	c (172,0) x[23] = 99
284.46/258.14	c (172,0) x[24] = 228
284.46/258.14	c (172,0) x[25] = 297
284.46/258.14	c (172,0) x[26] = 43
284.46/258.14	c (172,0) x[27] = 154
284.46/258.14	c (172,0) x[28] = 249
284.46/258.14	c (172,0) x[29] = 67
284.46/258.14	c (172,0) x[30] = 110
284.46/258.14	c (172,0) x[31] = 166
284.46/258.14	c (172,0) x[32] = 278
284.46/258.14	c (172,0) x[33] = 40
284.46/258.14	c (172,0) x[34] = 337
284.46/258.14	c (172,0) x[35] = 280
284.46/258.14	c (172,0) x[36] = 131
284.46/258.14	c (172,0) x[37] = 374
284.46/258.14	c (172,0) x[38] = 319
284.46/258.14	c (172,0) x[39] = 16
284.46/258.14	c (172,0) x[40] = 225
284.46/258.14	c (172,0) x[41] = 68
284.46/258.14	c (172,0) x[42] = 259
284.46/258.14	c (172,0) x[43] = 49
284.46/258.14	c (172,0) x[44] = 338
284.46/258.14	c (172,0) x[45] = 188
284.46/258.14	c (172,0) x[46] = 195
284.46/258.14	c (172,0) x[47] = 145
284.46/258.14	c (172,0) x[48] = 173
284.46/258.14	c (172,0) x[49] = 261
284.46/258.14	c (172,0) x[50] = 355
284.46/258.14	c (172,0) x[51] = 370
284.46/258.14	c (172,0) x[52] = 132
284.46/258.14	c (172,0) x[53] = 230
284.46/258.14	c (172,0) x[54] = 239
284.46/258.14	c (172,0) x[55] = 245
284.46/258.14	c (172,0) x[56] = 143
284.46/258.14	c (172,0) x[57] = 328
284.46/258.14	c (172,0) x[58] = 194
284.46/258.14	c (172,0) x[59] = 151
284.46/258.14	c (172,0) x[60] = 129
284.46/258.14	c (172,0) x[61] = 396
284.46/258.14	c (172,0) x[62] = 371
284.46/258.14	c (172,0) x[63] = 378
284.46/258.14	c (172,0) x[64] = 163
284.46/258.14	c (172,0) x[65] = 201
284.46/258.14	c (172,0) x[66] = 182
284.46/258.14	c (172,0) x[67] = 160
284.46/258.14	c (172,0) x[68] = 146
284.46/258.14	c (172,0) x[69] = 326
284.46/258.14	c (172,0) x[70] = 71
284.46/258.14	c (172,0) x[71] = 186
284.46/258.14	c (172,0) x[72] = 180
284.46/258.14	c (172,0) x[73] = 13
284.46/258.14	c (172,0) x[74] = 127
284.46/258.14	c (172,0) x[75] = 126
284.46/258.14	c (172,0) x[76] = 77
284.46/258.14	c (172,0) x[77] = 273
284.46/258.14	c (172,0) x[78] = 117
284.46/258.14	c (172,0) x[79] = 362
284.46/258.14	s SATISFIABLE
284.46/258.15	v <instantiation>
284.46/258.15	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79]</list>
284.46/258.15	v     <values>367 15 181 310 197 87 221 94 24 88 379 316 7 315 307 282 227 275 53 311 55 165 20 99 228 297 43 154 249 67 110 166 278 40 337 280 131 374 319 16 225 68 259 49 338 188 195 145 173 261 355 370 132 230 239 245 143 328 194 151 129 396 371 378 163 201 182 160 146 326 71 186 180 13 127 126 77 273 117 362</values>
284.46/258.15	v </instantiation>
284.46/258.15	c (172,0) Show results End
284.46/258.15	c (172,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
284.46/258.15	c (172,0) 172,172,STOP-AFTER(ALL)
284.46/258.15	c END-Prog: Thu Sep 12 15:02:39 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 (11885 MiB free)
  memory of node 1: 16384 MiB (12420 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387980-1568293143/watcher-4387980-1568293143 -o /tmp/evaluation-result-4387980-1568293143/solver-4387980-1568293143 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387980-1568293143.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=12476, runsolver pid=12473

[startup+0.100057 s]*
/proc/loadavg: 2.07 2.11 2.15 4/234 12493
/proc/meminfo: memFree=24828620/32770624 swapFree=66927092/67108860
[pid=12476] ppid=12473 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12476/stat : 12476 (scop.sh) S 12473 12476 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405561654 115843072 349 33554432000 4194304 5098028 140735272272288 140735272269544 140295829807740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13869056 140735272276776 140735272277104 140735272277104 140735272280013 0
/proc/12476/statm: 28282 349 296 221 0 87 0
[pid=12479] ppid=12476 vsize=15012696 memory=75524 CPUtime=0.11 cores=0,2,4,6
/proc/12479/stat : 12479 (java) S 12476 12476 8795 0 -1 1077944320 6635 0 0 0 9 2 0 0 20 0 15 0 405561654 15373000704 18881 33554432000 4194304 4196468 140727736991648 140727736974192 140221915053815 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
/proc/12479/statm: 3753174 18881 2928 1 0 3715579 0
[pid=12479/tid=12480] ppid=12476 vsize=15012696 memory=-6581303614368956357 CPUtime=0.09 cores=0,2,4,6
/proc/12479/task/12480/stat : 12480 (java) R 12476 12476 8795 0 -1 4202560 4537 0 0 0 7 2 0 0 20 0 15 0 405561655 15373000704 19011 33554432000 4194304 4196468 140727736991648 140221886844984 140221915065750 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12481] ppid=12476 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12481/stat : 12481 (java) S 12476 12476 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 19011 33554432000 4194304 4196468 140727736991648 140221919295760 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12482] ppid=12476 vsize=15012696 memory=139683008087680 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12482/stat : 12482 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 19011 33554432000 4194304 4196468 140727736991648 140221694998928 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12483] ppid=12476 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12483/stat : 12483 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 19011 33554432000 4194304 4196468 140727736991648 140221693946384 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12484] ppid=12476 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12484/stat : 12484 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 19011 33554432000 4194304 4196468 140727736991648 140221692893840 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12485] ppid=12476 vsize=15012696 memory=139683008087680 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12485/stat : 12485 (java) S 12476 12476 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405561658 15373000704 19011 33554432000 4194304 4196468 140727736991648 140220952570352 140221915064962 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12486] ppid=12476 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12486/stat : 12486 (java) S 12476 12476 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405561658 15373000704 19011 33554432000 4194304 4196468 140727736991648 140220481660320 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12487] ppid=12476 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12487/stat : 12487 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561659 15373000704 19011 33554432000 4194304 4196468 140727736991648 140220213224944 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12488] ppid=12476 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12488/stat : 12488 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 19011 33554432000 4194304 4196468 140727736991648 140219838716624 140221915072411 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12489] ppid=12476 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12489/stat : 12489 (java) S 12476 12476 8795 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 19011 33554432000 4194304 4196468 140727736991648 140220884314096 140221915064962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12490] ppid=12476 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12490/stat : 12490 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 19011 33554432000 4194304 4196468 140727736991648 140220883261552 140221915064962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12491] ppid=12476 vsize=15012696 memory=139683008087680 CPUtime=0.01 cores=0,2,4,6
/proc/12479/task/12491/stat : 12491 (java) R 12476 12476 8795 0 -1 4202560 436 0 0 0 1 0 0 0 20 0 15 0 405561661 15373000704 19011 33554432000 4194304 4196468 140727736991648 140220882206216 140221893985253 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12492] ppid=12476 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12492/stat : 12492 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 19011 33554432000 4194304 4196468 140727736991648 140219340810848 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12493] ppid=12476 vsize=15012696 memory=139683008087680 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12493/stat : 12493 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 19011 33554432000 4194304 4196468 140727736991648 140220881156912 140221915064962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 76920 KiB

[startup+0.211001 s]*
/proc/loadavg: 2.07 2.11 2.15 3/234 12493
/proc/meminfo: memFree=24808200/32770624 swapFree=66927092/67108860
[pid=12476] ppid=12473 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12476/stat : 12476 (scop.sh) S 12473 12476 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405561654 115843072 349 33554432000 4194304 5098028 140735272272288 140735272269544 140295829807740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13869056 140735272276776 140735272277104 140735272277104 140735272280013 0
/proc/12476/statm: 28282 349 296 221 0 87 0
[pid=12479] ppid=12476 vsize=15012696 memory=91132 CPUtime=0.25 cores=0,2,4,6
/proc/12479/stat : 12479 (java) S 12476 12476 8795 0 -1 1077944320 11858 0 0 0 21 4 0 0 20 0 15 0 405561654 15373000704 22783 33554432000 4194304 4196468 140727736991648 140727736974192 140221915053815 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
/proc/12479/statm: 3753174 22783 2931 1 0 3715579 0
[pid=12479/tid=12480] ppid=12476 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/12479/task/12480/stat : 12480 (java) R 12476 12476 8795 0 -1 4202560 9606 0 0 0 17 3 0 0 20 0 15 0 405561655 15373000704 22783 33554432000 4194304 4196468 140727736991648 140221886872224 140221915065750 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12481] ppid=12476 vsize=15012696 memory=540 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12481/stat : 12481 (java) S 12476 12476 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 22783 33554432000 4194304 4196468 140727736991648 140221919295760 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12482] ppid=12476 vsize=15012696 memory=4121832958134322848 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12482/stat : 12482 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 22783 33554432000 4194304 4196468 140727736991648 140221694998928 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12483] ppid=12476 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12483/stat : 12483 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 22783 33554432000 4194304 4196468 140727736991648 140221693946384 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12484] ppid=12476 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12484/stat : 12484 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 22783 33554432000 4194304 4196468 140727736991648 140221692893840 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12485] ppid=12476 vsize=15012696 memory=139683008087680 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12485/stat : 12485 (java) S 12476 12476 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405561658 15373000704 22783 33554432000 4194304 4196468 140727736991648 140220952570352 140221915064962 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12486] ppid=12476 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12486/stat : 12486 (java) S 12476 12476 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405561658 15373000704 22783 33554432000 4194304 4196468 140727736991648 140220481660320 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12487] ppid=12476 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12487/stat : 12487 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561659 15373000704 22783 33554432000 4194304 4196468 140727736991648 140220213224944 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12488] ppid=12476 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12488/stat : 12488 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 22783 33554432000 4194304 4196468 140727736991648 140219838716624 140221915072411 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12489] ppid=12476 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12489/stat : 12489 (java) S 12476 12476 8795 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 22783 33554432000 4194304 4196468 140727736991648 140220884314096 140221915064962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12490] ppid=12476 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12490/stat : 12490 (java) S 12476 12476 8795 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 22783 33554432000 4194304 4196468 140727736991648 140220883261552 140221915064962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12491] ppid=12476 vsize=15012696 memory=139683008087680 CPUtime=0.03 cores=0,2,4,6
/proc/12479/task/12491/stat : 12491 (java) R 12476 12476 8795 0 -1 4202560 456 0 0 0 3 0 0 0 20 0 15 0 405561661 15373000704 22783 33554432000 4194304 4196468 140727736991648 140220882209008 140221899246318 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12492] ppid=12476 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12492/stat : 12492 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 22783 33554432000 4194304 4196468 140727736991648 140219340810848 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12493] ppid=12476 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12493/stat : 12493 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 22783 33554432000 4194304 4196468 140727736991648 140220881156912 140221915064962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92528 KiB

[startup+0.311079 s]*
/proc/loadavg: 2.07 2.11 2.15 4/234 12493
/proc/meminfo: memFree=24805284/32770624 swapFree=66927092/67108860
[pid=12476] ppid=12473 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12476/stat : 12476 (scop.sh) S 12473 12476 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405561654 115843072 349 33554432000 4194304 5098028 140735272272288 140735272269544 140295829807740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13869056 140735272276776 140735272277104 140735272277104 140735272280013 0
/proc/12476/statm: 28282 349 296 221 0 87 0
[pid=12479] ppid=12476 vsize=15012696 memory=94740 CPUtime=0.42 cores=0,2,4,6
/proc/12479/stat : 12479 (java) S 12476 12476 8795 0 -1 1077944320 12708 0 0 0 38 4 0 0 20 0 15 0 405561654 15373000704 23685 33554432000 4194304 4196468 140727736991648 140727736974192 140221915053815 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
/proc/12479/statm: 3753174 23685 3040 1 0 3715579 0
[pid=12479/tid=12480] ppid=12476 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/12479/task/12480/stat : 12480 (java) R 12476 12476 8795 0 -1 4202560 10275 0 0 0 26 4 0 0 20 0 15 0 405561655 15373000704 23685 33554432000 4194304 4196468 140727736991648 140221886844464 140221895329704 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12481] ppid=12476 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12481/stat : 12481 (java) S 12476 12476 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 23685 33554432000 4194304 4196468 140727736991648 140221919295760 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12482] ppid=12476 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12482/stat : 12482 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 23685 33554432000 4194304 4196468 140727736991648 140221694998928 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12483] ppid=12476 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12483/stat : 12483 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 23685 33554432000 4194304 4196468 140727736991648 140221693946384 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12484] ppid=12476 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12484/stat : 12484 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15373000704 23685 33554432000 4194304 4196468 140727736991648 140221692893840 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12485] ppid=12476 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12485/stat : 12485 (java) S 12476 12476 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405561658 15373000704 23685 33554432000 4194304 4196468 140727736991648 140220952570352 140221915064962 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12486] ppid=12476 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12486/stat : 12486 (java) S 12476 12476 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405561658 15373000704 23685 33554432000 4194304 4196468 140727736991648 140220481660320 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12487] ppid=12476 vsize=15012696 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12487/stat : 12487 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561659 15373000704 23685 33554432000 4194304 4196468 140727736991648 140220213224944 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12488] ppid=12476 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12488/stat : 12488 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 23685 33554432000 4194304 4196468 140727736991648 140219838716624 140221915072411 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12489] ppid=12476 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12479/task/12489/stat : 12489 (java) S 12476 12476 8795 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 405561661 15373000704 23685 33554432000 4194304 4196468 140727736991648 140220884314096 140221915064962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12490] ppid=12476 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12479/task/12490/stat : 12490 (java) S 12476 12476 8795 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 405561661 15373000704 23685 33554432000 4194304 4196468 140727736991648 140220883261552 140221915064962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12491] ppid=12476 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12479/task/12491/stat : 12491 (java) S 12476 12476 8795 0 -1 1077944384 477 0 0 0 7 0 0 0 20 0 15 0 405561661 15373000704 23685 33554432000 4194304 4196468 140727736991648 140220882209008 140221915064962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12492] ppid=12476 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12492/stat : 12492 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 23685 33554432000 4194304 4196468 140727736991648 140219340810848 140221915064021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12493] ppid=12476 vsize=15012696 memory=4051041960858760240 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12493/stat : 12493 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561661 15373000704 23685 33554432000 4194304 4196468 140727736991648 140220881156912 140221915064962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 96136 KiB

[startup+0.701949 s]
/proc/loadavg: 2.07 2.11 2.15 3/234 12493
/proc/meminfo: memFree=24784076/32770624 swapFree=66927092/67108860
[pid=12476] ppid=12473 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12476/stat : 12476 (scop.sh) S 12473 12476 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405561654 115843072 349 33554432000 4194304 5098028 140735272272288 140735272269544 140295829807740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13869056 140735272276776 140735272277104 140735272277104 140735272280013 0
/proc/12476/statm: 28282 349 296 221 0 87 0
[pid=12479] ppid=12476 vsize=15021092 memory=132060 CPUtime=1 cores=0,2,4,6
/proc/12479/stat : 12479 (java) S 12476 12476 8795 0 -1 1077944320 19720 0 0 0 93 7 0 0 20 0 15 0 405561654 15381598208 33015 33554432000 4194304 4196468 140727736991648 140727736974192 140221915053815 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
/proc/12479/statm: 3755273 33015 3214 1 0 3716603 0
[pid=12479/tid=12480] ppid=12476 vsize=15021092 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/12479/task/12480/stat : 12480 (java) R 12476 12476 8795 0 -1 4202560 16870 0 0 0 62 5 0 0 20 0 15 0 405561655 15381598208 33015 33554432000 4194304 4196468 140727736991648 140221886890304 140221915075741 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12481] ppid=12476 vsize=15021092 memory=180 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12481/stat : 12481 (java) S 12476 12476 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405561656 15381598208 33015 33554432000 4194304 4196468 140727736991648 140221919295760 140221915064021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12482] ppid=12476 vsize=15021092 memory=13367 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12482/stat : 12482 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15381598208 33015 33554432000 4194304 4196468 140727736991648 140221694998928 140221915064021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12483] ppid=12476 vsize=15021092 memory=22962 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12483/stat : 12483 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15381598208 33040 33554432000 4194304 4196468 140727736991648 140221693946384 140221915064021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12484] ppid=12476 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12484/stat : 12484 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561656 15381598208 33040 33554432000 4194304 4196468 140727736991648 140221692893840 140221915064021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12485] ppid=12476 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12485/stat : 12485 (java) S 12476 12476 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405561658 15381598208 33040 33554432000 4194304 4196468 140727736991648 140220952570352 140221915064962 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12486] ppid=12476 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12486/stat : 12486 (java) S 12476 12476 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405561658 15381598208 33040 33554432000 4194304 4196468 140727736991648 140220481660320 140221915064021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12487] ppid=12476 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12487/stat : 12487 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561659 15381598208 33040 33554432000 4194304 4196468 140727736991648 140220213224944 140221915064021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12488] ppid=12476 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12488/stat : 12488 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405561661 15381598208 33040 33554432000 4194304 4196468 140727736991648 140219838716624 140221915072411 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12489] ppid=12476 vsize=15021092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12479/task/12489/stat : 12489 (java) S 12476 12476 8795 0 -1 1077944384 612 0 0 0 8 0 0 0 20 0 15 0 405561661 15381598208 33040 33554432000 4194304 4196468 140727736991648 140220884314096 140221915064962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12490] ppid=12476 vsize=15021092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12479/task/12490/stat : 12490 (java) S 12476 12476 8795 0 -1 1077944384 336 0 0 0 7 0 0 0 20 0 15 0 405561661 15381598208 33040 33554432000 4194304 4196468 140727736991648 140220883261552 140221915064962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12491] ppid=12476 vsize=15021092 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/12479/task/12491/stat : 12491 (java) S 12476 12476 8795 0 -1 1077944384 569 0 0 0 14 0 0 0 20 0 15 0 405561661 15381598208 33040 33554432000 4194304 4196468 140727736991648 140220882209008 140221915064962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12492] ppid=12476 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12492/stat : 12492 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405561661 15381598208 33040 33554432000 4194304 4196468 140727736991648 140219340810848 140221915064021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
[pid=12479/tid=12493] ppid=12476 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12479/task/12493/stat : 12493 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405561661 15381598208 33040 33554432000 4194304 4196468 140727736991648 140220881156912 140221915064962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24629248 140727737000686 140727737001114 140727737001114 140727737003983 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 133456 KiB

[startup+1.50078 s]
/proc/loadavg: 2.07 2.11 2.15 5/234 12493
/proc/meminfo: memFree=24746052/32770624 swapFree=66927092/67108860
[pid=12476] ppid=12473 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12476/stat : 12476 (scop.sh) S 12473 12476 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405561654 115843072 349 33554432000 4194304 5098028 140735272272288 140735272269544 140295829807740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13869056 140735272276776 140735272277104 140735272277104 140735272280013 0
/proc/12476/statm: 28282 349 296 221 0 87 0

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

[pid=12500/tid=12513] ppid=12476 vsize=8068440 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12513/stat : 12513 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405570218 8262082560 31023 33554432000 4194304 4196468 140733772763440 139722869434592 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12514] ppid=12476 vsize=8068440 memory=528 CPUtime=0.08 cores=0,2,4,6
/proc/12500/task/12514/stat : 12514 (java) S 12476 12476 8795 0 -1 1077944384 13 0 0 0 4 4 0 0 20 0 19 0 405570218 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724420877488 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12516] ppid=12476 vsize=8068440 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12516/stat : 12516 (java) S 12476 12476 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405570286 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724415035072 139725112962841 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12518] ppid=12476 vsize=8068440 memory=124092 CPUtime=0.03 cores=0,2,4,6
/proc/12500/task/12518/stat : 12518 (java) S 12476 12476 8795 0 -1 4202560 1696 0 0 0 2 1 0 0 20 0 19 0 405570287 8262082560 31023 33554432000 4194304 4196468 140733772763440 139722332548848 139725112960157 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12519] ppid=12476 vsize=8068440 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12519/stat : 12519 (java) S 12476 12476 8795 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405570287 8262082560 31023 33554432000 4194304 4196468 140733772763440 139722198326928 139725112960157 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12520] ppid=12476 vsize=8068440 memory=828 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12520/stat : 12520 (java) S 12476 12476 8795 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405570290 8262082560 31023 33554432000 4194304 4196468 140733772763440 139722466778288 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
Current children cumulated CPU time: 282.84 s
Current children cumulated vsize: 8552628 KiB
Current children cumulated memory: 435812 KiB

[startup+257.601 s]
/proc/loadavg: 2.02 2.12 2.15 3/240 12564
/proc/meminfo: memFree=24418524/32770624 swapFree=66927092/67108860
[pid=12476] ppid=12473 vsize=113128 memory=1476 CPUtime=111.02 cores=0,2,4,6
/proc/12476/stat : 12476 (scop.sh) S 12473 12476 8795 0 -1 4202496 583 68111 0 0 0 0 10799 303 20 0 1 0 405561654 115843072 369 33554432000 4194304 5098028 140735272272288 140735272269032 140295829807740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13869056 140735272276776 140735272277104 140735272277104 140735272280013 0
/proc/12476/statm: 28282 369 311 221 0 87 0
[pid=12500] ppid=12476 vsize=8068440 memory=124092 CPUtime=1.39 cores=0,2,4,6
/proc/12500/stat : 12500 (java) S 12476 12476 8795 0 -1 1077944320 23526 0 0 0 127 12 0 0 20 0 19 0 405570211 8262082560 31023 33554432000 4194304 4196468 140733772763440 140733772745984 139725112938231 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
/proc/12500/statm: 2017110 31023 3209 1 0 1978454 0
[pid=12515] ppid=12500 vsize=371060 memory=310316 CPUtime=171.23 cores=0,2,4,6
/proc/12515/stat : 12515 (glueminisat-sim) R 12500 12476 8795 0 -1 4202496 441196 0 0 0 16978 145 0 0 20 0 1 0 405570286 379965440 77579 33554432000 4194304 4452875 140725862322256 140725862317288 4372904 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 26865664 140725862331231 140725862331431 140725862331431 140725862334381 0
/proc/12515/statm: 92765 77579 380 64 0 88969 0
[pid=12500/tid=12501] ppid=12476 vsize=8068440 memory=1476 CPUtime=0.78 cores=0,2,4,6
/proc/12500/task/12501/stat : 12501 (java) S 12476 12476 8795 0 -1 1077944384 17960 0 0 0 72 6 0 0 20 0 19 0 405570211 8262082560 31023 33554432000 4194304 4196468 140733772763440 139725084778400 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12502] ppid=12476 vsize=8068440 memory=310280 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12502/stat : 12502 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405570213 8262082560 31023 33554432000 4194304 4196468 140733772763440 139725117180560 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12503] ppid=12476 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12503/stat : 12503 (java) S 12476 12476 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405570213 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724597832208 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12504] ppid=12476 vsize=8068440 memory=124092 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12504/stat : 12504 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405570213 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724596779408 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12505] ppid=12476 vsize=8068440 memory=308196 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12505/stat : 12505 (java) S 12476 12476 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405570213 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724595726608 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12506] ppid=12476 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12506/stat : 12506 (java) S 12476 12476 8795 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405570214 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724425087856 139725112949378 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12507] ppid=12476 vsize=8068440 memory=124092 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12507/stat : 12507 (java) S 12476 12476 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405570215 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724010284576 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12508] ppid=12476 vsize=8068440 memory=124092 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12508/stat : 12508 (java) S 12476 12476 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405570215 8262082560 31023 33554432000 4194304 4196468 140733772763440 139723741848944 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12509] ppid=12476 vsize=8068440 memory=308196 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12509/stat : 12509 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405570218 8262082560 31023 33554432000 4194304 4196468 140733772763440 139723367340368 139725112956827 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12510] ppid=12476 vsize=8068440 memory=2028 CPUtime=0.11 cores=0,2,4,6
/proc/12500/task/12510/stat : 12510 (java) S 12476 12476 8795 0 -1 1077944384 637 0 0 0 11 0 0 0 20 0 19 0 405570218 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724424034672 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12511] ppid=12476 vsize=8068440 memory=988 CPUtime=0.1 cores=0,2,4,6
/proc/12500/task/12511/stat : 12511 (java) S 12476 12476 8795 0 -1 1077944384 478 0 0 0 10 0 0 0 20 0 19 0 405570218 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724422981872 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12512] ppid=12476 vsize=8068440 memory=1476 CPUtime=0.24 cores=0,2,4,6
/proc/12500/task/12512/stat : 12512 (java) S 12476 12476 8795 0 -1 1077944384 1354 0 0 0 24 0 0 0 20 0 19 0 405570218 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724421929072 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12513] ppid=12476 vsize=8068440 memory=124092 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12513/stat : 12513 (java) S 12476 12476 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405570218 8262082560 31023 33554432000 4194304 4196468 140733772763440 139722869434592 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12514] ppid=12476 vsize=8068440 memory=-7824251494391045478 CPUtime=0.08 cores=0,2,4,6
/proc/12500/task/12514/stat : 12514 (java) S 12476 12476 8795 0 -1 1077944384 13 0 0 0 4 4 0 0 20 0 19 0 405570218 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724420877488 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12516] ppid=12476 vsize=8068440 memory=3556 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12516/stat : 12516 (java) S 12476 12476 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405570286 8262082560 31023 33554432000 4194304 4196468 140733772763440 139724415035072 139725112962841 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12518] ppid=12476 vsize=8068440 memory=1472 CPUtime=0.03 cores=0,2,4,6
/proc/12500/task/12518/stat : 12518 (java) S 12476 12476 8795 0 -1 4202560 1696 0 0 0 2 1 0 0 20 0 19 0 405570287 8262082560 31023 33554432000 4194304 4196468 140733772763440 139722332548848 139725112960157 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12519] ppid=12476 vsize=8068440 memory=130900 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12519/stat : 12519 (java) S 12476 12476 8795 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405570287 8262082560 31023 33554432000 4194304 4196468 140733772763440 139722198326928 139725112960157 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12520] ppid=12476 vsize=8068440 memory=97248 CPUtime=0 cores=0,2,4,6
/proc/12500/task/12520/stat : 12520 (java) S 12476 12476 8795 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405570290 8262082560 31023 33554432000 4194304 4196468 140733772763440 139722466778288 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
Current children cumulated CPU time: 283.64 s
Current children cumulated vsize: 8552628 KiB
Current children cumulated memory: 435884 KiB

[startup+258.001 s]*
/proc/loadavg: 2.02 2.12 2.15 4/238 12564
/proc/meminfo: memFree=24708832/32770624 swapFree=66927092/67108860
[pid=12476] ppid=12473 vsize=113128 memory=1476 CPUtime=111.02 cores=0,2,4,6
/proc/12476/stat : 12476 (scop.sh) S 12473 12476 8795 0 -1 4202496 583 68111 0 0 0 0 10799 303 20 0 1 0 405561654 115843072 369 33554432000 4194304 5098028 140735272272288 140735272269032 140295829807740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13869056 140735272276776 140735272277104 140735272277104 140735272280013 0
/proc/12476/statm: 28282 369 311 221 0 87 0
[pid=12500] ppid=12476 vsize=8068440 memory=140208 CPUtime=173.17 cores=0,2,4,6
/proc/12500/stat : 12500 (java) S 12476 12476 8795 0 -1 1077944320 24048 441812 0 0 143 13 17014 147 20 0 18 0 405570211 8262082560 35052 33554432000 4194304 4196468 140733772763440 140733772745984 139725112938231 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
/proc/12500/statm: 2017110 35052 3221 1 0 1978454 0
[pid=12500/tid=12501] ppid=12476 vsize=8068440 memory=6791534058613427641 CPUtime=172.39 cores=0,2,4,6
/proc/12500/task/12501/stat : 12501 (java) S 12476 12476 8795 0 -1 1077944384 17960 441812 0 0 72 6 17014 147 20 0 18 0 405570211 8262082560 35052 33554432000 4194304 4196468 140733772763440 139725084778400 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12502] ppid=12476 vsize=8068440 memory=4872558044660077418 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12502/stat : 12502 (java) S 12476 12476 8795 0 -1 1077944384 1 441812 0 0 0 0 17014 147 20 0 18 0 405570213 8262082560 35052 33554432000 4194304 4196468 140733772763440 139725117180560 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12503] ppid=12476 vsize=8068440 memory=4872558044660077418 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12503/stat : 12503 (java) S 12476 12476 8795 0 -1 1077944384 2 441812 0 0 0 0 17014 147 20 0 18 0 405570213 8262082560 35052 33554432000 4194304 4196468 140733772763440 139724597832208 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12504] ppid=12476 vsize=8068440 memory=928 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12504/stat : 12504 (java) S 12476 12476 8795 0 -1 1077944384 1 441812 0 0 0 0 17014 147 20 0 18 0 405570213 8262082560 35052 33554432000 4194304 4196468 140733772763440 139724596779408 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12505] ppid=12476 vsize=8068440 memory=1700 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12505/stat : 12505 (java) S 12476 12476 8795 0 -1 1077944384 2 441812 0 0 0 0 17014 147 20 0 18 0 405570213 8262082560 35052 33554432000 4194304 4196468 140733772763440 139724595726608 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12506] ppid=12476 vsize=8068440 memory=828 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12506/stat : 12506 (java) S 12476 12476 8795 0 -1 1077944384 9 441812 0 0 0 0 17014 147 20 0 18 0 405570214 8262082560 35052 33554432000 4194304 4196468 140733772763440 139724425087856 139725112949378 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12507] ppid=12476 vsize=8068440 memory=1440 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12507/stat : 12507 (java) S 12476 12476 8795 0 -1 1077944384 13 441812 0 0 0 0 17014 147 20 0 18 0 405570215 8262082560 35052 33554432000 4194304 4196468 140733772763440 139724010284576 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12508] ppid=12476 vsize=8068440 memory=1980 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12508/stat : 12508 (java) S 12476 12476 8795 0 -1 1077944384 1 441812 0 0 0 0 17014 147 20 0 18 0 405570215 8262082560 35052 33554432000 4194304 4196468 140733772763440 139723741848944 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12509] ppid=12476 vsize=8068440 memory=2496 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12509/stat : 12509 (java) S 12476 12476 8795 0 -1 1077944384 3 441812 0 0 0 0 17014 147 20 0 18 0 405570218 8262082560 35052 33554432000 4194304 4196468 140733772763440 139723367340368 139725112956827 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12510] ppid=12476 vsize=8068440 memory=1764 CPUtime=171.76 cores=0,2,4,6
/proc/12500/task/12510/stat : 12510 (java) S 12476 12476 8795 0 -1 1077944384 814 441812 0 0 15 0 17014 147 20 0 18 0 405570218 8262082560 35052 33554432000 4194304 4196468 140733772763440 139724424034672 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12511] ppid=12476 vsize=8068440 memory=111632 CPUtime=171.75 cores=0,2,4,6
/proc/12500/task/12511/stat : 12511 (java) S 12476 12476 8795 0 -1 1077944384 675 441812 0 0 14 0 17014 147 20 0 18 0 405570218 8262082560 35052 33554432000 4194304 4196468 140733772763440 139724422981872 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12512] ppid=12476 vsize=8068440 memory=-7824251494391045478 CPUtime=171.87 cores=0,2,4,6
/proc/12500/task/12512/stat : 12512 (java) R 12476 12476 8795 0 -1 4202560 1408 441812 0 0 26 0 17014 147 20 0 18 0 405570218 8262082560 35052 33554432000 4194304 4196468 140733772763440 139724421929072 139725093251650 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12513] ppid=12476 vsize=8068440 memory=306124 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12513/stat : 12513 (java) S 12476 12476 8795 0 -1 1077944384 3 441812 0 0 0 0 17014 147 20 0 18 0 405570218 8262082560 35052 33554432000 4194304 4196468 140733772763440 139722869434592 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12514] ppid=12476 vsize=8068440 memory=294680 CPUtime=171.69 cores=0,2,4,6
/proc/12500/task/12514/stat : 12514 (java) S 12476 12476 8795 0 -1 1077944384 13 441812 0 0 4 4 17014 147 20 0 18 0 405570218 8262082560 35052 33554432000 4194304 4196468 140733772763440 139724420877488 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12516] ppid=12476 vsize=8068440 memory=119992 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12516/stat : 12516 (java) S 12476 12476 8795 0 -1 1077944384 23 441812 0 0 0 0 17014 147 20 0 18 0 405570286 8262082560 35052 33554432000 4194304 4196468 140733772763440 139724415034256 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12518] ppid=12476 vsize=8068440 memory=1476 CPUtime=171.71 cores=0,2,4,6
/proc/12500/task/12518/stat : 12518 (java) R 12476 12476 8795 0 -1 4202560 1790 441812 0 0 8 2 17014 147 20 0 18 0 405570287 8262082560 35052 33554432000 4194304 4196468 140733772763440 139722332554848 139725112950166 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12520] ppid=12476 vsize=8068440 memory=124092 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12520/stat : 12520 (java) S 12476 12476 8795 0 -1 1077944384 26 441812 0 0 0 0 17014 147 20 0 18 0 405570290 8262082560 35052 33554432000 4194304 4196468 140733772763440 139722466778048 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
Current children cumulated CPU time: 284.19 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 141684 KiB

[startup+258.116 s]
/proc/loadavg: 2.02 2.12 2.15 4/238 12564
/proc/meminfo: memFree=24708832/32770624 swapFree=66927092/67108860
[pid=12476] ppid=12473 vsize=113128 memory=1476 CPUtime=111.02 cores=0,2,4,6
/proc/12476/stat : 12476 (scop.sh) S 12473 12476 8795 0 -1 4202496 583 68111 0 0 0 0 10799 303 20 0 1 0 405561654 115843072 369 33554432000 4194304 5098028 140735272272288 140735272269032 140295829807740 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13869056 140735272276776 140735272277104 140735272277104 140735272280013 0
/proc/12476/statm: 28282 369 311 221 0 87 0
[pid=12500] ppid=12476 vsize=7937364 memory=147644 CPUtime=173.44 cores=0,2,4,6
/proc/12500/stat : 12500 (java) S 12476 12476 8795 0 -1 1077944320 24411 441812 0 0 169 14 17014 147 20 0 17 0 405570211 8127860736 36911 33554432000 4194304 4196468 140733772763440 140733772745984 139725112938231 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
/proc/12500/statm: 1984341 36911 3231 1 0 1945685 0
[pid=12500/tid=12501] ppid=12476 vsize=7937364 memory=1476 CPUtime=172.47 cores=0,2,4,6
/proc/12500/task/12501/stat : 12501 (java) R 12476 12476 8795 0 -1 4202560 18201 441812 0 0 80 6 17014 147 20 0 17 0 405570211 8127860736 36911 33554432000 4194304 4196468 140733772763440 139725084775856 139725112959578 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12502] ppid=12476 vsize=7937364 memory=2028 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12502/stat : 12502 (java) S 12476 12476 8795 0 -1 1077944384 1 441812 0 0 0 0 17014 147 20 0 17 0 405570213 8127860736 36911 33554432000 4194304 4196468 140733772763440 139725117180560 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12503] ppid=12476 vsize=7937364 memory=124092 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12503/stat : 12503 (java) S 12476 12476 8795 0 -1 1077944384 2 441812 0 0 0 0 17014 147 20 0 17 0 405570213 8127860736 36911 33554432000 4194304 4196468 140733772763440 139724597832208 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12504] ppid=12476 vsize=7937364 memory=312288 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12504/stat : 12504 (java) S 12476 12476 8795 0 -1 1077944384 1 441812 0 0 0 0 17014 147 20 0 17 0 405570213 8127860736 36911 33554432000 4194304 4196468 140733772763440 139724596779408 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12505] ppid=12476 vsize=7937364 memory=124092 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12505/stat : 12505 (java) S 12476 12476 8795 0 -1 1077944384 2 441812 0 0 0 0 17014 147 20 0 17 0 405570213 8127860736 36911 33554432000 4194304 4196468 140733772763440 139724595726608 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12506] ppid=12476 vsize=7937364 memory=1412 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12506/stat : 12506 (java) S 12476 12476 8795 0 -1 1077944384 9 441812 0 0 0 0 17014 147 20 0 17 0 405570214 8127860736 36911 33554432000 4194304 4196468 140733772763440 139724425087856 139725112949378 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12507] ppid=12476 vsize=7937364 memory=3188 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12507/stat : 12507 (java) S 12476 12476 8795 0 -1 1077944384 13 441812 0 0 0 0 17014 147 20 0 17 0 405570215 8127860736 36911 33554432000 4194304 4196468 140733772763440 139724010284576 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12508] ppid=12476 vsize=7937364 memory=20208 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12508/stat : 12508 (java) S 12476 12476 8795 0 -1 1077944384 1 441812 0 0 0 0 17014 147 20 0 17 0 405570215 8127860736 36911 33554432000 4194304 4196468 140733772763440 139723741848944 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12509] ppid=12476 vsize=7937364 memory=14068 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12509/stat : 12509 (java) S 12476 12476 8795 0 -1 1077944384 3 441812 0 0 0 0 17014 147 20 0 17 0 405570218 8127860736 36911 33554432000 4194304 4196468 140733772763440 139723367340368 139725112956827 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12510] ppid=12476 vsize=7937364 memory=14068 CPUtime=171.82 cores=0,2,4,6
/proc/12500/task/12510/stat : 12510 (java) S 12476 12476 8795 0 -1 1077944384 841 441812 0 0 21 0 17014 147 20 0 17 0 405570218 8127860736 36911 33554432000 4194304 4196468 140733772763440 139724424020064 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12511] ppid=12476 vsize=7937364 memory=528 CPUtime=171.82 cores=0,2,4,6
/proc/12500/task/12511/stat : 12511 (java) R 12476 12476 8795 0 -1 1077944384 709 441812 0 0 21 0 17014 147 20 0 17 0 405570218 8127860736 36911 33554432000 4194304 4196468 140733772763440 139724422973824 139725112948437 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12512] ppid=12476 vsize=7937364 memory=1476 CPUtime=171.9 cores=0,2,4,6
/proc/12500/task/12512/stat : 12512 (java) R 12476 12476 8795 0 -1 4202560 1460 441812 0 0 29 0 17014 147 20 0 17 0 405570218 8127860736 36911 33554432000 4194304 4196468 140733772763440 139724421929072 139725112959578 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12513] ppid=12476 vsize=7937364 memory=124092 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12513/stat : 12513 (java) S 12476 12476 8795 0 -1 1077944384 3 441812 0 0 0 0 17014 147 20 0 17 0 405570218 8127860736 36911 33554432000 4194304 4196468 140733772763440 139722869434592 139725112948437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12514] ppid=12476 vsize=7937364 memory=310244 CPUtime=171.69 cores=0,2,4,6
/proc/12500/task/12514/stat : 12514 (java) S 12476 12476 8795 0 -1 1077944384 13 441812 0 0 4 4 17014 147 20 0 17 0 405570218 8127860736 36911 33554432000 4194304 4196468 140733772763440 139724420877488 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12516] ppid=12476 vsize=7937364 memory=1476 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12516/stat : 12516 (java) S 12476 12476 8795 0 -1 1077944384 23 441812 0 0 0 0 17014 147 20 0 17 0 405570286 8127860736 36911 33554432000 4194304 4196468 140733772763440 139724415034256 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
[pid=12500/tid=12520] ppid=12476 vsize=7937364 memory=1476 CPUtime=171.61 cores=0,2,4,6
/proc/12500/task/12520/stat : 12520 (java) S 12476 12476 8795 0 -1 1077944384 31 441812 0 0 0 0 17014 147 20 0 17 0 405570290 8127860736 36911 33554432000 4194304 4196468 140733772763440 139722466780080 139725112949378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39227392 140733772768251 140733772768410 140733772768410 140733772771279 0
Current children cumulated CPU time: 284.46 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 149120 KiB

Child status: 0
Real time (s): 258.168
CPU time (s): 284.617
CPU user time (s): 279.948
CPU system time (s): 4.66915
CPU usage (%): 110.245
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4949640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 279.948
system time used= 4.66915
maximum resident set size= 4948724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 535026
page faults= 0
swaps= 0
block input operations= 0
block output operations= 140744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12731
involuntary context switches= 623


# summary of solver processes directly reported to runsolver:
#   pid: 12476
#   total CPU time (s): 284.617
#   total CPU user time (s): 279.948
#   total CPU system time (s): 4.66915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.60489 second user time and 2.98649 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-12 14:58:21
IDJOB=4387980
IDBENCH=131036
IDSOLVER=2825
FILE ID=node137/4387980-1568293143
RUNJOBID= node137-1568286693-10212
PBS_JOBID= 21701071
Free space on /tmp= 56780 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-rand/Subisomorphism-si2-r001-m400-05.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -order DIR/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387980-1568293143/watcher-4387980-1568293143 -o /tmp/evaluation-result-4387980-1568293143/solver-4387980-1568293143 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387980-1568293143.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5f006248f7b4f652f1c0eb398f87a4da
RANDOM SEED=2067576675

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24889372 kB
MemAvailable:   31540192 kB
Buffers:          111884 kB
Cached:          6781612 kB
SwapCached:        77624 kB
Active:          1857364 kB
Inactive:        5363712 kB
Active(anon):     250484 kB
Inactive(anon):   118208 kB
Active(file):    1606880 kB
Inactive(file):  5245504 kB
Unevictable:      108040 kB
Mlocked:          108040 kB
SwapTotal:      67108860 kB
SwapFree:       66927092 kB
Dirty:             20548 kB
Writeback:             0 kB
AnonPages:        279192 kB
Mapped:            54944 kB
Shmem:             32624 kB
Slab:             256720 kB
SReclaimable:     226896 kB
SUnreclaim:        29824 kB
KernelStack:        3840 kB
PageTables:         6336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6104104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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= 56760 MiB
End job on node137 at 2019-09-12 15:02:39