Trace number 4388313

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 21.7113 12.0936

General information on the benchmark

NameLatinSquare/LatinSquare-xcsp2-qcp25/
qcp-25-264-12_X2.xml
MD5SUM0da6a8f2891de305d0b0efc67f372d88
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 benchmark3.28665
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints15000
Number of domains26
Minimum domain size1
Maximum domain size25
Distribution of domain sizes[{"size":1,"count":361},{"size":25,"count":264}]
Minimum variable degree48
Maximum variable degree48
Distribution of variable degrees[{"degree":48,"count":625}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":15000}]
Number of extensional constraints15000
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":15000}]
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-14318-serial-file.bin HOME/instance-4388313-1568298029.xml
0.65/0.53	
0.65/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Thu Sep 12 16:19:46 CEST 2019
0.65/0.56	c PID: 14321
0.65/0.56	c IP: 172.20.3.136
0.65/0.56	c HOST: node136.alineos.net
0.65/0.56	c (0,0) Parsing Begin
3.46/1.57	c (1,1) Parsing End
3.46/1.58	c (1,1) CSP: 597 int (0 aux), 28 bool (0 aux), 10142 ctr, max domain size 25
3.46/1.58	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.46/1.58	c (1,1) Constraint Name Generate Begin
3.78/1.62	c (1,1) Ctr:HOME/instance-4388313-1568298029.xml,ExtensionConflict:Var
3.78/1.62	c (1,1) Constraint Name Generate End
3.78/1.62	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.78/1.62	c (1,1) CSP to CSPinCNF Begin
6.81/2.58	c (2,2) translated 1015 (10%) constraints
9.21/4.12	c (3,3) translated 2029 (20%) constraints
10.65/5.59	c (5,5) translated 3043 (30%) constraints
11.27/6.16	c (5,5) translated 4057 (40%) constraints
11.48/6.25	c (5,5) translated 5071 (50%) constraints
11.66/6.32	c (5,5) translated 6086 (60%) constraints
11.82/6.40	c (5,5) translated 7100 (70%) constraints
11.82/6.47	c (5,5) translated 8114 (80%) constraints
12.07/6.54	c (6,5) translated 9128 (90%) constraints
12.28/6.62	c (6,6) translated 10142 (100%) constraints
12.28/6.62	c (6,6) ===========================================
12.28/6.62	c (6,6) Order
12.28/6.62	c (6,6) ===========================================
12.65/6.80	c (6,6) translated 7087 (10%) constraints
12.80/6.95	c (6,6) translated 14173 (20%) constraints
12.95/7.10	c (6,6) translated 21259 (30%) constraints
13.14/7.25	c (6,6) translated 28345 (40%) constraints
13.24/7.39	c (6,6) translated 35431 (50%) constraints
13.44/7.54	c (7,6) translated 42518 (60%) constraints
13.54/7.70	c (7,7) translated 49604 (70%) constraints
13.74/7.85	c (7,7) translated 56690 (80%) constraints
13.84/8.00	c (7,7) translated 63776 (90%) constraints
14.05/8.13	c (7,7) translated 70862 (100%) constraints
14.05/8.13	c (7,7) CSP to CSPinCNF End
14.05/8.13	c (7,7) CSP: 597 int (0 aux), 28 bool (0 aux), 70862 ctr, max domain size 25
14.05/8.13	c (7,7) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.05/8.13	c (7,7) CSPinCNF Propagation Begin
17.65/10.16	c (9,9) 1815 values, 49152 unsatisfiable literals, and 27346 valid clauses are removed
17.65/10.16	c (9,9) CSPinCNF Propagation End
17.65/10.16	c (9,9) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25
17.65/10.16	c (9,9) Heap : 1318 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.65/10.16	c (9,9) Simplify CSPinCNF Begin
17.89/10.26	c (9,9) Simplify CSPinCNF End
17.89/10.27	c (9,9) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25
17.89/10.27	c (9,9) Heap : 1372 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.89/10.27	c (9,9) Calculate Precise Domain Begin
17.89/10.27	c (9,9) 0 values are removed by re-calculation
17.89/10.27	c (9,9) Calculate Precise Domain End
17.89/10.27	c (9,9) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25
17.89/10.27	c (9,9) Heap : 1372 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.89/10.27	c (9,9) CSPinCNF to SatSolver Begin
18.66/10.50	c (9,9) 4352 (10 %) CSP clauses are encoded (0 SAT variables, 8608 SAT clauses)
18.96/10.60	c (10,9) 8704 (20 %) CSP clauses are encoded (0 SAT variables, 12960 SAT clauses)
18.96/10.68	c (10,10) 13055 (30 %) CSP clauses are encoded (0 SAT variables, 17311 SAT clauses)
19.26/10.75	c (10,10) 17407 (40 %) CSP clauses are encoded (0 SAT variables, 21663 SAT clauses)
19.56/10.81	c (10,10) 21758 (50 %) CSP clauses are encoded (0 SAT variables, 26014 SAT clauses)
19.56/10.86	c (10,10) 26110 (60 %) CSP clauses are encoded (0 SAT variables, 30366 SAT clauses)
19.71/10.90	c (10,10) 30462 (70 %) CSP clauses are encoded (0 SAT variables, 34718 SAT clauses)
19.71/10.95	c (10,10) 34813 (80 %) CSP clauses are encoded (0 SAT variables, 39069 SAT clauses)
19.71/10.99	c (10,10) 39165 (90 %) CSP clauses are encoded (0 SAT variables, 43421 SAT clauses)
19.82/11.02	c (10,10) 43516 (100 %) CSP clauses are encoded (0 SAT variables, 47772 SAT clauses)
19.82/11.02	c (10,10) CSPinCNF to SatSolver End
19.82/11.02	c (10,10) Heap : 1809 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.82/11.02	c (10,10) 4521 bool, 47773 clause
19.82/11.02	c (10,10) Export Begin
20.03/11.14	c (10,10) Export to HOME/scop-14318-serial-file.bin
20.03/11.14	c (10,10) Export End
20.03/11.15	c (10,10) Export File Size: 0.11 MB
20.03/11.15	c (10,10) 1,1,7,9,9,9,10,STOP-AFTER(DIMACS)
20.03/11.15	c END-Prog: Thu Sep 12 16:19:57 CEST 2019
20.03/11.18	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14318-serial-file.bin
20.18/11.64	c (0,0) Read Serial File Begin
20.18/11.64	c (0,0) HOME/scop-14318-serial-file.bin
20.18/11.90	c (0,0) Read Serial File End
20.18/11.91	
20.18/11.91	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
20.18/11.91	(Solving Process)
20.18/11.91	
20.18/11.94	c BEGIN-Prog: Thu Sep 12 16:19:57 CEST 2019
20.18/11.94	c PID: 14336
20.18/11.94	c IP: 172.20.3.136
20.18/11.94	c HOST: node136.alineos.net
20.18/11.94	c (0,0) SatSolver.solve Begin
20.18/11.94	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388313-1568298029.xml-scop-14321.cnf
20.18/11.99	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
20.18/11.99	c (0,0) c glueminisat-simp-2.2.10-193oa-n
20.18/11.99	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388313-1568298029.xml-scop-14321.cnf 
20.18/11.99	c (0,0) c Options:
20.18/11.99	c (0,0) c CORE
20.18/11.99	c (0,0) c  var_decay             = 0.950
20.18/11.99	c (0,0) c  clause_decay          = 0.999
20.18/11.99	c (0,0) c  random_var_freq       = 0.000
20.18/11.99	c (0,0) c  random_seed           = 91648253.000
20.18/11.99	c (0,0) c  luby_restart          = 1
20.18/11.99	c (0,0) c  ccmin_mode            = 2
20.18/11.99	c (0,0) c  phase_saving          = 2
20.18/11.99	c (0,0) c  rnd_pol               = 0
20.18/11.99	c (0,0) c  rnd_init_act          = 0
20.18/11.99	c (0,0) c  garbage_frac          = 0.200
20.18/11.99	c (0,0) c  restart_first         = 1000
20.18/11.99	c (0,0) c  restart_inc           = 2.000
20.18/11.99	c (0,0) c MODEL
20.18/11.99	c (0,0) c  partial_model         = 0
20.18/11.99	c (0,0) c PROPAGATION
20.18/11.99	c (0,0) c  bin_propagation       = 1
20.18/11.99	c (0,0) c SIMPLIFICATION
20.18/11.99	c (0,0) c  lrn_min_size          = 100
20.18/11.99	c (0,0) c  lazy_simp             = 1
20.18/11.99	c (0,0) c  lazy_interval         = 10
20.18/11.99	c (0,0) c  lazy_fld_probing      = 1
20.18/11.99	c (0,0) c  lazy_pol_probing      = 1
20.18/11.99	c (0,0) c  lazy_nec_probing      = 1
20.18/11.99	c (0,0) c  lazy_eqv_probing      = 1
20.18/11.99	c (0,0) c  lazy_cla_probing      = 1
20.18/11.99	c (0,0) c  lazy_lrn_min          = 2
20.18/11.99	c (0,0) c  lazy_uw_lit_elim      = 1
20.18/11.99	c (0,0) c  lazy_pr_lit_elim      = 0
20.18/11.99	c (0,0) c  lazy_bin_add          = 3
20.18/11.99	c (0,0) c  probed_lit_chain      = 1
20.18/11.99	c (0,0) c  pr_min_lits           = 0.00020
20.18/11.99	c (0,0) c  pr_min_starts         = 500
20.18/11.99	c (0,0) c  rw_min_lits           = 0.010
20.18/11.99	c (0,0) c  rw_min_starts         = 500
20.18/11.99	c (0,0) c  rand_attach           = 0
20.18/11.99	c (0,0) c  dec_elim              = 1
20.18/11.99	c (0,0) c  dec_elim_lim          = 25
20.18/11.99	c (0,0) c  dec_elim_len          = -1
20.18/11.99	c (0,0) c  amo                   = 0
20.18/11.99	c (0,0) c  amo_grp               = 1
20.18/11.99	c (0,0) c  amo_max_bins          = 1000000
20.18/11.99	c (0,0) c  amo_starts            = 50
20.18/11.99	c (0,0) c  mace_cmd              = mace
20.18/11.99	c (0,0) c DECISION
20.18/11.99	c (0,0) c  rand_rebuild          = 0
20.18/11.99	c (0,0) c  rand_rebuild_confs    = 10000
20.18/11.99	c (0,0) c  inc_var_decay         = 1
20.18/11.99	c (0,0) c  inc_var_decay_period  = 100000
20.18/11.99	c (0,0) c  inc_var_decay_init    = 0.600
20.18/11.99	c (0,0) c  var_decay_mode        = 0
20.18/11.99	c (0,0) c  var_decay_gain        = 0
20.18/11.99	c (0,0) c  sloped_var_decay      = 1
20.18/11.99	c (0,0) c  max_var_decay         = 0.990
20.18/11.99	c (0,0) c  min_var_decay         = 0.950
20.18/11.99	c (0,0) c  min_var_decay_vars    = 10000
20.18/11.99	c (0,0) c  max_var_decay_vars    = 500
20.18/11.99	c (0,0) c  uip_bumping           = 1
20.18/11.99	c (0,0) c  lbd_act_bumping       = 1
20.18/11.99	c (0,0) c  rand_tiebreak         = 0
20.18/11.99	c (0,0) c  simp_rebuild          = 1
20.18/11.99	c (0,0) c RESTART
20.18/11.99	c (0,0) c  restart_strategy      = 2
20.18/11.99	c (0,0) c  restart_blocking      = 0
20.18/11.99	c (0,0) c  agility_decay         = 0.99990
20.18/11.99	c (0,0) c  lbd_restart_rate      = 0.800
20.18/11.99	c (0,0) c  dec_restart_rate      = 0.950
20.18/11.99	c (0,0) c  blk_restart_rate      = 0.700
20.18/11.99	c (0,0) c  lbd_queue_size        = 50
20.18/11.99	c (0,0) c  dec_queue_size        = 50
20.18/11.99	c (0,0) c  trl_queue_size        = 5000
20.18/11.99	c (0,0) c  blk_restart_weight    = 1.000
20.18/11.99	c (0,0) c  inc_rst_rate          = 0
20.18/11.99	c (0,0) c  inc_rst_rate_period   = 500000
20.18/11.99	c (0,0) c  inc_lbd_rst_rate_init = 0.600
20.18/11.99	c (0,0) c  inc_dec_rst_rate_init = 0.750
20.18/11.99	c (0,0) c REDUCTION
20.18/11.99	c (0,0) c  closed_lbd            = 0
20.18/11.99	c (0,0) c  closed_lbd_rate       = 0.500
20.18/11.99	c (0,0) c  rm_simulate           = 0
20.18/11.99	c (0,0) c  rdb_eval              = 2
20.18/11.99	c (0,0) c  rdb_call              = 3
20.18/11.99	c (0,0) c  rdb_ub                = 0.500
20.18/11.99	c (0,0) c  core_lbd_cvr          = 0.800
20.18/11.99	c (0,0) c  supp_lbd_cvr          = 0.990
20.18/11.99	c (0,0) c  core_lbd_lb           = 2
20.18/11.99	c (0,0) c  supp_lbd_lb           = 2
20.18/11.99	c (0,0) c  core_lbd_prd          = 7
20.18/11.99	c (0,0) c  supp_lbd_prd          = 1
20.18/11.99	c (0,0) c  othr_lbd_prd          = 0
20.18/11.99	c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
20.18/11.99	c (0,0) c  inc_lrn_limit         = 1000
20.18/11.99	c (0,0) c  frozen_lbd            = 30
20.18/11.99	c (0,0) c  simp_min_starts       = 100
20.18/11.99	c (0,0) c  rm_low_act_learnts    = 1
20.18/11.99	c (0,0) c  lv0_reduce_db         = 0
20.18/11.99	c (0,0) c  reduce_db_base        = 20000
20.18/11.99	c (0,0) c  reduce_db_inc         = 1000
20.18/11.99	c (0,0) c HARD
20.18/11.99	c (0,0) c  inst_check            = 200000
20.18/11.99	c (0,0) c  small_block           = 1.750
20.18/11.99	c (0,0) c  slow_restart_speed    = 400.000
20.18/11.99	c (0,0) c  slow_restart_strategy = 3
20.18/11.99	c (0,0) c  slow_lbd_restart_rate = 0.700
20.18/11.99	c (0,0) c  slow_dec_restart_rate = 1.000
20.18/11.99	c (0,0) c  slow_lbd_queue_size   = 50
20.18/11.99	c (0,0) c  slow_var_decay        = 0.950
20.18/11.99	c (0,0) c  slow_glue_threshold   = 2
20.18/11.99	c (0,0) c  slow_phase_saving     = 2
20.18/11.99	c (0,0) c  fast_restart_speed    = 125.000
20.18/11.99	c (0,0) c  fast_restart_strategy = 1
20.18/11.99	c (0,0) c  fast_lbd_restart_rate = 0.800
20.18/11.99	c (0,0) c  fast_dec_restart_rate = 0.950
20.18/11.99	c (0,0) c  fast_lbd_queue_size   = 50
20.18/11.99	c (0,0) c  fast_var_decay        = 1.000
20.18/11.99	c (0,0) c  fast_glue_threshold   = 2
20.18/11.99	c (0,0) c  fast_phase_saving     = 2
20.18/11.99	c (0,0) c STATS
20.18/11.99	c (0,0) c  stats_conf_size       = 10000
20.18/11.99	c (0,0) c  max_stats_size        = 30
20.18/11.99	c (0,0) c SOLVER
20.18/11.99	c (0,0) c  minisat               = 0
20.18/11.99	c (0,0) c Problem: 4522 variables, 47773 clauses, parsing 0.02 s
21.55/12.02	c (0,0) c  reduced to 984 variables, 6171 clauses (grow = 0)
21.55/12.02	c (0,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
21.55/12.02	c (0,0) c Simplification: 3538 vars, 41602 clauses are eliminated using 0.04 s
21.55/12.02	c (0,0) c
21.55/12.02	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
21.55/12.02	c (0,0) c
21.55/12.02	c (0,0) c    0         0         0      984     6171        0   -nan  -nan  -nan -nan%
21.55/12.02	c (0,0) c    0         1       100      984     6171      100    8.8   5.0  29.9 19.1%
21.55/12.03	c (0,0) c    0         1       220      984     6171      220    9.6   4.7  30.2 21.2%
21.55/12.03	c (0,0) c    0         1       364      984     6171      364    9.1   4.4  26.2 18.5%
21.55/12.03	c (0,0) c    0         1       536      984     6171      536    8.7   4.3  23.0 16.5%
21.55/12.03	c (0,0) c    0         1       743      984     6171      743    8.8   4.2  20.5 14.8%
21.55/12.04	c (0,0) c    0         1       991      984     6171      991    8.5   4.1  19.0 13.9%
21.55/12.04	c (0,0) c    0         1      1289      984     6171     1289    8.3   4.0  16.8 12.9%
21.55/12.05	c (0,0) c    0         2      1647      984     6171     1647    8.3   4.1  16.3 12.7%
21.55/12.05	c (0,0) c    0         3      2076      984     6171     2076    8.2   4.1  15.7 11.8%
21.55/12.06	c (0,0) c    0         3      2591      929     6171     2590    8.0   3.9  14.2 10.8%
21.55/12.06	c (0,0) c    0         3      2620      838     6171     2614    7.9   3.9  14.1 10.7%
21.55/12.06	c (0,0) c
21.55/12.06	c (0,0) c
21.55/12.06	c (0,0) c variables         : 838         (init 4522, after simp 984, 0 non-decs, 263 csp)
21.55/12.06	c (0,0) c clauses           : 6171        (init 47773, after simp 6171)
21.55/12.06	c (0,0) c restarts          : 2           (873.33 confs/res, 421~1339 confs, 0 blks, 0 last)
21.55/12.06	c (0,0) c conflicts         : 2620        (28364 /sec, 52.37% dconfs, 0.00% supp, trail 36.99w x 14.12h, jmp 1.38h)
21.55/12.06	c (0,0) c decisions         : 3636        (0.6100 vdcy, 39363 /sec, 0.00% bin, rs 0.000 s)
21.55/12.06	c (0,0) c propagations      : 209826      (2271532 /sec, 57.71 lits/dec, 88.41% o.a.)
21.55/12.06	c (0,0) c conflict literals : 24055       (12.81% deleted; 0.98% by bin min, 0.001 s)
21.55/12.06	c (0,0) c len               : 7.932       (7.92 for all, max 33, used 27)
21.55/12.06	c (0,0) c lbd               : 3.885       (5.19 (3.88) for all, max 15, used 15, 1.328 stdev, 1.525 blk)
21.55/12.06	c (0,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
21.55/12.06	c (0,0) c simp dbs          : 1           (0.000 s)
21.55/12.06	c (0,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
21.55/12.06	c (0,0) c learnts           : 2614        (0 learnts removed, 0.00%)
21.55/12.06	c (0,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
21.55/12.06	c (0,0) c assigned lits     : 0           (0/0 probed, 0 remains)
21.55/12.06	c (0,0) c premise updates   : 0           (0.00 /lit)
21.55/12.06	c (0,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
21.55/12.06	c (0,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
21.55/12.06	c (0,0) c lazy added bins   : 1           (1 prop + 0 conf, 0.001s)
21.55/12.06	c (0,0) c unwatched lit elim: 154         (0.06+0.59%, 11+143 of 18750+24055)
21.55/12.06	c (0,0) c classified type   : undef
21.55/12.06	c (0,0) c progress          : 14.837%
21.55/12.06	c (0,0) c
21.55/12.06	c (0,0) c [Statistics]
21.55/12.06	c (0,0) c             learnts len        learnts lbd        lit blk size       eq vars size
21.55/12.06	c (0,0) c  tot        2619               2619              13598                  0
21.55/12.06	c (0,0) c  avg       7.918              3.879              1.525               -nan
21.55/12.06	c (0,0) c   1            6 ( 0.2%)         32 ( 1.2%)       9461 (69.6%)          0 (-nan%)
21.55/12.06	c (0,0) c   2           25 ( 1.0%)        698 (26.7%)       2378 (17.5%)          0 (-nan%)
21.55/12.06	c (0,0) c   3           87 ( 3.3%)        520 (19.9%)       1002 ( 7.4%)          0 (-nan%)
21.55/12.06	c (0,0) c   4          167 ( 6.4%)        502 (19.2%)        446 ( 3.3%)          0 (-nan%)
21.55/12.06	c (0,0) c   5          255 ( 9.7%)        431 (16.5%)        188 ( 1.4%)          0 (-nan%)
21.55/12.06	c (0,0) c   6          322 (12.3%)        215 ( 8.2%)         94 ( 0.7%)          0 (-nan%)
21.55/12.06	c (0,0) c   7          347 (13.2%)        128 ( 4.9%)         16 ( 0.1%)          0 (-nan%)
21.55/12.06	c (0,0) c   8          355 (13.6%)         53 ( 2.0%)          7 ( 0.1%)          0 (-nan%)
21.55/12.06	c (0,0) c   9          365 (13.9%)         21 ( 0.8%)          3 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  10          291 (11.1%)         11 ( 0.4%)          2 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  11          175 ( 6.7%)          2 ( 0.1%)          0 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  12           95 ( 3.6%)          3 ( 0.1%)          1 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  13           44 ( 1.7%)          2 ( 0.1%)          0 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  14           29 ( 1.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  15           20 ( 0.8%)          1 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  16            9 ( 0.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  17            4 ( 0.2%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  18            4 ( 0.2%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  19            1 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  20            4 ( 0.2%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  21            3 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.06	c (0,0) c  22            2 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.07	c (0,0) c  23            1 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.07	c (0,0) c  24            1 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.07	c (0,0) c  25            1 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.07	c (0,0) c  26            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.07	c (0,0) c  27            2 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.07	c (0,0) c  28            1 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.07	c (0,0) c  29            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.07	c (0,0) c  30            3 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
21.55/12.07	c (0,0) c
21.55/12.07	c (0,0) c [LBD Statistics]
21.55/12.07	c (0,0) c LBD          used lbd               used clause lbd         unused clause lbd
21.55/12.07	c (0,0) c  tot         9328                    1508                    1106
21.55/12.07	c (0,0) c  avg        2.791                   3.267                   4.727
21.55/12.07	c (0,0) c    1          286 ( 3.1/ 3.1%)         26 ( 1.7/ 1.7%)          0 ( 0.0/ 0.0%)
21.55/12.07	c (0,0) c    2         5318 (57.0/60.1%)        590 (39.1/40.8%)        109 ( 9.9/ 9.9%)
21.55/12.07	c (0,0) c    3         1621 (17.4/77.5%)        349 (23.1/64.0%)        171 (15.5/25.3%)
21.55/12.07	c (0,0) c    4         1074 (11.5/89.0%)        259 (17.2/81.2%)        243 (22.0/47.3%)
21.55/12.07	c (0,0) c    5          576 ( 6.2/95.1%)        158 (10.5/91.6%)        273 (24.7/72.0%)
21.55/12.07	c (0,0) c    6          232 ( 2.5/97.6%)         64 ( 4.2/95.9%)        151 (13.7/85.6%)
21.55/12.07	c (0,0) c    7          145 ( 1.6/99.2%)         45 ( 3.0/98.9%)         83 ( 7.5/93.1%)
21.55/12.07	c (0,0) c    8           45 ( 0.5/99.7%)         12 ( 0.8/99.7%)         41 ( 3.7/96.8%)
21.55/12.07	c (0,0) c    9           19 ( 0.2/99.9%)          2 ( 0.1/99.8%)         19 ( 1.7/98.6%)
21.55/12.07	c (0,0) c   10            6 ( 0.1/99.9%)          1 ( 0.1/99.9%)         10 ( 0.9/99.5%)
21.55/12.07	c (0,0) c   11            4 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.2/99.6%)
21.55/12.07	c (0,0) c   12            0 ( 0.0/100.0%)          1 ( 0.1/99.9%)          2 ( 0.2/99.8%)
21.55/12.07	c (0,0) c   13            1 ( 0.0/100.0%)          1 ( 0.1/100.0%)          1 ( 0.1/99.9%)
21.55/12.07	c (0,0) c   14            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
21.55/12.07	c (0,0) c   15            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/100.0%)
21.55/12.07	c (0,0) c
21.55/12.07	c (0,0) c Memory used       : 24.00 MB
21.55/12.07	c (0,0) c CPU time          : 0.093 s
21.55/12.07	c (0,0) c Real time         : 0.100 s
21.55/12.07	c (0,0) c
21.55/12.07	c (0,0) s UNSATISFIABLE
21.55/12.07	c (0,0) SatSolver.solve End
21.55/12.07	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.55/12.07	c (0,0) Show results Begin
21.55/12.07	s UNSATISFIABLE
21.55/12.07	c (0,0) Show results End
21.55/12.07	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.55/12.07	c (0,0) 0,0,STOP-AFTER(ALL)
21.55/12.07	c END-Prog: Thu Sep 12 16:19:57 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 (9288 MiB free)
  memory of node 1: 16384 MiB (11319 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388313-1568298029/watcher-4388313-1568298029 -o /tmp/evaluation-result-4388313-1568298029/solver-4388313-1568298029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568289646-11936 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388313-1568298029.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=14318, runsolver pid=14315

[startup+0.100061 s]*
/proc/loadavg: 2.28 2.08 2.09 3/234 14335
/proc/meminfo: memFree=21040836/32770624 swapFree=67003116/67108860
[pid=14318] ppid=14315 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14318/stat : 14318 (scop.sh) S 14315 14318 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406051604 115843072 349 33554432000 4194304 5098028 140732313609856 140732313607112 139660952748668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25387008 140732313617192 140732313617520 140732313617520 140732313620429 0
/proc/14318/statm: 28282 349 296 221 0 87 0
[pid=14321] ppid=14318 vsize=15013720 memory=75104 CPUtime=0.11 cores=0,2,4,6
/proc/14321/stat : 14321 (java) S 14318 14318 11905 0 -1 1077944320 6995 0 0 0 9 2 0 0 20 0 15 0 406051604 15374049280 18776 33554432000 4194304 4196468 140725332910448 140725332892992 139997972201207 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
/proc/14321/statm: 3753430 18776 2919 1 0 3715835 0
[pid=14321/tid=14322] ppid=14318 vsize=15013720 memory=-6149239525118099393 CPUtime=0.09 cores=0,2,4,6
/proc/14321/task/14322/stat : 14322 (java) R 14318 14318 11905 0 -1 4202560 4773 0 0 0 7 2 0 0 20 0 15 0 406051604 15374049280 18776 33554432000 4194304 4196468 140725332910448 139997943985456 139997964880925 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14323] ppid=14318 vsize=15013720 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14323/stat : 14323 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15374049280 18776 33554432000 4194304 4196468 140725332910448 139997976443920 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14324] ppid=14318 vsize=15013720 memory=140272130467456 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14324/stat : 14324 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15374049280 18776 33554432000 4194304 4196468 140725332910448 139997752147088 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14325] ppid=14318 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14325/stat : 14325 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15375032320 18776 33554432000 4194304 4196468 140725332910448 139997751094032 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14326] ppid=14318 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14326/stat : 14326 (java) S 14318 14318 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406051606 15375032320 18842 33554432000 4194304 4196468 140725332910448 139997750041488 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14327] ppid=14318 vsize=15014680 memory=140272130467456 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14327/stat : 14327 (java) S 14318 14318 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406051607 15375032320 18842 33554432000 4194304 4196468 140725332910448 139997311740144 139997972212354 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14328] ppid=14318 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14328/stat : 14328 (java) S 14318 14318 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406051608 15375032320 18842 33554432000 4194304 4196468 140725332910448 139996606489760 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14329] ppid=14318 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14329/stat : 14329 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051608 15375032320 18842 33554432000 4194304 4196468 140725332910448 139996338053872 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14330] ppid=14318 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14330/stat : 14330 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15375032320 18908 33554432000 4194304 4196468 140725332910448 139995963545552 139997972219803 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14331] ppid=14318 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14331/stat : 14331 (java) S 14318 14318 11905 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 406051611 15375032320 18908 33554432000 4194304 4196468 140725332910448 139997310687984 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14332] ppid=14318 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14332/stat : 14332 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15375032320 18908 33554432000 4194304 4196468 140725332910448 139997309635440 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14333] ppid=14318 vsize=15014680 memory=140272130467456 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14333/stat : 14333 (java) S 14318 14318 11905 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 406051611 15375032320 18908 33554432000 4194304 4196468 140725332910448 139997308582384 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14334] ppid=14318 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14334/stat : 14334 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15375032320 18908 33554432000 4194304 4196468 140725332910448 139995465640800 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14335] ppid=14318 vsize=15014680 memory=140272130467456 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14335/stat : 14335 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051611 15375032320 18908 33554432000 4194304 4196468 140725332910448 139997307529776 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 76500 KiB

[startup+0.210889 s]*
/proc/loadavg: 2.28 2.08 2.09 3/234 14335
/proc/meminfo: memFree=21024628/32770624 swapFree=67003116/67108860
[pid=14318] ppid=14315 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14318/stat : 14318 (scop.sh) S 14315 14318 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406051604 115843072 349 33554432000 4194304 5098028 140732313609856 140732313607112 139660952748668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25387008 140732313617192 140732313617520 140732313617520 140732313620429 0
/proc/14318/statm: 28282 349 296 221 0 87 0
[pid=14321] ppid=14318 vsize=15012696 memory=86748 CPUtime=0.26 cores=0,2,4,6
/proc/14321/stat : 14321 (java) S 14318 14318 11905 0 -1 1077944320 11257 0 0 0 22 4 0 0 20 0 15 0 406051604 15373000704 21687 33554432000 4194304 4196468 140725332910448 140725332892992 139997972201207 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
/proc/14321/statm: 3753174 21687 2922 1 0 3715579 0
[pid=14321/tid=14322] ppid=14318 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/14321/task/14322/stat : 14322 (java) R 14318 14318 11905 0 -1 4202560 8971 0 0 0 17 3 0 0 20 0 15 0 406051604 15373000704 21687 33554432000 4194304 4196468 140725332910448 139997944008768 139997972223133 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14323] ppid=14318 vsize=15012696 memory=399 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14323/stat : 14323 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15373000704 21687 33554432000 4194304 4196468 140725332910448 139997976443920 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14324] ppid=14318 vsize=15012696 memory=140272130481417 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14324/stat : 14324 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15373000704 21687 33554432000 4194304 4196468 140725332910448 139997752147088 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14325] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14325/stat : 14325 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15373000704 21752 33554432000 4194304 4196468 140725332910448 139997751094032 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14326] ppid=14318 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14326/stat : 14326 (java) S 14318 14318 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406051606 15373000704 21752 33554432000 4194304 4196468 140725332910448 139997750041488 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14327] ppid=14318 vsize=15012696 memory=140272130467456 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14327/stat : 14327 (java) S 14318 14318 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406051607 15373000704 21752 33554432000 4194304 4196468 140725332910448 139997311740144 139997972212354 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14328] ppid=14318 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14328/stat : 14328 (java) S 14318 14318 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406051608 15373000704 21752 33554432000 4194304 4196468 140725332910448 139996606489760 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14329] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14329/stat : 14329 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051608 15373000704 21752 33554432000 4194304 4196468 140725332910448 139996338053872 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14330] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14330/stat : 14330 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15373000704 21752 33554432000 4194304 4196468 140725332910448 139995963545552 139997972219803 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14331] ppid=14318 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14321/task/14331/stat : 14331 (java) S 14318 14318 11905 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 15 0 406051611 15373000704 21752 33554432000 4194304 4196468 140725332910448 139997310687984 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14332] ppid=14318 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14332/stat : 14332 (java) S 14318 14318 11905 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 406051611 15373000704 21752 33554432000 4194304 4196468 140725332910448 139997309635440 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14333] ppid=14318 vsize=15012696 memory=140272130467456 CPUtime=0.02 cores=0,2,4,6
/proc/14321/task/14333/stat : 14333 (java) S 14318 14318 11905 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 15 0 406051611 15373000704 21752 33554432000 4194304 4196468 140725332910448 139997308582384 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14334] ppid=14318 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14334/stat : 14334 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15373000704 21752 33554432000 4194304 4196468 140725332910448 139995465640800 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14335] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14335/stat : 14335 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051611 15373000704 21752 33554432000 4194304 4196468 140725332910448 139997307529776 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88144 KiB

[startup+0.311051 s]*
/proc/loadavg: 2.28 2.08 2.09 4/234 14335
/proc/meminfo: memFree=21022148/32770624 swapFree=67003116/67108860
[pid=14318] ppid=14315 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14318/stat : 14318 (scop.sh) S 14315 14318 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406051604 115843072 349 33554432000 4194304 5098028 140732313609856 140732313607112 139660952748668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25387008 140732313617192 140732313617520 140732313617520 140732313620429 0
/proc/14318/statm: 28282 349 296 221 0 87 0
[pid=14321] ppid=14318 vsize=15012696 memory=90692 CPUtime=0.43 cores=0,2,4,6
/proc/14321/stat : 14321 (java) S 14318 14318 11905 0 -1 1077944320 12184 0 0 0 38 5 0 0 20 0 15 0 406051604 15373000704 22673 33554432000 4194304 4196468 140725332910448 140725332892992 139997972201207 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
/proc/14321/statm: 3753174 22673 3073 1 0 3715579 0
[pid=14321/tid=14322] ppid=14318 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=0,2,4,6
/proc/14321/task/14322/stat : 14322 (java) R 14318 14318 11905 0 -1 4202560 9719 0 0 0 26 3 0 0 20 0 15 0 406051604 15373000704 22673 33554432000 4194304 4196468 140725332910448 139997943991840 139997953764767 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14323] ppid=14318 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14323/stat : 14323 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15373000704 22673 33554432000 4194304 4196468 140725332910448 139997976443920 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14324] ppid=14318 vsize=15012696 memory=3617297809147178945 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14324/stat : 14324 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15373000704 22673 33554432000 4194304 4196468 140725332910448 139997752147088 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14325] ppid=14318 vsize=15012696 memory=280544042842480 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14325/stat : 14325 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15373000704 22673 33554432000 4194304 4196468 140725332910448 139997751094032 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14326] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14326/stat : 14326 (java) S 14318 14318 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406051606 15373000704 22673 33554432000 4194304 4196468 140725332910448 139997750041488 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14327] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14327/stat : 14327 (java) S 14318 14318 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406051607 15373000704 22673 33554432000 4194304 4196468 140725332910448 139997311740144 139997972212354 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14328] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14328/stat : 14328 (java) S 14318 14318 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406051608 15373000704 22673 33554432000 4194304 4196468 140725332910448 139996606489760 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14329] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14329/stat : 14329 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051608 15373000704 22673 33554432000 4194304 4196468 140725332910448 139996338053872 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14330] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14330/stat : 14330 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15373000704 22673 33554432000 4194304 4196468 140725332910448 139995963545552 139997972219803 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14331] ppid=14318 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14321/task/14331/stat : 14331 (java) S 14318 14318 11905 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 15 0 406051611 15373000704 22673 33554432000 4194304 4196468 140725332910448 139997310687984 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14332] ppid=14318 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14321/task/14332/stat : 14332 (java) S 14318 14318 11905 0 -1 1077944384 151 0 0 0 3 0 0 0 20 0 15 0 406051611 15373000704 22673 33554432000 4194304 4196468 140725332910448 139997309635440 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14333] ppid=14318 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14321/task/14333/stat : 14333 (java) S 14318 14318 11905 0 -1 1077944384 502 0 0 0 7 0 0 0 20 0 15 0 406051611 15373000704 22673 33554432000 4194304 4196468 140725332910448 139997308582384 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14334] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14334/stat : 14334 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15373000704 22673 33554432000 4194304 4196468 140725332910448 139995465640800 139997972211413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14335] ppid=14318 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14335/stat : 14335 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051611 15373000704 22673 33554432000 4194304 4196468 140725332910448 139997307529776 139997972212354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92088 KiB

[startup+0.702969 s]
/proc/loadavg: 2.28 2.08 2.09 3/234 14335
/proc/meminfo: memFree=20998956/32770624 swapFree=67003116/67108860
[pid=14318] ppid=14315 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14318/stat : 14318 (scop.sh) S 14315 14318 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406051604 115843072 349 33554432000 4194304 5098028 140732313609856 140732313607112 139660952748668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25387008 140732313617192 140732313617520 140732313617520 140732313620429 0
/proc/14318/statm: 28282 349 296 221 0 87 0
[pid=14321] ppid=14318 vsize=15018968 memory=127700 CPUtime=1.03 cores=0,2,4,6
/proc/14321/stat : 14321 (java) S 14318 14318 11905 0 -1 1077944320 19662 0 0 0 96 7 0 0 20 0 15 0 406051604 15379423232 31925 33554432000 4194304 4196468 140725332910448 140725332892992 139997972201207 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
/proc/14321/statm: 3754742 31925 3183 1 0 3716091 0
[pid=14321/tid=14322] ppid=14318 vsize=15018968 memory=776 CPUtime=0.67 cores=0,2,4,6
/proc/14321/task/14322/stat : 14322 (java) R 14318 14318 11905 0 -1 4202560 16663 0 0 0 62 5 0 0 20 0 15 0 406051604 15379423232 31925 33554432000 4194304 4196468 140725332910448 139997944031376 139997430966976 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14323] ppid=14318 vsize=15018968 memory=3936 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14323/stat : 14323 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15379423232 31925 33554432000 4194304 4196468 140725332910448 139997976443920 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14324] ppid=14318 vsize=15018968 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14324/stat : 14324 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15379423232 31925 33554432000 4194304 4196468 140725332910448 139997752147088 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14325] ppid=14318 vsize=15018968 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14325/stat : 14325 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15379423232 31925 33554432000 4194304 4196468 140725332910448 139997751094032 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14326] ppid=14318 vsize=15018968 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14326/stat : 14326 (java) S 14318 14318 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406051606 15379423232 31925 33554432000 4194304 4196468 140725332910448 139997750041488 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14327] ppid=14318 vsize=15018968 memory=5840 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14327/stat : 14327 (java) S 14318 14318 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406051607 15379423232 31925 33554432000 4194304 4196468 140725332910448 139997311740144 139997972212354 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14328] ppid=14318 vsize=15018968 memory=636 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14328/stat : 14328 (java) S 14318 14318 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406051608 15379423232 31925 33554432000 4194304 4196468 140725332910448 139996606489760 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14329] ppid=14318 vsize=15018968 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14329/stat : 14329 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051608 15379423232 31925 33554432000 4194304 4196468 140725332910448 139996338053872 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14330] ppid=14318 vsize=15018968 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14330/stat : 14330 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15379423232 31925 33554432000 4194304 4196468 140725332910448 139995963545552 139997972219803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14331] ppid=14318 vsize=15018968 memory=1568 CPUtime=0.07 cores=0,2,4,6
/proc/14321/task/14331/stat : 14331 (java) R 14318 14318 11905 0 -1 4202560 670 0 0 0 7 0 0 0 20 0 15 0 406051611 15379423232 31925 33554432000 4194304 4196468 140725332910448 139997310687984 139997957568411 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14332] ppid=14318 vsize=15018968 memory=1040 CPUtime=0.09 cores=0,2,4,6
/proc/14321/task/14332/stat : 14332 (java) S 14318 14318 11905 0 -1 1077944384 375 0 0 0 9 0 0 0 20 0 15 0 406051611 15379423232 31925 33554432000 4194304 4196468 140725332910448 139997309635440 139997972212354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14333] ppid=14318 vsize=15018968 memory=14008 CPUtime=0.15 cores=0,2,4,6
/proc/14321/task/14333/stat : 14333 (java) R 14318 14318 11905 0 -1 4202560 619 0 0 0 15 0 0 0 20 0 15 0 406051611 15379423232 31925 33554432000 4194304 4196468 140725332910448 139997308582384 139997951146856 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14334] ppid=14318 vsize=15018968 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14334/stat : 14334 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15379423232 31925 33554432000 4194304 4196468 140725332910448 139995465640800 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14335] ppid=14318 vsize=15018968 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14335/stat : 14335 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051611 15379423232 31925 33554432000 4194304 4196468 140725332910448 139997307529776 139997972212354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 129096 KiB

[startup+1.5008 s]
/proc/loadavg: 2.41 2.11 2.10 5/234 14335
/proc/meminfo: memFree=20949092/32770624 swapFree=67003116/67108860
[pid=14318] ppid=14315 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14318/stat : 14318 (scop.sh) S 14315 14318 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406051604 115843072 349 33554432000 4194304 5098028 140732313609856 140732313607112 139660952748668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25387008 140732313617192 140732313617520 140732313617520 140732313620429 0
/proc/14318/statm: 28282 349 296 221 0 87 0

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

# cumulated CPU time of all completed processes:  user=20.8932 s, system=0.818131 s

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

[startup+6.40096 s]
/proc/loadavg: 2.38 2.11 2.10 3/234 14335
/proc/meminfo: memFree=19217152/32770624 swapFree=67003116/67108860
[pid=14318] ppid=14315 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14318/stat : 14318 (scop.sh) S 14315 14318 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406051604 115843072 349 33554432000 4194304 5098028 140732313609856 140732313607112 139660952748668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25387008 140732313617192 140732313617520 140732313617520 140732313620429 0
/proc/14318/statm: 28282 349 296 221 0 87 0
[pid=14321] ppid=14318 vsize=15025188 memory=2028088 CPUtime=11.82 cores=0,2,4,6
/proc/14321/stat : 14321 (java) S 14318 14318 11905 0 -1 1077944320 30948 0 0 0 1141 41 0 0 20 0 15 0 406051604 15385792512 507022 33554432000 4194304 4196468 140725332910448 140725332892992 139997972201207 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
/proc/14321/statm: 3756297 507022 3265 1 0 3717627 0
[pid=14321/tid=14322] ppid=14318 vsize=15025188 memory=14315 CPUtime=6.36 cores=0,2,4,6
/proc/14321/task/14322/stat : 14322 (java) R 14318 14318 11905 0 -1 4202560 20914 0 0 0 598 38 0 0 20 0 15 0 406051604 15385792512 507022 33554432000 4194304 4196468 140725332910448 139997944033248 139997437814985 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14323] ppid=14318 vsize=15025188 memory=4640467252704989264 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14323/stat : 14323 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15385792512 507022 33554432000 4194304 4196468 140725332910448 139997976443920 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14324] ppid=14318 vsize=15025188 memory=1803684 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14324/stat : 14324 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15385792512 507022 33554432000 4194304 4196468 140725332910448 139997752147088 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14325] ppid=14318 vsize=15025188 memory=906660 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14325/stat : 14325 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051606 15385792512 507022 33554432000 4194304 4196468 140725332910448 139997751094032 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14326] ppid=14318 vsize=15025188 memory=280544043039168 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14326/stat : 14326 (java) S 14318 14318 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406051606 15385792512 507022 33554432000 4194304 4196468 140725332910448 139997750041488 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14327] ppid=14318 vsize=15025188 memory=63684164455146 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14327/stat : 14327 (java) S 14318 14318 11905 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 406051607 15385792512 507022 33554432000 4194304 4196468 140725332910448 139997311740144 139997972212354 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14328] ppid=14318 vsize=15025188 memory=280544043140392 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14328/stat : 14328 (java) S 14318 14318 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406051608 15385792512 507022 33554432000 4194304 4196468 140725332910448 139996606489760 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14329] ppid=14318 vsize=15025188 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14329/stat : 14329 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406051608 15385792512 507022 33554432000 4194304 4196468 140725332910448 139996338053872 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14330] ppid=14318 vsize=15025188 memory=20344 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14330/stat : 14330 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15385792512 507022 33554432000 4194304 4196468 140725332910448 139995963545552 139997972219803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14331] ppid=14318 vsize=15025188 memory=1556 CPUtime=2.2 cores=0,2,4,6
/proc/14321/task/14331/stat : 14331 (java) R 14318 14318 11905 0 -1 4202560 4240 0 0 0 219 1 0 0 20 0 15 0 406051611 15385792512 507022 33554432000 4194304 4196468 140725332910448 139997310687984 139997956309392 0 4 2 25189581 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14332] ppid=14318 vsize=15025188 memory=0 CPUtime=2.29 cores=0,2,4,6
/proc/14321/task/14332/stat : 14332 (java) R 14318 14318 11905 0 -1 4202560 1969 0 0 0 229 0 0 0 20 0 15 0 406051611 15385792512 507022 33554432000 4194304 4196468 140725332910448 139997309622432 139997951855152 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14333] ppid=14318 vsize=15025188 memory=1396 CPUtime=0.94 cores=0,2,4,6
/proc/14321/task/14333/stat : 14333 (java) S 14318 14318 11905 0 -1 1077944384 2487 0 0 0 93 1 0 0 20 0 15 0 406051611 15385792512 507022 33554432000 4194304 4196468 140725332910448 139997308582384 139997972212354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14334] ppid=14318 vsize=15025188 memory=1531300 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14334/stat : 14334 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15385792512 507534 33554432000 4194304 4196468 140725332910448 139995465640800 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14335] ppid=14318 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14335/stat : 14335 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15385792512 507534 33554432000 4194304 4196468 140725332910448 139997307529776 139997972212354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
Current children cumulated CPU time: 11.82 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 2029484 KiB

[startup+9.60086 s]
/proc/loadavg: 2.38 2.11 2.10 3/234 14335
/proc/meminfo: memFree=18011276/32770624 swapFree=67003116/67108860
[pid=14318] ppid=14315 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14318/stat : 14318 (scop.sh) S 14315 14318 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406051604 115843072 349 33554432000 4194304 5098028 140732313609856 140732313607112 139660952748668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25387008 140732313617192 140732313617520 140732313617520 140732313620429 0
/proc/14318/statm: 28282 349 296 221 0 87 0
[pid=14321] ppid=14318 vsize=15025188 memory=3097768 CPUtime=17.01 cores=0,2,4,6
/proc/14321/stat : 14321 (java) S 14318 14318 11905 0 -1 1077944320 34780 0 0 0 1634 67 0 0 20 0 15 0 406051604 15385792512 774442 33554432000 4194304 4196468 140725332910448 140725332892992 139997972201207 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
/proc/14321/statm: 3756297 774442 3269 1 0 3717627 0
[pid=14321/tid=14322] ppid=14318 vsize=15025188 memory=776 CPUtime=9.43 cores=0,2,4,6
/proc/14321/task/14322/stat : 14322 (java) R 14318 14318 11905 0 -1 4202560 21896 0 0 0 891 52 0 0 20 0 15 0 406051604 15385792512 774442 33554432000 4194304 4196468 140725332910448 139997944036768 139997440051012 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14323] ppid=14318 vsize=15025188 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/14321/task/14323/stat : 14323 (java) S 14318 14318 11905 0 -1 1077944384 52 0 0 0 8 2 0 0 20 0 15 0 406051606 15385792512 774442 33554432000 4194304 4196468 140725332910448 139997976443920 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14324] ppid=14318 vsize=15025188 memory=10 CPUtime=0.1 cores=0,2,4,6
/proc/14321/task/14324/stat : 14324 (java) S 14318 14318 11905 0 -1 1077944384 62 0 0 0 8 2 0 0 20 0 15 0 406051606 15385792512 774442 33554432000 4194304 4196468 140725332910448 139997752147088 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14325] ppid=14318 vsize=15025188 memory=1969 CPUtime=0.1 cores=0,2,4,6
/proc/14321/task/14325/stat : 14325 (java) S 14318 14318 11905 0 -1 1077944384 84 0 0 0 8 2 0 0 20 0 15 0 406051606 15385792512 774442 33554432000 4194304 4196468 140725332910448 139997751094032 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14326] ppid=14318 vsize=15025188 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/14321/task/14326/stat : 14326 (java) S 14318 14318 11905 0 -1 1077944384 47 0 0 0 8 2 0 0 20 0 15 0 406051606 15385792512 774442 33554432000 4194304 4196468 140725332910448 139997750041488 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14327] ppid=14318 vsize=15025188 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14327/stat : 14327 (java) S 14318 14318 11905 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 406051607 15385792512 774442 33554432000 4194304 4196468 140725332910448 139997311740144 139997972212354 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14328] ppid=14318 vsize=15025188 memory=2845052 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14328/stat : 14328 (java) S 14318 14318 11905 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 406051608 15385792512 774442 33554432000 4194304 4196468 140725332910448 139996606489824 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14329] ppid=14318 vsize=15025188 memory=988 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14329/stat : 14329 (java) S 14318 14318 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406051608 15385792512 774442 33554432000 4194304 4196468 140725332910448 139996338053888 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14330] ppid=14318 vsize=15025188 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14330/stat : 14330 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15385792512 774442 33554432000 4194304 4196468 140725332910448 139995963545552 139997972219803 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14331] ppid=14318 vsize=15025188 memory=2161324 CPUtime=2.9 cores=0,2,4,6
/proc/14321/task/14331/stat : 14331 (java) S 14318 14318 11905 0 -1 1077944384 5281 0 0 0 289 1 0 0 20 0 15 0 406051611 15385792512 774442 33554432000 4194304 4196468 140725332910448 139997310687984 139997972212354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14332] ppid=14318 vsize=15025188 memory=1396 CPUtime=3.14 cores=0,2,4,6
/proc/14321/task/14332/stat : 14332 (java) S 14318 14318 11905 0 -1 1077944384 3362 0 0 0 313 1 0 0 20 0 15 0 406051611 15385792512 774442 33554432000 4194304 4196468 140725332910448 139997309635440 139997972212354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14333] ppid=14318 vsize=15025188 memory=1349028 CPUtime=1.04 cores=0,2,4,6
/proc/14321/task/14333/stat : 14333 (java) S 14318 14318 11905 0 -1 1077944384 2643 0 0 0 103 1 0 0 20 0 15 0 406051611 15385792512 774442 33554432000 4194304 4196468 140725332910448 139997308582384 139997972212354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14334] ppid=14318 vsize=15025188 memory=37544 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14334/stat : 14334 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15385792512 774442 33554432000 4194304 4196468 140725332910448 139995465640800 139997972211413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
[pid=14321/tid=14335] ppid=14318 vsize=15025188 memory=988 CPUtime=0 cores=0,2,4,6
/proc/14321/task/14335/stat : 14335 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406051611 15385792512 774442 33554432000 4194304 4196468 140725332910448 139997307529776 139997972212354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 36335616 140725332914926 140725332915354 140725332915354 140725332918223 0
Current children cumulated CPU time: 17.01 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 3099164 KiB

[startup+11.2008 s]
/proc/loadavg: 2.35 2.11 2.10 3/234 14335
/proc/meminfo: memFree=18007960/32770624 swapFree=67003116/67108860
[pid=14318] ppid=14315 vsize=113128 memory=1476 CPUtime=20.18 cores=0,2,4,6
/proc/14318/stat : 14318 (scop.sh) S 14315 14318 11905 0 -1 4202496 584 36483 0 0 0 0 1946 72 20 0 1 0 406051604 115843072 369 33554432000 4194304 5098028 140732313609856 140732313606600 139660952748668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25387008 140732313617192 140732313617520 140732313617520 140732313620429 0
/proc/14318/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 20.18 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+11.6003 s]
/proc/loadavg: 2.35 2.11 2.10 3/234 14335
/proc/meminfo: memFree=18007960/32770624 swapFree=67003116/67108860
[pid=14318] ppid=14315 vsize=113128 memory=1476 CPUtime=20.18 cores=0,2,4,6
/proc/14318/stat : 14318 (scop.sh) S 14315 14318 11905 0 -1 4202496 584 36483 0 0 0 0 1946 72 20 0 1 0 406051604 115843072 369 33554432000 4194304 5098028 140732313609856 140732313606600 139660952748668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25387008 140732313617192 140732313617520 140732313617520 140732313620429 0
/proc/14318/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 20.18 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+12.0003 s]*
/proc/loadavg: 2.35 2.11 2.10 5/239 14356
/proc/meminfo: memFree=20987868/32770624 swapFree=67003116/67108860
[pid=14318] ppid=14315 vsize=113128 memory=1476 CPUtime=20.18 cores=0,2,4,6
/proc/14318/stat : 14318 (scop.sh) S 14315 14318 11905 0 -1 4202496 584 36483 0 0 0 0 1946 72 20 0 1 0 406051604 115843072 369 33554432000 4194304 5098028 140732313609856 140732313606600 139660952748668 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25387008 140732313617192 140732313617520 140732313617520 140732313620429 0
/proc/14318/statm: 28282 369 311 221 0 87 0
[pid=14336] ppid=14318 vsize=8068440 memory=119156 CPUtime=1.34 cores=0,2,4,6
/proc/14336/stat : 14336 (java) S 14318 14318 11905 0 -1 1077944320 21184 0 0 0 127 7 0 0 20 0 19 0 406052723 8262082560 29789 33554432000 4194304 4196468 140730938906560 140730938889104 139999865282295 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
/proc/14336/statm: 2017110 29789 3215 1 0 1978454 0
[pid=14351] ppid=14336 vsize=25152 memory=9328 CPUtime=0.03 cores=0,2,4,6
/proc/14351/stat : 14351 (glueminisat-sim) R 14336 14318 11905 0 -1 4202496 1970 0 0 0 3 0 0 0 20 0 1 0 406052800 25755648 2332 33554432000 4194304 4452875 140722768153680 140722768148984 4400011 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 27303936 140722768159583 140722768159783 140722768159783 140722768162733 0
/proc/14351/statm: 6288 2332 350 64 0 2492 0
[pid=14336/tid=14337] ppid=14318 vsize=8068440 memory=-7824251494390651496 CPUtime=0.79 cores=0,2,4,6
/proc/14336/task/14337/stat : 14337 (java) R 14318 14318 11905 0 -1 4202560 17754 0 0 0 74 5 0 0 20 0 19 0 406052723 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999837121200 139999846656074 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14338] ppid=14318 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14338/stat : 14338 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406052724 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999869525136 139999865292501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14339] ppid=14318 vsize=8068440 memory=920 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14339/stat : 14339 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406052724 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999350258704 139999865292501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14340] ppid=14318 vsize=8068440 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14340/stat : 14340 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406052724 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999349205904 139999865292501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14341] ppid=14318 vsize=8068440 memory=3424 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14341/stat : 14341 (java) S 14318 14318 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406052724 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999348153104 139999865292501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14342] ppid=14318 vsize=8068440 memory=3376 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14342/stat : 14342 (java) S 14318 14318 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406052726 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999311731056 139999865293442 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14343] ppid=14318 vsize=8068440 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14343/stat : 14343 (java) S 14318 14318 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406052726 8262082560 29789 33554432000 4194304 4196468 140730938906560 139998753973280 139999865292501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14344] ppid=14318 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14344/stat : 14344 (java) S 14318 14318 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406052726 8262082560 29789 33554432000 4194304 4196468 140730938906560 139998619751280 139999865292501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14345] ppid=14318 vsize=8068440 memory=3396 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14345/stat : 14345 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406052729 8262082560 29789 33554432000 4194304 4196468 140730938906560 139998245246800 139999865300891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14346] ppid=14318 vsize=8068440 memory=1472 CPUtime=0.14 cores=0,2,4,6
/proc/14336/task/14346/stat : 14346 (java) S 14318 14318 11905 0 -1 1077944384 975 0 0 0 14 0 0 0 20 0 19 0 406052729 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999310678896 139999865293442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14347] ppid=14318 vsize=8068440 memory=117700 CPUtime=0.14 cores=0,2,4,6
/proc/14336/task/14347/stat : 14347 (java) S 14318 14318 11905 0 -1 1077944384 448 0 0 0 14 0 0 0 20 0 19 0 406052729 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999309626096 139999865293442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14348] ppid=14318 vsize=8068440 memory=1447780 CPUtime=0.22 cores=0,2,4,6
/proc/14336/task/14348/stat : 14348 (java) S 14318 14318 11905 0 -1 1077944384 589 0 0 0 22 0 0 0 20 0 19 0 406052729 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999308573296 139999865293442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14349] ppid=14318 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14349/stat : 14349 (java) S 14318 14318 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406052729 8262082560 29789 33554432000 4194304 4196468 140730938906560 139997747342048 139999865292501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14350] ppid=14318 vsize=8068440 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14350/stat : 14350 (java) S 14318 14318 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406052729 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999307520688 139999865293442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14352] ppid=14318 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14352/stat : 14352 (java) S 14318 14318 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406052801 8262082560 29789 33554432000 4194304 4196468 140730938906560 139999299486912 139999865306905 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14354] ppid=14318 vsize=8068440 memory=3097796 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14354/stat : 14354 (java) S 14318 14318 11905 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 406052801 8262082560 29789 33554432000 4194304 4196468 140730938906560 139997210459440 139999865304221 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14355] ppid=14318 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14355/stat : 14355 (java) S 14318 14318 11905 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 406052802 8262082560 29789 33554432000 4194304 4196468 140730938906560 139996942024880 139999865304221 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
[pid=14336/tid=14356] ppid=14318 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14336/task/14356/stat : 14356 (java) S 14318 14318 11905 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 406052804 8262082560 29789 33554432000 4194304 4196468 140730938906560 139997478903472 139999865292501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20258816 140730938913787 140730938913946 140730938913946 140730938916815 0
Current children cumulated CPU time: 21.55 s
Current children cumulated vsize: 8206720 KiB
Current children cumulated memory: 129960 KiB

Child status: 0
Real time (s): 12.0936
CPU time (s): 21.7113
CPU user time (s): 20.8932
CPU system time (s): 0.818131
CPU usage (%): 179.528
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3102968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8932
system time used= 0.818131
maximum resident set size= 3102504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5800
involuntary context switches= 82


# summary of solver processes directly reported to runsolver:
#   pid: 14318
#   total CPU time (s): 21.7113
#   total CPU user time (s): 20.8932
#   total CPU system time (s): 0.818131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.103898 second user time and 0.169205 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-12 16:19:45
IDJOB=4388313
IDBENCH=139116
IDSOLVER=2825
FILE ID=node136/4388313-1568298029
RUNJOBID= node136-1568289646-11936
PBS_JOBID= 21701094
Free space on /tmp= 54100 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-12_X2.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-4388313-1568298029/watcher-4388313-1568298029 -o /tmp/evaluation-result-4388313-1568298029/solver-4388313-1568298029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568289646-11936 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388313-1568298029.xml

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

MD5SUM BENCH= 0da6a8f2891de305d0b0efc67f372d88
RANDOM SEED=1463410321

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21102596 kB
MemAvailable:   30304100 kB
Buffers:           97356 kB
Cached:          9293556 kB
SwapCached:         2468 kB
Active:          3436828 kB
Inactive:        7515508 kB
Active(anon):    1562788 kB
Inactive(anon):    40208 kB
Active(file):    1874040 kB
Inactive(file):  7475300 kB
Unevictable:      107592 kB
Mlocked:          107592 kB
SwapTotal:      67108860 kB
SwapFree:       67003116 kB
Dirty:             20624 kB
Writeback:             0 kB
AnonPages:       1741892 kB
Mapped:            55104 kB
Shmem:             32792 kB
Slab:             309108 kB
SReclaimable:     280624 kB
SUnreclaim:        28484 kB
KernelStack:        4080 kB
PageTables:         8640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7515644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    559104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54080 MiB
End job on node136 at 2019-09-12 16:19:58