Trace number 4387650

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 13.5085 6.09657

General information on the benchmark

NameRandom/Random-D-t035/
rand-2-40-16-250-035-86.xml
MD5SUM95e1ba6edeec6aa2d568f833deab6719
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 benchmark1.6602
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints250
Number of domains1
Minimum domain size16
Maximum domain size16
Distribution of domain sizes[{"size":16,"count":40}]
Minimum variable degree8
Maximum variable degree19
Distribution of variable degrees[{"degree":8,"count":2},{"degree":9,"count":5},{"degree":10,"count":5},{"degree":11,"count":3},{"degree":12,"count":6},{"degree":13,"count":6},{"degree":14,"count":4},{"degree":15,"count":3},{"degree":16,"count":1},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":250}]
Number of extensional constraints250
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":250}]
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-8836-serial-file.bin HOME/instance-4387650-1568287515.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 13:24:36 CEST 2019
0.66/0.56	c PID: 8839
0.66/0.56	c IP: 172.20.3.150
0.66/0.56	c HOST: node150.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.00/1.06	c (0,0) Parsing End
2.00/1.07	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 250 ctr, max domain size 16
2.00/1.07	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.00/1.07	c (0,0) Constraint Name Generate Begin
2.00/1.08	c (0,0) Ctr:HOME/instance-4387650-1568287515.xml,ExtensionConflict:Var
2.00/1.08	c (0,0) Constraint Name Generate End
2.00/1.08	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.00/1.08	c (0,0) CSP to CSPinCNF Begin
3.73/1.65	c (1,1) translated 25 (10%) constraints
4.04/1.80	c (1,1) translated 50 (20%) constraints
4.64/1.92	c (1,1) translated 75 (30%) constraints
4.97/2.04	c (1,1) translated 100 (40%) constraints
5.28/2.16	c (1,1) translated 125 (50%) constraints
5.56/2.27	c (1,1) translated 150 (60%) constraints
5.86/2.37	c (1,1) translated 175 (70%) constraints
6.17/2.49	c (1,1) translated 200 (80%) constraints
6.47/2.59	c (2,2) translated 225 (90%) constraints
6.77/2.69	c (2,2) translated 250 (100%) constraints
6.77/2.70	c (2,2) ===========================================
7.08/2.70	c (2,2) Order
7.08/2.70	c (2,2) ===========================================
7.08/2.76	c (2,2) translated 1497 (10%) constraints
7.39/2.81	c (2,2) translated 2993 (20%) constraints
7.39/2.86	c (2,2) translated 4489 (30%) constraints
7.69/2.91	c (2,2) translated 5985 (40%) constraints
7.69/2.96	c (2,2) translated 7481 (50%) constraints
8.02/3.01	c (2,2) translated 8978 (60%) constraints
8.02/3.06	c (2,2) translated 10474 (70%) constraints
8.32/3.12	c (2,2) translated 11970 (80%) constraints
8.32/3.17	c (2,2) translated 13466 (90%) constraints
8.59/3.21	c (2,2) translated 14962 (100%) constraints
8.59/3.21	c (2,2) CSP to CSPinCNF End
8.59/3.21	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
8.59/3.21	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
8.59/3.21	c (2,2) CSPinCNF Propagation Begin
8.92/3.39	c (2,2) 0 values, 2338 unsatisfiable literals, and 0 valid clauses are removed
8.92/3.39	c (2,2) CSPinCNF Propagation End
8.92/3.39	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
8.92/3.39	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
8.92/3.39	c (2,2) Simplify CSPinCNF Begin
9.23/3.46	c (2,2) Simplify CSPinCNF End
9.23/3.46	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.23/3.46	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
9.23/3.46	c (2,2) Calculate Precise Domain Begin
9.23/3.46	c (2,2) 0 values are removed by re-calculation
9.23/3.46	c (2,2) Calculate Precise Domain End
9.23/3.46	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 14962 ctr, max domain size 16
9.23/3.46	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
9.23/3.46	c (2,2) CSPinCNF to SatSolver Begin
9.84/3.61	c (3,3) 1497 (10 %) CSP clauses are encoded (0 SAT variables, 2056 SAT clauses)
9.84/3.67	c (3,3) 2993 (20 %) CSP clauses are encoded (0 SAT variables, 3552 SAT clauses)
10.13/3.72	c (3,3) 4489 (30 %) CSP clauses are encoded (0 SAT variables, 5048 SAT clauses)
10.13/3.77	c (3,3) 5985 (40 %) CSP clauses are encoded (0 SAT variables, 6544 SAT clauses)
10.43/3.81	c (3,3) 7481 (50 %) CSP clauses are encoded (0 SAT variables, 8040 SAT clauses)
10.43/3.85	c (3,3) 8978 (60 %) CSP clauses are encoded (0 SAT variables, 9537 SAT clauses)
10.56/4.09	c (3,3) 10474 (70 %) CSP clauses are encoded (0 SAT variables, 11033 SAT clauses)
10.70/4.11	c (3,3) 11970 (80 %) CSP clauses are encoded (0 SAT variables, 12529 SAT clauses)
10.70/4.13	c (3,3) 13466 (90 %) CSP clauses are encoded (0 SAT variables, 14025 SAT clauses)
10.70/4.16	c (3,3) 14962 (100 %) CSP clauses are encoded (0 SAT variables, 15521 SAT clauses)
10.70/4.16	c (3,3) CSPinCNF to SatSolver End
10.70/4.16	c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.70/4.16	c (3,3) 600 bool, 15522 clause
10.70/4.16	c (3,3) Export Begin
10.97/4.25	c (3,3) Export to HOME/scop-8836-serial-file.bin
10.97/4.25	c (3,3) Export End
10.97/4.25	c (3,3) Export File Size: 0.01 MB
10.97/4.25	c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
10.97/4.25	c END-Prog: Thu Sep 12 13:24:40 CEST 2019
10.97/4.26	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8836-serial-file.bin
11.12/4.72	c (0,0) Read Serial File Begin
11.12/4.72	c (0,0) HOME/scop-8836-serial-file.bin
11.12/4.92	c (0,0) Read Serial File End
11.12/4.94	
11.12/4.94	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
11.12/4.94	(Solving Process)
11.12/4.94	
11.12/4.96	c BEGIN-Prog: Thu Sep 12 13:24:40 CEST 2019
11.12/4.96	c PID: 8854
11.12/4.96	c IP: 172.20.3.150
11.12/4.96	c HOST: node150.alineos.net
11.12/4.96	c (0,0) SatSolver.solve Begin
11.12/4.96	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387650-1568287515.xml-scop-8839.cnf
11.12/4.99	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
11.12/4.99	c (0,0) c glueminisat-simp-2.2.10-193oa-n
11.12/5.00	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387650-1568287515.xml-scop-8839.cnf 
11.12/5.00	c (0,0) c Options:
11.12/5.00	c (0,0) c CORE
11.12/5.00	c (0,0) c  var_decay             = 0.950
11.12/5.00	c (0,0) c  clause_decay          = 0.999
11.12/5.00	c (0,0) c  random_var_freq       = 0.000
11.12/5.00	c (0,0) c  random_seed           = 91648253.000
11.12/5.00	c (0,0) c  luby_restart          = 1
11.12/5.00	c (0,0) c  ccmin_mode            = 2
11.12/5.00	c (0,0) c  phase_saving          = 2
11.12/5.00	c (0,0) c  rnd_pol               = 0
11.12/5.00	c (0,0) c  rnd_init_act          = 0
11.12/5.00	c (0,0) c  garbage_frac          = 0.200
11.12/5.00	c (0,0) c  restart_first         = 1000
11.12/5.00	c (0,0) c  restart_inc           = 2.000
11.12/5.00	c (0,0) c MODEL
11.12/5.00	c (0,0) c  partial_model         = 0
11.12/5.00	c (0,0) c PROPAGATION
11.12/5.00	c (0,0) c  bin_propagation       = 1
11.12/5.00	c (0,0) c SIMPLIFICATION
11.12/5.00	c (0,0) c  lrn_min_size          = 100
11.12/5.00	c (0,0) c  lazy_simp             = 1
11.12/5.00	c (0,0) c  lazy_interval         = 10
11.12/5.00	c (0,0) c  lazy_fld_probing      = 1
11.12/5.00	c (0,0) c  lazy_pol_probing      = 1
12.21/5.01	c (0,0) c  lazy_nec_probing      = 1
12.21/5.01	c (0,0) c  lazy_eqv_probing      = 1
12.21/5.01	c (0,0) c  lazy_cla_probing      = 1
12.21/5.01	c (0,0) c  lazy_lrn_min          = 2
12.21/5.01	c (0,0) c  lazy_uw_lit_elim      = 1
12.21/5.01	c (0,0) c  lazy_pr_lit_elim      = 0
12.21/5.01	c (0,0) c  lazy_bin_add          = 3
12.21/5.01	c (0,0) c  probed_lit_chain      = 1
12.21/5.01	c (0,0) c  pr_min_lits           = 0.00020
12.21/5.01	c (0,0) c  pr_min_starts         = 500
12.21/5.01	c (0,0) c  rw_min_lits           = 0.010
12.21/5.01	c (0,0) c  rw_min_starts         = 500
12.21/5.01	c (0,0) c  rand_attach           = 0
12.21/5.01	c (0,0) c  dec_elim              = 1
12.21/5.01	c (0,0) c  dec_elim_lim          = 25
12.21/5.01	c (0,0) c  dec_elim_len          = -1
12.21/5.01	c (0,0) c  amo                   = 0
12.21/5.01	c (0,0) c  amo_grp               = 1
12.21/5.01	c (0,0) c  amo_max_bins          = 1000000
12.21/5.01	c (0,0) c  amo_starts            = 50
12.21/5.01	c (0,0) c  mace_cmd              = mace
12.21/5.01	c (0,0) c DECISION
12.21/5.01	c (0,0) c  rand_rebuild          = 0
12.21/5.01	c (0,0) c  rand_rebuild_confs    = 10000
12.21/5.01	c (0,0) c  inc_var_decay         = 1
12.21/5.01	c (0,0) c  inc_var_decay_period  = 100000
12.21/5.01	c (0,0) c  inc_var_decay_init    = 0.600
12.21/5.01	c (0,0) c  var_decay_mode        = 0
12.21/5.01	c (0,0) c  var_decay_gain        = 0
12.21/5.01	c (0,0) c  sloped_var_decay      = 1
12.21/5.01	c (0,0) c  max_var_decay         = 0.990
12.21/5.01	c (0,0) c  min_var_decay         = 0.950
12.21/5.01	c (0,0) c  min_var_decay_vars    = 10000
12.21/5.01	c (0,0) c  max_var_decay_vars    = 500
12.21/5.01	c (0,0) c  uip_bumping           = 1
12.21/5.01	c (0,0) c  lbd_act_bumping       = 1
12.21/5.01	c (0,0) c  rand_tiebreak         = 0
12.21/5.01	c (0,0) c  simp_rebuild          = 1
12.21/5.01	c (0,0) c RESTART
12.21/5.01	c (0,0) c  restart_strategy      = 2
12.21/5.01	c (0,0) c  restart_blocking      = 0
12.21/5.01	c (0,0) c  agility_decay         = 0.99990
12.21/5.01	c (0,0) c  lbd_restart_rate      = 0.800
12.21/5.01	c (0,0) c  dec_restart_rate      = 0.950
12.21/5.01	c (0,0) c  blk_restart_rate      = 0.700
12.21/5.01	c (0,0) c  lbd_queue_size        = 50
12.21/5.01	c (0,0) c  dec_queue_size        = 50
12.21/5.01	c (0,0) c  trl_queue_size        = 5000
12.21/5.01	c (0,0) c  blk_restart_weight    = 1.000
12.21/5.01	c (0,0) c  inc_rst_rate          = 0
12.21/5.01	c (0,0) c  inc_rst_rate_period   = 500000
12.21/5.01	c (0,0) c  inc_lbd_rst_rate_init = 0.600
12.21/5.01	c (0,0) c  inc_dec_rst_rate_init = 0.750
12.21/5.01	c (0,0) c REDUCTION
12.21/5.01	c (0,0) c  closed_lbd            = 0
12.21/5.01	c (0,0) c  closed_lbd_rate       = 0.500
12.21/5.01	c (0,0) c  rm_simulate           = 0
12.21/5.01	c (0,0) c  rdb_eval              = 2
12.21/5.01	c (0,0) c  rdb_call              = 3
12.21/5.01	c (0,0) c  rdb_ub                = 0.500
12.21/5.01	c (0,0) c  core_lbd_cvr          = 0.800
12.21/5.01	c (0,0) c  supp_lbd_cvr          = 0.990
12.21/5.01	c (0,0) c  core_lbd_lb           = 2
12.21/5.01	c (0,0) c  supp_lbd_lb           = 2
12.21/5.01	c (0,0) c  core_lbd_prd          = 7
12.21/5.01	c (0,0) c  supp_lbd_prd          = 1
12.21/5.01	c (0,0) c  othr_lbd_prd          = 0
12.21/5.01	c (0,0) c  inc_lrn_limit         = 1000
12.21/5.01	c (0,0) c  frozen_lbd            = 30
12.21/5.01	c (0,0) c  simp_min_starts       = 100
12.21/5.01	c (0,0) c  rm_low_act_learnts    = 1
12.21/5.01	c (0,0) c  lv0_reduce_db         = 0
12.21/5.01	c (0,0) c  reduce_db_base        = 20000
12.21/5.01	c (0,0) c  reduce_db_inc         = 1000
12.21/5.01	c (0,0) c HARD
12.21/5.01	c (0,0) c  inst_check            = 200000
12.21/5.01	c (0,0) c  small_block           = 1.750
12.21/5.01	c (0,0) c  slow_restart_speed    = 400.000
12.21/5.01	c (0,0) c  slow_restart_strategy = 3
12.21/5.01	c (0,0) c  slow_lbd_restart_rate = 0.700
12.21/5.01	c (0,0) c  slow_dec_restart_rate = 1.000
12.21/5.01	c (0,0) c  slow_lbd_queue_size   = 50
12.21/5.01	c (0,0) c  slow_var_decay        = 0.950
12.21/5.01	c (0,0) c  slow_glue_threshold   = 2
12.21/5.01	c (0,0) c  slow_phase_saving     = 2
12.21/5.01	c (0,0) c  fast_restart_speed    = 125.000
12.21/5.01	c (0,0) c  fast_restart_strategy = 1
12.21/5.01	c (0,0) c  fast_lbd_restart_rate = 0.800
12.21/5.01	c (0,0) c  fast_dec_restart_rate = 0.950
12.21/5.01	c (0,0) c  fast_lbd_queue_size   = 50
12.21/5.01	c (0,0) c  fast_var_decay        = 1.000
12.21/5.01	c (0,0) c  fast_glue_threshold   = 2
12.21/5.01	c (0,0) c  fast_phase_saving     = 2
12.21/5.01	c (0,0) c STATS
12.21/5.01	c (0,0) c  stats_conf_size       = 10000
12.21/5.01	c (0,0) c  max_stats_size        = 30
12.21/5.01	c (0,0) c SOLVER
12.21/5.01	c (0,0) c  minisat               = 0
12.21/5.01	c (0,0) c Problem: 601 variables, 15522 clauses, parsing 0.00 s
12.21/5.01	c (0,0) c  reduced to 600 variables, 15522 clauses (grow = 0)
12.21/5.01	c (0,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
12.21/5.01	c (0,0) c Simplification: 1 vars, 0 clauses are eliminated using 0.01 s
12.21/5.01	c (0,0) c
12.21/5.01	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
12.21/5.01	c (0,0) c
12.21/5.01	c (0,0) c    0         0         0      600    15522        0   -nan  -nan  -nan -nan%
12.21/5.01	c (0,0) c    0         1       100      600    15522      100   13.6   7.1  26.5 56.4%
12.21/5.01	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
12.21/5.02	c (0,0) c    0         1       220      600    15522      220   14.2   7.3  25.3 60.5%
12.21/5.02	c (0,0) c    0         1       364      600    15522      364   13.8   7.0  24.3 59.7%
12.21/5.03	c (0,0) c    0         1       536      600    15522      536   13.3   6.9  24.2 57.6%
12.21/5.03	c (0,0) c    0         1       743      600    15522      743   13.3   7.1  23.9 56.5%
12.21/5.04	c (0,0) c    0         1       991      600    15522      991   13.3   7.1  23.5 56.2%
12.21/5.05	c (0,0) c    0         1      1289      600    15522     1289   13.1   7.0  23.0 55.4%
12.21/5.06	c (0,0) c    0         2      1647      600    15522     1647   12.7   7.0  21.1 55.1%
12.21/5.08	c (0,0) c    0         2      2076      600    15522     2076   12.3   6.9  19.3 54.3%
12.21/5.09	c (0,0) c    0         2      2591      600    15522     2591   12.5   6.8  18.7 53.7%
12.40/5.12	c (0,0) c    0         2      3210      600    15522     3210   12.4   6.8  17.6 53.6%
12.40/5.14	c (0,0) c    0         2      3953      600    15522     3954   12.4   6.8  16.7 53.2%
12.40/5.18	c (0,0) c    0         3      4844      600    15522     4845   12.5   6.9  16.4 52.5%
12.49/5.22	c (0,0) c    0         7      5913      600    15522     5915   12.4   6.9  16.2 52.7%
12.49/5.26	c (0,0) c    0        10      7196      600    15522     7198   12.5   7.0  16.2 52.9%
12.59/5.32	c (0,0) c
12.59/5.32	c (0,0) c   variables         : 600         (init 601, after simp 600, 0 non-decs, 40 csp)
12.59/5.32	c (0,0) c   clauses           : 15522       (init 15522, after simp 15522)
12.59/5.32	c (0,0) c   restarts          : 11          (728.00 confs/res, 50~3463 confs, 0 blks, 0 last)
12.59/5.32	c (0,0) c   conflicts         : 8736        (27523 /sec, 53.50% dconfs, 0.00% supp, trail 21.24w x 16.10h, jmp 1.32h)
12.59/5.32	c (0,0) c   decisions         : 11734       (0.6300 vdcy, 36969 /sec, 0.00% bin, rs 0.000 s)
12.59/5.32	c (0,0) c   propagations      : 792722      (2497509 /sec, 67.56 lits/dec, 19.84% o.a.)
12.59/5.32	c (0,0) c   conflict literals : 180261      (36.34% deleted; 2.42% by bin min, 0.004 s)
12.59/5.32	c (0,0) c   len               : 12.634      (12.64 for all, max 33, used 33)
12.59/5.32	c (0,0) c   lbd               : 7.081       (8.36 (7.08) for all, max 19, used 18, 2.231 stdev, 1.512 blk)
12.59/5.32	c (0,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
12.59/5.32	c (0,0) c   simp dbs          : 1           (0.000 s)
12.59/5.32	c (0,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
12.59/5.32	c (0,0) c   learnts           : 8738        (0 learnts removed, 0.00%)
12.59/5.32	c (0,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
12.59/5.32	c (0,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
12.59/5.32	c (0,0) c   premise updates   : 11891       (9.91 /lit)
12.59/5.32	c (0,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
12.59/5.32	c (0,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
12.59/5.32	c (0,0) c   lazy added bins   : 2           (2 prop + 0 conf, 0.003s)
12.59/5.32	c (0,0) c   unwatched lit elim: 545         (0.04+0.29%, 22+523 of 55959+180261)
12.59/5.32	c (0,0) c   classified type   : undef
12.59/5.32	c (0,0) c   progress          : 0.001 %
12.59/5.32	c (0,0) c
12.59/5.32	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
12.59/5.32	c (0,0) c
12.59/5.32	c (0,0) c    0        12      8736      600    15522     8738   12.6   7.1  16.1 52.8%
12.59/5.39	c (0,0) c    0        15     10584      600    15522    10587   12.5   7.0  15.4 52.8%
12.70/5.48	c (0,0) c    0        16     12802      600    15522    12805   12.6   6.9  14.6 53.3%
12.80/5.59	c (0,0) c    0        18     15464      600    15522    15469   12.5   6.8  14.4 53.4%
13.00/5.72	c (1,0) c    0        18     18658      600    15522    18663   12.4   6.6  13.7 52.4%
13.00/5.78	c (1,0) c    0 r      19     20002      600    15522    20007   12.5   6.6  13.7 51.7%
13.00/5.78	c (1,0) c
13.00/5.78	c (1,0) c R [LBD Statistics #1]
13.00/5.78	c (1,0) c R LBD         used lbd               used clause lbd
13.00/5.78	c (1,0) c R  tot      112451                   20007
13.00/5.78	c (1,0) c R  avg       3.257                   6.613
13.00/5.78	c (1,0) c R   1         1996 ( 1.8/ 1.8%)         88 ( 0.4/ 0.4%)
13.00/5.78	c (1,0) c R   2        55373 (49.2/51.0%)       1639 ( 8.2/ 8.6%)
13.00/5.78	c (1,0) c R   3        22242 (19.8/70.8%)       1467 ( 7.3/16.0%)
13.00/5.78	c (1,0) c R   4        12706 (11.3/82.1%)       1809 ( 9.0/25.0%)
13.00/5.78	c (1,0) c R
13.00/5.78	c (1,0) c R core_lbd_threshold = 4
13.00/5.78	c (1,0) c R supp_lbd_threshold = 11
13.00/5.78	c (1,0) c R
13.00/5.78	c (1,0) c R [RDB Statistics #1]
13.00/5.78	c (1,0) c R kept: lbd      =    4999 (25.0/25.0%)
13.00/5.78	c (1,0) c R kept: ttl      =   14997 (75.0/99.9%)
13.00/5.78	c (1,0) c R kept: locked   =      11 ( 0.1/100.0%)
13.00/5.78	c (1,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
13.00/5.78	c (1,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
13.00/5.78	c (1,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
13.00/5.78	c (1,0) c
13.00/5.78	c (1,0) c    0 R      19     20002      600    15522    20007   12.5   6.6  13.7 51.7%
13.10/5.89	c (1,0) c    0        27     22491      600    15522    22497   12.5   6.7  14.2 51.4%
13.20/5.98	c (1,0) c    0        30     24227      600    15522    24233   12.6   6.7  14.9 51.4%
13.20/5.98	c (1,0) c
13.20/5.98	c (1,0) c
13.20/5.98	c (1,0) c variables         : 600         (init 601, after simp 600, 0 non-decs, 40 csp)
13.20/5.98	c (1,0) c clauses           : 15522       (init 15522, after simp 15522)
13.20/5.98	c (1,0) c restarts          : 29          (807.57 confs/res, 18~5951 confs, 0 blks, 0 last)
13.20/5.98	c (1,0) c conflicts         : 24227       (25268 /sec, 52.89% dconfs, 0.00% supp, trail 22.27w x 15.07h, jmp 1.31h)
13.20/5.98	c (1,0) c decisions         : 32238       (0.6900 vdcy, 33623 /sec, 0.00% bin, rs 0.000 s)
13.20/5.98	c (1,0) c propagations      : 2182164     (2275925 /sec, 67.69 lits/dec, 20.05% o.a.)
13.20/5.98	c (1,0) c conflict literals : 492206      (34.71% deleted; 3.38% by bin min, 0.007 s)
13.20/5.98	c (1,0) c len               : 12.575      (12.58 for all, max 36, used 33)
13.20/5.98	c (1,0) c lbd               : 6.720       (8.02 (6.72) for all, max 21, used 20, 1.969 stdev, 1.568 blk)
13.20/5.98	c (1,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
13.20/5.98	c (1,0) c simp dbs          : 1           (0.000 s)
13.20/5.98	c (1,0) c reduce dbs        : 1           (core-lbd 4, supp-lbd 11, 0.001 s)
13.20/5.98	c (1,0) c learnts           : 24233       (0 learnts removed, 0.00%)
13.20/5.98	c (1,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
13.20/5.98	c (1,0) c assigned lits     : 0           (0/0 probed, 0 remains)
13.20/5.98	c (1,0) c premise updates   : 13781       (11.48 /lit)
13.20/5.98	c (1,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
13.20/5.98	c (1,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
13.20/5.98	c (1,0) c lazy added bins   : 6           (6 prop + 0 conf, 0.007s)
13.20/5.98	c (1,0) c unwatched lit elim: 1800        (0.08+0.36%, 44+1756 of 55959+492206)
13.20/5.98	c (1,0) c classified type   : undef
13.20/5.98	c (1,0) c progress          : 0.000 %
13.20/5.98	c (1,0) c
13.20/5.98	c (1,0) c [Statistics]
13.20/5.98	c (1,0) c             learnts len        learnts lbd        lit blk size       eq vars size
13.20/5.98	c (1,0) c  tot       24227              24227             194359                  0
13.20/5.98	c (1,0) c  avg      12.578              6.721              1.568               -nan
13.20/5.98	c (1,0) c   1            0 ( 0.0%)        121 ( 0.5%)     144045 (74.1%)          0 (-nan%)
13.20/5.98	c (1,0) c   2            6 ( 0.0%)       1901 ( 7.8%)      25467 (13.1%)          0 (-nan%)
13.20/5.98	c (1,0) c   3          101 ( 0.4%)       1735 ( 7.2%)      10803 ( 5.6%)          0 (-nan%)
13.20/5.98	c (1,0) c   4          476 ( 2.0%)       2126 ( 8.8%)       5790 ( 3.0%)          0 (-nan%)
13.20/5.98	c (1,0) c   5          832 ( 3.4%)       2507 (10.3%)       3256 ( 1.7%)          0 (-nan%)
13.20/5.98	c (1,0) c   6         1241 ( 5.1%)       2944 (12.2%)       1931 ( 1.0%)          0 (-nan%)
13.20/5.98	c (1,0) c   7         1148 ( 4.7%)       3254 (13.4%)       1151 ( 0.6%)          0 (-nan%)
13.20/5.98	c (1,0) c   8         1397 ( 5.8%)       3116 (12.9%)        720 ( 0.4%)          0 (-nan%)
13.20/5.98	c (1,0) c   9         1412 ( 5.8%)       2467 (10.2%)        476 ( 0.2%)          0 (-nan%)
13.20/5.98	c (1,0) c  10         1686 ( 7.0%)       1732 ( 7.1%)        286 ( 0.1%)          0 (-nan%)
13.20/5.98	c (1,0) c  11         1752 ( 7.2%)       1094 ( 4.5%)        178 ( 0.1%)          0 (-nan%)
13.20/5.98	c (1,0) c  12         2009 ( 8.3%)        667 ( 2.8%)        110 ( 0.1%)          0 (-nan%)
13.20/5.98	c (1,0) c  13         1952 ( 8.1%)        311 ( 1.3%)         70 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  14         1923 ( 7.9%)        152 ( 0.6%)         35 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  15         1833 ( 7.6%)         62 ( 0.3%)         18 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  16         1625 ( 6.7%)         21 ( 0.1%)          7 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  17         1281 ( 5.3%)          8 ( 0.0%)          6 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  18         1048 ( 4.3%)          5 ( 0.0%)          6 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  19          814 ( 3.4%)          2 ( 0.0%)          1 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  20          560 ( 2.3%)          1 ( 0.0%)          1 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  21          396 ( 1.6%)          1 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  22          278 ( 1.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  23          165 ( 0.7%)          0 ( 0.0%)          2 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  24          129 ( 0.5%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  25           62 ( 0.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  26           46 ( 0.2%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  27           17 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  28           15 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  29           12 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c  30           11 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
13.20/5.98	c (1,0) c
13.20/5.98	c (1,0) c [LBD Statistics]
13.20/5.98	c (1,0) c LBD          used lbd               used clause lbd         unused clause lbd
13.20/5.98	c (1,0) c  tot       138696                   11531                   12702
13.20/5.98	c (1,0) c  avg        3.206                   5.454                   7.870
13.20/5.98	c (1,0) c    1         3165 ( 2.3/ 2.3%)        121 ( 1.0/ 1.0%)          0 ( 0.0/ 0.0%)
13.20/5.98	c (1,0) c    2        70944 (51.2/53.4%)       1795 (15.6/16.6%)        112 ( 0.9/ 0.9%)
13.20/5.98	c (1,0) c    3        25703 (18.5/72.0%)       1472 (12.8/29.4%)        263 ( 2.1/ 3.0%)
13.20/5.98	c (1,0) c    4        14835 (10.7/82.7%)       1519 (13.2/42.6%)        607 ( 4.8/ 7.7%)
13.20/5.98	c (1,0) c    5         8423 ( 6.1/88.7%)       1403 (12.2/54.7%)       1104 ( 8.7/16.4%)
13.20/5.98	c (1,0) c    6         5388 ( 3.9/92.6%)       1342 (11.6/66.4%)       1602 (12.6/29.0%)
13.20/5.98	c (1,0) c    7         3580 ( 2.6/95.2%)       1207 (10.5/76.8%)       2047 (16.1/45.2%)
13.20/5.98	c (1,0) c    8         2328 ( 1.7/96.9%)        961 ( 8.3/85.2%)       2155 (17.0/62.1%)
13.20/5.98	c (1,0) c    9         1593 ( 1.1/98.0%)        696 ( 6.0/91.2%)       1771 (13.9/76.1%)
13.20/5.98	c (1,0) c   10         1109 ( 0.8/98.8%)        452 ( 3.9/95.1%)       1280 (10.1/86.1%)
13.20/5.98	c (1,0) c   11          716 ( 0.5/99.3%)        275 ( 2.4/97.5%)        819 ( 6.4/92.6%)
13.20/5.98	c (1,0) c   12          441 ( 0.3/99.7%)        151 ( 1.3/98.8%)        516 ( 4.1/96.6%)
13.20/5.98	c (1,0) c   13          278 ( 0.2/99.9%)         89 ( 0.8/99.6%)        222 ( 1.7/98.4%)
13.20/5.98	c (1,0) c   14          111 ( 0.1/99.9%)         32 ( 0.3/99.9%)        120 ( 0.9/99.3%)
13.20/5.98	c (1,0) c   15           49 ( 0.0/100.0%)         10 ( 0.1/99.9%)         52 ( 0.4/99.7%)
13.20/5.98	c (1,0) c   16           21 ( 0.0/100.0%)          3 ( 0.0/100.0%)         18 ( 0.1/99.9%)
13.20/5.98	c (1,0) c   17            8 ( 0.0/100.0%)          2 ( 0.0/100.0%)          6 ( 0.0/99.9%)
13.20/5.98	c (1,0) c   18            3 ( 0.0/100.0%)          0 ( 0.0/100.0%)          5 ( 0.0/100.0%)
13.20/5.98	c (1,0) c   19            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
13.20/5.98	c (1,0) c   20            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
13.20/5.98	c (1,0) c   21            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
13.20/5.98	c (1,0) c
13.20/5.98	c (1,0) c Memory used       : 21.00 MB
13.20/5.98	c (1,0) c CPU time          : 0.959 s
13.20/5.98	c (1,0) c Real time         : 0.991 s
13.20/5.98	c (1,0) c
13.20/5.98	c (1,0) s SATISFIABLE
13.20/5.99	c (1,0) SatSolver.solve End
13.20/5.99	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.20/5.99	c (1,0) Show results Begin
13.34/6.07	c (1,0) x[0] = 12
13.34/6.07	c (1,0) x[1] = 5
13.34/6.07	c (1,0) x[2] = 15
13.34/6.07	c (1,0) x[3] = 5
13.34/6.07	c (1,0) x[4] = 14
13.34/6.07	c (1,0) x[5] = 11
13.34/6.07	c (1,0) x[6] = 0
13.34/6.07	c (1,0) x[7] = 9
13.34/6.07	c (1,0) x[8] = 5
13.34/6.07	c (1,0) x[9] = 9
13.34/6.07	c (1,0) x[10] = 5
13.34/6.07	c (1,0) x[11] = 7
13.34/6.07	c (1,0) x[12] = 4
13.34/6.07	c (1,0) x[13] = 9
13.34/6.07	c (1,0) x[14] = 0
13.34/6.07	c (1,0) x[15] = 0
13.34/6.07	c (1,0) x[16] = 14
13.34/6.07	c (1,0) x[17] = 15
13.34/6.07	c (1,0) x[18] = 10
13.34/6.07	c (1,0) x[19] = 10
13.34/6.07	c (1,0) x[20] = 15
13.34/6.07	c (1,0) x[21] = 15
13.34/6.07	c (1,0) x[22] = 10
13.34/6.07	c (1,0) x[23] = 7
13.34/6.07	c (1,0) x[24] = 0
13.34/6.07	c (1,0) x[25] = 3
13.34/6.07	c (1,0) x[26] = 9
13.34/6.07	c (1,0) x[27] = 1
13.34/6.07	c (1,0) x[28] = 7
13.34/6.07	c (1,0) x[29] = 4
13.34/6.07	c (1,0) x[30] = 0
13.34/6.07	c (1,0) x[31] = 1
13.34/6.07	c (1,0) x[32] = 15
13.34/6.07	c (1,0) x[33] = 14
13.34/6.07	c (1,0) x[34] = 5
13.34/6.07	c (1,0) x[35] = 15
13.34/6.07	c (1,0) x[36] = 6
13.34/6.07	c (1,0) x[37] = 8
13.34/6.07	c (1,0) x[38] = 12
13.34/6.07	c (1,0) x[39] = 14
13.34/6.07	s SATISFIABLE
13.34/6.08	v <instantiation>
13.34/6.08	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39]</list>
13.34/6.08	v     <values>12 5 15 5 14 11 0 9 5 9 5 7 4 9 0 0 14 15 10 10 15 15 10 7 0 3 9 1 7 4 0 1 15 14 5 15 6 8 12 14</values>
13.34/6.08	v </instantiation>
13.34/6.08	c (1,0) Show results End
13.34/6.08	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
13.34/6.08	c (1,0) 1,1,STOP-AFTER(ALL)
13.34/6.08	c END-Prog: Thu Sep 12 13:24:41 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 (1384 MiB free)
  memory of node 1: 16384 MiB (10776 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387650-1568287515/watcher-4387650-1568287515 -o /tmp/evaluation-result-4387650-1568287515/solver-4387650-1568287515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387650-1568287515.xml 

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

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


[startup+0.100112 s]*
/proc/loadavg: 2.04 1.56 1.43 4/235 8853
/proc/meminfo: memFree=12393744/32770624 swapFree=67036652/67108860
[pid=8836] ppid=8833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8836/stat : 8836 (scop.sh) S 8833 8836 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405024101 115843072 349 33554432000 4194304 5098028 140730966286896 140730966284152 139723534307964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33247232 140730966295336 140730966295664 140730966295664 140730966298573 0
/proc/8836/statm: 28282 349 296 221 0 87 0
[pid=8839] ppid=8836 vsize=15012696 memory=72208 CPUtime=0.11 cores=0,2,4,6
/proc/8839/stat : 8839 (java) S 8836 8836 7440 0 -1 1077944320 6328 0 0 0 10 1 0 0 20 0 15 0 405024101 15373000704 18052 33554432000 4194304 4196468 140726539232560 140726539215104 140684312051447 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
/proc/8839/statm: 3753174 18052 2913 1 0 3715579 0
[pid=8839/tid=8840] ppid=8836 vsize=15012696 memory=-2843876205239518366 CPUtime=0.09 cores=0,2,4,6
/proc/8839/task/8840/stat : 8840 (java) R 8836 8836 7440 0 -1 4202560 4232 0 0 0 8 1 0 0 20 0 15 0 405024102 15373000704 18183 33554432000 4194304 4196468 140726539232560 140684283845352 140684296095077 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8841] ppid=8836 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8841/stat : 8841 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 18183 33554432000 4194304 4196468 140726539232560 140684316293392 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8842] ppid=8836 vsize=15012696 memory=140717750687360 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8842/stat : 8842 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 18183 33554432000 4194304 4196468 140726539232560 140684138789264 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8843] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8843/stat : 8843 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 18183 33554432000 4194304 4196468 140726539232560 140683771243024 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8844] ppid=8836 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8844/stat : 8844 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 18183 33554432000 4194304 4196468 140726539232560 140683770190480 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8845] ppid=8836 vsize=15012696 memory=140717750687360 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8845/stat : 8845 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024105 15373000704 18183 33554432000 4194304 4196468 140726539232560 140683349694960 140684312062594 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8846] ppid=8836 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8846/stat : 8846 (java) S 8836 8836 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405024105 15373000704 18183 33554432000 4194304 4196468 140726539232560 140682861733280 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8847] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8847/stat : 8847 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024105 15373000704 18183 33554432000 4194304 4196468 140726539232560 140682593297904 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8848] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8848/stat : 8848 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 18183 33554432000 4194304 4196468 140726539232560 140682218789584 140684312070043 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8849] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8849/stat : 8849 (java) S 8836 8836 7440 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 18183 33554432000 4194304 4196468 140726539232560 140683348641776 140684312062594 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8850] ppid=8836 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8850/stat : 8850 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 18183 33554432000 4194304 4196468 140726539232560 140683347589232 140684312062594 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8851] ppid=8836 vsize=15012696 memory=140717750687360 CPUtime=0.01 cores=0,2,4,6
/proc/8839/task/8851/stat : 8851 (java) R 8836 8836 7440 0 -1 4202560 424 0 0 0 1 0 0 0 20 0 15 0 405024108 15373000704 18183 33554432000 4194304 4196468 140726539232560 140683346533560 140684290807411 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8852] ppid=8836 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8852/stat : 8852 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 18183 33554432000 4194304 4196468 140726539232560 140681720883808 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8853] ppid=8836 vsize=15012696 memory=140717750687360 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8853/stat : 8853 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 18249 33554432000 4194304 4196468 140726539232560 140683345484592 140684312062594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73604 KiB

[startup+0.210919 s]*
/proc/loadavg: 2.04 1.56 1.43 3/235 8853
/proc/meminfo: memFree=12374980/32770624 swapFree=67036652/67108860
[pid=8836] ppid=8833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8836/stat : 8836 (scop.sh) S 8833 8836 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405024101 115843072 349 33554432000 4194304 5098028 140730966286896 140730966284152 139723534307964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33247232 140730966295336 140730966295664 140730966295664 140730966298573 0
/proc/8836/statm: 28282 349 296 221 0 87 0
[pid=8839] ppid=8836 vsize=15012696 memory=88120 CPUtime=0.24 cores=0,2,4,6
/proc/8839/stat : 8839 (java) S 8836 8836 7440 0 -1 1077944320 11583 0 0 0 22 2 0 0 20 0 15 0 405024101 15373000704 22030 33554432000 4194304 4196468 140726539232560 140726539215104 140684312051447 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
/proc/8839/statm: 3753174 22030 2926 1 0 3715579 0
[pid=8839/tid=8840] ppid=8836 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/8839/task/8840/stat : 8840 (java) R 8836 8836 7440 0 -1 4202560 9348 0 0 0 18 2 0 0 20 0 15 0 405024102 15373000704 22030 33554432000 4194304 4196468 140726539232560 140684283872352 140683813771136 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8841] ppid=8836 vsize=15012696 memory=539 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8841/stat : 8841 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 22030 33554432000 4194304 4196468 140726539232560 140684316293392 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8842] ppid=8836 vsize=15012696 memory=140717750699435 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8842/stat : 8842 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 22030 33554432000 4194304 4196468 140726539232560 140684138789264 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8843] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8843/stat : 8843 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 22030 33554432000 4194304 4196468 140726539232560 140683771243024 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8844] ppid=8836 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8844/stat : 8844 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 22030 33554432000 4194304 4196468 140726539232560 140683770190480 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8845] ppid=8836 vsize=15012696 memory=140717750687360 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8845/stat : 8845 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024105 15373000704 22030 33554432000 4194304 4196468 140726539232560 140683349694960 140684312062594 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8846] ppid=8836 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8846/stat : 8846 (java) S 8836 8836 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405024105 15373000704 22030 33554432000 4194304 4196468 140726539232560 140682861733280 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8847] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8847/stat : 8847 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024105 15373000704 22030 33554432000 4194304 4196468 140726539232560 140682593297904 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8848] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8848/stat : 8848 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 22030 33554432000 4194304 4196468 140726539232560 140682218789584 140684312070043 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8849] ppid=8836 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8839/task/8849/stat : 8849 (java) S 8836 8836 7440 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 15 0 405024108 15373000704 22030 33554432000 4194304 4196468 140726539232560 140683348641776 140684312062594 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8850] ppid=8836 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8850/stat : 8850 (java) S 8836 8836 7440 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 22030 33554432000 4194304 4196468 140726539232560 140683347589232 140684312062594 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8851] ppid=8836 vsize=15012696 memory=140717750687360 CPUtime=0.03 cores=0,2,4,6
/proc/8839/task/8851/stat : 8851 (java) R 8836 8836 7440 0 -1 4202560 437 0 0 0 3 0 0 0 20 0 15 0 405024108 15373000704 22030 33554432000 4194304 4196468 140726539232560 140683346536688 140684312063382 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8852] ppid=8836 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8852/stat : 8852 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 22030 33554432000 4194304 4196468 140726539232560 140681720883808 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8853] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8853/stat : 8853 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 22030 33554432000 4194304 4196468 140726539232560 140683345484592 140684312062594 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89516 KiB

[startup+0.310756 s]*
/proc/loadavg: 2.04 1.56 1.43 3/235 8853
/proc/meminfo: memFree=12371800/32770624 swapFree=67036652/67108860
[pid=8836] ppid=8833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8836/stat : 8836 (scop.sh) S 8833 8836 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405024101 115843072 349 33554432000 4194304 5098028 140730966286896 140730966284152 139723534307964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33247232 140730966295336 140730966295664 140730966295664 140730966298573 0
/proc/8836/statm: 28282 349 296 221 0 87 0
[pid=8839] ppid=8836 vsize=15012696 memory=92104 CPUtime=0.42 cores=0,2,4,6
/proc/8839/stat : 8839 (java) S 8836 8836 7440 0 -1 1077944320 12572 0 0 0 39 3 0 0 20 0 15 0 405024101 15373000704 23026 33554432000 4194304 4196468 140726539232560 140726539215104 140684312051447 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
/proc/8839/statm: 3753174 23026 3024 1 0 3715579 0
[pid=8839/tid=8840] ppid=8836 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=0,2,4,6
/proc/8839/task/8840/stat : 8840 (java) R 8836 8836 7440 0 -1 4202560 10130 0 0 0 27 3 0 0 20 0 15 0 405024102 15373000704 23026 33554432000 4194304 4196468 140726539232560 140684283834464 140684292327408 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8841] ppid=8836 vsize=15012696 memory=288230621904634245 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8841/stat : 8841 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 23026 33554432000 4194304 4196468 140726539232560 140684316293392 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8842] ppid=8836 vsize=15012696 memory=13849685626463053 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8842/stat : 8842 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 23026 33554432000 4194304 4196468 140726539232560 140684138789264 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8843] ppid=8836 vsize=15012696 memory=281435248556400 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8843/stat : 8843 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 23026 33554432000 4194304 4196468 140726539232560 140683771243024 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8844] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8844/stat : 8844 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024103 15373000704 23026 33554432000 4194304 4196468 140726539232560 140683770190480 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8845] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8845/stat : 8845 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024105 15373000704 23026 33554432000 4194304 4196468 140726539232560 140683349694960 140684312062594 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8846] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8846/stat : 8846 (java) S 8836 8836 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405024105 15373000704 23026 33554432000 4194304 4196468 140726539232560 140682861733280 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8847] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8847/stat : 8847 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024105 15373000704 23026 33554432000 4194304 4196468 140726539232560 140682593297904 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8848] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8848/stat : 8848 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 23026 33554432000 4194304 4196468 140726539232560 140682218789584 140684312070043 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8849] ppid=8836 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8839/task/8849/stat : 8849 (java) S 8836 8836 7440 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 405024108 15373000704 23026 33554432000 4194304 4196468 140726539232560 140683348641776 140684312062594 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8850] ppid=8836 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8839/task/8850/stat : 8850 (java) S 8836 8836 7440 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 15 0 405024108 15373000704 23026 33554432000 4194304 4196468 140726539232560 140683347589232 140684312062594 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8851] ppid=8836 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8839/task/8851/stat : 8851 (java) S 8836 8836 7440 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 15 0 405024108 15373000704 23026 33554432000 4194304 4196468 140726539232560 140683346536688 140684312062594 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8852] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8852/stat : 8852 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 23026 33554432000 4194304 4196468 140726539232560 140681720883808 140684312061653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8853] ppid=8836 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8853/stat : 8853 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024108 15373000704 23026 33554432000 4194304 4196468 140726539232560 140683345484592 140684312062594 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93500 KiB

[startup+0.700897 s]
/proc/loadavg: 2.04 1.56 1.43 3/235 8853
/proc/meminfo: memFree=12349972/32770624 swapFree=67036652/67108860
[pid=8836] ppid=8833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8836/stat : 8836 (scop.sh) S 8833 8836 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405024101 115843072 349 33554432000 4194304 5098028 140730966286896 140730966284152 139723534307964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33247232 140730966295336 140730966295664 140730966295664 140730966298573 0
/proc/8836/statm: 28282 349 296 221 0 87 0
[pid=8839] ppid=8836 vsize=15018968 memory=129356 CPUtime=1 cores=0,2,4,6
/proc/8839/stat : 8839 (java) S 8836 8836 7440 0 -1 1077944320 19660 0 0 0 95 5 0 0 20 0 15 0 405024101 15379423232 32339 33554432000 4194304 4196468 140726539232560 140726539215104 140684312051447 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
/proc/8839/statm: 3754742 32339 3182 1 0 3716091 0
[pid=8839/tid=8840] ppid=8836 vsize=15018968 memory=4964 CPUtime=0.68 cores=0,2,4,6
/proc/8839/task/8840/stat : 8840 (java) R 8836 8836 7440 0 -1 4202560 16716 0 0 0 63 5 0 0 20 0 15 0 405024102 15379423232 32339 33554432000 4194304 4196468 140726539232560 140684283882632 140684297744913 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8841] ppid=8836 vsize=15018968 memory=10092 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8841/stat : 8841 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15379423232 32339 33554432000 4194304 4196468 140726539232560 140684316293392 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8842] ppid=8836 vsize=15018968 memory=1908 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8842/stat : 8842 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15379423232 32339 33554432000 4194304 4196468 140726539232560 140684138789264 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8843] ppid=8836 vsize=15018968 memory=1360 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8843/stat : 8843 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15379423232 32339 33554432000 4194304 4196468 140726539232560 140683771243024 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8844] ppid=8836 vsize=15018968 memory=7392 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8844/stat : 8844 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024103 15379423232 32339 33554432000 4194304 4196468 140726539232560 140683770190480 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8845] ppid=8836 vsize=15018968 memory=860 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8845/stat : 8845 (java) S 8836 8836 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405024105 15379423232 32339 33554432000 4194304 4196468 140726539232560 140683349694960 140684312062594 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8846] ppid=8836 vsize=15018968 memory=776 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8846/stat : 8846 (java) S 8836 8836 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405024105 15379423232 32339 33554432000 4194304 4196468 140726539232560 140682861733280 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8847] ppid=8836 vsize=15018968 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8847/stat : 8847 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024105 15379423232 32339 33554432000 4194304 4196468 140726539232560 140682593297904 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8848] ppid=8836 vsize=15018968 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8848/stat : 8848 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15379423232 32339 33554432000 4194304 4196468 140726539232560 140682218789584 140684312070043 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8849] ppid=8836 vsize=15018968 memory=3824 CPUtime=0.07 cores=0,2,4,6
/proc/8839/task/8849/stat : 8849 (java) S 8836 8836 7440 0 -1 1077944384 714 0 0 0 7 0 0 0 20 0 15 0 405024108 15379423232 32339 33554432000 4194304 4196468 140726539232560 140683348641776 140684312062594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8850] ppid=8836 vsize=15018968 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/8839/task/8850/stat : 8850 (java) S 8836 8836 7440 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 15 0 405024108 15379423232 32339 33554432000 4194304 4196468 140726539232560 140683347589232 140684312062594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8851] ppid=8836 vsize=15018968 memory=15080 CPUtime=0.16 cores=0,2,4,6
/proc/8839/task/8851/stat : 8851 (java) R 8836 8836 7440 0 -1 4202560 583 0 0 0 16 0 0 0 20 0 15 0 405024108 15379423232 32339 33554432000 4194304 4196468 140726539232560 140683346535872 140684291489179 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8852] ppid=8836 vsize=15018968 memory=19212 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8852/stat : 8852 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15379423232 32339 33554432000 4194304 4196468 140726539232560 140681720883808 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8853] ppid=8836 vsize=15018968 memory=2676 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8853/stat : 8853 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024108 15379423232 32339 33554432000 4194304 4196468 140726539232560 140683345484592 140684312062594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130752 KiB

[startup+1.50285 s]
/proc/loadavg: 2.04 1.56 1.43 5/235 8853
/proc/meminfo: memFree=12300684/32770624 swapFree=67036652/67108860
[pid=8836] ppid=8833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8836/stat : 8836 (scop.sh) S 8833 8836 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405024101 115843072 349 33554432000 4194304 5098028 140730966286896 140730966284152 139723534307964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33247232 140730966295336 140730966295664 140730966295664 140730966298573 0

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

[pid=8839/tid=8853] ppid=8836 vsize=15023140 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8853/stat : 8853 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024108 15383695360 159986 33554432000 4194304 4196468 140726539232560 140683345484592 140684312062594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
Current children cumulated CPU time: 8.32 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 641340 KiB

[startup+6.09649 s]
# the end of solver process 8836 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=13.1554 s, system=0.353157 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20095 s]
/proc/loadavg: 2.04 1.56 1.43 5/235 8853
/proc/meminfo: memFree=11850952/32770624 swapFree=67036652/67108860
[pid=8836] ppid=8833 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8836/stat : 8836 (scop.sh) S 8833 8836 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405024101 115843072 349 33554432000 4194304 5098028 140730966286896 140730966284152 139723534307964 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33247232 140730966295336 140730966295664 140730966295664 140730966298573 0
/proc/8836/statm: 28282 349 296 221 0 87 0
[pid=8839] ppid=8836 vsize=15023140 memory=658392 CPUtime=8.59 cores=0,2,4,6
/proc/8839/stat : 8839 (java) S 8836 8836 7440 0 -1 1077944320 28950 0 0 0 842 17 0 0 20 0 15 0 405024101 15383695360 164598 33554432000 4194304 4196468 140726539232560 140726539215104 140684312051447 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
/proc/8839/statm: 3755785 164598 3251 1 0 3717115 0
[pid=8839/tid=8840] ppid=8836 vsize=15023140 memory=8101247189090653292 CPUtime=3.16 cores=0,2,4,6
/proc/8839/task/8840/stat : 8840 (java) R 8836 8836 7440 0 -1 4202560 20010 0 0 0 302 14 0 0 20 0 15 0 405024102 15383695360 164598 33554432000 4194304 4196468 140726539232560 140684283881616 140683821328099 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8841] ppid=8836 vsize=15023140 memory=281435249026960 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8841/stat : 8841 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15383695360 164598 33554432000 4194304 4196468 140726539232560 140684316293392 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8842] ppid=8836 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8842/stat : 8842 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15383695360 164598 33554432000 4194304 4196468 140726539232560 140684138789264 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8843] ppid=8836 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8843/stat : 8843 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405024103 15383695360 164598 33554432000 4194304 4196468 140726539232560 140683771243024 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8844] ppid=8836 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8844/stat : 8844 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024103 15383695360 164598 33554432000 4194304 4196468 140726539232560 140683770190480 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8845] ppid=8836 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8845/stat : 8845 (java) S 8836 8836 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405024105 15383695360 164598 33554432000 4194304 4196468 140726539232560 140683349694960 140684312062594 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8846] ppid=8836 vsize=15023140 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8846/stat : 8846 (java) S 8836 8836 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405024105 15383695360 164598 33554432000 4194304 4196468 140726539232560 140682861733280 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8847] ppid=8836 vsize=15023140 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8847/stat : 8847 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024105 15383695360 164598 33554432000 4194304 4196468 140726539232560 140682593297904 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8848] ppid=8836 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8848/stat : 8848 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15383695360 164598 33554432000 4194304 4196468 140726539232560 140682218789584 140684312070043 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8849] ppid=8836 vsize=15023140 memory=0 CPUtime=2.31 cores=0,2,4,6
/proc/8839/task/8849/stat : 8849 (java) R 8836 8836 7440 0 -1 4202560 3635 0 0 0 230 1 0 0 20 0 15 0 405024108 15383695360 164598 33554432000 4194304 4196468 140726539232560 140683348627656 140684296715794 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8850] ppid=8836 vsize=15023140 memory=1396 CPUtime=2.34 cores=0,2,4,6
/proc/8839/task/8850/stat : 8850 (java) R 8836 8836 7440 0 -1 4202560 1909 0 0 0 234 0 0 0 20 0 15 0 405024108 15383695360 164598 33554432000 4194304 4196468 140726539232560 140683347579952 140684297159046 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8851] ppid=8836 vsize=15023140 memory=403612 CPUtime=0.75 cores=0,2,4,6
/proc/8839/task/8851/stat : 8851 (java) S 8836 8836 7440 0 -1 1077944384 2060 0 0 0 74 1 0 0 20 0 15 0 405024108 15383695360 164598 33554432000 4194304 4196468 140726539232560 140683346536688 140684312062594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8852] ppid=8836 vsize=15023140 memory=1360 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8852/stat : 8852 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405024108 15383695360 164598 33554432000 4194304 4196468 140726539232560 140681720883808 140684312061653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
[pid=8839/tid=8853] ppid=8836 vsize=15023140 memory=7392 CPUtime=0 cores=0,2,4,6
/proc/8839/task/8853/stat : 8853 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405024108 15383695360 164598 33554432000 4194304 4196468 140726539232560 140683345484592 140684312062594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140726539236079 140726539236506 140726539236506 140726539239375 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 659788 KiB

[startup+4.8003 s]
/proc/loadavg: 2.52 1.67 1.47 2/235 8853
/proc/meminfo: memFree=11598704/32770624 swapFree=67036652/67108860
[pid=8836] ppid=8833 vsize=113128 memory=1476 CPUtime=11.12 cores=0,2,4,6
/proc/8836/stat : 8836 (scop.sh) S 8833 8836 7440 0 -1 4202496 582 31293 0 0 0 0 1089 23 20 0 1 0 405024101 115843072 369 33554432000 4194304 5098028 140730966286896 140730966283640 139723534307964 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33247232 140730966295336 140730966295664 140730966295664 140730966298573 0
/proc/8836/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 11.12 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+5.60081 s]
/proc/loadavg: 2.52 1.67 1.47 5/240 8875
/proc/meminfo: memFree=12348216/32770624 swapFree=67036652/67108860
[pid=8836] ppid=8833 vsize=113128 memory=1476 CPUtime=11.12 cores=0,2,4,6
/proc/8836/stat : 8836 (scop.sh) S 8833 8836 7440 0 -1 4202496 582 31293 0 0 0 0 1089 23 20 0 1 0 405024101 115843072 369 33554432000 4194304 5098028 140730966286896 140730966283640 139723534307964 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33247232 140730966295336 140730966295664 140730966295664 140730966298573 0
/proc/8836/statm: 28282 369 311 221 0 87 0
[pid=8854] ppid=8836 vsize=8068440 memory=119936 CPUtime=1.18 cores=0,2,4,6
/proc/8854/stat : 8854 (java) S 8836 8836 7440 0 -1 1077944320 20385 0 0 0 112 6 0 0 20 0 19 0 405024527 8262082560 29984 33554432000 4194304 4196468 140720495486896 140720495469440 139887265718007 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
/proc/8854/statm: 2017110 29984 3208 1 0 1978454 0
[pid=8871] ppid=8854 vsize=19724 memory=4628 CPUtime=0.6 cores=0,2,4,6
/proc/8871/stat : 8871 (glueminisat-sim) R 8854 8836 7440 0 -1 4202496 1376 0 0 0 58 2 0 0 20 0 1 0 405024600 20197376 1157 33554432000 4194304 4452875 140735532787280 140735532782312 140406672588679 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 13070336 140735532790624 140735532790823 140735532790823 140735532793773 0
/proc/8871/statm: 4931 1157 373 64 0 1135 0
[pid=8854/tid=8855] ppid=8836 vsize=8068440 memory=500 CPUtime=0.75 cores=0,2,4,6
/proc/8854/task/8855/stat : 8855 (java) S 8836 8836 7440 0 -1 1077944384 17370 0 0 0 70 5 0 0 20 0 19 0 405024528 8262082560 29984 33554432000 4194304 4196468 140720495486896 139887237558176 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8856] ppid=8836 vsize=8068440 memory=1736 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8856/stat : 8856 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405024529 8262082560 29984 33554432000 4194304 4196468 140720495486896 139887269960080 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8857] ppid=8836 vsize=8068440 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8857/stat : 8857 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405024529 8262082560 29984 33554432000 4194304 4196468 140720495486896 139887088048400 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8858] ppid=8836 vsize=8068440 memory=924 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8858/stat : 8858 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405024529 8262082560 29984 33554432000 4194304 4196468 140720495486896 139887086996112 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8859] ppid=8836 vsize=8068440 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8859/stat : 8859 (java) S 8836 8836 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405024529 8262082560 29984 33554432000 4194304 4196468 140720495486896 139887085943312 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8860] ppid=8836 vsize=8068440 memory=2064 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8860/stat : 8860 (java) S 8836 8836 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405024530 8262082560 29984 33554432000 4194304 4196468 140720495486896 139886712150640 139887265729154 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8861] ppid=8836 vsize=8068440 memory=2876 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8861/stat : 8861 (java) S 8836 8836 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405024531 8262082560 29984 33554432000 4194304 4196468 140720495486896 139886078190880 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8862] ppid=8836 vsize=8068440 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8862/stat : 8862 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405024531 8262082560 29984 33554432000 4194304 4196468 140720495486896 139885809755760 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8863] ppid=8836 vsize=8068440 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8863/stat : 8863 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405024533 8262082560 29984 33554432000 4194304 4196468 140720495486896 139885435247184 139887265736603 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8864] ppid=8836 vsize=8068440 memory=-7522837415797432224 CPUtime=0.1 cores=0,2,4,6
/proc/8854/task/8864/stat : 8864 (java) S 8836 8836 7440 0 -1 1077944384 758 0 0 0 10 0 0 0 20 0 19 0 405024533 8262082560 29984 33554432000 4194304 4196468 140720495486896 139886711097456 139887265729154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8865] ppid=8836 vsize=8068440 memory=7679937539709960979 CPUtime=0.08 cores=0,2,4,6
/proc/8854/task/8865/stat : 8865 (java) S 8836 8836 7440 0 -1 1077944384 289 0 0 0 8 0 0 0 20 0 19 0 405024533 8262082560 29984 33554432000 4194304 4196468 140720495486896 139886710044656 139887265729154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8866] ppid=8836 vsize=8068440 memory=3908 CPUtime=0.2 cores=0,2,4,6
/proc/8854/task/8866/stat : 8866 (java) S 8836 8836 7440 0 -1 1077944384 570 0 0 0 20 0 0 0 20 0 19 0 405024533 8262082560 29984 33554432000 4194304 4196468 140720495486896 139886708992368 139887265729154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8867] ppid=8836 vsize=8068440 memory=-8253362762723129468 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8867/stat : 8867 (java) S 8836 8836 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405024534 8262082560 29984 33554432000 4194304 4196468 140720495486896 139884937341408 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8868] ppid=8836 vsize=8068440 memory=-8818460131910270915 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8868/stat : 8868 (java) S 8836 8836 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405024534 8262082560 29984 33554432000 4194304 4196468 140720495486896 139886707940272 139887265729154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8872] ppid=8836 vsize=8068440 memory=-7247790742087498942 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8872/stat : 8872 (java) S 8836 8836 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405024600 8262082560 29984 33554432000 4194304 4196468 140720495486896 139886699906496 139887265742617 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8874] ppid=8836 vsize=8068440 memory=1572 CPUtime=0.01 cores=0,2,4,6
/proc/8854/task/8874/stat : 8874 (java) S 8836 8836 7440 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 405024601 8262082560 29984 33554432000 4194304 4196468 140720495486896 139884400459760 139887265739933 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8875] ppid=8836 vsize=8068440 memory=892 CPUtime=0 cores=0,2,4,6
/proc/8854/task/8875/stat : 8875 (java) S 8836 8836 7440 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405024601 8262082560 29984 33554432000 4194304 4196468 140720495486896 139883997805968 139887265739933 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
Current children cumulated CPU time: 12.9 s
Current children cumulated vsize: 8201292 KiB
Current children cumulated memory: 126040 KiB

[startup+6.00075 s]*
/proc/loadavg: 2.52 1.67 1.47 4/238 8876
/proc/meminfo: memFree=12344296/32770624 swapFree=67036652/67108860
[pid=8836] ppid=8833 vsize=113128 memory=1476 CPUtime=11.12 cores=0,2,4,6
/proc/8836/stat : 8836 (scop.sh) S 8833 8836 7440 0 -1 4202496 582 31293 0 0 0 0 1089 23 20 0 1 0 405024101 115843072 369 33554432000 4194304 5098028 140730966286896 140730966283640 139723534307964 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33247232 140730966295336 140730966295664 140730966295664 140730966298573 0
/proc/8836/statm: 28282 369 311 221 0 87 0
[pid=8854] ppid=8836 vsize=7937364 memory=118584 CPUtime=2.22 cores=0,2,4,6
/proc/8854/stat : 8854 (java) S 8836 8836 7440 0 -1 1077944320 20572 1638 0 0 117 7 95 3 20 0 17 0 405024527 8127860736 29646 33554432000 4194304 4196468 140720495486896 140720495469440 139887265718007 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
/proc/8854/statm: 1984341 29646 3212 1 0 1945685 0
[pid=8854/tid=8855] ppid=8836 vsize=7937364 memory=7022364632946311227 CPUtime=1.75 cores=0,2,4,6
/proc/8854/task/8855/stat : 8855 (java) R 8836 8836 7440 0 -1 4202560 17444 1638 0 0 72 5 95 3 20 0 17 0 405024528 8127860736 29646 33554432000 4194304 4196468 140720495486896 139887237553088 139887249798524 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8856] ppid=8836 vsize=7937364 memory=539 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8856/stat : 8856 (java) S 8836 8836 7440 0 -1 1077944384 2 1638 0 0 0 0 95 3 20 0 17 0 405024529 8127860736 29646 33554432000 4194304 4196468 140720495486896 139887269960080 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8857] ppid=8836 vsize=7937364 memory=140717750699060 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8857/stat : 8857 (java) S 8836 8836 7440 0 -1 1077944384 1 1638 0 0 0 0 95 3 20 0 17 0 405024529 8127860736 29646 33554432000 4194304 4196468 140720495486896 139887088048400 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8858] ppid=8836 vsize=7937364 memory=6656426216303648864 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8858/stat : 8858 (java) S 8836 8836 7440 0 -1 1077944384 2 1638 0 0 0 0 95 3 20 0 17 0 405024529 8127860736 29646 33554432000 4194304 4196468 140720495486896 139887086996112 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8859] ppid=8836 vsize=7937364 memory=3472285459099776878 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8859/stat : 8859 (java) S 8836 8836 7440 0 -1 1077944384 2 1638 0 0 0 0 95 3 20 0 17 0 405024529 8127860736 29646 33554432000 4194304 4196468 140720495486896 139887085943312 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8860] ppid=8836 vsize=7937364 memory=3472469013978366640 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8860/stat : 8860 (java) S 8836 8836 7440 0 -1 1077944384 5 1638 0 0 0 0 95 3 20 0 17 0 405024530 8127860736 29646 33554432000 4194304 4196468 140720495486896 139886712150640 139887265729154 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8861] ppid=8836 vsize=7937364 memory=3472323898181169199 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8861/stat : 8861 (java) S 8836 8836 7440 0 -1 1077944384 13 1638 0 0 0 0 95 3 20 0 17 0 405024531 8127860736 29646 33554432000 4194304 4196468 140720495486896 139886078190880 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8862] ppid=8836 vsize=7937364 memory=-2895008908443480685 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8862/stat : 8862 (java) S 8836 8836 7440 0 -1 1077944384 1 1638 0 0 0 0 95 3 20 0 17 0 405024531 8127860736 29646 33554432000 4194304 4196468 140720495486896 139885809755760 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8863] ppid=8836 vsize=7937364 memory=-2895008908443415148 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8863/stat : 8863 (java) S 8836 8836 7440 0 -1 1077944384 3 1638 0 0 0 0 95 3 20 0 17 0 405024533 8127860736 29646 33554432000 4194304 4196468 140720495486896 139885435247184 139887265736603 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8864] ppid=8836 vsize=7937364 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/8854/task/8864/stat : 8864 (java) S 8836 8836 7440 0 -1 1077944384 759 1638 0 0 10 0 95 3 20 0 17 0 405024533 8127860736 29646 33554432000 4194304 4196468 140720495486896 139886711097456 139887265729154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8865] ppid=8836 vsize=7937364 memory=3472328296160571439 CPUtime=1.06 cores=0,2,4,6
/proc/8854/task/8865/stat : 8865 (java) S 8836 8836 7440 0 -1 1077944384 292 1638 0 0 8 0 95 3 20 0 17 0 405024533 8127860736 29646 33554432000 4194304 4196468 140720495486896 139886710044656 139887265729154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8866] ppid=8836 vsize=7937364 memory=3471343114071525040 CPUtime=1.2 cores=0,2,4,6
/proc/8854/task/8866/stat : 8866 (java) S 8836 8836 7440 0 -1 1077944384 630 1638 0 0 22 0 95 3 20 0 17 0 405024533 8127860736 29646 33554432000 4194304 4196468 140720495486896 139886708992368 139887265729154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8867] ppid=8836 vsize=7937364 memory=3471202396320837679 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8867/stat : 8867 (java) S 8836 8836 7440 0 -1 1077944384 3 1638 0 0 0 0 95 3 20 0 17 0 405024534 8127860736 29646 33554432000 4194304 4196468 140720495486896 139884937341408 139887265728213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8868] ppid=8836 vsize=7937364 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8868/stat : 8868 (java) S 8836 8836 7440 0 -1 1077944384 1 1638 0 0 0 0 95 3 20 0 17 0 405024534 8127860736 29646 33554432000 4194304 4196468 140720495486896 139886707940272 139887265729154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8872] ppid=8836 vsize=7937364 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8872/stat : 8872 (java) S 8836 8836 7440 0 -1 1077944384 25 1638 0 0 0 0 95 3 20 0 17 0 405024600 8127860736 29646 33554432000 4194304 4196468 140720495486896 139886699905680 139887265729154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
[pid=8854/tid=8876] ppid=8836 vsize=7937364 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/8854/task/8876/stat : 8876 (java) S 8836 8836 7440 0 -1 1077944384 32 1638 0 0 0 0 95 3 20 0 17 0 405024603 8127860736 29646 33554432000 4194304 4196468 140720495486896 139884668904112 139887265729154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16265216 140720495490044 140720495490202 140720495490202 140720495493071 0
Current children cumulated CPU time: 13.34 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 120060 KiB

Child status: 0
Real time (s): 6.09657
CPU time (s): 13.5085
CPU user time (s): 13.1554
CPU system time (s): 0.353157
CPU usage (%): 221.576
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 920808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.1554
system time used= 0.353157
maximum resident set size= 926884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5230
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 8836
#   total CPU time (s): 13.5085
#   total CPU user time (s): 13.1554
#   total CPU system time (s): 0.353157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057296 second user time and 0.119898 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-12 13:24:35
IDJOB=4387650
IDBENCH=121710
IDSOLVER=2825
FILE ID=node150/4387650-1568287515
RUNJOBID= node150-1568287240-8653
PBS_JOBID= 21701061
Free space on /tmp= 52636 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t035/rand-2-40-16-250-035-86.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-4387650-1568287515/watcher-4387650-1568287515 -o /tmp/evaluation-result-4387650-1568287515/solver-4387650-1568287515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387650-1568287515.xml

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

MD5SUM BENCH= 95e1ba6edeec6aa2d568f833deab6719
RANDOM SEED=941249709

node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        12452880 kB
MemAvailable:   31628100 kB
Buffers:          167200 kB
Cached:         19072432 kB
SwapCached:         2352 kB
Active:          3697104 kB
Inactive:       15779668 kB
Active(anon):     210584 kB
Inactive(anon):    68088 kB
Active(file):    3486520 kB
Inactive(file): 15711580 kB
Unevictable:      110668 kB
Mlocked:          110668 kB
SwapTotal:      67108860 kB
SwapFree:       67036652 kB
Dirty:             20532 kB
Writeback:             0 kB
AnonPages:        302796 kB
Mapped:            59100 kB
Shmem:             32680 kB
Slab:             434176 kB
SReclaimable:     405580 kB
SUnreclaim:        28596 kB
KernelStack:        4064 kB
PageTables:         6232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6074792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 52616 MiB
End job on node150 at 2019-09-12 13:24:42