Trace number 4387827

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)UNSAT 22.2502 9.89856

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-5-5-9-cp.xml
MD5SUMa6754b0df54e854fabf9aee35b814723
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark15.7529
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints10811
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":225}]
Minimum variable degree194
Maximum variable degree195
Distribution of variable degrees[{"degree":194,"count":200},{"degree":195,"count":25}]
Minimum constraint arity4
Maximum constraint arity225
Distribution of constraint arities[{"arity":4,"count":10800},{"arity":25,"count":10},{"arity":225,"count":1}]
Number of extensional constraints0
Number of intensional constraints10800
Distribution of constraint types[{"type":"intension","count":10800},{"type":"lex","count":1},{"type":"cardinality","count":9},{"type":"instantiation","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-7783-serial-file.bin HOME/instance-4387827-1568291343.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Thu Sep 12 14:28:26 CEST 2019
0.66/0.57	c PID: 7786
0.66/0.57	c IP: 172.20.3.126
0.66/0.57	c HOST: node126.alineos.net
0.66/0.57	c (0,0) Parsing Begin
6.03/2.46	c (1,1) Parsing End
6.03/2.46	c (1,1) CSP: 215 int (0 aux), 10 bool (0 aux), 10811 ctr, max domain size 5
6.03/2.47	c (1,1) Heap : 619 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.03/2.47	c (1,1) Constraint Name Generate Begin
6.36/2.52	c (1,1) Ctr:HOME/instance-4387827-1568291343.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
6.36/2.52	c (1,1) Constraint Name Generate End
6.36/2.52	c (1,1) Heap : 619 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.36/2.52	c (1,1) CSP to CSPinCNF Begin
7.04/2.79	c (2,2) translated 1082 (10%) constraints
7.39/2.86	c (2,2) translated 2163 (20%) constraints
7.71/2.93	c (2,2) translated 3244 (30%) constraints
7.71/3.00	c (2,2) translated 4325 (40%) constraints
7.99/3.06	c (2,2) translated 5406 (50%) constraints
8.29/3.11	c (2,2) translated 6487 (60%) constraints
8.29/3.15	c (2,2) translated 7568 (70%) constraints
8.29/3.19	c (2,2) translated 8649 (80%) constraints
8.49/3.23	c (2,2) translated 9730 (90%) constraints
9.78/3.64	c (3,3) translated 10811 (100%) constraints
10.72/3.97	c (3,3) ===========================================
10.72/3.97	c (3,3) Order
10.72/3.97	c (3,3) ===========================================
11.07/4.09	c (3,3) translated 1389 (10%) constraints
11.38/4.18	c (3,3) translated 2778 (20%) constraints
11.62/4.27	c (3,3) translated 4167 (30%) constraints
11.83/4.36	c (3,3) translated 5556 (40%) constraints
12.09/4.45	c (3,3) translated 6944 (50%) constraints
12.36/4.53	c (3,3) translated 8333 (60%) constraints
12.47/4.60	c (4,4) translated 9722 (70%) constraints
12.69/4.72	c (4,4) translated 11111 (80%) constraints
13.20/5.01	c (4,4) translated 12500 (90%) constraints
13.52/5.11	c (4,4) translated 13888 (100%) constraints
13.52/5.11	c (4,4) CSP to CSPinCNF End
13.52/5.12	c (4,4) CSP: 350 int (135 aux), 2612 bool (2602 aux), 16478 ctr, max domain size 6
13.52/5.12	c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.52/5.12	c (4,4) CSPinCNF Propagation Begin
14.12/5.35	c (4,4) 345 values, 3818 unsatisfiable literals, and 3043 valid clauses are removed
14.12/5.35	c (4,4) CSPinCNF Propagation End
14.12/5.35	c (4,4) CSP: 343 int (128 aux), 2619 bool (2609 aux), 13435 ctr, max domain size 6
14.12/5.35	c (4,4) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.12/5.36	c (4,4) Simplify CSPinCNF Begin
14.95/5.67	c (5,4) Simplify CSPinCNF End
14.95/5.67	c (5,4) CSP: 343 int (128 aux), 7818 bool (7808 aux), 18634 ctr, max domain size 6
14.95/5.67	c (5,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.95/5.67	c (5,4) Calculate Precise Domain Begin
15.23/5.73	c (5,5) 0 values are removed by re-calculation
15.23/5.73	c (5,5) Calculate Precise Domain End
15.23/5.73	c (5,5) CSP: 343 int (128 aux), 7818 bool (7808 aux), 18634 ctr, max domain size 6
15.23/5.73	c (5,5) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
15.23/5.73	c (5,5) CSPinCNF to SatSolver Begin
16.15/6.06	c (5,5) 1864 (10 %) CSP clauses are encoded (0 SAT variables, 8207 SAT clauses)
16.47/6.18	c (5,5) 3727 (20 %) CSP clauses are encoded (0 SAT variables, 15090 SAT clauses)
16.72/6.27	c (5,5) 5591 (30 %) CSP clauses are encoded (0 SAT variables, 21630 SAT clauses)
17.03/6.36	c (5,5) 7454 (40 %) CSP clauses are encoded (0 SAT variables, 27733 SAT clauses)
17.03/6.39	c (5,5) 9317 (50 %) CSP clauses are encoded (0 SAT variables, 29596 SAT clauses)
17.33/6.42	c (5,5) 11181 (60 %) CSP clauses are encoded (0 SAT variables, 31460 SAT clauses)
17.33/6.44	c (5,5) 13044 (70 %) CSP clauses are encoded (0 SAT variables, 33323 SAT clauses)
17.56/6.55	c (6,5) 14908 (80 %) CSP clauses are encoded (0 SAT variables, 58752 SAT clauses)
17.86/6.67	c (6,5) 16771 (90 %) CSP clauses are encoded (0 SAT variables, 92035 SAT clauses)
18.18/6.75	c (6,6) 18634 (100 %) CSP clauses are encoded (0 SAT variables, 104195 SAT clauses)
18.18/6.75	c (6,6) CSPinCNF to SatSolver End
18.18/6.75	c (6,6) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
18.18/6.76	c (6,6) 8931 bool, 104199 clause
18.18/6.76	c (6,6) Export Begin
18.48/6.85	c (6,6) Export to HOME/scop-7783-serial-file.bin
18.48/6.85	c (6,6) Export End
18.48/6.86	c (6,6) Export File Size: 0.04 MB
18.48/6.86	c (6,6) 1,1,4,4,5,5,6,STOP-AFTER(DIMACS)
18.48/6.86	c END-Prog: Thu Sep 12 14:28:32 CEST 2019
18.48/6.89	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7783-serial-file.bin
19.27/7.36	c (0,0) Read Serial File Begin
19.27/7.36	c (0,0) HOME/scop-7783-serial-file.bin
19.53/7.58	c (0,0) Read Serial File End
19.53/7.59	
19.53/7.59	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
19.53/7.59	(Solving Process)
19.53/7.59	
19.72/7.61	c BEGIN-Prog: Thu Sep 12 14:28:33 CEST 2019
19.72/7.61	c PID: 7801
19.72/7.61	c IP: 172.20.3.126
19.72/7.61	c HOST: node126.alineos.net
19.72/7.62	c (0,0) SatSolver.solve Begin
19.72/7.62	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387827-1568291343.xml-scop-7786.cnf
19.72/7.65	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
19.72/7.65	c (0,0) c glueminisat-simp-2.2.10-193oa-n
19.72/7.65	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387827-1568291343.xml-scop-7786.cnf 
19.72/7.65	c (0,0) c Options:
19.72/7.65	c (0,0) c CORE
19.72/7.65	c (0,0) c  var_decay             = 0.950
19.72/7.65	c (0,0) c  clause_decay          = 0.999
19.72/7.65	c (0,0) c  random_var_freq       = 0.000
19.72/7.65	c (0,0) c  random_seed           = 91648253.000
19.72/7.65	c (0,0) c  luby_restart          = 1
19.72/7.65	c (0,0) c  ccmin_mode            = 2
19.72/7.65	c (0,0) c  phase_saving          = 2
19.72/7.65	c (0,0) c  rnd_pol               = 0
19.72/7.65	c (0,0) c  rnd_init_act          = 0
19.72/7.65	c (0,0) c  garbage_frac          = 0.200
19.72/7.65	c (0,0) c  restart_first         = 1000
19.72/7.65	c (0,0) c  restart_inc           = 2.000
19.72/7.65	c (0,0) c MODEL
19.72/7.65	c (0,0) c  partial_model         = 0
19.72/7.65	c (0,0) c PROPAGATION
19.72/7.65	c (0,0) c  bin_propagation       = 1
19.72/7.65	c (0,0) c SIMPLIFICATION
19.72/7.66	c (0,0) c  lrn_min_size          = 100
19.72/7.66	c (0,0) c  lazy_simp             = 1
19.72/7.66	c (0,0) c  lazy_interval         = 10
19.72/7.66	c (0,0) c  lazy_fld_probing      = 1
19.72/7.66	c (0,0) c  lazy_pol_probing      = 1
19.72/7.66	c (0,0) c  lazy_nec_probing      = 1
19.72/7.66	c (0,0) c  lazy_eqv_probing      = 1
19.72/7.66	c (0,0) c  lazy_cla_probing      = 1
19.72/7.66	c (0,0) c  lazy_lrn_min          = 2
19.72/7.66	c (0,0) c  lazy_uw_lit_elim      = 1
19.72/7.66	c (0,0) c  lazy_pr_lit_elim      = 0
19.72/7.66	c (0,0) c  lazy_bin_add          = 3
19.72/7.66	c (0,0) c  probed_lit_chain      = 1
19.72/7.66	c (0,0) c  pr_min_lits           = 0.00020
19.72/7.66	c (0,0) c  pr_min_starts         = 500
19.72/7.66	c (0,0) c  rw_min_lits           = 0.010
19.72/7.66	c (0,0) c  rw_min_starts         = 500
19.72/7.66	c (0,0) c  rand_attach           = 0
19.72/7.66	c (0,0) c  dec_elim              = 1
19.72/7.66	c (0,0) c  dec_elim_lim          = 25
19.72/7.66	c (0,0) c  dec_elim_len          = -1
19.72/7.66	c (0,0) c  amo                   = 0
19.72/7.66	c (0,0) c  amo_grp               = 1
19.72/7.66	c (0,0) c  amo_max_bins          = 1000000
19.72/7.66	c (0,0) c  amo_starts            = 50
19.72/7.66	c (0,0) c  mace_cmd              = mace
19.72/7.66	c (0,0) c DECISION
19.72/7.66	c (0,0) c  rand_rebuild          = 0
19.72/7.66	c (0,0) c  rand_rebuild_confs    = 10000
19.72/7.66	c (0,0) c  inc_var_decay         = 1
19.72/7.66	c (0,0) c  inc_var_decay_period  = 100000
19.72/7.66	c (0,0) c  inc_var_decay_init    = 0.600
19.72/7.66	c (0,0) c  var_decay_mode        = 0
19.72/7.66	c (0,0) c  var_decay_gain        = 0
19.72/7.66	c (0,0) c  sloped_var_decay      = 1
19.72/7.66	c (0,0) c  max_var_decay         = 0.990
19.72/7.66	c (0,0) c  min_var_decay         = 0.950
19.72/7.66	c (0,0) c  min_var_decay_vars    = 10000
19.72/7.66	c (0,0) c  max_var_decay_vars    = 500
19.72/7.66	c (0,0) c  uip_bumping           = 1
19.72/7.66	c (0,0) c  lbd_act_bumping       = 1
19.72/7.66	c (0,0) c  rand_tiebreak         = 0
19.72/7.66	c (0,0) c  simp_rebuild          = 1
19.72/7.66	c (0,0) c RESTART
19.72/7.66	c (0,0) c  restart_strategy      = 2
19.72/7.66	c (0,0) c  restart_blocking      = 0
19.72/7.66	c (0,0) c  agility_decay         = 0.99990
19.72/7.66	c (0,0) c  lbd_restart_rate      = 0.800
19.72/7.66	c (0,0) c  dec_restart_rate      = 0.950
19.72/7.66	c (0,0) c  blk_restart_rate      = 0.700
19.72/7.66	c (0,0) c  lbd_queue_size        = 50
19.72/7.66	c (0,0) c  dec_queue_size        = 50
19.72/7.66	c (0,0) c  trl_queue_size        = 5000
19.72/7.66	c (0,0) c  blk_restart_weight    = 1.000
19.72/7.66	c (0,0) c  inc_rst_rate          = 0
19.72/7.66	c (0,0) c  inc_rst_rate_period   = 500000
19.72/7.66	c (0,0) c  inc_lbd_rst_rate_init = 0.600
19.72/7.66	c (0,0) c  inc_dec_rst_rate_init = 0.750
19.72/7.66	c (0,0) c REDUCTION
19.72/7.66	c (0,0) c  closed_lbd            = 0
19.72/7.66	c (0,0) c  closed_lbd_rate       = 0.500
19.72/7.66	c (0,0) c  rm_simulate           = 0
19.72/7.66	c (0,0) c  rdb_eval              = 2
19.72/7.66	c (0,0) c  rdb_call              = 3
19.72/7.66	c (0,0) c  rdb_ub                = 0.500
19.72/7.66	c (0,0) c  core_lbd_cvr          = 0.800
19.72/7.66	c (0,0) c  supp_lbd_cvr          = 0.990
19.72/7.66	c (0,0) c  core_lbd_lb           = 2
19.72/7.66	c (0,0) c  supp_lbd_lb           = 2
19.72/7.66	c (0,0) c  core_lbd_prd          = 7
19.72/7.66	c (0,0) c  supp_lbd_prd          = 1
19.72/7.66	c (0,0) c  othr_lbd_prd          = 0
19.72/7.66	c (0,0) c  inc_lrn_limit         = 1000
19.72/7.66	c (0,0) c  frozen_lbd            = 30
19.72/7.66	c (0,0) c  simp_min_starts       = 100
19.72/7.66	c (0,0) c  rm_low_act_learnts    = 1
19.72/7.66	c (0,0) c  lv0_reduce_db         = 0
19.72/7.66	c (0,0) c  reduce_db_base        = 20000
19.72/7.66	c (0,0) c  reduce_db_inc         = 1000
19.72/7.66	c (0,0) c HARD
19.72/7.66	c (0,0) c  inst_check            = 200000
19.72/7.66	c (0,0) c  small_block           = 1.750
19.72/7.66	c (0,0) c  slow_restart_speed    = 400.000
19.72/7.66	c (0,0) c  slow_restart_strategy = 3
19.72/7.66	c (0,0) c  slow_lbd_restart_rate = 0.700
19.72/7.66	c (0,0) c  slow_dec_restart_rate = 1.000
19.72/7.66	c (0,0) c  slow_lbd_queue_size   = 50
19.72/7.66	c (0,0) c  slow_var_decay        = 0.950
19.72/7.66	c (0,0) c  slow_glue_threshold   = 2
19.72/7.66	c (0,0) c  slow_phase_saving     = 2
19.72/7.66	c (0,0) c  fast_restart_speed    = 125.000
19.72/7.66	c (0,0) c  fast_restart_strategy = 1
19.72/7.66	c (0,0) c  fast_lbd_restart_rate = 0.800
19.72/7.66	c (0,0) c  fast_dec_restart_rate = 0.950
19.72/7.66	c (0,0) c  fast_lbd_queue_size   = 50
19.72/7.66	c (0,0) c  fast_var_decay        = 1.000
19.72/7.66	c (0,0) c  fast_glue_threshold   = 2
19.72/7.66	c (0,0) c  fast_phase_saving     = 2
19.72/7.66	c (0,0) c STATS
19.72/7.66	c (0,0) c  stats_conf_size       = 10000
19.72/7.66	c (0,0) c  max_stats_size        = 30
19.72/7.66	c (0,0) c SOLVER
19.72/7.66	c (0,0) c  minisat               = 0
19.72/7.68	c (0,0) c Problem: 8931 variables, 104199 clauses, parsing 0.03 s
19.91/7.88	c (0,0) c  reduced to 7137 variables, 100321 clauses (grow = 0)
19.91/7.88	c (0,0) c  exclude 569 (8.0%) variables from decision variables (last cost 25)
19.91/7.89	c (0,0) c Simplification: 2363 vars, 3878 clauses are eliminated using 0.20 s
19.91/7.89	c (0,0) c
19.91/7.89	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
19.91/7.89	c (0,0) c
19.91/7.89	c (0,0) c    0         0         0     6568   100321        0   -nan  -nan  -nan -nan%
19.91/7.89	c (0,0) c    0 p       2        74     6541   100321       67   62.5  58.1 364.9  8.6%
19.91/7.89	c (0,0) c    0         2       100     6344   100321       92   48.5  44.7 325.7  8.6%
19.91/7.90	c (0,0) c    0         2       220     6344   100321      212   44.8  32.4 234.4 14.3%
19.91/7.90	c (0,0) c    0         4       364     6346   100321      356   39.5  28.5 211.3 14.3%
19.91/7.91	c (0,0) c    0         4       536     6348   100321      528   34.5  22.4 163.9 15.2%
19.91/7.93	c (0,0) c    0         4       743     6352   100321      735   37.2  19.8 137.6 16.1%
19.91/7.93	c (0,0) c    0         5       991     6352   100321      983   35.5  18.7 132.2 15.1%
19.91/7.95	c (0,0) c    0         5      1289     6357   100321     1281   31.8  16.9 118.0 15.4%
19.91/7.96	c (0,0) c    0         5      1647     6359   100321     1639   30.4  16.0 106.5 15.0%
19.91/7.97	c (0,0) c    0         6      2076     6367   100321     2068   28.3  14.9  97.3 15.1%
19.91/7.99	c (0,0) c    0         6      2591     6370   100321     2583   27.8  14.2  86.9 15.4%
20.28/8.03	c (0,0) c    0         6      3210     6378   100321     3202   29.1  13.8  78.2 15.8%
20.28/8.07	c (0,0) c    0         7      3953     6392   100321     3945   30.5  13.5  71.9 15.9%
20.38/8.11	c (0,0) c    0         7      4844     6401   100321     4836   30.5  13.1  67.5 16.0%
20.38/8.16	c (0,0) c    0         8      5913     6063   100321     5894   29.7  12.6  62.6 16.5%
20.47/8.24	c (0,0) c
20.47/8.24	c (0,0) c   variables         : 6056        (init 8931, after simp 6568, 495 non-decs, 320 csp)
20.47/8.24	c (0,0) c   clauses           : 100321      (init 104199, after simp 100321)
20.47/8.24	c (0,0) c   restarts          : 7           (899.50 confs/res, 54~1772 confs, 0 blks, 0 last)
20.47/8.24	c (0,0) c   conflicts         : 7196        (12649 /sec, 52.93% dconfs, 0.00% supp, trail 25.97w x 59.00h, jmp 1.71h)
20.47/8.24	c (0,0) c   decisions         : 13433       (0.6200 vdcy, 23612 /sec, 0.00% bin, rs 0.000 s)
20.47/8.24	c (0,0) c   propagations      : 1207138     (2121851 /sec, 89.86 lits/dec, 1.42% o.a.)
20.47/8.24	c (0,0) c   conflict literals : 234002      (5.83% deleted; 0.36% by bin min, 0.003 s)
20.47/8.24	c (0,0) c   len               : 30.588      (30.51 for all, max 343, used 180)
20.47/8.24	c (0,0) c   lbd               : 11.980      (13.19 (11.95) for all, max 336, used 180, 4.978 stdev, 2.312 blk)
20.47/8.24	c (0,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
20.47/8.24	c (0,0) c   simp dbs          : 1           (0.000 s)
20.47/8.24	c (0,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
20.47/8.24	c (0,0) c   learnts           : 7176        (0 learnts removed, 0.00%)
20.47/8.24	c (0,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
20.47/8.24	c (0,0) c   assigned lits     : 1           (0/3 probed, 1 remains)
20.47/8.24	c (0,0) c   premise updates   : 0           (0.00 /lit)
20.47/8.24	c (0,0) c   probed variables  : 3           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 3 cla, 0 amo)
20.47/8.24	c (0,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
20.47/8.24	c (0,0) c   lazy added bins   : 1           (1 prop + 0 conf, 0.003s)
20.47/8.24	c (0,0) c   unwatched lit elim: 425         (0.00+0.18%, 6+419 of 444503+234002)
20.47/8.24	c (0,0) c   classified type   : undef
20.47/8.24	c (0,0) c   progress          : 8.823 %
20.47/8.24	c (0,0) c
20.47/8.24	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
20.47/8.24	c (0,0) c
20.47/8.24	c (0,0) c    0         8      7196     6056   100321     7176   30.6  12.0  59.0 17.4%
20.57/8.34	c (1,0) c    0         9      8736     6026   100321     8715   34.4  11.5  56.9 19.3%
20.67/8.47	c (1,0) c    0        15     10584     6019   100321    10562   34.9  11.3  51.8 20.9%
20.87/8.62	c (1,0) c    0        18     12802     6042   100321    12781   37.1  11.0  48.0 24.0%
20.97/8.79	c (1,0) c    1        21     15464     6062   100321    15443   36.1  10.3  44.0 25.2%
21.28/9.01	c (1,0) c    1        21     18658     6076   100321    18636   34.5   9.6  34.7 23.0%
21.28/9.05	c (1,0) c    1 r      21     20001     6083   100321    19979   33.2   9.4  27.5 21.4%
21.28/9.05	c (1,0) c
21.28/9.05	c (1,0) c R [LBD Statistics #1]
21.28/9.05	c (1,0) c R LBD         used lbd               used clause lbd
21.28/9.06	c (1,0) c R  tot       96478                   19979
21.28/9.06	c (1,0) c R  avg       4.345                   9.377
21.28/9.06	c (1,0) c R   1         1792 ( 1.9/ 1.9%)         81 ( 0.4/ 0.4%)
21.28/9.06	c (1,0) c R   2        33605 (34.8/36.7%)       1671 ( 8.4/ 8.8%)
21.28/9.06	c (1,0) c R   3        16863 (17.5/54.2%)       1490 ( 7.5/16.2%)
21.28/9.06	c (1,0) c R   4        13233 (13.7/67.9%)       1694 ( 8.5/24.7%)
21.28/9.06	c (1,0) c R   5         9517 ( 9.9/77.7%)       1783 ( 8.9/33.6%)
21.28/9.06	c (1,0) c R   6         5943 ( 6.2/83.9%)       1718 ( 8.6/42.2%)
21.28/9.06	c (1,0) c R
21.28/9.06	c (1,0) c R core_lbd_threshold = 6
21.28/9.06	c (1,0) c R supp_lbd_threshold = 18
21.28/9.06	c (1,0) c R
21.28/9.06	c (1,0) c R [RDB Statistics #1]
21.28/9.06	c (1,0) c R kept: lbd      =    8421 (42.1/42.1%)
21.28/9.06	c (1,0) c R kept: ttl      =   11539 (57.8/99.9%)
21.28/9.06	c (1,0) c R kept: locked   =      19 ( 0.1/100.0%)
21.28/9.06	c (1,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
21.28/9.06	c (1,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
21.28/9.06	c (1,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
21.28/9.06	c (1,0) c
21.28/9.06	c (1,0) c    1 R      21     20001     6083   100321    19979   33.2   9.4  27.5 21.4%
21.39/9.13	c (1,0) c    1        21     22491     6090   100321    22473   31.0   9.1  19.6 17.4%
21.48/9.28	c (1,0) c    1        21     27091     6091   100321    27074   28.1   8.7  14.8 14.3%
21.58/9.32	c (2,0) c    1 p      22     28257     6096   100321    28240   27.6   8.6  14.1 13.8%
21.68/9.47	c (2,0) c    1        22     32611     6099   100321    32595   25.3   8.3  14.0 12.5%
21.88/9.66	c (2,0) c    2        22     39235     6099   100321    39218   22.5   7.7  10.9 10.1%
21.98/9.72	c (2,0) c    2 r      22     41001     6099   100321    40984   21.9   7.6  10.2  9.7%
21.98/9.74	c (2,0) c
21.98/9.74	c (2,0) c R [LBD Statistics #2]
21.98/9.74	c (2,0) c R LBD         used lbd               used clause lbd
21.98/9.74	c (2,0) c R  tot      297834                   40984
21.98/9.74	c (2,0) c R  avg       3.504                   7.620
21.98/9.74	c (2,0) c R   1         9048 ( 3.0/ 3.0%)        229 ( 0.6/ 0.6%)
21.98/9.74	c (2,0) c R   2       141281 (47.4/50.5%)       3992 ( 9.7/10.3%)
21.98/9.74	c (2,0) c R   3        48981 (16.4/66.9%)       3474 ( 8.5/18.8%)
21.98/9.74	c (2,0) c R   4        33259 (11.2/78.1%)       4334 (10.6/29.4%)
21.98/9.74	c (2,0) c R   5        21960 ( 7.4/85.5%)       4655 (11.4/40.7%)
21.98/9.74	c (2,0) c R
21.98/9.74	c (2,0) c R core_lbd_threshold = 5
21.98/9.74	c (2,0) c R supp_lbd_threshold = 13
21.98/9.74	c (2,0) c R
21.98/9.74	c (2,0) c R [RDB Statistics #2]
21.98/9.74	c (2,0) c R kept: lbd      =   16671 (40.7/40.7%)
21.98/9.74	c (2,0) c R kept: ttl      =   12836 (31.3/72.0%)
21.98/9.74	c (2,0) c R kept: locked   =      15 ( 0.0/72.0%)
21.98/9.74	c (2,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
21.98/9.74	c (2,0) c R lost: ttl      =   11462 (28.0/28.0%)
21.98/9.74	c (2,0) c R lost: subsumed =       0 ( 0.0/28.0%)
21.98/9.74	c (2,0) c
21.98/9.74	c (2,0) c    2 R      22     41001     6099   100321    29522   12.3   5.4  10.2  9.7%
22.08/9.85	c (2,0) c    2        22     44506     5845   100321    33017   11.9   5.3   8.8  9.4%
22.08/9.85	c (2,0) c
22.08/9.85	c (2,0) c
22.08/9.85	c (2,0) c variables         : 5845        (init 8931, after simp 6568, 374 non-decs, 320 csp)
22.08/9.85	c (2,0) c clauses           : 100321      (init 104199, after simp 100321)
22.08/9.85	c (2,0) c restarts          : 21          (2023.00 confs/res, 50~16249 confs, 0 blks, 0 last)
22.08/9.85	c (2,0) c conflicts         : 44506       (21118 /sec, 51.13% dconfs, 0.00% supp, trail 35.11w x 25.86h, jmp 1.41h)
22.08/9.85	c (2,0) c decisions         : 65125       (0.7600 vdcy, 30901 /sec, 0.00% bin, rs 0.002 s)
22.08/9.85	c (2,0) c propagations      : 5495825     (2607718 /sec, 84.39 lits/dec, 2.61% o.a.)
22.08/9.85	c (2,0) c conflict literals : 1062381     (12.56% deleted; 0.38% by bin min, 0.017 s)
22.08/9.85	c (2,0) c len               : 11.864      (20.78 for all, max 343, used 295)
22.08/9.85	c (2,0) c lbd               : 5.293       (8.82 (7.36) for all, max 336, used 180, 2.596 stdev, 2.356 blk)
22.08/9.85	c (2,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
22.08/9.85	c (2,0) c simp dbs          : 1           (0.000 s)
22.08/9.85	c (2,0) c reduce dbs        : 2           (core-lbd 5, supp-lbd 13, 0.011 s)
22.08/9.85	c (2,0) c learnts           : 33017       (11462 learnts removed, 25.75%)
22.08/9.85	c (2,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
22.08/9.85	c (2,0) c assigned lits     : 2           (2/6 probed, 1 remains)
22.08/9.85	c (2,0) c premise updates   : 10251       (0.78 /lit)
22.08/9.85	c (2,0) c probed variables  : 6           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 6 cla, 0 amo)
22.08/9.85	c (2,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
22.08/9.85	c (2,0) c lazy added bins   : 8           (8 prop + 0 conf, 0.015s)
22.08/9.85	c (2,0) c unwatched lit elim: 2855        (0.01+0.26%, 52+2803 of 444503+1062381)
22.08/9.85	c (2,0) c classified type   : undef
22.08/9.85	c (2,0) c progress          : 13.574%
22.08/9.85	c (2,0) c
22.08/9.85	c (2,0) c [Statistics]
22.08/9.85	c (2,0) c             learnts len        learnts lbd        lit blk size       eq vars size
22.08/9.85	c (2,0) c  tot       44505              44505             392587                  0
22.08/9.85	c (2,0) c  avg      20.783              7.361              2.356               -nan
22.08/9.85	c (2,0) c   1           34 ( 0.1%)        318 ( 0.7%)     273590 (69.7%)          0 (-nan%)
22.08/9.85	c (2,0) c   2           67 ( 0.2%)       4683 (10.5%)      49596 (12.6%)          0 (-nan%)
22.08/9.85	c (2,0) c   3          960 ( 2.2%)       3994 ( 9.0%)      22535 ( 5.7%)          0 (-nan%)
22.08/9.85	c (2,0) c   4          909 ( 2.0%)       4987 (11.2%)      12759 ( 3.2%)          0 (-nan%)
22.08/9.85	c (2,0) c   5         2245 ( 5.0%)       5270 (11.8%)       9271 ( 2.4%)          0 (-nan%)
22.08/9.85	c (2,0) c   6         2229 ( 5.0%)       5005 (11.2%)       5102 ( 1.3%)          0 (-nan%)
22.08/9.85	c (2,0) c   7         2995 ( 6.7%)       4371 ( 9.8%)       2991 ( 0.8%)          0 (-nan%)
22.08/9.85	c (2,0) c   8         3141 ( 7.1%)       3627 ( 8.1%)       2598 ( 0.7%)          0 (-nan%)
22.08/9.85	c (2,0) c   9         3164 ( 7.1%)       2758 ( 6.2%)       1846 ( 0.5%)          0 (-nan%)
22.08/9.85	c (2,0) c  10         3097 ( 7.0%)       1947 ( 4.4%)       1571 ( 0.4%)          0 (-nan%)
22.08/9.85	c (2,0) c  11         2428 ( 5.5%)       1426 ( 3.2%)       1399 ( 0.4%)          0 (-nan%)
22.08/9.85	c (2,0) c  12         2093 ( 4.7%)       1102 ( 2.5%)        984 ( 0.3%)          0 (-nan%)
22.08/9.85	c (2,0) c  13         1683 ( 3.8%)        872 ( 2.0%)        785 ( 0.2%)          0 (-nan%)
22.08/9.85	c (2,0) c  14         1497 ( 3.4%)        696 ( 1.6%)        710 ( 0.2%)          0 (-nan%)
22.08/9.85	c (2,0) c  15         1252 ( 2.8%)        542 ( 1.2%)        579 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  16         1121 ( 2.5%)        483 ( 1.1%)        527 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  17         1002 ( 2.3%)        404 ( 0.9%)        569 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  18         1030 ( 2.3%)        328 ( 0.7%)        368 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  19         1063 ( 2.4%)        261 ( 0.6%)        403 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  20          940 ( 2.1%)        240 ( 0.5%)        286 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  21          813 ( 1.8%)        232 ( 0.5%)        256 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  22          760 ( 1.7%)        178 ( 0.4%)        229 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  23          653 ( 1.5%)        152 ( 0.3%)        189 ( 0.0%)          0 (-nan%)
22.08/9.85	c (2,0) c  24          501 ( 1.1%)        123 ( 0.3%)        169 ( 0.0%)          0 (-nan%)
22.08/9.85	c (2,0) c  25          439 ( 1.0%)         96 ( 0.2%)        203 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  26          370 ( 0.8%)         49 ( 0.1%)        226 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  27          317 ( 0.7%)         44 ( 0.1%)        211 ( 0.1%)          0 (-nan%)
22.08/9.85	c (2,0) c  28          240 ( 0.5%)         27 ( 0.1%)        118 ( 0.0%)          0 (-nan%)
22.08/9.85	c (2,0) c  29          252 ( 0.6%)         31 ( 0.1%)         83 ( 0.0%)          0 (-nan%)
22.08/9.85	c (2,0) c  30         7210 (16.2%)        259 ( 0.6%)       2434 ( 0.6%)          0 (-nan%)
22.08/9.85	c (2,0) c
22.08/9.85	c (2,0) c [LBD Statistics]
22.08/9.85	c (2,0) c LBD          used lbd               used clause lbd         unused clause lbd
22.08/9.85	c (2,0) c  tot       333465                   25781                   18698
22.08/9.85	c (2,0) c  avg        3.407                   5.691                   9.673
22.08/9.85	c (2,0) c    1        10389 ( 3.1/ 3.1%)        284 ( 1.1/ 1.1%)          0 ( 0.0/ 0.0%)
22.08/9.85	c (2,0) c    2       164703 (49.4/52.5%)       4380 (17.0/18.1%)        311 ( 1.7/ 1.7%)
22.08/9.85	c (2,0) c    3        54130 (16.2/68.7%)       3353 (13.0/31.1%)        641 ( 3.4/ 5.1%)
22.08/9.85	c (2,0) c    4        35845 (10.7/79.5%)       3717 (14.4/45.5%)       1270 ( 6.8/11.9%)
22.08/9.85	c (2,0) c    5        23473 ( 7.0/86.5%)       3419 (13.3/58.8%)       1851 ( 9.9/21.8%)
22.08/9.85	c (2,0) c    6        15396 ( 4.6/91.1%)       2820 (10.9/69.7%)       2185 (11.7/33.5%)
22.08/9.85	c (2,0) c    7         9515 ( 2.9/94.0%)       2178 ( 8.4/78.2%)       2193 (11.7/45.2%)
22.08/9.85	c (2,0) c    8         6451 ( 1.9/95.9%)       1624 ( 6.3/84.5%)       2003 (10.7/55.9%)
22.08/9.85	c (2,0) c    9         4098 ( 1.2/97.2%)       1112 ( 4.3/88.8%)       1646 ( 8.8/64.7%)
22.08/9.85	c (2,0) c   10         2768 ( 0.8/98.0%)        712 ( 2.8/91.5%)       1235 ( 6.6/71.3%)
22.08/9.85	c (2,0) c   11         1747 ( 0.5/98.5%)        502 ( 1.9/93.5%)        924 ( 4.9/76.3%)
22.08/9.85	c (2,0) c   12         1230 ( 0.4/98.9%)        378 ( 1.5/94.9%)        724 ( 3.9/80.1%)
22.08/9.85	c (2,0) c   13          925 ( 0.3/99.2%)        270 ( 1.0/96.0%)        602 ( 3.2/83.4%)
22.08/9.85	c (2,0) c   14          601 ( 0.2/99.3%)        213 ( 0.8/96.8%)        483 ( 2.6/85.9%)
22.08/9.85	c (2,0) c   15          425 ( 0.1/99.5%)        141 ( 0.5/97.4%)        401 ( 2.1/88.1%)
22.08/9.85	c (2,0) c   16          321 ( 0.1/99.6%)        130 ( 0.5/97.9%)        353 ( 1.9/90.0%)
22.08/9.85	c (2,0) c   17          269 ( 0.1/99.6%)        101 ( 0.4/98.3%)        303 ( 1.6/91.6%)
22.08/9.85	c (2,0) c   18          224 ( 0.1/99.7%)         77 ( 0.3/98.6%)        251 ( 1.3/92.9%)
22.08/9.85	c (2,0) c   19          188 ( 0.1/99.8%)         58 ( 0.2/98.8%)        203 ( 1.1/94.0%)
22.08/9.85	c (2,0) c   20          121 ( 0.0/99.8%)         48 ( 0.2/99.0%)        192 ( 1.0/95.0%)
22.08/9.85	c (2,0) c   21          157 ( 0.0/99.9%)         56 ( 0.2/99.2%)        176 ( 0.9/96.0%)
22.08/9.85	c (2,0) c   22           82 ( 0.0/99.9%)         42 ( 0.2/99.4%)        136 ( 0.7/96.7%)
22.08/9.85	c (2,0) c   23          106 ( 0.0/99.9%)         36 ( 0.1/99.5%)        116 ( 0.6/97.3%)
22.08/9.85	c (2,0) c   24           81 ( 0.0/99.9%)         38 ( 0.1/99.6%)         85 ( 0.5/97.8%)
22.08/9.85	c (2,0) c   25           59 ( 0.0/100.0%)         24 ( 0.1/99.7%)         72 ( 0.4/98.2%)
22.08/9.85	c (2,0) c   26           32 ( 0.0/100.0%)          6 ( 0.0/99.8%)         43 ( 0.2/98.4%)
22.08/9.85	c (2,0) c   27           12 ( 0.0/100.0%)          8 ( 0.0/99.8%)         36 ( 0.2/98.6%)
22.08/9.85	c (2,0) c   28           11 ( 0.0/100.0%)          5 ( 0.0/99.8%)         22 ( 0.1/98.7%)
22.08/9.85	c (2,0) c   29           12 ( 0.0/100.0%)          6 ( 0.0/99.8%)         25 ( 0.1/98.8%)
22.08/9.85	c (2,0) c   30            5 ( 0.0/100.0%)          2 ( 0.0/99.8%)         13 ( 0.1/98.9%)
22.08/9.85	c (2,0) c   31            7 ( 0.0/100.0%)          0 ( 0.0/99.8%)         10 ( 0.1/99.0%)
22.08/9.85	c (2,0) c   32            7 ( 0.0/100.0%)          6 ( 0.0/99.9%)         14 ( 0.1/99.0%)
22.08/9.85	c (2,0) c   33            8 ( 0.0/100.0%)          4 ( 0.0/99.9%)         11 ( 0.1/99.1%)
22.08/9.85	c (2,0) c   34            9 ( 0.0/100.0%)          4 ( 0.0/99.9%)          7 ( 0.0/99.1%)
22.08/9.85	c (2,0) c   35            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          4 ( 0.0/99.2%)
22.08/9.85	c (2,0) c   36            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          6 ( 0.0/99.2%)
22.08/9.85	c (2,0) c   37            2 ( 0.0/100.0%)          2 ( 0.0/99.9%)          4 ( 0.0/99.2%)
22.08/9.85	c (2,0) c   38            8 ( 0.0/100.0%)          2 ( 0.0/99.9%)          9 ( 0.0/99.3%)
22.08/9.85	c (2,0) c   39            3 ( 0.0/100.0%)          2 ( 0.0/99.9%)          3 ( 0.0/99.3%)
22.08/9.85	c (2,0) c   40            0 ( 0.0/100.0%)          1 ( 0.0/99.9%)          5 ( 0.0/99.3%)
22.08/9.85	c (2,0) c   41            6 ( 0.0/100.0%)          1 ( 0.0/99.9%)          3 ( 0.0/99.3%)
22.08/9.85	c (2,0) c   42            4 ( 0.0/100.0%)          1 ( 0.0/99.9%)          8 ( 0.0/99.4%)
22.08/9.85	c (2,0) c   43            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          9 ( 0.0/99.4%)
22.08/9.85	c (2,0) c   44            1 ( 0.0/100.0%)          1 ( 0.0/99.9%)          4 ( 0.0/99.4%)
22.08/9.85	c (2,0) c   45            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.4%)
22.08/9.85	c (2,0) c   46            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.0/99.4%)
22.08/9.85	c (2,0) c   47            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.5%)
22.08/9.85	c (2,0) c   48            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          4 ( 0.0/99.5%)
22.08/9.85	c (2,0) c   49            0 ( 0.0/100.0%)          1 ( 0.0/99.9%)          3 ( 0.0/99.5%)
22.08/9.85	c (2,0) c   50            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.5%)
22.08/9.85	c (2,0) c   51            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.5%)
22.08/9.85	c (2,0) c   52            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.5%)
22.08/9.85	c (2,0) c   53            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.5%)
22.08/9.85	c (2,0) c   54            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.5%)
22.08/9.85	c (2,0) c   55            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   56            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   57            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   58            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   59            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   60            4 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   61            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   62            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   63            5 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   64            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   65            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.6%)
22.08/9.85	c (2,0) c   66            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.7%)
22.08/9.85	c (2,0) c   67            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.7%)
22.08/9.85	c (2,0) c   68            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
22.08/9.85	c (2,0) c   69            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
22.08/9.85	c (2,0) c   70            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.7%)
22.08/9.85	c (2,0) c   71            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
22.08/9.85	c (2,0) c   72            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
22.08/9.85	c (2,0) c   73            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.7%)
22.08/9.85	c (2,0) c   74            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
22.08/9.85	c (2,0) c   75            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          5 ( 0.0/99.7%)
22.08/9.85	c (2,0) c   76            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   77            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   78            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   79            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   80            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   81            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   82            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   83            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   84            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   85            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   86            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   87            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   88            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   89            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   90            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   91            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   92            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   93            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   94            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   95            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   96            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   97            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   98            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.8%)
22.08/9.85	c (2,0) c   99            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c  100            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c  101            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
22.08/9.85	c (2,0) c  102            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c  103            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c  104            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
22.08/9.85	c (2,0) c  105            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  106            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  107            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  108            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  109            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  110            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  111            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  112            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  113            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  114            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  115            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  116            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  117            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  118            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  119            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  120            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  121            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  122            0 ( 0.0/100.0%)          2 ( 0.0/100.0%)          1 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  123            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  124            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  125            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  126            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  127            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  128            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  129            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  130            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  131            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  132            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  133            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  134            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  135            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  136            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  137            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  138            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  139            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  140            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  141            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  142            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  143            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  144            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  145            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
22.08/9.85	c (2,0) c  146            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
22.08/9.85	c (2,0) c  147            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.85	c (2,0) c  148            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.85	c (2,0) c  149            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  150            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  151            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  152            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  153            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  154            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  155            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  156            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  157            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  158            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  159            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  160            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  161            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  162            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  163            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  164            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  165            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  166            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  167            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  168            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  169            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  170            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  171            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  172            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  173            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  174            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  175            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  176            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  177            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  178            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  179            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  180            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  181            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  182            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  183            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  184            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  185            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  186            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  187            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  188            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  189            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  190            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  191            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  192            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  193            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  194            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  195            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  196            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  197            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  198            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  199            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  200            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  201            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  202            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  203            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  204            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  205            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  206            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  207            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  208            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  209            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  210            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  211            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  212            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  213            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  214            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  215            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  216            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  217            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  218            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  219            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  220            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  221            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  222            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  223            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  224            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  225            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  226            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  227            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  228            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  229            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  230            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  231            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  232            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  233            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  234            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  235            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  236            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  237            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  238            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  239            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  240            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  241            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  242            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  243            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  244            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  245            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  246            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  247            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  248            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  249            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  250            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  251            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  252            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  253            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  254            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  255            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  256            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  257            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  258            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  259            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  260            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  261            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  262            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  263            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  264            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  265            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  266            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  267            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  268            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  269            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  270            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  271            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  272            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  273            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  274            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  275            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  276            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  277            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  278            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  279            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  280            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  281            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  282            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  283            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  284            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  285            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  286            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  287            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  288            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  289            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  290            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  291            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  292            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  293            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  294            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  295            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  296            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  297            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  298            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  299            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  300            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  301            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  302            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  303            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  304            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  305            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  306            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  307            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  308            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  309            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  310            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  311            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  312            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  313            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  314            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  315            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  316            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  317            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  318            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  319            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  320            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  321            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  322            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  323            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  324            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  325            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  326            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  327            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  328            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  329            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  330            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  331            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  332            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  333            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  334            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  335            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
22.08/9.87	c (2,0) c  336            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
22.08/9.87	c (2,0) c
22.08/9.87	c (2,0) c Memory used       : 35.00 MB
22.08/9.87	c (2,0) c CPU time          : 2.109 s
22.08/9.87	c (2,0) c Real time         : 2.212 s
22.08/9.87	c (2,0) c
22.08/9.87	c (2,0) s UNSATISFIABLE
22.08/9.87	c (2,0) SatSolver.solve End
22.08/9.87	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
22.08/9.87	c (2,0) Show results Begin
22.08/9.87	s UNSATISFIABLE
22.08/9.87	c (2,0) Show results End
22.08/9.87	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
22.08/9.88	c (2,0) 2,2,STOP-AFTER(ALL)
22.08/9.88	c END-Prog: Thu Sep 12 14:28:35 CEST 2019

Verifier Data


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 (13780 MiB free)
  memory of node 1: 16384 MiB (10127 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387827-1568291343/watcher-4387827-1568291343 -o /tmp/evaluation-result-4387827-1568291343/solver-4387827-1568291343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6146 --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-4387827-1568291343.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
solver pid=7783, runsolver pid=7780
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 2.18 2.87 2.97 4/236 7800
/proc/meminfo: memFree=24421656/32770624 swapFree=67004752/67108860
[pid=7783] ppid=7780 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7783/stat : 7783 (scop.sh) S 7780 7783 5150 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405402098 115843072 349 33554432000 4194304 5098028 140731607372592 140731607369848 140146876060284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15921152 140731607380776 140731607381104 140731607381104 140731607384013 0
/proc/7783/statm: 28282 349 296 221 0 87 0
[pid=7786] ppid=7783 vsize=15012696 memory=73012 CPUtime=0.11 cores=0,2,4,6
/proc/7786/stat : 7786 (java) S 7783 7783 5150 0 -1 1077944320 7083 0 0 0 9 2 0 0 20 0 15 0 405402099 15373000704 18253 33554432000 4194304 4196468 140727256381232 140727256363776 140003919462135 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
/proc/7786/statm: 3753174 18253 2876 1 0 3715579 0
[pid=7786/tid=7787] ppid=7783 vsize=15012696 memory=-2915660033818482078 CPUtime=0.09 cores=0,2,4,6
/proc/7786/task/7787/stat : 7787 (java) R 7783 7783 5150 0 -1 4202560 4951 0 0 0 7 2 0 0 20 0 15 0 405402099 15373000704 18319 33554432000 4194304 4196468 140727256381232 140003891274120 140003401346860 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7788] ppid=7783 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7788/stat : 7788 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 18319 33554432000 4194304 4196468 140727256381232 140003923704720 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7789] ppid=7783 vsize=15012696 memory=140231879943808 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7789/stat : 7789 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 18319 33554432000 4194304 4196468 140727256381232 140003722480400 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7790] ppid=7783 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7790/stat : 7790 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 18319 33554432000 4194304 4196468 140727256381232 140003721428112 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7791] ppid=7783 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7791/stat : 7791 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 18319 33554432000 4194304 4196468 140727256381232 140003378191376 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7792] ppid=7783 vsize=15012696 memory=140231879943808 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7792/stat : 7792 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405402102 15373000704 18319 33554432000 4194304 4196468 140727256381232 140003326163056 140003919473282 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7793] ppid=7783 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7793/stat : 7793 (java) S 7783 7783 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405402103 15373000704 18319 33554432000 4194304 4196468 140727256381232 140002579178272 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7794] ppid=7783 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7794/stat : 7794 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402103 15373000704 18319 33554432000 4194304 4196468 140727256381232 140002310743152 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7795] ppid=7783 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7795/stat : 7795 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405402105 15373000704 18319 33554432000 4194304 4196468 140727256381232 140001936234576 140003919480731 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7796] ppid=7783 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7796/stat : 7796 (java) S 7783 7783 5150 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 405402105 15373000704 18319 33554432000 4194304 4196468 140727256381232 140003325110896 140003919473282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7797] ppid=7783 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7797/stat : 7797 (java) S 7783 7783 5150 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 405402105 15373000704 18319 33554432000 4194304 4196468 140727256381232 140003324058096 140003919473282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7798] ppid=7783 vsize=15012696 memory=140231879943808 CPUtime=0.01 cores=0,2,4,6
/proc/7786/task/7798/stat : 7798 (java) R 7783 7783 5150 0 -1 4202560 393 0 0 0 1 0 0 0 20 0 15 0 405402105 15373000704 18319 33554432000 4194304 4196468 140727256381232 140003323005808 140003898871279 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7799] ppid=7783 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7799/stat : 7799 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405402106 15373000704 18319 33554432000 4194304 4196468 140727256381232 140001438329824 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7800] ppid=7783 vsize=15012696 memory=140231879943808 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7800/stat : 7800 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402106 15373000704 18319 33554432000 4194304 4196468 140727256381232 140003321952688 140003919473282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74408 KiB

[startup+0.210954 s]*
/proc/loadavg: 2.18 2.87 2.97 4/236 7800
/proc/meminfo: memFree=24402556/32770624 swapFree=67004752/67108860
[pid=7783] ppid=7780 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7783/stat : 7783 (scop.sh) S 7780 7783 5150 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405402098 115843072 349 33554432000 4194304 5098028 140731607372592 140731607369848 140146876060284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15921152 140731607380776 140731607381104 140731607381104 140731607384013 0
/proc/7783/statm: 28282 349 296 221 0 87 0
[pid=7786] ppid=7783 vsize=15012696 memory=88892 CPUtime=0.24 cores=0,2,4,6
/proc/7786/stat : 7786 (java) S 7783 7783 5150 0 -1 1077944320 12329 0 0 0 21 3 0 0 20 0 15 0 405402099 15373000704 22223 33554432000 4194304 4196468 140727256381232 140727256363776 140003919462135 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
/proc/7786/statm: 3753174 22223 2940 1 0 3715579 0
[pid=7786/tid=7787] ppid=7783 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/7786/task/7787/stat : 7787 (java) R 7783 7783 5150 0 -1 4202560 10063 0 0 0 17 3 0 0 20 0 15 0 405402099 15373000704 22223 33554432000 4194304 4196468 140727256381232 140003891275568 140003919484061 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7788] ppid=7783 vsize=15012696 memory=365 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7788/stat : 7788 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 22223 33554432000 4194304 4196468 140727256381232 140003923704720 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7789] ppid=7783 vsize=15012696 memory=140231879951845 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7789/stat : 7789 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 22223 33554432000 4194304 4196468 140727256381232 140003722480400 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7790] ppid=7783 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7790/stat : 7790 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 22223 33554432000 4194304 4196468 140727256381232 140003721428112 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7791] ppid=7783 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7791/stat : 7791 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 22223 33554432000 4194304 4196468 140727256381232 140003378191376 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7792] ppid=7783 vsize=15012696 memory=140231879943808 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7792/stat : 7792 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405402102 15373000704 22223 33554432000 4194304 4196468 140727256381232 140003326163056 140003919473282 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7793] ppid=7783 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7793/stat : 7793 (java) S 7783 7783 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405402103 15373000704 22223 33554432000 4194304 4196468 140727256381232 140002579178272 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7794] ppid=7783 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7794/stat : 7794 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402103 15373000704 22223 33554432000 4194304 4196468 140727256381232 140002310743152 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7795] ppid=7783 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7795/stat : 7795 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405402105 15373000704 22223 33554432000 4194304 4196468 140727256381232 140001936234576 140003919480731 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7796] ppid=7783 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7786/task/7796/stat : 7796 (java) S 7783 7783 5150 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 15 0 405402105 15373000704 22223 33554432000 4194304 4196468 140727256381232 140003325110896 140003919473282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7797] ppid=7783 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7797/stat : 7797 (java) R 7783 7783 5150 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 405402105 15373000704 22223 33554432000 4194304 4196468 140727256381232 140003324058096 140003919473282 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7798] ppid=7783 vsize=15012696 memory=140231879943808 CPUtime=0.02 cores=0,2,4,6
/proc/7786/task/7798/stat : 7798 (java) S 7783 7783 5150 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 15 0 405402105 15373000704 22223 33554432000 4194304 4196468 140727256381232 140003323005808 140003919473282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7799] ppid=7783 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7799/stat : 7799 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405402106 15373000704 22223 33554432000 4194304 4196468 140727256381232 140001438329824 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7800] ppid=7783 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7800/stat : 7800 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402106 15373000704 22223 33554432000 4194304 4196468 140727256381232 140003321952688 140003919473282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90288 KiB

[startup+0.310739 s]*
/proc/loadavg: 2.18 2.87 2.97 4/236 7800
/proc/meminfo: memFree=24400260/32770624 swapFree=67004752/67108860
[pid=7783] ppid=7780 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7783/stat : 7783 (scop.sh) S 7780 7783 5150 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405402098 115843072 349 33554432000 4194304 5098028 140731607372592 140731607369848 140146876060284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15921152 140731607380776 140731607381104 140731607381104 140731607384013 0
/proc/7783/statm: 28282 349 296 221 0 87 0
[pid=7786] ppid=7783 vsize=15012696 memory=92768 CPUtime=0.42 cores=0,2,4,6
/proc/7786/stat : 7786 (java) S 7783 7783 5150 0 -1 1077944320 13174 0 0 0 38 4 0 0 20 0 15 0 405402099 15373000704 23192 33554432000 4194304 4196468 140727256381232 140727256363776 140003919462135 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
/proc/7786/statm: 3753174 23192 3064 1 0 3715579 0
[pid=7786/tid=7787] ppid=7783 vsize=15012696 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/7786/task/7787/stat : 7787 (java) R 7783 7783 5150 0 -1 4202560 10740 0 0 0 26 4 0 0 20 0 15 0 405402099 15373000704 23192 33554432000 4194304 4196468 140727256381232 140003891245152 140003899737515 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7788] ppid=7783 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7788/stat : 7788 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 23192 33554432000 4194304 4196468 140727256381232 140003923704720 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7789] ppid=7783 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7789/stat : 7789 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 23192 33554432000 4194304 4196468 140727256381232 140003722480400 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7790] ppid=7783 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7790/stat : 7790 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 23192 33554432000 4194304 4196468 140727256381232 140003721428112 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7791] ppid=7783 vsize=15012696 memory=7079758230011356562 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7791/stat : 7791 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405402101 15373000704 23192 33554432000 4194304 4196468 140727256381232 140003378191376 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7792] ppid=7783 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7792/stat : 7792 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405402102 15373000704 23192 33554432000 4194304 4196468 140727256381232 140003326163056 140003919473282 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7793] ppid=7783 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7793/stat : 7793 (java) S 7783 7783 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405402103 15373000704 23192 33554432000 4194304 4196468 140727256381232 140002579178272 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7794] ppid=7783 vsize=15012696 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7794/stat : 7794 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402103 15373000704 23192 33554432000 4194304 4196468 140727256381232 140002310743152 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7795] ppid=7783 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7795/stat : 7795 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405402105 15373000704 23192 33554432000 4194304 4196468 140727256381232 140001936234576 140003919480731 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7796] ppid=7783 vsize=15012696 memory=-6517102902069810590 CPUtime=0.02 cores=0,2,4,6
/proc/7786/task/7796/stat : 7796 (java) S 7783 7783 5150 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 405402105 15373000704 23192 33554432000 4194304 4196468 140727256381232 140003325110896 140003919473282 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7797] ppid=7783 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7786/task/7797/stat : 7797 (java) S 7783 7783 5150 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 405402105 15373000704 23192 33554432000 4194304 4196468 140727256381232 140003324058096 140003919473282 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7798] ppid=7783 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7786/task/7798/stat : 7798 (java) S 7783 7783 5150 0 -1 1077944384 471 0 0 0 7 0 0 0 20 0 15 0 405402105 15373000704 23192 33554432000 4194304 4196468 140727256381232 140003323005808 140003919473282 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7799] ppid=7783 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7799/stat : 7799 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405402106 15373000704 23192 33554432000 4194304 4196468 140727256381232 140001438329824 140003919472341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7800] ppid=7783 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7800/stat : 7800 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402106 15373000704 23192 33554432000 4194304 4196468 140727256381232 140003321952688 140003919473282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94164 KiB

[startup+0.70123 s]
/proc/loadavg: 2.18 2.87 2.97 3/236 7800
/proc/meminfo: memFree=24379424/32770624 swapFree=67004752/67108860
[pid=7783] ppid=7780 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7783/stat : 7783 (scop.sh) S 7780 7783 5150 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405402098 115843072 349 33554432000 4194304 5098028 140731607372592 140731607369848 140146876060284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15921152 140731607380776 140731607381104 140731607381104 140731607384013 0
/proc/7783/statm: 28282 349 296 221 0 87 0
[pid=7786] ppid=7783 vsize=15018968 memory=129196 CPUtime=0.99 cores=0,2,4,6
/proc/7786/stat : 7786 (java) S 7783 7783 5150 0 -1 1077944320 20103 0 0 0 92 7 0 0 20 0 15 0 405402099 15379423232 32299 33554432000 4194304 4196468 140727256381232 140727256363776 140003919462135 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
/proc/7786/statm: 3754742 32299 3182 1 0 3716091 0
[pid=7786/tid=7787] ppid=7783 vsize=15018968 memory=286543155 CPUtime=0.67 cores=0,2,4,6
/proc/7786/task/7787/stat : 7787 (java) R 7783 7783 5150 0 -1 4202560 17160 0 0 0 61 6 0 0 20 0 15 0 405402099 15379423232 32299 33554432000 4194304 4196468 140727256381232 140003891299472 140003401420355 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7788] ppid=7783 vsize=15018968 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7788/stat : 7788 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15379423232 32299 33554432000 4194304 4196468 140727256381232 140003923704720 140003919472341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7789] ppid=7783 vsize=15018968 memory=180 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7789/stat : 7789 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15379423232 32299 33554432000 4194304 4196468 140727256381232 140003722480400 140003919472341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7790] ppid=7783 vsize=15018968 memory=9230 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7790/stat : 7790 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402101 15379423232 32299 33554432000 4194304 4196468 140727256381232 140003721428112 140003919472341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7791] ppid=7783 vsize=15018968 memory=21150 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7791/stat : 7791 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405402101 15379423232 32299 33554432000 4194304 4196468 140727256381232 140003378191376 140003919472341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7792] ppid=7783 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7792/stat : 7792 (java) S 7783 7783 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405402102 15379423232 32299 33554432000 4194304 4196468 140727256381232 140003326163056 140003919473282 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7793] ppid=7783 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7793/stat : 7793 (java) S 7783 7783 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405402103 15379423232 32299 33554432000 4194304 4196468 140727256381232 140002579178272 140003919472341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7794] ppid=7783 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7794/stat : 7794 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402103 15379423232 32299 33554432000 4194304 4196468 140727256381232 140002310743152 140003919472341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7795] ppid=7783 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7795/stat : 7795 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405402105 15379423232 32299 33554432000 4194304 4196468 140727256381232 140001936234576 140003919480731 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7796] ppid=7783 vsize=15018968 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7786/task/7796/stat : 7796 (java) R 7783 7783 5150 0 -1 4202560 588 0 0 0 7 0 0 0 20 0 15 0 405402105 15379423232 32299 33554432000 4194304 4196468 140727256381232 140003325102848 140003900155399 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7797] ppid=7783 vsize=15018968 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7786/task/7797/stat : 7797 (java) S 7783 7783 5150 0 -1 1077944384 457 0 0 0 7 0 0 0 20 0 15 0 405402105 15379423232 32299 33554432000 4194304 4196468 140727256381232 140003324058096 140003919473282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7798] ppid=7783 vsize=15018968 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/7786/task/7798/stat : 7798 (java) R 7783 7783 5150 0 -1 4202560 564 0 0 0 15 0 0 0 20 0 15 0 405402105 15379423232 32299 33554432000 4194304 4196468 140727256381232 140003323001568 140003919483482 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7799] ppid=7783 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7799/stat : 7799 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405402106 15379423232 32299 33554432000 4194304 4196468 140727256381232 140001438329824 140003919472341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
[pid=7786/tid=7800] ppid=7783 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7786/task/7800/stat : 7800 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405402106 15379423232 32299 33554432000 4194304 4196468 140727256381232 140003321952688 140003919473282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8794112 140727256388335 140727256388762 140727256388762 140727256391631 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130592 KiB

[startup+1.50075 s]
/proc/loadavg: 2.18 2.87 2.97 5/236 7800
/proc/meminfo: memFree=24308704/32770624 swapFree=67004752/67108860
[pid=7783] ppid=7780 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7783/stat : 7783 (scop.sh) S 7780 7783 5150 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405402098 115843072 349 33554432000 4194304 5098028 140731607372592 140731607369848 140146876060284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15921152 140731607380776 140731607381104 140731607381104 140731607384013 0
/proc/7783/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 20.28 s
Current children cumulated vsize: 8209896 KiB
Current children cumulated memory: 133568 KiB

[startup+8.80096 s]
/proc/loadavg: 2.16 2.86 2.96 3/240 7821
/proc/meminfo: memFree=24359608/32770624 swapFree=67004752/67108860
[pid=7783] ppid=7780 vsize=113128 memory=1476 CPUtime=18.73 cores=0,2,4,6
/proc/7783/stat : 7783 (scop.sh) S 7780 7783 5150 0 -1 4202496 585 37571 0 0 0 0 1831 42 20 0 1 0 405402098 115843072 369 33554432000 4194304 5098028 140731607372592 140731607369336 140146876060284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15921152 140731607380776 140731607381104 140731607381104 140731607384013 0
/proc/7783/statm: 28282 369 311 221 0 87 0
[pid=7801] ppid=7783 vsize=8068440 memory=119528 CPUtime=1.19 cores=0,2,4,6
/proc/7801/stat : 7801 (java) S 7783 7783 5150 0 -1 1077944320 20193 0 0 0 111 8 0 0 20 0 19 0 405402788 8262082560 29882 33554432000 4194304 4196468 140727141843136 140727141825680 140247882542839 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
/proc/7801/statm: 2017110 29882 3209 1 0 1978454 0
[pid=7816] ppid=7801 vsize=31048 memory=14764 CPUtime=1.15 cores=0,2,4,6
/proc/7816/stat : 7816 (glueminisat-sim) R 7801 7783 5150 0 -1 4202496 4086 0 0 0 110 5 0 0 20 0 1 0 405402863 31793152 3691 33554432000 4194304 4452875 140729306369680 140729306364776 139901730975623 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 12599296 140729306370912 140729306371111 140729306371111 140729306374061 0
/proc/7816/statm: 7762 3691 380 64 0 3966 0
[pid=7801/tid=7802] ppid=7783 vsize=8068440 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/7801/task/7802/stat : 7802 (java) S 7783 7783 5150 0 -1 1077944384 17197 0 0 0 71 6 0 0 20 0 19 0 405402789 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247854383008 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7803] ppid=7783 vsize=8068440 memory=55 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7803/stat : 7803 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247886785552 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7804] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7804/stat : 7804 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247686954128 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7805] ppid=7783 vsize=8068440 memory=7451017998328491880 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7805/stat : 7805 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247685901072 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7806] ppid=7783 vsize=8068440 memory=7451017998328491880 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7806/stat : 7806 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247684848528 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7807] ppid=7783 vsize=8068440 memory=-8860185087214000791 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7807/stat : 7807 (java) S 7783 7783 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405402791 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247194728688 140247882553986 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7808] ppid=7783 vsize=8068440 memory=7445967980010104935 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7808/stat : 7808 (java) S 7783 7783 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405402792 8262082560 29882 33554432000 4194304 4196468 140727141843136 140246721225888 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7809] ppid=7783 vsize=8068440 memory=7597080421413185394 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7809/stat : 7809 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405402792 8262082560 29882 33554432000 4194304 4196468 140727141843136 140246452790000 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7810] ppid=7783 vsize=8068440 memory=7233178352140767845 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7810/stat : 7810 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140246078281680 140247882561435 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7811] ppid=7783 vsize=8068440 memory=7308611485513832811 CPUtime=0.09 cores=0,2,4,6
/proc/7801/task/7811/stat : 7811 (java) S 7783 7783 5150 0 -1 1077944384 758 0 0 0 9 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247193676528 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7812] ppid=7783 vsize=8068440 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/7801/task/7812/stat : 7812 (java) S 7783 7783 5150 0 -1 1077944384 206 0 0 0 6 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247192623984 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7813] ppid=7783 vsize=8068440 memory=99 CPUtime=0.22 cores=0,2,4,6
/proc/7801/task/7813/stat : 7813 (java) S 7783 7783 5150 0 -1 1077944384 641 0 0 0 22 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247123880432 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7814] ppid=7783 vsize=8068440 memory=68 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7814/stat : 7814 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405402795 8262082560 29882 33554432000 4194304 4196468 140727141843136 140245580376928 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7815] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7815/stat : 7815 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405402795 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247122827824 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7817] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7817/stat : 7817 (java) S 7783 7783 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405402863 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247115351360 140247882567449 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7819] ppid=7783 vsize=8068440 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7801/task/7819/stat : 7819 (java) S 7783 7783 5150 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 405402863 8262082560 29882 33554432000 4194304 4196468 140727141843136 140245043490192 140247882564765 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7820] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7820/stat : 7820 (java) S 7783 7783 5150 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 405402863 8262082560 29882 33554432000 4194304 4196468 140727141843136 140245177712688 140247882564765 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7821] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7821/stat : 7821 (java) S 7783 7783 5150 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405402865 8262082560 29882 33554432000 4194304 4196468 140727141843136 140244775067440 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
Current children cumulated CPU time: 21.07 s
Current children cumulated vsize: 8212616 KiB
Current children cumulated memory: 135768 KiB

[startup+9.60092 s]
/proc/loadavg: 2.16 2.86 2.96 3/240 7821
/proc/meminfo: memFree=24357900/32770624 swapFree=67004752/67108860
[pid=7783] ppid=7780 vsize=113128 memory=1476 CPUtime=18.73 cores=0,2,4,6
/proc/7783/stat : 7783 (scop.sh) S 7780 7783 5150 0 -1 4202496 585 37571 0 0 0 0 1831 42 20 0 1 0 405402098 115843072 369 33554432000 4194304 5098028 140731607372592 140731607369336 140146876060284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15921152 140731607380776 140731607381104 140731607381104 140731607384013 0
/proc/7783/statm: 28282 369 311 221 0 87 0
[pid=7801] ppid=7783 vsize=8068440 memory=119528 CPUtime=1.2 cores=0,2,4,6
/proc/7801/stat : 7801 (java) S 7783 7783 5150 0 -1 1077944320 20204 0 0 0 112 8 0 0 20 0 19 0 405402788 8262082560 29882 33554432000 4194304 4196468 140727141843136 140727141825680 140247882542839 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
/proc/7801/statm: 2017110 29882 3209 1 0 1978454 0
[pid=7816] ppid=7801 vsize=32080 memory=17056 CPUtime=1.95 cores=0,2,4,6
/proc/7816/stat : 7816 (glueminisat-sim) R 7801 7783 5150 0 -1 4202496 4691 0 0 0 187 8 0 0 20 0 1 0 405402863 32849920 4264 33554432000 4194304 4452875 140729306369680 140729306364776 139901730975623 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 12599296 140729306370912 140729306371111 140729306371111 140729306374061 0
/proc/7816/statm: 8020 4264 380 64 0 4224 0
[pid=7801/tid=7802] ppid=7783 vsize=8068440 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/7801/task/7802/stat : 7802 (java) S 7783 7783 5150 0 -1 1077944384 17197 0 0 0 71 6 0 0 20 0 19 0 405402789 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247854383008 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7803] ppid=7783 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7803/stat : 7803 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247886785552 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7804] ppid=7783 vsize=8068440 memory=119528 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7804/stat : 7804 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247686954128 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7805] ppid=7783 vsize=8068440 memory=13740 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7805/stat : 7805 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247685901072 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7806] ppid=7783 vsize=8068440 memory=12028 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7806/stat : 7806 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247684848528 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7807] ppid=7783 vsize=8068440 memory=496 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7807/stat : 7807 (java) S 7783 7783 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405402791 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247194728688 140247882553986 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7808] ppid=7783 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7808/stat : 7808 (java) S 7783 7783 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405402792 8262082560 29882 33554432000 4194304 4196468 140727141843136 140246721225888 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7809] ppid=7783 vsize=8068440 memory=928 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7809/stat : 7809 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405402792 8262082560 29882 33554432000 4194304 4196468 140727141843136 140246452790000 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7810] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7810/stat : 7810 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140246078281680 140247882561435 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7811] ppid=7783 vsize=8068440 memory=1321 CPUtime=0.09 cores=0,2,4,6
/proc/7801/task/7811/stat : 7811 (java) S 7783 7783 5150 0 -1 1077944384 758 0 0 0 9 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247193676528 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7812] ppid=7783 vsize=8068440 memory=4 CPUtime=0.06 cores=0,2,4,6
/proc/7801/task/7812/stat : 7812 (java) S 7783 7783 5150 0 -1 1077944384 206 0 0 0 6 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247192623984 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7813] ppid=7783 vsize=8068440 memory=148 CPUtime=0.23 cores=0,2,4,6
/proc/7801/task/7813/stat : 7813 (java) S 7783 7783 5150 0 -1 1077944384 652 0 0 0 23 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247123880432 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7814] ppid=7783 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7814/stat : 7814 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405402795 8262082560 29882 33554432000 4194304 4196468 140727141843136 140245580376928 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7815] ppid=7783 vsize=8068440 memory=119392 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7815/stat : 7815 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405402795 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247122827824 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7817] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7817/stat : 7817 (java) S 7783 7783 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405402863 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247115351360 140247882567449 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7819] ppid=7783 vsize=8068440 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7801/task/7819/stat : 7819 (java) S 7783 7783 5150 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 405402863 8262082560 29882 33554432000 4194304 4196468 140727141843136 140245043490160 140247882564765 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7820] ppid=7783 vsize=8068440 memory=445 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7820/stat : 7820 (java) S 7783 7783 5150 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 405402863 8262082560 29882 33554432000 4194304 4196468 140727141843136 140245177712688 140247882564765 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7821] ppid=7783 vsize=8068440 memory=9671 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7821/stat : 7821 (java) S 7783 7783 5150 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405402865 8262082560 29882 33554432000 4194304 4196468 140727141843136 140244775067440 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
Current children cumulated CPU time: 21.88 s
Current children cumulated vsize: 8213648 KiB
Current children cumulated memory: 138060 KiB

[startup+9.80097 s]
/proc/loadavg: 2.16 2.86 2.96 3/240 7821
/proc/meminfo: memFree=24357900/32770624 swapFree=67004752/67108860
[pid=7783] ppid=7780 vsize=113128 memory=1476 CPUtime=18.73 cores=0,2,4,6
/proc/7783/stat : 7783 (scop.sh) S 7780 7783 5150 0 -1 4202496 585 37571 0 0 0 0 1831 42 20 0 1 0 405402098 115843072 369 33554432000 4194304 5098028 140731607372592 140731607369336 140146876060284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15921152 140731607380776 140731607381104 140731607381104 140731607384013 0
/proc/7783/statm: 28282 369 311 221 0 87 0
[pid=7801] ppid=7783 vsize=8068440 memory=119528 CPUtime=1.2 cores=0,2,4,6
/proc/7801/stat : 7801 (java) S 7783 7783 5150 0 -1 1077944320 20211 0 0 0 112 8 0 0 20 0 19 0 405402788 8262082560 29882 33554432000 4194304 4196468 140727141843136 140727141825680 140247882542839 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
/proc/7801/statm: 2017110 29882 3209 1 0 1978454 0
[pid=7816] ppid=7801 vsize=36516 memory=20044 CPUtime=2.15 cores=0,2,4,6
/proc/7816/stat : 7816 (glueminisat-sim) R 7801 7783 5150 0 -1 4202496 9148 0 0 0 205 10 0 0 20 0 1 0 405402863 37392384 5011 33554432000 4194304 4452875 140729306369680 140729306364712 139901730975623 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 12599296 140729306370912 140729306371111 140729306371111 140729306374061 0
/proc/7816/statm: 9129 5011 380 64 0 5333 0
[pid=7801/tid=7802] ppid=7783 vsize=8068440 memory=-5059952977386882957 CPUtime=0.77 cores=0,2,4,6
/proc/7801/task/7802/stat : 7802 (java) S 7783 7783 5150 0 -1 1077944384 17197 0 0 0 71 6 0 0 20 0 19 0 405402789 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247854383008 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7803] ppid=7783 vsize=8068440 memory=288230613197259051 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7803/stat : 7803 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247886785552 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7804] ppid=7783 vsize=8068440 memory=13571491887318644 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7804/stat : 7804 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247686954128 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7805] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7805/stat : 7805 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247685901072 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7806] ppid=7783 vsize=8068440 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7806/stat : 7806 (java) S 7783 7783 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405402790 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247684848528 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7807] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7807/stat : 7807 (java) S 7783 7783 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405402791 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247194728688 140247882553986 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7808] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7808/stat : 7808 (java) S 7783 7783 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405402792 8262082560 29882 33554432000 4194304 4196468 140727141843136 140246721225888 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7809] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7809/stat : 7809 (java) S 7783 7783 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405402792 8262082560 29882 33554432000 4194304 4196468 140727141843136 140246452790000 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7810] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7810/stat : 7810 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140246078281680 140247882561435 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7811] ppid=7783 vsize=8068440 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7801/task/7811/stat : 7811 (java) S 7783 7783 5150 0 -1 1077944384 758 0 0 0 9 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247193676528 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7812] ppid=7783 vsize=8068440 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/7801/task/7812/stat : 7812 (java) S 7783 7783 5150 0 -1 1077944384 206 0 0 0 6 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247192623984 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7813] ppid=7783 vsize=8068440 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/7801/task/7813/stat : 7813 (java) S 7783 7783 5150 0 -1 1077944384 656 0 0 0 23 0 0 0 20 0 19 0 405402794 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247123880432 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7814] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7814/stat : 7814 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405402795 8262082560 29882 33554432000 4194304 4196468 140727141843136 140245580376928 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7815] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7815/stat : 7815 (java) S 7783 7783 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405402795 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247122827824 140247882553986 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7817] ppid=7783 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7817/stat : 7817 (java) S 7783 7783 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405402863 8262082560 29882 33554432000 4194304 4196468 140727141843136 140247115351360 140247882567449 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7819] ppid=7783 vsize=8068440 memory=1105816 CPUtime=0.01 cores=0,2,4,6
/proc/7801/task/7819/stat : 7819 (java) S 7783 7783 5150 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 405402863 8262082560 29882 33554432000 4194304 4196468 140727141843136 140245043490160 140247882564765 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7820] ppid=7783 vsize=8068440 memory=21809 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7820/stat : 7820 (java) S 7783 7783 5150 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 405402863 8262082560 29882 33554432000 4194304 4196468 140727141843136 140245177712688 140247882564765 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
[pid=7801/tid=7821] ppid=7783 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7801/task/7821/stat : 7821 (java) S 7783 7783 5150 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405402865 8262082560 29882 33554432000 4194304 4196468 140727141843136 140244775067440 140247882553045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33337344 140727141848060 140727141848218 140727141848218 140727141851087 0
Current children cumulated CPU time: 22.08 s
Current children cumulated vsize: 8218084 KiB
Current children cumulated memory: 141048 KiB

Child status: 0
Real time (s): 9.89856
CPU time (s): 22.2502
CPU user time (s): 21.6147
CPU system time (s): 0.635476
CPU usage (%): 224.782
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1741968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.6147
system time used= 0.635476
maximum resident set size= 1746356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6583
involuntary context switches= 67


# summary of solver processes directly reported to runsolver:
#   pid: 7783
#   total CPU time (s): 22.2502
#   total CPU user time (s): 21.6147
#   total CPU system time (s): 0.635476

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.104939 second user time and 0.138181 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-12 14:28:25
IDJOB=4387827
IDBENCH=126449
IDSOLVER=2825
FILE ID=node126/4387827-1568291343
RUNJOBID= node126-1568286203-6146
PBS_JOBID= 21701078
Free space on /tmp= 52404 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-5-5-9-cp.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-4387827-1568291343/watcher-4387827-1568291343 -o /tmp/evaluation-result-4387827-1568291343/solver-4387827-1568291343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6146 --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-4387827-1568291343.xml

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

MD5SUM BENCH= a6754b0df54e854fabf9aee35b814723
RANDOM SEED=498770444

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24482396 kB
MemAvailable:   28454936 kB
Buffers:           93668 kB
Cached:          4139312 kB
SwapCached:         2860 kB
Active:          6143648 kB
Inactive:        1510840 kB
Active(anon):    3417608 kB
Inactive(anon):    45052 kB
Active(file):    2726040 kB
Inactive(file):  1465788 kB
Unevictable:      109096 kB
Mlocked:          109096 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             21032 kB
Writeback:             0 kB
AnonPages:       3453348 kB
Mapped:            55444 kB
Shmem:             32816 kB
Slab:             221628 kB
SReclaimable:     193096 kB
SUnreclaim:        28532 kB
KernelStack:        4160 kB
PageTables:        12908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8398108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1400832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 52384 MiB
End job on node126 at 2019-09-12 14:28:35