Trace number 4387911

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 49.1518 46.11

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-033.xml
MD5SUM273a3a450a7af16ef80dfed9e1af494c
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 benchmark36.4974
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints51
Number of domains1
Minimum domain size288
Maximum domain size288
Distribution of domain sizes[{"size":288,"count":48}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity48
Distribution of constraint arities[{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}]
Number of extensional constraints0
Number of intensional constraints50
Distribution of constraint types[{"type":"intension","count":50},{"type":"noOverlap","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-12286-serial-file.bin HOME/instance-4387911-1568292377.xml
0.65/0.53	
0.65/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Thu Sep 12 14:45:35 CEST 2019
0.65/0.56	c PID: 12289
0.65/0.56	c IP: 172.20.3.147
0.65/0.56	c HOST: node147.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.18/0.89	c (0,0) Parsing End
1.39/0.90	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 288
1.39/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.90	c (0,0) Constraint Name Generate Begin
1.39/0.90	c (0,0) Ctr:HOME/instance-4387911-1568292377.xml,Le:NoOverlap:Num:Var
1.39/0.90	c (0,0) Constraint Name Generate End
1.39/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.90	c (0,0) CSP to CSPinCNF Begin
1.39/0.98	c (0,0) translated 6 (10%) constraints
1.39/0.99	c (0,0) translated 11 (20%) constraints
1.39/0.99	c (0,0) translated 16 (30%) constraints
1.39/0.99	c (0,0) translated 21 (40%) constraints
1.39/1.00	c (0,0) translated 26 (50%) constraints
1.39/1.00	c (0,0) translated 31 (60%) constraints
1.39/1.00	c (0,0) translated 36 (70%) constraints
1.39/1.00	c (0,0) translated 41 (80%) constraints
1.56/1.01	c (0,0) translated 46 (90%) constraints
2.14/1.26	c (0,0) translated 51 (100%) constraints
2.14/1.27	c (0,0) ===========================================
2.14/1.27	c (0,0) Order
2.14/1.27	c (0,0) ===========================================
2.14/1.27	c (0,0) translated 33 (10%) constraints
2.14/1.28	c (0,0) translated 66 (20%) constraints
2.14/1.28	c (0,0) translated 98 (30%) constraints
2.14/1.29	c (0,0) translated 131 (40%) constraints
2.14/1.29	c (0,0) translated 163 (50%) constraints
2.14/1.30	c (0,0) translated 196 (60%) constraints
2.14/1.30	c (0,0) translated 229 (70%) constraints
2.49/1.30	c (0,0) translated 261 (80%) constraints
2.49/1.31	c (0,0) translated 294 (90%) constraints
2.49/1.31	c (0,0) translated 326 (100%) constraints
2.49/1.32	c (0,0) CSP to CSPinCNF End
2.49/1.32	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 287
2.49/1.32	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.49/1.32	c (0,0) CSPinCNF Propagation Begin
2.49/1.35	c (0,0) 0 values, 10 unsatisfiable literals, and 49 valid clauses are removed
2.49/1.35	c (0,0) CSPinCNF Propagation End
2.49/1.35	c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 287
2.49/1.35	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.49/1.35	c (0,0) Simplify CSPinCNF Begin
2.79/1.44	c (0,0) Simplify CSPinCNF End
2.79/1.45	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.79/1.45	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.79/1.45	c (0,0) Calculate Precise Domain Begin
2.79/1.45	c (0,0) 0 values are removed by re-calculation
2.79/1.45	c (0,0) Calculate Precise Domain End
2.79/1.45	c (0,0) CSP: 48 int (0 aux), 1094 bool (1094 aux), 1371 ctr, max domain size 287
2.79/1.45	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.79/1.45	c (0,0) CSPinCNF to SatSolver Begin
3.99/1.85	c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 38094 SAT clauses)
4.30/1.98	c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 64094 SAT clauses)
4.59/2.08	c (1,1) 412 (30 %) CSP clauses are encoded (0 SAT variables, 88663 SAT clauses)
4.73/2.16	c (1,1) 549 (40 %) CSP clauses are encoded (0 SAT variables, 112258 SAT clauses)
4.83/2.26	c (1,1) 686 (50 %) CSP clauses are encoded (0 SAT variables, 135989 SAT clauses)
4.94/2.34	c (1,1) 823 (60 %) CSP clauses are encoded (0 SAT variables, 158403 SAT clauses)
5.06/2.42	c (1,1) 960 (70 %) CSP clauses are encoded (0 SAT variables, 179871 SAT clauses)
5.06/2.49	c (1,1) 1097 (80 %) CSP clauses are encoded (0 SAT variables, 199686 SAT clauses)
5.17/2.56	c (2,2) 1234 (90 %) CSP clauses are encoded (0 SAT variables, 216911 SAT clauses)
5.28/2.61	c (2,2) 1371 (100 %) CSP clauses are encoded (0 SAT variables, 229298 SAT clauses)
5.28/2.61	c (2,2) CSPinCNF to SatSolver End
5.28/2.61	c (2,2) Heap : 957 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.28/2.61	c (2,2) 12648 bool, 229362 clause
5.28/2.61	c (2,2) Export Begin
5.28/2.69	c (2,2) Export to HOME/scop-12286-serial-file.bin
5.28/2.69	c (2,2) Export End
5.28/2.69	c (2,2) Export File Size: 0.01 MB
5.28/2.69	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
5.28/2.69	c END-Prog: Thu Sep 12 14:45:37 CEST 2019
0.00/2.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12286-serial-file.bin
6.00/3.15	c (0,0) Read Serial File Begin
6.00/3.15	c (0,0) HOME/scop-12286-serial-file.bin
6.27/3.35	c (0,0) Read Serial File End
6.27/3.36	
6.60/3.84	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
6.60/3.84	(Solving Process)
6.60/3.84	
6.60/3.84	c BEGIN-Prog: Thu Sep 12 14:45:38 CEST 2019
6.60/3.84	c PID: 12306
6.60/3.84	c IP: 172.20.3.147
6.60/3.84	c HOST: node147.alineos.net
6.60/3.84	c (0,0) SatSolver.solve Begin
6.60/3.84	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387911-1568292377.xml-scop-12289.cnf
6.60/3.84	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.60/3.84	c (0,0) c glueminisat-simp-2.2.10-193oa-n
6.60/3.84	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387911-1568292377.xml-scop-12289.cnf 
6.60/3.84	c (0,0) c Options:
6.60/3.84	c (0,0) c CORE
6.60/3.84	c (0,0) c  var_decay             = 0.950
6.60/3.84	c (0,0) c  clause_decay          = 0.999
6.60/3.84	c (0,0) c  random_var_freq       = 0.000
6.60/3.84	c (0,0) c  random_seed           = 91648253.000
6.60/3.84	c (0,0) c  luby_restart          = 1
6.60/3.84	c (0,0) c  ccmin_mode            = 2
6.60/3.84	c (0,0) c  phase_saving          = 2
6.60/3.84	c (0,0) c  rnd_pol               = 0
6.60/3.84	c (0,0) c  rnd_init_act          = 0
6.60/3.84	c (0,0) c  garbage_frac          = 0.200
6.60/3.84	c (0,0) c  restart_first         = 1000
6.60/3.84	c (0,0) c  restart_inc           = 2.000
6.60/3.84	c (0,0) c MODEL
6.60/3.84	c (0,0) c  partial_model         = 0
6.60/3.84	c (0,0) c PROPAGATION
6.60/3.84	c (0,0) c  bin_propagation       = 1
6.60/3.84	c (0,0) c SIMPLIFICATION
6.60/3.84	c (0,0) c  lrn_min_size          = 100
6.60/3.84	c (0,0) c  lazy_simp             = 1
6.60/3.84	c (0,0) c  lazy_interval         = 10
6.60/3.84	c (0,0) c  lazy_fld_probing      = 1
6.60/3.84	c (0,0) c  lazy_pol_probing      = 1
6.60/3.84	c (0,0) c  lazy_nec_probing      = 1
6.60/3.84	c (0,0) c  lazy_eqv_probing      = 1
6.60/3.84	c (0,0) c  lazy_cla_probing      = 1
6.60/3.84	c (0,0) c  lazy_lrn_min          = 2
6.60/3.84	c (0,0) c  lazy_uw_lit_elim      = 1
6.60/3.84	c (0,0) c  lazy_pr_lit_elim      = 0
6.60/3.84	c (0,0) c  lazy_bin_add          = 3
6.60/3.84	c (0,0) c  probed_lit_chain      = 1
6.60/3.84	c (0,0) c  pr_min_lits           = 0.00020
6.60/3.84	c (0,0) c  pr_min_starts         = 500
6.60/3.84	c (0,0) c  rw_min_lits           = 0.010
6.60/3.84	c (0,0) c  rw_min_starts         = 500
6.60/3.84	c (0,0) c  rand_attach           = 0
6.60/3.84	c (0,0) c  dec_elim              = 1
6.60/3.84	c (0,0) c  dec_elim_lim          = 25
6.60/3.84	c (0,0) c  dec_elim_len          = -1
6.60/3.84	c (0,0) c  amo                   = 0
6.60/3.84	c (0,0) c  amo_grp               = 1
6.60/3.84	c (0,0) c  amo_max_bins          = 1000000
6.60/3.84	c (0,0) c  amo_starts            = 50
6.60/3.84	c (0,0) c  mace_cmd              = mace
6.60/3.84	c (0,0) c DECISION
6.60/3.84	c (0,0) c  rand_rebuild          = 0
6.60/3.84	c (0,0) c  rand_rebuild_confs    = 10000
6.60/3.84	c (0,0) c  inc_var_decay         = 1
6.60/3.84	c (0,0) c  inc_var_decay_period  = 100000
6.60/3.84	c (0,0) c  inc_var_decay_init    = 0.600
6.60/3.84	c (0,0) c  var_decay_mode        = 0
6.60/3.84	c (0,0) c  var_decay_gain        = 0
6.60/3.84	c (0,0) c  sloped_var_decay      = 1
6.60/3.84	c (0,0) c  max_var_decay         = 0.990
6.60/3.84	c (0,0) c  min_var_decay         = 0.950
6.60/3.84	c (0,0) c  min_var_decay_vars    = 10000
6.60/3.84	c (0,0) c  max_var_decay_vars    = 500
6.60/3.84	c (0,0) c  uip_bumping           = 1
6.60/3.84	c (0,0) c  lbd_act_bumping       = 1
6.60/3.84	c (0,0) c  rand_tiebreak         = 0
6.60/3.84	c (0,0) c  simp_rebuild          = 1
6.60/3.84	c (0,0) c RESTART
6.60/3.84	c (0,0) c  restart_strategy      = 2
6.60/3.84	c (0,0) c  restart_blocking      = 0
6.60/3.84	c (0,0) c  agility_decay         = 0.99990
6.60/3.84	c (0,0) c  lbd_restart_rate      = 0.800
6.60/3.84	c (0,0) c  dec_restart_rate      = 0.950
6.60/3.84	c (0,0) c  blk_restart_rate      = 0.700
6.60/3.84	c (0,0) c  lbd_queue_size        = 50
6.60/3.84	c (0,0) c  dec_queue_size        = 50
6.60/3.84	c (0,0) c  trl_queue_size        = 5000
6.60/3.84	c (0,0) c  blk_restart_weight    = 1.000
6.60/3.84	c (0,0) c  inc_rst_rate          = 0
6.60/3.84	c (0,0) c  inc_rst_rate_period   = 500000
6.60/3.84	c (0,0) c  inc_lbd_rst_rate_init = 0.600
6.60/3.84	c (0,0) c  inc_dec_rst_rate_init = 0.750
6.60/3.84	c (0,0) c REDUCTION
6.60/3.84	c (0,0) c  closed_lbd            = 0
6.60/3.84	c (0,0) c  closed_lbd_rate       = 0.500
6.60/3.84	c (0,0) c  rm_simulate           = 0
6.60/3.84	c (0,0) c  rdb_eval              = 2
6.60/3.84	c (0,0) c  rdb_call              = 3
6.60/3.84	c (0,0) c  rdb_ub                = 0.500
6.60/3.84	c (0,0) c  core_lbd_cvr          = 0.800
6.60/3.84	c (0,0) c  supp_lbd_cvr          = 0.990
6.60/3.84	c (0,0) c  core_lbd_lb           = 2
6.60/3.84	c (0,0) c  supp_lbd_lb           = 2
6.60/3.84	c (0,0) c  core_lbd_prd          = 7
6.60/3.84	c (0,0) c  supp_lbd_prd          = 1
6.60/3.84	c (0,0) c  othr_lbd_prd          = 0
6.60/3.84	c (0,0) c  inc_lrn_limit         = 1000
6.60/3.84	c (0,0) c  frozen_lbd            = 30
6.60/3.84	c (0,0) c  simp_min_starts       = 100
6.60/3.84	c (0,0) c  rm_low_act_learnts    = 1
6.60/3.84	c (0,0) c  lv0_reduce_db         = 0
6.60/3.84	c (0,0) c  reduce_db_base        = 20000
6.60/3.84	c (0,0) c  reduce_db_inc         = 1000
6.60/3.84	c (0,0) c HARD
6.60/3.84	c (0,0) c  inst_check            = 200000
6.60/3.84	c (0,0) c  small_block           = 1.750
6.60/3.84	c (0,0) c  slow_restart_speed    = 400.000
6.60/3.84	c (0,0) c  slow_restart_strategy = 3
6.60/3.84	c (0,0) c  slow_lbd_restart_rate = 0.700
6.60/3.84	c (0,0) c  slow_dec_restart_rate = 1.000
6.60/3.84	c (0,0) c  slow_lbd_queue_size   = 50
6.60/3.84	c (0,0) c  slow_var_decay        = 0.950
6.60/3.84	c (0,0) c  slow_glue_threshold   = 2
6.60/3.84	c (0,0) c  slow_phase_saving     = 2
6.60/3.84	c (0,0) c  fast_restart_speed    = 125.000
6.60/3.84	c (0,0) c  fast_restart_strategy = 1
6.60/3.84	c (0,0) c  fast_lbd_restart_rate = 0.800
6.60/3.84	c (0,0) c  fast_dec_restart_rate = 0.950
6.60/3.84	c (0,0) c  fast_lbd_queue_size   = 50
6.60/3.84	c (0,0) c  fast_var_decay        = 1.000
6.60/3.84	c (0,0) c  fast_glue_threshold   = 2
6.60/3.84	c (0,0) c  fast_phase_saving     = 2
6.60/3.84	c (0,0) c STATS
6.60/3.84	c (0,0) c  stats_conf_size       = 10000
6.60/3.84	c (0,0) c  max_stats_size        = 30
6.60/3.84	c (0,0) c SOLVER
6.60/3.84	c (0,0) c  minisat               = 0
6.60/3.92	c (0,0) c Problem: 12648 variables, 229362 clauses, parsing 0.06 s
6.86/4.13	c (1,0) c  reduced to 12154 variables, 226744 clauses (grow = 0)
6.86/4.14	c (1,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
6.86/4.16	c (1,0) c Simplification: 494 vars, 2618 clauses are eliminated using 0.24 s
6.86/4.16	c (1,0) c
6.86/4.16	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
6.86/4.16	c (1,0) c
6.86/4.16	c (1,0) c    0         0         0    12154   226744        0   -nan  -nan  -nan -nan%
6.86/4.18	c (1,0) c    0         1       100    12154   226744      100   15.3   8.0  54.1 54.4%
6.86/4.19	c (1,0) c    0         1       220    12154   226744      220   20.3   8.1  38.5 49.9%
6.95/4.21	c (1,0) c    0         1       364    12154   226744      364   22.0   8.0  32.2 48.4%
6.95/4.23	c (1,0) c    0         1       536    12154   226744      536   24.6   8.3  29.3 47.0%
6.95/4.25	c (1,0) c    0         1       743    12154   226744      743   25.4   8.6  27.6 46.6%
6.95/4.29	c (1,0) c    0         1       991    12154   226744      991   26.4   8.5  26.0 46.3%
7.05/4.33	c (1,0) c    0         1      1289    12154   226744     1289   26.9   8.3  24.5 45.9%
7.05/4.38	c (1,0) c    0         1      1647    12154   226744     1647   26.9   8.0  23.2 45.6%
7.15/4.44	c (1,0) c    1         1      2076    12154   226744     2076   27.1   7.6  21.9 45.3%
7.25/4.52	c (1,0) c    1         2      2591    12154   226744     2591   25.5   7.5  21.5 43.9%
7.34/4.60	c (1,0) c    1         6      3210    12154   226744     3210   24.3   7.6  21.9 42.5%
7.45/4.70	c (1,0) c    1         9      3953    12154   226744     3953   24.1   7.5  22.4 42.0%
7.55/4.83	c (1,0) c    1        10      4844    12154   226744     4844   23.8   7.3  21.5 41.5%
7.66/5.00	c (1,0) c    1        12      5913    12154   226744     5913   24.1   7.3  21.3 41.2%
7.87/5.12	c (2,0) c    1 p      14      6821    12146   226744     6821   23.8   7.2  20.9 40.8%
7.87/5.18	c (2,0) c
7.87/5.18	c (2,0) c   variables         : 12146       (init 12648, after simp 12154, 0 non-decs, 48 csp)
7.87/5.18	c (2,0) c   clauses           : 226744      (init 229362, after simp 226744)
7.87/5.18	c (2,0) c   restarts          : 14          (479.73 confs/res, 50~2247 confs, 0 blks, 0 last)
7.87/5.18	c (2,0) c   conflicts         : 7196        (5545 /sec, 55.43% dconfs, 0.00% supp, trail 271.03w x 21.19h, jmp 2.31h)
7.87/5.18	c (2,0) c   decisions         : 16945       (0.6200 vdcy, 13058 /sec, 0.00% bin, rs 0.000 s)
7.87/5.18	c (2,0) c   propagations      : 4347966     (3350605 /sec, 256.59 lits/dec, 66.53% o.a.)
7.87/5.18	c (2,0) c   conflict literals : 244635      (30.23% deleted; 0.93% by bin min, 0.001 s)
7.87/5.18	c (2,0) c   len               : 23.401      (23.40 for all, max 96, used 96)
7.87/5.18	c (2,0) c   lbd               : 7.232       (8.62 (7.23) for all, max 25, used 25, 2.704 stdev, 2.715 blk)
7.87/5.18	c (2,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
7.87/5.18	c (2,0) c   simp dbs          : 1           (0.000 s)
7.87/5.18	c (2,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
7.87/5.18	c (2,0) c   learnts           : 7196        (0 learnts removed, 0.00%)
7.87/5.18	c (2,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
7.87/5.18	c (2,0) c   assigned lits     : 1           (1/4 probed, 0 remains)
7.87/5.18	c (2,0) c   premise updates   : 205444      (8.45 /lit)
7.87/5.18	c (2,0) c   probed variables  : 4           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 4 cla, 0 amo)
7.87/5.18	c (2,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
7.87/5.18	c (2,0) c   lazy added bins   : 0           (0 prop + 0 conf, 0.003s)
7.87/5.18	c (2,0) c   unwatched lit elim: 437         (0.00+0.17%, 16+421 of 774176+244635)
7.87/5.18	c (2,0) c   classified type   : undef
7.87/5.18	c (2,0) c   progress          : 0.736 %
7.87/5.18	c (2,0) c
7.87/5.18	c (2,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
7.87/5.18	c (2,0) c
7.87/5.18	c (2,0) c    1        15      7196    12146   226744     7196   23.4   7.2  21.2 40.5%
8.16/5.41	c (2,0) c    2        23      8736    12146   226744     8736   23.0   7.3  21.8 40.4%
8.36/5.69	c (2,0) c    2        26     10584    12146   226744    10584   22.9   7.2  21.0 39.9%
8.77/6.02	c (2,0) c    2        35     12802    12146   226744    12802   23.1   7.3  22.5 40.9%
9.16/6.41	c (3,0) c    3        40     15464    12146   226744    15464   23.6   7.3  22.2 41.4%
9.76/7.02	c (3,0) c    3        54     18658    12146   226744    18660   23.5   7.4  21.8 41.8%
9.96/7.29	c (4,0) c    3 r      60     20001    12146   226744    20003   23.6   7.4  21.7 41.9%
9.96/7.29	c (4,0) c
9.96/7.29	c (4,0) c R [LBD Statistics #1]
9.96/7.29	c (4,0) c R LBD         used lbd               used clause lbd
9.96/7.29	c (4,0) c R  tot      133161                   20003
9.96/7.29	c (4,0) c R  avg       3.863                   7.392
9.96/7.29	c (4,0) c R   1         3105 ( 2.3/ 2.3%)        106 ( 0.5/ 0.5%)
9.96/7.29	c (4,0) c R   2        48477 (36.4/38.7%)       1603 ( 8.0/ 8.5%)
9.96/7.29	c (4,0) c R   3        26614 (20.0/58.7%)       1699 ( 8.5/17.0%)
9.96/7.29	c (4,0) c R   4        18322 (13.8/72.5%)       2043 (10.2/27.3%)
9.96/7.29	c (4,0) c R   5        12837 ( 9.6/82.1%)       2046 (10.2/37.5%)
9.96/7.29	c (4,0) c R
9.96/7.29	c (4,0) c R core_lbd_threshold = 5
9.96/7.29	c (4,0) c R supp_lbd_threshold = 13
9.96/7.29	c (4,0) c R
9.96/7.29	c (4,0) c R [RDB Statistics #1]
9.96/7.29	c (4,0) c R kept: lbd      =    7466 (37.3/37.3%)
9.96/7.29	c (4,0) c R kept: ttl      =   12501 (62.5/99.8%)
9.96/7.29	c (4,0) c R kept: locked   =      36 ( 0.2/100.0%)
9.96/7.29	c (4,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
9.96/7.29	c (4,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
9.96/7.29	c (4,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
9.96/7.29	c (4,0) c
9.96/7.29	c (4,0) c    3 R      60     20001    12146   226744    20003   23.6   7.4  21.7 41.9%
10.47/7.77	c (4,0) c    4        69     22491    12146   226744    22493   23.3   7.3  20.1 40.5%
11.36/8.68	c (5,0) c    5        88     27091    12146   226744    27093   23.8   7.4  19.2 41.2%
12.48/9.73	c (6,0) c    6       107     32611    12146   226583    32613   24.0   7.4  20.1 42.0%
13.98/11.25	c (8,0) c    7       131     39235    12146   226583    39237   24.1   7.5  19.2 40.5%
14.38/11.69	c (8,0) c    8 r     139     41000    12146   226583    41002   24.2   7.5  19.1 40.6%
14.38/11.69	c (8,0) c
14.38/11.69	c (8,0) c R [LBD Statistics #2]
14.38/11.69	c (8,0) c R LBD         used lbd               used clause lbd
14.38/11.69	c (8,0) c R  tot      363458                   41002
14.38/11.69	c (8,0) c R  avg       3.528                   7.465
14.38/11.69	c (8,0) c R   1        11473 ( 3.2/ 3.2%)        263 ( 0.6/ 0.6%)
14.38/11.69	c (8,0) c R   2       157306 (43.3/46.4%)       3458 ( 8.4/ 9.1%)
14.38/11.69	c (8,0) c R   3        69075 (19.0/65.4%)       3427 ( 8.4/17.4%)
14.38/11.69	c (8,0) c R   4        44423 (12.2/77.7%)       3898 ( 9.5/26.9%)
14.38/11.69	c (8,0) c R   5        29446 ( 8.1/85.8%)       3979 ( 9.7/36.6%)
14.38/11.69	c (8,0) c R
14.38/11.69	c (8,0) c R core_lbd_threshold = 5
14.38/11.69	c (8,0) c R supp_lbd_threshold = 13
14.38/11.69	c (8,0) c R
14.38/11.69	c (8,0) c R [RDB Statistics #2]
14.38/11.69	c (8,0) c R kept: lbd      =   14968 (36.5/36.5%)
14.38/11.69	c (8,0) c R kept: ttl      =   13059 (31.8/68.4%)
14.38/11.69	c (8,0) c R kept: locked   =      59 ( 0.1/68.5%)
14.38/11.69	c (8,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
14.38/11.69	c (8,0) c R lost: ttl      =   12916 (31.5/31.5%)
14.38/11.69	c (8,0) c R lost: subsumed =       0 ( 0.0/31.5%)
14.38/11.69	c (8,0) c
14.38/11.69	c (8,0) c    8 R     139     41000    12146   226583    28086   19.8   5.8  19.1 40.6%
15.68/12.99	c (9,0) c    9       154     47184    12146   226583    34270   21.4   6.0  16.8 41.9%
18.08/15.38	c (12,0) c   11       200     56723    12146   226583    43809   22.6   6.4  17.8 41.8%
19.88/17.14	c (14,0) c
19.88/17.14	c (14,0) c   variables         : 12146       (init 12648, after simp 12154, 0 non-decs, 48 csp)
19.88/17.14	c (14,0) c   clauses           : 226583      (init 229362, after simp 226744)
19.88/17.14	c (14,0) c   restarts          : 221         (283.80 confs/res, 50~2310 confs, 0 blks, 0 last)
19.88/17.14	c (14,0) c   conflicts         : 63004       (4809 /sec, 53.15% dconfs, 0.00% supp, trail 307.77w x 19.35h, jmp 1.89h)
19.88/17.14	c (14,0) c   decisions         : 123752      (0.8200 vdcy, 9446 /sec, 0.00% bin, rs 0.003 s)
19.88/17.14	c (14,0) c   propagations      : 44230031    (3375906 /sec, 357.41 lits/dec, 73.34% o.a.)
19.88/17.14	c (14,0) c   conflict literals : 2602140     (36.91% deleted; 1.46% by bin min, 0.015 s)
19.88/17.14	c (14,0) c   len               : 23.327      (25.45 for all, max 138, used 123)
19.88/17.14	c (14,0) c   lbd               : 6.557       (9.11 (7.48) for all, max 40, used 36, 2.212 stdev, 2.794 blk)
19.88/17.14	c (14,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
19.88/17.14	c (14,0) c   simp dbs          : 2           (0.023 s)
19.88/17.14	c (14,0) c   reduce dbs        : 2           (core-lbd 5, supp-lbd 13, 0.003 s)
19.88/17.14	c (14,0) c   learnts           : 50090       (12916 learnts removed, 20.50%)
19.88/17.14	c (14,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
19.88/17.14	c (14,0) c   assigned lits     : 1           (1/4 probed, 0 remains)
19.88/17.14	c (14,0) c   premise updates   : 1319893     (54.30 /lit)
19.88/17.14	c (14,0) c   probed variables  : 4           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 4 cla, 0 amo)
19.88/17.14	c (14,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
19.88/17.14	c (14,0) c   lazy added bins   : 3           (3 prop + 0 conf, 0.017s)
19.88/17.14	c (14,0) c   unwatched lit elim: 6986        (0.02+0.26%, 155+6831 of 774176+2602140)
19.88/17.14	c (14,0) c   classified type   : undef
19.88/17.14	c (14,0) c   progress          : 0.736 %
19.88/17.14	c (14,0) c
19.88/17.14	c (14,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
19.88/17.14	c (14,0) c
19.88/17.14	c (14,0) c   13 r     222     63004    12146   226583    50090   23.3   6.6  17.5 41.7%
19.88/17.17	c (14,0) c
19.88/17.17	c (14,0) c R [LBD Statistics #3]
19.88/17.17	c (14,0) c R LBD         used lbd               used clause lbd
19.88/17.17	c (14,0) c R  tot      695883                   50090
19.88/17.17	c (14,0) c R  avg       3.329                   6.557
19.88/17.17	c (14,0) c R   1        24159 ( 3.5/ 3.5%)        424 ( 0.8/ 0.8%)
19.88/17.17	c (14,0) c R   2       327960 (47.1/50.6%)       5538 (11.1/11.9%)
19.88/17.17	c (14,0) c R   3       132341 (19.0/69.6%)       5411 (10.8/22.7%)
19.88/17.17	c (14,0) c R   4        78697 (11.3/80.9%)       5808 (11.6/34.3%)
19.88/17.17	c (14,0) c R
19.88/17.17	c (14,0) c R core_lbd_threshold = 4
19.88/17.17	c (14,0) c R supp_lbd_threshold = 12
19.88/17.17	c (14,0) c R
19.88/17.17	c (14,0) c R [RDB Statistics #3]
19.88/17.17	c (14,0) c R kept: lbd      =   17179 (34.3/34.3%)
19.88/17.17	c (14,0) c R kept: ttl      =   20706 (41.3/75.6%)
19.88/17.17	c (14,0) c R kept: locked   =       5 ( 0.0/75.6%)
19.88/17.17	c (14,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
19.88/17.17	c (14,0) c R lost: ttl      =   12200 (24.4/24.4%)
19.88/17.17	c (14,0) c R lost: subsumed =       0 ( 0.0/24.4%)
19.88/17.17	c (14,0) c
19.88/17.17	c (14,0) c   13 R     222     63004    12146   226583    37890   20.6   5.4  17.5 41.7%
21.28/18.59	c (15,0) c   15       253     68170    12146   226583    43056   21.3   5.7  16.7 40.6%
24.99/22.20	c (19,0) c   18       329     81907    12146   226583    56793   23.0   6.3  17.0 41.6%
26.19/23.41	c (20,0) c   20 r     355     86001    12146   226583    60887   23.4   6.4  16.8 41.7%
26.19/23.44	c (20,0) c
26.19/23.44	c (20,0) c R [LBD Statistics #4]
26.19/23.44	c (20,0) c R LBD         used lbd               used clause lbd
26.19/23.44	c (20,0) c R  tot     1118270                   60887
26.19/23.44	c (20,0) c R  avg       3.190                   6.419
26.19/23.44	c (20,0) c R   1        43593 ( 3.9/ 3.9%)        617 ( 1.0/ 1.0%)
26.19/23.44	c (20,0) c R   2       565854 (50.6/54.5%)       7598 (12.5/13.5%)
26.19/23.44	c (20,0) c R   3       205261 (18.4/72.9%)       7028 (11.5/25.0%)
26.19/23.44	c (20,0) c R   4       114838 (10.3/83.1%)       7561 (12.4/37.5%)
26.19/23.44	c (20,0) c R
26.19/23.44	c (20,0) c R core_lbd_threshold = 4
26.19/23.44	c (20,0) c R supp_lbd_threshold = 12
26.19/23.44	c (20,0) c R
26.19/23.44	c (20,0) c R [RDB Statistics #4]
26.19/23.44	c (20,0) c R kept: lbd      =   22747 (37.4/37.4%)
26.19/23.44	c (20,0) c R kept: ttl      =   22669 (37.2/74.6%)
26.19/23.44	c (20,0) c R kept: locked   =      64 ( 0.1/74.7%)
26.19/23.44	c (20,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
26.19/23.44	c (20,0) c R lost: ttl      =   15407 (25.3/25.3%)
26.19/23.44	c (20,0) c R lost: subsumed =       0 ( 0.0/25.3%)
26.19/23.44	c (20,0) c
26.19/23.44	c (20,0) c   20 R     355     86001    12146   226583    45480   19.6   5.0  16.8 41.7%
29.50/26.78	c (23,0) c   23       411     98391    12146   226583    57871   21.6   5.7  17.4 43.4%
30.00/27.27	c (24,0) c   23 f     420    100000    12146   226583    59479   21.8   5.7  17.6 44.1%
33.09/30.35	c (27,0) c   26 r     468    110001    12146   226583    69484   22.8   6.1  17.3 43.8%
33.09/30.35	c (27,0) c
33.09/30.35	c (27,0) c R [LBD Statistics #5]
33.09/30.35	c (27,0) c R LBD         used lbd               used clause lbd
33.09/30.35	c (27,0) c R  tot     1615300                   69484
33.09/30.35	c (27,0) c R  avg       3.102                   6.105
33.09/30.35	c (27,0) c R   1        67329 ( 4.2/ 4.2%)        819 ( 1.2/ 1.2%)
33.09/30.35	c (27,0) c R   2       852019 (52.7/56.9%)       9872 (14.2/15.4%)
33.09/30.35	c (27,0) c R   3       290314 (18.0/74.9%)       8715 (12.5/27.9%)
33.09/30.35	c (27,0) c R   4       155870 ( 9.6/84.5%)       9104 (13.1/41.0%)
33.09/30.35	c (27,0) c R
33.09/30.36	c (27,0) c R core_lbd_threshold = 4
33.09/30.36	c (27,0) c R supp_lbd_threshold = 12
33.09/30.36	c (27,0) c R
33.09/30.36	c (27,0) c R [RDB Statistics #5]
33.09/30.36	c (27,0) c R kept: lbd      =   28498 (41.0/41.0%)
33.09/30.36	c (27,0) c R kept: ttl      =   23556 (33.9/74.9%)
33.09/30.36	c (27,0) c R kept: locked   =      17 ( 0.0/74.9%)
33.09/30.36	c (27,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
33.09/30.36	c (27,0) c R lost: ttl      =   17413 (25.1/25.1%)
33.09/30.36	c (27,0) c R lost: subsumed =       0 ( 0.0/25.1%)
33.09/30.36	c (27,0) c
33.09/30.36	c (27,0) c   26 R     468    110001    12146   226583    52071   19.8   4.9  17.3 43.8%
35.40/32.65	c (29,0) c   29       506    118172    12146   226583    60243   20.9   5.3  16.3 44.3%
40.91/38.17	c (35,0) c   34 r     582    135000    12146   226583    77071   23.0   6.0  16.0 43.9%
41.00/38.21	c (35,0) c
41.00/38.21	c (35,0) c R [LBD Statistics #6]
41.00/38.21	c (35,0) c R LBD         used lbd               used clause lbd
41.00/38.21	c (35,0) c R  tot     2201144                   77071
41.00/38.21	c (35,0) c R  avg       3.023                   5.952
41.00/38.21	c (35,0) c R   1        99712 ( 4.5/ 4.5%)       1018 ( 1.3/ 1.3%)
41.00/38.21	c (35,0) c R   2      1207058 (54.8/59.4%)      12007 (15.6/16.9%)
41.00/38.21	c (35,0) c R   3       382079 (17.4/76.7%)      10305 (13.4/30.3%)
41.00/38.21	c (35,0) c R   4       198204 ( 9.0/85.7%)      10633 (13.8/44.1%)
41.00/38.21	c (35,0) c R
41.00/38.21	c (35,0) c R core_lbd_threshold = 4
41.00/38.21	c (35,0) c R supp_lbd_threshold = 11
41.00/38.21	c (35,0) c R
41.00/38.21	c (35,0) c R [RDB Statistics #6]
41.00/38.21	c (35,0) c R kept: lbd      =   33917 (44.0/44.0%)
41.00/38.21	c (35,0) c R kept: ttl      =   24738 (32.1/76.1%)
41.00/38.21	c (35,0) c R kept: locked   =      58 ( 0.1/76.2%)
41.00/38.21	c (35,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
41.00/38.21	c (35,0) c R lost: ttl      =   18358 (23.8/23.8%)
41.00/38.21	c (35,0) c R lost: subsumed =       0 ( 0.0/23.8%)
41.00/38.21	c (35,0) c
41.00/38.21	c (35,0) c   34 R     582    135000    12146   226583    58713   19.7   4.7  16.0 43.9%
43.13/40.36	c (37,0) c   36       613    141909    12146   226583    65622   20.8   5.1  16.5 45.1%
48.74/45.96	c (42,0) c   42       655    159315    12146   226583    83030   22.5   5.5  13.9 44.4%
48.74/45.96	c (42,0) c
48.74/45.96	c (42,0) c
48.74/45.96	c (42,0) c variables         : 12146       (init 12648, after simp 12154, 0 non-decs, 48 csp)
48.74/45.96	c (42,0) c clauses           : 226583      (init 229362, after simp 226744)
48.74/45.96	c (42,0) c restarts          : 654         (243.23 confs/res, 50~3446 confs, 0 blks, 0 last)
48.74/45.96	c (42,0) c conflicts         : 159315      (3822 /sec, 50.83% dconfs, 0.00% supp, trail 353.63w x 17.57h, jmp 1.67h)
48.74/45.96	c (42,0) c decisions         : 278718      (0.9500 vdcy, 6686 /sec, 0.00% bin, rs 0.004 s)
48.74/45.96	c (42,0) c propagations      : 128026690   (3071379 /sec, 459.34 lits/dec, 77.15% o.a.)
48.74/45.96	c (42,0) c conflict literals : 8361906     (45.67% deleted; 1.80% by bin min, 0.058 s)
48.74/45.96	c (42,0) c len               : 22.492      (27.57 for all, max 200, used 192)
48.74/45.96	c (42,0) c lbd               : 5.528       (9.60 (7.78) for all, max 43, used 43, 1.981 stdev, 2.872 blk)
48.74/45.96	c (42,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
48.74/45.96	c (42,0) c simp dbs          : 2           (0.023 s)
48.74/45.96	c (42,0) c reduce dbs        : 6           (core-lbd 4, supp-lbd 11, 0.091 s)
48.74/45.96	c (42,0) c learnts           : 83030       (76294 learnts removed, 47.89%)
48.74/45.96	c (42,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
48.74/45.96	c (42,0) c assigned lits     : 1           (1/4 probed, 0 remains)
48.74/45.96	c (42,0) c premise updates   : 3589242     (147.66 /lit)
48.74/45.96	c (42,0) c probed variables  : 4           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 4 cla, 0 amo)
48.74/45.96	c (42,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
48.74/45.96	c (42,0) c lazy added bins   : 10          (10 prop + 0 conf, 0.032s)
48.74/45.96	c (42,0) c unwatched lit elim: 20713       (0.04+0.24%, 281+20432 of 774176+8361906)
48.74/45.96	c (42,0) c classified type   : undef
48.74/45.96	c (42,0) c progress          : 0.736 %
48.74/45.96	c (42,0) c
48.74/45.96	c (42,0) c [Statistics]
48.74/45.96	c (42,0) c             learnts len        learnts lbd        lit blk size       eq vars size
48.74/45.96	c (42,0) c  tot      159315             159315            1529466                  0
48.74/45.96	c (42,0) c  avg      27.572              7.775              2.872               -nan
48.74/45.96	c (42,0) c   1            0 ( 0.0%)       1224 ( 0.8%)     931659 (60.9%)          0 (-nan%)
48.74/45.96	c (42,0) c   2           44 ( 0.0%)      14318 ( 9.0%)     189429 (12.4%)          0 (-nan%)
48.74/45.96	c (42,0) c   3          206 ( 0.1%)      12269 ( 7.7%)     102921 ( 6.7%)          0 (-nan%)
48.74/45.96	c (42,0) c   4          517 ( 0.3%)      12532 ( 7.9%)      66850 ( 4.4%)          0 (-nan%)
48.74/45.96	c (42,0) c   5         1052 ( 0.7%)      13215 ( 8.3%)      46601 ( 3.0%)          0 (-nan%)
48.74/45.96	c (42,0) c   6         1880 ( 1.2%)      14605 ( 9.2%)      34392 ( 2.2%)          0 (-nan%)
48.74/45.96	c (42,0) c   7         2999 ( 1.9%)      15163 ( 9.5%)      26084 ( 1.7%)          0 (-nan%)
48.74/45.96	c (42,0) c   8         4036 ( 2.5%)      14539 ( 9.1%)      20945 ( 1.4%)          0 (-nan%)
48.74/45.96	c (42,0) c   9         4919 ( 3.1%)      13072 ( 8.2%)      17087 ( 1.1%)          0 (-nan%)
48.74/45.96	c (42,0) c  10         4986 ( 3.1%)      11030 ( 6.9%)      13833 ( 0.9%)          0 (-nan%)
48.74/45.96	c (42,0) c  11         4716 ( 3.0%)       9083 ( 5.7%)      11405 ( 0.7%)          0 (-nan%)
48.74/45.96	c (42,0) c  12         4849 ( 3.0%)       7277 ( 4.6%)       9475 ( 0.6%)          0 (-nan%)
48.74/45.96	c (42,0) c  13         4823 ( 3.0%)       5699 ( 3.6%)       7930 ( 0.5%)          0 (-nan%)
48.74/45.96	c (42,0) c  14         4785 ( 3.0%)       4178 ( 2.6%)       6831 ( 0.4%)          0 (-nan%)
48.74/45.96	c (42,0) c  15         4735 ( 3.0%)       2924 ( 1.8%)       5777 ( 0.4%)          0 (-nan%)
48.74/45.96	c (42,0) c  16         4466 ( 2.8%)       2125 ( 1.3%)       4959 ( 0.3%)          0 (-nan%)
48.74/45.96	c (42,0) c  17         4404 ( 2.8%)       1601 ( 1.0%)       4056 ( 0.3%)          0 (-nan%)
48.74/45.96	c (42,0) c  18         4446 ( 2.8%)       1179 ( 0.7%)       3602 ( 0.2%)          0 (-nan%)
48.74/45.96	c (42,0) c  19         4271 ( 2.7%)        848 ( 0.5%)       3165 ( 0.2%)          0 (-nan%)
48.74/45.96	c (42,0) c  20         4250 ( 2.7%)        625 ( 0.4%)       2823 ( 0.2%)          0 (-nan%)
48.74/45.96	c (42,0) c  21         4164 ( 2.6%)        458 ( 0.3%)       2351 ( 0.2%)          0 (-nan%)
48.74/45.96	c (42,0) c  22         3972 ( 2.5%)        358 ( 0.2%)       2099 ( 0.1%)          0 (-nan%)
48.74/45.96	c (42,0) c  23         3859 ( 2.4%)        259 ( 0.2%)       1839 ( 0.1%)          0 (-nan%)
48.74/45.96	c (42,0) c  24         3854 ( 2.4%)        192 ( 0.1%)       1542 ( 0.1%)          0 (-nan%)
48.74/45.96	c (42,0) c  25         3722 ( 2.3%)        151 ( 0.1%)       1311 ( 0.1%)          0 (-nan%)
48.74/45.96	c (42,0) c  26         3484 ( 2.2%)        126 ( 0.1%)       1184 ( 0.1%)          0 (-nan%)
48.74/45.96	c (42,0) c  27         3332 ( 2.1%)         76 ( 0.0%)       1087 ( 0.1%)          0 (-nan%)
48.74/45.96	c (42,0) c  28         3208 ( 2.0%)         50 ( 0.0%)        914 ( 0.1%)          0 (-nan%)
48.74/45.96	c (42,0) c  29         3063 ( 1.9%)         34 ( 0.0%)        802 ( 0.1%)          0 (-nan%)
48.74/45.96	c (42,0) c  30        60273 (37.8%)        105 ( 0.1%)       6513 ( 0.4%)          0 (-nan%)
48.74/45.96	c (42,0) c
48.74/45.96	c (42,0) c [LBD Statistics]
48.74/45.96	c (42,0) c LBD          used lbd               used clause lbd         unused clause lbd
48.74/45.96	c (42,0) c  tot      2805487                   99976                   59349
48.74/45.96	c (42,0) c  avg        2.965                   6.300                  10.260
48.74/45.96	c (42,0) c    1       133338 ( 4.8/ 4.8%)       1224 ( 1.2/ 1.2%)          0 ( 0.0/ 0.0%)
48.74/45.96	c (42,0) c    2      1582001 (56.4/61.1%)      14147 (14.2/15.4%)        181 ( 0.3/ 0.3%)
48.74/45.96	c (42,0) c    3       471015 (16.8/77.9%)      11636 (11.6/27.0%)        633 ( 1.1/ 1.4%)
48.74/45.96	c (42,0) c    4       240781 ( 8.6/86.5%)      11169 (11.2/38.2%)       1363 ( 2.3/ 3.7%)
48.74/45.96	c (42,0) c    5       140533 ( 5.0/91.5%)      10621 (10.6/48.8%)       2594 ( 4.4/ 8.0%)
48.74/45.97	c (42,0) c    6        77020 ( 2.7/94.3%)       9959 (10.0/58.8%)       4646 ( 7.8/15.9%)
48.74/45.97	c (42,0) c    7        50725 ( 1.8/96.1%)       9176 ( 9.2/67.9%)       5987 (10.1/26.0%)
48.74/45.97	c (42,0) c    8        33857 ( 1.2/97.3%)       7862 ( 7.9/75.8%)       6677 (11.3/37.2%)
48.74/45.97	c (42,0) c    9        23860 ( 0.9/98.1%)       6316 ( 6.3/82.1%)       6756 (11.4/48.6%)
48.74/45.97	c (42,0) c   10        16217 ( 0.6/98.7%)       4909 ( 4.9/87.0%)       6121 (10.3/58.9%)
48.74/45.97	c (42,0) c   11        11908 ( 0.4/99.1%)       3754 ( 3.8/90.8%)       5329 ( 9.0/67.9%)
48.74/45.97	c (42,0) c   12         7770 ( 0.3/99.4%)       2654 ( 2.7/93.4%)       4623 ( 7.8/75.7%)
48.74/45.97	c (42,0) c   13         5124 ( 0.2/99.6%)       1907 ( 1.9/95.4%)       3792 ( 6.4/82.1%)
48.74/45.97	c (42,0) c   14         3374 ( 0.1/99.7%)       1396 ( 1.4/96.8%)       2782 ( 4.7/86.7%)
48.74/45.97	c (42,0) c   15         2326 ( 0.1/99.8%)        920 ( 0.9/97.7%)       2004 ( 3.4/90.1%)
48.74/45.97	c (42,0) c   16         1572 ( 0.1/99.9%)        615 ( 0.6/98.3%)       1510 ( 2.5/92.7%)
48.74/45.97	c (42,0) c   17         1161 ( 0.0/99.9%)        504 ( 0.5/98.8%)       1097 ( 1.8/94.5%)
48.74/45.97	c (42,0) c   18          784 ( 0.0/99.9%)        316 ( 0.3/99.1%)        863 ( 1.5/96.0%)
48.74/45.97	c (42,0) c   19          549 ( 0.0/99.9%)        231 ( 0.2/99.3%)        617 ( 1.0/97.0%)
48.74/45.97	c (42,0) c   20          421 ( 0.0/100.0%)        167 ( 0.2/99.5%)        458 ( 0.8/97.8%)
48.74/45.97	c (42,0) c   21          301 ( 0.0/100.0%)        122 ( 0.1/99.6%)        336 ( 0.6/98.3%)
48.74/45.97	c (42,0) c   22          206 ( 0.0/100.0%)         99 ( 0.1/99.7%)        259 ( 0.4/98.8%)
48.74/45.97	c (42,0) c   23          166 ( 0.0/100.0%)         78 ( 0.1/99.8%)        181 ( 0.3/99.1%)
48.74/45.97	c (42,0) c   24          147 ( 0.0/100.0%)         53 ( 0.1/99.9%)        139 ( 0.2/99.3%)
48.74/45.97	c (42,0) c   25          100 ( 0.0/100.0%)         45 ( 0.0/99.9%)        106 ( 0.2/99.5%)
48.74/45.97	c (42,0) c   26           57 ( 0.0/100.0%)         31 ( 0.0/99.9%)         95 ( 0.2/99.7%)
48.74/45.97	c (42,0) c   27           49 ( 0.0/100.0%)         17 ( 0.0/100.0%)         59 ( 0.1/99.8%)
48.74/45.97	c (42,0) c   28           30 ( 0.0/100.0%)          9 ( 0.0/100.0%)         41 ( 0.1/99.8%)
48.74/45.97	c (42,0) c   29           25 ( 0.0/100.0%)         10 ( 0.0/100.0%)         24 ( 0.0/99.9%)
48.74/45.97	c (42,0) c   30           16 ( 0.0/100.0%)         13 ( 0.0/100.0%)         11 ( 0.0/99.9%)
48.74/45.97	c (42,0) c   31           10 ( 0.0/100.0%)          1 ( 0.0/100.0%)         14 ( 0.0/99.9%)
48.74/45.97	c (42,0) c   32           10 ( 0.0/100.0%)          3 ( 0.0/100.0%)          8 ( 0.0/99.9%)
48.74/45.97	c (42,0) c   33            7 ( 0.0/100.0%)          3 ( 0.0/100.0%)          8 ( 0.0/99.9%)
48.74/45.97	c (42,0) c   34            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          6 ( 0.0/100.0%)
48.74/45.97	c (42,0) c   35            4 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/100.0%)
48.74/45.97	c (42,0) c   36            6 ( 0.0/100.0%)          1 ( 0.0/100.0%)          3 ( 0.0/100.0%)
48.74/45.97	c (42,0) c   37            5 ( 0.0/100.0%)          2 ( 0.0/100.0%)          7 ( 0.0/100.0%)
48.74/45.97	c (42,0) c   38            5 ( 0.0/100.0%)          1 ( 0.0/100.0%)          9 ( 0.0/100.0%)
48.74/45.97	c (42,0) c   39            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          5 ( 0.0/100.0%)
48.74/45.97	c (42,0) c   40            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          4 ( 0.0/100.0%)
48.74/45.97	c (42,0) c   41            0 ( 0.0/100.0%)          2 ( 0.0/100.0%)          0 ( 0.0/100.0%)
48.74/45.97	c (42,0) c   42            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
48.74/45.97	c (42,0) c   43            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
48.74/45.97	c (42,0) c
48.74/45.97	c (42,0) c Memory used       : 75.00 MB
48.74/45.97	c (42,0) c CPU time          : 41.687 s
48.74/45.97	c (42,0) c Real time         : 42.557 s
48.74/45.97	c (42,0) c
48.74/45.97	c (42,0) s SATISFIABLE
48.93/46.01	c (42,0) SatSolver.solve End
48.93/46.01	c (42,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
48.93/46.01	c (42,0) Show results Begin
48.93/46.09	c (43,0) x[0] = 129
48.93/46.09	c (43,0) x[1] = 129
48.93/46.09	c (43,0) x[2] = 120
48.93/46.09	c (43,0) x[3] = 131
48.93/46.09	c (43,0) x[4] = 201
48.93/46.09	c (43,0) x[5] = 120
48.93/46.09	c (43,0) x[6] = 56
48.93/46.09	c (43,0) x[7] = 141
48.93/46.09	c (43,0) x[8] = 73
48.93/46.09	c (43,0) x[9] = 136
48.93/46.09	c (43,0) x[10] = 95
48.93/46.09	c (43,0) x[11] = 131
48.93/46.09	c (43,0) x[12] = 95
48.93/46.09	c (43,0) x[13] = 56
48.93/46.09	c (43,0) x[14] = 159
48.93/46.09	c (43,0) x[15] = 0
48.93/46.09	c (43,0) x[16] = 159
48.93/46.09	c (43,0) x[17] = 141
48.93/46.09	c (43,0) x[18] = 73
48.93/46.09	c (43,0) x[19] = 216
48.93/46.09	c (43,0) x[20] = 0
48.93/46.09	c (43,0) x[21] = 201
48.93/46.09	c (43,0) x[22] = 159
48.93/46.09	c (43,0) x[23] = 0
48.93/46.09	c (43,0) y[0] = 182
48.93/46.09	c (43,0) y[1] = 175
48.93/46.09	c (43,0) y[2] = 175
48.93/46.09	c (43,0) y[3] = 210
48.93/46.09	c (43,0) y[4] = 186
48.93/46.09	c (43,0) y[5] = 159
48.93/46.09	c (43,0) y[6] = 198
48.93/46.09	c (43,0) y[7] = 210
48.93/46.09	c (43,0) y[8] = 198
48.93/46.09	c (43,0) y[9] = 159
48.93/46.09	c (43,0) y[10] = 159
48.93/46.09	c (43,0) y[11] = 182
48.93/46.09	c (43,0) y[12] = 184
48.93/46.09	c (43,0) y[13] = 159
48.93/46.09	c (43,0) y[14] = 186
48.93/46.09	c (43,0) y[15] = 159
48.93/46.09	c (43,0) y[16] = 129
48.93/46.09	c (43,0) y[17] = 228
48.93/46.09	c (43,0) y[18] = 220
48.93/46.09	c (43,0) y[19] = 129
48.93/46.09	c (43,0) y[20] = 215
48.93/46.09	c (43,0) y[21] = 201
48.93/46.09	c (43,0) y[22] = 0
48.93/46.09	c (43,0) y[23] = 0
48.93/46.09	s SATISFIABLE
48.93/46.10	v <instantiation>
48.93/46.10	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] 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]</list>
48.93/46.10	v     <values>129 129 120 131 201 120 56 141 73 136 95 131 95 56 159 0 159 141 73 216 0 201 159 0 182 175 175 210 186 159 198 210 198 159 159 182 184 159 186 159 129 228 220 129 215 201 0 0</values>
48.93/46.10	v </instantiation>
48.93/46.10	c (43,0) Show results End
48.93/46.10	c (43,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
48.93/46.10	c (43,0) 42,43,STOP-AFTER(ALL)
48.93/46.10	c END-Prog: Thu Sep 12 14:46:20 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 (5783 MiB free)
  memory of node 1: 16384 MiB (9293 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387911-1568292377/watcher-4387911-1568292377 -o /tmp/evaluation-result-4387911-1568292377/solver-4387911-1568292377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9752 --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-4387911-1568292377.xml 

running on 4 cores: 1,3,5,7

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=12286, runsolver pid=12283
Current StackSize limit: 8192 KiB


[startup+0.101277 s]*
/proc/loadavg: 1.88 2.04 2.12 4/234 12303
/proc/meminfo: memFree=15379120/32770624 swapFree=66957008/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405151600 115843072 349 33554432000 4194304 5098028 140724166067088 140724166064344 139669022003836 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9175040 140724166075176 140724166075504 140724166075504 140724166078413 0
/proc/12286/statm: 28282 349 296 221 0 87 0
[pid=12289] ppid=12286 vsize=15012696 memory=72620 CPUtime=0.11 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12286 12286 8853 0 -1 1077944320 6346 0 0 0 9 2 0 0 20 0 15 0 405151601 15373000704 18089 33554432000 4194304 4196468 140724920470560 140724920453104 139762276593399 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
/proc/12289/statm: 3753174 18089 2917 1 0 3715579 0
[pid=12289/tid=12290] ppid=12286 vsize=15012696 memory=-6221297119156027327 CPUtime=0.08 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) R 12286 12286 8853 0 -1 4202560 4191 0 0 0 7 1 0 0 20 0 15 0 405151601 15373000704 18155 33554432000 4194304 4196468 140724920470560 139762248373472 139762260673886 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12291] ppid=12286 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) S 12286 12286 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151602 15373000704 18155 33554432000 4194304 4196468 140724920470560 139762280836112 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12292] ppid=12286 vsize=15012696 memory=140305594812032 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15373000704 18155 33554432000 4194304 4196468 140724920470560 139762071919760 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12293] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15373000704 18155 33554432000 4194304 4196468 140724920470560 139762070866704 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12294] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15373000704 18155 33554432000 4194304 4196468 140724920470560 139762069814160 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12295] ppid=12286 vsize=15012696 memory=140305594812032 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12286 12286 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151604 15373000704 18155 33554432000 4194304 4196468 140724920470560 139761247013104 139762276604546 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12296] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12286 12286 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405151604 15373000704 18221 33554432000 4194304 4196468 140724920470560 139760853050528 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12297] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151605 15373000704 18221 33554432000 4194304 4196468 140724920470560 139760584614640 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12298] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151607 15373000704 18221 33554432000 4194304 4196468 140724920470560 139760210106320 139762276611995 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12299] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12286 12286 8853 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 405151607 15373000704 18221 33554432000 4194304 4196468 140724920470560 139761245960944 139762276604546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12300] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151607 15373000704 18221 33554432000 4194304 4196468 140724920470560 139761244908400 139762276604546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12301] ppid=12286 vsize=15012696 memory=140305594812032 CPUtime=0.01 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) R 12286 12286 8853 0 -1 4202560 439 0 0 0 1 0 0 0 20 0 15 0 405151607 15373000704 18221 33554432000 4194304 4196468 140724920470560 139761243855344 139762256560518 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12302] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151607 15373000704 18221 33554432000 4194304 4196468 140724920470560 139759712201568 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12303] ppid=12286 vsize=15012696 memory=140305594812032 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151608 15373000704 18221 33554432000 4194304 4196468 140724920470560 139761242802736 139762276604546 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74016 KiB

[startup+0.210884 s]*
/proc/loadavg: 1.88 2.04 2.12 3/234 12303
/proc/meminfo: memFree=15360880/32770624 swapFree=66957008/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405151600 115843072 349 33554432000 4194304 5098028 140724166067088 140724166064344 139669022003836 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9175040 140724166075176 140724166075504 140724166075504 140724166078413 0
/proc/12286/statm: 28282 349 296 221 0 87 0
[pid=12289] ppid=12286 vsize=15012696 memory=87948 CPUtime=0.25 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12286 12286 8853 0 -1 1077944320 11552 0 0 0 22 3 0 0 20 0 15 0 405151601 15373000704 21987 33554432000 4194304 4196468 140724920470560 140724920453104 139762276593399 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
/proc/12289/statm: 3753174 21987 2923 1 0 3715579 0
[pid=12289/tid=12290] ppid=12286 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) R 12286 12286 8853 0 -1 4202560 9295 0 0 0 17 2 0 0 20 0 15 0 405151601 15373000704 21987 33554432000 4194304 4196468 140724920470560 139762248415936 139762260673886 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12291] ppid=12286 vsize=15012696 memory=364 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) S 12286 12286 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151602 15373000704 21987 33554432000 4194304 4196468 140724920470560 139762280836112 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12292] ppid=12286 vsize=15012696 memory=140305597754148 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15373000704 21987 33554432000 4194304 4196468 140724920470560 139762071919760 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12293] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15373000704 21987 33554432000 4194304 4196468 140724920470560 139762070866704 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12294] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15373000704 21987 33554432000 4194304 4196468 140724920470560 139762069814160 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12295] ppid=12286 vsize=15012696 memory=140305594812032 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12286 12286 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151604 15373000704 21987 33554432000 4194304 4196468 140724920470560 139761247013104 139762276604546 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12296] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12286 12286 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405151604 15373000704 21987 33554432000 4194304 4196468 140724920470560 139760853050528 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12297] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151605 15373000704 21987 33554432000 4194304 4196468 140724920470560 139760584614640 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12298] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151607 15373000704 21987 33554432000 4194304 4196468 140724920470560 139760210106320 139762276611995 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12299] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12286 12286 8853 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 405151607 15373000704 21987 33554432000 4194304 4196468 140724920470560 139761245960944 139762276604546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12300] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12286 12286 8853 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405151607 15373000704 21987 33554432000 4194304 4196468 140724920470560 139761244908400 139762276604546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12301] ppid=12286 vsize=15012696 memory=140305594812032 CPUtime=0.02 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) R 12286 12286 8853 0 -1 4202560 450 0 0 0 2 0 0 0 20 0 15 0 405151607 15373000704 21987 33554432000 4194304 4196468 140724920470560 139761243855344 139762260673886 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12302] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151607 15373000704 21987 33554432000 4194304 4196468 140724920470560 139759712201568 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12303] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151608 15373000704 21987 33554432000 4194304 4196468 140724920470560 139761242802736 139762276604546 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89344 KiB

[startup+0.310714 s]*
/proc/loadavg: 1.88 2.04 2.12 4/234 12303
/proc/meminfo: memFree=15357592/32770624 swapFree=66957008/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405151600 115843072 349 33554432000 4194304 5098028 140724166067088 140724166064344 139669022003836 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9175040 140724166075176 140724166075504 140724166075504 140724166078413 0
/proc/12286/statm: 28282 349 296 221 0 87 0
[pid=12289] ppid=12286 vsize=15012696 memory=92160 CPUtime=0.43 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12286 12286 8853 0 -1 1077944320 12058 0 0 0 40 3 0 0 20 0 15 0 405151601 15373000704 23040 33554432000 4194304 4196468 140724920470560 140724920453104 139762276593399 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
/proc/12289/statm: 3753174 23040 3063 1 0 3715579 0
[pid=12289/tid=12290] ppid=12286 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) R 12286 12286 8853 0 -1 4202560 9587 0 0 0 27 3 0 0 20 0 15 0 405151601 15373000704 23040 33554432000 4194304 4196468 140724920470560 139762248423472 139762258156928 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12291] ppid=12286 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) S 12286 12286 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151602 15373000704 23040 33554432000 4194304 4196468 140724920470560 139762280836112 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12292] ppid=12286 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15373000704 23040 33554432000 4194304 4196468 140724920470560 139762071919760 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12293] ppid=12286 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15373000704 23040 33554432000 4194304 4196468 140724920470560 139762070866704 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12294] ppid=12286 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15373000704 23040 33554432000 4194304 4196468 140724920470560 139762069814160 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12295] ppid=12286 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12286 12286 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151604 15373000704 23040 33554432000 4194304 4196468 140724920470560 139761247013104 139762276604546 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12296] ppid=12286 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12286 12286 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405151604 15373000704 23040 33554432000 4194304 4196468 140724920470560 139760853050528 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12297] ppid=12286 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151605 15373000704 23040 33554432000 4194304 4196468 140724920470560 139760584614640 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12298] ppid=12286 vsize=15012696 memory=4628975386420216973 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151607 15373000704 23040 33554432000 4194304 4196468 140724920470560 139760210106320 139762276611995 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12299] ppid=12286 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12286 12286 8853 0 -1 1077944384 500 0 0 0 3 0 0 0 20 0 15 0 405151607 15373000704 23040 33554432000 4194304 4196468 140724920470560 139761245960944 139762276604546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12300] ppid=12286 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12286 12286 8853 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 15 0 405151607 15373000704 23040 33554432000 4194304 4196468 140724920470560 139761244908400 139762276604546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12301] ppid=12286 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) S 12286 12286 8853 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 15 0 405151607 15373000704 23040 33554432000 4194304 4196468 140724920470560 139761243855344 139762276604546 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12302] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151607 15373000704 23040 33554432000 4194304 4196468 140724920470560 139759712201568 139762276603605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12303] ppid=12286 vsize=15012696 memory=3688504385583723568 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151608 15373000704 23040 33554432000 4194304 4196468 140724920470560 139761242802736 139762276604546 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93556 KiB

[startup+0.706796 s]
/proc/loadavg: 1.88 2.04 2.12 3/234 12303
/proc/meminfo: memFree=15335888/32770624 swapFree=66957008/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405151600 115843072 349 33554432000 4194304 5098028 140724166067088 140724166064344 139669022003836 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9175040 140724166075176 140724166075504 140724166075504 140724166078413 0
/proc/12286/statm: 28282 349 296 221 0 87 0
[pid=12289] ppid=12286 vsize=15021092 memory=130260 CPUtime=0.99 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12286 12286 8853 0 -1 1077944320 19920 0 0 0 93 6 0 0 20 0 15 0 405151601 15381598208 32565 33554432000 4194304 4196468 140724920470560 140724920453104 139762276593399 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
/proc/12289/statm: 3755273 32565 3201 1 0 3716603 0
[pid=12289/tid=12290] ppid=12286 vsize=15021092 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) R 12286 12286 8853 0 -1 4202560 17006 0 0 0 62 6 0 0 20 0 15 0 405151601 15381598208 32565 33554432000 4194304 4196468 140724920470560 139762248432976 139762260673886 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12291] ppid=12286 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) S 12286 12286 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405151602 15381598208 32565 33554432000 4194304 4196468 140724920470560 139762280836112 139762276603605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12292] ppid=12286 vsize=15021092 memory=37328 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15381598208 32565 33554432000 4194304 4196468 140724920470560 139762071919760 139762276603605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12293] ppid=12286 vsize=15021092 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15381598208 32565 33554432000 4194304 4196468 140724920470560 139762070866704 139762276603605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12294] ppid=12286 vsize=15021092 memory=988 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151603 15381598208 32565 33554432000 4194304 4196468 140724920470560 139762069814160 139762276603605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12295] ppid=12286 vsize=15021092 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12286 12286 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405151604 15381598208 32565 33554432000 4194304 4196468 140724920470560 139761247013104 139762276604546 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12296] ppid=12286 vsize=15021092 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12286 12286 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405151604 15381598208 32565 33554432000 4194304 4196468 140724920470560 139760853050528 139762276603605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12297] ppid=12286 vsize=15021092 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151605 15381598208 32565 33554432000 4194304 4196468 140724920470560 139760584614640 139762276603605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12298] ppid=12286 vsize=15021092 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151607 15381598208 32565 33554432000 4194304 4196468 140724920470560 139760210106320 139762276611995 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12299] ppid=12286 vsize=15021092 memory=11624 CPUtime=0.06 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12286 12286 8853 0 -1 1077944384 598 0 0 0 6 0 0 0 20 0 15 0 405151607 15381598208 32565 33554432000 4194304 4196468 140724920470560 139761245960944 139762276604546 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12300] ppid=12286 vsize=15021092 memory=732 CPUtime=0.09 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12286 12286 8853 0 -1 1077944384 372 0 0 0 9 0 0 0 20 0 15 0 405151607 15381598208 32565 33554432000 4194304 4196468 140724920470560 139761244908400 139762276604546 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12301] ppid=12286 vsize=15021092 memory=776 CPUtime=0.15 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) S 12286 12286 8853 0 -1 1077944384 609 0 0 0 15 0 0 0 20 0 15 0 405151607 15381598208 32565 33554432000 4194304 4196468 140724920470560 139761243855344 139762276604546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12302] ppid=12286 vsize=15021092 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405151607 15381598208 32565 33554432000 4194304 4196468 140724920470560 139759712201568 139762276603605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
[pid=12289/tid=12303] ppid=12286 vsize=15021092 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405151608 15381598208 32565 33554432000 4194304 4196468 140724920470560 139761242802736 139762276604546 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140724920476398 140724920476826 140724920476826 140724920479695 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131656 KiB

[startup+1.50076 s]
/proc/loadavg: 1.88 2.04 2.12 5/234 12303
/proc/meminfo: memFree=15309896/32770624 swapFree=66957008/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405151600 115843072 349 33554432000 4194304 5098028 140724166067088 140724166064344 139669022003836 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9175040 140724166075176 140724166075504 140724166075504 140724166078413 0
/proc/12286/statm: 28282 349 296 221 0 87 0

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

/proc/12306/task/12322/stat : 12322 (java) S 12286 12286 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405151942 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312513233856 140313481776921 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12324] ppid=12286 vsize=8068440 memory=920 CPUtime=0.03 cores=1,3,5,7
/proc/12306/task/12324/stat : 12324 (java) S 12286 12286 8853 0 -1 4202560 1712 0 0 0 2 1 0 0 20 0 19 0 405151942 8262082560 30327 33554432000 4194304 4196468 140723183160496 140310743068144 140313481774237 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12325] ppid=12286 vsize=8068440 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12325/stat : 12325 (java) S 12286 12286 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405151942 8262082560 30327 33554432000 4194304 4196468 140723183160496 140310877290384 140313481774237 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12326] ppid=12286 vsize=8068440 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12326/stat : 12326 (java) S 12286 12286 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405151944 8262082560 30327 33554432000 4194304 4196468 140723183160496 140310474644912 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
Current children cumulated CPU time: 46.03 s
Current children cumulated vsize: 8258512 KiB
Current children cumulated memory: 182392 KiB

[startup+44.801 s]
/proc/loadavg: 1.89 2.02 2.11 3/239 12326
/proc/meminfo: memFree=15252636/32770624 swapFree=66957008/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1476 CPUtime=5.47 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 8853 0 -1 4202496 585 25945 0 0 0 0 524 23 20 0 1 0 405151600 115843072 369 33554432000 4194304 5098028 140724166067088 140724166063832 139669022003836 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9175040 140724166075176 140724166075504 140724166075504 140724166078413 0
/proc/12286/statm: 28282 369 311 221 0 87 0
[pid=12306] ppid=12286 vsize=8068440 memory=121308 CPUtime=1.22 cores=1,3,5,7
/proc/12306/stat : 12306 (java) S 12286 12286 8853 0 -1 1077944320 21300 0 0 0 113 9 0 0 20 0 19 0 405151871 8262082560 30327 33554432000 4194304 4196468 140723183160496 140723183143040 140313481752311 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
/proc/12306/statm: 2017110 30327 3202 1 0 1978454 0
[pid=12321] ppid=12306 vsize=76944 memory=59608 CPUtime=40.94 cores=1,3,5,7
/proc/12321/stat : 12321 (glueminisat-sim) R 12306 12286 8853 0 -1 4202496 41559 0 0 0 4052 42 0 0 20 0 1 0 405151941 78790656 14902 33554432000 4194304 4452875 140732205227376 140732205222408 4372038 0 4 0 8388610 0 0 0 17 1 0 0 43 0 0 6552096 6554264 37191680 140732205232991 140732205233191 140732205233191 140732205236141 0
/proc/12321/statm: 19236 14902 373 64 0 15440 0
[pid=12306/tid=12307] ppid=12286 vsize=8068440 memory=-7824251494390652264 CPUtime=0.73 cores=1,3,5,7
/proc/12306/task/12307/stat : 12307 (java) S 12286 12286 8853 0 -1 1077944384 16348 0 0 0 68 5 0 0 20 0 19 0 405151871 8262082560 30327 33554432000 4194304 4196468 140723183160496 140313453592480 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12308] ppid=12286 vsize=8068440 memory=-7735625406022046295 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12308/stat : 12308 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405151873 8262082560 30327 33554432000 4194304 4196468 140723183160496 140313485994896 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12309] ppid=12286 vsize=8068440 memory=-6153182981816459148 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12309/stat : 12309 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405151873 8262082560 30327 33554432000 4194304 4196468 140723183160496 140313294555920 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12310] ppid=12286 vsize=8068440 memory=-7022074515825631380 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12310/stat : 12310 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405151873 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312966061200 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12311] ppid=12286 vsize=8068440 memory=6944652177228980272 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12311/stat : 12311 (java) S 12286 12286 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405151873 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312965008400 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12312] ppid=12286 vsize=8068440 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12312/stat : 12312 (java) S 12286 12286 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405151874 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312525478000 140313481763458 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12313] ppid=12286 vsize=8068440 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12313/stat : 12313 (java) S 12286 12286 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405151874 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312420803360 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12314] ppid=12286 vsize=8068440 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12314/stat : 12314 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405151875 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312152368240 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12315] ppid=12286 vsize=8068440 memory=50080 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12315/stat : 12315 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140311777859664 140313481770907 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12316] ppid=12286 vsize=8068440 memory=-7236279079523490203 CPUtime=0.08 cores=1,3,5,7
/proc/12306/task/12316/stat : 12316 (java) S 12286 12286 8853 0 -1 1077944384 634 0 0 0 8 0 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312524425840 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12317] ppid=12286 vsize=8068440 memory=4126316290023845779 CPUtime=0.1 cores=1,3,5,7
/proc/12306/task/12317/stat : 12317 (java) S 12286 12286 8853 0 -1 1077944384 412 0 0 0 10 0 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312523373040 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12318] ppid=12286 vsize=8068440 memory=33 CPUtime=0.21 cores=1,3,5,7
/proc/12306/task/12318/stat : 12318 (java) S 12286 12286 8853 0 -1 1077944384 810 0 0 0 21 0 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312522320752 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12319] ppid=12286 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12319/stat : 12319 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140311279954912 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12320] ppid=12286 vsize=8068440 memory=1712 CPUtime=0.02 cores=1,3,5,7
/proc/12306/task/12320/stat : 12320 (java) S 12286 12286 8853 0 -1 1077944384 4 0 0 0 1 1 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312521267632 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12322] ppid=12286 vsize=8068440 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12322/stat : 12322 (java) S 12286 12286 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405151942 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312513233856 140313481776921 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12324] ppid=12286 vsize=8068440 memory=11624 CPUtime=0.03 cores=1,3,5,7
/proc/12306/task/12324/stat : 12324 (java) S 12286 12286 8853 0 -1 4202560 1712 0 0 0 2 1 0 0 20 0 19 0 405151942 8262082560 30327 33554432000 4194304 4196468 140723183160496 140310743068144 140313481774237 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12325] ppid=12286 vsize=8068440 memory=732 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12325/stat : 12325 (java) S 12286 12286 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405151942 8262082560 30327 33554432000 4194304 4196468 140723183160496 140310877290384 140313481774237 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12326] ppid=12286 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12326/stat : 12326 (java) S 12286 12286 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405151944 8262082560 30327 33554432000 4194304 4196468 140723183160496 140310474644912 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
Current children cumulated CPU time: 47.63 s
Current children cumulated vsize: 8258512 KiB
Current children cumulated memory: 182392 KiB

[startup+45.601 s]
/proc/loadavg: 1.90 2.02 2.11 3/239 12326
/proc/meminfo: memFree=15252636/32770624 swapFree=66957008/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1476 CPUtime=5.47 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 8853 0 -1 4202496 585 25945 0 0 0 0 524 23 20 0 1 0 405151600 115843072 369 33554432000 4194304 5098028 140724166067088 140724166063832 139669022003836 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9175040 140724166075176 140724166075504 140724166075504 140724166078413 0
/proc/12286/statm: 28282 369 311 221 0 87 0
[pid=12306] ppid=12286 vsize=8068440 memory=121308 CPUtime=1.22 cores=1,3,5,7
/proc/12306/stat : 12306 (java) S 12286 12286 8853 0 -1 1077944320 21300 0 0 0 113 9 0 0 20 0 19 0 405151871 8262082560 30327 33554432000 4194304 4196468 140723183160496 140723183143040 140313481752311 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
/proc/12306/statm: 2017110 30327 3202 1 0 1978454 0
[pid=12321] ppid=12306 vsize=76944 memory=59608 CPUtime=41.74 cores=1,3,5,7
/proc/12321/stat : 12321 (glueminisat-sim) R 12306 12286 8853 0 -1 4202496 41561 0 0 0 4132 42 0 0 20 0 1 0 405151941 78790656 14902 33554432000 4194304 4452875 140732205227376 140732205222408 4401445 0 4 0 8388610 0 0 0 17 1 0 0 43 0 0 6552096 6554264 37191680 140732205232991 140732205233191 140732205233191 140732205236141 0
/proc/12321/statm: 19236 14902 373 64 0 15440 0
[pid=12306/tid=12307] ppid=12286 vsize=8068440 memory=2020 CPUtime=0.73 cores=1,3,5,7
/proc/12306/task/12307/stat : 12307 (java) S 12286 12286 8853 0 -1 1077944384 16348 0 0 0 68 5 0 0 20 0 19 0 405151871 8262082560 30327 33554432000 4194304 4196468 140723183160496 140313453592480 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12308] ppid=12286 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12308/stat : 12308 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405151873 8262082560 30327 33554432000 4194304 4196468 140723183160496 140313485994896 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12309] ppid=12286 vsize=8068440 memory=3512 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12309/stat : 12309 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405151873 8262082560 30327 33554432000 4194304 4196468 140723183160496 140313294555920 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12310] ppid=12286 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12310/stat : 12310 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405151873 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312966061200 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12311] ppid=12286 vsize=8068440 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12311/stat : 12311 (java) S 12286 12286 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405151873 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312965008400 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12312] ppid=12286 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12312/stat : 12312 (java) S 12286 12286 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405151874 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312525478000 140313481763458 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12313] ppid=12286 vsize=8068440 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12313/stat : 12313 (java) S 12286 12286 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405151874 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312420803360 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12314] ppid=12286 vsize=8068440 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12314/stat : 12314 (java) S 12286 12286 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405151875 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312152368240 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12315] ppid=12286 vsize=8068440 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12315/stat : 12315 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140311777859664 140313481770907 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12316] ppid=12286 vsize=8068440 memory=732 CPUtime=0.08 cores=1,3,5,7
/proc/12306/task/12316/stat : 12316 (java) S 12286 12286 8853 0 -1 1077944384 634 0 0 0 8 0 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312524425840 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12317] ppid=12286 vsize=8068440 memory=2124 CPUtime=0.1 cores=1,3,5,7
/proc/12306/task/12317/stat : 12317 (java) S 12286 12286 8853 0 -1 1077944384 412 0 0 0 10 0 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312523373040 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12318] ppid=12286 vsize=8068440 memory=19936 CPUtime=0.21 cores=1,3,5,7
/proc/12306/task/12318/stat : 12318 (java) S 12286 12286 8853 0 -1 1077944384 810 0 0 0 21 0 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312522320752 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12319] ppid=12286 vsize=8068440 memory=492 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12319/stat : 12319 (java) S 12286 12286 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140311279954912 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12320] ppid=12286 vsize=8068440 memory=1560 CPUtime=0.02 cores=1,3,5,7
/proc/12306/task/12320/stat : 12320 (java) S 12286 12286 8853 0 -1 1077944384 4 0 0 0 1 1 0 0 20 0 19 0 405151877 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312521267632 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12322] ppid=12286 vsize=8068440 memory=932 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12322/stat : 12322 (java) S 12286 12286 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405151942 8262082560 30327 33554432000 4194304 4196468 140723183160496 140312513233856 140313481776921 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12324] ppid=12286 vsize=8068440 memory=1768 CPUtime=0.03 cores=1,3,5,7
/proc/12306/task/12324/stat : 12324 (java) S 12286 12286 8853 0 -1 4202560 1712 0 0 0 2 1 0 0 20 0 19 0 405151942 8262082560 30327 33554432000 4194304 4196468 140723183160496 140310743068144 140313481774237 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12325] ppid=12286 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12325/stat : 12325 (java) S 12286 12286 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405151942 8262082560 30327 33554432000 4194304 4196468 140723183160496 140310877290384 140313481774237 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12326] ppid=12286 vsize=8068440 memory=896 CPUtime=0 cores=1,3,5,7
/proc/12306/task/12326/stat : 12326 (java) S 12286 12286 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405151944 8262082560 30327 33554432000 4194304 4196468 140723183160496 140310474644912 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
Current children cumulated CPU time: 48.43 s
Current children cumulated vsize: 8258512 KiB
Current children cumulated memory: 182392 KiB

[startup+46.001 s]*
/proc/loadavg: 1.90 2.02 2.11 6/237 12326
/proc/meminfo: memFree=15305692/32770624 swapFree=66957008/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1476 CPUtime=5.47 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 8853 0 -1 4202496 585 25945 0 0 0 0 524 23 20 0 1 0 405151600 115843072 369 33554432000 4194304 5098028 140724166067088 140724166063832 139669022003836 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9175040 140724166075176 140724166075504 140724166075504 140724166078413 0
/proc/12286/statm: 28282 369 311 221 0 87 0
[pid=12306] ppid=12286 vsize=7937364 memory=127880 CPUtime=43.46 cores=1,3,5,7
/proc/12306/stat : 12306 (java) S 12286 12286 8853 0 -1 1077944320 22442 41609 0 0 126 9 4168 43 20 0 17 0 405151871 8127860736 31970 33554432000 4194304 4196468 140723183160496 140723183143040 140313481752311 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
/proc/12306/statm: 1984341 31970 3221 1 0 1945685 0
[pid=12306/tid=12307] ppid=12286 vsize=7937364 memory=6791534058613427641 CPUtime=42.85 cores=1,3,5,7
/proc/12306/task/12307/stat : 12307 (java) R 12286 12286 8853 0 -1 4202560 16376 41609 0 0 69 5 4168 43 20 0 17 0 405151871 8127860736 32006 33554432000 4194304 4196468 140723183160496 140313453592480 140313481774237 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12308] ppid=12286 vsize=7937364 memory=4126316290023845779 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12308/stat : 12308 (java) S 12286 12286 8853 0 -1 1077944384 1 41609 0 0 0 0 4168 43 20 0 17 0 405151873 8127860736 32006 33554432000 4194304 4196468 140723183160496 140313485994896 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12309] ppid=12286 vsize=7937364 memory=20 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12309/stat : 12309 (java) S 12286 12286 8853 0 -1 1077944384 1 41609 0 0 0 0 4168 43 20 0 17 0 405151873 8127860736 32006 33554432000 4194304 4196468 140723183160496 140313294555920 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12310] ppid=12286 vsize=7937364 memory=0 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12310/stat : 12310 (java) S 12286 12286 8853 0 -1 1077944384 1 41609 0 0 0 0 4168 43 20 0 17 0 405151873 8127860736 32006 33554432000 4194304 4196468 140723183160496 140312966061200 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12311] ppid=12286 vsize=7937364 memory=1 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12311/stat : 12311 (java) S 12286 12286 8853 0 -1 1077944384 2 41609 0 0 0 0 4168 43 20 0 17 0 405151873 8127860736 32006 33554432000 4194304 4196468 140723183160496 140312965008400 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12312] ppid=12286 vsize=7937364 memory=0 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12312/stat : 12312 (java) S 12286 12286 8853 0 -1 1077944384 5 41609 0 0 0 0 4168 43 20 0 17 0 405151874 8127860736 32006 33554432000 4194304 4196468 140723183160496 140312525478000 140313481763458 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12313] ppid=12286 vsize=7937364 memory=4055 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12313/stat : 12313 (java) S 12286 12286 8853 0 -1 1077944384 13 41609 0 0 0 0 4168 43 20 0 17 0 405151874 8127860736 32006 33554432000 4194304 4196468 140723183160496 140312420803360 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12314] ppid=12286 vsize=7937364 memory=73 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12314/stat : 12314 (java) S 12286 12286 8853 0 -1 1077944384 1 41609 0 0 0 0 4168 43 20 0 17 0 405151875 8127860736 32006 33554432000 4194304 4196468 140723183160496 140312152368240 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12315] ppid=12286 vsize=7937364 memory=0 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12315/stat : 12315 (java) S 12286 12286 8853 0 -1 1077944384 3 41609 0 0 0 0 4168 43 20 0 17 0 405151877 8127860736 32006 33554432000 4194304 4196468 140723183160496 140311777859664 140313481770907 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12316] ppid=12286 vsize=7937364 memory=0 CPUtime=42.23 cores=1,3,5,7
/proc/12306/task/12316/stat : 12316 (java) R 12286 12286 8853 0 -1 4202560 809 41609 0 0 12 0 4168 43 20 0 17 0 405151877 8127860736 32006 33554432000 4194304 4196468 140723183160496 140312524418864 140313481764246 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12317] ppid=12286 vsize=7937364 memory=0 CPUtime=42.25 cores=1,3,5,7
/proc/12306/task/12317/stat : 12317 (java) R 12286 12286 8853 0 -1 4202560 764 41609 0 0 14 0 4168 43 20 0 17 0 405151877 8127860736 32006 33554432000 4194304 4196468 140723183160496 140312523359064 140313465913376 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12318] ppid=12286 vsize=7937364 memory=0 CPUtime=42.34 cores=1,3,5,7
/proc/12306/task/12318/stat : 12318 (java) R 12286 12286 8853 0 -1 1077944384 866 41609 0 0 23 0 4168 43 20 0 17 0 405151877 8127860736 32006 33554432000 4194304 4196468 140723183160496 140312522315824 140313481762517 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12319] ppid=12286 vsize=7937364 memory=0 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12319/stat : 12319 (java) S 12286 12286 8853 0 -1 1077944384 3 41609 0 0 0 0 4168 43 20 0 17 0 405151877 8127860736 32006 33554432000 4194304 4196468 140723183160496 140311279954912 140313481762517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12320] ppid=12286 vsize=7937364 memory=0 CPUtime=42.13 cores=1,3,5,7
/proc/12306/task/12320/stat : 12320 (java) S 12286 12286 8853 0 -1 1077944384 4 41609 0 0 1 1 4168 43 20 0 17 0 405151877 8127860736 32006 33554432000 4194304 4196468 140723183160496 140312521267632 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12322] ppid=12286 vsize=7937364 memory=0 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12322/stat : 12322 (java) S 12286 12286 8853 0 -1 1077944384 28 41609 0 0 0 0 4168 43 20 0 17 0 405151942 8127860736 32006 33554432000 4194304 4196468 140723183160496 140312513233040 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
[pid=12306/tid=12326] ppid=12286 vsize=7937364 memory=0 CPUtime=42.11 cores=1,3,5,7
/proc/12306/task/12326/stat : 12326 (java) S 12286 12286 8853 0 -1 1077944384 9 41609 0 0 0 0 4168 43 20 0 17 0 405151944 8127860736 32006 33554432000 4194304 4196468 140723183160496 140310474646704 140313481763458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35155968 140723183162363 140723183162522 140723183162522 140723183165391 0
Current children cumulated CPU time: 48.93 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 129356 KiB

Child status: 0
Real time (s): 46.11
CPU time (s): 49.1518
CPU user time (s): 48.3753
CPU system time (s): 0.776439
CPU usage (%): 106.597
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 976016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.3753
system time used= 0.776439
maximum resident set size= 993440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6212
involuntary context switches= 72


# summary of solver processes directly reported to runsolver:
#   pid: 12286
#   total CPU time (s): 49.1518
#   total CPU user time (s): 48.3753
#   total CPU system time (s): 0.776439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.304942 second user time and 0.601542 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-12 14:45:34
IDJOB=4387911
IDBENCH=127865
IDSOLVER=2825
FILE ID=node147/4387911-1568292377
RUNJOBID= node147-1568286038-9752
PBS_JOBID= 21701064
Free space on /tmp= 52120 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-033.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-4387911-1568292377/watcher-4387911-1568292377 -o /tmp/evaluation-result-4387911-1568292377/solver-4387911-1568292377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9752 --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-4387911-1568292377.xml

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

MD5SUM BENCH= 273a3a450a7af16ef80dfed9e1af494c
RANDOM SEED=1794129468

node147.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.52
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.52
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.52
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.52
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:        15440432 kB
MemAvailable:   31665804 kB
Buffers:          165760 kB
Cached:         16096628 kB
SwapCached:        48504 kB
Active:          2505556 kB
Inactive:       13961516 kB
Active(anon):     166500 kB
Inactive(anon):    79704 kB
Active(file):    2339056 kB
Inactive(file): 13881812 kB
Unevictable:      107624 kB
Mlocked:          107624 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:             20600 kB
Writeback:             0 kB
AnonPages:        405164 kB
Mapped:            55492 kB
Shmem:             32764 kB
Slab:             461816 kB
SReclaimable:     432964 kB
SUnreclaim:        28852 kB
KernelStack:        4192 kB
PageTables:         5848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6012444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52100 MiB
End job on node147 at 2019-09-12 14:46:20