Trace number 4388025

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 7.87392 4.74163

General information on the benchmark

NamePrimes/
Primes-m1-p25/Primes-25-20-3-1.xml
MD5SUMcc05f472d5f8180cd89c35370563cdd2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010727
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Number of domains1
Minimum domain size96
Maximum domain size96
Distribution of domain sizes[{"size":96,"count":55}]
Minimum variable degree0
Maximum variable degree3
Distribution of variable degrees[{"degree":0,"count":45},{"degree":1,"count":40},{"degree":2,"count":12},{"degree":3,"count":3}]
Minimum constraint arity3
Maximum constraint arity4
Distribution of constraint arities[{"arity":3,"count":7},{"arity":4,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":20}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	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-13245-serial-file.bin HOME/instance-4388025-1568294090.xml
0.65/0.55	
0.65/0.55	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.55	
0.65/0.58	c BEGIN-Prog: Thu Sep 12 15:14:07 CEST 2019
0.65/0.58	c PID: 13248
0.65/0.58	c IP: 172.20.3.147
0.65/0.58	c HOST: node147.alineos.net
0.65/0.59	c (0,0) Parsing Begin
1.13/0.87	c (0,0) Parsing End
1.13/0.87	c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 20 ctr, max domain size 96
1.13/0.87	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.13/0.87	c (0,0) Constraint Name Generate Begin
1.13/0.88	c (0,0) Ctr:HOME/instance-4388025-1568294090.xml,Num:Var:WeightedSum
1.13/0.88	c (0,0) Constraint Name Generate End
1.13/0.88	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.13/0.88	c (0,0) CSP to CSPinCNF Begin
1.33/0.96	c (0,0) translated 2 (10%) constraints
1.33/0.97	c (0,0) translated 4 (20%) constraints
1.33/0.97	c (0,0) translated 6 (30%) constraints
1.33/0.98	c (0,0) translated 8 (40%) constraints
1.33/0.98	c (0,0) translated 10 (50%) constraints
1.33/0.99	c (0,0) translated 12 (60%) constraints
1.33/0.99	c (0,0) translated 14 (70%) constraints
1.33/0.99	c (0,0) translated 16 (80%) constraints
1.33/1.00	c (0,0) translated 18 (90%) constraints
1.33/1.00	c (0,0) translated 20 (100%) constraints
1.33/1.00	c (0,0) ===========================================
1.33/1.00	c (0,0) Order
1.33/1.00	c (0,0) ===========================================
1.52/1.03	c (0,0) translated 2 (10%) constraints
1.52/1.03	c (0,0) translated 4 (20%) constraints
1.52/1.03	c (0,0) translated 6 (30%) constraints
1.52/1.04	c (0,0) translated 8 (40%) constraints
1.52/1.04	c (0,0) translated 10 (50%) constraints
1.52/1.05	c (0,0) translated 12 (60%) constraints
1.52/1.05	c (0,0) translated 14 (70%) constraints
1.52/1.06	c (0,0) translated 16 (80%) constraints
1.52/1.06	c (0,0) translated 18 (90%) constraints
1.52/1.07	c (0,0) translated 20 (100%) constraints
1.52/1.07	c (0,0) CSP to CSPinCNF End
1.52/1.07	c (0,0) CSP: 68 int (13 aux), 0 bool (0 aux), 66 ctr, max domain size 8361
1.52/1.07	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.52/1.07	c (0,0) CSPinCNF Propagation Begin
1.52/1.09	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.52/1.09	c (0,0) CSPinCNF Propagation End
1.52/1.09	c (0,0) CSP: 68 int (13 aux), 0 bool (0 aux), 66 ctr, max domain size 8361
1.52/1.09	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.52/1.09	c (0,0) Simplify CSPinCNF Begin
1.52/1.09	c (0,0) Simplify CSPinCNF End
1.52/1.09	c (0,0) CSP: 68 int (13 aux), 0 bool (0 aux), 66 ctr, max domain size 8361
1.52/1.09	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.52/1.09	c (0,0) Calculate Precise Domain Begin
1.95/1.30	c (0,0) 14329 values are removed by re-calculation
1.95/1.30	c (0,0) Calculate Precise Domain End
1.95/1.30	c (0,0) CSP: 68 int (13 aux), 0 bool (0 aux), 66 ctr, max domain size 8023
1.95/1.30	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.95/1.30	c (0,0) CSPinCNF to SatSolver Begin
3.44/1.75	c (1,1) 7 (10 %) CSP clauses are encoded (0 SAT variables, 108436 SAT clauses)
3.74/1.83	c (1,1) 14 (20 %) CSP clauses are encoded (0 SAT variables, 136318 SAT clauses)
3.74/1.89	c (1,1) 20 (30 %) CSP clauses are encoded (0 SAT variables, 157077 SAT clauses)
3.96/1.99	c (1,1) 27 (40 %) CSP clauses are encoded (0 SAT variables, 194142 SAT clauses)
4.18/2.09	c (1,1) 33 (50 %) CSP clauses are encoded (0 SAT variables, 231294 SAT clauses)
4.43/2.16	c (1,1) 40 (60 %) CSP clauses are encoded (0 SAT variables, 256762 SAT clauses)
4.63/2.21	c (1,1) 47 (70 %) CSP clauses are encoded (0 SAT variables, 277536 SAT clauses)
4.63/2.28	c (1,1) 53 (80 %) CSP clauses are encoded (0 SAT variables, 310002 SAT clauses)
4.76/2.38	c (1,1) 60 (90 %) CSP clauses are encoded (0 SAT variables, 361526 SAT clauses)
4.86/2.46	c (1,1) 66 (100 %) CSP clauses are encoded (0 SAT variables, 399744 SAT clauses)
4.86/2.47	c (1,1) CSPinCNF to SatSolver End
4.86/2.47	c (1,1) Heap : 901 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.86/2.47	c (1,1) 60457 bool, 403656 clause
4.86/2.47	c (1,1) Export Begin
4.98/2.55	c (1,1) Export to HOME/scop-13245-serial-file.bin
4.98/2.55	c (1,1) Export End
4.98/2.55	c (1,1) Export File Size: 0.01 MB
4.98/2.55	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.98/2.55	c END-Prog: Thu Sep 12 15:14:09 CEST 2019
4.98/2.57	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13245-serial-file.bin
5.68/3.03	c (0,0) Read Serial File Begin
5.68/3.03	c (0,0) HOME/scop-13245-serial-file.bin
5.94/3.23	c (0,0) Read Serial File End
5.94/3.24	
5.94/3.24	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
5.94/3.24	(Solving Process)
5.94/3.24	
5.94/3.27	c BEGIN-Prog: Thu Sep 12 15:14:10 CEST 2019
5.94/3.27	c PID: 13263
5.94/3.27	c IP: 172.20.3.147
5.94/3.27	c HOST: node147.alineos.net
5.94/3.27	c (0,0) SatSolver.solve Begin
5.94/3.27	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388025-1568294090.xml-scop-13248.cnf
6.14/3.30	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.14/3.30	c (0,0) c glueminisat-simp-2.2.10-193oa-n
6.14/3.30	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388025-1568294090.xml-scop-13248.cnf 
6.14/3.30	c (0,0) c Options:
6.14/3.30	c (0,0) c CORE
6.14/3.30	c (0,0) c  var_decay             = 0.950
6.14/3.30	c (0,0) c  clause_decay          = 0.999
6.14/3.30	c (0,0) c  random_var_freq       = 0.000
6.14/3.30	c (0,0) c  random_seed           = 91648253.000
6.14/3.30	c (0,0) c  luby_restart          = 1
6.14/3.30	c (0,0) c  ccmin_mode            = 2
6.14/3.30	c (0,0) c  phase_saving          = 2
6.14/3.30	c (0,0) c  rnd_pol               = 0
6.14/3.30	c (0,0) c  rnd_init_act          = 0
6.14/3.30	c (0,0) c  garbage_frac          = 0.200
6.14/3.30	c (0,0) c  restart_first         = 1000
6.14/3.30	c (0,0) c  restart_inc           = 2.000
6.14/3.30	c (0,0) c MODEL
6.14/3.30	c (0,0) c  partial_model         = 0
6.14/3.30	c (0,0) c PROPAGATION
6.14/3.30	c (0,0) c  bin_propagation       = 1
6.14/3.30	c (0,0) c SIMPLIFICATION
6.14/3.30	c (0,0) c  lrn_min_size          = 100
6.14/3.30	c (0,0) c  lazy_simp             = 1
6.14/3.30	c (0,0) c  lazy_interval         = 10
6.14/3.30	c (0,0) c  lazy_fld_probing      = 1
6.14/3.31	c (0,0) c  lazy_pol_probing      = 1
6.14/3.31	c (0,0) c  lazy_nec_probing      = 1
6.14/3.31	c (0,0) c  lazy_eqv_probing      = 1
6.14/3.31	c (0,0) c  lazy_cla_probing      = 1
6.14/3.31	c (0,0) c  lazy_lrn_min          = 2
6.14/3.31	c (0,0) c  lazy_uw_lit_elim      = 1
6.14/3.31	c (0,0) c  lazy_pr_lit_elim      = 0
6.14/3.31	c (0,0) c  lazy_bin_add          = 3
6.14/3.31	c (0,0) c  probed_lit_chain      = 1
6.14/3.31	c (0,0) c  pr_min_lits           = 0.00020
6.14/3.31	c (0,0) c  pr_min_starts         = 500
6.14/3.31	c (0,0) c  rw_min_lits           = 0.010
6.14/3.31	c (0,0) c  rw_min_starts         = 500
6.14/3.31	c (0,0) c  rand_attach           = 0
6.14/3.31	c (0,0) c  dec_elim              = 1
6.14/3.31	c (0,0) c  dec_elim_lim          = 25
6.14/3.31	c (0,0) c  dec_elim_len          = -1
6.14/3.31	c (0,0) c  amo                   = 0
6.14/3.31	c (0,0) c  amo_grp               = 1
6.14/3.31	c (0,0) c  amo_max_bins          = 1000000
6.14/3.31	c (0,0) c  amo_starts            = 50
6.14/3.31	c (0,0) c  mace_cmd              = mace
6.14/3.31	c (0,0) c DECISION
6.14/3.31	c (0,0) c  rand_rebuild          = 0
6.14/3.31	c (0,0) c  rand_rebuild_confs    = 10000
6.14/3.31	c (0,0) c  inc_var_decay         = 1
6.14/3.31	c (0,0) c  inc_var_decay_period  = 100000
6.14/3.31	c (0,0) c  inc_var_decay_init    = 0.600
6.14/3.31	c (0,0) c  var_decay_mode        = 0
6.14/3.31	c (0,0) c  var_decay_gain        = 0
6.14/3.31	c (0,0) c  sloped_var_decay      = 1
6.14/3.31	c (0,0) c  max_var_decay         = 0.990
6.14/3.31	c (0,0) c  min_var_decay         = 0.950
6.14/3.31	c (0,0) c  min_var_decay_vars    = 10000
6.14/3.31	c (0,0) c  max_var_decay_vars    = 500
6.14/3.31	c (0,0) c  uip_bumping           = 1
6.14/3.31	c (0,0) c  lbd_act_bumping       = 1
6.14/3.31	c (0,0) c  rand_tiebreak         = 0
6.14/3.31	c (0,0) c  simp_rebuild          = 1
6.14/3.31	c (0,0) c RESTART
6.14/3.31	c (0,0) c  restart_strategy      = 2
6.14/3.31	c (0,0) c  restart_blocking      = 0
6.14/3.31	c (0,0) c  agility_decay         = 0.99990
6.14/3.31	c (0,0) c  lbd_restart_rate      = 0.800
6.14/3.31	c (0,0) c  dec_restart_rate      = 0.950
6.14/3.31	c (0,0) c  blk_restart_rate      = 0.700
6.14/3.31	c (0,0) c  lbd_queue_size        = 50
6.14/3.31	c (0,0) c  dec_queue_size        = 50
6.14/3.31	c (0,0) c  trl_queue_size        = 5000
6.14/3.31	c (0,0) c  blk_restart_weight    = 1.000
6.14/3.31	c (0,0) c  inc_rst_rate          = 0
6.14/3.31	c (0,0) c  inc_rst_rate_period   = 500000
6.14/3.31	c (0,0) c  inc_lbd_rst_rate_init = 0.600
6.14/3.31	c (0,0) c  inc_dec_rst_rate_init = 0.750
6.14/3.31	c (0,0) c REDUCTION
6.14/3.31	c (0,0) c  closed_lbd            = 0
6.14/3.31	c (0,0) c  closed_lbd_rate       = 0.500
6.14/3.31	c (0,0) c  rm_simulate           = 0
6.14/3.31	c (0,0) c  rdb_eval              = 2
6.14/3.31	c (0,0) c  rdb_call              = 3
6.14/3.31	c (0,0) c  rdb_ub                = 0.500
6.14/3.31	c (0,0) c  core_lbd_cvr          = 0.800
6.14/3.31	c (0,0) c  supp_lbd_cvr          = 0.990
6.14/3.31	c (0,0) c  core_lbd_lb           = 2
6.14/3.31	c (0,0) c  supp_lbd_lb           = 2
6.14/3.31	c (0,0) c  core_lbd_prd          = 7
6.14/3.31	c (0,0) c  supp_lbd_prd          = 1
6.14/3.31	c (0,0) c  othr_lbd_prd          = 0
6.14/3.31	c (0,0) c  inc_lrn_limit         = 1000
6.14/3.31	c (0,0) c  frozen_lbd            = 30
6.14/3.31	c (0,0) c  simp_min_starts       = 100
6.14/3.31	c (0,0) c  rm_low_act_learnts    = 1
6.14/3.31	c (0,0) c  lv0_reduce_db         = 0
6.14/3.31	c (0,0) c  reduce_db_base        = 20000
6.14/3.31	c (0,0) c  reduce_db_inc         = 1000
6.14/3.31	c (0,0) c HARD
6.14/3.31	c (0,0) c  inst_check            = 200000
6.14/3.31	c (0,0) c  small_block           = 1.750
6.14/3.31	c (0,0) c  slow_restart_speed    = 400.000
6.14/3.31	c (0,0) c  slow_restart_strategy = 3
6.14/3.31	c (0,0) c  slow_lbd_restart_rate = 0.700
6.14/3.31	c (0,0) c  slow_dec_restart_rate = 1.000
6.14/3.31	c (0,0) c  slow_lbd_queue_size   = 50
6.14/3.31	c (0,0) c  slow_var_decay        = 0.950
6.14/3.31	c (0,0) c  slow_glue_threshold   = 2
6.14/3.31	c (0,0) c  slow_phase_saving     = 2
6.14/3.31	c (0,0) c  fast_restart_speed    = 125.000
6.14/3.31	c (0,0) c  fast_restart_strategy = 1
6.14/3.31	c (0,0) c  fast_lbd_restart_rate = 0.800
6.14/3.31	c (0,0) c  fast_dec_restart_rate = 0.950
6.14/3.31	c (0,0) c  fast_lbd_queue_size   = 50
6.14/3.31	c (0,0) c  fast_var_decay        = 1.000
6.14/3.31	c (0,0) c  fast_glue_threshold   = 2
6.14/3.31	c (0,0) c  fast_phase_saving     = 2
6.14/3.31	c (0,0) c STATS
6.14/3.31	c (0,0) c  stats_conf_size       = 10000
6.14/3.31	c (0,0) c  max_stats_size        = 30
6.14/3.31	c (0,0) c SOLVER
6.14/3.31	c (0,0) c  minisat               = 0
6.25/3.43	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
6.25/3.44	c (0,0) c Problem: 60458 variables, 403656 clauses, parsing 0.13 s
6.25/3.59	c (0,0) c  reduced to 57560 variables, 402618 clauses (grow = 0)
7.25/4.34	c (1,0) c  reduced to 35163 variables, 487454 clauses (grow = 8)
7.25/4.36	c (1,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
7.34/4.40	c (1,0) c Simplification: 25295 vars, -83798 clauses are eliminated using 0.96 s
7.34/4.40	c (1,0) c
7.34/4.40	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
7.34/4.40	c (1,0) c
7.34/4.40	c (1,0) c    1         0         0    35163   487454        0   -nan  -nan  -nan -nan%
7.34/4.46	c (1,0) c    1         1         6    35137   487454        3    5.0   3.7 3726.5 65.2%
7.34/4.46	c (1,0) c
7.34/4.46	c (1,0) c
7.34/4.46	c (1,0) c variables         : 35137       (init 60458, after simp 35163, 0 non-decs, 68 csp)
7.34/4.46	c (1,0) c clauses           : 487454      (init 403656, after simp 487454)
7.34/4.46	c (1,0) c restarts          : 0           (6.00 confs/res, 6~6 confs, 0 blks, 0 last)
7.34/4.46	c (1,0) c conflicts         : 6           (5 /sec, 100.00% dconfs, 0.00% supp, trail 12.69w x 3726.50h, jmp 2469.50h)
7.34/4.46	c (1,0) c decisions         : 16111       (0.6000 vdcy, 14304 /sec, 0.00% bin, rs 0.000 s)
7.34/4.46	c (1,0) c propagations      : 188381      (167257 /sec, 11.69 lits/dec, 81.92% o.a.)
7.34/4.46	c (1,0) c conflict literals : 50          (64.00% deleted; 0.00% by bin min, 0.000 s)
7.34/4.46	c (1,0) c len               : 5.000       (3.00 for all, max 6, used 0)
7.34/4.46	c (1,0) c lbd               : 3.667       (2.33 (2.33) for all, max 6, used 0, -nan stdev, 1.286 blk)
7.34/4.46	c (1,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
7.34/4.46	c (1,0) c simp dbs          : 1           (0.001 s)
7.34/4.46	c (1,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
7.34/4.46	c (1,0) c learnts           : 3           (0 learnts removed, 0.00%)
7.34/4.46	c (1,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
7.34/4.46	c (1,0) c assigned lits     : 0           (0/0 probed, 0 remains)
7.34/4.46	c (1,0) c premise updates   : 0           (0.00 /lit)
7.34/4.46	c (1,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
7.34/4.46	c (1,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
7.34/4.46	c (1,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.002s)
7.34/4.46	c (1,0) c unwatched lit elim: 0           (0.00+0.00%, 0+0 of 1523498+50)
7.34/4.46	c (1,0) c classified type   : undef
7.34/4.46	c (1,0) c progress          : 0.074 %
7.34/4.46	c (1,0) c
7.34/4.46	c (1,0) c [Statistics]
7.34/4.46	c (1,0) c             learnts len        learnts lbd        lit blk size       eq vars size
7.34/4.46	c (1,0) c  tot           6                  6                 14                  0
7.34/4.46	c (1,0) c  avg       3.000              2.333              1.286               -nan
7.34/4.46	c (1,0) c   1            3 (50.0%)          3 (50.0%)         12 (85.7%)          0 (-nan%)
7.34/4.46	c (1,0) c   2            0 ( 0.0%)          1 (16.7%)          1 ( 7.1%)          0 (-nan%)
7.34/4.46	c (1,0) c   3            0 ( 0.0%)          1 (16.7%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c   4            1 (16.7%)          0 ( 0.0%)          1 ( 7.1%)          0 (-nan%)
7.34/4.46	c (1,0) c   5            1 (16.7%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c   6            1 (16.7%)          1 (16.7%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c   7            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c   8            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c   9            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  10            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  11            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  12            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  13            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  14            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  15            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  16            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  17            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  18            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  19            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  20            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  21            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  22            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  23            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  24            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  25            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  26            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  27            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  28            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  29            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c  30            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
7.34/4.46	c (1,0) c
7.34/4.46	c (1,0) c [LBD Statistics]
7.34/4.46	c (1,0) c LBD          used lbd               used clause lbd         unused clause lbd
7.34/4.46	c (1,0) c  tot            0                       0                       3
7.34/4.46	c (1,0) c  avg         -nan                    -nan                   3.667
7.34/4.46	c (1,0) c    1            0 (-nan/-nan%)          0 (-nan/-nan%)          0 ( 0.0/ 0.0%)
7.34/4.46	c (1,0) c    2            0 (-nan/-nan%)          0 (-nan/-nan%)          1 (33.3/33.3%)
7.34/4.46	c (1,0) c    3            0 (-nan/-nan%)          0 (-nan/-nan%)          1 (33.3/66.7%)
7.34/4.46	c (1,0) c    4            0 (-nan/-nan%)          0 (-nan/-nan%)          0 ( 0.0/66.7%)
7.34/4.46	c (1,0) c    5            0 (-nan/-nan%)          0 (-nan/-nan%)          0 ( 0.0/66.7%)
7.34/4.46	c (1,0) c    6            0 (-nan/-nan%)          0 (-nan/-nan%)          1 (33.3/100.0%)
7.34/4.46	c (1,0) c
7.34/4.46	c (1,0) c Memory used       : 101.00 MB
7.34/4.46	c (1,0) c CPU time          : 1.126 s
7.34/4.46	c (1,0) c Real time         : 1.165 s
7.34/4.46	c (1,0) c
7.34/4.46	c (1,0) s SATISFIABLE
7.53/4.54	c (1,0) SatSolver.solve End
7.53/4.54	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.53/4.54	c (1,0) Show results Begin
7.73/4.64	c (1,0) x[1] = 15
7.73/4.64	c (1,0) x[2] = 2
7.73/4.64	c (1,0) x[3] = 38
7.73/4.64	c (1,0) x[4] = 46
7.73/4.64	c (1,0) x[5] = 29
7.73/4.64	c (1,0) x[6] = 96
7.73/4.64	c (1,0) x[7] = 5
7.73/4.64	c (1,0) x[13] = 3
7.73/4.64	c (1,0) x[14] = 20
7.73/4.64	c (1,0) x[17] = 43
7.73/4.64	c (1,0) x[18] = 72
7.73/4.64	c (1,0) x[19] = 62
7.73/4.64	c (1,0) x[21] = 67
7.73/4.64	c (1,0) x[22] = 88
7.73/4.64	c (1,0) x[24] = 54
7.73/4.64	c (1,0) x[25] = 8
7.73/4.64	c (1,0) x[26] = 49
7.73/4.64	c (1,0) x[28] = 83
7.73/4.64	c (1,0) x[29] = 31
7.73/4.64	c (1,0) x[31] = 53
7.73/4.64	c (1,0) x[33] = 46
7.73/4.64	c (1,0) x[36] = 53
7.73/4.64	c (1,0) x[42] = 77
7.73/4.64	c (1,0) x[43] = 85
7.73/4.64	c (1,0) x[45] = 41
7.73/4.64	c (1,0) x[48] = 45
7.73/4.64	c (1,0) x[49] = 36
7.73/4.64	c (1,0) x[50] = 5
7.73/4.64	c (1,0) x[52] = 67
7.73/4.64	c (1,0) x[53] = 55
7.73/4.64	c (1,0) x[55] = 97
7.73/4.64	c (1,0) x[61] = 97
7.73/4.64	c (1,0) x[65] = 74
7.73/4.64	c (1,0) x[67] = 12
7.73/4.64	c (1,0) x[68] = 74
7.73/4.64	c (1,0) x[69] = 69
7.73/4.64	c (1,0) x[71] = 90
7.73/4.64	c (1,0) x[73] = 97
7.73/4.64	c (1,0) x[75] = 97
7.73/4.64	c (1,0) x[76] = 97
7.73/4.64	c (1,0) x[77] = 2
7.73/4.64	c (1,0) x[78] = 96
7.73/4.64	c (1,0) x[79] = 21
7.73/4.64	c (1,0) x[80] = 79
7.73/4.64	c (1,0) x[82] = 48
7.73/4.64	c (1,0) x[84] = 43
7.73/4.64	c (1,0) x[86] = 7
7.73/4.64	c (1,0) x[87] = 71
7.73/4.64	c (1,0) x[90] = 56
7.73/4.64	c (1,0) x[92] = 38
7.73/4.64	c (1,0) x[93] = 67
7.73/4.64	c (1,0) x[95] = 21
7.73/4.64	c (1,0) x[96] = 3
7.73/4.64	c (1,0) x[98] = 43
7.73/4.64	c (1,0) x[99] = 2
7.73/4.64	s SATISFIABLE
7.73/4.64	v <instantiation>
7.73/4.64	v     <list>x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[13] x[14] x[17] x[18] x[19] x[21] x[22] x[24] x[25] x[26] x[28] x[29] x[31] x[33] x[36] x[42] x[43] x[45] x[48] x[49] x[50] x[52] x[53] x[55] x[61] x[65] x[67] x[68] x[69] x[71] x[73] x[75] x[76] x[77] x[78] x[79] x[80] x[82] x[84] x[86] x[87] x[90] x[92] x[93] x[95] x[96] x[98] x[99]</list>
7.73/4.64	v     <values>15 2 38 46 29 96 5 3 20 43 72 62 67 88 54 8 49 83 31 53 46 53 77 85 41 45 36 5 67 55 97 97 74 12 74 69 90 97 97 97 2 96 21 79 48 43 7 71 56 38 67 21 3 43 2</values>
7.73/4.64	v </instantiation>
7.73/4.64	c (1,0) Show results End
7.73/4.64	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
7.73/4.64	c (1,0) 1,1,STOP-AFTER(ALL)
7.73/4.64	c END-Prog: Thu Sep 12 15:14:11 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 (6093 MiB free)
  memory of node 1: 16384 MiB (7310 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=13245, runsolver pid=13242

[startup+0.102131 s]*
/proc/loadavg: 4.75 3.99 3.04 3/236 13262
/proc/meminfo: memFree=13665868/32770624 swapFree=66957008/67108860
[pid=13245] ppid=13242 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13245/stat : 13245 (scop.sh) S 13242 13245 8853 0 -1 4202496 558 320 0 1 0 0 0 0 20 0 1 0 405322830 115843072 349 33554432000 4194304 5098028 140726674113216 140726674110472 140302415311484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33533952 140726674117416 140726674117744 140726674117744 140726674120653 0
/proc/13245/statm: 28282 349 296 221 0 87 0
[pid=13248] ppid=13245 vsize=15012696 memory=72232 CPUtime=0.09 cores=0,2,4,6
/proc/13248/stat : 13248 (java) S 13245 13245 8853 0 -1 1077944320 5739 0 0 0 7 2 0 0 20 0 15 0 405322833 15373000704 17546 33554432000 4194304 4196468 140728023316704 140728023299248 140503224798967 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
/proc/13248/statm: 3753174 17546 2781 1 0 3715579 0
[pid=13248/tid=13249] ppid=13245 vsize=15012696 memory=-6510934870191292355 CPUtime=0.07 cores=0,2,4,6
/proc/13248/task/13249/stat : 13249 (java) R 13245 13245 8853 0 -1 4202560 3890 0 0 0 6 1 0 0 20 0 15 0 405322833 15373000704 18058 33554432000 4194304 4196468 140728023316704 140503196625296 140503224820893 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13250] ppid=13245 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13250/stat : 13250 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 18058 33554432000 4194304 4196468 140728023316704 140503229041808 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13251] ppid=13245 vsize=15012696 memory=139646650504832 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13251/stat : 13251 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 18058 33554432000 4194304 4196468 140728023316704 140503020125200 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13252] ppid=13245 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13252/stat : 13252 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 18058 33554432000 4194304 4196468 140728023316704 140503019072400 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13253] ppid=13245 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13253/stat : 13253 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 18058 33554432000 4194304 4196468 140728023316704 140503018019600 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13254] ppid=13245 vsize=15012696 memory=139646650504832 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13254/stat : 13254 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322836 15373000704 18058 33554432000 4194304 4196468 140728023316704 140502195198320 140503224810114 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13255] ppid=13245 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13255/stat : 13255 (java) S 13245 13245 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405322836 15373000704 18058 33554432000 4194304 4196468 140728023316704 140501802017824 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13256] ppid=13245 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13256/stat : 13256 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322837 15373000704 18058 33554432000 4194304 4196468 140728023316704 140501533582192 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13257] ppid=13245 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13257/stat : 13257 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 18058 33554432000 4194304 4196468 140728023316704 140501159073616 140503224817563 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13258] ppid=13245 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13258/stat : 13258 (java) S 13245 13245 8853 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 18058 33554432000 4194304 4196468 140728023316704 140502194146160 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13259] ppid=13245 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13259/stat : 13259 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 18058 33554432000 4194304 4196468 140728023316704 140502193093360 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13260] ppid=13245 vsize=15012696 memory=139646650504832 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13260/stat : 13260 (java) S 13245 13245 8853 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 18058 33554432000 4194304 4196468 140728023316704 140502192040560 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13261] ppid=13245 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13261/stat : 13261 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 18058 33554432000 4194304 4196468 140728023316704 140500661168864 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13262] ppid=13245 vsize=15012696 memory=139646650504832 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13262/stat : 13262 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322840 15373000704 18058 33554432000 4194304 4196468 140728023316704 140502190987952 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73628 KiB

[startup+0.210654 s]*
/proc/loadavg: 4.75 3.99 3.04 4/236 13262
/proc/meminfo: memFree=13645212/32770624 swapFree=66957008/67108860
[pid=13245] ppid=13242 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13245/stat : 13245 (scop.sh) S 13242 13245 8853 0 -1 4202496 558 320 0 1 0 0 0 0 20 0 1 0 405322830 115843072 349 33554432000 4194304 5098028 140726674113216 140726674110472 140302415311484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33533952 140726674117416 140726674117744 140726674117744 140726674120653 0
/proc/13245/statm: 28282 349 296 221 0 87 0
[pid=13248] ppid=13245 vsize=15012696 memory=89928 CPUtime=0.23 cores=0,2,4,6
/proc/13248/stat : 13248 (java) S 13245 13245 8853 0 -1 1077944320 11455 0 0 0 19 4 0 0 20 0 15 0 405322833 15373000704 22482 33554432000 4194304 4196468 140728023316704 140728023299248 140503224798967 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
/proc/13248/statm: 3753174 22482 2973 1 0 3715579 0
[pid=13248/tid=13249] ppid=13245 vsize=15012696 memory=7022364632946311227 CPUtime=0.18 cores=0,2,4,6
/proc/13248/task/13249/stat : 13249 (java) R 13245 13245 8853 0 -1 4202560 9213 0 0 0 15 3 0 0 20 0 15 0 405322833 15373000704 22482 33554432000 4194304 4196468 140728023316704 140503196619872 140503207985758 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13250] ppid=13245 vsize=15012696 memory=364 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13250/stat : 13250 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 22482 33554432000 4194304 4196468 140728023316704 140503229041808 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13251] ppid=13245 vsize=15012696 memory=288370022802216576 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13251/stat : 13251 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 22482 33554432000 4194304 4196468 140728023316704 140503020125200 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13252] ppid=13245 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13252/stat : 13252 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 22482 33554432000 4194304 4196468 140728023316704 140503019072400 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13253] ppid=13245 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13253/stat : 13253 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 22482 33554432000 4194304 4196468 140728023316704 140503018019600 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13254] ppid=13245 vsize=15012696 memory=139646650504832 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13254/stat : 13254 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322836 15373000704 22482 33554432000 4194304 4196468 140728023316704 140502195198320 140503224810114 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13255] ppid=13245 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13255/stat : 13255 (java) S 13245 13245 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405322836 15373000704 22482 33554432000 4194304 4196468 140728023316704 140501802017824 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13256] ppid=13245 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13256/stat : 13256 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322837 15373000704 22482 33554432000 4194304 4196468 140728023316704 140501533582192 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13257] ppid=13245 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13257/stat : 13257 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 22482 33554432000 4194304 4196468 140728023316704 140501159073616 140503224817563 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13258] ppid=13245 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13258/stat : 13258 (java) S 13245 13245 8853 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 22482 33554432000 4194304 4196468 140728023316704 140502194146160 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13259] ppid=13245 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13259/stat : 13259 (java) S 13245 13245 8853 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 22482 33554432000 4194304 4196468 140728023316704 140502193093360 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13260] ppid=13245 vsize=15012696 memory=139646650504832 CPUtime=0.02 cores=0,2,4,6
/proc/13248/task/13260/stat : 13260 (java) S 13245 13245 8853 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 15 0 405322839 15373000704 22482 33554432000 4194304 4196468 140728023316704 140502192040560 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13261] ppid=13245 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13261/stat : 13261 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 22482 33554432000 4194304 4196468 140728023316704 140500661168864 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13262] ppid=13245 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13262/stat : 13262 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322840 15373000704 22482 33554432000 4194304 4196468 140728023316704 140502190987952 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91324 KiB

[startup+0.310809 s]*
/proc/loadavg: 4.75 3.99 3.04 3/236 13262
/proc/meminfo: memFree=13642296/32770624 swapFree=66957008/67108860
[pid=13245] ppid=13242 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13245/stat : 13245 (scop.sh) S 13242 13245 8853 0 -1 4202496 558 320 0 1 0 0 0 0 20 0 1 0 405322830 115843072 349 33554432000 4194304 5098028 140726674113216 140726674110472 140302415311484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33533952 140726674117416 140726674117744 140726674117744 140726674120653 0
/proc/13245/statm: 28282 349 296 221 0 87 0
[pid=13248] ppid=13245 vsize=15012696 memory=93892 CPUtime=0.41 cores=0,2,4,6
/proc/13248/stat : 13248 (java) S 13245 13245 8853 0 -1 1077944320 12479 0 0 0 36 5 0 0 20 0 15 0 405322833 15373000704 23473 33554432000 4194304 4196468 140728023316704 140728023299248 140503224798967 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
/proc/13248/statm: 3753174 23473 3034 1 0 3715579 0
[pid=13248/tid=13249] ppid=13245 vsize=15012696 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/13248/task/13249/stat : 13249 (java) R 13245 13245 8853 0 -1 4202560 10046 0 0 0 24 3 0 0 20 0 15 0 405322833 15373000704 23473 33554432000 4194304 4196468 140728023316704 140503196593072 140503206362519 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13250] ppid=13245 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13250/stat : 13250 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 23473 33554432000 4194304 4196468 140728023316704 140503229041808 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13251] ppid=13245 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13251/stat : 13251 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 23473 33554432000 4194304 4196468 140728023316704 140503020125200 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13252] ppid=13245 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13252/stat : 13252 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 23473 33554432000 4194304 4196468 140728023316704 140503019072400 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13253] ppid=13245 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13253/stat : 13253 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15373000704 23473 33554432000 4194304 4196468 140728023316704 140503018019600 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13254] ppid=13245 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13254/stat : 13254 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322836 15373000704 23473 33554432000 4194304 4196468 140728023316704 140502195198320 140503224810114 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13255] ppid=13245 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13255/stat : 13255 (java) S 13245 13245 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405322836 15373000704 23473 33554432000 4194304 4196468 140728023316704 140501802017824 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13256] ppid=13245 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13256/stat : 13256 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322837 15373000704 23473 33554432000 4194304 4196468 140728023316704 140501533582192 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13257] ppid=13245 vsize=15012696 memory=4628975386420216973 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13257/stat : 13257 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 23473 33554432000 4194304 4196468 140728023316704 140501159073616 140503224817563 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13258] ppid=13245 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13248/task/13258/stat : 13258 (java) S 13245 13245 8853 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 15 0 405322839 15373000704 23473 33554432000 4194304 4196468 140728023316704 140502194146160 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13259] ppid=13245 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13248/task/13259/stat : 13259 (java) S 13245 13245 8853 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 15 0 405322839 15373000704 23473 33554432000 4194304 4196468 140728023316704 140502193093360 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13260] ppid=13245 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13248/task/13260/stat : 13260 (java) S 13245 13245 8853 0 -1 1077944384 481 0 0 0 7 0 0 0 20 0 15 0 405322839 15373000704 23473 33554432000 4194304 4196468 140728023316704 140502192040560 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13261] ppid=13245 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13261/stat : 13261 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405322839 15373000704 23473 33554432000 4194304 4196468 140728023316704 140500661168864 140503224809173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13262] ppid=13245 vsize=15012696 memory=3618141138964198448 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13262/stat : 13262 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322840 15373000704 23473 33554432000 4194304 4196468 140728023316704 140502190987952 140503224810114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 95288 KiB

[startup+0.700709 s]
/proc/loadavg: 4.75 3.99 3.04 4/236 13262
/proc/meminfo: memFree=13621664/32770624 swapFree=66957008/67108860
[pid=13245] ppid=13242 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13245/stat : 13245 (scop.sh) S 13242 13245 8853 0 -1 4202496 558 320 0 1 0 0 0 0 20 0 1 0 405322830 115843072 349 33554432000 4194304 5098028 140726674113216 140726674110472 140302415311484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33533952 140726674117416 140726674117744 140726674117744 140726674120653 0
/proc/13245/statm: 28282 349 296 221 0 87 0
[pid=13248] ppid=13245 vsize=15018968 memory=129116 CPUtime=0.95 cores=0,2,4,6
/proc/13248/stat : 13248 (java) S 13245 13245 8853 0 -1 1077944320 19487 0 0 0 88 7 0 0 20 0 15 0 405322833 15379423232 32279 33554432000 4194304 4196468 140728023316704 140728023299248 140503224798967 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
/proc/13248/statm: 3754742 32279 3190 1 0 3716091 0
[pid=13248/tid=13249] ppid=13245 vsize=15018968 memory=-7816663703405220396 CPUtime=0.65 cores=0,2,4,6
/proc/13248/task/13249/stat : 13249 (java) R 13245 13245 8853 0 -1 4202560 16644 0 0 0 60 5 0 0 20 0 15 0 405322833 15379423232 32279 33554432000 4194304 4196468 140728023316704 140503196634992 140503208879454 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13250] ppid=13245 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13250/stat : 13250 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15379423232 32279 33554432000 4194304 4196468 140728023316704 140503229041808 140503224809173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13251] ppid=13245 vsize=15018968 memory=37396 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13251/stat : 13251 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322834 15379423232 32279 33554432000 4194304 4196468 140728023316704 140503020125200 140503224809173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13252] ppid=13245 vsize=15018968 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13252/stat : 13252 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15379423232 32279 33554432000 4194304 4196468 140728023316704 140503019072400 140503224809173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13253] ppid=13245 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13253/stat : 13253 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405322834 15379423232 32279 33554432000 4194304 4196468 140728023316704 140503018019600 140503224809173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13254] ppid=13245 vsize=15018968 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13254/stat : 13254 (java) S 13245 13245 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405322836 15379423232 32279 33554432000 4194304 4196468 140728023316704 140502195198320 140503224810114 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13255] ppid=13245 vsize=15018968 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13255/stat : 13255 (java) S 13245 13245 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405322836 15379423232 32279 33554432000 4194304 4196468 140728023316704 140501802017824 140503224809173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13256] ppid=13245 vsize=15018968 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13256/stat : 13256 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322837 15379423232 32279 33554432000 4194304 4196468 140728023316704 140501533582192 140503224809173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13257] ppid=13245 vsize=15018968 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13257/stat : 13257 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405322839 15379423232 32279 33554432000 4194304 4196468 140728023316704 140501159073616 140503224817563 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13258] ppid=13245 vsize=15018968 memory=11624 CPUtime=0.06 cores=0,2,4,6
/proc/13248/task/13258/stat : 13258 (java) S 13245 13245 8853 0 -1 1077944384 614 0 0 0 6 0 0 0 20 0 15 0 405322839 15379423232 32279 33554432000 4194304 4196468 140728023316704 140502194146160 140503224810114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13259] ppid=13245 vsize=15018968 memory=732 CPUtime=0.06 cores=0,2,4,6
/proc/13248/task/13259/stat : 13259 (java) S 13245 13245 8853 0 -1 1077944384 337 0 0 0 6 0 0 0 20 0 15 0 405322839 15379423232 32279 33554432000 4194304 4196468 140728023316704 140502193093360 140503224810114 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13260] ppid=13245 vsize=15018968 memory=776 CPUtime=0.13 cores=0,2,4,6
/proc/13248/task/13260/stat : 13260 (java) S 13245 13245 8853 0 -1 1077944384 556 0 0 0 13 0 0 0 20 0 15 0 405322839 15379423232 32279 33554432000 4194304 4196468 140728023316704 140502192040560 140503224810114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13261] ppid=13245 vsize=15018968 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13261/stat : 13261 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405322839 15379423232 32279 33554432000 4194304 4196468 140728023316704 140500661168864 140503224809173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
[pid=13248/tid=13262] ppid=13245 vsize=15018968 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/13248/task/13262/stat : 13262 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405322840 15379423232 32279 33554432000 4194304 4196468 140728023316704 140502190987952 140503224810114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31707136 140728023323374 140728023323802 140728023323802 140728023326671 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130512 KiB

[startup+1.50167 s]
/proc/loadavg: 4.75 3.99 3.04 3/236 13262
/proc/meminfo: memFree=13595796/32770624 swapFree=66957008/67108860
[pid=13245] ppid=13242 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13245/stat : 13245 (scop.sh) S 13242 13245 8853 0 -1 4202496 558 320 0 1 0 0 0 0 20 0 1 0 405322830 115843072 349 33554432000 4194304 5098028 140726674113216 140726674110472 140302415311484 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33533952 140726674117416 140726674117744 140726674117744 140726674120653 0
/proc/13245/statm: 28282 349 296 221 0 87 0

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


[startup+4.00085 s]*
/proc/loadavg: 4.61 3.97 3.04 3/241 13283
/proc/meminfo: memFree=13545800/32770624 swapFree=66957008/67108860
[pid=13245] ppid=13242 vsize=113128 memory=1476 CPUtime=5.1 cores=0,2,4,6
/proc/13245/stat : 13245 (scop.sh) S 13242 13245 8853 0 -1 4202496 585 25195 0 1 0 0 486 24 20 0 1 0 405322830 115843072 369 33554432000 4194304 5098028 140726674113216 140726674109960 140302415311484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33533952 140726674117416 140726674117744 140726674117744 140726674120653 0
/proc/13245/statm: 28282 369 311 221 0 87 0
[pid=13263] ppid=13245 vsize=8068440 memory=119332 CPUtime=1.15 cores=0,2,4,6
/proc/13263/stat : 13263 (java) S 13245 13245 8853 0 -1 1077944320 19808 0 0 0 109 6 0 0 20 0 19 0 405323088 8262082560 29833 33554432000 4194304 4196468 140728263473824 140728263456368 139955073462007 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
/proc/13263/statm: 2017110 29833 3201 1 0 1978454 0
[pid=13278] ppid=13263 vsize=84792 memory=66136 CPUtime=0.71 cores=0,2,4,6
/proc/13278/stat : 13278 (glueminisat-sim) R 13263 13245 8853 0 -1 4202496 14589 0 0 0 69 2 0 0 20 0 1 0 405323160 86827008 16534 33554432000 4194304 4452875 140726300716592 140726300711160 4242638 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 35266560 140726300722015 140726300722215 140726300722215 140726300725165 0
/proc/13278/statm: 21198 16534 350 64 0 17402 0
[pid=13263/tid=13264] ppid=13245 vsize=8068440 memory=-7824251494390847337 CPUtime=0.74 cores=0,2,4,6
/proc/13263/task/13264/stat : 13264 (java) S 13245 13245 8853 0 -1 1077944384 16866 0 0 0 70 4 0 0 20 0 19 0 405323088 8262082560 29833 33554432000 4194304 4196468 140728263473824 139955045302176 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13265] ppid=13245 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13265/stat : 13265 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405323090 8262082560 29833 33554432000 4194304 4196468 140728263473824 139955077703952 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13266] ppid=13245 vsize=8068440 memory=8102582802668073008 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13266/stat : 13266 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405323090 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954877872528 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13267] ppid=13245 vsize=8068440 memory=2319670674143064607 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13267/stat : 13267 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405323090 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954876819984 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13268] ppid=13245 vsize=8068440 memory=2319528845816854192 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13268/stat : 13268 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405323090 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954875767440 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13269] ppid=13245 vsize=8068440 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13269/stat : 13269 (java) S 13245 13245 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405323091 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954452650480 139955073473154 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13270] ppid=13245 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13270/stat : 13270 (java) S 13245 13245 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405323091 8262082560 29833 33554432000 4194304 4196468 140728263473824 139953925252512 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13271] ppid=13245 vsize=8068440 memory=139646650573521 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13271/stat : 13271 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405323092 8262082560 29833 33554432000 4194304 4196468 140728263473824 139953656817136 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13272] ppid=13245 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13272/stat : 13272 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405323094 8262082560 29833 33554432000 4194304 4196468 140728263473824 139953282308816 139955073480603 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13273] ppid=13245 vsize=8068440 memory=2314885530434294610 CPUtime=0.08 cores=0,2,4,6
/proc/13263/task/13273/stat : 13273 (java) S 13245 13245 8853 0 -1 1077944384 634 0 0 0 8 0 0 0 20 0 19 0 405323094 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954451597296 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13274] ppid=13245 vsize=8068440 memory=3905658962558547616 CPUtime=0.09 cores=0,2,4,6
/proc/13263/task/13274/stat : 13274 (java) S 13245 13245 8853 0 -1 1077944384 409 0 0 0 9 0 0 0 20 0 19 0 405323094 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954450544752 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13275] ppid=13245 vsize=8068440 memory=2314885530434299255 CPUtime=0.19 cores=0,2,4,6
/proc/13263/task/13275/stat : 13275 (java) S 13245 13245 8853 0 -1 1077944384 507 0 0 0 19 0 0 0 20 0 19 0 405323094 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954449492208 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13276] ppid=13245 vsize=8068440 memory=8098024451839713474 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13276/stat : 13276 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405323094 8262082560 29833 33554432000 4194304 4196468 140728263473824 139952784403040 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13277] ppid=13245 vsize=8068440 memory=2314885530434291027 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13277/stat : 13277 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405323095 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954448440112 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13279] ppid=13245 vsize=8068440 memory=4786094092787414688 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13279/stat : 13279 (java) S 13245 13245 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405323160 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954440406592 139955073486617 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13281] ppid=13245 vsize=8068440 memory=664952099383891465 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13281/stat : 13281 (java) S 13245 13245 8853 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405323160 8262082560 29833 33554432000 4194304 4196468 140728263473824 139952247517328 139955073483933 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13282] ppid=13245 vsize=8068440 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13282/stat : 13282 (java) S 13245 13245 8853 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405323160 8262082560 29833 33554432000 4194304 4196468 140728263473824 139952113294608 139955073483933 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13283] ppid=13245 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13283/stat : 13283 (java) S 13245 13245 8853 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405323163 8262082560 29833 33554432000 4194304 4196468 140728263473824 139952381746224 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
Current children cumulated CPU time: 6.96 s
Current children cumulated vsize: 8266360 KiB
Current children cumulated memory: 186944 KiB

[startup+4.40106 s]
/proc/loadavg: 4.61 3.97 3.04 3/241 13283
/proc/meminfo: memFree=13545800/32770624 swapFree=66957008/67108860
[pid=13245] ppid=13242 vsize=113128 memory=1476 CPUtime=5.1 cores=0,2,4,6
/proc/13245/stat : 13245 (scop.sh) S 13242 13245 8853 0 -1 4202496 585 25195 0 1 0 0 486 24 20 0 1 0 405322830 115843072 369 33554432000 4194304 5098028 140726674113216 140726674109960 140302415311484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33533952 140726674117416 140726674117744 140726674117744 140726674120653 0
/proc/13245/statm: 28282 369 311 221 0 87 0
[pid=13263] ppid=13245 vsize=8068440 memory=119332 CPUtime=1.15 cores=0,2,4,6
/proc/13263/stat : 13263 (java) S 13245 13245 8853 0 -1 1077944320 19809 0 0 0 109 6 0 0 20 0 19 0 405323088 8262082560 29833 33554432000 4194304 4196468 140728263473824 140728263456368 139955073462007 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
/proc/13263/statm: 2017110 29833 3201 1 0 1978454 0
[pid=13278] ppid=13263 vsize=99592 memory=70592 CPUtime=1.09 cores=0,2,4,6
/proc/13278/stat : 13278 (glueminisat-sim) R 13263 13245 8853 0 -1 4202496 15469 0 0 0 107 2 0 0 20 0 1 0 405323160 101982208 17648 33554432000 4194304 4452875 140726300716592 140726300711672 4399114 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 35266560 140726300722015 140726300722215 140726300722215 140726300725165 0
/proc/13278/statm: 24898 17648 353 64 0 21102 0
[pid=13263/tid=13264] ppid=13245 vsize=8068440 memory=7669179835564254528 CPUtime=0.74 cores=0,2,4,6
/proc/13263/task/13264/stat : 13264 (java) S 13245 13245 8853 0 -1 1077944384 16866 0 0 0 70 4 0 0 20 0 19 0 405323088 8262082560 29833 33554432000 4194304 4196468 140728263473824 139955045302176 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13265] ppid=13245 vsize=8068440 memory=7649399397183271729 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13265/stat : 13265 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405323090 8262082560 29833 33554432000 4194304 4196468 140728263473824 139955077703952 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13266] ppid=13245 vsize=8068440 memory=7649399358545343281 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13266/stat : 13266 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405323090 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954877872528 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13267] ppid=13245 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13267/stat : 13267 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405323090 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954876819984 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13268] ppid=13245 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13268/stat : 13268 (java) S 13245 13245 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405323090 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954875767440 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13269] ppid=13245 vsize=8068440 memory=119332 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13269/stat : 13269 (java) S 13245 13245 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405323091 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954452650480 139955073473154 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13270] ppid=13245 vsize=8068440 memory=279292999390464 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13270/stat : 13270 (java) S 13245 13245 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405323091 8262082560 29833 33554432000 4194304 4196468 140728263473824 139953925252512 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13271] ppid=13245 vsize=8068440 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13271/stat : 13271 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405323092 8262082560 29833 33554432000 4194304 4196468 140728263473824 139953656817136 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13272] ppid=13245 vsize=8068440 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13272/stat : 13272 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405323094 8262082560 29833 33554432000 4194304 4196468 140728263473824 139953282308816 139955073480603 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13273] ppid=13245 vsize=8068440 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/13263/task/13273/stat : 13273 (java) S 13245 13245 8853 0 -1 1077944384 634 0 0 0 8 0 0 0 20 0 19 0 405323094 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954451597296 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13274] ppid=13245 vsize=8068440 memory=6655300316396806240 CPUtime=0.09 cores=0,2,4,6
/proc/13263/task/13274/stat : 13274 (java) S 13245 13245 8853 0 -1 1077944384 409 0 0 0 9 0 0 0 20 0 19 0 405323094 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954450544752 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13275] ppid=13245 vsize=8068440 memory=6944656575208382560 CPUtime=0.19 cores=0,2,4,6
/proc/13263/task/13275/stat : 13275 (java) S 13245 13245 8853 0 -1 1077944384 507 0 0 0 19 0 0 0 20 0 19 0 405323094 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954449492208 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13276] ppid=13245 vsize=8068440 memory=4137282578176515228 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13276/stat : 13276 (java) S 13245 13245 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405323094 8262082560 29833 33554432000 4194304 4196468 140728263473824 139952784403040 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13277] ppid=13245 vsize=8068440 memory=6944656592385698452 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13277/stat : 13277 (java) S 13245 13245 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405323095 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954448440112 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13279] ppid=13245 vsize=8068440 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13279/stat : 13279 (java) S 13245 13245 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405323160 8262082560 29833 33554432000 4194304 4196468 140728263473824 139954440406592 139955073486617 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13281] ppid=13245 vsize=8068440 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13281/stat : 13281 (java) S 13245 13245 8853 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405323160 8262082560 29833 33554432000 4194304 4196468 140728263473824 139952247517328 139955073483933 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13282] ppid=13245 vsize=8068440 memory=6944656425122700657 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13282/stat : 13282 (java) S 13245 13245 8853 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405323160 8262082560 29833 33554432000 4194304 4196468 140728263473824 139952113294608 139955073483933 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13283] ppid=13245 vsize=8068440 memory=7679373425970869011 CPUtime=0 cores=0,2,4,6
/proc/13263/task/13283/stat : 13283 (java) S 13245 13245 8853 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405323163 8262082560 29833 33554432000 4194304 4196468 140728263473824 139952381746224 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
Current children cumulated CPU time: 7.34 s
Current children cumulated vsize: 8281160 KiB
Current children cumulated memory: 191400 KiB

[startup+4.60572 s]
/proc/loadavg: 4.61 3.97 3.04 3/241 13283
/proc/meminfo: memFree=13545800/32770624 swapFree=66957008/67108860
[pid=13245] ppid=13242 vsize=113128 memory=1476 CPUtime=5.1 cores=0,2,4,6
/proc/13245/stat : 13245 (scop.sh) S 13242 13245 8853 0 -1 4202496 585 25195 0 1 0 0 486 24 20 0 1 0 405322830 115843072 369 33554432000 4194304 5098028 140726674113216 140726674109960 140302415311484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33533952 140726674117416 140726674117744 140726674117744 140726674120653 0
/proc/13245/statm: 28282 369 311 221 0 87 0
[pid=13263] ppid=13245 vsize=7937364 memory=129776 CPUtime=2.63 cores=0,2,4,6
/proc/13263/stat : 13263 (java) S 13245 13245 8853 0 -1 1077944320 20817 15538 0 0 139 7 113 4 20 0 17 0 405323088 8127860736 32444 33554432000 4194304 4196468 140728263473824 140728263456368 139955073462007 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
/proc/13263/statm: 1984341 32444 3223 1 0 1945685 0
[pid=13263/tid=13264] ppid=13245 vsize=7937364 memory=6791534058613427641 CPUtime=1.98 cores=0,2,4,6
/proc/13263/task/13264/stat : 13264 (java) R 13245 13245 8853 0 -1 4202560 17118 15538 0 0 76 5 113 4 20 0 17 0 405323088 8127860736 32444 33554432000 4194304 4196468 140728263473824 139955045277728 139955055025545 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13265] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13265/stat : 13265 (java) S 13245 13245 8853 0 -1 1077944384 1 15538 0 0 0 0 113 4 20 0 17 0 405323090 8127860736 32444 33554432000 4194304 4196468 140728263473824 139955077703952 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13266] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13266/stat : 13266 (java) S 13245 13245 8853 0 -1 1077944384 1 15538 0 0 0 0 113 4 20 0 17 0 405323090 8127860736 32444 33554432000 4194304 4196468 140728263473824 139954877872528 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13267] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13267/stat : 13267 (java) S 13245 13245 8853 0 -1 1077944384 1 15538 0 0 0 0 113 4 20 0 17 0 405323090 8127860736 32444 33554432000 4194304 4196468 140728263473824 139954876819984 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13268] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13268/stat : 13268 (java) S 13245 13245 8853 0 -1 1077944384 2 15538 0 0 0 0 113 4 20 0 17 0 405323090 8127860736 32444 33554432000 4194304 4196468 140728263473824 139954875767440 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13269] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13269/stat : 13269 (java) S 13245 13245 8853 0 -1 1077944384 5 15538 0 0 0 0 113 4 20 0 17 0 405323091 8127860736 32444 33554432000 4194304 4196468 140728263473824 139954452650480 139955073473154 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13270] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13270/stat : 13270 (java) S 13245 13245 8853 0 -1 1077944384 13 15538 0 0 0 0 113 4 20 0 17 0 405323091 8127860736 32444 33554432000 4194304 4196468 140728263473824 139953925252512 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13271] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13271/stat : 13271 (java) S 13245 13245 8853 0 -1 1077944384 1 15538 0 0 0 0 113 4 20 0 17 0 405323092 8127860736 32444 33554432000 4194304 4196468 140728263473824 139953656817136 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13272] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13272/stat : 13272 (java) S 13245 13245 8853 0 -1 1077944384 3 15538 0 0 0 0 113 4 20 0 17 0 405323094 8127860736 32444 33554432000 4194304 4196468 140728263473824 139953282308816 139955073480603 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13273] ppid=13245 vsize=7937364 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/13263/task/13273/stat : 13273 (java) S 13245 13245 8853 0 -1 1077944384 654 15538 0 0 13 0 113 4 20 0 17 0 405323094 8127860736 32444 33554432000 4194304 4196468 140728263473824 139954451597296 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13274] ppid=13245 vsize=7937364 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/13263/task/13274/stat : 13274 (java) S 13245 13245 8853 0 -1 1077944384 445 15538 0 0 15 0 113 4 20 0 17 0 405323094 8127860736 32444 33554432000 4194304 4196468 140728263473824 139954450544752 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13275] ppid=13245 vsize=7937364 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/13263/task/13275/stat : 13275 (java) S 13245 13245 8853 0 -1 1077944384 649 15538 0 0 25 0 113 4 20 0 17 0 405323094 8127860736 32444 33554432000 4194304 4196468 140728263473824 139954449492208 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13276] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13276/stat : 13276 (java) S 13245 13245 8853 0 -1 1077944384 3 15538 0 0 0 0 113 4 20 0 17 0 405323094 8127860736 32444 33554432000 4194304 4196468 140728263473824 139952784403040 139955073472213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13277] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13277/stat : 13277 (java) S 13245 13245 8853 0 -1 1077944384 2 15538 0 0 0 0 113 4 20 0 17 0 405323095 8127860736 32444 33554432000 4194304 4196468 140728263473824 139954448440112 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13279] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13279/stat : 13279 (java) S 13245 13245 8853 0 -1 1077944384 25 15538 0 0 0 0 113 4 20 0 17 0 405323160 8127860736 32444 33554432000 4194304 4196468 140728263473824 139954440405776 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
[pid=13263/tid=13283] ppid=13245 vsize=7937364 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/13263/task/13283/stat : 13283 (java) S 13245 13245 8853 0 -1 1077944384 29 15538 0 0 0 0 113 4 20 0 17 0 405323163 8127860736 32444 33554432000 4194304 4196468 140728263473824 139952381748016 139955073473154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38801408 140728263476219 140728263476378 140728263476378 140728263479247 0
Current children cumulated CPU time: 7.73 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 131252 KiB

[startup+4.70086 s]
/proc/loadavg: 4.61 3.97 3.04 3/241 13283
/proc/meminfo: memFree=13545800/32770624 swapFree=66957008/67108860
[pid=13245] ppid=13242 vsize=113128 memory=1476 CPUtime=5.1 cores=0,2,4,6
/proc/13245/stat : 13245 (scop.sh) S 13242 13245 8853 0 -1 4202496 585 25195 0 1 0 0 486 24 20 0 1 0 405322830 115843072 369 33554432000 4194304 5098028 140726674113216 140726674109960 140302415311484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33533952 140726674117416 140726674117744 140726674117744 140726674120653 0
/proc/13245/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 4.74163
CPU time (s): 7.87392
CPU user time (s): 7.4992
CPU system time (s): 0.374712
CPU usage (%): 166.059
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 900428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.4992
system time used= 0.374712
maximum resident set size= 904492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62342
page faults= 1
swaps= 0
block input operations= 32
block output operations= 14472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5083
involuntary context switches= 28


# summary of solver processes directly reported to runsolver:
#   pid: 13245
#   total CPU time (s): 7.87392
#   total CPU user time (s): 7.4992
#   total CPU system time (s): 0.374712

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051624 second user time and 0.09876 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-12 15:14:07
IDJOB=4388025
IDBENCH=133313
IDSOLVER=2825
FILE ID=node147/4388025-1568294090
RUNJOBID= node147-1568286038-9751
PBS_JOBID= 21701064
Free space on /tmp= 50764 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p25/Primes-25-20-3-1.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-4388025-1568294090/watcher-4388025-1568294090 -o /tmp/evaluation-result-4388025-1568294090/solver-4388025-1568294090 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388025-1568294090.xml

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

MD5SUM BENCH= cc05f472d5f8180cd89c35370563cdd2
RANDOM SEED=183482288

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        13725424 kB
MemAvailable:   28069992 kB
Buffers:          122268 kB
Cached:         14290928 kB
SwapCached:        48504 kB
Active:          7473636 kB
Inactive:       10731232 kB
Active(anon):    3740544 kB
Inactive(anon):    92648 kB
Active(file):    3733092 kB
Inactive(file): 10638584 kB
Unevictable:      107624 kB
Mlocked:          107624 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:             20408 kB
Writeback:             0 kB
AnonPages:       3852248 kB
Mapped:            55168 kB
Shmem:             32764 kB
Slab:             430736 kB
SReclaimable:     401352 kB
SUnreclaim:        29384 kB
KernelStack:        3856 kB
PageTables:        12944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9956828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1085440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 50744 MiB
End job on node147 at 2019-09-12 15:14:11