Trace number 4388385

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameGracefulGraph/
GracefulGraph-K05-P02_c18.xml
MD5SUM803795f7a37fd3a40686e408980b1bff
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.284908
Satisfiable
(Un)Satisfiability was proved
Number of variables65
Number of constraints27
Number of domains2
Minimum domain size25
Maximum domain size26
Distribution of domain sizes[{"size":25,"count":25},{"size":26,"count":10}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":30},{"degree":2,"count":25},{"degree":6,"count":10}]
Minimum constraint arity3
Maximum constraint arity25
Distribution of constraint arities[{"arity":3,"count":25},{"arity":10,"count":1},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"allDifferent","count":2}]
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-14925-serial-file.bin HOME/instance-4388385-1568299118.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 16:37:56 CEST 2019
0.66/0.55	c PID: 14928
0.66/0.55	c IP: 172.20.3.147
0.66/0.55	c HOST: node147.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.20/0.86	c (0,0) Parsing End
1.20/0.86	c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26
1.20/0.86	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.87	c (0,0) Constraint Name Generate Begin
1.20/0.87	c (0,0) Ctr:HOME/instance-4388385-1568299118.xml,AllDifferent:Dist:Eq:Var
1.20/0.87	c (0,0) Constraint Name Generate End
1.20/0.87	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.87	c (0,0) CSP to CSPinCNF Begin
1.38/0.97	c (0,0) translated 3 (10%) constraints
1.38/0.99	c (0,0) translated 6 (20%) constraints
1.38/1.00	c (0,0) translated 9 (30%) constraints
1.38/1.01	c (0,0) translated 11 (40%) constraints
1.59/1.02	c (0,0) translated 14 (50%) constraints
1.59/1.02	c (0,0) translated 17 (60%) constraints
1.59/1.03	c (0,0) translated 19 (70%) constraints
1.59/1.04	c (0,0) translated 22 (80%) constraints
1.59/1.04	c (0,0) translated 25 (90%) constraints
1.59/1.08	c (0,0) translated 27 (100%) constraints
2.04/1.21	c (0,0) ===========================================
2.04/1.21	c (0,0) Order
2.04/1.21	c (0,0) ===========================================
2.04/1.22	c (0,0) translated 45 (10%) constraints
2.04/1.23	c (0,0) translated 90 (20%) constraints
2.04/1.24	c (0,0) translated 135 (30%) constraints
2.04/1.25	c (0,0) translated 180 (40%) constraints
2.04/1.26	c (0,0) translated 225 (50%) constraints
2.04/1.26	c (0,0) translated 270 (60%) constraints
2.04/1.27	c (0,0) translated 315 (70%) constraints
2.04/1.27	c (0,0) translated 360 (80%) constraints
2.04/1.28	c (0,0) translated 405 (90%) constraints
2.61/1.40	c (0,0) translated 450 (100%) constraints
2.61/1.41	c (0,0) CSP to CSPinCNF End
2.61/1.42	c (0,0) CSP: 35 int (0 aux), 625 bool (625 aux), 1700 ctr, max domain size 26
2.61/1.42	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.61/1.42	c (0,0) CSPinCNF Propagation Begin
2.61/1.45	c (0,0) 0 values, 0 unsatisfiable literals, and 51 valid clauses are removed
2.61/1.45	c (0,0) CSPinCNF Propagation End
2.61/1.45	c (0,0) CSP: 35 int (0 aux), 625 bool (625 aux), 1649 ctr, max domain size 26
2.61/1.45	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.61/1.45	c (0,0) Simplify CSPinCNF Begin
2.94/1.50	c (0,0) Simplify CSPinCNF End
2.94/1.50	c (0,0) CSP: 35 int (0 aux), 1365 bool (1365 aux), 2389 ctr, max domain size 26
2.94/1.50	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.94/1.50	c (0,0) Calculate Precise Domain Begin
2.94/1.50	c (0,0) 0 values are removed by re-calculation
2.94/1.50	c (0,0) Calculate Precise Domain End
2.94/1.50	c (0,0) CSP: 35 int (0 aux), 1365 bool (1365 aux), 2389 ctr, max domain size 26
2.94/1.50	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.94/1.50	c (0,0) CSPinCNF to SatSolver Begin
4.23/1.90	c (1,1) 239 (10 %) CSP clauses are encoded (0 SAT variables, 35328 SAT clauses)
4.23/1.94	c (1,1) 478 (20 %) CSP clauses are encoded (0 SAT variables, 39374 SAT clauses)
4.23/1.97	c (1,1) 717 (30 %) CSP clauses are encoded (0 SAT variables, 43429 SAT clauses)
4.23/2.01	c (1,1) 956 (40 %) CSP clauses are encoded (0 SAT variables, 47508 SAT clauses)
4.57/2.03	c (1,1) 1195 (50 %) CSP clauses are encoded (0 SAT variables, 51059 SAT clauses)
4.57/2.03	c (1,1) 1434 (60 %) CSP clauses are encoded (0 SAT variables, 51298 SAT clauses)
4.57/2.03	c (1,1) 1673 (70 %) CSP clauses are encoded (0 SAT variables, 51537 SAT clauses)
4.57/2.04	c (1,1) 1912 (80 %) CSP clauses are encoded (0 SAT variables, 51776 SAT clauses)
4.57/2.04	c (1,1) 2151 (90 %) CSP clauses are encoded (0 SAT variables, 52015 SAT clauses)
4.57/2.04	c (1,1) 2389 (100 %) CSP clauses are encoded (0 SAT variables, 52253 SAT clauses)
4.57/2.04	c (1,1) CSPinCNF to SatSolver End
4.57/2.04	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.57/2.05	c (1,1) 2215 bool, 52254 clause
4.57/2.05	c (1,1) Export Begin
4.83/2.12	c (1,1) Export to HOME/scop-14925-serial-file.bin
4.83/2.12	c (1,1) Export End
4.83/2.13	c (1,1) Export File Size: 0.01 MB
4.83/2.13	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.83/2.13	c END-Prog: Thu Sep 12 16:37:58 CEST 2019
4.83/2.15	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14925-serial-file.bin
4.88/2.60	c (0,0) Read Serial File Begin
4.88/2.60	c (0,0) HOME/scop-14925-serial-file.bin
4.88/2.79	c (0,0) Read Serial File End
4.88/2.81	
4.88/2.81	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
4.88/2.81	(Solving Process)
4.88/2.81	
4.88/2.83	c BEGIN-Prog: Thu Sep 12 16:37:58 CEST 2019
4.88/2.83	c PID: 14943
4.88/2.83	c IP: 172.20.3.147
4.88/2.83	c HOST: node147.alineos.net
4.88/2.83	c (0,0) SatSolver.solve Begin
4.88/2.83	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388385-1568299118.xml-scop-14928.cnf
4.88/2.86	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.88/2.86	c (0,0) c glueminisat-simp-2.2.10-193oa-n
4.88/2.86	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388385-1568299118.xml-scop-14928.cnf 
4.88/2.86	c (0,0) c Options:
4.88/2.86	c (0,0) c CORE
4.88/2.86	c (0,0) c  var_decay             = 0.950
4.88/2.86	c (0,0) c  clause_decay          = 0.999
4.88/2.86	c (0,0) c  random_var_freq       = 0.000
4.88/2.86	c (0,0) c  random_seed           = 91648253.000
4.88/2.86	c (0,0) c  luby_restart          = 1
4.88/2.86	c (0,0) c  ccmin_mode            = 2
4.88/2.86	c (0,0) c  phase_saving          = 2
4.88/2.86	c (0,0) c  rnd_pol               = 0
4.88/2.86	c (0,0) c  rnd_init_act          = 0
4.88/2.86	c (0,0) c  garbage_frac          = 0.200
4.88/2.86	c (0,0) c  restart_first         = 1000
4.88/2.86	c (0,0) c  restart_inc           = 2.000
4.88/2.86	c (0,0) c MODEL
4.88/2.86	c (0,0) c  partial_model         = 0
4.88/2.86	c (0,0) c PROPAGATION
4.88/2.86	c (0,0) c  bin_propagation       = 1
4.88/2.86	c (0,0) c SIMPLIFICATION
4.88/2.86	c (0,0) c  lrn_min_size          = 100
4.88/2.86	c (0,0) c  lazy_simp             = 1
4.88/2.86	c (0,0) c  lazy_interval         = 10
4.88/2.86	c (0,0) c  lazy_fld_probing      = 1
4.88/2.86	c (0,0) c  lazy_pol_probing      = 1
4.88/2.86	c (0,0) c  lazy_nec_probing      = 1
4.88/2.86	c (0,0) c  lazy_eqv_probing      = 1
4.88/2.86	c (0,0) c  lazy_cla_probing      = 1
4.88/2.86	c (0,0) c  lazy_lrn_min          = 2
4.88/2.86	c (0,0) c  lazy_uw_lit_elim      = 1
4.88/2.86	c (0,0) c  lazy_pr_lit_elim      = 0
4.88/2.86	c (0,0) c  lazy_bin_add          = 3
4.88/2.86	c (0,0) c  probed_lit_chain      = 1
4.88/2.86	c (0,0) c  pr_min_lits           = 0.00020
4.88/2.86	c (0,0) c  pr_min_starts         = 500
4.88/2.86	c (0,0) c  rw_min_lits           = 0.010
4.88/2.86	c (0,0) c  rw_min_starts         = 500
4.88/2.86	c (0,0) c  rand_attach           = 0
4.88/2.86	c (0,0) c  dec_elim              = 1
4.88/2.86	c (0,0) c  dec_elim_lim          = 25
4.88/2.86	c (0,0) c  dec_elim_len          = -1
4.88/2.86	c (0,0) c  amo                   = 0
4.88/2.86	c (0,0) c  amo_grp               = 1
4.88/2.86	c (0,0) c  amo_max_bins          = 1000000
4.88/2.86	c (0,0) c  amo_starts            = 50
4.88/2.86	c (0,0) c  mace_cmd              = mace
4.88/2.86	c (0,0) c DECISION
4.88/2.86	c (0,0) c  rand_rebuild          = 0
4.88/2.86	c (0,0) c  rand_rebuild_confs    = 10000
4.88/2.86	c (0,0) c  inc_var_decay         = 1
4.88/2.86	c (0,0) c  inc_var_decay_period  = 100000
4.88/2.86	c (0,0) c  inc_var_decay_init    = 0.600
4.88/2.86	c (0,0) c  var_decay_mode        = 0
4.88/2.86	c (0,0) c  var_decay_gain        = 0
4.88/2.86	c (0,0) c  sloped_var_decay      = 1
4.88/2.86	c (0,0) c  max_var_decay         = 0.990
4.88/2.86	c (0,0) c  min_var_decay         = 0.950
4.88/2.86	c (0,0) c  min_var_decay_vars    = 10000
4.88/2.86	c (0,0) c  max_var_decay_vars    = 500
4.88/2.86	c (0,0) c  uip_bumping           = 1
4.88/2.86	c (0,0) c  lbd_act_bumping       = 1
4.88/2.86	c (0,0) c  rand_tiebreak         = 0
4.88/2.86	c (0,0) c  simp_rebuild          = 1
4.88/2.86	c (0,0) c RESTART
4.88/2.86	c (0,0) c  restart_strategy      = 2
4.88/2.86	c (0,0) c  restart_blocking      = 0
4.88/2.86	c (0,0) c  agility_decay         = 0.99990
4.88/2.86	c (0,0) c  lbd_restart_rate      = 0.800
4.88/2.86	c (0,0) c  dec_restart_rate      = 0.950
4.88/2.87	c (0,0) c  blk_restart_rate      = 0.700
4.88/2.87	c (0,0) c  lbd_queue_size        = 50
4.88/2.87	c (0,0) c  dec_queue_size        = 50
4.88/2.87	c (0,0) c  trl_queue_size        = 5000
4.88/2.87	c (0,0) c  blk_restart_weight    = 1.000
4.88/2.87	c (0,0) c  inc_rst_rate          = 0
4.88/2.87	c (0,0) c  inc_rst_rate_period   = 500000
4.88/2.87	c (0,0) c  inc_lbd_rst_rate_init = 0.600
4.88/2.87	c (0,0) c  inc_dec_rst_rate_init = 0.750
4.88/2.87	c (0,0) c REDUCTION
4.88/2.87	c (0,0) c  closed_lbd            = 0
4.88/2.87	c (0,0) c  closed_lbd_rate       = 0.500
4.88/2.87	c (0,0) c  rm_simulate           = 0
4.88/2.87	c (0,0) c  rdb_eval              = 2
4.88/2.87	c (0,0) c  rdb_call              = 3
4.88/2.87	c (0,0) c  rdb_ub                = 0.500
4.88/2.87	c (0,0) c  core_lbd_cvr          = 0.800
4.88/2.87	c (0,0) c  supp_lbd_cvr          = 0.990
4.88/2.87	c (0,0) c  core_lbd_lb           = 2
4.88/2.87	c (0,0) c  supp_lbd_lb           = 2
4.88/2.87	c (0,0) c  core_lbd_prd          = 7
4.88/2.87	c (0,0) c  supp_lbd_prd          = 1
4.88/2.87	c (0,0) c  othr_lbd_prd          = 0
4.88/2.87	c (0,0) c  inc_lrn_limit         = 1000
4.88/2.87	c (0,0) c  frozen_lbd            = 30
4.88/2.87	c (0,0) c  simp_min_starts       = 100
4.88/2.87	c (0,0) c  rm_low_act_learnts    = 1
4.88/2.87	c (0,0) c  lv0_reduce_db         = 0
4.88/2.87	c (0,0) c  reduce_db_base        = 20000
4.88/2.87	c (0,0) c  reduce_db_inc         = 1000
4.88/2.87	c (0,0) c HARD
4.88/2.87	c (0,0) c  inst_check            = 200000
4.88/2.87	c (0,0) c  small_block           = 1.750
4.88/2.87	c (0,0) c  slow_restart_speed    = 400.000
4.88/2.87	c (0,0) c  slow_restart_strategy = 3
4.88/2.87	c (0,0) c  slow_lbd_restart_rate = 0.700
4.88/2.87	c (0,0) c  slow_dec_restart_rate = 1.000
4.88/2.87	c (0,0) c  slow_lbd_queue_size   = 50
4.88/2.87	c (0,0) c  slow_var_decay        = 0.950
4.88/2.87	c (0,0) c  slow_glue_threshold   = 2
4.88/2.87	c (0,0) c  slow_phase_saving     = 2
4.88/2.87	c (0,0) c  fast_restart_speed    = 125.000
4.88/2.87	c (0,0) c  fast_restart_strategy = 1
4.88/2.87	c (0,0) c  fast_lbd_restart_rate = 0.800
4.88/2.87	c (0,0) c  fast_dec_restart_rate = 0.950
4.88/2.87	c (0,0) c  fast_lbd_queue_size   = 50
4.88/2.87	c (0,0) c  fast_var_decay        = 1.000
4.88/2.87	c (0,0) c  fast_glue_threshold   = 2
4.88/2.87	c (0,0) c  fast_phase_saving     = 2
4.88/2.87	c (0,0) c STATS
4.88/2.87	c (0,0) c  stats_conf_size       = 10000
4.88/2.87	c (0,0) c  max_stats_size        = 30
4.88/2.87	c (0,0) c SOLVER
4.88/2.87	c (0,0) c  minisat               = 0
4.88/2.87	c (0,0) c Problem: 2215 variables, 52254 clauses, parsing 0.02 s
4.88/2.94	c (0,0) c  reduced to 1845 variables, 51884 clauses (grow = 0)
4.88/2.94	c (0,0) c  exclude 25 (1.4%) variables from decision variables (last cost 2)
4.88/2.94	c (0,0) c Simplification: 395 vars, 370 clauses are eliminated using 0.07 s
4.88/2.94	c (0,0) c
4.88/2.94	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
4.88/2.94	c (0,0) c
4.88/2.94	c (0,0) c    0         0         0     1820    51884        0   -nan  -nan  -nan -nan%
4.88/2.95	c (0,0) c    0         1       100     1821    51884      100   17.3   7.7  28.3 58.8%
4.88/2.96	c (0,0) c    0         1       220     1821    51884      220   16.4   7.6  27.2 55.7%
4.88/2.97	c (0,0) c    0         2       364     1823    51884      364   18.8   8.5  27.1 57.3%
4.88/2.99	c (0,0) c    0         3       536     1826    51884      536   19.4   8.4  26.9 58.9%
4.88/3.00	c (0,0) c    0         3       743     1834    51884      743   27.4   8.5  30.5 61.3%
6.16/3.03	c (0,0) c    0         3       991     1836    51884      991   35.8   8.3  32.1 62.2%
6.16/3.05	c (0,0) c    0         3      1289     1836    51884     1289   38.9   7.9  32.9 63.6%
6.16/3.09	c (0,0) c    0         7      1647     1837    51884     1647   37.9   8.4  32.2 62.1%
6.26/3.13	c (0,0) c    0        11      2076     1837    51884     2076   37.7   8.9  30.9 60.7%
6.26/3.18	c (0,0) c    0        15      2591     1840    51884     2591   38.1   9.3  32.2 60.6%
6.35/3.25	c (0,0) c    0        22      3210     1840    51884     3210   38.1  10.0  33.5 59.0%
6.46/3.33	c (0,0) c    0        24      3953     1840    51884     3954   38.2   9.7  30.8 57.5%
6.56/3.44	c (0,0) c    0        34      4844     1840    51884     4845   39.1  10.2  31.4 58.0%
6.66/3.53	c (1,0) c    0        35      5622     1840    51884     5623   40.2  10.2  29.5 58.9%
6.66/3.53	c (1,0) c
6.66/3.53	c (1,0) c
6.66/3.54	c (1,0) c variables         : 1840        (init 2215, after simp 1820, 5 non-decs, 35 csp)
6.66/3.54	c (1,0) c clauses           : 51884       (init 52254, after simp 51884)
6.66/3.54	c (1,0) c restarts          : 34          (160.63 confs/res, 50~829 confs, 0 blks, 0 last)
6.66/3.54	c (1,0) c conflicts         : 5622        (8407 /sec, 54.96% dconfs, 0.00% supp, trail 53.02w x 29.54h, jmp 1.74h)
6.66/3.54	c (1,0) c decisions         : 10908       (0.6200 vdcy, 16311 /sec, 0.00% bin, rs 0.000 s)
6.66/3.54	c (1,0) c propagations      : 1592335     (2381015 /sec, 145.98 lits/dec, 6.40% o.a.)
6.66/3.54	c (1,0) c conflict literals : 304641      (24.80% deleted; 1.08% by bin min, 0.001 s)
6.66/3.54	c (1,0) c len               : 40.160      (40.17 for all, max 176, used 169)
6.66/3.54	c (1,0) c lbd               : 10.168      (11.54 (10.17) for all, max 83, used 83, 3.977 stdev, 3.480 blk)
6.66/3.54	c (1,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
6.66/3.54	c (1,0) c simp dbs          : 1           (0.000 s)
6.66/3.54	c (1,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
6.66/3.54	c (1,0) c learnts           : 5623        (0 learnts removed, 0.00%)
6.66/3.54	c (1,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
6.66/3.54	c (1,0) c assigned lits     : 0           (0/0 probed, 0 remains)
6.66/3.54	c (1,0) c premise updates   : 11818       (3.25 /lit)
6.66/3.54	c (1,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
6.66/3.54	c (1,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
6.66/3.54	c (1,0) c lazy added bins   : 1           (1 prop + 0 conf, 0.002s)
6.66/3.54	c (1,0) c unwatched lit elim: 367         (0.00+0.12%, 0+367 of 166565+304641)
6.66/3.54	c (1,0) c classified type   : undef
6.66/3.54	c (1,0) c progress          : 0.000 %
6.66/3.54	c (1,0) c
6.66/3.54	c (1,0) c [Statistics]
6.66/3.54	c (1,0) c             learnts len        learnts lbd        lit blk size       eq vars size
6.66/3.54	c (1,0) c  tot        5622               5622              64896                  0
6.66/3.54	c (1,0) c  avg      40.167             10.169              3.480               -nan
6.66/3.54	c (1,0) c   1            0 ( 0.0%)         27 ( 0.5%)      38654 (59.6%)          0 (-nan%)
6.66/3.54	c (1,0) c   2            1 ( 0.0%)        535 ( 9.5%)       7876 (12.1%)          0 (-nan%)
6.66/3.54	c (1,0) c   3          240 ( 4.3%)        299 ( 5.3%)       4410 ( 6.8%)          0 (-nan%)
6.66/3.54	c (1,0) c   4          174 ( 3.1%)        328 ( 5.8%)       2819 ( 4.3%)          0 (-nan%)
6.66/3.54	c (1,0) c   5          199 ( 3.5%)        305 ( 5.4%)       1913 ( 2.9%)          0 (-nan%)
6.66/3.54	c (1,0) c   6          211 ( 3.8%)        340 ( 6.0%)       1334 ( 2.1%)          0 (-nan%)
6.66/3.54	c (1,0) c   7          163 ( 2.9%)        375 ( 6.7%)        997 ( 1.5%)          0 (-nan%)
6.66/3.54	c (1,0) c   8          146 ( 2.6%)        395 ( 7.0%)        785 ( 1.2%)          0 (-nan%)
6.66/3.54	c (1,0) c   9           95 ( 1.7%)        367 ( 6.5%)        705 ( 1.1%)          0 (-nan%)
6.66/3.54	c (1,0) c  10           65 ( 1.2%)        375 ( 6.7%)        598 ( 0.9%)          0 (-nan%)
6.66/3.54	c (1,0) c  11           65 ( 1.2%)        336 ( 6.0%)        469 ( 0.7%)          0 (-nan%)
6.66/3.54	c (1,0) c  12           41 ( 0.7%)        320 ( 5.7%)        471 ( 0.7%)          0 (-nan%)
6.66/3.54	c (1,0) c  13           57 ( 1.0%)        307 ( 5.5%)        371 ( 0.6%)          0 (-nan%)
6.66/3.54	c (1,0) c  14           44 ( 0.8%)        253 ( 4.5%)        306 ( 0.5%)          0 (-nan%)
6.66/3.54	c (1,0) c  15           45 ( 0.8%)        203 ( 3.6%)        240 ( 0.4%)          0 (-nan%)
6.66/3.54	c (1,0) c  16           40 ( 0.7%)        161 ( 2.9%)        228 ( 0.4%)          0 (-nan%)
6.66/3.54	c (1,0) c  17           44 ( 0.8%)        131 ( 2.3%)        252 ( 0.4%)          0 (-nan%)
6.66/3.54	c (1,0) c  18           54 ( 1.0%)        110 ( 2.0%)        211 ( 0.3%)          0 (-nan%)
6.66/3.54	c (1,0) c  19           40 ( 0.7%)         68 ( 1.2%)        230 ( 0.4%)          0 (-nan%)
6.66/3.54	c (1,0) c  20           31 ( 0.6%)         45 ( 0.8%)        194 ( 0.3%)          0 (-nan%)
6.66/3.54	c (1,0) c  21           40 ( 0.7%)         50 ( 0.9%)        144 ( 0.2%)          0 (-nan%)
6.66/3.54	c (1,0) c  22           52 ( 0.9%)         50 ( 0.9%)        127 ( 0.2%)          0 (-nan%)
6.66/3.54	c (1,0) c  23           61 ( 1.1%)         29 ( 0.5%)        114 ( 0.2%)          0 (-nan%)
6.66/3.54	c (1,0) c  24           60 ( 1.1%)          9 ( 0.2%)        119 ( 0.2%)          0 (-nan%)
6.66/3.54	c (1,0) c  25           66 ( 1.2%)         22 ( 0.4%)        104 ( 0.2%)          0 (-nan%)
6.66/3.54	c (1,0) c  26          108 ( 1.9%)         16 ( 0.3%)         84 ( 0.1%)          0 (-nan%)
6.66/3.54	c (1,0) c  27           85 ( 1.5%)         25 ( 0.4%)         98 ( 0.2%)          0 (-nan%)
6.66/3.54	c (1,0) c  28          117 ( 2.1%)         21 ( 0.4%)         88 ( 0.1%)          0 (-nan%)
6.66/3.54	c (1,0) c  29           88 ( 1.6%)         11 ( 0.2%)         87 ( 0.1%)          0 (-nan%)
6.66/3.54	c (1,0) c  30         3190 (56.7%)        109 ( 1.9%)        868 ( 1.3%)          0 (-nan%)
6.66/3.54	c (1,0) c
6.66/3.54	c (1,0) c [LBD Statistics]
6.66/3.54	c (1,0) c LBD          used lbd               used clause lbd         unused clause lbd
6.66/3.54	c (1,0) c  tot        33029                    2653                    2970
6.66/3.54	c (1,0) c  avg        3.652                   8.231                  11.898
6.66/3.54	c (1,0) c    1         1237 ( 3.7/ 3.7%)         27 ( 1.0/ 1.0%)          0 ( 0.0/ 0.0%)
6.66/3.54	c (1,0) c    2        21320 (64.5/68.3%)        485 (18.3/19.3%)         51 ( 1.7/ 1.7%)
6.66/3.54	c (1,0) c    3         2577 ( 7.8/76.1%)        207 ( 7.8/27.1%)         92 ( 3.1/ 4.8%)
6.66/3.54	c (1,0) c    4         1716 ( 5.2/81.3%)        194 ( 7.3/34.4%)        134 ( 4.5/ 9.3%)
6.66/3.54	c (1,0) c    5          773 ( 2.3/83.6%)        156 ( 5.9/40.3%)        149 ( 5.0/14.3%)
6.66/3.54	c (1,0) c    6          810 ( 2.5/86.1%)        161 ( 6.1/46.4%)        179 ( 6.0/20.4%)
6.66/3.54	c (1,0) c    7          674 ( 2.0/88.1%)        172 ( 6.5/52.8%)        203 ( 6.8/27.2%)
6.66/3.54	c (1,0) c    8          681 ( 2.1/90.2%)        166 ( 6.3/59.1%)        229 ( 7.7/34.9%)
6.66/3.54	c (1,0) c    9          598 ( 1.8/92.0%)        164 ( 6.2/65.3%)        203 ( 6.8/41.8%)
6.66/3.54	c (1,0) c   10          437 ( 1.3/93.3%)        153 ( 5.8/71.1%)        222 ( 7.5/49.2%)
6.66/3.54	c (1,0) c   11          432 ( 1.3/94.6%)        136 ( 5.1/76.2%)        200 ( 6.7/56.0%)
6.66/3.54	c (1,0) c   12          335 ( 1.0/95.6%)        123 ( 4.6/80.8%)        197 ( 6.6/62.6%)
6.66/3.54	c (1,0) c   13          345 ( 1.0/96.7%)        112 ( 4.2/85.0%)        195 ( 6.6/69.2%)
6.66/3.54	c (1,0) c   14          268 ( 0.8/97.5%)         83 ( 3.1/88.2%)        170 ( 5.7/74.9%)
6.66/3.54	c (1,0) c   15          196 ( 0.6/98.1%)         73 ( 2.8/90.9%)        130 ( 4.4/79.3%)
6.66/3.54	c (1,0) c   16          134 ( 0.4/98.5%)         48 ( 1.8/92.7%)        113 ( 3.8/83.1%)
6.66/3.54	c (1,0) c   17          117 ( 0.4/98.9%)         34 ( 1.3/94.0%)         97 ( 3.3/86.3%)
6.66/3.54	c (1,0) c   18           98 ( 0.3/99.1%)         29 ( 1.1/95.1%)         81 ( 2.7/89.1%)
6.66/3.54	c (1,0) c   19           49 ( 0.1/99.3%)         17 ( 0.6/95.7%)         51 ( 1.7/90.8%)
6.66/3.54	c (1,0) c   20           45 ( 0.1/99.4%)         13 ( 0.5/96.2%)         32 ( 1.1/91.9%)
6.66/3.54	c (1,0) c   21           26 ( 0.1/99.5%)         20 ( 0.8/97.0%)         30 ( 1.0/92.9%)
6.66/3.54	c (1,0) c   22           21 ( 0.1/99.6%)          8 ( 0.3/97.3%)         42 ( 1.4/94.3%)
6.66/3.54	c (1,0) c   23           22 ( 0.1/99.6%)          7 ( 0.3/97.5%)         22 ( 0.7/95.0%)
6.66/3.54	c (1,0) c   24           12 ( 0.0/99.7%)          3 ( 0.1/97.7%)          6 ( 0.2/95.2%)
6.66/3.54	c (1,0) c   25            9 ( 0.0/99.7%)          7 ( 0.3/97.9%)         15 ( 0.5/95.7%)
6.66/3.54	c (1,0) c   26           11 ( 0.0/99.7%)          7 ( 0.3/98.2%)          9 ( 0.3/96.0%)
6.66/3.54	c (1,0) c   27            2 ( 0.0/99.7%)          5 ( 0.2/98.4%)         20 ( 0.7/96.7%)
6.66/3.54	c (1,0) c   28            9 ( 0.0/99.8%)         10 ( 0.4/98.8%)         11 ( 0.4/97.1%)
6.66/3.54	c (1,0) c   29           20 ( 0.1/99.8%)          6 ( 0.2/99.0%)          5 ( 0.2/97.2%)
6.66/3.54	c (1,0) c   30            5 ( 0.0/99.8%)          2 ( 0.1/99.1%)         14 ( 0.5/97.7%)
6.66/3.54	c (1,0) c   31            4 ( 0.0/99.9%)          2 ( 0.1/99.1%)          9 ( 0.3/98.0%)
6.66/3.54	c (1,0) c   32            2 ( 0.0/99.9%)          2 ( 0.1/99.2%)          7 ( 0.2/98.2%)
6.66/3.54	c (1,0) c   33            0 ( 0.0/99.9%)          1 ( 0.0/99.2%)          5 ( 0.2/98.4%)
6.66/3.54	c (1,0) c   34            2 ( 0.0/99.9%)          1 ( 0.0/99.3%)          2 ( 0.1/98.5%)
6.66/3.54	c (1,0) c   35            1 ( 0.0/99.9%)          1 ( 0.0/99.3%)          3 ( 0.1/98.6%)
6.66/3.54	c (1,0) c   36            3 ( 0.0/99.9%)          1 ( 0.0/99.4%)          4 ( 0.1/98.7%)
6.66/3.54	c (1,0) c   37            2 ( 0.0/99.9%)          1 ( 0.0/99.4%)          1 ( 0.0/98.8%)
6.66/3.54	c (1,0) c   38            1 ( 0.0/99.9%)          0 ( 0.0/99.4%)          0 ( 0.0/98.8%)
6.66/3.54	c (1,0) c   39            0 ( 0.0/99.9%)          0 ( 0.0/99.4%)          0 ( 0.0/98.8%)
6.66/3.54	c (1,0) c   40            0 ( 0.0/99.9%)          0 ( 0.0/99.4%)          2 ( 0.1/98.8%)
6.66/3.54	c (1,0) c   41            0 ( 0.0/99.9%)          0 ( 0.0/99.4%)          0 ( 0.0/98.8%)
6.66/3.54	c (1,0) c   42            0 ( 0.0/99.9%)          0 ( 0.0/99.4%)          0 ( 0.0/98.8%)
6.66/3.54	c (1,0) c   43            0 ( 0.0/99.9%)          0 ( 0.0/99.4%)          0 ( 0.0/98.8%)
6.66/3.54	c (1,0) c   44            1 ( 0.0/99.9%)          1 ( 0.0/99.4%)          3 ( 0.1/98.9%)
6.66/3.54	c (1,0) c   45            0 ( 0.0/99.9%)          0 ( 0.0/99.4%)          0 ( 0.0/98.9%)
6.66/3.54	c (1,0) c   46            1 ( 0.0/99.9%)          1 ( 0.0/99.5%)          1 ( 0.0/99.0%)
6.66/3.54	c (1,0) c   47            2 ( 0.0/99.9%)          4 ( 0.2/99.6%)          1 ( 0.0/99.0%)
6.66/3.54	c (1,0) c   48            4 ( 0.0/99.9%)          1 ( 0.0/99.7%)          4 ( 0.1/99.1%)
6.66/3.54	c (1,0) c   49            4 ( 0.0/99.9%)          1 ( 0.0/99.7%)          1 ( 0.0/99.2%)
6.66/3.54	c (1,0) c   50            4 ( 0.0/99.9%)          1 ( 0.0/99.7%)          1 ( 0.0/99.2%)
6.66/3.54	c (1,0) c   51            1 ( 0.0/99.9%)          0 ( 0.0/99.7%)          0 ( 0.0/99.2%)
6.66/3.54	c (1,0) c   52            0 ( 0.0/99.9%)          1 ( 0.0/99.8%)          1 ( 0.0/99.2%)
6.66/3.54	c (1,0) c   53            3 ( 0.0/100.0%)          1 ( 0.0/99.8%)          4 ( 0.1/99.4%)
6.66/3.54	c (1,0) c   54            4 ( 0.0/100.0%)          0 ( 0.0/99.8%)          1 ( 0.0/99.4%)
6.66/3.54	c (1,0) c   55            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          2 ( 0.1/99.5%)
6.66/3.54	c (1,0) c   56            2 ( 0.0/100.0%)          0 ( 0.0/99.8%)          1 ( 0.0/99.5%)
6.66/3.54	c (1,0) c   57            0 ( 0.0/100.0%)          1 ( 0.0/99.8%)          1 ( 0.0/99.5%)
6.66/3.54	c (1,0) c   58            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/99.5%)
6.66/3.54	c (1,0) c   59            1 ( 0.0/100.0%)          0 ( 0.0/99.8%)          1 ( 0.0/99.6%)
6.66/3.54	c (1,0) c   60            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          3 ( 0.1/99.7%)
6.66/3.54	c (1,0) c   61            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/99.7%)
6.66/3.54	c (1,0) c   62            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/99.7%)
6.66/3.54	c (1,0) c   63            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          1 ( 0.0/99.7%)
6.66/3.54	c (1,0) c   64            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          2 ( 0.1/99.8%)
6.66/3.54	c (1,0) c   65            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/99.8%)
6.66/3.54	c (1,0) c   66            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/99.8%)
6.66/3.54	c (1,0) c   67            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/99.8%)
6.66/3.54	c (1,0) c   68            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/99.8%)
6.66/3.54	c (1,0) c   69            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/99.8%)
6.66/3.54	c (1,0) c   70            1 ( 0.0/100.0%)          1 ( 0.0/99.9%)          0 ( 0.0/99.8%)
6.66/3.54	c (1,0) c   71            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.8%)
6.66/3.54	c (1,0) c   72            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.8%)
6.66/3.54	c (1,0) c   73            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.8%)
6.66/3.54	c (1,0) c   74            0 ( 0.0/100.0%)          2 ( 0.1/100.0%)          2 ( 0.1/99.8%)
6.66/3.54	c (1,0) c   75            4 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
6.66/3.54	c (1,0) c   76            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
6.66/3.54	c (1,0) c   77            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
6.66/3.54	c (1,0) c   78            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
6.66/3.54	c (1,0) c   79            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.1/100.0%)
6.66/3.54	c (1,0) c   80            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
6.66/3.54	c (1,0) c   81            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
6.66/3.54	c (1,0) c   82            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
6.66/3.54	c (1,0) c   83            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
6.66/3.54	c (1,0) c
6.66/3.54	c (1,0) c Memory used       : 25.00 MB
6.66/3.54	c (1,0) c CPU time          : 0.669 s
6.66/3.54	c (1,0) c Real time         : 0.680 s
6.66/3.54	c (1,0) c
6.66/3.54	c (1,0) s SATISFIABLE
6.66/3.56	c (1,0) SatSolver.solve End
6.66/3.56	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.66/3.56	c (1,0) Show results Begin
6.83/3.64	c (1,0) ce[0][0][1] = 13
6.83/3.64	c (1,0) ce[0][0][2] = 11
6.83/3.64	c (1,0) ce[0][0][3] = 8
6.83/3.64	c (1,0) ce[0][0][4] = 9
6.83/3.64	c (1,0) ce[0][1][2] = 2
6.83/3.64	c (1,0) ce[0][1][3] = 5
6.83/3.64	c (1,0) ce[0][1][4] = 22
6.83/3.64	c (1,0) ce[0][2][3] = 3
6.83/3.64	c (1,0) ce[0][2][4] = 20
6.83/3.64	c (1,0) ce[0][3][4] = 17
6.83/3.64	c (1,0) ce[1][0][1] = 21
6.83/3.64	c (1,0) ce[1][0][2] = 15
6.83/3.64	c (1,0) ce[1][0][3] = 14
6.83/3.64	c (1,0) ce[1][0][4] = 4
6.83/3.64	c (1,0) ce[1][1][2] = 6
6.83/3.64	c (1,0) ce[1][1][3] = 7
6.83/3.64	c (1,0) ce[1][1][4] = 25
6.83/3.64	c (1,0) ce[1][2][3] = 1
6.83/3.64	c (1,0) ce[1][2][4] = 19
6.83/3.64	c (1,0) ce[1][3][4] = 18
6.83/3.64	c (1,0) cie[0][0] = 10
6.83/3.64	c (1,0) cie[0][1] = 24
6.83/3.64	c (1,0) cie[0][2] = 16
6.83/3.64	c (1,0) cie[0][3] = 12
6.83/3.64	c (1,0) cie[0][4] = 23
6.83/3.64	c (1,0) cn[0][0] = 11
6.83/3.64	c (1,0) cn[0][1] = 24
6.83/3.64	c (1,0) cn[0][2] = 22
6.83/3.64	c (1,0) cn[0][3] = 19
6.83/3.64	c (1,0) cn[0][4] = 2
6.83/3.64	c (1,0) cn[1][0] = 21
6.83/3.64	c (1,0) cn[1][1] = 0
6.83/3.64	c (1,0) cn[1][2] = 6
6.83/3.64	c (1,0) cn[1][3] = 7
6.83/3.64	c (1,0) cn[1][4] = 25
6.83/3.64	s SATISFIABLE
6.83/3.64	v <instantiation>
6.83/3.64	v     <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4]</list>
6.83/3.64	v     <values>11 24 22 19 2 21 0 6 7 25 13 11 8 9 2 5 22 3 20 17 21 15 14 4 6 7 25 1 19 18 10 24 16 12 23</values>
6.83/3.64	v </instantiation>
6.83/3.64	c (1,0) Show results End
6.83/3.64	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
6.83/3.64	c (1,0) 1,1,STOP-AFTER(ALL)
6.83/3.64	c END-Prog: Thu Sep 12 16:37:59 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388385-1568299118/watcher-4388385-1568299118 -o /tmp/evaluation-result-4388385-1568299118/solver-4388385-1568299118 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9752 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388385-1568299118.xml 

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

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


[startup+0.102346 s]*
/proc/loadavg: 2.22 2.15 2.10 4/229 14942
/proc/meminfo: memFree=24639460/32770624 swapFree=66957008/67108860
[pid=14925] ppid=14922 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14925/stat : 14925 (scop.sh) S 14922 14925 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405825708 115843072 349 33554432000 4194304 5098028 140720617386384 140720617383640 139986617115260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35151872 140720617390888 140720617391216 140720617391216 140720617394125 0
/proc/14925/statm: 28282 349 296 221 0 87 0
[pid=14928] ppid=14925 vsize=15016308 memory=77472 CPUtime=0.11 cores=1,3,5,7
/proc/14928/stat : 14928 (java) S 14925 14925 8853 0 -1 1077944320 7645 0 0 0 9 2 0 0 20 0 15 0 405825708 15376699392 19368 33554432000 4194304 4196468 140720994254432 140720994236976 139758634446583 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
/proc/14928/statm: 3754077 19368 2890 1 0 3716482 0
[pid=14928/tid=14929] ppid=14925 vsize=15013720 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/14928/task/14929/stat : 14929 (java) R 14925 14925 8853 0 -1 4202560 5428 0 0 0 7 2 0 0 20 0 15 0 405825708 15374049280 18509 33554432000 4194304 4196468 140720994254432 139758606230832 139758627126301 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14930] ppid=14925 vsize=15013720 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14930/stat : 14930 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825710 15374049280 18509 33554432000 4194304 4196468 140720994254432 139758638689424 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14931] ppid=14925 vsize=15013720 memory=139910207710848 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14931/stat : 14931 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825710 15374049280 18509 33554432000 4194304 4196468 140720994254432 139758095293456 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14932] ppid=14925 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14932/stat : 14932 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825710 15374049280 18574 33554432000 4194304 4196468 140720994254432 139758094240656 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14933] ppid=14925 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14933/stat : 14933 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825710 15374049280 18574 33554432000 4194304 4196468 140720994254432 139758093187856 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14934] ppid=14925 vsize=15013720 memory=139910207710848 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14934/stat : 14934 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825711 15374049280 18574 33554432000 4194304 4196468 140720994254432 139757604821360 139758634457730 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14935] ppid=14925 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14935/stat : 14935 (java) S 14925 14925 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405825712 15374049280 18640 33554432000 4194304 4196468 140720994254432 139757229171744 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14936] ppid=14925 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14936/stat : 14936 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825712 15374049280 18640 33554432000 4194304 4196468 140720994254432 139756960736112 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14937] ppid=14925 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14937/stat : 14937 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825714 15374049280 18640 33554432000 4194304 4196468 140720994254432 139756586227536 139758634465179 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14938] ppid=14925 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14938/stat : 14938 (java) S 14925 14925 8853 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 405825714 15374049280 18640 33554432000 4194304 4196468 140720994254432 139757603769200 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14939] ppid=14925 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14939/stat : 14939 (java) S 14925 14925 8853 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405825714 15374049280 18706 33554432000 4194304 4196468 140720994254432 139757602716400 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14940] ppid=14925 vsize=15013720 memory=139910207710848 CPUtime=0.01 cores=1,3,5,7
/proc/14928/task/14940/stat : 14940 (java) S 14925 14925 8853 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 405825715 15374049280 18706 33554432000 4194304 4196468 140720994254432 139757601663600 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14941] ppid=14925 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14941/stat : 14941 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825715 15374049280 18706 33554432000 4194304 4196468 140720994254432 139756088322784 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14942] ppid=14925 vsize=15013720 memory=139910207710848 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14942/stat : 14942 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825715 15374049280 18706 33554432000 4194304 4196468 140720994254432 139757600610992 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 78868 KiB

[startup+0.211283 s]*
/proc/loadavg: 2.22 2.15 2.10 3/229 14942
/proc/meminfo: memFree=24580072/32770624 swapFree=66957008/67108860
[pid=14925] ppid=14922 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14925/stat : 14925 (scop.sh) S 14922 14925 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405825708 115843072 349 33554432000 4194304 5098028 140720617386384 140720617383640 139986617115260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35151872 140720617390888 140720617391216 140720617391216 140720617394125 0
/proc/14925/statm: 28282 349 296 221 0 87 0
[pid=14928] ppid=14925 vsize=15012696 memory=86744 CPUtime=0.24 cores=1,3,5,7
/proc/14928/stat : 14928 (java) S 14925 14925 8853 0 -1 1077944320 11246 0 0 0 21 3 0 0 20 0 15 0 405825708 15373000704 21686 33554432000 4194304 4196468 140720994254432 140720994236976 139758634446583 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
/proc/14928/statm: 3753174 21686 2955 1 0 3715579 0
[pid=14928/tid=14929] ppid=14925 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/14928/task/14929/stat : 14929 (java) R 14925 14925 8853 0 -1 4202560 8964 0 0 0 17 3 0 0 20 0 15 0 405825708 15373000704 21686 33554432000 4194304 4196468 140720994254432 139758606273984 139758634468509 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14930] ppid=14925 vsize=15012696 memory=8952 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14930/stat : 14930 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825710 15373000704 21686 33554432000 4194304 4196468 140720994254432 139758638689424 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14931] ppid=14925 vsize=15012696 memory=288370286359422592 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14931/stat : 14931 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825710 15373000704 21686 33554432000 4194304 4196468 140720994254432 139758095293456 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14932] ppid=14925 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14932/stat : 14932 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825710 15373000704 21686 33554432000 4194304 4196468 140720994254432 139758094240656 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14933] ppid=14925 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14933/stat : 14933 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825710 15373000704 21686 33554432000 4194304 4196468 140720994254432 139758093187856 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14934] ppid=14925 vsize=15012696 memory=139910207710848 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14934/stat : 14934 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825711 15373000704 21686 33554432000 4194304 4196468 140720994254432 139757604821360 139758634457730 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14935] ppid=14925 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14935/stat : 14935 (java) S 14925 14925 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405825712 15373000704 21686 33554432000 4194304 4196468 140720994254432 139757229171744 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14936] ppid=14925 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14936/stat : 14936 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825712 15373000704 21686 33554432000 4194304 4196468 140720994254432 139756960736112 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14937] ppid=14925 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14937/stat : 14937 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825714 15373000704 21686 33554432000 4194304 4196468 140720994254432 139756586227536 139758634465179 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14938] ppid=14925 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14938/stat : 14938 (java) S 14925 14925 8853 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 405825714 15373000704 21686 33554432000 4194304 4196468 140720994254432 139757603769200 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14939] ppid=14925 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14939/stat : 14939 (java) S 14925 14925 8853 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 405825714 15373000704 21686 33554432000 4194304 4196468 140720994254432 139757602716400 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14940] ppid=14925 vsize=15012696 memory=139910207710848 CPUtime=0.03 cores=1,3,5,7
/proc/14928/task/14940/stat : 14940 (java) R 14925 14925 8853 0 -1 4202560 486 0 0 0 3 0 0 0 20 0 15 0 405825715 15373000704 21686 33554432000 4194304 4196468 140720994254432 139757601663600 139758634467930 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14941] ppid=14925 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14941/stat : 14941 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825715 15373000704 21686 33554432000 4194304 4196468 140720994254432 139756088322784 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14942] ppid=14925 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14942/stat : 14942 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825715 15373000704 21686 33554432000 4194304 4196468 140720994254432 139757600610992 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88140 KiB

[startup+0.310359 s]*
/proc/loadavg: 2.22 2.15 2.10 3/229 14942
/proc/meminfo: memFree=24536296/32770624 swapFree=66957008/67108860
[pid=14925] ppid=14922 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14925/stat : 14925 (scop.sh) S 14922 14925 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405825708 115843072 349 33554432000 4194304 5098028 140720617386384 140720617383640 139986617115260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35151872 140720617390888 140720617391216 140720617391216 140720617394125 0
/proc/14925/statm: 28282 349 296 221 0 87 0
[pid=14928] ppid=14925 vsize=15012696 memory=90428 CPUtime=0.43 cores=1,3,5,7
/proc/14928/stat : 14928 (java) S 14925 14925 8853 0 -1 1077944320 12176 0 0 0 39 4 0 0 20 0 15 0 405825708 15373000704 22607 33554432000 4194304 4196468 140720994254432 140720994236976 139758634446583 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
/proc/14928/statm: 3753174 22607 3034 1 0 3715579 0
[pid=14928/tid=14929] ppid=14925 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/14928/task/14929/stat : 14929 (java) R 14925 14925 8853 0 -1 4202560 9720 0 0 0 26 3 0 0 20 0 15 0 405825708 15373000704 22607 33554432000 4194304 4196468 140720994254432 139758606264080 139758614721735 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14930] ppid=14925 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14930/stat : 14930 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825710 15373000704 22607 33554432000 4194304 4196468 140720994254432 139758638689424 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14931] ppid=14925 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14931/stat : 14931 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825710 15373000704 22607 33554432000 4194304 4196468 140720994254432 139758095293456 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14932] ppid=14925 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14932/stat : 14932 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825710 15373000704 22607 33554432000 4194304 4196468 140720994254432 139758094240656 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14933] ppid=14925 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14933/stat : 14933 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825710 15373000704 22607 33554432000 4194304 4196468 140720994254432 139758093187856 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14934] ppid=14925 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14934/stat : 14934 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825711 15373000704 22607 33554432000 4194304 4196468 140720994254432 139757604821360 139758634457730 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14935] ppid=14925 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14935/stat : 14935 (java) S 14925 14925 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405825712 15373000704 22607 33554432000 4194304 4196468 140720994254432 139757229171744 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14936] ppid=14925 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14936/stat : 14936 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825712 15373000704 22607 33554432000 4194304 4196468 140720994254432 139756960736112 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14937] ppid=14925 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14937/stat : 14937 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825714 15373000704 22607 33554432000 4194304 4196468 140720994254432 139756586227536 139758634465179 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14938] ppid=14925 vsize=15012696 memory=4628975386420216973 CPUtime=0.03 cores=1,3,5,7
/proc/14928/task/14938/stat : 14938 (java) S 14925 14925 8853 0 -1 1077944384 396 0 0 0 3 0 0 0 20 0 15 0 405825714 15373000704 22607 33554432000 4194304 4196468 140720994254432 139757603769200 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14939] ppid=14925 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14928/task/14939/stat : 14939 (java) S 14925 14925 8853 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 15 0 405825714 15373000704 22607 33554432000 4194304 4196468 140720994254432 139757602716400 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14940] ppid=14925 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14928/task/14940/stat : 14940 (java) S 14925 14925 8853 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 15 0 405825715 15373000704 22607 33554432000 4194304 4196468 140720994254432 139757601663600 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14941] ppid=14925 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14941/stat : 14941 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825715 15373000704 22607 33554432000 4194304 4196468 140720994254432 139756088322784 139758634456789 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14942] ppid=14925 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14942/stat : 14942 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825715 15373000704 22607 33554432000 4194304 4196468 140720994254432 139757600610992 139758634457730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91824 KiB

[startup+0.705018 s]
/proc/loadavg: 2.22 2.15 2.10 3/229 14942
/proc/meminfo: memFree=24428380/32770624 swapFree=66957008/67108860
[pid=14925] ppid=14922 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14925/stat : 14925 (scop.sh) S 14922 14925 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405825708 115843072 349 33554432000 4194304 5098028 140720617386384 140720617383640 139986617115260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35151872 140720617390888 140720617391216 140720617391216 140720617394125 0
/proc/14925/statm: 28282 349 296 221 0 87 0
[pid=14928] ppid=14925 vsize=15021092 memory=130332 CPUtime=1.02 cores=1,3,5,7
/proc/14928/stat : 14928 (java) S 14925 14925 8853 0 -1 1077944320 19990 0 0 0 96 6 0 0 20 0 15 0 405825708 15381598208 32583 33554432000 4194304 4196468 140720994254432 140720994236976 139758634446583 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
/proc/14928/statm: 3755273 32583 3201 1 0 3716603 0
[pid=14928/tid=14929] ppid=14925 vsize=15021092 memory=37520 CPUtime=0.67 cores=1,3,5,7
/proc/14928/task/14929/stat : 14929 (java) R 14925 14925 8853 0 -1 4202560 17021 0 0 0 62 5 0 0 20 0 15 0 405825708 15381598208 32583 33554432000 4194304 4196468 140720994254432 139758606282112 139758617629165 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14930] ppid=14925 vsize=15021092 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14930/stat : 14930 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825710 15381598208 32583 33554432000 4194304 4196468 140720994254432 139758638689424 139758634456789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14931] ppid=14925 vsize=15021092 memory=988 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14931/stat : 14931 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825710 15381598208 32583 33554432000 4194304 4196468 140720994254432 139758095293456 139758634456789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14932] ppid=14925 vsize=15021092 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14932/stat : 14932 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825710 15381598208 32583 33554432000 4194304 4196468 140720994254432 139758094240656 139758634456789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14933] ppid=14925 vsize=15021092 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14933/stat : 14933 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825710 15381598208 32583 33554432000 4194304 4196468 140720994254432 139758093187856 139758634456789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14934] ppid=14925 vsize=15021092 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14934/stat : 14934 (java) S 14925 14925 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405825711 15381598208 32583 33554432000 4194304 4196468 140720994254432 139757604821360 139758634457730 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14935] ppid=14925 vsize=15021092 memory=6092 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14935/stat : 14935 (java) S 14925 14925 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405825712 15381598208 32583 33554432000 4194304 4196468 140720994254432 139757229171744 139758634456789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14936] ppid=14925 vsize=15021092 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14936/stat : 14936 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825712 15381598208 32583 33554432000 4194304 4196468 140720994254432 139756960736112 139758634456789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14937] ppid=14925 vsize=15021092 memory=732 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14937/stat : 14937 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825714 15381598208 32583 33554432000 4194304 4196468 140720994254432 139756586227536 139758634465179 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14938] ppid=14925 vsize=15021092 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/14928/task/14938/stat : 14938 (java) S 14925 14925 8853 0 -1 1077944384 581 0 0 0 8 0 0 0 20 0 15 0 405825714 15381598208 32583 33554432000 4194304 4196468 140720994254432 139757603769200 139758634457730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14939] ppid=14925 vsize=15021092 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/14928/task/14939/stat : 14939 (java) S 14925 14925 8853 0 -1 1077944384 455 0 0 0 8 0 0 0 20 0 15 0 405825714 15381598208 32583 33554432000 4194304 4196468 140720994254432 139757602716400 139758634457730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14940] ppid=14925 vsize=15021092 memory=4008 CPUtime=0.15 cores=1,3,5,7
/proc/14928/task/14940/stat : 14940 (java) S 14925 14925 8853 0 -1 1077944384 598 0 0 0 15 0 0 0 20 0 15 0 405825715 15381598208 32583 33554432000 4194304 4196468 140720994254432 139757601663600 139758634457730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14941] ppid=14925 vsize=15021092 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14941/stat : 14941 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825715 15381598208 32583 33554432000 4194304 4196468 140720994254432 139756088322784 139758634456789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
[pid=14928/tid=14942] ppid=14925 vsize=15021092 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/14928/task/14942/stat : 14942 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825715 15381598208 32583 33554432000 4194304 4196468 140720994254432 139757600610992 139758634457730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32673792 140720994255598 140720994256026 140720994256026 140720994258895 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131728 KiB

[startup+1.50128 s]
/proc/loadavg: 2.22 2.15 2.10 3/229 14942
/proc/meminfo: memFree=24196624/32770624 swapFree=66957008/67108860
[pid=14925] ppid=14922 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14925/stat : 14925 (scop.sh) S 14922 14925 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405825708 115843072 349 33554432000 4194304 5098028 140720617386384 140720617383640 139986617115260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35151872 140720617390888 140720617391216 140720617391216 140720617394125 0
/proc/14925/statm: 28282 349 296 221 0 87 0

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

Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 191012 KiB

[startup+3.11028 s]
/proc/loadavg: 2.22 2.15 2.10 3/234 14963
/proc/meminfo: memFree=23364808/32770624 swapFree=66957008/67108860
[pid=14925] ppid=14922 vsize=113128 memory=1476 CPUtime=4.88 cores=1,3,5,7
/proc/14925/stat : 14925 (scop.sh) S 14922 14925 8853 0 -1 4202496 583 26190 0 0 0 0 475 13 20 0 1 0 405825708 115843072 369 33554432000 4194304 5098028 140720617386384 140720617383128 139986617115260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35151872 140720617390888 140720617391216 140720617391216 140720617394125 0
/proc/14925/statm: 28282 369 311 221 0 87 0
[pid=14943] ppid=14925 vsize=8068440 memory=119452 CPUtime=1.14 cores=1,3,5,7
/proc/14943/stat : 14943 (java) S 14925 14925 8853 0 -1 1077944320 19669 0 0 0 107 7 0 0 20 0 19 0 405825923 8262082560 29863 33554432000 4194304 4196468 140731098323808 140731098306352 140294291255031 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
/proc/14943/statm: 2017110 29863 3202 1 0 1978454 0
[pid=14958] ppid=14943 vsize=21960 memory=7544 CPUtime=0.24 cores=1,3,5,7
/proc/14958/stat : 14958 (glueminisat-sim) R 14943 14925 8853 0 -1 4202496 2540 0 0 0 24 0 0 0 20 0 1 0 405825994 22487040 1886 33554432000 4194304 4452875 140728978218544 140728978213576 140609437224839 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552096 6554264 39444480 140728978219871 140728978220071 140728978220071 140728978223021 0
/proc/14958/statm: 5490 1886 373 64 0 1694 0
[pid=14943/tid=14944] ppid=14925 vsize=8068440 memory=4580 CPUtime=0.73 cores=1,3,5,7
/proc/14943/task/14944/stat : 14944 (java) S 14925 14925 8853 0 -1 1077944384 16721 0 0 0 68 5 0 0 20 0 19 0 405825923 8262082560 29863 33554432000 4194304 4196468 140731098323808 140294263095200 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14945] ppid=14925 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14945/stat : 14945 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405825924 8262082560 29863 33554432000 4194304 4196468 140731098323808 140294295496976 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14946] ppid=14925 vsize=8068440 memory=134524 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14946/stat : 14946 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405825924 8262082560 29863 33554432000 4194304 4196468 140731098323808 140294101260688 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14947] ppid=14925 vsize=8068440 memory=279820206345616 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14947/stat : 14947 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405825924 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293775723024 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14948] ppid=14925 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14948/stat : 14948 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405825924 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293774670480 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14949] ppid=14925 vsize=8068440 memory=139912854634923 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14949/stat : 14949 (java) S 14925 14925 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405825926 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293334907376 140294291266178 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14950] ppid=14925 vsize=8068440 memory=139912854634929 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14950/stat : 14950 (java) S 14925 14925 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405825926 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293227668896 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14951] ppid=14925 vsize=8068440 memory=139912854635043 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14951/stat : 14951 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405825926 8262082560 29863 33554432000 4194304 4196468 140731098323808 140292959233520 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14952] ppid=14925 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14952/stat : 14952 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140292584725200 140294291273627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14953] ppid=14925 vsize=8068440 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14943/task/14953/stat : 14953 (java) S 14925 14925 8853 0 -1 1077944384 666 0 0 0 8 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293333854192 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14954] ppid=14925 vsize=8068440 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14943/task/14954/stat : 14954 (java) S 14925 14925 8853 0 -1 1077944384 372 0 0 0 8 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293332801648 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14955] ppid=14925 vsize=8068440 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/14943/task/14955/stat : 14955 (java) S 14925 14925 8853 0 -1 1077944384 520 0 0 0 19 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293331749104 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14956] ppid=14925 vsize=8068440 memory=234 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14956/stat : 14956 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140292086819424 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14957] ppid=14925 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14957/stat : 14957 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293330697008 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14959] ppid=14925 vsize=8068440 memory=1904 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14959/stat : 14959 (java) S 14925 14925 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405825994 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293322663488 140294291279641 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14961] ppid=14925 vsize=8068440 memory=279820206994912 CPUtime=0.01 cores=1,3,5,7
/proc/14943/task/14961/stat : 14961 (java) S 14925 14925 8853 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 405825994 8262082560 29863 33554432000 4194304 4196468 140731098323808 140291549933712 140294291276957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14962] ppid=14925 vsize=8068440 memory=288230600329134386 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14962/stat : 14962 (java) S 14925 14925 8853 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405825994 8262082560 29863 33554432000 4194304 4196468 140731098323808 140291415710992 140294291276957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14963] ppid=14925 vsize=8068440 memory=15817781274740998 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14963/stat : 14963 (java) S 14925 14925 8853 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405825997 8262082560 29863 33554432000 4194304 4196468 140731098323808 140291684162608 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 8203528 KiB
Current children cumulated memory: 128472 KiB

[startup+3.65359 s]
# the end of solver process 14925 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.70831 s, system=0.234637 s

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

[startup+3.20099 s]
/proc/loadavg: 2.22 2.15 2.10 3/234 14963
/proc/meminfo: memFree=23364808/32770624 swapFree=66957008/67108860
[pid=14925] ppid=14922 vsize=113128 memory=1476 CPUtime=4.88 cores=1,3,5,7
/proc/14925/stat : 14925 (scop.sh) S 14922 14925 8853 0 -1 4202496 583 26190 0 0 0 0 475 13 20 0 1 0 405825708 115843072 369 33554432000 4194304 5098028 140720617386384 140720617383128 139986617115260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35151872 140720617390888 140720617391216 140720617391216 140720617394125 0
/proc/14925/statm: 28282 369 311 221 0 87 0
[pid=14943] ppid=14925 vsize=8068440 memory=119452 CPUtime=1.14 cores=1,3,5,7
/proc/14943/stat : 14943 (java) S 14925 14925 8853 0 -1 1077944320 19669 0 0 0 107 7 0 0 20 0 19 0 405825923 8262082560 29863 33554432000 4194304 4196468 140731098323808 140731098306352 140294291255031 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
/proc/14943/statm: 2017110 29863 3202 1 0 1978454 0
[pid=14958] ppid=14943 vsize=21960 memory=7544 CPUtime=0.33 cores=1,3,5,7
/proc/14958/stat : 14958 (glueminisat-sim) R 14943 14925 8853 0 -1 4202496 2577 0 0 0 33 0 0 0 20 0 1 0 405825994 22487040 1886 33554432000 4194304 4452875 140728978218544 140728978213576 140609437224839 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552096 6554264 39444480 140728978219871 140728978220071 140728978220071 140728978223021 0
/proc/14958/statm: 5490 1886 373 64 0 1694 0
[pid=14943/tid=14944] ppid=14925 vsize=8068440 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/14943/task/14944/stat : 14944 (java) S 14925 14925 8853 0 -1 1077944384 16721 0 0 0 68 5 0 0 20 0 19 0 405825923 8262082560 29863 33554432000 4194304 4196468 140731098323808 140294263095200 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14945] ppid=14925 vsize=8068440 memory=2308 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14945/stat : 14945 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405825924 8262082560 29863 33554432000 4194304 4196468 140731098323808 140294295496976 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14946] ppid=14925 vsize=8068440 memory=4516 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14946/stat : 14946 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405825924 8262082560 29863 33554432000 4194304 4196468 140731098323808 140294101260688 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14947] ppid=14925 vsize=8068440 memory=6724 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14947/stat : 14947 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405825924 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293775723024 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14948] ppid=14925 vsize=8068440 memory=8932 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14948/stat : 14948 (java) S 14925 14925 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405825924 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293774670480 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14949] ppid=14925 vsize=8068440 memory=11140 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14949/stat : 14949 (java) S 14925 14925 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405825926 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293334907376 140294291266178 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14950] ppid=14925 vsize=8068440 memory=13348 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14950/stat : 14950 (java) S 14925 14925 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405825926 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293227668896 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14951] ppid=14925 vsize=8068440 memory=15556 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14951/stat : 14951 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405825926 8262082560 29863 33554432000 4194304 4196468 140731098323808 140292959233520 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14952] ppid=14925 vsize=8068440 memory=17764 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14952/stat : 14952 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140292584725200 140294291273627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14953] ppid=14925 vsize=8068440 memory=19972 CPUtime=0.08 cores=1,3,5,7
/proc/14943/task/14953/stat : 14953 (java) S 14925 14925 8853 0 -1 1077944384 666 0 0 0 8 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293333854192 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14954] ppid=14925 vsize=8068440 memory=22180 CPUtime=0.08 cores=1,3,5,7
/proc/14943/task/14954/stat : 14954 (java) S 14925 14925 8853 0 -1 1077944384 372 0 0 0 8 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293332801648 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14955] ppid=14925 vsize=8068440 memory=24388 CPUtime=0.19 cores=1,3,5,7
/proc/14943/task/14955/stat : 14955 (java) S 14925 14925 8853 0 -1 1077944384 520 0 0 0 19 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293331749104 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14956] ppid=14925 vsize=8068440 memory=26596 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14956/stat : 14956 (java) S 14925 14925 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140292086819424 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14957] ppid=14925 vsize=8068440 memory=28804 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14957/stat : 14957 (java) S 14925 14925 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405825929 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293330697008 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14959] ppid=14925 vsize=8068440 memory=37537 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14959/stat : 14959 (java) S 14925 14925 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405825994 8262082560 29863 33554432000 4194304 4196468 140731098323808 140293322663488 140294291279641 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14961] ppid=14925 vsize=8068440 memory=4420 CPUtime=0.01 cores=1,3,5,7
/proc/14943/task/14961/stat : 14961 (java) S 14925 14925 8853 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 405825994 8262082560 29863 33554432000 4194304 4196468 140731098323808 140291549933712 140294291276957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14962] ppid=14925 vsize=8068440 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14962/stat : 14962 (java) S 14925 14925 8853 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405825994 8262082560 29863 33554432000 4194304 4196468 140731098323808 140291415710992 140294291276957 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14963] ppid=14925 vsize=8068440 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/14943/task/14963/stat : 14963 (java) S 14925 14925 8853 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405825997 8262082560 29863 33554432000 4194304 4196468 140731098323808 140291684162608 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 8203528 KiB
Current children cumulated memory: 128472 KiB

[startup+3.60083 s]
/proc/loadavg: 2.22 2.15 2.10 3/234 14963
/proc/meminfo: memFree=23364808/32770624 swapFree=66957008/67108860
[pid=14925] ppid=14922 vsize=113128 memory=1476 CPUtime=4.88 cores=1,3,5,7
/proc/14925/stat : 14925 (scop.sh) S 14922 14925 8853 0 -1 4202496 583 26190 0 0 0 0 475 13 20 0 1 0 405825708 115843072 369 33554432000 4194304 5098028 140720617386384 140720617383128 139986617115260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35151872 140720617390888 140720617391216 140720617391216 140720617394125 0
/proc/14925/statm: 28282 369 311 221 0 87 0
[pid=14943] ppid=14925 vsize=7937364 memory=118940 CPUtime=1.95 cores=1,3,5,7
/proc/14943/stat : 14943 (java) S 14925 14925 8853 0 -1 1077944320 20132 2727 0 0 120 7 67 1 20 0 17 0 405825923 8127860736 29735 33554432000 4194304 4196468 140731098323808 140731098306352 140294291255031 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
/proc/14943/statm: 1984341 29735 3213 1 0 1945685 0
[pid=14943/tid=14944] ppid=14925 vsize=7937364 memory=-7824251494390847842 CPUtime=1.45 cores=1,3,5,7
/proc/14943/task/14944/stat : 14944 (java) R 14925 14925 8853 0 -1 4202560 16898 2727 0 0 72 5 67 1 20 0 17 0 405825923 8127860736 29735 33554432000 4194304 4196468 140731098323808 140294263092800 140294291266966 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14945] ppid=14925 vsize=7937364 memory=1056 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14945/stat : 14945 (java) S 14925 14925 8853 0 -1 1077944384 2 2727 0 0 0 0 67 1 20 0 17 0 405825924 8127860736 29735 33554432000 4194304 4196468 140731098323808 140294295496976 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14946] ppid=14925 vsize=7937364 memory=1712 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14946/stat : 14946 (java) S 14925 14925 8853 0 -1 1077944384 1 2727 0 0 0 0 67 1 20 0 17 0 405825924 8127860736 29735 33554432000 4194304 4196468 140731098323808 140294101260688 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14947] ppid=14925 vsize=7937364 memory=6092 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14947/stat : 14947 (java) S 14925 14925 8853 0 -1 1077944384 1 2727 0 0 0 0 67 1 20 0 17 0 405825924 8127860736 29735 33554432000 4194304 4196468 140731098323808 140293775723024 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14948] ppid=14925 vsize=7937364 memory=11624 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14948/stat : 14948 (java) S 14925 14925 8853 0 -1 1077944384 2 2727 0 0 0 0 67 1 20 0 17 0 405825924 8127860736 29735 33554432000 4194304 4196468 140731098323808 140293774670480 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14949] ppid=14925 vsize=7937364 memory=732 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14949/stat : 14949 (java) S 14925 14925 8853 0 -1 1077944384 5 2727 0 0 0 0 67 1 20 0 17 0 405825926 8127860736 29735 33554432000 4194304 4196468 140731098323808 140293334907376 140294291266178 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14950] ppid=14925 vsize=7937364 memory=776 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14950/stat : 14950 (java) S 14925 14925 8853 0 -1 1077944384 13 2727 0 0 0 0 67 1 20 0 17 0 405825926 8127860736 29735 33554432000 4194304 4196468 140731098323808 140293227668896 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14951] ppid=14925 vsize=7937364 memory=1560 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14951/stat : 14951 (java) S 14925 14925 8853 0 -1 1077944384 1 2727 0 0 0 0 67 1 20 0 17 0 405825926 8127860736 29735 33554432000 4194304 4196468 140731098323808 140292959233520 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14952] ppid=14925 vsize=7937364 memory=4008 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14952/stat : 14952 (java) S 14925 14925 8853 0 -1 1077944384 3 2727 0 0 0 0 67 1 20 0 17 0 405825929 8127860736 29735 33554432000 4194304 4196468 140731098323808 140292584725200 140294291273627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14953] ppid=14925 vsize=7937364 memory=1096 CPUtime=0.78 cores=1,3,5,7
/proc/14943/task/14953/stat : 14953 (java) S 14925 14925 8853 0 -1 1077944384 672 2727 0 0 10 0 67 1 20 0 17 0 405825929 8127860736 29735 33554432000 4194304 4196468 140731098323808 140293333854192 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14954] ppid=14925 vsize=7937364 memory=2828 CPUtime=0.78 cores=1,3,5,7
/proc/14943/task/14954/stat : 14954 (java) R 14925 14925 8853 0 -1 1077944384 385 2727 0 0 10 0 67 1 20 0 17 0 405825929 8127860736 29735 33554432000 4194304 4196468 140731098323808 140293332801648 140294291266178 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14955] ppid=14925 vsize=7937364 memory=1164 CPUtime=0.91 cores=1,3,5,7
/proc/14943/task/14955/stat : 14955 (java) R 14925 14925 8853 0 -1 4202560 611 2727 0 0 23 0 67 1 20 0 17 0 405825929 8127860736 29735 33554432000 4194304 4196468 140731098323808 140293331749104 140294283475936 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14956] ppid=14925 vsize=7937364 memory=14008 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14956/stat : 14956 (java) S 14925 14925 8853 0 -1 1077944384 3 2727 0 0 0 0 67 1 20 0 17 0 405825929 8127860736 29735 33554432000 4194304 4196468 140731098323808 140292086819424 140294291265237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14957] ppid=14925 vsize=7937364 memory=12040 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14957/stat : 14957 (java) S 14925 14925 8853 0 -1 1077944384 1 2727 0 0 0 0 67 1 20 0 17 0 405825929 8127860736 29735 33554432000 4194304 4196468 140731098323808 140293330697008 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14959] ppid=14925 vsize=7937364 memory=2124 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14959/stat : 14959 (java) S 14925 14925 8853 0 -1 1077944384 29 2727 0 0 0 0 67 1 20 0 17 0 405825994 8127860736 29735 33554432000 4194304 4196468 140731098323808 140293322662672 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
[pid=14943/tid=14963] ppid=14925 vsize=7937364 memory=1560 CPUtime=0.68 cores=1,3,5,7
/proc/14943/task/14963/stat : 14963 (java) S 14925 14925 8853 0 -1 1077944384 26 2727 0 0 0 0 67 1 20 0 17 0 405825997 8127860736 29735 33554432000 4194304 4196468 140731098323808 140291684164400 140294291266178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23855104 140731098326011 140731098326170 140731098326170 140731098329039 0
Current children cumulated CPU time: 6.83 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 120416 KiB

Child status: 0
Real time (s): 3.65365
CPU time (s): 6.94295
CPU user time (s): 6.70831
CPU system time (s): 0.234637
CPU usage (%): 190.028
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 362620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.70831
system time used= 0.234637
maximum resident set size= 363864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5326
involuntary context switches= 25


# summary of solver processes directly reported to runsolver:
#   pid: 14925
#   total CPU time (s): 6.94295
#   total CPU user time (s): 6.70831
#   total CPU system time (s): 0.234637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038036 second user time and 0.090699 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-12 16:37:55
IDJOB=4388385
IDBENCH=141173
IDSOLVER=2825
FILE ID=node147/4388385-1568299118
RUNJOBID= node147-1568286038-9752
PBS_JOBID= 21701064
Free space on /tmp= 52120 MiB

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

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

MD5SUM BENCH= 803795f7a37fd3a40686e408980b1bff
RANDOM SEED=160167746

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24750868 kB
MemAvailable:   30123668 kB
Buffers:          115072 kB
Cached:          5460148 kB
SwapCached:        48504 kB
Active:          4044572 kB
Inactive:        3273436 kB
Active(anon):    1693364 kB
Inactive(anon):    91352 kB
Active(file):    2351208 kB
Inactive(file):  3182084 kB
Unevictable:      107624 kB
Mlocked:          107624 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:             20640 kB
Writeback:             0 kB
AnonPages:       1697644 kB
Mapped:            55120 kB
Shmem:             32764 kB
Slab:             297340 kB
SReclaimable:     267968 kB
SUnreclaim:        29372 kB
KernelStack:        3712 kB
PageTables:         8812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13197820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1574912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

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