Trace number 4388103

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+GlueMiniSat (2019-06-15)SAT 16.9272 7.87127

General information on the benchmark

NameBlackhole/Blackhole-m1-s13/
Blackhole-13-3-04.xml
MD5SUM5cc270e62cab521987b2b853f5e11200
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.020399
Satisfiable
(Un)Satisfiability was proved
Number of variables104
Number of constraints87
Number of domains1
Minimum domain size52
Maximum domain size52
Distribution of domain sizes[{"size":52,"count":104}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":87},{"degree":3,"count":17}]
Minimum constraint arity1
Maximum constraint arity104
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":85},{"arity":104,"count":1}]
Number of extensional constraints51
Number of intensional constraints35
Distribution of constraint types[{"type":"extension","count":51},{"type":"intension","count":35},{"type":"channel","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-18897-serial-file.bin HOME/instance-4388103-1568295370.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 15:35:32 CEST 2019
0.66/0.56	c PID: 18900
0.66/0.56	c IP: 172.20.3.133
0.66/0.56	c HOST: node133.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.59/0.94	c (0,0) Parsing End
1.59/0.95	c (0,0) CSP: 104 int (0 aux), 0 bool (0 aux), 87 ctr, max domain size 52
1.59/0.95	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.59/0.95	c (0,0) Constraint Name Generate Begin
1.59/0.95	c (0,0) Ctr:HOME/instance-4388103-1568295370.xml,ChannelTwoLists:Eq:ExtensionSupport:Lt:Num:Var
1.59/0.95	c (0,0) Constraint Name Generate End
1.59/0.95	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.59/0.95	c (0,0) CSP to CSPinCNF Begin
3.79/1.79	c (1,1) translated 9 (10%) constraints
3.79/1.79	c (1,1) translated 18 (20%) constraints
4.10/1.80	c (1,1) translated 27 (30%) constraints
4.10/1.80	c (1,1) translated 35 (40%) constraints
5.13/2.15	c (1,1) translated 44 (50%) constraints
5.73/2.35	c (1,1) translated 53 (60%) constraints
6.35/2.50	c (1,1) translated 61 (70%) constraints
6.65/2.66	c (2,2) translated 70 (80%) constraints
7.26/2.81	c (2,2) translated 79 (90%) constraints
7.57/2.95	c (2,2) translated 87 (100%) constraints
7.57/2.96	c (2,2) ===========================================
7.57/2.97	c (2,2) Order
7.57/2.97	c (2,2) ===========================================
8.44/3.22	c (2,2) translated 1922 (10%) constraints
9.01/3.41	c (2,2) translated 3843 (20%) constraints
9.20/3.55	c (3,2) translated 5764 (30%) constraints
9.48/3.60	c (3,3) translated 7686 (40%) constraints
9.48/3.66	c (3,3) translated 9607 (50%) constraints
9.78/3.71	c (3,3) translated 11528 (60%) constraints
9.78/3.75	c (3,3) translated 13450 (70%) constraints
9.78/3.79	c (3,3) translated 15371 (80%) constraints
10.01/3.83	c (3,3) translated 17292 (90%) constraints
10.01/3.87	c (3,3) translated 19213 (100%) constraints
10.01/3.87	c (3,3) CSP to CSPinCNF End
10.01/3.88	c (3,3) CSP: 103 int (0 aux), 6072 bool (6071 aux), 30030 ctr, max domain size 52
10.01/3.88	c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.01/3.88	c (3,3) CSPinCNF Propagation Begin
11.06/4.31	c (3,3) 596 values, 1881 unsatisfiable literals, and 1829 valid clauses are removed
11.06/4.31	c (3,3) CSPinCNF Propagation End
11.06/4.31	c (3,3) CSP: 102 int (0 aux), 6073 bool (6071 aux), 28201 ctr, max domain size 51
11.06/4.31	c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.06/4.32	c (3,3) Simplify CSPinCNF Begin
11.34/4.41	c (3,3) Simplify CSPinCNF End
11.34/4.41	c (3,3) CSP: 102 int (0 aux), 6073 bool (6071 aux), 28201 ctr, max domain size 51
11.34/4.41	c (3,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.34/4.41	c (3,3) Calculate Precise Domain Begin
11.34/4.41	c (3,3) 0 values are removed by re-calculation
11.34/4.41	c (3,3) Calculate Precise Domain End
11.34/4.41	c (3,3) CSP: 102 int (0 aux), 6073 bool (6071 aux), 28201 ctr, max domain size 51
11.34/4.41	c (3,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.34/4.41	c (3,3) CSPinCNF to SatSolver Begin
11.62/4.60	c (4,4) 2821 (10 %) CSP clauses are encoded (0 SAT variables, 7649 SAT clauses)
11.96/4.66	c (4,4) 5641 (20 %) CSP clauses are encoded (0 SAT variables, 10469 SAT clauses)
12.23/4.71	c (4,4) 8461 (30 %) CSP clauses are encoded (0 SAT variables, 13289 SAT clauses)
12.23/4.75	c (4,4) 11281 (40 %) CSP clauses are encoded (0 SAT variables, 16109 SAT clauses)
12.23/4.79	c (4,4) 14101 (50 %) CSP clauses are encoded (0 SAT variables, 18929 SAT clauses)
12.54/4.86	c (4,4) 16921 (60 %) CSP clauses are encoded (0 SAT variables, 23329 SAT clauses)
12.86/4.91	c (4,4) 19741 (70 %) CSP clauses are encoded (0 SAT variables, 26149 SAT clauses)
12.86/4.96	c (4,4) 22561 (80 %) CSP clauses are encoded (0 SAT variables, 28969 SAT clauses)
13.19/5.01	c (4,4) 25381 (90 %) CSP clauses are encoded (0 SAT variables, 31789 SAT clauses)
13.19/5.05	c (4,4) 28201 (100 %) CSP clauses are encoded (0 SAT variables, 34609 SAT clauses)
13.19/5.05	c (4,4) CSPinCNF to SatSolver End
13.19/5.05	c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
13.19/5.05	c (4,4) 10626 bool, 34610 clause
13.19/5.05	c (4,4) Export Begin
13.40/5.14	c (4,4) Export to HOME/scop-18897-serial-file.bin
13.40/5.14	c (4,4) Export End
13.40/5.14	c (4,4) Export File Size: 0.02 MB
13.40/5.14	c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
13.40/5.14	c END-Prog: Thu Sep 12 15:35:36 CEST 2019
13.40/5.15	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18897-serial-file.bin
13.48/5.60	c (0,0) Read Serial File Begin
13.48/5.60	c (0,0) HOME/scop-18897-serial-file.bin
13.48/5.81	c (0,0) Read Serial File End
13.48/5.82	
13.48/5.82	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
13.48/5.82	(Solving Process)
13.48/5.82	
13.48/5.84	c BEGIN-Prog: Thu Sep 12 15:35:37 CEST 2019
13.48/5.84	c PID: 18917
13.48/5.84	c IP: 172.20.3.133
13.48/5.84	c HOST: node133.alineos.net
13.48/5.85	c (0,0) SatSolver.solve Begin
13.48/5.85	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388103-1568295370.xml-scop-18900.cnf
13.48/5.88	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.48/5.88	c (0,0) c glueminisat-simp-2.2.10-193oa-n
13.48/5.88	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388103-1568295370.xml-scop-18900.cnf 
13.48/5.88	c (0,0) c Options:
13.48/5.88	c (0,0) c CORE
13.48/5.88	c (0,0) c  var_decay             = 0.950
13.48/5.88	c (0,0) c  clause_decay          = 0.999
13.48/5.88	c (0,0) c  random_var_freq       = 0.000
13.48/5.88	c (0,0) c  random_seed           = 91648253.000
13.48/5.88	c (0,0) c  luby_restart          = 1
13.48/5.88	c (0,0) c  ccmin_mode            = 2
13.48/5.88	c (0,0) c  phase_saving          = 2
13.48/5.88	c (0,0) c  rnd_pol               = 0
13.48/5.88	c (0,0) c  rnd_init_act          = 0
13.48/5.88	c (0,0) c  garbage_frac          = 0.200
13.48/5.88	c (0,0) c  restart_first         = 1000
13.48/5.88	c (0,0) c  restart_inc           = 2.000
13.48/5.88	c (0,0) c MODEL
13.48/5.88	c (0,0) c  partial_model         = 0
13.48/5.88	c (0,0) c PROPAGATION
13.48/5.88	c (0,0) c  bin_propagation       = 1
13.48/5.88	c (0,0) c SIMPLIFICATION
13.48/5.88	c (0,0) c  lrn_min_size          = 100
13.48/5.88	c (0,0) c  lazy_simp             = 1
13.48/5.88	c (0,0) c  lazy_interval         = 10
13.48/5.88	c (0,0) c  lazy_fld_probing      = 1
13.48/5.88	c (0,0) c  lazy_pol_probing      = 1
13.48/5.88	c (0,0) c  lazy_nec_probing      = 1
13.48/5.88	c (0,0) c  lazy_eqv_probing      = 1
13.48/5.88	c (0,0) c  lazy_cla_probing      = 1
13.48/5.89	c (0,0) c  lazy_lrn_min          = 2
13.48/5.89	c (0,0) c  lazy_uw_lit_elim      = 1
13.48/5.89	c (0,0) c  lazy_pr_lit_elim      = 0
13.48/5.89	c (0,0) c  lazy_bin_add          = 3
13.48/5.89	c (0,0) c  probed_lit_chain      = 1
13.48/5.89	c (0,0) c  pr_min_lits           = 0.00020
13.48/5.89	c (0,0) c  pr_min_starts         = 500
13.48/5.89	c (0,0) c  rw_min_lits           = 0.010
13.48/5.89	c (0,0) c  rw_min_starts         = 500
13.48/5.89	c (0,0) c  rand_attach           = 0
13.48/5.89	c (0,0) c  dec_elim              = 1
13.48/5.89	c (0,0) c  dec_elim_lim          = 25
13.48/5.89	c (0,0) c  dec_elim_len          = -1
13.48/5.89	c (0,0) c  amo                   = 0
13.48/5.89	c (0,0) c  amo_grp               = 1
13.48/5.89	c (0,0) c  amo_max_bins          = 1000000
13.48/5.89	c (0,0) c  amo_starts            = 50
13.48/5.89	c (0,0) c  mace_cmd              = mace
13.48/5.89	c (0,0) c DECISION
13.48/5.89	c (0,0) c  rand_rebuild          = 0
13.48/5.89	c (0,0) c  rand_rebuild_confs    = 10000
13.48/5.89	c (0,0) c  inc_var_decay         = 1
13.48/5.89	c (0,0) c  inc_var_decay_period  = 100000
13.48/5.89	c (0,0) c  inc_var_decay_init    = 0.600
13.48/5.89	c (0,0) c  var_decay_mode        = 0
13.48/5.89	c (0,0) c  var_decay_gain        = 0
13.48/5.89	c (0,0) c  sloped_var_decay      = 1
13.48/5.89	c (0,0) c  max_var_decay         = 0.990
13.48/5.89	c (0,0) c  min_var_decay         = 0.950
13.48/5.89	c (0,0) c  min_var_decay_vars    = 10000
13.48/5.89	c (0,0) c  max_var_decay_vars    = 500
13.48/5.89	c (0,0) c  uip_bumping           = 1
13.48/5.89	c (0,0) c  lbd_act_bumping       = 1
13.48/5.89	c (0,0) c  rand_tiebreak         = 0
13.48/5.89	c (0,0) c  simp_rebuild          = 1
13.48/5.89	c (0,0) c RESTART
13.48/5.89	c (0,0) c  restart_strategy      = 2
13.48/5.89	c (0,0) c  restart_blocking      = 0
13.48/5.89	c (0,0) c  agility_decay         = 0.99990
13.48/5.89	c (0,0) c  lbd_restart_rate      = 0.800
13.48/5.89	c (0,0) c  dec_restart_rate      = 0.950
13.48/5.89	c (0,0) c  blk_restart_rate      = 0.700
13.48/5.89	c (0,0) c  lbd_queue_size        = 50
13.48/5.89	c (0,0) c  dec_queue_size        = 50
13.48/5.89	c (0,0) c  trl_queue_size        = 5000
13.48/5.89	c (0,0) c  blk_restart_weight    = 1.000
13.48/5.89	c (0,0) c  inc_rst_rate          = 0
13.48/5.89	c (0,0) c  inc_rst_rate_period   = 500000
13.48/5.89	c (0,0) c  inc_lbd_rst_rate_init = 0.600
13.48/5.89	c (0,0) c  inc_dec_rst_rate_init = 0.750
13.48/5.89	c (0,0) c REDUCTION
13.48/5.89	c (0,0) c  closed_lbd            = 0
13.48/5.89	c (0,0) c  closed_lbd_rate       = 0.500
13.48/5.89	c (0,0) c  rm_simulate           = 0
13.48/5.89	c (0,0) c  rdb_eval              = 2
13.48/5.89	c (0,0) c  rdb_call              = 3
13.48/5.89	c (0,0) c  rdb_ub                = 0.500
13.48/5.89	c (0,0) c  core_lbd_cvr          = 0.800
13.48/5.89	c (0,0) c  supp_lbd_cvr          = 0.990
13.48/5.89	c (0,0) c  core_lbd_lb           = 2
13.48/5.89	c (0,0) c  supp_lbd_lb           = 2
13.48/5.89	c (0,0) c  core_lbd_prd          = 7
13.48/5.89	c (0,0) c  supp_lbd_prd          = 1
13.48/5.89	c (0,0) c  othr_lbd_prd          = 0
13.48/5.89	c (0,0) c  inc_lrn_limit         = 1000
13.48/5.89	c (0,0) c  frozen_lbd            = 30
13.48/5.89	c (0,0) c  simp_min_starts       = 100
13.48/5.89	c (0,0) c  rm_low_act_learnts    = 1
13.48/5.89	c (0,0) c  lv0_reduce_db         = 0
13.48/5.89	c (0,0) c  reduce_db_base        = 20000
13.48/5.89	c (0,0) c  reduce_db_inc         = 1000
13.48/5.89	c (0,0) c HARD
13.48/5.89	c (0,0) c  inst_check            = 200000
13.48/5.89	c (0,0) c  small_block           = 1.750
13.48/5.89	c (0,0) c  slow_restart_speed    = 400.000
13.48/5.89	c (0,0) c  slow_restart_strategy = 3
13.48/5.89	c (0,0) c  slow_lbd_restart_rate = 0.700
13.48/5.89	c (0,0) c  slow_dec_restart_rate = 1.000
13.48/5.89	c (0,0) c  slow_lbd_queue_size   = 50
13.48/5.89	c (0,0) c  slow_var_decay        = 0.950
13.48/5.89	c (0,0) c  slow_glue_threshold   = 2
13.48/5.89	c (0,0) c  slow_phase_saving     = 2
13.48/5.90	c (0,0) c  fast_restart_speed    = 125.000
13.48/5.90	c (0,0) c  fast_restart_strategy = 1
13.48/5.90	c (0,0) c  fast_lbd_restart_rate = 0.800
13.48/5.90	c (0,0) c  fast_dec_restart_rate = 0.950
13.48/5.90	c (0,0) c  fast_lbd_queue_size   = 50
13.48/5.90	c (0,0) c  fast_var_decay        = 1.000
13.48/5.90	c (0,0) c  fast_glue_threshold   = 2
13.48/5.90	c (0,0) c  fast_phase_saving     = 2
13.48/5.90	c (0,0) c STATS
13.48/5.90	c (0,0) c  stats_conf_size       = 10000
13.48/5.90	c (0,0) c  max_stats_size        = 30
13.48/5.90	c (0,0) c SOLVER
13.48/5.90	c (0,0) c  minisat               = 0
13.48/5.90	c (0,0) c Problem: 10626 variables, 34610 clauses, parsing 0.01 s
13.48/5.91	c (0,0) c  reduced to 5562 variables, 29087 clauses (grow = 0)
13.48/5.91	c (0,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
13.48/5.91	c (0,0) c Simplification: 5064 vars, 5523 clauses are eliminated using 0.03 s
13.48/5.91	c (0,0) c
13.48/5.91	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
13.48/5.91	c (0,0) c
13.48/5.91	c (0,0) c    0         0         0     5562    29087        0   -nan  -nan  -nan -nan%
13.48/5.92	c (0,0) c    0         1       100     5562    29087      100   11.9   6.7  69.4 29.3%
13.48/5.93	c (0,0) c    0         4       220     5562    29087      221   19.7   9.9  67.7 30.4%
13.48/5.93	c (0,0) c    0         5       364     5559    29087      363   18.8   9.4  58.9 25.8%
13.48/5.94	c (0,0) c    0         7       536     5557    29087      536   17.8   9.0  53.0 27.9%
13.48/5.96	c (0,0) c    0         8       743     5550    29087      742   17.2   8.9  50.7 27.7%
13.48/5.97	c (0,0) c    0         9       991     5547    29087      995   17.2   8.5  47.7 28.5%
13.48/5.97	c (0,0) c    0 p      10      1040     5543    29087     1044   17.4   8.7  47.7 28.7%
13.48/5.99	c (0,0) c    0        12      1289     5538    29087     1294   18.6   8.7  45.5 26.5%
13.48/6.00	c (0,0) c    0        12      1647     5538    29087     1652   18.4   7.8  39.3 23.8%
14.77/6.03	c (0,0) c    0        15      2076     5490    29087     2081   18.6   7.6  38.6 23.9%
14.77/6.06	c (0,0) c    0        18      2591     5486    29087     2600   18.4   7.5  38.0 24.0%
14.77/6.09	c (0,0) c    0        22      3210     5478    29087     3222   18.0   7.5  41.8 25.5%
14.87/6.12	c (0,0) c    0        28      3953     5474    29087     3967   18.2   7.5  41.4 24.2%
14.87/6.17	c (0,0) c    0 p      32      4810     5445    29087     4820   18.7   7.6  43.8 26.0%
14.87/6.17	c (0,0) c    0        32      4844     5445    29087     4854   18.6   7.6  44.0 26.0%
14.87/6.19	c (0,0) c
14.87/6.19	c (0,0) c   variables         : 5435        (init 10626, after simp 5562, 0 non-decs, 102 csp)
14.87/6.19	c (0,0) c   clauses           : 29087       (init 34610, after simp 29087)
14.87/6.19	c (0,0) c   restarts          : 32          (155.21 confs/res, 50~733 confs, 0 blks, 0 last)
14.87/6.19	c (0,0) c   conflicts         : 5122        (17312 /sec, 60.80% dconfs, 0.00% supp, trail 66.26w x 44.33h, jmp 2.43h)
14.87/6.19	c (0,0) c   decisions         : 14219       (0.6100 vdcy, 48058 /sec, 0.00% bin, rs 0.000 s)
14.87/6.19	c (0,0) c   propagations      : 1203800     (4068665 /sec, 84.66 lits/dec, 49.45% o.a.)
14.87/6.19	c (0,0) c   conflict literals : 132449      (27.65% deleted; 1.16% by bin min, 0.003 s)
14.87/6.19	c (0,0) c   len               : 18.368      (18.41 for all, max 133, used 92)
14.87/6.19	c (0,0) c   lbd               : 7.588       (8.69 (7.60) for all, max 38, used 38, 3.049 stdev, 2.117 blk)
14.87/6.19	c (0,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
14.87/6.19	c (0,0) c   simp dbs          : 1           (0.000 s)
14.87/6.19	c (0,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
14.87/6.19	c (0,0) c   learnts           : 5136        (0 learnts removed, 0.00%)
14.87/6.19	c (0,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
14.87/6.19	c (0,0) c   assigned lits     : 3           (2/7 probed, 0 remains)
14.87/6.19	c (0,0) c   premise updates   : 17517       (1.57 /lit)
14.87/6.19	c (0,0) c   probed variables  : 7           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 7 cla, 0 amo)
14.87/6.19	c (0,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
14.87/6.19	c (0,0) c   lazy added bins   : 37          (37 prop + 0 conf, 0.003s)
14.87/6.19	c (0,0) c   unwatched lit elim: 347         (0.03+0.24%, 27+320 of 79468+132449)
14.87/6.19	c (0,0) c   classified type   : undef
14.87/6.19	c (0,0) c   progress          : 2.283 %
14.87/6.19	c (0,0) c
14.87/6.19	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
14.87/6.19	c (0,0) c
14.87/6.19	c (0,0) c    0 p      33      5122     5435    29087     5136   18.4   7.6  44.3 26.1%
14.97/6.24	c (0,0) c    0        41      5913     5430    29087     5929   18.2   7.8  44.7 25.8%
15.07/6.30	c (0,0) c    0        47      7196     5430    29087     7212   18.0   7.8  46.9 26.7%
15.07/6.39	c (0,0) c    0        58      8736     5415    29087     8757   17.9   7.7  44.8 25.8%
15.17/6.49	c (0,0) c    0        71     10584     5389    29087    10622   18.3   7.7  44.3 25.6%
15.27/6.55	c (1,0) c    0 p      77     11563     5326    29087    11604   18.1   7.7  45.1 26.2%
15.27/6.58	c (1,0) c    0 p      81     11996     5308    29087    12043   18.1   7.7  45.9 26.4%
15.37/6.63	c (1,0) c    0        87     12802     5281    29087    12852   18.1   7.8  46.0 26.8%
15.47/6.72	c (1,0) c    0 p      91     14351     5267    29087    14416   18.4   7.6  43.1 26.3%
15.47/6.79	c (1,0) c    0        99     15464     5262    29087    15534   18.5   7.7  42.8 26.4%
15.58/6.87	c (1,0) c    0 p     108     16572     5253    27534    15956   18.1   7.7  40.9 26.1%
15.58/6.89	c (1,0) c    1 p     112     17012     5249    27534    16400   18.1   7.7  40.2 25.8%
15.68/6.93	c (1,0) c    1 p     116     17485     5244    27534    16876   18.1   7.7  40.6 25.8%
15.68/7.00	c (1,0) c    1       121     18658     5233    27534    18060   17.9   7.6  41.0 26.1%
15.79/7.07	c (1,0) c    1 p     131     19773     5228    27534    19179   18.1   7.7  41.6 26.7%
15.79/7.09	c (1,0) c    1 r     132     20000     5228    27534    19406   18.1   7.7  41.8 26.9%
15.79/7.09	c (1,0) c
15.79/7.09	c (1,0) c R [LBD Statistics #1]
15.79/7.09	c (1,0) c R LBD         used lbd               used clause lbd
15.79/7.10	c (1,0) c R  tot      223600                   19406
15.79/7.10	c (1,0) c R  avg       2.917                   7.705
15.79/7.10	c (1,0) c R   1        15964 ( 7.1/ 7.1%)        495 ( 2.6/ 2.6%)
15.79/7.10	c (1,0) c R   2       128431 (57.4/64.6%)       4644 (23.9/26.5%)
15.79/7.10	c (1,0) c R   3        34259 (15.3/79.9%)       1900 ( 9.8/36.3%)
15.79/7.10	c (1,0) c R   4        17908 ( 8.0/87.9%)       1440 ( 7.4/43.7%)
15.79/7.10	c (1,0) c R
15.79/7.10	c (1,0) c R core_lbd_threshold = 4
15.79/7.10	c (1,0) c R supp_lbd_threshold = 13
15.79/7.10	c (1,0) c R
15.79/7.10	c (1,0) c R [RDB Statistics #1]
15.79/7.10	c (1,0) c R kept: lbd      =    8228 (42.4/42.4%)
15.79/7.10	c (1,0) c R kept: ttl      =   10909 (56.2/98.6%)
15.79/7.10	c (1,0) c R kept: locked   =     269 ( 1.4/100.0%)
15.79/7.10	c (1,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
15.79/7.10	c (1,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
15.79/7.10	c (1,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
15.79/7.10	c (1,0) c
15.79/7.10	c (1,0) c
15.79/7.10	c (1,0) c   variables         : 5228        (init 10626, after simp 5562, 0 non-decs, 102 csp)
15.79/7.10	c (1,0) c   clauses           : 27534       (init 34610, after simp 29087)
15.79/7.10	c (1,0) c   restarts          : 131         (151.52 confs/res, 50~1262 confs, 0 blks, 0 last)
15.79/7.10	c (1,0) c   conflicts         : 20000       (17369 /sec, 60.21% dconfs, 0.00% supp, trail 64.29w x 43.29h, jmp 2.28h)
15.79/7.10	c (1,0) c   decisions         : 53123       (0.6700 vdcy, 46136 /sec, 0.00% bin, rs 0.001 s)
15.79/7.10	c (1,0) c   propagations      : 4638045     (4028021 /sec, 87.31 lits/dec, 51.10% o.a.)
15.79/7.10	c (1,0) c   conflict literals : 515580      (27.80% deleted; 1.09% by bin min, 0.009 s)
15.79/7.10	c (1,0) c   len               : 18.094      (18.33 for all, max 133, used 117)
15.79/7.10	c (1,0) c   lbd               : 7.705       (8.93 (7.69) for all, max 49, used 49, 2.285 stdev, 2.052 blk)
15.79/7.10	c (1,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
15.79/7.10	c (1,0) c   simp dbs          : 2           (0.006 s)
15.79/7.10	c (1,0) c   reduce dbs        : 1           (core-lbd 4, supp-lbd 13, 0.001 s)
15.79/7.10	c (1,0) c   learnts           : 19406       (0 learnts removed, 0.00%)
15.79/7.10	c (1,0) c   rewrite dbs       : 0           (0/1 vars, 0+0 taut, 0+0 unit, 0.000 s)
15.79/7.10	c (1,0) c   assigned lits     : 10          (22/46 probed, 0 remains)
15.79/7.10	c (1,0) c   premise updates   : 236353      (21.25 /lit)
15.79/7.10	c (1,0) c   probed variables  : 46          (3 pr, 0 eq, 11 fld, 17 pol, 0 nec, 15 cla, 0 amo)
15.79/7.10	c (1,0) c   equiv variables   : 1           (1 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
15.79/7.10	c (1,0) c   lazy added bins   : 165         (165 prop + 0 conf, 0.011s)
15.79/7.10	c (1,0) c   unwatched lit elim: 2637        (0.13+0.49%, 101+2536 of 79468+515580)
15.79/7.10	c (1,0) c   classified type   : undef
15.79/7.10	c (1,0) c   progress          : 6.005 %
15.79/7.10	c (1,0) c
15.79/7.10	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
15.79/7.10	c (1,0) c
15.79/7.10	c (1,0) c    1 R     132     20000     5228    27534    19406   18.1   7.7  41.8 26.9%
15.89/7.18	c (1,0) c    1 p     141     21364     5218    27534    20778   18.0   7.7  41.7 26.8%
15.99/7.24	c (1,0) c    1       146     22491     5218    27534    21914   18.0   7.7  41.5 26.6%
16.08/7.31	c (1,0) c    1 p     151     23434     5199    27534    22861   17.9   7.7  41.4 26.0%
16.08/7.36	c (1,0) c    1 p     157     24209     5197    27534    23636   18.0   7.7  42.6 26.2%
16.19/7.45	c (1,0) c    1 r     168     25500     5197    27534    24937   18.0   7.7  43.0 26.3%
16.19/7.46	c (1,0) c
16.19/7.46	c (1,0) c R [LBD Statistics #2]
16.19/7.46	c (1,0) c R LBD         used lbd               used clause lbd
16.19/7.46	c (1,0) c R  tot      335974                   24937
16.19/7.46	c (1,0) c R  avg       2.841                   7.687
16.19/7.46	c (1,0) c R   1        25502 ( 7.6/ 7.6%)        644 ( 2.6/ 2.6%)
16.19/7.46	c (1,0) c R   2       198052 (58.9/66.5%)       5892 (23.6/26.2%)
16.19/7.46	c (1,0) c R   3        48837 (14.5/81.1%)       2432 ( 9.8/36.0%)
16.19/7.46	c (1,0) c R
16.19/7.46	c (1,0) c R core_lbd_threshold = 3
16.19/7.46	c (1,0) c R supp_lbd_threshold = 13
16.19/7.46	c (1,0) c R
16.19/7.46	c (1,0) c R [RDB Statistics #2]
16.19/7.46	c (1,0) c R kept: lbd      =    8709 (34.9/34.9%)
16.19/7.46	c (1,0) c R kept: ttl      =    5120 (20.5/55.5%)
16.19/7.46	c (1,0) c R kept: locked   =     279 ( 1.1/56.6%)
16.19/7.46	c (1,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
16.19/7.46	c (1,0) c R lost: ttl      =   10829 (43.4/43.4%)
16.19/7.46	c (1,0) c R lost: subsumed =       0 ( 0.0/43.4%)
16.19/7.46	c (1,0) c
16.19/7.46	c (1,0) c    1 R     168     25500     5197    27534    14108    8.5   3.7  43.0 26.3%
16.19/7.48	c (1,0) c    1 p     170     25833     5180    27534    14444    8.8   3.8  42.7 26.3%
16.30/7.55	c (2,0) c    1       174     27091     5178    27534    15705    9.6   4.0  44.3 27.0%
16.40/7.62	c (2,0) c    1 p     180     28203     5173    27534    16833   10.2   4.2  43.5 26.8%
16.40/7.65	c (2,0) c    1 p     181     28639     5169    27534    17273   10.3   4.3  42.6 26.2%
16.40/7.69	c (2,0) c    1 p     186     29171     5167    27534    17804   10.7   4.4  42.3 26.0%
16.50/7.70	c (2,0) c    1       187     29442     5167    27534    18076   10.8   4.5  42.4 26.0%
16.50/7.70	c (2,0) c
16.50/7.70	c (2,0) c
16.50/7.70	c (2,0) c variables         : 5167        (init 10626, after simp 5562, 0 non-decs, 102 csp)
16.50/7.70	c (2,0) c clauses           : 27534       (init 34610, after simp 29087)
16.50/7.70	c (2,0) c restarts          : 186         (157.44 confs/res, 42~1262 confs, 0 blks, 0 last)
16.50/7.70	c (2,0) c conflicts         : 29442       (16882 /sec, 60.20% dconfs, 0.00% supp, trail 62.38w x 42.83h, jmp 2.25h)
16.50/7.70	c (2,0) c decisions         : 76542       (0.7000 vdcy, 43890 /sec, 0.00% bin, rs 0.001 s)
16.50/7.70	c (2,0) c propagations      : 6824738     (3913402 /sec, 89.16 lits/dec, 51.72% o.a.)
16.50/7.70	c (2,0) c conflict literals : 763458      (28.42% deleted; 1.04% by bin min, 0.012 s)
16.50/7.70	c (2,0) c len               : 10.803      (18.29 for all, max 133, used 117)
16.50/7.70	c (2,0) c lbd               : 4.507       (8.94 (7.65) for all, max 49, used 49, 2.087 stdev, 2.045 blk)
16.50/7.70	c (2,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
16.50/7.70	c (2,0) c simp dbs          : 2           (0.006 s)
16.50/7.70	c (2,0) c reduce dbs        : 2           (core-lbd 3, supp-lbd 13, 0.005 s)
16.50/7.70	c (2,0) c learnts           : 18076       (10829 learnts removed, 36.78%)
16.50/7.70	c (2,0) c rewrite dbs       : 0           (0/2 vars, 0+0 taut, 0+0 unit, 0.000 s)
16.50/7.70	c (2,0) c assigned lits     : 17          (44/78 probed, 0 remains)
16.50/7.70	c (2,0) c premise updates   : 391635      (35.21 /lit)
16.50/7.70	c (2,0) c probed variables  : 78          (7 pr, 0 eq, 14 fld, 30 pol, 1 nec, 26 cla, 0 amo)
16.50/7.70	c (2,0) c equiv variables   : 2           (0 bin, 1 trn, 0 quat, 0 quin, 0 othr; 0 amo)
16.50/7.71	c (2,0) c lazy added bins   : 228         (228 prop + 0 conf, 0.017s)
16.50/7.71	c (2,0) c unwatched lit elim: 3637        (0.18+0.46%, 145+3492 of 79468+763458)
16.50/7.71	c (2,0) c classified type   : undef
16.50/7.71	c (2,0) c progress          : 7.102 %
16.50/7.71	c (2,0) c
16.50/7.71	c (2,0) c [Statistics]
16.50/7.71	c (2,0) c             learnts len        learnts lbd        lit blk size       eq vars size
16.50/7.71	c (2,0) c  tot       29442              29442             263263                  1
16.50/7.71	c (2,0) c  avg      18.290              7.650              2.045              3.000
16.50/7.71	c (2,0) c   1           65 ( 0.2%)        845 ( 2.9%)     182529 (69.3%)          0 ( 0.0%)
16.50/7.71	c (2,0) c   2          453 ( 1.5%)       6810 (23.1%)      34924 (13.3%)          0 ( 0.0%)
16.50/7.71	c (2,0) c   3         2588 ( 8.8%)       2892 ( 9.8%)      15768 ( 6.0%)          1 (100.0%)
16.50/7.71	c (2,0) c   4         1622 ( 5.5%)       2186 ( 7.4%)       8417 ( 3.2%)          0 ( 0.0%)
16.50/7.71	c (2,0) c   5         1992 ( 6.8%)       1938 ( 6.6%)       5349 ( 2.0%)          0 ( 0.0%)
16.50/7.71	c (2,0) c   6         1924 ( 6.5%)       1620 ( 5.5%)       3436 ( 1.3%)          0 ( 0.0%)
16.50/7.71	c (2,0) c   7         1520 ( 5.2%)       1517 ( 5.2%)       2602 ( 1.0%)          0 ( 0.0%)
16.50/7.71	c (2,0) c   8         1379 ( 4.7%)       1434 ( 4.9%)       1800 ( 0.7%)          0 ( 0.0%)
16.50/7.71	c (2,0) c   9         1210 ( 4.1%)       1183 ( 4.0%)       1384 ( 0.5%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  10          921 ( 3.1%)       1090 ( 3.7%)       1131 ( 0.4%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  11          850 ( 2.9%)       1004 ( 3.4%)        971 ( 0.4%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  12          791 ( 2.7%)        909 ( 3.1%)        734 ( 0.3%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  13          671 ( 2.3%)        803 ( 2.7%)        601 ( 0.2%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  14          660 ( 2.2%)        724 ( 2.5%)        577 ( 0.2%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  15          603 ( 2.0%)        679 ( 2.3%)        439 ( 0.2%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  16          585 ( 2.0%)        637 ( 2.2%)        345 ( 0.1%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  17          550 ( 1.9%)        517 ( 1.8%)        268 ( 0.1%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  18          494 ( 1.7%)        450 ( 1.5%)        228 ( 0.1%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  19          462 ( 1.6%)        392 ( 1.3%)        258 ( 0.1%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  20          448 ( 1.5%)        330 ( 1.1%)        189 ( 0.1%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  21          397 ( 1.3%)        297 ( 1.0%)        151 ( 0.1%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  22          397 ( 1.3%)        247 ( 0.8%)        145 ( 0.1%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  23          416 ( 1.4%)        212 ( 0.7%)        126 ( 0.0%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  24          371 ( 1.3%)        148 ( 0.5%)        115 ( 0.0%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  25          357 ( 1.2%)        141 ( 0.5%)         83 ( 0.0%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  26          343 ( 1.2%)        107 ( 0.4%)         86 ( 0.0%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  27          357 ( 1.2%)         68 ( 0.2%)         88 ( 0.0%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  28          335 ( 1.1%)         64 ( 0.2%)         54 ( 0.0%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  29          347 ( 1.2%)         42 ( 0.1%)         55 ( 0.0%)          0 ( 0.0%)
16.50/7.71	c (2,0) c  30         6334 (21.5%)        156 ( 0.5%)        410 ( 0.2%)          0 ( 0.0%)
16.50/7.71	c (2,0) c
16.50/7.71	c (2,0) c [LBD Statistics]
16.50/7.71	c (2,0) c LBD          used lbd               used clause lbd         unused clause lbd
16.50/7.71	c (2,0) c  tot       438548                   19507                   10098
16.50/7.71	c (2,0) c  avg        2.777                   5.213                  12.272
16.50/7.71	c (2,0) c    1        34337 ( 7.8/ 7.8%)        780 ( 4.0/ 4.0%)          0 ( 0.0/ 0.0%)
16.50/7.71	c (2,0) c    2       263246 (60.0/67.9%)       6893 (35.3/39.3%)        145 ( 1.4/ 1.4%)
16.50/7.71	c (2,0) c    3        62800 (14.3/82.2%)       2603 (13.3/52.7%)        289 ( 2.9/ 4.3%)
16.50/7.71	c (2,0) c    4        32553 ( 7.4/89.6%)       1804 ( 9.2/61.9%)        382 ( 3.8/ 8.1%)
16.50/7.71	c (2,0) c    5        17009 ( 3.9/93.5%)       1435 ( 7.4/69.3%)        503 ( 5.0/13.1%)
16.50/7.71	c (2,0) c    6         9490 ( 2.2/95.6%)       1045 ( 5.4/74.6%)        575 ( 5.7/18.8%)
16.50/7.71	c (2,0) c    7         5493 ( 1.3/96.9%)        827 ( 4.2/78.9%)        690 ( 6.8/25.6%)
16.50/7.71	c (2,0) c    8         3401 ( 0.8/97.7%)        700 ( 3.6/82.5%)        734 ( 7.3/32.9%)
16.50/7.71	c (2,0) c    9         2261 ( 0.5/98.2%)        514 ( 2.6/85.1%)        669 ( 6.6/39.5%)
16.50/7.71	c (2,0) c   10         1698 ( 0.4/98.6%)        453 ( 2.3/87.4%)        637 ( 6.3/45.8%)
16.50/7.71	c (2,0) c   11         1227 ( 0.3/98.9%)        384 ( 2.0/89.4%)        620 ( 6.1/51.9%)
16.50/7.71	c (2,0) c   12         1049 ( 0.2/99.1%)        359 ( 1.8/91.2%)        550 ( 5.4/57.4%)
16.50/7.71	c (2,0) c   13          801 ( 0.2/99.3%)        265 ( 1.4/92.6%)        538 ( 5.3/62.7%)
16.50/7.71	c (2,0) c   14          642 ( 0.1/99.4%)        251 ( 1.3/93.9%)        473 ( 4.7/67.4%)
16.50/7.71	c (2,0) c   15          482 ( 0.1/99.5%)        219 ( 1.1/95.0%)        460 ( 4.6/71.9%)
16.50/7.71	c (2,0) c   16          408 ( 0.1/99.6%)        192 ( 1.0/96.0%)        445 ( 4.4/76.4%)
16.50/7.71	c (2,0) c   17          313 ( 0.1/99.7%)        138 ( 0.7/96.7%)        379 ( 3.8/80.1%)
16.50/7.71	c (2,0) c   18          271 ( 0.1/99.8%)        143 ( 0.7/97.4%)        307 ( 3.0/83.1%)
16.50/7.71	c (2,0) c   19          207 ( 0.0/99.8%)         92 ( 0.5/97.9%)        300 ( 3.0/86.1%)
16.50/7.71	c (2,0) c   20          177 ( 0.0/99.8%)         80 ( 0.4/98.3%)        250 ( 2.5/88.6%)
16.50/7.71	c (2,0) c   21          156 ( 0.0/99.9%)         85 ( 0.4/98.7%)        212 ( 2.1/90.7%)
16.50/7.71	c (2,0) c   22           90 ( 0.0/99.9%)         48 ( 0.2/99.0%)        199 ( 2.0/92.7%)
16.50/7.71	c (2,0) c   23          101 ( 0.0/99.9%)         52 ( 0.3/99.3%)        160 ( 1.6/94.2%)
16.50/7.71	c (2,0) c   24           82 ( 0.0/99.9%)         31 ( 0.2/99.4%)        117 ( 1.2/95.4%)
16.50/7.71	c (2,0) c   25           81 ( 0.0/100.0%)         24 ( 0.1/99.5%)        117 ( 1.2/96.6%)
16.50/7.71	c (2,0) c   26           34 ( 0.0/100.0%)         25 ( 0.1/99.7%)         82 ( 0.8/97.4%)
16.50/7.71	c (2,0) c   27           25 ( 0.0/100.0%)         14 ( 0.1/99.7%)         54 ( 0.5/97.9%)
16.50/7.71	c (2,0) c   28           30 ( 0.0/100.0%)         13 ( 0.1/99.8%)         51 ( 0.5/98.4%)
16.50/7.71	c (2,0) c   29           22 ( 0.0/100.0%)          8 ( 0.0/99.8%)         34 ( 0.3/98.8%)
16.50/7.71	c (2,0) c   30           21 ( 0.0/100.0%)          9 ( 0.0/99.9%)         25 ( 0.2/99.0%)
16.50/7.71	c (2,0) c   31           11 ( 0.0/100.0%)          4 ( 0.0/99.9%)         29 ( 0.3/99.3%)
16.50/7.71	c (2,0) c   32            5 ( 0.0/100.0%)          5 ( 0.0/99.9%)         18 ( 0.2/99.5%)
16.50/7.71	c (2,0) c   33            5 ( 0.0/100.0%)          3 ( 0.0/100.0%)          9 ( 0.1/99.6%)
16.50/7.71	c (2,0) c   34            6 ( 0.0/100.0%)          3 ( 0.0/100.0%)          7 ( 0.1/99.6%)
16.50/7.71	c (2,0) c   35            4 ( 0.0/100.0%)          3 ( 0.0/100.0%)          9 ( 0.1/99.7%)
16.50/7.71	c (2,0) c   36            3 ( 0.0/100.0%)          0 ( 0.0/100.0%)          9 ( 0.1/99.8%)
16.50/7.71	c (2,0) c   37            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          6 ( 0.1/99.9%)
16.50/7.71	c (2,0) c   38            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.9%)
16.50/7.71	c (2,0) c   39            2 ( 0.0/100.0%)          2 ( 0.0/100.0%)          1 ( 0.0/99.9%)
16.50/7.71	c (2,0) c   40            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.9%)
16.50/7.71	c (2,0) c   41            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
16.50/7.71	c (2,0) c   42            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
16.50/7.71	c (2,0) c   43            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
16.50/7.71	c (2,0) c   44            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
16.50/7.71	c (2,0) c   45            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
16.50/7.71	c (2,0) c   46            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          4 ( 0.0/100.0%)
16.50/7.71	c (2,0) c   47            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
16.50/7.71	c (2,0) c   48            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
16.50/7.71	c (2,0) c   49            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
16.50/7.71	c (2,0) c
16.50/7.71	c (2,0) c Memory used       : 28.00 MB
16.50/7.71	c (2,0) c CPU time          : 1.744 s
16.50/7.71	c (2,0) c Real time         : 1.836 s
16.50/7.71	c (2,0) c
16.50/7.71	c (2,0) s SATISFIABLE
16.50/7.74	c (2,0) SatSolver.solve End
16.50/7.74	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.50/7.74	c (2,0) Show results Begin
16.74/7.85	c (2,0) x[0] = 0
16.74/7.85	c (2,0) x[1] = 25
16.74/7.85	c (2,0) x[2] = 37
16.74/7.85	c (2,0) x[3] = 51
16.74/7.85	c (2,0) x[4] = 39
16.74/7.85	c (2,0) x[5] = 40
16.74/7.85	c (2,0) x[6] = 41
16.74/7.85	c (2,0) x[7] = 42
16.74/7.85	c (2,0) x[8] = 30
16.74/7.85	c (2,0) x[9] = 18
16.74/7.85	c (2,0) x[10] = 19
16.74/7.85	c (2,0) x[11] = 5
16.74/7.85	c (2,0) x[12] = 17
16.74/7.85	c (2,0) x[13] = 29
16.74/7.85	c (2,0) x[14] = 4
16.74/7.85	c (2,0) x[15] = 31
16.74/7.85	c (2,0) x[16] = 6
16.74/7.85	c (2,0) x[17] = 20
16.74/7.85	c (2,0) x[18] = 32
16.74/7.85	c (2,0) x[19] = 7
16.74/7.85	c (2,0) x[20] = 21
16.74/7.85	c (2,0) x[21] = 22
16.74/7.85	c (2,0) x[22] = 49
16.74/7.85	c (2,0) x[23] = 11
16.74/7.85	c (2,0) x[24] = 10
16.74/7.85	c (2,0) x[25] = 9
16.74/7.85	c (2,0) x[26] = 8
16.74/7.85	c (2,0) x[27] = 33
16.74/7.85	c (2,0) x[28] = 45
16.74/7.85	c (2,0) x[29] = 44
16.74/7.85	c (2,0) x[30] = 43
16.74/7.85	c (2,0) x[31] = 3
16.74/7.85	c (2,0) x[32] = 28
16.74/7.85	c (2,0) x[33] = 1
16.74/7.85	c (2,0) x[34] = 2
16.74/7.85	c (2,0) x[35] = 27
16.74/7.85	c (2,0) x[36] = 26
16.74/7.85	c (2,0) x[37] = 12
16.74/7.85	c (2,0) x[38] = 50
16.74/7.85	c (2,0) x[39] = 23
16.74/7.85	c (2,0) x[40] = 48
16.74/7.85	c (2,0) x[41] = 34
16.74/7.85	c (2,0) x[42] = 46
16.74/7.85	c (2,0) x[43] = 47
16.74/7.85	c (2,0) x[44] = 35
16.74/7.85	c (2,0) x[45] = 36
16.74/7.85	c (2,0) x[46] = 24
16.74/7.85	c (2,0) x[47] = 38
16.74/7.85	c (2,0) x[48] = 13
16.74/7.85	c (2,0) x[49] = 14
16.74/7.85	c (2,0) x[50] = 15
16.74/7.85	c (2,0) x[51] = 16
16.74/7.85	c (2,0) y[0] = 0
16.74/7.85	c (2,0) y[1] = 33
16.74/7.85	c (2,0) y[2] = 34
16.74/7.85	c (2,0) y[3] = 31
16.74/7.85	c (2,0) y[4] = 14
16.74/7.85	c (2,0) y[5] = 11
16.74/7.85	c (2,0) y[6] = 16
16.74/7.85	c (2,0) y[7] = 19
16.74/7.85	c (2,0) y[8] = 26
16.74/7.85	c (2,0) y[9] = 25
16.74/7.85	c (2,0) y[10] = 24
16.74/7.85	c (2,0) y[11] = 23
16.74/7.85	c (2,0) y[12] = 37
16.74/7.85	c (2,0) y[13] = 48
16.74/7.85	c (2,0) y[14] = 49
16.74/7.85	c (2,0) y[15] = 50
16.74/7.85	c (2,0) y[16] = 51
16.74/7.85	c (2,0) y[17] = 12
16.74/7.85	c (2,0) y[18] = 9
16.74/7.85	c (2,0) y[19] = 10
16.74/7.85	c (2,0) y[20] = 17
16.74/7.85	c (2,0) y[21] = 20
16.74/7.85	c (2,0) y[22] = 21
16.74/7.85	c (2,0) y[23] = 39
16.74/7.85	c (2,0) y[24] = 46
16.74/7.85	c (2,0) y[25] = 1
16.74/7.85	c (2,0) y[26] = 36
16.74/7.85	c (2,0) y[27] = 35
16.74/7.85	c (2,0) y[28] = 32
16.74/7.85	c (2,0) y[29] = 13
16.74/7.85	c (2,0) y[30] = 8
16.74/7.85	c (2,0) y[31] = 15
16.74/7.85	c (2,0) y[32] = 18
16.74/7.85	c (2,0) y[33] = 27
16.74/7.85	c (2,0) y[34] = 41
16.74/7.85	c (2,0) y[35] = 44
16.74/7.85	c (2,0) y[36] = 45
16.74/7.85	c (2,0) y[37] = 2
16.74/7.85	c (2,0) y[38] = 47
16.74/7.85	c (2,0) y[39] = 4
16.74/7.85	c (2,0) y[40] = 5
16.74/7.85	c (2,0) y[41] = 6
16.74/7.85	c (2,0) y[42] = 7
16.74/7.85	c (2,0) y[43] = 30
16.74/7.85	c (2,0) y[44] = 29
16.74/7.85	c (2,0) y[45] = 28
16.74/7.85	c (2,0) y[46] = 42
16.74/7.85	c (2,0) y[47] = 43
16.74/7.85	c (2,0) y[48] = 40
16.74/7.85	c (2,0) y[49] = 22
16.74/7.85	c (2,0) y[50] = 38
16.74/7.85	c (2,0) y[51] = 3
16.74/7.86	s SATISFIABLE
16.74/7.86	v <instantiation>
16.74/7.86	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51]</list>
16.74/7.86	v     <values>0 25 37 51 39 40 41 42 30 18 19 5 17 29 4 31 6 20 32 7 21 22 49 11 10 9 8 33 45 44 43 3 28 1 2 27 26 12 50 23 48 34 46 47 35 36 24 38 13 14 15 16 0 33 34 31 14 11 16 19 26 25 24 23 37 48 49 50 51 12 9 10 17 20 21 39 46 1 36 35 32 13 8 15 18 27 41 44 45 2 47 4 5 6 7 30 29 28 42 43 40 22 38 3</values>
16.74/7.86	v </instantiation>
16.74/7.86	c (2,0) Show results End
16.74/7.86	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
16.74/7.86	c (2,0) 2,2,STOP-AFTER(ALL)
16.74/7.86	c END-Prog: Thu Sep 12 15:35:39 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15339 MiB free)
  memory of node 1: 16384 MiB (14949 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388103-1568295370/watcher-4388103-1568295370 -o /tmp/evaluation-result-4388103-1568295370/solver-4388103-1568295370 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16919 --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-4388103-1568295370.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=18897, runsolver pid=18894
Current StackSize limit: 8192 KiB


[startup+0.101177 s]*
/proc/loadavg: 2.00 2.26 2.51 4/239 18914
/proc/meminfo: memFree=30958328/32770624 swapFree=67003284/67108860
[pid=18897] ppid=18894 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18897/stat : 18897 (scop.sh) S 18894 18897 16886 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405776679 115843072 348 33554432000 4194304 5098028 140736991506160 140736991503416 140229255295612 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36069376 140736991507240 140736991507568 140736991507568 140736991510477 0
/proc/18897/statm: 28282 348 296 221 0 87 0
[pid=18900] ppid=18897 vsize=15016308 memory=72936 CPUtime=0.12 cores=0,2,4,6
/proc/18900/stat : 18900 (java) S 18897 18897 16886 0 -1 1077944320 7081 0 0 0 10 2 0 0 20 0 15 0 405776679 15376699392 18234 33554432000 4194304 4196468 140732690807808 140732690790352 140067692617463 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
/proc/18900/statm: 3754077 18234 2884 1 0 3716482 0
[pid=18900/tid=18901] ppid=18897 vsize=15016308 memory=-6437751376246521793 CPUtime=0.09 cores=0,2,4,6
/proc/18900/task/18901/stat : 18901 (java) R 18897 18897 16886 0 -1 4202560 5060 0 0 0 8 1 0 0 20 0 15 0 405776679 15376699392 18432 33554432000 4194304 4196468 140732690807808 140067664401712 140067685297181 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18902] ppid=18897 vsize=15016308 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18902/stat : 18902 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776681 15376699392 18452 33554432000 4194304 4196468 140732690807808 140067696859792 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18903] ppid=18897 vsize=15016308 memory=140196511409792 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18903/stat : 18903 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776681 15376699392 18070 33554432000 4194304 4196468 140732690807808 140067487943184 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18904] ppid=18897 vsize=15016308 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18904/stat : 18904 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776681 15376699392 18070 33554432000 4194304 4196468 140732690807808 140067486890384 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18905] ppid=18897 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18905/stat : 18905 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776681 15375032320 17940 33554432000 4194304 4196468 140732690807808 140067485837584 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18906] ppid=18897 vsize=15014680 memory=140196511409792 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18906/stat : 18906 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776682 15375032320 17830 33554432000 4194304 4196468 140732690807808 140066662882160 140067692628610 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18907] ppid=18897 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18907/stat : 18907 (java) S 18897 18897 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405776683 15374049280 17830 33554432000 4194304 4196468 140732690807808 140066131273248 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18908] ppid=18897 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18908/stat : 18908 (java) S 18897 18897 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405776683 15374049280 17574 33554432000 4194304 4196468 140732690807808 140065997051248 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18909] ppid=18897 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18909/stat : 18909 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405776685 15374049280 17574 33554432000 4194304 4196468 140732690807808 140065622546768 140067692636059 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18910] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18910/stat : 18910 (java) S 18897 18897 16886 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 405776685 15373000704 17574 33554432000 4194304 4196468 140732690807808 140066661828976 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18911] ppid=18897 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18911/stat : 18911 (java) S 18897 18897 16886 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405776685 15373000704 17574 33554432000 4194304 4196468 140732690807808 140066660776176 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18912] ppid=18897 vsize=15012696 memory=140196511409792 CPUtime=0.01 cores=0,2,4,6
/proc/18900/task/18912/stat : 18912 (java) S 18897 18897 16886 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 15 0 405776685 15373000704 17574 33554432000 4194304 4196468 140732690807808 140066659723376 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18913] ppid=18897 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18913/stat : 18913 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405776685 15373000704 17574 33554432000 4194304 4196468 140732690807808 140065124640992 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18914] ppid=18897 vsize=15013720 memory=140196511409792 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18914/stat : 18914 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776686 15374049280 17574 33554432000 4194304 4196468 140732690807808 140066658671792 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 74328 KiB

[startup+0.211032 s]*
/proc/loadavg: 2.00 2.26 2.51 3/239 18914
/proc/meminfo: memFree=30941908/32770624 swapFree=67003284/67108860
[pid=18897] ppid=18894 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18897/stat : 18897 (scop.sh) S 18894 18897 16886 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405776679 115843072 348 33554432000 4194304 5098028 140736991506160 140736991503416 140229255295612 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36069376 140736991507240 140736991507568 140736991507568 140736991510477 0
/proc/18897/statm: 28282 348 296 221 0 87 0
[pid=18900] ppid=18897 vsize=15012696 memory=83796 CPUtime=0.25 cores=0,2,4,6
/proc/18900/stat : 18900 (java) S 18897 18897 16886 0 -1 1077944320 10988 0 0 0 22 3 0 0 20 0 15 0 405776679 15373000704 20949 33554432000 4194304 4196468 140732690807808 140732690790352 140067692617463 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
/proc/18900/statm: 3753174 20949 2978 1 0 3715579 0
[pid=18900/tid=18901] ppid=18897 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/18900/task/18901/stat : 18901 (java) R 18897 18897 16886 0 -1 4202560 8694 0 0 0 17 2 0 0 20 0 15 0 405776679 15373000704 21015 33554432000 4194304 4196468 140732690807808 140067664432704 140067692629398 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18902] ppid=18897 vsize=15012696 memory=397 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18902/stat : 18902 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776681 15373000704 21015 33554432000 4194304 4196468 140732690807808 140067696859792 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18903] ppid=18897 vsize=15012696 memory=140196511428607 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18903/stat : 18903 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776681 15373000704 21015 33554432000 4194304 4196468 140732690807808 140067487943184 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18904] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18904/stat : 18904 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776681 15373000704 21015 33554432000 4194304 4196468 140732690807808 140067486890384 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18905] ppid=18897 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18905/stat : 18905 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776681 15373000704 21015 33554432000 4194304 4196468 140732690807808 140067485837584 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18906] ppid=18897 vsize=15012696 memory=140196511409792 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18906/stat : 18906 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776682 15373000704 21015 33554432000 4194304 4196468 140732690807808 140066662882160 140067692628610 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18907] ppid=18897 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18907/stat : 18907 (java) S 18897 18897 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405776683 15373000704 21015 33554432000 4194304 4196468 140732690807808 140066131273248 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18908] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18908/stat : 18908 (java) S 18897 18897 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405776683 15373000704 21015 33554432000 4194304 4196468 140732690807808 140065997051248 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18909] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18909/stat : 18909 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405776685 15373000704 21015 33554432000 4194304 4196468 140732690807808 140065622546768 140067692636059 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18910] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18910/stat : 18910 (java) S 18897 18897 16886 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 405776685 15373000704 21015 33554432000 4194304 4196468 140732690807808 140066661828976 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18911] ppid=18897 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18911/stat : 18911 (java) S 18897 18897 16886 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 405776685 15373000704 21015 33554432000 4194304 4196468 140732690807808 140066660776176 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18912] ppid=18897 vsize=15012696 memory=140196511409792 CPUtime=0.03 cores=0,2,4,6
/proc/18900/task/18912/stat : 18912 (java) S 18897 18897 16886 0 -1 1077944384 483 0 0 0 3 0 0 0 20 0 15 0 405776685 15373000704 21015 33554432000 4194304 4196468 140732690807808 140066659723376 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18913] ppid=18897 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18913/stat : 18913 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405776685 15373000704 21015 33554432000 4194304 4196468 140732690807808 140065124640992 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18914] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18914/stat : 18914 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776686 15373000704 21015 33554432000 4194304 4196468 140732690807808 140066658671792 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 85188 KiB

[startup+0.310831 s]*
/proc/loadavg: 2.00 2.26 2.51 4/239 18914
/proc/meminfo: memFree=30938372/32770624 swapFree=67003284/67108860
[pid=18897] ppid=18894 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18897/stat : 18897 (scop.sh) S 18894 18897 16886 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405776679 115843072 348 33554432000 4194304 5098028 140736991506160 140736991503416 140229255295612 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36069376 140736991507240 140736991507568 140736991507568 140736991510477 0
/proc/18897/statm: 28282 348 296 221 0 87 0
[pid=18900] ppid=18897 vsize=15012696 memory=87884 CPUtime=0.44 cores=0,2,4,6
/proc/18900/stat : 18900 (java) S 18897 18897 16886 0 -1 1077944320 12044 0 0 0 40 4 0 0 20 0 15 0 405776679 15373000704 21971 33554432000 4194304 4196468 140732690807808 140732690790352 140067692617463 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
/proc/18900/statm: 3753174 21971 3030 1 0 3715579 0
[pid=18900/tid=18901] ppid=18897 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=0,2,4,6
/proc/18900/task/18901/stat : 18901 (java) R 18897 18897 16886 0 -1 4202560 9527 0 0 0 27 3 0 0 20 0 15 0 405776679 15373000704 21971 33554432000 4194304 4196468 140732690807808 140067664429808 140067674181023 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18902] ppid=18897 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18902/stat : 18902 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776681 15373000704 21971 33554432000 4194304 4196468 140732690807808 140067696859792 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18903] ppid=18897 vsize=15012696 memory=3761685701876532327 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18903/stat : 18903 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776681 15373000704 21971 33554432000 4194304 4196468 140732690807808 140067487943184 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18904] ppid=18897 vsize=15012696 memory=280392779463024 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18904/stat : 18904 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776681 15373000704 21971 33554432000 4194304 4196468 140732690807808 140067486890384 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18905] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18905/stat : 18905 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776681 15373000704 21971 33554432000 4194304 4196468 140732690807808 140067485837584 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18906] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18906/stat : 18906 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776682 15373000704 21971 33554432000 4194304 4196468 140732690807808 140066662882160 140067692628610 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18907] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18907/stat : 18907 (java) S 18897 18897 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405776683 15373000704 21971 33554432000 4194304 4196468 140732690807808 140066131273248 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18908] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18908/stat : 18908 (java) S 18897 18897 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405776683 15373000704 21971 33554432000 4194304 4196468 140732690807808 140065997051248 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18909] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18909/stat : 18909 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405776685 15373000704 21971 33554432000 4194304 4196468 140732690807808 140065622546768 140067692636059 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18910] ppid=18897 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18900/task/18910/stat : 18910 (java) S 18897 18897 16886 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 405776685 15373000704 21971 33554432000 4194304 4196468 140732690807808 140066661828976 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18911] ppid=18897 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18900/task/18911/stat : 18911 (java) S 18897 18897 16886 0 -1 1077944384 190 0 0 0 2 0 0 0 20 0 15 0 405776685 15373000704 21971 33554432000 4194304 4196468 140732690807808 140066660776176 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18912] ppid=18897 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18900/task/18912/stat : 18912 (java) S 18897 18897 16886 0 -1 1077944384 532 0 0 0 7 0 0 0 20 0 15 0 405776685 15373000704 21971 33554432000 4194304 4196468 140732690807808 140066659723376 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18913] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18913/stat : 18913 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405776685 15373000704 21971 33554432000 4194304 4196468 140732690807808 140065124640992 140067692627669 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18914] ppid=18897 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18914/stat : 18914 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776686 15373000704 21971 33554432000 4194304 4196468 140732690807808 140066658671792 140067692628610 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89276 KiB

[startup+0.700862 s]
/proc/loadavg: 2.00 2.26 2.51 3/239 18914
/proc/meminfo: memFree=30914560/32770624 swapFree=67003284/67108860
[pid=18897] ppid=18894 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18897/stat : 18897 (scop.sh) S 18894 18897 16886 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405776679 115843072 348 33554432000 4194304 5098028 140736991506160 140736991503416 140229255295612 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36069376 140736991507240 140736991507568 140736991507568 140736991510477 0
/proc/18897/statm: 28282 348 296 221 0 87 0
[pid=18900] ppid=18897 vsize=15021092 memory=128136 CPUtime=1.01 cores=0,2,4,6
/proc/18900/stat : 18900 (java) S 18897 18897 16886 0 -1 1077944320 19924 0 0 0 94 7 0 0 20 0 15 0 405776679 15381598208 32034 33554432000 4194304 4196468 140732690807808 140732690790352 140067692617463 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
/proc/18900/statm: 3755529 32034 3201 1 0 3716859 0
[pid=18900/tid=18901] ppid=18897 vsize=15022116 memory=1616 CPUtime=0.67 cores=0,2,4,6
/proc/18900/task/18901/stat : 18901 (java) R 18897 18897 16886 0 -1 4202560 16947 0 0 0 62 5 0 0 20 0 15 0 405776679 15382646784 32034 33554432000 4194304 4196468 140732690807808 140067664434848 140067685334567 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18902] ppid=18897 vsize=15021092 memory=784 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18902/stat : 18902 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776681 15381598208 32034 33554432000 4194304 4196468 140732690807808 140067696859792 140067692627669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18903] ppid=18897 vsize=15021092 memory=8252 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18903/stat : 18903 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776681 15381598208 32034 33554432000 4194304 4196468 140732690807808 140067487943184 140067692627669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18904] ppid=18897 vsize=15021092 memory=5912 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18904/stat : 18904 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405776681 15381598208 32034 33554432000 4194304 4196468 140732690807808 140067486890384 140067692627669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18905] ppid=18897 vsize=15021092 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18905/stat : 18905 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776681 15381598208 32034 33554432000 4194304 4196468 140732690807808 140067485837584 140067692627669 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18906] ppid=18897 vsize=15021092 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18906/stat : 18906 (java) S 18897 18897 16886 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405776682 15381598208 32034 33554432000 4194304 4196468 140732690807808 140066662882160 140067692628610 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18907] ppid=18897 vsize=15021092 memory=728 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18907/stat : 18907 (java) S 18897 18897 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405776683 15381598208 32034 33554432000 4194304 4196468 140732690807808 140066131273248 140067692627669 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18908] ppid=18897 vsize=15021092 memory=3436 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18908/stat : 18908 (java) S 18897 18897 16886 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405776683 15381598208 32034 33554432000 4194304 4196468 140732690807808 140065997051248 140067692627669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18909] ppid=18897 vsize=15021092 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18909/stat : 18909 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405776685 15381598208 32034 33554432000 4194304 4196468 140732690807808 140065622546768 140067692636059 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18910] ppid=18897 vsize=15021092 memory=1212 CPUtime=0.09 cores=0,2,4,6
/proc/18900/task/18910/stat : 18910 (java) S 18897 18897 16886 0 -1 1077944384 658 0 0 0 9 0 0 0 20 0 15 0 405776685 15381598208 32034 33554432000 4194304 4196468 140732690807808 140066661828976 140067692628610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18911] ppid=18897 vsize=15021092 memory=1036 CPUtime=0.08 cores=0,2,4,6
/proc/18900/task/18911/stat : 18911 (java) S 18897 18897 16886 0 -1 1077944384 384 0 0 0 8 0 0 0 20 0 15 0 405776685 15381598208 32034 33554432000 4194304 4196468 140732690807808 140066660776176 140067692628610 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18912] ppid=18897 vsize=15021092 memory=14008 CPUtime=0.14 cores=0,2,4,6
/proc/18900/task/18912/stat : 18912 (java) R 18897 18897 16886 0 -1 4202560 610 0 0 0 14 0 0 0 20 0 15 0 405776685 15381598208 32034 33554432000 4194304 4196468 140732690807808 140066659723672 140067676242481 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18913] ppid=18897 vsize=15021092 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18913/stat : 18913 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405776685 15381598208 32034 33554432000 4194304 4196468 140732690807808 140065124640992 140067692627669 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
[pid=18900/tid=18914] ppid=18897 vsize=15021092 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/18900/task/18914/stat : 18914 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405776686 15381598208 32034 33554432000 4194304 4196468 140732690807808 140066658671792 140067692628610 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8638464 140732690809582 140732690810010 140732690810010 140732690812879 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129528 KiB

[startup+1.50136 s]
/proc/loadavg: 2.00 2.26 2.51 6/238 18914
/proc/meminfo: memFree=30881680/32770624 swapFree=67003284/67108860
[pid=18897] ppid=18894 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18897/stat : 18897 (scop.sh) S 18894 18897 16886 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405776679 115843072 348 33554432000 4194304 5098028 140736991506160 140736991503416 140229255295612 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36069376 140736991507240 140736991507568 140736991507568 140736991510477 0
/proc/18897/statm: 28282 348 296 221 0 87 0

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

/proc/18917/task/18933/stat : 18933 (java) S 18897 18897 16886 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405777266 8262082560 29924 33554432000 4194304 4196468 140725535667344 140581835777856 140582468751129 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18935] ppid=18897 vsize=8068440 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/18917/task/18935/stat : 18935 (java) S 18897 18897 16886 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 405777266 8262082560 29924 33554432000 4194304 4196468 140725535667344 140579648286576 140582468748445 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18936] ppid=18897 vsize=8068440 memory=2052 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18936/stat : 18936 (java) S 18897 18897 16886 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405777266 8262082560 29924 33554432000 4194304 4196468 140725535667344 140579379854864 140582468748445 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18937] ppid=18897 vsize=8068440 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18937/stat : 18937 (java) S 18897 18897 16886 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405777270 8262082560 29924 33554432000 4194304 4196468 140725535667344 140579782516016 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
Current children cumulated CPU time: 15.17 s
Current children cumulated vsize: 8205656 KiB
Current children cumulated memory: 129484 KiB

[startup+7.20094 s]
/proc/loadavg: 2.16 2.29 2.52 3/243 18937
/proc/meminfo: memFree=30899980/32770624 swapFree=67003284/67108860
[pid=18897] ppid=18894 vsize=113128 memory=1472 CPUtime=13.48 cores=0,2,4,6
/proc/18897/stat : 18897 (scop.sh) S 18894 18897 16886 0 -1 4202496 581 29482 0 0 0 0 1322 26 20 0 1 0 405776679 115843072 368 33554432000 4194304 5098028 140736991506160 140736991502904 140229255295612 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36069376 140736991507240 140736991507568 140736991507568 140736991510477 0
/proc/18897/statm: 28282 368 311 221 0 87 0
[pid=18917] ppid=18897 vsize=8068440 memory=122328 CPUtime=1.19 cores=0,2,4,6
/proc/18917/stat : 18917 (java) S 18897 18897 16886 0 -1 1077944320 21048 0 0 0 110 9 0 0 20 0 19 0 405777194 8262082560 30582 33554432000 4194304 4196468 140725535667344 140725535649888 140582468726519 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
/proc/18917/statm: 2017110 30582 3209 1 0 1978454 0
[pid=18932] ppid=18917 vsize=24432 memory=9832 CPUtime=1.32 cores=0,2,4,6
/proc/18932/stat : 18932 (glueminisat-sim) R 18917 18897 16886 0 -1 4202496 3011 0 0 0 125 7 0 0 20 0 1 0 405777266 25018368 2458 33554432000 4194304 4452875 140728232574256 140728232569352 140462833483655 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 27713536 140728232575839 140728232576039 140728232576039 140728232578989 0
/proc/18932/statm: 6108 2458 379 64 0 2312 0
[pid=18917/tid=18918] ppid=18897 vsize=8068440 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/18917/task/18918/stat : 18918 (java) S 18897 18897 16886 0 -1 1077944384 16363 0 0 0 69 6 0 0 20 0 19 0 405777194 8262082560 30582 33554432000 4194304 4196468 140725535667344 140582440566688 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18919] ppid=18897 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18919/stat : 18919 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405777195 8262082560 30582 33554432000 4194304 4196468 140725535667344 140582472968720 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18920] ppid=18897 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18920/stat : 18920 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405777195 8262082560 30582 33554432000 4194304 4196468 140725535667344 140582273137296 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18921] ppid=18897 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18921/stat : 18921 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405777195 8262082560 30582 33554432000 4194304 4196468 140725535667344 140582272084240 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18922] ppid=18897 vsize=8068440 memory=280392780080832 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18922/stat : 18922 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405777195 8262082560 30582 33554432000 4194304 4196468 140725535667344 140582271031696 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18923] ppid=18897 vsize=8068440 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18923/stat : 18923 (java) S 18897 18897 16886 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405777197 8262082560 30582 33554432000 4194304 4196468 140725535667344 140581848021744 140582468737666 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18924] ppid=18897 vsize=8068440 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18924/stat : 18924 (java) S 18897 18897 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405777197 8262082560 30582 33554432000 4194304 4196468 140725535667344 140581326022304 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18925] ppid=18897 vsize=8068440 memory=728 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18925/stat : 18925 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405777197 8262082560 30582 33554432000 4194304 4196468 140725535667344 140581057586416 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18926] ppid=18897 vsize=8068440 memory=3436 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18926/stat : 18926 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405777200 8262082560 30582 33554432000 4194304 4196468 140725535667344 140580683078096 140582468745115 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18927] ppid=18897 vsize=8068440 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/18917/task/18927/stat : 18927 (java) S 18897 18897 16886 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 19 0 405777200 8262082560 30582 33554432000 4194304 4196468 140725535667344 140581846968560 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18928] ppid=18897 vsize=8068440 memory=2241 CPUtime=0.1 cores=0,2,4,6
/proc/18917/task/18928/stat : 18928 (java) S 18897 18897 16886 0 -1 1077944384 283 0 0 0 10 0 0 0 20 0 19 0 405777200 8262082560 30582 33554432000 4194304 4196468 140725535667344 140581845916016 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18929] ppid=18897 vsize=8068440 memory=1212 CPUtime=0.21 cores=0,2,4,6
/proc/18917/task/18929/stat : 18929 (java) S 18897 18897 16886 0 -1 1077944384 566 0 0 0 21 0 0 0 20 0 19 0 405777200 8262082560 30582 33554432000 4194304 4196468 140725535667344 140581844862960 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18930] ppid=18897 vsize=8068440 memory=1036 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18930/stat : 18930 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405777200 8262082560 30582 33554432000 4194304 4196468 140725535667344 140580185172320 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18931] ppid=18897 vsize=8068440 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18931/stat : 18931 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405777200 8262082560 30582 33554432000 4194304 4196468 140725535667344 140581843811376 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18933] ppid=18897 vsize=8068440 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18933/stat : 18933 (java) S 18897 18897 16886 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405777266 8262082560 30582 33554432000 4194304 4196468 140725535667344 140581835777856 140582468751129 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18935] ppid=18897 vsize=8068440 memory=2116 CPUtime=0.02 cores=0,2,4,6
/proc/18917/task/18935/stat : 18935 (java) S 18897 18897 16886 0 -1 4202560 1685 0 0 0 1 1 0 0 20 0 19 0 405777266 8262082560 30582 33554432000 4194304 4196468 140725535667344 140579648286576 140582468748445 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18936] ppid=18897 vsize=8068440 memory=19740 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18936/stat : 18936 (java) S 18897 18897 16886 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405777266 8262082560 30582 33554432000 4194304 4196468 140725535667344 140579379854864 140582468748445 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18937] ppid=18897 vsize=8068440 memory=496 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18937/stat : 18937 (java) S 18897 18897 16886 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405777270 8262082560 30582 33554432000 4194304 4196468 140725535667344 140579782516016 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
Current children cumulated CPU time: 15.99 s
Current children cumulated vsize: 8206000 KiB
Current children cumulated memory: 133632 KiB

[startup+7.6009 s]
/proc/loadavg: 2.16 2.29 2.52 3/243 18937
/proc/meminfo: memFree=30899980/32770624 swapFree=67003284/67108860
[pid=18897] ppid=18894 vsize=113128 memory=1472 CPUtime=13.48 cores=0,2,4,6
/proc/18897/stat : 18897 (scop.sh) S 18894 18897 16886 0 -1 4202496 581 29482 0 0 0 0 1322 26 20 0 1 0 405776679 115843072 368 33554432000 4194304 5098028 140736991506160 140736991502904 140229255295612 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36069376 140736991507240 140736991507568 140736991507568 140736991510477 0
/proc/18897/statm: 28282 368 311 221 0 87 0
[pid=18917] ppid=18897 vsize=8068440 memory=122416 CPUtime=1.2 cores=0,2,4,6
/proc/18917/stat : 18917 (java) S 18897 18897 16886 0 -1 1077944320 21062 0 0 0 111 9 0 0 20 0 19 0 405777194 8262082560 30604 33554432000 4194304 4196468 140725535667344 140725535649888 140582468726519 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
/proc/18917/statm: 2017110 30604 3209 1 0 1978454 0
[pid=18932] ppid=18917 vsize=29096 memory=12924 CPUtime=1.72 cores=0,2,4,6
/proc/18932/stat : 18932 (glueminisat-sim) R 18917 18897 16886 0 -1 4202496 3336 0 0 0 163 9 0 0 20 0 1 0 405777266 29794304 3231 33554432000 4194304 4452875 140728232574256 140728232569352 140462833483655 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 27713536 140728232575839 140728232576039 140728232576039 140728232578989 0
/proc/18932/statm: 7274 3231 379 64 0 3478 0
[pid=18917/tid=18918] ppid=18897 vsize=8068440 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/18917/task/18918/stat : 18918 (java) S 18897 18897 16886 0 -1 1077944384 16363 0 0 0 69 6 0 0 20 0 19 0 405777194 8262082560 30604 33554432000 4194304 4196468 140725535667344 140582440566688 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18919] ppid=18897 vsize=8068440 memory=1854 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18919/stat : 18919 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405777195 8262082560 30604 33554432000 4194304 4196468 140725535667344 140582472968720 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18920] ppid=18897 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18920/stat : 18920 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405777195 8262082560 30604 33554432000 4194304 4196468 140725535667344 140582273137296 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18921] ppid=18897 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18921/stat : 18921 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405777195 8262082560 30604 33554432000 4194304 4196468 140725535667344 140582272084240 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18922] ppid=18897 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18922/stat : 18922 (java) S 18897 18897 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405777195 8262082560 30604 33554432000 4194304 4196468 140725535667344 140582271031696 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18923] ppid=18897 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18923/stat : 18923 (java) S 18897 18897 16886 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405777197 8262082560 30604 33554432000 4194304 4196468 140725535667344 140581848021744 140582468737666 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18924] ppid=18897 vsize=8068440 memory=1348 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18924/stat : 18924 (java) S 18897 18897 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405777197 8262082560 30604 33554432000 4194304 4196468 140725535667344 140581326022304 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18925] ppid=18897 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18925/stat : 18925 (java) S 18897 18897 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405777197 8262082560 30604 33554432000 4194304 4196468 140725535667344 140581057586416 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18926] ppid=18897 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18926/stat : 18926 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405777200 8262082560 30604 33554432000 4194304 4196468 140725535667344 140580683078096 140582468745115 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18927] ppid=18897 vsize=8068440 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18917/task/18927/stat : 18927 (java) S 18897 18897 16886 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 19 0 405777200 8262082560 30604 33554432000 4194304 4196468 140725535667344 140581846968560 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18928] ppid=18897 vsize=8068440 memory=31169 CPUtime=0.1 cores=0,2,4,6
/proc/18917/task/18928/stat : 18928 (java) S 18897 18897 16886 0 -1 1077944384 283 0 0 0 10 0 0 0 20 0 19 0 405777200 8262082560 30604 33554432000 4194304 4196468 140725535667344 140581845916016 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18929] ppid=18897 vsize=8068440 memory=6628 CPUtime=0.21 cores=0,2,4,6
/proc/18917/task/18929/stat : 18929 (java) S 18897 18897 16886 0 -1 1077944384 578 0 0 0 21 0 0 0 20 0 19 0 405777200 8262082560 30604 33554432000 4194304 4196468 140725535667344 140581844862960 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18930] ppid=18897 vsize=8068440 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18930/stat : 18930 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405777200 8262082560 30604 33554432000 4194304 4196468 140725535667344 140580185172320 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18931] ppid=18897 vsize=8068440 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18931/stat : 18931 (java) S 18897 18897 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405777200 8262082560 30604 33554432000 4194304 4196468 140725535667344 140581843811376 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18933] ppid=18897 vsize=8068440 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18933/stat : 18933 (java) S 18897 18897 16886 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405777266 8262082560 30604 33554432000 4194304 4196468 140725535667344 140581835777856 140582468751129 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18935] ppid=18897 vsize=8068440 memory=15460 CPUtime=0.02 cores=0,2,4,6
/proc/18917/task/18935/stat : 18935 (java) S 18897 18897 16886 0 -1 4202560 1687 0 0 0 1 1 0 0 20 0 19 0 405777266 8262082560 30604 33554432000 4194304 4196468 140725535667344 140579648286576 140582468748445 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18936] ppid=18897 vsize=8068440 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18936/stat : 18936 (java) S 18897 18897 16886 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405777266 8262082560 30604 33554432000 4194304 4196468 140725535667344 140579379854864 140582468748445 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18937] ppid=18897 vsize=8068440 memory=19876 CPUtime=0 cores=0,2,4,6
/proc/18917/task/18937/stat : 18937 (java) S 18897 18897 16886 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405777270 8262082560 30604 33554432000 4194304 4196468 140725535667344 140579782516016 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
Current children cumulated CPU time: 16.4 s
Current children cumulated vsize: 8210664 KiB
Current children cumulated memory: 136812 KiB

[startup+7.80088 s]
/proc/loadavg: 2.16 2.29 2.52 3/243 18937
/proc/meminfo: memFree=30899980/32770624 swapFree=67003284/67108860
[pid=18897] ppid=18894 vsize=113128 memory=1472 CPUtime=13.48 cores=0,2,4,6
/proc/18897/stat : 18897 (scop.sh) S 18894 18897 16886 0 -1 4202496 581 29482 0 0 0 0 1322 26 20 0 1 0 405776679 115843072 368 33554432000 4194304 5098028 140736991506160 140736991502904 140229255295612 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36069376 140736991507240 140736991507568 140736991507568 140736991510477 0
/proc/18897/statm: 28282 368 311 221 0 87 0
[pid=18917] ppid=18897 vsize=7937364 memory=123996 CPUtime=3.26 cores=0,2,4,6
/proc/18917/stat : 18917 (java) S 18897 18897 16886 0 -1 1077944320 21977 3354 0 0 134 9 174 9 20 0 17 0 405777194 8127860736 30999 33554432000 4194304 4196468 140725535667344 140725535649888 140582468726519 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
/proc/18917/statm: 1984341 30999 3223 1 0 1945685 0
[pid=18917/tid=18918] ppid=18897 vsize=7937364 memory=-7029379521808015264 CPUtime=2.63 cores=0,2,4,6
/proc/18917/task/18918/stat : 18918 (java) R 18897 18897 16886 0 -1 4202560 16570 3354 0 0 74 6 174 9 20 0 17 0 405777194 8127860736 30999 33554432000 4194304 4196468 140725535667344 140582440564416 140582452807006 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18919] ppid=18897 vsize=7937364 memory=56 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18919/stat : 18919 (java) S 18897 18897 16886 0 -1 1077944384 1 3354 0 0 0 0 174 9 20 0 17 0 405777195 8127860736 30999 33554432000 4194304 4196468 140725535667344 140582472968720 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18920] ppid=18897 vsize=7937364 memory=-2892745056948402235 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18920/stat : 18920 (java) S 18897 18897 16886 0 -1 1077944384 1 3354 0 0 0 0 174 9 20 0 17 0 405777195 8127860736 30999 33554432000 4194304 4196468 140725535667344 140582273137296 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18921] ppid=18897 vsize=7937364 memory=7976406965554101975 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18921/stat : 18921 (java) S 18897 18897 16886 0 -1 1077944384 1 3354 0 0 0 0 174 9 20 0 17 0 405777195 8127860736 30999 33554432000 4194304 4196468 140725535667344 140582272084240 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18922] ppid=18897 vsize=7937364 memory=-2026666227646604569 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18922/stat : 18922 (java) S 18897 18897 16886 0 -1 1077944384 2 3354 0 0 0 0 174 9 20 0 17 0 405777195 8127860736 30999 33554432000 4194304 4196468 140725535667344 140582271031696 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18923] ppid=18897 vsize=7937364 memory=-7022074515825631275 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18923/stat : 18923 (java) S 18897 18897 16886 0 -1 1077944384 6 3354 0 0 0 0 174 9 20 0 17 0 405777197 8127860736 30999 33554432000 4194304 4196468 140725535667344 140581848021744 140582468737666 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18924] ppid=18897 vsize=7937364 memory=-7161131788332309537 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18924/stat : 18924 (java) S 18897 18897 16886 0 -1 1077944384 13 3354 0 0 0 0 174 9 20 0 17 0 405777197 8127860736 30999 33554432000 4194304 4196468 140725535667344 140581326022304 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18925] ppid=18897 vsize=7937364 memory=7976406965554101975 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18925/stat : 18925 (java) S 18897 18897 16886 0 -1 1077944384 1 3354 0 0 0 0 174 9 20 0 17 0 405777197 8127860736 30999 33554432000 4194304 4196468 140725535667344 140581057586416 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18926] ppid=18897 vsize=7937364 memory=-3040564339105353098 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18926/stat : 18926 (java) S 18897 18897 16886 0 -1 1077944384 3 3354 0 0 0 0 174 9 20 0 17 0 405777200 8127860736 30999 33554432000 4194304 4196468 140725535667344 140580683078096 140582468745115 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18927] ppid=18897 vsize=7937364 memory=8562125494162282060 CPUtime=1.95 cores=0,2,4,6
/proc/18917/task/18927/stat : 18927 (java) S 18897 18897 16886 0 -1 1077944384 794 3354 0 0 12 0 174 9 20 0 17 0 405777200 8127860736 30999 33554432000 4194304 4196468 140725535667344 140581846968560 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18928] ppid=18897 vsize=7937364 memory=-3040564339105353098 CPUtime=1.98 cores=0,2,4,6
/proc/18917/task/18928/stat : 18928 (java) S 18897 18897 16886 0 -1 1077944384 311 3354 0 0 15 0 174 9 20 0 17 0 405777200 8127860736 30999 33554432000 4194304 4196468 140725535667344 140581845916016 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18929] ppid=18897 vsize=7937364 memory=7976406965554101975 CPUtime=2.09 cores=0,2,4,6
/proc/18917/task/18929/stat : 18929 (java) S 18897 18897 16886 0 -1 1077944384 681 3354 0 0 26 0 174 9 20 0 17 0 405777200 8127860736 30999 33554432000 4194304 4196468 140725535667344 140581844862960 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18930] ppid=18897 vsize=7937364 memory=0 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18930/stat : 18930 (java) S 18897 18897 16886 0 -1 1077944384 3 3354 0 0 0 0 174 9 20 0 17 0 405777200 8127860736 30999 33554432000 4194304 4196468 140725535667344 140580185172320 140582468736725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18931] ppid=18897 vsize=7937364 memory=-7751062316387021378 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18931/stat : 18931 (java) S 18897 18897 16886 0 -1 1077944384 3 3354 0 0 0 0 174 9 20 0 17 0 405777200 8127860736 30999 33554432000 4194304 4196468 140725535667344 140581843811376 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18933] ppid=18897 vsize=7937364 memory=7955433285379255906 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18933/stat : 18933 (java) S 18897 18897 16886 0 -1 1077944384 36 3354 0 0 0 0 174 9 20 0 17 0 405777266 8127860736 30999 33554432000 4194304 4196468 140725535667344 140581835777040 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
[pid=18917/tid=18937] ppid=18897 vsize=7937364 memory=47 CPUtime=1.83 cores=0,2,4,6
/proc/18917/task/18937/stat : 18937 (java) S 18897 18897 16886 0 -1 1077944384 30 3354 0 0 0 0 174 9 20 0 17 0 405777270 8127860736 30999 33554432000 4194304 4196468 140725535667344 140579782517808 140582468737666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9396224 140725535675387 140725535675546 140725535675546 140725535678415 0
Current children cumulated CPU time: 16.74 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 125468 KiB

Child status: 0
Real time (s): 7.87127
CPU time (s): 16.9272
CPU user time (s): 16.4663
CPU system time (s): 0.460824
CPU usage (%): 215.05
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1114352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4663
system time used= 0.460824
maximum resident set size= 1115824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6203
involuntary context switches= 75


# summary of solver processes directly reported to runsolver:
#   pid: 18897
#   total CPU time (s): 16.9272
#   total CPU user time (s): 16.4663
#   total CPU system time (s): 0.460824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077105 second user time and 0.128147 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-12 15:35:31
IDJOB=4388103
IDBENCH=134478
IDSOLVER=2825
FILE ID=node133/4388103-1568295370
RUNJOBID= node133-1568289747-16919
PBS_JOBID= 21701096
Free space on /tmp= 52668 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s13/Blackhole-13-3-04.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-4388103-1568295370/watcher-4388103-1568295370 -o /tmp/evaluation-result-4388103-1568295370/solver-4388103-1568295370 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16919 --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-4388103-1568295370.xml

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

MD5SUM BENCH= 5cc270e62cab521987b2b853f5e11200
RANDOM SEED=999006101

node133.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.18
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.18
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.18
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.18
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:        31015964 kB
MemAvailable:   31316000 kB
Buffers:           94660 kB
Cached:           487844 kB
SwapCached:         3600 kB
Active:           981284 kB
Inactive:         188936 kB
Active(anon):     612172 kB
Inactive(anon):    15660 kB
Active(file):     369112 kB
Inactive(file):   173276 kB
Unevictable:      111244 kB
Mlocked:          111244 kB
SwapTotal:      67108860 kB
SwapFree:       67003284 kB
Dirty:             20608 kB
Writeback:             0 kB
AnonPages:        736140 kB
Mapped:            54204 kB
Shmem:             31148 kB
Slab:             176216 kB
SReclaimable:     146964 kB
SUnreclaim:        29252 kB
KernelStack:        3888 kB
PageTables:         7032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6498504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 52648 MiB
End job on node133 at 2019-09-12 15:35:39