Trace number 4387746

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAllInterval/AllInterval-m1-s1/
AllInterval-040.xml
MD5SUMb74d7d5d03f7c84e1bb19748e6149180
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.045375
Satisfiable
(Un)Satisfiability was proved
Number of variables79
Number of constraints41
Number of domains2
Minimum domain size39
Maximum domain size40
Distribution of domain sizes[{"size":39,"count":39},{"size":40,"count":40}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":41},{"degree":3,"count":38}]
Minimum constraint arity3
Maximum constraint arity40
Distribution of constraint arities[{"arity":3,"count":39},{"arity":39,"count":1},{"arity":40,"count":1}]
Number of extensional constraints0
Number of intensional constraints39
Distribution of constraint types[{"type":"intension","count":39},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-12080-serial-file.bin HOME/instance-4387746-1568289699.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 14:00:56 CEST 2019
0.66/0.55	c PID: 12083
0.66/0.55	c IP: 172.20.3.136
0.66/0.55	c HOST: node136.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.20/0.89	c (0,0) Parsing End
1.20/0.89	c (0,0) CSP: 79 int (0 aux), 0 bool (0 aux), 41 ctr, max domain size 40
1.20/0.89	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.89	c (0,0) Constraint Name Generate Begin
1.40/0.90	c (0,0) Ctr:HOME/instance-4387746-1568289699.xml,AllDifferent:Dist:Eq:Var
1.40/0.90	c (0,0) Constraint Name Generate End
1.40/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.90	c (0,0) CSP to CSPinCNF Begin
2.41/1.37	c (0,0) translated 5 (10%) constraints
2.41/1.37	c (0,0) translated 9 (20%) constraints
2.41/1.37	c (0,0) translated 13 (30%) constraints
2.41/1.38	c (0,0) translated 17 (40%) constraints
2.41/1.38	c (0,0) translated 21 (50%) constraints
2.41/1.38	c (0,0) translated 25 (60%) constraints
2.41/1.39	c (0,0) translated 29 (70%) constraints
2.41/1.40	c (0,0) translated 33 (80%) constraints
2.41/1.40	c (0,0) translated 37 (90%) constraints
2.74/1.40	c (0,0) translated 41 (100%) constraints
2.74/1.40	c (0,0) ===========================================
2.74/1.40	c (0,0) Order
2.74/1.40	c (0,0) ===========================================
2.74/1.43	c (0,0) translated 173 (10%) constraints
2.74/1.45	c (0,0) translated 345 (20%) constraints
2.74/1.47	c (0,0) translated 517 (30%) constraints
2.74/1.48	c (0,0) translated 689 (40%) constraints
3.58/1.68	c (1,1) translated 861 (50%) constraints
3.58/1.69	c (1,1) translated 1033 (60%) constraints
3.69/1.70	c (1,1) translated 1205 (70%) constraints
3.69/1.71	c (1,1) translated 1377 (80%) constraints
3.69/1.73	c (1,1) translated 1549 (90%) constraints
4.00/1.85	c (1,1) translated 1721 (100%) constraints
4.00/1.86	c (1,1) CSP to CSPinCNF End
4.00/1.86	c (1,1) CSP: 79 int (0 aux), 3121 bool (3121 aux), 7963 ctr, max domain size 40
4.00/1.86	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.00/1.87	c (1,1) CSPinCNF Propagation Begin
4.31/1.97	c (1,1) 0 values, 0 unsatisfiable literals, and 158 valid clauses are removed
4.31/1.97	c (1,1) CSPinCNF Propagation End
4.31/1.97	c (1,1) CSP: 79 int (0 aux), 3121 bool (3121 aux), 7805 ctr, max domain size 40
4.31/1.97	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.31/1.97	c (1,1) Simplify CSPinCNF Begin
4.66/2.09	c (1,1) Simplify CSPinCNF End
4.66/2.10	c (1,1) CSP: 79 int (0 aux), 6241 bool (6241 aux), 10925 ctr, max domain size 40
4.66/2.10	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.66/2.10	c (1,1) Calculate Precise Domain Begin
4.66/2.10	c (1,1) 0 values are removed by re-calculation
4.66/2.10	c (1,1) Calculate Precise Domain End
4.66/2.10	c (1,1) CSP: 79 int (0 aux), 6241 bool (6241 aux), 10925 ctr, max domain size 40
4.66/2.10	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.66/2.10	c (1,1) CSPinCNF to SatSolver Begin
6.26/2.59	c (2,2) 1093 (10 %) CSP clauses are encoded (0 SAT variables, 32447 SAT clauses)
6.88/2.79	c (2,2) 2185 (20 %) CSP clauses are encoded (0 SAT variables, 61931 SAT clauses)
7.17/2.83	c (2,2) 3278 (30 %) CSP clauses are encoded (0 SAT variables, 67080 SAT clauses)
7.17/2.84	c (2,2) 4370 (40 %) CSP clauses are encoded (0 SAT variables, 68172 SAT clauses)
7.17/2.86	c (2,2) 5463 (50 %) CSP clauses are encoded (0 SAT variables, 69265 SAT clauses)
7.48/3.01	c (2,2) 6555 (60 %) CSP clauses are encoded (0 SAT variables, 96995 SAT clauses)
7.85/3.15	c (2,2) 7648 (70 %) CSP clauses are encoded (0 SAT variables, 125790 SAT clauses)
7.85/3.17	c (2,2) 8740 (80 %) CSP clauses are encoded (0 SAT variables, 128858 SAT clauses)
7.85/3.18	c (2,2) 9833 (90 %) CSP clauses are encoded (0 SAT variables, 129951 SAT clauses)
9.49/3.79	c (3,3) 10925 (100 %) CSP clauses are encoded (0 SAT variables, 251749 SAT clauses)
9.49/3.80	c (3,3) CSPinCNF to SatSolver End
9.49/3.80	c (3,3) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.49/3.80	c (3,3) 9283 bool, 252568 clause
9.49/3.80	c (3,3) Export Begin
9.79/3.88	c (3,3) Export to HOME/scop-12080-serial-file.bin
9.79/3.88	c (3,3) Export End
9.79/3.88	c (3,3) Export File Size: 0.01 MB
9.79/3.88	c (3,3) 0,0,1,1,1,1,3,STOP-AFTER(DIMACS)
9.79/3.88	c END-Prog: Thu Sep 12 14:00:59 CEST 2019
0.00/3.90	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12080-serial-file.bin
10.52/4.35	c (0,0) Read Serial File Begin
10.52/4.35	c (0,0) HOME/scop-12080-serial-file.bin
10.80/4.56	c (0,0) Read Serial File End
10.80/4.57	
10.80/4.57	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
10.80/4.57	(Solving Process)
10.80/4.57	
10.80/4.59	c BEGIN-Prog: Thu Sep 12 14:01:00 CEST 2019
10.80/4.59	c PID: 12098
10.80/4.59	c IP: 172.20.3.136
10.80/4.59	c HOST: node136.alineos.net
10.80/4.59	c (0,0) SatSolver.solve Begin
10.80/4.59	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387746-1568289699.xml-scop-12083.cnf
10.96/4.63	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
10.96/4.63	c (0,0) c glueminisat-simp-2.2.10-193oa-n
10.96/4.63	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387746-1568289699.xml-scop-12083.cnf 
10.96/4.63	c (0,0) c Options:
10.96/4.63	c (0,0) c CORE
10.96/4.63	c (0,0) c  var_decay             = 0.950
10.96/4.63	c (0,0) c  clause_decay          = 0.999
10.96/4.63	c (0,0) c  random_var_freq       = 0.000
10.96/4.63	c (0,0) c  random_seed           = 91648253.000
10.96/4.63	c (0,0) c  luby_restart          = 1
10.96/4.63	c (0,0) c  ccmin_mode            = 2
10.96/4.63	c (0,0) c  phase_saving          = 2
10.96/4.63	c (0,0) c  rnd_pol               = 0
10.96/4.63	c (0,0) c  rnd_init_act          = 0
10.96/4.63	c (0,0) c  garbage_frac          = 0.200
10.96/4.63	c (0,0) c  restart_first         = 1000
10.96/4.63	c (0,0) c  restart_inc           = 2.000
10.96/4.63	c (0,0) c MODEL
10.96/4.63	c (0,0) c  partial_model         = 0
10.96/4.63	c (0,0) c PROPAGATION
10.96/4.63	c (0,0) c  bin_propagation       = 1
10.96/4.63	c (0,0) c SIMPLIFICATION
10.96/4.63	c (0,0) c  lrn_min_size          = 100
10.96/4.63	c (0,0) c  lazy_simp             = 1
10.96/4.63	c (0,0) c  lazy_interval         = 10
10.96/4.63	c (0,0) c  lazy_fld_probing      = 1
10.96/4.63	c (0,0) c  lazy_pol_probing      = 1
10.96/4.63	c (0,0) c  lazy_nec_probing      = 1
10.96/4.63	c (0,0) c  lazy_eqv_probing      = 1
10.96/4.63	c (0,0) c  lazy_cla_probing      = 1
10.96/4.63	c (0,0) c  lazy_lrn_min          = 2
10.96/4.63	c (0,0) c  lazy_uw_lit_elim      = 1
10.96/4.63	c (0,0) c  lazy_pr_lit_elim      = 0
10.96/4.63	c (0,0) c  lazy_bin_add          = 3
10.96/4.63	c (0,0) c  probed_lit_chain      = 1
10.96/4.63	c (0,0) c  pr_min_lits           = 0.00020
10.96/4.63	c (0,0) c  pr_min_starts         = 500
10.96/4.63	c (0,0) c  rw_min_lits           = 0.010
10.96/4.63	c (0,0) c  rw_min_starts         = 500
10.96/4.63	c (0,0) c  rand_attach           = 0
10.96/4.63	c (0,0) c  dec_elim              = 1
10.96/4.63	c (0,0) c  dec_elim_lim          = 25
10.96/4.63	c (0,0) c  dec_elim_len          = -1
10.96/4.63	c (0,0) c  amo                   = 0
10.96/4.63	c (0,0) c  amo_grp               = 1
10.96/4.63	c (0,0) c  amo_max_bins          = 1000000
10.96/4.63	c (0,0) c  amo_starts            = 50
10.96/4.63	c (0,0) c  mace_cmd              = mace
10.96/4.63	c (0,0) c DECISION
10.96/4.63	c (0,0) c  rand_rebuild          = 0
10.96/4.63	c (0,0) c  rand_rebuild_confs    = 10000
10.96/4.63	c (0,0) c  inc_var_decay         = 1
10.96/4.63	c (0,0) c  inc_var_decay_period  = 100000
10.96/4.63	c (0,0) c  inc_var_decay_init    = 0.600
10.96/4.63	c (0,0) c  var_decay_mode        = 0
10.96/4.63	c (0,0) c  var_decay_gain        = 0
10.96/4.63	c (0,0) c  sloped_var_decay      = 1
10.96/4.63	c (0,0) c  max_var_decay         = 0.990
10.96/4.63	c (0,0) c  min_var_decay         = 0.950
10.96/4.63	c (0,0) c  min_var_decay_vars    = 10000
10.96/4.63	c (0,0) c  max_var_decay_vars    = 500
10.96/4.63	c (0,0) c  uip_bumping           = 1
10.96/4.63	c (0,0) c  lbd_act_bumping       = 1
10.96/4.63	c (0,0) c  rand_tiebreak         = 0
10.96/4.63	c (0,0) c  simp_rebuild          = 1
10.96/4.63	c (0,0) c RESTART
10.96/4.63	c (0,0) c  restart_strategy      = 2
10.96/4.63	c (0,0) c  restart_blocking      = 0
10.96/4.63	c (0,0) c  agility_decay         = 0.99990
10.96/4.63	c (0,0) c  lbd_restart_rate      = 0.800
10.96/4.63	c (0,0) c  dec_restart_rate      = 0.950
10.96/4.63	c (0,0) c  blk_restart_rate      = 0.700
10.96/4.63	c (0,0) c  lbd_queue_size        = 50
10.96/4.63	c (0,0) c  dec_queue_size        = 50
10.96/4.63	c (0,0) c  trl_queue_size        = 5000
10.96/4.63	c (0,0) c  blk_restart_weight    = 1.000
10.96/4.63	c (0,0) c  inc_rst_rate          = 0
10.96/4.63	c (0,0) c  inc_rst_rate_period   = 500000
10.96/4.63	c (0,0) c  inc_lbd_rst_rate_init = 0.600
10.96/4.63	c (0,0) c  inc_dec_rst_rate_init = 0.750
10.96/4.63	c (0,0) c REDUCTION
10.96/4.63	c (0,0) c  closed_lbd            = 0
10.96/4.63	c (0,0) c  closed_lbd_rate       = 0.500
10.96/4.63	c (0,0) c  rm_simulate           = 0
10.96/4.63	c (0,0) c  rdb_eval              = 2
10.96/4.63	c (0,0) c  rdb_call              = 3
10.96/4.63	c (0,0) c  rdb_ub                = 0.500
10.96/4.63	c (0,0) c  core_lbd_cvr          = 0.800
10.96/4.63	c (0,0) c  supp_lbd_cvr          = 0.990
10.96/4.63	c (0,0) c  core_lbd_lb           = 2
10.96/4.63	c (0,0) c  supp_lbd_lb           = 2
10.96/4.63	c (0,0) c  core_lbd_prd          = 7
10.96/4.63	c (0,0) c  supp_lbd_prd          = 1
10.96/4.63	c (0,0) c  othr_lbd_prd          = 0
10.96/4.63	c (0,0) c  inc_lrn_limit         = 1000
10.96/4.63	c (0,0) c  frozen_lbd            = 30
10.96/4.63	c (0,0) c  simp_min_starts       = 100
10.96/4.63	c (0,0) c  rm_low_act_learnts    = 1
10.96/4.63	c (0,0) c  lv0_reduce_db         = 0
10.96/4.63	c (0,0) c  reduce_db_base        = 20000
10.96/4.63	c (0,0) c  reduce_db_inc         = 1000
10.96/4.63	c (0,0) c HARD
10.96/4.63	c (0,0) c  inst_check            = 200000
10.96/4.63	c (0,0) c  small_block           = 1.750
10.96/4.63	c (0,0) c  slow_restart_speed    = 400.000
10.96/4.63	c (0,0) c  slow_restart_strategy = 3
10.96/4.63	c (0,0) c  slow_lbd_restart_rate = 0.700
10.96/4.63	c (0,0) c  slow_dec_restart_rate = 1.000
10.96/4.63	c (0,0) c  slow_lbd_queue_size   = 50
10.96/4.63	c (0,0) c  slow_var_decay        = 0.950
10.96/4.63	c (0,0) c  slow_glue_threshold   = 2
10.96/4.63	c (0,0) c  slow_phase_saving     = 2
10.96/4.63	c (0,0) c  fast_restart_speed    = 125.000
10.96/4.63	c (0,0) c  fast_restart_strategy = 1
10.96/4.63	c (0,0) c  fast_lbd_restart_rate = 0.800
10.96/4.63	c (0,0) c  fast_dec_restart_rate = 0.950
10.96/4.63	c (0,0) c  fast_lbd_queue_size   = 50
10.96/4.63	c (0,0) c  fast_var_decay        = 1.000
10.96/4.63	c (0,0) c  fast_glue_threshold   = 2
10.96/4.63	c (0,0) c  fast_phase_saving     = 2
10.96/4.63	c (0,0) c STATS
10.96/4.63	c (0,0) c  stats_conf_size       = 10000
10.96/4.63	c (0,0) c  max_stats_size        = 30
10.96/4.63	c (0,0) c SOLVER
10.96/4.63	c (0,0) c  minisat               = 0
10.96/4.69	c (0,0) c Problem: 9283 variables, 252568 clauses, parsing 0.07 s
11.50/5.09	c (0,0) c  reduced to 7723 variables, 251008 clauses (grow = 0)
11.50/5.10	c (0,0) c  exclude 79 (1.0%) variables from decision variables (last cost 2)
11.60/5.11	c (0,0) c Simplification: 1639 vars, 1560 clauses are eliminated using 0.42 s
11.60/5.11	c (0,0) c
11.60/5.11	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
11.60/5.11	c (0,0) c
11.60/5.11	c (0,0) c    0         0         0     7644   251008        0   -nan  -nan  -nan -nan%
11.60/5.12	c (0,0) c    0         2       100     7645   251008      100   27.1  10.7  56.4 10.8%
11.60/5.14	c (0,0) c    0         3       220     7646   251008      220   24.8  10.4  86.4 16.1%
11.60/5.17	c (0,0) c    0         5       364     7650   251008      365   26.0  10.7 101.3 22.9%
11.69/5.20	c (0,0) c    0         5       536     7650   251008      537   23.4   9.9 104.9 26.3%
11.69/5.23	c (0,0) c    0         7       743     7651   251008      744   25.1  10.5 107.4 26.5%
11.69/5.26	c (0,0) c    0         9       991     7651   251008      994   25.4  10.5 105.6 26.3%
11.79/5.30	c (1,0) c    0        13      1289     7651   251008     1295   28.3  11.6 103.6 27.1%
11.79/5.36	c (1,0) c    0        18      1647     7664   251008     1655   32.3  12.7 116.8 28.4%
11.90/5.43	c (1,0) c    0        22      2076     7671   251008     2087   35.6  13.2 119.4 31.4%
11.99/5.50	c (1,0) c    0        26      2591     7676   251008     2603   36.4  13.3 114.1 35.6%
12.09/5.60	c (1,0) c    0        31      3210     7676   251008     3223   38.5  13.1 110.6 37.1%
12.19/5.70	c (1,0) c    1        35      3953     7682   251008     3967   41.7  13.1 115.1 38.5%
12.30/5.83	c (1,0) c    1        40      4844     7686   251008     4859   43.1  12.9 111.2 39.3%
12.40/5.91	c (1,0) c    1        41      5913     7686   251008     5928   40.6  12.4 113.4 39.7%
12.40/5.97	c (1,0) c    1        41      7196     7686   251008     7211   36.5  12.1 122.2 39.2%
12.61/6.12	c (1,0) c
12.61/6.12	c (1,0) c   variables         : 7694        (init 9283, after simp 7644, 29 non-decs, 79 csp)
12.61/6.12	c (1,0) c   clauses           : 251008      (init 252568, after simp 251008)
12.61/6.12	c (1,0) c   restarts          : 48          (178.29 confs/res, 50~2960 confs, 0 blks, 0 last)
12.61/6.12	c (1,0) c   conflicts         : 8736        (6017 /sec, 63.15% dconfs, 0.00% supp, trail 39.20w x 127.50h, jmp 5.61h)
12.61/6.12	c (1,0) c   decisions         : 55576       (0.6300 vdcy, 38279 /sec, 0.00% bin, rs 0.001 s)
12.61/6.12	c (1,0) c   propagations      : 2742429     (1888906 /sec, 49.35 lits/dec, 10.45% o.a.)
12.61/6.12	c (1,0) c   conflict literals : 353121      (8.31% deleted; 0.20% by bin min, 0.002 s)
12.61/6.12	c (1,0) c   len               : 36.924      (36.98 for all, max 515, used 331)
12.61/6.12	c (1,0) c   lbd               : 12.989      (14.43 (13.01) for all, max 170, used 124, 5.261 stdev, 2.563 blk)
12.61/6.12	c (1,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
12.61/6.12	c (1,0) c   simp dbs          : 1           (0.000 s)
12.61/6.12	c (1,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
12.61/6.12	c (1,0) c   learnts           : 8751        (0 learnts removed, 0.00%)
12.61/6.12	c (1,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
12.61/6.12	c (1,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
12.61/6.12	c (1,0) c   premise updates   : 46979       (3.07 /lit)
12.61/6.12	c (1,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
12.61/6.12	c (1,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
12.61/6.12	c (1,0) c   lazy added bins   : 15          (15 prop + 0 conf, 0.011s)
12.61/6.12	c (1,0) c   unwatched lit elim: 355         (0.00+0.10%, 0+355 of 795601+353121)
12.61/6.12	c (1,0) c   classified type   : undef
12.61/6.12	c (1,0) c   progress          : 0.000 %
12.61/6.12	c (1,0) c
12.61/6.12	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
12.61/6.12	c (1,0) c
12.61/6.12	c (1,0) c    1        49      8736     7694   251008     8751   36.9  13.0 127.5 39.6%
12.80/6.38	c (2,0) c    1        60     10584     7697   251008    10600   40.0  13.1 120.7 43.6%
13.30/6.83	c (2,0) c    2        83     12802     7702   251008    12832   47.6  14.0 118.0 47.1%
13.70/7.21	c (2,0) c    2        99     15464     7704   251008    15496   50.2  14.3 122.4 49.2%
14.10/7.68	c (3,0) c    3       118     18078     7704   251008    18113   53.5  14.5 110.7 54.2%
14.10/7.68	c (3,0) c
14.10/7.68	c (3,0) c
14.10/7.68	c (3,0) c variables         : 7704        (init 9283, after simp 7644, 19 non-decs, 79 csp)
14.10/7.68	c (3,0) c clauses           : 251008      (init 252568, after simp 251008)
14.10/7.68	c (3,0) c restarts          : 117         (153.20 confs/res, 50~2960 confs, 0 blks, 0 last)
14.10/7.68	c (3,0) c conflicts         : 18078       (6099 /sec, 60.00% dconfs, 0.00% supp, trail 56.30w x 117.90h, jmp 4.59h)
14.10/7.68	c (3,0) c decisions         : 97890       (0.6600 vdcy, 33028 /sec, 0.00% bin, rs 0.001 s)
14.10/7.68	c (3,0) c propagations      : 5946406     (2006302 /sec, 60.75 lits/dec, 10.97% o.a.)
14.10/7.68	c (3,0) c conflict literals : 1054766     (8.07% deleted; 0.13% by bin min, 0.004 s)
14.10/7.68	c (3,0) c len               : 53.462      (53.56 for all, max 515, used 420)
14.10/7.68	c (3,0) c lbd               : 14.527      (16.20 (14.55) for all, max 170, used 135, 5.310 stdev, 3.306 blk)
14.10/7.68	c (3,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
14.10/7.68	c (3,0) c simp dbs          : 1           (0.000 s)
14.10/7.68	c (3,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
14.10/7.68	c (3,0) c learnts           : 18113       (0 learnts removed, 0.00%)
14.10/7.68	c (3,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
14.10/7.68	c (3,0) c assigned lits     : 0           (0/0 probed, 0 remains)
14.10/7.68	c (3,0) c premise updates   : 143930      (9.41 /lit)
14.10/7.68	c (3,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
14.10/7.68	c (3,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
14.10/7.68	c (3,0) c lazy added bins   : 35          (35 prop + 0 conf, 0.019s)
14.10/7.68	c (3,0) c unwatched lit elim: 1111        (0.00+0.11%, 0+1111 of 795601+1054766)
14.10/7.68	c (3,0) c classified type   : undef
14.10/7.68	c (3,0) c progress          : 0.000 %
14.10/7.68	c (3,0) c
14.10/7.68	c (3,0) c [Statistics]
14.10/7.68	c (3,0) c             learnts len        learnts lbd        lit blk size       eq vars size
14.10/7.68	c (3,0) c  tot       18078              18078             292894                  0
14.10/7.68	c (3,0) c  avg      53.562             14.551              3.306               -nan
14.10/7.68	c (3,0) c   1            0 ( 0.0%)        366 ( 2.0%)     173020 (59.1%)          0 (-nan%)
14.10/7.68	c (3,0) c   2          158 ( 0.9%)       3540 (19.6%)      48076 (16.4%)          0 (-nan%)
14.10/7.68	c (3,0) c   3          567 ( 3.1%)       1192 ( 6.6%)      22705 ( 7.8%)          0 (-nan%)
14.10/7.68	c (3,0) c   4          391 ( 2.2%)        849 ( 4.7%)      14177 ( 4.8%)          0 (-nan%)
14.10/7.68	c (3,0) c   5         3733 (20.6%)        754 ( 4.2%)       7512 ( 2.6%)          0 (-nan%)
14.10/7.68	c (3,0) c   6          487 ( 2.7%)        517 ( 2.9%)       4775 ( 1.6%)          0 (-nan%)
14.10/7.68	c (3,0) c   7          435 ( 2.4%)        482 ( 2.7%)       2845 ( 1.0%)          0 (-nan%)
14.10/7.68	c (3,0) c   8          375 ( 2.1%)        487 ( 2.7%)       2192 ( 0.7%)          0 (-nan%)
14.10/7.68	c (3,0) c   9          285 ( 1.6%)        498 ( 2.8%)       1663 ( 0.6%)          0 (-nan%)
14.10/7.68	c (3,0) c  10          307 ( 1.7%)        542 ( 3.0%)       1455 ( 0.5%)          0 (-nan%)
14.10/7.68	c (3,0) c  11          227 ( 1.3%)        486 ( 2.7%)       1118 ( 0.4%)          0 (-nan%)
14.10/7.68	c (3,0) c  12          253 ( 1.4%)        452 ( 2.5%)       1065 ( 0.4%)          0 (-nan%)
14.10/7.68	c (3,0) c  13          228 ( 1.3%)        461 ( 2.6%)        792 ( 0.3%)          0 (-nan%)
14.10/7.68	c (3,0) c  14          227 ( 1.3%)        441 ( 2.4%)        636 ( 0.2%)          0 (-nan%)
14.10/7.68	c (3,0) c  15          194 ( 1.1%)        488 ( 2.7%)        681 ( 0.2%)          0 (-nan%)
14.10/7.68	c (3,0) c  16          211 ( 1.2%)        417 ( 2.3%)        588 ( 0.2%)          0 (-nan%)
14.10/7.68	c (3,0) c  17          172 ( 1.0%)        425 ( 2.4%)        464 ( 0.2%)          0 (-nan%)
14.10/7.68	c (3,0) c  18          174 ( 1.0%)        396 ( 2.2%)        433 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  19          156 ( 0.9%)        344 ( 1.9%)        411 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  20          147 ( 0.8%)        314 ( 1.7%)        417 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  21          149 ( 0.8%)        311 ( 1.7%)        393 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  22          131 ( 0.7%)        292 ( 1.6%)        342 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  23          155 ( 0.9%)        234 ( 1.3%)        316 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  24          163 ( 0.9%)        249 ( 1.4%)        303 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  25          151 ( 0.8%)        220 ( 1.2%)        356 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  26          138 ( 0.8%)        171 ( 0.9%)        397 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  27          111 ( 0.6%)        203 ( 1.1%)        269 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  28           95 ( 0.5%)        181 ( 1.0%)        243 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  29          125 ( 0.7%)        200 ( 1.1%)        224 ( 0.1%)          0 (-nan%)
14.10/7.68	c (3,0) c  30         8133 (45.0%)       2566 (14.2%)       5026 ( 1.7%)          0 (-nan%)
14.10/7.68	c (3,0) c
14.10/7.68	c (3,0) c [LBD Statistics]
14.10/7.68	c (3,0) c LBD          used lbd               used clause lbd         unused clause lbd
14.10/7.68	c (3,0) c  tot       225523                   10724                    7389
14.10/7.68	c (3,0) c  avg        3.493                   9.918                  21.215
14.10/7.68	c (3,0) c    1        18609 ( 8.3/ 8.3%)        366 ( 3.4/ 3.4%)          0 ( 0.0/ 0.0%)
14.10/7.68	c (3,0) c    2       147692 (65.5/73.7%)       3378 (31.5/34.9%)        197 ( 2.7/ 2.7%)
14.10/7.68	c (3,0) c    3        21775 ( 9.7/83.4%)        985 ( 9.2/44.1%)        207 ( 2.8/ 5.5%)
14.10/7.68	c (3,0) c    4        11542 ( 5.1/88.5%)        621 ( 5.8/49.9%)        228 ( 3.1/ 8.6%)
14.10/7.68	c (3,0) c    5         5675 ( 2.5/91.0%)        494 ( 4.6/54.5%)        260 ( 3.5/12.1%)
14.10/7.68	c (3,0) c    6         2102 ( 0.9/92.0%)        305 ( 2.8/57.3%)        212 ( 2.9/14.9%)
14.10/7.68	c (3,0) c    7         1463 ( 0.6/92.6%)        283 ( 2.6/60.0%)        199 ( 2.7/17.6%)
14.10/7.68	c (3,0) c    8         1576 ( 0.7/93.3%)        272 ( 2.5/62.5%)        215 ( 2.9/20.5%)
14.10/7.68	c (3,0) c    9         1363 ( 0.6/93.9%)        272 ( 2.5/65.1%)        226 ( 3.1/23.6%)
14.10/7.68	c (3,0) c   10         1255 ( 0.6/94.5%)        291 ( 2.7/67.8%)        251 ( 3.4/27.0%)
14.10/7.68	c (3,0) c   11         1182 ( 0.5/95.0%)        272 ( 2.5/70.3%)        214 ( 2.9/29.9%)
14.10/7.68	c (3,0) c   12          898 ( 0.4/95.4%)        211 ( 2.0/72.3%)        241 ( 3.3/33.2%)
14.10/7.68	c (3,0) c   13          832 ( 0.4/95.8%)        235 ( 2.2/74.5%)        226 ( 3.1/36.2%)
14.10/7.68	c (3,0) c   14          779 ( 0.3/96.1%)        210 ( 2.0/76.4%)        231 ( 3.1/39.3%)
14.10/7.68	c (3,0) c   15          741 ( 0.3/96.4%)        221 ( 2.1/78.5%)        267 ( 3.6/43.0%)
14.10/7.68	c (3,0) c   16          707 ( 0.3/96.7%)        173 ( 1.6/80.1%)        244 ( 3.3/46.3%)
14.10/7.68	c (3,0) c   17          547 ( 0.2/97.0%)        168 ( 1.6/81.7%)        257 ( 3.5/49.7%)
14.10/7.68	c (3,0) c   18          470 ( 0.2/97.2%)        147 ( 1.4/83.0%)        249 ( 3.4/53.1%)
14.10/7.68	c (3,0) c   19          526 ( 0.2/97.4%)        132 ( 1.2/84.3%)        212 ( 2.9/56.0%)
14.10/7.68	c (3,0) c   20          408 ( 0.2/97.6%)        116 ( 1.1/85.3%)        198 ( 2.7/58.7%)
14.10/7.68	c (3,0) c   21          379 ( 0.2/97.8%)        121 ( 1.1/86.5%)        190 ( 2.6/61.2%)
14.10/7.68	c (3,0) c   22          377 ( 0.2/97.9%)         98 ( 0.9/87.4%)        194 ( 2.6/63.9%)
14.10/7.68	c (3,0) c   23          402 ( 0.2/98.1%)         91 ( 0.8/88.2%)        143 ( 1.9/65.8%)
14.10/7.68	c (3,0) c   24          286 ( 0.1/98.3%)         96 ( 0.9/89.1%)        153 ( 2.1/67.9%)
14.10/7.68	c (3,0) c   25          238 ( 0.1/98.4%)         87 ( 0.8/89.9%)        133 ( 1.8/69.7%)
14.10/7.68	c (3,0) c   26          240 ( 0.1/98.5%)         55 ( 0.5/90.5%)        116 ( 1.6/71.2%)
14.10/7.68	c (3,0) c   27          272 ( 0.1/98.6%)         65 ( 0.6/91.1%)        138 ( 1.9/73.1%)
14.10/7.68	c (3,0) c   28          168 ( 0.1/98.7%)         60 ( 0.6/91.6%)        121 ( 1.6/74.7%)
14.10/7.68	c (3,0) c   29          337 ( 0.1/98.8%)         82 ( 0.8/92.4%)        118 ( 1.6/76.3%)
14.10/7.68	c (3,0) c   30          252 ( 0.1/98.9%)         62 ( 0.6/93.0%)         91 ( 1.2/77.6%)
14.10/7.68	c (3,0) c   31          281 ( 0.1/99.0%)         79 ( 0.7/93.7%)         96 ( 1.3/78.9%)
14.10/7.68	c (3,0) c   32          232 ( 0.1/99.1%)         60 ( 0.6/94.3%)         91 ( 1.2/80.1%)
14.10/7.68	c (3,0) c   33          212 ( 0.1/99.2%)         53 ( 0.5/94.8%)        123 ( 1.7/81.8%)
14.10/7.68	c (3,0) c   34          234 ( 0.1/99.3%)         60 ( 0.6/95.3%)        112 ( 1.5/83.3%)
14.10/7.68	c (3,0) c   35          224 ( 0.1/99.4%)         51 ( 0.5/95.8%)         84 ( 1.1/84.4%)
14.10/7.68	c (3,0) c   36          116 ( 0.1/99.5%)         38 ( 0.4/96.1%)         89 ( 1.2/85.6%)
14.10/7.68	c (3,0) c   37          169 ( 0.1/99.6%)         30 ( 0.3/96.4%)         90 ( 1.2/86.8%)
14.10/7.68	c (3,0) c   38          102 ( 0.0/99.6%)         27 ( 0.3/96.7%)         75 ( 1.0/87.8%)
14.10/7.68	c (3,0) c   39           76 ( 0.0/99.7%)         17 ( 0.2/96.8%)         56 ( 0.8/88.6%)
14.10/7.68	c (3,0) c   40           74 ( 0.0/99.7%)         21 ( 0.2/97.0%)         66 ( 0.9/89.5%)
14.10/7.68	c (3,0) c   41           47 ( 0.0/99.7%)         24 ( 0.2/97.2%)         54 ( 0.7/90.2%)
14.10/7.68	c (3,0) c   42           58 ( 0.0/99.7%)         17 ( 0.2/97.4%)         37 ( 0.5/90.7%)
14.10/7.68	c (3,0) c   43           46 ( 0.0/99.8%)         20 ( 0.2/97.6%)         46 ( 0.6/91.4%)
14.10/7.68	c (3,0) c   44           46 ( 0.0/99.8%)         18 ( 0.2/97.8%)         40 ( 0.5/91.9%)
14.10/7.68	c (3,0) c   45           51 ( 0.0/99.8%)         18 ( 0.2/97.9%)         44 ( 0.6/92.5%)
14.10/7.68	c (3,0) c   46           28 ( 0.0/99.8%)         14 ( 0.1/98.1%)         34 ( 0.5/92.9%)
14.10/7.68	c (3,0) c   47           28 ( 0.0/99.8%)         24 ( 0.2/98.3%)         31 ( 0.4/93.4%)
14.10/7.68	c (3,0) c   48           33 ( 0.0/99.8%)         14 ( 0.1/98.4%)         36 ( 0.5/93.9%)
14.10/7.68	c (3,0) c   49           22 ( 0.0/99.8%)         11 ( 0.1/98.5%)         35 ( 0.5/94.3%)
14.10/7.68	c (3,0) c   50           39 ( 0.0/99.9%)         10 ( 0.1/98.6%)         34 ( 0.5/94.8%)
14.10/7.68	c (3,0) c   51           37 ( 0.0/99.9%)         15 ( 0.1/98.8%)         33 ( 0.4/95.2%)
14.10/7.68	c (3,0) c   52           30 ( 0.0/99.9%)         16 ( 0.1/98.9%)         30 ( 0.4/95.6%)
14.10/7.68	c (3,0) c   53           27 ( 0.0/99.9%)         10 ( 0.1/99.0%)         22 ( 0.3/95.9%)
14.10/7.68	c (3,0) c   54           23 ( 0.0/99.9%)          5 ( 0.0/99.0%)         21 ( 0.3/96.2%)
14.10/7.68	c (3,0) c   55           16 ( 0.0/99.9%)         11 ( 0.1/99.1%)         17 ( 0.2/96.5%)
14.10/7.68	c (3,0) c   56           16 ( 0.0/99.9%)          7 ( 0.1/99.2%)         17 ( 0.2/96.7%)
14.10/7.68	c (3,0) c   57           16 ( 0.0/99.9%)         10 ( 0.1/99.3%)         11 ( 0.1/96.8%)
14.10/7.68	c (3,0) c   58           13 ( 0.0/99.9%)          7 ( 0.1/99.4%)         21 ( 0.3/97.1%)
14.10/7.68	c (3,0) c   59           12 ( 0.0/99.9%)          6 ( 0.1/99.4%)         15 ( 0.2/97.3%)
14.10/7.68	c (3,0) c   60           13 ( 0.0/100.0%)          8 ( 0.1/99.5%)         15 ( 0.2/97.5%)
14.10/7.68	c (3,0) c   61            6 ( 0.0/100.0%)          3 ( 0.0/99.5%)         14 ( 0.2/97.7%)
14.10/7.68	c (3,0) c   62           14 ( 0.0/100.0%)          9 ( 0.1/99.6%)         15 ( 0.2/97.9%)
14.10/7.68	c (3,0) c   63           13 ( 0.0/100.0%)          6 ( 0.1/99.7%)         15 ( 0.2/98.1%)
14.10/7.68	c (3,0) c   64            3 ( 0.0/100.0%)          3 ( 0.0/99.7%)         12 ( 0.2/98.3%)
14.10/7.68	c (3,0) c   65            7 ( 0.0/100.0%)          4 ( 0.0/99.7%)         14 ( 0.2/98.5%)
14.10/7.68	c (3,0) c   66           15 ( 0.0/100.0%)          5 ( 0.0/99.8%)          7 ( 0.1/98.6%)
14.10/7.68	c (3,0) c   67            4 ( 0.0/100.0%)          4 ( 0.0/99.8%)          4 ( 0.1/98.6%)
14.10/7.68	c (3,0) c   68           10 ( 0.0/100.0%)          3 ( 0.0/99.8%)         14 ( 0.2/98.8%)
14.10/7.68	c (3,0) c   69            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          8 ( 0.1/98.9%)
14.10/7.68	c (3,0) c   70            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          4 ( 0.1/99.0%)
14.10/7.68	c (3,0) c   71            5 ( 0.0/100.0%)          2 ( 0.0/99.9%)          5 ( 0.1/99.0%)
14.10/7.68	c (3,0) c   72            3 ( 0.0/100.0%)          2 ( 0.0/99.9%)          5 ( 0.1/99.1%)
14.10/7.68	c (3,0) c   73            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          2 ( 0.0/99.1%)
14.10/7.68	c (3,0) c   74            1 ( 0.0/100.0%)          0 ( 0.0/99.9%)          4 ( 0.1/99.2%)
14.10/7.68	c (3,0) c   75            4 ( 0.0/100.0%)          2 ( 0.0/99.9%)          1 ( 0.0/99.2%)
14.10/7.68	c (3,0) c   76            3 ( 0.0/100.0%)          1 ( 0.0/99.9%)          7 ( 0.1/99.3%)
14.10/7.68	c (3,0) c   77            3 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.3%)
14.10/7.68	c (3,0) c   78            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          3 ( 0.0/99.4%)
14.10/7.68	c (3,0) c   79            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          3 ( 0.0/99.4%)
14.10/7.68	c (3,0) c   80            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.4%)
14.10/7.68	c (3,0) c   81            1 ( 0.0/100.0%)          1 ( 0.0/99.9%)          0 ( 0.0/99.4%)
14.10/7.68	c (3,0) c   82            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.0/99.4%)
14.10/7.68	c (3,0) c   83            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          5 ( 0.1/99.5%)
14.10/7.68	c (3,0) c   84            1 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.0/99.5%)
14.10/7.68	c (3,0) c   85            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.5%)
14.10/7.68	c (3,0) c   86            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.5%)
14.10/7.68	c (3,0) c   87            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.0/99.5%)
14.10/7.68	c (3,0) c   88            0 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   89            1 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   90            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   91            2 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   92            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   93            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   94            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   95            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          2 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   96            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   97            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   98            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c   99            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c  100            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c  101            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.6%)
14.10/7.68	c (3,0) c  102            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c  103            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c  104            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
14.10/7.68	c (3,0) c  105            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
14.10/7.68	c (3,0) c  106            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
14.10/7.68	c (3,0) c  107            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
14.10/7.68	c (3,0) c  108            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.7%)
14.10/7.68	c (3,0) c  109            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
14.10/7.68	c (3,0) c  110            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.7%)
14.10/7.68	c (3,0) c  111            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
14.10/7.68	c (3,0) c  112            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          5 ( 0.1/99.8%)
14.10/7.68	c (3,0) c  113            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.8%)
14.10/7.68	c (3,0) c  114            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.9%)
14.10/7.68	c (3,0) c  115            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.9%)
14.10/7.68	c (3,0) c  116            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
14.10/7.68	c (3,0) c  117            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
14.10/7.68	c (3,0) c  118            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
14.10/7.68	c (3,0) c  119            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.9%)
14.10/7.68	c (3,0) c  120            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
14.10/7.68	c (3,0) c  121            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  122            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  123            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  124            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  125            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  126            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  127            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  128            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  129            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  130            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  131            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  132            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  133            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  134            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  135            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  136            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  137            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  138            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  139            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  140            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  141            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  142            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  143            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  144            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  145            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  146            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  147            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  148            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  149            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  150            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  151            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  152            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  153            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  154            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  155            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  156            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  157            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  158            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  159            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  160            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  161            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  162            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  163            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  164            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  165            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  166            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  167            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  168            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
14.10/7.68	c (3,0) c  169            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
14.10/7.68	c (3,0) c
14.10/7.68	c (3,0) c Memory used       : 52.00 MB
14.10/7.68	c (3,0) c CPU time          : 2.965 s
14.10/7.68	c (3,0) c Real time         : 3.063 s
14.10/7.68	c (3,0) c
14.10/7.69	c (3,0) s SATISFIABLE
14.24/7.72	c (3,0) SatSolver.solve End
14.24/7.72	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.24/7.72	c (3,0) Show results Begin
14.47/7.82	c (3,0) x[0] = 20
14.47/7.82	c (3,0) x[1] = 19
14.47/7.82	c (3,0) x[2] = 21
14.47/7.82	c (3,0) x[3] = 18
14.47/7.82	c (3,0) x[4] = 22
14.47/7.82	c (3,0) x[5] = 17
14.47/7.82	c (3,0) x[6] = 23
14.47/7.82	c (3,0) x[7] = 16
14.47/7.82	c (3,0) x[8] = 24
14.47/7.82	c (3,0) x[9] = 15
14.47/7.82	c (3,0) x[10] = 25
14.47/7.82	c (3,0) x[11] = 14
14.47/7.82	c (3,0) x[12] = 26
14.47/7.82	c (3,0) x[13] = 13
14.47/7.82	c (3,0) x[14] = 27
14.47/7.82	c (3,0) x[15] = 12
14.47/7.82	c (3,0) x[16] = 28
14.47/7.82	c (3,0) x[17] = 11
14.47/7.82	c (3,0) x[18] = 29
14.47/7.82	c (3,0) x[19] = 10
14.47/7.82	c (3,0) x[20] = 30
14.47/7.82	c (3,0) x[21] = 9
14.47/7.82	c (3,0) x[22] = 31
14.47/7.82	c (3,0) x[23] = 8
14.47/7.82	c (3,0) x[24] = 32
14.47/7.83	c (3,0) x[25] = 7
14.47/7.83	c (3,0) x[26] = 33
14.47/7.83	c (3,0) x[27] = 6
14.47/7.83	c (3,0) x[28] = 34
14.47/7.83	c (3,0) x[29] = 5
14.47/7.83	c (3,0) x[30] = 35
14.47/7.83	c (3,0) x[31] = 4
14.47/7.83	c (3,0) x[32] = 36
14.47/7.83	c (3,0) x[33] = 3
14.47/7.83	c (3,0) x[34] = 37
14.47/7.83	c (3,0) x[35] = 2
14.47/7.83	c (3,0) x[36] = 38
14.47/7.83	c (3,0) x[37] = 1
14.47/7.83	c (3,0) x[38] = 39
14.47/7.83	c (3,0) x[39] = 0
14.47/7.83	c (3,0) y[0] = 1
14.47/7.83	c (3,0) y[1] = 2
14.47/7.83	c (3,0) y[2] = 3
14.47/7.83	c (3,0) y[3] = 4
14.47/7.83	c (3,0) y[4] = 5
14.47/7.83	c (3,0) y[5] = 6
14.47/7.83	c (3,0) y[6] = 7
14.47/7.83	c (3,0) y[7] = 8
14.47/7.83	c (3,0) y[8] = 9
14.47/7.83	c (3,0) y[9] = 10
14.47/7.83	c (3,0) y[10] = 11
14.47/7.83	c (3,0) y[11] = 12
14.47/7.83	c (3,0) y[12] = 13
14.47/7.83	c (3,0) y[13] = 14
14.47/7.83	c (3,0) y[14] = 15
14.47/7.83	c (3,0) y[15] = 16
14.47/7.83	c (3,0) y[16] = 17
14.47/7.83	c (3,0) y[17] = 18
14.47/7.83	c (3,0) y[18] = 19
14.47/7.83	c (3,0) y[19] = 20
14.47/7.83	c (3,0) y[20] = 21
14.47/7.83	c (3,0) y[21] = 22
14.47/7.83	c (3,0) y[22] = 23
14.47/7.83	c (3,0) y[23] = 24
14.47/7.83	c (3,0) y[24] = 25
14.47/7.83	c (3,0) y[25] = 26
14.47/7.83	c (3,0) y[26] = 27
14.47/7.83	c (3,0) y[27] = 28
14.47/7.83	c (3,0) y[28] = 29
14.47/7.83	c (3,0) y[29] = 30
14.47/7.83	c (3,0) y[30] = 31
14.47/7.83	c (3,0) y[31] = 32
14.47/7.83	c (3,0) y[32] = 33
14.47/7.83	c (3,0) y[33] = 34
14.47/7.83	c (3,0) y[34] = 35
14.47/7.83	c (3,0) y[35] = 36
14.47/7.83	c (3,0) y[36] = 37
14.47/7.83	c (3,0) y[37] = 38
14.47/7.83	c (3,0) y[38] = 39
14.47/7.83	s SATISFIABLE
14.47/7.84	v <instantiation>
14.47/7.84	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38]</list>
14.47/7.84	v     <values>20 19 21 18 22 17 23 16 24 15 25 14 26 13 27 12 28 11 29 10 30 9 31 8 32 7 33 6 34 5 35 4 36 3 37 2 38 1 39 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39</values>
14.47/7.84	v </instantiation>
14.47/7.84	c (3,0) Show results End
14.47/7.84	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
14.47/7.84	c (3,0) 3,3,STOP-AFTER(ALL)
14.47/7.84	c END-Prog: Thu Sep 12 14:01:03 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387746-1568289699/watcher-4387746-1568289699 -o /tmp/evaluation-result-4387746-1568289699/solver-4387746-1568289699 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568289646-11937 --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-4387746-1568289699.xml 

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

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

solver pid=12080, runsolver pid=12077

[startup+0.10014 s]*
/proc/loadavg: 3.52 5.17 5.18 4/230 12097
/proc/meminfo: memFree=20355660/32770624 swapFree=67003116/67108860
[pid=12080] ppid=12077 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12080/stat : 12080 (scop.sh) S 12077 12080 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405218601 115843072 349 33554432000 4194304 5098028 140729392017264 140729392014520 139927471702652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7430144 140729392026408 140729392026736 140729392026736 140729392029645 0
/proc/12080/statm: 28282 349 296 221 0 87 0
[pid=12083] ppid=12080 vsize=15012696 memory=72776 CPUtime=0.12 cores=1,3,5,7
/proc/12083/stat : 12083 (java) S 12080 12080 11905 0 -1 1077944320 6455 0 0 0 9 3 0 0 20 0 15 0 405218601 15373000704 18194 33554432000 4194304 4196468 140727132083872 140727132066416 139985310813943 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
/proc/12083/statm: 3753174 18194 2919 1 0 3715579 0
[pid=12083/tid=12084] ppid=12080 vsize=15012696 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/12083/task/12084/stat : 12084 (java) R 12080 12080 11905 0 -1 4202560 4266 0 0 0 7 2 0 0 20 0 15 0 405218601 15373000704 18260 33554432000 4194304 4196468 140727132083872 139985282607848 139985294894430 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12085] ppid=12080 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12085/stat : 12085 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 18260 33554432000 4194304 4196468 140727132083872 139985315056400 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12086] ppid=12080 vsize=15012696 memory=139930282419840 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12086/stat : 12086 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 18260 33554432000 4194304 4196468 140727132083872 139985133144976 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12087] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12087/stat : 12087 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 18260 33554432000 4194304 4196468 140727132083872 139985132092432 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12088] ppid=12080 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12088/stat : 12088 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 18260 33554432000 4194304 4196468 140727132083872 139984769723536 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12089] ppid=12080 vsize=15012696 memory=139930282419840 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12089/stat : 12089 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218604 15373000704 18260 33554432000 4194304 4196468 140727132083872 139984650450928 139985310825090 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12090] ppid=12080 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12090/stat : 12090 (java) S 12080 12080 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405218605 15373000704 18260 33554432000 4194304 4196468 140727132083872 139983889359776 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12091] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12091/stat : 12091 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218605 15373000704 18260 33554432000 4194304 4196468 140727132083872 139983654478832 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12092] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12092/stat : 12092 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218607 15373000704 18260 33554432000 4194304 4196468 140727132083872 139983279970512 139985310832539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12093] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12093/stat : 12093 (java) S 12080 12080 11905 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 405218607 15373000704 18260 33554432000 4194304 4196468 140727132083872 139984649398768 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12094] ppid=12080 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12094/stat : 12094 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218607 15373000704 18260 33554432000 4194304 4196468 140727132083872 139984648346224 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12095] ppid=12080 vsize=15012696 memory=139930282419840 CPUtime=0.01 cores=1,3,5,7
/proc/12083/task/12095/stat : 12095 (java) R 12080 12080 11905 0 -1 4202560 432 0 0 0 1 0 0 0 20 0 15 0 405218607 15373000704 18260 33554432000 4194304 4196468 140727132083872 139984647290616 139985310825878 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12096] ppid=12080 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12096/stat : 12096 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218608 15373000704 18260 33554432000 4194304 4196468 140727132083872 139982782065760 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12097] ppid=12080 vsize=15012696 memory=139930282419840 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12097/stat : 12097 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218608 15373000704 18260 33554432000 4194304 4196468 140727132083872 139984646240560 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74172 KiB

[startup+0.210868 s]*
/proc/loadavg: 3.52 5.17 5.18 6/230 12097
/proc/meminfo: memFree=20278808/32770624 swapFree=67003116/67108860
[pid=12080] ppid=12077 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12080/stat : 12080 (scop.sh) S 12077 12080 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405218601 115843072 349 33554432000 4194304 5098028 140729392017264 140729392014520 139927471702652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7430144 140729392026408 140729392026736 140729392026736 140729392029645 0
/proc/12080/statm: 28282 349 296 221 0 87 0
[pid=12083] ppid=12080 vsize=15012696 memory=88132 CPUtime=0.26 cores=1,3,5,7
/proc/12083/stat : 12083 (java) S 12080 12080 11905 0 -1 1077944320 11598 0 0 0 21 5 0 0 20 0 15 0 405218601 15373000704 22033 33554432000 4194304 4196468 140727132083872 140727132066416 139985310813943 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
/proc/12083/statm: 3753174 22033 2927 1 0 3715579 0
[pid=12083/tid=12084] ppid=12080 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/12083/task/12084/stat : 12084 (java) R 12080 12080 11905 0 -1 4202560 9342 0 0 0 16 4 0 0 20 0 15 0 405218601 15373000704 22033 33554432000 4194304 4196468 140727132083872 139985282629584 139985294894430 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12085] ppid=12080 vsize=15012696 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12085/stat : 12085 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 22033 33554432000 4194304 4196468 140727132083872 139985315056400 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12086] ppid=12080 vsize=15012696 memory=139930285356425 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12086/stat : 12086 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 22033 33554432000 4194304 4196468 140727132083872 139985133144976 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12087] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12087/stat : 12087 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 22033 33554432000 4194304 4196468 140727132083872 139985132092432 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12088] ppid=12080 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12088/stat : 12088 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 22033 33554432000 4194304 4196468 140727132083872 139984769723536 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12089] ppid=12080 vsize=15012696 memory=139930282419840 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12089/stat : 12089 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218604 15373000704 22033 33554432000 4194304 4196468 140727132083872 139984650450928 139985310825090 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12090] ppid=12080 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12090/stat : 12090 (java) S 12080 12080 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405218605 15373000704 22033 33554432000 4194304 4196468 140727132083872 139983889359776 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12091] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12091/stat : 12091 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218605 15373000704 22033 33554432000 4194304 4196468 140727132083872 139983654478832 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12092] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12092/stat : 12092 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218607 15373000704 22033 33554432000 4194304 4196468 140727132083872 139983279970512 139985310832539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12093] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12093/stat : 12093 (java) S 12080 12080 11905 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 405218607 15373000704 22033 33554432000 4194304 4196468 140727132083872 139984649398768 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12094] ppid=12080 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12094/stat : 12094 (java) S 12080 12080 11905 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 405218607 15373000704 22033 33554432000 4194304 4196468 140727132083872 139984648346224 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12095] ppid=12080 vsize=15012696 memory=139930282419840 CPUtime=0.03 cores=1,3,5,7
/proc/12083/task/12095/stat : 12095 (java) S 12080 12080 11905 0 -1 1077944384 450 0 0 0 3 0 0 0 20 0 15 0 405218607 15373000704 22033 33554432000 4194304 4196468 140727132083872 139984647293680 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12096] ppid=12080 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12096/stat : 12096 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218608 15373000704 22033 33554432000 4194304 4196468 140727132083872 139982782065760 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12097] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12097/stat : 12097 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218608 15373000704 22033 33554432000 4194304 4196468 140727132083872 139984646240560 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89528 KiB

[startup+0.310775 s]*
/proc/loadavg: 3.52 5.17 5.18 7/230 12097
/proc/meminfo: memFree=20207564/32770624 swapFree=67003116/67108860
[pid=12080] ppid=12077 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12080/stat : 12080 (scop.sh) S 12077 12080 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405218601 115843072 349 33554432000 4194304 5098028 140729392017264 140729392014520 139927471702652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7430144 140729392026408 140729392026736 140729392026736 140729392029645 0
/proc/12080/statm: 28282 349 296 221 0 87 0
[pid=12083] ppid=12080 vsize=15012696 memory=92164 CPUtime=0.43 cores=1,3,5,7
/proc/12083/stat : 12083 (java) S 12080 12080 11905 0 -1 1077944320 12551 0 0 0 38 5 0 0 20 0 15 0 405218601 15373000704 23041 33554432000 4194304 4196468 140727132083872 140727132066416 139985310813943 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
/proc/12083/statm: 3753174 23041 3066 1 0 3715579 0
[pid=12083/tid=12084] ppid=12080 vsize=15012696 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/12083/task/12084/stat : 12084 (java) R 12080 12080 11905 0 -1 4202560 10084 0 0 0 26 4 0 0 20 0 15 0 405218601 15373000704 23041 33554432000 4194304 4196468 140727132083872 139985282596960 139985294000734 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12085] ppid=12080 vsize=15012696 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12085/stat : 12085 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 23041 33554432000 4194304 4196468 140727132083872 139985315056400 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12086] ppid=12080 vsize=15012696 memory=2948495 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12086/stat : 12086 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 23041 33554432000 4194304 4196468 140727132083872 139985133144976 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12087] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12087/stat : 12087 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 23041 33554432000 4194304 4196468 140727132083872 139985132092432 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12088] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12088/stat : 12088 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218603 15373000704 23041 33554432000 4194304 4196468 140727132083872 139984769723536 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12089] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12089/stat : 12089 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218604 15373000704 23041 33554432000 4194304 4196468 140727132083872 139984650450928 139985310825090 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12090] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12090/stat : 12090 (java) S 12080 12080 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405218605 15373000704 23041 33554432000 4194304 4196468 140727132083872 139983889359776 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12091] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12091/stat : 12091 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218605 15373000704 23041 33554432000 4194304 4196468 140727132083872 139983654478832 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12092] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12092/stat : 12092 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218607 15373000704 23041 33554432000 4194304 4196468 140727132083872 139983279970512 139985310832539 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12093] ppid=12080 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12083/task/12093/stat : 12093 (java) S 12080 12080 11905 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 405218607 15373000704 23041 33554432000 4194304 4196468 140727132083872 139984649398768 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12094] ppid=12080 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12083/task/12094/stat : 12094 (java) S 12080 12080 11905 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 15 0 405218607 15373000704 23041 33554432000 4194304 4196468 140727132083872 139984648346224 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12095] ppid=12080 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12083/task/12095/stat : 12095 (java) S 12080 12080 11905 0 -1 1077944384 493 0 0 0 7 0 0 0 20 0 15 0 405218607 15373000704 23041 33554432000 4194304 4196468 140727132083872 139984647293680 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12096] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12096/stat : 12096 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218608 15373000704 23041 33554432000 4194304 4196468 140727132083872 139982782065760 139985310824149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12097] ppid=12080 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12097/stat : 12097 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218608 15373000704 23041 33554432000 4194304 4196468 140727132083872 139984646240560 139985310825090 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93560 KiB

[startup+0.700911 s]
/proc/loadavg: 3.52 5.17 5.18 3/230 12097
/proc/meminfo: memFree=20135268/32770624 swapFree=67003116/67108860
[pid=12080] ppid=12077 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12080/stat : 12080 (scop.sh) S 12077 12080 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405218601 115843072 349 33554432000 4194304 5098028 140729392017264 140729392014520 139927471702652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7430144 140729392026408 140729392026736 140729392026736 140729392029645 0
/proc/12080/statm: 28282 349 296 221 0 87 0
[pid=12083] ppid=12080 vsize=15021092 memory=130248 CPUtime=0.99 cores=1,3,5,7
/proc/12083/stat : 12083 (java) S 12080 12080 11905 0 -1 1077944320 19959 0 0 0 92 7 0 0 20 0 15 0 405218601 15381598208 32562 33554432000 4194304 4196468 140727132083872 140727132066416 139985310813943 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
/proc/12083/statm: 3755273 32562 3209 1 0 3716603 0
[pid=12083/tid=12084] ppid=12080 vsize=15021092 memory=20236 CPUtime=0.68 cores=1,3,5,7
/proc/12083/task/12084/stat : 12084 (java) R 12080 12080 11905 0 -1 4202560 16989 0 0 0 62 6 0 0 20 0 15 0 405218601 15381598208 32562 33554432000 4194304 4196468 140727132083872 139985282647024 139985294857573 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12085] ppid=12080 vsize=15021092 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12085/stat : 12085 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15381598208 32562 33554432000 4194304 4196468 140727132083872 139985315056400 139985310824149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12086] ppid=12080 vsize=15021092 memory=500 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12086/stat : 12086 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15381598208 32562 33554432000 4194304 4196468 140727132083872 139985133144976 139985310824149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12087] ppid=12080 vsize=15021092 memory=932 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12087/stat : 12087 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218603 15381598208 32562 33554432000 4194304 4196468 140727132083872 139985132092432 139985310824149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12088] ppid=12080 vsize=15021092 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12088/stat : 12088 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218603 15381598208 32562 33554432000 4194304 4196468 140727132083872 139984769723536 139985310824149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12089] ppid=12080 vsize=15021092 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12089/stat : 12089 (java) S 12080 12080 11905 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405218604 15381598208 32562 33554432000 4194304 4196468 140727132083872 139984650450928 139985310825090 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12090] ppid=12080 vsize=15021092 memory=804 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12090/stat : 12090 (java) S 12080 12080 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405218605 15381598208 32562 33554432000 4194304 4196468 140727132083872 139983889359776 139985310824149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12091] ppid=12080 vsize=15021092 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12091/stat : 12091 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218605 15381598208 32562 33554432000 4194304 4196468 140727132083872 139983654478832 139985310824149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12092] ppid=12080 vsize=15021092 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12092/stat : 12092 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218607 15381598208 32562 33554432000 4194304 4196468 140727132083872 139983279970512 139985310832539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12093] ppid=12080 vsize=15021092 memory=2580 CPUtime=0.08 cores=1,3,5,7
/proc/12083/task/12093/stat : 12093 (java) R 12080 12080 11905 0 -1 1077944384 717 0 0 0 8 0 0 0 20 0 15 0 405218607 15381598208 32562 33554432000 4194304 4196468 140727132083872 139984649398768 139985310825090 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12094] ppid=12080 vsize=15021092 memory=1764 CPUtime=0.07 cores=1,3,5,7
/proc/12083/task/12094/stat : 12094 (java) R 12080 12080 11905 0 -1 4202560 333 0 0 0 7 0 0 0 20 0 15 0 405218607 15381598208 32562 33554432000 4194304 4196468 140727132083872 139984648339248 139985295211074 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12095] ppid=12080 vsize=15021092 memory=111632 CPUtime=0.14 cores=1,3,5,7
/proc/12083/task/12095/stat : 12095 (java) R 12080 12080 11905 0 -1 4202560 585 0 0 0 14 0 0 0 20 0 15 0 405218607 15381598208 32562 33554432000 4194304 4196468 140727132083872 139984647293680 139985295153304 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12096] ppid=12080 vsize=15021092 memory=796 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12096/stat : 12096 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218608 15381598208 32562 33554432000 4194304 4196468 140727132083872 139982782065760 139985310824149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
[pid=12083/tid=12097] ppid=12080 vsize=15021092 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/12083/task/12097/stat : 12097 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218608 15381598208 32562 33554432000 4194304 4196468 140727132083872 139984646240560 139985310825090 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140727132087022 140727132087450 140727132087450 140727132090319 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131644 KiB

[startup+1.50116 s]
/proc/loadavg: 3.52 5.17 5.18 4/230 12097
/proc/meminfo: memFree=20020564/32770624 swapFree=67003116/67108860
[pid=12080] ppid=12077 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12080/stat : 12080 (scop.sh) S 12077 12080 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405218601 115843072 349 33554432000 4194304 5098028 140729392017264 140729392014520 139927471702652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7430144 140729392026408 140729392026736 140729392026736 140729392029645 0
/proc/12080/statm: 28282 349 296 221 0 87 0

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

/proc/12098/task/12114/stat : 12114 (java) S 12080 12080 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405219063 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297884148672 140298651377433 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12116] ppid=12080 vsize=8068440 memory=64 CPUtime=0.01 cores=1,3,5,7
/proc/12098/task/12116/stat : 12116 (java) S 12080 12080 11905 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 405219063 8262082560 29317 33554432000 4194304 4196468 140731637284432 140295844900336 140298651374749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12117] ppid=12080 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12117/stat : 12117 (java) S 12080 12080 11905 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405219063 8262082560 29317 33554432000 4194304 4196468 140731637284432 140295979122576 140298651374749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12118] ppid=12080 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12118/stat : 12118 (java) S 12080 12080 11905 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405219065 8262082560 29317 33554432000 4194304 4196468 140731637284432 140295576477104 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
Current children cumulated CPU time: 12.9 s
Current children cumulated vsize: 8223020 KiB
Current children cumulated memory: 145672 KiB

[startup+7.201 s]
/proc/loadavg: 3.32 5.10 5.16 3/235 12140
/proc/meminfo: memFree=19953212/32770624 swapFree=67003116/67108860
[pid=12080] ppid=12077 vsize=113128 memory=1476 CPUtime=10 cores=1,3,5,7
/proc/12080/stat : 12080 (scop.sh) S 12077 12080 11905 0 -1 4202496 582 29579 0 0 0 0 970 30 20 0 1 0 405218601 115843072 369 33554432000 4194304 5098028 140729392017264 140729392014008 139927471702652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7430144 140729392026408 140729392026736 140729392026736 140729392029645 0
/proc/12080/statm: 28282 369 311 221 0 87 0
[pid=12098] ppid=12080 vsize=8068440 memory=117268 CPUtime=1.13 cores=1,3,5,7
/proc/12098/stat : 12098 (java) S 12080 12080 11905 0 -1 1077944320 19244 0 0 0 107 6 0 0 20 0 19 0 405218991 8262082560 29317 33554432000 4194304 4196468 140731637284432 140731637266976 140298651352823 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
/proc/12098/statm: 2017110 29317 3197 1 0 1978454 0
[pid=12113] ppid=12098 vsize=52948 memory=32028 CPUtime=2.57 cores=1,3,5,7
/proc/12113/stat : 12113 (glueminisat-sim) R 12098 12080 11905 0 -1 4202496 12694 0 0 0 249 8 0 0 20 0 1 0 405219062 54218752 8007 33554432000 4194304 4452875 140722526391152 140722526386248 140003182952327 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 38940672 140722526393183 140722526393383 140722526393383 140722526396333 0
/proc/12113/statm: 13237 8007 381 64 0 9441 0
[pid=12098/tid=12099] ppid=12080 vsize=8068440 memory=2024 CPUtime=0.74 cores=1,3,5,7
/proc/12098/task/12099/stat : 12099 (java) S 12080 12080 11905 0 -1 1077944384 16369 0 0 0 70 4 0 0 20 0 19 0 405218992 8262082560 29317 33554432000 4194304 4196468 140731637284432 140298623192992 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12100] ppid=12080 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12100/stat : 12100 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405218993 8262082560 29317 33554432000 4194304 4196468 140731637284432 140298655595408 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12101] ppid=12080 vsize=8068440 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12101/stat : 12101 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405218993 8262082560 29317 33554432000 4194304 4196468 140731637284432 140298464156432 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12102] ppid=12080 vsize=8068440 memory=14410410686155187 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12102/stat : 12102 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405218993 8262082560 29317 33554432000 4194304 4196468 140731637284432 140298135002256 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12103] ppid=12080 vsize=8068440 memory=932 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12103/stat : 12103 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405218993 8262082560 29317 33554432000 4194304 4196468 140731637284432 140298133949456 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12104] ppid=12080 vsize=8068440 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12104/stat : 12104 (java) S 12080 12080 11905 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405218994 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297896392816 140298651363970 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12105] ppid=12080 vsize=8068440 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12105/stat : 12105 (java) S 12080 12080 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405218995 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297522635552 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12106] ppid=12080 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12106/stat : 12106 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405218995 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297254200432 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12107] ppid=12080 vsize=8068440 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12107/stat : 12107 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405218997 8262082560 29317 33554432000 4194304 4196468 140731637284432 140296879691856 140298651371419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12108] ppid=12080 vsize=8068440 memory=1980 CPUtime=0.06 cores=1,3,5,7
/proc/12098/task/12108/stat : 12108 (java) S 12080 12080 11905 0 -1 1077944384 605 0 0 0 6 0 0 0 20 0 19 0 405218997 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297895340656 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12109] ppid=12080 vsize=8068440 memory=2580 CPUtime=0.08 cores=1,3,5,7
/proc/12098/task/12109/stat : 12109 (java) S 12080 12080 11905 0 -1 1077944384 344 0 0 0 8 0 0 0 20 0 19 0 405218997 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297894287856 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12110] ppid=12080 vsize=8068440 memory=1764 CPUtime=0.2 cores=1,3,5,7
/proc/12098/task/12110/stat : 12110 (java) S 12080 12080 11905 0 -1 1077944384 513 0 0 0 20 0 0 0 20 0 19 0 405218997 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297893235568 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12111] ppid=12080 vsize=8068440 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12111/stat : 12111 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405218998 8262082560 29317 33554432000 4194304 4196468 140731637284432 140296381787104 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12112] ppid=12080 vsize=8068440 memory=796 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12112/stat : 12112 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405218998 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297892182448 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12114] ppid=12080 vsize=8068440 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12114/stat : 12114 (java) S 12080 12080 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405219063 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297884148672 140298651377433 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12116] ppid=12080 vsize=8068440 memory=1476 CPUtime=0.01 cores=1,3,5,7
/proc/12098/task/12116/stat : 12116 (java) S 12080 12080 11905 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 405219063 8262082560 29317 33554432000 4194304 4196468 140731637284432 140295844900336 140298651374749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12117] ppid=12080 vsize=8068440 memory=117188 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12117/stat : 12117 (java) S 12080 12080 11905 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405219063 8262082560 29317 33554432000 4194304 4196468 140731637284432 140295979122576 140298651374749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12118] ppid=12080 vsize=8068440 memory=25904 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12118/stat : 12118 (java) S 12080 12080 11905 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405219065 8262082560 29317 33554432000 4194304 4196468 140731637284432 140295576477104 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
Current children cumulated CPU time: 13.7 s
Current children cumulated vsize: 8234516 KiB
Current children cumulated memory: 150772 KiB

[startup+7.60098 s]
/proc/loadavg: 3.32 5.10 5.16 3/235 12140
/proc/meminfo: memFree=19953212/32770624 swapFree=67003116/67108860
[pid=12080] ppid=12077 vsize=113128 memory=1476 CPUtime=10 cores=1,3,5,7
/proc/12080/stat : 12080 (scop.sh) S 12077 12080 11905 0 -1 4202496 582 29579 0 0 0 0 970 30 20 0 1 0 405218601 115843072 369 33554432000 4194304 5098028 140729392017264 140729392014008 139927471702652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7430144 140729392026408 140729392026736 140729392026736 140729392029645 0
/proc/12080/statm: 28282 369 311 221 0 87 0
[pid=12098] ppid=12080 vsize=8068440 memory=117268 CPUtime=1.13 cores=1,3,5,7
/proc/12098/stat : 12098 (java) S 12080 12080 11905 0 -1 1077944320 19244 0 0 0 107 6 0 0 20 0 19 0 405218991 8262082560 29317 33554432000 4194304 4196468 140731637284432 140731637266976 140298651352823 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
/proc/12098/statm: 2017110 29317 3197 1 0 1978454 0
[pid=12113] ppid=12098 vsize=52948 memory=32164 CPUtime=2.97 cores=1,3,5,7
/proc/12113/stat : 12113 (glueminisat-sim) R 12098 12080 11905 0 -1 4202496 12752 0 0 0 288 9 0 0 20 0 1 0 405219062 54218752 8041 33554432000 4194304 4452875 140722526391152 140722526386248 140003182952327 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 38940672 140722526393183 140722526393383 140722526393383 140722526396333 0
/proc/12113/statm: 13237 8041 381 64 0 9441 0
[pid=12098/tid=12099] ppid=12080 vsize=8068440 memory=610 CPUtime=0.74 cores=1,3,5,7
/proc/12098/task/12099/stat : 12099 (java) S 12080 12080 11905 0 -1 1077944384 16369 0 0 0 70 4 0 0 20 0 19 0 405218992 8262082560 29317 33554432000 4194304 4196468 140731637284432 140298623192992 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12100] ppid=12080 vsize=8068440 memory=147 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12100/stat : 12100 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405218993 8262082560 29317 33554432000 4194304 4196468 140731637284432 140298655595408 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12101] ppid=12080 vsize=8068440 memory=279860337582256 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12101/stat : 12101 (java) S 12080 12080 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405218993 8262082560 29317 33554432000 4194304 4196468 140731637284432 140298464156432 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12102] ppid=12080 vsize=8068440 memory=13841 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12102/stat : 12102 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405218993 8262082560 29317 33554432000 4194304 4196468 140731637284432 140298135002256 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12103] ppid=12080 vsize=8068440 memory=23621 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12103/stat : 12103 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405218993 8262082560 29317 33554432000 4194304 4196468 140731637284432 140298133949456 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12104] ppid=12080 vsize=8068440 memory=37364 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12104/stat : 12104 (java) S 12080 12080 11905 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405218994 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297896392816 140298651363970 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12105] ppid=12080 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12105/stat : 12105 (java) S 12080 12080 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405218995 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297522635552 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12106] ppid=12080 vsize=8068440 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12106/stat : 12106 (java) S 12080 12080 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405218995 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297254200432 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12107] ppid=12080 vsize=8068440 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12107/stat : 12107 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405218997 8262082560 29317 33554432000 4194304 4196468 140731637284432 140296879691856 140298651371419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12108] ppid=12080 vsize=8068440 memory=776 CPUtime=0.06 cores=1,3,5,7
/proc/12098/task/12108/stat : 12108 (java) S 12080 12080 11905 0 -1 1077944384 605 0 0 0 6 0 0 0 20 0 19 0 405218997 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297895340656 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12109] ppid=12080 vsize=8068440 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/12098/task/12109/stat : 12109 (java) S 12080 12080 11905 0 -1 1077944384 344 0 0 0 8 0 0 0 20 0 19 0 405218997 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297894287856 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12110] ppid=12080 vsize=8068440 memory=1568 CPUtime=0.2 cores=1,3,5,7
/proc/12098/task/12110/stat : 12110 (java) S 12080 12080 11905 0 -1 1077944384 513 0 0 0 20 0 0 0 20 0 19 0 405218997 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297893235568 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12111] ppid=12080 vsize=8068440 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12111/stat : 12111 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405218998 8262082560 29317 33554432000 4194304 4196468 140731637284432 140296381787104 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12112] ppid=12080 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12112/stat : 12112 (java) S 12080 12080 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405218998 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297892182448 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12114] ppid=12080 vsize=8068440 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12114/stat : 12114 (java) S 12080 12080 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405219063 8262082560 29317 33554432000 4194304 4196468 140731637284432 140297884148672 140298651377433 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12116] ppid=12080 vsize=8068440 memory=2120 CPUtime=0.01 cores=1,3,5,7
/proc/12098/task/12116/stat : 12116 (java) S 12080 12080 11905 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 405219063 8262082560 29317 33554432000 4194304 4196468 140731637284432 140295844900336 140298651374749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12117] ppid=12080 vsize=8068440 memory=20240 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12117/stat : 12117 (java) S 12080 12080 11905 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405219063 8262082560 29317 33554432000 4194304 4196468 140731637284432 140295979122576 140298651374749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12118] ppid=12080 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/12098/task/12118/stat : 12118 (java) S 12080 12080 11905 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405219065 8262082560 29317 33554432000 4194304 4196468 140731637284432 140295576477104 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
Current children cumulated CPU time: 14.1 s
Current children cumulated vsize: 8234516 KiB
Current children cumulated memory: 150908 KiB

[startup+7.80203 s]
/proc/loadavg: 3.32 5.10 5.16 3/235 12140
/proc/meminfo: memFree=19953212/32770624 swapFree=67003116/67108860
[pid=12080] ppid=12077 vsize=113128 memory=1476 CPUtime=10 cores=1,3,5,7
/proc/12080/stat : 12080 (scop.sh) S 12077 12080 11905 0 -1 4202496 582 29579 0 0 0 0 970 30 20 0 1 0 405218601 115843072 369 33554432000 4194304 5098028 140729392017264 140729392014008 139927471702652 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7430144 140729392026408 140729392026736 140729392026736 140729392029645 0
/proc/12080/statm: 28282 369 311 221 0 87 0
[pid=12098] ppid=12080 vsize=7937364 memory=127852 CPUtime=4.47 cores=1,3,5,7
/proc/12098/stat : 12098 (java) S 12080 12080 11905 0 -1 1077944320 20416 12795 0 0 136 6 296 9 20 0 17 0 405218991 8127860736 31963 33554432000 4194304 4196468 140731637284432 140731637266976 140298651352823 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
/proc/12098/statm: 1984341 31963 3223 1 0 1945685 0
[pid=12098/tid=12099] ppid=12080 vsize=7937364 memory=1704 CPUtime=3.87 cores=1,3,5,7
/proc/12098/task/12099/stat : 12099 (java) R 12080 12080 11905 0 -1 4202560 16687 12795 0 0 78 4 296 9 20 0 17 0 405218992 8127860736 31963 33554432000 4194304 4196468 140731637284432 140298623190648 140298143550460 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12100] ppid=12080 vsize=7937364 memory=1656 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12100/stat : 12100 (java) S 12080 12080 11905 0 -1 1077944384 2 12795 0 0 0 0 296 9 20 0 17 0 405218993 8127860736 31963 33554432000 4194304 4196468 140731637284432 140298655595408 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12101] ppid=12080 vsize=7937364 memory=804 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12101/stat : 12101 (java) S 12080 12080 11905 0 -1 1077944384 2 12795 0 0 0 0 296 9 20 0 17 0 405218993 8127860736 31963 33554432000 4194304 4196468 140731637284432 140298464156432 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12102] ppid=12080 vsize=7937364 memory=1448 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12102/stat : 12102 (java) S 12080 12080 11905 0 -1 1077944384 1 12795 0 0 0 0 296 9 20 0 17 0 405218993 8127860736 31963 33554432000 4194304 4196468 140731637284432 140298135002256 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12103] ppid=12080 vsize=7937364 memory=1980 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12103/stat : 12103 (java) S 12080 12080 11905 0 -1 1077944384 1 12795 0 0 0 0 296 9 20 0 17 0 405218993 8127860736 31963 33554432000 4194304 4196468 140731637284432 140298133949456 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12104] ppid=12080 vsize=7937364 memory=-7824251494390518891 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12104/stat : 12104 (java) S 12080 12080 11905 0 -1 1077944384 6 12795 0 0 0 0 296 9 20 0 17 0 405218994 8127860736 31963 33554432000 4194304 4196468 140731637284432 140297896392816 140298651363970 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12105] ppid=12080 vsize=7937364 memory=0 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12105/stat : 12105 (java) S 12080 12080 11905 0 -1 1077944384 13 12795 0 0 0 0 296 9 20 0 17 0 405218995 8127860736 31963 33554432000 4194304 4196468 140731637284432 140297522635552 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12106] ppid=12080 vsize=7937364 memory=8318037008590930093 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12106/stat : 12106 (java) S 12080 12080 11905 0 -1 1077944384 1 12795 0 0 0 0 296 9 20 0 17 0 405218995 8127860736 31963 33554432000 4194304 4196468 140731637284432 140297254200432 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12107] ppid=12080 vsize=7937364 memory=6944656592455359580 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12107/stat : 12107 (java) S 12080 12080 11905 0 -1 1077944384 3 12795 0 0 0 0 296 9 20 0 17 0 405218997 8127860736 31963 33554432000 4194304 4196468 140731637284432 140296879691856 140298651371419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12108] ppid=12080 vsize=7937364 memory=6655300316396806240 CPUtime=3.17 cores=1,3,5,7
/proc/12098/task/12108/stat : 12108 (java) S 12080 12080 11905 0 -1 1077944384 710 12795 0 0 12 0 296 9 20 0 17 0 405218997 8127860736 31963 33554432000 4194304 4196468 140731637284432 140297895340656 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12109] ppid=12080 vsize=7937364 memory=6944652177228980320 CPUtime=3.18 cores=1,3,5,7
/proc/12098/task/12109/stat : 12109 (java) S 12080 12080 11905 0 -1 1077944384 377 12795 0 0 13 0 296 9 20 0 17 0 405218997 8127860736 31963 33554432000 4194304 4196468 140731637284432 140297894287856 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12110] ppid=12080 vsize=7937364 memory=-4190076264842474805 CPUtime=3.31 cores=1,3,5,7
/proc/12098/task/12110/stat : 12110 (java) R 12080 12080 11905 0 -1 4202560 661 12795 0 0 26 0 296 9 20 0 17 0 405218997 8127860736 31963 33554432000 4194304 4196468 140731637284432 140297893235568 140298651366727 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12111] ppid=12080 vsize=7937364 memory=-7089961413695357087 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12111/stat : 12111 (java) S 12080 12080 11905 0 -1 1077944384 3 12795 0 0 0 0 296 9 20 0 17 0 405218998 8127860736 31963 33554432000 4194304 4196468 140731637284432 140296381787104 140298651363029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12112] ppid=12080 vsize=7937364 memory=6944656425123485561 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12112/stat : 12112 (java) S 12080 12080 11905 0 -1 1077944384 3 12795 0 0 0 0 296 9 20 0 17 0 405218998 8127860736 31963 33554432000 4194304 4196468 140731637284432 140297892182448 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12114] ppid=12080 vsize=7937364 memory=7893295687695687954 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12114/stat : 12114 (java) S 12080 12080 11905 0 -1 1077944384 37 12795 0 0 0 0 296 9 20 0 17 0 405219063 8127860736 31963 33554432000 4194304 4196468 140731637284432 140297884147856 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
[pid=12098/tid=12118] ppid=12080 vsize=7937364 memory=6576575808606938537 CPUtime=3.05 cores=1,3,5,7
/proc/12098/task/12118/stat : 12118 (java) S 12080 12080 11905 0 -1 1077944384 10 12795 0 0 0 0 296 9 20 0 17 0 405219065 8127860736 31963 33554432000 4194304 4196468 140731637284432 140295576478896 140298651363970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11874304 140731637285883 140731637286042 140731637286042 140731637288911 0
Current children cumulated CPU time: 14.47 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 129328 KiB

Child status: 0
Real time (s): 7.84883
CPU time (s): 14.6022
CPU user time (s): 14.1052
CPU system time (s): 0.496978
CPU usage (%): 186.043
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 1146368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1052
system time used= 0.496978
maximum resident set size= 1153616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5707
involuntary context switches= 47


# summary of solver processes directly reported to runsolver:
#   pid: 12080
#   total CPU time (s): 14.6022
#   total CPU user time (s): 14.1052
#   total CPU system time (s): 0.496978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079404 second user time and 0.126233 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-12 14:00:55
IDJOB=4387746
IDBENCH=124114
IDSOLVER=2825
FILE ID=node136/4387746-1568289699
RUNJOBID= node136-1568289646-11937
PBS_JOBID= 21701094
Free space on /tmp= 54620 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-040.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-4387746-1568289699/watcher-4387746-1568289699 -o /tmp/evaluation-result-4387746-1568289699/solver-4387746-1568289699 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568289646-11937 --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-4387746-1568289699.xml

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

MD5SUM BENCH= b74d7d5d03f7c84e1bb19748e6149180
RANDOM SEED=1869322895

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:        20461896 kB
MemAvailable:   29096232 kB
Buffers:           83964 kB
Cached:          8755224 kB
SwapCached:         2468 kB
Active:          4100740 kB
Inactive:        7504028 kB
Active(anon):    2767076 kB
Inactive(anon):    40044 kB
Active(file):    1333664 kB
Inactive(file):  7463984 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       67003116 kB
Dirty:             20684 kB
Writeback:             0 kB
AnonPages:       2832116 kB
Mapped:            54868 kB
Shmem:             32792 kB
Slab:             294356 kB
SReclaimable:     265148 kB
SUnreclaim:        29208 kB
KernelStack:        4016 kB
PageTables:        10772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13195744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2709504 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= 54600 MiB
End job on node136 at 2019-09-12 14:01:03