Trace number 4387860

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSchurrLemma/SchurrLemma-mod-s1/
SchurrLemma-mod-100-9.xml
MD5SUM4f03c112a8f6a228f13fa4574ba8a054
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.76786
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints2450
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":100}]
Minimum variable degree49
Maximum variable degree98
Distribution of variable degrees[{"degree":49,"count":1},{"degree":50,"count":2},{"degree":51,"count":2},{"degree":52,"count":2},{"degree":53,"count":2},{"degree":54,"count":2},{"degree":55,"count":2},{"degree":56,"count":2},{"degree":57,"count":2},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":2},{"degree":61,"count":2},{"degree":62,"count":2},{"degree":63,"count":2},{"degree":64,"count":2},{"degree":65,"count":2},{"degree":66,"count":2},{"degree":67,"count":2},{"degree":68,"count":2},{"degree":69,"count":2},{"degree":70,"count":2},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":3},{"degree":74,"count":3},{"degree":75,"count":2},{"degree":76,"count":2},{"degree":77,"count":2},{"degree":78,"count":2},{"degree":79,"count":2},{"degree":80,"count":2},{"degree":81,"count":2},{"degree":82,"count":2},{"degree":83,"count":2},{"degree":84,"count":2},{"degree":85,"count":2},{"degree":86,"count":2},{"degree":87,"count":2},{"degree":88,"count":2},{"degree":89,"count":2},{"degree":90,"count":2},{"degree":91,"count":2},{"degree":92,"count":2},{"degree":93,"count":2},{"degree":94,"count":2},{"degree":95,"count":2},{"degree":96,"count":2},{"degree":97,"count":2},{"degree":98,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":2450}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":2450}]
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-11551-serial-file.bin HOME/instance-4387860-1568291715.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 14:34:33 CEST 2019
0.66/0.56	c PID: 11554
0.66/0.56	c IP: 172.20.3.137
0.66/0.56	c HOST: node137.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.57/1.20	c (0,0) Parsing End
2.57/1.20	c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 2450 ctr, max domain size 9
2.57/1.20	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.57/1.20	c (0,0) Constraint Name Generate Begin
2.57/1.23	c (0,0) Ctr:HOME/instance-4387860-1568291715.xml,AllDifferent:Var
2.57/1.23	c (0,0) Constraint Name Generate End
2.57/1.23	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.57/1.23	c (0,0) CSP to CSPinCNF Begin
3.70/1.61	c (1,1) translated 245 (10%) constraints
3.98/1.72	c (1,1) translated 490 (20%) constraints
4.27/1.81	c (1,1) translated 735 (30%) constraints
4.27/1.88	c (1,1) translated 980 (40%) constraints
4.56/1.95	c (1,1) translated 1225 (50%) constraints
4.89/2.02	c (1,1) translated 1470 (60%) constraints
4.89/2.08	c (1,1) translated 1715 (70%) constraints
5.12/2.14	c (1,1) translated 1960 (80%) constraints
5.12/2.19	c (1,1) translated 2205 (90%) constraints
5.35/2.25	c (1,1) translated 2450 (100%) constraints
5.35/2.25	c (1,1) ===========================================
5.35/2.25	c (1,1) Order
5.35/2.25	c (1,1) ===========================================
5.60/2.36	c (1,1) translated 1470 (10%) constraints
5.91/2.43	c (1,1) translated 2940 (20%) constraints
5.91/2.49	c (1,1) translated 4410 (30%) constraints
6.21/2.55	c (2,2) translated 5880 (40%) constraints
6.51/2.60	c (2,2) translated 7350 (50%) constraints
6.51/2.65	c (2,2) translated 8820 (60%) constraints
6.81/2.70	c (2,2) translated 10290 (70%) constraints
6.81/2.75	c (2,2) translated 11760 (80%) constraints
6.81/2.80	c (2,2) translated 13230 (90%) constraints
7.11/2.84	c (2,2) translated 14700 (100%) constraints
7.11/2.85	c (2,2) CSP to CSPinCNF End
7.11/2.85	c (2,2) CSP: 100 int (0 aux), 0 bool (0 aux), 14700 ctr, max domain size 9
7.11/2.85	c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.11/2.85	c (2,2) CSPinCNF Propagation Begin
7.42/2.96	c (2,2) 0 values, 0 unsatisfiable literals, and 2450 valid clauses are removed
7.42/2.96	c (2,2) CSPinCNF Propagation End
7.42/2.97	c (2,2) CSP: 100 int (0 aux), 0 bool (0 aux), 12250 ctr, max domain size 9
7.42/2.97	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.42/2.97	c (2,2) Simplify CSPinCNF Begin
8.67/3.31	c (2,2) Simplify CSPinCNF End
8.67/3.32	c (2,2) CSP: 100 int (0 aux), 9866 bool (9866 aux), 22116 ctr, max domain size 9
8.67/3.32	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.67/3.32	c (2,2) Calculate Precise Domain Begin
8.67/3.32	c (2,2) 0 values are removed by re-calculation
8.67/3.32	c (2,2) Calculate Precise Domain End
8.67/3.32	c (2,2) CSP: 100 int (0 aux), 9866 bool (9866 aux), 22116 ctr, max domain size 9
8.67/3.32	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.67/3.32	c (2,2) CSPinCNF to SatSolver Begin
9.99/3.70	c (3,3) 2212 (10 %) CSP clauses are encoded (0 SAT variables, 10799 SAT clauses)
10.33/3.84	c (3,3) 4424 (20 %) CSP clauses are encoded (0 SAT variables, 20899 SAT clauses)
10.64/3.98	c (3,3) 6635 (30 %) CSP clauses are encoded (0 SAT variables, 30990 SAT clauses)
10.96/4.08	c (3,3) 8847 (40 %) CSP clauses are encoded (0 SAT variables, 41098 SAT clauses)
11.26/4.17	c (3,3) 11058 (50 %) CSP clauses are encoded (0 SAT variables, 51197 SAT clauses)
11.53/4.24	c (3,3) 13270 (60 %) CSP clauses are encoded (0 SAT variables, 61305 SAT clauses)
11.69/4.32	c (3,3) 15482 (70 %) CSP clauses are encoded (0 SAT variables, 71413 SAT clauses)
11.83/4.40	c (3,3) 17693 (80 %) CSP clauses are encoded (0 SAT variables, 81544 SAT clauses)
11.83/4.48	c (3,3) 19905 (90 %) CSP clauses are encoded (0 SAT variables, 91660 SAT clauses)
12.05/4.54	c (4,3) 22116 (100 %) CSP clauses are encoded (0 SAT variables, 101743 SAT clauses)
12.05/4.54	c (4,3) CSPinCNF to SatSolver End
12.05/4.54	c (4,3) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.05/4.54	c (4,3) 10666 bool, 101744 clause
12.05/4.54	c (4,3) Export Begin
12.18/4.63	c (4,4) Export to HOME/scop-11551-serial-file.bin
12.18/4.63	c (4,4) Export End
12.18/4.63	c (4,4) Export File Size: 0.02 MB
12.18/4.63	c (4,4) 0,0,2,2,2,2,4,STOP-AFTER(DIMACS)
12.18/4.63	c END-Prog: Thu Sep 12 14:34:37 CEST 2019
12.18/4.65	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11551-serial-file.bin
12.88/5.11	c (0,0) Read Serial File Begin
12.88/5.11	c (0,0) HOME/scop-11551-serial-file.bin
13.15/5.32	c (0,0) Read Serial File End
13.15/5.33	
13.15/5.33	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
13.15/5.33	(Solving Process)
13.15/5.33	
13.15/5.35	c BEGIN-Prog: Thu Sep 12 14:34:38 CEST 2019
13.15/5.35	c PID: 11569
13.15/5.35	c IP: 172.20.3.137
13.15/5.35	c HOST: node137.alineos.net
13.15/5.36	c (0,0) SatSolver.solve Begin
13.15/5.36	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387860-1568291715.xml-scop-11554.cnf
13.15/5.38	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.15/5.38	c (0,0) c glueminisat-simp-2.2.10-193oa-n
13.15/5.38	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387860-1568291715.xml-scop-11554.cnf 
13.15/5.38	c (0,0) c Options:
13.15/5.38	c (0,0) c CORE
13.15/5.38	c (0,0) c  var_decay             = 0.950
13.15/5.38	c (0,0) c  clause_decay          = 0.999
13.15/5.38	c (0,0) c  random_var_freq       = 0.000
13.15/5.38	c (0,0) c  random_seed           = 91648253.000
13.15/5.38	c (0,0) c  luby_restart          = 1
13.15/5.38	c (0,0) c  ccmin_mode            = 2
13.15/5.38	c (0,0) c  phase_saving          = 2
13.15/5.38	c (0,0) c  rnd_pol               = 0
13.15/5.38	c (0,0) c  rnd_init_act          = 0
13.15/5.38	c (0,0) c  garbage_frac          = 0.200
13.15/5.38	c (0,0) c  restart_first         = 1000
13.15/5.38	c (0,0) c  restart_inc           = 2.000
13.15/5.38	c (0,0) c MODEL
13.15/5.39	c (0,0) c  partial_model         = 0
13.15/5.39	c (0,0) c PROPAGATION
13.15/5.39	c (0,0) c  bin_propagation       = 1
13.15/5.39	c (0,0) c SIMPLIFICATION
13.15/5.39	c (0,0) c  lrn_min_size          = 100
13.15/5.39	c (0,0) c  lazy_simp             = 1
13.15/5.39	c (0,0) c  lazy_interval         = 10
13.15/5.39	c (0,0) c  lazy_fld_probing      = 1
13.15/5.39	c (0,0) c  lazy_pol_probing      = 1
13.15/5.39	c (0,0) c  lazy_nec_probing      = 1
13.15/5.39	c (0,0) c  lazy_eqv_probing      = 1
13.15/5.39	c (0,0) c  lazy_cla_probing      = 1
13.15/5.39	c (0,0) c  lazy_lrn_min          = 2
13.15/5.39	c (0,0) c  lazy_uw_lit_elim      = 1
13.15/5.39	c (0,0) c  lazy_pr_lit_elim      = 0
13.15/5.39	c (0,0) c  lazy_bin_add          = 3
13.15/5.39	c (0,0) c  probed_lit_chain      = 1
13.15/5.39	c (0,0) c  pr_min_lits           = 0.00020
13.15/5.39	c (0,0) c  pr_min_starts         = 500
13.15/5.39	c (0,0) c  rw_min_lits           = 0.010
13.15/5.39	c (0,0) c  rw_min_starts         = 500
13.15/5.39	c (0,0) c  rand_attach           = 0
13.15/5.39	c (0,0) c  dec_elim              = 1
13.15/5.39	c (0,0) c  dec_elim_lim          = 25
13.15/5.39	c (0,0) c  dec_elim_len          = -1
13.15/5.39	c (0,0) c  amo                   = 0
13.15/5.39	c (0,0) c  amo_grp               = 1
13.15/5.39	c (0,0) c  amo_max_bins          = 1000000
13.15/5.39	c (0,0) c  amo_starts            = 50
13.15/5.39	c (0,0) c  mace_cmd              = mace
13.15/5.39	c (0,0) c DECISION
13.15/5.39	c (0,0) c  rand_rebuild          = 0
13.15/5.39	c (0,0) c  rand_rebuild_confs    = 10000
13.15/5.39	c (0,0) c  inc_var_decay         = 1
13.15/5.39	c (0,0) c  inc_var_decay_period  = 100000
13.15/5.39	c (0,0) c  inc_var_decay_init    = 0.600
13.15/5.39	c (0,0) c  var_decay_mode        = 0
13.15/5.39	c (0,0) c  var_decay_gain        = 0
13.15/5.39	c (0,0) c  sloped_var_decay      = 1
13.15/5.39	c (0,0) c  max_var_decay         = 0.990
13.15/5.39	c (0,0) c  min_var_decay         = 0.950
13.15/5.39	c (0,0) c  min_var_decay_vars    = 10000
13.15/5.39	c (0,0) c  max_var_decay_vars    = 500
13.15/5.39	c (0,0) c  uip_bumping           = 1
13.15/5.39	c (0,0) c  lbd_act_bumping       = 1
13.15/5.39	c (0,0) c  rand_tiebreak         = 0
13.15/5.39	c (0,0) c  simp_rebuild          = 1
13.15/5.39	c (0,0) c RESTART
13.15/5.39	c (0,0) c  restart_strategy      = 2
13.15/5.39	c (0,0) c  restart_blocking      = 0
13.15/5.39	c (0,0) c  agility_decay         = 0.99990
13.15/5.39	c (0,0) c  lbd_restart_rate      = 0.800
13.15/5.39	c (0,0) c  dec_restart_rate      = 0.950
13.15/5.39	c (0,0) c  blk_restart_rate      = 0.700
13.15/5.39	c (0,0) c  lbd_queue_size        = 50
13.15/5.39	c (0,0) c  dec_queue_size        = 50
13.15/5.39	c (0,0) c  trl_queue_size        = 5000
13.15/5.39	c (0,0) c  blk_restart_weight    = 1.000
13.15/5.39	c (0,0) c  inc_rst_rate          = 0
13.15/5.39	c (0,0) c  inc_rst_rate_period   = 500000
13.15/5.39	c (0,0) c  inc_lbd_rst_rate_init = 0.600
13.15/5.39	c (0,0) c  inc_dec_rst_rate_init = 0.750
13.15/5.39	c (0,0) c REDUCTION
13.15/5.39	c (0,0) c  closed_lbd            = 0
13.15/5.39	c (0,0) c  closed_lbd_rate       = 0.500
13.15/5.39	c (0,0) c  rm_simulate           = 0
13.15/5.39	c (0,0) c  rdb_eval              = 2
13.15/5.39	c (0,0) c  rdb_call              = 3
13.15/5.39	c (0,0) c  rdb_ub                = 0.500
13.15/5.39	c (0,0) c  core_lbd_cvr          = 0.800
13.15/5.39	c (0,0) c  supp_lbd_cvr          = 0.990
13.15/5.39	c (0,0) c  core_lbd_lb           = 2
13.15/5.39	c (0,0) c  supp_lbd_lb           = 2
13.15/5.39	c (0,0) c  core_lbd_prd          = 7
13.15/5.39	c (0,0) c  supp_lbd_prd          = 1
13.15/5.39	c (0,0) c  othr_lbd_prd          = 0
13.15/5.39	c (0,0) c  inc_lrn_limit         = 1000
13.15/5.39	c (0,0) c  frozen_lbd            = 30
13.15/5.39	c (0,0) c  simp_min_starts       = 100
13.15/5.39	c (0,0) c  rm_low_act_learnts    = 1
13.15/5.39	c (0,0) c  lv0_reduce_db         = 0
13.15/5.39	c (0,0) c  reduce_db_base        = 20000
13.15/5.39	c (0,0) c  reduce_db_inc         = 1000
13.15/5.39	c (0,0) c HARD
13.15/5.39	c (0,0) c  inst_check            = 200000
13.15/5.39	c (0,0) c  small_block           = 1.750
13.15/5.39	c (0,0) c  slow_restart_speed    = 400.000
13.15/5.39	c (0,0) c  slow_restart_strategy = 3
13.15/5.39	c (0,0) c  slow_lbd_restart_rate = 0.700
13.15/5.39	c (0,0) c  slow_dec_restart_rate = 1.000
13.15/5.39	c (0,0) c  slow_lbd_queue_size   = 50
13.15/5.39	c (0,0) c  slow_var_decay        = 0.950
13.15/5.39	c (0,0) c  slow_glue_threshold   = 2
13.15/5.39	c (0,0) c  slow_phase_saving     = 2
13.15/5.39	c (0,0) c  fast_restart_speed    = 125.000
13.15/5.39	c (0,0) c  fast_restart_strategy = 1
13.15/5.39	c (0,0) c  fast_lbd_restart_rate = 0.800
13.15/5.39	c (0,0) c  fast_dec_restart_rate = 0.950
13.15/5.39	c (0,0) c  fast_lbd_queue_size   = 50
13.15/5.39	c (0,0) c  fast_var_decay        = 1.000
13.15/5.39	c (0,0) c  fast_glue_threshold   = 2
13.15/5.39	c (0,0) c  fast_phase_saving     = 2
13.15/5.39	c (0,0) c STATS
13.15/5.39	c (0,0) c  stats_conf_size       = 10000
13.15/5.39	c (0,0) c  max_stats_size        = 30
13.15/5.39	c (0,0) c SOLVER
13.15/5.39	c (0,0) c  minisat               = 0
13.38/5.42	c (0,0) c Problem: 10666 variables, 101744 clauses, parsing 0.03 s
13.44/5.50	c (0,0) c  reduced to 5733 variables, 94394 clauses (grow = 0)
13.44/5.51	c (0,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
13.44/5.51	c (0,0) c Simplification: 4933 vars, 7350 clauses are eliminated using 0.10 s
13.44/5.51	c (0,0) c
13.44/5.51	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
13.44/5.51	c (0,0) c
13.44/5.51	c (0,0) c    0         0         0     5733    94394        0   -nan  -nan  -nan -nan%
13.44/5.52	c (0,0) c    0         1       100     5733    94394      100    8.6   5.0  16.2  9.6%
13.44/5.54	c (0,0) c    0         2       220     5733    94394      220   10.1   5.3  15.9  9.9%
13.44/5.55	c (0,0) c    0         4       364     5733    94394      364   10.3   6.0  16.0  9.1%
13.44/5.55	c (0,0) c    0         4       536     5733    94394      536   10.2   6.0  15.5  7.2%
13.44/5.56	c (0,0) c    0         5       743     5733    94394      743   10.5   6.0  14.8  6.4%
13.44/5.58	c (0,0) c    0         6       991     5733    94394      991   10.5   6.1  14.7  6.2%
13.45/5.60	c (0,0) c    0         7      1289     5733    94394     1289   10.4   6.2  15.4  6.5%
13.45/5.63	c (0,0) c    0         7      1647     5733    94394     1647   10.5   6.1  15.6  6.5%
13.45/5.65	c (0,0) c    0         7      2076     5733    94394     2076   10.5   6.0  15.5  6.0%
13.45/5.67	c (0,0) c    0         7      2591     5733    94394     2591   10.8   6.0  15.4  5.7%
13.45/5.70	c (0,0) c    0         7      3210     5733    94394     3210   11.0   5.9  15.2  5.6%
13.45/5.76	c (0,0) c    0        13      3953     5733    94394     3953   11.2   6.1  15.1  5.7%
13.45/5.81	c (0,0) c    0        13      4844     5733    94394     4844   11.5   6.0  15.0  6.0%
13.45/5.87	c (0,0) c    0        13      5913     5733    94394     5913   11.6   5.9  14.9  5.9%
13.45/5.93	c (0,0) c    0        13      7196     5733    94394     7196   11.5   5.9  14.6  5.5%
14.07/6.03	c (0,0) c
14.07/6.03	c (0,0) c   variables         : 5733        (init 10666, after simp 5733, 0 non-decs, 100 csp)
14.07/6.03	c (0,0) c   clauses           : 94394       (init 101744, after simp 94394)
14.07/6.03	c (0,0) c   restarts          : 14          (582.40 confs/res, 50~3580 confs, 0 blks, 0 last)
14.07/6.03	c (0,0) c   conflicts         : 8736        (13890 /sec, 52.35% dconfs, 0.00% supp, trail 39.04w x 14.79h, jmp 1.22h)
14.07/6.03	c (0,0) c   decisions         : 10825       (0.6300 vdcy, 17212 /sec, 0.00% bin, rs 0.000 s)
14.07/6.03	c (0,0) c   propagations      : 1836496     (2920019 /sec, 169.65 lits/dec, 2.82% o.a.)
14.07/6.03	c (0,0) c   conflict literals : 112112      (9.94% deleted; 1.38% by bin min, 0.002 s)
14.07/6.03	c (0,0) c   len               : 11.380      (11.38 for all, max 48, used 48)
14.07/6.03	c (0,0) c   lbd               : 5.929       (7.11 (5.93) for all, max 16, used 14, 1.752 stdev, 1.600 blk)
14.07/6.03	c (0,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
14.07/6.03	c (0,0) c   simp dbs          : 1           (0.000 s)
14.07/6.03	c (0,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
14.07/6.03	c (0,0) c   learnts           : 8736        (0 learnts removed, 0.00%)
14.07/6.03	c (0,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
14.07/6.03	c (0,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
14.07/6.03	c (0,0) c   premise updates   : 1590        (0.14 /lit)
14.07/6.03	c (0,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
14.07/6.03	c (0,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
14.07/6.03	c (0,0) c   lazy added bins   : 0           (0 prop + 0 conf, 0.003s)
14.07/6.03	c (0,0) c   unwatched lit elim: 323         (0.00+0.29%, 0+323 of 262750+112112)
14.07/6.03	c (0,0) c   classified type   : undef
14.07/6.03	c (0,0) c   progress          : 0.000 %
14.07/6.03	c (0,0) c
14.07/6.03	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
14.07/6.03	c (0,0) c
14.07/6.03	c (0,0) c    0        15      8736     5733    94394     8736   11.4   5.9  14.8  5.2%
14.18/6.14	c (1,0) c    0        16     10584     5733    94394    10584   11.3   5.9  14.7  4.8%
14.27/6.25	c (1,0) c    0        16     12802     5733    94394    12802   11.3   5.9  13.9  4.4%
14.47/6.40	c (1,0) c    1        21     15464     5733    94394    15464   11.1   5.9  14.1  3.8%
14.57/6.57	c (1,0) c    1        28     18658     5733    94394    18658   11.4   6.0  14.4  3.9%
14.67/6.62	c (1,0) c    1 r      31     20000     5733    94394    20000   11.4   6.0  14.6  3.8%
14.67/6.62	c (1,0) c
14.67/6.62	c (1,0) c R [LBD Statistics #1]
14.67/6.62	c (1,0) c R LBD         used lbd               used clause lbd
14.67/6.62	c (1,0) c R  tot      130254                   20000
14.67/6.62	c (1,0) c R  avg       2.785                   5.969
14.67/6.62	c (1,0) c R   1         3243 ( 2.5/ 2.5%)        155 ( 0.8/ 0.8%)
14.67/6.62	c (1,0) c R   2        80592 (61.9/64.4%)       3065 (15.3/16.1%)
14.67/6.62	c (1,0) c R   3        22310 (17.1/81.5%)       1795 ( 9.0/25.1%)
14.67/6.62	c (1,0) c R
14.67/6.62	c (1,0) c R core_lbd_threshold = 3
14.67/6.62	c (1,0) c R supp_lbd_threshold = 9
14.67/6.62	c (1,0) c R
14.67/6.62	c (1,0) c R [RDB Statistics #1]
14.67/6.62	c (1,0) c R kept: lbd      =    5005 (25.0/25.0%)
14.67/6.62	c (1,0) c R kept: ttl      =   14973 (74.9/99.9%)
14.67/6.62	c (1,0) c R kept: locked   =      22 ( 0.1/100.0%)
14.67/6.62	c (1,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
14.67/6.62	c (1,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
14.67/6.62	c (1,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
14.67/6.62	c (1,0) c
14.67/6.62	c (1,0) c    1 R      31     20000     5733    94394    20000   11.4   6.0  14.6  3.8%
14.77/6.72	c (1,0) c    1        33     22491     5733    94394    22491   11.3   5.9  14.6  3.5%
14.97/6.91	c (1,0) c    1        34     27091     5733    94394    27091   11.1   5.9  13.4  2.7%
15.18/7.15	c (2,0) c    1        35     32611     5733    94394    32611   10.8   5.8  11.3  1.8%
15.47/7.47	c (2,0) c    2        36     39235     5728    94394    39234   10.5   5.7   9.6  1.5%
15.57/7.56	c (2,0) c    2 r      36     41000     5728    94394    40999   10.4   5.6   9.5  1.5%
15.57/7.57	c (2,0) c
15.57/7.57	c (2,0) c R [LBD Statistics #2]
15.57/7.57	c (2,0) c R LBD         used lbd               used clause lbd
15.57/7.57	c (2,0) c R  tot      357760                   40999
15.57/7.57	c (2,0) c R  avg       2.711                   5.625
15.57/7.57	c (2,0) c R   1        10307 ( 2.9/ 2.9%)        310 ( 0.8/ 0.8%)
15.57/7.57	c (2,0) c R   2       223853 (62.6/65.5%)       5795 (14.1/14.9%)
15.57/7.57	c (2,0) c R   3        56522 (15.8/81.3%)       4322 (10.5/25.4%)
15.57/7.57	c (2,0) c R
15.57/7.57	c (2,0) c R core_lbd_threshold = 3
15.57/7.57	c (2,0) c R supp_lbd_threshold = 8
15.57/7.57	c (2,0) c R
15.57/7.57	c (2,0) c R [RDB Statistics #2]
15.57/7.57	c (2,0) c R kept: lbd      =   10425 (25.4/25.4%)
15.57/7.57	c (2,0) c R kept: ttl      =   14649 (35.7/61.2%)
15.57/7.57	c (2,0) c R kept: locked   =       2 ( 0.0/61.2%)
15.57/7.57	c (2,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
15.57/7.57	c (2,0) c R lost: ttl      =   15923 (38.8/38.8%)
15.57/7.57	c (2,0) c R lost: subsumed =       0 ( 0.0/38.8%)
15.57/7.57	c (2,0) c
15.57/7.57	c (2,0) c    2 R      36     41000     5728    94394    25076    8.4   4.4   9.5  1.5%
15.67/7.65	c (2,0) c    2        36     43318     5636    94394    27386    8.4   4.3   9.1  1.4%
15.67/7.65	c (2,0) c
15.67/7.65	c (2,0) c
15.67/7.65	c (2,0) c variables         : 5636        (init 10666, after simp 5733, 0 non-decs, 100 csp)
15.67/7.66	c (2,0) c clauses           : 94394       (init 101744, after simp 94394)
15.67/7.66	c (2,0) c restarts          : 35          (1203.28 confs/res, 50~11310 confs, 0 blks, 0 last)
15.67/7.66	c (2,0) c conflicts         : 43318       (19701 /sec, 51.88% dconfs, 0.00% supp, trail 25.19w x 12.37h, jmp 1.20h)
15.67/7.66	c (2,0) c decisions         : 52505       (0.7500 vdcy, 23879 /sec, 0.00% bin, rs 0.001 s)
15.67/7.66	c (2,0) c propagations      : 4491954     (2042952 /sec, 85.55 lits/dec, 7.04% o.a.)
15.67/7.66	c (2,0) c conflict literals : 514725      (11.84% deleted; 1.77% by bin min, 0.011 s)
15.67/7.66	c (2,0) c len               : 8.350       (10.26 for all, max 49, used 48)
15.67/7.66	c (2,0) c lbd               : 4.342       (6.87 (5.55) for all, max 31, used 18, 1.368 stdev, 1.495 blk)
15.67/7.66	c (2,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
15.67/7.66	c (2,0) c simp dbs          : 1           (0.000 s)
15.67/7.66	c (2,0) c reduce dbs        : 2           (core-lbd 3, supp-lbd 8, 0.010 s)
15.67/7.66	c (2,0) c learnts           : 27386       (15923 learnts removed, 36.76%)
15.67/7.66	c (2,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
15.67/7.66	c (2,0) c assigned lits     : 0           (0/0 probed, 0 remains)
15.67/7.66	c (2,0) c premise updates   : 6843        (0.60 /lit)
15.67/7.66	c (2,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
15.67/7.66	c (2,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
15.67/7.66	c (2,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.011s)
15.67/7.66	c (2,0) c unwatched lit elim: 2533        (0.00+0.49%, 3+2530 of 262750+514725)
15.67/7.66	c (2,0) c classified type   : undef
15.67/7.66	c (2,0) c progress          : 1.692 %
15.67/7.66	c (2,0) c
15.67/7.66	c (2,0) c [Statistics]
15.67/7.66	c (2,0) c             learnts len        learnts lbd        lit blk size       eq vars size
15.67/7.66	c (2,0) c  tot       43317              43317             297472                  0
15.67/7.66	c (2,0) c  avg      10.265              5.550              1.495               -nan
15.67/7.66	c (2,0) c   1            8 ( 0.0%)        344 ( 0.8%)     226452 (76.1%)          0 (-nan%)
15.67/7.66	c (2,0) c   2           36 ( 0.1%)       6299 (14.5%)      38557 (13.0%)          0 (-nan%)
15.67/7.66	c (2,0) c   3         1754 ( 4.0%)       4750 (11.0%)      15578 ( 5.2%)          0 (-nan%)
15.67/7.66	c (2,0) c   4          893 ( 2.1%)       5291 (12.2%)       7585 ( 2.5%)          0 (-nan%)
15.67/7.66	c (2,0) c   5         2486 ( 5.7%)       5425 (12.5%)       3968 ( 1.3%)          0 (-nan%)
15.67/7.66	c (2,0) c   6         3911 ( 9.0%)       5511 (12.7%)       2212 ( 0.7%)          0 (-nan%)
15.67/7.66	c (2,0) c   7         3424 ( 7.9%)       5128 (11.8%)       1213 ( 0.4%)          0 (-nan%)
15.67/7.66	c (2,0) c   8         4568 (10.5%)       4378 (10.1%)        609 ( 0.2%)          0 (-nan%)
15.67/7.66	c (2,0) c   9         3441 ( 7.9%)       3061 ( 7.1%)        333 ( 0.1%)          0 (-nan%)
15.67/7.66	c (2,0) c  10         3245 ( 7.5%)       1822 ( 4.2%)        215 ( 0.1%)          0 (-nan%)
15.67/7.66	c (2,0) c  11         3025 ( 7.0%)        825 ( 1.9%)        144 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  12         3443 ( 7.9%)        309 ( 0.7%)         96 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  13         3742 ( 8.6%)        112 ( 0.3%)         89 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  14         3299 ( 7.6%)         37 ( 0.1%)         67 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  15         2192 ( 5.1%)         15 ( 0.0%)         49 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  16         1337 ( 3.1%)          3 ( 0.0%)         34 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  17          774 ( 1.8%)          1 ( 0.0%)         37 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  18          456 ( 1.1%)          2 ( 0.0%)         28 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  19          283 ( 0.7%)          0 ( 0.0%)         15 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  20          201 ( 0.5%)          1 ( 0.0%)         25 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  21          131 ( 0.3%)          0 ( 0.0%)         21 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  22           95 ( 0.2%)          1 ( 0.0%)         14 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  23           91 ( 0.2%)          0 ( 0.0%)         18 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  24           67 ( 0.2%)          1 ( 0.0%)         23 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  25           55 ( 0.1%)          0 ( 0.0%)          7 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  26           50 ( 0.1%)          0 ( 0.0%)         16 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  27           42 ( 0.1%)          0 ( 0.0%)         10 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  28           38 ( 0.1%)          0 ( 0.0%)          7 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  29           23 ( 0.1%)          0 ( 0.0%)         17 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c  30          207 ( 0.5%)          1 ( 0.0%)         33 ( 0.0%)          0 (-nan%)
15.67/7.66	c (2,0) c
15.67/7.66	c (2,0) c [LBD Statistics]
15.67/7.66	c (2,0) c LBD          used lbd               used clause lbd         unused clause lbd
15.67/7.66	c (2,0) c  tot       384942                   22022                   21287
15.67/7.66	c (2,0) c  avg        2.691                   4.226                   6.922
15.67/7.66	c (2,0) c    1        11104 ( 2.9/ 2.9%)        336 ( 1.5/ 1.5%)          0 ( 0.0/ 0.0%)
15.67/7.66	c (2,0) c    2       243170 (63.2/66.1%)       5913 (26.9/28.4%)        386 ( 1.8/ 1.8%)
15.67/7.66	c (2,0) c    3        60452 (15.7/81.8%)       3895 (17.7/46.1%)        855 ( 4.0/ 5.8%)
15.67/7.66	c (2,0) c    4        34724 ( 9.0/90.8%)       3562 (16.2/62.2%)       1729 ( 8.1/14.0%)
15.67/7.66	c (2,0) c    5        16819 ( 4.4/95.1%)       2734 (12.4/74.7%)       2691 (12.6/26.6%)
15.67/7.66	c (2,0) c    6         8294 ( 2.2/97.3%)       1996 ( 9.1/83.7%)       3515 (16.5/43.1%)
15.67/7.66	c (2,0) c    7         4681 ( 1.2/98.5%)       1413 ( 6.4/90.1%)       3715 (17.5/60.6%)
15.67/7.66	c (2,0) c    8         2538 ( 0.7/99.2%)       1013 ( 4.6/94.7%)       3365 (15.8/76.4%)
15.67/7.66	c (2,0) c    9         1526 ( 0.4/99.6%)        621 ( 2.8/97.6%)       2440 (11.5/87.8%)
15.67/7.66	c (2,0) c   10          864 ( 0.2/99.8%)        309 ( 1.4/99.0%)       1513 ( 7.1/94.9%)
15.67/7.66	c (2,0) c   11          459 ( 0.1/99.9%)        155 ( 0.7/99.7%)        670 ( 3.1/98.1%)
15.67/7.66	c (2,0) c   12          201 ( 0.1/100.0%)         51 ( 0.2/99.9%)        258 ( 1.2/99.3%)
15.67/7.66	c (2,0) c   13           75 ( 0.0/100.0%)         19 ( 0.1/100.0%)         93 ( 0.4/99.7%)
15.67/7.66	c (2,0) c   14           25 ( 0.0/100.0%)          2 ( 0.0/100.0%)         35 ( 0.2/99.9%)
15.67/7.66	c (2,0) c   15            7 ( 0.0/100.0%)          1 ( 0.0/100.0%)         14 ( 0.1/100.0%)
15.67/7.66	c (2,0) c   16            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   17            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   18            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   19            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   20            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   21            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   22            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   23            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   24            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   25            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   26            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   27            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   28            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   29            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   30            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
15.67/7.66	c (2,0) c   31            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
15.67/7.66	c (2,0) c
15.67/7.66	c (2,0) c Memory used       : 34.00 MB
15.67/7.66	c (2,0) c CPU time          : 2.199 s
15.67/7.66	c (2,0) c Real time         : 2.277 s
15.67/7.66	c (2,0) c
15.67/7.66	c (2,0) s UNSATISFIABLE
15.67/7.66	c (2,0) SatSolver.solve End
15.67/7.66	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
15.67/7.66	c (2,0) Show results Begin
15.67/7.66	s UNSATISFIABLE
15.67/7.66	c (2,0) Show results End
15.67/7.66	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
15.67/7.66	c (2,0) 2,2,STOP-AFTER(ALL)
15.67/7.66	c END-Prog: Thu Sep 12 14:34:40 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387860-1568291715/watcher-4387860-1568291715 -o /tmp/evaluation-result-4387860-1568291715/solver-4387860-1568291715 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --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-4387860-1568291715.xml 

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

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

solver pid=11551, runsolver pid=11548

[startup+0.100094 s]*
/proc/loadavg: 2.09 2.04 2.05 3/235 11568
/proc/meminfo: memFree=24723008/32770624 swapFree=66927092/67108860
[pid=11551] ppid=11548 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11551/stat : 11551 (scop.sh) S 11548 11551 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418823 115843072 349 33554432000 4194304 5098028 140728079682080 140728079679336 140266134536828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24117248 140728079688488 140728079688816 140728079688816 140728079691725 0
/proc/11551/statm: 28282 349 296 221 0 87 0
[pid=11554] ppid=11551 vsize=15013720 memory=73524 CPUtime=0.12 cores=0,2,4,6
/proc/11554/stat : 11554 (java) S 11551 11551 8795 0 -1 1077944320 6650 0 0 0 10 2 0 0 20 0 15 0 405418823 15374049280 18381 33554432000 4194304 4196468 140732266565216 140732266547760 139822673280759 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
/proc/11554/statm: 3753430 18381 2913 1 0 3715835 0
[pid=11554/tid=11555] ppid=11551 vsize=15014680 memory=-6293354713193955269 CPUtime=0.08 cores=0,2,4,6
/proc/11554/task/11555/stat : 11555 (java) R 11551 11551 8795 0 -1 4202560 4526 0 0 0 7 1 0 0 20 0 15 0 405418824 15375032320 18513 33554432000 4194304 4196468 140732266565216 139822645065008 139822665960477 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11556] ppid=11551 vsize=15014680 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11556/stat : 11556 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418825 15375032320 18513 33554432000 4194304 4196468 140732266565216 139822677523344 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11557] ppid=11551 vsize=15014680 memory=140248790550144 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11557/stat : 11557 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15375032320 18513 33554432000 4194304 4196468 140732266565216 139822468606736 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11558] ppid=11551 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11558/stat : 11558 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15375032320 18513 33554432000 4194304 4196468 140732266565216 139822467554448 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11559] ppid=11551 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11559/stat : 11559 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15375032320 18513 33554432000 4194304 4196468 140732266565216 139822466501648 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11560] ppid=11551 vsize=15014680 memory=140248790550144 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11560/stat : 11560 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418827 15375032320 18579 33554432000 4194304 4196468 140732266565216 139821643155568 139822673291906 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11561] ppid=11551 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11561/stat : 11561 (java) S 11551 11551 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418827 15375032320 18579 33554432000 4194304 4196468 140732266565216 139821251027744 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11562] ppid=11551 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11562/stat : 11562 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418828 15375032320 18579 33554432000 4194304 4196468 140732266565216 139820982592624 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11563] ppid=11551 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11563/stat : 11563 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418830 15375032320 18645 33554432000 4194304 4196468 140732266565216 139820608084048 139822673299355 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11564] ppid=11551 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11564/stat : 11564 (java) S 11551 11551 8795 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 405418830 15375032320 18645 33554432000 4194304 4196468 140732266565216 139821642103408 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11565] ppid=11551 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11565/stat : 11565 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418830 15375032320 18645 33554432000 4194304 4196468 140732266565216 139821641050608 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11566] ppid=11551 vsize=15014680 memory=140248790550144 CPUtime=0.01 cores=0,2,4,6
/proc/11554/task/11566/stat : 11566 (java) S 11551 11551 8795 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 15 0 405418830 15375032320 18645 33554432000 4194304 4196468 140732266565216 139821639998320 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11567] ppid=11551 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11567/stat : 11567 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418830 15375032320 18645 33554432000 4194304 4196468 140732266565216 139820110179296 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11568] ppid=11551 vsize=15014680 memory=140248790550144 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11568/stat : 11568 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418830 15375032320 18645 33554432000 4194304 4196468 140732266565216 139821638945200 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 74920 KiB

[startup+0.21105 s]*
/proc/loadavg: 2.09 2.04 2.05 4/235 11568
/proc/meminfo: memFree=24707312/32770624 swapFree=66927092/67108860
[pid=11551] ppid=11548 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11551/stat : 11551 (scop.sh) S 11548 11551 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418823 115843072 349 33554432000 4194304 5098028 140728079682080 140728079679336 140266134536828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24117248 140728079688488 140728079688816 140728079688816 140728079691725 0
/proc/11551/statm: 28282 349 296 221 0 87 0
[pid=11554] ppid=11551 vsize=15012696 memory=85440 CPUtime=0.26 cores=0,2,4,6
/proc/11554/stat : 11554 (java) S 11551 11551 8795 0 -1 1077944320 10957 0 0 0 22 4 0 0 20 0 15 0 405418823 15373000704 21360 33554432000 4194304 4196468 140732266565216 140732266547760 139822673280759 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
/proc/11554/statm: 3753174 21360 2918 1 0 3715579 0
[pid=11554/tid=11555] ppid=11551 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/11554/task/11555/stat : 11555 (java) R 11551 11551 8795 0 -1 4202560 8707 0 0 0 17 3 0 0 20 0 15 0 405418824 15373000704 21426 33554432000 4194304 4196468 140732266565216 139822645080144 139822658652134 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11556] ppid=11551 vsize=15012696 memory=540 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11556/stat : 11556 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418825 15373000704 21426 33554432000 4194304 4196468 140732266565216 139822677523344 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11557] ppid=11551 vsize=15012696 memory=140248793485809 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11557/stat : 11557 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15373000704 21426 33554432000 4194304 4196468 140732266565216 139822468606736 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11558] ppid=11551 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11558/stat : 11558 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15373000704 21426 33554432000 4194304 4196468 140732266565216 139822467554448 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11559] ppid=11551 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11559/stat : 11559 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15373000704 21426 33554432000 4194304 4196468 140732266565216 139822466501648 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11560] ppid=11551 vsize=15012696 memory=140248790550144 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11560/stat : 11560 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418827 15373000704 21426 33554432000 4194304 4196468 140732266565216 139821643155568 139822673291906 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11561] ppid=11551 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11561/stat : 11561 (java) S 11551 11551 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418827 15373000704 21426 33554432000 4194304 4196468 140732266565216 139821251027744 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11562] ppid=11551 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11562/stat : 11562 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418828 15373000704 21426 33554432000 4194304 4196468 140732266565216 139820982592624 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11563] ppid=11551 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11563/stat : 11563 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418830 15373000704 21426 33554432000 4194304 4196468 140732266565216 139820608084048 139822673299355 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11564] ppid=11551 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11554/task/11564/stat : 11564 (java) S 11551 11551 8795 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 15 0 405418830 15373000704 21426 33554432000 4194304 4196468 140732266565216 139821642103408 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11565] ppid=11551 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11565/stat : 11565 (java) S 11551 11551 8795 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405418830 15373000704 21426 33554432000 4194304 4196468 140732266565216 139821641050608 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11566] ppid=11551 vsize=15012696 memory=140248790550144 CPUtime=0.03 cores=0,2,4,6
/proc/11554/task/11566/stat : 11566 (java) S 11551 11551 8795 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 405418830 15373000704 21426 33554432000 4194304 4196468 140732266565216 139821639998320 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11567] ppid=11551 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11567/stat : 11567 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418830 15373000704 21426 33554432000 4194304 4196468 140732266565216 139820110179296 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11568] ppid=11551 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11568/stat : 11568 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418830 15373000704 21426 33554432000 4194304 4196468 140732266565216 139821638945200 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86836 KiB

[startup+0.310834 s]*
/proc/loadavg: 2.09 2.04 2.05 4/235 11568
/proc/meminfo: memFree=24704152/32770624 swapFree=66927092/67108860
[pid=11551] ppid=11548 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11551/stat : 11551 (scop.sh) S 11548 11551 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418823 115843072 349 33554432000 4194304 5098028 140728079682080 140728079679336 140266134536828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24117248 140728079688488 140728079688816 140728079688816 140728079691725 0
/proc/11551/statm: 28282 349 296 221 0 87 0
[pid=11554] ppid=11551 vsize=15012696 memory=90016 CPUtime=0.43 cores=0,2,4,6
/proc/11554/stat : 11554 (java) S 11551 11551 8795 0 -1 1077944320 12019 0 0 0 39 4 0 0 20 0 15 0 405418823 15373000704 22504 33554432000 4194304 4196468 140732266565216 140732266547760 139822673280759 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
/proc/11554/statm: 3753174 22504 3070 1 0 3715579 0
[pid=11554/tid=11555] ppid=11551 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/11554/task/11555/stat : 11555 (java) R 11551 11551 8795 0 -1 4202560 9552 0 0 0 26 3 0 0 20 0 15 0 405418824 15373000704 22504 33554432000 4194304 4196468 140732266565216 139822645063776 139822657361246 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11556] ppid=11551 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11556/stat : 11556 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418825 15373000704 22504 33554432000 4194304 4196468 140732266565216 139822677523344 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11557] ppid=11551 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11557/stat : 11557 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15373000704 22504 33554432000 4194304 4196468 140732266565216 139822468606736 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11558] ppid=11551 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11558/stat : 11558 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15373000704 22504 33554432000 4194304 4196468 140732266565216 139822467554448 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11559] ppid=11551 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11559/stat : 11559 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15373000704 22504 33554432000 4194304 4196468 140732266565216 139822466501648 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11560] ppid=11551 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11560/stat : 11560 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418827 15373000704 22504 33554432000 4194304 4196468 140732266565216 139821643155568 139822673291906 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11561] ppid=11551 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11561/stat : 11561 (java) S 11551 11551 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418827 15373000704 22504 33554432000 4194304 4196468 140732266565216 139821251027744 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11562] ppid=11551 vsize=15012696 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11562/stat : 11562 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418828 15373000704 22504 33554432000 4194304 4196468 140732266565216 139820982592624 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11563] ppid=11551 vsize=15012696 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11563/stat : 11563 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418830 15373000704 22504 33554432000 4194304 4196468 140732266565216 139820608084048 139822673299355 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11564] ppid=11551 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11554/task/11564/stat : 11564 (java) S 11551 11551 8795 0 -1 1077944384 494 0 0 0 3 0 0 0 20 0 15 0 405418830 15373000704 22504 33554432000 4194304 4196468 140732266565216 139821642103408 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11565] ppid=11551 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11554/task/11565/stat : 11565 (java) S 11551 11551 8795 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 15 0 405418830 15373000704 22504 33554432000 4194304 4196468 140732266565216 139821641050608 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11566] ppid=11551 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11554/task/11566/stat : 11566 (java) S 11551 11551 8795 0 -1 1077944384 502 0 0 0 7 0 0 0 20 0 15 0 405418830 15373000704 22504 33554432000 4194304 4196468 140732266565216 139821639998320 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11567] ppid=11551 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11567/stat : 11567 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418830 15373000704 22504 33554432000 4194304 4196468 140732266565216 139820110179296 139822673290965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11568] ppid=11551 vsize=15012696 memory=4121695474253050928 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11568/stat : 11568 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418830 15373000704 22504 33554432000 4194304 4196468 140732266565216 139821638945200 139822673291906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91412 KiB

[startup+0.702697 s]
/proc/loadavg: 2.09 2.04 2.05 3/235 11568
/proc/meminfo: memFree=24680516/32770624 swapFree=66927092/67108860
[pid=11551] ppid=11548 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11551/stat : 11551 (scop.sh) S 11548 11551 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418823 115843072 349 33554432000 4194304 5098028 140728079682080 140728079679336 140266134536828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24117248 140728079688488 140728079688816 140728079688816 140728079691725 0
/proc/11551/statm: 28282 349 296 221 0 87 0
[pid=11554] ppid=11551 vsize=15018968 memory=127612 CPUtime=1.02 cores=0,2,4,6
/proc/11554/stat : 11554 (java) S 11551 11551 8795 0 -1 1077944320 19643 0 0 0 96 6 0 0 20 0 15 0 405418823 15379423232 31903 33554432000 4194304 4196468 140732266565216 140732266547760 139822673280759 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
/proc/11554/statm: 3754742 31903 3184 1 0 3716091 0
[pid=11554/tid=11555] ppid=11551 vsize=15018968 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11554/task/11555/stat : 11555 (java) R 11551 11551 8795 0 -1 4202560 16635 0 0 0 63 5 0 0 20 0 15 0 405418824 15379423232 31903 33554432000 4194304 4196468 140732266565216 139822645118096 139822673302106 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11556] ppid=11551 vsize=15018968 memory=5252745004214 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11556/stat : 11556 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405418825 15379423232 31903 33554432000 4194304 4196468 140732266565216 139822677523344 139822673290965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11557] ppid=11551 vsize=15018968 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11557/stat : 11557 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15379423232 31903 33554432000 4194304 4196468 140732266565216 139822468606736 139822673290965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11558] ppid=11551 vsize=15018968 memory=14690799036142200 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11558/stat : 11558 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15379423232 31903 33554432000 4194304 4196468 140732266565216 139822467554448 139822673290965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11559] ppid=11551 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11559/stat : 11559 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418825 15379423232 31903 33554432000 4194304 4196468 140732266565216 139822466501648 139822673290965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11560] ppid=11551 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11560/stat : 11560 (java) S 11551 11551 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405418827 15379423232 31903 33554432000 4194304 4196468 140732266565216 139821643155568 139822673291906 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11561] ppid=11551 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11561/stat : 11561 (java) S 11551 11551 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405418827 15379423232 31903 33554432000 4194304 4196468 140732266565216 139821251027744 139822673290965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11562] ppid=11551 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11562/stat : 11562 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418828 15379423232 31903 33554432000 4194304 4196468 140732266565216 139820982592624 139822673290965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11563] ppid=11551 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11563/stat : 11563 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418830 15379423232 31903 33554432000 4194304 4196468 140732266565216 139820608084048 139822673299355 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11564] ppid=11551 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11554/task/11564/stat : 11564 (java) S 11551 11551 8795 0 -1 1077944384 697 0 0 0 8 0 0 0 20 0 15 0 405418830 15379423232 31903 33554432000 4194304 4196468 140732266565216 139821642103408 139822673291906 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11565] ppid=11551 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11554/task/11565/stat : 11565 (java) R 11551 11551 8795 0 -1 4202560 352 0 0 0 8 0 0 0 20 0 15 0 405418830 15379423232 31903 33554432000 4194304 4196468 140732266565216 139821641040720 139822653916696 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11566] ppid=11551 vsize=15018968 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/11554/task/11566/stat : 11566 (java) R 11551 11551 8795 0 -1 1077944384 625 0 0 0 15 0 0 0 20 0 15 0 405418830 15379423232 31903 33554432000 4194304 4196468 140732266565216 139821639994080 139822673290965 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11567] ppid=11551 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11567/stat : 11567 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405418830 15379423232 31903 33554432000 4194304 4196468 140732266565216 139820110179296 139822673290965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
[pid=11554/tid=11568] ppid=11551 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11554/task/11568/stat : 11568 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405418830 15379423232 31903 33554432000 4194304 4196468 140732266565216 139821638945200 139822673291906 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38100992 140732266570478 140732266570906 140732266570906 140732266573775 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 129008 KiB

[startup+1.50114 s]
/proc/loadavg: 2.09 2.04 2.05 6/235 11568
/proc/meminfo: memFree=24638936/32770624 swapFree=66927092/67108860
[pid=11551] ppid=11548 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11551/stat : 11551 (scop.sh) S 11548 11551 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405418823 115843072 349 33554432000 4194304 5098028 140728079682080 140728079679336 140266134536828 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24117248 140728079688488 140728079688816 140728079688816 140728079691725 0
/proc/11551/statm: 28282 349 296 221 0 87 0

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

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

[startup+6.40119 s]
/proc/loadavg: 2.32 2.09 2.07 3/239 11589
/proc/meminfo: memFree=24655984/32770624 swapFree=66927092/67108860
[pid=11551] ppid=11548 vsize=113128 memory=1476 CPUtime=12.28 cores=0,2,4,6
/proc/11551/stat : 11551 (scop.sh) S 11548 11551 8795 0 -1 4202496 584 29082 0 0 0 0 1202 26 20 0 1 0 405418823 115843072 369 33554432000 4194304 5098028 140728079682080 140728079678824 140266134536828 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24117248 140728079688488 140728079688816 140728079688816 140728079691725 0
/proc/11551/statm: 28282 369 311 221 0 87 0
[pid=11569] ppid=11551 vsize=8068440 memory=119832 CPUtime=1.18 cores=0,2,4,6
/proc/11569/stat : 11569 (java) S 11551 11551 8795 0 -1 1077944320 19343 0 0 0 112 6 0 0 20 0 19 0 405419289 8262082560 29958 33554432000 4194304 4196468 140726945061760 140726945044304 139631126777591 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
/proc/11569/statm: 2017110 29958 3210 1 0 1978454 0
[pid=11584] ppid=11569 vsize=28504 memory=14180 CPUtime=1.01 cores=0,2,4,6
/proc/11584/stat : 11584 (glueminisat-sim) R 11569 11551 8795 0 -1 4202496 4452 0 0 0 98 3 0 0 20 0 1 0 405419361 29188096 3545 33554432000 4194304 4452875 140724936632624 140724936627192 139711502827399 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 29138944 140724936639327 140724936639527 140724936639527 140724936642477 0
/proc/11584/statm: 7126 3545 353 64 0 3330 0
[pid=11569/tid=11570] ppid=11551 vsize=8068440 memory=-7824251494390454118 CPUtime=0.75 cores=0,2,4,6
/proc/11569/task/11570/stat : 11570 (java) S 11551 11551 8795 0 -1 1077944384 16361 0 0 0 70 5 0 0 20 0 19 0 405419289 8262082560 29958 33554432000 4194304 4196468 140726945061760 139631098617760 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11571] ppid=11551 vsize=8068440 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11571/stat : 11571 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29958 33554432000 4194304 4196468 140726945061760 139631131020304 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11572] ppid=11551 vsize=8068440 memory=14690799036142200 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11572/stat : 11572 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630611524752 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11573] ppid=11551 vsize=8068440 memory=7523102001985831020 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11573/stat : 11573 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630610471696 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11574] ppid=11551 vsize=8068440 memory=7523102001985831020 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11574/stat : 11574 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630609419152 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11575] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11575/stat : 11575 (java) S 11551 11551 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405419292 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630371858672 139631126788738 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11576] ppid=11551 vsize=8068440 memory=280497335183432 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11576/stat : 11576 (java) S 11551 11551 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405419292 8262082560 29958 33554432000 4194304 4196468 140726945061760 139629990765728 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11577] ppid=11551 vsize=8068440 memory=121746316 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11577/stat : 11577 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419293 8262082560 29958 33554432000 4194304 4196468 140726945061760 139629722329840 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11578] ppid=11551 vsize=8068440 memory=140248667832690 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11578/stat : 11578 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405419295 8262082560 29958 33554432000 4194304 4196468 140726945061760 139629347821520 139631126796187 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11579] ppid=11551 vsize=8068440 memory=280497335673536 CPUtime=0.08 cores=0,2,4,6
/proc/11569/task/11579/stat : 11579 (java) S 11551 11551 8795 0 -1 1077944384 704 0 0 0 8 0 0 0 20 0 19 0 405419295 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630370806512 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11580] ppid=11551 vsize=8068440 memory=280497334780144 CPUtime=0.09 cores=0,2,4,6
/proc/11569/task/11580/stat : 11580 (java) S 11551 11551 8795 0 -1 1077944384 333 0 0 0 9 0 0 0 20 0 19 0 405419295 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630369753968 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11581] ppid=11551 vsize=8068440 memory=6944656592455360604 CPUtime=0.21 cores=0,2,4,6
/proc/11569/task/11581/stat : 11581 (java) S 11551 11551 8795 0 -1 1077944384 555 0 0 0 21 0 0 0 20 0 19 0 405419295 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630368700912 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11582] ppid=11551 vsize=8068440 memory=7649399380003598641 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11582/stat : 11582 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405419295 8262082560 29958 33554432000 4194304 4196468 140726945061760 139628849916768 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11583] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11583/stat : 11583 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419296 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630367648304 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11585] ppid=11551 vsize=8068440 memory=56 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11585/stat : 11585 (java) S 11551 11551 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405419362 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630359614784 139631126802201 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11587] ppid=11551 vsize=8068440 memory=-9001734043636558696 CPUtime=0.01 cores=0,2,4,6
/proc/11569/task/11587/stat : 11587 (java) S 11551 11551 8795 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 405419362 8262082560 29958 33554432000 4194304 4196468 140726945061760 139628313030000 139631126799517 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11588] ppid=11551 vsize=8068440 memory=-7457052372387209120 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11588/stat : 11588 (java) S 11551 11551 8795 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 405419362 8262082560 29958 33554432000 4194304 4196468 140726945061760 139628178808848 139631126799517 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11589] ppid=11551 vsize=8068440 memory=-7739291672887926688 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11589/stat : 11589 (java) S 11551 11551 8795 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405419364 8262082560 29958 33554432000 4194304 4196468 140726945061760 139628447260464 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
Current children cumulated CPU time: 14.47 s
Current children cumulated vsize: 8210072 KiB
Current children cumulated memory: 135488 KiB

[startup+7.20096 s]
/proc/loadavg: 2.32 2.09 2.07 3/239 11589
/proc/meminfo: memFree=24655788/32770624 swapFree=66927092/67108860
[pid=11551] ppid=11548 vsize=113128 memory=1476 CPUtime=12.28 cores=0,2,4,6
/proc/11551/stat : 11551 (scop.sh) S 11548 11551 8795 0 -1 4202496 584 29082 0 0 0 0 1202 26 20 0 1 0 405418823 115843072 369 33554432000 4194304 5098028 140728079682080 140728079678824 140266134536828 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24117248 140728079688488 140728079688816 140728079688816 140728079691725 0
/proc/11551/statm: 28282 369 311 221 0 87 0
[pid=11569] ppid=11551 vsize=8068440 memory=119832 CPUtime=1.18 cores=0,2,4,6
/proc/11569/stat : 11569 (java) S 11551 11551 8795 0 -1 1077944320 19350 0 0 0 112 6 0 0 20 0 19 0 405419289 8262082560 29958 33554432000 4194304 4196468 140726945061760 140726945044304 139631126777591 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
/proc/11569/statm: 2017110 29958 3210 1 0 1978454 0
[pid=11584] ppid=11569 vsize=32856 memory=15160 CPUtime=1.81 cores=0,2,4,6
/proc/11584/stat : 11584 (glueminisat-sim) R 11569 11551 8795 0 -1 4202496 4717 0 0 0 175 6 0 0 20 0 1 0 405419361 33644544 3790 33554432000 4194304 4452875 140724936632624 140724936627656 139711502827399 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 29138944 140724936639327 140724936639527 140724936639527 140724936642477 0
/proc/11584/statm: 8214 3790 374 64 0 4418 0
[pid=11569/tid=11570] ppid=11551 vsize=8068440 memory=14440 CPUtime=0.75 cores=0,2,4,6
/proc/11569/task/11570/stat : 11570 (java) S 11551 11551 8795 0 -1 1077944384 16361 0 0 0 70 5 0 0 20 0 19 0 405419289 8262082560 29958 33554432000 4194304 4196468 140726945061760 139631098617760 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11571] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11571/stat : 11571 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29958 33554432000 4194304 4196468 140726945061760 139631131020304 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11572] ppid=11551 vsize=8068440 memory=3976872733969450480 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11572/stat : 11572 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630611524752 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11573] ppid=11551 vsize=8068440 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11573/stat : 11573 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630610471696 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11574] ppid=11551 vsize=8068440 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11574/stat : 11574 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630609419152 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11575] ppid=11551 vsize=8068440 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11575/stat : 11575 (java) S 11551 11551 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405419292 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630371858672 139631126788738 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11576] ppid=11551 vsize=8068440 memory=20036 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11576/stat : 11576 (java) S 11551 11551 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405419292 8262082560 29958 33554432000 4194304 4196468 140726945061760 139629990765728 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11577] ppid=11551 vsize=8068440 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11577/stat : 11577 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419293 8262082560 29958 33554432000 4194304 4196468 140726945061760 139629722329840 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11578] ppid=11551 vsize=8068440 memory=528 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11578/stat : 11578 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405419295 8262082560 29958 33554432000 4194304 4196468 140726945061760 139629347821520 139631126796187 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11579] ppid=11551 vsize=8068440 memory=1560 CPUtime=0.08 cores=0,2,4,6
/proc/11569/task/11579/stat : 11579 (java) S 11551 11551 8795 0 -1 1077944384 704 0 0 0 8 0 0 0 20 0 19 0 405419295 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630370806512 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11580] ppid=11551 vsize=8068440 memory=928 CPUtime=0.09 cores=0,2,4,6
/proc/11569/task/11580/stat : 11580 (java) S 11551 11551 8795 0 -1 1077944384 333 0 0 0 9 0 0 0 20 0 19 0 405419295 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630369753968 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11581] ppid=11551 vsize=8068440 memory=1700 CPUtime=0.21 cores=0,2,4,6
/proc/11569/task/11581/stat : 11581 (java) S 11551 11551 8795 0 -1 1077944384 561 0 0 0 21 0 0 0 20 0 19 0 405419295 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630368700912 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11582] ppid=11551 vsize=8068440 memory=824 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11582/stat : 11582 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405419295 8262082560 29958 33554432000 4194304 4196468 140726945061760 139628849916768 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11583] ppid=11551 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11583/stat : 11583 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419296 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630367648304 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11585] ppid=11551 vsize=8068440 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11585/stat : 11585 (java) S 11551 11551 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405419362 8262082560 29958 33554432000 4194304 4196468 140726945061760 139630359614784 139631126802201 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11587] ppid=11551 vsize=8068440 memory=2496 CPUtime=0.01 cores=0,2,4,6
/proc/11569/task/11587/stat : 11587 (java) S 11551 11551 8795 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 405419362 8262082560 29958 33554432000 4194304 4196468 140726945061760 139628313029968 139631126799517 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11588] ppid=11551 vsize=8068440 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11588/stat : 11588 (java) S 11551 11551 8795 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 405419362 8262082560 29958 33554432000 4194304 4196468 140726945061760 139628178808848 139631126799517 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11589] ppid=11551 vsize=8068440 memory=302022848351043610 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11589/stat : 11589 (java) S 11551 11551 8795 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405419364 8262082560 29958 33554432000 4194304 4196468 140726945061760 139628447260464 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
Current children cumulated CPU time: 15.27 s
Current children cumulated vsize: 8214424 KiB
Current children cumulated memory: 136468 KiB

[startup+7.60085 s]
/proc/loadavg: 2.32 2.09 2.07 3/239 11589
/proc/meminfo: memFree=24655788/32770624 swapFree=66927092/67108860
[pid=11551] ppid=11548 vsize=113128 memory=1476 CPUtime=12.28 cores=0,2,4,6
/proc/11551/stat : 11551 (scop.sh) S 11548 11551 8795 0 -1 4202496 584 29082 0 0 0 0 1202 26 20 0 1 0 405418823 115843072 369 33554432000 4194304 5098028 140728079682080 140728079678824 140266134536828 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24117248 140728079688488 140728079688816 140728079688816 140728079691725 0
/proc/11551/statm: 28282 369 311 221 0 87 0
[pid=11569] ppid=11551 vsize=8068440 memory=119928 CPUtime=1.18 cores=0,2,4,6
/proc/11569/stat : 11569 (java) S 11551 11551 8795 0 -1 1077944320 19358 0 0 0 112 6 0 0 20 0 19 0 405419289 8262082560 29982 33554432000 4194304 4196468 140726945061760 140726945044304 139631126777591 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
/proc/11569/statm: 2017110 29982 3210 1 0 1978454 0
[pid=11584] ppid=11569 vsize=34960 memory=18936 CPUtime=2.21 cores=0,2,4,6
/proc/11584/stat : 11584 (glueminisat-sim) R 11569 11551 8795 0 -1 4202496 7730 0 0 0 214 7 0 0 20 0 1 0 405419361 35799040 4734 33554432000 4194304 4452875 140724936632624 140724936627720 4372416 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 29138944 140724936639327 140724936639527 140724936639527 140724936642477 0
/proc/11584/statm: 8740 4734 374 64 0 4944 0
[pid=11569/tid=11570] ppid=11551 vsize=8068440 memory=988 CPUtime=0.75 cores=0,2,4,6
/proc/11569/task/11570/stat : 11570 (java) S 11551 11551 8795 0 -1 1077944384 16361 0 0 0 70 5 0 0 20 0 19 0 405419289 8262082560 29982 33554432000 4194304 4196468 140726945061760 139631098617760 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11571] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11571/stat : 11571 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29982 33554432000 4194304 4196468 140726945061760 139631131020304 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11572] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11572/stat : 11572 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29982 33554432000 4194304 4196468 140726945061760 139630611524752 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11573] ppid=11551 vsize=8068440 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11573/stat : 11573 (java) S 11551 11551 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29982 33554432000 4194304 4196468 140726945061760 139630610471696 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11574] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11574/stat : 11574 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419291 8262082560 29982 33554432000 4194304 4196468 140726945061760 139630609419152 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11575] ppid=11551 vsize=8068440 memory=7233736994252652628 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11575/stat : 11575 (java) S 11551 11551 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405419292 8262082560 29982 33554432000 4194304 4196468 140726945061760 139630371858672 139631126788738 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11576] ppid=11551 vsize=8068440 memory=-7824251494390454118 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11576/stat : 11576 (java) S 11551 11551 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405419292 8262082560 29982 33554432000 4194304 4196468 140726945061760 139629990765728 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11577] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11577/stat : 11577 (java) S 11551 11551 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405419293 8262082560 29982 33554432000 4194304 4196468 140726945061760 139629722329840 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11578] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11578/stat : 11578 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405419295 8262082560 29982 33554432000 4194304 4196468 140726945061760 139629347821520 139631126796187 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11579] ppid=11551 vsize=8068440 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11569/task/11579/stat : 11579 (java) S 11551 11551 8795 0 -1 1077944384 704 0 0 0 8 0 0 0 20 0 19 0 405419295 8262082560 29982 33554432000 4194304 4196468 140726945061760 139630370806512 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11580] ppid=11551 vsize=8068440 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11569/task/11580/stat : 11580 (java) S 11551 11551 8795 0 -1 1077944384 333 0 0 0 9 0 0 0 20 0 19 0 405419295 8262082560 29982 33554432000 4194304 4196468 140726945061760 139630369753968 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11581] ppid=11551 vsize=8068440 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/11569/task/11581/stat : 11581 (java) S 11551 11551 8795 0 -1 1077944384 567 0 0 0 21 0 0 0 20 0 19 0 405419295 8262082560 29982 33554432000 4194304 4196468 140726945061760 139630368700912 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11582] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11582/stat : 11582 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405419295 8262082560 29982 33554432000 4194304 4196468 140726945061760 139628849916768 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11583] ppid=11551 vsize=8068440 memory=148 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11583/stat : 11583 (java) S 11551 11551 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405419296 8262082560 29982 33554432000 4194304 4196468 140726945061760 139630367648304 139631126788738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11585] ppid=11551 vsize=8068440 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11585/stat : 11585 (java) S 11551 11551 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405419362 8262082560 29982 33554432000 4194304 4196468 140726945061760 139630359614784 139631126802201 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11587] ppid=11551 vsize=8068440 memory=14690799036142200 CPUtime=0.01 cores=0,2,4,6
/proc/11569/task/11587/stat : 11587 (java) S 11551 11551 8795 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 405419362 8262082560 29982 33554432000 4194304 4196468 140726945061760 139628313029968 139631126799517 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11588] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11588/stat : 11588 (java) S 11551 11551 8795 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 405419362 8262082560 29982 33554432000 4194304 4196468 140726945061760 139628178808848 139631126799517 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
[pid=11569/tid=11589] ppid=11551 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11569/task/11589/stat : 11589 (java) S 11551 11551 8795 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405419364 8262082560 29982 33554432000 4194304 4196468 140726945061760 139628447260464 139631126787797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16683008 140726945063931 140726945064090 140726945064090 140726945066959 0
Current children cumulated CPU time: 15.67 s
Current children cumulated vsize: 8216528 KiB
Current children cumulated memory: 140340 KiB

Child status: 0
Real time (s): 7.68455
CPU time (s): 15.8042
CPU user time (s): 15.3791
CPU system time (s): 0.425048
CPU usage (%): 205.662
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 1044904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3791
system time used= 0.425048
maximum resident set size= 1046560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56872
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5457
involuntary context switches= 64


# summary of solver processes directly reported to runsolver:
#   pid: 11551
#   total CPU time (s): 15.8042
#   total CPU user time (s): 15.3791
#   total CPU system time (s): 0.425048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071927 second user time and 0.132437 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-12 14:34:32
IDJOB=4387860
IDBENCH=126890
IDSOLVER=2825
FILE ID=node137/4387860-1568291715
RUNJOBID= node137-1568286693-10212
PBS_JOBID= 21701071
Free space on /tmp= 56740 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-mod-100-9.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-4387860-1568291715/watcher-4387860-1568291715 -o /tmp/evaluation-result-4387860-1568291715/solver-4387860-1568291715 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10212 --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-4387860-1568291715.xml

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

MD5SUM BENCH= 4f03c112a8f6a228f13fa4574ba8a054
RANDOM SEED=690121186

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24784344 kB
MemAvailable:   31454984 kB
Buffers:          109988 kB
Cached:          6803340 kB
SwapCached:        77624 kB
Active:          1980432 kB
Inactive:        5344096 kB
Active(anon):     334496 kB
Inactive(anon):   118208 kB
Active(file):    1645936 kB
Inactive(file):  5225888 kB
Unevictable:      108040 kB
Mlocked:          108040 kB
SwapTotal:      67108860 kB
SwapFree:       66927092 kB
Dirty:             20300 kB
Writeback:             0 kB
AnonPages:        486256 kB
Mapped:            54784 kB
Shmem:             32624 kB
Slab:             256516 kB
SReclaimable:     227276 kB
SUnreclaim:        29240 kB
KernelStack:        4160 kB
PageTables:         6484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6208660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56720 MiB
End job on node137 at 2019-09-12 14:34:40