Trace number 4387782

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 27.3618 17.0991

General information on the benchmark

NameQRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-64.xml
MD5SUM236be531fe4e5fa4d71f6d1385cbaf81
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 benchmark3.28957
Satisfiable
(Un)Satisfiability was proved
Number of variables130
Number of constraints100
Number of domains23
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}]
Minimum variable degree1
Maximum variable degree14
Distribution of variable degrees[{"degree":1,"count":40},{"degree":2,"count":80},{"degree":5,"count":1},{"degree":6,"count":1},{"degree":9,"count":1},{"degree":10,"count":3},{"degree":12,"count":3},{"degree":14,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
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-7387-serial-file.bin HOME/instance-4387782-1568290069.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.56	c BEGIN-Prog: Thu Sep 12 14:07:12 CEST 2019
0.66/0.56	c PID: 7390
0.66/0.56	c IP: 172.20.3.126
0.66/0.56	c HOST: node126.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.04/1.02	c (0,0) Parsing End
2.04/1.03	c (0,0) CSP: 110 int (0 aux), 20 bool (0 aux), 100 ctr, max domain size 20
2.04/1.03	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.04/1.03	c (0,0) Constraint Name Generate Begin
2.04/1.03	c (0,0) Ctr:HOME/instance-4387782-1568290069.xml,ExtensionSupport:Var
2.04/1.03	c (0,0) Constraint Name Generate End
2.04/1.03	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.04/1.03	c (0,0) CSP to CSPinCNF Begin
3.96/1.78	c (1,1) translated 10 (10%) constraints
4.92/2.07	c (1,1) translated 20 (20%) constraints
5.78/2.31	c (1,1) translated 30 (30%) constraints
6.30/2.51	c (1,1) translated 40 (40%) constraints
6.86/2.71	c (2,2) translated 50 (50%) constraints
7.12/2.90	c (2,2) translated 60 (60%) constraints
7.73/3.10	c (2,2) translated 70 (70%) constraints
8.31/3.28	c (2,2) translated 80 (80%) constraints
8.89/3.47	c (2,2) translated 90 (90%) constraints
9.42/3.65	c (3,3) translated 100 (100%) constraints
9.42/3.66	c (3,3) ===========================================
9.42/3.66	c (3,3) Order
9.42/3.66	c (3,3) ===========================================
10.02/3.80	c (3,3) translated 2826 (10%) constraints
10.32/3.91	c (3,3) translated 5652 (20%) constraints
10.32/3.99	c (3,3) translated 8478 (30%) constraints
10.65/4.06	c (3,3) translated 11304 (40%) constraints
10.93/4.13	c (3,3) translated 14130 (50%) constraints
10.93/4.19	c (3,3) translated 16956 (60%) constraints
11.12/4.26	c (3,3) translated 19782 (70%) constraints
11.33/4.32	c (3,3) translated 22608 (80%) constraints
11.33/4.39	c (3,3) translated 25434 (90%) constraints
11.53/4.45	c (3,3) translated 28259 (100%) constraints
11.53/4.45	c (3,3) CSP to CSPinCNF End
11.53/4.46	c (3,3) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
11.53/4.46	c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.53/4.46	c (3,3) CSPinCNF Propagation Begin
12.35/4.72	c (4,4) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed
12.35/4.72	c (4,4) CSPinCNF Propagation End
12.81/4.95	c (4,4) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
12.81/4.95	c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.81/4.95	c (4,4) Simplify CSPinCNF Begin
12.81/4.95	c (4,4) Simplify CSPinCNF End
12.81/4.95	c (4,4) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
12.81/4.95	c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.81/4.95	c (4,4) Calculate Precise Domain Begin
12.81/4.95	c (4,4) 0 values are removed by re-calculation
12.81/4.95	c (4,4) Calculate Precise Domain End
12.81/4.95	c (4,4) CSP: 110 int (0 aux), 2295 bool (2275 aux), 28259 ctr, max domain size 20
12.81/4.95	c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.81/4.95	c (4,4) CSPinCNF to SatSolver Begin
13.39/5.17	c (4,4) 2826 (10 %) CSP clauses are encoded (0 SAT variables, 4171 SAT clauses)
13.66/5.26	c (4,4) 5652 (20 %) CSP clauses are encoded (0 SAT variables, 6997 SAT clauses)
13.97/5.34	c (4,4) 8478 (30 %) CSP clauses are encoded (0 SAT variables, 9823 SAT clauses)
14.26/5.41	c (4,4) 11304 (40 %) CSP clauses are encoded (0 SAT variables, 12649 SAT clauses)
14.26/5.46	c (4,4) 14130 (50 %) CSP clauses are encoded (0 SAT variables, 15475 SAT clauses)
14.57/5.52	c (4,4) 16956 (60 %) CSP clauses are encoded (0 SAT variables, 18301 SAT clauses)
14.57/5.57	c (5,4) 19782 (70 %) CSP clauses are encoded (0 SAT variables, 21127 SAT clauses)
14.87/5.62	c (5,4) 22608 (80 %) CSP clauses are encoded (0 SAT variables, 23953 SAT clauses)
14.87/5.66	c (5,4) 25434 (90 %) CSP clauses are encoded (0 SAT variables, 26779 SAT clauses)
15.16/5.70	c (5,5) 28259 (100 %) CSP clauses are encoded (0 SAT variables, 29604 SAT clauses)
15.16/5.70	c (5,5) CSPinCNF to SatSolver End
15.16/5.70	c (5,5) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.16/5.70	c (5,5) 3731 bool, 29605 clause
15.16/5.70	c (5,5) Export Begin
15.42/5.82	c (5,5) Export to HOME/scop-7387-serial-file.bin
15.42/5.82	c (5,5) Export End
15.42/5.82	c (5,5) Export File Size: 0.04 MB
15.42/5.82	c (5,5) 0,0,3,4,4,4,5,STOP-AFTER(DIMACS)
15.42/5.82	c END-Prog: Thu Sep 12 14:07:17 CEST 2019
15.42/5.85	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7387-serial-file.bin
16.13/6.31	c (0,0) Read Serial File Begin
16.13/6.31	c (0,0) HOME/scop-7387-serial-file.bin
16.42/6.56	c (0,0) Read Serial File End
16.42/6.57	
16.42/6.57	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
16.42/6.57	(Solving Process)
16.42/6.57	
16.42/6.59	c BEGIN-Prog: Thu Sep 12 14:07:18 CEST 2019
16.42/6.59	c PID: 7405
16.42/6.59	c IP: 172.20.3.126
16.42/6.59	c HOST: node126.alineos.net
16.62/6.60	c (0,0) SatSolver.solve Begin
16.62/6.60	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387782-1568290069.xml-scop-7390.cnf
16.62/6.62	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
16.62/6.62	c (0,0) c glueminisat-simp-2.2.10-193oa-n
16.62/6.62	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387782-1568290069.xml-scop-7390.cnf 
16.62/6.62	c (0,0) c Options:
16.62/6.62	c (0,0) c CORE
16.62/6.62	c (0,0) c  var_decay             = 0.950
16.62/6.62	c (0,0) c  clause_decay          = 0.999
16.62/6.62	c (0,0) c  random_var_freq       = 0.000
16.62/6.62	c (0,0) c  random_seed           = 91648253.000
16.62/6.62	c (0,0) c  luby_restart          = 1
16.62/6.62	c (0,0) c  ccmin_mode            = 2
16.62/6.62	c (0,0) c  phase_saving          = 2
16.62/6.62	c (0,0) c  rnd_pol               = 0
16.62/6.62	c (0,0) c  rnd_init_act          = 0
16.62/6.63	c (0,0) c  garbage_frac          = 0.200
16.62/6.63	c (0,0) c  restart_first         = 1000
16.62/6.63	c (0,0) c  restart_inc           = 2.000
16.62/6.63	c (0,0) c MODEL
16.62/6.63	c (0,0) c  partial_model         = 0
16.62/6.63	c (0,0) c PROPAGATION
16.62/6.63	c (0,0) c  bin_propagation       = 1
16.62/6.63	c (0,0) c SIMPLIFICATION
16.62/6.63	c (0,0) c  lrn_min_size          = 100
16.62/6.63	c (0,0) c  lazy_simp             = 1
16.62/6.63	c (0,0) c  lazy_interval         = 10
16.62/6.63	c (0,0) c  lazy_fld_probing      = 1
16.62/6.63	c (0,0) c  lazy_pol_probing      = 1
16.62/6.63	c (0,0) c  lazy_nec_probing      = 1
16.62/6.63	c (0,0) c  lazy_eqv_probing      = 1
16.62/6.63	c (0,0) c  lazy_cla_probing      = 1
16.62/6.63	c (0,0) c  lazy_lrn_min          = 2
16.62/6.63	c (0,0) c  lazy_uw_lit_elim      = 1
16.62/6.63	c (0,0) c  lazy_pr_lit_elim      = 0
16.62/6.63	c (0,0) c  lazy_bin_add          = 3
16.62/6.63	c (0,0) c  probed_lit_chain      = 1
16.62/6.63	c (0,0) c  pr_min_lits           = 0.00020
16.62/6.63	c (0,0) c  pr_min_starts         = 500
16.62/6.63	c (0,0) c  rw_min_lits           = 0.010
16.62/6.63	c (0,0) c  rw_min_starts         = 500
16.62/6.63	c (0,0) c  rand_attach           = 0
16.62/6.63	c (0,0) c  dec_elim              = 1
16.62/6.63	c (0,0) c  dec_elim_lim          = 25
16.62/6.63	c (0,0) c  dec_elim_len          = -1
16.62/6.63	c (0,0) c  amo                   = 0
16.62/6.63	c (0,0) c  amo_grp               = 1
16.62/6.63	c (0,0) c  amo_max_bins          = 1000000
16.62/6.63	c (0,0) c  amo_starts            = 50
16.62/6.63	c (0,0) c  mace_cmd              = mace
16.62/6.63	c (0,0) c DECISION
16.62/6.63	c (0,0) c  rand_rebuild          = 0
16.62/6.63	c (0,0) c  rand_rebuild_confs    = 10000
16.62/6.63	c (0,0) c  inc_var_decay         = 1
16.62/6.63	c (0,0) c  inc_var_decay_period  = 100000
16.62/6.63	c (0,0) c  inc_var_decay_init    = 0.600
16.62/6.63	c (0,0) c  var_decay_mode        = 0
16.62/6.63	c (0,0) c  var_decay_gain        = 0
16.62/6.63	c (0,0) c  sloped_var_decay      = 1
16.62/6.63	c (0,0) c  max_var_decay         = 0.990
16.62/6.63	c (0,0) c  min_var_decay         = 0.950
16.62/6.63	c (0,0) c  min_var_decay_vars    = 10000
16.62/6.63	c (0,0) c  max_var_decay_vars    = 500
16.62/6.63	c (0,0) c  uip_bumping           = 1
16.62/6.63	c (0,0) c  lbd_act_bumping       = 1
16.62/6.63	c (0,0) c  rand_tiebreak         = 0
16.62/6.63	c (0,0) c  simp_rebuild          = 1
16.62/6.63	c (0,0) c RESTART
16.62/6.63	c (0,0) c  restart_strategy      = 2
16.62/6.63	c (0,0) c  restart_blocking      = 0
16.62/6.63	c (0,0) c  agility_decay         = 0.99990
16.62/6.63	c (0,0) c  lbd_restart_rate      = 0.800
16.62/6.63	c (0,0) c  dec_restart_rate      = 0.950
16.62/6.63	c (0,0) c  blk_restart_rate      = 0.700
16.62/6.63	c (0,0) c  lbd_queue_size        = 50
16.62/6.63	c (0,0) c  dec_queue_size        = 50
16.62/6.63	c (0,0) c  trl_queue_size        = 5000
16.62/6.63	c (0,0) c  blk_restart_weight    = 1.000
16.62/6.63	c (0,0) c  inc_rst_rate          = 0
16.62/6.63	c (0,0) c  inc_rst_rate_period   = 500000
16.62/6.63	c (0,0) c  inc_lbd_rst_rate_init = 0.600
16.62/6.63	c (0,0) c  inc_dec_rst_rate_init = 0.750
16.62/6.63	c (0,0) c REDUCTION
16.62/6.63	c (0,0) c  closed_lbd            = 0
16.62/6.63	c (0,0) c  closed_lbd_rate       = 0.500
16.62/6.63	c (0,0) c  rm_simulate           = 0
16.62/6.63	c (0,0) c  rdb_eval              = 2
16.62/6.63	c (0,0) c  rdb_call              = 3
16.62/6.63	c (0,0) c  rdb_ub                = 0.500
16.62/6.63	c (0,0) c  core_lbd_cvr          = 0.800
16.62/6.63	c (0,0) c  supp_lbd_cvr          = 0.990
16.62/6.63	c (0,0) c  core_lbd_lb           = 2
16.62/6.63	c (0,0) c  supp_lbd_lb           = 2
16.62/6.63	c (0,0) c  core_lbd_prd          = 7
16.62/6.63	c (0,0) c  supp_lbd_prd          = 1
16.62/6.63	c (0,0) c  othr_lbd_prd          = 0
16.62/6.63	c (0,0) c  inc_lrn_limit         = 1000
16.62/6.63	c (0,0) c  frozen_lbd            = 30
16.62/6.63	c (0,0) c  simp_min_starts       = 100
16.62/6.63	c (0,0) c  rm_low_act_learnts    = 1
16.62/6.63	c (0,0) c  lv0_reduce_db         = 0
16.62/6.63	c (0,0) c  reduce_db_base        = 20000
16.62/6.63	c (0,0) c  reduce_db_inc         = 1000
16.62/6.63	c (0,0) c HARD
16.62/6.63	c (0,0) c  inst_check            = 200000
16.62/6.63	c (0,0) c  small_block           = 1.750
16.62/6.63	c (0,0) c  slow_restart_speed    = 400.000
16.62/6.63	c (0,0) c  slow_restart_strategy = 3
16.62/6.63	c (0,0) c  slow_lbd_restart_rate = 0.700
16.62/6.63	c (0,0) c  slow_dec_restart_rate = 1.000
16.62/6.63	c (0,0) c  slow_lbd_queue_size   = 50
16.62/6.63	c (0,0) c  slow_var_decay        = 0.950
16.62/6.63	c (0,0) c  slow_glue_threshold   = 2
16.62/6.63	c (0,0) c  slow_phase_saving     = 2
16.62/6.63	c (0,0) c  fast_restart_speed    = 125.000
16.62/6.63	c (0,0) c  fast_restart_strategy = 1
16.62/6.63	c (0,0) c  fast_lbd_restart_rate = 0.800
16.62/6.63	c (0,0) c  fast_dec_restart_rate = 0.950
16.62/6.63	c (0,0) c  fast_lbd_queue_size   = 50
16.62/6.63	c (0,0) c  fast_var_decay        = 1.000
16.62/6.63	c (0,0) c  fast_glue_threshold   = 2
16.62/6.63	c (0,0) c  fast_phase_saving     = 2
16.62/6.63	c (0,0) c STATS
16.62/6.63	c (0,0) c  stats_conf_size       = 10000
16.62/6.63	c (0,0) c  max_stats_size        = 30
16.62/6.63	c (0,0) c SOLVER
16.62/6.63	c (0,0) c  minisat               = 0
16.62/6.63	c (0,0) c Problem: 3731 variables, 29596 clauses, parsing 0.01 s
16.62/6.65	c (0,0) c  reduced to 3442 variables, 28915 clauses (grow = 0)
16.62/6.65	c (0,0) c  exclude 16 (0.5%) variables from decision variables (last cost 25)
16.62/6.66	c (0,0) c Simplification: 305 vars, 681 clauses are eliminated using 0.02 s
16.62/6.66	c (0,0) c
16.62/6.66	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
16.62/6.66	c (0,0) c
16.62/6.66	c (0,0) c    0         0         0     3426    28915        0   -nan  -nan  -nan -nan%
16.62/6.66	c (0,0) c    0         1       100     3426    28915      127    7.4   3.4  34.6 29.6%
16.62/6.67	c (0,0) c    0         1       220     3426    28915      361    6.0   3.2  33.9 27.1%
16.62/6.68	c (0,0) c    0         2       364     3426    28915      582    6.8   3.3  30.8 25.6%
16.62/6.69	c (0,0) c    0         3       536     3426    28915      805    8.0   3.4  27.8 26.4%
16.79/6.70	c (0,0) c    0         5       743     3427    28915     1139    7.9   3.5  26.8 27.3%
16.79/6.72	c (0,0) c    0         6       991     3427    28915     1510    7.9   3.6  26.4 27.7%
16.79/6.73	c (0,0) c    0         6      1289     3427    28915     1941    8.2   3.6  26.8 27.8%
16.79/6.75	c (0,0) c    0         7      1647     3428    28915     2396    8.7   3.6  25.5 27.3%
16.79/6.78	c (0,0) c    0         8      2076     3428    28915     2974    9.3   3.6  24.4 27.8%
16.79/6.81	c (0,0) c    0        10      2591     3428    28915     3583   10.1   3.7  24.4 28.3%
16.79/6.85	c (0,0) c    0        14      3210     3428    28915     4369   10.3   3.7  24.9 28.2%
16.79/6.90	c (0,0) c    0        19      3953     3429    28915     5263   10.8   3.8  24.7 28.6%
16.79/6.95	c (0,0) c    0        24      4844     3429    28915     6293   10.9   3.9  24.2 28.8%
17.17/7.02	c (0,0) c    0        29      5913     3429    28915     7507   11.3   4.0  24.0 28.2%
17.17/7.10	c (0,0) c    0        34      7196     3430    28915     8924   11.5   4.0  24.1 28.2%
17.36/7.21	c (0,0) c
17.36/7.21	c (0,0) c   variables         : 3431        (init 3731, after simp 3426, 11 non-decs, 110 csp)
17.36/7.21	c (0,0) c   clauses           : 28915       (init 29596, after simp 28915)
17.36/7.21	c (0,0) c   restarts          : 43          (198.55 confs/res, 50~758 confs, 0 blks, 0 last)
17.36/7.21	c (0,0) c   conflicts         : 8736        (15508 /sec, 66.80% dconfs, 0.00% supp, trail 48.17w x 23.83h, jmp 2.74h)
17.36/7.21	c (0,0) c   decisions         : 24949       (0.6300 vdcy, 44290 /sec, 0.00% bin, rs 0.000 s)
17.36/7.21	c (0,0) c   propagations      : 2767867     (4913621 /sec, 110.94 lits/dec, 31.66% o.a.)
17.36/7.21	c (0,0) c   conflict literals : 139353      (11.01% deleted; 1.32% by bin min, 0.003 s)
17.36/7.21	c (0,0) c   len               : 11.903      (13.99 for all, max 81, used 76)
17.36/7.22	c (0,0) c   lbd               : 4.073       (5.48 (4.51) for all, max 26, used 25, 1.195 stdev, 2.553 blk)
17.36/7.22	c (0,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
17.36/7.22	c (0,0) c   simp dbs          : 1           (0.000 s)
17.36/7.22	c (0,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
17.36/7.22	c (0,0) c   learnts           : 10574       (0 learnts removed, 0.00%)
17.36/7.22	c (0,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
17.36/7.22	c (0,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
17.36/7.22	c (0,0) c   premise updates   : 93324       (13.62 /lit)
17.36/7.22	c (0,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
17.36/7.22	c (0,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
17.36/7.22	c (0,0) c   lazy added bins   : 1838        (1838 prop + 0 conf, 0.007s)
17.36/7.22	c (0,0) c   unwatched lit elim: 431         (0.06+0.26%, 62+369 of 110841+139353)
17.36/7.22	c (0,0) c   classified type   : undef
17.36/7.22	c (0,0) c   progress          : 0.262 %
17.36/7.22	c (0,0) c
17.36/7.22	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
17.36/7.22	c (0,0) c
17.36/7.22	c (0,0) c    0        44      8736     3431    28915    10574   11.9   4.1  23.8 28.3%
17.48/7.37	c (1,0) c    0        57     10584     3433    28915    12577   12.1   4.2  23.2 28.3%
17.68/7.55	c (1,0) c    0        78     12802     3433    28915    14932   12.7   4.3  22.8 28.0%
17.88/7.79	c (1,0) c    1       104     15464     3434    28915    17686   13.2   4.5  22.2 27.3%
18.29/8.11	c (1,0) c    1       134     18658     3435    28915    20974   13.7   4.6  21.3 27.0%
18.38/8.25	c (2,0) c    1 r     148     20001     3435    28915    22350   14.0   4.7  21.1 26.8%
18.38/8.25	c (2,0) c
18.38/8.25	c (2,0) c R [LBD Statistics #1]
18.38/8.25	c (2,0) c R LBD         used lbd               used clause lbd
18.38/8.25	c (2,0) c R  tot      570877                   22350
18.38/8.25	c (2,0) c R  avg       2.200                   4.722
18.38/8.25	c (2,0) c R   1        38943 ( 6.8/ 6.8%)        555 ( 2.5/ 2.5%)
18.38/8.25	c (2,0) c R   2       455620 (79.8/86.6%)       8716 (39.0/41.5%)
18.38/8.25	c (2,0) c R
18.38/8.25	c (2,0) c R core_lbd_threshold = 2
18.38/8.25	c (2,0) c R supp_lbd_threshold = 7
18.38/8.25	c (2,0) c R
18.38/8.25	c (2,0) c R [RDB Statistics #1]
18.38/8.25	c (2,0) c R kept: lbd      =    9066 (40.6/40.6%)
18.38/8.25	c (2,0) c R kept: ttl      =   13076 (58.5/99.1%)
18.38/8.25	c (2,0) c R kept: locked   =     208 ( 0.9/100.0%)
18.38/8.25	c (2,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
18.38/8.25	c (2,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
18.38/8.25	c (2,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
18.38/8.25	c (2,0) c
18.38/8.25	c (2,0) c    1 R     148     20001     3435    28915    22350   14.0   4.7  21.1 26.8%
18.68/8.52	c (2,0) c    1       173     22491     3435    28915    24907   14.4   4.8  20.5 26.5%
18.98/8.87	c (2,0) c    2 r     205     25502     3435    28915    27991   14.8   5.0  20.4 26.5%
18.98/8.87	c (2,0) c
18.98/8.87	c (2,0) c R [LBD Statistics #2]
18.98/8.87	c (2,0) c R LBD         used lbd               used clause lbd
18.98/8.87	c (2,0) c R  tot      886931                   27991
18.98/8.87	c (2,0) c R  avg       2.166                   4.968
18.98/8.87	c (2,0) c R   1        62599 ( 7.1/ 7.1%)        695 ( 2.5/ 2.5%)
18.98/8.87	c (2,0) c R   2       721814 (81.4/88.4%)      10134 (36.2/38.7%)
18.98/8.87	c (2,0) c R
18.98/8.87	c (2,0) c R core_lbd_threshold = 2
18.98/8.87	c (2,0) c R supp_lbd_threshold = 6
18.98/8.87	c (2,0) c R
18.98/8.87	c (2,0) c R [RDB Statistics #2]
18.98/8.87	c (2,0) c R kept: lbd      =   10771 (38.5/38.5%)
18.98/8.87	c (2,0) c R kept: ttl      =    4539 (16.2/54.7%)
18.98/8.87	c (2,0) c R kept: locked   =      61 ( 0.2/54.9%)
18.98/8.87	c (2,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
18.98/8.87	c (2,0) c R lost: ttl      =   12620 (45.1/45.1%)
18.98/8.87	c (2,0) c R lost: subsumed =       0 ( 0.0/45.1%)
18.98/8.87	c (2,0) c
18.98/8.87	c (2,0) c    2 R     205     25502     3435    28915    15371    7.4   2.6  20.4 26.5%
19.19/9.02	c (2,0) c    2       218     27091     3435    28915    16979    8.5   3.0  20.4 26.4%
19.58/9.50	c (3,0) c    2 r     255     31500     3435    28915    21450   10.8   3.6  19.4 26.2%
19.68/9.50	c (3,0) c
19.68/9.50	c (3,0) c R [LBD Statistics #3]
19.68/9.50	c (3,0) c R LBD         used lbd               used clause lbd
19.68/9.50	c (3,0) c R  tot     1294019                   21450
19.68/9.50	c (3,0) c R  avg       2.139                   3.638
19.68/9.50	c (3,0) c R   1        94252 ( 7.3/ 7.3%)        840 ( 3.9/ 3.9%)
19.68/9.50	c (3,0) c R   2      1064759 (82.3/89.6%)      11423 (53.3/57.2%)
19.68/9.50	c (3,0) c R
19.68/9.50	c (3,0) c R core_lbd_threshold = 2
19.68/9.50	c (3,0) c R supp_lbd_threshold = 6
19.68/9.50	c (3,0) c R
19.68/9.50	c (3,0) c R [RDB Statistics #3]
19.68/9.50	c (3,0) c R kept: lbd      =   12090 (56.4/56.4%)
19.68/9.50	c (3,0) c R kept: ttl      =    3996 (18.6/75.0%)
19.68/9.50	c (3,0) c R kept: locked   =     182 ( 0.8/75.8%)
19.68/9.50	c (3,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
19.68/9.50	c (3,0) c R lost: ttl      =    5182 (24.2/24.2%)
19.68/9.50	c (3,0) c R lost: subsumed =       0 ( 0.0/24.2%)
19.68/9.50	c (3,0) c
19.68/9.50	c (3,0) c    2 R     255     31500     3435    28915    16268    7.0   2.4  19.4 26.2%
19.79/9.62	c (3,0) c    2       267     32611     3435    28915    17396    7.9   2.7  18.9 26.4%
20.39/10.23	c (3,0) c    3 r     306     38000     3435    28915    22831   10.8   3.5  17.0 27.1%
20.39/10.23	c (3,0) c
20.39/10.23	c (3,0) c R [LBD Statistics #4]
20.39/10.23	c (3,0) c R LBD         used lbd               used clause lbd
20.39/10.23	c (3,0) c R  tot     1780772                   22831
20.39/10.23	c (3,0) c R  avg       2.118                   3.530
20.39/10.23	c (3,0) c R   1       135074 ( 7.6/ 7.6%)        980 ( 4.3/ 4.3%)
20.39/10.23	c (3,0) c R   2      1474631 (82.8/90.4%)      12751 (55.8/60.1%)
20.39/10.23	c (3,0) c R
20.39/10.23	c (3,0) c R core_lbd_threshold = 2
20.39/10.23	c (3,0) c R supp_lbd_threshold = 6
20.39/10.23	c (3,0) c R
20.39/10.23	c (3,0) c R [RDB Statistics #4]
20.39/10.23	c (3,0) c R kept: lbd      =   13535 (59.3/59.3%)
20.39/10.23	c (3,0) c R kept: ttl      =    4284 (18.8/78.0%)
20.39/10.23	c (3,0) c R kept: locked   =     206 ( 0.9/78.9%)
20.39/10.23	c (3,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
20.39/10.23	c (3,0) c R lost: ttl      =    4806 (21.1/21.1%)
20.39/10.23	c (3,0) c R lost: subsumed =       0 ( 0.0/21.1%)
20.39/10.23	c (3,0) c
20.39/10.23	c (3,0) c    3 R     306     38000     3435    28915    18025    7.3   2.4  17.0 27.1%
20.49/10.37	c (4,0) c
20.49/10.37	c (4,0) c   variables         : 3435        (init 3731, after simp 3426, 7 non-decs, 110 csp)
20.49/10.37	c (4,0) c   clauses           : 28915       (init 29596, after simp 28915)
20.49/10.37	c (4,0) c   restarts          : 311         (125.75 confs/res, 50~758 confs, 0 blks, 0 last)
20.49/10.37	c (4,0) c   conflicts         : 39235       (10788 /sec, 58.58% dconfs, 0.00% supp, trail 58.41w x 20.21h, jmp 2.12h)
20.49/10.37	c (4,0) c   decisions         : 89501       (0.7400 vdcy, 24609 /sec, 0.00% bin, rs 0.001 s)
20.49/10.37	c (4,0) c   propagations      : 13219306    (3634752 /sec, 147.70 lits/dec, 31.86% o.a.)
20.49/10.37	c (4,0) c   conflict literals : 901405      (22.27% deleted; 1.74% by bin min, 0.010 s)
20.49/10.37	c (4,0) c   len               : 8.134       (17.46 for all, max 94, used 94)
20.49/10.37	c (4,0) c   lbd               : 2.665       (6.87 (5.60) for all, max 37, used 31, 0.882 stdev, 2.542 blk)
20.49/10.37	c (4,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
20.49/10.37	c (4,0) c   simp dbs          : 2           (0.005 s)
20.49/10.37	c (4,0) c   reduce dbs        : 4           (core-lbd 2, supp-lbd 6, 0.012 s)
20.49/10.37	c (4,0) c   learnts           : 19269       (22608 learnts removed, 57.62%)
20.49/10.37	c (4,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
20.49/10.37	c (4,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
20.49/10.37	c (4,0) c   premise updates   : 586773      (85.64 /lit)
20.49/10.37	c (4,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
20.49/10.37	c (4,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
20.49/10.37	c (4,0) c   lazy added bins   : 2642        (2642 prop + 0 conf, 0.019s)
20.49/10.37	c (4,0) c   unwatched lit elim: 4038        (0.10+0.44%, 111+3927 of 110841+901405)
20.49/10.37	c (4,0) c   classified type   : undef
20.49/10.37	c (4,0) c   progress          : 0.262 %
20.49/10.37	c (4,0) c
20.49/10.37	c (4,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
20.49/10.37	c (4,0) c
20.49/10.37	c (4,0) c    3       312     39235     3435    28915    19269    8.1   2.7  16.4 27.1%
21.20/11.03	c (4,0) c    4 r     350     45000     3435    28915    25092   10.6   3.5  15.8 26.2%
21.20/11.04	c (4,0) c
21.20/11.04	c (4,0) c R [LBD Statistics #5]
21.20/11.04	c (4,0) c R LBD         used lbd               used clause lbd
21.20/11.04	c (4,0) c R  tot     2337070                   25092
21.20/11.04	c (4,0) c R  avg       2.099                   3.510
21.20/11.04	c (4,0) c R   1       182325 ( 7.8/ 7.8%)       1123 ( 4.5/ 4.5%)
21.20/11.04	c (4,0) c R   2      1947848 (83.3/91.1%)      14099 (56.2/60.7%)
21.20/11.04	c (4,0) c R
21.20/11.04	c (4,0) c R core_lbd_threshold = 2
21.20/11.04	c (4,0) c R supp_lbd_threshold = 6
21.20/11.04	c (4,0) c R
21.20/11.04	c (4,0) c R [RDB Statistics #5]
21.20/11.04	c (4,0) c R kept: lbd      =   15042 (59.9/59.9%)
21.20/11.04	c (4,0) c R kept: ttl      =    4487 (17.9/77.8%)
21.20/11.04	c (4,0) c R kept: locked   =     186 ( 0.7/78.6%)
21.20/11.04	c (4,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
21.20/11.04	c (4,0) c R lost: ttl      =    5377 (21.4/21.4%)
21.20/11.04	c (4,0) c R lost: subsumed =       0 ( 0.0/21.4%)
21.20/11.04	c (4,0) c
21.20/11.04	c (4,0) c    4 R     350     45000     3435    28915    19715    7.3   2.4  15.8 26.2%
21.40/11.29	c (5,0) c    4       363     47184     3435    28915    21910    8.6   2.8  15.3 26.3%
22.10/11.94	c (5,0) c    5 r     387     52501     3435    28915    27254   10.5   3.4  15.0 26.5%
22.10/11.94	c (5,0) c
22.10/11.94	c (5,0) c R [LBD Statistics #6]
22.10/11.94	c (5,0) c R LBD         used lbd               used clause lbd
22.10/11.94	c (5,0) c R  tot     2984950                   27254
22.10/11.95	c (5,0) c R  avg       2.086                   3.447
22.10/11.95	c (5,0) c R   1       235507 ( 7.9/ 7.9%)       1233 ( 4.5/ 4.5%)
22.10/11.95	c (5,0) c R   2      2503036 (83.9/91.7%)      15330 (56.2/60.8%)
22.10/11.95	c (5,0) c R
22.10/11.95	c (5,0) c R core_lbd_threshold = 2
22.10/11.95	c (5,0) c R supp_lbd_threshold = 5
22.10/11.95	c (5,0) c R
22.10/11.95	c (5,0) c R [RDB Statistics #6]
22.10/11.95	c (5,0) c R kept: lbd      =   16468 (60.4/60.4%)
22.10/11.95	c (5,0) c R kept: ttl      =    4771 (17.5/77.9%)
22.10/11.95	c (5,0) c R kept: locked   =     100 ( 0.4/78.3%)
22.10/11.95	c (5,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
22.10/11.95	c (5,0) c R lost: ttl      =    5915 (21.7/21.7%)
22.10/11.95	c (5,0) c R lost: subsumed =       0 ( 0.0/21.7%)
22.10/11.95	c (5,0) c
22.10/11.95	c (5,0) c    5 R     387     52501     3435    28915    21339    7.4   2.4  15.0 26.5%
22.61/12.45	c (6,0) c    5       408     56723     3435    28915    25580    9.6   3.0  14.6 26.5%
23.11/12.92	c (6,0) c    6 r     425     60501     3435    28915    29379   10.8   3.4  14.2 26.3%
23.11/12.93	c (6,0) c
23.11/12.93	c (6,0) c R [LBD Statistics #7]
23.11/12.93	c (6,0) c R LBD         used lbd               used clause lbd
23.11/12.93	c (6,0) c R  tot     3712161                   29379
23.11/12.93	c (6,0) c R  avg       2.074                   3.407
23.11/12.93	c (6,0) c R   1       295912 ( 8.0/ 8.0%)       1373 ( 4.7/ 4.7%)
23.11/12.93	c (6,0) c R   2      3128095 (84.3/92.2%)      16549 (56.3/61.0%)
23.11/12.93	c (6,0) c R
23.11/12.93	c (6,0) c R core_lbd_threshold = 2
23.11/12.93	c (6,0) c R supp_lbd_threshold = 5
23.11/12.93	c (6,0) c R
23.11/12.93	c (6,0) c R [RDB Statistics #7]
23.11/12.93	c (6,0) c R kept: lbd      =   17704 (60.3/60.3%)
23.11/12.93	c (6,0) c R kept: ttl      =    4076 (13.9/74.1%)
23.11/12.93	c (6,0) c R kept: locked   =     230 ( 0.8/74.9%)
23.11/12.93	c (6,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
23.11/12.93	c (6,0) c R lost: ttl      =    7369 (25.1/25.1%)
23.11/12.93	c (6,0) c R lost: subsumed =       0 ( 0.0/25.1%)
23.11/12.93	c (6,0) c
23.11/12.93	c (6,0) c    6 R     425     60501     3435    28915    22010    7.1   2.2  14.2 26.3%
24.10/13.92	c (7,0) c    7       457     68170     3433    28903    29264   10.2   3.2  13.0 27.1%
24.22/14.04	c (7,0) c    7 r     460     69000     3433    28903    30099   10.5   3.2  12.9 27.1%
24.22/14.04	c (7,0) c
24.22/14.04	c (7,0) c R [LBD Statistics #8]
24.22/14.04	c (7,0) c R LBD         used lbd               used clause lbd
24.22/14.04	c (7,0) c R  tot     4525691                   30099
24.22/14.04	c (7,0) c R  avg       2.061                   3.238
24.22/14.04	c (7,0) c R   1       365852 ( 8.1/ 8.1%)       1481 ( 4.9/ 4.9%)
24.22/14.04	c (7,0) c R   2      3828654 (84.6/92.7%)      17807 (59.2/64.1%)
24.22/14.04	c (7,0) c R
24.22/14.04	c (7,0) c R core_lbd_threshold = 2
24.22/14.04	c (7,0) c R supp_lbd_threshold = 5
24.22/14.04	c (7,0) c R
24.22/14.04	c (7,0) c R [RDB Statistics #8]
24.22/14.04	c (7,0) c R kept: lbd      =   18701 (62.1/62.1%)
24.22/14.04	c (7,0) c R kept: ttl      =    4106 (13.6/75.8%)
24.22/14.04	c (7,0) c R kept: locked   =     181 ( 0.6/76.4%)
24.22/14.04	c (7,0) c R lost: lbd      =     416 ( 1.4/ 1.4%)
24.22/14.04	c (7,0) c R lost: ttl      =    6695 (22.2/23.6%)
24.22/14.04	c (7,0) c R lost: subsumed =       0 ( 0.0/23.6%)
24.22/14.04	c (7,0) c
24.22/14.04	c (7,0) c    7 R     460     69000     3433    28903    22988    7.2   2.2  12.9 27.1%
25.42/15.26	c (9,0) c    8 r     486     78000     3433    28903    32021   10.2   3.2  11.6 27.0%
25.42/15.26	c (9,0) c
25.42/15.26	c (9,0) c R [LBD Statistics #9]
25.42/15.26	c (9,0) c R LBD         used lbd               used clause lbd
25.42/15.26	c (9,0) c R  tot     5448583                   32021
25.42/15.26	c (9,0) c R  avg       2.051                   3.225
25.42/15.26	c (9,0) c R   1       446577 ( 8.2/ 8.2%)       1592 ( 5.0/ 5.0%)
25.42/15.26	c (9,0) c R   2      4624574 (84.9/93.1%)      18741 (58.5/63.5%)
25.42/15.26	c (9,0) c R
25.42/15.26	c (9,0) c R core_lbd_threshold = 2
25.42/15.26	c (9,0) c R supp_lbd_threshold = 5
25.42/15.26	c (9,0) c R
25.42/15.26	c (9,0) c R [RDB Statistics #9]
25.42/15.26	c (9,0) c R kept: lbd      =   20053 (62.6/62.6%)
25.42/15.26	c (9,0) c R kept: ttl      =    4390 (13.7/76.3%)
25.42/15.26	c (9,0) c R kept: locked   =     233 ( 0.7/77.1%)
25.42/15.26	c (9,0) c R lost: lbd      =      63 ( 0.2/ 0.2%)
25.42/15.26	c (9,0) c R lost: ttl      =    7282 (22.7/22.9%)
25.42/15.26	c (9,0) c R lost: subsumed =       0 ( 0.0/22.9%)
25.42/15.26	c (9,0) c
25.42/15.26	c (9,0) c    8 R     486     78000     3433    28903    24676    7.3   2.2  11.6 27.0%
25.93/15.79	c (9,0) c    9       501     81907     3432    28903    28593    8.8   2.7  11.1 26.6%
26.73/16.58	c (10,0) c    9 p     519     87333     3430    28903    34035   10.1   3.2  11.3 26.2%
26.83/16.60	c (10,0) c
26.83/16.60	c (10,0) c   variables         : 3430        (init 3731, after simp 3426, 7 non-decs, 110 csp)
26.83/16.60	c (10,0) c   clauses           : 28903       (init 29596, after simp 28915)
26.83/16.60	c (10,0) c   restarts          : 518         (168.60 confs/res, 50~1500 confs, 0 blks, 0 last)
26.83/16.60	c (10,0) c   conflicts         : 87501       (8970 /sec, 54.27% dconfs, 0.00% supp, trail 74.99w x 16.30h, jmp 1.73h)
26.83/16.60	c (10,0) c   decisions         : 161237      (0.9300 vdcy, 16529 /sec, 0.00% bin, rs 0.001 s)
26.83/16.60	c (10,0) c   propagations      : 31726944    (3252420 /sec, 196.77 lits/dec, 31.38% o.a.)
26.83/16.60	c (10,0) c   conflict literals : 2430650     (32.27% deleted; 2.30% by bin min, 0.017 s)
26.83/16.60	c (10,0) c   len               : 10.164      (18.17 for all, max 94, used 94)
26.83/16.60	c (10,0) c   lbd               : 3.231       (7.17 (5.83) for all, max 44, used 44, 0.719 stdev, 2.536 blk)
26.83/16.60	c (10,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
26.83/16.60	c (10,0) c   simp dbs          : 3           (0.011 s)
26.83/16.60	c (10,0) c   reduce dbs        : 9           (core-lbd 2, supp-lbd 5, 0.035 s)
26.83/16.60	c (10,0) c   learnts           : 34205       (55725 learnts removed, 63.68%)
26.83/16.60	c (10,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
26.83/16.60	c (10,0) c   assigned lits     : 1           (1/1 probed, 0 remains)
26.83/16.60	c (10,0) c   premise updates   : 1451108     (211.78 /lit)
26.83/16.60	c (10,0) c   probed variables  : 1           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 1 cla, 0 amo)
26.83/16.60	c (10,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
26.83/16.60	c (10,0) c   lazy added bins   : 2895        (2895 prop + 0 conf, 0.031s)
26.83/16.60	c (10,0) c   unwatched lit elim: 11222       (0.14+0.46%, 159+11063 of 110841+2430650)
26.83/16.60	c (10,0) c   classified type   : undef
26.83/16.60	c (10,0) c   progress          : 0.407 %
26.83/16.60	c (10,0) c
26.83/16.60	c (10,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
26.83/16.60	c (10,0) c
26.83/16.60	c (10,0) c    9 r     519     87501     3430    28903    34205   10.2   3.2  11.2 26.1%
26.83/16.61	c (10,0) c
26.83/16.61	c (10,0) c R [LBD Statistics #10]
26.83/16.61	c (10,0) c R LBD         used lbd               used clause lbd
26.83/16.61	c (10,0) c R  tot     6457907                   34205
26.83/16.61	c (10,0) c R  avg       2.043                   3.231
26.83/16.61	c (10,0) c R   1       533423 ( 8.3/ 8.3%)       1690 ( 4.9/ 4.9%)
26.83/16.61	c (10,0) c R   2      5497842 (85.1/93.4%)      19984 (58.4/63.4%)
26.83/16.61	c (10,0) c R
26.83/16.61	c (10,0) c R core_lbd_threshold = 2
26.83/16.61	c (10,0) c R supp_lbd_threshold = 5
26.83/16.61	c (10,0) c R
26.83/16.61	c (10,0) c R [RDB Statistics #10]
26.83/16.61	c (10,0) c R kept: lbd      =   21491 (62.8/62.8%)
26.83/16.61	c (10,0) c R kept: ttl      =    4591 (13.4/76.3%)
26.83/16.61	c (10,0) c R kept: locked   =     108 ( 0.3/76.6%)
26.83/16.61	c (10,0) c R lost: lbd      =      80 ( 0.2/ 0.2%)
26.83/16.61	c (10,0) c R lost: ttl      =    7935 (23.2/23.4%)
26.83/16.61	c (10,0) c R lost: subsumed =       0 ( 0.0/23.4%)
26.83/16.61	c (10,0) c
26.83/16.61	c (10,0) c    9 R     519     87501     3430    28903    26190    7.4   2.2  11.2 26.1%
27.13/16.94	c (10,0) c   10 p     524     89826     3419    28903    28526    8.1   2.5  10.6 25.5%
27.24/17.07	c (10,0) c   10       525     90768     2727    28903    29461    8.3   2.5  10.3 25.3%
27.24/17.07	c (10,0) c
27.24/17.07	c (10,0) c
27.24/17.07	c (10,0) c variables         : 2727        (init 3731, after simp 3426, 7 non-decs, 110 csp)
27.24/17.07	c (10,0) c clauses           : 28903       (init 29596, after simp 28915)
27.24/17.07	c (10,0) c restarts          : 524         (172.89 confs/res, 50~1500 confs, 0 blks, 0 last)
27.24/17.07	c (10,0) c conflicts         : 90768       (8885 /sec, 54.09% dconfs, 0.00% supp, trail 76.43w x 16.04h, jmp 1.71h)
27.24/17.07	c (10,0) c decisions         : 165173      (0.9400 vdcy, 16168 /sec, 0.00% bin, rs 0.001 s)
27.24/17.07	c (10,0) c propagations      : 33017257    (3231915 /sec, 199.89 lits/dec, 31.33% o.a.)
27.24/17.07	c (10,0) c conflict literals : 2527232     (32.83% deleted; 2.31% by bin min, 0.017 s)
27.24/17.07	c (10,0) c len               : 8.278       (18.06 for all, max 94, used 94)
27.24/17.07	c (10,0) c lbd               : 2.530       (7.14 (5.80) for all, max 44, used 44, 0.710 stdev, 2.529 blk)
27.24/17.07	c (10,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
27.24/17.07	c (10,0) c simp dbs          : 3           (0.011 s)
27.24/17.07	c (10,0) c reduce dbs        : 10          (core-lbd 2, supp-lbd 5, 0.041 s)
27.24/17.07	c (10,0) c learnts           : 29461       (63740 learnts removed, 70.22%)
27.24/17.07	c (10,0) c rewrite dbs       : 0           (0/1 vars, 0+0 taut, 0+0 unit, 0.000 s)
27.24/17.07	c (10,0) c assigned lits     : 2           (3/5 probed, 2 remains)
27.24/17.07	c (10,0) c premise updates   : 1609916     (234.96 /lit)
27.24/17.07	c (10,0) c probed variables  : 5           (0 pr, 1 eq, 0 fld, 0 pol, 0 nec, 4 cla, 0 amo)
27.24/17.07	c (10,0) c equiv variables   : 1           (1 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
27.24/17.07	c (10,0) c lazy added bins   : 2909        (2909 prop + 0 conf, 0.031s)
27.24/17.07	c (10,0) c unwatched lit elim: 12248       (0.18+0.48%, 196+12052 of 110841+2527232)
27.24/17.07	c (10,0) c classified type   : undef
27.24/17.07	c (10,0) c progress          : 20.819%
27.24/17.07	c (10,0) c
27.24/17.07	c (10,0) c [Statistics]
27.24/17.07	c (10,0) c             learnts len        learnts lbd        lit blk size       eq vars size
27.24/17.07	c (10,0) c  tot       90767              90767             648014                  1
27.24/17.07	c (10,0) c  avg      18.059              5.800              2.529              2.000
27.24/17.07	c (10,0) c   1           13 ( 0.0%)       1743 ( 1.9%)     424415 (65.5%)          0 ( 0.0%)
27.24/17.07	c (10,0) c   2          796 ( 0.9%)      18206 (20.1%)      74312 (11.5%)          1 (100.0%)
27.24/17.07	c (10,0) c   3         4557 ( 5.0%)       7961 ( 8.8%)      37967 ( 5.9%)          0 ( 0.0%)
27.24/17.07	c (10,0) c   4         2651 ( 2.9%)       9392 (10.3%)      24285 ( 3.7%)          0 ( 0.0%)
27.24/17.07	c (10,0) c   5         3193 ( 3.5%)      10349 (11.4%)      17029 ( 2.6%)          0 ( 0.0%)
27.24/17.07	c (10,0) c   6         3618 ( 4.0%)      10145 (11.2%)      12970 ( 2.0%)          0 ( 0.0%)
27.24/17.07	c (10,0) c   7         3618 ( 4.0%)       8949 ( 9.9%)      10042 ( 1.5%)          0 ( 0.0%)
27.24/17.07	c (10,0) c   8         3647 ( 4.0%)       6917 ( 7.6%)       8073 ( 1.2%)          0 ( 0.0%)
27.24/17.07	c (10,0) c   9         3769 ( 4.2%)       5105 ( 5.6%)       6436 ( 1.0%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  10         3812 ( 4.2%)       3456 ( 3.8%)       5282 ( 0.8%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  11         3713 ( 4.1%)       2458 ( 2.7%)       4192 ( 0.6%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  12         3378 ( 3.7%)       1762 ( 1.9%)       3505 ( 0.5%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  13         3250 ( 3.6%)       1277 ( 1.4%)       3059 ( 0.5%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  14         3090 ( 3.4%)        900 ( 1.0%)       2505 ( 0.4%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  15         2956 ( 3.3%)        569 ( 0.6%)       2162 ( 0.3%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  16         2784 ( 3.1%)        460 ( 0.5%)       1918 ( 0.3%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  17         2698 ( 3.0%)        290 ( 0.3%)       1500 ( 0.2%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  18         2621 ( 2.9%)        199 ( 0.2%)       1331 ( 0.2%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  19         2437 ( 2.7%)        162 ( 0.2%)       1073 ( 0.2%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  20         2341 ( 2.6%)        115 ( 0.1%)        900 ( 0.1%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  21         2126 ( 2.3%)         79 ( 0.1%)        780 ( 0.1%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  22         2149 ( 2.4%)         65 ( 0.1%)        693 ( 0.1%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  23         2028 ( 2.2%)         57 ( 0.1%)        562 ( 0.1%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  24         1892 ( 2.1%)         31 ( 0.0%)        472 ( 0.1%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  25         1757 ( 1.9%)         34 ( 0.0%)        406 ( 0.1%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  26         1649 ( 1.8%)         14 ( 0.0%)        374 ( 0.1%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  27         1644 ( 1.8%)          6 ( 0.0%)        290 ( 0.0%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  28         1551 ( 1.7%)         16 ( 0.0%)        227 ( 0.0%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  29         1453 ( 1.6%)         11 ( 0.0%)        201 ( 0.0%)          0 ( 0.0%)
27.24/17.07	c (10,0) c  30        15576 (17.2%)         39 ( 0.0%)       1053 ( 0.2%)          0 ( 0.0%)
27.24/17.07	c (10,0) c
27.24/17.07	c (10,0) c [LBD Statistics]
27.24/17.07	c (10,0) c LBD          used lbd               used clause lbd         unused clause lbd
27.24/17.07	c (10,0) c  tot      6814747                   49040                   44623
27.24/17.07	c (10,0) c  avg        2.040                   4.206                   7.306
27.24/17.07	c (10,0) c    1       564175 ( 8.3/ 8.3%)       1730 ( 3.5/ 3.5%)          0 ( 0.0/ 0.0%)
27.24/17.07	c (10,0) c    2      5807026 (85.2/93.5%)      20073 (40.9/44.5%)       1042 ( 2.3/ 2.3%)
27.24/17.07	c (10,0) c    3       261632 ( 3.8/97.3%)       5261 (10.7/55.2%)       2700 ( 6.1/ 8.4%)
27.24/17.07	c (10,0) c    4        96082 ( 1.4/98.7%)       4941 (10.1/65.3%)       4451 (10.0/18.4%)
27.24/17.07	c (10,0) c    5        42979 ( 0.6/99.4%)       4144 ( 8.5/73.7%)       6205 (13.9/32.3%)
27.24/17.07	c (10,0) c    6        16526 ( 0.2/99.6%)       3533 ( 7.2/80.9%)       6612 (14.8/47.1%)
27.24/17.07	c (10,0) c    7         8615 ( 0.1/99.7%)       2851 ( 5.8/86.7%)       6098 (13.7/60.7%)
27.24/17.07	c (10,0) c    8         5491 ( 0.1/99.8%)       2018 ( 4.1/90.8%)       4899 (11.0/71.7%)
27.24/17.07	c (10,0) c    9         3752 ( 0.1/99.9%)       1426 ( 2.9/93.8%)       3679 ( 8.2/80.0%)
27.24/17.07	c (10,0) c   10         2617 ( 0.0/99.9%)        914 ( 1.9/95.6%)       2542 ( 5.7/85.7%)
27.24/17.07	c (10,0) c   11         1736 ( 0.0/99.9%)        635 ( 1.3/96.9%)       1823 ( 4.1/89.8%)
27.24/17.07	c (10,0) c   12         1226 ( 0.0/100.0%)        467 ( 1.0/97.9%)       1295 ( 2.9/92.7%)
27.24/17.07	c (10,0) c   13          885 ( 0.0/100.0%)        308 ( 0.6/98.5%)        969 ( 2.2/94.8%)
27.24/17.07	c (10,0) c   14          573 ( 0.0/100.0%)        229 ( 0.5/99.0%)        671 ( 1.5/96.3%)
27.24/17.07	c (10,0) c   15          413 ( 0.0/100.0%)        136 ( 0.3/99.2%)        433 ( 1.0/97.3%)
27.24/17.07	c (10,0) c   16          302 ( 0.0/100.0%)        112 ( 0.2/99.5%)        348 ( 0.8/98.1%)
27.24/17.07	c (10,0) c   17          225 ( 0.0/100.0%)         73 ( 0.1/99.6%)        217 ( 0.5/98.6%)
27.24/17.07	c (10,0) c   18           99 ( 0.0/100.0%)         48 ( 0.1/99.7%)        151 ( 0.3/98.9%)
27.24/17.07	c (10,0) c   19           96 ( 0.0/100.0%)         41 ( 0.1/99.8%)        121 ( 0.3/99.2%)
27.24/17.07	c (10,0) c   20          103 ( 0.0/100.0%)         32 ( 0.1/99.9%)         83 ( 0.2/99.4%)
27.24/17.07	c (10,0) c   21           42 ( 0.0/100.0%)         13 ( 0.0/99.9%)         66 ( 0.1/99.5%)
27.24/17.07	c (10,0) c   22           28 ( 0.0/100.0%)         15 ( 0.0/99.9%)         50 ( 0.1/99.6%)
27.24/17.07	c (10,0) c   23           33 ( 0.0/100.0%)          9 ( 0.0/99.9%)         48 ( 0.1/99.7%)
27.24/17.07	c (10,0) c   24           27 ( 0.0/100.0%)          5 ( 0.0/99.9%)         26 ( 0.1/99.8%)
27.24/17.07	c (10,0) c   25           14 ( 0.0/100.0%)          8 ( 0.0/100.0%)         26 ( 0.1/99.8%)
27.24/17.07	c (10,0) c   26            6 ( 0.0/100.0%)          3 ( 0.0/100.0%)         11 ( 0.0/99.9%)
27.24/17.07	c (10,0) c   27            5 ( 0.0/100.0%)          1 ( 0.0/100.0%)          5 ( 0.0/99.9%)
27.24/17.07	c (10,0) c   28           13 ( 0.0/100.0%)          5 ( 0.0/100.0%)         11 ( 0.0/99.9%)
27.24/17.07	c (10,0) c   29           11 ( 0.0/100.0%)          2 ( 0.0/100.0%)          9 ( 0.0/99.9%)
27.24/17.07	c (10,0) c   30            3 ( 0.0/100.0%)          2 ( 0.0/100.0%)         10 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   31            6 ( 0.0/100.0%)          2 ( 0.0/100.0%)          6 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   32            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   33            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   34            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   35            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   36            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   37            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   38            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          3 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   39            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   40            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   41            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   42            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   43            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
27.24/17.07	c (10,0) c   44            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
27.24/17.07	c (10,0) c
27.24/17.07	c (10,0) c Memory used       : 26.00 MB
27.24/17.07	c (10,0) c CPU time          : 10.217 s
27.24/17.07	c (10,0) c Real time         : 10.451 s
27.24/17.07	c (10,0) c
27.24/17.07	c (10,0) s UNSATISFIABLE
27.24/17.07	c (10,0) SatSolver.solve End
27.24/17.07	c (10,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
27.24/17.07	c (10,0) Show results Begin
27.24/17.07	s UNSATISFIABLE
27.24/17.07	c (10,0) Show results End
27.24/17.07	c (10,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
27.24/17.08	c (10,0) 10,10,STOP-AFTER(ALL)
27.24/17.08	c END-Prog: Thu Sep 12 14:07:28 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 (13782 MiB free)
  memory of node 1: 16384 MiB (10180 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387782-1568290069/watcher-4387782-1568290069 -o /tmp/evaluation-result-4387782-1568290069/solver-4387782-1568290069 -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-4387782-1568290069.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=7387, runsolver pid=7384
Current StackSize limit: 8192 KiB


[startup+0.100119 s]*
/proc/loadavg: 2.00 2.02 2.45 4/234 7404
/proc/meminfo: memFree=24478768/32770624 swapFree=67004752/67108860
[pid=7387] ppid=7384 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7387/stat : 7387 (scop.sh) S 7384 7387 5150 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405274704 115843072 349 33554432000 4194304 5098028 140734713373376 140734713370632 140512653333116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31649792 140734713381672 140734713382000 140734713382000 140734713384909 0
/proc/7387/statm: 28282 349 296 221 0 87 0
[pid=7390] ppid=7387 vsize=15012696 memory=72548 CPUtime=0.12 cores=0,2,4,6
/proc/7390/stat : 7390 (java) S 7387 7387 5150 0 -1 1077944320 6916 0 0 0 10 2 0 0 20 0 15 0 405274704 15373000704 18137 33554432000 4194304 4196468 140735172493344 140735172475888 140649471790839 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
/proc/7390/statm: 3753174 18137 2908 1 0 3715579 0
[pid=7390/tid=7391] ppid=7387 vsize=15012696 memory=-2915660033818482078 CPUtime=0.08 cores=0,2,4,6
/proc/7390/task/7391/stat : 7391 (java) R 7387 7387 5150 0 -1 4202560 4816 0 0 0 7 1 0 0 20 0 15 0 405274704 15373000704 18268 33554432000 4194304 4196468 140735172493344 140649443582008 140649455871326 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7392] ppid=7387 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7392/stat : 7392 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 18268 33554432000 4194304 4196468 140735172493344 140649476032912 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7393] ppid=7387 vsize=15012696 memory=139674453714560 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7393/stat : 7393 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 18268 33554432000 4194304 4196468 140735172493344 140649309411600 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7394] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7394/stat : 7394 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 18268 33554432000 4194304 4196468 140735172493344 140649308359312 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7395] ppid=7387 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7395/stat : 7395 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 18268 33554432000 4194304 4196468 140735172493344 140648930859536 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7396] ppid=7387 vsize=15012696 memory=139674453714560 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7396/stat : 7396 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274707 15373000704 18268 33554432000 4194304 4196468 140735172493344 140648509463152 140649471801986 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7397] ppid=7387 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7397/stat : 7397 (java) S 7387 7387 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405274708 15373000704 18268 33554432000 4194304 4196468 140735172493344 140648032232736 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7398] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7398/stat : 7398 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274708 15373000704 18268 33554432000 4194304 4196468 140735172493344 140647763797616 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7399] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7399/stat : 7399 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405274710 15373000704 18268 33554432000 4194304 4196468 140735172493344 140647389289040 140649471809435 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7400] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7400/stat : 7400 (java) S 7387 7387 5150 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 405274710 15373000704 18268 33554432000 4194304 4196468 140735172493344 140648508409968 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7401] ppid=7387 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7401/stat : 7401 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405274710 15373000704 18268 33554432000 4194304 4196468 140735172493344 140648507357168 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7402] ppid=7387 vsize=15012696 memory=139674453714560 CPUtime=0.01 cores=0,2,4,6
/proc/7390/task/7402/stat : 7402 (java) R 7387 7387 5150 0 -1 4202560 425 0 0 0 1 0 0 0 20 0 15 0 405274710 15373000704 18268 33554432000 4194304 4196468 140735172493344 140648506301560 140649450159508 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7403] ppid=7387 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7403/stat : 7403 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405274711 15373000704 18268 33554432000 4194304 4196468 140735172493344 140646891383264 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7404] ppid=7387 vsize=15012696 memory=139674453714560 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7404/stat : 7404 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274711 15373000704 18268 33554432000 4194304 4196468 140735172493344 140648505252784 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73944 KiB

[startup+0.2109 s]*
/proc/loadavg: 2.00 2.02 2.45 3/234 7404
/proc/meminfo: memFree=24458832/32770624 swapFree=67004752/67108860
[pid=7387] ppid=7384 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7387/stat : 7387 (scop.sh) S 7384 7387 5150 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405274704 115843072 349 33554432000 4194304 5098028 140734713373376 140734713370632 140512653333116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31649792 140734713381672 140734713382000 140734713382000 140734713384909 0
/proc/7387/statm: 28282 349 296 221 0 87 0
[pid=7390] ppid=7387 vsize=15012696 memory=88688 CPUtime=0.25 cores=0,2,4,6
/proc/7390/stat : 7390 (java) S 7387 7387 5150 0 -1 1077944320 12173 0 0 0 22 3 0 0 20 0 15 0 405274704 15373000704 22172 33554432000 4194304 4196468 140735172493344 140735172475888 140649471790839 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
/proc/7390/statm: 3753174 22172 2973 1 0 3715579 0
[pid=7390/tid=7391] ppid=7387 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/7390/task/7391/stat : 7391 (java) R 7387 7387 5150 0 -1 4202560 9885 0 0 0 17 3 0 0 20 0 15 0 405274704 15373000704 22172 33554432000 4194304 4196468 140735172493344 140649443590224 140649471812765 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7392] ppid=7387 vsize=15012696 memory=365 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7392/stat : 7392 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 22172 33554432000 4194304 4196468 140735172493344 140649476032912 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7393] ppid=7387 vsize=15012696 memory=139674453722569 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7393/stat : 7393 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 22172 33554432000 4194304 4196468 140735172493344 140649309411600 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7394] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7394/stat : 7394 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 22172 33554432000 4194304 4196468 140735172493344 140649308359312 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7395] ppid=7387 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7395/stat : 7395 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 22172 33554432000 4194304 4196468 140735172493344 140648930859536 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7396] ppid=7387 vsize=15012696 memory=139674453714560 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7396/stat : 7396 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274707 15373000704 22172 33554432000 4194304 4196468 140735172493344 140648509463152 140649471801986 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7397] ppid=7387 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7397/stat : 7397 (java) S 7387 7387 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405274708 15373000704 22172 33554432000 4194304 4196468 140735172493344 140648032232736 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7398] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7398/stat : 7398 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274708 15373000704 22172 33554432000 4194304 4196468 140735172493344 140647763797616 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7399] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7399/stat : 7399 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405274710 15373000704 22172 33554432000 4194304 4196468 140735172493344 140647389289040 140649471809435 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7400] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7400/stat : 7400 (java) S 7387 7387 5150 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 15 0 405274710 15373000704 22172 33554432000 4194304 4196468 140735172493344 140648508409968 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7401] ppid=7387 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7401/stat : 7401 (java) S 7387 7387 5150 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405274710 15373000704 22172 33554432000 4194304 4196468 140735172493344 140648507357168 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7402] ppid=7387 vsize=15012696 memory=139674453714560 CPUtime=0.03 cores=0,2,4,6
/proc/7390/task/7402/stat : 7402 (java) S 7387 7387 5150 0 -1 1077944384 468 0 0 0 3 0 0 0 20 0 15 0 405274710 15373000704 22172 33554432000 4194304 4196468 140735172493344 140648506304880 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7403] ppid=7387 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7403/stat : 7403 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405274711 15373000704 22172 33554432000 4194304 4196468 140735172493344 140646891383264 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7404] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7404/stat : 7404 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274711 15373000704 22172 33554432000 4194304 4196468 140735172493344 140648505252784 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90084 KiB

[startup+0.31507 s]*
/proc/loadavg: 2.00 2.02 2.45 3/234 7404
/proc/meminfo: memFree=24456412/32770624 swapFree=67004752/67108860
[pid=7387] ppid=7384 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7387/stat : 7387 (scop.sh) S 7384 7387 5150 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405274704 115843072 349 33554432000 4194304 5098028 140734713373376 140734713370632 140512653333116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31649792 140734713381672 140734713382000 140734713382000 140734713384909 0
/proc/7387/statm: 28282 349 296 221 0 87 0
[pid=7390] ppid=7387 vsize=15012696 memory=92736 CPUtime=0.43 cores=0,2,4,6
/proc/7390/stat : 7390 (java) S 7387 7387 5150 0 -1 1077944320 12739 0 0 0 40 3 0 0 20 0 15 0 405274704 15373000704 23184 33554432000 4194304 4196468 140735172493344 140735172475888 140649471790839 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
/proc/7390/statm: 3753174 23184 3064 1 0 3715579 0
[pid=7390/tid=7391] ppid=7387 vsize=15012696 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/7390/task/7391/stat : 7391 (java) R 7387 7387 5150 0 -1 4202560 10177 0 0 0 27 3 0 0 20 0 15 0 405274704 15373000704 23184 33554432000 4194304 4196468 140735172493344 140649443618176 140649453354399 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7392] ppid=7387 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7392/stat : 7392 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 23184 33554432000 4194304 4196468 140735172493344 140649476032912 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7393] ppid=7387 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7393/stat : 7393 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 23184 33554432000 4194304 4196468 140735172493344 140649309411600 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7394] ppid=7387 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7394/stat : 7394 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 23184 33554432000 4194304 4196468 140735172493344 140649308359312 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7395] ppid=7387 vsize=15012696 memory=6933954179156714387 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7395/stat : 7395 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274706 15373000704 23184 33554432000 4194304 4196468 140735172493344 140648930859536 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7396] ppid=7387 vsize=15012696 memory=7684433391216329786 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7396/stat : 7396 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274707 15373000704 23184 33554432000 4194304 4196468 140735172493344 140648509463152 140649471801986 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7397] ppid=7387 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7397/stat : 7397 (java) S 7387 7387 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405274708 15373000704 23184 33554432000 4194304 4196468 140735172493344 140648032232736 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7398] ppid=7387 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7398/stat : 7398 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274708 15373000704 23184 33554432000 4194304 4196468 140735172493344 140647763797616 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7399] ppid=7387 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7399/stat : 7399 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405274710 15373000704 23184 33554432000 4194304 4196468 140735172493344 140647389289040 140649471809435 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7400] ppid=7387 vsize=15012696 memory=-7384621950708166502 CPUtime=0.01 cores=0,2,4,6
/proc/7390/task/7400/stat : 7400 (java) S 7387 7387 5150 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 15 0 405274710 15373000704 23184 33554432000 4194304 4196468 140735172493344 140648508409968 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7401] ppid=7387 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7390/task/7401/stat : 7401 (java) S 7387 7387 5150 0 -1 1077944384 144 0 0 0 3 0 0 0 20 0 15 0 405274710 15373000704 23184 33554432000 4194304 4196468 140735172493344 140648507357168 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7402] ppid=7387 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7390/task/7402/stat : 7402 (java) S 7387 7387 5150 0 -1 1077944384 588 0 0 0 7 0 0 0 20 0 15 0 405274710 15373000704 23184 33554432000 4194304 4196468 140735172493344 140648506304880 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7403] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7403/stat : 7403 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405274711 15373000704 23184 33554432000 4194304 4196468 140735172493344 140646891383264 140649471801045 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7404] ppid=7387 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7404/stat : 7404 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274711 15373000704 23184 33554432000 4194304 4196468 140735172493344 140648505252784 140649471801986 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94132 KiB

[startup+0.705187 s]
/proc/loadavg: 2.00 2.02 2.45 3/234 7404
/proc/meminfo: memFree=24435068/32770624 swapFree=67004752/67108860
[pid=7387] ppid=7384 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7387/stat : 7387 (scop.sh) S 7384 7387 5150 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405274704 115843072 349 33554432000 4194304 5098028 140734713373376 140734713370632 140512653333116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31649792 140734713381672 140734713382000 140734713382000 140734713384909 0
/proc/7387/statm: 28282 349 296 221 0 87 0
[pid=7390] ppid=7387 vsize=15021016 memory=131104 CPUtime=1 cores=0,2,4,6
/proc/7390/stat : 7390 (java) S 7387 7387 5150 0 -1 1077944320 20519 0 0 0 95 5 0 0 20 0 15 0 405274704 15381520384 32776 33554432000 4194304 4196468 140735172493344 140735172475888 140649471790839 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
/proc/7390/statm: 3755254 32776 3190 1 0 3716603 0
[pid=7390/tid=7391] ppid=7387 vsize=15021016 memory=3620 CPUtime=0.67 cores=0,2,4,6
/proc/7390/task/7391/stat : 7391 (java) R 7387 7387 5150 0 -1 4202560 17313 0 0 0 63 4 0 0 20 0 15 0 405274704 15381520384 32776 33554432000 4194304 4196468 140735172493344 140649443618368 140649455871326 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7392] ppid=7387 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7392/stat : 7392 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274706 15381520384 32776 33554432000 4194304 4196468 140735172493344 140649476032912 140649471801045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7393] ppid=7387 vsize=15021016 memory=6438155977927 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7393/stat : 7393 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274706 15381520384 32776 33554432000 4194304 4196468 140735172493344 140649309411600 140649471801045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7394] ppid=7387 vsize=15021016 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7394/stat : 7394 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405274706 15381520384 32776 33554432000 4194304 4196468 140735172493344 140649308359312 140649471801045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7395] ppid=7387 vsize=15021016 memory=15822200779310916 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7395/stat : 7395 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274706 15381520384 32776 33554432000 4194304 4196468 140735172493344 140648930859536 140649471801045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7396] ppid=7387 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7396/stat : 7396 (java) S 7387 7387 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405274707 15381520384 32776 33554432000 4194304 4196468 140735172493344 140648509463152 140649471801986 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7397] ppid=7387 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7397/stat : 7397 (java) S 7387 7387 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405274708 15381520384 32776 33554432000 4194304 4196468 140735172493344 140648032232736 140649471801045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7398] ppid=7387 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7398/stat : 7398 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274708 15381520384 32776 33554432000 4194304 4196468 140735172493344 140647763797616 140649471801045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7399] ppid=7387 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7399/stat : 7399 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405274710 15381520384 32776 33554432000 4194304 4196468 140735172493344 140647389289040 140649471809435 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7400] ppid=7387 vsize=15021016 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7390/task/7400/stat : 7400 (java) R 7387 7387 5150 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 15 0 405274710 15381520384 32776 33554432000 4194304 4196468 140735172493344 140648508399760 140649464080293 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7401] ppid=7387 vsize=15021016 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7390/task/7401/stat : 7401 (java) S 7387 7387 5150 0 -1 1077944384 333 0 0 0 8 0 0 0 20 0 15 0 405274710 15381520384 32776 33554432000 4194304 4196468 140735172493344 140648507357168 140649471801986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7402] ppid=7387 vsize=15021016 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/7390/task/7402/stat : 7402 (java) S 7387 7387 5150 0 -1 1077944384 789 0 0 0 15 0 0 0 20 0 15 0 405274710 15381520384 32776 33554432000 4194304 4196468 140735172493344 140648506304880 140649471801986 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7403] ppid=7387 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7403/stat : 7403 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405274711 15381520384 32776 33554432000 4194304 4196468 140735172493344 140646891383264 140649471801045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
[pid=7390/tid=7404] ppid=7387 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7390/task/7404/stat : 7404 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405274711 15381520384 32776 33554432000 4194304 4196468 140735172493344 140648505252784 140649471801986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36237312 140735172502255 140735172502682 140735172502682 140735172505551 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 132500 KiB

[startup+1.50082 s]
/proc/loadavg: 2.00 2.02 2.45 6/234 7404
/proc/meminfo: memFree=24397176/32770624 swapFree=67004752/67108860
[pid=7387] ppid=7384 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7387/stat : 7387 (scop.sh) S 7384 7387 5150 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405274704 115843072 349 33554432000 4194304 5098028 140734713373376 140734713370632 140512653333116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31649792 140734713381672 140734713382000 140734713382000 140734713384909 0
/proc/7387/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 24.62 s
Current children cumulated vsize: 8207944 KiB
Current children cumulated memory: 138008 KiB

[startup+16.0009 s]*
/proc/loadavg: 2.07 2.04 2.45 3/240 7427
/proc/meminfo: memFree=24410024/32770624 swapFree=67004752/67108860
[pid=7387] ppid=7384 vsize=113128 memory=1476 CPUtime=15.55 cores=0,2,4,6
/proc/7387/stat : 7387 (scop.sh) S 7384 7387 5150 0 -1 4202496 585 31477 0 0 0 0 1524 31 20 0 1 0 405274704 115843072 369 33554432000 4194304 5098028 140734713373376 140734713370120 140512653333116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31649792 140734713381672 140734713382000 140734713382000 140734713384909 0
/proc/7387/statm: 28282 369 311 221 0 87 0
[pid=7405] ppid=7387 vsize=8068440 memory=125992 CPUtime=1.31 cores=0,2,4,6
/proc/7405/stat : 7405 (java) S 7387 7387 5150 0 -1 1077944320 22482 0 0 0 123 8 0 0 20 0 19 0 405275289 8262082560 31498 33554432000 4194304 4196468 140732079989120 140732079971664 140468443647735 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
/proc/7405/statm: 2017110 31498 3206 1 0 1978454 0
[pid=7420] ppid=7405 vsize=26376 memory=11688 CPUtime=9.38 cores=0,2,4,6
/proc/7420/stat : 7420 (glueminisat-sim) R 7405 7387 5150 0 -1 4202496 9534 0 0 0 916 22 0 0 20 0 1 0 405275366 27009024 2922 33554432000 4194304 4452875 140736545953616 140736545948712 140528533843847 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 25358336 140736545960800 140736545960999 140736545960999 140736545963949 0
/proc/7420/statm: 6594 2922 376 64 0 2798 0
[pid=7405/tid=7406] ppid=7387 vsize=8068440 memory=734122169373052458 CPUtime=0.79 cores=0,2,4,6
/proc/7405/task/7406/stat : 7406 (java) S 7387 7387 5150 0 -1 1077944384 17468 0 0 0 74 5 0 0 20 0 19 0 405275289 8262082560 31498 33554432000 4194304 4196468 140732079989120 140468415487904 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7407] ppid=7387 vsize=8068440 memory=7444853062431553859 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7407/stat : 7407 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140468447889936 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7408] ppid=7387 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7408/stat : 7408 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467928820368 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7409] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7409/stat : 7409 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467927767312 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7410] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7410/stat : 7410 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467926714768 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7411] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7411/stat : 7411 (java) S 7387 7387 5150 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405275292 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467822861040 140468443658882 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7412] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7412/stat : 7412 (java) S 7387 7387 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405275293 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467308062368 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7413] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7413/stat : 7413 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275293 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467039626480 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7414] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7414/stat : 7414 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140466665118160 140468443666331 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7415] ppid=7387 vsize=8068440 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/7405/task/7415/stat : 7415 (java) S 7387 7387 5150 0 -1 1077944384 712 0 0 0 11 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467821807856 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7416] ppid=7387 vsize=8068440 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7405/task/7416/stat : 7416 (java) S 7387 7387 5150 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467820755312 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7417] ppid=7387 vsize=8068440 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/7405/task/7417/stat : 7417 (java) S 7387 7387 5150 0 -1 1077944384 950 0 0 0 25 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467819702256 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7418] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7418/stat : 7418 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140466167212384 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7419] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7419/stat : 7419 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405275296 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467818650672 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7421] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7421/stat : 7421 (java) S 7387 7387 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405275366 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467808520000 140468443672345 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7423] ppid=7387 vsize=8068440 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7405/task/7423/stat : 7423 (java) S 7387 7387 5150 0 -1 4202560 1690 0 0 0 1 1 0 0 20 0 19 0 405275366 8262082560 31498 33554432000 4194304 4196468 140732079989120 140465630326832 140468443669661 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7424] ppid=7387 vsize=8068440 memory=7512114543601282149 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7424/stat : 7424 (java) S 7387 7387 5150 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405275366 8262082560 31498 33554432000 4194304 4196468 140732079989120 140465496104496 140468443669661 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7425] ppid=7387 vsize=8068440 memory=7090988413152880236 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7425/stat : 7425 (java) S 7387 7387 5150 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405275369 8262082560 31498 33554432000 4194304 4196468 140732079989120 140465764556080 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
Current children cumulated CPU time: 26.24 s
Current children cumulated vsize: 8207944 KiB
Current children cumulated memory: 139156 KiB

[startup+16.801 s]
/proc/loadavg: 2.07 2.04 2.45 3/240 7427
/proc/meminfo: memFree=24410024/32770624 swapFree=67004752/67108860
[pid=7387] ppid=7384 vsize=113128 memory=1476 CPUtime=15.55 cores=0,2,4,6
/proc/7387/stat : 7387 (scop.sh) S 7384 7387 5150 0 -1 4202496 585 31477 0 0 0 0 1524 31 20 0 1 0 405274704 115843072 369 33554432000 4194304 5098028 140734713373376 140734713370120 140512653333116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31649792 140734713381672 140734713382000 140734713382000 140734713384909 0
/proc/7387/statm: 28282 369 311 221 0 87 0
[pid=7405] ppid=7387 vsize=8068440 memory=125992 CPUtime=1.31 cores=0,2,4,6
/proc/7405/stat : 7405 (java) S 7387 7387 5150 0 -1 1077944320 22483 0 0 0 123 8 0 0 20 0 19 0 405275289 8262082560 31498 33554432000 4194304 4196468 140732079989120 140732079971664 140468443647735 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
/proc/7405/statm: 2017110 31498 3206 1 0 1978454 0
[pid=7420] ppid=7405 vsize=27408 memory=11908 CPUtime=10.16 cores=0,2,4,6
/proc/7420/stat : 7420 (glueminisat-sim) R 7405 7387 5150 0 -1 4202496 9638 0 0 0 994 22 0 0 20 0 1 0 405275366 28065792 2977 33554432000 4194304 4452875 140736545953616 140736545948648 140528533843847 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 25358336 140736545960800 140736545960999 140736545960999 140736545963949 0
/proc/7420/statm: 6852 2977 376 64 0 3056 0
[pid=7405/tid=7406] ppid=7387 vsize=8068440 memory=-5059952977386882957 CPUtime=0.79 cores=0,2,4,6
/proc/7405/task/7406/stat : 7406 (java) S 7387 7387 5150 0 -1 1077944384 17468 0 0 0 74 5 0 0 20 0 19 0 405275289 8262082560 31498 33554432000 4194304 4196468 140732079989120 140468415487904 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7407] ppid=7387 vsize=8068440 memory=125992 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7407/stat : 7407 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140468447889936 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7408] ppid=7387 vsize=8068440 memory=11688 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7408/stat : 7408 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467928820368 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7409] ppid=7387 vsize=8068440 memory=61 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7409/stat : 7409 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467927767312 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7410] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7410/stat : 7410 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467926714768 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7411] ppid=7387 vsize=8068440 memory=1446 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7411/stat : 7411 (java) S 7387 7387 5150 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405275292 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467822861040 140468443658882 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7412] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7412/stat : 7412 (java) S 7387 7387 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405275293 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467308062368 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7413] ppid=7387 vsize=8068440 memory=1317 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7413/stat : 7413 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275293 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467039626480 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7414] ppid=7387 vsize=8068440 memory=752 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7414/stat : 7414 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140466665118160 140468443666331 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7415] ppid=7387 vsize=8068440 memory=1228 CPUtime=0.11 cores=0,2,4,6
/proc/7405/task/7415/stat : 7415 (java) S 7387 7387 5150 0 -1 1077944384 712 0 0 0 11 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467821807856 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7416] ppid=7387 vsize=8068440 memory=9584 CPUtime=0.08 cores=0,2,4,6
/proc/7405/task/7416/stat : 7416 (java) S 7387 7387 5150 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467820755312 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7417] ppid=7387 vsize=8068440 memory=4140 CPUtime=0.25 cores=0,2,4,6
/proc/7405/task/7417/stat : 7417 (java) S 7387 7387 5150 0 -1 1077944384 950 0 0 0 25 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467819702256 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7418] ppid=7387 vsize=8068440 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7418/stat : 7418 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140466167212384 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7419] ppid=7387 vsize=8068440 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7419/stat : 7419 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405275296 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467818650672 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7421] ppid=7387 vsize=8068440 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7421/stat : 7421 (java) S 7387 7387 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405275366 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467808520000 140468443672345 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7423] ppid=7387 vsize=8068440 memory=5956 CPUtime=0.03 cores=0,2,4,6
/proc/7405/task/7423/stat : 7423 (java) S 7387 7387 5150 0 -1 4202560 1691 0 0 0 2 1 0 0 20 0 19 0 405275366 8262082560 31498 33554432000 4194304 4196468 140732079989120 140465630326832 140468443669661 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7424] ppid=7387 vsize=8068440 memory=772 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7424/stat : 7424 (java) S 7387 7387 5150 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405275366 8262082560 31498 33554432000 4194304 4196468 140732079989120 140465496104496 140468443669661 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7425] ppid=7387 vsize=8068440 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7425/stat : 7425 (java) S 7387 7387 5150 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405275369 8262082560 31498 33554432000 4194304 4196468 140732079989120 140465764556080 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
Current children cumulated CPU time: 27.02 s
Current children cumulated vsize: 8208976 KiB
Current children cumulated memory: 139376 KiB

[startup+17.0009 s]*
/proc/loadavg: 2.07 2.04 2.45 3/240 7427
/proc/meminfo: memFree=24409776/32770624 swapFree=67004752/67108860
[pid=7387] ppid=7384 vsize=113128 memory=1476 CPUtime=15.55 cores=0,2,4,6
/proc/7387/stat : 7387 (scop.sh) S 7384 7387 5150 0 -1 4202496 585 31477 0 0 0 0 1524 31 20 0 1 0 405274704 115843072 369 33554432000 4194304 5098028 140734713373376 140734713370120 140512653333116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31649792 140734713381672 140734713382000 140734713382000 140734713384909 0
/proc/7387/statm: 28282 369 311 221 0 87 0
[pid=7405] ppid=7387 vsize=8068440 memory=125992 CPUtime=1.31 cores=0,2,4,6
/proc/7405/stat : 7405 (java) S 7387 7387 5150 0 -1 1077944320 22483 0 0 0 123 8 0 0 20 0 19 0 405275289 8262082560 31498 33554432000 4194304 4196468 140732079989120 140732079971664 140468443647735 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
/proc/7405/statm: 2017110 31498 3206 1 0 1978454 0
[pid=7420] ppid=7405 vsize=27408 memory=11908 CPUtime=10.38 cores=0,2,4,6
/proc/7420/stat : 7420 (glueminisat-sim) R 7405 7387 5150 0 -1 4202496 9665 0 0 0 1015 23 0 0 20 0 1 0 405275366 28065792 2977 33554432000 4194304 4452875 140736545953616 140736545948648 140528533843847 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 25358336 140736545960800 140736545960999 140736545960999 140736545963949 0
/proc/7420/statm: 6852 2977 376 64 0 3056 0
[pid=7405/tid=7406] ppid=7387 vsize=8068440 memory=8462108013221118012 CPUtime=0.79 cores=0,2,4,6
/proc/7405/task/7406/stat : 7406 (java) S 7387 7387 5150 0 -1 1077944384 17468 0 0 0 74 5 0 0 20 0 19 0 405275289 8262082560 31498 33554432000 4194304 4196468 140732079989120 140468415487904 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7407] ppid=7387 vsize=8068440 memory=288293255295270935 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7407/stat : 7407 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140468447889936 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7408] ppid=7387 vsize=8068440 memory=14971174585114133 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7408/stat : 7408 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467928820368 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7409] ppid=7387 vsize=8068440 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7409/stat : 7409 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467927767312 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7410] ppid=7387 vsize=8068440 memory=279348803821450 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7410/stat : 7410 (java) S 7387 7387 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405275291 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467926714768 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7411] ppid=7387 vsize=8068440 memory=139674349800383 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7411/stat : 7411 (java) S 7387 7387 5150 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405275292 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467822861040 140468443658882 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7412] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7412/stat : 7412 (java) S 7387 7387 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405275293 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467308062368 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7413] ppid=7387 vsize=8068440 memory=7014751519583392102 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7413/stat : 7413 (java) S 7387 7387 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405275293 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467039626480 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7414] ppid=7387 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7414/stat : 7414 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140466665118160 140468443666331 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7415] ppid=7387 vsize=8068440 memory=4123387613974574895 CPUtime=0.11 cores=0,2,4,6
/proc/7405/task/7415/stat : 7415 (java) S 7387 7387 5150 0 -1 1077944384 712 0 0 0 11 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467821807856 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7416] ppid=7387 vsize=8068440 memory=139674453714560 CPUtime=0.08 cores=0,2,4,6
/proc/7405/task/7416/stat : 7416 (java) S 7387 7387 5150 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467820755312 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7417] ppid=7387 vsize=8068440 memory=-1 CPUtime=0.25 cores=0,2,4,6
/proc/7405/task/7417/stat : 7417 (java) S 7387 7387 5150 0 -1 1077944384 950 0 0 0 25 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467819702256 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7418] ppid=7387 vsize=8068440 memory=139674453714560 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7418/stat : 7418 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405275295 8262082560 31498 33554432000 4194304 4196468 140732079989120 140466167212384 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7419] ppid=7387 vsize=8068440 memory=6075463926107164752 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7419/stat : 7419 (java) S 7387 7387 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405275296 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467818650672 140468443658882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7421] ppid=7387 vsize=8068440 memory=6152009795210602833 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7421/stat : 7421 (java) S 7387 7387 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405275366 8262082560 31498 33554432000 4194304 4196468 140732079989120 140467808520000 140468443672345 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7423] ppid=7387 vsize=8068440 memory=6075463926107164752 CPUtime=0.03 cores=0,2,4,6
/proc/7405/task/7423/stat : 7423 (java) S 7387 7387 5150 0 -1 4202560 1691 0 0 0 2 1 0 0 20 0 19 0 405275366 8262082560 31498 33554432000 4194304 4196468 140732079989120 140465630326832 140468443669661 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7424] ppid=7387 vsize=8068440 memory=7157733098017407081 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7424/stat : 7424 (java) S 7387 7387 5150 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405275366 8262082560 31498 33554432000 4194304 4196468 140732079989120 140465496104496 140468443669661 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
[pid=7405/tid=7425] ppid=7387 vsize=8068440 memory=5792262891831840848 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7425/stat : 7425 (java) S 7387 7387 5150 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405275369 8262082560 31498 33554432000 4194304 4196468 140732079989120 140465764556080 140468443657941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140732079993852 140732079994010 140732079994010 140732079996879 0
Current children cumulated CPU time: 27.24 s
Current children cumulated vsize: 8208976 KiB
Current children cumulated memory: 139376 KiB

Child status: 0
Real time (s): 17.0991
CPU time (s): 27.3618
CPU user time (s): 26.7129
CPU system time (s): 0.64889
CPU usage (%): 160.019
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1404160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.7129
system time used= 0.64889
maximum resident set size= 1405532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5785
involuntary context switches= 81


# summary of solver processes directly reported to runsolver:
#   pid: 7387
#   total CPU time (s): 27.3618
#   total CPU user time (s): 26.7129
#   total CPU system time (s): 0.64889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.144327 second user time and 0.229746 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-12 14:07:11
IDJOB=4387782
IDBENCH=125649
IDSOLVER=2825
FILE ID=node126/4387782-1568290069
RUNJOBID= node126-1568286203-6146
PBS_JOBID= 21701078
Free space on /tmp= 52408 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-64.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-4387782-1568290069/watcher-4387782-1568290069 -o /tmp/evaluation-result-4387782-1568290069/solver-4387782-1568290069 -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-4387782-1568290069.xml

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

MD5SUM BENCH= 236be531fe4e5fa4d71f6d1385cbaf81
RANDOM SEED=705172246

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:        24538720 kB
MemAvailable:   28499888 kB
Buffers:           92496 kB
Cached:          4128976 kB
SwapCached:         2860 kB
Active:          6096340 kB
Inactive:        1501704 kB
Active(anon):    3371588 kB
Inactive(anon):    46144 kB
Active(file):    2724752 kB
Inactive(file):  1455560 kB
Unevictable:      109096 kB
Mlocked:          109096 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             20444 kB
Writeback:             0 kB
AnonPages:       3483800 kB
Mapped:            55328 kB
Shmem:             32816 kB
Slab:             222144 kB
SReclaimable:     193384 kB
SUnreclaim:        28760 kB
KernelStack:        3792 kB
PageTables:        12544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8397540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1990656 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:07:29