Trace number 4388424

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)UNSAT 4.88573 2.5625

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-15-035.xml
MD5SUM95db7a436582e8fbf27db66b2c693839
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.88573
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints105
Number of domains15
Minimum domain size21
Maximum domain size35
Distribution of domain sizes[{"size":21,"count":2},{"size":22,"count":2},{"size":23,"count":2},{"size":24,"count":2},{"size":25,"count":2},{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2}]
Minimum variable degree14
Maximum variable degree14
Distribution of variable degrees[{"degree":14,"count":30}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":105}]
Number of extensional constraints0
Number of intensional constraints105
Distribution of constraint types[{"type":"intension","count":105}]
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-15979-serial-file.bin HOME/instance-4388424-1568299145.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Thu Sep 12 16:38:22 CEST 2019
0.66/0.57	c PID: 15982
0.66/0.57	c IP: 172.20.3.147
0.66/0.57	c HOST: node147.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.74/1.03	c (0,0) Parsing End
1.74/1.03	c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 35
1.74/1.03	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.74/1.03	c (0,0) Constraint Name Generate Begin
1.74/1.04	c (0,0) Ctr:HOME/instance-4388424-1568299145.xml,Add:Le:Num:Or:Var
1.74/1.04	c (0,0) Constraint Name Generate End
1.74/1.04	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.74/1.04	c (0,0) CSP to CSPinCNF Begin
2.00/1.15	c (0,0) translated 11 (10%) constraints
2.00/1.16	c (0,0) translated 21 (20%) constraints
2.00/1.17	c (0,0) translated 32 (30%) constraints
2.00/1.18	c (0,0) translated 42 (40%) constraints
2.00/1.19	c (0,0) translated 53 (50%) constraints
2.20/1.20	c (0,0) translated 63 (60%) constraints
2.20/1.21	c (0,0) translated 74 (70%) constraints
2.20/1.22	c (0,0) translated 84 (80%) constraints
2.20/1.22	c (0,0) translated 95 (90%) constraints
2.20/1.23	c (0,0) translated 105 (100%) constraints
2.20/1.23	c (0,0) ===========================================
2.20/1.23	c (0,0) Order
2.20/1.23	c (0,0) ===========================================
2.20/1.24	c (0,0) translated 11 (10%) constraints
2.20/1.25	c (0,0) translated 21 (20%) constraints
2.20/1.25	c (0,0) translated 32 (30%) constraints
2.20/1.25	c (0,0) translated 42 (40%) constraints
2.20/1.26	c (0,0) translated 53 (50%) constraints
2.20/1.26	c (0,0) translated 63 (60%) constraints
2.20/1.26	c (0,0) translated 74 (70%) constraints
2.20/1.26	c (0,0) translated 84 (80%) constraints
2.20/1.27	c (0,0) translated 95 (90%) constraints
2.20/1.27	c (0,0) translated 105 (100%) constraints
2.20/1.27	c (0,0) CSP to CSPinCNF End
2.20/1.27	c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 35
2.20/1.27	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.20/1.27	c (0,0) CSPinCNF Propagation Begin
2.20/1.29	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.20/1.29	c (0,0) CSPinCNF Propagation End
2.20/1.29	c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 35
2.20/1.29	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.20/1.29	c (0,0) Simplify CSPinCNF Begin
2.46/1.36	c (0,0) Simplify CSPinCNF End
2.46/1.36	c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 35
2.46/1.36	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.36	c (0,0) Calculate Precise Domain Begin
2.46/1.37	c (0,0) 0 values are removed by re-calculation
2.46/1.37	c (0,0) Calculate Precise Domain End
2.46/1.37	c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 35
2.46/1.37	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.37	c (0,0) CSPinCNF to SatSolver Begin
2.87/1.53	c (0,0) 53 (10 %) CSP clauses are encoded (0 SAT variables, 1995 SAT clauses)
2.87/1.56	c (1,1) 105 (20 %) CSP clauses are encoded (0 SAT variables, 3127 SAT clauses)
2.87/1.58	c (1,1) 158 (30 %) CSP clauses are encoded (0 SAT variables, 4186 SAT clauses)
3.19/1.60	c (1,1) 210 (40 %) CSP clauses are encoded (0 SAT variables, 5188 SAT clauses)
3.19/1.62	c (1,1) 263 (50 %) CSP clauses are encoded (0 SAT variables, 6141 SAT clauses)
3.19/1.64	c (1,1) 315 (60 %) CSP clauses are encoded (0 SAT variables, 7037 SAT clauses)
3.19/1.65	c (1,1) 368 (70 %) CSP clauses are encoded (0 SAT variables, 7860 SAT clauses)
3.19/1.66	c (1,1) 420 (80 %) CSP clauses are encoded (0 SAT variables, 8578 SAT clauses)
3.19/1.68	c (1,1) 473 (90 %) CSP clauses are encoded (0 SAT variables, 9219 SAT clauses)
3.19/1.69	c (1,1) 525 (100 %) CSP clauses are encoded (0 SAT variables, 9697 SAT clauses)
3.19/1.69	c (1,1) CSPinCNF to SatSolver End
3.19/1.69	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.19/1.69	c (1,1) 1230 bool, 9705 clause
3.19/1.69	c (1,1) Export Begin
3.53/1.77	c (1,1) Export to HOME/scop-15979-serial-file.bin
3.53/1.77	c (1,1) Export End
3.53/1.77	c (1,1) Export File Size: 0.01 MB
3.53/1.77	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.53/1.77	c END-Prog: Thu Sep 12 16:38:23 CEST 2019
3.53/1.78	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15979-serial-file.bin
4.25/2.25	c (0,0) Read Serial File Begin
4.25/2.25	c (0,0) HOME/scop-15979-serial-file.bin
4.53/2.44	c (0,0) Read Serial File End
4.53/2.45	
4.53/2.45	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
4.53/2.45	(Solving Process)
4.53/2.45	
4.53/2.48	c BEGIN-Prog: Thu Sep 12 16:38:24 CEST 2019
4.53/2.48	c PID: 16012
4.53/2.48	c IP: 172.20.3.147
4.53/2.48	c HOST: node147.alineos.net
4.53/2.48	c (0,0) SatSolver.solve Begin
4.53/2.48	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388424-1568299145.xml-scop-15982.cnf
4.72/2.51	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.72/2.51	c (0,0) c glueminisat-simp-2.2.10-193oa-n
4.72/2.51	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388424-1568299145.xml-scop-15982.cnf 
4.72/2.51	c (0,0) c Options:
4.72/2.51	c (0,0) c CORE
4.72/2.51	c (0,0) c  var_decay             = 0.950
4.72/2.51	c (0,0) c  clause_decay          = 0.999
4.72/2.51	c (0,0) c  random_var_freq       = 0.000
4.72/2.51	c (0,0) c  random_seed           = 91648253.000
4.72/2.51	c (0,0) c  luby_restart          = 1
4.72/2.51	c (0,0) c  ccmin_mode            = 2
4.72/2.51	c (0,0) c  phase_saving          = 2
4.72/2.51	c (0,0) c  rnd_pol               = 0
4.72/2.51	c (0,0) c  rnd_init_act          = 0
4.72/2.51	c (0,0) c  garbage_frac          = 0.200
4.72/2.51	c (0,0) c  restart_first         = 1000
4.72/2.51	c (0,0) c  restart_inc           = 2.000
4.72/2.51	c (0,0) c MODEL
4.72/2.51	c (0,0) c  partial_model         = 0
4.72/2.51	c (0,0) c PROPAGATION
4.72/2.51	c (0,0) c  bin_propagation       = 1
4.72/2.51	c (0,0) c SIMPLIFICATION
4.72/2.51	c (0,0) c  lrn_min_size          = 100
4.72/2.51	c (0,0) c  lazy_simp             = 1
4.72/2.51	c (0,0) c  lazy_interval         = 10
4.72/2.51	c (0,0) c  lazy_fld_probing      = 1
4.72/2.51	c (0,0) c  lazy_pol_probing      = 1
4.72/2.51	c (0,0) c  lazy_nec_probing      = 1
4.72/2.51	c (0,0) c  lazy_eqv_probing      = 1
4.72/2.51	c (0,0) c  lazy_cla_probing      = 1
4.72/2.51	c (0,0) c  lazy_lrn_min          = 2
4.72/2.51	c (0,0) c  lazy_uw_lit_elim      = 1
4.72/2.51	c (0,0) c  lazy_pr_lit_elim      = 0
4.72/2.51	c (0,0) c  lazy_bin_add          = 3
4.72/2.51	c (0,0) c  probed_lit_chain      = 1
4.72/2.51	c (0,0) c  pr_min_lits           = 0.00020
4.72/2.51	c (0,0) c  pr_min_starts         = 500
4.72/2.51	c (0,0) c  rw_min_lits           = 0.010
4.72/2.51	c (0,0) c  rw_min_starts         = 500
4.72/2.51	c (0,0) c  rand_attach           = 0
4.72/2.51	c (0,0) c  dec_elim              = 1
4.72/2.51	c (0,0) c  dec_elim_lim          = 25
4.72/2.51	c (0,0) c  dec_elim_len          = -1
4.72/2.51	c (0,0) c  amo                   = 0
4.72/2.51	c (0,0) c  amo_grp               = 1
4.72/2.51	c (0,0) c  amo_max_bins          = 1000000
4.72/2.51	c (0,0) c  amo_starts            = 50
4.72/2.51	c (0,0) c  mace_cmd              = mace
4.72/2.51	c (0,0) c DECISION
4.72/2.51	c (0,0) c  rand_rebuild          = 0
4.72/2.51	c (0,0) c  rand_rebuild_confs    = 10000
4.72/2.51	c (0,0) c  inc_var_decay         = 1
4.72/2.51	c (0,0) c  inc_var_decay_period  = 100000
4.72/2.51	c (0,0) c  inc_var_decay_init    = 0.600
4.72/2.51	c (0,0) c  var_decay_mode        = 0
4.72/2.51	c (0,0) c  var_decay_gain        = 0
4.72/2.51	c (0,0) c  sloped_var_decay      = 1
4.72/2.51	c (0,0) c  max_var_decay         = 0.990
4.72/2.51	c (0,0) c  min_var_decay         = 0.950
4.72/2.51	c (0,0) c  min_var_decay_vars    = 10000
4.72/2.51	c (0,0) c  max_var_decay_vars    = 500
4.72/2.51	c (0,0) c  uip_bumping           = 1
4.72/2.51	c (0,0) c  lbd_act_bumping       = 1
4.72/2.51	c (0,0) c  rand_tiebreak         = 0
4.72/2.51	c (0,0) c  simp_rebuild          = 1
4.72/2.51	c (0,0) c RESTART
4.72/2.51	c (0,0) c  restart_strategy      = 2
4.72/2.51	c (0,0) c  restart_blocking      = 0
4.72/2.51	c (0,0) c  agility_decay         = 0.99990
4.72/2.51	c (0,0) c  lbd_restart_rate      = 0.800
4.72/2.51	c (0,0) c  dec_restart_rate      = 0.950
4.72/2.51	c (0,0) c  blk_restart_rate      = 0.700
4.72/2.51	c (0,0) c  lbd_queue_size        = 50
4.72/2.51	c (0,0) c  dec_queue_size        = 50
4.72/2.51	c (0,0) c  trl_queue_size        = 5000
4.72/2.51	c (0,0) c  blk_restart_weight    = 1.000
4.72/2.51	c (0,0) c  inc_rst_rate          = 0
4.72/2.51	c (0,0) c  inc_rst_rate_period   = 500000
4.72/2.51	c (0,0) c  inc_lbd_rst_rate_init = 0.600
4.72/2.51	c (0,0) c  inc_dec_rst_rate_init = 0.750
4.72/2.51	c (0,0) c REDUCTION
4.72/2.51	c (0,0) c  closed_lbd            = 0
4.72/2.51	c (0,0) c  closed_lbd_rate       = 0.500
4.72/2.51	c (0,0) c  rm_simulate           = 0
4.72/2.51	c (0,0) c  rdb_eval              = 2
4.72/2.51	c (0,0) c  rdb_call              = 3
4.72/2.51	c (0,0) c  rdb_ub                = 0.500
4.72/2.51	c (0,0) c  core_lbd_cvr          = 0.800
4.72/2.51	c (0,0) c  supp_lbd_cvr          = 0.990
4.72/2.51	c (0,0) c  core_lbd_lb           = 2
4.72/2.51	c (0,0) c  supp_lbd_lb           = 2
4.72/2.51	c (0,0) c  core_lbd_prd          = 7
4.72/2.51	c (0,0) c  supp_lbd_prd          = 1
4.72/2.51	c (0,0) c  othr_lbd_prd          = 0
4.72/2.51	c (0,0) c  inc_lrn_limit         = 1000
4.72/2.51	c (0,0) c  frozen_lbd            = 30
4.72/2.51	c (0,0) c  simp_min_starts       = 100
4.72/2.51	c (0,0) c  rm_low_act_learnts    = 1
4.72/2.51	c (0,0) c  lv0_reduce_db         = 0
4.72/2.51	c (0,0) c  reduce_db_base        = 20000
4.72/2.51	c (0,0) c  reduce_db_inc         = 1000
4.72/2.51	c (0,0) c HARD
4.72/2.51	c (0,0) c  inst_check            = 200000
4.72/2.51	c (0,0) c  small_block           = 1.750
4.72/2.51	c (0,0) c  slow_restart_speed    = 400.000
4.72/2.51	c (0,0) c  slow_restart_strategy = 3
4.72/2.51	c (0,0) c  slow_lbd_restart_rate = 0.700
4.72/2.51	c (0,0) c  slow_dec_restart_rate = 1.000
4.72/2.51	c (0,0) c  slow_lbd_queue_size   = 50
4.72/2.51	c (0,0) c  slow_var_decay        = 0.950
4.72/2.51	c (0,0) c  slow_glue_threshold   = 2
4.72/2.51	c (0,0) c  slow_phase_saving     = 2
4.72/2.51	c (0,0) c  fast_restart_speed    = 125.000
4.72/2.51	c (0,0) c  fast_restart_strategy = 1
4.72/2.51	c (0,0) c  fast_lbd_restart_rate = 0.800
4.72/2.51	c (0,0) c  fast_dec_restart_rate = 0.950
4.72/2.51	c (0,0) c  fast_lbd_queue_size   = 50
4.72/2.51	c (0,0) c  fast_var_decay        = 1.000
4.72/2.51	c (0,0) c  fast_glue_threshold   = 2
4.72/2.51	c (0,0) c  fast_phase_saving     = 2
4.72/2.51	c (0,0) c STATS
4.72/2.52	c (0,0) c  stats_conf_size       = 10000
4.72/2.52	c (0,0) c  max_stats_size        = 30
4.72/2.52	c (0,0) c SOLVER
4.72/2.52	c (0,0) c  minisat               = 0
4.72/2.52	c (0,0) c Problem: 1230 variables, 9705 clauses, parsing 0.00 s
4.72/2.52	c (0,0) c  reduced to 1121 variables, 9596 clauses (grow = 0)
4.72/2.52	c (0,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
4.72/2.52	c (0,0) c Simplification: 109 vars, 109 clauses are eliminated using 0.01 s
4.72/2.52	c (0,0) c
4.72/2.52	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
4.72/2.52	c (0,0) c
4.72/2.52	c (0,0) c    0         0         0     1121     9596        0   -nan  -nan  -nan -nan%
4.72/2.52	c (0,0) c    0         1        83      944     9596       76    5.3   2.3   4.7 14.9%
4.72/2.52	c (0,0) c
4.72/2.52	c (0,0) c
4.72/2.52	c (0,0) c variables         : 944         (init 1230, after simp 1121, 0 non-decs, 30 csp)
4.72/2.52	c (0,0) c clauses           : 9596        (init 9705, after simp 9596)
4.72/2.52	c (0,0) c restarts          : 0           (83.00 confs/res, 83~83 confs, 0 blks, 0 last)
4.72/2.52	c (0,0) c conflicts         : 83          (6673 /sec, 56.63% dconfs, 0.00% supp, trail 45.12w x 4.70h, jmp 1.33h)
4.72/2.52	c (0,0) c decisions         : 110         (0.6000 vdcy, 8844 /sec, 0.00% bin, rs 0.000 s)
4.72/2.52	c (0,0) c propagations      : 5730        (460685 /sec, 52.09 lits/dec, 76.67% o.a.)
4.72/2.52	c (0,0) c conflict literals : 475         (13.47% deleted; 0.42% by bin min, 0.000 s)
4.72/2.52	c (0,0) c len               : 5.303       (4.93 for all, max 10, used 9)
4.72/2.52	c (0,0) c lbd               : 2.342       (2.84 (2.22) for all, max 5, used 5, 0.719 stdev, 1.733 blk)
4.72/2.52	c (0,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
4.72/2.52	c (0,0) c simp dbs          : 1           (0.000 s)
4.72/2.52	c (0,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
4.72/2.52	c (0,0) c learnts           : 76          (0 learnts removed, 0.00%)
4.72/2.52	c (0,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
4.72/2.52	c (0,0) c assigned lits     : 0           (0/0 probed, 0 remains)
4.72/2.52	c (0,0) c premise updates   : 0           (0.00 /lit)
4.72/2.52	c (0,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
4.72/2.52	c (0,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
4.72/2.52	c (0,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.000s)
4.72/2.52	c (0,0) c unwatched lit elim: 4           (0.00+0.63%, 1+3 of 31582+475)
4.72/2.52	c (0,0) c classified type   : undef
4.72/2.52	c (0,0) c progress          : 15.789%
4.72/2.52	c (0,0) c
4.72/2.52	c (0,0) c [Statistics]
4.72/2.52	c (0,0) c             learnts len        learnts lbd        lit blk size       eq vars size
4.72/2.52	c (0,0) c  tot          82                 82                236                  0
4.72/2.52	c (0,0) c  avg       4.988              2.244              1.733               -nan
4.72/2.52	c (0,0) c   1            6 ( 7.3%)          6 ( 7.3%)        153 (64.8%)          0 (-nan%)
4.72/2.52	c (0,0) c   2            4 ( 4.9%)         57 (69.5%)         36 (15.3%)          0 (-nan%)
4.72/2.52	c (0,0) c   3           10 (12.2%)         13 (15.9%)         26 (11.0%)          0 (-nan%)
4.72/2.52	c (0,0) c   4           11 (13.4%)          5 ( 6.1%)         10 ( 4.2%)          0 (-nan%)
4.72/2.52	c (0,0) c   5           26 (31.7%)          1 ( 1.2%)          4 ( 1.7%)          0 (-nan%)
4.72/2.52	c (0,0) c   6            6 ( 7.3%)          0 ( 0.0%)          4 ( 1.7%)          0 (-nan%)
4.72/2.52	c (0,0) c   7            6 ( 7.3%)          0 ( 0.0%)          2 ( 0.8%)          0 (-nan%)
4.72/2.52	c (0,0) c   8            6 ( 7.3%)          0 ( 0.0%)          1 ( 0.4%)          0 (-nan%)
4.72/2.52	c (0,0) c   9            5 ( 6.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  10            2 ( 2.4%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  11            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  12            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  13            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  14            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  15            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  16            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  17            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  18            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  19            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  20            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  21            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  22            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  23            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  24            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  25            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  26            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  27            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  28            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  29            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c  30            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
4.72/2.52	c (0,0) c
4.72/2.52	c (0,0) c [LBD Statistics]
4.72/2.52	c (0,0) c LBD          used lbd               used clause lbd         unused clause lbd
4.72/2.52	c (0,0) c  tot           95                      42                      34
4.72/2.52	c (0,0) c  avg        2.421                   2.262                   2.441
4.72/2.52	c (0,0) c    1            0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)
4.72/2.52	c (0,0) c    2           66 (69.5/69.5%)         33 (78.6/78.6%)         24 (70.6/70.6%)
4.72/2.52	c (0,0) c    3           20 (21.1/90.5%)          7 (16.7/95.2%)          6 (17.6/88.2%)
4.72/2.52	c (0,0) c    4            7 ( 7.4/97.9%)          2 ( 4.8/100.0%)          3 ( 8.8/97.1%)
4.72/2.52	c (0,0) c    5            2 ( 2.1/100.0%)          0 ( 0.0/100.0%)          1 ( 2.9/100.0%)
4.72/2.52	c (0,0) c
4.72/2.52	c (0,0) c Memory used       : 21.00 MB
4.72/2.52	c (0,0) c CPU time          : 0.012 s
4.72/2.52	c (0,0) c Real time         : 0.014 s
4.72/2.52	c (0,0) c
4.72/2.52	c (0,0) s UNSATISFIABLE
4.72/2.55	c (0,0) SatSolver.solve End
4.72/2.55	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.72/2.55	c (0,0) Show results Begin
4.72/2.55	s UNSATISFIABLE
4.72/2.55	c (0,0) Show results End
4.72/2.55	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.72/2.55	c (0,0) 0,0,STOP-AFTER(ALL)
4.72/2.55	c END-Prog: Thu Sep 12 16:38:24 CEST 2019

Verifier Data


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 (11538 MiB free)
  memory of node 1: 16384 MiB (14182 MiB free)
  node distances:
     10  21
     21  10

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

[startup+0.100123 s]*
/proc/loadavg: 2.44 2.20 2.12 4/229 15996
/proc/meminfo: memFree=26272048/32770624 swapFree=66957008/67108860
[pid=15979] ppid=15976 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15979/stat : 15979 (scop.sh) S 15976 15979 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828333 115843072 349 33554432000 4194304 5098028 140730798039840 140730798037096 139993829909116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34406400 140730798043944 140730798044272 140730798044272 140730798047181 0
/proc/15979/statm: 28282 349 296 221 0 87 0
[pid=15982] ppid=15979 vsize=15012696 memory=72380 CPUtime=0.12 cores=0,2,4,6
/proc/15982/stat : 15982 (java) S 15979 15979 8853 0 -1 1077944320 6335 0 0 0 10 2 0 0 20 0 15 0 405828333 15373000704 18095 33554432000 4194304 4196468 140733007295312 140733007277856 140090243649271 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
/proc/15982/statm: 3753174 18095 2913 1 0 3715579 0
[pid=15982/tid=15983] ppid=15979 vsize=15012696 memory=-6601833317647732518 CPUtime=0.08 cores=0,2,4,6
/proc/15982/task/15983/stat : 15983 (java) R 15979 15979 8853 0 -1 4202560 4224 0 0 0 7 1 0 0 20 0 15 0 405828334 15373000704 18095 33554432000 4194304 4196468 140733007295312 140090215460632 140090227729758 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15984] ppid=15979 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15984/stat : 15984 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 18095 33554432000 4194304 4196468 140733007295312 140090247891344 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15985] ppid=15979 vsize=15012696 memory=139787857974912 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15985/stat : 15985 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 18095 33554432000 4194304 4196468 140733007295312 140090023594256 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15986] ppid=15979 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15986/stat : 15986 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 18095 33554432000 4194304 4196468 140733007295312 140089703262864 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15987] ppid=15979 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15987/stat : 15987 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 18095 33554432000 4194304 4196468 140733007295312 140089702210064 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15988] ppid=15979 vsize=15012696 memory=139787857974912 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15988/stat : 15988 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828337 15373000704 18095 33554432000 4194304 4196468 140733007295312 140089213565552 140090243660418 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15989] ppid=15979 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15989/stat : 15989 (java) S 15979 15979 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828337 15373000704 18095 33554432000 4194304 4196468 140733007295312 140088814069024 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15990] ppid=15979 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15990/stat : 15990 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828337 15373000704 18095 33554432000 4194304 4196468 140733007295312 140088545633904 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15991] ppid=15979 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15991/stat : 15991 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 18095 33554432000 4194304 4196468 140733007295312 140088171125328 140090243667867 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15992] ppid=15979 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15992/stat : 15992 (java) S 15979 15979 8853 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 18095 33554432000 4194304 4196468 140733007295312 140089212512368 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15993] ppid=15979 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15993/stat : 15993 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 18095 33554432000 4194304 4196468 140733007295312 140089211459568 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15994] ppid=15979 vsize=15012696 memory=139787857974912 CPUtime=0.01 cores=0,2,4,6
/proc/15982/task/15994/stat : 15994 (java) R 15979 15979 8853 0 -1 4202560 370 0 0 0 1 0 0 0 20 0 15 0 405828340 15373000704 18095 33554432000 4194304 4196468 140733007295312 140089210407280 140090222282027 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15995] ppid=15979 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15995/stat : 15995 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 18160 33554432000 4194304 4196468 140733007295312 140087673219552 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15996] ppid=15979 vsize=15012696 memory=139787857974912 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15996/stat : 15996 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 18160 33554432000 4194304 4196468 140733007295312 140089209355184 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73776 KiB

[startup+0.21094 s]*
/proc/loadavg: 2.44 2.20 2.12 4/229 15996
/proc/meminfo: memFree=26243520/32770624 swapFree=66957008/67108860
[pid=15979] ppid=15976 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15979/stat : 15979 (scop.sh) S 15976 15979 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828333 115843072 349 33554432000 4194304 5098028 140730798039840 140730798037096 139993829909116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34406400 140730798043944 140730798044272 140730798044272 140730798047181 0
/proc/15979/statm: 28282 349 296 221 0 87 0
[pid=15982] ppid=15979 vsize=15012696 memory=88032 CPUtime=0.24 cores=0,2,4,6
/proc/15982/stat : 15982 (java) S 15979 15979 8853 0 -1 1077944320 11565 0 0 0 21 3 0 0 20 0 15 0 405828333 15373000704 22008 33554432000 4194304 4196468 140733007295312 140733007277856 140090243649271 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
/proc/15982/statm: 3753174 22008 2925 1 0 3715579 0
[pid=15982/tid=15983] ppid=15979 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/15982/task/15983/stat : 15983 (java) R 15979 15979 8853 0 -1 4202560 9335 0 0 0 17 3 0 0 20 0 15 0 405828334 15373000704 22008 33554432000 4194304 4196468 140733007295312 140090215448656 140090243671197 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15984] ppid=15979 vsize=15012696 memory=8952 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15984/stat : 15984 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 22008 33554432000 4194304 4196468 140733007295312 140090247891344 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15985] ppid=15979 vsize=15012696 memory=288370164009686656 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15985/stat : 15985 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 22008 33554432000 4194304 4196468 140733007295312 140090023594256 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15986] ppid=15979 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15986/stat : 15986 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 22008 33554432000 4194304 4196468 140733007295312 140089703262864 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15987] ppid=15979 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15987/stat : 15987 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 22008 33554432000 4194304 4196468 140733007295312 140089702210064 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15988] ppid=15979 vsize=15012696 memory=139787857974912 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15988/stat : 15988 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828337 15373000704 22008 33554432000 4194304 4196468 140733007295312 140089213565552 140090243660418 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15989] ppid=15979 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15989/stat : 15989 (java) S 15979 15979 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828337 15373000704 22008 33554432000 4194304 4196468 140733007295312 140088814069024 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15990] ppid=15979 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15990/stat : 15990 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828337 15373000704 22008 33554432000 4194304 4196468 140733007295312 140088545633904 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15991] ppid=15979 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15991/stat : 15991 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 22008 33554432000 4194304 4196468 140733007295312 140088171125328 140090243667867 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15992] ppid=15979 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15982/task/15992/stat : 15992 (java) S 15979 15979 8853 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 15 0 405828340 15373000704 22008 33554432000 4194304 4196468 140733007295312 140089212512368 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15993] ppid=15979 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15993/stat : 15993 (java) S 15979 15979 8853 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 22008 33554432000 4194304 4196468 140733007295312 140089211459568 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15994] ppid=15979 vsize=15012696 memory=139787857974912 CPUtime=0.02 cores=0,2,4,6
/proc/15982/task/15994/stat : 15994 (java) S 15979 15979 8853 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 405828340 15373000704 22008 33554432000 4194304 4196468 140733007295312 140089210407280 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15995] ppid=15979 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15995/stat : 15995 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 22008 33554432000 4194304 4196468 140733007295312 140087673219552 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15996] ppid=15979 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15996/stat : 15996 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 22008 33554432000 4194304 4196468 140733007295312 140089209355184 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89428 KiB

[startup+0.310713 s]*
/proc/loadavg: 2.44 2.20 2.12 4/229 15996
/proc/meminfo: memFree=26237068/32770624 swapFree=66957008/67108860
[pid=15979] ppid=15976 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15979/stat : 15979 (scop.sh) S 15976 15979 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828333 115843072 349 33554432000 4194304 5098028 140730798039840 140730798037096 139993829909116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34406400 140730798043944 140730798044272 140730798044272 140730798047181 0
/proc/15979/statm: 28282 349 296 221 0 87 0
[pid=15982] ppid=15979 vsize=15012696 memory=92320 CPUtime=0.43 cores=0,2,4,6
/proc/15982/stat : 15982 (java) S 15979 15979 8853 0 -1 1077944320 12045 0 0 0 39 4 0 0 20 0 15 0 405828333 15373000704 23080 33554432000 4194304 4196468 140733007295312 140733007277856 140090243649271 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
/proc/15982/statm: 3753174 23080 3068 1 0 3715579 0
[pid=15982/tid=15983] ppid=15979 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15982/task/15983/stat : 15983 (java) R 15979 15979 8853 0 -1 4202560 9621 0 0 0 26 3 0 0 20 0 15 0 405828334 15373000704 23080 33554432000 4194304 4196468 140733007295312 140090215452496 140090223924406 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15984] ppid=15979 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15984/stat : 15984 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 23080 33554432000 4194304 4196468 140733007295312 140090247891344 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15985] ppid=15979 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15985/stat : 15985 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 23080 33554432000 4194304 4196468 140733007295312 140090023594256 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15986] ppid=15979 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15986/stat : 15986 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 23080 33554432000 4194304 4196468 140733007295312 140089703262864 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15987] ppid=15979 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15987/stat : 15987 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828335 15373000704 23080 33554432000 4194304 4196468 140733007295312 140089702210064 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15988] ppid=15979 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15988/stat : 15988 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828337 15373000704 23080 33554432000 4194304 4196468 140733007295312 140089213565552 140090243660418 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15989] ppid=15979 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15989/stat : 15989 (java) S 15979 15979 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828337 15373000704 23080 33554432000 4194304 4196468 140733007295312 140088814069024 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15990] ppid=15979 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15990/stat : 15990 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828337 15373000704 23080 33554432000 4194304 4196468 140733007295312 140088545633904 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15991] ppid=15979 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15991/stat : 15991 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 23080 33554432000 4194304 4196468 140733007295312 140088171125328 140090243667867 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15992] ppid=15979 vsize=15012696 memory=4628975386420216973 CPUtime=0.02 cores=0,2,4,6
/proc/15982/task/15992/stat : 15992 (java) S 15979 15979 8853 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 405828340 15373000704 23080 33554432000 4194304 4196468 140733007295312 140089212512368 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15993] ppid=15979 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15982/task/15993/stat : 15993 (java) S 15979 15979 8853 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 15 0 405828340 15373000704 23080 33554432000 4194304 4196468 140733007295312 140089211459568 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15994] ppid=15979 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15982/task/15994/stat : 15994 (java) S 15979 15979 8853 0 -1 1077944384 463 0 0 0 7 0 0 0 20 0 15 0 405828340 15373000704 23080 33554432000 4194304 4196468 140733007295312 140089210407280 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15995] ppid=15979 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15995/stat : 15995 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 23080 33554432000 4194304 4196468 140733007295312 140087673219552 140090243659477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15996] ppid=15979 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15996/stat : 15996 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828340 15373000704 23080 33554432000 4194304 4196468 140733007295312 140089209355184 140090243660418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93716 KiB

[startup+0.701702 s]
/proc/loadavg: 2.44 2.20 2.12 4/229 15996
/proc/meminfo: memFree=26204896/32770624 swapFree=66957008/67108860
[pid=15979] ppid=15976 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15979/stat : 15979 (scop.sh) S 15976 15979 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828333 115843072 349 33554432000 4194304 5098028 140730798039840 140730798037096 139993829909116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34406400 140730798043944 140730798044272 140730798044272 140730798047181 0
/proc/15979/statm: 28282 349 296 221 0 87 0
[pid=15982] ppid=15979 vsize=15021016 memory=129932 CPUtime=1 cores=0,2,4,6
/proc/15982/stat : 15982 (java) S 15979 15979 8853 0 -1 1077944320 19732 0 0 0 94 6 0 0 20 0 15 0 405828333 15381520384 32483 33554432000 4194304 4196468 140733007295312 140733007277856 140090243649271 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
/proc/15982/statm: 3755254 32483 3187 1 0 3716603 0
[pid=15982/tid=15983] ppid=15979 vsize=15021016 memory=37520 CPUtime=0.68 cores=0,2,4,6
/proc/15982/task/15983/stat : 15983 (java) R 15979 15979 8853 0 -1 4202560 16776 0 0 0 63 5 0 0 20 0 15 0 405828334 15381520384 32483 33554432000 4194304 4196468 140733007295312 140090215483616 140090227729758 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15984] ppid=15979 vsize=15021016 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15984/stat : 15984 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828335 15381520384 32483 33554432000 4194304 4196468 140733007295312 140090247891344 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15985] ppid=15979 vsize=15021016 memory=988 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15985/stat : 15985 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828335 15381520384 32483 33554432000 4194304 4196468 140733007295312 140090023594256 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15986] ppid=15979 vsize=15021016 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15986/stat : 15986 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828335 15381520384 32483 33554432000 4194304 4196468 140733007295312 140089703262864 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15987] ppid=15979 vsize=15021016 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15987/stat : 15987 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828335 15381520384 32483 33554432000 4194304 4196468 140733007295312 140089702210064 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15988] ppid=15979 vsize=15021016 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15988/stat : 15988 (java) S 15979 15979 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405828337 15381520384 32483 33554432000 4194304 4196468 140733007295312 140089213565552 140090243660418 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15989] ppid=15979 vsize=15021016 memory=6092 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15989/stat : 15989 (java) S 15979 15979 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828337 15381520384 32483 33554432000 4194304 4196468 140733007295312 140088814069024 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15990] ppid=15979 vsize=15021016 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15990/stat : 15990 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828337 15381520384 32483 33554432000 4194304 4196468 140733007295312 140088545633904 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15991] ppid=15979 vsize=15021016 memory=732 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15991/stat : 15991 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15381520384 32483 33554432000 4194304 4196468 140733007295312 140088171125328 140090243667867 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15992] ppid=15979 vsize=15021016 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/15982/task/15992/stat : 15992 (java) R 15979 15979 8853 0 -1 4202560 684 0 0 0 8 0 0 0 20 0 15 0 405828340 15381520384 32483 33554432000 4194304 4196468 140733007295312 140089212512368 140090224828108 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15993] ppid=15979 vsize=15021016 memory=1560 CPUtime=0.07 cores=0,2,4,6
/proc/15982/task/15993/stat : 15993 (java) S 15979 15979 8853 0 -1 1077944384 344 0 0 0 7 0 0 0 20 0 15 0 405828340 15381520384 32483 33554432000 4194304 4196468 140733007295312 140089211459568 140090243660418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15994] ppid=15979 vsize=15021016 memory=4008 CPUtime=0.15 cores=0,2,4,6
/proc/15982/task/15994/stat : 15994 (java) S 15979 15979 8853 0 -1 1077944384 594 0 0 0 15 0 0 0 20 0 15 0 405828340 15381520384 32483 33554432000 4194304 4196468 140733007295312 140089210407280 140090243660418 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15995] ppid=15979 vsize=15021016 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15995/stat : 15995 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15381520384 32483 33554432000 4194304 4196468 140733007295312 140087673219552 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15996] ppid=15979 vsize=15021016 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15996/stat : 15996 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828340 15381520384 32483 33554432000 4194304 4196468 140733007295312 140089209355184 140090243660418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 131328 KiB

[startup+1.5013 s]
/proc/loadavg: 2.44 2.20 2.12 5/229 15996
/proc/meminfo: memFree=26140992/32770624 swapFree=66957008/67108860
[pid=15979] ppid=15976 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15979/stat : 15979 (scop.sh) S 15976 15979 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828333 115843072 349 33554432000 4194304 5098028 140730798039840 140730798037096 139993829909116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34406400 140730798043944 140730798044272 140730798044272 140730798047181 0
/proc/15979/statm: 28282 349 296 221 0 87 0

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

/proc/15979/stat : 15979 (scop.sh) S 15976 15979 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828333 115843072 349 33554432000 4194304 5098028 140730798039840 140730798037096 139993829909116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34406400 140730798043944 140730798044272 140730798044272 140730798047181 0
/proc/15979/statm: 28282 349 296 221 0 87 0
[pid=15982] ppid=15979 vsize=15027304 memory=188080 CPUtime=3.19 cores=0,2,4,6
/proc/15982/stat : 15982 (java) S 15979 15979 8853 0 -1 1077944320 23645 0 0 0 309 10 0 0 20 0 15 0 405828333 15387959296 47020 33554432000 4194304 4196468 140733007295312 140733007277856 140090243649271 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
/proc/15982/statm: 3756826 47020 3259 1 0 3717627 0
[pid=15982/tid=15983] ppid=15979 vsize=15027304 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/15982/task/15983/stat : 15983 (java) R 15979 15979 8853 0 -1 4202560 18447 0 0 0 150 7 0 0 20 0 15 0 405828334 15387959296 47020 33554432000 4194304 4196468 140733007295312 140090215484136 140089709860871 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15984] ppid=15979 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15984/stat : 15984 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828335 15387959296 47020 33554432000 4194304 4196468 140733007295312 140090247891344 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15985] ppid=15979 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15985/stat : 15985 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828335 15387959296 47020 33554432000 4194304 4196468 140733007295312 140090023594256 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15986] ppid=15979 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15986/stat : 15986 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828335 15387959296 47020 33554432000 4194304 4196468 140733007295312 140089703262864 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15987] ppid=15979 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15987/stat : 15987 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828335 15387959296 47020 33554432000 4194304 4196468 140733007295312 140089702210064 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15988] ppid=15979 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15988/stat : 15988 (java) S 15979 15979 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405828337 15387959296 47020 33554432000 4194304 4196468 140733007295312 140089213565552 140090243660418 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15989] ppid=15979 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15989/stat : 15989 (java) S 15979 15979 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828337 15387959296 47020 33554432000 4194304 4196468 140733007295312 140088814069024 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15990] ppid=15979 vsize=15027304 memory=279575393210880 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15990/stat : 15990 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828337 15387959296 47020 33554432000 4194304 4196468 140733007295312 140088545633904 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15991] ppid=15979 vsize=15027304 memory=9174 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15991/stat : 15991 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15387959296 47020 33554432000 4194304 4196468 140733007295312 140088171125328 140090243667867 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15992] ppid=15979 vsize=15027304 memory=22745 CPUtime=0.42 cores=0,2,4,6
/proc/15982/task/15992/stat : 15992 (java) R 15979 15979 8853 0 -1 4202560 1016 0 0 0 42 0 0 0 20 0 15 0 405828340 15387959296 47020 33554432000 4194304 4196468 140733007295312 140089212501040 140090223021216 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15993] ppid=15979 vsize=15027304 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/15982/task/15993/stat : 15993 (java) R 15979 15979 8853 0 -1 4202560 713 0 0 0 43 1 0 0 20 0 15 0 405828340 15387959296 47020 33554432000 4194304 4196468 140733007295312 140089211459568 140090229713467 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15994] ppid=15979 vsize=15027304 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/15982/task/15994/stat : 15994 (java) S 15979 15979 8853 0 -1 1077944384 2134 0 0 0 72 1 0 0 20 0 15 0 405828340 15387959296 47020 33554432000 4194304 4196468 140733007295312 140089210407280 140090243660418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15995] ppid=15979 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15995/stat : 15995 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828340 15387959296 47020 33554432000 4194304 4196468 140733007295312 140087673219552 140090243659477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
[pid=15982/tid=15996] ppid=15979 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15982/task/15996/stat : 15996 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828340 15387959296 47020 33554432000 4194304 4196468 140733007295312 140089209355184 140090243660418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32071680 140733007299310 140733007299738 140733007299738 140733007302607 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 189476 KiB

[startup+2.00931 s]*
/proc/loadavg: 2.44 2.20 2.12 4/229 16026
/proc/meminfo: memFree=26330656/32770624 swapFree=66957008/67108860
[pid=15979] ppid=15976 vsize=113128 memory=1476 CPUtime=3.71 cores=0,2,4,6
/proc/15979/stat : 15979 (scop.sh) S 15976 15979 8853 0 -1 4202496 584 25280 0 0 0 0 360 11 20 0 1 0 405828333 115843072 369 33554432000 4194304 5098028 140730798039840 140730798036584 139993829909116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34406400 140730798043944 140730798044272 140730798044272 140730798047181 0
/proc/15979/statm: 28282 369 311 221 0 87 0
[pid=16012] ppid=15979 vsize=7404500 memory=58852 CPUtime=0.33 cores=0,2,4,6
/proc/16012/stat : 16012 (java) S 15979 15979 8853 0 -1 1077944320 10421 0 0 0 30 3 0 0 20 0 15 0 405828511 7582208000 14713 33554432000 4194304 4196468 140725515939280 140725515921824 140664607596279 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
/proc/16012/statm: 1851125 14713 2979 1 0 1813530 0
[pid=16012/tid=16013] ppid=15979 vsize=7404500 memory=8514726395714825349 CPUtime=0.22 cores=0,2,4,6
/proc/16012/task/16013/stat : 16013 (java) R 15979 15979 8853 0 -1 4202560 8233 0 0 0 20 2 0 0 20 0 15 0 405828511 7582208000 14713 33554432000 4194304 4196468 140725515939280 140664579412024 140664587128709 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16014] ppid=15979 vsize=7404500 memory=735550434977132846 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16014/stat : 16014 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828513 7582208000 14713 33554432000 4194304 4196468 140725515939280 140664611838608 140664607606485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16015] ppid=15979 vsize=7404500 memory=3472467916754173379 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16015/stat : 16015 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828513 7582208000 14713 33554432000 4194304 4196468 140725515939280 140664412006928 140664607606485 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16016] ppid=15979 vsize=7404500 memory=-3704326594973231466 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16016/stat : 16016 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828513 7582208000 14713 33554432000 4194304 4196468 140725515939280 140664410954128 140664607606485 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16017] ppid=15979 vsize=7404500 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16017/stat : 16017 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828513 7582208000 14713 33554432000 4194304 4196468 140725515939280 140664409901328 140664607606485 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16018] ppid=15979 vsize=7404500 memory=139787857974912 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16018/stat : 16018 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828514 7582208000 14713 33554432000 4194304 4196468 140725515939280 140663986928496 140664607607426 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16019] ppid=15979 vsize=7404500 memory=7883960649037381690 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16019/stat : 16019 (java) S 15979 15979 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828515 7582208000 14713 33554432000 4194304 4196468 140725515939280 140663467271712 140664607606485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16020] ppid=15979 vsize=7404500 memory=9289 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16020/stat : 16020 (java) S 15979 15979 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405828515 7582208000 14713 33554432000 4194304 4196468 140725515939280 140663333049712 140664607606485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16021] ppid=15979 vsize=7404500 memory=321848409848695940 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16021/stat : 16021 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828517 7582208000 14713 33554432000 4194304 4196468 140725515939280 140662958545232 140664607614875 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16022] ppid=15979 vsize=7404500 memory=-6935123839545469842 CPUtime=0.02 cores=0,2,4,6
/proc/16012/task/16022/stat : 16022 (java) S 15979 15979 8853 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 15 0 405828517 7582208000 14713 33554432000 4194304 4196468 140725515939280 140663985875312 140664607607426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16023] ppid=15979 vsize=7404500 memory=-7022074515825631275 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16023/stat : 16023 (java) S 15979 15979 8853 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 405828517 7582208000 14713 33554432000 4194304 4196468 140725515939280 140663984822512 140664607607426 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16024] ppid=15979 vsize=7404500 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/16012/task/16024/stat : 16024 (java) S 15979 15979 8853 0 -1 1077944384 299 0 0 0 6 0 0 0 20 0 15 0 405828517 7582208000 14713 33554432000 4194304 4196468 140725515939280 140663983769712 140664607607426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16025] ppid=15979 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16025/stat : 16025 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828517 7582208000 14713 33554432000 4194304 4196468 140725515939280 140662460639456 140664607606485 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16026] ppid=15979 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16026/stat : 16026 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828518 7582208000 14713 33554432000 4194304 4196468 140725515939280 140663982718128 140664607607426 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
Current children cumulated CPU time: 4.04 s
Current children cumulated vsize: 7517628 KiB
Current children cumulated memory: 60328 KiB

[startup+2.40084 s]
/proc/loadavg: 2.44 2.20 2.12 4/229 16026
/proc/meminfo: memFree=26330656/32770624 swapFree=66957008/67108860
[pid=15979] ppid=15976 vsize=113128 memory=1476 CPUtime=3.71 cores=0,2,4,6
/proc/15979/stat : 15979 (scop.sh) S 15976 15979 8853 0 -1 4202496 584 25280 0 0 0 0 360 11 20 0 1 0 405828333 115843072 369 33554432000 4194304 5098028 140730798039840 140730798036584 139993829909116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34406400 140730798043944 140730798044272 140730798044272 140730798047181 0
/proc/15979/statm: 28282 369 311 221 0 87 0
[pid=16012] ppid=15979 vsize=7406604 memory=95184 CPUtime=0.82 cores=0,2,4,6
/proc/16012/stat : 16012 (java) S 15979 15979 8853 0 -1 1077944320 18054 0 0 0 77 5 0 0 20 0 15 0 405828511 7584362496 23796 33554432000 4194304 4196468 140725515939280 140725515921824 140664607596279 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
/proc/16012/statm: 1851651 23796 3105 1 0 1813530 0
[pid=16012/tid=16013] ppid=15979 vsize=7406604 memory=31076 CPUtime=0.6 cores=0,2,4,6
/proc/16012/task/16013/stat : 16013 (java) R 15979 15979 8853 0 -1 4202560 15699 0 0 0 56 4 0 0 20 0 15 0 405828511 7584362496 23796 33554432000 4194304 4196468 140725515939280 140664579389552 140664587872150 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16014] ppid=15979 vsize=7406604 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16014/stat : 16014 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828513 7584362496 23796 33554432000 4194304 4196468 140725515939280 140664611838608 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16015] ppid=15979 vsize=7406604 memory=-6237260532469557610 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16015/stat : 16015 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828513 7584362496 23796 33554432000 4194304 4196468 140725515939280 140664412006928 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16016] ppid=15979 vsize=7406604 memory=-7737621075815361632 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16016/stat : 16016 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828513 7584362496 23796 33554432000 4194304 4196468 140725515939280 140664410954128 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16017] ppid=15979 vsize=7406604 memory=8028674168966910323 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16017/stat : 16017 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828513 7584362496 23796 33554432000 4194304 4196468 140725515939280 140664409901328 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16018] ppid=15979 vsize=7406604 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16018/stat : 16018 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828514 7584362496 23796 33554432000 4194304 4196468 140725515939280 140663986928496 140664607607426 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16019] ppid=15979 vsize=7406604 memory=157596 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16019/stat : 16019 (java) S 15979 15979 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828515 7584362496 23796 33554432000 4194304 4196468 140725515939280 140663467271712 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16020] ppid=15979 vsize=7406604 memory=14689690934577591 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16020/stat : 16020 (java) S 15979 15979 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405828515 7584362496 23796 33554432000 4194304 4196468 140725515939280 140663333049712 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16021] ppid=15979 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16021/stat : 16021 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828517 7584362496 23796 33554432000 4194304 4196468 140725515939280 140662958545232 140664607614875 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16022] ppid=15979 vsize=7406604 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16012/task/16022/stat : 16022 (java) S 15979 15979 8853 0 -1 1077944384 497 0 0 0 4 0 0 0 20 0 15 0 405828517 7584362496 23796 33554432000 4194304 4196468 140725515939280 140663985875312 140664607607426 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16023] ppid=15979 vsize=7406604 memory=6656426216303648864 CPUtime=0.03 cores=0,2,4,6
/proc/16012/task/16023/stat : 16023 (java) S 15979 15979 8853 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 15 0 405828517 7584362496 23796 33554432000 4194304 4196468 140725515939280 140663984822512 140664607607426 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16024] ppid=15979 vsize=7406604 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/16012/task/16024/stat : 16024 (java) S 15979 15979 8853 0 -1 1077944384 371 0 0 0 13 0 0 0 20 0 15 0 405828517 7584362496 23796 33554432000 4194304 4196468 140725515939280 140663983769712 140664607607426 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16025] ppid=15979 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16025/stat : 16025 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828517 7584362496 23796 33554432000 4194304 4196468 140725515939280 140662460639456 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16026] ppid=15979 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16026/stat : 16026 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828518 7584362496 23796 33554432000 4194304 4196468 140725515939280 140663982718128 140664607607426 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
Current children cumulated CPU time: 4.53 s
Current children cumulated vsize: 7519732 KiB
Current children cumulated memory: 96660 KiB

[startup+2.50099 s]
/proc/loadavg: 2.44 2.20 2.12 4/229 16026
/proc/meminfo: memFree=26330656/32770624 swapFree=66957008/67108860
[pid=15979] ppid=15976 vsize=113128 memory=1476 CPUtime=3.71 cores=0,2,4,6
/proc/15979/stat : 15979 (scop.sh) S 15976 15979 8853 0 -1 4202496 584 25280 0 0 0 0 360 11 20 0 1 0 405828333 115843072 369 33554432000 4194304 5098028 140730798039840 140730798036584 139993829909116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34406400 140730798043944 140730798044272 140730798044272 140730798047181 0
/proc/15979/statm: 28282 369 311 221 0 87 0
[pid=16012] ppid=15979 vsize=7410792 memory=100556 CPUtime=1.01 cores=0,2,4,6
/proc/16012/stat : 16012 (java) S 15979 15979 8853 0 -1 1077944320 19014 0 0 0 95 6 0 0 20 0 15 0 405828511 7588651008 25139 33554432000 4194304 4196468 140725515939280 140725515921824 140664607596279 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
/proc/16012/statm: 1852698 25139 3142 1 0 1814042 0
[pid=16012/tid=16013] ppid=15979 vsize=7410792 memory=288230574492221466 CPUtime=0.69 cores=0,2,4,6
/proc/16012/task/16013/stat : 16013 (java) R 15979 15979 8853 0 -1 4202560 16461 0 0 0 65 4 0 0 20 0 15 0 405828511 7588651008 25139 33554432000 4194304 4196468 140725515939280 140664579432720 140664607618205 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16014] ppid=15979 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16014/stat : 16014 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828513 7588651008 25139 33554432000 4194304 4196468 140725515939280 140664611838608 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16015] ppid=15979 vsize=7410792 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16015/stat : 16015 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828513 7588651008 25139 33554432000 4194304 4196468 140725515939280 140664412006928 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16016] ppid=15979 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16016/stat : 16016 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828513 7588651008 25139 33554432000 4194304 4196468 140725515939280 140664410954128 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16017] ppid=15979 vsize=7410792 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16017/stat : 16017 (java) S 15979 15979 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828513 7588651008 25139 33554432000 4194304 4196468 140725515939280 140664409901328 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16018] ppid=15979 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16018/stat : 16018 (java) S 15979 15979 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405828514 7588651008 25139 33554432000 4194304 4196468 140725515939280 140663986928496 140664607607426 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16019] ppid=15979 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16019/stat : 16019 (java) S 15979 15979 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828515 7588651008 25139 33554432000 4194304 4196468 140725515939280 140663467271712 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16020] ppid=15979 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16020/stat : 16020 (java) S 15979 15979 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405828515 7588651008 25139 33554432000 4194304 4196468 140725515939280 140663333049712 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16021] ppid=15979 vsize=7410792 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16021/stat : 16021 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828517 7588651008 25139 33554432000 4194304 4196468 140725515939280 140662958545232 140664607614875 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16022] ppid=15979 vsize=7410792 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16012/task/16022/stat : 16022 (java) S 15979 15979 8853 0 -1 1077944384 506 0 0 0 5 0 0 0 20 0 15 0 405828517 7588651008 25139 33554432000 4194304 4196468 140725515939280 140663985875312 140664607607426 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16023] ppid=15979 vsize=7410792 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/16012/task/16023/stat : 16023 (java) S 15979 15979 8853 0 -1 1077944384 220 0 0 0 6 0 0 0 20 0 15 0 405828517 7588651008 25139 33554432000 4194304 4196468 140725515939280 140663984822512 140664607607426 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16024] ppid=15979 vsize=7410792 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/16012/task/16024/stat : 16024 (java) R 15979 15979 8853 0 -1 4202560 472 0 0 0 17 0 0 0 20 0 15 0 405828517 7588651008 25139 33554432000 4194304 4196468 140725515939280 140663983769712 140664586537950 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16025] ppid=15979 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16025/stat : 16025 (java) S 15979 15979 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828517 7588651008 25139 33554432000 4194304 4196468 140725515939280 140662460639456 140664607606485 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
[pid=16012/tid=16026] ppid=15979 vsize=7410792 memory=64884 CPUtime=0 cores=0,2,4,6
/proc/16012/task/16026/stat : 16026 (java) S 15979 15979 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828518 7588651008 25139 33554432000 4194304 4196468 140725515939280 140663982718128 140664607607426 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18886656 140725515940859 140725515941018 140725515941018 140725515943887 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 7523920 KiB
Current children cumulated memory: 102032 KiB

Child status: 0
Real time (s): 2.5625
CPU time (s): 4.88573
CPU user time (s): 4.68801
CPU system time (s): 0.197725
CPU usage (%): 190.663
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 213432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.68801
system time used= 0.197725
maximum resident set size= 218156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46369
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4881
involuntary context switches= 20


# summary of solver processes directly reported to runsolver:
#   pid: 15979
#   total CPU time (s): 4.88573
#   total CPU user time (s): 4.68801
#   total CPU system time (s): 0.197725

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041221 second user time and 0.071874 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-12 16:38:22
IDJOB=4388424
IDBENCH=141707
IDSOLVER=2825
FILE ID=node147/4388424-1568299145
RUNJOBID= node147-1568286038-9751
PBS_JOBID= 21701064
Free space on /tmp= 52120 MiB

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

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

MD5SUM BENCH= 95db7a436582e8fbf27db66b2c693839
RANDOM SEED=483694682

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26341848 kB
MemAvailable:   31716244 kB
Buffers:          115452 kB
Cached:          5461788 kB
SwapCached:        48504 kB
Active:          2455044 kB
Inactive:        3275276 kB
Active(anon):     103968 kB
Inactive(anon):    91352 kB
Active(file):    2351076 kB
Inactive(file):  3183924 kB
Unevictable:      107624 kB
Mlocked:          107624 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:             40936 kB
Writeback:             0 kB
AnonPages:        159440 kB
Mapped:            54728 kB
Shmem:             32764 kB
Slab:             296864 kB
SReclaimable:     267856 kB
SUnreclaim:        29008 kB
KernelStack:        3424 kB
PageTables:         5816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13178604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52100 MiB
End job on node147 at 2019-09-12 16:38:24