Trace number 4388100

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+GlueMiniSat (2019-06-15)UNSAT 9.83368 4.13473

General information on the benchmark

NamePigeonsPlus/PigeonsPlus-m1-s1/
pigeonsPlus-10-05.xml
MD5SUM11198b79b59252262e805adcf565fb89
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.06146
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints65
Number of domains2
Minimum domain size9
Maximum domain size10
Distribution of domain sizes[{"size":9,"count":10},{"size":10,"count":50}]
Minimum variable degree1
Maximum variable degree10
Distribution of variable degrees[{"degree":1,"count":40},{"degree":2,"count":10},{"degree":10,"count":10}]
Minimum constraint arity2
Maximum constraint arity5
Distribution of constraint arities[{"arity":2,"count":55},{"arity":5,"count":10}]
Number of extensional constraints65
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":65}]
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-13540-serial-file.bin HOME/instance-4388100-1568295366.xml
0.67/0.53	
0.67/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53	
0.67/0.56	c BEGIN-Prog: Thu Sep 12 15:35:22 CEST 2019
0.67/0.56	c PID: 13543
0.67/0.56	c IP: 172.20.3.136
0.67/0.56	c HOST: node136.alineos.net
0.67/0.56	c (0,0) Parsing Begin
2.26/1.18	c (0,0) Parsing End
2.26/1.19	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 65 ctr, max domain size 10
2.26/1.19	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.26/1.19	c (0,0) Constraint Name Generate Begin
2.26/1.19	c (0,0) Ctr:HOME/instance-4388100-1568295366.xml,ExtensionSupport:Var
2.26/1.19	c (0,0) Constraint Name Generate End
2.26/1.19	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.26/1.19	c (0,0) CSP to CSPinCNF Begin
3.35/1.54	c (1,1) translated 7 (10%) constraints
3.62/1.62	c (1,1) translated 13 (20%) constraints
3.62/1.67	c (1,1) translated 20 (30%) constraints
3.88/1.71	c (1,1) translated 26 (40%) constraints
3.88/1.75	c (1,1) translated 33 (50%) constraints
3.88/1.78	c (1,1) translated 39 (60%) constraints
4.20/1.81	c (1,1) translated 46 (70%) constraints
6.35/2.57	c (2,2) translated 52 (80%) constraints
6.65/2.65	c (2,2) translated 59 (90%) constraints
6.65/2.68	c (2,2) translated 65 (100%) constraints
6.65/2.68	c (2,2) ===========================================
6.65/2.68	c (2,2) Order
6.65/2.68	c (2,2) ===========================================
6.95/2.71	c (2,2) translated 232 (10%) constraints
6.95/2.73	c (2,2) translated 463 (20%) constraints
6.95/2.73	c (2,2) translated 695 (30%) constraints
6.95/2.74	c (2,2) translated 926 (40%) constraints
6.95/2.75	c (2,2) translated 1158 (50%) constraints
6.95/2.76	c (2,2) translated 1389 (60%) constraints
6.95/2.77	c (2,2) translated 1621 (70%) constraints
6.95/2.79	c (2,2) translated 1852 (80%) constraints
6.95/2.79	c (2,2) translated 2084 (90%) constraints
7.27/2.80	c (2,2) translated 2315 (100%) constraints
7.27/2.80	c (2,2) CSP to CSPinCNF End
7.27/2.81	c (2,2) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10
7.27/2.81	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.27/2.81	c (2,2) CSPinCNF Propagation Begin
7.27/2.85	c (2,2) 0 values, 65 unsatisfiable literals, and 0 valid clauses are removed
7.27/2.85	c (2,2) CSPinCNF Propagation End
7.27/2.85	c (2,2) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10
7.27/2.85	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.27/2.85	c (2,2) Simplify CSPinCNF Begin
7.27/2.87	c (2,2) Simplify CSPinCNF End
7.27/2.87	c (2,2) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10
7.27/2.87	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.27/2.87	c (2,2) Calculate Precise Domain Begin
7.27/2.87	c (2,2) 0 values are removed by re-calculation
7.27/2.87	c (2,2) Calculate Precise Domain End
7.27/2.88	c (2,2) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10
7.27/2.88	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.27/2.88	c (2,2) CSPinCNF to SatSolver Begin
7.62/2.97	c (2,2) 232 (10 %) CSP clauses are encoded (0 SAT variables, 701 SAT clauses)
7.62/2.98	c (2,2) 463 (20 %) CSP clauses are encoded (0 SAT variables, 932 SAT clauses)
7.62/2.99	c (2,2) 695 (30 %) CSP clauses are encoded (0 SAT variables, 1164 SAT clauses)
7.62/3.00	c (2,2) 926 (40 %) CSP clauses are encoded (0 SAT variables, 1395 SAT clauses)
7.62/3.01	c (2,2) 1158 (50 %) CSP clauses are encoded (0 SAT variables, 1627 SAT clauses)
7.98/3.02	c (2,2) 1389 (60 %) CSP clauses are encoded (0 SAT variables, 1858 SAT clauses)
7.98/3.02	c (2,2) 1621 (70 %) CSP clauses are encoded (0 SAT variables, 2090 SAT clauses)
7.98/3.03	c (2,2) 1852 (80 %) CSP clauses are encoded (0 SAT variables, 2321 SAT clauses)
7.98/3.04	c (2,2) 2084 (90 %) CSP clauses are encoded (0 SAT variables, 2553 SAT clauses)
7.98/3.05	c (2,2) 2315 (100 %) CSP clauses are encoded (0 SAT variables, 2784 SAT clauses)
7.98/3.05	c (2,2) CSPinCNF to SatSolver End
7.98/3.05	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
7.98/3.05	c (2,2) 1105 bool, 2785 clause
7.98/3.05	c (2,2) Export Begin
8.26/3.14	c (2,2) Export to HOME/scop-13540-serial-file.bin
8.26/3.14	c (2,2) Export End
8.26/3.14	c (2,2) Export File Size: 0.01 MB
8.26/3.14	c (2,2) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
8.26/3.14	c END-Prog: Thu Sep 12 15:35:25 CEST 2019
8.26/3.15	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13540-serial-file.bin
8.35/3.60	c (0,0) Read Serial File Begin
8.35/3.60	c (0,0) HOME/scop-13540-serial-file.bin
8.35/3.82	c (0,0) Read Serial File End
8.35/3.83	
8.35/3.83	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
8.35/3.83	(Solving Process)
8.35/3.83	
8.35/3.85	c BEGIN-Prog: Thu Sep 12 15:35:26 CEST 2019
8.35/3.85	c PID: 13558
8.35/3.85	c IP: 172.20.3.136
8.35/3.85	c HOST: node136.alineos.net
8.35/3.86	c (0,0) SatSolver.solve Begin
8.35/3.86	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388100-1568295366.xml-scop-13543.cnf
8.35/3.90	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.35/3.90	c (0,0) c glueminisat-simp-2.2.10-193oa-n
8.35/3.90	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388100-1568295366.xml-scop-13543.cnf 
8.35/3.90	c (0,0) c Options:
8.35/3.90	c (0,0) c CORE
8.35/3.90	c (0,0) c  var_decay             = 0.950
8.35/3.90	c (0,0) c  clause_decay          = 0.999
8.35/3.90	c (0,0) c  random_var_freq       = 0.000
8.35/3.90	c (0,0) c  random_seed           = 91648253.000
8.35/3.90	c (0,0) c  luby_restart          = 1
8.35/3.90	c (0,0) c  ccmin_mode            = 2
8.35/3.90	c (0,0) c  phase_saving          = 2
8.35/3.90	c (0,0) c  rnd_pol               = 0
8.35/3.90	c (0,0) c  rnd_init_act          = 0
8.35/3.90	c (0,0) c  garbage_frac          = 0.200
8.35/3.90	c (0,0) c  restart_first         = 1000
8.35/3.90	c (0,0) c  restart_inc           = 2.000
8.35/3.90	c (0,0) c MODEL
8.35/3.90	c (0,0) c  partial_model         = 0
8.35/3.90	c (0,0) c PROPAGATION
8.35/3.90	c (0,0) c  bin_propagation       = 1
8.35/3.90	c (0,0) c SIMPLIFICATION
8.35/3.90	c (0,0) c  lrn_min_size          = 100
8.35/3.90	c (0,0) c  lazy_simp             = 1
8.35/3.90	c (0,0) c  lazy_interval         = 10
8.35/3.90	c (0,0) c  lazy_fld_probing      = 1
8.35/3.90	c (0,0) c  lazy_pol_probing      = 1
8.35/3.90	c (0,0) c  lazy_nec_probing      = 1
8.35/3.90	c (0,0) c  lazy_eqv_probing      = 1
8.35/3.90	c (0,0) c  lazy_cla_probing      = 1
8.35/3.90	c (0,0) c  lazy_lrn_min          = 2
8.35/3.90	c (0,0) c  lazy_uw_lit_elim      = 1
8.35/3.90	c (0,0) c  lazy_pr_lit_elim      = 0
8.35/3.90	c (0,0) c  lazy_bin_add          = 3
8.35/3.90	c (0,0) c  probed_lit_chain      = 1
8.35/3.90	c (0,0) c  pr_min_lits           = 0.00020
8.35/3.90	c (0,0) c  pr_min_starts         = 500
8.35/3.90	c (0,0) c  rw_min_lits           = 0.010
8.35/3.90	c (0,0) c  rw_min_starts         = 500
8.35/3.90	c (0,0) c  rand_attach           = 0
8.35/3.90	c (0,0) c  dec_elim              = 1
8.35/3.90	c (0,0) c  dec_elim_lim          = 25
8.35/3.90	c (0,0) c  dec_elim_len          = -1
8.35/3.90	c (0,0) c  amo                   = 0
8.35/3.90	c (0,0) c  amo_grp               = 1
8.35/3.90	c (0,0) c  amo_max_bins          = 1000000
8.35/3.90	c (0,0) c  amo_starts            = 50
8.35/3.90	c (0,0) c  mace_cmd              = mace
8.35/3.90	c (0,0) c DECISION
8.35/3.90	c (0,0) c  rand_rebuild          = 0
8.35/3.90	c (0,0) c  rand_rebuild_confs    = 10000
8.35/3.90	c (0,0) c  inc_var_decay         = 1
8.35/3.90	c (0,0) c  inc_var_decay_period  = 100000
8.35/3.90	c (0,0) c  inc_var_decay_init    = 0.600
8.35/3.90	c (0,0) c  var_decay_mode        = 0
8.35/3.90	c (0,0) c  var_decay_gain        = 0
8.35/3.90	c (0,0) c  sloped_var_decay      = 1
8.35/3.90	c (0,0) c  max_var_decay         = 0.990
8.35/3.90	c (0,0) c  min_var_decay         = 0.950
8.35/3.90	c (0,0) c  min_var_decay_vars    = 10000
8.35/3.90	c (0,0) c  max_var_decay_vars    = 500
8.35/3.90	c (0,0) c  uip_bumping           = 1
8.35/3.90	c (0,0) c  lbd_act_bumping       = 1
8.35/3.90	c (0,0) c  rand_tiebreak         = 0
8.35/3.90	c (0,0) c  simp_rebuild          = 1
8.35/3.90	c (0,0) c RESTART
8.35/3.90	c (0,0) c  restart_strategy      = 2
8.35/3.90	c (0,0) c  restart_blocking      = 0
8.35/3.90	c (0,0) c  agility_decay         = 0.99990
8.35/3.90	c (0,0) c  lbd_restart_rate      = 0.800
8.35/3.90	c (0,0) c  dec_restart_rate      = 0.950
8.35/3.90	c (0,0) c  blk_restart_rate      = 0.700
8.35/3.90	c (0,0) c  lbd_queue_size        = 50
8.35/3.90	c (0,0) c  dec_queue_size        = 50
8.35/3.90	c (0,0) c  trl_queue_size        = 5000
8.35/3.90	c (0,0) c  blk_restart_weight    = 1.000
8.35/3.90	c (0,0) c  inc_rst_rate          = 0
8.35/3.90	c (0,0) c  inc_rst_rate_period   = 500000
8.35/3.90	c (0,0) c  inc_lbd_rst_rate_init = 0.600
8.35/3.90	c (0,0) c  inc_dec_rst_rate_init = 0.750
8.35/3.90	c (0,0) c REDUCTION
8.35/3.90	c (0,0) c  closed_lbd            = 0
8.35/3.90	c (0,0) c  closed_lbd_rate       = 0.500
8.35/3.90	c (0,0) c  rm_simulate           = 0
8.35/3.90	c (0,0) c  rdb_eval              = 2
8.35/3.90	c (0,0) c  rdb_call              = 3
8.35/3.90	c (0,0) c  rdb_ub                = 0.500
8.35/3.90	c (0,0) c  core_lbd_cvr          = 0.800
8.35/3.90	c (0,0) c  supp_lbd_cvr          = 0.990
8.35/3.90	c (0,0) c  core_lbd_lb           = 2
8.35/3.90	c (0,0) c  supp_lbd_lb           = 2
8.35/3.90	c (0,0) c  core_lbd_prd          = 7
8.35/3.90	c (0,0) c  supp_lbd_prd          = 1
8.35/3.90	c (0,0) c  othr_lbd_prd          = 0
8.35/3.90	c (0,0) c  inc_lrn_limit         = 1000
8.35/3.90	c (0,0) c  frozen_lbd            = 30
8.35/3.90	c (0,0) c  simp_min_starts       = 100
8.35/3.90	c (0,0) c  rm_low_act_learnts    = 1
8.35/3.90	c (0,0) c  lv0_reduce_db         = 0
8.35/3.90	c (0,0) c  reduce_db_base        = 20000
8.35/3.90	c (0,0) c  reduce_db_inc         = 1000
8.35/3.90	c (0,0) c HARD
8.35/3.90	c (0,0) c  inst_check            = 200000
8.35/3.90	c (0,0) c  small_block           = 1.750
8.35/3.90	c (0,0) c  slow_restart_speed    = 400.000
8.35/3.90	c (0,0) c  slow_restart_strategy = 3
8.35/3.90	c (0,0) c  slow_lbd_restart_rate = 0.700
8.35/3.90	c (0,0) c  slow_dec_restart_rate = 1.000
8.35/3.90	c (0,0) c  slow_lbd_queue_size   = 50
8.35/3.90	c (0,0) c  slow_var_decay        = 0.950
8.35/3.90	c (0,0) c  slow_glue_threshold   = 2
8.35/3.90	c (0,0) c  slow_phase_saving     = 2
8.35/3.90	c (0,0) c  fast_restart_speed    = 125.000
8.35/3.90	c (0,0) c  fast_restart_strategy = 1
8.35/3.90	c (0,0) c  fast_lbd_restart_rate = 0.800
8.35/3.90	c (0,0) c  fast_dec_restart_rate = 0.950
8.35/3.90	c (0,0) c  fast_lbd_queue_size   = 50
8.35/3.90	c (0,0) c  fast_var_decay        = 1.000
8.35/3.90	c (0,0) c  fast_glue_threshold   = 2
8.35/3.90	c (0,0) c  fast_phase_saving     = 2
8.35/3.90	c (0,0) c STATS
8.35/3.90	c (0,0) c  stats_conf_size       = 10000
8.35/3.90	c (0,0) c  max_stats_size        = 30
8.35/3.90	c (0,0) c SOLVER
8.35/3.90	c (0,0) c  minisat               = 0
8.35/3.90	c (0,0) c Problem: 1105 variables, 2785 clauses, parsing 0.00 s
8.35/3.90	c (0,0) c  reduced to 80 variables, 475 clauses (grow = 0)
8.35/3.90	c (0,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
8.35/3.90	c (0,0) c Simplification: 1025 vars, 2310 clauses are eliminated using 0.00 s
8.35/3.90	c (0,0) c
8.35/3.90	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
8.35/3.90	c (0,0) c
8.35/3.90	c (0,0) c    0         0         0       80      475        0   -nan  -nan  -nan -nan%
8.35/3.90	c (0,0) c    0         1       100       80      475      100    6.7   3.0  24.8  7.2%
8.35/3.90	c (0,0) c    0         1       220       80      475      220    7.4   3.0  22.2  7.2%
8.35/3.90	c (0,0) c    0         1       364       80      475      364    7.8   3.2  21.3  7.2%
8.35/3.90	c (0,0) c    0         1       536       80      475      536    8.0   3.2  20.5  7.1%
8.35/3.90	c (0,0) c    0         3       743       80      475      743    8.0   3.4  19.3  7.1%
8.35/3.90	c (0,0) c    0         6       991       80      475      991    7.9   3.8  18.1  7.1%
8.35/3.90	c (0,0) c    0        10      1289       80      475     1289    8.2   4.2  17.4  7.1%
8.35/3.90	c (0,0) c    0        15      1647       80      475     1647    8.3   4.3  16.5  7.1%
8.35/3.90	c (0,0) c    0        17      2076       80      475     2076    8.3   4.4  16.0  7.0%
8.35/3.91	c (0,0) c    0        21      2591       80      475     2591    8.4   4.5  15.5  7.0%
8.35/3.91	c (0,0) c    0        21      3210       80      475     3210    8.2   4.5  14.6  6.9%
8.35/3.92	c (0,0) c    0        26      3953       80      475     3953    8.2   4.6  14.2  6.9%
8.35/3.93	c (0,0) c    0        33      4844       80      475     4844    8.3   4.7  13.7  6.8%
8.35/3.95	c (0,0) c    0        39      5913       80      475     5913    8.4   4.8  13.2  6.7%
8.35/3.97	c (0,0) c    0        42      7196       80      475     7196    8.4   4.8  12.7  6.6%
8.35/3.99	c (0,0) c
8.35/3.99	c (0,0) c   variables         : 80          (init 1105, after simp 80, 0 non-decs, 60 csp)
8.35/3.99	c (0,0) c   clauses           : 475         (init 2785, after simp 475)
8.35/3.99	c (0,0) c   restarts          : 42          (203.16 confs/res, 50~654 confs, 0 blks, 0 last)
8.35/3.99	c (0,0) c   conflicts         : 8736        (88623 /sec, 51.72% dconfs, 0.00% supp, trail 6.49w x 12.05h, jmp 1.25h)
8.35/3.99	c (0,0) c   decisions         : 11432       (0.6300 vdcy, 115973 /sec, 0.00% bin, rs 0.000 s)
8.35/3.99	c (0,0) c   propagations      : 98546       (999706 /sec, 8.62 lits/dec, 41.76% o.a.)
8.35/3.99	c (0,0) c   conflict literals : 81030       (8.32% deleted; 1.71% by bin min, 0.003 s)
8.35/3.99	c (0,0) c   len               : 8.345       (8.35 for all, max 19, used 19)
8.35/3.99	c (0,0) c   lbd               : 4.788       (6.06 (4.79) for all, max 15, used 15, 1.322 stdev, 1.377 blk)
8.35/3.99	c (0,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
8.35/3.99	c (0,0) c   simp dbs          : 1           (0.000 s)
8.35/3.99	c (0,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
8.35/3.99	c (0,0) c   learnts           : 8736        (0 learnts removed, 0.00%)
8.35/3.99	c (0,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
8.35/3.99	c (0,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
8.35/3.99	c (0,0) c   premise updates   : 567         (3.54 /lit)
8.35/3.99	c (0,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
8.35/3.99	c (0,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
8.35/3.99	c (0,0) c   lazy added bins   : 0           (0 prop + 0 conf, 0.003s)
8.35/3.99	c (0,0) c   unwatched lit elim: 216         (0.00+0.27%, 0+216 of 1580+81030)
8.35/3.99	c (0,0) c   classified type   : undef
8.35/3.99	c (0,0) c   progress          : 0.049 %
8.35/3.99	c (0,0) c
8.35/3.99	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
8.35/3.99	c (0,0) c
8.35/3.99	c (0,0) c    0        43      8736       80      475     8736    8.3   4.8  12.0  6.5%
9.66/4.03	c (0,0) c    0        44     10584       80      475    10584    8.3   4.8  11.1  6.3%
9.66/4.07	c (0,0) c    0        45     12802       78      475    12801    8.2   4.7   9.8  6.1%
9.76/4.12	c (0,0) c    0        45     14533       15      475    14520    8.1   4.6   8.9  6.0%
9.76/4.12	c (0,0) c
9.76/4.12	c (0,0) c
9.76/4.12	c (0,0) c variables         : 15          (init 1105, after simp 80, 0 non-decs, 60 csp)
9.76/4.12	c (0,0) c clauses           : 475         (init 2785, after simp 475)
9.76/4.12	c (0,0) c restarts          : 44          (322.96 confs/res, 50~2975 confs, 0 blks, 0 last)
9.76/4.12	c (0,0) c conflicts         : 14533       (67038 /sec, 51.46% dconfs, 0.00% supp, trail 7.30w x 10.45h, jmp 1.22h)
9.76/4.12	c (0,0) c decisions         : 18212       (0.6500 vdcy, 84008 /sec, 0.00% bin, rs 0.000 s)
9.76/4.12	c (0,0) c propagations      : 168521      (777350 /sec, 9.25 lits/dec, 49.58% o.a.)
9.76/4.12	c (0,0) c conflict literals : 135097      (11.38% deleted; 1.93% by bin min, 0.006 s)
9.76/4.12	c (0,0) c len               : 8.065       (8.06 for all, max 19, used 19)
9.76/4.12	c (0,0) c lbd               : 4.631       (5.93 (4.63) for all, max 15, used 15, 1.244 stdev, 1.358 blk)
9.76/4.12	c (0,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
9.76/4.12	c (0,0) c simp dbs          : 1           (0.000 s)
9.76/4.12	c (0,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
9.76/4.12	c (0,0) c learnts           : 14520       (0 learnts removed, 0.00%)
9.76/4.12	c (0,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
9.76/4.12	c (0,0) c assigned lits     : 0           (0/0 probed, 0 remains)
9.76/4.12	c (0,0) c premise updates   : 567         (3.54 /lit)
9.76/4.12	c (0,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
9.76/4.12	c (0,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
9.76/4.12	c (0,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.004s)
9.76/4.12	c (0,0) c unwatched lit elim: 595         (0.06+0.44%, 1+594 of 1580+135097)
9.76/4.12	c (0,0) c classified type   : undef
9.76/4.12	c (0,0) c progress          : 81.250%
9.76/4.12	c (0,0) c
9.76/4.12	c (0,0) c [Statistics]
9.76/4.12	c (0,0) c             learnts len        learnts lbd        lit blk size       eq vars size
9.76/4.12	c (0,0) c  tot       14532              14532              86236                  0
9.76/4.12	c (0,0) c  avg       8.059              4.628              1.358               -nan
9.76/4.12	c (0,0) c   1           12 ( 0.1%)        133 ( 0.9%)      68631 (79.6%)          0 (-nan%)
9.76/4.12	c (0,0) c   2           39 ( 0.3%)       2812 (19.4%)      10075 (11.7%)          0 (-nan%)
9.76/4.12	c (0,0) c   3          494 ( 3.4%)       2307 (15.9%)       4173 ( 4.8%)          0 (-nan%)
9.76/4.12	c (0,0) c   4          978 ( 6.7%)       2307 (15.9%)       1919 ( 2.2%)          0 (-nan%)
9.76/4.12	c (0,0) c   5         1191 ( 8.2%)       2271 (15.6%)        862 ( 1.0%)          0 (-nan%)
9.76/4.12	c (0,0) c   6         2268 (15.6%)       1843 (12.7%)        352 ( 0.4%)          0 (-nan%)
9.76/4.12	c (0,0) c   7         1750 (12.0%)       1280 ( 8.8%)        138 ( 0.2%)          0 (-nan%)
9.76/4.12	c (0,0) c   8         1587 (10.9%)        801 ( 5.5%)         53 ( 0.1%)          0 (-nan%)
9.76/4.12	c (0,0) c   9         1289 ( 8.9%)        430 ( 3.0%)         18 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  10         1855 (12.8%)        212 ( 1.5%)          9 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  11         1280 ( 8.8%)         86 ( 0.6%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  12          955 ( 6.6%)         31 ( 0.2%)          2 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  13          460 ( 3.2%)         15 ( 0.1%)          3 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  14          234 ( 1.6%)          3 ( 0.0%)          1 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  15           81 ( 0.6%)          1 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  16           44 ( 0.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  17           13 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  18            1 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  19            1 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  20            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  21            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  22            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  23            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  24            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  25            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  26            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  27            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  28            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  29            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c  30            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
9.76/4.12	c (0,0) c
9.76/4.12	c (0,0) c [LBD Statistics]
9.76/4.12	c (0,0) c LBD          used lbd               used clause lbd         unused clause lbd
9.76/4.12	c (0,0) c  tot        81879                    7275                    7245
9.76/4.12	c (0,0) c  avg        2.580                   3.608                   5.657
9.76/4.12	c (0,0) c    1         3733 ( 4.6/ 4.6%)        121 ( 1.7/ 1.7%)          0 ( 0.0/ 0.0%)
9.76/4.12	c (0,0) c    2        52095 (63.6/68.2%)       2481 (34.1/35.8%)        331 ( 4.6/ 4.6%)
9.76/4.12	c (0,0) c    3        13433 (16.4/84.6%)       1573 (21.6/57.4%)        734 (10.1/14.7%)
9.76/4.12	c (0,0) c    4         6331 ( 7.7/92.3%)       1183 (16.3/73.6%)       1124 (15.5/30.2%)
9.76/4.12	c (0,0) c    5         3129 ( 3.8/96.1%)        846 (11.6/85.3%)       1425 (19.7/49.9%)
9.76/4.12	c (0,0) c    6         1489 ( 1.8/98.0%)        509 ( 7.0/92.3%)       1334 (18.4/68.3%)
9.76/4.12	c (0,0) c    7          843 ( 1.0/99.0%)        287 ( 3.9/96.2%)        993 (13.7/82.0%)
9.76/4.12	c (0,0) c    8          441 ( 0.5/99.5%)        156 ( 2.1/98.4%)        645 ( 8.9/90.9%)
9.76/4.12	c (0,0) c    9          241 ( 0.3/99.8%)         64 ( 0.9/99.2%)        366 ( 5.1/96.0%)
9.76/4.12	c (0,0) c   10           85 ( 0.1/99.9%)         29 ( 0.4/99.6%)        183 ( 2.5/98.5%)
9.76/4.12	c (0,0) c   11           33 ( 0.0/100.0%)         15 ( 0.2/99.8%)         71 ( 1.0/99.5%)
9.76/4.12	c (0,0) c   12           15 ( 0.0/100.0%)          4 ( 0.1/99.9%)         27 ( 0.4/99.8%)
9.76/4.12	c (0,0) c   13            6 ( 0.0/100.0%)          5 ( 0.1/100.0%)         10 ( 0.1/100.0%)
9.76/4.12	c (0,0) c   14            4 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/100.0%)
9.76/4.12	c (0,0) c   15            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
9.76/4.12	c (0,0) c
9.76/4.12	c (0,0) c Memory used       : 21.00 MB
9.76/4.12	c (0,0) c CPU time          : 0.217 s
9.76/4.12	c (0,0) c Real time         : 0.237 s
9.76/4.12	c (0,0) c
9.76/4.12	c (0,0) s UNSATISFIABLE
9.76/4.12	c (0,0) SatSolver.solve End
9.76/4.12	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
9.76/4.12	c (0,0) Show results Begin
9.76/4.12	s UNSATISFIABLE
9.76/4.12	c (0,0) Show results End
9.76/4.12	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
9.76/4.12	c (0,0) 0,0,STOP-AFTER(ALL)
9.76/4.12	c END-Prog: Thu Sep 12 15:35:26 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388100-1568295366/watcher-4388100-1568295366 -o /tmp/evaluation-result-4388100-1568295366/solver-4388100-1568295366 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568289646-11936 --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-4388100-1568295366.xml 

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

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

solver pid=13540, runsolver pid=13537

[startup+0.100165 s]*
/proc/loadavg: 1.85 2.26 2.26 3/229 13557
/proc/meminfo: memFree=15865780/32770624 swapFree=67003116/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405785253 115843072 348 33554432000 4194304 5098028 140730030414784 140730030412040 139626647671420 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28082176 140730030416680 140730030417008 140730030417008 140730030419917 0
/proc/13540/statm: 28282 348 296 221 0 87 0
[pid=13543] ppid=13540 vsize=15012696 memory=70792 CPUtime=0.12 cores=0,2,4,6
/proc/13543/stat : 13543 (java) S 13540 13540 11905 0 -1 1077944320 6488 0 0 0 10 2 0 0 20 0 15 0 405785253 15373000704 17698 33554432000 4194304 4196468 140721502929168 140721502911712 140081110728439 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
/proc/13543/statm: 3753174 17698 2939 1 0 3715579 0
[pid=13543/tid=13544] ppid=13540 vsize=15012696 memory=-6673890911685660454 CPUtime=0.08 cores=0,2,4,6
/proc/13543/task/13544/stat : 13544 (java) R 13540 13540 11905 0 -1 4202560 4273 0 0 0 7 1 0 0 20 0 15 0 405785254 15373000704 17698 33554432000 4194304 4196468 140721502929168 140081082519544 140081091004188 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13545] ppid=13540 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13545/stat : 13545 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 17698 33554432000 4194304 4196468 140721502929168 140081114970384 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13546] ppid=13540 vsize=15012696 memory=140302354949760 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 17698 33554432000 4194304 4196468 140721502929168 140080906054032 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13547] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 17698 33554432000 4194304 4196468 140721502929168 140080905001488 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13548] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 17698 33554432000 4194304 4196468 140721502929168 140080903948944 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13549] ppid=13540 vsize=15012696 memory=140302354949760 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785257 15373000704 17698 33554432000 4194304 4196468 140721502929168 140080081226224 140081110739586 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13550] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405785257 15373000704 17698 33554432000 4194304 4196468 140721502929168 140079553045920 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13551] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405785258 15373000704 17698 33554432000 4194304 4196468 140721502929168 140079418824176 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13552] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 17698 33554432000 4194304 4196468 140721502929168 140079044319952 140081110747035 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13553] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) S 13540 13540 11905 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 17698 33554432000 4194304 4196468 140721502929168 140080080173040 140081110739586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13554] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) S 13540 13540 11905 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 17698 33554432000 4194304 4196468 140721502929168 140080079120496 140081110739586 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13555] ppid=13540 vsize=15012696 memory=140302354949760 CPUtime=0.01 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) R 13540 13540 11905 0 -1 4202560 445 0 0 0 1 0 0 0 20 0 15 0 405785260 15373000704 17698 33554432000 4194304 4196468 140721502929168 140080078067952 140080576462969 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13556] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 17698 33554432000 4194304 4196468 140721502929168 140078546414176 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13557] ppid=13540 vsize=15012696 memory=140302354949760 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 17698 33554432000 4194304 4196468 140721502929168 140080077015856 140081110739586 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72184 KiB

[startup+0.210824 s]*
/proc/loadavg: 1.85 2.26 2.26 3/229 13557
/proc/meminfo: memFree=15847276/32770624 swapFree=67003116/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405785253 115843072 348 33554432000 4194304 5098028 140730030414784 140730030412040 139626647671420 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28082176 140730030416680 140730030417008 140730030417008 140730030419917 0
/proc/13540/statm: 28282 348 296 221 0 87 0
[pid=13543] ppid=13540 vsize=15012696 memory=85880 CPUtime=0.25 cores=0,2,4,6
/proc/13543/stat : 13543 (java) S 13540 13540 11905 0 -1 1077944320 11580 0 0 0 21 4 0 0 20 0 15 0 405785253 15373000704 21470 33554432000 4194304 4196468 140721502929168 140721502911712 140081110728439 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
/proc/13543/statm: 3753174 21470 2945 1 0 3715579 0
[pid=13543/tid=13544] ppid=13540 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/13543/task/13544/stat : 13544 (java) R 13540 13540 11905 0 -1 4202560 9292 0 0 0 16 3 0 0 20 0 15 0 405785254 15373000704 21470 33554432000 4194304 4196468 140721502929168 140081082527824 140081110740374 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13545] ppid=13540 vsize=15012696 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13545/stat : 13545 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 21470 33554432000 4194304 4196468 140721502929168 140081114970384 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13546] ppid=13540 vsize=15012696 memory=140302354962830 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 21470 33554432000 4194304 4196468 140721502929168 140080906054032 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13547] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 21470 33554432000 4194304 4196468 140721502929168 140080905001488 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13548] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 21470 33554432000 4194304 4196468 140721502929168 140080903948944 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13549] ppid=13540 vsize=15012696 memory=140302354949760 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785257 15373000704 21470 33554432000 4194304 4196468 140721502929168 140080081226224 140081110739586 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13550] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405785257 15373000704 21470 33554432000 4194304 4196468 140721502929168 140079553045920 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13551] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405785258 15373000704 21470 33554432000 4194304 4196468 140721502929168 140079418824176 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13552] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 21470 33554432000 4194304 4196468 140721502929168 140079044319952 140081110747035 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13553] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) S 13540 13540 11905 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 21470 33554432000 4194304 4196468 140721502929168 140080080173040 140081110739586 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13554] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) S 13540 13540 11905 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 21470 33554432000 4194304 4196468 140721502929168 140080079120496 140081110739586 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13555] ppid=13540 vsize=15012696 memory=140302354949760 CPUtime=0.02 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) R 13540 13540 11905 0 -1 4202560 453 0 0 0 2 0 0 0 20 0 15 0 405785260 15373000704 21470 33554432000 4194304 4196468 140721502929168 140080078067952 140081110740374 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13556] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 21470 33554432000 4194304 4196468 140721502929168 140078546414176 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13557] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 21470 33554432000 4194304 4196468 140721502929168 140080077015856 140081110739586 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87272 KiB

[startup+0.315613 s]*
/proc/loadavg: 1.85 2.26 2.26 3/229 13557
/proc/meminfo: memFree=15844236/32770624 swapFree=67003116/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405785253 115843072 348 33554432000 4194304 5098028 140730030414784 140730030412040 139626647671420 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28082176 140730030416680 140730030417008 140730030417008 140730030419917 0
/proc/13540/statm: 28282 348 296 221 0 87 0
[pid=13543] ppid=13540 vsize=15012696 memory=90112 CPUtime=0.44 cores=0,2,4,6
/proc/13543/stat : 13543 (java) S 13540 13540 11905 0 -1 1077944320 12571 0 0 0 39 5 0 0 20 0 15 0 405785253 15373000704 22528 33554432000 4194304 4196468 140721502929168 140721502911712 140081110728439 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
/proc/13543/statm: 3753174 22528 3061 1 0 3715579 0
[pid=13543/tid=13544] ppid=13540 vsize=15012696 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/13543/task/13544/stat : 13544 (java) R 13540 13540 11905 0 -1 4202560 10084 0 0 0 26 4 0 0 20 0 15 0 405785254 15373000704 22528 33554432000 4194304 4196468 140721502929168 140081082511456 140081092101989 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13545] ppid=13540 vsize=15012696 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13545/stat : 13545 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 22528 33554432000 4194304 4196468 140721502929168 140081114970384 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13546] ppid=13540 vsize=15012696 memory=3545240215109251005 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 22528 33554432000 4194304 4196468 140721502929168 140080906054032 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13547] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 22528 33554432000 4194304 4196468 140721502929168 140080905001488 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13548] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785255 15373000704 22528 33554432000 4194304 4196468 140721502929168 140080903948944 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13549] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785257 15373000704 22528 33554432000 4194304 4196468 140721502929168 140080081226224 140081110739586 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13550] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405785257 15373000704 22528 33554432000 4194304 4196468 140721502929168 140079553045920 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13551] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405785258 15373000704 22528 33554432000 4194304 4196468 140721502929168 140079418824176 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13552] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 22528 33554432000 4194304 4196468 140721502929168 140079044319952 140081110747035 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13553] ppid=13540 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) S 13540 13540 11905 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 15 0 405785260 15373000704 22528 33554432000 4194304 4196468 140721502929168 140080080173040 140081110739586 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13554] ppid=13540 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) S 13540 13540 11905 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 15 0 405785260 15373000704 22528 33554432000 4194304 4196468 140721502929168 140080079120496 140081110739586 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13555] ppid=13540 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) S 13540 13540 11905 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 15 0 405785260 15373000704 22528 33554432000 4194304 4196468 140721502929168 140080078067952 140081110739586 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13556] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 22528 33554432000 4194304 4196468 140721502929168 140078546414176 140081110738645 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13557] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785260 15373000704 22528 33554432000 4194304 4196468 140721502929168 140080077015856 140081110739586 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91504 KiB

[startup+0.701021 s]
/proc/loadavg: 1.85 2.26 2.26 3/229 13557
/proc/meminfo: memFree=15823028/32770624 swapFree=67003116/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405785253 115843072 348 33554432000 4194304 5098028 140730030414784 140730030412040 139626647671420 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28082176 140730030416680 140730030417008 140730030417008 140730030419917 0
/proc/13540/statm: 28282 348 296 221 0 87 0
[pid=13543] ppid=13540 vsize=15018968 memory=127384 CPUtime=1.01 cores=0,2,4,6
/proc/13543/stat : 13543 (java) S 13540 13540 11905 0 -1 1077944320 19636 0 0 0 94 7 0 0 20 0 15 0 405785253 15379423232 31846 33554432000 4194304 4196468 140721502929168 140721502911712 140081110728439 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
/proc/13543/statm: 3754742 31846 3187 1 0 3716091 0
[pid=13543/tid=13544] ppid=13540 vsize=15018968 memory=20312 CPUtime=0.68 cores=0,2,4,6
/proc/13543/task/13544/stat : 13544 (java) R 13540 13540 11905 0 -1 4202560 16657 0 0 0 62 6 0 0 20 0 15 0 405785254 15379423232 31846 33554432000 4194304 4196468 140721502929168 140081082566912 140081096421905 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13545] ppid=13540 vsize=15018968 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13545/stat : 13545 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785255 15379423232 31846 33554432000 4194304 4196468 140721502929168 140081114970384 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13546] ppid=13540 vsize=15018968 memory=500 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785255 15379423232 31846 33554432000 4194304 4196468 140721502929168 140080906054032 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13547] ppid=13540 vsize=15018968 memory=932 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785255 15379423232 31846 33554432000 4194304 4196468 140721502929168 140080905001488 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13548] ppid=13540 vsize=15018968 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785255 15379423232 31846 33554432000 4194304 4196468 140721502929168 140080903948944 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13549] ppid=13540 vsize=15018968 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405785257 15379423232 31846 33554432000 4194304 4196468 140721502929168 140080081226224 140081110739586 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13550] ppid=13540 vsize=15018968 memory=804 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405785257 15379423232 31846 33554432000 4194304 4196468 140721502929168 140079553045920 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13551] ppid=13540 vsize=15018968 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405785258 15379423232 31846 33554432000 4194304 4196468 140721502929168 140079418824176 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13552] ppid=13540 vsize=15018968 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405785260 15379423232 31846 33554432000 4194304 4196468 140721502929168 140079044319952 140081110747035 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13553] ppid=13540 vsize=15018968 memory=2580 CPUtime=0.1 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) R 13540 13540 11905 0 -1 4202560 643 0 0 0 10 0 0 0 20 0 15 0 405785260 15379423232 31846 33554432000 4194304 4196468 140721502929168 140080080159104 140081091902027 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13554] ppid=13540 vsize=15018968 memory=1764 CPUtime=0.07 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) R 13540 13540 11905 0 -1 4202560 384 0 0 0 7 0 0 0 20 0 15 0 405785260 15379423232 31846 33554432000 4194304 4196468 140721502929168 140080079111472 140081095624395 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13555] ppid=13540 vsize=15018968 memory=111632 CPUtime=0.14 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) R 13540 13540 11905 0 -1 4202560 598 0 0 0 14 0 0 0 20 0 15 0 405785260 15379423232 31846 33554432000 4194304 4196468 140721502929168 140080078067952 140081094808926 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13556] ppid=13540 vsize=15018968 memory=796 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405785260 15379423232 31846 33554432000 4194304 4196468 140721502929168 140078546414176 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13557] ppid=13540 vsize=15018968 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785260 15379423232 31846 33554432000 4194304 4196468 140721502929168 140080077015856 140081110739586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128776 KiB

[startup+1.50083 s]
/proc/loadavg: 1.85 2.26 2.26 5/229 13557
/proc/meminfo: memFree=15726464/32770624 swapFree=67003116/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405785253 115843072 348 33554432000 4194304 5098028 140730030414784 140730030412040 139626647671420 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28082176 140730030416680 140730030417008 140730030417008 140730030419917 0
/proc/13540/statm: 28282 348 296 221 0 87 0

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

[pid=13543/tid=13546] ppid=13540 vsize=15029372 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785255 15390076928 118470 33554432000 4194304 4196468 140721502929168 140080906054032 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13547] ppid=13540 vsize=15029372 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405785255 15390076928 118470 33554432000 4194304 4196468 140721502929168 140080905001488 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13548] ppid=13540 vsize=15029372 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785255 15390076928 118470 33554432000 4194304 4196468 140721502929168 140080903948944 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13549] ppid=13540 vsize=15029372 memory=37476 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405785257 15390076928 118470 33554432000 4194304 4196468 140721502929168 140080081226224 140081110739586 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13550] ppid=13540 vsize=15029372 memory=988 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405785257 15390076928 118470 33554432000 4194304 4196468 140721502929168 140079553045920 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13551] ppid=13540 vsize=15029372 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405785258 15390076928 118470 33554432000 4194304 4196468 140721502929168 140079418824176 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13552] ppid=13540 vsize=15029372 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405785260 15390076928 118470 33554432000 4194304 4196468 140721502929168 140079044319952 140081110747035 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13553] ppid=13540 vsize=15029372 memory=776 CPUtime=2.1 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) S 13540 13540 11905 0 -1 1077944384 2817 0 0 0 210 0 0 0 20 0 15 0 405785260 15390076928 118470 33554432000 4194304 4196468 140721502929168 140080080173040 140081110739586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13554] ppid=13540 vsize=15029372 memory=6791534058613427641 CPUtime=2.11 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) S 13540 13540 11905 0 -1 1077944384 2733 0 0 0 211 0 0 0 20 0 15 0 405785260 15390076928 118470 33554432000 4194304 4196468 140721502929168 140080079120496 140081110739586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13555] ppid=13540 vsize=15029372 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) S 13540 13540 11905 0 -1 1077944384 2436 0 0 0 93 0 0 0 20 0 15 0 405785260 15390076928 118470 33554432000 4194304 4196468 140721502929168 140080078067952 140081110739586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13556] ppid=13540 vsize=15029372 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405785260 15390076928 118470 33554432000 4194304 4196468 140721502929168 140078546414176 140081110738645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
[pid=13543/tid=13557] ppid=13540 vsize=15029372 memory=2867565960586600 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405785260 15390076928 118470 33554432000 4194304 4196468 140721502929168 140080077015856 140081110739586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140721502933742 140721502934170 140721502934170 140721502937039 0
Current children cumulated CPU time: 8.26 s
Current children cumulated vsize: 15142500 KiB
Current children cumulated memory: 475272 KiB

[startup+4.13468 s]
# the end of solver process 13540 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.56457 s, system=0.269111 s

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

[startup+3.20093 s]
/proc/loadavg: 1.85 2.26 2.26 5/229 13557
/proc/meminfo: memFree=15477628/32770624 swapFree=67003116/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1472 CPUtime=8.35 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 11905 0 -1 4202496 583 29589 0 0 0 0 819 16 20 0 1 0 405785253 115843072 368 33554432000 4194304 5098028 140730030414784 140730030411528 139626647671420 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28082176 140730030416680 140730030417008 140730030417008 140730030419917 0
/proc/13540/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 8.35 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

[startup+3.60028 s]
/proc/loadavg: 1.85 2.26 2.26 5/229 13557
/proc/meminfo: memFree=15477628/32770624 swapFree=67003116/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1472 CPUtime=8.35 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 11905 0 -1 4202496 583 29589 0 0 0 0 819 16 20 0 1 0 405785253 115843072 368 33554432000 4194304 5098028 140730030414784 140730030411528 139626647671420 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28082176 140730030416680 140730030417008 140730030417008 140730030419917 0
/proc/13540/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 8.35 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

[startup+4.00027 s]*
/proc/loadavg: 1.94 2.27 2.26 3/234 13578
/proc/meminfo: memFree=15814420/32770624 swapFree=67003116/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1472 CPUtime=8.35 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 11905 0 -1 4202496 583 29589 0 0 0 0 819 16 20 0 1 0 405785253 115843072 368 33554432000 4194304 5098028 140730030414784 140730030411528 139626647671420 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28082176 140730030416680 140730030417008 140730030417008 140730030419917 0
/proc/13540/statm: 28282 368 311 221 0 87 0
[pid=13558] ppid=13540 vsize=8068440 memory=120048 CPUtime=1.19 cores=0,2,4,6
/proc/13558/stat : 13558 (java) S 13540 13540 11905 0 -1 1077944320 20417 0 0 0 113 6 0 0 20 0 19 0 405785568 8262082560 30012 33554432000 4194304 4196468 140726731154192 140726731136736 140216250248951 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
/proc/13558/statm: 2017110 30012 3209 1 0 1978454 0
[pid=13573] ppid=13558 vsize=18504 memory=3088 CPUtime=0.12 cores=0,2,4,6
/proc/13573/stat : 13573 (glueminisat-sim) R 13558 13540 11905 0 -1 4202496 852 0 0 0 11 1 0 0 20 0 1 0 405785641 18948096 772 33554432000 4194304 4452875 140737317540384 140737317537528 140296722521991 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 23834624 140737317548895 140737317549095 140737317549095 140737317552045 0
/proc/13573/statm: 4626 772 373 64 0 830 0
[pid=13558/tid=13559] ppid=13540 vsize=8068440 memory=-7377589540907427004 CPUtime=0.75 cores=0,2,4,6
/proc/13558/task/13559/stat : 13559 (java) S 13540 13540 11905 0 -1 1077944384 17435 0 0 0 71 4 0 0 20 0 19 0 405785569 8262082560 30012 33554432000 4194304 4196468 140726731154192 140216222089120 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13560] ppid=13540 vsize=8068440 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13560/stat : 13560 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405785570 8262082560 30012 33554432000 4194304 4196468 140726731154192 140216254491024 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13561] ppid=13540 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13561/stat : 13561 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405785570 8262082560 30012 33554432000 4194304 4196468 140726731154192 140216054659344 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13562] ppid=13540 vsize=8068440 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13562/stat : 13562 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405785570 8262082560 30012 33554432000 4194304 4196468 140726731154192 140216053607056 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13563] ppid=13540 vsize=8068440 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13563/stat : 13563 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405785570 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215733709328 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13564] ppid=13540 vsize=8068440 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13564/stat : 13564 (java) S 13540 13540 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405785571 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215293905520 140216250260098 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13565] ppid=13540 vsize=8068440 memory=198494866856812 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13565/stat : 13565 (java) S 13540 13540 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405785572 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215180059936 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13566] ppid=13540 vsize=8068440 memory=140302220456511 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13566/stat : 13566 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405785572 8262082560 30012 33554432000 4194304 4196468 140726731154192 140214911624816 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13567] ppid=13540 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13567/stat : 13567 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405785574 8262082560 30012 33554432000 4194304 4196468 140726731154192 140214537116240 140216250267547 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13568] ppid=13540 vsize=8068440 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/13558/task/13568/stat : 13568 (java) S 13540 13540 11905 0 -1 1077944384 592 0 0 0 11 0 0 0 20 0 19 0 405785574 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215292852336 140216250260098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13569] ppid=13540 vsize=8068440 memory=804 CPUtime=0.07 cores=0,2,4,6
/proc/13558/task/13569/stat : 13569 (java) S 13540 13540 11905 0 -1 1077944384 439 0 0 0 7 0 0 0 20 0 19 0 405785574 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215291799536 140216250260098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13570] ppid=13540 vsize=8068440 memory=1448 CPUtime=0.21 cores=0,2,4,6
/proc/13558/task/13570/stat : 13570 (java) S 13540 13540 11905 0 -1 1077944384 558 0 0 0 21 0 0 0 20 0 19 0 405785574 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215290747248 140216250260098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13571] ppid=13540 vsize=8068440 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13571/stat : 13571 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405785575 8262082560 30012 33554432000 4194304 4196468 140726731154192 140214039210464 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13572] ppid=13540 vsize=8068440 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13572/stat : 13572 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405785575 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215289695152 140216250260098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13574] ppid=13540 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13574/stat : 13574 (java) S 13540 13540 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405785642 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215281661376 140216250273561 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13576] ppid=13540 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13576/stat : 13576 (java) S 13540 13540 11905 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405785642 8262082560 30012 33554432000 4194304 4196468 140726731154192 140213502328848 140216250270877 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13577] ppid=13540 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13577/stat : 13577 (java) S 13540 13540 11905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405785643 8262082560 30012 33554432000 4194304 4196468 140726731154192 140213233892752 140216250270877 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13578] ppid=13540 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13578/stat : 13578 (java) S 13540 13540 11905 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405785645 8262082560 30012 33554432000 4194304 4196468 140726731154192 140213770771376 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
Current children cumulated CPU time: 9.66 s
Current children cumulated vsize: 8200072 KiB
Current children cumulated memory: 124608 KiB

[startup+4.1106 s]
/proc/loadavg: 1.94 2.27 2.26 3/234 13578
/proc/meminfo: memFree=15814420/32770624 swapFree=67003116/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1472 CPUtime=8.35 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 11905 0 -1 4202496 583 29589 0 0 0 0 819 16 20 0 1 0 405785253 115843072 368 33554432000 4194304 5098028 140730030414784 140730030411528 139626647671420 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28082176 140730030416680 140730030417008 140730030417008 140730030419917 0
/proc/13540/statm: 28282 368 311 221 0 87 0
[pid=13558] ppid=13540 vsize=8068440 memory=120048 CPUtime=1.19 cores=0,2,4,6
/proc/13558/stat : 13558 (java) S 13540 13540 11905 0 -1 1077944320 20417 0 0 0 113 6 0 0 20 0 19 0 405785568 8262082560 30012 33554432000 4194304 4196468 140726731154192 140726731136736 140216250248951 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
/proc/13558/statm: 2017110 30012 3209 1 0 1978454 0
[pid=13573] ppid=13558 vsize=19396 memory=4132 CPUtime=0.22 cores=0,2,4,6
/proc/13573/stat : 13573 (glueminisat-sim) R 13558 13540 11905 0 -1 4202496 1121 0 0 0 20 2 0 0 20 0 1 0 405785641 19861504 1033 33554432000 4194304 4452875 140737317540384 140737317537528 140296722521991 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 23834624 140737317548895 140737317549095 140737317549095 140737317552045 0
/proc/13573/statm: 4849 1033 373 64 0 1053 0
[pid=13558/tid=13559] ppid=13540 vsize=8068440 memory=14415929788645470 CPUtime=0.75 cores=0,2,4,6
/proc/13558/task/13559/stat : 13559 (java) S 13540 13540 11905 0 -1 1077944384 17435 0 0 0 71 4 0 0 20 0 19 0 405785569 8262082560 30012 33554432000 4194304 4196468 140726731154192 140216222089120 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13560] ppid=13540 vsize=8068440 memory=7738143364822886510 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13560/stat : 13560 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405785570 8262082560 30012 33554432000 4194304 4196468 140726731154192 140216254491024 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13561] ppid=13540 vsize=8068440 memory=3693904216962916974 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13561/stat : 13561 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405785570 8262082560 30012 33554432000 4194304 4196468 140726731154192 140216054659344 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13562] ppid=13540 vsize=8068440 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13562/stat : 13562 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405785570 8262082560 30012 33554432000 4194304 4196468 140726731154192 140216053607056 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13563] ppid=13540 vsize=8068440 memory=6944665225511868275 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13563/stat : 13563 (java) S 13540 13540 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405785570 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215733709328 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13564] ppid=13540 vsize=8068440 memory=-7595754389018307680 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13564/stat : 13564 (java) S 13540 13540 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405785571 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215293905520 140216250260098 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13565] ppid=13540 vsize=8068440 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13565/stat : 13565 (java) S 13540 13540 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405785572 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215180059936 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13566] ppid=13540 vsize=8068440 memory=-2895008908443675764 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13566/stat : 13566 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405785572 8262082560 30012 33554432000 4194304 4196468 140726731154192 140214911624816 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13567] ppid=13540 vsize=8068440 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13567/stat : 13567 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405785574 8262082560 30012 33554432000 4194304 4196468 140726731154192 140214537116240 140216250267547 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13568] ppid=13540 vsize=8068440 memory=6656426216303648864 CPUtime=0.11 cores=0,2,4,6
/proc/13558/task/13568/stat : 13568 (java) S 13540 13540 11905 0 -1 1077944384 592 0 0 0 11 0 0 0 20 0 19 0 405785574 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215292852336 140216250260098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13569] ppid=13540 vsize=8068440 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/13558/task/13569/stat : 13569 (java) S 13540 13540 11905 0 -1 1077944384 439 0 0 0 7 0 0 0 20 0 19 0 405785574 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215291799536 140216250260098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13570] ppid=13540 vsize=8068440 memory=6943526294502006880 CPUtime=0.21 cores=0,2,4,6
/proc/13558/task/13570/stat : 13570 (java) S 13540 13540 11905 0 -1 1077944384 558 0 0 0 21 0 0 0 20 0 19 0 405785574 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215290747248 140216250260098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13571] ppid=13540 vsize=8068440 memory=3617551796267921439 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13571/stat : 13571 (java) S 13540 13540 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405785575 8262082560 30012 33554432000 4194304 4196468 140726731154192 140214039210464 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13572] ppid=13540 vsize=8068440 memory=6440814047763918433 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13572/stat : 13572 (java) S 13540 13540 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405785575 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215289695152 140216250260098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13574] ppid=13540 vsize=8068440 memory=6440814047763918433 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13574/stat : 13574 (java) S 13540 13540 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405785642 8262082560 30012 33554432000 4194304 4196468 140726731154192 140215281661376 140216250273561 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13576] ppid=13540 vsize=8068440 memory=6440814047763918433 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13576/stat : 13576 (java) S 13540 13540 11905 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405785642 8262082560 30012 33554432000 4194304 4196468 140726731154192 140213502328848 140216250270877 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13577] ppid=13540 vsize=8068440 memory=5792865325721408096 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13577/stat : 13577 (java) S 13540 13540 11905 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405785643 8262082560 30012 33554432000 4194304 4196468 140726731154192 140213233892752 140216250270877 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
[pid=13558/tid=13578] ppid=13540 vsize=8068440 memory=7084275894547799616 CPUtime=0 cores=0,2,4,6
/proc/13558/task/13578/stat : 13578 (java) S 13540 13540 11905 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405785645 8262082560 30012 33554432000 4194304 4196468 140726731154192 140213770771376 140216250259157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12791808 140726731162619 140726731162778 140726731162778 140726731165647 0
Current children cumulated CPU time: 9.76 s
Current children cumulated vsize: 8200964 KiB
Current children cumulated memory: 125652 KiB

Child status: 0
Real time (s): 4.13473
CPU time (s): 9.83368
CPU user time (s): 9.56457
CPU system time (s): 0.269111
CPU usage (%): 237.832
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 475272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.56457
system time used= 0.269111
maximum resident set size= 476896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4929
involuntary context switches= 38


# summary of solver processes directly reported to runsolver:
#   pid: 13540
#   total CPU time (s): 9.83368
#   total CPU user time (s): 9.56457
#   total CPU system time (s): 0.269111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047805 second user time and 0.093533 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-12 15:35:22
IDJOB=4388100
IDBENCH=134301
IDSOLVER=2825
FILE ID=node136/4388100-1568295366
RUNJOBID= node136-1568289646-11936
PBS_JOBID= 21701094
Free space on /tmp= 54620 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-10-05.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-4388100-1568295366/watcher-4388100-1568295366 -o /tmp/evaluation-result-4388100-1568295366/solver-4388100-1568295366 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568289646-11936 --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-4388100-1568295366.xml

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

MD5SUM BENCH= 11198b79b59252262e805adcf565fb89
RANDOM SEED=772315022

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15922688 kB
MemAvailable:   24577660 kB
Buffers:           93956 kB
Cached:          8759184 kB
SwapCached:         2468 kB
Active:          8617572 kB
Inactive:        7511584 kB
Active(anon):    7277500 kB
Inactive(anon):    40044 kB
Active(file):    1340072 kB
Inactive(file):  7471540 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       67003116 kB
Dirty:             20664 kB
Writeback:             0 kB
AnonPages:       7485424 kB
Mapped:            55088 kB
Shmem:             32792 kB
Slab:             300980 kB
SReclaimable:     271820 kB
SUnreclaim:        29160 kB
KernelStack:        4000 kB
PageTables:        20248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13201076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7344128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54600 MiB
End job on node136 at 2019-09-12 15:35:26