Trace number 4387815

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 17.0131 7.62202

General information on the benchmark

NameQRandom/
QRandom-geometric-rw/geometric-50-20-d4-75-08.xml
MD5SUMee1da6b537c1ecd46a877bd70c24ae39
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.402036
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints477
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":50}]
Minimum variable degree8
Maximum variable degree30
Distribution of variable degrees[{"degree":8,"count":1},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":20,"count":6},{"degree":22,"count":5},{"degree":23,"count":2},{"degree":24,"count":5},{"degree":25,"count":1},{"degree":26,"count":1},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":30,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":477}]
Number of extensional constraints477
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":477}]
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-17290-serial-file.bin HOME/instance-4387815-1568291137.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 14:24:58 CEST 2019
0.66/0.56	c PID: 17293
0.66/0.56	c IP: 172.20.3.133
0.66/0.56	c HOST: node133.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.38/1.19	c (0,0) Parsing End
2.38/1.20	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 477 ctr, max domain size 20
2.69/1.20	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.69/1.20	c (0,0) Constraint Name Generate Begin
2.69/1.21	c (0,0) Ctr:HOME/instance-4387815-1568291137.xml,ExtensionConflict:Var
2.69/1.21	c (0,0) Constraint Name Generate End
2.69/1.21	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.69/1.21	c (0,0) CSP to CSPinCNF Begin
4.68/1.99	c (1,1) translated 48 (10%) constraints
5.89/2.31	c (1,1) translated 96 (20%) constraints
6.51/2.58	c (2,2) translated 144 (30%) constraints
7.66/3.04	c (2,2) translated 191 (40%) constraints
8.24/3.30	c (2,2) translated 239 (50%) constraints
9.15/3.56	c (3,2) translated 287 (60%) constraints
10.05/3.81	c (3,3) translated 334 (70%) constraints
10.69/4.06	c (3,3) translated 382 (80%) constraints
11.05/4.25	c (3,3) translated 430 (90%) constraints
11.33/4.43	c (3,3) translated 477 (100%) constraints
11.33/4.43	c (3,3) ===========================================
11.33/4.43	c (3,3) Order
11.33/4.43	c (3,3) ===========================================
11.49/4.54	c (4,3) translated 3616 (10%) constraints
11.62/4.63	c (4,3) translated 7232 (20%) constraints
11.85/4.72	c (4,3) translated 10848 (30%) constraints
11.85/4.79	c (4,4) translated 14464 (40%) constraints
11.95/4.88	c (4,4) translated 18080 (50%) constraints
12.05/4.95	c (4,4) translated 21696 (60%) constraints
12.16/5.04	c (4,4) translated 25312 (70%) constraints
12.26/5.12	c (4,4) translated 28928 (80%) constraints
12.26/5.20	c (4,4) translated 32544 (90%) constraints
12.36/5.28	c (4,4) translated 36159 (100%) constraints
12.36/5.28	c (4,4) CSP to CSPinCNF End
12.36/5.28	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
12.36/5.28	c (4,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
12.36/5.28	c (4,4) CSPinCNF Propagation Begin
13.06/5.57	c (5,4) 0 values, 4172 unsatisfiable literals, and 0 valid clauses are removed
13.06/5.57	c (5,4) CSPinCNF Propagation End
13.06/5.57	c (5,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
13.06/5.57	c (5,4) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
13.06/5.57	c (5,4) Simplify CSPinCNF Begin
13.31/5.69	c (5,4) Simplify CSPinCNF End
13.31/5.69	c (5,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
13.31/5.69	c (5,4) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
13.31/5.69	c (5,4) Calculate Precise Domain Begin
13.31/5.70	c (5,4) 0 values are removed by re-calculation
13.31/5.70	c (5,4) Calculate Precise Domain End
13.31/5.70	c (5,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
13.31/5.70	c (5,4) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
13.31/5.70	c (5,4) CSPinCNF to SatSolver Begin
14.02/5.91	c (5,5) 3616 (10 %) CSP clauses are encoded (0 SAT variables, 4515 SAT clauses)
14.34/6.02	c (5,5) 7232 (20 %) CSP clauses are encoded (0 SAT variables, 8131 SAT clauses)
14.34/6.09	c (5,5) 10848 (30 %) CSP clauses are encoded (0 SAT variables, 11747 SAT clauses)
14.64/6.15	c (5,5) 14464 (40 %) CSP clauses are encoded (0 SAT variables, 15363 SAT clauses)
14.89/6.20	c (5,5) 18080 (50 %) CSP clauses are encoded (0 SAT variables, 18979 SAT clauses)
14.89/6.24	c (5,5) 21696 (60 %) CSP clauses are encoded (0 SAT variables, 22595 SAT clauses)
14.89/6.29	c (5,5) 25312 (70 %) CSP clauses are encoded (0 SAT variables, 26211 SAT clauses)
15.00/6.33	c (5,5) 28928 (80 %) CSP clauses are encoded (0 SAT variables, 29827 SAT clauses)
15.00/6.37	c (5,5) 32544 (90 %) CSP clauses are encoded (0 SAT variables, 33443 SAT clauses)
15.11/6.42	c (5,5) 36159 (100 %) CSP clauses are encoded (0 SAT variables, 37058 SAT clauses)
15.11/6.42	c (5,5) CSPinCNF to SatSolver End
15.11/6.42	c (5,5) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.11/6.42	c (5,5) 950 bool, 37059 clause
15.11/6.42	c (5,5) Export Begin
15.29/6.51	c (5,5) Export to HOME/scop-17290-serial-file.bin
15.29/6.51	c (5,5) Export End
15.29/6.51	c (5,5) Export File Size: 0.01 MB
15.29/6.51	c (5,5) 0,0,4,5,5,5,5,STOP-AFTER(DIMACS)
15.29/6.51	c END-Prog: Thu Sep 12 14:25:04 CEST 2019
15.29/6.52	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17290-serial-file.bin
15.34/6.98	c (0,0) Read Serial File Begin
15.34/6.98	c (0,0) HOME/scop-17290-serial-file.bin
16.13/7.19	c (0,0) Read Serial File End
16.27/7.20	
16.27/7.20	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
16.27/7.20	(Solving Process)
16.27/7.20	
16.27/7.23	c BEGIN-Prog: Thu Sep 12 14:25:05 CEST 2019
16.27/7.23	c PID: 17311
16.27/7.23	c IP: 172.20.3.133
16.27/7.23	c HOST: node133.alineos.net
16.27/7.23	c (0,0) SatSolver.solve Begin
16.27/7.23	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387815-1568291137.xml-scop-17293.cnf
16.27/7.28	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
16.27/7.28	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
16.27/7.28	c (0,0) c glueminisat-simp-2.2.10-193oa-n
16.27/7.28	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387815-1568291137.xml-scop-17293.cnf 
16.27/7.28	c (0,0) c Options:
16.27/7.28	c (0,0) c CORE
16.27/7.28	c (0,0) c  var_decay             = 0.950
16.27/7.28	c (0,0) c  clause_decay          = 0.999
16.27/7.28	c (0,0) c  random_var_freq       = 0.000
16.27/7.28	c (0,0) c  random_seed           = 91648253.000
16.27/7.28	c (0,0) c  luby_restart          = 1
16.27/7.28	c (0,0) c  ccmin_mode            = 2
16.27/7.28	c (0,0) c  phase_saving          = 2
16.27/7.28	c (0,0) c  rnd_pol               = 0
16.27/7.28	c (0,0) c  rnd_init_act          = 0
16.27/7.28	c (0,0) c  garbage_frac          = 0.200
16.27/7.28	c (0,0) c  restart_first         = 1000
16.27/7.28	c (0,0) c  restart_inc           = 2.000
16.27/7.28	c (0,0) c MODEL
16.27/7.28	c (0,0) c  partial_model         = 0
16.27/7.28	c (0,0) c PROPAGATION
16.27/7.28	c (0,0) c  bin_propagation       = 1
16.27/7.28	c (0,0) c SIMPLIFICATION
16.27/7.28	c (0,0) c  lrn_min_size          = 100
16.27/7.28	c (0,0) c  lazy_simp             = 1
16.27/7.28	c (0,0) c  lazy_interval         = 10
16.27/7.28	c (0,0) c  lazy_fld_probing      = 1
16.27/7.28	c (0,0) c  lazy_pol_probing      = 1
16.27/7.28	c (0,0) c  lazy_nec_probing      = 1
16.27/7.28	c (0,0) c  lazy_eqv_probing      = 1
16.27/7.28	c (0,0) c  lazy_cla_probing      = 1
16.27/7.28	c (0,0) c  lazy_lrn_min          = 2
16.27/7.28	c (0,0) c  lazy_uw_lit_elim      = 1
16.27/7.28	c (0,0) c  lazy_pr_lit_elim      = 0
16.27/7.28	c (0,0) c  lazy_bin_add          = 3
16.27/7.28	c (0,0) c  probed_lit_chain      = 1
16.27/7.28	c (0,0) c  pr_min_lits           = 0.00020
16.27/7.28	c (0,0) c  pr_min_starts         = 500
16.27/7.28	c (0,0) c  rw_min_lits           = 0.010
16.27/7.28	c (0,0) c  rw_min_starts         = 500
16.27/7.28	c (0,0) c  rand_attach           = 0
16.27/7.28	c (0,0) c  dec_elim              = 1
16.27/7.28	c (0,0) c  dec_elim_lim          = 25
16.27/7.28	c (0,0) c  dec_elim_len          = -1
16.27/7.28	c (0,0) c  amo                   = 0
16.27/7.28	c (0,0) c  amo_grp               = 1
16.27/7.28	c (0,0) c  amo_max_bins          = 1000000
16.27/7.28	c (0,0) c  amo_starts            = 50
16.27/7.28	c (0,0) c  mace_cmd              = mace
16.27/7.28	c (0,0) c DECISION
16.27/7.28	c (0,0) c  rand_rebuild          = 0
16.27/7.28	c (0,0) c  rand_rebuild_confs    = 10000
16.27/7.28	c (0,0) c  inc_var_decay         = 1
16.27/7.28	c (0,0) c  inc_var_decay_period  = 100000
16.27/7.28	c (0,0) c  inc_var_decay_init    = 0.600
16.27/7.28	c (0,0) c  var_decay_mode        = 0
16.27/7.28	c (0,0) c  var_decay_gain        = 0
16.27/7.28	c (0,0) c  sloped_var_decay      = 1
16.27/7.28	c (0,0) c  max_var_decay         = 0.990
16.27/7.28	c (0,0) c  min_var_decay         = 0.950
16.27/7.28	c (0,0) c  min_var_decay_vars    = 10000
16.27/7.28	c (0,0) c  max_var_decay_vars    = 500
16.27/7.28	c (0,0) c  uip_bumping           = 1
16.27/7.28	c (0,0) c  lbd_act_bumping       = 1
16.27/7.28	c (0,0) c  rand_tiebreak         = 0
16.27/7.28	c (0,0) c  simp_rebuild          = 1
16.27/7.28	c (0,0) c RESTART
16.27/7.28	c (0,0) c  restart_strategy      = 2
16.27/7.28	c (0,0) c  restart_blocking      = 0
16.27/7.28	c (0,0) c  agility_decay         = 0.99990
16.27/7.28	c (0,0) c  lbd_restart_rate      = 0.800
16.27/7.28	c (0,0) c  dec_restart_rate      = 0.950
16.27/7.28	c (0,0) c  blk_restart_rate      = 0.700
16.27/7.28	c (0,0) c  lbd_queue_size        = 50
16.27/7.28	c (0,0) c  dec_queue_size        = 50
16.27/7.28	c (0,0) c  trl_queue_size        = 5000
16.27/7.28	c (0,0) c  blk_restart_weight    = 1.000
16.27/7.28	c (0,0) c  inc_rst_rate          = 0
16.27/7.28	c (0,0) c  inc_rst_rate_period   = 500000
16.27/7.28	c (0,0) c  inc_lbd_rst_rate_init = 0.600
16.27/7.28	c (0,0) c  inc_dec_rst_rate_init = 0.750
16.27/7.28	c (0,0) c REDUCTION
16.27/7.28	c (0,0) c  closed_lbd            = 0
16.27/7.28	c (0,0) c  closed_lbd_rate       = 0.500
16.27/7.28	c (0,0) c  rm_simulate           = 0
16.27/7.28	c (0,0) c  rdb_eval              = 2
16.27/7.28	c (0,0) c  rdb_call              = 3
16.27/7.28	c (0,0) c  rdb_ub                = 0.500
16.27/7.28	c (0,0) c  core_lbd_cvr          = 0.800
16.27/7.28	c (0,0) c  supp_lbd_cvr          = 0.990
16.27/7.28	c (0,0) c  core_lbd_lb           = 2
16.27/7.28	c (0,0) c  supp_lbd_lb           = 2
16.27/7.28	c (0,0) c  core_lbd_prd          = 7
16.27/7.28	c (0,0) c  supp_lbd_prd          = 1
16.27/7.28	c (0,0) c  othr_lbd_prd          = 0
16.27/7.28	c (0,0) c  inc_lrn_limit         = 1000
16.27/7.28	c (0,0) c  frozen_lbd            = 30
16.27/7.28	c (0,0) c  simp_min_starts       = 100
16.27/7.28	c (0,0) c  rm_low_act_learnts    = 1
16.27/7.28	c (0,0) c  lv0_reduce_db         = 0
16.27/7.28	c (0,0) c  reduce_db_base        = 20000
16.27/7.28	c (0,0) c  reduce_db_inc         = 1000
16.27/7.28	c (0,0) c HARD
16.27/7.28	c (0,0) c  inst_check            = 200000
16.27/7.28	c (0,0) c  small_block           = 1.750
16.27/7.28	c (0,0) c  slow_restart_speed    = 400.000
16.27/7.28	c (0,0) c  slow_restart_strategy = 3
16.27/7.28	c (0,0) c  slow_lbd_restart_rate = 0.700
16.27/7.28	c (0,0) c  slow_dec_restart_rate = 1.000
16.27/7.28	c (0,0) c  slow_lbd_queue_size   = 50
16.27/7.28	c (0,0) c  slow_var_decay        = 0.950
16.27/7.28	c (0,0) c  slow_glue_threshold   = 2
16.27/7.28	c (0,0) c  slow_phase_saving     = 2
16.27/7.28	c (0,0) c  fast_restart_speed    = 125.000
16.27/7.28	c (0,0) c  fast_restart_strategy = 1
16.27/7.28	c (0,0) c  fast_lbd_restart_rate = 0.800
16.27/7.28	c (0,0) c  fast_dec_restart_rate = 0.950
16.27/7.28	c (0,0) c  fast_lbd_queue_size   = 50
16.27/7.28	c (0,0) c  fast_var_decay        = 1.000
16.27/7.28	c (0,0) c  fast_glue_threshold   = 2
16.27/7.28	c (0,0) c  fast_phase_saving     = 2
16.27/7.28	c (0,0) c STATS
16.27/7.28	c (0,0) c  stats_conf_size       = 10000
16.27/7.28	c (0,0) c  max_stats_size        = 30
16.27/7.28	c (0,0) c SOLVER
16.27/7.28	c (0,0) c  minisat               = 0
16.27/7.28	c (0,0) c Problem: 951 variables, 37059 clauses, parsing 0.01 s
16.49/7.31	c (0,0) c  reduced to 950 variables, 37059 clauses (grow = 0)
16.49/7.31	c (0,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
16.49/7.31	c (0,0) c Simplification: 1 vars, 0 clauses are eliminated using 0.04 s
16.49/7.31	c (0,0) c
16.49/7.31	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
16.49/7.31	c (0,0) c
16.49/7.31	c (0,0) c    0         0         0      950    37059        0   -nan  -nan  -nan -nan%
16.49/7.31	c (0,0) c    0         1       100      950    37059      100   14.9  10.3  88.6 46.9%
16.49/7.32	c (0,0) c    0         1       220      950    37059      220   15.7  11.0  83.7 46.5%
16.49/7.33	c (0,0) c    0         1       364      950    37059      364   15.5  10.6  79.7 45.2%
16.49/7.33	c (0,0) c    0         1       536      950    37059      536   15.4  10.3  77.3 44.8%
16.49/7.34	c (0,0) c    0         1       743      950    37059      743   15.0  10.0  74.5 44.2%
16.49/7.35	c (0,0) c    0         1       991      950    37059      991   15.1   9.8  72.0 44.4%
16.49/7.36	c (0,0) c    0         1      1289      950    37059     1289   15.2   9.8  71.1 44.3%
16.49/7.38	c (0,0) c    0         1      1647      950    37059     1647   15.2   9.6  69.7 44.4%
16.53/7.40	c (0,0) c    0         1      2076      950    37059     2076   15.3   9.6  68.4 44.2%
16.53/7.42	c (0,0) c    0         1      2591      950    37059     2591   15.6   9.8  67.5 44.3%
16.53/7.44	c (0,0) c    0         2      3210      950    37059     3210   14.9   9.4  58.2 42.1%
16.53/7.47	c (0,0) c    0         2      3953      950    37059     3953   14.7   8.9  50.8 41.0%
16.53/7.50	c (0,0) c    0         2      4771      950    37059     4771   14.3   8.5  44.9 39.9%
16.53/7.50	c (0,0) c
16.53/7.50	c (0,0) c
16.53/7.50	c (0,0) c variables         : 950         (init 951, after simp 950, 0 non-decs, 50 csp)
16.53/7.50	c (0,0) c clauses           : 37059       (init 37059, after simp 37059)
16.53/7.50	c (0,0) c restarts          : 1           (2385.50 confs/res, 2128~2643 confs, 0 blks, 0 last)
16.53/7.50	c (0,0) c conflicts         : 4771        (19622 /sec, 52.94% dconfs, 0.00% supp, trail 12.43w x 44.86h, jmp 1.24h)
16.53/7.50	c (0,0) c decisions         : 6006        (0.6100 vdcy, 24701 /sec, 0.00% bin, rs 0.000 s)
16.53/7.50	c (0,0) c propagations      : 460159      (1892529 /sec, 76.62 lits/dec, 14.60% o.a.)
16.53/7.50	c (0,0) c conflict literals : 95957       (27.88% deleted; 1.22% by bin min, 0.001 s)
16.53/7.50	c (0,0) c len               : 14.261      (14.26 for all, max 33, used 29)
16.53/7.50	c (0,0) c lbd               : 8.534       (9.80 (8.53) for all, max 21, used 21, 2.913 stdev, 1.455 blk)
16.53/7.50	c (0,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
16.53/7.50	c (0,0) c simp dbs          : 1           (0.000 s)
16.53/7.50	c (0,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
16.53/7.50	c (0,0) c learnts           : 4771        (0 learnts removed, 0.00%)
16.53/7.50	c (0,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
16.53/7.50	c (0,0) c assigned lits     : 0           (0/0 probed, 0 remains)
16.53/7.50	c (0,0) c premise updates   : 0           (0.00 /lit)
16.53/7.50	c (0,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
16.53/7.50	c (0,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
16.53/7.50	c (0,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.001s)
16.53/7.50	c (0,0) c unwatched lit elim: 216         (0.00+0.23%, 0+216 of 137594+95957)
16.53/7.50	c (0,0) c classified type   : undef
16.53/7.50	c (0,0) c progress          : 0.000 %
16.53/7.50	c (0,0) c
16.53/7.50	c (0,0) c [Statistics]
16.53/7.50	c (0,0) c             learnts len        learnts lbd        lit blk size       eq vars size
16.53/7.50	c (0,0) c  tot        4771               4771              46758                  0
16.53/7.50	c (0,0) c  avg      14.261              8.534              1.455               -nan
16.53/7.50	c (0,0) c   1            0 ( 0.0%)          2 ( 0.0%)      35800 (76.6%)          0 (-nan%)
16.53/7.50	c (0,0) c   2            0 ( 0.0%)        159 ( 3.3%)       6298 (13.5%)          0 (-nan%)
16.53/7.50	c (0,0) c   3            5 ( 0.1%)        250 ( 5.2%)       2164 ( 4.6%)          0 (-nan%)
16.53/7.50	c (0,0) c   4           63 ( 1.3%)        296 ( 6.2%)       1173 ( 2.5%)          0 (-nan%)
16.53/7.50	c (0,0) c   5           94 ( 2.0%)        395 ( 8.3%)        556 ( 1.2%)          0 (-nan%)
16.53/7.50	c (0,0) c   6          156 ( 3.3%)        480 (10.1%)        331 ( 0.7%)          0 (-nan%)
16.53/7.50	c (0,0) c   7          146 ( 3.1%)        535 (11.2%)        187 ( 0.4%)          0 (-nan%)
16.53/7.50	c (0,0) c   8          170 ( 3.6%)        479 (10.0%)         93 ( 0.2%)          0 (-nan%)
16.53/7.50	c (0,0) c   9          206 ( 4.3%)        474 ( 9.9%)         53 ( 0.1%)          0 (-nan%)
16.53/7.51	c (0,0) c  10          274 ( 5.7%)        365 ( 7.7%)         49 ( 0.1%)          0 (-nan%)
16.53/7.51	c (0,0) c  11          300 ( 6.3%)        280 ( 5.9%)         27 ( 0.1%)          0 (-nan%)
16.53/7.51	c (0,0) c  12          379 ( 7.9%)        213 ( 4.5%)         11 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  13          402 ( 8.4%)        220 ( 4.6%)          8 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  14          368 ( 7.7%)        193 ( 4.0%)          3 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  15          346 ( 7.3%)        170 ( 3.6%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  16          301 ( 6.3%)        127 ( 2.7%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  17          282 ( 5.9%)         83 ( 1.7%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  18          253 ( 5.3%)         31 ( 0.6%)          1 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  19          231 ( 4.8%)         14 ( 0.3%)          2 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  20          221 ( 4.6%)          5 ( 0.1%)          1 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  21          197 ( 4.1%)          0 ( 0.0%)          1 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  22          146 ( 3.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  23           79 ( 1.7%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  24           62 ( 1.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  25           47 ( 1.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  26           18 ( 0.4%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  27           13 ( 0.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  28            3 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  29            5 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c  30            4 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
16.53/7.51	c (0,0) c
16.53/7.51	c (0,0) c [LBD Statistics]
16.53/7.51	c (0,0) c LBD          used lbd               used clause lbd         unused clause lbd
16.53/7.51	c (0,0) c  tot        14312                    1956                    2815
16.53/7.51	c (0,0) c  avg        4.346                   6.841                   9.711
16.53/7.51	c (0,0) c    1            3 ( 0.0/ 0.0%)          2 ( 0.1/ 0.1%)          0 ( 0.0/ 0.0%)
16.53/7.51	c (0,0) c    2         4129 (28.8/28.9%)        153 ( 7.8/ 7.9%)          6 ( 0.2/ 0.2%)
16.53/7.51	c (0,0) c    3         3587 (25.1/53.9%)        207 (10.6/18.5%)         43 ( 1.5/ 1.7%)
16.53/7.51	c (0,0) c    4         2170 (15.2/69.1%)        201 (10.3/28.8%)         95 ( 3.4/ 5.1%)
16.53/7.51	c (0,0) c    5         1002 ( 7.0/76.1%)        233 (11.9/40.7%)        162 ( 5.8/10.9%)
16.53/7.51	c (0,0) c    6          973 ( 6.8/82.9%)        242 (12.4/53.1%)        238 ( 8.5/19.3%)
16.53/7.51	c (0,0) c    7          671 ( 4.7/87.6%)        220 (11.2/64.3%)        315 (11.2/30.5%)
16.53/7.51	c (0,0) c    8          499 ( 3.5/91.1%)        158 ( 8.1/72.4%)        321 (11.4/41.9%)
16.53/7.51	c (0,0) c    9          307 ( 2.1/93.2%)        139 ( 7.1/79.5%)        335 (11.9/53.8%)
16.53/7.51	c (0,0) c   10          231 ( 1.6/94.8%)         99 ( 5.1/84.6%)        266 ( 9.4/63.3%)
16.53/7.51	c (0,0) c   11          159 ( 1.1/95.9%)         69 ( 3.5/88.1%)        211 ( 7.5/70.8%)
16.53/7.51	c (0,0) c   12          158 ( 1.1/97.0%)         65 ( 3.3/91.4%)        148 ( 5.3/76.0%)
16.53/7.51	c (0,0) c   13          112 ( 0.8/97.8%)         51 ( 2.6/94.0%)        169 ( 6.0/82.0%)
16.53/7.51	c (0,0) c   14          105 ( 0.7/98.6%)         42 ( 2.1/96.2%)        151 ( 5.4/87.4%)
16.53/7.51	c (0,0) c   15           93 ( 0.6/99.2%)         37 ( 1.9/98.1%)        133 ( 4.7/92.1%)
16.53/7.51	c (0,0) c   16           52 ( 0.4/99.6%)         20 ( 1.0/99.1%)        107 ( 3.8/95.9%)
16.53/7.51	c (0,0) c   17           27 ( 0.2/99.8%)          9 ( 0.5/99.5%)         74 ( 2.6/98.5%)
16.53/7.51	c (0,0) c   18           19 ( 0.1/99.9%)          4 ( 0.2/99.7%)         27 ( 1.0/99.5%)
16.53/7.51	c (0,0) c   19            9 ( 0.1/100.0%)          4 ( 0.2/99.9%)         10 ( 0.4/99.9%)
16.53/7.51	c (0,0) c   20            4 ( 0.0/100.0%)          1 ( 0.1/100.0%)          4 ( 0.1/100.0%)
16.53/7.51	c (0,0) c   21            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
16.53/7.51	c (0,0) c
16.53/7.51	c (0,0) c Memory used       : 23.00 MB
16.53/7.51	c (0,0) c CPU time          : 0.243 s
16.53/7.51	c (0,0) c Real time         : 0.251 s
16.53/7.51	c (0,0) c
16.53/7.51	c (0,0) s SATISFIABLE
16.53/7.52	c (0,0) SatSolver.solve End
16.53/7.52	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.53/7.52	c (0,0) Show results Begin
16.95/7.61	c (0,0) x[0] = 6
16.95/7.61	c (0,0) x[1] = 18
16.95/7.61	c (0,0) x[2] = 11
16.95/7.61	c (0,0) x[3] = 17
16.95/7.61	c (0,0) x[4] = 19
16.95/7.61	c (0,0) x[5] = 11
16.95/7.61	c (0,0) x[6] = 9
16.95/7.61	c (0,0) x[7] = 2
16.95/7.61	c (0,0) x[8] = 16
16.95/7.61	c (0,0) x[9] = 2
16.95/7.61	c (0,0) x[10] = 4
16.95/7.61	c (0,0) x[11] = 5
16.95/7.61	c (0,0) x[12] = 10
16.95/7.61	c (0,0) x[13] = 7
16.95/7.61	c (0,0) x[14] = 4
16.95/7.61	c (0,0) x[15] = 20
16.95/7.61	c (0,0) x[16] = 14
16.95/7.61	c (0,0) x[17] = 15
16.95/7.61	c (0,0) x[18] = 12
16.95/7.61	c (0,0) x[19] = 18
16.95/7.61	c (0,0) x[20] = 18
16.95/7.61	c (0,0) x[21] = 2
16.95/7.61	c (0,0) x[22] = 4
16.95/7.61	c (0,0) x[23] = 14
16.95/7.61	c (0,0) x[24] = 14
16.95/7.61	c (0,0) x[25] = 12
16.95/7.61	c (0,0) x[26] = 3
16.95/7.61	c (0,0) x[27] = 9
16.95/7.61	c (0,0) x[28] = 17
16.95/7.61	c (0,0) x[29] = 7
16.95/7.61	c (0,0) x[30] = 15
16.95/7.61	c (0,0) x[31] = 3
16.95/7.61	c (0,0) x[32] = 7
16.95/7.61	c (0,0) x[33] = 5
16.95/7.61	c (0,0) x[34] = 7
16.95/7.61	c (0,0) x[35] = 8
16.95/7.61	c (0,0) x[36] = 14
16.95/7.61	c (0,0) x[37] = 9
16.95/7.61	c (0,0) x[38] = 11
16.95/7.61	c (0,0) x[39] = 3
16.95/7.61	c (0,0) x[40] = 16
16.95/7.61	c (0,0) x[41] = 19
16.95/7.61	c (0,0) x[42] = 3
16.95/7.61	c (0,0) x[43] = 15
16.95/7.61	c (0,0) x[44] = 9
16.95/7.61	c (0,0) x[45] = 3
16.95/7.61	c (0,0) x[46] = 15
16.95/7.61	c (0,0) x[47] = 1
16.95/7.61	c (0,0) x[48] = 8
16.95/7.61	c (0,0) x[49] = 18
16.95/7.61	s SATISFIABLE
16.95/7.61	v <instantiation>
16.95/7.61	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list>
16.95/7.61	v     <values>6 18 11 17 19 11 9 2 16 2 4 5 10 7 4 20 14 15 12 18 18 2 4 14 14 12 3 9 17 7 15 3 7 5 7 8 14 9 11 3 16 19 3 15 9 3 15 1 8 18</values>
16.95/7.61	v </instantiation>
16.95/7.61	c (0,0) Show results End
16.95/7.61	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
16.95/7.61	c (0,0) 0,0,STOP-AFTER(ALL)
16.95/7.61	c END-Prog: Thu Sep 12 14:25:05 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 (15086 MiB free)
  memory of node 1: 16384 MiB (15690 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387815-1568291137/watcher-4387815-1568291137 -o /tmp/evaluation-result-4387815-1568291137/solver-4387815-1568291137 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16920 --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-4387815-1568291137.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=17290, runsolver pid=17287
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 4.07 3.88 3.79 4/239 17307
/proc/meminfo: memFree=31454228/32770624 swapFree=67003264/67108860
[pid=17290] ppid=17287 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17290/stat : 17290 (scop.sh) S 17287 17290 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405353324 115843072 348 33554432000 4194304 5098028 140733027933072 140733027930328 140612065759868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30863360 140733027939112 140733027939440 140733027939440 140733027942349 0
/proc/17290/statm: 28282 348 296 221 0 87 0
[pid=17293] ppid=17290 vsize=15012696 memory=73760 CPUtime=0.12 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17290 17290 16886 0 -1 1077944320 6653 0 0 0 10 2 0 0 20 0 15 0 405353325 15373000704 18440 33554432000 4194304 4196468 140735588646240 140735588628784 139661102169847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
/proc/17293/statm: 3753174 18440 2938 1 0 3715579 0
[pid=17293/tid=17294] ppid=17290 vsize=15012696 memory=-6293073238217244613 CPUtime=0.08 cores=1,3,5,7
/proc/17293/task/17294/stat : 17294 (java) R 17290 17290 16886 0 -1 4202560 4548 0 0 0 7 1 0 0 20 0 15 0 405353325 15373000704 18506 33554432000 4194304 4196468 140735588646240 139661073963752 139661080594989 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17295] ppid=17290 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353326 15373000704 18506 33554432000 4194304 4196468 140735588646240 139661106412048 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17296] ppid=17290 vsize=15012696 memory=140539739129472 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15373000704 18506 33554432000 4194304 4196468 140735588646240 139660562393744 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17297] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15373000704 18506 33554432000 4194304 4196468 140735588646240 139660561340688 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17298] ppid=17290 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353327 15373000704 18506 33554432000 4194304 4196468 140735588646240 139660560288144 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17299] ppid=17290 vsize=15012696 memory=140539739129472 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353328 15373000704 18506 33554432000 4194304 4196468 140735588646240 139660139793136 139661102180994 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17300] ppid=17290 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17290 17290 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405353328 15373000704 18506 33554432000 4194304 4196468 140735588646240 139659652884128 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17301] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353329 15373000704 18506 33554432000 4194304 4196468 140735588646240 139659384448240 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17302] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15373000704 18506 33554432000 4194304 4196468 140735588646240 139659009939920 139661102188443 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17303] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17290 17290 16886 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 405353331 15373000704 18506 33554432000 4194304 4196468 140735588646240 139660138739952 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17304] ppid=17290 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17290 17290 16886 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 405353331 15373000704 18506 33554432000 4194304 4196468 140735588646240 139660137687408 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17305] ppid=17290 vsize=15012696 memory=140539739129472 CPUtime=0.01 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) R 17290 17290 16886 0 -1 4202560 436 0 0 0 1 0 0 0 20 0 15 0 405353331 15373000704 18506 33554432000 4194304 4196468 140735588646240 139660136634352 139661102181782 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17306] ppid=17290 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15373000704 18506 33554432000 4194304 4196468 140735588646240 139658512034144 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17307] ppid=17290 vsize=15012696 memory=140539739129472 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353332 15373000704 18506 33554432000 4194304 4196468 140735588646240 139660135582768 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75152 KiB

[startup+0.211418 s]*
/proc/loadavg: 4.07 3.88 3.79 3/239 17307
/proc/meminfo: memFree=31435360/32770624 swapFree=67003264/67108860
[pid=17290] ppid=17287 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17290/stat : 17290 (scop.sh) S 17287 17290 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405353324 115843072 348 33554432000 4194304 5098028 140733027933072 140733027930328 140612065759868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30863360 140733027939112 140733027939440 140733027939440 140733027942349 0
/proc/17290/statm: 28282 348 296 221 0 87 0
[pid=17293] ppid=17290 vsize=15012696 memory=88828 CPUtime=0.25 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17290 17290 16886 0 -1 1077944320 11799 0 0 0 21 4 0 0 20 0 15 0 405353325 15373000704 22207 33554432000 4194304 4196468 140735588646240 140735588628784 139661102169847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
/proc/17293/statm: 3753174 22207 2941 1 0 3715579 0
[pid=17293/tid=17294] ppid=17290 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/17293/task/17294/stat : 17294 (java) R 17290 17290 16886 0 -1 4202560 9541 0 0 0 17 3 0 0 20 0 15 0 405353325 15373000704 22207 33554432000 4194304 4196468 140735588646240 139661073991200 139661087863313 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17295] ppid=17290 vsize=15012696 memory=397 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353326 15373000704 22207 33554432000 4194304 4196468 140735588646240 139661106412048 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17296] ppid=17290 vsize=15012696 memory=140539739146688 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15373000704 22207 33554432000 4194304 4196468 140735588646240 139660562393744 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17297] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15373000704 22207 33554432000 4194304 4196468 140735588646240 139660561340688 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17298] ppid=17290 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353327 15373000704 22207 33554432000 4194304 4196468 140735588646240 139660560288144 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17299] ppid=17290 vsize=15012696 memory=140539739129472 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353328 15373000704 22207 33554432000 4194304 4196468 140735588646240 139660139793136 139661102180994 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17300] ppid=17290 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17290 17290 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405353328 15373000704 22207 33554432000 4194304 4196468 140735588646240 139659652884128 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17301] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353329 15373000704 22207 33554432000 4194304 4196468 140735588646240 139659384448240 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17302] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15373000704 22207 33554432000 4194304 4196468 140735588646240 139659009939920 139661102188443 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17303] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17290 17290 16886 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 405353331 15373000704 22207 33554432000 4194304 4196468 140735588646240 139660138739952 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17304] ppid=17290 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17290 17290 16886 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 405353331 15373000704 22207 33554432000 4194304 4196468 140735588646240 139660137687408 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17305] ppid=17290 vsize=15012696 memory=140539739129472 CPUtime=0.03 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) S 17290 17290 16886 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 15 0 405353331 15373000704 22207 33554432000 4194304 4196468 140735588646240 139660136634352 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17306] ppid=17290 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15373000704 22207 33554432000 4194304 4196468 140735588646240 139658512034144 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17307] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353332 15373000704 22207 33554432000 4194304 4196468 140735588646240 139660135582768 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90220 KiB

[startup+0.310787 s]*
/proc/loadavg: 4.07 3.88 3.79 3/239 17307
/proc/meminfo: memFree=31433040/32770624 swapFree=67003264/67108860
[pid=17290] ppid=17287 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17290/stat : 17290 (scop.sh) S 17287 17290 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405353324 115843072 348 33554432000 4194304 5098028 140733027933072 140733027930328 140612065759868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30863360 140733027939112 140733027939440 140733027939440 140733027942349 0
/proc/17290/statm: 28282 348 296 221 0 87 0
[pid=17293] ppid=17290 vsize=15012696 memory=92704 CPUtime=0.43 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17290 17290 16886 0 -1 1077944320 12637 0 0 0 39 4 0 0 20 0 15 0 405353325 15373000704 23176 33554432000 4194304 4196468 140735588646240 140735588628784 139661102169847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
/proc/17293/statm: 3753174 23176 3070 1 0 3715579 0
[pid=17293/tid=17294] ppid=17290 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=1,3,5,7
/proc/17293/task/17294/stat : 17294 (java) R 17290 17290 16886 0 -1 4202560 10212 0 0 0 26 3 0 0 20 0 15 0 405353325 15373000704 23176 33554432000 4194304 4196468 140735588646240 139661073999920 139661079394000 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17295] ppid=17290 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353326 15373000704 23176 33554432000 4194304 4196468 140735588646240 139661106412048 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17296] ppid=17290 vsize=15012696 memory=3691043175008584499 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15373000704 23176 33554432000 4194304 4196468 140735588646240 139660562393744 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17297] ppid=17290 vsize=15012696 memory=281079168924016 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15373000704 23176 33554432000 4194304 4196468 140735588646240 139660561340688 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17298] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353327 15373000704 23176 33554432000 4194304 4196468 140735588646240 139660560288144 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17299] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353328 15373000704 23176 33554432000 4194304 4196468 140735588646240 139660139793136 139661102180994 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17300] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17290 17290 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405353328 15373000704 23176 33554432000 4194304 4196468 140735588646240 139659652884128 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17301] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353329 15373000704 23176 33554432000 4194304 4196468 140735588646240 139659384448240 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17302] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15373000704 23176 33554432000 4194304 4196468 140735588646240 139659009939920 139661102188443 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17303] ppid=17290 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17290 17290 16886 0 -1 1077944384 424 0 0 0 3 0 0 0 20 0 15 0 405353331 15373000704 23176 33554432000 4194304 4196468 140735588646240 139660138739952 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17304] ppid=17290 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17290 17290 16886 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 15 0 405353331 15373000704 23176 33554432000 4194304 4196468 140735588646240 139660137687408 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17305] ppid=17290 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) S 17290 17290 16886 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 15 0 405353331 15373000704 23176 33554432000 4194304 4196468 140735588646240 139660136634352 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17306] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15373000704 23176 33554432000 4194304 4196468 140735588646240 139658512034144 139661102180053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17307] ppid=17290 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353332 15373000704 23176 33554432000 4194304 4196468 140735588646240 139660135582768 139661102180994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94096 KiB

[startup+0.70684 s]
/proc/loadavg: 4.07 3.88 3.79 3/239 17307
/proc/meminfo: memFree=31411604/32770624 swapFree=67003264/67108860
[pid=17290] ppid=17287 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17290/stat : 17290 (scop.sh) S 17287 17290 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405353324 115843072 348 33554432000 4194304 5098028 140733027933072 140733027930328 140612065759868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30863360 140733027939112 140733027939440 140733027939440 140733027942349 0
/proc/17290/statm: 28282 348 296 221 0 87 0
[pid=17293] ppid=17290 vsize=15018968 memory=129228 CPUtime=1.03 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17290 17290 16886 0 -1 1077944320 19580 0 0 0 97 6 0 0 20 0 15 0 405353325 15379423232 32307 33554432000 4194304 4196468 140735588646240 140735588628784 139661102169847 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
/proc/17293/statm: 3754742 32307 3181 1 0 3716091 0
[pid=17293/tid=17294] ppid=17290 vsize=15018968 memory=1616 CPUtime=0.68 cores=1,3,5,7
/proc/17293/task/17294/stat : 17294 (java) R 17290 17290 16886 0 -1 4202560 16724 0 0 0 63 5 0 0 20 0 15 0 405353325 15379423232 32307 33554432000 4194304 4196468 140735588646240 139661074007104 139661102191773 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17295] ppid=17290 vsize=15018968 memory=784 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353326 15379423232 32307 33554432000 4194304 4196468 140735588646240 139661106412048 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17296] ppid=17290 vsize=15018968 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15379423232 32307 33554432000 4194304 4196468 140735588646240 139660562393744 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17297] ppid=17290 vsize=15018968 memory=5912 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15379423232 32307 33554432000 4194304 4196468 140735588646240 139660561340688 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17298] ppid=17290 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353327 15379423232 32307 33554432000 4194304 4196468 140735588646240 139660560288144 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17299] ppid=17290 vsize=15018968 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17290 17290 16886 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405353328 15379423232 32307 33554432000 4194304 4196468 140735588646240 139660139793136 139661102180994 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17300] ppid=17290 vsize=15018968 memory=728 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17290 17290 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405353328 15379423232 32307 33554432000 4194304 4196468 140735588646240 139659652884128 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17301] ppid=17290 vsize=15018968 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353329 15379423232 32307 33554432000 4194304 4196468 140735588646240 139659384448240 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17302] ppid=17290 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15379423232 32307 33554432000 4194304 4196468 140735588646240 139659009939920 139661102188443 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17303] ppid=17290 vsize=15018968 memory=1212 CPUtime=0.08 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) R 17290 17290 16886 0 -1 4202560 508 0 0 0 8 0 0 0 20 0 15 0 405353331 15379423232 32307 33554432000 4194304 4196468 140735588646240 139660138729872 139661102181782 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17304] ppid=17290 vsize=15018968 memory=1036 CPUtime=0.08 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) R 17290 17290 16886 0 -1 4202560 440 0 0 0 8 0 0 0 20 0 15 0 405353331 15379423232 32307 33554432000 4194304 4196468 140735588646240 139660137687408 139661081862951 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17305] ppid=17290 vsize=15018968 memory=14008 CPUtime=0.17 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) R 17290 17290 16886 0 -1 1077944384 573 0 0 0 17 0 0 0 20 0 15 0 405353331 15379423232 32307 33554432000 4194304 4196468 140735588646240 139660136630304 139661102180053 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17306] ppid=17290 vsize=15018968 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15379423232 32307 33554432000 4194304 4196468 140735588646240 139658512034144 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17307] ppid=17290 vsize=15018968 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353332 15379423232 32307 33554432000 4194304 4196468 140735588646240 139660135582768 139661102180994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130620 KiB

[startup+1.50551 s]
/proc/loadavg: 4.07 3.88 3.79 5/239 17307
/proc/meminfo: memFree=31338384/32770624 swapFree=67003264/67108860
[pid=17290] ppid=17287 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17290/stat : 17290 (scop.sh) S 17287 17290 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405353324 115843072 348 33554432000 4194304 5098028 140733027933072 140733027930328 140612065759868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30863360 140733027939112 140733027939440 140733027939440 140733027942349 0
/proc/17290/statm: 28282 348 296 221 0 87 0

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

/proc/17293/task/17295/stat : 17295 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353326 15387959296 468733 33554432000 4194304 4196468 140735588646240 139661106412048 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17296] ppid=17290 vsize=15027304 memory=1322256 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15387959296 468733 33554432000 4194304 4196468 140735588646240 139660562393744 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17297] ppid=17290 vsize=15027304 memory=3280 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15387959296 468733 33554432000 4194304 4196468 140735588646240 139660561340688 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17298] ppid=17290 vsize=15027304 memory=36732 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353327 15387959296 468733 33554432000 4194304 4196468 140735588646240 139660560288144 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17299] ppid=17290 vsize=15027304 memory=988 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17290 17290 16886 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405353328 15387959296 468733 33554432000 4194304 4196468 140735588646240 139660139793136 139661102180994 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17300] ppid=17290 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17290 17290 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405353328 15387959296 468733 33554432000 4194304 4196468 140735588646240 139659652884128 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17301] ppid=17290 vsize=15027304 memory=343 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353329 15387959296 468733 33554432000 4194304 4196468 140735588646240 139659384448240 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17302] ppid=17290 vsize=15027304 memory=357 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15387959296 468733 33554432000 4194304 4196468 140735588646240 139659009939920 139661102188443 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17303] ppid=17290 vsize=15027304 memory=0 CPUtime=3.87 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17290 17290 16886 0 -1 1077944384 5722 0 0 0 386 1 0 0 20 0 15 0 405353331 15387959296 468733 33554432000 4194304 4196468 140735588646240 139660138739952 139661102180994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17304] ppid=17290 vsize=15027304 memory=288230377057943841 CPUtime=4.02 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17290 17290 16886 0 -1 1077944384 4610 0 0 0 401 1 0 0 20 0 15 0 405353331 15387959296 468733 33554432000 4194304 4196468 140735588646240 139660137687408 139661102180994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17305] ppid=17290 vsize=15027304 memory=288283372709741771 CPUtime=1.01 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) S 17290 17290 16886 0 -1 1077944384 2763 0 0 0 100 1 0 0 20 0 15 0 405353331 15387959296 468733 33554432000 4194304 4196468 140735588646240 139660136634352 139661102180994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17306] ppid=17290 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15387959296 468733 33554432000 4194304 4196468 140735588646240 139658512034144 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17307] ppid=17290 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353332 15387959296 468733 33554432000 4194304 4196468 140735588646240 139660135582768 139661102180994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 1876324 KiB

[startup+7.62196 s]
# the end of solver process 17290 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16.4753 s, system=0.537753 s

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

[startup+6.40102 s]
/proc/loadavg: 4.06 3.89 3.79 5/240 17310
/proc/meminfo: memFree=29845200/32770624 swapFree=67003264/67108860
[pid=17290] ppid=17287 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/17290/stat : 17290 (scop.sh) S 17287 17290 16886 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405353324 115843072 348 33554432000 4194304 5098028 140733027933072 140733027930328 140612065759868 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30863360 140733027939112 140733027939440 140733027939440 140733027942349 0
/proc/17290/statm: 28282 348 296 221 0 87 0
[pid=17293] ppid=17290 vsize=15027304 memory=1956852 CPUtime=15.11 cores=1,3,5,7
/proc/17293/stat : 17293 (java) S 17290 17290 16886 0 -1 1077944320 35697 0 0 0 1471 40 0 0 20 0 15 0 405353325 15387959296 489213 33554432000 4194304 4196468 140735588646240 140735588628784 139661102169847 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
/proc/17293/statm: 3756826 489213 3276 1 0 3717627 0
[pid=17293/tid=17294] ppid=17290 vsize=15027304 memory=288291094977053461 CPUtime=6.17 cores=1,3,5,7
/proc/17293/task/17294/stat : 17294 (java) R 17290 17290 16886 0 -1 4202560 21264 0 0 0 583 34 0 0 20 0 15 0 405353325 15387959296 489213 33554432000 4194304 4196468 140735588646240 139661074004160 139660615091214 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17295] ppid=17290 vsize=15027304 memory=288230376154672658 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17295/stat : 17295 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353326 15387959296 489213 33554432000 4194304 4196468 140735588646240 139661106412048 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17296] ppid=17290 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17296/stat : 17296 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15387959296 489725 33554432000 4194304 4196468 140735588646240 139660562393744 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17297] ppid=17290 vsize=15027304 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17297/stat : 17297 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353327 15387959296 489725 33554432000 4194304 4196468 140735588646240 139660561340688 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17298] ppid=17290 vsize=15027304 memory=497 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17298/stat : 17298 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353327 15387959296 489725 33554432000 4194304 4196468 140735588646240 139660560288144 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17299] ppid=17290 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17299/stat : 17299 (java) S 17290 17290 16886 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405353328 15387959296 489725 33554432000 4194304 4196468 140735588646240 139660139793136 139661102180994 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17300] ppid=17290 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17300/stat : 17300 (java) S 17290 17290 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405353328 15387959296 489725 33554432000 4194304 4196468 140735588646240 139659652884128 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17301] ppid=17290 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17301/stat : 17301 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353329 15387959296 489725 33554432000 4194304 4196468 140735588646240 139659384448240 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17302] ppid=17290 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17302/stat : 17302 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15387959296 489725 33554432000 4194304 4196468 140735588646240 139659009939920 139661102188443 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17303] ppid=17290 vsize=15027304 memory=2052 CPUtime=3.87 cores=1,3,5,7
/proc/17293/task/17303/stat : 17303 (java) S 17290 17290 16886 0 -1 1077944384 5722 0 0 0 386 1 0 0 20 0 15 0 405353331 15387959296 489725 33554432000 4194304 4196468 140735588646240 139660138739952 139661102180994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17304] ppid=17290 vsize=15027304 memory=1220 CPUtime=4.02 cores=1,3,5,7
/proc/17293/task/17304/stat : 17304 (java) S 17290 17290 16886 0 -1 1077944384 4610 0 0 0 401 1 0 0 20 0 15 0 405353331 15387959296 489725 33554432000 4194304 4196468 140735588646240 139660137687408 139661102180994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17305] ppid=17290 vsize=15027304 memory=1616 CPUtime=1.01 cores=1,3,5,7
/proc/17293/task/17305/stat : 17305 (java) S 17290 17290 16886 0 -1 1077944384 2763 0 0 0 100 1 0 0 20 0 15 0 405353331 15387959296 489725 33554432000 4194304 4196468 140735588646240 139660136634352 139661102180994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17306] ppid=17290 vsize=15027304 memory=784 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17306/stat : 17306 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353331 15387959296 489725 33554432000 4194304 4196468 140735588646240 139658512034144 139661102180053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
[pid=17293/tid=17307] ppid=17290 vsize=15027304 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/17293/task/17307/stat : 17307 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353332 15387959296 489725 33554432000 4194304 4196468 140735588646240 139660135582768 139661102180994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 31158272 140735588647662 140735588648090 140735588648090 140735588650959 0
Current children cumulated CPU time: 15.11 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 1958244 KiB

[startup+7.20141 s]
/proc/loadavg: 4.06 3.89 3.79 3/240 17325
/proc/meminfo: memFree=31446528/32770624 swapFree=67003264/67108860
[pid=17290] ppid=17287 vsize=113128 memory=1472 CPUtime=15.34 cores=1,3,5,7
/proc/17290/stat : 17290 (scop.sh) S 17287 17290 16886 0 -1 4202496 583 36514 0 0 0 0 1491 43 20 0 1 0 405353324 115843072 368 33554432000 4194304 5098028 140733027933072 140733027929816 140612065759868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30863360 140733027939112 140733027939440 140733027939440 140733027942349 0
/proc/17290/statm: 28282 368 311 221 0 87 0
[pid=17311] ppid=17290 vsize=7408652 memory=100524 CPUtime=0.93 cores=1,3,5,7
/proc/17311/stat : 17311 (java) S 17290 17290 16886 0 -1 1077944320 18877 0 0 0 86 7 0 0 20 0 15 0 405353977 7586459648 25131 33554432000 4194304 4196468 140725635897168 140725635879712 139977628442359 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
/proc/17311/statm: 1852163 25131 3115 1 0 1814042 0
[pid=17311/tid=17312] ppid=17290 vsize=7408652 memory=8252 CPUtime=0.65 cores=1,3,5,7
/proc/17311/task/17312/stat : 17312 (java) R 17290 17290 16886 0 -1 4202560 16465 0 0 0 59 6 0 0 20 0 15 0 405353978 7586459648 25131 33554432000 4194304 4196468 140725635897168 139977600262264 139977610005919 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17313] ppid=17290 vsize=7408652 memory=5912 CPUtime=0 cores=1,3,5,7
/proc/17311/task/17313/stat : 17313 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353979 7586459648 25131 33554432000 4194304 4196468 140725635897168 139977632684304 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17314] ppid=17290 vsize=7408652 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/17311/task/17314/stat : 17314 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353979 7586459648 25131 33554432000 4194304 4196468 140725635897168 139977432852880 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17315] ppid=17290 vsize=7408652 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/17311/task/17315/stat : 17315 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353979 7586459648 25131 33554432000 4194304 4196468 140725635897168 139977431800336 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17316] ppid=17290 vsize=7408652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17311/task/17316/stat : 17316 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353979 7586459648 25131 33554432000 4194304 4196468 140725635897168 139977430747792 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17317] ppid=17290 vsize=7408652 memory=17828 CPUtime=0 cores=1,3,5,7
/proc/17311/task/17317/stat : 17317 (java) S 17290 17290 16886 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405353980 7586459648 25131 33554432000 4194304 4196468 140725635897168 139977006492144 139977628453506 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17318] ppid=17290 vsize=7408652 memory=-1664385933527490352 CPUtime=0 cores=1,3,5,7
/proc/17311/task/17318/stat : 17318 (java) S 17290 17290 16886 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405353981 7586459648 25131 33554432000 4194304 4196468 140725635897168 139976473830816 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17319] ppid=17290 vsize=7408652 memory=-1598831813028945288 CPUtime=0 cores=1,3,5,7
/proc/17311/task/17319/stat : 17319 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353981 7586459648 25131 33554432000 4194304 4196468 140725635897168 139976205395440 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17320] ppid=17290 vsize=7408652 memory=7822038052226416701 CPUtime=0 cores=1,3,5,7
/proc/17311/task/17320/stat : 17320 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353983 7586459648 25131 33554432000 4194304 4196468 140725635897168 139975830887120 139977628460955 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17321] ppid=17290 vsize=7408652 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/17311/task/17321/stat : 17321 (java) S 17290 17290 16886 0 -1 1077944384 539 0 0 0 6 0 0 0 20 0 15 0 405353983 7586459648 25131 33554432000 4194304 4196468 140725635897168 139977005438960 139977628453506 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17322] ppid=17290 vsize=7408652 memory=10 CPUtime=0.04 cores=1,3,5,7
/proc/17311/task/17322/stat : 17322 (java) S 17290 17290 16886 0 -1 1077944384 102 0 0 0 4 0 0 0 20 0 15 0 405353983 7586459648 25131 33554432000 4194304 4196468 140725635897168 139977004386416 139977628453506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17323] ppid=17290 vsize=7408652 memory=27607 CPUtime=0.16 cores=1,3,5,7
/proc/17311/task/17323/stat : 17323 (java) S 17290 17290 16886 0 -1 1077944384 440 0 0 0 16 0 0 0 20 0 15 0 405353983 7586459648 25131 33554432000 4194304 4196468 140725635897168 139977003333872 139977628453506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17324] ppid=17290 vsize=7408652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17311/task/17324/stat : 17324 (java) S 17290 17290 16886 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405353984 7586459648 25131 33554432000 4194304 4196468 140725635897168 139975332981344 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17325] ppid=17290 vsize=7408652 memory=1335 CPUtime=0 cores=1,3,5,7
/proc/17311/task/17325/stat : 17325 (java) S 17290 17290 16886 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405353984 7586459648 25131 33554432000 4194304 4196468 140725635897168 139977002281776 139977628453506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
Current children cumulated CPU time: 16.27 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 101996 KiB

[startup+7.60057 s]
/proc/loadavg: 4.06 3.89 3.79 3/240 17325
/proc/meminfo: memFree=31446528/32770624 swapFree=67003264/67108860
[pid=17290] ppid=17287 vsize=113128 memory=1472 CPUtime=15.34 cores=1,3,5,7
/proc/17290/stat : 17290 (scop.sh) S 17287 17290 16886 0 -1 4202496 583 36514 0 0 0 0 1491 43 20 0 1 0 405353324 115843072 368 33554432000 4194304 5098028 140733027933072 140733027929816 140612065759868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30863360 140733027939112 140733027939440 140733027939440 140733027942349 0
/proc/17290/statm: 28282 368 311 221 0 87 0
[pid=17311] ppid=17290 vsize=7937364 memory=123804 CPUtime=1.61 cores=1,3,5,7
/proc/17311/stat : 17311 (java) S 17290 17290 16886 0 -1 1077944320 20911 1537 0 0 128 8 24 1 20 0 17 0 405353977 8127860736 30951 33554432000 4194304 4196468 140725635897168 140725635879712 139977628442359 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
/proc/17311/statm: 1984341 30951 3212 1 0 1945685 0
[pid=17311/tid=17312] ppid=17290 vsize=7937364 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/17311/task/17312/stat : 17312 (java) R 17290 17290 16886 0 -1 4202560 17693 1537 0 0 76 6 24 1 20 0 17 0 405353978 8127860736 30951 33554432000 4194304 4196468 140725635897168 139977600279840 139977628454294 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17313] ppid=17290 vsize=7937364 memory=1 CPUtime=0.25 cores=1,3,5,7
/proc/17311/task/17313/stat : 17313 (java) S 17290 17290 16886 0 -1 1077944384 1 1537 0 0 0 0 24 1 20 0 17 0 405353979 8127860736 30951 33554432000 4194304 4196468 140725635897168 139977632684304 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17314] ppid=17290 vsize=7937364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/17311/task/17314/stat : 17314 (java) S 17290 17290 16886 0 -1 1077944384 2 1537 0 0 0 0 24 1 20 0 17 0 405353979 8127860736 30951 33554432000 4194304 4196468 140725635897168 139977432852880 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17315] ppid=17290 vsize=7937364 memory=2370 CPUtime=0.25 cores=1,3,5,7
/proc/17311/task/17315/stat : 17315 (java) S 17290 17290 16886 0 -1 1077944384 1 1537 0 0 0 0 24 1 20 0 17 0 405353979 8127860736 30951 33554432000 4194304 4196468 140725635897168 139977431800336 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17316] ppid=17290 vsize=7937364 memory=2 CPUtime=0.25 cores=1,3,5,7
/proc/17311/task/17316/stat : 17316 (java) S 17290 17290 16886 0 -1 1077944384 2 1537 0 0 0 0 24 1 20 0 17 0 405353979 8127860736 30951 33554432000 4194304 4196468 140725635897168 139977430747792 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17317] ppid=17290 vsize=7937364 memory=672 CPUtime=0.25 cores=1,3,5,7
/proc/17311/task/17317/stat : 17317 (java) S 17290 17290 16886 0 -1 1077944384 5 1537 0 0 0 0 24 1 20 0 17 0 405353980 8127860736 30951 33554432000 4194304 4196468 140725635897168 139977006492144 139977628453506 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17318] ppid=17290 vsize=7937364 memory=1112 CPUtime=0.25 cores=1,3,5,7
/proc/17311/task/17318/stat : 17318 (java) S 17290 17290 16886 0 -1 1077944384 13 1537 0 0 0 0 24 1 20 0 17 0 405353981 8127860736 30951 33554432000 4194304 4196468 140725635897168 139976473830816 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17319] ppid=17290 vsize=7937364 memory=241 CPUtime=0.25 cores=1,3,5,7
/proc/17311/task/17319/stat : 17319 (java) S 17290 17290 16886 0 -1 1077944384 1 1537 0 0 0 0 24 1 20 0 17 0 405353981 8127860736 30951 33554432000 4194304 4196468 140725635897168 139976205395440 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17320] ppid=17290 vsize=7937364 memory=792 CPUtime=0.25 cores=1,3,5,7
/proc/17311/task/17320/stat : 17320 (java) S 17290 17290 16886 0 -1 1077944384 3 1537 0 0 0 0 24 1 20 0 17 0 405353983 8127860736 30951 33554432000 4194304 4196468 140725635897168 139975830887120 139977628460955 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17321] ppid=17290 vsize=7937364 memory=1440 CPUtime=0.36 cores=1,3,5,7
/proc/17311/task/17321/stat : 17321 (java) S 17290 17290 16886 0 -1 1077944384 753 1537 0 0 11 0 24 1 20 0 17 0 405353983 8127860736 30951 33554432000 4194304 4196468 140725635897168 139977005438960 139977628453506 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17322] ppid=17290 vsize=7937364 memory=1984 CPUtime=0.35 cores=1,3,5,7
/proc/17311/task/17322/stat : 17322 (java) R 17290 17290 16886 0 -1 1077944384 328 1537 0 0 10 0 24 1 20 0 17 0 405353983 8127860736 30951 33554432000 4194304 4196468 140725635897168 139977004386416 139977628453506 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17323] ppid=17290 vsize=7937364 memory=2376 CPUtime=0.51 cores=1,3,5,7
/proc/17311/task/17323/stat : 17323 (java) R 17290 17290 16886 0 -1 4202560 687 1537 0 0 26 0 24 1 20 0 17 0 405353983 8127860736 30951 33554432000 4194304 4196468 140725635897168 139977003329440 139977612522846 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17324] ppid=17290 vsize=7937364 memory=1768 CPUtime=0.25 cores=1,3,5,7
/proc/17311/task/17324/stat : 17324 (java) S 17290 17290 16886 0 -1 1077944384 3 1537 0 0 0 0 24 1 20 0 17 0 405353984 8127860736 30951 33554432000 4194304 4196468 140725635897168 139975332981344 139977628452565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
[pid=17311/tid=17325] ppid=17290 vsize=7937364 memory=111628 CPUtime=0.25 cores=1,3,5,7
/proc/17311/task/17325/stat : 17325 (java) S 17290 17290 16886 0 -1 1077944384 3 1537 0 0 0 0 24 1 20 0 17 0 405353984 8127860736 30951 33554432000 4194304 4196468 140725635897168 139977002281776 139977628453506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15343616 140725635904507 140725635904666 140725635904666 140725635907535 0
Current children cumulated CPU time: 16.95 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 125276 KiB

Child status: 0
Real time (s): 7.62202
CPU time (s): 17.0131
CPU user time (s): 16.4753
CPU system time (s): 0.537753
CPU usage (%): 223.21
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1980340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4753
system time used= 0.537753
maximum resident set size= 1983536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5604
involuntary context switches= 59


# summary of solver processes directly reported to runsolver:
#   pid: 17290
#   total CPU time (s): 17.0131
#   total CPU user time (s): 16.4753
#   total CPU system time (s): 0.537753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070878 second user time and 0.132236 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-12 14:24:57
IDJOB=4387815
IDBENCH=126157
IDSOLVER=2825
FILE ID=node133/4387815-1568291137
RUNJOBID= node133-1568289747-16920
PBS_JOBID= 21701096
Free space on /tmp= 52812 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-08.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-4387815-1568291137/watcher-4387815-1568291137 -o /tmp/evaluation-result-4387815-1568291137/solver-4387815-1568291137 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568289747-16920 --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-4387815-1568291137.xml

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

MD5SUM BENCH= ee1da6b537c1ecd46a877bd70c24ae39
RANDOM SEED=461857499

node133.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.18
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.18
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.18
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.18
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:        31514780 kB
MemAvailable:   31648912 kB
Buffers:           90172 kB
Cached:           328124 kB
SwapCached:         3620 kB
Active:           502404 kB
Inactive:         174352 kB
Active(anon):     282692 kB
Inactive(anon):    15660 kB
Active(file):     219712 kB
Inactive(file):   158692 kB
Unevictable:      111244 kB
Mlocked:          111244 kB
SwapTotal:      67108860 kB
SwapFree:       67003264 kB
Dirty:             20996 kB
Writeback:             0 kB
AnonPages:        386524 kB
Mapped:            53956 kB
Shmem:             31128 kB
Slab:             171636 kB
SReclaimable:     143124 kB
SUnreclaim:        28512 kB
KernelStack:        4176 kB
PageTables:         6564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6112804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 52792 MiB
End job on node133 at 2019-09-12 14:25:05