Trace number 4387899

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-183.xml
MD5SUMa94c8ce581cdc830ec36047aa81438de
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark17.7062
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size556
Maximum domain size556
Distribution of domain sizes[{"size":556,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
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-10856-serial-file.bin HOME/instance-4387899-1568292343.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 14:45:04 CEST 2019
0.66/0.55	c PID: 10859
0.66/0.55	c IP: 172.20.3.150
0.66/0.55	c HOST: node150.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.19/0.89	c (0,0) Parsing End
1.40/0.90	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 556
1.40/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.90	c (0,0) Constraint Name Generate Begin
1.40/0.90	c (0,0) Ctr:HOME/instance-4387899-1568292343.xml,Le:NoOverlap:Num:Var
1.40/0.90	c (0,0) Constraint Name Generate End
1.40/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.90	c (0,0) CSP to CSPinCNF Begin
1.40/0.98	c (0,0) translated 6 (10%) constraints
1.40/0.99	c (0,0) translated 11 (20%) constraints
1.40/0.99	c (0,0) translated 16 (30%) constraints
1.40/0.99	c (0,0) translated 22 (40%) constraints
1.40/1.00	c (0,0) translated 27 (50%) constraints
1.40/1.00	c (0,0) translated 32 (60%) constraints
1.40/1.00	c (0,0) translated 38 (70%) constraints
1.40/1.00	c (0,0) translated 43 (80%) constraints
1.57/1.01	c (0,0) translated 48 (90%) constraints
2.15/1.27	c (0,0) translated 53 (100%) constraints
2.15/1.27	c (0,0) ===========================================
2.15/1.27	c (0,0) Order
2.15/1.27	c (0,0) ===========================================
2.15/1.27	c (0,0) translated 36 (10%) constraints
2.15/1.28	c (0,0) translated 71 (20%) constraints
2.15/1.29	c (0,0) translated 106 (30%) constraints
2.15/1.29	c (0,0) translated 141 (40%) constraints
2.50/1.30	c (0,0) translated 176 (50%) constraints
2.50/1.30	c (0,0) translated 212 (60%) constraints
2.50/1.31	c (0,0) translated 247 (70%) constraints
2.50/1.31	c (0,0) translated 282 (80%) constraints
2.50/1.32	c (0,0) translated 317 (90%) constraints
2.50/1.32	c (0,0) translated 352 (100%) constraints
2.50/1.32	c (0,0) CSP to CSPinCNF End
2.50/1.32	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 554
2.50/1.32	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.50/1.32	c (0,0) CSPinCNF Propagation Begin
2.50/1.36	c (0,0) 0 values, 10 unsatisfiable literals, and 51 valid clauses are removed
2.50/1.36	c (0,0) CSPinCNF Propagation End
2.50/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 554
2.50/1.36	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.50/1.36	c (0,0) Simplify CSPinCNF Begin
2.80/1.45	c (0,0) Simplify CSPinCNF End
2.80/1.45	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 554
2.80/1.45	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.80/1.45	c (0,0) Calculate Precise Domain Begin
2.80/1.46	c (0,0) 0 values are removed by re-calculation
2.80/1.46	c (0,0) Calculate Precise Domain End
2.80/1.46	c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 554
2.80/1.46	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.80/1.46	c (0,0) CSPinCNF to SatSolver Begin
4.64/2.03	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 79386 SAT clauses)
4.89/2.24	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 133838 SAT clauses)
5.12/2.44	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 183603 SAT clauses)
5.36/2.64	c (2,2) 597 (40 %) CSP clauses are encoded (0 SAT variables, 236106 SAT clauses)
5.57/2.82	c (2,2) 746 (50 %) CSP clauses are encoded (0 SAT variables, 283703 SAT clauses)
5.69/3.01	c (2,2) 895 (60 %) CSP clauses are encoded (0 SAT variables, 331125 SAT clauses)
5.92/3.18	c (2,2) 1044 (70 %) CSP clauses are encoded (0 SAT variables, 375558 SAT clauses)
6.11/3.34	c (2,2) 1193 (80 %) CSP clauses are encoded (0 SAT variables, 418263 SAT clauses)
6.22/3.47	c (2,2) 1342 (90 %) CSP clauses are encoded (0 SAT variables, 453615 SAT clauses)
6.33/3.56	c (3,3) 1491 (100 %) CSP clauses are encoded (0 SAT variables, 476690 SAT clauses)
6.33/3.56	c (3,3) CSPinCNF to SatSolver End
6.33/3.56	c (3,3) Heap : 1802 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.33/3.56	c (3,3) 24404 bool, 476854 clause
6.33/3.56	c (3,3) Export Begin
6.44/3.65	c (3,3) Export to HOME/scop-10856-serial-file.bin
6.44/3.65	c (3,3) Export End
6.44/3.65	c (3,3) Export File Size: 0.01 MB
6.44/3.65	c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.44/3.65	c END-Prog: Thu Sep 12 14:45:08 CEST 2019
6.44/3.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10856-serial-file.bin
7.15/4.12	c (0,0) Read Serial File Begin
7.15/4.12	c (0,0) HOME/scop-10856-serial-file.bin
7.42/4.32	c (0,0) Read Serial File End
7.42/4.33	
7.42/4.33	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
7.42/4.33	(Solving Process)
7.42/4.33	
7.42/4.35	c BEGIN-Prog: Thu Sep 12 14:45:08 CEST 2019
7.42/4.35	c PID: 10874
7.42/4.35	c IP: 172.20.3.150
7.42/4.35	c HOST: node150.alineos.net
7.42/4.36	c (0,0) SatSolver.solve Begin
7.42/4.36	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387899-1568292343.xml-scop-10859.cnf
7.62/4.41	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.62/4.41	c (0,0) c glueminisat-simp-2.2.10-193oa-n
7.62/4.41	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387899-1568292343.xml-scop-10859.cnf 
7.62/4.42	c (0,0) c Options:
7.62/4.42	c (0,0) c CORE
7.62/4.42	c (0,0) c  var_decay             = 0.950
7.62/4.42	c (0,0) c  clause_decay          = 0.999
7.62/4.42	c (0,0) c  random_var_freq       = 0.000
7.62/4.42	c (0,0) c  random_seed           = 91648253.000
7.62/4.42	c (0,0) c  luby_restart          = 1
7.62/4.42	c (0,0) c  ccmin_mode            = 2
7.62/4.42	c (0,0) c  phase_saving          = 2
7.62/4.42	c (0,0) c  rnd_pol               = 0
7.62/4.42	c (0,0) c  rnd_init_act          = 0
7.62/4.42	c (0,0) c  garbage_frac          = 0.200
7.62/4.42	c (0,0) c  restart_first         = 1000
7.62/4.42	c (0,0) c  restart_inc           = 2.000
7.62/4.42	c (0,0) c MODEL
7.62/4.42	c (0,0) c  partial_model         = 0
7.62/4.42	c (0,0) c PROPAGATION
7.62/4.42	c (0,0) c  bin_propagation       = 1
7.62/4.42	c (0,0) c SIMPLIFICATION
7.62/4.42	c (0,0) c  lrn_min_size          = 100
7.62/4.42	c (0,0) c  lazy_simp             = 1
7.62/4.42	c (0,0) c  lazy_interval         = 10
7.62/4.42	c (0,0) c  lazy_fld_probing      = 1
7.62/4.42	c (0,0) c  lazy_pol_probing      = 1
7.62/4.42	c (0,0) c  lazy_nec_probing      = 1
7.62/4.42	c (0,0) c  lazy_eqv_probing      = 1
7.62/4.42	c (0,0) c  lazy_cla_probing      = 1
7.62/4.42	c (0,0) c  lazy_lrn_min          = 2
7.62/4.42	c (0,0) c  lazy_uw_lit_elim      = 1
7.62/4.42	c (0,0) c  lazy_pr_lit_elim      = 0
7.62/4.42	c (0,0) c  lazy_bin_add          = 3
7.62/4.42	c (0,0) c  probed_lit_chain      = 1
7.62/4.42	c (0,0) c  pr_min_lits           = 0.00020
7.62/4.42	c (0,0) c  pr_min_starts         = 500
7.62/4.42	c (0,0) c  rw_min_lits           = 0.010
7.62/4.42	c (0,0) c  rw_min_starts         = 500
7.62/4.42	c (0,0) c  rand_attach           = 0
7.62/4.42	c (0,0) c  dec_elim              = 1
7.62/4.42	c (0,0) c  dec_elim_lim          = 25
7.62/4.42	c (0,0) c  dec_elim_len          = -1
7.62/4.42	c (0,0) c  amo                   = 0
7.62/4.42	c (0,0) c  amo_grp               = 1
7.62/4.42	c (0,0) c  amo_max_bins          = 1000000
7.62/4.42	c (0,0) c  amo_starts            = 50
7.62/4.42	c (0,0) c  mace_cmd              = mace
7.62/4.42	c (0,0) c DECISION
7.62/4.42	c (0,0) c  rand_rebuild          = 0
7.62/4.42	c (0,0) c  rand_rebuild_confs    = 10000
7.62/4.42	c (0,0) c  inc_var_decay         = 1
7.62/4.42	c (0,0) c  inc_var_decay_period  = 100000
7.62/4.42	c (0,0) c  inc_var_decay_init    = 0.600
7.62/4.42	c (0,0) c  var_decay_mode        = 0
7.62/4.42	c (0,0) c  var_decay_gain        = 0
7.62/4.42	c (0,0) c  sloped_var_decay      = 1
7.62/4.42	c (0,0) c  max_var_decay         = 0.990
7.62/4.42	c (0,0) c  min_var_decay         = 0.950
7.62/4.42	c (0,0) c  min_var_decay_vars    = 10000
7.62/4.42	c (0,0) c  max_var_decay_vars    = 500
7.62/4.42	c (0,0) c  uip_bumping           = 1
7.62/4.42	c (0,0) c  lbd_act_bumping       = 1
7.62/4.42	c (0,0) c  rand_tiebreak         = 0
7.62/4.42	c (0,0) c  simp_rebuild          = 1
7.62/4.42	c (0,0) c RESTART
7.62/4.42	c (0,0) c  restart_strategy      = 2
7.62/4.42	c (0,0) c  restart_blocking      = 0
7.62/4.42	c (0,0) c  agility_decay         = 0.99990
7.62/4.42	c (0,0) c  lbd_restart_rate      = 0.800
7.62/4.42	c (0,0) c  dec_restart_rate      = 0.950
7.62/4.42	c (0,0) c  blk_restart_rate      = 0.700
7.62/4.42	c (0,0) c  lbd_queue_size        = 50
7.62/4.42	c (0,0) c  dec_queue_size        = 50
7.62/4.42	c (0,0) c  trl_queue_size        = 5000
7.62/4.42	c (0,0) c  blk_restart_weight    = 1.000
7.62/4.42	c (0,0) c  inc_rst_rate          = 0
7.62/4.42	c (0,0) c  inc_rst_rate_period   = 500000
7.62/4.42	c (0,0) c  inc_lbd_rst_rate_init = 0.600
7.62/4.42	c (0,0) c  inc_dec_rst_rate_init = 0.750
7.62/4.42	c (0,0) c REDUCTION
7.62/4.42	c (0,0) c  closed_lbd            = 0
7.62/4.42	c (0,0) c  closed_lbd_rate       = 0.500
7.62/4.42	c (0,0) c  rm_simulate           = 0
7.62/4.42	c (0,0) c  rdb_eval              = 2
7.62/4.42	c (0,0) c  rdb_call              = 3
7.62/4.42	c (0,0) c  rdb_ub                = 0.500
7.62/4.42	c (0,0) c  core_lbd_cvr          = 0.800
7.62/4.42	c (0,0) c  supp_lbd_cvr          = 0.990
7.62/4.42	c (0,0) c  core_lbd_lb           = 2
7.62/4.42	c (0,0) c  supp_lbd_lb           = 2
7.62/4.42	c (0,0) c  core_lbd_prd          = 7
7.62/4.42	c (0,0) c  supp_lbd_prd          = 1
7.62/4.42	c (0,0) c  othr_lbd_prd          = 0
7.62/4.42	c (0,0) c  inc_lrn_limit         = 1000
7.62/4.42	c (0,0) c  frozen_lbd            = 30
7.62/4.42	c (0,0) c  simp_min_starts       = 100
7.62/4.42	c (0,0) c  rm_low_act_learnts    = 1
7.62/4.42	c (0,0) c  lv0_reduce_db         = 0
7.62/4.42	c (0,0) c  reduce_db_base        = 20000
7.62/4.42	c (0,0) c  reduce_db_inc         = 1000
7.62/4.42	c (0,0) c HARD
7.62/4.42	c (0,0) c  inst_check            = 200000
7.62/4.42	c (0,0) c  small_block           = 1.750
7.62/4.42	c (0,0) c  slow_restart_speed    = 400.000
7.62/4.42	c (0,0) c  slow_restart_strategy = 3
7.62/4.42	c (0,0) c  slow_lbd_restart_rate = 0.700
7.62/4.42	c (0,0) c  slow_dec_restart_rate = 1.000
7.62/4.42	c (0,0) c  slow_lbd_queue_size   = 50
7.62/4.42	c (0,0) c  slow_var_decay        = 0.950
7.62/4.42	c (0,0) c  slow_glue_threshold   = 2
7.62/4.42	c (0,0) c  slow_phase_saving     = 2
7.62/4.42	c (0,0) c  fast_restart_speed    = 125.000
7.62/4.42	c (0,0) c  fast_restart_strategy = 1
7.62/4.42	c (0,0) c  fast_lbd_restart_rate = 0.800
7.62/4.42	c (0,0) c  fast_dec_restart_rate = 0.950
7.62/4.42	c (0,0) c  fast_lbd_queue_size   = 50
7.62/4.42	c (0,0) c  fast_var_decay        = 1.000
7.62/4.42	c (0,0) c  fast_glue_threshold   = 2
7.62/4.42	c (0,0) c  fast_phase_saving     = 2
7.62/4.42	c (0,0) c STATS
7.62/4.42	c (0,0) c  stats_conf_size       = 10000
7.62/4.42	c (0,0) c  max_stats_size        = 30
7.62/4.42	c (0,0) c SOLVER
7.62/4.42	c (0,0) c  minisat               = 0
7.71/4.56	c (0,0) c Problem: 24404 variables, 476854 clauses, parsing 0.16 s
8.52/5.20	c (1,0) c  reduced to 23874 variables, 476324 clauses (grow = 0)
8.82/5.56	c (1,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
8.82/5.56	c (1,0) c Simplification: 530 vars, 530 clauses are eliminated using 0.69 s
8.82/5.56	c (1,0) c
8.82/5.56	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
8.82/5.56	c (1,0) c
8.82/5.56	c (1,0) c    0         0         0    23874   476324        0   -nan  -nan  -nan -nan%
8.82/5.56	c (1,0) c    0         1       100    23874   476324      100   11.3   5.8  47.1 35.3%
8.82/5.56	c (1,0) c    0         1       220    23874   476324      220   14.9   5.9  49.8 38.9%
8.82/5.56	c (1,0) c    0         1       364    23874   476324      364   16.2   5.6  36.5 34.7%
8.82/5.56	c (1,0) c    1         1       536    23874   476324      536   17.3   5.6  30.2 34.7%
8.82/5.56	c (1,0) c    1         1       743    23874   476324      743   18.1   5.3  24.7 33.2%
8.82/5.56	c (1,0) c    1         1       991    23874   476324      991   17.8   5.3  24.5 35.5%
8.82/5.60	c (1,0) c    1         3      1289    23874   476324     1289   17.6   5.8  27.5 37.7%
8.92/5.70	c (1,0) c    1         5      1647    23838   476324     1646   16.8   5.9  28.5 36.6%
9.13/5.81	c (1,0) c    1         8      2076    23838   476324     2075   16.9   6.1  28.2 35.8%
9.23/5.94	c (1,0) c    1        10      2591    23838   476324     2591   17.2   5.8  25.8 35.1%
9.44/6.12	c (2,0) c    1        10      3210    23698   476324     3209   17.2   5.7  24.3 34.0%
9.63/6.34	c (2,0) c    1        11      3953    23698   476324     3952   17.4   5.6  23.5 34.1%
9.83/6.58	c (2,0) c    2        11      4844    23698   476324     4845   17.8   5.5  22.3 34.1%
10.13/6.88	c (2,0) c    2        14      5913    23698   476324     5914   18.4   5.5  21.5 34.5%
10.53/7.29	c (3,0) c    2        20      7196    23678   476324     7197   19.2   5.6  21.4 35.6%
11.13/7.85	c (3,0) c
11.13/7.85	c (3,0) c   variables         : 23678       (init 24404, after simp 23874, 0 non-decs, 50 csp)
11.13/7.85	c (3,0) c   clauses           : 476324      (init 476854, after simp 476324)
11.13/7.85	c (3,0) c   restarts          : 29          (291.20 confs/res, 50~1438 confs, 0 blks, 0 last)
11.13/7.85	c (3,0) c   conflicts         : 8736        (2562 /sec, 57.36% dconfs, 0.00% supp, trail 520.44w x 21.43h, jmp 2.82h)
11.13/7.85	c (3,0) c   decisions         : 25297       (0.6300 vdcy, 7419 /sec, 0.00% bin, rs 0.001 s)
11.13/7.85	c (3,0) c   propagations      : 11692820    (3429398 /sec, 462.22 lits/dec, 72.91% o.a.)
11.13/7.85	c (3,0) c   conflict literals : 240059      (28.21% deleted; 0.99% by bin min, 0.002 s)
11.13/7.85	c (3,0) c   len               : 19.450      (19.46 for all, max 89, used 84)
11.13/7.85	c (3,0) c   lbd               : 5.674       (7.09 (5.67) for all, max 38, used 38, 2.019 stdev, 2.743 blk)
11.13/7.85	c (3,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
11.13/7.85	c (3,0) c   simp dbs          : 1           (0.000 s)
11.13/7.85	c (3,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
11.13/7.85	c (3,0) c   learnts           : 8739        (0 learnts removed, 0.00%)
11.13/7.85	c (3,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
11.13/7.85	c (3,0) c   assigned lits     : 0           (0/1 probed, 1 remains)
11.13/7.85	c (3,0) c   premise updates   : 903654      (18.93 /lit)
11.13/7.85	c (3,0) c   probed variables  : 1           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 1 cla, 0 amo)
11.13/7.85	c (3,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
11.13/7.85	c (3,0) c   lazy added bins   : 6           (6 prop + 0 conf, 0.004s)
11.13/7.85	c (3,0) c   unwatched lit elim: 495         (0.00+0.19%, 32+463 of 1628430+240059)
11.13/7.85	c (3,0) c   classified type   : undef
11.13/7.85	c (3,0) c   progress          : 0.821 %
11.13/7.85	c (3,0) c
11.13/7.85	c (3,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
11.13/7.85	c (3,0) c
11.13/7.85	c (3,0) c    3        30      8736    23678   476324     8739   19.4   5.7  21.4 35.6%
11.73/8.42	c (4,0) c    4        41     10584    23678   476324    10591   20.4   5.8  20.7 36.6%
12.53/9.29	c (5,0) c    4        55     12802    23678   476324    12814   21.9   5.9  20.9 39.6%
13.73/10.43	c (6,0) c    6        72     15464    23512   476324    15481   22.4   5.9  21.5 42.0%
15.13/11.85	c (7,0) c    7 p      83     18433    23337   476324    18451   22.8   5.9  20.0 43.1%
15.23/11.99	c (7,0) c    7        84     18658    23337   476324    18676   22.8   5.9  20.0 43.1%
16.04/12.74	c (8,0) c    8 r      88     20002    23337   476324    20022   22.8   5.9  19.5 43.2%
16.04/12.74	c (8,0) c
16.04/12.74	c (8,0) c R [LBD Statistics #1]
16.04/12.74	c (8,0) c R LBD         used lbd               used clause lbd
16.04/12.74	c (8,0) c R  tot      192639                   20022
16.04/12.74	c (8,0) c R  avg       3.054                   5.879
16.04/12.74	c (8,0) c R   1         7957 ( 4.1/ 4.1%)        280 ( 1.4/ 1.4%)
16.04/12.74	c (8,0) c R   2       106160 (55.1/59.2%)       3311 (16.5/17.9%)
16.04/12.74	c (8,0) c R   3        29379 (15.3/74.5%)       2449 (12.2/30.2%)
16.04/12.74	c (8,0) c R   4        18760 ( 9.7/84.2%)       2496 (12.5/42.6%)
16.04/12.74	c (8,0) c R
16.04/12.74	c (8,0) c R core_lbd_threshold = 4
16.04/12.74	c (8,0) c R supp_lbd_threshold = 11
16.04/12.74	c (8,0) c R
16.04/12.74	c (8,0) c R [RDB Statistics #1]
16.04/12.74	c (8,0) c R kept: lbd      =    8504 (42.5/42.5%)
16.04/12.74	c (8,0) c R kept: ttl      =   11486 (57.4/99.8%)
16.04/12.74	c (8,0) c R kept: locked   =      32 ( 0.2/100.0%)
16.04/12.74	c (8,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
16.04/12.74	c (8,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
16.04/12.74	c (8,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
16.04/12.74	c (8,0) c
16.04/12.74	c (8,0) c    8 R      88     20002    23337   476324    20022   22.8   5.9  19.5 43.2%
17.14/13.88	c (9,0) c    9       100     22491    23196   466068    21022   23.0   5.9  18.0 45.2%
17.74/14.43	c (10,0) c   10 p     111     23688    23006   466068    22230   23.5   5.9  18.3 46.9%
18.74/15.47	c (11,0) c   11       129     25983    22585   466068    24531   24.4   6.0  18.3 49.9%
18.74/15.47	c (11,0) c
18.74/15.47	c (11,0) c
18.74/15.47	c (11,0) c variables         : 22585       (init 24404, after simp 23874, 0 non-decs, 50 csp)
18.74/15.47	c (11,0) c clauses           : 466068      (init 476854, after simp 476324)
18.74/15.47	c (11,0) c restarts          : 128         (201.42 confs/res, 50~1438 confs, 0 blks, 0 last)
18.74/15.47	c (11,0) c conflicts         : 25983       (2369 /sec, 54.25% dconfs, 0.00% supp, trail 678.37w x 20.16h, jmp 2.41h)
18.74/15.47	c (11,0) c decisions         : 65987       (0.6900 vdcy, 6017 /sec, 0.00% bin, rs 0.004 s)
18.74/15.47	c (11,0) c propagations      : 39633040    (3614015 /sec, 600.62 lits/dec, 75.76% o.a.)
18.74/15.47	c (11,0) c conflict literals : 1066014     (37.00% deleted; 1.46% by bin min, 0.009 s)
18.74/15.47	c (11,0) c len               : 24.401      (25.25 for all, max 197, used 197)
18.74/15.47	c (11,0) c lbd               : 5.980       (7.71 (5.98) for all, max 41, used 41, 2.078 stdev, 3.273 blk)
18.74/15.47	c (11,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
18.74/15.47	c (11,0) c simp dbs          : 2           (0.038 s)
18.74/15.47	c (11,0) c reduce dbs        : 1           (core-lbd 4, supp-lbd 11, 0.001 s)
18.74/15.47	c (11,0) c learnts           : 24531       (0 learnts removed, 0.00%)
18.74/15.47	c (11,0) c rewrite dbs       : 0           (0/15 vars, 0+0 taut, 0+0 unit, 0.000 s)
18.74/15.47	c (11,0) c assigned lits     : 2           (5/200 probed, 4 remains)
18.74/15.47	c (11,0) c premise updates   : 2204613     (46.17 /lit)
18.74/15.47	c (11,0) c probed variables  : 200         (0 pr, 0 eq, 2 fld, 185 pol, 0 nec, 13 cla, 0 amo)
18.74/15.47	c (11,0) c equiv variables   : 15          (0 bin, 0 trn, 0 quat, 0 quin, 1 othr; 0 amo)
18.74/15.47	c (11,0) c lazy added bins   : 46          (46 prop + 0 conf, 0.008s)
18.74/15.47	c (11,0) c unwatched lit elim: 15867       (0.11+1.33%, 1710+14157 of 1628430+1066014)
18.74/15.47	c (11,0) c classified type   : undef
18.74/15.47	c (11,0) c progress          : 5.399 %
18.74/15.47	c (11,0) c
18.74/15.47	c (11,0) c [Statistics]
18.74/15.47	c (11,0) c             learnts len        learnts lbd        lit blk size       eq vars size
18.74/15.47	c (11,0) c  tot       25983              25983             200394                  1
18.74/15.47	c (11,0) c  avg      25.246              5.983              3.273             16.000
18.74/15.47	c (11,0) c   1            9 ( 0.0%)        376 ( 1.4%)     113157 (56.5%)          0 ( 0.0%)
18.74/15.47	c (11,0) c   2           46 ( 0.2%)       4140 (15.9%)      27358 (13.7%)          0 ( 0.0%)
18.74/15.47	c (11,0) c   3          157 ( 0.6%)       3202 (12.3%)      15413 ( 7.7%)          0 ( 0.0%)
18.74/15.47	c (11,0) c   4          242 ( 0.9%)       3242 (12.5%)       9973 ( 5.0%)          0 ( 0.0%)
18.74/15.47	c (11,0) c   5          341 ( 1.3%)       3148 (12.1%)       6739 ( 3.4%)          0 ( 0.0%)
18.74/15.47	c (11,0) c   6          585 ( 2.3%)       2742 (10.6%)       4914 ( 2.5%)          0 ( 0.0%)
18.74/15.47	c (11,0) c   7          929 ( 3.6%)       2303 ( 8.9%)       3649 ( 1.8%)          0 ( 0.0%)
18.74/15.47	c (11,0) c   8         1092 ( 4.2%)       1764 ( 6.8%)       2837 ( 1.4%)          0 ( 0.0%)
18.74/15.47	c (11,0) c   9         1262 ( 4.9%)       1335 ( 5.1%)       2354 ( 1.2%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  10         1172 ( 4.5%)        950 ( 3.7%)       1831 ( 0.9%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  11         1064 ( 4.1%)        696 ( 2.7%)       1650 ( 0.8%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  12          976 ( 3.8%)        530 ( 2.0%)       1298 ( 0.6%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  13          949 ( 3.7%)        365 ( 1.4%)       1117 ( 0.6%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  14          953 ( 3.7%)        266 ( 1.0%)        900 ( 0.4%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  15          918 ( 3.5%)        185 ( 0.7%)        771 ( 0.4%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  16          829 ( 3.2%)        149 ( 0.6%)        660 ( 0.3%)          1 (100.0%)
18.74/15.47	c (11,0) c  17          842 ( 3.2%)        104 ( 0.4%)        632 ( 0.3%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  18          751 ( 2.9%)         76 ( 0.3%)        477 ( 0.2%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  19          766 ( 2.9%)         61 ( 0.2%)        469 ( 0.2%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  20          684 ( 2.6%)         63 ( 0.2%)        438 ( 0.2%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  21          621 ( 2.4%)         54 ( 0.2%)        301 ( 0.2%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  22          582 ( 2.2%)         38 ( 0.1%)        294 ( 0.1%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  23          563 ( 2.2%)         35 ( 0.1%)        276 ( 0.1%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  24          513 ( 2.0%)         40 ( 0.2%)        242 ( 0.1%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  25          473 ( 1.8%)         26 ( 0.1%)        198 ( 0.1%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  26          485 ( 1.9%)         18 ( 0.1%)        206 ( 0.1%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  27          470 ( 1.8%)         18 ( 0.1%)        178 ( 0.1%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  28          425 ( 1.6%)         11 ( 0.0%)        171 ( 0.1%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  29          392 ( 1.5%)         14 ( 0.1%)        159 ( 0.1%)          0 ( 0.0%)
18.74/15.47	c (11,0) c  30         6892 (26.5%)         32 ( 0.1%)       1732 ( 0.9%)          0 ( 0.0%)
18.74/15.47	c (11,0) c
18.74/15.47	c (11,0) c [LBD Statistics]
18.74/15.47	c (11,0) c LBD          used lbd               used clause lbd         unused clause lbd
18.74/15.47	c (11,0) c  tot       278111                   17996                    8024
18.74/15.47	c (11,0) c  avg        3.074                   5.021                   8.125
18.74/15.47	c (11,0) c    1        12681 ( 4.6/ 4.6%)        367 ( 2.0/ 2.0%)          0 ( 0.0/ 0.0%)
18.74/15.47	c (11,0) c    2       152112 (54.7/59.3%)       3965 (22.0/24.1%)        221 ( 2.8/ 2.8%)
18.74/15.47	c (11,0) c    3        41558 (14.9/74.2%)       2820 (15.7/39.7%)        382 ( 4.8/ 7.5%)
18.74/15.47	c (11,0) c    4        27104 ( 9.7/83.9%)       2548 (14.2/53.9%)        694 ( 8.6/16.2%)
18.74/15.47	c (11,0) c    5        16956 ( 6.1/90.0%)       2186 (12.1/66.0%)        962 (12.0/28.2%)
18.74/15.47	c (11,0) c    6        10479 ( 3.8/93.8%)       1721 ( 9.6/75.6%)       1021 (12.7/40.9%)
18.74/15.47	c (11,0) c    7         6034 ( 2.2/96.0%)       1291 ( 7.2/82.8%)       1012 (12.6/53.5%)
18.74/15.47	c (11,0) c    8         3915 ( 1.4/97.4%)        924 ( 5.1/87.9%)        840 (10.5/64.0%)
18.74/15.47	c (11,0) c    9         2382 ( 0.9/98.2%)        641 ( 3.6/91.5%)        694 ( 8.6/72.6%)
18.74/15.47	c (11,0) c   10         1509 ( 0.5/98.8%)        447 ( 2.5/94.0%)        503 ( 6.3/78.9%)
18.74/15.47	c (11,0) c   11          945 ( 0.3/99.1%)        273 ( 1.5/95.5%)        423 ( 5.3/84.1%)
18.74/15.47	c (11,0) c   12          702 ( 0.3/99.4%)        233 ( 1.3/96.8%)        297 ( 3.7/87.8%)
18.74/15.47	c (11,0) c   13          490 ( 0.2/99.6%)        149 ( 0.8/97.6%)        216 ( 2.7/90.5%)
18.74/15.47	c (11,0) c   14          353 ( 0.1/99.7%)        106 ( 0.6/98.2%)        160 ( 2.0/92.5%)
18.74/15.47	c (11,0) c   15          201 ( 0.1/99.8%)         80 ( 0.4/98.6%)        105 ( 1.3/93.8%)
18.74/15.47	c (11,0) c   16          167 ( 0.1/99.8%)         39 ( 0.2/98.9%)        110 ( 1.4/95.2%)
18.74/15.47	c (11,0) c   17           92 ( 0.0/99.8%)         37 ( 0.2/99.1%)         67 ( 0.8/96.0%)
18.74/15.47	c (11,0) c   18           95 ( 0.0/99.9%)         31 ( 0.2/99.2%)         45 ( 0.6/96.6%)
18.74/15.47	c (11,0) c   19           62 ( 0.0/99.9%)         18 ( 0.1/99.3%)         43 ( 0.5/97.1%)
18.74/15.47	c (11,0) c   20           38 ( 0.0/99.9%)         16 ( 0.1/99.4%)         47 ( 0.6/97.7%)
18.74/15.47	c (11,0) c   21           30 ( 0.0/99.9%)         23 ( 0.1/99.5%)         31 ( 0.4/98.1%)
18.74/15.47	c (11,0) c   22           36 ( 0.0/99.9%)         13 ( 0.1/99.6%)         25 ( 0.3/98.4%)
18.74/15.47	c (11,0) c   23           24 ( 0.0/99.9%)          9 ( 0.1/99.7%)         26 ( 0.3/98.8%)
18.74/15.47	c (11,0) c   24           30 ( 0.0/100.0%)         13 ( 0.1/99.7%)         27 ( 0.3/99.1%)
18.74/15.47	c (11,0) c   25           17 ( 0.0/100.0%)          8 ( 0.0/99.8%)         18 ( 0.2/99.3%)
18.74/15.47	c (11,0) c   26           17 ( 0.0/100.0%)          7 ( 0.0/99.8%)         11 ( 0.1/99.5%)
18.74/15.47	c (11,0) c   27           14 ( 0.0/100.0%)          8 ( 0.0/99.9%)         10 ( 0.1/99.6%)
18.74/15.47	c (11,0) c   28           11 ( 0.0/100.0%)          5 ( 0.0/99.9%)          6 ( 0.1/99.7%)
18.74/15.47	c (11,0) c   29           14 ( 0.0/100.0%)          6 ( 0.0/99.9%)          8 ( 0.1/99.8%)
18.74/15.47	c (11,0) c   30           12 ( 0.0/100.0%)          5 ( 0.0/100.0%)          5 ( 0.1/99.8%)
18.74/15.47	c (11,0) c   31           11 ( 0.0/100.0%)          2 ( 0.0/100.0%)          5 ( 0.1/99.9%)
18.74/15.47	c (11,0) c   32           11 ( 0.0/100.0%)          1 ( 0.0/100.0%)          3 ( 0.0/99.9%)
18.74/15.47	c (11,0) c   33            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
18.74/15.47	c (11,0) c   34            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/100.0%)
18.74/15.47	c (11,0) c   35            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
18.74/15.47	c (11,0) c   36            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
18.74/15.47	c (11,0) c   37            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
18.74/15.47	c (11,0) c   38            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/100.0%)
18.74/15.47	c (11,0) c   39            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/100.0%)
18.74/15.47	c (11,0) c   40            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
18.74/15.47	c (11,0) c   41            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
18.74/15.47	c (11,0) c
18.74/15.47	c (11,0) c Memory used       : 85.00 MB
18.74/15.47	c (11,0) c CPU time          : 10.967 s
18.74/15.47	c (11,0) c Real time         : 11.090 s
18.74/15.47	c (11,0) c
18.74/15.47	c (11,0) s SATISFIABLE
18.92/15.53	c (11,0) SatSolver.solve End
18.92/15.53	c (11,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
18.92/15.53	c (11,0) Show results Begin
19.16/15.62	c (11,0) x[0] = 348
19.16/15.62	c (11,0) x[1] = 351
19.16/15.62	c (11,0) x[2] = 158
19.16/15.62	c (11,0) x[3] = 348
19.16/15.62	c (11,0) x[4] = 348
19.16/15.62	c (11,0) x[5] = 367
19.16/15.62	c (11,0) x[6] = 363
19.16/15.62	c (11,0) x[7] = 314
19.16/15.62	c (11,0) x[8] = 355
19.16/15.62	c (11,0) x[9] = 351
19.16/15.62	c (11,0) x[10] = 348
19.16/15.62	c (11,0) x[11] = 303
19.16/15.62	c (11,0) x[12] = 303
19.16/15.62	c (11,0) x[13] = 303
19.16/15.62	c (11,0) x[14] = 314
19.16/15.62	c (11,0) x[15] = 227
19.16/15.62	c (11,0) x[16] = 227
19.16/15.62	c (11,0) x[17] = 158
19.16/15.62	c (11,0) x[18] = 0
19.16/15.62	c (11,0) x[19] = 390
19.16/15.62	c (11,0) x[20] = 0
19.16/15.62	c (11,0) x[21] = 171
19.16/15.62	c (11,0) x[22] = 367
19.16/15.62	c (11,0) x[23] = 355
19.16/15.62	c (11,0) x[24] = 0
19.16/15.62	c (11,0) y[0] = 275
19.16/15.62	c (11,0) y[1] = 227
19.16/15.62	c (11,0) y[2] = 372
19.16/15.62	c (11,0) y[3] = 212
19.16/15.62	c (11,0) y[4] = 193
19.16/15.62	c (11,0) y[5] = 189
19.16/15.62	c (11,0) y[6] = 212
19.16/15.62	c (11,0) y[7] = 193
19.16/15.62	c (11,0) y[8] = 320
19.16/15.62	c (11,0) y[9] = 239
19.16/15.62	c (11,0) y[10] = 278
19.16/15.62	c (11,0) y[11] = 275
19.16/15.62	c (11,0) y[12] = 227
19.16/15.62	c (11,0) y[13] = 320
19.16/15.62	c (11,0) y[14] = 140
19.16/15.62	c (11,0) y[15] = 140
19.16/15.62	c (11,0) y[16] = 0
19.16/15.62	c (11,0) y[17] = 227
19.16/15.62	c (11,0) y[18] = 227
19.16/15.62	c (11,0) y[19] = 189
19.16/15.62	c (11,0) y[20] = 385
19.16/15.62	c (11,0) y[21] = 372
19.16/15.62	c (11,0) y[22] = 0
19.16/15.62	c (11,0) y[23] = 355
19.16/15.62	c (11,0) y[24] = 0
19.16/15.62	s SATISFIABLE
19.16/15.63	v <instantiation>
19.16/15.63	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
19.16/15.63	v     <values>348 351 158 348 348 367 363 314 355 351 348 303 303 303 314 227 227 158 0 390 0 171 367 355 0 275 227 372 212 193 189 212 193 320 239 278 275 227 320 140 140 0 227 227 189 385 372 0 355 0</values>
19.16/15.63	v </instantiation>
19.16/15.63	c (11,0) Show results End
19.16/15.63	c (11,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
19.16/15.63	c (11,0) 11,11,STOP-AFTER(ALL)
19.16/15.63	c END-Prog: Thu Sep 12 14:45:19 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387899-1568292343/watcher-4387899-1568292343 -o /tmp/evaluation-result-4387899-1568292343/solver-4387899-1568292343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8654 --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-4387899-1568292343.xml 

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

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


[startup+0.100163 s]*
/proc/loadavg: 2.03 2.19 2.71 3/234 10873
/proc/meminfo: memFree=23908120/32770624 swapFree=67015516/67108860
[pid=10856] ppid=10853 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10856/stat : 10856 (scop.sh) S 10853 10856 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405506951 115843072 349 33554432000 4194304 5098028 140724650940080 140724650937336 140095200612988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31424512 140724650943272 140724650943600 140724650943600 140724650946509 0
/proc/10856/statm: 28282 349 296 221 0 87 0
[pid=10859] ppid=10856 vsize=15012696 memory=73976 CPUtime=0.11 cores=1,3,5,7
/proc/10859/stat : 10859 (java) S 10856 10856 7440 0 -1 1077944320 6723 0 0 0 10 1 0 0 20 0 15 0 405506951 15373000704 18494 33554432000 4194304 4196468 140736512780464 140736512763008 139961580039927 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
/proc/10859/statm: 3753174 18494 2935 1 0 3715579 0
[pid=10859/tid=10860] ppid=10856 vsize=15012696 memory=7533807676074704953 CPUtime=0.09 cores=1,3,5,7
/proc/10859/task/10860/stat : 10860 (java) R 10856 10856 7440 0 -1 4202560 4549 0 0 0 8 1 0 0 20 0 15 0 405506951 15373000704 18494 33554432000 4194304 4196468 140736512780464 139961551833736 139961580061853 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10861] ppid=10856 vsize=15012696 memory=3472468694458517168 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10861/stat : 10861 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 18494 33554432000 4194304 4196468 140736512780464 139961584282384 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10862] ppid=10856 vsize=15012696 memory=140398230836864 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10862/stat : 10862 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 18494 33554432000 4194304 4196468 140736512780464 139961040190352 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10863] ppid=10856 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10863/stat : 10863 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 18494 33554432000 4194304 4196468 140736512780464 139961039137808 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10864] ppid=10856 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10864/stat : 10864 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 18494 33554432000 4194304 4196468 140736512780464 139961038085264 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10865] ppid=10856 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10865/stat : 10865 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506954 15373000704 18494 33554432000 4194304 4196468 140736512780464 139960349087728 139961580051074 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10866] ppid=10856 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10866/stat : 10866 (java) S 10856 10856 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405506955 15373000704 18494 33554432000 4194304 4196468 140736512780464 139960233485216 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10867] ppid=10856 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10867/stat : 10867 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506955 15373000704 18494 33554432000 4194304 4196468 140736512780464 139959965049840 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10868] ppid=10856 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10868/stat : 10868 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405506957 15373000704 18494 33554432000 4194304 4196468 140736512780464 139959590541520 139961580058523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10869] ppid=10856 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10869/stat : 10869 (java) S 10856 10856 7440 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 405506957 15373000704 18494 33554432000 4194304 4196468 140736512780464 139960348035568 139961580051074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10870] ppid=10856 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10870/stat : 10870 (java) S 10856 10856 7440 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 405506957 15373000704 18494 33554432000 4194304 4196468 140736512780464 139960346983024 139961580051074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10871] ppid=10856 vsize=15012696 memory=140398230836864 CPUtime=0.01 cores=1,3,5,7
/proc/10859/task/10871/stat : 10871 (java) R 10856 10856 7440 0 -1 4202560 405 0 0 0 1 0 0 0 20 0 15 0 405506957 15373000704 18494 33554432000 4194304 4196468 140736512780464 139960345927416 139961560283969 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10872] ppid=10856 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10872/stat : 10872 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405506958 15373000704 18494 33554432000 4194304 4196468 140736512780464 139959092636768 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10873] ppid=10856 vsize=15012696 memory=140398230836864 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10873/stat : 10873 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506958 15373000704 18494 33554432000 4194304 4196468 140736512780464 139960344877360 139961580051074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75372 KiB

[startup+0.21089 s]*
/proc/loadavg: 2.03 2.19 2.71 3/234 10873
/proc/meminfo: memFree=23890236/32770624 swapFree=67015516/67108860
[pid=10856] ppid=10853 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10856/stat : 10856 (scop.sh) S 10853 10856 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405506951 115843072 349 33554432000 4194304 5098028 140724650940080 140724650937336 140095200612988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31424512 140724650943272 140724650943600 140724650943600 140724650946509 0
/proc/10856/statm: 28282 349 296 221 0 87 0
[pid=10859] ppid=10856 vsize=15012696 memory=89112 CPUtime=0.25 cores=1,3,5,7
/proc/10859/stat : 10859 (java) S 10856 10856 7440 0 -1 1077944320 11779 0 0 0 22 3 0 0 20 0 15 0 405506951 15373000704 22278 33554432000 4194304 4196468 140736512780464 140736512763008 139961580039927 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
/proc/10859/statm: 3753174 22278 2965 1 0 3715579 0
[pid=10859/tid=10860] ppid=10856 vsize=15012696 memory=8514701219881125283 CPUtime=0.2 cores=1,3,5,7
/proc/10859/task/10860/stat : 10860 (java) R 10856 10856 7440 0 -1 4202560 9547 0 0 0 18 2 0 0 20 0 15 0 405506951 15373000704 22278 33554432000 4194304 4196468 140736512780464 139961551853360 139961565733393 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10861] ppid=10856 vsize=15012696 memory=3472468694458517168 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10861/stat : 10861 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 22278 33554432000 4194304 4196468 140736512780464 139961584282384 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10862] ppid=10856 vsize=15012696 memory=140398230836864 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10862/stat : 10862 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 22278 33554432000 4194304 4196468 140736512780464 139961040190352 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10863] ppid=10856 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10863/stat : 10863 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 22278 33554432000 4194304 4196468 140736512780464 139961039137808 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10864] ppid=10856 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10864/stat : 10864 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 22278 33554432000 4194304 4196468 140736512780464 139961038085264 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10865] ppid=10856 vsize=15012696 memory=140398230836864 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10865/stat : 10865 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506954 15373000704 22278 33554432000 4194304 4196468 140736512780464 139960349087728 139961580051074 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10866] ppid=10856 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10866/stat : 10866 (java) S 10856 10856 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405506955 15373000704 22278 33554432000 4194304 4196468 140736512780464 139960233485216 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10867] ppid=10856 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10867/stat : 10867 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506955 15373000704 22278 33554432000 4194304 4196468 140736512780464 139959965049840 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10868] ppid=10856 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10868/stat : 10868 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405506957 15373000704 22278 33554432000 4194304 4196468 140736512780464 139959590541520 139961580058523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10869] ppid=10856 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10869/stat : 10869 (java) S 10856 10856 7440 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 405506957 15373000704 22278 33554432000 4194304 4196468 140736512780464 139960348035568 139961580051074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10870] ppid=10856 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10870/stat : 10870 (java) S 10856 10856 7440 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 405506957 15373000704 22278 33554432000 4194304 4196468 140736512780464 139960346983024 139961580051074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10871] ppid=10856 vsize=15012696 memory=140398230836864 CPUtime=0.03 cores=1,3,5,7
/proc/10859/task/10871/stat : 10871 (java) R 10856 10856 7440 0 -1 4202560 413 0 0 0 3 0 0 0 20 0 15 0 405506957 15373000704 22278 33554432000 4194304 4196468 140736512780464 139960345930480 139961572277054 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10872] ppid=10856 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10872/stat : 10872 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405506958 15373000704 22278 33554432000 4194304 4196468 140736512780464 139959092636768 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10873] ppid=10856 vsize=15012696 memory=140398230836864 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10873/stat : 10873 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506958 15373000704 22278 33554432000 4194304 4196468 140736512780464 139960344877360 139961580051074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90508 KiB

[startup+0.310652 s]*
/proc/loadavg: 2.03 2.19 2.71 3/234 10873
/proc/meminfo: memFree=23887816/32770624 swapFree=67015516/67108860
[pid=10856] ppid=10853 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10856/stat : 10856 (scop.sh) S 10853 10856 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405506951 115843072 349 33554432000 4194304 5098028 140724650940080 140724650937336 140095200612988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31424512 140724650943272 140724650943600 140724650943600 140724650946509 0
/proc/10856/statm: 28282 349 296 221 0 87 0
[pid=10859] ppid=10856 vsize=15012696 memory=92196 CPUtime=0.42 cores=1,3,5,7
/proc/10859/stat : 10859 (java) S 10856 10856 7440 0 -1 1077944320 12615 0 0 0 39 3 0 0 20 0 15 0 405506951 15373000704 23049 33554432000 4194304 4196468 140736512780464 140736512763008 139961580039927 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
/proc/10859/statm: 3753174 23049 3011 1 0 3715579 0
[pid=10859/tid=10860] ppid=10856 vsize=15012696 memory=8514701219881125283 CPUtime=0.3 cores=1,3,5,7
/proc/10859/task/10860/stat : 10860 (java) R 10856 10856 7440 0 -1 4202560 10221 0 0 0 27 3 0 0 20 0 15 0 405506951 15373000704 23049 33554432000 4194304 4196468 140736512780464 139961551852272 139961564120414 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10861] ppid=10856 vsize=15012696 memory=3472468694458517168 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10861/stat : 10861 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 23049 33554432000 4194304 4196468 140736512780464 139961584282384 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10862] ppid=10856 vsize=15012696 memory=140398230844330 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10862/stat : 10862 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 23049 33554432000 4194304 4196468 140736512780464 139961040190352 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10863] ppid=10856 vsize=15012696 memory=140398118951227 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10863/stat : 10863 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 23049 33554432000 4194304 4196468 140736512780464 139961039137808 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10864] ppid=10856 vsize=15012696 memory=140398118957487 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10864/stat : 10864 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506953 15373000704 23049 33554432000 4194304 4196468 140736512780464 139961038085264 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10865] ppid=10856 vsize=15012696 memory=140398230845518 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10865/stat : 10865 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506954 15373000704 23049 33554432000 4194304 4196468 140736512780464 139960349087728 139961580051074 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10866] ppid=10856 vsize=15012696 memory=140398118948303 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10866/stat : 10866 (java) S 10856 10856 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405506955 15373000704 23049 33554432000 4194304 4196468 140736512780464 139960233485216 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10867] ppid=10856 vsize=15012696 memory=280796237910384 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10867/stat : 10867 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506955 15373000704 23049 33554432000 4194304 4196468 140736512780464 139959965049840 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10868] ppid=10856 vsize=15012696 memory=140398118965736 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10868/stat : 10868 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405506957 15373000704 23049 33554432000 4194304 4196468 140736512780464 139959590541520 139961580058523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10869] ppid=10856 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10859/task/10869/stat : 10869 (java) S 10856 10856 7440 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 15 0 405506957 15373000704 23049 33554432000 4194304 4196468 140736512780464 139960348035568 139961580051074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10870] ppid=10856 vsize=15012696 memory=2240 CPUtime=0.02 cores=1,3,5,7
/proc/10859/task/10870/stat : 10870 (java) S 10856 10856 7440 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 15 0 405506957 15373000704 23049 33554432000 4194304 4196468 140736512780464 139960346983024 139961580051074 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10871] ppid=10856 vsize=15012696 memory=140398230836864 CPUtime=0.07 cores=1,3,5,7
/proc/10859/task/10871/stat : 10871 (java) S 10856 10856 7440 0 -1 1077944384 433 0 0 0 7 0 0 0 20 0 15 0 405506957 15373000704 23049 33554432000 4194304 4196468 140736512780464 139960345930480 139961580051074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10872] ppid=10856 vsize=15012696 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10872/stat : 10872 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405506958 15373000704 23049 33554432000 4194304 4196468 140736512780464 139959092636768 139961580050133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10873] ppid=10856 vsize=15012696 memory=140398230836864 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10873/stat : 10873 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506958 15373000704 23049 33554432000 4194304 4196468 140736512780464 139960344877360 139961580051074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93592 KiB

[startup+0.700832 s]
/proc/loadavg: 2.03 2.19 2.71 3/234 10873
/proc/meminfo: memFree=23866732/32770624 swapFree=67015516/67108860
[pid=10856] ppid=10853 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10856/stat : 10856 (scop.sh) S 10853 10856 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405506951 115843072 349 33554432000 4194304 5098028 140724650940080 140724650937336 140095200612988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31424512 140724650943272 140724650943600 140724650943600 140724650946509 0
/proc/10856/statm: 28282 349 296 221 0 87 0
[pid=10859] ppid=10856 vsize=15021092 memory=130312 CPUtime=1 cores=1,3,5,7
/proc/10859/stat : 10859 (java) S 10856 10856 7440 0 -1 1077944320 19988 0 0 0 94 6 0 0 20 0 15 0 405506951 15381598208 32578 33554432000 4194304 4196468 140736512780464 140736512763008 139961580039927 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
/proc/10859/statm: 3755273 32578 3201 1 0 3716603 0
[pid=10859/tid=10860] ppid=10856 vsize=15021092 memory=7597685182856913236 CPUtime=0.68 cores=1,3,5,7
/proc/10859/task/10860/stat : 10860 (java) R 10856 10856 7440 0 -1 4202560 17082 0 0 0 63 5 0 0 20 0 15 0 405506951 15381598208 32578 33554432000 4194304 4196468 140736512780464 139961551864880 139961580061274 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10861] ppid=10856 vsize=15021092 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10861/stat : 10861 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506953 15381598208 32578 33554432000 4194304 4196468 140736512780464 139961584282384 139961580050133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10862] ppid=10856 vsize=15021092 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10862/stat : 10862 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506953 15381598208 32578 33554432000 4194304 4196468 140736512780464 139961040190352 139961580050133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10863] ppid=10856 vsize=15021092 memory=-5874771483550381248 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10863/stat : 10863 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506953 15381598208 32578 33554432000 4194304 4196468 140736512780464 139961039137808 139961580050133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10864] ppid=10856 vsize=15021092 memory=8370611207639232161 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10864/stat : 10864 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405506953 15381598208 32578 33554432000 4194304 4196468 140736512780464 139961038085264 139961580050133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10865] ppid=10856 vsize=15021092 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10865/stat : 10865 (java) S 10856 10856 7440 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405506954 15381598208 32578 33554432000 4194304 4196468 140736512780464 139960349087728 139961580051074 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10866] ppid=10856 vsize=15021092 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10866/stat : 10866 (java) S 10856 10856 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405506955 15381598208 32578 33554432000 4194304 4196468 140736512780464 139960233485216 139961580050133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10867] ppid=10856 vsize=15021092 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10867/stat : 10867 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506955 15381598208 32578 33554432000 4194304 4196468 140736512780464 139959965049840 139961580050133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10868] ppid=10856 vsize=15021092 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10868/stat : 10868 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405506957 15381598208 32578 33554432000 4194304 4196468 140736512780464 139959590541520 139961580058523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10869] ppid=10856 vsize=15021092 memory=311 CPUtime=0.07 cores=1,3,5,7
/proc/10859/task/10869/stat : 10869 (java) R 10856 10856 7440 0 -1 4202560 617 0 0 0 7 0 0 0 20 0 15 0 405506957 15381598208 32578 33554432000 4194304 4196468 140736512780464 139960348035568 139961561564493 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10870] ppid=10856 vsize=15021092 memory=10 CPUtime=0.08 cores=1,3,5,7
/proc/10859/task/10870/stat : 10870 (java) S 10856 10856 7440 0 -1 1077944384 432 0 0 0 8 0 0 0 20 0 15 0 405506957 15381598208 32578 33554432000 4194304 4196468 140736512780464 139960346983024 139961580051074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10871] ppid=10856 vsize=15021092 memory=1285 CPUtime=0.14 cores=1,3,5,7
/proc/10859/task/10871/stat : 10871 (java) S 10856 10856 7440 0 -1 1077944384 521 0 0 0 14 0 0 0 20 0 15 0 405506957 15381598208 32578 33554432000 4194304 4196468 140736512780464 139960345930480 139961580051074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10872] ppid=10856 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10872/stat : 10872 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405506958 15381598208 32578 33554432000 4194304 4196468 140736512780464 139959092636768 139961580050133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
[pid=10859/tid=10873] ppid=10856 vsize=15021092 memory=7591186987463698790 CPUtime=0 cores=1,3,5,7
/proc/10859/task/10873/stat : 10873 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405506958 15381598208 32578 33554432000 4194304 4196468 140736512780464 139960344877360 139961580051074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29061120 140736512787182 140736512787610 140736512787610 140736512790479 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131708 KiB

[startup+1.50182 s]
/proc/loadavg: 2.03 2.19 2.71 4/234 10873
/proc/meminfo: memFree=23837824/32770624 swapFree=67015516/67108860
[pid=10856] ppid=10853 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10856/stat : 10856 (scop.sh) S 10853 10856 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405506951 115843072 349 33554432000 4194304 5098028 140724650940080 140724650937336 140095200612988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31424512 140724650943272 140724650943600 140724650943600 140724650946509 0
/proc/10856/statm: 28282 349 296 221 0 87 0

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

/proc/10874/task/10890/stat : 10890 (java) S 10856 10856 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405507389 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298958955456 140299650617113 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10892] ppid=10856 vsize=8068440 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10874/task/10892/stat : 10892 (java) S 10856 10856 7440 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 405507389 8262082560 29885 33554432000 4194304 4196468 140722320169856 140296784424432 140299650614429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10893] ppid=10856 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10893/stat : 10893 (java) S 10856 10856 7440 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 405507389 8262082560 29885 33554432000 4194304 4196468 140722320169856 140296650203024 140299650614429 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10894] ppid=10856 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10894/stat : 10894 (java) S 10856 10856 7440 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405507392 8262082560 29885 33554432000 4194304 4196468 140722320169856 140296918654384 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
Current children cumulated CPU time: 16.14 s
Current children cumulated vsize: 8250012 KiB
Current children cumulated memory: 170148 KiB

[startup+14.401 s]
/proc/loadavg: 2.09 2.19 2.71 3/239 10894
/proc/meminfo: memFree=23803072/32770624 swapFree=67015516/67108860
[pid=10856] ppid=10853 vsize=113128 memory=1476 CPUtime=6.58 cores=1,3,5,7
/proc/10856/stat : 10856 (scop.sh) S 10853 10856 7440 0 -1 4202496 584 26435 0 0 0 0 618 40 20 0 1 0 405506951 115843072 369 33554432000 4194304 5098028 140724650940080 140724650936824 140095200612988 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31424512 140724650943272 140724650943600 140724650943600 140724650946509 0
/proc/10856/statm: 28282 369 311 221 0 87 0
[pid=10874] ppid=10856 vsize=8068440 memory=119540 CPUtime=1.15 cores=1,3,5,7
/proc/10874/stat : 10874 (java) S 10856 10856 7440 0 -1 1077944320 20331 0 0 0 109 6 0 0 20 0 19 0 405507318 8262082560 29885 33554432000 4194304 4196468 140722320169856 140722320152400 140299650592503 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
/proc/10874/statm: 2017110 29885 3209 1 0 1978454 0
[pid=10889] ppid=10874 vsize=68444 memory=49132 CPUtime=10.01 cores=1,3,5,7
/proc/10889/stat : 10889 (glueminisat-sim) R 10874 10856 7440 0 -1 4202496 35498 0 0 0 990 11 0 0 20 0 1 0 405507389 70086656 12283 33554432000 4194304 4452875 140724383333776 140724383328872 139944380927879 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 34144256 140724383339359 140724383339559 140724383339559 140724383342509 0
/proc/10889/statm: 17111 12283 378 64 0 13315 0
[pid=10874/tid=10875] ppid=10856 vsize=8068440 memory=1908 CPUtime=0.73 cores=1,3,5,7
/proc/10874/task/10875/stat : 10875 (java) S 10856 10856 7440 0 -1 1077944384 17302 0 0 0 69 4 0 0 20 0 19 0 405507318 8262082560 29885 33554432000 4194304 4196468 140722320169856 140299622432672 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10876] ppid=10856 vsize=8068440 memory=1360 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10876/stat : 10876 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405507320 8262082560 29885 33554432000 4194304 4196468 140722320169856 140299654835088 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10877] ppid=10856 vsize=8068440 memory=7416 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10877/stat : 10877 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405507320 8262082560 29885 33554432000 4194304 4196468 140722320169856 140299136039696 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10878] ppid=10856 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10878/stat : 10878 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405507320 8262082560 29885 33554432000 4194304 4196468 140722320169856 140299134987408 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10879] ppid=10856 vsize=8068440 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10879/stat : 10879 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405507320 8262082560 29885 33554432000 4194304 4196468 140722320169856 140299133934608 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10880] ppid=10856 vsize=8068440 memory=16100381516106309 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10880/stat : 10880 (java) S 10856 10856 7440 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405507321 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298971199600 140299650603650 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10881] ppid=10856 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10881/stat : 10881 (java) S 10856 10856 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405507322 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298462159648 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10882] ppid=10856 vsize=8068440 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10882/stat : 10882 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405507322 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298193724528 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10883] ppid=10856 vsize=8068440 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10883/stat : 10883 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405507324 8262082560 29885 33554432000 4194304 4196468 140722320169856 140297819215952 140299650611099 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10884] ppid=10856 vsize=8068440 memory=-8253362762722140287 CPUtime=0.07 cores=1,3,5,7
/proc/10874/task/10884/stat : 10884 (java) S 10856 10856 7440 0 -1 1077944384 614 0 0 0 7 0 0 0 20 0 19 0 405507324 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298970147440 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10885] ppid=10856 vsize=8068440 memory=860 CPUtime=0.1 cores=1,3,5,7
/proc/10874/task/10885/stat : 10885 (java) S 10856 10856 7440 0 -1 1077944384 430 0 0 0 10 0 0 0 20 0 19 0 405507324 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298969094640 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10886] ppid=10856 vsize=8068440 memory=776 CPUtime=0.19 cores=1,3,5,7
/proc/10874/task/10886/stat : 10886 (java) S 10856 10856 7440 0 -1 1077944384 587 0 0 0 19 0 0 0 20 0 19 0 405507324 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298968042352 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10887] ppid=10856 vsize=8068440 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10887/stat : 10887 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405507324 8262082560 29885 33554432000 4194304 4196468 140722320169856 140297321311200 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10888] ppid=10856 vsize=8068440 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10888/stat : 10888 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405507325 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298966989232 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10890] ppid=10856 vsize=8068440 memory=3824 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10890/stat : 10890 (java) S 10856 10856 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405507389 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298958955456 140299650617113 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10892] ppid=10856 vsize=8068440 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/10874/task/10892/stat : 10892 (java) S 10856 10856 7440 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 405507389 8262082560 29885 33554432000 4194304 4196468 140722320169856 140296784424432 140299650614429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10893] ppid=10856 vsize=8068440 memory=15080 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10893/stat : 10893 (java) S 10856 10856 7440 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 405507389 8262082560 29885 33554432000 4194304 4196468 140722320169856 140296650203024 140299650614429 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10894] ppid=10856 vsize=8068440 memory=7808 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10894/stat : 10894 (java) S 10856 10856 7440 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405507392 8262082560 29885 33554432000 4194304 4196468 140722320169856 140296918654384 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
Current children cumulated CPU time: 17.74 s
Current children cumulated vsize: 8250012 KiB
Current children cumulated memory: 170148 KiB

[startup+15.201 s]
/proc/loadavg: 2.09 2.19 2.71 3/239 10894
/proc/meminfo: memFree=23803072/32770624 swapFree=67015516/67108860
[pid=10856] ppid=10853 vsize=113128 memory=1476 CPUtime=6.58 cores=1,3,5,7
/proc/10856/stat : 10856 (scop.sh) S 10853 10856 7440 0 -1 4202496 584 26435 0 0 0 0 618 40 20 0 1 0 405506951 115843072 369 33554432000 4194304 5098028 140724650940080 140724650936824 140095200612988 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31424512 140724650943272 140724650943600 140724650943600 140724650946509 0
/proc/10856/statm: 28282 369 311 221 0 87 0
[pid=10874] ppid=10856 vsize=8068440 memory=119540 CPUtime=1.15 cores=1,3,5,7
/proc/10874/stat : 10874 (java) S 10856 10856 7440 0 -1 1077944320 20331 0 0 0 109 6 0 0 20 0 19 0 405507318 8262082560 29885 33554432000 4194304 4196468 140722320169856 140722320152400 140299650592503 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
/proc/10874/statm: 2017110 29885 3209 1 0 1978454 0
[pid=10889] ppid=10874 vsize=68444 memory=49132 CPUtime=10.81 cores=1,3,5,7
/proc/10889/stat : 10889 (glueminisat-sim) R 10874 10856 7440 0 -1 4202496 35512 0 0 0 1070 11 0 0 20 0 1 0 405507389 70086656 12283 33554432000 4194304 4452875 140724383333776 140724383328808 139944380927879 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 34144256 140724383339359 140724383339559 140724383339559 140724383342509 0
/proc/10889/statm: 17111 12283 378 64 0 13315 0
[pid=10874/tid=10875] ppid=10856 vsize=8068440 memory=1296 CPUtime=0.73 cores=1,3,5,7
/proc/10874/task/10875/stat : 10875 (java) S 10856 10856 7440 0 -1 1077944384 17302 0 0 0 69 4 0 0 20 0 19 0 405507318 8262082560 29885 33554432000 4194304 4196468 140722320169856 140299622432672 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10876] ppid=10856 vsize=8068440 memory=2184 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10876/stat : 10876 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405507320 8262082560 29885 33554432000 4194304 4196468 140722320169856 140299654835088 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10877] ppid=10856 vsize=8068440 memory=1844 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10877/stat : 10877 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405507320 8262082560 29885 33554432000 4194304 4196468 140722320169856 140299136039696 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10878] ppid=10856 vsize=8068440 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10878/stat : 10878 (java) S 10856 10856 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405507320 8262082560 29885 33554432000 4194304 4196468 140722320169856 140299134987408 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10879] ppid=10856 vsize=8068440 memory=17312 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10879/stat : 10879 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405507320 8262082560 29885 33554432000 4194304 4196468 140722320169856 140299133934608 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10880] ppid=10856 vsize=8068440 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10880/stat : 10880 (java) S 10856 10856 7440 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405507321 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298971199600 140299650603650 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10881] ppid=10856 vsize=8068440 memory=2184 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10881/stat : 10881 (java) S 10856 10856 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405507322 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298462159648 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10882] ppid=10856 vsize=8068440 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10882/stat : 10882 (java) S 10856 10856 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405507322 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298193724528 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10883] ppid=10856 vsize=8068440 memory=880 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10883/stat : 10883 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405507324 8262082560 29885 33554432000 4194304 4196468 140722320169856 140297819215952 140299650611099 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10884] ppid=10856 vsize=8068440 memory=280796237804688 CPUtime=0.07 cores=1,3,5,7
/proc/10874/task/10884/stat : 10884 (java) S 10856 10856 7440 0 -1 1077944384 614 0 0 0 7 0 0 0 20 0 19 0 405507324 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298970147440 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10885] ppid=10856 vsize=8068440 memory=6944665225511868275 CPUtime=0.1 cores=1,3,5,7
/proc/10874/task/10885/stat : 10885 (java) S 10856 10856 7440 0 -1 1077944384 430 0 0 0 10 0 0 0 20 0 19 0 405507324 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298969094640 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10886] ppid=10856 vsize=8068440 memory=6944656592455350634 CPUtime=0.19 cores=1,3,5,7
/proc/10874/task/10886/stat : 10886 (java) S 10856 10856 7440 0 -1 1077944384 587 0 0 0 19 0 0 0 20 0 19 0 405507324 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298968042352 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10887] ppid=10856 vsize=8068440 memory=4427205132082312746 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10887/stat : 10887 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405507324 8262082560 29885 33554432000 4194304 4196468 140722320169856 140297321311200 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10888] ppid=10856 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10888/stat : 10888 (java) S 10856 10856 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405507325 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298966989232 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10890] ppid=10856 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10890/stat : 10890 (java) S 10856 10856 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405507389 8262082560 29885 33554432000 4194304 4196468 140722320169856 140298958955456 140299650617113 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10892] ppid=10856 vsize=8068440 memory=776 CPUtime=0.01 cores=1,3,5,7
/proc/10874/task/10892/stat : 10892 (java) S 10856 10856 7440 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 405507389 8262082560 29885 33554432000 4194304 4196468 140722320169856 140296784424400 140299650614429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10893] ppid=10856 vsize=8068440 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10893/stat : 10893 (java) S 10856 10856 7440 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 405507389 8262082560 29885 33554432000 4194304 4196468 140722320169856 140296650203024 140299650614429 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10894] ppid=10856 vsize=8068440 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/10874/task/10894/stat : 10894 (java) S 10856 10856 7440 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405507392 8262082560 29885 33554432000 4194304 4196468 140722320169856 140296918654384 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
Current children cumulated CPU time: 18.54 s
Current children cumulated vsize: 8250012 KiB
Current children cumulated memory: 170148 KiB

[startup+15.6012 s]
/proc/loadavg: 2.09 2.19 2.71 3/239 10894
/proc/meminfo: memFree=23803072/32770624 swapFree=67015516/67108860
[pid=10856] ppid=10853 vsize=113128 memory=1476 CPUtime=6.58 cores=1,3,5,7
/proc/10856/stat : 10856 (scop.sh) S 10853 10856 7440 0 -1 4202496 584 26435 0 0 0 0 618 40 20 0 1 0 405506951 115843072 369 33554432000 4194304 5098028 140724650940080 140724650936824 140095200612988 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31424512 140724650943272 140724650943600 140724650943600 140724650946509 0
/proc/10856/statm: 28282 369 311 221 0 87 0
[pid=10874] ppid=10856 vsize=7937364 memory=131284 CPUtime=12.58 cores=1,3,5,7
/proc/10874/stat : 10874 (java) S 10856 10856 7440 0 -1 1077944320 22263 35786 0 0 142 7 1097 12 20 0 17 0 405507318 8127860736 32821 33554432000 4194304 4196468 140722320169856 140722320152400 140299650592503 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
/proc/10874/statm: 1984341 32821 3225 1 0 1945685 0
[pid=10874/tid=10875] ppid=10856 vsize=7937364 memory=49132 CPUtime=11.9 cores=1,3,5,7
/proc/10874/task/10875/stat : 10875 (java) R 10856 10856 7440 0 -1 4202560 17545 35786 0 0 76 5 1097 12 20 0 17 0 405507318 8127860736 32821 33554432000 4194304 4196468 140722320169856 140299622429664 140299150323168 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10876] ppid=10856 vsize=7937364 memory=-7824251494390781539 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10876/stat : 10876 (java) S 10856 10856 7440 0 -1 1077944384 2 35786 0 0 0 0 1097 12 20 0 17 0 405507320 8127860736 32821 33554432000 4194304 4196468 140722320169856 140299654835088 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10877] ppid=10856 vsize=7937364 memory=-7003737579269690708 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10877/stat : 10877 (java) S 10856 10856 7440 0 -1 1077944384 1 35786 0 0 0 0 1097 12 20 0 17 0 405507320 8127860736 32821 33554432000 4194304 4196468 140722320169856 140299136039696 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10878] ppid=10856 vsize=7937364 memory=0 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10878/stat : 10878 (java) S 10856 10856 7440 0 -1 1077944384 2 35786 0 0 0 0 1097 12 20 0 17 0 405507320 8127860736 32821 33554432000 4194304 4196468 140722320169856 140299134987408 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10879] ppid=10856 vsize=7937364 memory=0 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10879/stat : 10879 (java) S 10856 10856 7440 0 -1 1077944384 1 35786 0 0 0 0 1097 12 20 0 17 0 405507320 8127860736 32821 33554432000 4194304 4196468 140722320169856 140299133934608 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10880] ppid=10856 vsize=7937364 memory=0 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10880/stat : 10880 (java) S 10856 10856 7440 0 -1 1077944384 7 35786 0 0 0 0 1097 12 20 0 17 0 405507321 8127860736 32821 33554432000 4194304 4196468 140722320169856 140298971199600 140299650603650 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10881] ppid=10856 vsize=7937364 memory=0 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10881/stat : 10881 (java) S 10856 10856 7440 0 -1 1077944384 13 35786 0 0 0 0 1097 12 20 0 17 0 405507322 8127860736 32821 33554432000 4194304 4196468 140722320169856 140298462159648 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10882] ppid=10856 vsize=7937364 memory=0 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10882/stat : 10882 (java) S 10856 10856 7440 0 -1 1077944384 1 35786 0 0 0 0 1097 12 20 0 17 0 405507322 8127860736 32821 33554432000 4194304 4196468 140722320169856 140298193724528 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10883] ppid=10856 vsize=7937364 memory=0 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10883/stat : 10883 (java) S 10856 10856 7440 0 -1 1077944384 3 35786 0 0 0 0 1097 12 20 0 17 0 405507324 8127860736 32821 33554432000 4194304 4196468 140722320169856 140297819215952 140299650611099 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10884] ppid=10856 vsize=7937364 memory=17312 CPUtime=11.23 cores=1,3,5,7
/proc/10874/task/10884/stat : 10884 (java) R 10856 10856 7440 0 -1 4202560 896 35786 0 0 14 0 1097 12 20 0 17 0 405507324 8127860736 32821 33554432000 4194304 4196468 140722320169856 140298970135632 140299636608336 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10885] ppid=10856 vsize=7937364 memory=1296 CPUtime=11.26 cores=1,3,5,7
/proc/10874/task/10885/stat : 10885 (java) S 10856 10856 7440 0 -1 1077944384 799 35786 0 0 17 0 1097 12 20 0 17 0 405507324 8127860736 32821 33554432000 4194304 4196468 140722320169856 140298969094640 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10886] ppid=10856 vsize=7937364 memory=2184 CPUtime=11.34 cores=1,3,5,7
/proc/10874/task/10886/stat : 10886 (java) R 10856 10856 7440 0 -1 1077944384 1073 35786 0 0 25 0 1097 12 20 0 17 0 405507324 8127860736 32821 33554432000 4194304 4196468 140722320169856 140298968042352 140299650603650 0 4 2 25189581 0 0 0 -1 7 0 0 36 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10887] ppid=10856 vsize=7937364 memory=1844 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10887/stat : 10887 (java) S 10856 10856 7440 0 -1 1077944384 3 35786 0 0 0 0 1097 12 20 0 17 0 405507324 8127860736 32821 33554432000 4194304 4196468 140722320169856 140297321311200 140299650602709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10888] ppid=10856 vsize=7937364 memory=4964 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10888/stat : 10888 (java) S 10856 10856 7440 0 -1 1077944384 3 35786 0 0 0 0 1097 12 20 0 17 0 405507325 8127860736 32821 33554432000 4194304 4196468 140722320169856 140298966989232 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10890] ppid=10856 vsize=7937364 memory=10092 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10890/stat : 10890 (java) S 10856 10856 7440 0 -1 1077944384 29 35786 0 0 0 0 1097 12 20 0 17 0 405507389 8127860736 32821 33554432000 4194304 4196468 140722320169856 140298958954640 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
[pid=10874/tid=10894] ppid=10856 vsize=7937364 memory=1360 CPUtime=11.09 cores=1,3,5,7
/proc/10874/task/10894/stat : 10894 (java) S 10856 10856 7440 0 -1 1077944384 30 35786 0 0 0 0 1097 12 20 0 17 0 405507392 8127860736 32821 33554432000 4194304 4196468 140722320169856 140296918656176 140299650603650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13524992 140722320176123 140722320176282 140722320176282 140722320179151 0
Current children cumulated CPU time: 19.16 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 132760 KiB

Child status: 0
Real time (s): 15.6516
CPU time (s): 19.2792
CPU user time (s): 18.6604
CPU system time (s): 0.618851
CPU usage (%): 123.177
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 1864216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6604
system time used= 0.618851
maximum resident set size= 1868192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5879
involuntary context switches= 32


# summary of solver processes directly reported to runsolver:
#   pid: 10856
#   total CPU time (s): 19.2792
#   total CPU user time (s): 18.6604
#   total CPU system time (s): 0.618851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.144528 second user time and 0.204835 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-12 14:45:04
IDJOB=4387899
IDBENCH=127807
IDSOLVER=2825
FILE ID=node150/4387899-1568292343
RUNJOBID= node150-1568287240-8654
PBS_JOBID= 21701061
Free space on /tmp= 52648 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-183.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-4387899-1568292343/watcher-4387899-1568292343 -o /tmp/evaluation-result-4387899-1568292343/solver-4387899-1568292343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8654 --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-4387899-1568292343.xml

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

MD5SUM BENCH= a94c8ce581cdc830ec36047aa81438de
RANDOM SEED=2051972892

node150.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.79
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.79
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.79
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.79
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:        23969220 kB
MemAvailable:   31627636 kB
Buffers:          133460 kB
Cached:          7679204 kB
SwapCached:         3724 kB
Active:          1560840 kB
Inactive:        6508768 kB
Active(anon):     231500 kB
Inactive(anon):    45648 kB
Active(file):    1329340 kB
Inactive(file):  6463120 kB
Unevictable:      111376 kB
Mlocked:          111376 kB
SwapTotal:      67108860 kB
SwapFree:       67015516 kB
Dirty:             20668 kB
Writeback:             0 kB
AnonPages:        418000 kB
Mapped:            46136 kB
Shmem:             11804 kB
Slab:             323276 kB
SReclaimable:     294416 kB
SUnreclaim:        28860 kB
KernelStack:        4192 kB
PageTables:         6164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6087664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 52624 MiB
End job on node150 at 2019-09-12 14:45:20