Trace number 4387890

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 57.9751 54.0883

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-097.xml
MD5SUM8967691277ed469002b27945208c5243
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 benchmark53.043
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size336
Maximum domain size336
Distribution of domain sizes[{"size":336,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"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-12084-serial-file.bin HOME/instance-4387890-1568292296.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 14:44:13 CEST 2019
0.66/0.56	c PID: 12087
0.66/0.56	c IP: 172.20.3.147
0.66/0.56	c HOST: node147.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.41/0.91	c (0,0) Parsing End
1.41/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 336
1.41/0.91	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.91	c (0,0) Constraint Name Generate Begin
1.41/0.92	c (0,0) Ctr:HOME/instance-4387890-1568292296.xml,Le:NoOverlap:Num:Var
1.41/0.92	c (0,0) Constraint Name Generate End
1.41/0.92	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.92	c (0,0) CSP to CSPinCNF Begin
1.41/1.00	c (0,0) translated 6 (10%) constraints
1.41/1.00	c (0,0) translated 11 (20%) constraints
1.41/1.00	c (0,0) translated 16 (30%) constraints
1.41/1.01	c (0,0) translated 22 (40%) constraints
1.57/1.01	c (0,0) translated 27 (50%) constraints
1.57/1.01	c (0,0) translated 32 (60%) constraints
1.57/1.02	c (0,0) translated 38 (70%) constraints
1.57/1.02	c (0,0) translated 43 (80%) constraints
1.57/1.02	c (0,0) translated 48 (90%) constraints
2.13/1.29	c (0,0) translated 53 (100%) constraints
2.13/1.29	c (0,0) ===========================================
2.80/1.41	c (0,0) Order
2.80/1.41	c (0,0) ===========================================
2.80/1.41	c (0,0) translated 36 (10%) constraints
2.80/1.41	c (0,0) translated 71 (20%) constraints
2.80/1.41	c (0,0) translated 106 (30%) constraints
2.80/1.41	c (0,0) translated 141 (40%) constraints
2.80/1.41	c (0,0) translated 176 (50%) constraints
2.80/1.41	c (0,0) translated 212 (60%) constraints
2.80/1.41	c (0,0) translated 247 (70%) constraints
2.80/1.41	c (0,0) translated 282 (80%) constraints
2.80/1.41	c (0,0) translated 317 (90%) constraints
2.80/1.41	c (0,0) translated 352 (100%) constraints
2.80/1.41	c (0,0) CSP to CSPinCNF End
2.80/1.41	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 335
2.80/1.41	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.80/1.41	c (0,0) CSPinCNF Propagation Begin
2.80/1.41	c (0,0) 0 values, 8 unsatisfiable literals, and 51 valid clauses are removed
2.80/1.41	c (0,0) CSPinCNF Propagation End
2.80/1.41	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 335
2.80/1.41	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.80/1.41	c (0,0) Simplify CSPinCNF Begin
2.80/1.47	c (0,0) Simplify CSPinCNF End
2.80/1.48	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335
2.80/1.48	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.80/1.48	c (0,0) Calculate Precise Domain Begin
2.80/1.48	c (0,0) 0 values are removed by re-calculation
2.80/1.48	c (0,0) Calculate Precise Domain End
2.80/1.48	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 335
2.80/1.48	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.80/1.48	c (0,0) CSPinCNF to SatSolver Begin
4.23/1.95	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 48680 SAT clauses)
4.87/2.12	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 82256 SAT clauses)
5.07/2.25	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 113495 SAT clauses)
5.19/2.38	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 146030 SAT clauses)
5.43/2.50	c (1,1) 747 (50 %) CSP clauses are encoded (0 SAT variables, 175578 SAT clauses)
5.55/2.62	c (2,2) 896 (60 %) CSP clauses are encoded (0 SAT variables, 205031 SAT clauses)
5.65/2.72	c (2,2) 1046 (70 %) CSP clauses are encoded (0 SAT variables, 232037 SAT clauses)
5.79/2.83	c (2,2) 1195 (80 %) CSP clauses are encoded (0 SAT variables, 258078 SAT clauses)
5.90/2.92	c (2,2) 1344 (90 %) CSP clauses are encoded (0 SAT variables, 280743 SAT clauses)
5.90/2.98	c (2,2) 1493 (100 %) CSP clauses are encoded (0 SAT variables, 296506 SAT clauses)
5.90/2.98	c (2,2) CSPinCNF to SatSolver End
5.90/2.98	c (2,2) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.90/2.98	c (2,2) 15376 bool, 296582 clause
5.90/2.98	c (2,2) Export Begin
6.04/3.07	c (2,2) Export to HOME/scop-12084-serial-file.bin
6.04/3.07	c (2,2) Export End
6.04/3.07	c (2,2) Export File Size: 0.01 MB
6.04/3.07	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.04/3.07	c END-Prog: Thu Sep 12 14:44:16 CEST 2019
6.04/3.08	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12084-serial-file.bin
6.16/3.54	c (0,0) Read Serial File Begin
6.16/3.54	c (0,0) HOME/scop-12084-serial-file.bin
6.16/3.74	c (0,0) Read Serial File End
6.16/3.76	
6.16/3.76	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
6.16/3.76	(Solving Process)
6.16/3.76	
6.16/3.78	c BEGIN-Prog: Thu Sep 12 14:44:17 CEST 2019
6.16/3.78	c PID: 12102
6.16/3.78	c IP: 172.20.3.147
6.16/3.78	c HOST: node147.alineos.net
6.16/3.78	c (0,0) SatSolver.solve Begin
6.16/3.78	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387890-1568292296.xml-scop-12087.cnf
6.16/3.81	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.16/3.81	c (0,0) c glueminisat-simp-2.2.10-193oa-n
6.16/3.81	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387890-1568292296.xml-scop-12087.cnf 
6.16/3.81	c (0,0) c Options:
6.16/3.81	c (0,0) c CORE
6.16/3.81	c (0,0) c  var_decay             = 0.950
6.16/3.81	c (0,0) c  clause_decay          = 0.999
6.16/3.81	c (0,0) c  random_var_freq       = 0.000
6.16/3.81	c (0,0) c  random_seed           = 91648253.000
6.16/3.81	c (0,0) c  luby_restart          = 1
6.16/3.81	c (0,0) c  ccmin_mode            = 2
6.16/3.81	c (0,0) c  phase_saving          = 2
6.16/3.81	c (0,0) c  rnd_pol               = 0
6.16/3.81	c (0,0) c  rnd_init_act          = 0
6.16/3.81	c (0,0) c  garbage_frac          = 0.200
6.16/3.81	c (0,0) c  restart_first         = 1000
6.16/3.81	c (0,0) c  restart_inc           = 2.000
6.16/3.81	c (0,0) c MODEL
6.16/3.81	c (0,0) c  partial_model         = 0
6.16/3.81	c (0,0) c PROPAGATION
6.16/3.81	c (0,0) c  bin_propagation       = 1
6.16/3.81	c (0,0) c SIMPLIFICATION
6.16/3.81	c (0,0) c  lrn_min_size          = 100
6.16/3.81	c (0,0) c  lazy_simp             = 1
6.16/3.81	c (0,0) c  lazy_interval         = 10
6.16/3.82	c (0,0) c  lazy_fld_probing      = 1
6.16/3.82	c (0,0) c  lazy_pol_probing      = 1
6.16/3.82	c (0,0) c  lazy_nec_probing      = 1
6.16/3.82	c (0,0) c  lazy_eqv_probing      = 1
6.16/3.82	c (0,0) c  lazy_cla_probing      = 1
6.16/3.82	c (0,0) c  lazy_lrn_min          = 2
6.16/3.82	c (0,0) c  lazy_uw_lit_elim      = 1
6.16/3.82	c (0,0) c  lazy_pr_lit_elim      = 0
6.16/3.82	c (0,0) c  lazy_bin_add          = 3
6.16/3.82	c (0,0) c  probed_lit_chain      = 1
6.16/3.82	c (0,0) c  pr_min_lits           = 0.00020
6.16/3.82	c (0,0) c  pr_min_starts         = 500
6.16/3.82	c (0,0) c  rw_min_lits           = 0.010
6.16/3.82	c (0,0) c  rw_min_starts         = 500
6.16/3.82	c (0,0) c  rand_attach           = 0
6.16/3.82	c (0,0) c  dec_elim              = 1
6.16/3.82	c (0,0) c  dec_elim_lim          = 25
6.16/3.82	c (0,0) c  dec_elim_len          = -1
6.16/3.82	c (0,0) c  amo                   = 0
6.16/3.82	c (0,0) c  amo_grp               = 1
6.16/3.82	c (0,0) c  amo_max_bins          = 1000000
6.16/3.82	c (0,0) c  amo_starts            = 50
6.16/3.82	c (0,0) c  mace_cmd              = mace
6.16/3.82	c (0,0) c DECISION
6.16/3.82	c (0,0) c  rand_rebuild          = 0
6.16/3.82	c (0,0) c  rand_rebuild_confs    = 10000
6.16/3.82	c (0,0) c  inc_var_decay         = 1
6.16/3.82	c (0,0) c  inc_var_decay_period  = 100000
6.16/3.82	c (0,0) c  inc_var_decay_init    = 0.600
6.16/3.82	c (0,0) c  var_decay_mode        = 0
6.16/3.82	c (0,0) c  var_decay_gain        = 0
6.16/3.82	c (0,0) c  sloped_var_decay      = 1
6.16/3.82	c (0,0) c  max_var_decay         = 0.990
6.16/3.82	c (0,0) c  min_var_decay         = 0.950
6.16/3.82	c (0,0) c  min_var_decay_vars    = 10000
6.16/3.82	c (0,0) c  max_var_decay_vars    = 500
6.16/3.82	c (0,0) c  uip_bumping           = 1
6.16/3.82	c (0,0) c  lbd_act_bumping       = 1
6.16/3.82	c (0,0) c  rand_tiebreak         = 0
6.16/3.82	c (0,0) c  simp_rebuild          = 1
6.16/3.82	c (0,0) c RESTART
6.16/3.82	c (0,0) c  restart_strategy      = 2
6.16/3.82	c (0,0) c  restart_blocking      = 0
6.16/3.82	c (0,0) c  agility_decay         = 0.99990
6.16/3.82	c (0,0) c  lbd_restart_rate      = 0.800
6.16/3.82	c (0,0) c  dec_restart_rate      = 0.950
6.16/3.82	c (0,0) c  blk_restart_rate      = 0.700
6.16/3.82	c (0,0) c  lbd_queue_size        = 50
6.16/3.82	c (0,0) c  dec_queue_size        = 50
6.16/3.82	c (0,0) c  trl_queue_size        = 5000
6.16/3.82	c (0,0) c  blk_restart_weight    = 1.000
6.16/3.82	c (0,0) c  inc_rst_rate          = 0
6.16/3.82	c (0,0) c  inc_rst_rate_period   = 500000
6.16/3.82	c (0,0) c  inc_lbd_rst_rate_init = 0.600
6.16/3.82	c (0,0) c  inc_dec_rst_rate_init = 0.750
6.16/3.82	c (0,0) c REDUCTION
6.16/3.82	c (0,0) c  closed_lbd            = 0
6.16/3.82	c (0,0) c  closed_lbd_rate       = 0.500
6.16/3.82	c (0,0) c  rm_simulate           = 0
6.16/3.82	c (0,0) c  rdb_eval              = 2
6.16/3.82	c (0,0) c  rdb_call              = 3
6.16/3.82	c (0,0) c  rdb_ub                = 0.500
6.16/3.82	c (0,0) c  core_lbd_cvr          = 0.800
6.16/3.82	c (0,0) c  supp_lbd_cvr          = 0.990
6.16/3.82	c (0,0) c  core_lbd_lb           = 2
6.16/3.82	c (0,0) c  supp_lbd_lb           = 2
6.16/3.82	c (0,0) c  core_lbd_prd          = 7
6.16/3.82	c (0,0) c  supp_lbd_prd          = 1
6.16/3.82	c (0,0) c  othr_lbd_prd          = 0
6.16/3.82	c (0,0) c  inc_lrn_limit         = 1000
6.16/3.82	c (0,0) c  frozen_lbd            = 30
6.16/3.82	c (0,0) c  simp_min_starts       = 100
6.16/3.82	c (0,0) c  rm_low_act_learnts    = 1
6.16/3.82	c (0,0) c  lv0_reduce_db         = 0
6.16/3.82	c (0,0) c  reduce_db_base        = 20000
6.16/3.82	c (0,0) c  reduce_db_inc         = 1000
6.16/3.82	c (0,0) c HARD
6.16/3.82	c (0,0) c  inst_check            = 200000
6.16/3.82	c (0,0) c  small_block           = 1.750
6.16/3.82	c (0,0) c  slow_restart_speed    = 400.000
6.16/3.82	c (0,0) c  slow_restart_strategy = 3
6.16/3.82	c (0,0) c  slow_lbd_restart_rate = 0.700
6.16/3.82	c (0,0) c  slow_dec_restart_rate = 1.000
6.16/3.82	c (0,0) c  slow_lbd_queue_size   = 50
6.16/3.82	c (0,0) c  slow_var_decay        = 0.950
6.16/3.82	c (0,0) c  slow_glue_threshold   = 2
6.16/3.82	c (0,0) c  slow_phase_saving     = 2
6.16/3.82	c (0,0) c  fast_restart_speed    = 125.000
6.16/3.82	c (0,0) c  fast_restart_strategy = 1
6.16/3.82	c (0,0) c  fast_lbd_restart_rate = 0.800
6.16/3.82	c (0,0) c  fast_dec_restart_rate = 0.950
6.16/3.82	c (0,0) c  fast_lbd_queue_size   = 50
6.16/3.82	c (0,0) c  fast_var_decay        = 1.000
6.16/3.82	c (0,0) c  fast_glue_threshold   = 2
6.16/3.82	c (0,0) c  fast_phase_saving     = 2
6.16/3.82	c (0,0) c STATS
6.16/3.82	c (0,0) c  stats_conf_size       = 10000
6.16/3.82	c (0,0) c  max_stats_size        = 30
6.16/3.82	c (0,0) c SOLVER
6.16/3.82	c (0,0) c  minisat               = 0
6.16/3.91	c (0,0) c Problem: 15376 variables, 296582 clauses, parsing 0.10 s
7.69/4.22	c (0,0) c  reduced to 14855 variables, 293362 clauses (grow = 0)
7.69/4.23	c (0,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
7.69/4.26	c (0,0) c Simplification: 521 vars, 3220 clauses are eliminated using 0.34 s
7.69/4.26	c (0,0) c
7.69/4.26	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
7.69/4.26	c (0,0) c
7.69/4.26	c (0,0) c    0         0         0    14855   293362        0   -nan  -nan  -nan -nan%
7.69/4.27	c (0,0) c    0         1       100    14855   293362      100   16.6   8.0  37.9 41.2%
7.69/4.29	c (0,0) c    0         1       220    14855   293362      220   20.5   8.3  37.0 41.3%
7.80/4.31	c (0,0) c    0         2       364    14855   293362      364   18.9   7.7  35.9 39.9%
7.80/4.34	c (0,0) c    0         2       536    14855   293362      536   19.2   7.1  30.3 40.3%
7.80/4.37	c (0,0) c    0         2       743    14855   293362      743   19.2   6.5  26.7 39.7%
7.90/4.40	c (0,0) c    0         2       991    14855   293362      991   19.3   6.0  24.7 39.1%
7.90/4.44	c (0,0) c    0         3      1289    14855   293362     1290   18.3   5.9  23.5 37.6%
8.01/4.50	c (1,0) c    0         6      1647    14855   293362     1648   17.8   6.0  22.9 36.7%
8.01/4.55	c (1,0) c    0         7      2076    14837   293362     2076   17.9   6.0  23.5 36.6%
8.10/4.64	c (1,0) c    0         7      2591    14837   293362     2591   19.3   6.1  22.2 36.3%
8.20/4.72	c (1,0) c    0         7      3210    14837   293362     3210   18.7   6.1  21.0 35.2%
8.30/4.83	c (1,0) c    1         8      3953    14837   293362     3953   19.0   6.1  21.5 35.5%
8.40/4.97	c (1,0) c    1        12      4844    14837   293362     4844   18.5   6.0  21.0 34.8%
8.61/5.15	c (1,0) c    1        17      5913    14837   293362     5914   18.8   6.0  20.5 34.9%
8.80/5.37	c (1,0) c    1        19      7196    14837   293362     7197   18.8   6.0  19.5 34.5%
9.11/5.63	c (2,0) c
9.11/5.63	c (2,0) c   variables         : 14837       (init 15376, after simp 14855, 0 non-decs, 50 csp)
9.11/5.63	c (2,0) c   clauses           : 293362      (init 296582, after simp 293362)
9.11/5.63	c (2,0) c   restarts          : 27          (312.00 confs/res, 50~1464 confs, 0 blks, 0 last)
9.11/5.63	c (2,0) c   conflicts         : 8736        (4909 /sec, 55.59% dconfs, 0.00% supp, trail 319.55w x 19.37h, jmp 2.28h)
9.11/5.63	c (2,0) c   decisions         : 20446       (0.6300 vdcy, 11489 /sec, 0.00% bin, rs 0.001 s)
9.11/5.63	c (2,0) c   propagations      : 6543387     (3676891 /sec, 320.03 lits/dec, 71.50% o.a.)
9.11/5.63	c (2,0) c   conflict literals : 243061      (29.37% deleted; 1.19% by bin min, 0.001 s)
9.11/5.63	c (2,0) c   len               : 19.317      (19.32 for all, max 95, used 92)
9.11/5.63	c (2,0) c   lbd               : 6.091       (7.48 (6.09) for all, max 35, used 35, 2.246 stdev, 2.582 blk)
9.11/5.63	c (2,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
9.11/5.63	c (2,0) c   simp dbs          : 1           (0.000 s)
9.11/5.63	c (2,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
9.11/5.63	c (2,0) c   learnts           : 8737        (0 learnts removed, 0.00%)
9.11/5.63	c (2,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
9.11/5.63	c (2,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
9.11/5.63	c (2,0) c   premise updates   : 43718       (1.47 /lit)
9.11/5.63	c (2,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
9.11/5.63	c (2,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
9.11/5.63	c (2,0) c   lazy added bins   : 2           (2 prop + 0 conf, 0.003s)
9.11/5.63	c (2,0) c   unwatched lit elim: 520         (0.00+0.20%, 29+491 of 1003167+243061)
9.11/5.63	c (2,0) c   classified type   : undef
9.11/5.63	c (2,0) c   progress          : 0.763 %
9.11/5.63	c (2,0) c
9.11/5.63	c (2,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
9.11/5.63	c (2,0) c
9.11/5.63	c (2,0) c    1        28      8736    14837   293362     8737   19.3   6.1  19.4 34.9%
9.41/5.92	c (2,0) c    2        33     10584    14837   293362    10585   19.8   6.1  18.3 34.9%
9.83/6.36	c (2,0) c    2        55     12802    14837   293362    12804   20.3   6.4  19.9 36.4%
10.32/6.88	c (3,0) c    3        71     15464    14837   293362    15466   20.7   6.5  19.9 38.1%
10.93/7.46	c (3,0) c    3        85     18658    14837   293362    18660   21.3   6.5  21.6 39.4%
11.23/7.72	c (4,0) c    3 r      95     20002    14837   293362    20005   21.4   6.6  22.5 39.8%
11.23/7.72	c (4,0) c
11.23/7.72	c (4,0) c R [LBD Statistics #1]
11.23/7.72	c (4,0) c R LBD         used lbd               used clause lbd
11.23/7.72	c (4,0) c R  tot      132969                   20005
11.23/7.72	c (4,0) c R  avg       3.466                   6.636
11.23/7.72	c (4,0) c R   1         5732 ( 4.3/ 4.3%)        152 ( 0.8/ 0.8%)
11.23/7.72	c (4,0) c R   2        55035 (41.4/45.7%)       2098 (10.5/11.2%)
11.23/7.72	c (4,0) c R   3        25721 (19.3/65.0%)       2180 (10.9/22.1%)
11.23/7.72	c (4,0) c R   4        18033 (13.6/78.6%)       2334 (11.7/33.8%)
11.23/7.72	c (4,0) c R   5        10186 ( 7.7/86.3%)       2313 (11.6/45.4%)
11.23/7.72	c (4,0) c R
11.23/7.72	c (4,0) c R core_lbd_threshold = 5
11.23/7.72	c (4,0) c R supp_lbd_threshold = 12
11.23/7.72	c (4,0) c R
11.23/7.72	c (4,0) c R [RDB Statistics #1]
11.23/7.72	c (4,0) c R kept: lbd      =    9053 (45.3/45.3%)
11.23/7.72	c (4,0) c R kept: ttl      =   10925 (54.6/99.9%)
11.23/7.72	c (4,0) c R kept: locked   =      27 ( 0.1/100.0%)
11.23/7.72	c (4,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
11.23/7.72	c (4,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
11.23/7.72	c (4,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
11.23/7.72	c (4,0) c
11.23/7.72	c (4,0) c    3 R      95     20002    14837   293362    20005   21.4   6.6  22.5 39.8%
11.72/8.25	c (4,0) c    4       108     22491    14837   292967    22494   21.7   6.7  22.3 40.6%
12.72/9.26	c (5,0) c    5       133     27091    14814   292967    27093   22.0   6.8  21.6 41.0%
13.93/10.47	c (6,0) c    6       171     32611    14814   292967    32614   22.8   6.9  19.7 40.8%
15.54/12.07	c (8,0) c    8       211     39235    14814   292430    38595   23.4   7.1  20.0 41.8%
16.04/12.53	c (9,0) c    8 r     222     41000    14814   292430    40360   23.6   7.1  20.4 41.9%
16.04/12.53	c (9,0) c
16.04/12.53	c (9,0) c R [LBD Statistics #2]
16.04/12.53	c (9,0) c R LBD         used lbd               used clause lbd
16.04/12.53	c (9,0) c R  tot      368363                   40360
16.04/12.53	c (9,0) c R  avg       3.305                   7.102
16.04/12.53	c (9,0) c R   1        17591 ( 4.8/ 4.8%)        311 ( 0.8/ 0.8%)
16.04/12.53	c (9,0) c R   2       169836 (46.1/50.9%)       3934 ( 9.7/10.5%)
16.04/12.53	c (9,0) c R   3        68252 (18.5/69.4%)       3952 ( 9.8/20.3%)
16.04/12.53	c (9,0) c R   4        43228 (11.7/81.1%)       4228 (10.5/30.8%)
16.04/12.53	c (9,0) c R
16.04/12.53	c (9,0) c R core_lbd_threshold = 4
16.04/12.53	c (9,0) c R supp_lbd_threshold = 12
16.04/12.53	c (9,0) c R
16.04/12.53	c (9,0) c R [RDB Statistics #2]
16.04/12.53	c (9,0) c R kept: lbd      =   12420 (30.8/30.8%)
16.04/12.53	c (9,0) c R kept: ttl      =   15773 (39.1/69.9%)
16.04/12.53	c (9,0) c R kept: locked   =       7 ( 0.0/69.9%)
16.04/12.53	c (9,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
16.04/12.53	c (9,0) c R lost: ttl      =   12160 (30.1/30.1%)
16.04/12.53	c (9,0) c R lost: subsumed =       0 ( 0.0/30.1%)
16.04/12.53	c (9,0) c
16.04/12.53	c (9,0) c    8 R     222     41000    14814   292430    28200   19.4   5.4  20.4 41.9%
17.54/14.08	c (10,0) c   10       255     47184    14814   292430    34386   20.9   5.9  20.0 42.5%
20.14/16.68	c (13,0) c   12       309     56723    14814   292430    43925   22.4   6.3  20.5 43.1%
21.85/18.39	c (14,0) c   14 r     347     63001    14814   292430    50203   23.0   6.5  19.4 42.1%
21.94/18.42	c (14,0) c
21.94/18.42	c (14,0) c R [LBD Statistics #3]
21.94/18.42	c (14,0) c R LBD         used lbd               used clause lbd
21.94/18.42	c (14,0) c R  tot      697805                   50203
21.94/18.42	c (14,0) c R  avg       3.184                   6.480
21.94/18.42	c (14,0) c R   1        34607 ( 5.0/ 5.0%)        462 ( 0.9/ 0.9%)
21.94/18.42	c (14,0) c R   2       342868 (49.1/54.1%)       5824 (11.6/12.5%)
21.94/18.42	c (14,0) c R   3       126036 (18.1/72.2%)       5660 (11.3/23.8%)
21.94/18.42	c (14,0) c R   4        77084 (11.0/83.2%)       6029 (12.0/35.8%)
21.94/18.42	c (14,0) c R
21.94/18.42	c (14,0) c R core_lbd_threshold = 4
21.94/18.42	c (14,0) c R supp_lbd_threshold = 12
21.94/18.42	c (14,0) c R
21.94/18.42	c (14,0) c R [RDB Statistics #3]
21.94/18.42	c (14,0) c R kept: lbd      =   17925 (35.7/35.7%)
21.94/18.42	c (14,0) c R kept: ttl      =   19860 (39.6/75.3%)
21.94/18.42	c (14,0) c R kept: locked   =      56 ( 0.1/75.4%)
21.94/18.42	c (14,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
21.94/18.42	c (14,0) c R lost: ttl      =   12362 (24.6/24.6%)
21.94/18.42	c (14,0) c R lost: subsumed =       0 ( 0.0/24.6%)
21.94/18.42	c (14,0) c
21.94/18.42	c (14,0) c
21.94/18.42	c (14,0) c   variables         : 14814       (init 15376, after simp 14855, 0 non-decs, 50 csp)
21.94/18.42	c (14,0) c   clauses           : 292430      (init 296582, after simp 293362)
21.94/18.42	c (14,0) c   restarts          : 346         (181.56 confs/res, 50~1703 confs, 0 blks, 0 last)
21.94/18.42	c (14,0) c   conflicts         : 63001       (4369 /sec, 53.80% dconfs, 0.00% supp, trail 354.93w x 20.06h, jmp 1.98h)
21.94/18.42	c (14,0) c   decisions         : 132371      (0.8200 vdcy, 9180 /sec, 0.00% bin, rs 0.004 s)
21.94/18.42	c (14,0) c   propagations      : 51509428    (3572385 /sec, 389.13 lits/dec, 74.43% o.a.)
21.94/18.42	c (14,0) c   conflict literals : 2550335     (36.66% deleted; 1.60% by bin min, 0.021 s)
21.94/18.42	c (14,0) c   len               : 19.706      (24.99 for all, max 148, used 148)
21.94/18.42	c (14,0) c   lbd               : 5.167       (8.95 (7.36) for all, max 37, used 36, 2.133 stdev, 2.792 blk)
21.94/18.42	c (14,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
21.94/18.42	c (14,0) c   simp dbs          : 3           (0.054 s)
21.94/18.42	c (14,0) c   reduce dbs        : 3           (core-lbd 4, supp-lbd 12, 0.031 s)
21.94/18.42	c (14,0) c   learnts           : 37841       (24522 learnts removed, 38.92%)
21.94/18.42	c (14,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
21.94/18.42	c (14,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
21.94/18.42	c (14,0) c   premise updates   : 2057947     (69.27 /lit)
21.94/18.42	c (14,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
21.94/18.42	c (14,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
21.94/18.42	c (14,0) c   lazy added bins   : 8           (8 prop + 0 conf, 0.017s)
21.94/18.42	c (14,0) c   unwatched lit elim: 9434        (0.02+0.36%, 184+9250 of 1003167+2550335)
21.94/18.42	c (14,0) c   classified type   : undef
21.94/18.42	c (14,0) c   progress          : 0.916 %
21.94/18.42	c (14,0) c
21.94/18.42	c (14,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
21.94/18.42	c (14,0) c
21.94/18.42	c (14,0) c   14 R     347     63001    14814   292430    37841   19.7   5.2  19.4 42.1%
23.25/19.76	c (16,0) c   15       389     68170    14814   292430    43011   20.9   5.6  19.1 41.9%
27.35/23.82	c (20,0) c   20       464     81907    14814   292430    56748   23.1   6.2  17.9 41.4%
28.46/24.98	c (21,0) c   21 r     485     86000    14814   292430    60842   23.9   6.3  18.2 42.7%
28.46/24.99	c (21,0) c
28.46/24.99	c (21,0) c R [LBD Statistics #4]
28.46/24.99	c (21,0) c R LBD         used lbd               used clause lbd
28.46/24.99	c (21,0) c R  tot     1090356                   60842
28.46/24.99	c (21,0) c R  avg       3.116                   6.300
28.46/24.99	c (21,0) c R   1        55529 ( 5.1/ 5.1%)        668 ( 1.1/ 1.1%)
28.46/24.99	c (21,0) c R   2       556121 (51.0/56.1%)       7684 (12.6/13.7%)
28.46/24.99	c (21,0) c R   3       193009 (17.7/73.8%)       7254 (11.9/25.7%)
28.46/24.99	c (21,0) c R   4       114948 (10.5/84.3%)       7726 (12.7/38.3%)
28.46/24.99	c (21,0) c R
28.46/24.99	c (21,0) c R core_lbd_threshold = 4
28.46/24.99	c (21,0) c R supp_lbd_threshold = 12
28.46/24.99	c (21,0) c R
28.46/24.99	c (21,0) c R [RDB Statistics #4]
28.46/24.99	c (21,0) c R kept: lbd      =   23282 (38.3/38.3%)
28.46/24.99	c (21,0) c R kept: ttl      =   21072 (34.6/72.9%)
28.46/24.99	c (21,0) c R kept: locked   =      52 ( 0.1/73.0%)
28.46/24.99	c (21,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
28.46/24.99	c (21,0) c R lost: ttl      =   16436 (27.0/27.0%)
28.46/24.99	c (21,0) c R lost: subsumed =       0 ( 0.0/27.0%)
28.46/24.99	c (21,0) c
28.46/24.99	c (21,0) c   21 R     485     86000    14814   292430    44406   20.3   5.0  18.2 42.7%
32.16/28.68	c (25,0) c   24       554     98391    14814   292430    56798   22.7   5.7  19.0 43.5%
32.76/29.25	c (25,0) c   25 f     565    100000    14814   292430    58406   23.0   5.8  18.9 43.9%
35.87/32.34	c (28,0) c   28 r     618    110000    14814   292430    68408   24.3   6.2  18.6 44.2%
35.87/32.38	c (28,0) c
35.87/32.38	c (28,0) c R [LBD Statistics #5]
35.87/32.38	c (28,0) c R LBD         used lbd               used clause lbd
35.87/32.38	c (28,0) c R  tot     1549027                   68408
35.87/32.38	c (28,0) c R  avg       3.072                   6.216
35.87/32.38	c (28,0) c R   1        79019 ( 5.1/ 5.1%)        838 ( 1.2/ 1.2%)
35.87/32.38	c (28,0) c R   2       813442 (52.5/57.6%)       9592 (14.0/15.2%)
35.87/32.38	c (28,0) c R   3       268776 (17.4/75.0%)       8704 (12.7/28.0%)
35.87/32.38	c (28,0) c R   4       156684 (10.1/85.1%)       9265 (13.5/41.5%)
35.87/32.38	c (28,0) c R
35.87/32.38	c (28,0) c R core_lbd_threshold = 4
35.87/32.38	c (28,0) c R supp_lbd_threshold = 12
35.87/32.39	c (28,0) c R
35.87/32.39	c (28,0) c R [RDB Statistics #5]
35.87/32.39	c (28,0) c R kept: lbd      =   28333 (41.4/41.4%)
35.87/32.39	c (28,0) c R kept: ttl      =   21581 (31.5/73.0%)
35.87/32.39	c (28,0) c R kept: locked   =      75 ( 0.1/73.1%)
35.87/32.39	c (28,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
35.87/32.39	c (28,0) c R lost: ttl      =   18419 (26.9/26.9%)
35.87/32.39	c (28,0) c R lost: subsumed =       0 ( 0.0/26.9%)
35.87/32.39	c (28,0) c
35.87/32.39	c (28,0) c   28 R     618    110000    14814   292430    49989   20.4   4.8  18.6 44.2%
38.50/34.97	c (31,0) c   31       681    118172    14813   292281    56616   21.9   5.4  20.0 42.0%
44.31/40.70	c (37,0) c   36 r     758    135001    14813   292281    73447   24.0   6.0  17.3 42.7%
44.31/40.73	c (37,0) c
44.31/40.73	c (37,0) c R [LBD Statistics #6]
44.31/40.73	c (37,0) c R LBD         used lbd               used clause lbd
44.31/40.73	c (37,0) c R  tot     2090771                   73447
44.31/40.73	c (37,0) c R  avg       3.021                   6.041
44.31/40.73	c (37,0) c R   1       109931 ( 5.3/ 5.3%)       1030 ( 1.4/ 1.4%)
44.31/40.73	c (37,0) c R   2      1132817 (54.2/59.4%)      11651 (15.9/17.3%)
44.31/40.73	c (37,0) c R   3       349368 (16.7/76.1%)      10253 (14.0/31.2%)
44.31/40.73	c (37,0) c R   4       203446 ( 9.7/85.9%)      10548 (14.4/45.6%)
44.31/40.73	c (37,0) c R
44.31/40.73	c (37,0) c R core_lbd_threshold = 4
44.31/40.73	c (37,0) c R supp_lbd_threshold = 11
44.31/40.73	c (37,0) c R
44.31/40.73	c (37,0) c R [RDB Statistics #6]
44.31/40.73	c (37,0) c R kept: lbd      =   33414 (45.5/45.5%)
44.31/40.73	c (37,0) c R kept: ttl      =   21723 (29.6/75.1%)
44.31/40.73	c (37,0) c R kept: locked   =      71 ( 0.1/75.2%)
44.31/40.73	c (37,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
44.31/40.73	c (37,0) c R lost: ttl      =   18239 (24.8/24.8%)
44.31/40.73	c (37,0) c R lost: subsumed =       0 ( 0.0/24.8%)
44.31/40.73	c (37,0) c
44.31/40.73	c (37,0) c   36 R     758    135001    14813   292281    55208   20.2   4.7  17.3 42.7%
46.51/42.95	c (39,0) c   39       787    141909    14813   292281    62120   21.4   5.1  17.1 44.0%
53.23/49.63	c (46,0) c   45 r     845    161001    14813   292281    81214   23.9   5.7  15.2 44.8%
53.23/49.63	c (46,0) c
53.23/49.63	c (46,0) c R [LBD Statistics #7]
53.23/49.63	c (46,0) c R LBD         used lbd               used clause lbd
53.23/49.63	c (46,0) c R  tot     2694798                   81214
53.23/49.63	c (46,0) c R  avg       2.978                   5.662
53.23/49.63	c (46,0) c R   1       144299 ( 5.4/ 5.4%)       1236 ( 1.5/ 1.5%)
53.23/49.63	c (46,0) c R   2      1492461 (55.4/60.7%)      13894 (17.1/18.6%)
53.23/49.63	c (46,0) c R   3       439747 (16.3/77.1%)      11878 (14.6/33.3%)
53.23/49.63	c (46,0) c R   4       255519 ( 9.5/86.5%)      12280 (15.1/48.4%)
53.23/49.63	c (46,0) c R
53.23/49.63	c (46,0) c R core_lbd_threshold = 4
53.23/49.63	c (46,0) c R supp_lbd_threshold = 11
53.23/49.63	c (46,0) c R
53.23/49.63	c (46,0) c R [RDB Statistics #7]
53.23/49.63	c (46,0) c R kept: lbd      =   39228 (48.3/48.3%)
53.23/49.63	c (46,0) c R kept: ttl      =   23299 (28.7/77.0%)
53.23/49.63	c (46,0) c R kept: locked   =      65 ( 0.1/77.1%)
53.23/49.63	c (46,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
53.23/49.63	c (46,0) c R lost: ttl      =   18622 (22.9/22.9%)
53.23/49.63	c (46,0) c R lost: subsumed =       0 ( 0.0/22.9%)
53.23/49.63	c (46,0) c
53.23/49.63	c (46,0) c   45 R     845    161001    14813   292281    62592   20.5   4.5  15.2 44.8%
54.74/51.12	c (47,0) c   47 p     847    165559    14664   289566    65434   21.5   4.7  13.7 44.5%
56.33/52.73	c (49,0) c
56.33/52.73	c (49,0) c   variables         : 14664       (init 15376, after simp 14855, 0 non-decs, 50 csp)
56.33/52.73	c (49,0) c   clauses           : 289566      (init 296582, after simp 293362)
56.33/52.73	c (49,0) c   restarts          : 861         (197.67 confs/res, 50~3731 confs, 0 blks, 0 last)
56.33/52.73	c (49,0) c   conflicts         : 170394      (3514 /sec, 51.53% dconfs, 0.00% supp, trail 405.94w x 18.28h, jmp 1.73h)
56.33/52.73	c (49,0) c   decisions         : 313074      (0.9500 vdcy, 6457 /sec, 0.00% bin, rs 0.005 s)
56.33/52.73	c (49,0) c   propagations      : 152940312   (3154291 /sec, 488.51 lits/dec, 76.53% o.a.)
56.33/52.73	c (49,0) c   conflict literals : 9374270     (45.18% deleted; 1.95% by bin min, 0.092 s)
56.33/52.73	c (49,0) c   len               : 22.299      (29.09 for all, max 154, used 148)
56.33/52.73	c (49,0) c   lbd               : 4.876       (9.63 (7.86) for all, max 40, used 37, 1.996 stdev, 3.019 blk)
56.33/52.73	c (49,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
56.33/52.73	c (49,0) c   simp dbs          : 5           (0.132 s)
56.33/52.73	c (49,0) c   reduce dbs        : 7           (core-lbd 4, supp-lbd 11, 0.109 s)
56.33/52.73	c (49,0) c   learnts           : 70271       (96238 learnts removed, 56.48%)
56.33/52.73	c (49,0) c   rewrite dbs       : 0           (0/1 vars, 0+0 taut, 0+0 unit, 0.000 s)
56.33/52.73	c (49,0) c   assigned lits     : 1           (1/149 probed, 0 remains)
56.33/52.73	c (49,0) c   premise updates   : 5383110     (181.19 /lit)
56.33/52.73	c (49,0) c   probed variables  : 149         (144 pr, 0 eq, 0 fld, 0 pol, 0 nec, 5 cla, 0 amo)
56.33/52.73	c (49,0) c   equiv variables   : 1           (1 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
56.33/52.73	c (49,0) c   lazy added bins   : 22          (22 prop + 0 conf, 0.034s)
56.33/52.73	c (49,0) c   unwatched lit elim: 40131       (0.05+0.42%, 514+39617 of 1003167+9374270)
56.33/52.73	c (49,0) c   classified type   : undef
56.33/52.73	c (49,0) c   progress          : 1.920 %
56.33/52.73	c (49,0) c
56.33/52.73	c (49,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
56.33/52.73	c (49,0) c
56.33/52.73	c (49,0) c   48       862    170394    14664   289566    70271   22.3   4.9  13.4 44.7%
57.53/53.92	c (50,0) c   50       876    174411    14664   289566    74289   22.9   5.0  15.3 47.1%
57.53/53.92	c (50,0) c
57.53/53.92	c (50,0) c
57.53/53.92	c (50,0) c variables         : 14664       (init 15376, after simp 14855, 0 non-decs, 50 csp)
57.53/53.92	c (50,0) c clauses           : 289566      (init 296582, after simp 293362)
57.53/53.92	c (50,0) c restarts          : 875         (199.10 confs/res, 50~3731 confs, 0 blks, 0 last)
57.53/53.92	c (50,0) c conflicts         : 174411      (3511 /sec, 51.50% dconfs, 0.00% supp, trail 410.49w x 18.25h, jmp 1.73h)
57.53/53.92	c (50,0) c decisions         : 320480      (0.9500 vdcy, 6451 /sec, 0.00% bin, rs 0.005 s)
57.53/53.92	c (50,0) c propagations      : 156661149   (3153587 /sec, 488.83 lits/dec, 76.52% o.a.)
57.53/53.92	c (50,0) c conflict literals : 9679309     (45.50% deleted; 1.94% by bin min, 0.095 s)
57.53/53.92	c (50,0) c len               : 22.859      (29.17 for all, max 154, used 148)
57.53/53.92	c (50,0) c lbd               : 5.012       (9.63 (7.85) for all, max 40, used 37, 1.992 stdev, 3.030 blk)
57.53/53.92	c (50,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
57.53/53.92	c (50,0) c simp dbs          : 5           (0.132 s)
57.53/53.92	c (50,0) c reduce dbs        : 7           (core-lbd 4, supp-lbd 11, 0.109 s)
57.53/53.92	c (50,0) c learnts           : 74289       (96238 learnts removed, 55.18%)
57.53/53.92	c (50,0) c rewrite dbs       : 0           (0/1 vars, 0+0 taut, 0+0 unit, 0.000 s)
57.53/53.92	c (50,0) c assigned lits     : 1           (1/149 probed, 0 remains)
57.53/53.92	c (50,0) c premise updates   : 5463589     (183.90 /lit)
57.53/53.92	c (50,0) c probed variables  : 149         (144 pr, 0 eq, 0 fld, 0 pol, 0 nec, 5 cla, 0 amo)
57.53/53.92	c (50,0) c equiv variables   : 1           (1 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
57.53/53.92	c (50,0) c lazy added bins   : 23          (23 prop + 0 conf, 0.035s)
57.53/53.92	c (50,0) c unwatched lit elim: 40882       (0.05+0.42%, 536+40346 of 1003167+9679309)
57.53/53.92	c (50,0) c classified type   : undef
57.53/53.92	c (50,0) c progress          : 1.920 %
57.53/53.92	c (50,0) c
57.53/53.93	c (50,0) c [Statistics]
57.53/53.93	c (50,0) c             learnts len        learnts lbd        lit blk size       eq vars size
57.53/53.93	c (50,0) c  tot      174411             174411            1678913                  1
57.53/53.93	c (50,0) c  avg      29.168              7.847              3.030              2.000
57.53/53.93	c (50,0) c   1            3 ( 0.0%)       1333 ( 0.8%)    1006119 (59.9%)          0 ( 0.0%)
57.53/53.93	c (50,0) c   2           47 ( 0.0%)      15197 ( 8.7%)     208090 (12.4%)          1 (100.0%)
57.53/53.93	c (50,0) c   3          233 ( 0.1%)      13141 ( 7.5%)     114681 ( 6.8%)          0 ( 0.0%)
57.53/53.93	c (50,0) c   4          573 ( 0.3%)      13714 ( 7.9%)      72610 ( 4.3%)          0 ( 0.0%)
57.53/53.93	c (50,0) c   5         1108 ( 0.6%)      15527 ( 8.9%)      51684 ( 3.1%)          0 ( 0.0%)
57.53/53.93	c (50,0) c   6         1758 ( 1.0%)      16390 ( 9.4%)      38730 ( 2.3%)          0 ( 0.0%)
57.53/53.93	c (50,0) c   7         3020 ( 1.7%)      16324 ( 9.4%)      29913 ( 1.8%)          0 ( 0.0%)
57.53/53.93	c (50,0) c   8         3968 ( 2.3%)      15479 ( 8.9%)      23937 ( 1.4%)          0 ( 0.0%)
57.53/53.93	c (50,0) c   9         4787 ( 2.7%)      13999 ( 8.0%)      19279 ( 1.1%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  10         4954 ( 2.8%)      11794 ( 6.8%)      15872 ( 0.9%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  11         4829 ( 2.8%)       9638 ( 5.5%)      13047 ( 0.8%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  12         4932 ( 2.8%)       7906 ( 4.5%)      11147 ( 0.7%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  13         5044 ( 2.9%)       6052 ( 3.5%)       9441 ( 0.6%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  14         4980 ( 2.9%)       4542 ( 2.6%)       8047 ( 0.5%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  15         5096 ( 2.9%)       3367 ( 1.9%)       6700 ( 0.4%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  16         4830 ( 2.8%)       2415 ( 1.4%)       5813 ( 0.3%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  17         5038 ( 2.9%)       1811 ( 1.0%)       5075 ( 0.3%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  18         4791 ( 2.7%)       1383 ( 0.8%)       4334 ( 0.3%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  19         4598 ( 2.6%)       1043 ( 0.6%)       3903 ( 0.2%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  20         4503 ( 2.6%)        807 ( 0.5%)       3483 ( 0.2%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  21         4456 ( 2.6%)        594 ( 0.3%)       3120 ( 0.2%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  22         4298 ( 2.5%)        498 ( 0.3%)       2688 ( 0.2%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  23         4224 ( 2.4%)        389 ( 0.2%)       2301 ( 0.1%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  24         3924 ( 2.2%)        274 ( 0.2%)       2056 ( 0.1%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  25         3786 ( 2.2%)        229 ( 0.1%)       1918 ( 0.1%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  26         3758 ( 2.2%)        149 ( 0.1%)       1587 ( 0.1%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  27         3681 ( 2.1%)        111 ( 0.1%)       1388 ( 0.1%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  28         3469 ( 2.0%)         85 ( 0.0%)       1245 ( 0.1%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  29         3419 ( 2.0%)         59 ( 0.0%)       1168 ( 0.1%)          0 ( 0.0%)
57.53/53.93	c (50,0) c  30        70304 (40.3%)        161 ( 0.1%)       9537 ( 0.6%)          0 ( 0.0%)
57.53/53.93	c (50,0) c
57.53/53.93	c (50,0) c [LBD Statistics]
57.53/53.93	c (50,0) c LBD          used lbd               used clause lbd         unused clause lbd
57.53/53.93	c (50,0) c  tot      3003600                  108905                   65526
57.53/53.93	c (50,0) c  avg        2.962                   6.338                  10.354
57.53/53.93	c (50,0) c    1       160910 ( 5.4/ 5.4%)       1330 ( 1.2/ 1.2%)          0 ( 0.0/ 0.0%)
57.53/53.93	c (50,0) c    2      1675234 (55.8/61.1%)      15036 (13.8/15.0%)        184 ( 0.3/ 0.3%)
57.53/53.93	c (50,0) c    3       487367 (16.2/77.4%)      12524 (11.5/26.5%)        617 ( 0.9/ 1.2%)
57.53/53.93	c (50,0) c    4       282865 ( 9.4/86.8%)      12175 (11.2/37.7%)       1539 ( 2.3/ 3.6%)
57.53/53.93	c (50,0) c    5       142335 ( 4.7/91.5%)      12245 (11.2/49.0%)       3282 ( 5.0/ 8.6%)
57.53/53.93	c (50,0) c    6        86175 ( 2.9/94.4%)      11141 (10.2/59.2%)       5249 ( 8.0/16.6%)
57.53/53.93	c (50,0) c    7        52880 ( 1.8/96.1%)       9832 ( 9.0/68.2%)       6492 ( 9.9/26.5%)
57.53/53.93	c (50,0) c    8        35311 ( 1.2/97.3%)       8380 ( 7.7/75.9%)       7099 (10.8/37.3%)
57.53/53.93	c (50,0) c    9        25055 ( 0.8/98.2%)       6747 ( 6.2/82.1%)       7252 (11.1/48.4%)
57.53/53.93	c (50,0) c   10        17705 ( 0.6/98.7%)       5224 ( 4.8/86.9%)       6570 (10.0/58.4%)
57.53/53.93	c (50,0) c   11        11974 ( 0.4/99.1%)       3830 ( 3.5/90.4%)       5808 ( 8.9/67.3%)
57.53/53.93	c (50,0) c   12         7836 ( 0.3/99.4%)       2858 ( 2.6/93.0%)       5048 ( 7.7/75.0%)
57.53/53.93	c (50,0) c   13         5086 ( 0.2/99.6%)       2092 ( 1.9/95.0%)       3960 ( 6.0/81.0%)
57.53/53.93	c (50,0) c   14         3710 ( 0.1/99.7%)       1546 ( 1.4/96.4%)       2996 ( 4.6/85.6%)
57.53/53.93	c (50,0) c   15         2472 ( 0.1/99.8%)       1042 ( 1.0/97.3%)       2325 ( 3.5/89.2%)
57.53/53.93	c (50,0) c   16         1838 ( 0.1/99.8%)        754 ( 0.7/98.0%)       1661 ( 2.5/91.7%)
57.53/53.93	c (50,0) c   17         1242 ( 0.0/99.9%)        548 ( 0.5/98.5%)       1263 ( 1.9/93.6%)
57.53/53.93	c (50,0) c   18          861 ( 0.0/99.9%)        416 ( 0.4/98.9%)        967 ( 1.5/95.1%)
57.53/53.93	c (50,0) c   19          626 ( 0.0/99.9%)        285 ( 0.3/99.2%)        758 ( 1.2/96.3%)
57.53/53.93	c (50,0) c   20          554 ( 0.0/99.9%)        239 ( 0.2/99.4%)        568 ( 0.9/97.1%)
57.53/53.93	c (50,0) c   21          370 ( 0.0/100.0%)        148 ( 0.1/99.5%)        446 ( 0.7/97.8%)
57.53/53.93	c (50,0) c   22          324 ( 0.0/100.0%)        141 ( 0.1/99.7%)        357 ( 0.5/98.3%)
57.53/53.93	c (50,0) c   23          222 ( 0.0/100.0%)         91 ( 0.1/99.7%)        298 ( 0.5/98.8%)
57.53/53.93	c (50,0) c   24          161 ( 0.0/100.0%)         62 ( 0.1/99.8%)        212 ( 0.3/99.1%)
57.53/53.93	c (50,0) c   25          132 ( 0.0/100.0%)         77 ( 0.1/99.9%)        152 ( 0.2/99.4%)
57.53/53.93	c (50,0) c   26           96 ( 0.0/100.0%)         40 ( 0.0/99.9%)        109 ( 0.2/99.5%)
57.53/53.93	c (50,0) c   27           88 ( 0.0/100.0%)         25 ( 0.0/99.9%)         86 ( 0.1/99.7%)
57.53/53.93	c (50,0) c   28           42 ( 0.0/100.0%)         24 ( 0.0/100.0%)         61 ( 0.1/99.7%)
57.53/53.93	c (50,0) c   29           24 ( 0.0/100.0%)          9 ( 0.0/100.0%)         50 ( 0.1/99.8%)
57.53/53.93	c (50,0) c   30           23 ( 0.0/100.0%)         15 ( 0.0/100.0%)         38 ( 0.1/99.9%)
57.53/53.93	c (50,0) c   31           27 ( 0.0/100.0%)         12 ( 0.0/100.0%)         40 ( 0.1/99.9%)
57.53/53.93	c (50,0) c   32           23 ( 0.0/100.0%)          9 ( 0.0/100.0%)          9 ( 0.0/100.0%)
57.53/53.93	c (50,0) c   33           15 ( 0.0/100.0%)          3 ( 0.0/100.0%)          9 ( 0.0/100.0%)
57.53/53.93	c (50,0) c   34            4 ( 0.0/100.0%)          2 ( 0.0/100.0%)          4 ( 0.0/100.0%)
57.53/53.93	c (50,0) c   35            4 ( 0.0/100.0%)          2 ( 0.0/100.0%)          9 ( 0.0/100.0%)
57.53/53.93	c (50,0) c   36            4 ( 0.0/100.0%)          1 ( 0.0/100.0%)          3 ( 0.0/100.0%)
57.53/53.93	c (50,0) c   37            5 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
57.53/53.93	c (50,0) c   38            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/100.0%)
57.53/53.93	c (50,0) c   39            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
57.53/53.93	c (50,0) c   40            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
57.53/53.93	c (50,0) c
57.53/53.93	c (50,0) c Memory used       : 77.00 MB
57.53/53.93	c (50,0) c CPU time          : 49.680 s
57.53/53.93	c (50,0) c Real time         : 50.121 s
57.53/53.93	c (50,0) c
57.53/53.93	c (50,0) s SATISFIABLE
57.53/53.97	c (50,0) SatSolver.solve End
57.53/53.97	c (50,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
57.53/53.97	c (50,0) Show results Begin
57.79/54.06	c (50,0) x[0] = 190
57.79/54.06	c (50,0) x[1] = 253
57.79/54.06	c (50,0) x[2] = 253
57.79/54.06	c (50,0) x[3] = 246
57.79/54.06	c (50,0) x[4] = 184
57.79/54.06	c (50,0) x[5] = 246
57.79/54.06	c (50,0) x[6] = 242
57.79/54.06	c (50,0) x[7] = 229
57.79/54.06	c (50,0) x[8] = 257
57.79/54.06	c (50,0) x[9] = 256
57.79/54.06	c (50,0) x[10] = 229
57.79/54.06	c (50,0) x[11] = 190
57.79/54.06	c (50,0) x[12] = 152
57.79/54.06	c (50,0) x[13] = 152
57.79/54.06	c (50,0) x[14] = 184
57.79/54.06	c (50,0) x[15] = 192
57.79/54.06	c (50,0) x[16] = 283
57.79/54.06	c (50,0) x[17] = 184
57.79/54.06	c (50,0) x[18] = 184
57.79/54.06	c (50,0) x[19] = 152
57.79/54.06	c (50,0) x[20] = 257
57.79/54.06	c (50,0) x[21] = 242
57.79/54.06	c (50,0) x[22] = 226
57.79/54.06	c (50,0) x[23] = 0
57.79/54.06	c (50,0) x[24] = 0
57.79/54.06	c (50,0) y[0] = 224
57.79/54.06	c (50,0) y[1] = 105
57.79/54.06	c (50,0) y[2] = 101
57.79/54.06	c (50,0) y[3] = 101
57.79/54.06	c (50,0) y[4] = 176
57.79/54.06	c (50,0) y[5] = 108
57.79/54.06	c (50,0) y[6] = 118
57.79/54.06	c (50,0) y[7] = 101
57.79/54.06	c (50,0) y[8] = 79
57.79/54.06	c (50,0) y[9] = 105
57.79/54.06	c (50,0) y[10] = 73
57.79/54.06	c (50,0) y[11] = 226
57.79/54.06	c (50,0) y[12] = 224
57.79/54.06	c (50,0) y[13] = 184
57.79/54.06	c (50,0) y[14] = 73
57.79/54.06	c (50,0) y[15] = 176
57.79/54.06	c (50,0) y[16] = 79
57.79/54.06	c (50,0) y[17] = 118
57.79/54.06	c (50,0) y[18] = 0
57.79/54.06	c (50,0) y[19] = 262
57.79/54.06	c (50,0) y[20] = 0
57.79/54.06	c (50,0) y[21] = 132
57.79/54.06	c (50,0) y[22] = 226
57.79/54.06	c (50,0) y[23] = 184
57.79/54.06	c (50,0) y[24] = 0
57.79/54.06	s SATISFIABLE
57.79/54.07	v <instantiation>
57.79/54.07	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
57.79/54.07	v     <values>190 253 253 246 184 246 242 229 257 256 229 190 152 152 184 192 283 184 184 152 257 242 226 0 0 224 105 101 101 176 108 118 101 79 105 73 226 224 184 73 176 79 118 0 262 0 132 226 184 0</values>
57.79/54.07	v </instantiation>
57.79/54.07	c (50,0) Show results End
57.79/54.07	c (50,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
57.79/54.07	c (50,0) 50,50,STOP-AFTER(ALL)
57.79/54.07	c END-Prog: Thu Sep 12 14:45:07 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 (5936 MiB free)
  memory of node 1: 16384 MiB (9041 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=12084, runsolver pid=12081

[startup+0.10007 s]*
/proc/loadavg: 1.97 2.08 2.13 3/236 12101
/proc/meminfo: memFree=15277248/32770624 swapFree=66957008/67108860
[pid=12084] ppid=12081 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12084/stat : 12084 (scop.sh) S 12081 12084 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405143456 115843072 349 33554432000 4194304 5098028 140721858904384 140721858901640 139850288468604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39321600 140721858913064 140721858913392 140721858913392 140721858916301 0
/proc/12084/statm: 28282 349 296 221 0 87 0
[pid=12087] ppid=12084 vsize=15012696 memory=72948 CPUtime=0.11 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12084 8853 0 -1 1077944320 6459 0 0 0 9 2 0 0 20 0 15 0 405143456 15373000704 18237 33554432000 4194304 4196468 140736485239520 140736485222064 139936829402871 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
/proc/12087/statm: 3753174 18237 2919 1 0 3715579 0
[pid=12087/tid=12088] ppid=12084 vsize=15012696 memory=-6149239525118099393 CPUtime=0.09 cores=0,2,4,6
/proc/12087/task/12088/stat : 12088 (java) R 12084 12084 8853 0 -1 4202560 4339 0 0 0 7 2 0 0 20 0 15 0 405143457 15373000704 18303 33554432000 4194304 4196468 140736485239520 139936801196776 139936809679696 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12089] ppid=12084 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12089/stat : 12089 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 18303 33554432000 4194304 4196468 140736485239520 139936833644816 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12090] ppid=12084 vsize=15012696 memory=140176106092160 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12090/stat : 12090 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 18303 33554432000 4194304 4196468 140736485239520 139936624728464 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12091] ppid=12084 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12091/stat : 12091 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 18303 33554432000 4194304 4196468 140736485239520 139936623675920 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12092] ppid=12084 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12092/stat : 12092 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 18303 33554432000 4194304 4196468 140736485239520 139936622623376 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12093] ppid=12084 vsize=15012696 memory=140176106092160 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12093/stat : 12093 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143460 15373000704 18303 33554432000 4194304 4196468 140736485239520 139935799544304 139936829414018 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12094] ppid=12084 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12094/stat : 12094 (java) S 12084 12084 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405143460 15373000704 18303 33554432000 4194304 4196468 140736485239520 139935403206048 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12095] ppid=12084 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12095/stat : 12095 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143460 15373000704 18303 33554432000 4194304 4196468 140736485239520 139935134770672 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12096] ppid=12084 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12096/stat : 12096 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 18303 33554432000 4194304 4196468 140736485239520 139934760262352 139936829421467 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12097] ppid=12084 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12097/stat : 12097 (java) S 12084 12084 8853 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 18303 33554432000 4194304 4196468 140736485239520 139935798491120 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12098] ppid=12084 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12098/stat : 12098 (java) S 12084 12084 8853 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 18303 33554432000 4194304 4196468 140736485239520 139935797438576 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12099] ppid=12084 vsize=15012696 memory=140176106092160 CPUtime=0.01 cores=0,2,4,6
/proc/12087/task/12099/stat : 12099 (java) R 12084 12084 8853 0 -1 4202560 421 0 0 0 1 0 0 0 20 0 15 0 405143463 15373000704 18303 33554432000 4194304 4196468 140736485239520 139935796382968 139936821639998 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12100] ppid=12084 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12100/stat : 12100 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 18303 33554432000 4194304 4196468 140736485239520 139934262356576 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12101] ppid=12084 vsize=15012696 memory=140176106092160 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12101/stat : 12101 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 18303 33554432000 4194304 4196468 140736485239520 139935795333936 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74344 KiB

[startup+0.210855 s]*
/proc/loadavg: 1.97 2.08 2.13 3/236 12101
/proc/meminfo: memFree=15257964/32770624 swapFree=66957008/67108860
[pid=12084] ppid=12081 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12084/stat : 12084 (scop.sh) S 12081 12084 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405143456 115843072 349 33554432000 4194304 5098028 140721858904384 140721858901640 139850288468604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39321600 140721858913064 140721858913392 140721858913392 140721858916301 0
/proc/12084/statm: 28282 349 296 221 0 87 0
[pid=12087] ppid=12084 vsize=15012696 memory=88340 CPUtime=0.25 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12084 8853 0 -1 1077944320 11585 0 0 0 21 4 0 0 20 0 15 0 405143456 15373000704 22085 33554432000 4194304 4196468 140736485239520 140736485222064 139936829402871 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
/proc/12087/statm: 3753174 22085 2976 1 0 3715579 0
[pid=12087/tid=12088] ppid=12084 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/12087/task/12088/stat : 12088 (java) R 12084 12084 8853 0 -1 4202560 9352 0 0 0 17 3 0 0 20 0 15 0 405143457 15373000704 22085 33554432000 4194304 4196468 140736485239520 139936801224224 139936813849968 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12089] ppid=12084 vsize=15012696 memory=364 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12089/stat : 12089 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 22085 33554432000 4194304 4196468 140736485239520 139936833644816 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12090] ppid=12084 vsize=15012696 memory=140176109030131 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12090/stat : 12090 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 22085 33554432000 4194304 4196468 140736485239520 139936624728464 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12091] ppid=12084 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12091/stat : 12091 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 22085 33554432000 4194304 4196468 140736485239520 139936623675920 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12092] ppid=12084 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12092/stat : 12092 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 22085 33554432000 4194304 4196468 140736485239520 139936622623376 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12093] ppid=12084 vsize=15012696 memory=140176106092160 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12093/stat : 12093 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143460 15373000704 22085 33554432000 4194304 4196468 140736485239520 139935799544304 139936829414018 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12094] ppid=12084 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12094/stat : 12094 (java) S 12084 12084 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405143460 15373000704 22085 33554432000 4194304 4196468 140736485239520 139935403206048 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12095] ppid=12084 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12095/stat : 12095 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143460 15373000704 22085 33554432000 4194304 4196468 140736485239520 139935134770672 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12096] ppid=12084 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12096/stat : 12096 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 22085 33554432000 4194304 4196468 140736485239520 139934760262352 139936829421467 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12097] ppid=12084 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12097/stat : 12097 (java) S 12084 12084 8853 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 22085 33554432000 4194304 4196468 140736485239520 139935798491120 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12098] ppid=12084 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12098/stat : 12098 (java) S 12084 12084 8853 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 22085 33554432000 4194304 4196468 140736485239520 139935797438576 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12099] ppid=12084 vsize=15012696 memory=140176106092160 CPUtime=0.02 cores=0,2,4,6
/proc/12087/task/12099/stat : 12099 (java) S 12084 12084 8853 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 15 0 405143463 15373000704 22085 33554432000 4194304 4196468 140736485239520 139935796386032 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12100] ppid=12084 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12100/stat : 12100 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 22085 33554432000 4194304 4196468 140736485239520 139934262356576 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12101] ppid=12084 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12101/stat : 12101 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 22085 33554432000 4194304 4196468 140736485239520 139935795333936 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89736 KiB

[startup+0.31078 s]*
/proc/loadavg: 1.97 2.08 2.13 4/236 12101
/proc/meminfo: memFree=15254676/32770624 swapFree=66957008/67108860
[pid=12084] ppid=12081 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12084/stat : 12084 (scop.sh) S 12081 12084 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405143456 115843072 349 33554432000 4194304 5098028 140721858904384 140721858901640 139850288468604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39321600 140721858913064 140721858913392 140721858913392 140721858916301 0
/proc/12084/statm: 28282 349 296 221 0 87 0
[pid=12087] ppid=12084 vsize=15012696 memory=92296 CPUtime=0.43 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12084 8853 0 -1 1077944320 12055 0 0 0 39 4 0 0 20 0 15 0 405143456 15373000704 23074 33554432000 4194304 4196468 140736485239520 140736485222064 139936829402871 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
/proc/12087/statm: 3753174 23074 3067 1 0 3715579 0
[pid=12087/tid=12088] ppid=12084 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/12087/task/12088/stat : 12088 (java) R 12084 12084 8853 0 -1 4202560 9614 0 0 0 26 3 0 0 20 0 15 0 405143457 15373000704 23074 33554432000 4194304 4196468 140736485239520 139936801232944 139936814568510 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12089] ppid=12084 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12089/stat : 12089 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 23074 33554432000 4194304 4196468 140736485239520 139936833644816 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12090] ppid=12084 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12090/stat : 12090 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 23074 33554432000 4194304 4196468 140736485239520 139936624728464 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12091] ppid=12084 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12091/stat : 12091 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 23074 33554432000 4194304 4196468 140736485239520 139936623675920 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12092] ppid=12084 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12092/stat : 12092 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143458 15373000704 23074 33554432000 4194304 4196468 140736485239520 139936622623376 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12093] ppid=12084 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12093/stat : 12093 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143460 15373000704 23074 33554432000 4194304 4196468 140736485239520 139935799544304 139936829414018 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12094] ppid=12084 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12094/stat : 12094 (java) S 12084 12084 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405143460 15373000704 23074 33554432000 4194304 4196468 140736485239520 139935403206048 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12095] ppid=12084 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12095/stat : 12095 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143460 15373000704 23074 33554432000 4194304 4196468 140736485239520 139935134770672 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12096] ppid=12084 vsize=15012696 memory=4628975386420216973 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12096/stat : 12096 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 23074 33554432000 4194304 4196468 140736485239520 139934760262352 139936829421467 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12097] ppid=12084 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12087/task/12097/stat : 12097 (java) S 12084 12084 8853 0 -1 1077944384 163 0 0 0 2 0 0 0 20 0 15 0 405143463 15373000704 23074 33554432000 4194304 4196468 140736485239520 139935798491120 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12098] ppid=12084 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12087/task/12098/stat : 12098 (java) S 12084 12084 8853 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 15 0 405143463 15373000704 23074 33554432000 4194304 4196468 140736485239520 139935797438576 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12099] ppid=12084 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12099/stat : 12099 (java) S 12084 12084 8853 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 15 0 405143463 15373000704 23074 33554432000 4194304 4196468 140736485239520 139935796386032 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12100] ppid=12084 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12100/stat : 12100 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 23074 33554432000 4194304 4196468 140736485239520 139934262356576 139936829413077 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12101] ppid=12084 vsize=15012696 memory=4120848850299663408 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12101/stat : 12101 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143463 15373000704 23074 33554432000 4194304 4196468 140736485239520 139935795333936 139936829414018 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93692 KiB

[startup+0.701095 s]
/proc/loadavg: 1.97 2.08 2.13 3/236 12101
/proc/meminfo: memFree=15232988/32770624 swapFree=66957008/67108860
[pid=12084] ppid=12081 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12084/stat : 12084 (scop.sh) S 12081 12084 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405143456 115843072 349 33554432000 4194304 5098028 140721858904384 140721858901640 139850288468604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39321600 140721858913064 140721858913392 140721858913392 140721858916301 0
/proc/12084/statm: 28282 349 296 221 0 87 0
[pid=12087] ppid=12084 vsize=15021092 memory=130144 CPUtime=0.99 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12084 8853 0 -1 1077944320 19758 0 0 0 92 7 0 0 20 0 15 0 405143456 15381598208 32536 33554432000 4194304 4196468 140736485239520 140736485222064 139936829402871 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
/proc/12087/statm: 3755273 32536 3201 1 0 3716603 0
[pid=12087/tid=12088] ppid=12084 vsize=15021092 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/12087/task/12088/stat : 12088 (java) R 12084 12084 8853 0 -1 4202560 16824 0 0 0 62 5 0 0 20 0 15 0 405143457 15381598208 32536 33554432000 4194304 4196468 140736485239520 139936801234608 139936813483358 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12089] ppid=12084 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12089/stat : 12089 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143458 15381598208 32536 33554432000 4194304 4196468 140736485239520 139936833644816 139936829413077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12090] ppid=12084 vsize=15021092 memory=37328 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12090/stat : 12090 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405143458 15381598208 32536 33554432000 4194304 4196468 140736485239520 139936624728464 139936829413077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12091] ppid=12084 vsize=15021092 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12091/stat : 12091 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143458 15381598208 32536 33554432000 4194304 4196468 140736485239520 139936623675920 139936829413077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12092] ppid=12084 vsize=15021092 memory=988 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12092/stat : 12092 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143458 15381598208 32536 33554432000 4194304 4196468 140736485239520 139936622623376 139936829413077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12093] ppid=12084 vsize=15021092 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12093/stat : 12093 (java) S 12084 12084 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405143460 15381598208 32536 33554432000 4194304 4196468 140736485239520 139935799544304 139936829414018 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12094] ppid=12084 vsize=15021092 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12094/stat : 12094 (java) S 12084 12084 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405143460 15381598208 32536 33554432000 4194304 4196468 140736485239520 139935403206048 139936829413077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12095] ppid=12084 vsize=15021092 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12095/stat : 12095 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143460 15381598208 32536 33554432000 4194304 4196468 140736485239520 139935134770672 139936829413077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12096] ppid=12084 vsize=15021092 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12096/stat : 12096 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405143463 15381598208 32536 33554432000 4194304 4196468 140736485239520 139934760262352 139936829421467 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12097] ppid=12084 vsize=15021092 memory=11624 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12097/stat : 12097 (java) S 12084 12084 8853 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 15 0 405143463 15381598208 32536 33554432000 4194304 4196468 140736485239520 139935798491120 139936829414018 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12098] ppid=12084 vsize=15021092 memory=732 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12098/stat : 12098 (java) R 12084 12084 8853 0 -1 4202560 688 0 0 0 8 0 0 0 20 0 15 0 405143463 15381598208 32536 33554432000 4194304 4196468 140736485239520 139935797438872 139936814321903 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12099] ppid=12084 vsize=15021092 memory=776 CPUtime=0.14 cores=0,2,4,6
/proc/12087/task/12099/stat : 12099 (java) S 12084 12084 8853 0 -1 1077944384 574 0 0 0 14 0 0 0 20 0 15 0 405143463 15381598208 32536 33554432000 4194304 4196468 140736485239520 139935796386032 139936829414018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12100] ppid=12084 vsize=15021092 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12100/stat : 12100 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405143463 15381598208 32536 33554432000 4194304 4196468 140736485239520 139934262356576 139936829413077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
[pid=12087/tid=12101] ppid=12084 vsize=15021092 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/12087/task/12101/stat : 12101 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405143463 15381598208 32536 33554432000 4194304 4196468 140736485239520 139935795333936 139936829414018 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140736485245678 140736485246106 140736485246106 140736485248975 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131540 KiB

[startup+1.50077 s]
/proc/loadavg: 1.97 2.08 2.13 3/236 12101
/proc/meminfo: memFree=15207608/32770624 swapFree=66957008/67108860
[pid=12084] ppid=12081 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12084/stat : 12084 (scop.sh) S 12081 12084 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405143456 115843072 349 33554432000 4194304 5098028 140721858904384 140721858901640 139850288468604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39321600 140721858913064 140721858913392 140721858913392 140721858916301 0
/proc/12084/statm: 28282 349 296 221 0 87 0

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

/proc/12102/task/12118/stat : 12118 (java) S 12084 12084 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405143837 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349339755968 140349905575705 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12120] ppid=12084 vsize=8068440 memory=14008 CPUtime=0.03 cores=0,2,4,6
/proc/12102/task/12120/stat : 12120 (java) S 12084 12084 8853 0 -1 4202560 1713 0 0 0 2 1 0 0 20 0 19 0 405143837 8262082560 30382 33554432000 4194304 4196468 140734080733184 140347048964080 140349905573021 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12121] ppid=12084 vsize=8068440 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12121/stat : 12121 (java) S 12084 12084 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405143837 8262082560 30382 33554432000 4194304 4196468 140734080733184 140347183185296 140349905573021 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12122] ppid=12084 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12122/stat : 12122 (java) S 12084 12084 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405143840 8262082560 30382 33554432000 4194304 4196468 140734080733184 140346780539824 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
Current children cumulated CPU time: 54.83 s
Current children cumulated vsize: 8260940 KiB
Current children cumulated memory: 187476 KiB

[startup+52.801 s]
/proc/loadavg: 2.03 2.08 2.13 3/239 12125
/proc/meminfo: memFree=15155104/32770624 swapFree=66957008/67108860
[pid=12084] ppid=12081 vsize=113128 memory=1476 CPUtime=6.16 cores=0,2,4,6
/proc/12084/stat : 12084 (scop.sh) S 12081 12084 8853 0 -1 4202496 583 26212 0 0 0 0 588 28 20 0 1 0 405143456 115843072 369 33554432000 4194304 5098028 140721858904384 140721858901128 139850288468604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39321600 140721858913064 140721858913392 140721858913392 140721858916301 0
/proc/12084/statm: 28282 369 311 221 0 87 0
[pid=12102] ppid=12084 vsize=8068440 memory=121528 CPUtime=1.29 cores=0,2,4,6
/proc/12102/stat : 12102 (java) S 12084 12084 8853 0 -1 1077944320 22733 0 0 0 119 10 0 0 20 0 19 0 405143764 8262082560 30382 33554432000 4194304 4196468 140734080733184 140734080715728 140349905551095 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
/proc/12102/statm: 2017110 30382 3202 1 0 1978454 0
[pid=12117] ppid=12102 vsize=79372 memory=64472 CPUtime=48.99 cores=0,2,4,6
/proc/12117/stat : 12117 (glueminisat-sim) R 12102 12084 8853 0 -1 4202496 41111 0 0 0 4855 44 0 0 20 0 1 0 405143837 81276928 16118 33554432000 4194304 4452875 140725347832320 140725347827352 4372270 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 12607488 140725347836767 140725347836967 140725347836967 140725347839917 0
/proc/12117/statm: 19843 16118 379 64 0 16047 0
[pid=12102/tid=12103] ppid=12084 vsize=8068440 memory=-7824251494390914410 CPUtime=0.75 cores=0,2,4,6
/proc/12102/task/12103/stat : 12103 (java) S 12084 12084 8853 0 -1 1077944384 17746 0 0 0 70 5 0 0 20 0 19 0 405143765 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349877391264 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12104] ppid=12084 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12104/stat : 12104 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405143766 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349909793168 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12105] ppid=12084 vsize=8068440 memory=118140 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12105/stat : 12105 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405143766 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349734435088 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12106] ppid=12084 vsize=8068440 memory=50932 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12106/stat : 12106 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405143766 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349390092944 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12107] ppid=12084 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12107/stat : 12107 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405143766 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349389040144 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12108] ppid=12084 vsize=8068440 memory=64472 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12108/stat : 12108 (java) S 12084 12084 8853 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405143767 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349352000112 140349905562242 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12109] ppid=12084 vsize=8068440 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12109/stat : 12109 (java) S 12084 12084 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405143768 8262082560 30382 33554432000 4194304 4196468 140734080733184 140348726699296 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12110] ppid=12084 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12110/stat : 12110 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405143768 8262082560 30382 33554432000 4194304 4196468 140734080733184 140348458264176 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12111] ppid=12084 vsize=8068440 memory=3488 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12111/stat : 12111 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140348083755600 140349905569691 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12112] ppid=12084 vsize=8068440 memory=1476 CPUtime=0.09 cores=0,2,4,6
/proc/12102/task/12112/stat : 12112 (java) S 12084 12084 8853 0 -1 1077944384 745 0 0 0 9 0 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349350946928 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12113] ppid=12084 vsize=8068440 memory=130780 CPUtime=0.09 cores=0,2,4,6
/proc/12102/task/12113/stat : 12113 (java) S 12084 12084 8853 0 -1 1077944384 314 0 0 0 9 0 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349349894128 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12114] ppid=12084 vsize=8068440 memory=136160 CPUtime=0.22 cores=0,2,4,6
/proc/12102/task/12114/stat : 12114 (java) S 12084 12084 8853 0 -1 1077944384 828 0 0 0 22 0 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349348841840 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12115] ppid=12084 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12115/stat : 12115 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140347585849824 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12116] ppid=12084 vsize=8068440 memory=-9110635228796802480 CPUtime=0.05 cores=0,2,4,6
/proc/12102/task/12116/stat : 12116 (java) S 12084 12084 8853 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349347789744 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12118] ppid=12084 vsize=8068440 memory=-2247047206104422225 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12118/stat : 12118 (java) S 12084 12084 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405143837 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349339755968 140349905575705 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12120] ppid=12084 vsize=8068440 memory=9051561888820920493 CPUtime=0.03 cores=0,2,4,6
/proc/12102/task/12120/stat : 12120 (java) S 12084 12084 8853 0 -1 4202560 1713 0 0 0 2 1 0 0 20 0 19 0 405143837 8262082560 30382 33554432000 4194304 4196468 140734080733184 140347048964080 140349905573021 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12121] ppid=12084 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12121/stat : 12121 (java) S 12084 12084 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405143837 8262082560 30382 33554432000 4194304 4196468 140734080733184 140347183185296 140349905573021 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12122] ppid=12084 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12122/stat : 12122 (java) S 12084 12084 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405143840 8262082560 30382 33554432000 4194304 4196468 140734080733184 140346780539824 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
Current children cumulated CPU time: 56.44 s
Current children cumulated vsize: 8260940 KiB
Current children cumulated memory: 187476 KiB

[startup+53.601 s]
/proc/loadavg: 2.03 2.08 2.13 3/239 12125
/proc/meminfo: memFree=15155104/32770624 swapFree=66957008/67108860
[pid=12084] ppid=12081 vsize=113128 memory=1476 CPUtime=6.16 cores=0,2,4,6
/proc/12084/stat : 12084 (scop.sh) S 12081 12084 8853 0 -1 4202496 583 26212 0 0 0 0 588 28 20 0 1 0 405143456 115843072 369 33554432000 4194304 5098028 140721858904384 140721858901128 139850288468604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39321600 140721858913064 140721858913392 140721858913392 140721858916301 0
/proc/12084/statm: 28282 369 311 221 0 87 0
[pid=12102] ppid=12084 vsize=8068440 memory=121528 CPUtime=1.29 cores=0,2,4,6
/proc/12102/stat : 12102 (java) S 12084 12084 8853 0 -1 1077944320 22733 0 0 0 119 10 0 0 20 0 19 0 405143764 8262082560 30382 33554432000 4194304 4196468 140734080733184 140734080715728 140349905551095 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
/proc/12102/statm: 2017110 30382 3202 1 0 1978454 0
[pid=12117] ppid=12102 vsize=79372 memory=64472 CPUtime=49.79 cores=0,2,4,6
/proc/12117/stat : 12117 (glueminisat-sim) R 12102 12084 8853 0 -1 4202496 41116 0 0 0 4935 44 0 0 20 0 1 0 405143837 81276928 16118 33554432000 4194304 4452875 140725347832320 140725347827416 140435101314951 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 12607488 140725347836767 140725347836967 140725347836967 140725347839917 0
/proc/12117/statm: 19843 16118 379 64 0 16047 0
[pid=12102/tid=12103] ppid=12084 vsize=8068440 memory=-7824251494390914410 CPUtime=0.75 cores=0,2,4,6
/proc/12102/task/12103/stat : 12103 (java) S 12084 12084 8853 0 -1 1077944384 17746 0 0 0 70 5 0 0 20 0 19 0 405143765 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349877391264 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12104] ppid=12084 vsize=8068440 memory=3544529369184982592 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12104/stat : 12104 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405143766 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349909793168 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12105] ppid=12084 vsize=8068440 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12105/stat : 12105 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405143766 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349734435088 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12106] ppid=12084 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12106/stat : 12106 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405143766 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349390092944 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12107] ppid=12084 vsize=8068440 memory=121528 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12107/stat : 12107 (java) S 12084 12084 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405143766 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349389040144 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12108] ppid=12084 vsize=8068440 memory=64472 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12108/stat : 12108 (java) S 12084 12084 8853 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405143767 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349352000112 140349905562242 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12109] ppid=12084 vsize=8068440 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12109/stat : 12109 (java) S 12084 12084 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405143768 8262082560 30382 33554432000 4194304 4196468 140734080733184 140348726699296 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12110] ppid=12084 vsize=8068440 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12110/stat : 12110 (java) S 12084 12084 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405143768 8262082560 30382 33554432000 4194304 4196468 140734080733184 140348458264176 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12111] ppid=12084 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12111/stat : 12111 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140348083755600 140349905569691 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12112] ppid=12084 vsize=8068440 memory=2020 CPUtime=0.09 cores=0,2,4,6
/proc/12102/task/12112/stat : 12112 (java) S 12084 12084 8853 0 -1 1077944384 745 0 0 0 9 0 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349350946928 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12113] ppid=12084 vsize=8068440 memory=988 CPUtime=0.09 cores=0,2,4,6
/proc/12102/task/12113/stat : 12113 (java) S 12084 12084 8853 0 -1 1077944384 314 0 0 0 9 0 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349349894128 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12114] ppid=12084 vsize=8068440 memory=1368 CPUtime=0.22 cores=0,2,4,6
/proc/12102/task/12114/stat : 12114 (java) S 12084 12084 8853 0 -1 1077944384 828 0 0 0 22 0 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349348841840 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12115] ppid=12084 vsize=8068440 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12115/stat : 12115 (java) S 12084 12084 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140347585849824 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12116] ppid=12084 vsize=8068440 memory=1712 CPUtime=0.06 cores=0,2,4,6
/proc/12102/task/12116/stat : 12116 (java) S 12084 12084 8853 0 -1 1077944384 5 0 0 0 4 2 0 0 20 0 19 0 405143771 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349347789744 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12118] ppid=12084 vsize=8068440 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12118/stat : 12118 (java) S 12084 12084 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405143837 8262082560 30382 33554432000 4194304 4196468 140734080733184 140349339755968 140349905575705 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12120] ppid=12084 vsize=8068440 memory=11624 CPUtime=0.03 cores=0,2,4,6
/proc/12102/task/12120/stat : 12120 (java) S 12084 12084 8853 0 -1 4202560 1713 0 0 0 2 1 0 0 20 0 19 0 405143837 8262082560 30382 33554432000 4194304 4196468 140734080733184 140347048964080 140349905573021 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12121] ppid=12084 vsize=8068440 memory=64472 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12121/stat : 12121 (java) S 12084 12084 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405143837 8262082560 30382 33554432000 4194304 4196468 140734080733184 140347183185296 140349905573021 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12122] ppid=12084 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12102/task/12122/stat : 12122 (java) S 12084 12084 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405143840 8262082560 30382 33554432000 4194304 4196468 140734080733184 140346780539824 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
Current children cumulated CPU time: 57.24 s
Current children cumulated vsize: 8260940 KiB
Current children cumulated memory: 187476 KiB

[startup+54.0009 s]*
/proc/loadavg: 2.03 2.08 2.13 3/236 12125
/proc/meminfo: memFree=15213228/32770624 swapFree=66957008/67108860
[pid=12084] ppid=12081 vsize=113128 memory=1476 CPUtime=6.16 cores=0,2,4,6
/proc/12084/stat : 12084 (scop.sh) S 12081 12084 8853 0 -1 4202496 583 26212 0 0 0 0 588 28 20 0 1 0 405143456 115843072 369 33554432000 4194304 5098028 140721858904384 140721858901128 139850288468604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39321600 140721858913064 140721858913392 140721858913392 140721858916301 0
/proc/12084/statm: 28282 369 311 221 0 87 0
[pid=12102] ppid=12084 vsize=7937364 memory=128404 CPUtime=51.63 cores=0,2,4,6
/proc/12102/stat : 12102 (java) S 12084 12084 8853 0 -1 1077944320 23675 41486 0 0 140 11 4968 44 20 0 17 0 405143764 8127860736 32101 33554432000 4194304 4196468 140734080733184 140734080715728 140349905551095 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
/proc/12102/statm: 1984341 32101 3223 1 0 1945685 0
[pid=12102/tid=12103] ppid=12084 vsize=7937364 memory=6791534058613427641 CPUtime=50.91 cores=0,2,4,6
/proc/12102/task/12103/stat : 12103 (java) R 12084 12084 8853 0 -1 4202560 17900 41486 0 0 74 5 4968 44 20 0 17 0 405143765 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349877334832 140349905563030 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12104] ppid=12084 vsize=7937364 memory=4126316290023845779 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12104/stat : 12104 (java) S 12084 12084 8853 0 -1 1077944384 1 41486 0 0 0 0 4968 44 20 0 17 0 405143766 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349909793168 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12105] ppid=12084 vsize=7937364 memory=0 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12105/stat : 12105 (java) S 12084 12084 8853 0 -1 1077944384 1 41486 0 0 0 0 4968 44 20 0 17 0 405143766 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349734435088 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12106] ppid=12084 vsize=7937364 memory=0 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12106/stat : 12106 (java) S 12084 12084 8853 0 -1 1077944384 2 41486 0 0 0 0 4968 44 20 0 17 0 405143766 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349390092944 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12107] ppid=12084 vsize=7937364 memory=0 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12107/stat : 12107 (java) S 12084 12084 8853 0 -1 1077944384 2 41486 0 0 0 0 4968 44 20 0 17 0 405143766 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349389040144 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12108] ppid=12084 vsize=7937364 memory=-7824251494390914410 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12108/stat : 12108 (java) S 12084 12084 8853 0 -1 1077944384 7 41486 0 0 0 0 4968 44 20 0 17 0 405143767 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349352000112 140349905562242 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12109] ppid=12084 vsize=7937364 memory=0 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12109/stat : 12109 (java) S 12084 12084 8853 0 -1 1077944384 13 41486 0 0 0 0 4968 44 20 0 17 0 405143768 8127860736 32101 33554432000 4194304 4196468 140734080733184 140348726699296 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12110] ppid=12084 vsize=7937364 memory=12084 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12110/stat : 12110 (java) S 12084 12084 8853 0 -1 1077944384 1 41486 0 0 0 0 4968 44 20 0 17 0 405143768 8127860736 32101 33554432000 4194304 4196468 140734080733184 140348458264176 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12111] ppid=12084 vsize=7937364 memory=7380101727222522474 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12111/stat : 12111 (java) S 12084 12084 8853 0 -1 1077944384 3 41486 0 0 0 0 4968 44 20 0 17 0 405143771 8127860736 32101 33554432000 4194304 4196468 140734080733184 140348083755600 140349905569691 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12112] ppid=12084 vsize=7937364 memory=0 CPUtime=50.27 cores=0,2,4,6
/proc/12102/task/12112/stat : 12112 (java) R 12084 12084 8853 0 -1 1077944384 919 41486 0 0 15 0 4968 44 20 0 17 0 405143771 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349350946928 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12113] ppid=12084 vsize=7937364 memory=0 CPUtime=50.26 cores=0,2,4,6
/proc/12102/task/12113/stat : 12113 (java) S 12084 12084 8853 0 -1 1077944384 619 41486 0 0 14 0 4968 44 20 0 17 0 405143771 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349349894128 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12114] ppid=12084 vsize=7937364 memory=0 CPUtime=50.37 cores=0,2,4,6
/proc/12102/task/12114/stat : 12114 (java) R 12084 12084 8853 0 -1 4202560 923 41486 0 0 25 0 4968 44 20 0 17 0 405143771 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349348841840 140349887114651 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12115] ppid=12084 vsize=7937364 memory=0 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12115/stat : 12115 (java) S 12084 12084 8853 0 -1 1077944384 3 41486 0 0 0 0 4968 44 20 0 17 0 405143771 8127860736 32101 33554432000 4194304 4196468 140734080733184 140347585849824 140349905561301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12116] ppid=12084 vsize=7937364 memory=0 CPUtime=50.18 cores=0,2,4,6
/proc/12102/task/12116/stat : 12116 (java) S 12084 12084 8853 0 -1 1077944384 5 41486 0 0 4 2 4968 44 20 0 17 0 405143771 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349347789744 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12118] ppid=12084 vsize=7937364 memory=7887610716980720435 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12118/stat : 12118 (java) S 12084 12084 8853 0 -1 1077944384 24 41486 0 0 0 0 4968 44 20 0 17 0 405143837 8127860736 32101 33554432000 4194304 4196468 140734080733184 140349339755152 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
[pid=12102/tid=12122] ppid=12084 vsize=7937364 memory=8099279071866868836 CPUtime=50.12 cores=0,2,4,6
/proc/12102/task/12122/stat : 12122 (java) S 12084 12084 8853 0 -1 1077944384 9 41486 0 0 0 0 4968 44 20 0 17 0 405143840 8127860736 32101 33554432000 4194304 4196468 140734080733184 140346780541616 140349905562242 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19988480 140734080734203 140734080734362 140734080734362 140734080737231 0
Current children cumulated CPU time: 57.79 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 129880 KiB

Child status: 0
Real time (s): 54.0883
CPU time (s): 57.9751
CPU user time (s): 57.1186
CPU system time (s): 0.856497
CPU usage (%): 107.186
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 1239560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.1186
system time used= 0.856497
maximum resident set size= 1243856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6519
involuntary context switches= 52


# summary of solver processes directly reported to runsolver:
#   pid: 12084
#   total CPU time (s): 57.9751
#   total CPU user time (s): 57.1186
#   total CPU system time (s): 0.856497

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.598626 second user time and 0.450129 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-12 14:44:13
IDJOB=4387890
IDBENCH=127781
IDSOLVER=2825
FILE ID=node147/4387890-1568292296
RUNJOBID= node147-1568286038-9751
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-097.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-4387890-1568292296/watcher-4387890-1568292296 -o /tmp/evaluation-result-4387890-1568292296/solver-4387890-1568292296 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --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-4387890-1568292296.xml

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

MD5SUM BENCH= 8967691277ed469002b27945208c5243
RANDOM SEED=861472857

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:        15337984 kB
MemAvailable:   31561080 kB
Buffers:          165612 kB
Cached:         16094776 kB
SwapCached:        48504 kB
Active:          2606104 kB
Inactive:       13961248 kB
Active(anon):     269160 kB
Inactive(anon):    79704 kB
Active(file):    2336944 kB
Inactive(file): 13881544 kB
Unevictable:      107624 kB
Mlocked:          107624 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:             20752 kB
Writeback:             0 kB
AnonPages:        368536 kB
Mapped:            55120 kB
Shmem:             32764 kB
Slab:             461800 kB
SReclaimable:     433068 kB
SUnreclaim:        28732 kB
KernelStack:        3872 kB
PageTables:         6012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6104680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 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:45:07