Trace number 4387623

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameQueensKnights/QueensKnights-m1-s1/
QueensKnights-050-05-mul.xml
MD5SUM0dc4c2f273d2e82d82a6e1c594dd299c
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark13.9722
Satisfiable
(Un)Satisfiability was proved
Number of variables55
Number of constraints1485
Number of domains2
Minimum domain size50
Maximum domain size2500
Distribution of domain sizes[{"size":50,"count":50},{"size":2500,"count":5}]
Minimum variable degree54
Maximum variable degree54
Distribution of variable degrees[{"degree":54,"count":55}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1485}]
Number of extensional constraints0
Number of intensional constraints1485
Distribution of constraint types[{"type":"intension","count":1485}]
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-10737-serial-file.bin HOME/instance-4387623-1568286299.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 13:04:17 CEST 2019
0.66/0.55	c PID: 10740
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
3.11/1.44	c (0,0) Parsing End
3.11/1.45	c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 1485 ctr, max domain size 2500
3.11/1.45	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.11/1.45	c (0,0) Constraint Name Generate Begin
3.11/1.46	c (0,0) Ctr:HOME/instance-4387623-1568286299.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
3.11/1.46	c (0,0) Constraint Name Generate End
3.11/1.46	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.11/1.46	c (0,0) CSP to CSPinCNF Begin
3.90/1.74	c (1,1) translated 149 (10%) constraints
4.16/1.82	c (1,1) translated 297 (20%) constraints
4.16/1.89	c (1,1) translated 446 (30%) constraints
4.44/1.95	c (1,1) translated 594 (40%) constraints
4.44/2.00	c (1,1) translated 743 (50%) constraints
4.77/2.05	c (1,1) translated 891 (60%) constraints
4.77/2.09	c (1,1) translated 1040 (70%) constraints
5.06/2.14	c (1,1) translated 1188 (80%) constraints
5.06/2.19	c (1,1) translated 1337 (90%) constraints
5.37/2.20	c (1,1) translated 1485 (100%) constraints
5.37/2.20	c (1,1) ===========================================
5.37/2.20	c (1,1) Order
5.37/2.20	c (1,1) ===========================================
5.37/2.25	c (1,1) translated 525 (10%) constraints
5.37/2.28	c (1,1) translated 1050 (20%) constraints
5.70/2.31	c (1,1) translated 1575 (30%) constraints
5.70/2.33	c (1,1) translated 2100 (40%) constraints
5.70/2.36	c (1,1) translated 2625 (50%) constraints
5.70/2.38	c (1,1) translated 3150 (60%) constraints
6.00/2.41	c (1,1) translated 3675 (70%) constraints
6.00/2.43	c (1,1) translated 4200 (80%) constraints
6.00/2.46	c (1,1) translated 4725 (90%) constraints
6.00/2.49	c (1,1) translated 5250 (100%) constraints
6.31/2.50	c (1,1) CSP to CSPinCNF End
6.31/2.50	c (1,1) CSP: 75 int (20 aux), 1235 bool (1235 aux), 5260 ctr, max domain size 2500
6.31/2.50	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.31/2.50	c (1,1) CSPinCNF Propagation Begin
6.31/2.57	c (2,2) 1 values, 14 unsatisfiable literals, and 21 valid clauses are removed
6.31/2.57	c (2,2) CSPinCNF Propagation End
6.31/2.57	c (2,2) CSP: 75 int (20 aux), 1235 bool (1235 aux), 5239 ctr, max domain size 2500
6.31/2.57	c (2,2) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.31/2.57	c (2,2) Simplify CSPinCNF Begin
6.95/2.75	c (2,2) Simplify CSPinCNF End
6.95/2.75	c (2,2) CSP: 75 int (20 aux), 6683 bool (6683 aux), 10687 ctr, max domain size 2500
6.95/2.75	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.95/2.75	c (2,2) Calculate Precise Domain Begin
6.95/2.75	c (2,2) 0 values are removed by re-calculation
6.95/2.75	c (2,2) Calculate Precise Domain End
6.95/2.76	c (2,2) CSP: 75 int (20 aux), 6683 bool (6683 aux), 10687 ctr, max domain size 2500
6.95/2.76	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.95/2.76	c (2,2) CSPinCNF to SatSolver Begin
8.55/3.24	c (2,2) 1069 (10 %) CSP clauses are encoded (0 SAT variables, 43849 SAT clauses)
8.80/3.40	c (2,2) 2138 (20 %) CSP clauses are encoded (0 SAT variables, 71841 SAT clauses)
9.13/3.54	c (3,3) 3207 (30 %) CSP clauses are encoded (0 SAT variables, 100202 SAT clauses)
9.25/3.70	c (3,3) 4275 (40 %) CSP clauses are encoded (0 SAT variables, 130208 SAT clauses)
9.51/3.85	c (3,3) 5344 (50 %) CSP clauses are encoded (0 SAT variables, 160469 SAT clauses)
9.77/4.01	c (3,3) 6413 (60 %) CSP clauses are encoded (0 SAT variables, 192369 SAT clauses)
9.92/4.17	c (3,3) 7481 (70 %) CSP clauses are encoded (0 SAT variables, 225176 SAT clauses)
10.20/4.33	c (3,3) 8550 (80 %) CSP clauses are encoded (0 SAT variables, 259465 SAT clauses)
10.41/4.50	c (3,3) 9619 (90 %) CSP clauses are encoded (0 SAT variables, 296004 SAT clauses)
11.36/4.99	c (4,4) 10687 (100 %) CSP clauses are encoded (0 SAT variables, 406587 SAT clauses)
11.36/4.99	c (4,4) CSPinCNF to SatSolver End
11.36/4.99	c (4,4) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.36/4.99	c (4,4) 22607 bool, 406637 clause
11.36/4.99	c (4,4) Export Begin
11.49/5.07	c (4,4) Export to HOME/scop-10737-serial-file.bin
11.49/5.07	c (4,4) Export End
11.49/5.07	c (4,4) Export File Size: 0.01 MB
11.49/5.07	c (4,4) 0,0,1,2,2,2,4,STOP-AFTER(DIMACS)
11.49/5.07	c END-Prog: Thu Sep 12 13:04:21 CEST 2019
11.49/5.09	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10737-serial-file.bin
11.65/5.55	c (0,0) Read Serial File Begin
11.65/5.55	c (0,0) HOME/scop-10737-serial-file.bin
11.65/5.86	c (0,0) Read Serial File End
11.65/5.87	
11.65/5.87	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
11.65/5.87	(Solving Process)
11.65/5.87	
11.65/5.90	c BEGIN-Prog: Thu Sep 12 13:04:22 CEST 2019
11.65/5.90	c PID: 10757
11.65/5.90	c IP: 172.20.3.147
11.65/5.90	c HOST: node147.alineos.net
11.65/5.90	c (0,0) SatSolver.solve Begin
11.65/5.90	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387623-1568286299.xml-scop-10740.cnf
11.65/5.94	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
11.65/5.94	c (0,0) c glueminisat-simp-2.2.10-193oa-n
11.65/5.94	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387623-1568286299.xml-scop-10740.cnf 
11.65/5.94	c (0,0) c Options:
11.65/5.94	c (0,0) c CORE
11.65/5.94	c (0,0) c  var_decay             = 0.950
11.65/5.94	c (0,0) c  clause_decay          = 0.999
11.65/5.94	c (0,0) c  random_var_freq       = 0.000
11.65/5.94	c (0,0) c  random_seed           = 91648253.000
11.65/5.94	c (0,0) c  luby_restart          = 1
11.65/5.94	c (0,0) c  ccmin_mode            = 2
11.65/5.94	c (0,0) c  phase_saving          = 2
11.65/5.94	c (0,0) c  rnd_pol               = 0
11.65/5.94	c (0,0) c  rnd_init_act          = 0
11.65/5.94	c (0,0) c  garbage_frac          = 0.200
11.65/5.95	c (0,0) c  restart_first         = 1000
11.65/5.95	c (0,0) c  restart_inc           = 2.000
11.65/5.95	c (0,0) c MODEL
11.65/5.95	c (0,0) c  partial_model         = 0
11.65/5.95	c (0,0) c PROPAGATION
11.65/5.95	c (0,0) c  bin_propagation       = 1
11.65/5.95	c (0,0) c SIMPLIFICATION
11.65/5.95	c (0,0) c  lrn_min_size          = 100
11.65/5.95	c (0,0) c  lazy_simp             = 1
11.65/5.95	c (0,0) c  lazy_interval         = 10
11.65/5.95	c (0,0) c  lazy_fld_probing      = 1
11.65/5.95	c (0,0) c  lazy_pol_probing      = 1
11.65/5.95	c (0,0) c  lazy_nec_probing      = 1
11.65/5.95	c (0,0) c  lazy_eqv_probing      = 1
11.65/5.95	c (0,0) c  lazy_cla_probing      = 1
11.65/5.95	c (0,0) c  lazy_lrn_min          = 2
11.65/5.95	c (0,0) c  lazy_uw_lit_elim      = 1
11.65/5.95	c (0,0) c  lazy_pr_lit_elim      = 0
11.65/5.95	c (0,0) c  lazy_bin_add          = 3
11.65/5.95	c (0,0) c  probed_lit_chain      = 1
11.65/5.95	c (0,0) c  pr_min_lits           = 0.00020
11.65/5.95	c (0,0) c  pr_min_starts         = 500
11.65/5.95	c (0,0) c  rw_min_lits           = 0.010
11.65/5.95	c (0,0) c  rw_min_starts         = 500
11.65/5.95	c (0,0) c  rand_attach           = 0
11.65/5.95	c (0,0) c  dec_elim              = 1
11.65/5.95	c (0,0) c  dec_elim_lim          = 25
11.65/5.95	c (0,0) c  dec_elim_len          = -1
11.65/5.95	c (0,0) c  amo                   = 0
11.65/5.95	c (0,0) c  amo_grp               = 1
11.65/5.95	c (0,0) c  amo_max_bins          = 1000000
11.65/5.95	c (0,0) c  amo_starts            = 50
11.65/5.95	c (0,0) c  mace_cmd              = mace
11.65/5.95	c (0,0) c DECISION
11.65/5.95	c (0,0) c  rand_rebuild          = 0
11.65/5.95	c (0,0) c  rand_rebuild_confs    = 10000
11.65/5.95	c (0,0) c  inc_var_decay         = 1
11.65/5.95	c (0,0) c  inc_var_decay_period  = 100000
11.65/5.95	c (0,0) c  inc_var_decay_init    = 0.600
11.65/5.95	c (0,0) c  var_decay_mode        = 0
11.65/5.95	c (0,0) c  var_decay_gain        = 0
11.65/5.95	c (0,0) c  sloped_var_decay      = 1
11.65/5.95	c (0,0) c  max_var_decay         = 0.990
11.65/5.95	c (0,0) c  min_var_decay         = 0.950
11.65/5.95	c (0,0) c  min_var_decay_vars    = 10000
11.65/5.95	c (0,0) c  max_var_decay_vars    = 500
11.65/5.95	c (0,0) c  uip_bumping           = 1
11.65/5.95	c (0,0) c  lbd_act_bumping       = 1
11.65/5.95	c (0,0) c  rand_tiebreak         = 0
11.65/5.95	c (0,0) c  simp_rebuild          = 1
11.65/5.95	c (0,0) c RESTART
11.65/5.95	c (0,0) c  restart_strategy      = 2
11.65/5.95	c (0,0) c  restart_blocking      = 0
11.65/5.95	c (0,0) c  agility_decay         = 0.99990
11.65/5.95	c (0,0) c  lbd_restart_rate      = 0.800
11.65/5.95	c (0,0) c  dec_restart_rate      = 0.950
11.65/5.95	c (0,0) c  blk_restart_rate      = 0.700
11.65/5.95	c (0,0) c  lbd_queue_size        = 50
11.65/5.95	c (0,0) c  dec_queue_size        = 50
11.65/5.95	c (0,0) c  trl_queue_size        = 5000
11.65/5.95	c (0,0) c  blk_restart_weight    = 1.000
11.65/5.95	c (0,0) c  inc_rst_rate          = 0
11.65/5.95	c (0,0) c  inc_rst_rate_period   = 500000
11.65/5.95	c (0,0) c  inc_lbd_rst_rate_init = 0.600
11.65/5.95	c (0,0) c  inc_dec_rst_rate_init = 0.750
11.65/5.95	c (0,0) c REDUCTION
11.65/5.95	c (0,0) c  closed_lbd            = 0
11.65/5.95	c (0,0) c  closed_lbd_rate       = 0.500
11.65/5.95	c (0,0) c  rm_simulate           = 0
11.65/5.95	c (0,0) c  rdb_eval              = 2
11.65/5.95	c (0,0) c  rdb_call              = 3
11.65/5.95	c (0,0) c  rdb_ub                = 0.500
11.65/5.95	c (0,0) c  core_lbd_cvr          = 0.800
11.65/5.95	c (0,0) c  supp_lbd_cvr          = 0.990
11.65/5.95	c (0,0) c  core_lbd_lb           = 2
11.65/5.95	c (0,0) c  supp_lbd_lb           = 2
11.65/5.95	c (0,0) c  core_lbd_prd          = 7
11.65/5.95	c (0,0) c  supp_lbd_prd          = 1
11.65/5.95	c (0,0) c  othr_lbd_prd          = 0
11.65/5.95	c (0,0) c  inc_lrn_limit         = 1000
11.65/5.95	c (0,0) c  frozen_lbd            = 30
11.65/5.95	c (0,0) c  simp_min_starts       = 100
11.65/5.95	c (0,0) c  rm_low_act_learnts    = 1
11.65/5.95	c (0,0) c  lv0_reduce_db         = 0
11.65/5.95	c (0,0) c  reduce_db_base        = 20000
11.65/5.95	c (0,0) c  reduce_db_inc         = 1000
11.65/5.95	c (0,0) c HARD
11.65/5.95	c (0,0) c  inst_check            = 200000
11.65/5.95	c (0,0) c  small_block           = 1.750
11.65/5.95	c (0,0) c  slow_restart_speed    = 400.000
11.65/5.95	c (0,0) c  slow_restart_strategy = 3
11.65/5.95	c (0,0) c  slow_lbd_restart_rate = 0.700
11.65/5.95	c (0,0) c  slow_dec_restart_rate = 1.000
11.65/5.95	c (0,0) c  slow_lbd_queue_size   = 50
11.65/5.95	c (0,0) c  slow_var_decay        = 0.950
11.65/5.95	c (0,0) c  slow_glue_threshold   = 2
11.65/5.95	c (0,0) c  slow_phase_saving     = 2
11.65/5.95	c (0,0) c  fast_restart_speed    = 125.000
11.65/5.95	c (0,0) c  fast_restart_strategy = 1
11.65/5.95	c (0,0) c  fast_lbd_restart_rate = 0.800
11.65/5.95	c (0,0) c  fast_dec_restart_rate = 0.950
11.65/5.95	c (0,0) c  fast_lbd_queue_size   = 50
11.65/5.95	c (0,0) c  fast_var_decay        = 1.000
11.65/5.95	c (0,0) c  fast_glue_threshold   = 2
11.65/5.95	c (0,0) c  fast_phase_saving     = 2
11.65/5.95	c (0,0) c STATS
11.65/5.95	c (0,0) c  stats_conf_size       = 10000
11.65/5.95	c (0,0) c  max_stats_size        = 30
11.65/5.95	c (0,0) c SOLVER
11.65/5.95	c (0,0) c  minisat               = 0
12.87/6.05	c (0,0) c Problem: 22607 variables, 406637 clauses, parsing 0.11 s
13.35/6.53	c (1,0) c  reduced to 19874 variables, 403908 clauses (grow = 0)
13.35/6.54	c (1,0) c  exclude 12 (0.1%) variables from decision variables (last cost 25)
13.35/6.57	c (1,0) c Simplification: 2745 vars, 2729 clauses are eliminated using 0.51 s
13.35/6.57	c (1,0) c
13.35/6.57	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
13.35/6.57	c (1,0) c
13.35/6.57	c (1,0) c    0         0         0    19862   403908        0   -nan  -nan  -nan -nan%
13.35/6.59	c (1,0) c    0         2       100    19862   403908      100   14.3   9.4 310.7 12.7%
13.47/6.62	c (1,0) c    0         4       220    19862   403908      220   32.1  26.6 187.0 18.5%
13.47/6.65	c (1,0) c    0         4       364    19862   403908      364   25.5  20.3 236.3 44.0%
13.47/6.66	c (1,0) c    0         4       536    19862   403908      536   20.9  15.8 202.3 57.8%
13.47/6.67	c (1,0) c    0         4       743    19862   403908      743   18.6  13.6 182.4 66.0%
13.47/6.69	c (1,0) c    0         4       991    19862   403908      991   16.8  11.7 169.0 71.1%
13.57/6.71	c (1,0) c    0         4      1289    19862   403908     1289   15.6  10.3 159.5 74.7%
13.57/6.75	c (1,0) c    0         4      1647    19862   403908     1647   14.9   9.5 152.7 77.1%
13.57/6.79	c (1,0) c    0         4      2076    19862   403908     2076   14.4   8.9 147.6 78.9%
13.66/6.83	c (1,0) c    0         4      2591    19862   403908     2591   13.9   8.3 143.6 80.4%
13.76/6.90	c (1,0) c    0         4      3210    19862   403908     3210   13.3   7.7 140.2 81.1%
13.76/6.99	c (1,0) c    1         4      3953    19862   403908     3953   12.9   7.2 137.5 81.8%
13.88/7.10	c (1,0) c    1         4      4844    19862   403908     4844   12.5   7.0 135.2 82.3%
14.06/7.26	c (1,0) c    1         4      5913    19862   403908     5913   12.2   6.8 132.7 82.5%
14.37/7.52	c (2,0) c    1         5      7196    19862   403908     7196   11.8   6.5 125.5 81.6%
14.57/7.74	c (2,0) c
14.57/7.74	c (2,0) c   variables         : 18302       (init 22607, after simp 19862, 12 non-decs, 75 csp)
14.57/7.74	c (2,0) c   clauses           : 403908      (init 406637, after simp 403908)
14.57/7.74	c (2,0) c   restarts          : 4           (1747.20 confs/res, 51~6751 confs, 0 blks, 0 last)
14.57/7.74	c (2,0) c   conflicts         : 8736        (4928 /sec, 54.06% dconfs, 0.00% supp, trail 453.63w x 104.79h, jmp 1.90h)
14.57/7.74	c (2,0) c   decisions         : 17263       (0.6300 vdcy, 9738 /sec, 0.00% bin, rs 0.001 s)
14.57/7.74	c (2,0) c   propagations      : 10364675    (5846863 /sec, 600.40 lits/dec, 80.23% o.a.)
14.57/7.74	c (2,0) c   conflict literals : 111423      (12.19% deleted; 0.71% by bin min, 0.001 s)
14.57/7.74	c (2,0) c   len               : 11.107      (11.11 for all, max 95, used 89)
14.57/7.74	c (2,0) c   lbd               : 6.152       (7.47 (6.15) for all, max 78, used 76, 3.401 stdev, 1.486 blk)
14.57/7.74	c (2,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
14.57/7.74	c (2,0) c   simp dbs          : 1           (0.000 s)
14.57/7.74	c (2,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
14.57/7.74	c (2,0) c   learnts           : 8737        (0 learnts removed, 0.00%)
14.57/7.74	c (2,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
14.57/7.74	c (2,0) c   assigned lits     : 0           (0/52 probed, 52 remains)
14.57/7.74	c (2,0) c   premise updates   : 0           (0.00 /lit)
14.57/7.74	c (2,0) c   probed variables  : 52          (51 pr, 0 eq, 0 fld, 0 pol, 0 nec, 1 cla, 0 amo)
14.57/7.74	c (2,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
14.57/7.74	c (2,0) c   lazy added bins   : 2           (2 prop + 0 conf, 0.002s)
14.57/7.74	c (2,0) c   unwatched lit elim: 306         (0.00+0.27%, 7+299 of 1248950+111423)
14.57/7.74	c (2,0) c   classified type   : undef
14.57/7.74	c (2,0) c   progress          : 7.855 %
14.57/7.74	c (2,0) c
14.57/7.74	c (2,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
14.57/7.74	c (2,0) c
14.57/7.74	c (2,0) c    1         5      8736    18302   403908     8737   11.1   6.2 104.8 76.7%
14.57/7.77	c (2,0) c    1         5      9025    18276   403908     9024   11.0   6.1 101.6 76.0%
14.57/7.77	c (2,0) c
14.57/7.77	c (2,0) c
14.57/7.77	c (2,0) c variables         : 18276       (init 22607, after simp 19862, 12 non-decs, 75 csp)
14.57/7.77	c (2,0) c clauses           : 403908      (init 406637, after simp 403908)
14.57/7.77	c (2,0) c restarts          : 4           (1805.00 confs/res, 51~6751 confs, 0 blks, 0 last)
14.57/7.77	c (2,0) c conflicts         : 9025        (5002 /sec, 54.25% dconfs, 0.00% supp, trail 507.26w x 101.62h, jmp 1.87h)
14.57/7.77	c (2,0) c decisions         : 17604       (0.6300 vdcy, 9756 /sec, 0.00% bin, rs 0.001 s)
14.57/7.77	c (2,0) c propagations      : 10692348    (5925895 /sec, 607.38 lits/dec, 81.05% o.a.)
14.57/7.77	c (2,0) c conflict literals : 114028      (12.60% deleted; 0.71% by bin min, 0.001 s)
14.57/7.77	c (2,0) c len               : 10.954      (10.95 for all, max 95, used 89)
14.57/7.77	c (2,0) c lbd               : 6.053       (7.38 (6.05) for all, max 78, used 76, 3.337 stdev, 1.484 blk)
14.57/7.77	c (2,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
14.57/7.77	c (2,0) c simp dbs          : 1           (0.000 s)
14.57/7.77	c (2,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
14.57/7.77	c (2,0) c learnts           : 9024        (0 learnts removed, 0.00%)
14.57/7.77	c (2,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
14.57/7.77	c (2,0) c assigned lits     : 0           (0/52 probed, 52 remains)
14.57/7.77	c (2,0) c premise updates   : 0           (0.00 /lit)
14.57/7.77	c (2,0) c probed variables  : 52          (51 pr, 0 eq, 0 fld, 0 pol, 0 nec, 1 cla, 0 amo)
14.57/7.77	c (2,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
14.57/7.77	c (2,0) c lazy added bins   : 2           (2 prop + 0 conf, 0.003s)
14.57/7.77	c (2,0) c unwatched lit elim: 354         (0.00+0.30%, 9+345 of 1248950+114028)
14.57/7.77	c (2,0) c classified type   : undef
14.57/7.77	c (2,0) c progress          : 7.985 %
14.57/7.77	c (2,0) c
14.57/7.77	c (2,0) c [Statistics]
14.57/7.77	c (2,0) c             learnts len        learnts lbd        lit blk size       eq vars size
14.57/7.77	c (2,0) c  tot        9024               9024              66587                  0
14.57/7.77	c (2,0) c  avg      10.954              6.052              1.484               -nan
14.57/7.77	c (2,0) c   1            2 ( 0.0%)         50 ( 0.6%)      47171 (70.8%)          0 (-nan%)
14.57/7.77	c (2,0) c   2           24 ( 0.3%)        994 (11.0%)      11838 (17.8%)          0 (-nan%)
14.57/7.77	c (2,0) c   3           71 ( 0.8%)       1412 (15.6%)       4629 ( 7.0%)          0 (-nan%)
14.57/7.77	c (2,0) c   4          124 ( 1.4%)       1569 (17.4%)       1700 ( 2.6%)          0 (-nan%)
14.57/7.77	c (2,0) c   5          196 ( 2.2%)       1379 (15.3%)        673 ( 1.0%)          0 (-nan%)
14.57/7.77	c (2,0) c   6          563 ( 6.2%)       1058 (11.7%)        318 ( 0.5%)          0 (-nan%)
14.57/7.77	c (2,0) c   7         1065 (11.8%)        671 ( 7.4%)        138 ( 0.2%)          0 (-nan%)
14.57/7.77	c (2,0) c   8         1474 (16.3%)        497 ( 5.5%)         61 ( 0.1%)          0 (-nan%)
14.57/7.77	c (2,0) c   9         1335 (14.8%)        390 ( 4.3%)         37 ( 0.1%)          0 (-nan%)
14.57/7.77	c (2,0) c  10          813 ( 9.0%)        279 ( 3.1%)         10 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  11          661 ( 7.3%)        220 ( 2.4%)          6 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  12          436 ( 4.8%)        133 ( 1.5%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  13          357 ( 4.0%)         99 ( 1.1%)          4 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  14          330 ( 3.7%)         63 ( 0.7%)          1 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  15          348 ( 3.9%)         45 ( 0.5%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  16          282 ( 3.1%)         28 ( 0.3%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  17          244 ( 2.7%)         15 ( 0.2%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  18          203 ( 2.2%)          2 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  19          128 ( 1.4%)          1 ( 0.0%)          1 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  20          107 ( 1.2%)          3 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  21           70 ( 0.8%)          2 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  22           44 ( 0.5%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  23           23 ( 0.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  24            5 ( 0.1%)          3 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  25            1 ( 0.0%)          1 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  26            1 ( 0.0%)          1 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  27            0 ( 0.0%)          1 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  28            2 ( 0.0%)          1 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  29            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c  30          115 ( 1.3%)        107 ( 1.2%)          0 ( 0.0%)          0 (-nan%)
14.57/7.77	c (2,0) c
14.57/7.77	c (2,0) c [LBD Statistics]
14.57/7.77	c (2,0) c LBD          used lbd               used clause lbd         unused clause lbd
14.57/7.77	c (2,0) c  tot        21702                    4429                    4595
14.57/7.77	c (2,0) c  avg        3.926                   4.710                   7.346
14.57/7.77	c (2,0) c    1          454 ( 2.1/ 2.1%)         48 ( 1.1/ 1.1%)          0 ( 0.0/ 0.0%)
14.57/7.77	c (2,0) c    2         6051 (27.9/30.0%)        802 (18.1/19.2%)        194 ( 4.2/ 4.2%)
14.57/7.77	c (2,0) c    3         5390 (24.8/54.8%)        976 (22.0/41.2%)        436 ( 9.5/13.7%)
14.57/7.77	c (2,0) c    4         3819 (17.6/72.4%)        864 (19.5/60.7%)        705 (15.3/29.1%)
14.57/7.77	c (2,0) c    5         2370 (10.9/83.3%)        630 (14.2/75.0%)        749 (16.3/45.4%)
14.57/7.78	c (2,0) c    6         1593 ( 7.3/90.7%)        442 (10.0/84.9%)        616 (13.4/58.8%)
14.57/7.78	c (2,0) c    7          835 ( 3.8/94.5%)        245 ( 5.5/90.5%)        426 ( 9.3/68.0%)
14.57/7.78	c (2,0) c    8          479 ( 2.2/96.7%)        162 ( 3.7/94.1%)        335 ( 7.3/75.3%)
14.57/7.78	c (2,0) c    9          257 ( 1.2/97.9%)         91 ( 2.1/96.2%)        299 ( 6.5/81.8%)
14.57/7.78	c (2,0) c   10          166 ( 0.8/98.7%)         65 ( 1.5/97.7%)        214 ( 4.7/86.5%)
14.57/7.78	c (2,0) c   11           77 ( 0.4/99.0%)         28 ( 0.6/98.3%)        192 ( 4.2/90.7%)
14.57/7.78	c (2,0) c   12           44 ( 0.2/99.2%)         12 ( 0.3/98.6%)        121 ( 2.6/93.3%)
14.57/7.78	c (2,0) c   13           24 ( 0.1/99.3%)          8 ( 0.2/98.7%)         91 ( 2.0/95.3%)
14.57/7.78	c (2,0) c   14           20 ( 0.1/99.4%)          7 ( 0.2/98.9%)         56 ( 1.2/96.5%)
14.57/7.78	c (2,0) c   15           25 ( 0.1/99.5%)         11 ( 0.2/99.1%)         34 ( 0.7/97.2%)
14.57/7.78	c (2,0) c   16           18 ( 0.1/99.6%)          3 ( 0.1/99.2%)         25 ( 0.5/97.8%)
14.57/7.78	c (2,0) c   17            7 ( 0.0/99.7%)          2 ( 0.0/99.3%)         13 ( 0.3/98.1%)
14.57/7.78	c (2,0) c   18            5 ( 0.0/99.7%)          1 ( 0.0/99.3%)          1 ( 0.0/98.1%)
14.57/7.78	c (2,0) c   19            1 ( 0.0/99.7%)          0 ( 0.0/99.3%)          1 ( 0.0/98.1%)
14.57/7.78	c (2,0) c   20            0 ( 0.0/99.7%)          0 ( 0.0/99.3%)          3 ( 0.1/98.2%)
14.57/7.78	c (2,0) c   21            3 ( 0.0/99.7%)          2 ( 0.0/99.3%)          0 ( 0.0/98.2%)
14.57/7.78	c (2,0) c   22            1 ( 0.0/99.7%)          0 ( 0.0/99.3%)          0 ( 0.0/98.2%)
14.57/7.78	c (2,0) c   23            0 ( 0.0/99.7%)          0 ( 0.0/99.3%)          0 ( 0.0/98.2%)
14.57/7.78	c (2,0) c   24            1 ( 0.0/99.7%)          1 ( 0.0/99.3%)          2 ( 0.0/98.2%)
14.57/7.78	c (2,0) c   25            1 ( 0.0/99.7%)          1 ( 0.0/99.4%)          0 ( 0.0/98.2%)
14.57/7.78	c (2,0) c   26            0 ( 0.0/99.7%)          0 ( 0.0/99.4%)          1 ( 0.0/98.2%)
14.57/7.78	c (2,0) c   27            0 ( 0.0/99.7%)          0 ( 0.0/99.4%)          1 ( 0.0/98.3%)
14.57/7.78	c (2,0) c   28            0 ( 0.0/99.7%)          0 ( 0.0/99.4%)          1 ( 0.0/98.3%)
14.57/7.78	c (2,0) c   29            0 ( 0.0/99.7%)          0 ( 0.0/99.4%)          0 ( 0.0/98.3%)
14.57/7.78	c (2,0) c   30            0 ( 0.0/99.7%)          0 ( 0.0/99.4%)          3 ( 0.1/98.3%)
14.57/7.78	c (2,0) c   31            0 ( 0.0/99.7%)          0 ( 0.0/99.4%)          2 ( 0.0/98.4%)
14.57/7.78	c (2,0) c   32            0 ( 0.0/99.7%)          0 ( 0.0/99.4%)          1 ( 0.0/98.4%)
14.57/7.78	c (2,0) c   33            8 ( 0.0/99.8%)          2 ( 0.0/99.4%)          0 ( 0.0/98.4%)
14.57/7.78	c (2,0) c   34            4 ( 0.0/99.8%)          1 ( 0.0/99.4%)          5 ( 0.1/98.5%)
14.57/7.78	c (2,0) c   35            4 ( 0.0/99.8%)          1 ( 0.0/99.5%)          2 ( 0.0/98.6%)
14.57/7.78	c (2,0) c   36            0 ( 0.0/99.8%)          1 ( 0.0/99.5%)          5 ( 0.1/98.7%)
14.57/7.78	c (2,0) c   37            0 ( 0.0/99.8%)          0 ( 0.0/99.5%)          1 ( 0.0/98.7%)
14.57/7.78	c (2,0) c   38            1 ( 0.0/99.8%)          0 ( 0.0/99.5%)          2 ( 0.0/98.7%)
14.57/7.78	c (2,0) c   39            0 ( 0.0/99.8%)          0 ( 0.0/99.5%)          0 ( 0.0/98.7%)
14.57/7.78	c (2,0) c   40            0 ( 0.0/99.8%)          0 ( 0.0/99.5%)          0 ( 0.0/98.7%)
14.57/7.78	c (2,0) c   41            0 ( 0.0/99.8%)          0 ( 0.0/99.5%)          0 ( 0.0/98.7%)
14.57/7.78	c (2,0) c   42            2 ( 0.0/99.8%)          2 ( 0.0/99.5%)          0 ( 0.0/98.7%)
14.57/7.78	c (2,0) c   43            0 ( 0.0/99.8%)          0 ( 0.0/99.5%)          0 ( 0.0/98.7%)
14.57/7.78	c (2,0) c   44            1 ( 0.0/99.8%)          1 ( 0.0/99.5%)          3 ( 0.1/98.8%)
14.57/7.78	c (2,0) c   45            0 ( 0.0/99.8%)          0 ( 0.0/99.5%)          1 ( 0.0/98.8%)
14.57/7.78	c (2,0) c   46            4 ( 0.0/99.8%)          0 ( 0.0/99.5%)          0 ( 0.0/98.8%)
14.57/7.78	c (2,0) c   47            3 ( 0.0/99.8%)          1 ( 0.0/99.6%)          1 ( 0.0/98.8%)
14.57/7.78	c (2,0) c   48            4 ( 0.0/99.9%)          2 ( 0.0/99.6%)          1 ( 0.0/98.9%)
14.57/7.78	c (2,0) c   49            0 ( 0.0/99.9%)          0 ( 0.0/99.6%)          2 ( 0.0/98.9%)
14.57/7.78	c (2,0) c   50            1 ( 0.0/99.9%)          2 ( 0.0/99.7%)          2 ( 0.0/99.0%)
14.57/7.78	c (2,0) c   51            0 ( 0.0/99.9%)          0 ( 0.0/99.7%)          0 ( 0.0/99.0%)
14.57/7.78	c (2,0) c   52            0 ( 0.0/99.9%)          0 ( 0.0/99.7%)          1 ( 0.0/99.0%)
14.57/7.78	c (2,0) c   53            3 ( 0.0/99.9%)          0 ( 0.0/99.7%)          3 ( 0.1/99.0%)
14.57/7.78	c (2,0) c   54            0 ( 0.0/99.9%)          1 ( 0.0/99.7%)          1 ( 0.0/99.1%)
14.57/7.78	c (2,0) c   55            1 ( 0.0/99.9%)          0 ( 0.0/99.7%)          1 ( 0.0/99.1%)
14.57/7.78	c (2,0) c   56            0 ( 0.0/99.9%)          0 ( 0.0/99.7%)          1 ( 0.0/99.1%)
14.57/7.78	c (2,0) c   57            1 ( 0.0/99.9%)          1 ( 0.0/99.7%)          1 ( 0.0/99.1%)
14.57/7.78	c (2,0) c   58            1 ( 0.0/99.9%)          0 ( 0.0/99.7%)          0 ( 0.0/99.1%)
14.57/7.78	c (2,0) c   59            0 ( 0.0/99.9%)          0 ( 0.0/99.7%)          2 ( 0.0/99.2%)
14.57/7.78	c (2,0) c   60            5 ( 0.0/99.9%)          1 ( 0.0/99.7%)          3 ( 0.1/99.2%)
14.57/7.78	c (2,0) c   61            1 ( 0.0/99.9%)          2 ( 0.0/99.8%)          0 ( 0.0/99.2%)
14.57/7.78	c (2,0) c   62            4 ( 0.0/99.9%)          2 ( 0.0/99.8%)          2 ( 0.0/99.3%)
14.57/7.78	c (2,0) c   63            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          2 ( 0.0/99.3%)
14.57/7.78	c (2,0) c   64            1 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.3%)
14.57/7.78	c (2,0) c   65            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          3 ( 0.1/99.4%)
14.57/7.78	c (2,0) c   66            1 ( 0.0/99.9%)          1 ( 0.0/99.8%)          0 ( 0.0/99.4%)
14.57/7.78	c (2,0) c   67            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          0 ( 0.0/99.4%)
14.57/7.78	c (2,0) c   68            1 ( 0.0/100.0%)          0 ( 0.0/99.8%)          1 ( 0.0/99.4%)
14.57/7.78	c (2,0) c   69            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/99.4%)
14.57/7.78	c (2,0) c   70            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          3 ( 0.1/99.5%)
14.57/7.78	c (2,0) c   71            1 ( 0.0/100.0%)          1 ( 0.0/99.9%)          3 ( 0.1/99.5%)
14.57/7.78	c (2,0) c   72            0 ( 0.0/100.0%)          2 ( 0.0/99.9%)          0 ( 0.0/99.5%)
14.57/7.78	c (2,0) c   73            3 ( 0.0/100.0%)          2 ( 0.0/100.0%)          9 ( 0.2/99.7%)
14.57/7.78	c (2,0) c   74            1 ( 0.0/100.0%)          2 ( 0.0/100.0%)          2 ( 0.0/99.8%)
14.57/7.78	c (2,0) c   75            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.1/99.8%)
14.57/7.78	c (2,0) c   76            4 ( 0.0/100.0%)          0 ( 0.0/100.0%)          5 ( 0.1/100.0%)
14.57/7.78	c (2,0) c   77            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
14.57/7.78	c (2,0) c   78            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
14.57/7.78	c (2,0) c
14.57/7.78	c (2,0) c Memory used       : 76.00 MB
14.57/7.78	c (2,0) c CPU time          : 1.805 s
14.57/7.78	c (2,0) c Real time         : 1.851 s
14.57/7.78	c (2,0) c
14.57/7.78	c (2,0) s UNSATISFIABLE
14.57/7.78	c (2,0) SatSolver.solve End
14.57/7.78	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.57/7.78	c (2,0) Show results Begin
14.57/7.78	s UNSATISFIABLE
14.57/7.78	c (2,0) Show results End
14.57/7.78	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.57/7.78	c (2,0) 2,2,STOP-AFTER(ALL)
14.57/7.78	c END-Prog: Thu Sep 12 13:04:24 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387623-1568286299/watcher-4387623-1568286299 -o /tmp/evaluation-result-4387623-1568286299/solver-4387623-1568286299 -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-4387623-1568286299.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
Current StackSize limit: 8192 KiB

solver pid=10737, runsolver pid=10734

[startup+0.100405 s]*
/proc/loadavg: 2.84 2.08 1.96 3/235 10754
/proc/meminfo: memFree=15030176/32770624 swapFree=66957008/67108860
[pid=10737] ppid=10734 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10737/stat : 10737 (scop.sh) S 10734 10737 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404543763 115843072 349 33554432000 4194304 5098028 140735070476816 140735070474072 140164907713148 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13164544 140735070479144 140735070479472 140735070479472 140735070482381 0
/proc/10737/statm: 28282 349 296 221 0 87 0
[pid=10740] ppid=10737 vsize=15012696 memory=71240 CPUtime=0.12 cores=1,3,5,7
/proc/10740/stat : 10740 (java) S 10737 10737 8853 0 -1 1077944320 7140 0 0 0 10 2 0 0 20 0 15 0 404543763 15373000704 17810 33554432000 4194304 4196468 140727588893040 140727588875584 140551446220535 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
/proc/10740/statm: 3753174 17810 2928 1 0 3715579 0
[pid=10740/tid=10741] ppid=10737 vsize=15012696 memory=-6581303614368956357 CPUtime=0.09 cores=1,3,5,7
/proc/10740/task/10741/stat : 10741 (java) R 10737 10737 8853 0 -1 4202560 5016 0 0 0 8 1 0 0 20 0 15 0 404543763 15373000704 17942 33554432000 4194304 4196468 140727588893040 140551418014344 140551426496313 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10742] ppid=10737 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10742/stat : 10742 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 17942 33554432000 4194304 4196468 140727588893040 140551450462864 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10743] ppid=10737 vsize=15012696 memory=139739609106048 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10743/stat : 10743 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 17942 33554432000 4194304 4196468 140727588893040 140551264619024 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10744] ppid=10737 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10744/stat : 10744 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 17942 33554432000 4194304 4196468 140727588893040 140551263566224 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10745] ppid=10737 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10745/stat : 10745 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 17942 33554432000 4194304 4196468 140727588893040 140551262513424 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10746] ppid=10737 vsize=15012696 memory=139739609106048 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10746/stat : 10746 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543766 15373000704 17942 33554432000 4194304 4196468 140727588893040 140550416681840 140551446231682 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10747] ppid=10737 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10747/stat : 10747 (java) S 10737 10737 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404543767 15373000704 17942 33554432000 4194304 4196468 140727588893040 140550053291552 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10748] ppid=10737 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10748/stat : 10748 (java) S 10737 10737 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404543767 15373000704 17942 33554432000 4194304 4196468 140727588893040 140549919069552 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10749] ppid=10737 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10749/stat : 10749 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404543769 15373000704 17942 33554432000 4194304 4196468 140727588893040 140549544565072 140551446239131 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10750] ppid=10737 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10750/stat : 10750 (java) R 10737 10737 8853 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 404543769 15373000704 17942 33554432000 4194304 4196468 140727588893040 140550415628656 140551446231682 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10751] ppid=10737 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10751/stat : 10751 (java) S 10737 10737 8853 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 404543769 15373000704 17942 33554432000 4194304 4196468 140727588893040 140550414575856 140551446231682 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10752] ppid=10737 vsize=15012696 memory=139739609106048 CPUtime=0.01 cores=1,3,5,7
/proc/10740/task/10752/stat : 10752 (java) R 10737 10737 8853 0 -1 4202560 409 0 0 0 1 0 0 0 20 0 15 0 404543769 15373000704 17942 33554432000 4194304 4196468 140727588893040 140550413519816 140551438457662 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10753] ppid=10737 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10753/stat : 10753 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404543770 15373000704 17942 33554432000 4194304 4196468 140727588893040 140549046659296 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10754] ppid=10737 vsize=15012696 memory=139739609106048 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10754/stat : 10754 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404543770 15373000704 17942 33554432000 4194304 4196468 140727588893040 140550412471472 140551446231682 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72636 KiB

[startup+0.210894 s]*
/proc/loadavg: 2.84 2.08 1.96 3/235 10754
/proc/meminfo: memFree=15002544/32770624 swapFree=66957008/67108860
[pid=10737] ppid=10734 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10737/stat : 10737 (scop.sh) S 10734 10737 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404543763 115843072 349 33554432000 4194304 5098028 140735070476816 140735070474072 140164907713148 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13164544 140735070479144 140735070479472 140735070479472 140735070482381 0
/proc/10737/statm: 28282 349 296 221 0 87 0
[pid=10740] ppid=10737 vsize=15012696 memory=86896 CPUtime=0.26 cores=1,3,5,7
/proc/10740/stat : 10740 (java) S 10737 10737 8853 0 -1 1077944320 12277 0 0 0 23 3 0 0 20 0 15 0 404543763 15373000704 21724 33554432000 4194304 4196468 140727588893040 140727588875584 140551446220535 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
/proc/10740/statm: 3753174 21724 2962 1 0 3715579 0
[pid=10740/tid=10741] ppid=10737 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/10740/task/10741/stat : 10741 (java) R 10737 10737 8853 0 -1 4202560 10019 0 0 0 18 2 0 0 20 0 15 0 404543763 15373000704 21724 33554432000 4194304 4196468 140727588893040 140551418029808 140551446242461 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10742] ppid=10737 vsize=15012696 memory=364 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10742/stat : 10742 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 21724 33554432000 4194304 4196468 140727588893040 140551450462864 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10743] ppid=10737 vsize=15012696 memory=139739609117153 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10743/stat : 10743 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 21724 33554432000 4194304 4196468 140727588893040 140551264619024 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10744] ppid=10737 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10744/stat : 10744 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 21724 33554432000 4194304 4196468 140727588893040 140551263566224 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10745] ppid=10737 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10745/stat : 10745 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 21724 33554432000 4194304 4196468 140727588893040 140551262513424 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10746] ppid=10737 vsize=15012696 memory=139739609106048 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10746/stat : 10746 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543766 15373000704 21724 33554432000 4194304 4196468 140727588893040 140550416681840 140551446231682 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10747] ppid=10737 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10747/stat : 10747 (java) S 10737 10737 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404543767 15373000704 21724 33554432000 4194304 4196468 140727588893040 140550053291552 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10748] ppid=10737 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10748/stat : 10748 (java) S 10737 10737 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404543767 15373000704 21724 33554432000 4194304 4196468 140727588893040 140549919069552 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10749] ppid=10737 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10749/stat : 10749 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404543769 15373000704 21724 33554432000 4194304 4196468 140727588893040 140549544565072 140551446239131 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10750] ppid=10737 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10740/task/10750/stat : 10750 (java) S 10737 10737 8853 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 15 0 404543769 15373000704 21724 33554432000 4194304 4196468 140727588893040 140550415628656 140551446231682 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10751] ppid=10737 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10751/stat : 10751 (java) S 10737 10737 8853 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 404543769 15373000704 21724 33554432000 4194304 4196468 140727588893040 140550414575856 140551446231682 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10752] ppid=10737 vsize=15012696 memory=139739609106048 CPUtime=0.03 cores=1,3,5,7
/proc/10740/task/10752/stat : 10752 (java) S 10737 10737 8853 0 -1 1077944384 419 0 0 0 3 0 0 0 20 0 15 0 404543769 15373000704 21724 33554432000 4194304 4196468 140727588893040 140550413523056 140551446231682 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10753] ppid=10737 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10753/stat : 10753 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404543770 15373000704 21724 33554432000 4194304 4196468 140727588893040 140549046659296 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10754] ppid=10737 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10754/stat : 10754 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543770 15373000704 21724 33554432000 4194304 4196468 140727588893040 140550412471472 140551446231682 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88292 KiB

[startup+0.310698 s]*
/proc/loadavg: 2.84 2.08 1.96 3/235 10754
/proc/meminfo: memFree=15002800/32770624 swapFree=66957008/67108860
[pid=10737] ppid=10734 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10737/stat : 10737 (scop.sh) S 10734 10737 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404543763 115843072 349 33554432000 4194304 5098028 140735070476816 140735070474072 140164907713148 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13164544 140735070479144 140735070479472 140735070479472 140735070482381 0
/proc/10737/statm: 28282 349 296 221 0 87 0
[pid=10740] ppid=10737 vsize=15012696 memory=89980 CPUtime=0.43 cores=1,3,5,7
/proc/10740/stat : 10740 (java) S 10737 10737 8853 0 -1 1077944320 12609 0 0 0 40 3 0 0 20 0 15 0 404543763 15373000704 22495 33554432000 4194304 4196468 140727588893040 140727588875584 140551446220535 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
/proc/10740/statm: 3753174 22495 3022 1 0 3715579 0
[pid=10740/tid=10741] ppid=10737 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10740/task/10741/stat : 10741 (java) R 10737 10737 8853 0 -1 4202560 10202 0 0 0 27 2 0 0 20 0 15 0 404543763 15373000704 22495 33554432000 4194304 4196468 140727588893040 140551418043216 140551427784091 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10742] ppid=10737 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10742/stat : 10742 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 22495 33554432000 4194304 4196468 140727588893040 140551450462864 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10743] ppid=10737 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10743/stat : 10743 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 22495 33554432000 4194304 4196468 140727588893040 140551264619024 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10744] ppid=10737 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10744/stat : 10744 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 22495 33554432000 4194304 4196468 140727588893040 140551263566224 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10745] ppid=10737 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10745/stat : 10745 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543765 15373000704 22495 33554432000 4194304 4196468 140727588893040 140551262513424 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10746] ppid=10737 vsize=15012696 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10746/stat : 10746 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543766 15373000704 22495 33554432000 4194304 4196468 140727588893040 140550416681840 140551446231682 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10747] ppid=10737 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10747/stat : 10747 (java) S 10737 10737 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404543767 15373000704 22495 33554432000 4194304 4196468 140727588893040 140550053291552 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10748] ppid=10737 vsize=15012696 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10748/stat : 10748 (java) S 10737 10737 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404543767 15373000704 22495 33554432000 4194304 4196468 140727588893040 140549919069552 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10749] ppid=10737 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10749/stat : 10749 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404543769 15373000704 22495 33554432000 4194304 4196468 140727588893040 140549544565072 140551446239131 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10750] ppid=10737 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10740/task/10750/stat : 10750 (java) S 10737 10737 8853 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 404543769 15373000704 22495 33554432000 4194304 4196468 140727588893040 140550415628656 140551446231682 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10751] ppid=10737 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10740/task/10751/stat : 10751 (java) S 10737 10737 8853 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 15 0 404543769 15373000704 22495 33554432000 4194304 4196468 140727588893040 140550414575856 140551446231682 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10752] ppid=10737 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10740/task/10752/stat : 10752 (java) S 10737 10737 8853 0 -1 1077944384 438 0 0 0 7 0 0 0 20 0 15 0 404543769 15373000704 22495 33554432000 4194304 4196468 140727588893040 140550413523056 140551446231682 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10753] ppid=10737 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10753/stat : 10753 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404543770 15373000704 22495 33554432000 4194304 4196468 140727588893040 140549046659296 140551446230741 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10754] ppid=10737 vsize=15012696 memory=3546076952151471152 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10754/stat : 10754 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543770 15373000704 22495 33554432000 4194304 4196468 140727588893040 140550412471472 140551446231682 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91376 KiB

[startup+0.707935 s]
/proc/loadavg: 2.84 2.08 1.96 4/236 10755
/proc/meminfo: memFree=14987820/32770624 swapFree=66957008/67108860
[pid=10737] ppid=10734 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10737/stat : 10737 (scop.sh) S 10734 10737 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404543763 115843072 349 33554432000 4194304 5098028 140735070476816 140735070474072 140164907713148 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13164544 140735070479144 140735070479472 140735070479472 140735070482381 0
/proc/10737/statm: 28282 349 296 221 0 87 0
[pid=10740] ppid=10737 vsize=15021016 memory=128300 CPUtime=1.04 cores=1,3,5,7
/proc/10740/stat : 10740 (java) S 10737 10737 8853 0 -1 1077944320 20360 0 0 0 99 5 0 0 20 0 15 0 404543763 15381520384 32075 33554432000 4194304 4196468 140727588893040 140727588875584 140551446220535 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
/proc/10740/statm: 3755254 32075 3188 1 0 3716603 0
[pid=10740/tid=10741] ppid=10737 vsize=15021016 memory=-7082918048272507482 CPUtime=0.68 cores=1,3,5,7
/proc/10740/task/10741/stat : 10741 (java) R 10737 10737 8853 0 -1 4202560 17334 0 0 0 64 4 0 0 20 0 15 0 404543763 15381520384 32075 33554432000 4194304 4196468 140727588893040 140551418057392 140551446242461 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10742] ppid=10737 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10742/stat : 10742 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543765 15381520384 32075 33554432000 4194304 4196468 140727588893040 140551450462864 140551446230741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10743] ppid=10737 vsize=15021016 memory=37212 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10743/stat : 10743 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404543765 15381520384 32075 33554432000 4194304 4196468 140727588893040 140551264619024 140551446230741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10744] ppid=10737 vsize=15021016 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10744/stat : 10744 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404543765 15381520384 32075 33554432000 4194304 4196468 140727588893040 140551263566224 140551446230741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10745] ppid=10737 vsize=15021016 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10745/stat : 10745 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543765 15381520384 32075 33554432000 4194304 4196468 140727588893040 140551262513424 140551446230741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10746] ppid=10737 vsize=15021016 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10746/stat : 10746 (java) S 10737 10737 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404543766 15381520384 32075 33554432000 4194304 4196468 140727588893040 140550416681840 140551446231682 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10747] ppid=10737 vsize=15021016 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10747/stat : 10747 (java) S 10737 10737 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404543767 15381520384 32075 33554432000 4194304 4196468 140727588893040 140550053291552 140551446230741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10748] ppid=10737 vsize=15021016 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10748/stat : 10748 (java) S 10737 10737 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404543767 15381520384 32075 33554432000 4194304 4196468 140727588893040 140549919069552 140551446230741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10749] ppid=10737 vsize=15021016 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10749/stat : 10749 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404543769 15381520384 32075 33554432000 4194304 4196468 140727588893040 140549544565072 140551446239131 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10750] ppid=10737 vsize=15021016 memory=11624 CPUtime=0.09 cores=1,3,5,7
/proc/10740/task/10750/stat : 10750 (java) S 10737 10737 8853 0 -1 1077944384 680 0 0 0 9 0 0 0 20 0 15 0 404543769 15381520384 32075 33554432000 4194304 4196468 140727588893040 140550415628656 140551446231682 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10751] ppid=10737 vsize=15021016 memory=732 CPUtime=0.07 cores=1,3,5,7
/proc/10740/task/10751/stat : 10751 (java) R 10737 10737 8853 0 -1 4202560 372 0 0 0 7 0 0 0 20 0 15 0 404543769 15381520384 32075 33554432000 4194304 4196468 140727588893040 140550414565648 140551431340450 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10752] ppid=10737 vsize=15021016 memory=776 CPUtime=0.17 cores=1,3,5,7
/proc/10740/task/10752/stat : 10752 (java) S 10737 10737 8853 0 -1 1077944384 618 0 0 0 17 0 0 0 20 0 15 0 404543769 15381520384 32075 33554432000 4194304 4196468 140727588893040 140550413523056 140551446231682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10753] ppid=10737 vsize=15021016 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10753/stat : 10753 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404543770 15381520384 32075 33554432000 4194304 4196468 140727588893040 140549046659296 140551446230741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
[pid=10740/tid=10754] ppid=10737 vsize=15021016 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/10740/task/10754/stat : 10754 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404543770 15381520384 32075 33554432000 4194304 4196468 140727588893040 140550412471472 140551446231682 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14557184 140727588901614 140727588902042 140727588902042 140727588904911 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 129696 KiB

[startup+1.50082 s]
/proc/loadavg: 2.84 2.08 1.96 5/236 10756
/proc/meminfo: memFree=14951732/32770624 swapFree=66957008/67108860
[pid=10737] ppid=10734 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10737/stat : 10737 (scop.sh) S 10734 10737 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404543763 115843072 349 33554432000 4194304 5098028 140735070476816 140735070474072 140164907713148 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13164544 140735070479144 140735070479472 140735070479472 140735070482381 0
/proc/10737/statm: 28282 349 296 221 0 87 0

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

[pid=10757] ppid=10737 vsize=8068440 memory=119420 CPUtime=1.14 cores=1,3,5,7
/proc/10757/stat : 10757 (java) S 10737 10737 8853 0 -1 1077944320 19678 0 0 0 109 5 0 0 20 0 19 0 404544272 8262082560 29855 33554432000 4194304 4196468 140725817591280 140725817573824 139676829978359 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
/proc/10757/statm: 2017110 29855 3209 1 0 1978454 0
[pid=10772] ppid=10757 vsize=66780 memory=47992 CPUtime=0.47 cores=1,3,5,7
/proc/10772/stat : 10772 (glueminisat-sim) R 10757 10737 8853 0 -1 4202496 11141 0 0 0 46 1 0 0 20 0 1 0 404544355 68382720 11998 33554432000 4194304 4452875 140720827462880 140720827458184 4242794 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552096 6554264 7610368 140720827466591 140720827466791 140720827466791 140720827469741 0
/proc/10772/statm: 16695 11998 350 64 0 12899 0
[pid=10757/tid=10758] ppid=10737 vsize=8068440 memory=732 CPUtime=0.74 cores=1,3,5,7
/proc/10757/task/10758/stat : 10758 (java) S 10737 10737 8853 0 -1 1077944384 16732 0 0 0 70 4 0 0 20 0 19 0 404544273 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676801818528 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10759] ppid=10737 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10759/stat : 10759 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676834220560 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10760] ppid=10737 vsize=8068440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10760/stat : 10760 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676634389136 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10761] ppid=10737 vsize=8068440 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10761/stat : 10761 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676633336080 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10762] ppid=10737 vsize=8068440 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10762/stat : 10762 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676312660368 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10763] ppid=10737 vsize=8068440 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10763/stat : 10763 (java) S 10737 10737 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404544275 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676075100912 139676829989506 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10764] ppid=10737 vsize=8068440 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10764/stat : 10764 (java) S 10737 10737 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404544276 8262082560 29855 33554432000 4194304 4196468 140725817591280 139675691902624 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10765] ppid=10737 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10765/stat : 10765 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404544276 8262082560 29855 33554432000 4194304 4196468 140725817591280 139675423466736 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10766] ppid=10737 vsize=8068440 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10766/stat : 10766 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404544278 8262082560 29855 33554432000 4194304 4196468 140725817591280 139675048958416 139676829996955 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10767] ppid=10737 vsize=8068440 memory=2124 CPUtime=0.09 cores=1,3,5,7
/proc/10757/task/10767/stat : 10767 (java) S 10737 10737 8853 0 -1 1077944384 670 0 0 0 9 0 0 0 20 0 19 0 404544278 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676074047728 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10768] ppid=10737 vsize=8068440 memory=19864 CPUtime=0.08 cores=1,3,5,7
/proc/10757/task/10768/stat : 10768 (java) S 10737 10737 8853 0 -1 1077944384 380 0 0 0 8 0 0 0 20 0 19 0 404544278 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676072995184 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10769] ppid=10737 vsize=8068440 memory=492 CPUtime=0.19 cores=1,3,5,7
/proc/10757/task/10769/stat : 10769 (java) S 10737 10737 8853 0 -1 1077944384 503 0 0 0 19 0 0 0 20 0 19 0 404544278 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676071942128 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10770] ppid=10737 vsize=8068440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10770/stat : 10770 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404544279 8262082560 29855 33554432000 4194304 4196468 140725817591280 139674551052640 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10771] ppid=10737 vsize=8068440 memory=932 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10771/stat : 10771 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544279 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676070890544 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10773] ppid=10737 vsize=8068440 memory=1768 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10773/stat : 10773 (java) S 10737 10737 8853 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 404544355 8262082560 29855 33554432000 4194304 4196468 140725817591280 139676062857024 139676830002969 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10775] ppid=10737 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10775/stat : 10775 (java) S 10737 10737 8853 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 404544355 8262082560 29855 33554432000 4194304 4196468 140725817591280 139674014166928 139676830000285 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10776] ppid=10737 vsize=8068440 memory=896 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10776/stat : 10776 (java) S 10737 10737 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404544356 8262082560 29855 33554432000 4194304 4196468 140725817591280 139674148388368 139676830000285 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10777] ppid=10737 vsize=8068440 memory=119420 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10777/stat : 10777 (java) S 10737 10737 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404544358 8262082560 29855 33554432000 4194304 4196468 140725817591280 139673745743152 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
Current children cumulated CPU time: 13.26 s
Current children cumulated vsize: 8248348 KiB
Current children cumulated memory: 168888 KiB

[startup+7.20093 s]
/proc/loadavg: 2.86 2.11 1.97 3/241 10777
/proc/meminfo: memFree=14928968/32770624 swapFree=66957008/67108860
[pid=10737] ppid=10734 vsize=113128 memory=1476 CPUtime=11.65 cores=1,3,5,7
/proc/10737/stat : 10737 (scop.sh) S 10734 10737 8853 0 -1 4202496 583 29394 0 0 0 0 1130 35 20 0 1 0 404543763 115843072 369 33554432000 4194304 5098028 140735070476816 140735070473560 140164907713148 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13164544 140735070479144 140735070479472 140735070479472 140735070482381 0
/proc/10737/statm: 28282 369 311 221 0 87 0
[pid=10757] ppid=10737 vsize=8068440 memory=119556 CPUtime=1.15 cores=1,3,5,7
/proc/10757/stat : 10757 (java) S 10737 10737 8853 0 -1 1077944320 19693 0 0 0 110 5 0 0 20 0 19 0 404544272 8262082560 29889 33554432000 4194304 4196468 140725817591280 140725817573824 139676829978359 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
/proc/10757/statm: 2017110 29889 3209 1 0 1978454 0
[pid=10772] ppid=10757 vsize=57252 memory=40732 CPUtime=1.26 cores=1,3,5,7
/proc/10772/stat : 10772 (glueminisat-sim) R 10757 10737 8853 0 -1 4202496 12104 0 0 0 123 3 0 0 20 0 1 0 404544355 58626048 10183 33554432000 4194304 4452875 140720827462880 140720827457432 140697098203015 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552096 6554264 7610368 140720827466591 140720827466791 140720827466791 140720827469741 0
/proc/10772/statm: 14313 10183 353 64 0 10517 0
[pid=10757/tid=10758] ppid=10737 vsize=8068440 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/10757/task/10758/stat : 10758 (java) S 10737 10737 8853 0 -1 1077944384 16732 0 0 0 70 4 0 0 20 0 19 0 404544273 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676801818528 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10759] ppid=10737 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10759/stat : 10759 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676834220560 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10760] ppid=10737 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10760/stat : 10760 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676634389136 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10761] ppid=10737 vsize=8068440 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10761/stat : 10761 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676633336080 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10762] ppid=10737 vsize=8068440 memory=288230587427455269 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10762/stat : 10762 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676312660368 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10763] ppid=10737 vsize=8068440 memory=14697387499193910 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10763/stat : 10763 (java) S 10737 10737 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404544275 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676075100912 139676829989506 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10764] ppid=10737 vsize=8068440 memory=56 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10764/stat : 10764 (java) S 10737 10737 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404544276 8262082560 29889 33554432000 4194304 4196468 140725817591280 139675691902624 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10765] ppid=10737 vsize=8068440 memory=279479025548816 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10765/stat : 10765 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404544276 8262082560 29889 33554432000 4194304 4196468 140725817591280 139675423466736 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10766] ppid=10737 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10766/stat : 10766 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404544278 8262082560 29889 33554432000 4194304 4196468 140725817591280 139675048958416 139676829996955 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10767] ppid=10737 vsize=8068440 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10757/task/10767/stat : 10767 (java) S 10737 10737 8853 0 -1 1077944384 670 0 0 0 9 0 0 0 20 0 19 0 404544278 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676074047728 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10768] ppid=10737 vsize=8068440 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10757/task/10768/stat : 10768 (java) S 10737 10737 8853 0 -1 1077944384 380 0 0 0 8 0 0 0 20 0 19 0 404544278 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676072995184 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10769] ppid=10737 vsize=8068440 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/10757/task/10769/stat : 10769 (java) S 10737 10737 8853 0 -1 1077944384 517 0 0 0 20 0 0 0 20 0 19 0 404544278 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676071942128 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10770] ppid=10737 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10770/stat : 10770 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404544279 8262082560 29889 33554432000 4194304 4196468 140725817591280 139674551052640 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10771] ppid=10737 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10771/stat : 10771 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544279 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676070890544 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10773] ppid=10737 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10773/stat : 10773 (java) S 10737 10737 8853 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 404544355 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676062857024 139676830002969 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10775] ppid=10737 vsize=8068440 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10757/task/10775/stat : 10775 (java) S 10737 10737 8853 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 404544355 8262082560 29889 33554432000 4194304 4196468 140725817591280 139674014166928 139676830000285 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10776] ppid=10737 vsize=8068440 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10776/stat : 10776 (java) S 10737 10737 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404544356 8262082560 29889 33554432000 4194304 4196468 140725817591280 139674148388368 139676830000285 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10777] ppid=10737 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10777/stat : 10777 (java) S 10737 10737 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404544358 8262082560 29889 33554432000 4194304 4196468 140725817591280 139673745743152 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
Current children cumulated CPU time: 14.06 s
Current children cumulated vsize: 8238820 KiB
Current children cumulated memory: 161764 KiB

[startup+7.60094 s]
/proc/loadavg: 2.86 2.11 1.97 3/241 10777
/proc/meminfo: memFree=14928968/32770624 swapFree=66957008/67108860
[pid=10737] ppid=10734 vsize=113128 memory=1476 CPUtime=11.65 cores=1,3,5,7
/proc/10737/stat : 10737 (scop.sh) S 10734 10737 8853 0 -1 4202496 583 29394 0 0 0 0 1130 35 20 0 1 0 404543763 115843072 369 33554432000 4194304 5098028 140735070476816 140735070473560 140164907713148 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13164544 140735070479144 140735070479472 140735070479472 140735070482381 0
/proc/10737/statm: 28282 369 311 221 0 87 0
[pid=10757] ppid=10737 vsize=8068440 memory=119556 CPUtime=1.15 cores=1,3,5,7
/proc/10757/stat : 10757 (java) S 10737 10737 8853 0 -1 1077944320 19694 0 0 0 110 5 0 0 20 0 19 0 404544272 8262082560 29889 33554432000 4194304 4196468 140725817591280 140725817573824 139676829978359 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
/proc/10757/statm: 2017110 29889 3209 1 0 1978454 0
[pid=10772] ppid=10757 vsize=57252 memory=40732 CPUtime=1.67 cores=1,3,5,7
/proc/10772/stat : 10772 (glueminisat-sim) R 10757 10737 8853 0 -1 4202496 12104 0 0 0 163 4 0 0 20 0 1 0 404544355 58626048 10183 33554432000 4194304 4452875 140720827462880 140720827457432 140697098203015 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552096 6554264 7610368 140720827466591 140720827466791 140720827466791 140720827469741 0
/proc/10772/statm: 14313 10183 353 64 0 10517 0
[pid=10757/tid=10758] ppid=10737 vsize=8068440 memory=988 CPUtime=0.74 cores=1,3,5,7
/proc/10757/task/10758/stat : 10758 (java) S 10737 10737 8853 0 -1 1077944384 16732 0 0 0 70 4 0 0 20 0 19 0 404544273 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676801818528 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10759] ppid=10737 vsize=8068440 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10759/stat : 10759 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676834220560 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10760] ppid=10737 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10760/stat : 10760 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676634389136 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10761] ppid=10737 vsize=8068440 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10761/stat : 10761 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676633336080 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10762] ppid=10737 vsize=8068440 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10762/stat : 10762 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404544274 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676312660368 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10763] ppid=10737 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10763/stat : 10763 (java) S 10737 10737 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404544275 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676075100912 139676829989506 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10764] ppid=10737 vsize=8068440 memory=15663745731716 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10764/stat : 10764 (java) S 10737 10737 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404544276 8262082560 29889 33554432000 4194304 4196468 140725817591280 139675691902624 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10765] ppid=10737 vsize=8068440 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10765/stat : 10765 (java) S 10737 10737 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404544276 8262082560 29889 33554432000 4194304 4196468 140725817591280 139675423466736 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10766] ppid=10737 vsize=8068440 memory=16099256251451829 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10766/stat : 10766 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404544278 8262082560 29889 33554432000 4194304 4196468 140725817591280 139675048958416 139676829996955 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10767] ppid=10737 vsize=8068440 memory=1712 CPUtime=0.09 cores=1,3,5,7
/proc/10757/task/10767/stat : 10767 (java) S 10737 10737 8853 0 -1 1077944384 670 0 0 0 9 0 0 0 20 0 19 0 404544278 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676074047728 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10768] ppid=10737 vsize=8068440 memory=6088 CPUtime=0.08 cores=1,3,5,7
/proc/10757/task/10768/stat : 10768 (java) S 10737 10737 8853 0 -1 1077944384 380 0 0 0 8 0 0 0 20 0 19 0 404544278 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676072995184 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10769] ppid=10737 vsize=8068440 memory=11624 CPUtime=0.2 cores=1,3,5,7
/proc/10757/task/10769/stat : 10769 (java) S 10737 10737 8853 0 -1 1077944384 518 0 0 0 20 0 0 0 20 0 19 0 404544278 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676071942128 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10770] ppid=10737 vsize=8068440 memory=732 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10770/stat : 10770 (java) S 10737 10737 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404544279 8262082560 29889 33554432000 4194304 4196468 140725817591280 139674551052640 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10771] ppid=10737 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10771/stat : 10771 (java) S 10737 10737 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404544279 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676070890544 139676829989506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10773] ppid=10737 vsize=8068440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10773/stat : 10773 (java) S 10737 10737 8853 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 404544355 8262082560 29889 33554432000 4194304 4196468 140725817591280 139676062857024 139676830002969 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10775] ppid=10737 vsize=8068440 memory=4008 CPUtime=0.01 cores=1,3,5,7
/proc/10757/task/10775/stat : 10775 (java) S 10737 10737 8853 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 404544355 8262082560 29889 33554432000 4194304 4196468 140725817591280 139674014166896 139676830000285 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10776] ppid=10737 vsize=8068440 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10776/stat : 10776 (java) S 10737 10737 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404544356 8262082560 29889 33554432000 4194304 4196468 140725817591280 139674148388368 139676830000285 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
[pid=10757/tid=10777] ppid=10737 vsize=8068440 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10757/task/10777/stat : 10777 (java) S 10737 10737 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404544358 8262082560 29889 33554432000 4194304 4196468 140725817591280 139673745743152 139676829988565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39833600 140725817594875 140725817595034 140725817595034 140725817597903 0
Current children cumulated CPU time: 14.47 s
Current children cumulated vsize: 8238820 KiB
Current children cumulated memory: 161764 KiB

[startup+7.80086 s]
/proc/loadavg: 2.86 2.11 1.97 3/241 10777
/proc/meminfo: memFree=14928968/32770624 swapFree=66957008/67108860
[pid=10737] ppid=10734 vsize=113128 memory=1476 CPUtime=11.65 cores=1,3,5,7
/proc/10737/stat : 10737 (scop.sh) S 10734 10737 8853 0 -1 4202496 583 29394 0 0 0 0 1130 35 20 0 1 0 404543763 115843072 369 33554432000 4194304 5098028 140735070476816 140735070473560 140164907713148 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13164544 140735070479144 140735070479472 140735070479472 140735070482381 0
/proc/10737/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 11.65 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 7.80409
CPU time (s): 14.7161
CPU user time (s): 14.2493
CPU system time (s): 0.466814
CPU usage (%): 188.569
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 1756848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2493
system time used= 0.466814
maximum resident set size= 1763576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61864
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5933
involuntary context switches= 45


# summary of solver processes directly reported to runsolver:
#   pid: 10737
#   total CPU time (s): 14.7161
#   total CPU user time (s): 14.2493
#   total CPU system time (s): 0.466814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.099825 second user time and 0.101802 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-12 13:04:16
IDJOB=4387623
IDBENCH=120900
IDSOLVER=2825
FILE ID=node147/4387623-1568286299
RUNJOBID= node147-1568286038-9752
PBS_JOBID= 21701064
Free space on /tmp= 52040 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-050-05-mul.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-4387623-1568286299/watcher-4387623-1568286299 -o /tmp/evaluation-result-4387623-1568286299/solver-4387623-1568286299 -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-4387623-1568286299.xml

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

MD5SUM BENCH= 0dc4c2f273d2e82d82a6e1c594dd299c
RANDOM SEED=183482288

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:        15090468 kB
MemAvailable:   31378032 kB
Buffers:          159184 kB
Cached:         16163796 kB
SwapCached:        48504 kB
Active:          2867352 kB
Inactive:       13945196 kB
Active(anon):     451260 kB
Inactive(anon):    79704 kB
Active(file):    2416092 kB
Inactive(file): 13865492 kB
Unevictable:      107624 kB
Mlocked:          107624 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:             20404 kB
Writeback:           396 kB
AnonPages:        733080 kB
Mapped:            54940 kB
Shmem:             32764 kB
Slab:             463364 kB
SReclaimable:     434440 kB
SUnreclaim:        28924 kB
KernelStack:        4208 kB
PageTables:         6924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6336832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    407552 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= 52020 MiB
End job on node147 at 2019-09-12 13:04:24