Trace number 4388040

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 211.402 137.013

General information on the benchmark

NamePrimes/
Primes-m1-p15/Primes-15-20-2-7.xml
MD5SUMd26c1a16a8e9a423ebbeb7c1b2e2b431
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.008024
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Number of domains1
Minimum domain size46
Maximum domain size46
Distribution of domain sizes[{"size":46,"count":76}]
Minimum variable degree0
Maximum variable degree5
Distribution of variable degrees[{"degree":0,"count":24},{"degree":1,"count":44},{"degree":2,"count":15},{"degree":3,"count":11},{"degree":4,"count":5},{"degree":5,"count":1}]
Minimum constraint arity3
Maximum constraint arity9
Distribution of constraint arities[{"arity":3,"count":2},{"arity":4,"count":3},{"arity":6,"count":4},{"arity":7,"count":2},{"arity":8,"count":5},{"arity":9,"count":4}]
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.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-11363-serial-file.bin HOME/instance-4388040-1568294643.xml
0.64/0.54	
0.64/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.64/0.54	
0.64/0.56	c BEGIN-Prog: Thu Sep 12 15:23:24 CEST 2019
0.64/0.56	c PID: 11366
0.64/0.56	c IP: 172.20.3.150
0.64/0.56	c HOST: node150.alineos.net
0.64/0.57	c (0,0) Parsing Begin
1.15/0.86	c (0,0) Parsing End
1.15/0.87	c (0,0) CSP: 76 int (0 aux), 0 bool (0 aux), 20 ctr, max domain size 46
1.15/0.87	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.15/0.87	c (0,0) Constraint Name Generate Begin
1.15/0.87	c (0,0) Ctr:HOME/instance-4388040-1568294643.xml,Num:Var:WeightedSum
1.15/0.87	c (0,0) Constraint Name Generate End
1.15/0.87	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.15/0.87	c (0,0) CSP to CSPinCNF Begin
1.34/0.96	c (0,0) translated 2 (10%) constraints
1.34/0.97	c (0,0) translated 4 (20%) constraints
1.34/0.98	c (0,0) translated 6 (30%) constraints
1.34/0.99	c (0,0) translated 8 (40%) constraints
1.34/0.99	c (0,0) translated 10 (50%) constraints
1.34/1.00	c (0,0) translated 12 (60%) constraints
1.34/1.00	c (0,0) translated 14 (70%) constraints
1.54/1.01	c (0,0) translated 16 (80%) constraints
1.54/1.01	c (0,0) translated 18 (90%) constraints
1.54/1.02	c (0,0) translated 20 (100%) constraints
1.54/1.02	c (0,0) ===========================================
1.54/1.02	c (0,0) Order
1.54/1.02	c (0,0) ===========================================
1.54/1.05	c (0,0) translated 2 (10%) constraints
1.54/1.07	c (0,0) translated 4 (20%) constraints
1.54/1.07	c (0,0) translated 6 (30%) constraints
1.54/1.08	c (0,0) translated 8 (40%) constraints
1.54/1.09	c (0,0) translated 10 (50%) constraints
1.54/1.10	c (0,0) translated 12 (60%) constraints
1.54/1.11	c (0,0) translated 14 (70%) constraints
1.80/1.12	c (0,0) translated 16 (80%) constraints
1.80/1.13	c (0,0) translated 18 (90%) constraints
1.80/1.13	c (0,0) translated 20 (100%) constraints
1.80/1.14	c (0,0) CSP to CSPinCNF End
1.80/1.14	c (0,0) CSP: 148 int (72 aux), 0 bool (0 aux), 184 ctr, max domain size 4239
1.80/1.14	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.80/1.14	c (0,0) CSPinCNF Propagation Begin
1.80/1.16	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.80/1.16	c (0,0) CSPinCNF Propagation End
1.80/1.16	c (0,0) CSP: 148 int (72 aux), 0 bool (0 aux), 184 ctr, max domain size 4239
1.80/1.16	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.80/1.16	c (0,0) Simplify CSPinCNF Begin
1.80/1.16	c (0,0) Simplify CSPinCNF End
1.80/1.17	c (0,0) CSP: 148 int (72 aux), 0 bool (0 aux), 184 ctr, max domain size 4239
1.80/1.17	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.80/1.17	c (0,0) Calculate Precise Domain Begin
2.78/1.55	c (1,1) 17632 values are removed by re-calculation
2.78/1.55	c (1,1) Calculate Precise Domain End
2.78/1.55	c (1,1) CSP: 148 int (72 aux), 0 bool (0 aux), 184 ctr, max domain size 4005
2.78/1.55	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.78/1.55	c (1,1) CSPinCNF to SatSolver Begin
70.39/37.61	c (37,24) 19 (10 %) CSP clauses are encoded (0 SAT variables, 17400939 SAT clauses)
101.74/53.68	c (53,35) 37 (20 %) CSP clauses are encoded (0 SAT variables, 25441650 SAT clauses)
117.12/64.81	c (64,42) 56 (30 %) CSP clauses are encoded (0 SAT variables, 30877925 SAT clauses)
126.52/70.72	c (70,47) 74 (40 %) CSP clauses are encoded (0 SAT variables, 34368763 SAT clauses)
132.51/76.06	c (75,51) 92 (50 %) CSP clauses are encoded (0 SAT variables, 37070579 SAT clauses)
152.22/88.58	c (88,60) 111 (60 %) CSP clauses are encoded (0 SAT variables, 43943896 SAT clauses)
154.09/90.08	c (89,61) 129 (70 %) CSP clauses are encoded (0 SAT variables, 44948848 SAT clauses)
165.73/99.57	c (99,69) 148 (80 %) CSP clauses are encoded (0 SAT variables, 50586728 SAT clauses)
184.53/111.09	c (110,77) 166 (90 %) CSP clauses are encoded (0 SAT variables, 56444084 SAT clauses)
185.93/112.40	c (111,78) 184 (100 %) CSP clauses are encoded (0 SAT variables, 57387828 SAT clauses)
185.93/112.41	c (111,78) CSPinCNF to SatSolver End
185.93/112.41	c (111,78) Heap : 8282 MiB used (max 10544 MiB), NonHeap : 26 MiB used (max 0 MiB)
185.93/112.41	c (111,78) 116582 bool, 57389943 clause
185.93/112.41	c (111,78) Export Begin
185.93/112.49	c (111,78) Export to HOME/scop-11363-serial-file.bin
185.93/112.49	c (111,78) Export End
185.93/112.50	c (111,78) Export File Size: 0.01 MB
185.93/112.50	c (111,78) 0,0,0,0,0,1,111,STOP-AFTER(DIMACS)
185.93/112.50	c END-Prog: Thu Sep 12 15:25:16 CEST 2019
186.11/112.56	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11363-serial-file.bin
186.74/113.02	c (0,0) Read Serial File Begin
186.74/113.02	c (0,0) HOME/scop-11363-serial-file.bin
187.02/113.22	c (0,0) Read Serial File End
187.02/113.23	
187.02/113.23	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
187.02/113.23	(Solving Process)
187.02/113.23	
187.02/113.26	c BEGIN-Prog: Thu Sep 12 15:25:17 CEST 2019
187.02/113.26	c PID: 11389
187.02/113.26	c IP: 172.20.3.150
187.02/113.26	c HOST: node150.alineos.net
187.02/113.26	c (0,0) SatSolver.solve Begin
187.02/113.26	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388040-1568294643.xml-scop-11366.cnf
187.02/113.29	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
187.02/113.29	c (0,0) c glueminisat-simp-2.2.10-193oa-n
187.02/113.29	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388040-1568294643.xml-scop-11366.cnf 
187.02/113.29	c (0,0) c Options:
187.02/113.29	c (0,0) c CORE
187.02/113.29	c (0,0) c  var_decay             = 0.950
187.02/113.29	c (0,0) c  clause_decay          = 0.999
187.02/113.29	c (0,0) c  random_var_freq       = 0.000
187.02/113.29	c (0,0) c  random_seed           = 91648253.000
187.02/113.29	c (0,0) c  luby_restart          = 1
187.02/113.29	c (0,0) c  ccmin_mode            = 2
187.02/113.29	c (0,0) c  phase_saving          = 2
187.02/113.29	c (0,0) c  rnd_pol               = 0
187.02/113.29	c (0,0) c  rnd_init_act          = 0
187.02/113.29	c (0,0) c  garbage_frac          = 0.200
187.02/113.29	c (0,0) c  restart_first         = 1000
187.02/113.29	c (0,0) c  restart_inc           = 2.000
187.02/113.29	c (0,0) c MODEL
187.02/113.29	c (0,0) c  partial_model         = 0
187.02/113.29	c (0,0) c PROPAGATION
187.02/113.29	c (0,0) c  bin_propagation       = 1
187.02/113.29	c (0,0) c SIMPLIFICATION
187.02/113.29	c (0,0) c  lrn_min_size          = 100
187.02/113.29	c (0,0) c  lazy_simp             = 1
187.02/113.29	c (0,0) c  lazy_interval         = 10
187.02/113.29	c (0,0) c  lazy_fld_probing      = 1
187.02/113.29	c (0,0) c  lazy_pol_probing      = 1
187.02/113.29	c (0,0) c  lazy_nec_probing      = 1
187.02/113.29	c (0,0) c  lazy_eqv_probing      = 1
187.02/113.29	c (0,0) c  lazy_cla_probing      = 1
187.02/113.29	c (0,0) c  lazy_lrn_min          = 2
187.02/113.29	c (0,0) c  lazy_uw_lit_elim      = 1
187.02/113.29	c (0,0) c  lazy_pr_lit_elim      = 0
187.02/113.29	c (0,0) c  lazy_bin_add          = 3
187.02/113.29	c (0,0) c  probed_lit_chain      = 1
187.02/113.29	c (0,0) c  pr_min_lits           = 0.00020
187.02/113.29	c (0,0) c  pr_min_starts         = 500
187.02/113.29	c (0,0) c  rw_min_lits           = 0.010
187.02/113.29	c (0,0) c  rw_min_starts         = 500
188.08/114.16	c (0,0) c  rand_attach           = 0
188.08/114.16	c (0,0) c  dec_elim              = 1
188.08/114.16	c (0,0) c  dec_elim_lim          = 25
188.08/114.16	c (0,0) c  dec_elim_len          = -1
188.08/114.16	c (0,0) c  amo                   = 0
188.08/114.16	c (0,0) c  amo_grp               = 1
188.08/114.16	c (0,0) c  amo_max_bins          = 1000000
188.08/114.16	c (0,0) c  amo_starts            = 50
188.08/114.16	c (0,0) c  mace_cmd              = mace
188.08/114.16	c (0,0) c DECISION
188.08/114.16	c (0,0) c  rand_rebuild          = 0
188.08/114.16	c (0,0) c  rand_rebuild_confs    = 10000
188.08/114.16	c (0,0) c  inc_var_decay         = 1
188.08/114.16	c (0,0) c  inc_var_decay_period  = 100000
188.08/114.16	c (0,0) c  inc_var_decay_init    = 0.600
188.08/114.16	c (0,0) c  var_decay_mode        = 0
188.08/114.16	c (0,0) c  var_decay_gain        = 0
188.08/114.16	c (0,0) c  sloped_var_decay      = 1
188.08/114.16	c (0,0) c  max_var_decay         = 0.990
188.08/114.16	c (0,0) c  min_var_decay         = 0.950
188.08/114.16	c (0,0) c  min_var_decay_vars    = 10000
188.08/114.16	c (0,0) c  max_var_decay_vars    = 500
188.08/114.16	c (0,0) c  uip_bumping           = 1
188.08/114.16	c (0,0) c  lbd_act_bumping       = 1
188.08/114.16	c (0,0) c  rand_tiebreak         = 0
188.08/114.16	c (0,0) c  simp_rebuild          = 1
188.08/114.16	c (0,0) c RESTART
188.08/114.16	c (0,0) c  restart_strategy      = 2
188.08/114.16	c (0,0) c  restart_blocking      = 0
188.08/114.16	c (0,0) c  agility_decay         = 0.99990
188.08/114.16	c (0,0) c  lbd_restart_rate      = 0.800
188.08/114.16	c (0,0) c  dec_restart_rate      = 0.950
188.08/114.16	c (0,0) c  blk_restart_rate      = 0.700
188.08/114.16	c (0,0) c  lbd_queue_size        = 50
188.08/114.16	c (0,0) c  dec_queue_size        = 50
188.08/114.16	c (0,0) c  trl_queue_size        = 5000
188.08/114.16	c (0,0) c  blk_restart_weight    = 1.000
188.08/114.16	c (0,0) c  inc_rst_rate          = 0
188.08/114.16	c (0,0) c  inc_rst_rate_period   = 500000
188.08/114.16	c (0,0) c  inc_lbd_rst_rate_init = 0.600
188.08/114.16	c (0,0) c  inc_dec_rst_rate_init = 0.750
188.08/114.16	c (0,0) c REDUCTION
188.08/114.16	c (0,0) c  closed_lbd            = 0
188.08/114.16	c (0,0) c  closed_lbd_rate       = 0.500
188.08/114.16	c (0,0) c  rm_simulate           = 0
188.08/114.16	c (0,0) c  rdb_eval              = 2
188.08/114.16	c (0,0) c  rdb_call              = 3
188.08/114.16	c (0,0) c  rdb_ub                = 0.500
188.08/114.16	c (0,0) c  core_lbd_cvr          = 0.800
188.08/114.16	c (0,0) c  supp_lbd_cvr          = 0.990
188.08/114.16	c (0,0) c  core_lbd_lb           = 2
188.08/114.16	c (0,0) c  supp_lbd_lb           = 2
188.08/114.16	c (0,0) c  core_lbd_prd          = 7
188.08/114.16	c (0,0) c  supp_lbd_prd          = 1
188.08/114.16	c (0,0) c  othr_lbd_prd          = 0
188.08/114.16	c (0,0) c  inc_lrn_limit         = 1000
188.08/114.16	c (0,0) c  frozen_lbd            = 30
188.08/114.16	c (0,0) c  simp_min_starts       = 100
188.08/114.16	c (0,0) c  rm_low_act_learnts    = 1
188.08/114.16	c (0,0) c  lv0_reduce_db         = 0
188.08/114.16	c (0,0) c  reduce_db_base        = 20000
188.08/114.16	c (0,0) c  reduce_db_inc         = 1000
188.08/114.16	c (0,0) c HARD
188.08/114.16	c (0,0) c  inst_check            = 200000
188.08/114.16	c (0,0) c  small_block           = 1.750
188.08/114.16	c (0,0) c  slow_restart_speed    = 400.000
188.08/114.16	c (0,0) c  slow_restart_strategy = 3
188.08/114.16	c (0,0) c  slow_lbd_restart_rate = 0.700
188.08/114.16	c (0,0) c  slow_dec_restart_rate = 1.000
188.08/114.16	c (0,0) c  slow_lbd_queue_size   = 50
188.08/114.16	c (0,0) c  slow_var_decay        = 0.950
188.08/114.16	c (0,0) c  slow_glue_threshold   = 2
188.08/114.16	c (0,0) c  slow_phase_saving     = 2
188.08/114.16	c (0,0) c  fast_restart_speed    = 125.000
188.08/114.16	c (0,0) c  fast_restart_strategy = 1
188.08/114.16	c (0,0) c  fast_lbd_restart_rate = 0.800
188.08/114.16	c (0,0) c  fast_dec_restart_rate = 0.950
188.08/114.16	c (0,0) c  fast_lbd_queue_size   = 50
188.08/114.16	c (0,0) c  fast_var_decay        = 1.000
188.08/114.16	c (0,0) c  fast_glue_threshold   = 2
188.08/114.16	c (0,0) c  fast_phase_saving     = 2
188.08/114.17	c (0,0) c STATS
188.08/114.17	c (0,0) c  stats_conf_size       = 10000
188.08/114.17	c (0,0) c  max_stats_size        = 30
188.08/114.17	c (0,0) c SOLVER
188.08/114.17	c (0,0) c  minisat               = 0
204.09/130.13	c (17,0) WARNING! DIMACS header mismatch: wrong number of variables.
204.09/130.13	c (17,0) c Problem: 116583 variables, 57389943 clauses, parsing 15.41 s
205.78/131.84	c (18,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
209.19/135.27	c (22,0) c Simplification: 0 vars, 0 clauses are eliminated using 4.69 s
209.19/135.27	c (22,0) c
209.19/135.27	c (22,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
209.19/135.27	c (22,0) c
209.19/135.27	c (22,0) c   21         0         0   116583 57389943        0   -nan  -nan  -nan -nan%
210.50/136.51	c (23,0) c   23         1        15   116583 57389943       15    8.5   5.1 5852.4 86.1%
210.50/136.52	c (23,0) c
210.50/136.52	c (23,0) c
210.50/136.52	c (23,0) c variables         : 116583      (init 116583, after simp 116583, 0 non-decs, 148 csp)
210.50/136.52	c (23,0) c clauses           : 57389943    (init 57389943, after simp 57389943)
210.50/136.52	c (23,0) c restarts          : 0           (15.00 confs/res, 15~15 confs, 0 blks, 0 last)
210.50/136.52	c (23,0) c conflicts         : 15          (1 /sec, 73.33% dconfs, 0.00% supp, trail 17.16w x 5852.40h, jmp 1.67h)
210.50/136.52	c (23,0) c decisions         : 6107        (0.6000 vdcy, 286 /sec, 0.00% bin, rs 0.000 s)
210.50/136.52	c (23,0) c propagations      : 121443      (5697 /sec, 19.89 lits/dec, 33.73% o.a.)
210.50/136.52	c (23,0) c conflict literals : 155         (17.42% deleted; 0.00% by bin min, 0.000 s)
210.50/136.52	c (23,0) c len               : 8.533       (8.53 for all, max 15, used 9)
210.50/136.52	c (23,0) c lbd               : 5.067       (5.53 (5.07) for all, max 9, used 6, 1.600 stdev, 1.542 blk)
210.50/136.52	c (23,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
210.50/136.52	c (23,0) c simp dbs          : 0           (0.000 s)
210.50/136.52	c (23,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
210.50/136.52	c (23,0) c learnts           : 15          (0 learnts removed, 0.00%)
210.50/136.52	c (23,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
210.50/136.52	c (23,0) c assigned lits     : 0           (0/0 probed, 0 remains)
210.50/136.52	c (23,0) c premise updates   : 0           (0.00 /lit)
210.50/136.52	c (23,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
210.50/136.52	c (23,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
210.50/136.52	c (23,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.002s)
210.50/136.52	c (23,0) c unwatched lit elim: 0           (0.00+0.00%, 0+0 of 171903009+155)
210.50/136.52	c (23,0) c classified type   : undef
210.50/136.52	c (23,0) c progress          : 0.000 %
210.50/136.52	c (23,0) c
210.50/136.52	c (23,0) c [Statistics]
210.50/136.52	c (23,0) c             learnts len        learnts lbd        lit blk size       eq vars size
210.50/136.52	c (23,0) c  tot          15                 15                 83                  0
210.50/136.52	c (23,0) c  avg       8.533              5.067              1.542               -nan
210.50/136.52	c (23,0) c   1            0 ( 0.0%)          0 ( 0.0%)         52 (62.7%)          0 (-nan%)
210.50/136.52	c (23,0) c   2            0 ( 0.0%)          3 (20.0%)         24 (28.9%)          0 (-nan%)
210.50/136.52	c (23,0) c   3            2 (13.3%)          1 ( 6.7%)          3 ( 3.6%)          0 (-nan%)
210.50/136.52	c (23,0) c   4            2 (13.3%)          3 (20.0%)          2 ( 2.4%)          0 (-nan%)
210.50/136.52	c (23,0) c   5            2 (13.3%)          1 ( 6.7%)          1 ( 1.2%)          0 (-nan%)
210.50/136.52	c (23,0) c   6            0 ( 0.0%)          2 (13.3%)          1 ( 1.2%)          0 (-nan%)
210.50/136.52	c (23,0) c   7            0 ( 0.0%)          3 (20.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c   8            1 ( 6.7%)          1 ( 6.7%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c   9            1 ( 6.7%)          1 ( 6.7%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  10            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  11            2 (13.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  12            2 (13.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  13            2 (13.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  14            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  15            1 ( 6.7%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  16            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  17            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  18            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  19            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  20            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  21            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  22            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  23            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  24            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  25            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  26            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  27            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  28            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  29            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c  30            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
210.50/136.52	c (23,0) c
210.50/136.52	c (23,0) c [LBD Statistics]
210.50/136.52	c (23,0) c LBD          used lbd               used clause lbd         unused clause lbd
210.50/136.52	c (23,0) c  tot            5                       5                      10
210.50/136.52	c (23,0) c  avg        3.800                   3.000                   6.100
210.50/136.52	c (23,0) c    1            0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)
210.50/136.52	c (23,0) c    2            2 (40.0/40.0%)          3 (60.0/60.0%)          0 ( 0.0/ 0.0%)
210.50/136.52	c (23,0) c    3            0 ( 0.0/40.0%)          0 ( 0.0/60.0%)          1 (10.0/10.0%)
210.50/136.52	c (23,0) c    4            1 (20.0/60.0%)          1 (20.0/80.0%)          2 (20.0/30.0%)
210.50/136.52	c (23,0) c    5            1 (20.0/80.0%)          1 (20.0/100.0%)          0 ( 0.0/30.0%)
210.50/136.52	c (23,0) c    6            1 (20.0/100.0%)          0 ( 0.0/100.0%)          2 (20.0/50.0%)
210.50/136.52	c (23,0) c    7            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 (30.0/80.0%)
210.50/136.52	c (23,0) c    8            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 (10.0/90.0%)
210.50/136.52	c (23,0) c    9            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 (10.0/100.0%)
210.50/136.52	c (23,0) c
210.50/136.52	c (23,0) c Memory used       : 5158.00 MB
210.50/136.52	c (23,0) c CPU time          : 21.317 s
210.50/136.52	c (23,0) c Real time         : 23.233 s
210.50/136.52	c (23,0) c
210.50/136.52	c (23,0) s SATISFIABLE
187.55/136.70	c (23,0) SatSolver.solve End
187.55/136.70	c (23,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
187.55/136.70	c (23,0) Show results Begin
211.15/136.80	c (23,0) x[0] = 2
211.15/136.80	c (23,0) x[2] = 2
211.15/136.80	c (23,0) x[3] = 6
211.15/136.80	c (23,0) x[4] = 23
211.15/136.80	c (23,0) x[5] = 45
211.15/136.80	c (23,0) x[6] = 2
211.15/136.80	c (23,0) x[7] = 12
211.15/136.80	c (23,0) x[8] = 47
211.15/136.80	c (23,0) x[9] = 2
211.15/136.80	c (23,0) x[10] = 47
211.15/136.80	c (23,0) x[11] = 2
211.15/136.80	c (23,0) x[12] = 2
211.15/136.80	c (23,0) x[13] = 2
211.15/136.80	c (23,0) x[14] = 47
211.15/136.80	c (23,0) x[17] = 7
211.15/136.80	c (23,0) x[19] = 28
211.15/136.80	c (23,0) x[20] = 46
211.15/136.80	c (23,0) x[21] = 15
211.15/136.80	c (23,0) x[23] = 23
211.15/136.80	c (23,0) x[24] = 34
211.15/136.80	c (23,0) x[25] = 46
211.15/136.80	c (23,0) x[26] = 2
211.15/136.80	c (23,0) x[27] = 46
211.15/136.80	c (23,0) x[28] = 32
211.15/136.80	c (23,0) x[29] = 2
211.15/136.80	c (23,0) x[30] = 47
211.15/136.80	c (23,0) x[32] = 47
211.15/136.81	c (23,0) x[33] = 47
211.15/136.81	c (23,0) x[34] = 44
211.15/136.81	c (23,0) x[35] = 23
211.15/136.81	c (23,0) x[36] = 28
211.15/136.81	c (23,0) x[37] = 2
211.15/136.81	c (23,0) x[38] = 47
211.15/136.81	c (23,0) x[39] = 29
211.15/136.81	c (23,0) x[40] = 3
211.15/136.81	c (23,0) x[41] = 2
211.15/136.81	c (23,0) x[43] = 42
211.15/136.81	c (23,0) x[44] = 47
211.15/136.81	c (23,0) x[46] = 46
211.15/136.81	c (23,0) x[47] = 47
211.15/136.81	c (23,0) x[48] = 14
211.15/136.81	c (23,0) x[50] = 7
211.15/136.81	c (23,0) x[53] = 3
211.15/136.81	c (23,0) x[54] = 2
211.15/136.81	c (23,0) x[55] = 33
211.15/136.81	c (23,0) x[56] = 5
211.15/136.81	c (23,0) x[59] = 47
211.15/136.81	c (23,0) x[60] = 47
211.15/136.81	c (23,0) x[61] = 12
211.15/136.81	c (23,0) x[63] = 47
211.15/136.81	c (23,0) x[64] = 47
211.15/136.81	c (23,0) x[65] = 47
211.15/136.81	c (23,0) x[66] = 23
211.15/136.81	c (23,0) x[67] = 17
211.15/136.81	c (23,0) x[69] = 10
211.15/136.81	c (23,0) x[72] = 45
211.15/136.81	c (23,0) x[73] = 34
211.15/136.81	c (23,0) x[74] = 19
211.15/136.81	c (23,0) x[75] = 20
211.15/136.81	c (23,0) x[79] = 47
211.15/136.81	c (23,0) x[81] = 28
211.15/136.81	c (23,0) x[82] = 13
211.15/136.81	c (23,0) x[83] = 45
211.15/136.81	c (23,0) x[84] = 5
211.15/136.81	c (23,0) x[85] = 35
211.15/136.81	c (23,0) x[86] = 2
211.15/136.81	c (23,0) x[87] = 33
211.15/136.81	c (23,0) x[88] = 3
211.15/136.81	c (23,0) x[89] = 3
211.15/136.81	c (23,0) x[90] = 12
211.15/136.81	c (23,0) x[91] = 27
211.15/136.81	c (23,0) x[92] = 42
211.15/136.81	c (23,0) x[93] = 3
211.15/136.81	c (23,0) x[94] = 25
211.15/136.81	c (23,0) x[97] = 13
211.15/136.81	c (23,0) x[99] = 47
211.15/136.81	s SATISFIABLE
211.15/136.81	v <instantiation>
211.15/136.81	v     <list>x[0] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[17] x[19] x[20] x[21] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[43] x[44] x[46] x[47] x[48] x[50] x[53] x[54] x[55] x[56] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[69] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[97] x[99]</list>
211.15/136.81	v     <values>2 2 6 23 45 2 12 47 2 47 2 2 2 47 7 28 46 15 23 34 46 2 46 32 2 47 47 47 44 23 28 2 47 29 3 2 42 47 46 47 14 7 3 2 33 5 47 47 12 47 47 47 23 17 10 45 34 19 20 47 28 13 45 5 35 2 33 3 3 12 27 42 3 25 13 47</values>
211.15/136.81	v </instantiation>
211.15/136.81	c (23,0) Show results End
211.15/136.81	c (23,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
211.15/136.81	c (23,0) 23,23,STOP-AFTER(ALL)
211.15/136.81	c END-Prog: Thu Sep 12 15:25:40 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 (7807 MiB free)
  memory of node 1: 16384 MiB (15588 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388040-1568294643/watcher-4388040-1568294643 -o /tmp/evaluation-result-4388040-1568294643/solver-4388040-1568294643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388040-1568294643.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=11363, runsolver pid=11360

[startup+0.101459 s]*
/proc/loadavg: 4.50 3.69 3.00 3/235 11380
/proc/meminfo: memFree=23899676/32770624 swapFree=67015688/67108860
[pid=11363] ppid=11360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11363/stat : 11363 (scop.sh) S 11360 11363 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405736892 115843072 349 33554432000 4194304 5098028 140726764195312 140726764192568 140223329882748 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36847616 140726764200744 140726764201072 140726764201072 140726764203981 0
/proc/11363/statm: 28282 349 296 221 0 87 0
[pid=11366] ppid=11363 vsize=15012696 memory=71656 CPUtime=0.11 cores=0,2,4,6
/proc/11366/stat : 11366 (java) S 11363 11363 7440 0 -1 1077944320 7165 0 0 0 10 1 0 0 20 0 15 0 405736893 15373000704 17914 33554432000 4194304 4196468 140720477732608 140720477715152 140276309843703 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
/proc/11366/statm: 3753174 17914 2922 1 0 3715579 0
[pid=11366/tid=11367] ppid=11363 vsize=15012696 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/11366/task/11367/stat : 11367 (java) R 11363 11363 7440 0 -1 4202560 4957 0 0 0 8 1 0 0 20 0 15 0 405736893 15373000704 17914 33554432000 4194304 4196468 140720477732608 140276281648512 140276293030512 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11368] ppid=11363 vsize=15012696 memory=3472467982863382192 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11368/stat : 11368 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 17914 33554432000 4194304 4196468 140720477732608 140276314085776 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11369] ppid=11363 vsize=15012696 memory=139686635701888 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11369/stat : 11369 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 17914 33554432000 4194304 4196468 140720477732608 140276128241936 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11370] ppid=11363 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11370/stat : 11370 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 17914 33554432000 4194304 4196468 140720477732608 140276127189648 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11371] ppid=11363 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11371/stat : 11371 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 17914 33554432000 4194304 4196468 140720477732608 140276126136848 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11372] ppid=11363 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11372/stat : 11372 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736896 15373000704 17914 33554432000 4194304 4196468 140720477732608 140275347389040 140276309854850 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11373] ppid=11363 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11373/stat : 11373 (java) S 11363 11363 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405736896 15373000704 17914 33554432000 4194304 4196468 140720477732608 140274705622304 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11374] ppid=11363 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11374/stat : 11374 (java) S 11363 11363 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405736896 15373000704 17914 33554432000 4194304 4196468 140720477732608 140274571400816 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11375] ppid=11363 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11375/stat : 11375 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 17914 33554432000 4194304 4196468 140720477732608 140274196896336 140276309862299 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11376] ppid=11363 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11376/stat : 11376 (java) S 11363 11363 7440 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 17914 33554432000 4194304 4196468 140720477732608 140275346335856 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11377] ppid=11363 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11377/stat : 11377 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 17914 33554432000 4194304 4196468 140720477732608 140275345283056 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11378] ppid=11363 vsize=15012696 memory=139686635701888 CPUtime=0.01 cores=0,2,4,6
/proc/11366/task/11378/stat : 11378 (java) S 11363 11363 7440 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 405736899 15373000704 17914 33554432000 4194304 4196468 140720477732608 140275344230768 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11379] ppid=11363 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11379/stat : 11379 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 17914 33554432000 4194304 4196468 140720477732608 140273698990560 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11380] ppid=11363 vsize=15012696 memory=139686635701888 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11380/stat : 11380 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 17914 33554432000 4194304 4196468 140720477732608 140275343178672 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73052 KiB

[startup+0.211431 s]*
/proc/loadavg: 4.50 3.69 3.00 3/235 11380
/proc/meminfo: memFree=23880536/32770624 swapFree=67015688/67108860
[pid=11363] ppid=11360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11363/stat : 11363 (scop.sh) S 11360 11363 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405736892 115843072 349 33554432000 4194304 5098028 140726764195312 140726764192568 140223329882748 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36847616 140726764200744 140726764201072 140726764201072 140726764203981 0
/proc/11363/statm: 28282 349 296 221 0 87 0
[pid=11366] ppid=11363 vsize=15012696 memory=86220 CPUtime=0.25 cores=0,2,4,6
/proc/11366/stat : 11366 (java) S 11363 11363 7440 0 -1 1077944320 12175 0 0 0 22 3 0 0 20 0 15 0 405736893 15373000704 21555 33554432000 4194304 4196468 140720477732608 140720477715152 140276309843703 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
/proc/11366/statm: 3753174 21555 2925 1 0 3715579 0
[pid=11366/tid=11367] ppid=11363 vsize=15012696 memory=8514701219881125283 CPUtime=0.2 cores=0,2,4,6
/proc/11366/task/11367/stat : 11367 (java) R 11363 11363 7440 0 -1 4202560 9909 0 0 0 17 3 0 0 20 0 15 0 405736893 15373000704 21555 33554432000 4194304 4196468 140720477732608 140276281665056 140276309865629 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11368] ppid=11363 vsize=15012696 memory=3472467982863382192 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11368/stat : 11368 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 21555 33554432000 4194304 4196468 140720477732608 140276314085776 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11369] ppid=11363 vsize=15012696 memory=139686635701888 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11369/stat : 11369 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 21555 33554432000 4194304 4196468 140720477732608 140276128241936 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11370] ppid=11363 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11370/stat : 11370 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 21555 33554432000 4194304 4196468 140720477732608 140276127189648 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11371] ppid=11363 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11371/stat : 11371 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 21555 33554432000 4194304 4196468 140720477732608 140276126136848 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11372] ppid=11363 vsize=15012696 memory=139686635701888 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11372/stat : 11372 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736896 15373000704 21555 33554432000 4194304 4196468 140720477732608 140275347389040 140276309854850 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11373] ppid=11363 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11373/stat : 11373 (java) S 11363 11363 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405736896 15373000704 21555 33554432000 4194304 4196468 140720477732608 140274705622304 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11374] ppid=11363 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11374/stat : 11374 (java) S 11363 11363 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405736896 15373000704 21555 33554432000 4194304 4196468 140720477732608 140274571400816 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11375] ppid=11363 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11375/stat : 11375 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 21555 33554432000 4194304 4196468 140720477732608 140274196896336 140276309862299 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11376] ppid=11363 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11376/stat : 11376 (java) S 11363 11363 7440 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 21555 33554432000 4194304 4196468 140720477732608 140275346335856 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11377] ppid=11363 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11377/stat : 11377 (java) S 11363 11363 7440 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 21555 33554432000 4194304 4196468 140720477732608 140275345283056 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11378] ppid=11363 vsize=15012696 memory=139686635701888 CPUtime=0.03 cores=0,2,4,6
/proc/11366/task/11378/stat : 11378 (java) R 11363 11363 7440 0 -1 4202560 438 0 0 0 3 0 0 0 20 0 15 0 405736899 15373000704 21555 33554432000 4194304 4196468 140720477732608 140275344230768 140276288762240 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11379] ppid=11363 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11379/stat : 11379 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 21555 33554432000 4194304 4196468 140720477732608 140273698990560 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11380] ppid=11363 vsize=15012696 memory=139686635701888 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11380/stat : 11380 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 21555 33554432000 4194304 4196468 140720477732608 140275343178672 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87616 KiB

[startup+0.310701 s]*
/proc/loadavg: 4.50 3.69 3.00 4/235 11380
/proc/meminfo: memFree=23877920/32770624 swapFree=67015688/67108860
[pid=11363] ppid=11360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11363/stat : 11363 (scop.sh) S 11360 11363 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405736892 115843072 349 33554432000 4194304 5098028 140726764195312 140726764192568 140223329882748 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36847616 140726764200744 140726764201072 140726764201072 140726764203981 0
/proc/11363/statm: 28282 349 296 221 0 87 0
[pid=11366] ppid=11363 vsize=15012696 memory=90272 CPUtime=0.42 cores=0,2,4,6
/proc/11366/stat : 11366 (java) S 11363 11363 7440 0 -1 1077944320 13071 0 0 0 39 3 0 0 20 0 15 0 405736893 15373000704 22568 33554432000 4194304 4196468 140720477732608 140720477715152 140276309843703 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
/proc/11366/statm: 3753174 22568 3069 1 0 3715579 0
[pid=11366/tid=11367] ppid=11363 vsize=15012696 memory=8514701219881125283 CPUtime=0.29 cores=0,2,4,6
/proc/11366/task/11367/stat : 11367 (java) R 11363 11363 7440 0 -1 4202560 10626 0 0 0 26 3 0 0 20 0 15 0 405736893 15373000704 22568 33554432000 4194304 4196468 140720477732608 140276281656048 140276290119592 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11368] ppid=11363 vsize=15012696 memory=3472467982863382192 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11368/stat : 11368 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 22568 33554432000 4194304 4196468 140720477732608 140276314085776 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11369] ppid=11363 vsize=15012696 memory=139686635709354 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11369/stat : 11369 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 22568 33554432000 4194304 4196468 140720477732608 140276128241936 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11370] ppid=11363 vsize=15012696 memory=139686496557371 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11370/stat : 11370 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 22568 33554432000 4194304 4196468 140720477732608 140276127189648 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11371] ppid=11363 vsize=15012696 memory=139686496563631 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11371/stat : 11371 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736894 15373000704 22568 33554432000 4194304 4196468 140720477732608 140276126136848 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11372] ppid=11363 vsize=15012696 memory=139686635710542 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11372/stat : 11372 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736896 15373000704 22568 33554432000 4194304 4196468 140720477732608 140275347389040 140276309854850 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11373] ppid=11363 vsize=15012696 memory=139686496554447 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11373/stat : 11373 (java) S 11363 11363 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405736896 15373000704 22568 33554432000 4194304 4196468 140720477732608 140274705622304 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11374] ppid=11363 vsize=15012696 memory=279372993122672 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11374/stat : 11374 (java) S 11363 11363 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405736896 15373000704 22568 33554432000 4194304 4196468 140720477732608 140274571400816 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11375] ppid=11363 vsize=15012696 memory=139686496572375 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11375/stat : 11375 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 22568 33554432000 4194304 4196468 140720477732608 140274196896336 140276309862299 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11376] ppid=11363 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11366/task/11376/stat : 11376 (java) S 11363 11363 7440 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 15 0 405736899 15373000704 22568 33554432000 4194304 4196468 140720477732608 140275346335856 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11377] ppid=11363 vsize=15012696 memory=2240 CPUtime=0.01 cores=0,2,4,6
/proc/11366/task/11377/stat : 11377 (java) S 11363 11363 7440 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 405736899 15373000704 22568 33554432000 4194304 4196468 140720477732608 140275345283056 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11378] ppid=11363 vsize=15012696 memory=139686635701888 CPUtime=0.07 cores=0,2,4,6
/proc/11366/task/11378/stat : 11378 (java) S 11363 11363 7440 0 -1 1077944384 466 0 0 0 7 0 0 0 20 0 15 0 405736899 15373000704 22568 33554432000 4194304 4196468 140720477732608 140275344230768 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11379] ppid=11363 vsize=15012696 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11379/stat : 11379 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 22568 33554432000 4194304 4196468 140720477732608 140273698990560 140276309853909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11380] ppid=11363 vsize=15012696 memory=139686635701888 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11380/stat : 11380 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736899 15373000704 22568 33554432000 4194304 4196468 140720477732608 140275343178672 140276309854850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91668 KiB

[startup+0.700771 s]
/proc/loadavg: 4.50 3.69 3.00 3/235 11380
/proc/meminfo: memFree=23857248/32770624 swapFree=67015688/67108860
[pid=11363] ppid=11360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11363/stat : 11363 (scop.sh) S 11360 11363 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405736892 115843072 349 33554432000 4194304 5098028 140726764195312 140726764192568 140223329882748 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36847616 140726764200744 140726764201072 140726764201072 140726764203981 0
/proc/11363/statm: 28282 349 296 221 0 87 0
[pid=11366] ppid=11363 vsize=15022116 memory=127828 CPUtime=0.97 cores=0,2,4,6
/proc/11366/stat : 11366 (java) S 11363 11363 7440 0 -1 1077944320 20299 0 0 0 92 5 0 0 20 0 15 0 405736893 15382646784 31926 33554432000 4194304 4196468 140720477732608 140720477715152 140276309843703 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
/proc/11366/statm: 3755529 31926 3202 1 0 3716859 0
[pid=11366/tid=11367] ppid=11363 vsize=15021092 memory=7597685182856913236 CPUtime=0.67 cores=0,2,4,6
/proc/11366/task/11367/stat : 11367 (java) R 11363 11363 7440 0 -1 1077944384 17419 0 0 0 62 5 0 0 20 0 15 0 405736893 15381598208 31957 33554432000 4194304 4196468 140720477732608 140276281661248 140276302522925 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11368] ppid=11363 vsize=15021092 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11368/stat : 11368 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736894 15381598208 31957 33554432000 4194304 4196468 140720477732608 140276314085776 140276309853909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11369] ppid=11363 vsize=15022116 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11369/stat : 11369 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736894 15382646784 31957 33554432000 4194304 4196468 140720477732608 140276128241936 140276309853909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11370] ppid=11363 vsize=15022116 memory=-5874771483550381248 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11370/stat : 11370 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736894 15382646784 31957 33554432000 4194304 4196468 140720477732608 140276127189648 140276309853909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11371] ppid=11363 vsize=15022116 memory=8370611207639232161 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11371/stat : 11371 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405736894 15382646784 31957 33554432000 4194304 4196468 140720477732608 140276126136848 140276309853909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11372] ppid=11363 vsize=15022116 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11372/stat : 11372 (java) S 11363 11363 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405736896 15382646784 31957 33554432000 4194304 4196468 140720477732608 140275347389040 140276309854850 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11373] ppid=11363 vsize=15021092 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11373/stat : 11373 (java) S 11363 11363 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405736896 15381598208 31957 33554432000 4194304 4196468 140720477732608 140274705622304 140276309853909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11374] ppid=11363 vsize=15021092 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11374/stat : 11374 (java) S 11363 11363 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405736896 15381598208 31957 33554432000 4194304 4196468 140720477732608 140274571400816 140276309853909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11375] ppid=11363 vsize=15021092 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11375/stat : 11375 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736899 15381598208 31957 33554432000 4194304 4196468 140720477732608 140274196896336 140276309862299 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11376] ppid=11363 vsize=15022116 memory=311 CPUtime=0.09 cores=0,2,4,6
/proc/11366/task/11376/stat : 11376 (java) S 11363 11363 7440 0 -1 1077944384 775 0 0 0 9 0 0 0 20 0 15 0 405736899 15382646784 31957 33554432000 4194304 4196468 140720477732608 140275346335856 140276309854850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11377] ppid=11363 vsize=15022116 memory=10 CPUtime=0.05 cores=0,2,4,6
/proc/11366/task/11377/stat : 11377 (java) S 11363 11363 7440 0 -1 1077944384 177 0 0 0 5 0 0 0 20 0 15 0 405736899 15382646784 31957 33554432000 4194304 4196468 140720477732608 140275345283056 140276309854850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11378] ppid=11363 vsize=15022116 memory=1286 CPUtime=0.14 cores=0,2,4,6
/proc/11366/task/11378/stat : 11378 (java) R 11363 11363 7440 0 -1 4202560 578 0 0 0 14 0 0 0 20 0 15 0 405736899 15382646784 31957 33554432000 4194304 4196468 140720477732608 140275344230768 140276287835010 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11379] ppid=11363 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11379/stat : 11379 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405736899 15381598208 31957 33554432000 4194304 4196468 140720477732608 140273698990560 140276309853909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
[pid=11366/tid=11380] ppid=11363 vsize=15021092 memory=7591186987463698790 CPUtime=0 cores=0,2,4,6
/proc/11366/task/11380/stat : 11380 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405736899 15381598208 31957 33554432000 4194304 4196468 140720477732608 140275343178672 140276309854850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140720477737710 140720477738138 140720477738138 140720477741007 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 15135244 KiB
Current children cumulated memory: 129224 KiB

[startup+1.50087 s]
/proc/loadavg: 4.50 3.69 3.00 4/235 11380
/proc/meminfo: memFree=23831360/32770624 swapFree=67015688/67108860
[pid=11363] ppid=11360 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11363/stat : 11363 (scop.sh) S 11360 11363 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405736892 115843072 349 33554432000 4194304 5098028 140726764195312 140726764192568 140223329882748 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36847616 140726764200744 140726764201072 140726764201072 140726764203981 0
/proc/11363/statm: 28282 349 296 221 0 87 0

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


[startup+134.401 s]
/proc/loadavg: 2.60 3.21 2.92 3/239 11412
/proc/meminfo: memFree=18277712/32770624 swapFree=67015696/67108860
[pid=11363] ppid=11360 vsize=113128 memory=1476 CPUtime=186.16 cores=0,2,4,6
/proc/11363/stat : 11363 (scop.sh) S 11360 11363 7440 0 -1 4202496 584 97390 0 0 0 0 17439 1177 20 0 1 0 405736892 115843072 369 33554432000 4194304 5098028 140726764195312 140726764192056 140223329882748 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36847616 140726764200744 140726764201072 140726764201072 140726764203981 0
/proc/11363/statm: 28282 369 311 221 0 87 0
[pid=11389] ppid=11363 vsize=8068440 memory=116892 CPUtime=1.13 cores=0,2,4,6
/proc/11389/stat : 11389 (java) S 11363 11363 7440 0 -1 1077944320 19224 0 0 0 106 7 0 0 20 0 19 0 405748148 8262082560 29223 33554432000 4194304 4196468 140732317348848 140732317331392 140597159165687 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
/proc/11389/statm: 2017110 29223 3197 1 0 1978454 0
[pid=11404] ppid=11389 vsize=5282292 memory=4488188 CPUtime=21.1 cores=0,2,4,6
/proc/11404/stat : 11404 (glueminisat-sim) R 11389 11363 7440 0 -1 4202496 936341 0 0 0 1936 174 0 0 20 0 1 0 405748221 5409067008 1122047 33554432000 4194304 4452875 140725343183808 140725343178888 4338319 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 20578304 140725343187807 140725343188007 140725343188007 140725343190957 0
/proc/11404/statm: 1320573 1122047 345 64 0 1316777 0
[pid=11389/tid=11390] ppid=11363 vsize=8068440 memory=1296 CPUtime=0.75 cores=0,2,4,6
/proc/11389/task/11390/stat : 11390 (java) S 11363 11363 7440 0 -1 1077944384 16354 0 0 0 70 5 0 0 20 0 19 0 405748149 8262082560 29223 33554432000 4194304 4196468 140732317348848 140597131005856 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11391] ppid=11363 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11391/stat : 11391 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405748150 8262082560 29223 33554432000 4194304 4196468 140732317348848 140597163407888 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11392] ppid=11363 vsize=8068440 memory=116832 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11392/stat : 11392 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405748150 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596963576464 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11393] ppid=11363 vsize=8068440 memory=17504 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11393/stat : 11393 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405748150 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596643621136 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11394] ppid=11363 vsize=8068440 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11394/stat : 11394 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405748150 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596642568592 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11395] ppid=11363 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11395/stat : 11395 (java) S 11363 11363 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405748151 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596538444528 140597159176834 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11396] ppid=11363 vsize=8068440 memory=1844 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11396/stat : 11396 (java) S 11363 11363 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405748152 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596022863520 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11397] ppid=11363 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11397/stat : 11397 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405748152 8262082560 29223 33554432000 4194304 4196468 140732317348848 140595754427632 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11398] ppid=11363 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11398/stat : 11398 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140595379919312 140597159184283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11399] ppid=11363 vsize=8068440 memory=116832 CPUtime=0.07 cores=0,2,4,6
/proc/11389/task/11399/stat : 11399 (java) S 11363 11363 7440 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596537391344 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11400] ppid=11363 vsize=8068440 memory=3430536 CPUtime=0.07 cores=0,2,4,6
/proc/11389/task/11400/stat : 11400 (java) S 11363 11363 7440 0 -1 1077944384 445 0 0 0 7 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596536338800 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11401] ppid=11363 vsize=8068440 memory=115104 CPUtime=0.19 cores=0,2,4,6
/proc/11389/task/11401/stat : 11401 (java) S 11363 11363 7440 0 -1 1077944384 504 0 0 0 19 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596535285744 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11402] ppid=11363 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11402/stat : 11402 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140594882013536 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11403] ppid=11363 vsize=8068440 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11403/stat : 11403 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596534234160 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11405] ppid=11363 vsize=8068440 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11405/stat : 11405 (java) S 11363 11363 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405748221 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596526200640 140597159190297 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11407] ppid=11363 vsize=8068440 memory=804 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11407/stat : 11407 (java) S 11363 11363 7440 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 405748221 8262082560 29223 33554432000 4194304 4196468 140732317348848 140594345127824 140597159187613 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11408] ppid=11363 vsize=8068440 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11408/stat : 11408 (java) S 11363 11363 7440 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405748221 8262082560 29223 33554432000 4194304 4196468 140732317348848 140594479349264 140597159187613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11409] ppid=11363 vsize=8068440 memory=920 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11409/stat : 11409 (java) S 11363 11363 7440 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405748223 8262082560 29223 33554432000 4194304 4196468 140732317348848 140594076704048 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
Current children cumulated CPU time: 208.39 s
Current children cumulated vsize: 13463860 KiB
Current children cumulated memory: 4606556 KiB

[startup+136.001 s]*
/proc/loadavg: 2.60 3.21 2.92 3/239 11412
/proc/meminfo: memFree=19317420/32770624 swapFree=67015696/67108860
[pid=11363] ppid=11360 vsize=113128 memory=1476 CPUtime=186.16 cores=0,2,4,6
/proc/11363/stat : 11363 (scop.sh) S 11360 11363 7440 0 -1 4202496 584 97390 0 0 0 0 17439 1177 20 0 1 0 405736892 115843072 369 33554432000 4194304 5098028 140726764195312 140726764192056 140223329882748 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36847616 140726764200744 140726764201072 140726764201072 140726764203981 0
/proc/11363/statm: 28282 369 311 221 0 87 0
[pid=11389] ppid=11363 vsize=8068440 memory=116892 CPUtime=1.14 cores=0,2,4,6
/proc/11389/stat : 11389 (java) S 11363 11363 7440 0 -1 1077944320 19224 0 0 0 107 7 0 0 20 0 19 0 405748148 8262082560 29223 33554432000 4194304 4196468 140732317348848 140732317331392 140597159165687 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
/proc/11389/statm: 2017110 29223 3197 1 0 1978454 0
[pid=11404] ppid=11389 vsize=3806716 memory=3308292 CPUtime=22.71 cores=0,2,4,6
/proc/11404/stat : 11404 (glueminisat-sim) R 11389 11363 7440 0 -1 4202496 1126022 0 0 0 2082 189 0 0 20 0 1 0 405748221 3898077184 827073 33554432000 4194304 4452875 140725343183808 140725343178904 4321215 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 20578304 140725343187807 140725343188007 140725343188007 140725343190957 0
/proc/11404/statm: 951679 827073 360 64 0 947883 0
[pid=11389/tid=11390] ppid=11363 vsize=8068440 memory=-7824251494390453608 CPUtime=0.75 cores=0,2,4,6
/proc/11389/task/11390/stat : 11390 (java) S 11363 11363 7440 0 -1 1077944384 16354 0 0 0 70 5 0 0 20 0 19 0 405748149 8262082560 29223 33554432000 4194304 4196468 140732317348848 140597131005856 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11391] ppid=11363 vsize=8068440 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11391/stat : 11391 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405748150 8262082560 29223 33554432000 4194304 4196468 140732317348848 140597163407888 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11392] ppid=11363 vsize=8068440 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11392/stat : 11392 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405748150 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596963576464 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11393] ppid=11363 vsize=8068440 memory=804 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11393/stat : 11393 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405748150 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596643621136 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11394] ppid=11363 vsize=8068440 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11394/stat : 11394 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405748150 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596642568592 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11395] ppid=11363 vsize=8068440 memory=920 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11395/stat : 11395 (java) S 11363 11363 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405748151 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596538444528 140597159176834 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11396] ppid=11363 vsize=8068440 memory=3404 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11396/stat : 11396 (java) S 11363 11363 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405748152 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596022863520 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11397] ppid=11363 vsize=8068440 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11397/stat : 11397 (java) S 11363 11363 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405748152 8262082560 29223 33554432000 4194304 4196468 140732317348848 140595754427632 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11398] ppid=11363 vsize=8068440 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11398/stat : 11398 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140595379919312 140597159184283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11399] ppid=11363 vsize=8068440 memory=4104 CPUtime=0.07 cores=0,2,4,6
/proc/11389/task/11399/stat : 11399 (java) S 11363 11363 7440 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596537391344 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11400] ppid=11363 vsize=8068440 memory=1412 CPUtime=0.07 cores=0,2,4,6
/proc/11389/task/11400/stat : 11400 (java) S 11363 11363 7440 0 -1 1077944384 445 0 0 0 7 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596536338800 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11401] ppid=11363 vsize=8068440 memory=3428 CPUtime=0.19 cores=0,2,4,6
/proc/11389/task/11401/stat : 11401 (java) S 11363 11363 7440 0 -1 1077944384 504 0 0 0 19 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596535285744 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11402] ppid=11363 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11402/stat : 11402 (java) S 11363 11363 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140594882013536 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11403] ppid=11363 vsize=8068440 memory=124708 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11403/stat : 11403 (java) S 11363 11363 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405748155 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596534234160 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11405] ppid=11363 vsize=8068440 memory=115104 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11405/stat : 11405 (java) S 11363 11363 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405748221 8262082560 29223 33554432000 4194304 4196468 140732317348848 140596526200640 140597159190297 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11407] ppid=11363 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11407/stat : 11407 (java) S 11363 11363 7440 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 405748221 8262082560 29223 33554432000 4194304 4196468 140732317348848 140594345127824 140597159187613 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11408] ppid=11363 vsize=8068440 memory=2996 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11408/stat : 11408 (java) S 11363 11363 7440 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405748221 8262082560 29223 33554432000 4194304 4196468 140732317348848 140594479349264 140597159187613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11409] ppid=11363 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11389/task/11409/stat : 11409 (java) S 11363 11363 7440 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405748223 8262082560 29223 33554432000 4194304 4196468 140732317348848 140594076704048 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
Current children cumulated CPU time: 210.01 s
Current children cumulated vsize: 11988284 KiB
Current children cumulated memory: 3426660 KiB

[startup+136.805 s]
/proc/loadavg: 2.60 3.21 2.92 3/239 11412
/proc/meminfo: memFree=19317420/32770624 swapFree=67015696/67108860
[pid=11363] ppid=11360 vsize=113128 memory=1476 CPUtime=186.16 cores=0,2,4,6
/proc/11363/stat : 11363 (scop.sh) S 11360 11363 7440 0 -1 4202496 584 97390 0 0 0 0 17439 1177 20 0 1 0 405736892 115843072 369 33554432000 4194304 5098028 140726764195312 140726764192056 140223329882748 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36847616 140726764200744 140726764201072 140726764201072 140726764203981 0
/proc/11363/statm: 28282 369 311 221 0 87 0
[pid=11389] ppid=11363 vsize=7937364 memory=149164 CPUtime=24.99 cores=0,2,4,6
/proc/11389/stat : 11389 (java) S 11363 11363 7440 0 -1 1077944320 21087 1150026 0 0 151 8 2134 206 20 0 17 0 405748148 8127860736 37291 33554432000 4194304 4196468 140732317348848 140732317331392 140597159165687 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
/proc/11389/statm: 1984341 37291 3228 1 0 1945685 0
[pid=11389/tid=11390] ppid=11363 vsize=7937364 memory=1844 CPUtime=24.25 cores=0,2,4,6
/proc/11389/task/11390/stat : 11390 (java) R 11363 11363 7440 0 -1 4202560 16630 1150026 0 0 80 5 2134 206 20 0 17 0 405748149 8127860736 37291 33554432000 4194304 4196468 140732317348848 140597131004488 140597144536476 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11391] ppid=11363 vsize=7937364 memory=6791534058613427641 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11391/stat : 11391 (java) S 11363 11363 7440 0 -1 1077944384 1 1150026 0 0 0 0 2134 206 20 0 17 0 405748150 8127860736 37291 33554432000 4194304 4196468 140732317348848 140597163407888 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11392] ppid=11363 vsize=7937364 memory=3307132 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11392/stat : 11392 (java) S 11363 11363 7440 0 -1 1077944384 1 1150026 0 0 0 0 2134 206 20 0 17 0 405748150 8127860736 37291 33554432000 4194304 4196468 140732317348848 140596963576464 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11393] ppid=11363 vsize=7937364 memory=-8253362762722141311 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11393/stat : 11393 (java) S 11363 11363 7440 0 -1 1077944384 1 1150026 0 0 0 0 2134 206 20 0 17 0 405748150 8127860736 37291 33554432000 4194304 4196468 140732317348848 140596643621136 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11394] ppid=11363 vsize=7937364 memory=6944652177228980320 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11394/stat : 11394 (java) S 11363 11363 7440 0 -1 1077944384 2 1150026 0 0 0 0 2134 206 20 0 17 0 405748150 8127860736 37291 33554432000 4194304 4196468 140732317348848 140596642568592 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11395] ppid=11363 vsize=7937364 memory=6944652177228980320 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11395/stat : 11395 (java) S 11363 11363 7440 0 -1 1077944384 5 1150026 0 0 0 0 2134 206 20 0 17 0 405748151 8127860736 37291 33554432000 4194304 4196468 140732317348848 140596538444528 140597159176834 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11396] ppid=11363 vsize=7937364 memory=6943526294502006880 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11396/stat : 11396 (java) S 11363 11363 7440 0 -1 1077944384 13 1150026 0 0 0 0 2134 206 20 0 17 0 405748152 8127860736 37291 33554432000 4194304 4196468 140732317348848 140596022863520 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11397] ppid=11363 vsize=7937364 memory=288230574492221466 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11397/stat : 11397 (java) S 11363 11363 7440 0 -1 1077944384 1 1150026 0 0 0 0 2134 206 20 0 17 0 405748152 8127860736 37291 33554432000 4194304 4196468 140732317348848 140595754427632 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11398] ppid=11363 vsize=7937364 memory=288230583166042426 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11398/stat : 11398 (java) S 11363 11363 7440 0 -1 1077944384 3 1150026 0 0 0 0 2134 206 20 0 17 0 405748155 8127860736 37291 33554432000 4194304 4196468 140732317348848 140595379919312 140597159184283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11399] ppid=11363 vsize=7937364 memory=16100381516106309 CPUtime=23.56 cores=0,2,4,6
/proc/11389/task/11399/stat : 11399 (java) S 11363 11363 7440 0 -1 1077944384 778 1150026 0 0 16 0 2134 206 20 0 17 0 405748155 8127860736 37291 33554432000 4194304 4196468 140732317348848 140596537391344 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11400] ppid=11363 vsize=7937364 memory=500 CPUtime=23.54 cores=0,2,4,6
/proc/11389/task/11400/stat : 11400 (java) R 11363 11363 7440 0 -1 1077944384 634 1150026 0 0 14 0 2134 206 20 0 17 0 405748155 8127860736 37291 33554432000 4194304 4196468 140732317348848 140596536338800 140597159176834 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11401] ppid=11363 vsize=7937364 memory=1736 CPUtime=23.68 cores=0,2,4,6
/proc/11389/task/11401/stat : 11401 (java) S 11363 11363 7440 0 -1 1077944384 1056 1150026 0 0 28 0 2134 206 20 0 17 0 405748155 8127860736 37291 33554432000 4194304 4196468 140732317348848 140596535285744 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11402] ppid=11363 vsize=7937364 memory=1784 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11402/stat : 11402 (java) S 11363 11363 7440 0 -1 1077944384 3 1150026 0 0 0 0 2134 206 20 0 17 0 405748155 8127860736 37291 33554432000 4194304 4196468 140732317348848 140594882013536 140597159175893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11403] ppid=11363 vsize=7937364 memory=924 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11403/stat : 11403 (java) S 11363 11363 7440 0 -1 1077944384 2 1150026 0 0 0 0 2134 206 20 0 17 0 405748155 8127860736 37291 33554432000 4194304 4196468 140732317348848 140596534234160 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11405] ppid=11363 vsize=7937364 memory=2340 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11405/stat : 11405 (java) S 11363 11363 7440 0 -1 1077944384 25 1150026 0 0 0 0 2134 206 20 0 17 0 405748221 8127860736 37291 33554432000 4194304 4196468 140732317348848 140596526199824 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
[pid=11389/tid=11409] ppid=11363 vsize=7937364 memory=1572 CPUtime=23.4 cores=0,2,4,6
/proc/11389/task/11409/stat : 11409 (java) S 11363 11363 7440 0 -1 1077944384 11 1150026 0 0 0 0 2134 206 20 0 17 0 405748223 8127860736 37291 33554432000 4194304 4196468 140732317348848 140594076705840 140597159176834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140732317352955 140732317353114 140732317353114 140732317355983 0
Current children cumulated CPU time: 211.15 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 150640 KiB

[startup+137.001 s]*
/proc/loadavg: 2.60 3.21 2.92 3/236 11412
/proc/meminfo: memFree=23790096/32770624 swapFree=67015696/67108860
[pid=11363] ppid=11360 vsize=113128 memory=1476 CPUtime=186.16 cores=0,2,4,6
/proc/11363/stat : 11363 (scop.sh) S 11360 11363 7440 0 -1 4202496 584 97390 0 0 0 0 17439 1177 20 0 1 0 405736892 115843072 369 33554432000 4194304 5098028 140726764195312 140726764192056 140223329882748 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36847616 140726764200744 140726764201072 140726764201072 140726764203981 0
/proc/11363/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 186.16 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 137.013
CPU time (s): 211.402
CPU user time (s): 197.277
CPU system time (s): 14.1247
CPU usage (%): 154.293
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 10686196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.277
system time used= 14.1247
maximum resident set size= 10685000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1269138
page faults= 0
swaps= 0
block input operations= 80
block output operations= 2414232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12240
involuntary context switches= 1293


# summary of solver processes directly reported to runsolver:
#   pid: 11363
#   total CPU time (s): 211.402
#   total CPU user time (s): 197.277
#   total CPU system time (s): 14.1247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1018 second user time and 1.26528 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-12 15:23:23
IDJOB=4388040
IDBENCH=133381
IDSOLVER=2825
FILE ID=node150/4388040-1568294643
RUNJOBID= node150-1568287240-8653
PBS_JOBID= 21701061
Free space on /tmp= 52640 MiB

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

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

MD5SUM BENCH= d26c1a16a8e9a423ebbeb7c1b2e2b431
RANDOM SEED=2124530573

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23958176 kB
MemAvailable:   31622900 kB
Buffers:          135308 kB
Cached:          7684556 kB
SwapCached:         4448 kB
Active:          1570532 kB
Inactive:        6511948 kB
Active(anon):     237252 kB
Inactive(anon):    46284 kB
Active(file):    1333280 kB
Inactive(file):  6465664 kB
Unevictable:      111376 kB
Mlocked:          111376 kB
SwapTotal:      67108860 kB
SwapFree:       67015688 kB
Dirty:             20468 kB
Writeback:           336 kB
AnonPages:        303556 kB
Mapped:            46028 kB
Shmem:             11976 kB
Slab:             322756 kB
SReclaimable:     294240 kB
SUnreclaim:        28516 kB
KernelStack:        3824 kB
PageTables:         6608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6083808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 52620 MiB
End job on node150 at 2019-09-12 15:25:40