Trace number 4387779

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 136.984 116.776

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-4.xml
MD5SUMcc3fcfac109c3d277a0ef72b27cdc983
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 benchmark84.877
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints58
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree9
Maximum variable degree21
Distribution of variable degrees[{"degree":9,"count":1},{"degree":10,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":6},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":21,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":58}]
Number of extensional constraints58
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":58}]
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-9865-serial-file.bin HOME/instance-4387779-1568289999.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Thu Sep 12 14:06:00 CEST 2019
0.65/0.57	c PID: 9868
0.65/0.57	c IP: 172.20.3.150
0.65/0.57	c HOST: node150.alineos.net
0.65/0.58	c (0,0) Parsing Begin
7.16/5.04	c (4,4) Parsing End
7.16/5.05	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 58 ctr, max domain size 5
7.16/5.05	c (4,4) Heap : 1330 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
7.16/5.05	c (4,4) Constraint Name Generate Begin
7.16/5.05	c (4,4) Ctr:HOME/instance-4387779-1568289999.xml,ExtensionSupport:Var
7.16/5.05	c (4,4) Constraint Name Generate End
7.16/5.05	c (4,4) Heap : 1330 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
7.16/5.05	c (4,4) CSP to CSPinCNF Begin
16.88/9.56	c (9,8) translated 6 (10%) constraints
23.32/13.27	c (12,12) translated 12 (20%) constraints
30.24/17.13	c (16,16) translated 18 (30%) constraints
34.32/20.86	c (20,19) translated 24 (40%) constraints
38.04/24.14	c (23,22) translated 29 (50%) constraints
41.55/27.66	c (27,26) translated 35 (60%) constraints
45.94/31.29	c (30,29) translated 41 (70%) constraints
51.22/35.19	c (34,33) translated 47 (80%) constraints
55.61/39.03	c (38,37) translated 53 (90%) constraints
59.11/42.32	c (41,40) translated 58 (100%) constraints
59.71/43.00	c (42,41) ===========================================
59.82/43.01	c (42,41) Order
59.82/43.01	c (42,41) ===========================================
60.37/43.26	c (42,41) translated 8032 (10%) constraints
60.72/43.46	c (42,41) translated 16064 (20%) constraints
61.06/43.64	c (43,41) translated 24096 (30%) constraints
61.26/43.81	c (43,42) translated 32128 (40%) constraints
61.36/43.98	c (43,42) translated 40159 (50%) constraints
61.57/44.16	c (43,42) translated 48191 (60%) constraints
61.76/44.33	c (43,42) translated 56223 (70%) constraints
61.96/44.50	c (43,42) translated 64255 (80%) constraints
62.06/44.67	c (44,42) translated 72287 (90%) constraints
62.31/44.85	c (44,43) translated 80318 (100%) constraints
62.31/44.85	c (44,43) CSP to CSPinCNF End
62.31/44.86	c (44,43) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80318 ctr, max domain size 5
62.31/44.86	c (44,43) Heap : 2356 MiB used (max 10969 MiB), NonHeap : 27 MiB used (max 0 MiB)
62.31/44.86	c (44,43) CSPinCNF Propagation Begin
63.70/45.50	c (44,43) 0 values, 107 unsatisfiable literals, and 71 valid clauses are removed
63.70/45.50	c (44,43) CSPinCNF Propagation End
63.70/45.50	c (44,43) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
63.70/45.50	c (44,43) Heap : 2803 MiB used (max 10969 MiB), NonHeap : 28 MiB used (max 0 MiB)
63.70/45.51	c (44,43) Simplify CSPinCNF Begin
64.03/45.74	c (45,43) Simplify CSPinCNF End
64.03/45.74	c (45,43) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
64.03/45.74	c (45,43) Heap : 2930 MiB used (max 10969 MiB), NonHeap : 28 MiB used (max 0 MiB)
64.03/45.74	c (45,43) Calculate Precise Domain Begin
64.03/45.74	c (45,43) 0 values are removed by re-calculation
64.03/45.74	c (45,43) Calculate Precise Domain End
64.03/45.74	c (45,43) CSP: 25 int (0 aux), 8457 bool (8457 aux), 80247 ctr, max domain size 5
64.03/45.74	c (45,43) Heap : 2930 MiB used (max 10969 MiB), NonHeap : 28 MiB used (max 0 MiB)
64.03/45.74	c (45,43) CSPinCNF to SatSolver Begin
64.88/46.07	c (45,44) 8025 (10 %) CSP clauses are encoded (0 SAT variables, 8099 SAT clauses)
65.18/46.18	c (45,44) 16050 (20 %) CSP clauses are encoded (0 SAT variables, 16124 SAT clauses)
65.41/46.26	c (45,44) 24075 (30 %) CSP clauses are encoded (0 SAT variables, 24149 SAT clauses)
65.51/46.35	c (45,44) 32099 (40 %) CSP clauses are encoded (0 SAT variables, 32173 SAT clauses)
65.62/46.43	c (45,44) 40124 (50 %) CSP clauses are encoded (0 SAT variables, 40198 SAT clauses)
65.72/46.51	c (45,44) 48149 (60 %) CSP clauses are encoded (0 SAT variables, 48223 SAT clauses)
65.72/46.59	c (46,44) 56173 (70 %) CSP clauses are encoded (0 SAT variables, 56247 SAT clauses)
66.19/46.79	c (46,44) 64198 (80 %) CSP clauses are encoded (0 SAT variables, 64272 SAT clauses)
66.37/46.86	c (46,44) 72223 (90 %) CSP clauses are encoded (0 SAT variables, 72297 SAT clauses)
66.47/46.94	c (46,45) 80247 (100 %) CSP clauses are encoded (0 SAT variables, 80321 SAT clauses)
66.47/46.94	c (46,45) CSPinCNF to SatSolver End
66.47/46.94	c (46,45) Heap : 559 MiB used (max 10793 MiB), NonHeap : 30 MiB used (max 0 MiB)
66.47/46.94	c (46,45) 8546 bool, 80322 clause
66.47/46.94	c (46,45) Export Begin
66.60/47.03	c (46,45) Export to HOME/scop-9865-serial-file.bin
66.60/47.03	c (46,45) Export End
66.60/47.03	c (46,45) Export File Size: 0.01 MB
66.60/47.03	c (46,45) 4,4,44,44,45,45,46,STOP-AFTER(DIMACS)
66.60/47.03	c END-Prog: Thu Sep 12 14:06:47 CEST 2019
66.60/47.05	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9865-serial-file.bin
66.69/47.51	c (0,0) Read Serial File Begin
66.69/47.51	c (0,0) HOME/scop-9865-serial-file.bin
66.69/47.72	c (0,0) Read Serial File End
66.69/47.73	
66.69/47.73	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
66.69/47.73	(Solving Process)
66.69/47.73	
66.69/47.75	c BEGIN-Prog: Thu Sep 12 14:06:47 CEST 2019
66.69/47.75	c PID: 9885
66.69/47.75	c IP: 172.20.3.150
66.69/47.75	c HOST: node150.alineos.net
66.69/47.76	c (0,0) SatSolver.solve Begin
66.69/47.76	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387779-1568289999.xml-scop-9868.cnf
66.69/47.79	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
66.69/47.79	c (0,0) c glueminisat-simp-2.2.10-193oa-n
66.69/47.79	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387779-1568289999.xml-scop-9868.cnf 
66.69/47.79	c (0,0) c Options:
66.69/47.79	c (0,0) c CORE
66.69/47.79	c (0,0) c  var_decay             = 0.950
66.69/47.79	c (0,0) c  clause_decay          = 0.999
66.69/47.79	c (0,0) c  random_var_freq       = 0.000
66.69/47.79	c (0,0) c  random_seed           = 91648253.000
66.69/47.79	c (0,0) c  luby_restart          = 1
66.69/47.79	c (0,0) c  ccmin_mode            = 2
66.69/47.79	c (0,0) c  phase_saving          = 2
66.69/47.79	c (0,0) c  rnd_pol               = 0
66.69/47.79	c (0,0) c  rnd_init_act          = 0
66.69/47.79	c (0,0) c  garbage_frac          = 0.200
66.69/47.79	c (0,0) c  restart_first         = 1000
66.69/47.79	c (0,0) c  restart_inc           = 2.000
66.69/47.79	c (0,0) c MODEL
66.69/47.79	c (0,0) c  partial_model         = 0
66.69/47.79	c (0,0) c PROPAGATION
66.69/47.79	c (0,0) c  bin_propagation       = 1
66.69/47.79	c (0,0) c SIMPLIFICATION
66.69/47.79	c (0,0) c  lrn_min_size          = 100
66.69/47.79	c (0,0) c  lazy_simp             = 1
66.69/47.80	c (0,0) c  lazy_interval         = 10
66.69/47.80	c (0,0) c  lazy_fld_probing      = 1
66.69/47.80	c (0,0) c  lazy_pol_probing      = 1
66.69/47.80	c (0,0) c  lazy_nec_probing      = 1
66.69/47.80	c (0,0) c  lazy_eqv_probing      = 1
66.69/47.80	c (0,0) c  lazy_cla_probing      = 1
66.69/47.80	c (0,0) c  lazy_lrn_min          = 2
66.69/47.80	c (0,0) c  lazy_uw_lit_elim      = 1
66.69/47.80	c (0,0) c  lazy_pr_lit_elim      = 0
66.69/47.80	c (0,0) c  lazy_bin_add          = 3
66.69/47.80	c (0,0) c  probed_lit_chain      = 1
66.69/47.80	c (0,0) c  pr_min_lits           = 0.00020
66.69/47.80	c (0,0) c  pr_min_starts         = 500
66.69/47.80	c (0,0) c  rw_min_lits           = 0.010
66.69/47.80	c (0,0) c  rw_min_starts         = 500
66.69/47.80	c (0,0) c  rand_attach           = 0
66.69/47.80	c (0,0) c  dec_elim              = 1
66.69/47.80	c (0,0) c  dec_elim_lim          = 25
66.69/47.80	c (0,0) c  dec_elim_len          = -1
66.69/47.80	c (0,0) c  amo                   = 0
66.69/47.80	c (0,0) c  amo_grp               = 1
66.69/47.80	c (0,0) c  amo_max_bins          = 1000000
66.69/47.80	c (0,0) c  amo_starts            = 50
66.69/47.80	c (0,0) c  mace_cmd              = mace
66.69/47.80	c (0,0) c DECISION
66.69/47.80	c (0,0) c  rand_rebuild          = 0
66.69/47.80	c (0,0) c  rand_rebuild_confs    = 10000
66.69/47.80	c (0,0) c  inc_var_decay         = 1
66.69/47.80	c (0,0) c  inc_var_decay_period  = 100000
66.69/47.80	c (0,0) c  inc_var_decay_init    = 0.600
66.69/47.80	c (0,0) c  var_decay_mode        = 0
66.69/47.80	c (0,0) c  var_decay_gain        = 0
66.69/47.80	c (0,0) c  sloped_var_decay      = 1
66.69/47.80	c (0,0) c  max_var_decay         = 0.990
66.69/47.80	c (0,0) c  min_var_decay         = 0.950
66.69/47.80	c (0,0) c  min_var_decay_vars    = 10000
66.69/47.80	c (0,0) c  max_var_decay_vars    = 500
66.69/47.80	c (0,0) c  uip_bumping           = 1
66.69/47.80	c (0,0) c  lbd_act_bumping       = 1
66.69/47.80	c (0,0) c  rand_tiebreak         = 0
66.69/47.80	c (0,0) c  simp_rebuild          = 1
66.69/47.80	c (0,0) c RESTART
66.69/47.80	c (0,0) c  restart_strategy      = 2
66.69/47.80	c (0,0) c  restart_blocking      = 0
66.69/47.80	c (0,0) c  agility_decay         = 0.99990
66.69/47.80	c (0,0) c  lbd_restart_rate      = 0.800
66.69/47.80	c (0,0) c  dec_restart_rate      = 0.950
66.69/47.80	c (0,0) c  blk_restart_rate      = 0.700
66.69/47.80	c (0,0) c  lbd_queue_size        = 50
66.69/47.80	c (0,0) c  dec_queue_size        = 50
66.69/47.80	c (0,0) c  trl_queue_size        = 5000
66.69/47.80	c (0,0) c  blk_restart_weight    = 1.000
66.69/47.80	c (0,0) c  inc_rst_rate          = 0
66.69/47.80	c (0,0) c  inc_rst_rate_period   = 500000
66.69/47.80	c (0,0) c  inc_lbd_rst_rate_init = 0.600
66.69/47.80	c (0,0) c  inc_dec_rst_rate_init = 0.750
66.69/47.80	c (0,0) c REDUCTION
66.69/47.80	c (0,0) c  closed_lbd            = 0
66.69/47.80	c (0,0) c  closed_lbd_rate       = 0.500
66.69/47.80	c (0,0) c  rm_simulate           = 0
66.69/47.80	c (0,0) c  rdb_eval              = 2
66.69/47.80	c (0,0) c  rdb_call              = 3
66.69/47.80	c (0,0) c  rdb_ub                = 0.500
66.69/47.80	c (0,0) c  core_lbd_cvr          = 0.800
66.69/47.80	c (0,0) c  supp_lbd_cvr          = 0.990
66.69/47.80	c (0,0) c  core_lbd_lb           = 2
66.69/47.80	c (0,0) c  supp_lbd_lb           = 2
66.69/47.80	c (0,0) c  core_lbd_prd          = 7
66.69/47.80	c (0,0) c  supp_lbd_prd          = 1
66.69/47.80	c (0,0) c  othr_lbd_prd          = 0
66.69/47.80	c (0,0) c  inc_lrn_limit         = 1000
66.69/47.80	c (0,0) c  frozen_lbd            = 30
66.69/47.80	c (0,0) c  simp_min_starts       = 100
66.69/47.80	c (0,0) c  rm_low_act_learnts    = 1
66.69/47.80	c (0,0) c  lv0_reduce_db         = 0
66.69/47.80	c (0,0) c  reduce_db_base        = 20000
66.69/47.80	c (0,0) c  reduce_db_inc         = 1000
66.69/47.80	c (0,0) c HARD
66.69/47.80	c (0,0) c  inst_check            = 200000
66.69/47.80	c (0,0) c  small_block           = 1.750
66.69/47.80	c (0,0) c  slow_restart_speed    = 400.000
66.69/47.80	c (0,0) c  slow_restart_strategy = 3
66.69/47.80	c (0,0) c  slow_lbd_restart_rate = 0.700
66.69/47.80	c (0,0) c  slow_dec_restart_rate = 1.000
66.69/47.80	c (0,0) c  slow_lbd_queue_size   = 50
66.69/47.80	c (0,0) c  slow_var_decay        = 0.950
66.69/47.80	c (0,0) c  slow_glue_threshold   = 2
66.69/47.80	c (0,0) c  slow_phase_saving     = 2
66.69/47.80	c (0,0) c  fast_restart_speed    = 125.000
66.69/47.80	c (0,0) c  fast_restart_strategy = 1
66.69/47.80	c (0,0) c  fast_lbd_restart_rate = 0.800
66.69/47.80	c (0,0) c  fast_dec_restart_rate = 0.950
66.69/47.80	c (0,0) c  fast_lbd_queue_size   = 50
66.69/47.80	c (0,0) c  fast_var_decay        = 1.000
66.69/47.80	c (0,0) c  fast_glue_threshold   = 2
66.69/47.80	c (0,0) c  fast_phase_saving     = 2
66.69/47.80	c (0,0) c STATS
66.69/47.80	c (0,0) c  stats_conf_size       = 10000
66.69/47.80	c (0,0) c  max_stats_size        = 30
66.69/47.80	c (0,0) c SOLVER
66.69/47.80	c (0,0) c  minisat               = 0
66.69/47.81	c (0,0) c Problem: 8546 variables, 80322 clauses, parsing 0.03 s
66.69/47.86	c (0,0) c  reduced to 8492 variables, 80206 clauses (grow = 0)
66.69/47.86	c (0,0) c  exclude 53 (0.6%) variables from decision variables (last cost 25)
66.69/47.87	c (0,0) c Simplification: 107 vars, 116 clauses are eliminated using 0.05 s
66.69/47.87	c (0,0) c
66.69/47.87	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
66.69/47.87	c (0,0) c
66.69/47.87	c (0,0) c    0         0         0     8439    80206        0   -nan  -nan  -nan -nan%
66.69/47.88	c (0,0) c    0         1       100     8441    80206      100    9.9   4.4  24.9 44.2%
66.69/47.91	c (0,0) c    0         2       220     8441    80206      220   12.3   5.6  23.9 48.3%
66.69/47.93	c (0,0) c    0         3       364     8441    80206      366   13.6   6.0  22.2 49.1%
66.69/47.97	c (0,0) c    0         4       536     8441    80206      543   13.9   6.1  21.4 48.1%
68.08/48.03	c (0,0) c    0         5       743     8442    80206      757   13.4   6.2  20.8 48.5%
68.08/48.08	c (0,0) c    0         6       991     8444    80206     1006   14.0   6.4  19.9 47.9%
68.18/48.12	c (0,0) c    0         6      1289     8445    80206     1310   14.9   6.3  19.2 50.3%
68.18/48.20	c (0,0) c    0         7      1647     8446    80206     1681   14.7   6.2  18.4 49.8%
68.27/48.29	c (0,0) c    0         9      2076     8449    80206     2120   14.8   6.3  18.0 51.9%
68.37/48.37	c (0,0) c    0        12      2591     8452    80206     2642   15.6   6.3  19.0 53.2%
68.47/48.49	c (1,0) c    0        16      3210     8453    80206     3280   16.3   6.4  19.0 54.0%
68.67/48.60	c (1,0) c    0        16      3953     8456    80206     4025   19.7   6.1  17.8 57.1%
68.78/48.76	c (1,0) c    0        16      4844     8457    80206     4928   21.0   6.0  16.9 58.3%
68.88/48.86	c (1,0) c    1 e      18      5360     8352    80133     5439   21.0   6.1  16.9 57.9%
68.98/48.97	c (1,0) c    1 e      21      5670     8262    80014     5759   20.5   6.1  16.8 57.5%
69.09/49.02	c (1,0) c
69.09/49.02	c (1,0) c   variables         : 8262        (init 8546, after simp 8439, 34 non-decs, 25 csp)
69.09/49.02	c (1,0) c   clauses           : 80014       (init 80322, after simp 80206)
69.09/49.02	c (1,0) c   restarts          : 21          (268.77 confs/res, 50~2117 confs, 0 blks, 0 last)
69.09/49.02	c (1,0) c   conflicts         : 5913        (4837 /sec, 56.86% dconfs, 0.00% supp, trail 319.21w x 17.00h, jmp 1.54h)
69.09/49.02	c (1,0) c   decisions         : 9497        (0.6200 vdcy, 7768 /sec, 0.00% bin, rs 0.000 s)
69.09/49.02	c (1,0) c   propagations      : 6392826     (5229233 /sec, 673.14 lits/dec, 0.29% o.a.)
69.09/49.02	c (1,0) c   conflict literals : 149772      (15.68% deleted; 1.53% by bin min, 0.001 s)
69.09/49.02	c (1,0) c   len               : 20.459      (20.97 for all, max 249, used 203)
69.09/49.02	c (1,0) c   lbd               : 6.189       (7.38 (6.25) for all, max 23, used 22, 1.843 stdev, 2.841 blk)
69.09/49.02	c (1,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
69.09/49.02	c (1,0) c   simp dbs          : 1           (0.000 s)
69.09/49.02	c (1,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
69.09/49.02	c (1,0) c   learnts           : 6002        (0 learnts removed, 0.00%)
69.09/49.02	c (1,0) c   rewrite dbs       : 2           (197/201 vars, 192+16 taut, 0+0 unit, 0.018 s)
69.09/49.02	c (1,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
69.09/49.02	c (1,0) c   premise updates   : 16610       (0.98 /lit)
69.09/49.02	c (1,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
69.09/49.02	c (1,0) c   equiv variables   : 201         (13 bin, 6 trn, 2 quat, 0 quin, 9 othr; 0 amo)
69.09/49.02	c (1,0) c   lazy added bins   : 105         (105 prop + 0 conf, 0.001s)
69.09/49.02	c (1,0) c   unwatched lit elim: 4356        (1.19+0.52%, 3572+784 of 300741+149772)
69.09/49.02	c (1,0) c   classified type   : undef
69.09/49.02	c (1,0) c   progress          : 0.000 %
69.09/49.02	c (1,0) c
69.09/49.02	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
69.09/49.02	c (1,0) c
69.09/49.02	c (1,0) c    1        22      5913     8262    80014     6002   20.5   6.2  17.0 57.5%
69.38/49.34	c (1,0) c    1        28      7196     8264    80014     7310   20.0   6.3  16.8 57.0%
69.77/49.73	c (2,0) c    1        29      8736     8265    80014     8869   19.7   6.2  16.1 56.6%
70.28/50.22	c (2,0) c    2        32     10584     8268    80014    10765   18.9   6.3  15.6 55.5%
70.78/50.71	c (3,0) c    2 e      41     12217     8173    79966    12412   18.2   6.4  15.4 53.3%
70.88/50.85	c (3,0) c    3        41     12802     8173    79966    13001   18.2   6.4  14.9 53.3%
71.58/51.50	c (4,0) c    3        45     15464     8175    79966    15696   17.9   6.4  15.1 50.7%
72.20/52.18	c (4,0) c    4        45     18658     8175    79966    18914   18.0   6.3  14.6 50.9%
72.58/52.56	c (5,0) c    4 r      47     20002     8176    79966    20275   17.9   6.2  14.4 51.4%
72.58/52.56	c (5,0) c
72.58/52.56	c (5,0) c R [LBD Statistics #1]
72.58/52.56	c (5,0) c R LBD         used lbd               used clause lbd
72.58/52.56	c (5,0) c R  tot      311663                   20275
72.58/52.56	c (5,0) c R  avg       2.550                   6.243
72.58/52.56	c (5,0) c R   1        15510 ( 5.0/ 5.0%)        275 ( 1.4/ 1.4%)
72.58/52.56	c (5,0) c R   2       206323 (66.2/71.2%)       3488 (17.2/18.6%)
72.58/52.56	c (5,0) c R   3        47740 (15.3/86.5%)       1804 ( 8.9/27.5%)
72.58/52.56	c (5,0) c R
72.58/52.56	c (5,0) c R core_lbd_threshold = 3
72.58/52.56	c (5,0) c R supp_lbd_threshold = 9
72.58/52.56	c (5,0) c R
72.58/52.56	c (5,0) c R [RDB Statistics #1]
72.58/52.56	c (5,0) c R kept: lbd      =    5553 (27.4/27.4%)
72.58/52.56	c (5,0) c R kept: ttl      =   14703 (72.5/99.9%)
72.58/52.56	c (5,0) c R kept: locked   =      19 ( 0.1/100.0%)
72.58/52.56	c (5,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
72.58/52.56	c (5,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
72.58/52.56	c (5,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
72.58/52.56	c (5,0) c
72.58/52.56	c (5,0) c    4 R      47     20002     8176    79966    20275   17.9   6.2  14.4 51.4%
73.39/53.30	c (5,0) c    5        54     22491     8176    79966    22783   17.7   6.3  14.2 53.5%
73.98/53.91	c (6,0) c    6 e      61     24724     8079    79854    24988   17.8   6.4  14.0 54.2%
74.69/54.62	c (7,0) c    6        71     27091     8080    79854    27374   17.7   6.4  14.4 52.7%
76.29/56.21	c (8,0) c    8        92     32611     8084    79854    32926   17.8   6.5  14.9 52.4%
78.38/58.35	c (10,0) c   10 e     111     38918     8004    79766    39250   17.3   6.6  13.7 51.5%
78.48/58.45	c (11,0) c   10       114     39235     8004    79766    39570   17.3   6.6  13.7 51.3%
79.10/59.11	c (11,0) c
79.10/59.11	c (11,0) c   variables         : 8004        (init 8546, after simp 8439, 17 non-decs, 25 csp)
79.10/59.11	c (11,0) c   clauses           : 79766       (init 80322, after simp 80206)
79.10/59.11	c (11,0) c   restarts          : 114         (356.53 confs/res, 50~4478 confs, 0 blks, 0 last)
79.10/59.11	c (11,0) c   conflicts         : 41001       (3653 /sec, 54.53% dconfs, 0.00% supp, trail 325.71w x 14.73h, jmp 1.37h)
79.10/59.11	c (11,0) c   decisions         : 58196       (0.7400 vdcy, 5186 /sec, 0.00% bin, rs 0.003 s)
79.10/59.11	c (11,0) c   propagations      : 53253355    (4745236 /sec, 915.07 lits/dec, 0.24% o.a.)
79.10/59.11	c (11,0) c   conflict literals : 1019375     (26.21% deleted; 2.97% by bin min, 0.006 s)
79.10/59.11	c (11,0) c   len               : 17.227      (17.61 for all, max 249, used 203)
79.10/59.11	c (11,0) c   lbd               : 6.609       (7.97 (6.65) for all, max 23, used 22, 1.225 stdev, 2.210 blk)
79.10/59.11	c (11,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
79.10/59.11	c (11,0) c   simp dbs          : 1           (0.000 s)
79.10/59.11	c (11,0) c   reduce dbs        : 1           (core-lbd 3, supp-lbd 9, 0.001 s)
79.10/59.11	c (11,0) c   learnts           : 41344       (0 learnts removed, 0.00%)
79.10/59.11	c (11,0) c   rewrite dbs       : 5           (472/475 vars, 440+123 taut, 0+0 unit, 0.066 s)
79.10/59.11	c (11,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
79.10/59.11	c (11,0) c   premise updates   : 113470      (6.72 /lit)
79.10/59.11	c (11,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
79.10/59.11	c (11,0) c   equiv variables   : 475         (14 bin, 4 trn, 4 quat, 4 quin, 25 othr; 0 amo)
79.10/59.11	c (11,0) c   lazy added bins   : 466         (466 prop + 0 conf, 0.006s)
79.10/59.11	c (11,0) c   unwatched lit elim: 12988       (2.11+0.65%, 6359+6629 of 300741+1019375)
79.10/59.11	c (11,0) c   classified type   : undef
79.10/59.11	c (11,0) c   progress          : 0.000 %
79.10/59.11	c (11,0) c
79.10/59.11	c (11,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
79.10/59.11	c (11,0) c
79.10/59.11	c (11,0) c   11 r     115     41001     8004    79766    41344   17.2   6.6  13.7 51.5%
79.20/59.12	c (11,0) c
79.20/59.12	c (11,0) c R [LBD Statistics #2]
79.20/59.12	c (11,0) c R LBD         used lbd               used clause lbd
79.20/59.12	c (11,0) c R  tot      987290                   41344
79.20/59.12	c (11,0) c R  avg       2.416                   6.609
79.20/59.12	c (11,0) c R   1        56402 ( 5.7/ 5.7%)        573 ( 1.4/ 1.4%)
79.20/59.12	c (11,0) c R   2       692531 (70.1/75.9%)       6367 (15.4/16.8%)
79.20/59.12	c (11,0) c R   3       133027 (13.5/89.3%)       3104 ( 7.5/24.3%)
79.20/59.12	c (11,0) c R
79.20/59.12	c (11,0) c R core_lbd_threshold = 3
79.20/59.12	c (11,0) c R supp_lbd_threshold = 8
79.20/59.12	c (11,0) c R
79.20/59.12	c (11,0) c R [RDB Statistics #2]
79.20/59.12	c (11,0) c R kept: lbd      =    9922 (24.0/24.0%)
79.20/59.12	c (11,0) c R kept: ttl      =   11533 (27.9/51.9%)
79.20/59.12	c (11,0) c R kept: locked   =     140 ( 0.3/52.2%)
79.20/59.12	c (11,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
79.20/59.12	c (11,0) c R lost: ttl      =   19749 (47.8/47.8%)
79.20/59.12	c (11,0) c R lost: subsumed =       0 ( 0.0/47.8%)
79.20/59.12	c (11,0) c
79.20/59.12	c (11,0) c   11 R     115     41001     8004    79766    21595   11.5   4.3  13.7 51.5%
81.11/61.06	c (13,0) c   13       143     47184     8005    79766    27823   12.4   5.0  13.4 50.3%
83.70/63.67	c (16,0) c   15       160     56723     8007    79766    37393   14.1   5.3  12.7 53.5%
85.79/65.77	c (18,0) c   17 r     178     63001     8008    79766    43699   14.3   5.6  12.6 52.4%
85.79/65.78	c (18,0) c
85.79/65.78	c (18,0) c R [LBD Statistics #3]
85.79/65.78	c (18,0) c R LBD         used lbd               used clause lbd
85.79/65.78	c (18,0) c R  tot     1961872                   43699
85.79/65.78	c (18,0) c R  avg       2.340                   5.560
85.79/65.78	c (18,0) c R   1       122581 ( 6.2/ 6.2%)        832 ( 1.9/ 1.9%)
85.79/65.78	c (18,0) c R   2      1418073 (72.3/78.5%)       8829 (20.2/22.1%)
85.79/65.78	c (18,0) c R   3       242237 (12.3/90.9%)       4440 (10.2/32.3%)
85.79/65.78	c (18,0) c R
85.79/65.78	c (18,0) c R core_lbd_threshold = 3
85.79/65.78	c (18,0) c R supp_lbd_threshold = 7
85.79/65.78	c (18,0) c R
85.79/65.78	c (18,0) c R [RDB Statistics #3]
85.79/65.78	c (18,0) c R kept: lbd      =   14009 (32.1/32.1%)
85.79/65.78	c (18,0) c R kept: ttl      =   12662 (29.0/61.0%)
85.79/65.78	c (18,0) c R kept: locked   =     101 ( 0.2/61.3%)
85.79/65.78	c (18,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
85.79/65.78	c (18,0) c R lost: ttl      =   16927 (38.7/38.7%)
85.79/65.78	c (18,0) c R lost: subsumed =       0 ( 0.0/38.7%)
85.79/65.78	c (18,0) c
85.79/65.78	c (18,0) c   17 R     178     63001     8008    79766    26772   11.1   3.8  12.6 52.4%
87.61/67.51	c (20,0) c   19       199     68170     8008    79766    31965   11.8   4.4  13.2 49.4%
92.02/71.98	c (24,0) c   24       225     81907     8008    79766    45731   13.2   5.1  12.1 51.8%
93.42/73.34	c (25,0) c   25 r     231     86001     8008    79766    49829   13.5   5.3  12.1 52.0%
93.42/73.35	c (25,0) c
93.42/73.35	c (25,0) c R [LBD Statistics #4]
93.42/73.35	c (25,0) c R LBD         used lbd               used clause lbd
93.42/73.35	c (25,0) c R  tot     3206473                   49829
93.42/73.35	c (25,0) c R  avg       2.292                   5.287
93.42/73.35	c (25,0) c R   1       213841 ( 6.7/ 6.7%)       1040 ( 2.1/ 2.1%)
93.42/73.35	c (25,0) c R   2      2362554 (73.7/80.3%)      10892 (21.9/23.9%)
93.42/73.35	c (25,0) c R
93.42/73.35	c (25,0) c R core_lbd_threshold = 2
93.42/73.35	c (25,0) c R supp_lbd_threshold = 7
93.42/73.35	c (25,0) c R
93.42/73.35	c (25,0) c R [RDB Statistics #4]
93.42/73.35	c (25,0) c R kept: lbd      =   11849 (23.8/23.8%)
93.42/73.35	c (25,0) c R kept: ttl      =   15800 (31.7/55.5%)
93.42/73.35	c (25,0) c R kept: locked   =     101 ( 0.2/55.7%)
93.42/73.35	c (25,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
93.42/73.35	c (25,0) c R lost: ttl      =   22079 (44.3/44.3%)
93.42/73.35	c (25,0) c R lost: subsumed =       0 ( 0.0/44.3%)
93.42/73.35	c (25,0) c
93.42/73.35	c (25,0) c   25 R     231     86001     8008    79766    27750    9.7   3.3  12.1 52.0%
98.02/77.91	c (30,0) c   30       241     98391     8008    79766    40154   11.6   4.4  11.7 53.6%
98.52/78.49	c (31,0) c   30 f     247    100000     8008    79766    41762   11.8   4.5  11.6 53.6%
102.12/82.04	c (34,0) c   34 r     259    110000     8009    79766    51775   12.5   4.9  10.9 52.5%
102.12/82.05	c (34,0) c
102.12/82.05	c (34,0) c R [LBD Statistics #5]
102.12/82.05	c (34,0) c R LBD         used lbd               used clause lbd
102.12/82.05	c (34,0) c R  tot     4681872                   51775
102.12/82.05	c (34,0) c R  avg       2.253                   4.915
102.12/82.05	c (34,0) c R   1       319853 ( 6.8/ 6.8%)       1210 ( 2.3/ 2.3%)
102.12/82.05	c (34,0) c R   2      3513857 (75.1/81.9%)      12785 (24.7/27.0%)
102.12/82.05	c (34,0) c R
102.12/82.05	c (34,0) c R core_lbd_threshold = 2
102.12/82.05	c (34,0) c R supp_lbd_threshold = 6
102.12/82.05	c (34,0) c R
102.12/82.05	c (34,0) c R [RDB Statistics #5]
102.12/82.05	c (34,0) c R kept: lbd      =   13955 (27.0/27.0%)
102.12/82.07	c (34,0) c R kept: ttl      =   18785 (36.3/63.2%)
102.12/82.07	c (34,0) c R kept: locked   =      49 ( 0.1/63.3%)
102.12/82.07	c (34,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
102.12/82.07	c (34,0) c R lost: ttl      =   18986 (36.7/36.7%)
102.12/82.07	c (34,0) c R lost: subsumed =       0 ( 0.0/36.7%)
102.12/82.07	c (34,0) c
102.12/82.07	c (34,0) c   34 R     259    110000     8009    79766    32789    9.8   3.3  10.9 52.5%
105.03/84.94	c (37,0) c   37       261    118172     8009    79766    40964   10.8   3.9  10.4 53.7%
111.44/91.32	c (43,0) c   43 r     277    135001     8009    79766    57811   12.2   4.7  10.5 53.4%
111.44/91.34	c (43,0) c
111.44/91.34	c (43,0) c R [LBD Statistics #6]
111.44/91.34	c (43,0) c R LBD         used lbd               used clause lbd
111.44/91.34	c (43,0) c R  tot     6318071                   57811
111.44/91.34	c (43,0) c R  avg       2.223                   4.719
111.44/91.34	c (43,0) c R   1       438242 ( 6.9/ 6.9%)       1348 ( 2.3/ 2.3%)
111.44/91.34	c (43,0) c R   2      4817503 (76.2/83.2%)      14684 (25.4/27.7%)
111.44/91.34	c (43,0) c R
111.44/91.34	c (43,0) c R core_lbd_threshold = 2
111.44/91.34	c (43,0) c R supp_lbd_threshold = 6
111.44/91.34	c (43,0) c R
111.44/91.34	c (43,0) c R [RDB Statistics #6]
111.44/91.34	c (43,0) c R kept: lbd      =   16012 (27.7/27.7%)
111.44/91.34	c (43,0) c R kept: ttl      =   15790 (27.3/55.0%)
111.44/91.34	c (43,0) c R kept: locked   =      27 ( 0.0/55.1%)
111.44/91.34	c (43,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
111.44/91.34	c (43,0) c R lost: ttl      =   25982 (44.9/44.9%)
111.44/91.34	c (43,0) c R lost: subsumed =       0 ( 0.0/44.9%)
111.44/91.34	c (43,0) c
111.44/91.34	c (43,0) c
111.44/91.34	c (43,0) c   variables         : 8009        (init 8546, after simp 8439, 12 non-decs, 25 csp)
111.44/91.34	c (43,0) c   clauses           : 79766       (init 80322, after simp 80206)
111.44/91.34	c (43,0) c   restarts          : 276         (487.37 confs/res, 50~8119 confs, 0 blks, 0 last)
111.44/91.34	c (43,0) c   conflicts         : 135001      (3122 /sec, 52.02% dconfs, 0.00% supp, trail 380.06w x 12.72h, jmp 1.23h)
111.44/91.34	c (43,0) c   decisions         : 170134      (0.9500 vdcy, 3935 /sec, 0.00% bin, rs 0.005 s)
111.44/91.34	c (43,0) c   propagations      : 201465470   (4659220 /sec, 1184.16 lits/dec, 0.23% o.a.)
111.44/91.34	c (43,0) c   conflict literals : 3644029     (35.05% deleted; 3.62% by bin min, 0.025 s)
111.44/91.34	c (43,0) c   len               : 9.168       (16.55 for all, max 249, used 203)
111.44/91.34	c (43,0) c   lbd               : 2.938       (8.10 (6.73) for all, max 23, used 22, 0.919 stdev, 2.044 blk)
111.44/91.34	c (43,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
111.44/91.34	c (43,0) c   simp dbs          : 1           (0.000 s)
111.44/91.34	c (43,0) c   reduce dbs        : 6           (core-lbd 2, supp-lbd 6, 0.059 s)
111.44/91.34	c (43,0) c   learnts           : 31829       (103723 learnts removed, 76.83%)
111.44/91.34	c (43,0) c   rewrite dbs       : 5           (472/536 vars, 440+123 taut, 0+0 unit, 0.066 s)
111.44/91.34	c (43,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
111.44/91.34	c (43,0) c   premise updates   : 461821      (27.36 /lit)
111.44/91.34	c (43,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
111.44/91.34	c (43,0) c   equiv variables   : 536         (11 bin, 8 trn, 4 quat, 3 quin, 32 othr; 0 amo)
111.44/91.34	c (43,0) c   lazy added bins   : 674         (674 prop + 0 conf, 0.013s)
111.44/91.34	c (43,0) c   unwatched lit elim: 20225       (2.14+0.38%, 6450+13775 of 300741+3644029)
111.44/91.34	c (43,0) c   classified type   : undef
111.44/91.34	c (43,0) c   progress          : 0.000 %
111.44/91.34	c (43,0) c
111.44/91.34	c (43,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
111.44/91.34	c (43,0) c
111.44/91.34	c (43,0) c   43 R     277    135001     8009    79766    31829    9.2   2.9  10.5 53.4%
113.95/93.87	c (46,0) c   46       294    141909     8010    79766    38742   10.4   3.7  11.9 52.1%
121.25/101.11	c (53,0) c   53 r     334    161001     8012    79766    57845   11.9   4.7  11.4 51.5%
121.25/101.12	c (53,0) c
121.25/101.12	c (53,0) c R [LBD Statistics #7]
121.25/101.12	c (53,0) c R LBD         used lbd               used clause lbd
121.25/101.12	c (53,0) c R  tot     8096866                   57845
121.25/101.12	c (53,0) c R  avg       2.199                   4.694
121.25/101.12	c (53,0) c R   1       575512 ( 7.1/ 7.1%)       1523 ( 2.6/ 2.6%)
121.25/101.12	c (53,0) c R   2      6251182 (77.2/84.3%)      16488 (28.5/31.1%)
121.25/101.12	c (53,0) c R
121.25/101.12	c (53,0) c R core_lbd_threshold = 2
121.25/101.12	c (53,0) c R supp_lbd_threshold = 6
121.25/101.12	c (53,0) c R
121.25/101.12	c (53,0) c R [RDB Statistics #7]
121.25/101.12	c (53,0) c R kept: lbd      =   17956 (31.0/31.0%)
121.25/101.12	c (53,0) c R kept: ttl      =   15433 (26.7/57.7%)
121.25/101.12	c (53,0) c R kept: locked   =      63 ( 0.1/57.8%)
121.25/101.12	c (53,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
121.25/101.12	c (53,0) c R lost: ttl      =   24393 (42.2/42.2%)
121.25/101.12	c (53,0) c R lost: subsumed =       0 ( 0.0/42.2%)
121.25/101.12	c (53,0) c
121.25/101.12	c (53,0) c   53 R     334    161001     8012    79766    33452    9.1   2.9  11.4 51.5%
124.66/104.54	c (57,0) c   56       355    170394     8012    79766    42855   10.5   3.7  11.1 53.6%
128.07/107.97	c (60,0) c   60 e     361    179063     7929    79697    51456   11.1   4.2  11.0 53.5%
131.36/111.24	c (63,0) c   63 r     362    188000     7929    79697    60395   11.6   4.5   9.5 52.1%
131.36/111.25	c (63,0) c
131.36/111.25	c (63,0) c R [LBD Statistics #8]
131.36/111.25	c (63,0) c R LBD         used lbd               used clause lbd
131.36/111.25	c (63,0) c R  tot    10008147                   60395
131.36/111.25	c (63,0) c R  avg       2.180                   4.478
131.36/111.25	c (63,0) c R   1       725088 ( 7.2/ 7.2%)       1669 ( 2.8/ 2.8%)
131.36/111.25	c (63,0) c R   2      7802492 (78.0/85.2%)      18227 (30.2/32.9%)
131.36/111.25	c (63,0) c R
131.36/111.25	c (63,0) c R core_lbd_threshold = 2
131.36/111.25	c (63,0) c R supp_lbd_threshold = 6
131.36/111.25	c (63,0) c R
131.36/111.25	c (63,0) c R [RDB Statistics #8]
131.36/111.25	c (63,0) c R kept: lbd      =   19762 (32.7/32.7%)
131.36/111.25	c (63,0) c R kept: ttl      =   16812 (27.8/60.6%)
131.36/111.25	c (63,0) c R kept: locked   =      54 ( 0.1/60.6%)
131.36/111.25	c (63,0) c R lost: lbd      =      89 ( 0.1/ 0.1%)
131.36/111.25	c (63,0) c R lost: ttl      =   23678 (39.2/39.4%)
131.36/111.25	c (63,0) c R lost: subsumed =       0 ( 0.0/39.4%)
131.36/111.25	c (63,0) c
131.36/111.25	c (63,0) c   63 R     362    188000     7929    79697    36628    8.9   2.9   9.5 52.1%
136.86/116.75	c (69,0) c   68       370    201841     5908    78914    46856   10.0   3.6   8.7 49.2%
136.86/116.75	c (69,0) c
136.86/116.75	c (69,0) c
136.86/116.75	c (69,0) c variables         : 5908        (init 8546, after simp 8439, 9 non-decs, 25 csp)
136.86/116.75	c (69,0) c clauses           : 78914       (init 80322, after simp 80206)
136.86/116.75	c (69,0) c restarts          : 369         (545.52 confs/res, 50~8820 confs, 0 blks, 0 last)
136.86/116.75	c (69,0) c conflicts         : 201841      (2946 /sec, 51.26% dconfs, 0.00% supp, trail 404.45w x 12.01h, jmp 1.19h)
136.86/116.75	c (69,0) c decisions         : 244780      (0.9500 vdcy, 3572 /sec, 0.00% bin, rs 0.006 s)
136.86/116.75	c (69,0) c propagations      : 314743645   (4593138 /sec, 1285.82 lits/dec, 0.22% o.a.)
136.86/116.75	c (69,0) c conflict literals : 5488831     (37.60% deleted; 3.68% by bin min, 0.039 s)
136.86/116.75	c (69,0) c len               : 9.999       (15.97 for all, max 249, used 203)
136.86/116.75	c (69,0) c lbd               : 3.648       (8.03 (6.65) for all, max 23, used 22, 0.838 stdev, 1.989 blk)
136.86/116.75	c (69,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
136.86/116.75	c (69,0) c simp dbs          : 2           (0.013 s)
136.86/116.75	c (69,0) c reduce dbs        : 8           (core-lbd 2, supp-lbd 6, 0.084 s)
136.86/116.75	c (69,0) c learnts           : 46856       (151883 learnts removed, 75.25%)
136.86/116.75	c (69,0) c rewrite dbs       : 6           (556/1229 vars, 509+195 taut, 0+0 unit, 0.086 s)
136.86/116.75	c (69,0) c assigned lits     : 0           (0/601 probed, 601 remains)
136.86/116.75	c (69,0) c premise updates   : 1170914     (69.38 /lit)
136.86/116.75	c (69,0) c probed variables  : 601         (0 pr, 347 eq, 6 fld, 248 pol, 0 nec, 0 cla, 0 amo)
136.86/116.75	c (69,0) c equiv variables   : 1229        (177 bin, 16 trn, 20 quat, 14 quin, 43 othr; 0 amo)
136.86/116.75	c (69,0) c lazy added bins   : 714         (714 prop + 0 conf, 0.019s)
136.86/116.75	c (69,0) c unwatched lit elim: 36556       (2.73+0.52%, 8203+28353 of 300741+5488831)
136.86/116.75	c (69,0) c classified type   : undef
136.86/116.75	c (69,0) c progress          : 25.489%
136.86/116.75	c (69,0) c
136.86/116.75	c (69,0) c [Statistics]
136.86/116.75	c (69,0) c             learnts len        learnts lbd        lit blk size       eq vars size
136.86/116.75	c (69,0) c  tot      201840             201840            1620714                270
136.86/116.75	c (69,0) c  avg      15.967              6.650              1.989              5.552
136.86/116.75	c (69,0) c   1            9 ( 0.0%)       1775 ( 0.9%)    1157601 (71.4%)          0 ( 0.0%)
136.86/116.75	c (69,0) c   2          124 ( 0.1%)      19101 ( 9.5%)     185967 (11.5%)        177 (65.6%)
136.86/116.75	c (69,0) c   3          811 ( 0.4%)      11681 ( 5.8%)      90929 ( 5.6%)         16 ( 5.9%)
136.86/116.75	c (69,0) c   4         3049 ( 1.5%)      15494 ( 7.7%)      52178 ( 3.2%)         20 ( 7.4%)
136.86/116.75	c (69,0) c   5         4697 ( 2.3%)      20782 (10.3%)      32963 ( 2.0%)         14 ( 5.2%)
136.86/116.75	c (69,0) c   6         6717 ( 3.3%)      26546 (13.2%)      22849 ( 1.4%)         10 ( 3.7%)
136.86/116.75	c (69,0) c   7         9329 ( 4.6%)      28774 (14.3%)      16721 ( 1.0%)          7 ( 2.6%)
136.86/116.75	c (69,0) c   8        11475 ( 5.7%)      26115 (12.9%)      12230 ( 0.8%)          2 ( 0.7%)
136.86/116.75	c (69,0) c   9        12750 ( 6.3%)      20370 (10.1%)       9332 ( 0.6%)          3 ( 1.1%)
136.86/116.75	c (69,0) c  10        13407 ( 6.6%)      13618 ( 6.7%)       7286 ( 0.4%)          1 ( 0.4%)
136.86/116.75	c (69,0) c  11        13596 ( 6.7%)       8270 ( 4.1%)       5817 ( 0.4%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  12        13355 ( 6.6%)       4553 ( 2.3%)       4596 ( 0.3%)          1 ( 0.4%)
136.86/116.75	c (69,0) c  13        12642 ( 6.3%)       2380 ( 1.2%)       3657 ( 0.2%)          1 ( 0.4%)
136.86/116.75	c (69,0) c  14        11429 ( 5.7%)       1174 ( 0.6%)       3029 ( 0.2%)          1 ( 0.4%)
136.86/116.75	c (69,0) c  15         9878 ( 4.9%)        651 ( 0.3%)       2461 ( 0.2%)          2 ( 0.7%)
136.86/116.75	c (69,0) c  16         8487 ( 4.2%)        277 ( 0.1%)       2046 ( 0.1%)          5 ( 1.9%)
136.86/116.75	c (69,0) c  17         7354 ( 3.6%)        147 ( 0.1%)       1695 ( 0.1%)          1 ( 0.4%)
136.86/116.75	c (69,0) c  18         6533 ( 3.2%)         73 ( 0.0%)       1376 ( 0.1%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  19         5709 ( 2.8%)         41 ( 0.0%)       1207 ( 0.1%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  20         5118 ( 2.5%)         11 ( 0.0%)       1049 ( 0.1%)          1 ( 0.4%)
136.86/116.75	c (69,0) c  21         4555 ( 2.3%)          5 ( 0.0%)        855 ( 0.1%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  22         4041 ( 2.0%)          1 ( 0.0%)        774 ( 0.0%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  23         3715 ( 1.8%)          1 ( 0.0%)        582 ( 0.0%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  24         3305 ( 1.6%)          0 ( 0.0%)        487 ( 0.0%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  25         2936 ( 1.5%)          0 ( 0.0%)        422 ( 0.0%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  26         2681 ( 1.3%)          0 ( 0.0%)        364 ( 0.0%)          1 ( 0.4%)
136.86/116.75	c (69,0) c  27         2461 ( 1.2%)          0 ( 0.0%)        286 ( 0.0%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  28         2243 ( 1.1%)          0 ( 0.0%)        244 ( 0.0%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  29         1967 ( 1.0%)          0 ( 0.0%)        202 ( 0.0%)          0 ( 0.0%)
136.86/116.75	c (69,0) c  30        17467 ( 8.7%)          0 ( 0.0%)       1509 ( 0.1%)          7 ( 2.6%)
136.86/116.75	c (69,0) c
136.86/116.75	c (69,0) c [LBD Statistics]
136.86/116.75	c (69,0) c LBD          used lbd               used clause lbd         unused clause lbd
136.86/116.75	c (69,0) c  tot     11056941                   80814                  121536
136.86/116.75	c (69,0) c  avg        2.171                   4.998                   7.728
136.86/116.75	c (69,0) c    1       807372 ( 7.3/ 7.3%)       1766 ( 2.2/ 2.2%)          0 ( 0.0/ 0.0%)
136.86/116.75	c (69,0) c    2      8662482 (78.3/85.6%)      18907 (23.4/25.6%)        713 ( 0.6/ 0.6%)
136.86/116.75	c (69,0) c    3       991614 ( 9.0/94.6%)       9624 (11.9/37.5%)       2057 ( 1.7/ 2.3%)
136.86/116.75	c (69,0) c    4       359404 ( 3.3/97.9%)       9568 (11.8/49.3%)       5926 ( 4.9/ 7.2%)
136.86/116.75	c (69,0) c    5       121791 ( 1.1/99.0%)       9381 (11.6/60.9%)      11401 ( 9.4/16.5%)
136.86/116.76	c (69,0) c    6        50356 ( 0.5/99.4%)       8484 (10.5/71.4%)      18062 (14.9/31.4%)
136.86/116.76	c (69,0) c    7        24925 ( 0.2/99.6%)       7565 ( 9.4/80.8%)      21209 (17.5/48.8%)
136.86/116.76	c (69,0) c    8        14648 ( 0.1/99.8%)       5752 ( 7.1/87.9%)      20363 (16.8/65.6%)
136.86/116.76	c (69,0) c    9         9320 ( 0.1/99.9%)       3977 ( 4.9/92.8%)      16393 (13.5/79.1%)
136.86/116.76	c (69,0) c   10         6161 ( 0.1/99.9%)       2520 ( 3.1/96.0%)      11098 ( 9.1/88.2%)
136.86/116.76	c (69,0) c   11         3843 ( 0.0/100.0%)       1538 ( 1.9/97.9%)       6732 ( 5.5/93.8%)
136.86/116.76	c (69,0) c   12         2244 ( 0.0/100.0%)        854 ( 1.1/98.9%)       3699 ( 3.0/96.8%)
136.86/116.76	c (69,0) c   13         1298 ( 0.0/100.0%)        435 ( 0.5/99.5%)       1945 ( 1.6/98.4%)
136.86/116.76	c (69,0) c   14          725 ( 0.0/100.0%)        205 ( 0.3/99.7%)        969 ( 0.8/99.2%)
136.86/116.76	c (69,0) c   15          366 ( 0.0/100.0%)        133 ( 0.2/99.9%)        518 ( 0.4/99.6%)
136.86/116.76	c (69,0) c   16          207 ( 0.0/100.0%)         58 ( 0.1/99.9%)        219 ( 0.2/99.8%)
136.86/116.76	c (69,0) c   17           99 ( 0.0/100.0%)         25 ( 0.0/100.0%)        122 ( 0.1/99.9%)
136.86/116.76	c (69,0) c   18           48 ( 0.0/100.0%)         11 ( 0.0/100.0%)         62 ( 0.1/100.0%)
136.86/116.76	c (69,0) c   19           21 ( 0.0/100.0%)          9 ( 0.0/100.0%)         32 ( 0.0/100.0%)
136.86/116.76	c (69,0) c   20            8 ( 0.0/100.0%)          0 ( 0.0/100.0%)         11 ( 0.0/100.0%)
136.86/116.76	c (69,0) c   21            6 ( 0.0/100.0%)          1 ( 0.0/100.0%)          4 ( 0.0/100.0%)
136.86/116.76	c (69,0) c   22            3 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
136.86/116.76	c (69,0) c   23            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
136.86/116.76	c (69,0) c
136.86/116.76	c (69,0) c Memory used       : 39.00 MB
136.86/116.76	c (69,0) c CPU time          : 68.526 s
136.86/116.76	c (69,0) c Real time         : 68.975 s
136.86/116.76	c (69,0) c
136.86/116.76	c (69,0) s UNSATISFIABLE
136.86/116.76	c (69,0) SatSolver.solve End
136.86/116.76	c (69,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
136.86/116.76	c (69,0) Show results Begin
136.86/116.76	s UNSATISFIABLE
136.86/116.76	c (69,0) Show results End
136.86/116.76	c (69,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
136.86/116.76	c (69,0) 69,69,STOP-AFTER(ALL)
136.86/116.76	c END-Prog: Thu Sep 12 14:07:56 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 (1633 MiB free)
  memory of node 1: 16384 MiB (5364 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387779-1568289999/watcher-4387779-1568289999 -o /tmp/evaluation-result-4387779-1568289999/solver-4387779-1568289999 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --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-4387779-1568289999.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=9865, runsolver pid=9862
Current StackSize limit: 8192 KiB


[startup+0.100125 s]*
/proc/loadavg: 1.89 2.13 2.07 3/230 9882
/proc/meminfo: memFree=7105600/32770624 swapFree=67036660/67108860
[pid=9865] ppid=9862 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (scop.sh) S 9862 9865 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405272536 115843072 349 33554432000 4194304 5098028 140726916164832 140726916162088 140365086229116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37441536 140726916170536 140726916170864 140726916170864 140726916173773 0
/proc/9865/statm: 28282 349 296 221 0 87 0
[pid=9868] ppid=9865 vsize=15012696 memory=72384 CPUtime=0.11 cores=0,2,4,6
/proc/9868/stat : 9868 (java) S 9865 9865 7440 0 -1 1077944320 6370 0 0 0 10 1 0 0 20 0 15 0 405272537 15373000704 18096 33554432000 4194304 4196468 140732083165488 140732083148032 140536673644279 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
/proc/9868/statm: 3753174 18096 2887 1 0 3715579 0
[pid=9868/tid=9869] ppid=9865 vsize=15012696 memory=7901178124628628315 CPUtime=0.09 cores=0,2,4,6
/proc/9868/task/9869/stat : 9869 (java) R 9865 9865 7440 0 -1 4202560 4290 0 0 0 8 1 0 0 20 0 15 0 405272537 15373000704 18162 33554432000 4194304 4196468 140732083165488 140536645438088 140536653921244 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9870] ppid=9865 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9870/stat : 9870 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 18162 33554432000 4194304 4196468 140732083165488 140536677886608 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9871] ppid=9865 vsize=15012696 memory=139759608272512 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9871/stat : 9871 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 18162 33554432000 4194304 4196468 140732083165488 140536133941776 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9872] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9872/stat : 9872 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 18162 33554432000 4194304 4196468 140732083165488 140536132888976 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9873] ppid=9865 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9873/stat : 9873 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 18162 33554432000 4194304 4196468 140732083165488 140536131836176 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9874] ppid=9865 vsize=15012696 memory=139759608272512 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9874/stat : 9874 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272540 15373000704 18162 33554432000 4194304 4196468 140732083165488 140535711193968 140536673655426 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9875] ppid=9865 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9875/stat : 9875 (java) S 9865 9865 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405272540 15373000704 18162 33554432000 4194304 4196468 140732083165488 140535222232608 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9876] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9876/stat : 9876 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272541 15373000704 18162 33554432000 4194304 4196468 140732083165488 140534953796976 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9877] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9877/stat : 9877 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405272543 15373000704 18162 33554432000 4194304 4196468 140732083165488 140534579288400 140536673662875 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9878] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9878/stat : 9878 (java) S 9865 9865 7440 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 405272543 15373000704 18162 33554432000 4194304 4196468 140732083165488 140535710140784 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9879] ppid=9865 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9879/stat : 9879 (java) S 9865 9865 7440 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 405272543 15373000704 18162 33554432000 4194304 4196468 140732083165488 140535709087984 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9880] ppid=9865 vsize=15012696 memory=139759608272512 CPUtime=0.01 cores=0,2,4,6
/proc/9868/task/9880/stat : 9880 (java) R 9865 9865 7440 0 -1 4202560 435 0 0 0 1 0 0 0 20 0 15 0 405272543 15373000704 18162 33554432000 4194304 4196468 140732083165488 140535708032392 140536665881406 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9881] ppid=9865 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9881/stat : 9881 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405272543 15373000704 18162 33554432000 4194304 4196468 140732083165488 140534081382624 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9882] ppid=9865 vsize=15012696 memory=139759608272512 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9882/stat : 9882 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272544 15373000704 18162 33554432000 4194304 4196468 140732083165488 140535706983600 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73780 KiB

[startup+0.211794 s]*
/proc/loadavg: 1.89 2.13 2.07 3/230 9882
/proc/meminfo: memFree=7085236/32770624 swapFree=67036660/67108860
[pid=9865] ppid=9862 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (scop.sh) S 9862 9865 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405272536 115843072 349 33554432000 4194304 5098028 140726916164832 140726916162088 140365086229116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37441536 140726916170536 140726916170864 140726916170864 140726916173773 0
/proc/9865/statm: 28282 349 296 221 0 87 0
[pid=9868] ppid=9865 vsize=15012696 memory=87748 CPUtime=0.24 cores=0,2,4,6
/proc/9868/stat : 9868 (java) S 9865 9865 7440 0 -1 1077944320 11509 0 0 0 21 3 0 0 20 0 15 0 405272537 15373000704 21937 33554432000 4194304 4196468 140732083165488 140732083148032 140536673644279 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
/proc/9868/statm: 3753174 21937 2950 1 0 3715579 0
[pid=9868/tid=9869] ppid=9865 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/9868/task/9869/stat : 9869 (java) R 9865 9865 7440 0 -1 4202560 9257 0 0 0 17 2 0 0 20 0 15 0 405272537 15373000704 21937 33554432000 4194304 4196468 140732083165488 140536645427840 140536658809934 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9870] ppid=9865 vsize=15012696 memory=13574 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9870/stat : 9870 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 21937 33554432000 4194304 4196468 140732083165488 140536677886608 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9871] ppid=9865 vsize=15012696 memory=139759610725220 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9871/stat : 9871 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 21937 33554432000 4194304 4196468 140732083165488 140536133941776 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9872] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9872/stat : 9872 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 21937 33554432000 4194304 4196468 140732083165488 140536132888976 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9873] ppid=9865 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9873/stat : 9873 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 21937 33554432000 4194304 4196468 140732083165488 140536131836176 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9874] ppid=9865 vsize=15012696 memory=139759608272512 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9874/stat : 9874 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272540 15373000704 21937 33554432000 4194304 4196468 140732083165488 140535711193968 140536673655426 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9875] ppid=9865 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9875/stat : 9875 (java) S 9865 9865 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405272540 15373000704 21937 33554432000 4194304 4196468 140732083165488 140535222232608 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9876] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9876/stat : 9876 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272541 15373000704 21937 33554432000 4194304 4196468 140732083165488 140534953796976 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9877] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9877/stat : 9877 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405272543 15373000704 21937 33554432000 4194304 4196468 140732083165488 140534579288400 140536673662875 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9878] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9878/stat : 9878 (java) S 9865 9865 7440 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 405272543 15373000704 21937 33554432000 4194304 4196468 140732083165488 140535710140784 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9879] ppid=9865 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9879/stat : 9879 (java) S 9865 9865 7440 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 405272543 15373000704 21937 33554432000 4194304 4196468 140732083165488 140535709087984 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9880] ppid=9865 vsize=15012696 memory=139759608272512 CPUtime=0.02 cores=0,2,4,6
/proc/9868/task/9880/stat : 9880 (java) S 9865 9865 7440 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 15 0 405272543 15373000704 21937 33554432000 4194304 4196468 140732083165488 140535708035184 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9881] ppid=9865 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9881/stat : 9881 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405272543 15373000704 21937 33554432000 4194304 4196468 140732083165488 140534081382624 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9882] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9882/stat : 9882 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272544 15373000704 21937 33554432000 4194304 4196468 140732083165488 140535706983600 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89144 KiB

[startup+0.310819 s]*
/proc/loadavg: 1.89 2.13 2.07 3/230 9882
/proc/meminfo: memFree=7082072/32770624 swapFree=67036660/67108860
[pid=9865] ppid=9862 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (scop.sh) S 9862 9865 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405272536 115843072 349 33554432000 4194304 5098028 140726916164832 140726916162088 140365086229116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37441536 140726916170536 140726916170864 140726916170864 140726916173773 0
/proc/9865/statm: 28282 349 296 221 0 87 0
[pid=9868] ppid=9865 vsize=15012696 memory=92028 CPUtime=0.41 cores=0,2,4,6
/proc/9868/stat : 9868 (java) S 9865 9865 7440 0 -1 1077944320 12531 0 0 0 38 3 0 0 20 0 15 0 405272537 15373000704 23007 33554432000 4194304 4196468 140732083165488 140732083148032 140536673644279 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
/proc/9868/statm: 3753174 23007 3059 1 0 3715579 0
[pid=9868/tid=9869] ppid=9865 vsize=15012696 memory=7883960649037381690 CPUtime=0.28 cores=0,2,4,6
/proc/9868/task/9869/stat : 9869 (java) R 9865 9865 7440 0 -1 4202560 10101 0 0 0 26 2 0 0 20 0 15 0 405272537 15373000704 23007 33554432000 4194304 4196468 140732083165488 140536645434912 140536655207835 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9870] ppid=9865 vsize=15012696 memory=13917 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9870/stat : 9870 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 23007 33554432000 4194304 4196468 140732083165488 140536677886608 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9871] ppid=9865 vsize=15012696 memory=2939461 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9871/stat : 9871 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 23007 33554432000 4194304 4196468 140732083165488 140536133941776 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9872] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9872/stat : 9872 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 23007 33554432000 4194304 4196468 140732083165488 140536132888976 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9873] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9873/stat : 9873 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272538 15373000704 23007 33554432000 4194304 4196468 140732083165488 140536131836176 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9874] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9874/stat : 9874 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272540 15373000704 23007 33554432000 4194304 4196468 140732083165488 140535711193968 140536673655426 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9875] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9875/stat : 9875 (java) S 9865 9865 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405272540 15373000704 23007 33554432000 4194304 4196468 140732083165488 140535222232608 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9876] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9876/stat : 9876 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272541 15373000704 23007 33554432000 4194304 4196468 140732083165488 140534953796976 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9877] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9877/stat : 9877 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405272543 15373000704 23007 33554432000 4194304 4196468 140732083165488 140534579288400 140536673662875 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9878] ppid=9865 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9868/task/9878/stat : 9878 (java) S 9865 9865 7440 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 15 0 405272543 15373000704 23007 33554432000 4194304 4196468 140732083165488 140535710140784 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9879] ppid=9865 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9868/task/9879/stat : 9879 (java) S 9865 9865 7440 0 -1 1077944384 267 0 0 0 3 0 0 0 20 0 15 0 405272543 15373000704 23007 33554432000 4194304 4196468 140732083165488 140535709087984 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9880] ppid=9865 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9868/task/9880/stat : 9880 (java) S 9865 9865 7440 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 15 0 405272543 15373000704 23007 33554432000 4194304 4196468 140732083165488 140535708035184 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9881] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9881/stat : 9881 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405272543 15373000704 23007 33554432000 4194304 4196468 140732083165488 140534081382624 140536673654485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9882] ppid=9865 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9882/stat : 9882 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272544 15373000704 23007 33554432000 4194304 4196468 140732083165488 140535706983600 140536673655426 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93424 KiB

[startup+0.700795 s]
/proc/loadavg: 1.89 2.13 2.07 3/230 9882
/proc/meminfo: memFree=7059992/32770624 swapFree=67036660/67108860
[pid=9865] ppid=9862 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (scop.sh) S 9862 9865 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405272536 115843072 349 33554432000 4194304 5098028 140726916164832 140726916162088 140365086229116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37441536 140726916170536 140726916170864 140726916170864 140726916173773 0
/proc/9865/statm: 28282 349 296 221 0 87 0
[pid=9868] ppid=9865 vsize=15018968 memory=129016 CPUtime=0.96 cores=0,2,4,6
/proc/9868/stat : 9868 (java) S 9865 9865 7440 0 -1 1077944320 19514 0 0 0 91 5 0 0 20 0 15 0 405272537 15379423232 32254 33554432000 4194304 4196468 140732083165488 140732083148032 140536673644279 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
/proc/9868/statm: 3754742 32254 3183 1 0 3716091 0
[pid=9868/tid=9869] ppid=9865 vsize=15018968 memory=13240 CPUtime=0.66 cores=0,2,4,6
/proc/9868/task/9869/stat : 9869 (java) R 9865 9865 7440 0 -1 4202560 16666 0 0 0 61 5 0 0 20 0 15 0 405272537 15379423232 32254 33554432000 4194304 4196468 140732083165488 140536645479608 140536673666205 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9870] ppid=9865 vsize=15018968 memory=500 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9870/stat : 9870 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272538 15379423232 32254 33554432000 4194304 4196468 140732083165488 140536677886608 140536673654485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9871] ppid=9865 vsize=15018968 memory=1736 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9871/stat : 9871 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272538 15379423232 32254 33554432000 4194304 4196468 140732083165488 140536133941776 140536673654485 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9872] ppid=9865 vsize=15018968 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9872/stat : 9872 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405272538 15379423232 32254 33554432000 4194304 4196468 140732083165488 140536132888976 140536673654485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9873] ppid=9865 vsize=15018968 memory=924 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9873/stat : 9873 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272538 15379423232 32254 33554432000 4194304 4196468 140732083165488 140536131836176 140536673654485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9874] ppid=9865 vsize=15018968 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9874/stat : 9874 (java) S 9865 9865 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405272540 15379423232 32254 33554432000 4194304 4196468 140732083165488 140535711193968 140536673655426 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9875] ppid=9865 vsize=15018968 memory=2064 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9875/stat : 9875 (java) S 9865 9865 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405272540 15379423232 32254 33554432000 4194304 4196468 140732083165488 140535222232608 140536673654485 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9876] ppid=9865 vsize=15018968 memory=2876 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9876/stat : 9876 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272541 15379423232 32254 33554432000 4194304 4196468 140732083165488 140534953796976 140536673654485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9877] ppid=9865 vsize=15018968 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9877/stat : 9877 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405272543 15379423232 32254 33554432000 4194304 4196468 140732083165488 140534579288400 140536673662875 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9878] ppid=9865 vsize=15018968 memory=892 CPUtime=0.07 cores=0,2,4,6
/proc/9868/task/9878/stat : 9878 (java) S 9865 9865 7440 0 -1 1077944384 586 0 0 0 7 0 0 0 20 0 15 0 405272543 15379423232 32254 33554432000 4194304 4196468 140732083165488 140535710140784 140536673655426 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9879] ppid=9865 vsize=15018968 memory=1760 CPUtime=0.07 cores=0,2,4,6
/proc/9868/task/9879/stat : 9879 (java) R 9865 9865 7440 0 -1 4202560 350 0 0 0 7 0 0 0 20 0 15 0 405272543 15379423232 32254 33554432000 4194304 4196468 140732083165488 140535709087984 140536666629321 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9880] ppid=9865 vsize=15018968 memory=111632 CPUtime=0.14 cores=0,2,4,6
/proc/9868/task/9880/stat : 9880 (java) R 9865 9865 7440 0 -1 4202560 577 0 0 0 14 0 0 0 20 0 15 0 405272543 15379423232 32254 33554432000 4194304 4196468 140732083165488 140535708035184 140536654419482 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9881] ppid=9865 vsize=15018968 memory=804 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9881/stat : 9881 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405272543 15379423232 32254 33554432000 4194304 4196468 140732083165488 140534081382624 140536673654485 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
[pid=9868/tid=9882] ppid=9865 vsize=15018968 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/9868/task/9882/stat : 9882 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405272544 15379423232 32254 33554432000 4194304 4196468 140732083165488 140535706983600 140536673655426 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34484224 140732083172079 140732083172506 140732083172506 140732083175375 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130412 KiB

[startup+1.50084 s]
/proc/loadavg: 1.89 2.13 2.07 5/230 9882
/proc/meminfo: memFree=6916272/32770624 swapFree=67036660/67108860
[pid=9865] ppid=9862 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (scop.sh) S 9862 9865 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405272536 115843072 349 33554432000 4194304 5098028 140726916164832 140726916162088 140365086229116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37441536 140726916170536 140726916170864 140726916170864 140726916173773 0
/proc/9865/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 136.17 s
Current children cumulated vsize: 8222256 KiB
Current children cumulated memory: 151900 KiB

[startup+116.401 s]
/proc/loadavg: 1.87 2.05 2.04 3/235 9909
/proc/meminfo: memFree=6302368/32770624 swapFree=67036660/67108860
[pid=9865] ppid=9862 vsize=113128 memory=1476 CPUtime=66.69 cores=0,2,4,6
/proc/9865/stat : 9865 (scop.sh) S 9862 9865 7440 0 -1 4202496 584 71500 0 0 0 0 6447 222 20 0 1 0 405272536 115843072 369 33554432000 4194304 5098028 140726916164832 140726916161576 140365086229116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37441536 140726916170536 140726916170864 140726916170864 140726916173773 0
/proc/9865/statm: 28282 369 311 221 0 87 0
[pid=9885] ppid=9865 vsize=8068440 memory=124812 CPUtime=1.27 cores=0,2,4,6
/proc/9885/stat : 9885 (java) S 9865 9865 7440 0 -1 1077944320 22652 0 0 0 117 10 0 0 20 0 19 0 405277242 8262082560 31203 33554432000 4194304 4196468 140721192025200 140721192007744 140324879740663 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
/proc/9885/statm: 2017110 31203 3209 1 0 1978454 0
[pid=9900] ppid=9885 vsize=40688 memory=25612 CPUtime=68.6 cores=0,2,4,6
/proc/9900/stat : 9900 (glueminisat-sim) R 9885 9865 7440 0 -1 4202496 22425 0 0 0 6816 44 0 0 20 0 1 0 405277315 41664512 6403 33554432000 4194304 4452875 140727463464400 140727463459432 139667000242055 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 23613440 140727463469920 140727463470119 140727463470119 140727463473069 0
/proc/9900/statm: 10172 6403 375 64 0 6376 0
[pid=9885/tid=9886] ppid=9865 vsize=8068440 memory=25608 CPUtime=0.75 cores=0,2,4,6
/proc/9885/task/9886/stat : 9886 (java) S 9865 9865 7440 0 -1 1077944384 17355 0 0 0 70 5 0 0 20 0 19 0 405277243 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324851580832 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9887] ppid=9865 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9887/stat : 9887 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324883982864 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9888] ppid=9865 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9888/stat : 9888 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324365040272 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9889] ppid=9865 vsize=8068440 memory=6 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9889/stat : 9889 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324363987216 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9890] ppid=9865 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9890/stat : 9890 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324362934672 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9891] ppid=9865 vsize=8068440 memory=124812 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9891/stat : 9891 (java) S 9865 9865 7440 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405277245 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324192000752 140324879751810 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9892] ppid=9865 vsize=8068440 memory=25608 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9892/stat : 9892 (java) S 9865 9865 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405277246 8262082560 31203 33554432000 4194304 4196468 140721192025200 140323695093408 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9893] ppid=9865 vsize=8068440 memory=15080 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9893/stat : 9893 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405277246 8262082560 31203 33554432000 4194304 4196468 140721192025200 140323426657520 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9894] ppid=9865 vsize=8068440 memory=19260 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9894/stat : 9894 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140323052149200 140324879759259 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9895] ppid=9865 vsize=8068440 memory=2676 CPUtime=0.09 cores=0,2,4,6
/proc/9885/task/9895/stat : 9895 (java) S 9865 9865 7440 0 -1 1077944384 616 0 0 0 9 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324190947568 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9896] ppid=9865 vsize=8068440 memory=13240 CPUtime=0.09 cores=0,2,4,6
/proc/9885/task/9896/stat : 9896 (java) S 9865 9865 7440 0 -1 1077944384 430 0 0 0 9 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324189895024 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9897] ppid=9865 vsize=8068440 memory=4104 CPUtime=0.22 cores=0,2,4,6
/proc/9885/task/9897/stat : 9897 (java) S 9865 9865 7440 0 -1 1077944384 1157 0 0 0 22 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324188841968 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9898] ppid=9865 vsize=8068440 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9898/stat : 9898 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140322554243424 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9899] ppid=9865 vsize=8068440 memory=2844 CPUtime=0.02 cores=0,2,4,6
/proc/9885/task/9899/stat : 9899 (java) S 9865 9865 7440 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 405277249 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324187790384 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9901] ppid=9865 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9901/stat : 9901 (java) S 9865 9865 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405277315 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324179756864 140324879765273 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9903] ppid=9865 vsize=8068440 memory=3040 CPUtime=0.03 cores=0,2,4,6
/proc/9885/task/9903/stat : 9903 (java) S 9865 9865 7440 0 -1 4202560 1699 0 0 0 2 1 0 0 20 0 19 0 405277315 8262082560 31203 33554432000 4194304 4196468 140721192025200 140322017361776 140324879762589 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9904] ppid=9865 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9904/stat : 9904 (java) S 9865 9865 7440 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405277315 8262082560 31203 33554432000 4194304 4196468 140721192025200 140321748925968 140324879762589 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9905] ppid=9865 vsize=8068440 memory=5323596 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9905/stat : 9905 (java) S 9865 9865 7440 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405277318 8262082560 31203 33554432000 4194304 4196468 140721192025200 140322285804848 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
Current children cumulated CPU time: 136.56 s
Current children cumulated vsize: 8222256 KiB
Current children cumulated memory: 151900 KiB

[startup+116.601 s]
/proc/loadavg: 1.87 2.05 2.04 3/235 9909
/proc/meminfo: memFree=6302368/32770624 swapFree=67036660/67108860
[pid=9865] ppid=9862 vsize=113128 memory=1476 CPUtime=66.69 cores=0,2,4,6
/proc/9865/stat : 9865 (scop.sh) S 9862 9865 7440 0 -1 4202496 584 71500 0 0 0 0 6447 222 20 0 1 0 405272536 115843072 369 33554432000 4194304 5098028 140726916164832 140726916161576 140365086229116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37441536 140726916170536 140726916170864 140726916170864 140726916173773 0
/proc/9865/statm: 28282 369 311 221 0 87 0
[pid=9885] ppid=9865 vsize=8068440 memory=124812 CPUtime=1.27 cores=0,2,4,6
/proc/9885/stat : 9885 (java) S 9865 9865 7440 0 -1 1077944320 22652 0 0 0 117 10 0 0 20 0 19 0 405277242 8262082560 31203 33554432000 4194304 4196468 140721192025200 140721192007744 140324879740663 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
/proc/9885/statm: 2017110 31203 3209 1 0 1978454 0
[pid=9900] ppid=9885 vsize=40688 memory=25612 CPUtime=68.8 cores=0,2,4,6
/proc/9900/stat : 9900 (glueminisat-sim) R 9885 9865 7440 0 -1 4202496 22436 0 0 0 6836 44 0 0 20 0 1 0 405277315 41664512 6403 33554432000 4194304 4452875 140727463464400 140727463459432 139667000242055 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 23613440 140727463469920 140727463470119 140727463470119 140727463473069 0
/proc/9900/statm: 10172 6403 375 64 0 6376 0
[pid=9885/tid=9886] ppid=9865 vsize=8068440 memory=1384 CPUtime=0.75 cores=0,2,4,6
/proc/9885/task/9886/stat : 9886 (java) S 9865 9865 7440 0 -1 1077944384 17355 0 0 0 70 5 0 0 20 0 19 0 405277243 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324851580832 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9887] ppid=9865 vsize=8068440 memory=15080 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9887/stat : 9887 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324883982864 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9888] ppid=9865 vsize=8068440 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9888/stat : 9888 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324365040272 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9889] ppid=9865 vsize=8068440 memory=3824 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9889/stat : 9889 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324363987216 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9890] ppid=9865 vsize=8068440 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9890/stat : 9890 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324362934672 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9891] ppid=9865 vsize=8068440 memory=15080 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9891/stat : 9891 (java) S 9865 9865 7440 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405277245 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324192000752 140324879751810 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9892] ppid=9865 vsize=8068440 memory=19260 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9892/stat : 9892 (java) S 9865 9865 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405277246 8262082560 31203 33554432000 4194304 4196468 140721192025200 140323695093408 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9893] ppid=9865 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9893/stat : 9893 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405277246 8262082560 31203 33554432000 4194304 4196468 140721192025200 140323426657520 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9894] ppid=9865 vsize=8068440 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9894/stat : 9894 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140323052149200 140324879759259 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9895] ppid=9865 vsize=8068440 memory=16100381516106309 CPUtime=0.09 cores=0,2,4,6
/proc/9885/task/9895/stat : 9895 (java) S 9865 9865 7440 0 -1 1077944384 616 0 0 0 9 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324190947568 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9896] ppid=9865 vsize=8068440 memory=75 CPUtime=0.09 cores=0,2,4,6
/proc/9885/task/9896/stat : 9896 (java) S 9865 9865 7440 0 -1 1077944384 430 0 0 0 9 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324189895024 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9897] ppid=9865 vsize=8068440 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/9885/task/9897/stat : 9897 (java) S 9865 9865 7440 0 -1 1077944384 1157 0 0 0 22 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324188841968 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9898] ppid=9865 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9898/stat : 9898 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140322554243424 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9899] ppid=9865 vsize=8068440 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9885/task/9899/stat : 9899 (java) S 9865 9865 7440 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 405277249 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324187790384 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9901] ppid=9865 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9901/stat : 9901 (java) S 9865 9865 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405277315 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324179756864 140324879765273 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9903] ppid=9865 vsize=8068440 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9885/task/9903/stat : 9903 (java) S 9865 9865 7440 0 -1 4202560 1699 0 0 0 2 1 0 0 20 0 19 0 405277315 8262082560 31203 33554432000 4194304 4196468 140721192025200 140322017361776 140324879762589 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9904] ppid=9865 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9904/stat : 9904 (java) S 9865 9865 7440 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405277315 8262082560 31203 33554432000 4194304 4196468 140721192025200 140321748925968 140324879762589 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9905] ppid=9865 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9905/stat : 9905 (java) S 9865 9865 7440 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405277318 8262082560 31203 33554432000 4194304 4196468 140721192025200 140322285804848 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
Current children cumulated CPU time: 136.76 s
Current children cumulated vsize: 8222256 KiB
Current children cumulated memory: 151900 KiB

[startup+116.701 s]
/proc/loadavg: 1.87 2.05 2.04 3/235 9909
/proc/meminfo: memFree=6302368/32770624 swapFree=67036660/67108860
[pid=9865] ppid=9862 vsize=113128 memory=1476 CPUtime=66.69 cores=0,2,4,6
/proc/9865/stat : 9865 (scop.sh) S 9862 9865 7440 0 -1 4202496 584 71500 0 0 0 0 6447 222 20 0 1 0 405272536 115843072 369 33554432000 4194304 5098028 140726916164832 140726916161576 140365086229116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37441536 140726916170536 140726916170864 140726916170864 140726916173773 0
/proc/9865/statm: 28282 369 311 221 0 87 0
[pid=9885] ppid=9865 vsize=8068440 memory=124812 CPUtime=1.27 cores=0,2,4,6
/proc/9885/stat : 9885 (java) S 9865 9865 7440 0 -1 1077944320 22652 0 0 0 117 10 0 0 20 0 19 0 405277242 8262082560 31203 33554432000 4194304 4196468 140721192025200 140721192007744 140324879740663 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
/proc/9885/statm: 2017110 31203 3209 1 0 1978454 0
[pid=9900] ppid=9885 vsize=40688 memory=25612 CPUtime=68.9 cores=0,2,4,6
/proc/9900/stat : 9900 (glueminisat-sim) R 9885 9865 7440 0 -1 4202496 22444 0 0 0 6846 44 0 0 20 0 1 0 405277315 41664512 6403 33554432000 4194304 4452875 140727463464400 140727463459432 139667000242055 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 23613440 140727463469920 140727463470119 140727463470119 140727463473069 0
/proc/9900/statm: 10172 6403 375 64 0 6376 0
[pid=9885/tid=9886] ppid=9865 vsize=8068440 memory=1476 CPUtime=0.75 cores=0,2,4,6
/proc/9885/task/9886/stat : 9886 (java) S 9865 9865 7440 0 -1 1077944384 17355 0 0 0 70 5 0 0 20 0 19 0 405277243 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324851580832 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9887] ppid=9865 vsize=8068440 memory=124812 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9887/stat : 9887 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324883982864 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9888] ppid=9865 vsize=8068440 memory=124812 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9888/stat : 9888 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324365040272 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9889] ppid=9865 vsize=8068440 memory=25612 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9889/stat : 9889 (java) S 9865 9865 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324363987216 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9890] ppid=9865 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9890/stat : 9890 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405277244 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324362934672 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9891] ppid=9865 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9891/stat : 9891 (java) S 9865 9865 7440 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405277245 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324192000752 140324879751810 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9892] ppid=9865 vsize=8068440 memory=124812 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9892/stat : 9892 (java) S 9865 9865 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405277246 8262082560 31203 33554432000 4194304 4196468 140721192025200 140323695093408 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9893] ppid=9865 vsize=8068440 memory=860 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9893/stat : 9893 (java) S 9865 9865 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405277246 8262082560 31203 33554432000 4194304 4196468 140721192025200 140323426657520 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9894] ppid=9865 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9894/stat : 9894 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140323052149200 140324879759259 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9895] ppid=9865 vsize=8068440 memory=1476 CPUtime=0.09 cores=0,2,4,6
/proc/9885/task/9895/stat : 9895 (java) S 9865 9865 7440 0 -1 1077944384 616 0 0 0 9 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324190947568 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9896] ppid=9865 vsize=8068440 memory=1476 CPUtime=0.09 cores=0,2,4,6
/proc/9885/task/9896/stat : 9896 (java) S 9865 9865 7440 0 -1 1077944384 430 0 0 0 9 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324189895024 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9897] ppid=9865 vsize=8068440 memory=124812 CPUtime=0.22 cores=0,2,4,6
/proc/9885/task/9897/stat : 9897 (java) S 9865 9865 7440 0 -1 1077944384 1157 0 0 0 22 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324188841968 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9898] ppid=9865 vsize=8068440 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9898/stat : 9898 (java) S 9865 9865 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405277248 8262082560 31203 33554432000 4194304 4196468 140721192025200 140322554243424 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9899] ppid=9865 vsize=8068440 memory=25608 CPUtime=0.02 cores=0,2,4,6
/proc/9885/task/9899/stat : 9899 (java) S 9865 9865 7440 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 405277249 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324187790384 140324879751810 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9901] ppid=9865 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9901/stat : 9901 (java) S 9865 9865 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405277315 8262082560 31203 33554432000 4194304 4196468 140721192025200 140324179756864 140324879765273 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9903] ppid=9865 vsize=8068440 memory=1476 CPUtime=0.03 cores=0,2,4,6
/proc/9885/task/9903/stat : 9903 (java) S 9865 9865 7440 0 -1 4202560 1699 0 0 0 2 1 0 0 20 0 19 0 405277315 8262082560 31203 33554432000 4194304 4196468 140721192025200 140322017361776 140324879762589 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9904] ppid=9865 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9904/stat : 9904 (java) S 9865 9865 7440 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405277315 8262082560 31203 33554432000 4194304 4196468 140721192025200 140321748925968 140324879762589 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
[pid=9885/tid=9905] ppid=9865 vsize=8068440 memory=124812 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9905/stat : 9905 (java) S 9865 9865 7440 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405277318 8262082560 31203 33554432000 4194304 4196468 140721192025200 140322285804848 140324879750869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31924224 140721192031228 140721192031386 140721192031386 140721192034255 0
Current children cumulated CPU time: 136.86 s
Current children cumulated vsize: 8222256 KiB
Current children cumulated memory: 151900 KiB

Child status: 0
Real time (s): 116.776
CPU time (s): 136.984
CPU user time (s): 134.199
CPU system time (s): 2.78459
CPU usage (%): 117.305
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4231840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.199
system time used= 2.78459
maximum resident set size= 4230824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9497
involuntary context switches= 257


# summary of solver processes directly reported to runsolver:
#   pid: 9865
#   total CPU time (s): 136.984
#   total CPU user time (s): 134.199
#   total CPU system time (s): 2.78459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.841225 second user time and 1.22874 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-12 14:06:00
IDJOB=4387779
IDBENCH=125591
IDSOLVER=2825
FILE ID=node150/4387779-1568289999
RUNJOBID= node150-1568287240-8653
PBS_JOBID= 21701061
Free space on /tmp= 52200 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-4.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-4387779-1568289999/watcher-4387779-1568289999 -o /tmp/evaluation-result-4387779-1568289999/solver-4387779-1568289999 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --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-4387779-1568289999.xml

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

MD5SUM BENCH= cc3fcfac109c3d277a0ef72b27cdc983
RANDOM SEED=1891625532

node150.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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         7166352 kB
MemAvailable:   26515940 kB
Buffers:          168384 kB
Cached:         19233748 kB
SwapCached:         2344 kB
Active:          8822108 kB
Inactive:       15917508 kB
Active(anon):    5309296 kB
Inactive(anon):    70104 kB
Active(file):    3512812 kB
Inactive(file): 15847404 kB
Unevictable:      110668 kB
Mlocked:          110668 kB
SwapTotal:      67108860 kB
SwapFree:       67036660 kB
Dirty:             71600 kB
Writeback:             0 kB
AnonPages:       5446252 kB
Mapped:            59320 kB
Shmem:             32688 kB
Slab:             447184 kB
SReclaimable:     417832 kB
SUnreclaim:        29352 kB
KernelStack:        3808 kB
PageTables:        15952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13203376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5259264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 51496 MiB
End job on node150 at 2019-09-12 14:07:57