Trace number 4388421

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+GlueMiniSat (2019-06-15)SAT 6.52383 3.22508

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-20-054.xml
MD5SUM3ff211d871d85a956d1d429dedc73eaa
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.5032
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints190
Number of domains20
Minimum domain size35
Maximum domain size54
Distribution of domain sizes[{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2},{"size":43,"count":2},{"size":44,"count":2},{"size":45,"count":2},{"size":46,"count":2},{"size":47,"count":2},{"size":48,"count":2},{"size":49,"count":2},{"size":50,"count":2},{"size":51,"count":2},{"size":52,"count":2},{"size":53,"count":2},{"size":54,"count":2}]
Minimum variable degree19
Maximum variable degree19
Distribution of variable degrees[{"degree":19,"count":40}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":190}]
Number of extensional constraints0
Number of intensional constraints190
Distribution of constraint types[{"type":"intension","count":190}]
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-15926-serial-file.bin HOME/instance-4388421-1568299144.xml
0.67/0.53	
0.67/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Thu Sep 12 16:38:22 CEST 2019
0.67/0.55	c PID: 15929
0.67/0.55	c IP: 172.20.3.147
0.67/0.55	c HOST: node147.alineos.net
0.67/0.56	c (0,0) Parsing Begin
1.79/1.08	c (0,0) Parsing End
1.79/1.09	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54
1.79/1.09	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.79/1.09	c (0,0) Constraint Name Generate Begin
1.79/1.09	c (0,0) Ctr:HOME/instance-4388421-1568299144.xml,Add:Le:Num:Or:Var
1.79/1.09	c (0,0) Constraint Name Generate End
1.79/1.09	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.79/1.09	c (0,0) CSP to CSPinCNF Begin
2.34/1.21	c (0,0) translated 19 (10%) constraints
2.34/1.23	c (0,0) translated 38 (20%) constraints
2.34/1.25	c (0,0) translated 57 (30%) constraints
2.34/1.27	c (0,0) translated 76 (40%) constraints
2.34/1.28	c (0,0) translated 95 (50%) constraints
2.34/1.29	c (0,0) translated 114 (60%) constraints
2.34/1.30	c (0,0) translated 133 (70%) constraints
2.61/1.31	c (0,0) translated 152 (80%) constraints
2.61/1.32	c (0,0) translated 171 (90%) constraints
2.61/1.32	c (0,0) translated 190 (100%) constraints
2.61/1.32	c (0,0) ===========================================
2.61/1.32	c (0,0) Order
2.61/1.32	c (0,0) ===========================================
2.61/1.33	c (0,0) translated 19 (10%) constraints
2.61/1.34	c (0,0) translated 38 (20%) constraints
2.61/1.34	c (0,0) translated 57 (30%) constraints
2.61/1.34	c (0,0) translated 76 (40%) constraints
2.61/1.34	c (0,0) translated 95 (50%) constraints
2.61/1.35	c (0,0) translated 114 (60%) constraints
2.61/1.35	c (0,0) translated 133 (70%) constraints
2.61/1.35	c (0,0) translated 152 (80%) constraints
2.61/1.36	c (0,0) translated 171 (90%) constraints
2.61/1.36	c (0,0) translated 190 (100%) constraints
2.61/1.36	c (0,0) CSP to CSPinCNF End
2.61/1.36	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54
2.61/1.36	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.61/1.36	c (0,0) CSPinCNF Propagation Begin
2.61/1.39	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.61/1.39	c (0,0) CSPinCNF Propagation End
2.61/1.39	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54
2.61/1.39	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.61/1.39	c (0,0) Simplify CSPinCNF Begin
2.87/1.48	c (0,0) Simplify CSPinCNF End
2.87/1.48	c (0,0) CSP: 40 int (0 aux), 760 bool (760 aux), 950 ctr, max domain size 54
2.87/1.48	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.87/1.48	c (0,0) Calculate Precise Domain Begin
2.87/1.48	c (0,0) 0 values are removed by re-calculation
2.87/1.48	c (0,0) Calculate Precise Domain End
2.87/1.48	c (0,0) CSP: 40 int (0 aux), 760 bool (760 aux), 950 ctr, max domain size 54
2.87/1.48	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.87/1.48	c (0,0) CSPinCNF to SatSolver Begin
3.40/1.69	c (1,1) 95 (10 %) CSP clauses are encoded (0 SAT variables, 5028 SAT clauses)
3.70/1.74	c (1,1) 190 (20 %) CSP clauses are encoded (0 SAT variables, 8289 SAT clauses)
3.70/1.78	c (1,1) 285 (30 %) CSP clauses are encoded (0 SAT variables, 11456 SAT clauses)
4.02/1.82	c (1,1) 380 (40 %) CSP clauses are encoded (0 SAT variables, 14476 SAT clauses)
4.02/1.85	c (1,1) 475 (50 %) CSP clauses are encoded (0 SAT variables, 17301 SAT clauses)
4.02/1.87	c (1,1) 570 (60 %) CSP clauses are encoded (0 SAT variables, 19948 SAT clauses)
4.02/1.89	c (1,1) 665 (70 %) CSP clauses are encoded (0 SAT variables, 22464 SAT clauses)
4.34/1.91	c (1,1) 760 (80 %) CSP clauses are encoded (0 SAT variables, 24765 SAT clauses)
4.34/1.93	c (1,1) 855 (90 %) CSP clauses are encoded (0 SAT variables, 26809 SAT clauses)
4.34/1.94	c (1,1) 950 (100 %) CSP clauses are encoded (0 SAT variables, 28473 SAT clauses)
4.34/1.94	c (1,1) CSPinCNF to SatSolver End
4.34/1.94	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.34/1.94	c (1,1) 2500 bool, 28490 clause
4.34/1.94	c (1,1) Export Begin
4.69/2.03	c (1,1) Export to HOME/scop-15926-serial-file.bin
4.69/2.03	c (1,1) Export End
4.69/2.03	c (1,1) Export File Size: 0.01 MB
4.69/2.03	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.69/2.03	c END-Prog: Thu Sep 12 16:38:23 CEST 2019
4.69/2.05	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15926-serial-file.bin
4.78/2.50	c (0,0) Read Serial File Begin
4.78/2.50	c (0,0) HOME/scop-15926-serial-file.bin
4.78/2.70	c (0,0) Read Serial File End
4.78/2.71	
4.78/2.71	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
4.78/2.71	(Solving Process)
4.78/2.71	
4.78/2.74	c BEGIN-Prog: Thu Sep 12 16:38:24 CEST 2019
4.78/2.74	c PID: 15997
4.78/2.74	c IP: 172.20.3.147
4.78/2.74	c HOST: node147.alineos.net
4.78/2.74	c (0,0) SatSolver.solve Begin
4.78/2.74	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388421-1568299144.xml-scop-15929.cnf
4.78/2.77	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.78/2.77	c (0,0) c glueminisat-simp-2.2.10-193oa-n
4.78/2.77	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388421-1568299144.xml-scop-15929.cnf 
4.78/2.77	c (0,0) c Options:
4.78/2.77	c (0,0) c CORE
4.78/2.77	c (0,0) c  var_decay             = 0.950
4.78/2.77	c (0,0) c  clause_decay          = 0.999
4.78/2.77	c (0,0) c  random_var_freq       = 0.000
4.78/2.77	c (0,0) c  random_seed           = 91648253.000
4.78/2.77	c (0,0) c  luby_restart          = 1
4.78/2.77	c (0,0) c  ccmin_mode            = 2
4.78/2.77	c (0,0) c  phase_saving          = 2
4.78/2.77	c (0,0) c  rnd_pol               = 0
4.78/2.77	c (0,0) c  rnd_init_act          = 0
4.78/2.77	c (0,0) c  garbage_frac          = 0.200
4.78/2.77	c (0,0) c  restart_first         = 1000
4.78/2.77	c (0,0) c  restart_inc           = 2.000
4.78/2.77	c (0,0) c MODEL
4.78/2.77	c (0,0) c  partial_model         = 0
4.78/2.77	c (0,0) c PROPAGATION
4.78/2.77	c (0,0) c  bin_propagation       = 1
4.78/2.77	c (0,0) c SIMPLIFICATION
4.78/2.77	c (0,0) c  lrn_min_size          = 100
4.78/2.77	c (0,0) c  lazy_simp             = 1
4.78/2.77	c (0,0) c  lazy_interval         = 10
4.78/2.77	c (0,0) c  lazy_fld_probing      = 1
4.78/2.77	c (0,0) c  lazy_pol_probing      = 1
4.78/2.77	c (0,0) c  lazy_nec_probing      = 1
4.78/2.77	c (0,0) c  lazy_eqv_probing      = 1
4.78/2.77	c (0,0) c  lazy_cla_probing      = 1
4.78/2.77	c (0,0) c  lazy_lrn_min          = 2
4.78/2.77	c (0,0) c  lazy_uw_lit_elim      = 1
4.78/2.77	c (0,0) c  lazy_pr_lit_elim      = 0
4.78/2.77	c (0,0) c  lazy_bin_add          = 3
4.78/2.77	c (0,0) c  probed_lit_chain      = 1
4.78/2.77	c (0,0) c  pr_min_lits           = 0.00020
4.78/2.77	c (0,0) c  pr_min_starts         = 500
4.78/2.77	c (0,0) c  rw_min_lits           = 0.010
4.78/2.77	c (0,0) c  rw_min_starts         = 500
4.78/2.77	c (0,0) c  rand_attach           = 0
4.78/2.77	c (0,0) c  dec_elim              = 1
4.78/2.77	c (0,0) c  dec_elim_lim          = 25
4.78/2.77	c (0,0) c  dec_elim_len          = -1
4.78/2.77	c (0,0) c  amo                   = 0
4.78/2.77	c (0,0) c  amo_grp               = 1
4.78/2.77	c (0,0) c  amo_max_bins          = 1000000
4.78/2.77	c (0,0) c  amo_starts            = 50
4.78/2.77	c (0,0) c  mace_cmd              = mace
4.78/2.77	c (0,0) c DECISION
4.78/2.77	c (0,0) c  rand_rebuild          = 0
4.78/2.77	c (0,0) c  rand_rebuild_confs    = 10000
4.78/2.77	c (0,0) c  inc_var_decay         = 1
4.78/2.77	c (0,0) c  inc_var_decay_period  = 100000
4.78/2.77	c (0,0) c  inc_var_decay_init    = 0.600
4.78/2.77	c (0,0) c  var_decay_mode        = 0
4.78/2.77	c (0,0) c  var_decay_gain        = 0
4.78/2.77	c (0,0) c  sloped_var_decay      = 1
4.78/2.77	c (0,0) c  max_var_decay         = 0.990
4.78/2.77	c (0,0) c  min_var_decay         = 0.950
4.78/2.77	c (0,0) c  min_var_decay_vars    = 10000
4.78/2.77	c (0,0) c  max_var_decay_vars    = 500
4.78/2.77	c (0,0) c  uip_bumping           = 1
4.78/2.77	c (0,0) c  lbd_act_bumping       = 1
4.78/2.77	c (0,0) c  rand_tiebreak         = 0
4.78/2.77	c (0,0) c  simp_rebuild          = 1
4.78/2.77	c (0,0) c RESTART
4.78/2.77	c (0,0) c  restart_strategy      = 2
4.78/2.77	c (0,0) c  restart_blocking      = 0
4.78/2.77	c (0,0) c  agility_decay         = 0.99990
4.78/2.77	c (0,0) c  lbd_restart_rate      = 0.800
4.78/2.77	c (0,0) c  dec_restart_rate      = 0.950
4.78/2.77	c (0,0) c  blk_restart_rate      = 0.700
4.78/2.77	c (0,0) c  lbd_queue_size        = 50
4.78/2.77	c (0,0) c  dec_queue_size        = 50
4.78/2.77	c (0,0) c  trl_queue_size        = 5000
4.78/2.77	c (0,0) c  blk_restart_weight    = 1.000
4.78/2.77	c (0,0) c  inc_rst_rate          = 0
4.78/2.77	c (0,0) c  inc_rst_rate_period   = 500000
4.78/2.77	c (0,0) c  inc_lbd_rst_rate_init = 0.600
4.78/2.77	c (0,0) c  inc_dec_rst_rate_init = 0.750
4.78/2.77	c (0,0) c REDUCTION
4.78/2.77	c (0,0) c  closed_lbd            = 0
4.78/2.77	c (0,0) c  closed_lbd_rate       = 0.500
4.78/2.77	c (0,0) c  rm_simulate           = 0
4.78/2.77	c (0,0) c  rdb_eval              = 2
4.78/2.77	c (0,0) c  rdb_call              = 3
4.78/2.77	c (0,0) c  rdb_ub                = 0.500
4.78/2.77	c (0,0) c  core_lbd_cvr          = 0.800
4.78/2.77	c (0,0) c  supp_lbd_cvr          = 0.990
4.78/2.77	c (0,0) c  core_lbd_lb           = 2
4.78/2.77	c (0,0) c  supp_lbd_lb           = 2
4.78/2.77	c (0,0) c  core_lbd_prd          = 7
4.78/2.77	c (0,0) c  supp_lbd_prd          = 1
4.78/2.77	c (0,0) c  othr_lbd_prd          = 0
4.78/2.77	c (0,0) c  inc_lrn_limit         = 1000
4.78/2.77	c (0,0) c  frozen_lbd            = 30
4.78/2.77	c (0,0) c  simp_min_starts       = 100
4.78/2.77	c (0,0) c  rm_low_act_learnts    = 1
4.78/2.77	c (0,0) c  lv0_reduce_db         = 0
4.78/2.77	c (0,0) c  reduce_db_base        = 20000
4.78/2.77	c (0,0) c  reduce_db_inc         = 1000
4.78/2.78	c (0,0) c HARD
4.78/2.78	c (0,0) c  inst_check            = 200000
4.78/2.78	c (0,0) c  small_block           = 1.750
4.78/2.78	c (0,0) c  slow_restart_speed    = 400.000
4.78/2.78	c (0,0) c  slow_restart_strategy = 3
4.78/2.78	c (0,0) c  slow_lbd_restart_rate = 0.700
4.78/2.78	c (0,0) c  slow_dec_restart_rate = 1.000
4.78/2.78	c (0,0) c  slow_lbd_queue_size   = 50
4.78/2.78	c (0,0) c  slow_var_decay        = 0.950
4.78/2.78	c (0,0) c  slow_glue_threshold   = 2
4.78/2.78	c (0,0) c  slow_phase_saving     = 2
4.78/2.78	c (0,0) c  fast_restart_speed    = 125.000
4.78/2.78	c (0,0) c  fast_restart_strategy = 1
4.78/2.78	c (0,0) c  fast_lbd_restart_rate = 0.800
4.78/2.78	c (0,0) c  fast_dec_restart_rate = 0.950
4.78/2.78	c (0,0) c  fast_lbd_queue_size   = 50
4.78/2.78	c (0,0) c  fast_var_decay        = 1.000
4.78/2.78	c (0,0) c  fast_glue_threshold   = 2
4.78/2.78	c (0,0) c  fast_phase_saving     = 2
4.78/2.78	c (0,0) c STATS
4.78/2.78	c (0,0) c  stats_conf_size       = 10000
4.78/2.78	c (0,0) c  max_stats_size        = 30
4.78/2.78	c (0,0) c SOLVER
4.78/2.78	c (0,0) c  minisat               = 0
4.78/2.78	c (0,0) c Problem: 2500 variables, 28490 clauses, parsing 0.01 s
4.78/2.79	c (0,0) c  reduced to 2306 variables, 28296 clauses (grow = 0)
4.78/2.80	c (0,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
4.78/2.80	c (0,0) c Simplification: 194 vars, 194 clauses are eliminated using 0.02 s
4.78/2.80	c (0,0) c
4.78/2.80	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
4.78/2.80	c (0,0) c
4.78/2.80	c (0,0) c    0         0         0     2306    28296        0   -nan  -nan  -nan -nan%
4.78/2.80	c (0,0) c    0         1       100     2306    28296      100   13.0   7.5  44.9 45.1%
4.78/2.81	c (0,0) c    0         2       220     2306    28296      220   18.3   8.4  35.4 42.1%
4.78/2.81	c (0,0) c    0         4       364     2306    28296      364   18.9   9.7  36.6 38.5%
4.78/2.82	c (0,0) c    0         6       536     2306    28296      536   20.6  10.7  37.8 37.0%
4.78/2.83	c (0,0) c    0         6       743     2306    28296      743   20.2  10.1  35.8 37.5%
4.78/2.84	c (0,0) c    0         6       991     2306    28296      991   21.6  10.0  33.1 38.2%
4.78/2.85	c (0,0) c    0         9      1289     2306    28296     1289   22.9  10.4  33.3 38.2%
4.78/2.87	c (0,0) c    0        10      1647     2306    28296     1647   22.9  10.3  34.3 39.1%
4.78/2.89	c (0,0) c    0        12      2076     2306    28296     2076   23.4  10.6  34.1 39.2%
4.78/2.91	c (0,0) c    0        14      2591     2306    28296     2591   22.9  10.6  33.6 38.4%
4.78/2.94	c (0,0) c    0        14      3210     2306    28296     3210   23.9  10.4  32.3 38.7%
4.78/2.98	c (0,0) c    0        14      3953     2306    28296     3953   24.6  10.3  30.8 38.8%
6.16/3.02	c (0,0) c    0        15      4844     2306    28296     4844   24.6  10.3  30.0 39.0%
6.16/3.07	c (0,0) c    0        19      5913     2306    28296     5913   24.1  10.2  31.1 39.7%
6.16/3.10	c (0,0) c    0        19      6613     2306    28296     6613   24.3  10.0  31.6 40.8%
6.16/3.10	c (0,0) c
6.16/3.10	c (0,0) c
6.16/3.10	c (0,0) c variables         : 2306        (init 2500, after simp 2306, 0 non-decs, 40 csp)
6.16/3.10	c (0,0) c clauses           : 28296       (init 28490, after simp 28296)
6.16/3.10	c (0,0) c restarts          : 18          (348.05 confs/res, 50~1936 confs, 0 blks, 0 last)
6.16/3.10	c (0,0) c conflicts         : 6613        (20346 /sec, 56.65% dconfs, 0.00% supp, trail 34.07w x 31.62h, jmp 2.17h)
6.16/3.10	c (0,0) c decisions         : 15070       (0.6200 vdcy, 46365 /sec, 0.00% bin, rs 0.000 s)
6.16/3.10	c (0,0) c propagations      : 964697      (2968015 /sec, 64.01 lits/dec, 48.94% o.a.)
6.16/3.10	c (0,0) c conflict literals : 214091      (23.45% deleted; 1.53% by bin min, 0.004 s)
6.16/3.10	c (0,0) c len               : 24.288      (24.29 for all, max 114, used 106)
6.16/3.10	c (0,0) c lbd               : 10.046      (11.34 (10.05) for all, max 43, used 43, 3.903 stdev, 2.143 blk)
6.16/3.10	c (0,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
6.16/3.10	c (0,0) c simp dbs          : 1           (0.000 s)
6.16/3.10	c (0,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
6.16/3.10	c (0,0) c learnts           : 6613        (0 learnts removed, 0.00%)
6.16/3.10	c (0,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
6.16/3.10	c (0,0) c assigned lits     : 0           (0/0 probed, 0 remains)
6.16/3.10	c (0,0) c premise updates   : 18225       (3.95 /lit)
6.16/3.10	c (0,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
6.16/3.10	c (0,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
6.16/3.10	c (0,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.004s)
6.16/3.10	c (0,0) c unwatched lit elim: 269         (0.00+0.13%, 0+269 of 94972+214091)
6.16/3.10	c (0,0) c classified type   : undef
6.16/3.10	c (0,0) c progress          : 0.000 %
6.16/3.10	c (0,0) c
6.16/3.10	c (0,0) c [Statistics]
6.16/3.10	c (0,0) c             learnts len        learnts lbd        lit blk size       eq vars size
6.16/3.10	c (0,0) c  tot        6613               6613              74967                  0
6.16/3.10	c (0,0) c  avg      24.288             10.046              2.143               -nan
6.16/3.10	c (0,0) c   1            0 ( 0.0%)         10 ( 0.2%)      48568 (64.8%)          0 (-nan%)
6.16/3.10	c (0,0) c   2            0 ( 0.0%)        215 ( 3.3%)      10535 (14.1%)          0 (-nan%)
6.16/3.10	c (0,0) c   3            0 ( 0.0%)        352 ( 5.3%)       5150 ( 6.9%)          0 (-nan%)
6.16/3.10	c (0,0) c   4            0 ( 0.0%)        526 ( 8.0%)       3103 ( 4.1%)          0 (-nan%)
6.16/3.10	c (0,0) c   5           45 ( 0.7%)        542 ( 8.2%)       1973 ( 2.6%)          0 (-nan%)
6.16/3.10	c (0,0) c   6          167 ( 2.5%)        537 ( 8.1%)       1378 ( 1.8%)          0 (-nan%)
6.16/3.10	c (0,0) c   7          336 ( 5.1%)        449 ( 6.8%)       1022 ( 1.4%)          0 (-nan%)
6.16/3.10	c (0,0) c   8          375 ( 5.7%)        418 ( 6.3%)        735 ( 1.0%)          0 (-nan%)
6.16/3.10	c (0,0) c   9          400 ( 6.0%)        378 ( 5.7%)        585 ( 0.8%)          0 (-nan%)
6.16/3.10	c (0,0) c  10          291 ( 4.4%)        418 ( 6.3%)        482 ( 0.6%)          0 (-nan%)
6.16/3.10	c (0,0) c  11          265 ( 4.0%)        385 ( 5.8%)        339 ( 0.5%)          0 (-nan%)
6.16/3.10	c (0,0) c  12          246 ( 3.7%)        399 ( 6.0%)        240 ( 0.3%)          0 (-nan%)
6.16/3.10	c (0,0) c  13          200 ( 3.0%)        348 ( 5.3%)        188 ( 0.3%)          0 (-nan%)
6.16/3.10	c (0,0) c  14          224 ( 3.4%)        351 ( 5.3%)        147 ( 0.2%)          0 (-nan%)
6.16/3.10	c (0,0) c  15          200 ( 3.0%)        261 ( 3.9%)        102 ( 0.1%)          0 (-nan%)
6.16/3.10	c (0,0) c  16          188 ( 2.8%)        217 ( 3.3%)         75 ( 0.1%)          0 (-nan%)
6.16/3.10	c (0,0) c  17          149 ( 2.3%)        158 ( 2.4%)         64 ( 0.1%)          0 (-nan%)
6.16/3.10	c (0,0) c  18          150 ( 2.3%)        129 ( 2.0%)         38 ( 0.1%)          0 (-nan%)
6.16/3.10	c (0,0) c  19          148 ( 2.2%)        108 ( 1.6%)         49 ( 0.1%)          0 (-nan%)
6.16/3.10	c (0,0) c  20          132 ( 2.0%)        101 ( 1.5%)         30 ( 0.0%)          0 (-nan%)
6.16/3.10	c (0,0) c  21          122 ( 1.8%)         81 ( 1.2%)         21 ( 0.0%)          0 (-nan%)
6.16/3.10	c (0,0) c  22          104 ( 1.6%)         47 ( 0.7%)         22 ( 0.0%)          0 (-nan%)
6.16/3.10	c (0,0) c  23          110 ( 1.7%)         35 ( 0.5%)         14 ( 0.0%)          0 (-nan%)
6.16/3.10	c (0,0) c  24          103 ( 1.6%)         22 ( 0.3%)         17 ( 0.0%)          0 (-nan%)
6.16/3.10	c (0,0) c  25          116 ( 1.8%)         13 ( 0.2%)          8 ( 0.0%)          0 (-nan%)
6.16/3.10	c (0,0) c  26          108 ( 1.6%)         20 ( 0.3%)          8 ( 0.0%)          0 (-nan%)
6.16/3.10	c (0,0) c  27           92 ( 1.4%)         10 ( 0.2%)          7 ( 0.0%)          0 (-nan%)
6.16/3.10	c (0,0) c  28           88 ( 1.3%)          5 ( 0.1%)         16 ( 0.0%)          0 (-nan%)
6.16/3.10	c (0,0) c  29           97 ( 1.5%)         14 ( 0.2%)          9 ( 0.0%)          0 (-nan%)
6.16/3.10	c (0,0) c  30         2157 (32.6%)         64 ( 1.0%)         42 ( 0.1%)          0 (-nan%)
6.16/3.10	c (0,0) c
6.16/3.10	c (0,0) c [LBD Statistics]
6.16/3.10	c (0,0) c LBD          used lbd               used clause lbd         unused clause lbd
6.16/3.10	c (0,0) c  tot        27178                    4339                    2274
6.16/3.10	c (0,0) c  avg        6.330                   8.431                  13.125
6.16/3.10	c (0,0) c    1          143 ( 0.5/ 0.5%)         10 ( 0.2/ 0.2%)          0 ( 0.0/ 0.0%)
6.16/3.10	c (0,0) c    2         1912 ( 7.0/ 7.6%)        205 ( 4.7/ 5.0%)         10 ( 0.4/ 0.4%)
6.16/3.10	c (0,0) c    3         3417 (12.6/20.1%)        328 ( 7.6/12.5%)         24 ( 1.1/ 1.5%)
6.16/3.11	c (0,0) c    4         4683 (17.2/37.4%)        466 (10.7/23.3%)         60 ( 2.6/ 4.1%)
6.16/3.11	c (0,0) c    5         4313 (15.9/53.2%)        461 (10.6/33.9%)         81 ( 3.6/ 7.7%)
6.16/3.11	c (0,0) c    6         3485 (12.8/66.1%)        436 (10.0/43.9%)        101 ( 4.4/12.1%)
6.16/3.11	c (0,0) c    7         2153 ( 7.9/74.0%)        337 ( 7.8/51.7%)        112 ( 4.9/17.1%)
6.16/3.11	c (0,0) c    8         1548 ( 5.7/79.7%)        316 ( 7.3/59.0%)        102 ( 4.5/21.5%)
6.16/3.11	c (0,0) c    9         1202 ( 4.4/84.1%)        258 ( 5.9/64.9%)        120 ( 5.3/26.8%)
6.16/3.11	c (0,0) c   10          968 ( 3.6/87.7%)        265 ( 6.1/71.0%)        153 ( 6.7/33.6%)
6.16/3.11	c (0,0) c   11          679 ( 2.5/90.2%)        217 ( 5.0/76.0%)        168 ( 7.4/40.9%)
6.16/3.11	c (0,0) c   12          638 ( 2.3/92.5%)        220 ( 5.1/81.1%)        179 ( 7.9/48.8%)
6.16/3.11	c (0,0) c   13          391 ( 1.4/93.9%)        173 ( 4.0/85.1%)        175 ( 7.7/56.5%)
6.16/3.11	c (0,0) c   14          406 ( 1.5/95.4%)        163 ( 3.8/88.8%)        188 ( 8.3/64.8%)
6.16/3.11	c (0,0) c   15          307 ( 1.1/96.6%)        100 ( 2.3/91.2%)        161 ( 7.1/71.9%)
6.16/3.11	c (0,0) c   16          226 ( 0.8/97.4%)         94 ( 2.2/93.3%)        123 ( 5.4/77.3%)
6.16/3.11	c (0,0) c   17          134 ( 0.5/97.9%)         59 ( 1.4/94.7%)         99 ( 4.4/81.6%)
6.16/3.11	c (0,0) c   18          115 ( 0.4/98.3%)         43 ( 1.0/95.7%)         86 ( 3.8/85.4%)
6.16/3.11	c (0,0) c   19           95 ( 0.3/98.7%)         48 ( 1.1/96.8%)         60 ( 2.6/88.0%)
6.16/3.11	c (0,0) c   20           95 ( 0.3/99.0%)         45 ( 1.0/97.8%)         56 ( 2.5/90.5%)
6.16/3.11	c (0,0) c   21           98 ( 0.4/99.4%)         24 ( 0.6/98.4%)         57 ( 2.5/93.0%)
6.16/3.11	c (0,0) c   22           54 ( 0.2/99.6%)         19 ( 0.4/98.8%)         28 ( 1.2/94.2%)
6.16/3.11	c (0,0) c   23           24 ( 0.1/99.7%)         11 ( 0.3/99.1%)         24 ( 1.1/95.3%)
6.16/3.11	c (0,0) c   24           14 ( 0.1/99.7%)          7 ( 0.2/99.2%)         15 ( 0.7/96.0%)
6.16/3.11	c (0,0) c   25           10 ( 0.0/99.7%)          4 ( 0.1/99.3%)          9 ( 0.4/96.4%)
6.16/3.11	c (0,0) c   26           12 ( 0.0/99.8%)          5 ( 0.1/99.4%)         15 ( 0.7/97.0%)
6.16/3.11	c (0,0) c   27            6 ( 0.0/99.8%)          3 ( 0.1/99.5%)          7 ( 0.3/97.3%)
6.16/3.11	c (0,0) c   28            2 ( 0.0/99.8%)          0 ( 0.0/99.5%)          5 ( 0.2/97.5%)
6.16/3.11	c (0,0) c   29            2 ( 0.0/99.8%)          1 ( 0.0/99.5%)         13 ( 0.6/98.1%)
6.16/3.11	c (0,0) c   30           10 ( 0.0/99.9%)          5 ( 0.1/99.6%)          7 ( 0.3/98.4%)
6.16/3.11	c (0,0) c   31            4 ( 0.0/99.9%)          3 ( 0.1/99.7%)          4 ( 0.2/98.6%)
6.16/3.11	c (0,0) c   32            6 ( 0.0/99.9%)          0 ( 0.0/99.7%)          2 ( 0.1/98.7%)
6.16/3.11	c (0,0) c   33           12 ( 0.0/99.9%)          5 ( 0.1/99.8%)          4 ( 0.2/98.9%)
6.16/3.11	c (0,0) c   34            5 ( 0.0/100.0%)          2 ( 0.0/99.9%)          5 ( 0.2/99.1%)
6.16/3.11	c (0,0) c   35            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          5 ( 0.2/99.3%)
6.16/3.11	c (0,0) c   36            2 ( 0.0/100.0%)          2 ( 0.0/99.9%)          5 ( 0.2/99.5%)
6.16/3.11	c (0,0) c   37            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          5 ( 0.2/99.7%)
6.16/3.11	c (0,0) c   38            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          4 ( 0.2/99.9%)
6.16/3.11	c (0,0) c   39            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
6.16/3.11	c (0,0) c   40            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
6.16/3.11	c (0,0) c   41            1 ( 0.0/100.0%)          2 ( 0.0/100.0%)          0 ( 0.0/100.0%)
6.16/3.11	c (0,0) c   42            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
6.16/3.11	c (0,0) c   43            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
6.16/3.11	c (0,0) c
6.16/3.11	c (0,0) c Memory used       : 23.00 MB
6.16/3.11	c (0,0) c CPU time          : 0.325 s
6.16/3.11	c (0,0) c Real time         : 0.341 s
6.16/3.11	c (0,0) c
6.16/3.11	c (0,0) s SATISFIABLE
6.27/3.12	c (0,0) SatSolver.solve End
6.27/3.12	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.27/3.12	c (0,0) Show results Begin
6.43/3.21	c (0,0) x[0] = 19
6.43/3.21	c (0,0) x[1] = 5
6.43/3.21	c (0,0) x[2] = 0
6.43/3.21	c (0,0) x[3] = 3
6.43/3.21	c (0,0) x[4] = 0
6.43/3.21	c (0,0) x[5] = 1
6.43/3.21	c (0,0) x[6] = 19
6.43/3.21	c (0,0) x[7] = 26
6.43/3.21	c (0,0) x[8] = 0
6.43/3.21	c (0,0) x[9] = 9
6.43/3.21	c (0,0) x[10] = 0
6.43/3.21	c (0,0) x[11] = 7
6.43/3.21	c (0,0) x[12] = 11
6.43/3.21	c (0,0) x[13] = 24
6.43/3.21	c (0,0) x[14] = 19
6.43/3.21	c (0,0) x[15] = 38
6.43/3.21	c (0,0) x[16] = 19
6.43/3.21	c (0,0) x[17] = 36
6.43/3.21	c (0,0) x[18] = 0
6.43/3.21	c (0,0) x[19] = 34
6.43/3.21	c (0,0) y[0] = 40
6.43/3.21	c (0,0) y[1] = 19
6.43/3.21	c (0,0) y[2] = 30
6.43/3.21	c (0,0) y[3] = 30
6.43/3.21	c (0,0) y[4] = 19
6.43/3.21	c (0,0) y[5] = 24
6.43/3.21	c (0,0) y[6] = 16
6.43/3.21	c (0,0) y[7] = 15
6.43/3.21	c (0,0) y[8] = 34
6.43/3.21	c (0,0) y[9] = 31
6.43/3.21	c (0,0) y[10] = 43
6.43/3.21	c (0,0) y[11] = 19
6.43/3.21	c (0,0) y[12] = 41
6.43/3.21	c (0,0) y[13] = 40
6.43/3.21	c (0,0) y[14] = 0
6.43/3.21	c (0,0) y[15] = 38
6.43/3.21	c (0,0) y[16] = 23
6.43/3.21	c (0,0) y[17] = 20
6.43/3.21	c (0,0) y[18] = 0
6.43/3.21	c (0,0) y[19] = 0
6.43/3.21	s SATISFIABLE
6.43/3.21	v <instantiation>
6.43/3.21	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19]</list>
6.43/3.21	v     <values>19 5 0 3 0 1 19 26 0 9 0 7 11 24 19 38 19 36 0 34 40 19 30 30 19 24 16 15 34 31 43 19 41 40 0 38 23 20 0 0</values>
6.43/3.21	v </instantiation>
6.43/3.21	c (0,0) Show results End
6.43/3.21	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
6.43/3.21	c (0,0) 0,0,STOP-AFTER(ALL)
6.43/3.21	c END-Prog: Thu Sep 12 16:38:24 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11528 MiB free)
  memory of node 1: 16384 MiB (14284 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 1,3,5,7

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


[startup+0.100091 s]*
/proc/loadavg: 2.44 2.20 2.12 4/227 15949
/proc/meminfo: memFree=26359488/32770624 swapFree=66957008/67108860
[pid=15926] ppid=15923 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15926/stat : 15926 (scop.sh) S 15923 15926 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405828285 115843072 349 33554432000 4194304 5098028 140737073542592 140737073539848 139701035332220 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8122368 140737073546024 140737073546352 140737073546352 140737073549261 0
/proc/15926/statm: 28282 349 296 221 0 87 0
[pid=15929] ppid=15926 vsize=15012696 memory=74484 CPUtime=0.11 cores=1,3,5,7
/proc/15929/stat : 15929 (java) S 15926 15926 8853 0 -1 1077944320 6836 0 0 0 9 2 0 0 20 0 15 0 405828285 15373000704 18621 33554432000 4194304 4196468 140727685727456 140727685710000 140383792791287 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
/proc/15929/statm: 3753174 18621 2937 1 0 3715579 0
[pid=15929/tid=15930] ppid=15926 vsize=15012696 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/15929/task/15930/stat : 15930 (java) R 15926 15926 8853 0 -1 4202560 4656 0 0 0 7 2 0 0 20 0 15 0 405828285 15373000704 18621 33554432000 4194304 4196468 140727685727456 140383764582456 140383792813213 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15937] ppid=15926 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15937/stat : 15937 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 18621 33554432000 4194304 4196468 140727685727456 140383797034000 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15938] ppid=15926 vsize=15012696 memory=140185847592576 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15938/stat : 15938 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 18621 33554432000 4194304 4196468 140727685727456 140383253429392 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15939] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15939/stat : 15939 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 18621 33554432000 4194304 4196468 140727685727456 140383252376336 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15940] ppid=15926 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15940/stat : 15940 (java) S 15926 15926 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 18621 33554432000 4194304 4196468 140727685727456 140383251323792 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15941] ppid=15926 vsize=15012696 memory=140185847592576 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15941/stat : 15941 (java) S 15926 15926 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828288 15373000704 18621 33554432000 4194304 4196468 140727685727456 140382561966320 140383792802434 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15942] ppid=15926 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15942/stat : 15942 (java) S 15926 15926 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828289 15373000704 18621 33554432000 4194304 4196468 140727685727456 140382482457760 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15943] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15943/stat : 15943 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828289 15373000704 18621 33554432000 4194304 4196468 140727685727456 140382214021872 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15944] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15944/stat : 15944 (java) S 15926 15926 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828291 15373000704 18621 33554432000 4194304 4196468 140727685727456 140381839513552 140383792809883 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15945] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15945/stat : 15945 (java) S 15926 15926 8853 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 405828291 15373000704 18621 33554432000 4194304 4196468 140727685727456 140382560914160 140383792802434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15946] ppid=15926 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15946/stat : 15946 (java) S 15926 15926 8853 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 405828291 15373000704 18621 33554432000 4194304 4196468 140727685727456 140382559861616 140383792802434 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15947] ppid=15926 vsize=15012696 memory=140185847592576 CPUtime=0.01 cores=1,3,5,7
/proc/15929/task/15947/stat : 15947 (java) R 15926 15926 8853 0 -1 4202560 403 0 0 0 1 0 0 0 20 0 15 0 405828292 15373000704 18621 33554432000 4194304 4196468 140727685727456 140382558805320 140383776927726 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15948] ppid=15926 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15948/stat : 15948 (java) S 15926 15926 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828292 15373000704 18621 33554432000 4194304 4196468 140727685727456 140381341608800 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15949] ppid=15926 vsize=15012696 memory=140185847592576 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15949/stat : 15949 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828292 15373000704 18621 33554432000 4194304 4196468 140727685727456 140382557755952 140383792802434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75880 KiB

[startup+0.210926 s]*
/proc/loadavg: 2.44 2.20 2.12 2/211 15949
/proc/meminfo: memFree=26361108/32770624 swapFree=66957008/67108860
[pid=15926] ppid=15923 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15926/stat : 15926 (scop.sh) S 15923 15926 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405828285 115843072 349 33554432000 4194304 5098028 140737073542592 140737073539848 139701035332220 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8122368 140737073546024 140737073546352 140737073546352 140737073549261 0
/proc/15926/statm: 28282 349 296 221 0 87 0
[pid=15929] ppid=15926 vsize=15012696 memory=89596 CPUtime=0.25 cores=1,3,5,7
/proc/15929/stat : 15929 (java) S 15926 15926 8853 0 -1 1077944320 11904 0 0 0 21 4 0 0 20 0 15 0 405828285 15373000704 22399 33554432000 4194304 4196468 140727685727456 140727685710000 140383792791287 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
/proc/15929/statm: 3753174 22399 2959 1 0 3715579 0
[pid=15929/tid=15930] ppid=15926 vsize=15012696 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15929/task/15930/stat : 15930 (java) R 15926 15926 8853 0 -1 4202560 9670 0 0 0 17 3 0 0 20 0 15 0 405828285 15373000704 22399 33554432000 4194304 4196468 140727685727456 140383764609056 140383792813213 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15937] ppid=15926 vsize=15012696 memory=339 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15937/stat : 15937 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 22399 33554432000 4194304 4196468 140727685727456 140383797034000 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15938] ppid=15926 vsize=15012696 memory=288370561999304320 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15938/stat : 15938 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 22399 33554432000 4194304 4196468 140727685727456 140383253429392 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15939] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15939/stat : 15939 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 22399 33554432000 4194304 4196468 140727685727456 140383252376336 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15940] ppid=15926 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15940/stat : 15940 (java) S 15926 15926 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 22399 33554432000 4194304 4196468 140727685727456 140383251323792 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15941] ppid=15926 vsize=15012696 memory=140185847592576 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15941/stat : 15941 (java) S 15926 15926 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828288 15373000704 22399 33554432000 4194304 4196468 140727685727456 140382561966320 140383792802434 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15942] ppid=15926 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15942/stat : 15942 (java) S 15926 15926 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828289 15373000704 22399 33554432000 4194304 4196468 140727685727456 140382482457760 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15943] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15943/stat : 15943 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828289 15373000704 22399 33554432000 4194304 4196468 140727685727456 140382214021872 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15944] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15944/stat : 15944 (java) S 15926 15926 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828291 15373000704 22399 33554432000 4194304 4196468 140727685727456 140381839513552 140383792809883 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15945] ppid=15926 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15929/task/15945/stat : 15945 (java) S 15926 15926 8853 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 15 0 405828291 15373000704 22399 33554432000 4194304 4196468 140727685727456 140382560914160 140383792802434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15946] ppid=15926 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15946/stat : 15946 (java) S 15926 15926 8853 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 405828291 15373000704 22399 33554432000 4194304 4196468 140727685727456 140382559861616 140383792802434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15947] ppid=15926 vsize=15012696 memory=140185847592576 CPUtime=0.03 cores=1,3,5,7
/proc/15929/task/15947/stat : 15947 (java) R 15926 15926 8853 0 -1 4202560 410 0 0 0 3 0 0 0 20 0 15 0 405828292 15373000704 22399 33554432000 4194304 4196468 140727685727456 140382558808688 140383776955256 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15948] ppid=15926 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15948/stat : 15948 (java) S 15926 15926 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828292 15373000704 22399 33554432000 4194304 4196468 140727685727456 140381341608800 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15949] ppid=15926 vsize=15012696 memory=140185847592576 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15949/stat : 15949 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828292 15373000704 22399 33554432000 4194304 4196468 140727685727456 140382557755952 140383792802434 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90992 KiB

[startup+0.310261 s]*
/proc/loadavg: 2.44 2.20 2.12 3/210 15955
/proc/meminfo: memFree=26357696/32770624 swapFree=66957008/67108860
[pid=15926] ppid=15923 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15926/stat : 15926 (scop.sh) S 15923 15926 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405828285 115843072 349 33554432000 4194304 5098028 140737073542592 140737073539848 139701035332220 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8122368 140737073546024 140737073546352 140737073546352 140737073549261 0
/proc/15926/statm: 28282 349 296 221 0 87 0
[pid=15929] ppid=15926 vsize=15012696 memory=92944 CPUtime=0.44 cores=1,3,5,7
/proc/15929/stat : 15929 (java) S 15926 15926 8853 0 -1 1077944320 12236 0 0 0 39 5 0 0 20 0 15 0 405828285 15373000704 23236 33554432000 4194304 4196468 140727685727456 140727685710000 140383792791287 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
/proc/15929/statm: 3753174 23236 3064 1 0 3715579 0
[pid=15929/tid=15930] ppid=15926 vsize=15012696 memory=5787776884390514768 CPUtime=0.3 cores=1,3,5,7
/proc/15929/task/15930/stat : 15930 (java) R 15926 15926 8853 0 -1 4202560 9850 0 0 0 26 4 0 0 20 0 15 0 405828285 15373000704 23236 33554432000 4194304 4196468 140727685727456 140383764605152 140383773067074 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15937] ppid=15926 vsize=15012696 memory=3907211541882221599 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15937/stat : 15937 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 23236 33554432000 4194304 4196468 140727685727456 140383797034000 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15938] ppid=15926 vsize=15012696 memory=3467964813727377056 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15938/stat : 15938 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 23236 33554432000 4194304 4196468 140727685727456 140383253429392 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15939] ppid=15926 vsize=15012696 memory=29678448712876256 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15939/stat : 15939 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 23236 33554432000 4194304 4196468 140727685727456 140383252376336 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15940] ppid=15926 vsize=15012696 memory=288230583182828274 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15940/stat : 15940 (java) S 15926 15926 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828287 15373000704 23236 33554432000 4194304 4196468 140727685727456 140383251323792 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15941] ppid=15926 vsize=15012696 memory=14414838867453783 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15941/stat : 15941 (java) S 15926 15926 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828288 15373000704 23236 33554432000 4194304 4196468 140727685727456 140382561966320 140383792802434 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15942] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15942/stat : 15942 (java) S 15926 15926 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828289 15373000704 23236 33554432000 4194304 4196468 140727685727456 140382482457760 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15943] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15943/stat : 15943 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828289 15373000704 23236 33554432000 4194304 4196468 140727685727456 140382214021872 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15944] ppid=15926 vsize=15012696 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15944/stat : 15944 (java) S 15926 15926 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828291 15373000704 23236 33554432000 4194304 4196468 140727685727456 140381839513552 140383792809883 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15945] ppid=15926 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15929/task/15945/stat : 15945 (java) S 15926 15926 8853 0 -1 1077944384 467 0 0 0 3 0 0 0 20 0 15 0 405828291 15373000704 23236 33554432000 4194304 4196468 140727685727456 140382560914160 140383792802434 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15946] ppid=15926 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15929/task/15946/stat : 15946 (java) S 15926 15926 8853 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 15 0 405828291 15373000704 23236 33554432000 4194304 4196468 140727685727456 140382559861616 140383792802434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15947] ppid=15926 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15929/task/15947/stat : 15947 (java) S 15926 15926 8853 0 -1 1077944384 431 0 0 0 7 0 0 0 20 0 15 0 405828292 15373000704 23236 33554432000 4194304 4196468 140727685727456 140382558808560 140383792802434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15948] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15948/stat : 15948 (java) S 15926 15926 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828292 15373000704 23236 33554432000 4194304 4196468 140727685727456 140381341608800 140383792801493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15949] ppid=15926 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15949/stat : 15949 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828292 15373000704 23236 33554432000 4194304 4196468 140727685727456 140382557755952 140383792802434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94340 KiB

[startup+0.703232 s]
/proc/loadavg: 2.44 2.20 2.12 3/220 15987
/proc/meminfo: memFree=26293436/32770624 swapFree=66957008/67108860
[pid=15926] ppid=15923 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15926/stat : 15926 (scop.sh) S 15923 15926 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405828285 115843072 349 33554432000 4194304 5098028 140737073542592 140737073539848 139701035332220 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8122368 140737073546024 140737073546352 140737073546352 140737073549261 0
/proc/15926/statm: 28282 349 296 221 0 87 0
[pid=15929] ppid=15926 vsize=15021092 memory=130476 CPUtime=1.02 cores=1,3,5,7
/proc/15929/stat : 15929 (java) S 15926 15926 8853 0 -1 1077944320 19966 0 0 0 95 7 0 0 20 0 15 0 405828285 15381598208 32619 33554432000 4194304 4196468 140727685727456 140727685710000 140383792791287 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
/proc/15929/statm: 3755273 32619 3210 1 0 3716603 0
[pid=15929/tid=15930] ppid=15926 vsize=15021092 memory=37520 CPUtime=0.68 cores=1,3,5,7
/proc/15929/task/15930/stat : 15930 (java) R 15926 15926 8853 0 -1 4202560 17101 0 0 0 62 6 0 0 20 0 15 0 405828285 15381598208 32619 33554432000 4194304 4196468 140727685727456 140383764626240 140383792813213 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15937] ppid=15926 vsize=15021092 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15937/stat : 15937 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15381598208 32619 33554432000 4194304 4196468 140727685727456 140383797034000 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15938] ppid=15926 vsize=15021092 memory=988 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15938/stat : 15938 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15381598208 32619 33554432000 4194304 4196468 140727685727456 140383253429392 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15939] ppid=15926 vsize=15021092 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15939/stat : 15939 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15381598208 32619 33554432000 4194304 4196468 140727685727456 140383252376336 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15940] ppid=15926 vsize=15021092 memory=1848 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15940/stat : 15940 (java) S 15926 15926 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828287 15381598208 32619 33554432000 4194304 4196468 140727685727456 140383251323792 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15941] ppid=15926 vsize=15021092 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15941/stat : 15941 (java) S 15926 15926 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405828288 15381598208 32619 33554432000 4194304 4196468 140727685727456 140382561966320 140383792802434 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15942] ppid=15926 vsize=15021092 memory=53732 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15942/stat : 15942 (java) S 15926 15926 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828289 15381598208 32619 33554432000 4194304 4196468 140727685727456 140382482457760 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15943] ppid=15926 vsize=15021092 memory=6382321403051 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15943/stat : 15943 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828289 15381598208 32619 33554432000 4194304 4196468 140727685727456 140382214021872 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15944] ppid=15926 vsize=15021092 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15944/stat : 15944 (java) S 15926 15926 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828291 15381598208 32619 33554432000 4194304 4196468 140727685727456 140381839513552 140383792809883 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15945] ppid=15926 vsize=15021092 memory=14689690934577591 CPUtime=0.1 cores=1,3,5,7
/proc/15929/task/15945/stat : 15945 (java) R 15926 15926 8853 0 -1 4202560 636 0 0 0 10 0 0 0 20 0 15 0 405828291 15381598208 32619 33554432000 4194304 4196468 140727685727456 140382560904544 140383773427171 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15946] ppid=15926 vsize=15021092 memory=6092 CPUtime=0.06 cores=1,3,5,7
/proc/15929/task/15946/stat : 15946 (java) S 15926 15926 8853 0 -1 1077944384 401 0 0 0 6 0 0 0 20 0 15 0 405828291 15381598208 32619 33554432000 4194304 4196468 140727685727456 140382559861616 140383792802434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15947] ppid=15926 vsize=15021092 memory=11624 CPUtime=0.16 cores=1,3,5,7
/proc/15929/task/15947/stat : 15947 (java) R 15926 15926 8853 0 -1 4202560 496 0 0 0 16 0 0 0 20 0 15 0 405828292 15381598208 32619 33554432000 4194304 4196468 140727685727456 140382558808560 140383776871774 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15948] ppid=15926 vsize=15021092 memory=732 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15948/stat : 15948 (java) S 15926 15926 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828292 15381598208 32619 33554432000 4194304 4196468 140727685727456 140381341608800 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15949] ppid=15926 vsize=15021092 memory=776 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15949/stat : 15949 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828292 15381598208 32619 33554432000 4194304 4196468 140727685727456 140382557755952 140383792802434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131872 KiB

[startup+1.50077 s]
/proc/loadavg: 2.44 2.20 2.12 4/229 15996
/proc/meminfo: memFree=26204648/32770624 swapFree=66957008/67108860
[pid=15926] ppid=15923 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15926/stat : 15926 (scop.sh) S 15923 15926 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405828285 115843072 349 33554432000 4194304 5098028 140737073542592 140737073539848 139701035332220 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8122368 140737073546024 140737073546352 140737073546352 140737073549261 0
/proc/15926/statm: 28282 349 296 221 0 87 0
[pid=15929] ppid=15926 vsize=15023140 memory=183016 CPUtime=3.12 cores=1,3,5,7
/proc/15929/stat : 15929 (java) S 15926 15926 8853 0 -1 1077944320 23369 0 0 0 302 10 0 0 20 0 15 0 405828285 15383695360 45754 33554432000 4194304 4196468 140727685727456 140727685710000 140383792791287 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
/proc/15929/statm: 3755785 45754 3248 1 0 3717115 0
[pid=15929/tid=15930] ppid=15926 vsize=15023140 memory=988 CPUtime=1.47 cores=1,3,5,7
/proc/15929/task/15930/stat : 15930 (java) R 15926 15926 8853 0 -1 4202560 18184 0 0 0 140 7 0 0 20 0 15 0 405828285 15383695360 45754 33554432000 4194304 4196468 140727685727456 140383764625024 140383776871774 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15937] ppid=15926 vsize=15023140 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15937/stat : 15937 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15383695360 45754 33554432000 4194304 4196468 140727685727456 140383797034000 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15938] ppid=15926 vsize=15023140 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15938/stat : 15938 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15383695360 45754 33554432000 4194304 4196468 140727685727456 140383253429392 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15939] ppid=15926 vsize=15023140 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15939/stat : 15939 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828287 15383695360 45754 33554432000 4194304 4196468 140727685727456 140383252376336 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15940] ppid=15926 vsize=15023140 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15940/stat : 15940 (java) S 15926 15926 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828287 15383695360 45754 33554432000 4194304 4196468 140727685727456 140383251323792 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15941] ppid=15926 vsize=15023140 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15941/stat : 15941 (java) S 15926 15926 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405828288 15383695360 45754 33554432000 4194304 4196468 140727685727456 140382561966320 140383792802434 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15942] ppid=15926 vsize=15023140 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15942/stat : 15942 (java) S 15926 15926 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828289 15383695360 45754 33554432000 4194304 4196468 140727685727456 140382482457760 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15943] ppid=15926 vsize=15023140 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15943/stat : 15943 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828289 15383695360 45754 33554432000 4194304 4196468 140727685727456 140382214021872 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15944] ppid=15926 vsize=15023140 memory=608935330480088600 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15944/stat : 15944 (java) S 15926 15926 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828291 15383695360 45754 33554432000 4194304 4196468 140727685727456 140381839513552 140383792809883 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15945] ppid=15926 vsize=15023140 memory=7955446441032702062 CPUtime=0.51 cores=1,3,5,7
/proc/15929/task/15945/stat : 15945 (java) S 15926 15926 8853 0 -1 1077944384 1120 0 0 0 51 0 0 0 20 0 15 0 405828291 15383695360 45754 33554432000 4194304 4196468 140727685727456 140382560914160 140383792802434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15946] ppid=15926 vsize=15023140 memory=6791534058613427641 CPUtime=0.42 cores=1,3,5,7
/proc/15929/task/15946/stat : 15946 (java) S 15926 15926 8853 0 -1 1077944384 809 0 0 0 42 0 0 0 20 0 15 0 405828291 15383695360 45754 33554432000 4194304 4196468 140727685727456 140382559861616 140383792802434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15947] ppid=15926 vsize=15023140 memory=19876 CPUtime=0.68 cores=1,3,5,7
/proc/15929/task/15947/stat : 15947 (java) S 15926 15926 8853 0 -1 1077944384 1923 0 0 0 67 1 0 0 20 0 15 0 405828292 15383695360 45754 33554432000 4194304 4196468 140727685727456 140382558808560 140383792802434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15948] ppid=15926 vsize=15023140 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15948/stat : 15948 (java) S 15926 15926 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828292 15383695360 45754 33554432000 4194304 4196468 140727685727456 140381341608800 140383792801493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
[pid=15929/tid=15949] ppid=15926 vsize=15023140 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/15929/task/15949/stat : 15949 (java) S 15926 15926 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828292 15383695360 45754 33554432000 4194304 4196468 140727685727456 140382557755952 140383792802434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17022976 140727685735150 140727685735578 140727685735578 140727685738447 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 184412 KiB

[startup+3.11402 s]
/proc/loadavg: 2.44 2.20 2.12 8/238 16037
/proc/meminfo: memFree=26230032/32770624 swapFree=66957008/67108860
[pid=15926] ppid=15923 vsize=113128 memory=1476 CPUtime=4.78 cores=1,3,5,7
/proc/15926/stat : 15926 (scop.sh) S 15923 15926 8853 0 -1 4202496 583 25793 0 0 0 0 465 13 20 0 1 0 405828285 115843072 369 33554432000 4194304 5098028 140737073542592 140737073539336 139701035332220 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8122368 140737073546024 140737073546352 140737073546352 140737073549261 0
/proc/15926/statm: 28282 369 311 221 0 87 0
[pid=15997] ppid=15926 vsize=8068440 memory=121600 CPUtime=1.49 cores=1,3,5,7
/proc/15997/stat : 15997 (java) S 15926 15926 8853 0 -1 1077944320 19689 1879 0 0 110 6 32 1 20 0 18 0 405828490 8262082560 30400 33554432000 4194304 4196468 140735868826128 140735868808672 139837281197815 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
/proc/15997/statm: 2017110 30400 3210 1 0 1978454 0
[pid=15997/tid=15998] ppid=15926 vsize=8068440 memory=37520 CPUtime=1.07 cores=1,3,5,7
/proc/15997/task/15998/stat : 15998 (java) S 15926 15926 8853 0 -1 1077944384 16720 1879 0 0 69 5 32 1 20 0 18 0 405828491 8262082560 30400 33554432000 4194304 4196468 140735868826128 139837253037984 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=15999] ppid=15926 vsize=8068440 memory=2020 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/15999/stat : 15999 (java) S 15926 15926 8853 0 -1 1077944384 2 1879 0 0 0 0 32 1 20 0 18 0 405828492 8262082560 30400 33554432000 4194304 4196468 140735868826128 139837285440016 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16000] ppid=15926 vsize=8068440 memory=988 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16000/stat : 16000 (java) S 15926 15926 8853 0 -1 1077944384 1 1879 0 0 0 0 32 1 20 0 18 0 405828492 8262082560 30400 33554432000 4194304 4196468 140735868826128 139837091203728 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16001] ppid=15926 vsize=8068440 memory=33 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16001/stat : 16001 (java) S 15926 15926 8853 0 -1 1077944384 2 1879 0 0 0 0 32 1 20 0 18 0 405828492 8262082560 30400 33554432000 4194304 4196468 140735868826128 139837090150672 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16002] ppid=15926 vsize=8068440 memory=7088773812221943410 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16002/stat : 16002 (java) S 15926 15926 8853 0 -1 1077944384 1 1879 0 0 0 0 32 1 20 0 18 0 405828492 8262082560 30400 33554432000 4194304 4196468 140735868826128 139836764359056 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16003] ppid=15926 vsize=8068440 memory=-3704326594973231466 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16003/stat : 16003 (java) S 15926 15926 8853 0 -1 1077944384 5 1879 0 0 0 0 32 1 20 0 18 0 405828493 8262082560 30400 33554432000 4194304 4196468 140735868826128 139836526246640 139837281208962 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16004] ppid=15926 vsize=8068440 memory=8128038100524242582 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16004/stat : 16004 (java) S 15926 15926 8853 0 -1 1077944384 13 1879 0 0 0 0 32 1 20 0 18 0 405828494 8262082560 30400 33554432000 4194304 4196468 140735868826128 139836149196448 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16005] ppid=15926 vsize=8068440 memory=1396 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16005/stat : 16005 (java) S 15926 15926 8853 0 -1 1077944384 1 1879 0 0 0 0 32 1 20 0 18 0 405828494 8262082560 30400 33554432000 4194304 4196468 140735868826128 139835880760560 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16006] ppid=15926 vsize=8068440 memory=136568 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16006/stat : 16006 (java) S 15926 15926 8853 0 -1 1077944384 3 1879 0 0 0 0 32 1 20 0 18 0 405828496 8262082560 30400 33554432000 4194304 4196468 140735868826128 139835506252240 139837281216411 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16007] ppid=15926 vsize=8068440 memory=1096 CPUtime=0.43 cores=1,3,5,7
/proc/15997/task/16007/stat : 16007 (java) R 15926 15926 8853 0 -1 4202560 764 1879 0 0 10 0 32 1 20 0 18 0 405828496 8262082560 30400 33554432000 4194304 4196468 140735868826128 139836525182256 139837261048324 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16008] ppid=15926 vsize=8068440 memory=2828 CPUtime=0.41 cores=1,3,5,7
/proc/15997/task/16008/stat : 16008 (java) S 15926 15926 8853 0 -1 1077944384 286 1879 0 0 8 0 32 1 20 0 18 0 405828496 8262082560 30400 33554432000 4194304 4196468 140735868826128 139836524140912 139837281208962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16009] ppid=15926 vsize=8068440 memory=1164 CPUtime=0.52 cores=1,3,5,7
/proc/15997/task/16009/stat : 16009 (java) R 15926 15926 8853 0 -1 1077944384 518 1879 0 0 19 0 32 1 20 0 18 0 405828496 8262082560 30400 33554432000 4194304 4196468 140735868826128 139836523087984 139837281208021 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16010] ppid=15926 vsize=8068440 memory=14008 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16010/stat : 16010 (java) S 15926 15926 8853 0 -1 1077944384 3 1879 0 0 0 0 32 1 20 0 18 0 405828496 8262082560 30400 33554432000 4194304 4196468 140735868826128 139835008346464 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16011] ppid=15926 vsize=8068440 memory=140185719448736 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16011/stat : 16011 (java) S 15926 15926 8853 0 -1 1077944384 1 1879 0 0 0 0 32 1 20 0 18 0 405828497 8262082560 30400 33554432000 4194304 4196468 140735868826128 139836522036272 139837281208962 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16028] ppid=15926 vsize=8068440 memory=9202 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16028/stat : 16028 (java) S 15926 15926 8853 0 -1 1077944384 28 1879 0 0 0 0 32 1 20 0 18 0 405828561 8262082560 30400 33554432000 4194304 4196468 140735868826128 139836514001936 139837281208962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16030] ppid=15926 vsize=8068440 memory=1883942 CPUtime=0.34 cores=1,3,5,7
/proc/15997/task/16030/stat : 16030 (java) R 15926 15926 8853 0 -1 4202560 12 1879 0 0 1 0 32 1 20 0 18 0 405828562 8262082560 30400 33554432000 4194304 4196468 140735868826128 139834471452896 139836772729894 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16032] ppid=15926 vsize=8068440 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16032/stat : 16032 (java) S 15926 15926 8853 0 -1 1077944384 4 1879 0 0 0 0 32 1 20 0 18 0 405828564 8262082560 30400 33554432000 4194304 4196468 140735868826128 139834203036736 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 123076 KiB

[startup+3.22503 s]
# the end of solver process 15926 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.28896 s, system=0.234874 s

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

[startup+3.20128 s]
/proc/loadavg: 2.44 2.20 2.12 8/238 16037
/proc/meminfo: memFree=26230032/32770624 swapFree=66957008/67108860
[pid=15926] ppid=15923 vsize=113128 memory=1476 CPUtime=4.78 cores=1,3,5,7
/proc/15926/stat : 15926 (scop.sh) S 15923 15926 8853 0 -1 4202496 583 25793 0 0 0 0 465 13 20 0 1 0 405828285 115843072 369 33554432000 4194304 5098028 140737073542592 140737073539336 139701035332220 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8122368 140737073546024 140737073546352 140737073546352 140737073549261 0
/proc/15926/statm: 28282 369 311 221 0 87 0
[pid=15997] ppid=15926 vsize=7937364 memory=125632 CPUtime=1.65 cores=1,3,5,7
/proc/15997/stat : 15997 (java) S 15926 15926 8853 0 -1 1077944320 20301 1879 0 0 126 6 32 1 20 0 17 0 405828490 8127860736 31408 33554432000 4194304 4196468 140735868826128 140735868808672 139837281197815 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
/proc/15997/statm: 1984341 31408 3214 1 0 1945685 0
[pid=15997/tid=15998] ppid=15926 vsize=7937364 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/15997/task/15998/stat : 15998 (java) R 15926 15926 8853 0 -1 4202560 17034 1879 0 0 76 5 32 1 20 0 17 0 405828491 8127860736 31408 33554432000 4194304 4196468 140735868826128 139837253022144 139837263066318 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=15999] ppid=15926 vsize=7937364 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/15999/stat : 15999 (java) S 15926 15926 8853 0 -1 1077944384 2 1879 0 0 0 0 32 1 20 0 17 0 405828492 8127860736 31408 33554432000 4194304 4196468 140735868826128 139837285440016 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16000] ppid=15926 vsize=7937364 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16000/stat : 16000 (java) S 15926 15926 8853 0 -1 1077944384 1 1879 0 0 0 0 32 1 20 0 17 0 405828492 8127860736 31408 33554432000 4194304 4196468 140735868826128 139837091203728 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16001] ppid=15926 vsize=7937364 memory=665094467796427500 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16001/stat : 16001 (java) S 15926 15926 8853 0 -1 1077944384 2 1879 0 0 0 0 32 1 20 0 17 0 405828492 8127860736 31408 33554432000 4194304 4196468 140735868826128 139837090150672 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16002] ppid=15926 vsize=7937364 memory=-6896061502895710308 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16002/stat : 16002 (java) S 15926 15926 8853 0 -1 1077944384 1 1879 0 0 0 0 32 1 20 0 17 0 405828492 8127860736 31408 33554432000 4194304 4196468 140735868826128 139836764359056 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16003] ppid=15926 vsize=7937364 memory=-8096445597189105254 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16003/stat : 16003 (java) S 15926 15926 8853 0 -1 1077944384 5 1879 0 0 0 0 32 1 20 0 17 0 405828493 8127860736 31408 33554432000 4194304 4196468 140735868826128 139836526246640 139837281208962 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16004] ppid=15926 vsize=7937364 memory=6944656592387989600 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16004/stat : 16004 (java) S 15926 15926 8853 0 -1 1077944384 13 1879 0 0 0 0 32 1 20 0 17 0 405828494 8127860736 31408 33554432000 4194304 4196468 140735868826128 139836149196448 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16005] ppid=15926 vsize=7937364 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16005/stat : 16005 (java) S 15926 15926 8853 0 -1 1077944384 1 1879 0 0 0 0 32 1 20 0 17 0 405828494 8127860736 31408 33554432000 4194304 4196468 140735868826128 139835880760560 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16006] ppid=15926 vsize=7937364 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16006/stat : 16006 (java) S 15926 15926 8853 0 -1 1077944384 3 1879 0 0 0 0 32 1 20 0 17 0 405828496 8127860736 31408 33554432000 4194304 4196468 140735868826128 139835506252240 139837281216411 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16007] ppid=15926 vsize=7937364 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/15997/task/16007/stat : 16007 (java) S 15926 15926 8853 0 -1 1077944384 772 1879 0 0 12 0 32 1 20 0 17 0 405828496 8127860736 31408 33554432000 4194304 4196468 140735868826128 139836525193552 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16008] ppid=15926 vsize=7937364 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/15997/task/16008/stat : 16008 (java) S 15926 15926 8853 0 -1 1077944384 299 1879 0 0 10 0 32 1 20 0 17 0 405828496 8127860736 31408 33554432000 4194304 4196468 140735868826128 139836524140912 139837281208962 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16009] ppid=15926 vsize=7937364 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/15997/task/16009/stat : 16009 (java) R 15926 15926 8853 0 -1 4202560 631 1879 0 0 24 0 32 1 20 0 17 0 405828496 8127860736 31408 33554432000 4194304 4196468 140735868826128 139836523087856 139837281209750 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16010] ppid=15926 vsize=7937364 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16010/stat : 16010 (java) S 15926 15926 8853 0 -1 1077944384 3 1879 0 0 0 0 32 1 20 0 17 0 405828496 8127860736 31408 33554432000 4194304 4196468 140735868826128 139835008346464 139837281208021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16011] ppid=15926 vsize=7937364 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16011/stat : 16011 (java) S 15926 15926 8853 0 -1 1077944384 1 1879 0 0 0 0 32 1 20 0 17 0 405828497 8127860736 31408 33554432000 4194304 4196468 140735868826128 139836522036272 139837281208962 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16028] ppid=15926 vsize=7937364 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16028/stat : 16028 (java) S 15926 15926 8853 0 -1 1077944384 28 1879 0 0 0 0 32 1 20 0 17 0 405828561 8127860736 31408 33554432000 4194304 4196468 140735868826128 139836514001936 139837281208962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
[pid=15997/tid=16032] ppid=15926 vsize=7937364 memory=732 CPUtime=0.33 cores=1,3,5,7
/proc/15997/task/16032/stat : 16032 (java) S 15926 15926 8853 0 -1 1077944384 8 1879 0 0 0 0 32 1 20 0 17 0 405828564 8127860736 31408 33554432000 4194304 4196468 140735868826128 139834203038768 139837281208962 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140735868834811 140735868834970 140735868834970 140735868837839 0
Current children cumulated CPU time: 6.43 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 127108 KiB

Child status: 0
Real time (s): 3.22508
CPU time (s): 6.52383
CPU user time (s): 6.28896
CPU system time (s): 0.234874
CPU usage (%): 202.284
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 298304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.28896
system time used= 0.234874
maximum resident set size= 299896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48644
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5090
involuntary context switches= 50


# summary of solver processes directly reported to runsolver:
#   pid: 15926
#   total CPU time (s): 6.52383
#   total CPU user time (s): 6.28896
#   total CPU system time (s): 0.234874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045574 second user time and 0.080549 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-12 16:38:21
IDJOB=4388421
IDBENCH=141704
IDSOLVER=2825
FILE ID=node147/4388421-1568299144
RUNJOBID= node147-1568286038-9752
PBS_JOBID= 21701064
Free space on /tmp= 52120 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-20-054.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-4388421-1568299144/watcher-4388421-1568299144 -o /tmp/evaluation-result-4388421-1568299144/solver-4388421-1568299144 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9752 --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-4388421-1568299144.xml

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

MD5SUM BENCH= 3ff211d871d85a956d1d429dedc73eaa
RANDOM SEED=2104652558

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:        26434660 kB
MemAvailable:   31809260 kB
Buffers:          115420 kB
Cached:          5461728 kB
SwapCached:        48504 kB
Active:          2363344 kB
Inactive:        3275276 kB
Active(anon):      12064 kB
Inactive(anon):    91352 kB
Active(file):    2351280 kB
Inactive(file):  3183924 kB
Unevictable:      107624 kB
Mlocked:          107624 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:             20752 kB
Writeback:             0 kB
AnonPages:        118800 kB
Mapped:            49296 kB
Shmem:             32764 kB
Slab:             296864 kB
SReclaimable:     267856 kB
SUnreclaim:        29008 kB
KernelStack:        3424 kB
PageTables:         5428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1427172 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:25