Trace number 4388049

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 440.384 432.583

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-40-2-7.xml
MD5SUMc03c7f5b7c3afa870e2bbdca7571e3a2
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.264843
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":88}]
Minimum variable degree0
Maximum variable degree7
Distribution of variable degrees[{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":40}]
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-13083-serial-file.bin HOME/instance-4388049-1568294733.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 15:24:49 CEST 2019
0.66/0.55	c PID: 13086
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.19/0.88	c (0,0) Parsing End
1.19/0.88	c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 28
1.19/0.88	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.88	c (0,0) Constraint Name Generate Begin
1.19/0.89	c (0,0) Ctr:HOME/instance-4388049-1568294733.xml,Num:Var:WeightedSum
1.19/0.89	c (0,0) Constraint Name Generate End
1.19/0.89	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.89	c (0,0) CSP to CSPinCNF Begin
1.40/0.99	c (0,0) translated 4 (10%) constraints
1.40/1.00	c (0,0) translated 8 (20%) constraints
1.40/1.01	c (0,0) translated 12 (30%) constraints
1.57/1.02	c (0,0) translated 16 (40%) constraints
1.57/1.03	c (0,0) translated 20 (50%) constraints
1.57/1.03	c (0,0) translated 24 (60%) constraints
1.57/1.04	c (0,0) translated 28 (70%) constraints
1.57/1.05	c (0,0) translated 32 (80%) constraints
1.57/1.05	c (0,0) translated 36 (90%) constraints
1.57/1.05	c (0,0) translated 40 (100%) constraints
1.57/1.05	c (0,0) ===========================================
1.57/1.06	c (0,0) Order
1.57/1.06	c (0,0) ===========================================
1.57/1.10	c (0,0) translated 4 (10%) constraints
1.82/1.11	c (0,0) translated 8 (20%) constraints
1.82/1.13	c (0,0) translated 12 (30%) constraints
1.82/1.15	c (0,0) translated 16 (40%) constraints
1.82/1.17	c (0,0) translated 20 (50%) constraints
1.82/1.18	c (0,0) translated 24 (60%) constraints
1.82/1.20	c (0,0) translated 28 (70%) constraints
2.08/1.21	c (0,0) translated 32 (80%) constraints
2.08/1.21	c (0,0) translated 36 (90%) constraints
2.08/1.22	c (0,0) translated 40 (100%) constraints
2.08/1.22	c (0,0) CSP to CSPinCNF End
2.08/1.22	c (0,0) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1838
2.08/1.22	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.22	c (0,0) CSPinCNF Propagation Begin
2.08/1.24	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.08/1.24	c (0,0) CSPinCNF Propagation End
2.08/1.24	c (0,0) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1838
2.08/1.24	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.24	c (0,0) Simplify CSPinCNF Begin
2.08/1.25	c (0,0) Simplify CSPinCNF End
2.08/1.25	c (0,0) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1838
2.08/1.25	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.25	c (0,0) Calculate Precise Domain Begin
3.13/1.61	c (1,1) 7777 values are removed by re-calculation
3.13/1.61	c (1,1) Calculate Precise Domain End
3.13/1.61	c (1,1) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1495
3.13/1.61	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.13/1.61	c (1,1) CSPinCNF to SatSolver Begin
11.31/7.56	c (7,6) 34 (10 %) CSP clauses are encoded (0 SAT variables, 3703050 SAT clauses)
14.01/9.70	c (9,8) 67 (20 %) CSP clauses are encoded (0 SAT variables, 5146010 SAT clauses)
18.03/13.99	c (13,12) 100 (30 %) CSP clauses are encoded (0 SAT variables, 7803231 SAT clauses)
21.57/16.51	c (15,14) 133 (40 %) CSP clauses are encoded (0 SAT variables, 9437795 SAT clauses)
23.47/18.48	c (17,16) 166 (50 %) CSP clauses are encoded (0 SAT variables, 10886420 SAT clauses)
25.45/20.28	c (19,18) 200 (60 %) CSP clauses are encoded (0 SAT variables, 12171813 SAT clauses)
26.86/21.62	c (21,19) 233 (70 %) CSP clauses are encoded (0 SAT variables, 13145134 SAT clauses)
29.72/24.27	c (23,22) 266 (80 %) CSP clauses are encoded (0 SAT variables, 15072831 SAT clauses)
33.84/27.21	c (26,25) 299 (90 %) CSP clauses are encoded (0 SAT variables, 16904977 SAT clauses)
34.14/27.59	c (27,25) 332 (100 %) CSP clauses are encoded (0 SAT variables, 17180790 SAT clauses)
34.14/27.59	c (27,25) CSPinCNF to SatSolver End
34.14/27.59	c (27,25) Heap : 1479 MiB used (max 11050 MiB), NonHeap : 27 MiB used (max 0 MiB)
34.14/27.59	c (27,25) 83220 bool, 17180797 clause
34.14/27.59	c (27,25) Export Begin
34.25/27.69	c (27,25) Export to HOME/scop-13083-serial-file.bin
34.25/27.69	c (27,25) Export End
34.25/27.69	c (27,25) Export File Size: 0.02 MB
34.25/27.69	c (27,25) 0,0,0,0,0,1,27,STOP-AFTER(DIMACS)
34.25/27.69	c END-Prog: Thu Sep 12 15:25:16 CEST 2019
34.40/27.72	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13083-serial-file.bin
34.93/28.18	c (0,0) Read Serial File Begin
34.93/28.18	c (0,0) HOME/scop-13083-serial-file.bin
35.19/28.39	c (0,0) Read Serial File End
35.36/28.40	
35.36/28.40	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
35.36/28.40	(Solving Process)
35.36/28.40	
35.36/28.43	c BEGIN-Prog: Thu Sep 12 15:25:17 CEST 2019
35.36/28.43	c PID: 13103
35.36/28.43	c IP: 172.20.3.136
35.36/28.43	c HOST: node136.alineos.net
35.36/28.43	c (0,0) SatSolver.solve Begin
35.36/28.43	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388049-1568294733.xml-scop-13086.cnf
35.36/28.46	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
35.36/28.46	c (0,0) c glueminisat-simp-2.2.10-193oa-n
35.36/28.46	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388049-1568294733.xml-scop-13086.cnf 
35.36/28.46	c (0,0) c Options:
35.36/28.46	c (0,0) c CORE
35.36/28.47	c (0,0) c  var_decay             = 0.950
35.36/28.47	c (0,0) c  clause_decay          = 0.999
35.36/28.47	c (0,0) c  random_var_freq       = 0.000
35.36/28.47	c (0,0) c  random_seed           = 91648253.000
35.36/28.47	c (0,0) c  luby_restart          = 1
35.36/28.47	c (0,0) c  ccmin_mode            = 2
35.36/28.47	c (0,0) c  phase_saving          = 2
35.36/28.47	c (0,0) c  rnd_pol               = 0
35.36/28.47	c (0,0) c  rnd_init_act          = 0
35.36/28.47	c (0,0) c  garbage_frac          = 0.200
35.36/28.47	c (0,0) c  restart_first         = 1000
35.36/28.47	c (0,0) c  restart_inc           = 2.000
35.36/28.47	c (0,0) c MODEL
35.36/28.47	c (0,0) c  partial_model         = 0
35.36/28.47	c (0,0) c PROPAGATION
35.36/28.47	c (0,0) c  bin_propagation       = 1
35.36/28.47	c (0,0) c SIMPLIFICATION
35.36/28.47	c (0,0) c  lrn_min_size          = 100
35.36/28.47	c (0,0) c  lazy_simp             = 1
35.36/28.47	c (0,0) c  lazy_interval         = 10
35.36/28.47	c (0,0) c  lazy_fld_probing      = 1
35.36/28.47	c (0,0) c  lazy_pol_probing      = 1
35.36/28.47	c (0,0) c  lazy_nec_probing      = 1
35.36/28.47	c (0,0) c  lazy_eqv_probing      = 1
35.36/28.47	c (0,0) c  lazy_cla_probing      = 1
35.36/28.47	c (0,0) c  lazy_lrn_min          = 2
35.36/28.47	c (0,0) c  lazy_uw_lit_elim      = 1
35.36/28.47	c (0,0) c  lazy_pr_lit_elim      = 0
35.36/28.47	c (0,0) c  lazy_bin_add          = 3
35.36/28.47	c (0,0) c  probed_lit_chain      = 1
35.36/28.47	c (0,0) c  pr_min_lits           = 0.00020
35.36/28.47	c (0,0) c  pr_min_starts         = 500
35.36/28.47	c (0,0) c  rw_min_lits           = 0.010
35.36/28.47	c (0,0) c  rw_min_starts         = 500
35.36/28.47	c (0,0) c  rand_attach           = 0
35.36/28.47	c (0,0) c  dec_elim              = 1
35.36/28.47	c (0,0) c  dec_elim_lim          = 25
35.36/28.47	c (0,0) c  dec_elim_len          = -1
35.36/28.47	c (0,0) c  amo                   = 0
35.36/28.47	c (0,0) c  amo_grp               = 1
35.36/28.47	c (0,0) c  amo_max_bins          = 1000000
35.36/28.47	c (0,0) c  amo_starts            = 50
35.36/28.47	c (0,0) c  mace_cmd              = mace
35.36/28.47	c (0,0) c DECISION
35.36/28.47	c (0,0) c  rand_rebuild          = 0
35.36/28.47	c (0,0) c  rand_rebuild_confs    = 10000
35.36/28.47	c (0,0) c  inc_var_decay         = 1
35.36/28.47	c (0,0) c  inc_var_decay_period  = 100000
35.36/28.47	c (0,0) c  inc_var_decay_init    = 0.600
35.36/28.47	c (0,0) c  var_decay_mode        = 0
35.36/28.47	c (0,0) c  var_decay_gain        = 0
35.36/28.47	c (0,0) c  sloped_var_decay      = 1
35.36/28.47	c (0,0) c  max_var_decay         = 0.990
35.36/28.47	c (0,0) c  min_var_decay         = 0.950
35.36/28.47	c (0,0) c  min_var_decay_vars    = 10000
35.36/28.47	c (0,0) c  max_var_decay_vars    = 500
35.36/28.47	c (0,0) c  uip_bumping           = 1
35.36/28.47	c (0,0) c  lbd_act_bumping       = 1
35.36/28.47	c (0,0) c  rand_tiebreak         = 0
35.36/28.47	c (0,0) c  simp_rebuild          = 1
35.36/28.47	c (0,0) c RESTART
35.36/28.47	c (0,0) c  restart_strategy      = 2
35.36/28.47	c (0,0) c  restart_blocking      = 0
35.36/28.47	c (0,0) c  agility_decay         = 0.99990
35.36/28.47	c (0,0) c  lbd_restart_rate      = 0.800
35.36/28.47	c (0,0) c  dec_restart_rate      = 0.950
35.36/28.47	c (0,0) c  blk_restart_rate      = 0.700
35.36/28.47	c (0,0) c  lbd_queue_size        = 50
35.36/28.47	c (0,0) c  dec_queue_size        = 50
35.36/28.47	c (0,0) c  trl_queue_size        = 5000
35.36/28.47	c (0,0) c  blk_restart_weight    = 1.000
35.36/28.47	c (0,0) c  inc_rst_rate          = 0
35.36/28.47	c (0,0) c  inc_rst_rate_period   = 500000
35.36/28.47	c (0,0) c  inc_lbd_rst_rate_init = 0.600
35.36/28.47	c (0,0) c  inc_dec_rst_rate_init = 0.750
35.36/28.47	c (0,0) c REDUCTION
35.36/28.47	c (0,0) c  closed_lbd            = 0
35.36/28.47	c (0,0) c  closed_lbd_rate       = 0.500
35.36/28.47	c (0,0) c  rm_simulate           = 0
35.36/28.47	c (0,0) c  rdb_eval              = 2
35.36/28.47	c (0,0) c  rdb_call              = 3
35.36/28.47	c (0,0) c  rdb_ub                = 0.500
35.36/28.47	c (0,0) c  core_lbd_cvr          = 0.800
35.36/28.47	c (0,0) c  supp_lbd_cvr          = 0.990
35.36/28.47	c (0,0) c  core_lbd_lb           = 2
35.36/28.47	c (0,0) c  supp_lbd_lb           = 2
35.36/28.47	c (0,0) c  core_lbd_prd          = 7
35.36/28.47	c (0,0) c  supp_lbd_prd          = 1
35.36/28.47	c (0,0) c  othr_lbd_prd          = 0
35.36/28.47	c (0,0) c  inc_lrn_limit         = 1000
35.36/28.47	c (0,0) c  frozen_lbd            = 30
35.36/28.47	c (0,0) c  simp_min_starts       = 100
35.36/28.47	c (0,0) c  rm_low_act_learnts    = 1
35.36/28.47	c (0,0) c  lv0_reduce_db         = 0
35.36/28.47	c (0,0) c  reduce_db_base        = 20000
35.36/28.47	c (0,0) c  reduce_db_inc         = 1000
35.36/28.47	c (0,0) c HARD
35.36/28.47	c (0,0) c  inst_check            = 200000
35.36/28.47	c (0,0) c  small_block           = 1.750
35.36/28.47	c (0,0) c  slow_restart_speed    = 400.000
35.36/28.47	c (0,0) c  slow_restart_strategy = 3
35.36/28.47	c (0,0) c  slow_lbd_restart_rate = 0.700
35.36/28.47	c (0,0) c  slow_dec_restart_rate = 1.000
35.36/28.47	c (0,0) c  slow_lbd_queue_size   = 50
35.36/28.47	c (0,0) c  slow_var_decay        = 0.950
35.36/28.47	c (0,0) c  slow_glue_threshold   = 2
35.36/28.47	c (0,0) c  slow_phase_saving     = 2
35.36/28.47	c (0,0) c  fast_restart_speed    = 125.000
35.36/28.47	c (0,0) c  fast_restart_strategy = 1
35.36/28.47	c (0,0) c  fast_lbd_restart_rate = 0.800
35.36/28.47	c (0,0) c  fast_dec_restart_rate = 0.950
35.36/28.47	c (0,0) c  fast_lbd_queue_size   = 50
35.36/28.47	c (0,0) c  fast_var_decay        = 1.000
35.36/28.47	c (0,0) c  fast_glue_threshold   = 2
35.36/28.47	c (0,0) c  fast_phase_saving     = 2
35.36/28.47	c (0,0) c STATS
35.36/28.47	c (0,0) c  stats_conf_size       = 10000
35.36/28.47	c (0,0) c  max_stats_size        = 30
35.36/28.47	c (0,0) c SOLVER
35.36/28.47	c (0,0) c  minisat               = 0
40.33/33.27	c (5,0) WARNING! DIMACS header mismatch: wrong number of variables.
40.33/33.27	c (5,0) c Problem: 83221 variables, 17179122 clauses, parsing 4.41 s
40.83/33.78	c (5,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
41.93/34.81	c (6,0) c Simplification: 1693 vars, 0 clauses are eliminated using 1.42 s
41.93/34.81	c (6,0) c
41.93/34.81	c (6,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
41.93/34.81	c (6,0) c
41.93/34.81	c (6,0) c    6         0         0    81528 17179122        0   -nan  -nan  -nan -nan%
42.84/35.79	c (7,0) c    7         1       100    81467 17179122       99   28.0  10.4 653.9 77.1%
43.34/36.21	c (8,0) c    7         1       220    81467 17179122      219   19.3   7.4 649.6 67.3%
43.94/36.88	c (8,0) c    8         1       364    81467 17179122      363   17.2   6.8 645.6 64.4%
45.44/38.31	c (10,0) c    9         2       536    81467 17179122      535   15.6   6.3 506.3 59.8%
46.85/39.77	c (11,0) c   11         2       743    81467 17179122      742   15.0   6.0 369.5 59.7%
48.16/41.03	c (12,0) c   12         2       991    81467 17179122      990   17.6   6.1 281.5 63.7%
49.85/42.77	c (14,0) c   14         3      1289    81461 17179122     1290   18.6   6.2 221.5 65.0%
52.45/45.39	c (17,0) c   16         7      1647    81461 17179122     1653   18.7   6.5 178.5 66.0%
55.46/48.32	c (20,0) c   19         7      2076    81461 17179122     2083   19.4   6.4 145.4 66.7%
58.17/51.09	c (22,0) c   22         9      2591    81461 17179122     2600   19.3   6.5 121.8 66.9%
61.26/54.15	c (26,0) c   25        12      3210    81461 17179122     3223   19.0   6.5 103.6 66.0%
64.56/57.46	c (29,0) c   29        17      3953    81461 17179122     3966   19.0   6.7  89.8 66.9%
67.96/60.88	c (32,0) c   32        18      4844    80809 17179122     4857   18.9   6.7  78.5 66.0%
73.57/66.43	c (38,0) c   37        22      5913    80809 17179122     5929   18.8   6.7  68.6 66.2%
79.57/72.42	c (44,0) c   43        25      7196    80809 17179122     7221   19.1   6.7  60.5 66.9%
87.98/80.88	c (52,0) c
87.98/80.88	c (52,0) c   variables         : 80714       (init 83221, after simp 81528, 0 non-decs, 214 csp)
87.98/80.88	c (52,0) c   clauses           : 17179122    (init 17179122, after simp 17179122)
87.98/80.88	c (52,0) c   restarts          : 29          (291.20 confs/res, 50~933 confs, 0 blks, 0 last)
87.98/80.88	c (52,0) c   conflicts         : 8736        (169 /sec, 58.89% dconfs, 0.00% supp, trail 2276.18w x 53.28h, jmp 1.50h)
87.98/80.88	c (52,0) c   decisions         : 14479       (0.6300 vdcy, 280 /sec, 0.00% bin, rs 0.006 s)
87.98/80.88	c (52,0) c   propagations      : 46514629    (900679 /sec, 3212.56 lits/dec, 32.28% o.a.)
87.98/80.88	c (52,0) c   conflict literals : 224474      (23.07% deleted; 2.52% by bin min, 0.007 s)
87.98/80.88	c (52,0) c   len               : 19.068      (19.12 for all, max 112, used 104)
87.98/80.88	c (52,0) c   lbd               : 6.648       (7.67 (6.66) for all, max 38, used 23, 2.605 stdev, 2.494 blk)
87.98/80.88	c (52,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
87.98/80.88	c (52,0) c   simp dbs          : 0           (0.000 s)
87.98/80.88	c (52,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
87.98/80.88	c (52,0) c   learnts           : 8762        (0 learnts removed, 0.00%)
87.98/80.88	c (52,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
87.98/80.88	c (52,0) c   assigned lits     : 0           (0/56 probed, 56 remains)
87.98/80.88	c (52,0) c   premise updates   : 532759      (3.27 /lit)
87.98/80.88	c (52,0) c   probed variables  : 56          (1 pr, 0 eq, 40 fld, 8 pol, 0 nec, 7 cla, 0 amo)
87.98/80.88	c (52,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
87.98/80.88	c (52,0) c   lazy added bins   : 31          (31 prop + 0 conf, 0.004s)
87.98/80.88	c (52,0) c   unwatched lit elim: 571         (0.00+0.24%, 28+543 of 51343817+224474)
87.98/80.88	c (52,0) c   classified type   : undef
87.98/80.88	c (52,0) c   progress          : 3.012 %
87.98/80.88	c (52,0) c
87.98/80.88	c (52,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
87.98/80.88	c (52,0) c
87.98/80.88	c (52,0) c   52        30      8736    80714 17179122     8762   19.1   6.6  53.3 65.2%
91.39/84.28	c (56,0) c   55 p      31      9542    80462 17179122     9568   19.2   6.7  50.8 66.3%
96.80/89.62	c (61,0) c   61        34     10584    80462 17179122    10615   19.1   6.7  23.6 66.3%
108.00/100.85	c (72,0) c   72        45     12802    80462 17179122    12837   18.9   6.7  24.2 65.8%
117.61/110.44	c (82,0) c   81        49     15464    80462 17179122    15502   19.4   6.6  23.1 70.2%
122.40/115.29	c (87,0) c   86 p      51     16688    80384 17179122    16726   19.6   6.6  24.4 71.6%
132.63/125.47	c (97,0) c   97        60     18658    80384 17179122    18698   19.6   6.6  24.1 72.6%
138.43/131.22	c (103,0) c  102 r      60     20001    80384 17179122    20041   19.7   6.6  23.6 71.9%
138.43/131.22	c (103,0) c
138.43/131.22	c (103,0) c R [LBD Statistics #1]
138.43/131.22	c (103,0) c R LBD         used lbd               used clause lbd
138.43/131.22	c (103,0) c R  tot       63658                   20041
138.43/131.22	c (103,0) c R  avg       3.347                   6.585
138.43/131.22	c (103,0) c R   1         3397 ( 5.3/ 5.3%)        135 ( 0.7/ 0.7%)
138.43/131.22	c (103,0) c R   2        32330 (50.8/56.1%)       2216 (11.1/11.7%)
138.43/131.22	c (103,0) c R   3         9261 (14.5/70.7%)       2112 (10.5/22.3%)
138.43/131.22	c (103,0) c R   4         6019 ( 9.5/80.1%)       2470 (12.3/34.6%)
138.43/131.22	c (103,0) c R
138.43/131.22	c (103,0) c R core_lbd_threshold = 4
138.43/131.22	c (103,0) c R supp_lbd_threshold = 13
138.43/131.22	c (103,0) c R
138.43/131.22	c (103,0) c R [RDB Statistics #1]
138.43/131.22	c (103,0) c R kept: lbd      =    6864 (34.2/34.2%)
138.43/131.22	c (103,0) c R kept: ttl      =   13094 (65.3/99.6%)
138.43/131.22	c (103,0) c R kept: locked   =      83 ( 0.4/100.0%)
138.43/131.22	c (103,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
138.43/131.22	c (103,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
138.43/131.22	c (103,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
138.43/131.22	c (103,0) c
138.43/131.22	c (103,0) c  102 R      60     20001    80384 17179122    20041   19.7   6.6  23.6 71.9%
142.64/135.47	c (107,0) c  107 p      61     21089    80223 17179122    21129   19.8   6.6  23.9 74.4%
150.14/142.90	c (114,0) c  114        66     22491    80223 17179122    22531   19.7   6.6  23.3 73.6%
172.56/165.35	c (137,0) c  136        79     27091    80223 17179122    27132   20.0   6.6  21.4 70.8%
200.39/193.12	c (165,0) c  164       101     32611    80223 16308155    32650   20.2   6.6  22.1 72.8%
234.30/227.06	c (198,0) c  198       121     39235    80223 16308155    39283   20.0   6.7  22.5 67.8%
244.60/237.35	c (209,0) c  208 r     130     41000    79742 16308155    41048   20.0   6.7  22.4 67.1%
244.60/237.35	c (209,0) c
244.60/237.35	c (209,0) c R [LBD Statistics #2]
244.60/237.35	c (209,0) c R LBD         used lbd               used clause lbd
244.60/237.35	c (209,0) c R  tot      190652                   41048
244.60/237.35	c (209,0) c R  avg       3.008                   6.708
244.60/237.35	c (209,0) c R   1        11581 ( 6.1/ 6.1%)        265 ( 0.6/ 0.6%)
244.60/237.35	c (209,0) c R   2       110317 (57.9/63.9%)       4190 (10.2/10.9%)
244.60/237.35	c (209,0) c R   3        25532 (13.4/77.3%)       4118 (10.0/20.9%)
244.60/237.35	c (209,0) c R   4        15342 ( 8.0/85.4%)       4923 (12.0/32.9%)
244.60/237.35	c (209,0) c R
244.60/237.35	c (209,0) c R core_lbd_threshold = 4
244.60/237.35	c (209,0) c R supp_lbd_threshold = 12
244.60/237.35	c (209,0) c R
244.60/237.35	c (209,0) c R [RDB Statistics #2]
244.60/237.35	c (209,0) c R kept: lbd      =   13419 (32.7/32.7%)
244.60/237.35	c (209,0) c R kept: ttl      =   13153 (32.0/64.7%)
244.60/237.35	c (209,0) c R kept: locked   =      91 ( 0.2/65.0%)
244.60/237.35	c (209,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
244.60/237.35	c (209,0) c R lost: ttl      =   14385 (35.0/35.0%)
244.60/237.35	c (209,0) c R lost: subsumed =       0 ( 0.0/35.0%)
244.60/237.35	c (209,0) c
244.60/237.35	c (209,0) c  208 R     130     41000    79742 16308155    26663   15.9   5.3  22.4 67.1%
264.33/257.02	c (228,0) c
264.33/257.02	c (228,0) c   variables         : 79676       (init 83221, after simp 81528, 0 non-decs, 214 csp)
264.33/257.02	c (228,0) c   clauses           : 16308155    (init 17179122, after simp 17179122)
264.33/257.02	c (228,0) c   restarts          : 148         (304.57 confs/res, 50~3730 confs, 0 blks, 0 last)
264.33/257.02	c (228,0) c   conflicts         : 45381       (200 /sec, 58.30% dconfs, 0.00% supp, trail 2480.15w x 28.93h, jmp 1.44h)
264.33/257.02	c (228,0) c   decisions         : 69388       (0.7500 vdcy, 305 /sec, 0.00% bin, rs 0.027 s)
264.33/257.02	c (228,0) c   propagations      : 228328587   (1004358 /sec, 3290.61 lits/dec, 31.55% o.a.)
264.33/257.02	c (228,0) c   conflict literals : 1237719     (23.76% deleted; 2.62% by bin min, 0.076 s)
264.33/257.02	c (228,0) c   len               : 16.520      (20.08 for all, max 137, used 122)
264.33/257.02	c (228,0) c   lbd               : 5.588       (7.86 (6.77) for all, max 38, used 31, 2.156 stdev, 2.554 blk)
264.33/257.02	c (228,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
264.33/257.02	c (228,0) c   simp dbs          : 1           (0.904 s)
264.33/257.02	c (228,0) c   reduce dbs        : 2           (core-lbd 4, supp-lbd 12, 0.003 s)
264.33/257.02	c (228,0) c   learnts           : 31049       (14385 learnts removed, 31.70%)
264.33/257.02	c (228,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
264.33/257.02	c (228,0) c   assigned lits     : 4           (110/241 probed, 0 remains)
264.33/257.02	c (228,0) c   premise updates   : 5175056     (31.74 /lit)
264.33/257.02	c (228,0) c   probed variables  : 241         (45 pr, 0 eq, 166 fld, 17 pol, 0 nec, 13 cla, 0 amo)
264.33/257.02	c (228,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
264.33/257.02	c (228,0) c   lazy added bins   : 68          (68 prop + 0 conf, 0.035s)
264.33/257.02	c (228,0) c   unwatched lit elim: 5980        (0.00+0.46%, 270+5710 of 51343817+1237719)
264.33/257.02	c (228,0) c   classified type   : undef
264.33/257.02	c (228,0) c   progress          : 4.260 %
264.33/257.02	c (228,0) c
264.33/257.02	c (228,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
264.33/257.02	c (228,0) c
264.33/257.02	c (228,0) c  228 p     149     45381    79676 16308155    31049   16.5   5.6  23.8 66.1%
273.24/265.94	c (237,0) c  237       156     47184    79676 16308155    32853   16.6   5.7  23.8 67.0%
315.39/308.06	c (279,0) c  279       177     56723    79676 16308155    42393   17.8   5.9  23.1 72.8%
322.17/314.88	c (286,0) c  286 p     183     57906    79400 16308155    43577   17.8   6.0  23.3 72.6%
349.91/342.56	c (314,0) c  314 r     202     63001    79400 16187538    48658   17.9   6.1  21.5 68.1%
349.91/342.56	c (314,0) c
349.91/342.56	c (314,0) c R [LBD Statistics #3]
349.91/342.56	c (314,0) c R LBD         used lbd               used clause lbd
349.91/342.56	c (314,0) c R  tot      357616                   48658
349.91/342.56	c (314,0) c R  avg       2.870                   6.098
349.91/342.56	c (314,0) c R   1        22179 ( 6.2/ 6.2%)        378 ( 0.8/ 0.8%)
349.91/342.56	c (314,0) c R   2       218950 (61.2/67.4%)       6137 (12.6/13.4%)
349.91/342.56	c (314,0) c R   3        45296 (12.7/80.1%)       6060 (12.5/25.8%)
349.91/342.56	c (314,0) c R
349.91/342.56	c (314,0) c R core_lbd_threshold = 3
349.91/342.56	c (314,0) c R supp_lbd_threshold = 12
349.91/342.56	c (314,0) c R
349.91/342.56	c (314,0) c R [RDB Statistics #3]
349.91/342.56	c (314,0) c R kept: lbd      =   12508 (25.7/25.7%)
349.91/342.57	c (314,0) c R kept: ttl      =   20678 (42.5/68.2%)
349.91/342.57	c (314,0) c R kept: locked   =      71 ( 0.1/68.3%)
349.91/342.57	c (314,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
349.91/342.57	c (314,0) c R lost: ttl      =   15401 (31.7/31.7%)
349.91/342.57	c (314,0) c R lost: subsumed =       0 ( 0.0/31.7%)
349.91/342.57	c (314,0) c
349.91/342.57	c (314,0) c  314 R     202     63001    79400 16187538    33257   13.9   4.8  21.5 68.1%
360.81/353.47	c (325,0) c  325 p     211     65310    79216 16187538    35569   14.3   5.0  21.5 64.6%
373.32/365.98	c (337,0) c  337       224     68170    79216 16187538    38429   14.7   5.2  22.8 64.5%
390.72/383.38	c (355,0) c  354 p     241     71476    79105 16187538    41735   15.2   5.3  23.9 66.7%
439.77/432.30	c (404,0) c  403       265     81539    79105 16187538    51805   16.4   5.7  20.3 67.6%
439.77/432.31	c (404,0) c
439.77/432.31	c (404,0) c
439.77/432.31	c (404,0) c variables         : 79105       (init 83221, after simp 81528, 0 non-decs, 214 csp)
439.77/432.31	c (404,0) c clauses           : 16187538    (init 17179122, after simp 17179122)
439.77/432.31	c (404,0) c restarts          : 264         (307.69 confs/res, 50~3730 confs, 0 blks, 0 last)
439.77/432.31	c (404,0) c conflicts         : 81539       (203 /sec, 57.69% dconfs, 0.00% supp, trail 2497.14w x 25.89h, jmp 1.42h)
439.77/432.31	c (404,0) c decisions         : 122981      (0.8800 vdcy, 306 /sec, 0.00% bin, rs 0.039 s)
439.77/432.31	c (404,0) c propagations      : 415146708   (1032058 /sec, 3375.70 lits/dec, 31.76% o.a.)
439.77/432.31	c (404,0) c conflict literals : 2273663     (24.39% deleted; 2.77% by bin min, 0.172 s)
439.77/432.31	c (404,0) c len               : 16.403      (20.31 for all, max 137, used 128)
439.77/432.31	c (404,0) c lbd               : 5.669       (8.04 (6.91) for all, max 38, used 31, 1.945 stdev, 2.526 blk)
439.77/432.31	c (404,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
439.77/432.31	c (404,0) c simp dbs          : 2           (1.775 s)
439.77/432.31	c (404,0) c reduce dbs        : 3           (core-lbd 3, supp-lbd 12, 0.006 s)
439.77/432.31	c (404,0) c learnts           : 51805       (29786 learnts removed, 36.53%)
439.77/432.31	c (404,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
439.77/432.31	c (404,0) c assigned lits     : 7           (190/371 probed, 3 remains)
439.77/432.31	c (404,0) c premise updates   : 9031660     (55.39 /lit)
439.77/432.31	c (404,0) c probed variables  : 371         (53 pr, 0 eq, 166 fld, 139 pol, 0 nec, 13 cla, 0 amo)
439.77/432.31	c (404,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
439.77/432.31	c (404,0) c lazy added bins   : 85          (85 prop + 0 conf, 0.083s)
439.77/432.31	c (404,0) c unwatched lit elim: 12352       (0.00+0.53%, 387+11965 of 51343817+2273663)
439.77/432.31	c (404,0) c classified type   : undef
439.77/432.31	c (404,0) c progress          : 4.946 %
439.77/432.31	c (404,0) c
439.77/432.31	c (404,0) c [Statistics]
439.77/432.31	c (404,0) c             learnts len        learnts lbd        lit blk size       eq vars size
439.77/432.31	c (404,0) c  tot       81539              81539             655583                  0
439.77/432.31	c (404,0) c  avg      20.311              6.914              2.526               -nan
439.77/432.31	c (404,0) c   1            6 ( 0.0%)        502 ( 0.6%)     389027 (59.3%)          0 (-nan%)
439.77/432.31	c (404,0) c   2           72 ( 0.1%)       7759 ( 9.5%)     101137 (15.4%)          0 (-nan%)
439.77/432.31	c (404,0) c   3          572 ( 0.7%)       7524 ( 9.2%)      52384 ( 8.0%)          0 (-nan%)
439.77/432.31	c (404,0) c   4         1379 ( 1.7%)       9173 (11.2%)      31218 ( 4.8%)          0 (-nan%)
439.77/432.31	c (404,0) c   5         2457 ( 3.0%)       9471 (11.6%)      19620 ( 3.0%)          0 (-nan%)
439.77/432.31	c (404,0) c   6         4402 ( 5.4%)       8669 (10.6%)      13546 ( 2.1%)          0 (-nan%)
439.77/432.31	c (404,0) c   7         4462 ( 5.5%)       7500 ( 9.2%)      10000 ( 1.5%)          0 (-nan%)
439.77/432.31	c (404,0) c   8         5810 ( 7.1%)       6497 ( 8.0%)       7361 ( 1.1%)          0 (-nan%)
439.77/432.31	c (404,0) c   9         4366 ( 5.4%)       5621 ( 6.9%)       5573 ( 0.9%)          0 (-nan%)
439.77/432.31	c (404,0) c  10         4325 ( 5.3%)       4674 ( 5.7%)       4337 ( 0.7%)          0 (-nan%)
439.77/432.31	c (404,0) c  11         3568 ( 4.4%)       3855 ( 4.7%)       3450 ( 0.5%)          0 (-nan%)
439.77/432.31	c (404,0) c  12         3349 ( 4.1%)       3105 ( 3.8%)       2670 ( 0.4%)          0 (-nan%)
439.77/432.31	c (404,0) c  13         2923 ( 3.6%)       2207 ( 2.7%)       2177 ( 0.3%)          0 (-nan%)
439.77/432.31	c (404,0) c  14         2685 ( 3.3%)       1658 ( 2.0%)       1774 ( 0.3%)          0 (-nan%)
439.77/432.31	c (404,0) c  15         2238 ( 2.7%)       1165 ( 1.4%)       1458 ( 0.2%)          0 (-nan%)
439.77/432.31	c (404,0) c  16         2115 ( 2.6%)        764 ( 0.9%)       1285 ( 0.2%)          0 (-nan%)
439.77/432.31	c (404,0) c  17         1994 ( 2.4%)        487 ( 0.6%)       1063 ( 0.2%)          0 (-nan%)
439.77/432.31	c (404,0) c  18         1989 ( 2.4%)        354 ( 0.4%)        874 ( 0.1%)          0 (-nan%)
439.77/432.31	c (404,0) c  19         1754 ( 2.2%)        225 ( 0.3%)        793 ( 0.1%)          0 (-nan%)
439.77/432.31	c (404,0) c  20         1725 ( 2.1%)        132 ( 0.2%)        705 ( 0.1%)          0 (-nan%)
439.77/432.31	c (404,0) c  21         1720 ( 2.1%)         82 ( 0.1%)        586 ( 0.1%)          0 (-nan%)
439.77/432.31	c (404,0) c  22         1507 ( 1.8%)         37 ( 0.0%)        525 ( 0.1%)          0 (-nan%)
439.77/432.31	c (404,0) c  23         1439 ( 1.8%)         32 ( 0.0%)        421 ( 0.1%)          0 (-nan%)
439.77/432.31	c (404,0) c  24         1412 ( 1.7%)         21 ( 0.0%)        362 ( 0.1%)          0 (-nan%)
439.77/432.31	c (404,0) c  25         1296 ( 1.6%)         13 ( 0.0%)        357 ( 0.1%)          0 (-nan%)
439.77/432.31	c (404,0) c  26         1233 ( 1.5%)          9 ( 0.0%)        341 ( 0.1%)          0 (-nan%)
439.77/432.31	c (404,0) c  27         1145 ( 1.4%)          0 ( 0.0%)        246 ( 0.0%)          0 (-nan%)
439.77/432.31	c (404,0) c  28         1089 ( 1.3%)          0 ( 0.0%)        222 ( 0.0%)          0 (-nan%)
439.77/432.31	c (404,0) c  29         1000 ( 1.2%)          0 ( 0.0%)        198 ( 0.0%)          0 (-nan%)
439.77/432.31	c (404,0) c  30        17507 (21.5%)          3 ( 0.0%)       1873 ( 0.3%)          0 (-nan%)
439.77/432.31	c (404,0) c
439.77/432.31	c (404,0) c [LBD Statistics]
439.77/432.31	c (404,0) c LBD          used lbd               used clause lbd         unused clause lbd
439.77/432.31	c (404,0) c  tot       527991                   38140                   43478
439.77/432.31	c (404,0) c  avg        2.793                   5.418                   8.217
439.77/432.31	c (404,0) c    1        33305 ( 6.3/ 6.3%)        494 ( 1.3/ 1.3%)          2 ( 0.0/ 0.0%)
439.77/432.31	c (404,0) c    2       332918 (63.1/69.4%)       6997 (18.3/19.6%)        847 ( 1.9/ 2.0%)
439.77/432.31	c (404,0) c    3        65495 (12.4/81.8%)       5462 (14.3/34.0%)       2062 ( 4.7/ 6.7%)
439.77/432.31	c (404,0) c    4        35878 ( 6.8/88.6%)       5446 (14.3/48.2%)       3727 ( 8.6/15.3%)
439.77/432.31	c (404,0) c    5        20714 ( 3.9/92.5%)       4772 (12.5/60.8%)       4699 (10.8/26.1%)
439.77/432.31	c (404,0) c    6        12187 ( 2.3/94.8%)       3714 ( 9.7/70.5%)       4955 (11.4/37.5%)
439.77/432.31	c (404,0) c    7         8110 ( 1.5/96.3%)       2871 ( 7.5/78.0%)       4629 (10.6/48.1%)
439.77/432.31	c (404,0) c    8         5181 ( 1.0/97.3%)       2154 ( 5.6/83.7%)       4343 (10.0/58.1%)
439.77/432.31	c (404,0) c    9         3922 ( 0.7/98.1%)       1659 ( 4.3/88.0%)       3962 ( 9.1/67.2%)
439.77/432.31	c (404,0) c   10         2884 ( 0.5/98.6%)       1265 ( 3.3/91.3%)       3409 ( 7.8/75.1%)
439.77/432.31	c (404,0) c   11         2276 ( 0.4/99.0%)       1030 ( 2.7/94.0%)       2825 ( 6.5/81.6%)
439.77/432.31	c (404,0) c   12         1576 ( 0.3/99.3%)        728 ( 1.9/95.9%)       2377 ( 5.5/87.0%)
439.77/432.31	c (404,0) c   13         1227 ( 0.2/99.6%)        539 ( 1.4/97.4%)       1668 ( 3.8/90.9%)
439.77/432.31	c (404,0) c   14          767 ( 0.1/99.7%)        373 ( 1.0/98.3%)       1285 ( 3.0/93.8%)
439.77/432.31	c (404,0) c   15          557 ( 0.1/99.8%)        242 ( 0.6/99.0%)        923 ( 2.1/95.9%)
439.77/432.31	c (404,0) c   16          399 ( 0.1/99.9%)        145 ( 0.4/99.3%)        619 ( 1.4/97.4%)
439.77/432.31	c (404,0) c   17          247 ( 0.0/99.9%)         87 ( 0.2/99.6%)        400 ( 0.9/98.3%)
439.77/432.31	c (404,0) c   18          114 ( 0.0/100.0%)         52 ( 0.1/99.7%)        302 ( 0.7/99.0%)
439.77/432.31	c (404,0) c   19          104 ( 0.0/100.0%)         46 ( 0.1/99.8%)        179 ( 0.4/99.4%)
439.77/432.31	c (404,0) c   20           51 ( 0.0/100.0%)         20 ( 0.1/99.9%)        112 ( 0.3/99.6%)
439.77/432.31	c (404,0) c   21           30 ( 0.0/100.0%)         20 ( 0.1/99.9%)         62 ( 0.1/99.8%)
439.77/432.31	c (404,0) c   22           15 ( 0.0/100.0%)          5 ( 0.0/100.0%)         32 ( 0.1/99.9%)
439.77/432.31	c (404,0) c   23           16 ( 0.0/100.0%)          6 ( 0.0/100.0%)         26 ( 0.1/99.9%)
439.77/432.31	c (404,0) c   24            4 ( 0.0/100.0%)          6 ( 0.0/100.0%)         15 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   25            5 ( 0.0/100.0%)          6 ( 0.0/100.0%)          7 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   26            5 ( 0.0/100.0%)          1 ( 0.0/100.0%)          8 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   27            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   28            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   29            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   30            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   31            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   32            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   33            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   34            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   35            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   36            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   37            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
439.77/432.31	c (404,0) c   38            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
439.77/432.31	c (404,0) c
439.77/432.31	c (404,0) c Memory used       : 1794.00 MB
439.77/432.31	c (404,0) c CPU time          : 402.253 s
439.77/432.31	c (404,0) c Real time         : 403.853 s
439.77/432.31	c (404,0) c
439.77/432.31	c (404,0) s SATISFIABLE
440.05/432.40	c (404,0) SatSolver.solve End
440.05/432.40	c (404,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
440.05/432.40	c (404,0) Show results Begin
440.25/432.51	c (404,0) x[0] = 19
440.25/432.51	c (404,0) x[2] = 16
440.25/432.51	c (404,0) x[3] = 5
440.25/432.51	c (404,0) x[4] = 17
440.25/432.51	c (404,0) x[5] = 13
440.25/432.51	c (404,0) x[6] = 3
440.25/432.51	c (404,0) x[7] = 17
440.25/432.51	c (404,0) x[8] = 28
440.25/432.51	c (404,0) x[9] = 4
440.25/432.51	c (404,0) x[10] = 11
440.25/432.51	c (404,0) x[11] = 28
440.25/432.51	c (404,0) x[12] = 4
440.25/432.51	c (404,0) x[13] = 17
440.25/432.51	c (404,0) x[14] = 4
440.25/432.51	c (404,0) x[15] = 20
440.25/432.51	c (404,0) x[17] = 29
440.25/432.51	c (404,0) x[18] = 21
440.25/432.51	c (404,0) x[19] = 14
440.25/432.51	c (404,0) x[20] = 10
440.25/432.51	c (404,0) x[21] = 6
440.25/432.51	c (404,0) x[23] = 27
440.25/432.51	c (404,0) x[24] = 8
440.25/432.51	c (404,0) x[25] = 3
440.25/432.51	c (404,0) x[26] = 8
440.25/432.51	c (404,0) x[27] = 17
440.25/432.51	c (404,0) x[28] = 15
440.25/432.51	c (404,0) x[29] = 29
440.25/432.51	c (404,0) x[30] = 28
440.25/432.51	c (404,0) x[31] = 22
440.25/432.51	c (404,0) x[32] = 16
440.25/432.51	c (404,0) x[33] = 23
440.25/432.51	c (404,0) x[34] = 29
440.25/432.51	c (404,0) x[35] = 13
440.25/432.51	c (404,0) x[36] = 9
440.25/432.51	c (404,0) x[37] = 19
440.25/432.51	c (404,0) x[38] = 24
440.25/432.51	c (404,0) x[39] = 11
440.25/432.51	c (404,0) x[40] = 28
440.25/432.51	c (404,0) x[41] = 26
440.25/432.51	c (404,0) x[42] = 15
440.25/432.51	c (404,0) x[43] = 16
440.25/432.51	c (404,0) x[44] = 8
440.25/432.51	c (404,0) x[45] = 20
440.25/432.51	c (404,0) x[46] = 2
440.25/432.51	c (404,0) x[47] = 10
440.25/432.51	c (404,0) x[48] = 8
440.25/432.51	c (404,0) x[49] = 2
440.25/432.52	c (404,0) x[50] = 2
440.25/432.52	c (404,0) x[51] = 2
440.25/432.52	c (404,0) x[53] = 8
440.25/432.52	c (404,0) x[54] = 16
440.25/432.52	c (404,0) x[55] = 8
440.25/432.52	c (404,0) x[56] = 17
440.25/432.52	c (404,0) x[57] = 17
440.25/432.52	c (404,0) x[59] = 29
440.25/432.52	c (404,0) x[60] = 4
440.25/432.52	c (404,0) x[61] = 14
440.25/432.52	c (404,0) x[63] = 22
440.25/432.52	c (404,0) x[64] = 17
440.25/432.52	c (404,0) x[65] = 18
440.25/432.52	c (404,0) x[66] = 12
440.25/432.52	c (404,0) x[67] = 25
440.25/432.52	c (404,0) x[68] = 4
440.25/432.52	c (404,0) x[69] = 25
440.25/432.52	c (404,0) x[71] = 19
440.25/432.52	c (404,0) x[72] = 16
440.25/432.52	c (404,0) x[73] = 28
440.25/432.52	c (404,0) x[74] = 8
440.25/432.52	c (404,0) x[75] = 7
440.25/432.52	c (404,0) x[79] = 16
440.25/432.52	c (404,0) x[81] = 27
440.25/432.52	c (404,0) x[82] = 25
440.25/432.52	c (404,0) x[83] = 28
440.25/432.52	c (404,0) x[84] = 3
440.25/432.52	c (404,0) x[85] = 28
440.25/432.52	c (404,0) x[86] = 8
440.25/432.52	c (404,0) x[87] = 7
440.25/432.52	c (404,0) x[88] = 8
440.25/432.52	c (404,0) x[89] = 28
440.25/432.52	c (404,0) x[90] = 10
440.25/432.52	c (404,0) x[91] = 2
440.25/432.52	c (404,0) x[92] = 17
440.25/432.52	c (404,0) x[93] = 27
440.25/432.52	c (404,0) x[94] = 26
440.25/432.52	c (404,0) x[95] = 8
440.25/432.52	c (404,0) x[97] = 7
440.25/432.52	c (404,0) x[98] = 11
440.25/432.52	c (404,0) x[99] = 13
440.25/432.52	s SATISFIABLE
440.25/432.53	v <instantiation>
440.25/432.53	v     <list>x[0] 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[17] x[18] x[19] x[20] x[21] 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] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[53] x[54] x[55] x[56] x[57] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[71] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[97] x[98] x[99]</list>
440.25/432.53	v     <values>19 16 5 17 13 3 17 28 4 11 28 4 17 4 20 29 21 14 10 6 27 8 3 8 17 15 29 28 22 16 23 29 13 9 19 24 11 28 26 15 16 8 20 2 10 8 2 2 2 8 16 8 17 17 29 4 14 22 17 18 12 25 4 25 19 16 28 8 7 16 27 25 28 3 28 8 7 8 28 10 2 17 27 26 8 7 11 13</values>
440.25/432.53	v </instantiation>
440.25/432.53	c (404,0) Show results End
440.25/432.53	c (404,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
440.25/432.53	c (404,0) 404,404,STOP-AFTER(ALL)
440.25/432.53	c END-Prog: Thu Sep 12 15:32:01 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 (2095 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-4388049-1568294733/watcher-4388049-1568294733 -o /tmp/evaluation-result-4388049-1568294733/solver-4388049-1568294733 -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-4388049-1568294733.xml 

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

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


[startup+0.100146 s]*
/proc/loadavg: 2.31 2.22 2.13 3/230 13100
/proc/meminfo: memFree=15790332/32770624 swapFree=67003116/67108860
[pid=13083] ppid=13080 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13083/stat : 13083 (scop.sh) S 13080 13083 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405721942 115843072 349 33554432000 4194304 5098028 140722753257872 140722753255128 140552155644540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36626432 140722753262376 140722753262704 140722753262704 140722753265613 0
/proc/13083/statm: 28282 349 296 221 0 87 0
[pid=13086] ppid=13083 vsize=15012696 memory=72232 CPUtime=0.12 cores=1,3,5,7
/proc/13086/stat : 13086 (java) S 13083 13083 11905 0 -1 1077944320 6845 0 0 0 10 2 0 0 20 0 15 0 405721942 15373000704 18058 33554432000 4194304 4196468 140734911562320 140734911544864 140560786722551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
/proc/13086/statm: 3753174 18058 2937 1 0 3715579 0
[pid=13086/tid=13087] ppid=13083 vsize=15012696 memory=-6601833317647732518 CPUtime=0.08 cores=1,3,5,7
/proc/13086/task/13087/stat : 13087 (java) R 13083 13083 11905 0 -1 4202560 4630 0 0 0 7 1 0 0 20 0 15 0 405721942 15373000704 18058 33554432000 4194304 4196468 140734911562320 140560758517712 140560770803038 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13088] ppid=13083 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13088/stat : 13088 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 18058 33554432000 4194304 4196468 140734911562320 140560790964624 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13089] ppid=13083 vsize=15012696 memory=139702387271296 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13089/stat : 13089 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 18058 33554432000 4194304 4196468 140734911562320 140560247544080 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13090] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13090/stat : 13090 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 18058 33554432000 4194304 4196468 140734911562320 140560246491792 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13091] ppid=13083 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13091/stat : 13091 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 18058 33554432000 4194304 4196468 140734911562320 140560245438992 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13092] ppid=13083 vsize=15012696 memory=139702387271296 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13092/stat : 13092 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721945 15373000704 18058 33554432000 4194304 4196468 140734911562320 140559622855280 140560786733698 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13093] ppid=13083 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13093/stat : 13093 (java) S 13083 13083 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405721946 15373000704 18058 33554432000 4194304 4196468 140734911562320 140559381423392 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13094] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13094/stat : 13094 (java) S 13083 13083 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405721946 15373000704 18058 33554432000 4194304 4196468 140734911562320 140559247201904 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13095] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13095/stat : 13095 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405721948 15373000704 18058 33554432000 4194304 4196468 140734911562320 140558872697424 140560786741147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13096] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13096/stat : 13096 (java) S 13083 13083 11905 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 405721948 15373000704 18058 33554432000 4194304 4196468 140734911562320 140559621802096 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13097] ppid=13083 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13097/stat : 13097 (java) S 13083 13083 11905 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 405721948 15373000704 18058 33554432000 4194304 4196468 140734911562320 140559620749296 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13098] ppid=13083 vsize=15012696 memory=139702387271296 CPUtime=0.01 cores=1,3,5,7
/proc/13086/task/13098/stat : 13098 (java) S 13083 13083 11905 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 15 0 405721948 15373000704 18058 33554432000 4194304 4196468 140734911562320 140559619697008 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13099] ppid=13083 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13099/stat : 13099 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405721949 15373000704 18058 33554432000 4194304 4196468 140734911562320 140558374791648 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13100] ppid=13083 vsize=15012696 memory=139702387271296 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13100/stat : 13100 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405721949 15373000704 18058 33554432000 4194304 4196468 140734911562320 140559618644912 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73628 KiB

[startup+0.211326 s]*
/proc/loadavg: 2.31 2.22 2.13 4/230 13100
/proc/meminfo: memFree=15771328/32770624 swapFree=67003116/67108860
[pid=13083] ppid=13080 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13083/stat : 13083 (scop.sh) S 13080 13083 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405721942 115843072 349 33554432000 4194304 5098028 140722753257872 140722753255128 140552155644540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36626432 140722753262376 140722753262704 140722753262704 140722753265613 0
/proc/13083/statm: 28282 349 296 221 0 87 0
[pid=13086] ppid=13083 vsize=15012696 memory=87048 CPUtime=0.25 cores=1,3,5,7
/proc/13086/stat : 13086 (java) S 13083 13083 11905 0 -1 1077944320 11881 0 0 0 22 3 0 0 20 0 15 0 405721942 15373000704 21762 33554432000 4194304 4196468 140734911562320 140734911544864 140560786722551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
/proc/13086/statm: 3753174 21762 2940 1 0 3715579 0
[pid=13086/tid=13087] ppid=13083 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/13086/task/13087/stat : 13087 (java) R 13083 13083 11905 0 -1 4202560 9610 0 0 0 17 2 0 0 20 0 15 0 405721942 15373000704 21762 33554432000 4194304 4196468 140734911562320 140560758506112 140560786744477 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13088] ppid=13083 vsize=15012696 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13088/stat : 13088 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 21762 33554432000 4194304 4196468 140734911562320 140560790964624 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13089] ppid=13083 vsize=15012696 memory=139702387284339 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13089/stat : 13089 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 21762 33554432000 4194304 4196468 140734911562320 140560247544080 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13090] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13090/stat : 13090 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 21762 33554432000 4194304 4196468 140734911562320 140560246491792 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13091] ppid=13083 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13091/stat : 13091 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 21762 33554432000 4194304 4196468 140734911562320 140560245438992 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13092] ppid=13083 vsize=15012696 memory=139702387271296 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13092/stat : 13092 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721945 15373000704 21762 33554432000 4194304 4196468 140734911562320 140559622855280 140560786733698 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13093] ppid=13083 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13093/stat : 13093 (java) S 13083 13083 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405721946 15373000704 21762 33554432000 4194304 4196468 140734911562320 140559381423392 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13094] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13094/stat : 13094 (java) S 13083 13083 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405721946 15373000704 21762 33554432000 4194304 4196468 140734911562320 140559247201904 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13095] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13095/stat : 13095 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405721948 15373000704 21762 33554432000 4194304 4196468 140734911562320 140558872697424 140560786741147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13096] ppid=13083 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13086/task/13096/stat : 13096 (java) S 13083 13083 11905 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 15 0 405721948 15373000704 21762 33554432000 4194304 4196468 140734911562320 140559621802096 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13097] ppid=13083 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13097/stat : 13097 (java) S 13083 13083 11905 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 405721948 15373000704 21762 33554432000 4194304 4196468 140734911562320 140559620749296 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13098] ppid=13083 vsize=15012696 memory=139702387271296 CPUtime=0.03 cores=1,3,5,7
/proc/13086/task/13098/stat : 13098 (java) S 13083 13083 11905 0 -1 1077944384 454 0 0 0 3 0 0 0 20 0 15 0 405721948 15373000704 21762 33554432000 4194304 4196468 140734911562320 140559619697008 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13099] ppid=13083 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13099/stat : 13099 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405721949 15373000704 21762 33554432000 4194304 4196468 140734911562320 140558374791648 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13100] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13100/stat : 13100 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405721949 15373000704 21762 33554432000 4194304 4196468 140734911562320 140559618644912 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88444 KiB

[startup+0.310734 s]*
/proc/loadavg: 2.31 2.22 2.13 2/230 13100
/proc/meminfo: memFree=15767024/32770624 swapFree=67003116/67108860
[pid=13083] ppid=13080 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13083/stat : 13083 (scop.sh) S 13080 13083 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405721942 115843072 349 33554432000 4194304 5098028 140722753257872 140722753255128 140552155644540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36626432 140722753262376 140722753262704 140722753262704 140722753265613 0
/proc/13083/statm: 28282 349 296 221 0 87 0
[pid=13086] ppid=13083 vsize=15012696 memory=90660 CPUtime=0.43 cores=1,3,5,7
/proc/13086/stat : 13086 (java) S 13083 13083 11905 0 -1 1077944320 12233 0 0 0 40 3 0 0 20 0 15 0 405721942 15373000704 22665 33554432000 4194304 4196468 140734911562320 140734911544864 140560786722551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
/proc/13086/statm: 3753174 22665 3033 1 0 3715579 0
[pid=13086/tid=13087] ppid=13083 vsize=15012696 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/13086/task/13087/stat : 13087 (java) R 13083 13083 11905 0 -1 4202560 9789 0 0 0 27 2 0 0 20 0 15 0 405721942 15373000704 22665 33554432000 4194304 4196468 140734911562320 140560758538032 140560766997854 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13088] ppid=13083 vsize=15012696 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13088/stat : 13088 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 22665 33554432000 4194304 4196468 140734911562320 140560790964624 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13089] ppid=13083 vsize=15012696 memory=3545240215109251005 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13089/stat : 13089 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 22665 33554432000 4194304 4196468 140734911562320 140560247544080 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13090] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13090/stat : 13090 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 22665 33554432000 4194304 4196468 140734911562320 140560246491792 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13091] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13091/stat : 13091 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15373000704 22665 33554432000 4194304 4196468 140734911562320 140560245438992 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13092] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13092/stat : 13092 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721945 15373000704 22665 33554432000 4194304 4196468 140734911562320 140559622855280 140560786733698 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13093] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13093/stat : 13093 (java) S 13083 13083 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405721946 15373000704 22665 33554432000 4194304 4196468 140734911562320 140559381423392 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13094] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13094/stat : 13094 (java) S 13083 13083 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405721946 15373000704 22665 33554432000 4194304 4196468 140734911562320 140559247201904 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13095] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13095/stat : 13095 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405721948 15373000704 22665 33554432000 4194304 4196468 140734911562320 140558872697424 140560786741147 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13096] ppid=13083 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13086/task/13096/stat : 13096 (java) S 13083 13083 11905 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 15 0 405721948 15373000704 22665 33554432000 4194304 4196468 140734911562320 140559621802096 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13097] ppid=13083 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13086/task/13097/stat : 13097 (java) S 13083 13083 11905 0 -1 1077944384 245 0 0 0 3 0 0 0 20 0 15 0 405721948 15373000704 22665 33554432000 4194304 4196468 140734911562320 140559620749296 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13098] ppid=13083 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13086/task/13098/stat : 13098 (java) S 13083 13083 11905 0 -1 1077944384 474 0 0 0 7 0 0 0 20 0 15 0 405721948 15373000704 22665 33554432000 4194304 4196468 140734911562320 140559619697008 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13099] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13099/stat : 13099 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405721949 15373000704 22665 33554432000 4194304 4196468 140734911562320 140558374791648 140560786732757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13100] ppid=13083 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13100/stat : 13100 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405721949 15373000704 22665 33554432000 4194304 4196468 140734911562320 140559618644912 140560786733698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92056 KiB

[startup+0.703157 s]
/proc/loadavg: 2.31 2.22 2.13 3/230 13100
/proc/meminfo: memFree=15737864/32770624 swapFree=67003116/67108860
[pid=13083] ppid=13080 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13083/stat : 13083 (scop.sh) S 13080 13083 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405721942 115843072 349 33554432000 4194304 5098028 140722753257872 140722753255128 140552155644540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36626432 140722753262376 140722753262704 140722753262704 140722753265613 0
/proc/13083/statm: 28282 349 296 221 0 87 0
[pid=13086] ppid=13083 vsize=15021092 memory=128332 CPUtime=1.01 cores=1,3,5,7
/proc/13086/stat : 13086 (java) S 13083 13083 11905 0 -1 1077944320 19968 0 0 0 96 5 0 0 20 0 15 0 405721942 15381598208 32083 33554432000 4194304 4196468 140734911562320 140734911544864 140560786722551 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
/proc/13086/statm: 3755273 32083 3202 1 0 3716603 0
[pid=13086/tid=13087] ppid=13083 vsize=15021092 memory=20300 CPUtime=0.67 cores=1,3,5,7
/proc/13086/task/13087/stat : 13087 (java) R 13083 13083 11905 0 -1 1077944384 17068 0 0 0 63 4 0 0 20 0 15 0 405721942 15381598208 32083 33554432000 4194304 4196468 140734911562320 140560758557408 140560786732757 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13088] ppid=13083 vsize=15021092 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13088/stat : 13088 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405721944 15381598208 32083 33554432000 4194304 4196468 140734911562320 140560790964624 140560786732757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13089] ppid=13083 vsize=15021092 memory=500 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13089/stat : 13089 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15381598208 32083 33554432000 4194304 4196468 140734911562320 140560247544080 140560786732757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13090] ppid=13083 vsize=15021092 memory=932 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13090/stat : 13090 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15381598208 32083 33554432000 4194304 4196468 140734911562320 140560246491792 140560786732757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13091] ppid=13083 vsize=15021092 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13091/stat : 13091 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405721944 15381598208 32083 33554432000 4194304 4196468 140734911562320 140560245438992 140560786732757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13092] ppid=13083 vsize=15021092 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13092/stat : 13092 (java) S 13083 13083 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405721945 15381598208 32083 33554432000 4194304 4196468 140734911562320 140559622855280 140560786733698 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13093] ppid=13083 vsize=15021092 memory=804 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13093/stat : 13093 (java) S 13083 13083 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405721946 15381598208 32083 33554432000 4194304 4196468 140734911562320 140559381423392 140560786732757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13094] ppid=13083 vsize=15021092 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13094/stat : 13094 (java) S 13083 13083 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405721946 15381598208 32083 33554432000 4194304 4196468 140734911562320 140559247201904 140560786732757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13095] ppid=13083 vsize=15021092 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13095/stat : 13095 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405721948 15381598208 32083 33554432000 4194304 4196468 140734911562320 140558872697424 140560786741147 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13096] ppid=13083 vsize=15021092 memory=2580 CPUtime=0.07 cores=1,3,5,7
/proc/13086/task/13096/stat : 13096 (java) R 13083 13083 11905 0 -1 4202560 484 0 0 0 7 0 0 0 20 0 15 0 405721948 15381598208 32083 33554432000 4194304 4196468 140734911562320 140559621802096 140560770222643 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13097] ppid=13083 vsize=15021092 memory=1764 CPUtime=0.08 cores=1,3,5,7
/proc/13086/task/13097/stat : 13097 (java) R 13083 13083 11905 0 -1 4202560 458 0 0 0 8 0 0 0 20 0 15 0 405721948 15381598208 32083 33554432000 4194304 4196468 140734911562320 140559620738560 140560771466785 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13098] ppid=13083 vsize=15021092 memory=111632 CPUtime=0.16 cores=1,3,5,7
/proc/13086/task/13098/stat : 13098 (java) R 13083 13083 11905 0 -1 4202560 602 0 0 0 16 0 0 0 20 0 15 0 405721948 15381598208 32083 33554432000 4194304 4196468 140734911562320 140559619697008 140560765358221 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13099] ppid=13083 vsize=15021092 memory=796 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13099/stat : 13099 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405721949 15381598208 32083 33554432000 4194304 4196468 140734911562320 140558374791648 140560786732757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
[pid=13086/tid=13100] ppid=13083 vsize=15021092 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/13086/task/13100/stat : 13100 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405721949 15381598208 32083 33554432000 4194304 4196468 140734911562320 140559618644912 140560786733698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22306816 140734911566574 140734911567002 140734911567002 140734911569871 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129728 KiB

[startup+1.50136 s]
/proc/loadavg: 2.31 2.22 2.13 4/230 13100
/proc/meminfo: memFree=15705036/32770624 swapFree=67003116/67108860
[pid=13083] ppid=13080 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13083/stat : 13083 (scop.sh) S 13080 13083 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405721942 115843072 349 33554432000 4194304 5098028 140722753257872 140722753255128 140552155644540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36626432 140722753262376 140722753262704 140722753262704 140722753265613 0
/proc/13083/statm: 28282 349 296 221 0 87 0

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

[pid=13103/tid=13116] ppid=13083 vsize=8068440 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13116/stat : 13116 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405724721 8262082560 30115 33554432000 4194304 4196468 140724630036192 139909767621216 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13117] ppid=13083 vsize=8068440 memory=2120 CPUtime=0.23 cores=1,3,5,7
/proc/13103/task/13117/stat : 13117 (java) S 13083 13083 11905 0 -1 1077944384 29 0 0 0 9 14 0 0 20 0 19 0 405724721 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911382379312 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13119] ppid=13083 vsize=8068440 memory=20312 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13119/stat : 13119 (java) S 13083 13083 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405724788 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911378634304 139911940173593 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13121] ppid=13083 vsize=8068440 memory=1556 CPUtime=0.01 cores=1,3,5,7
/proc/13103/task/13121/stat : 13121 (java) S 13083 13083 11905 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 405724788 8262082560 30115 33554432000 4194304 4196468 140724630036192 139909230735472 139911940170909 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13122] ppid=13083 vsize=8068440 memory=500 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13122/stat : 13122 (java) S 13083 13083 11905 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405724788 8262082560 30115 33554432000 4194304 4196468 140724630036192 139909096512784 139911940170909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13123] ppid=13083 vsize=8068440 memory=932 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13123/stat : 13123 (java) S 13083 13083 11905 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405724791 8262082560 30115 33554432000 4194304 4196468 140724630036192 139909364964400 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
Current children cumulated CPU time: 438.67 s
Current children cumulated vsize: 9460380 KiB
Current children cumulated memory: 1141336 KiB

[startup+432.001 s]*
/proc/loadavg: 2.35 2.51 2.31 3/239 13286
/proc/meminfo: memFree=21536712/32770624 swapFree=67003116/67108860
[pid=13083] ppid=13080 vsize=113128 memory=1476 CPUtime=34.42 cores=1,3,5,7
/proc/13083/stat : 13083 (scop.sh) S 13080 13083 11905 0 -1 4202496 583 43481 0 0 0 0 3273 169 20 0 1 0 405721942 115843072 369 33554432000 4194304 5098028 140722753257872 140722753254616 140552155644540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36626432 140722753262376 140722753262704 140722753262704 140722753265613 0
/proc/13083/statm: 28282 369 311 221 0 87 0
[pid=13103] ppid=13083 vsize=8068440 memory=120460 CPUtime=1.47 cores=1,3,5,7
/proc/13103/stat : 13103 (java) S 13083 13083 11905 0 -1 1077944320 20458 0 0 0 125 22 0 0 20 0 19 0 405724714 8262082560 30115 33554432000 4194304 4196468 140724630036192 140724630018736 139911940148983 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
/proc/13103/statm: 2017110 30115 3202 1 0 1978454 0
[pid=13118] ppid=13103 vsize=1278812 memory=1019400 CPUtime=403.59 cores=1,3,5,7
/proc/13118/stat : 13118 (glueminisat-sim) R 13103 13083 11905 0 -1 4202496 1450411 0 0 0 40195 164 0 0 20 0 1 0 405724787 1309503488 254850 33554432000 4194304 4452875 140723644072320 140723644067416 4373054 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 16408576 140723644076895 140723644077095 140723644077095 140723644080045 0
/proc/13118/statm: 319703 254850 375 64 0 315907 0
[pid=13103/tid=13104] ppid=13083 vsize=8068440 memory=-7824251494390978409 CPUtime=0.76 cores=1,3,5,7
/proc/13103/task/13104/stat : 13104 (java) S 13083 13083 11905 0 -1 1077944384 17233 0 0 0 70 6 0 0 20 0 19 0 405724714 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911911989152 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13105] ppid=13083 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13105/stat : 13105 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405724716 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911944390928 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13106] ppid=13083 vsize=8068440 memory=120460 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13106/stat : 13106 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405724716 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911744559504 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13107] ppid=13083 vsize=8068440 memory=1019400 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13107/stat : 13107 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405724716 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911743506960 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13108] ppid=13083 vsize=8068440 memory=1019396 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13108/stat : 13108 (java) S 13083 13083 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405724716 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911742454416 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13109] ppid=13083 vsize=8068440 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13109/stat : 13109 (java) S 13083 13083 11905 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405724717 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911386589680 139911940160130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13110] ppid=13083 vsize=8068440 memory=37476 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13110/stat : 13110 (java) S 13083 13083 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405724718 8262082560 30115 33554432000 4194304 4196468 140724630036192 139910908470688 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13111] ppid=13083 vsize=8068440 memory=1019400 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13111/stat : 13111 (java) S 13083 13083 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405724718 8262082560 30115 33554432000 4194304 4196468 140724630036192 139910640035312 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13112] ppid=13083 vsize=8068440 memory=3064 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13112/stat : 13112 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405724720 8262082560 30115 33554432000 4194304 4196468 140724630036192 139910265526992 139911940167579 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13113] ppid=13083 vsize=8068440 memory=776 CPUtime=0.1 cores=1,3,5,7
/proc/13103/task/13113/stat : 13113 (java) S 13083 13083 11905 0 -1 1077944384 562 0 0 0 10 0 0 0 20 0 19 0 405724720 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911385536496 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13114] ppid=13083 vsize=8068440 memory=3936 CPUtime=0.08 cores=1,3,5,7
/proc/13103/task/13114/stat : 13114 (java) S 13083 13083 11905 0 -1 1077944384 485 0 0 0 8 0 0 0 20 0 19 0 405724720 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911384483952 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13115] ppid=13083 vsize=8068440 memory=1228 CPUtime=0.21 cores=1,3,5,7
/proc/13103/task/13115/stat : 13115 (java) S 13083 13083 11905 0 -1 1077944384 752 0 0 0 21 0 0 0 20 0 19 0 405724721 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911383431408 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13116] ppid=13083 vsize=8068440 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13116/stat : 13116 (java) S 13083 13083 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405724721 8262082560 30115 33554432000 4194304 4196468 140724630036192 139909767621216 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13117] ppid=13083 vsize=8068440 memory=1720 CPUtime=0.23 cores=1,3,5,7
/proc/13103/task/13117/stat : 13117 (java) S 13083 13083 11905 0 -1 1077944384 29 0 0 0 9 14 0 0 20 0 19 0 405724721 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911382379312 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13119] ppid=13083 vsize=8068440 memory=5840 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13119/stat : 13119 (java) S 13083 13083 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405724788 8262082560 30115 33554432000 4194304 4196468 140724630036192 139911378634304 139911940173593 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13121] ppid=13083 vsize=8068440 memory=636 CPUtime=0.01 cores=1,3,5,7
/proc/13103/task/13121/stat : 13121 (java) S 13083 13083 11905 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 405724788 8262082560 30115 33554432000 4194304 4196468 140724630036192 139909230735472 139911940170909 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13122] ppid=13083 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13122/stat : 13122 (java) S 13083 13083 11905 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405724788 8262082560 30115 33554432000 4194304 4196468 140724630036192 139909096512784 139911940170909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13123] ppid=13083 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/13103/task/13123/stat : 13123 (java) S 13083 13083 11905 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405724791 8262082560 30115 33554432000 4194304 4196468 140724630036192 139909364964400 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
Current children cumulated CPU time: 439.48 s
Current children cumulated vsize: 9460380 KiB
Current children cumulated memory: 1141336 KiB

[startup+432.401 s]
/proc/loadavg: 2.35 2.51 2.31 3/239 13286
/proc/meminfo: memFree=21536712/32770624 swapFree=67003116/67108860
[pid=13083] ppid=13080 vsize=113128 memory=1476 CPUtime=34.42 cores=1,3,5,7
/proc/13083/stat : 13083 (scop.sh) S 13080 13083 11905 0 -1 4202496 583 43481 0 0 0 0 3273 169 20 0 1 0 405721942 115843072 369 33554432000 4194304 5098028 140722753257872 140722753254616 140552155644540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36626432 140722753262376 140722753262704 140722753262704 140722753265613 0
/proc/13083/statm: 28282 369 311 221 0 87 0
[pid=13103] ppid=13083 vsize=8068440 memory=137008 CPUtime=405.63 cores=1,3,5,7
/proc/13103/stat : 13103 (java) S 13083 13083 11905 0 -1 1077944320 21166 1450658 0 0 145 23 40227 168 20 0 18 0 405724714 8262082560 34252 33554432000 4194304 4196468 140724630036192 140724630018736 139911940148983 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
/proc/13103/statm: 2017110 34252 3221 1 0 1978454 0
[pid=13103/tid=13104] ppid=13083 vsize=8068440 memory=2580 CPUtime=404.71 cores=1,3,5,7
/proc/13103/task/13104/stat : 13104 (java) S 13083 13083 11905 0 -1 1077944384 17233 1450658 0 0 70 6 40227 168 20 0 18 0 405724714 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911911989152 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13105] ppid=13083 vsize=8068440 memory=1764 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13105/stat : 13105 (java) S 13083 13083 11905 0 -1 1077944384 1 1450658 0 0 0 0 40227 168 20 0 18 0 405724716 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911944390928 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13106] ppid=13083 vsize=8068440 memory=111632 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13106/stat : 13106 (java) S 13083 13083 11905 0 -1 1077944384 1 1450658 0 0 0 0 40227 168 20 0 18 0 405724716 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911744559504 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13107] ppid=13083 vsize=8068440 memory=1476 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13107/stat : 13107 (java) S 13083 13083 11905 0 -1 1077944384 1 1450658 0 0 0 0 40227 168 20 0 18 0 405724716 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911743506960 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13108] ppid=13083 vsize=8068440 memory=120460 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13108/stat : 13108 (java) S 13083 13083 11905 0 -1 1077944384 2 1450658 0 0 0 0 40227 168 20 0 18 0 405724716 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911742454416 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13109] ppid=13083 vsize=8068440 memory=1019400 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13109/stat : 13109 (java) S 13083 13083 11905 0 -1 1077944384 9 1450658 0 0 0 0 40227 168 20 0 18 0 405724717 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911386589680 139911940160130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13110] ppid=13083 vsize=8068440 memory=2832 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13110/stat : 13110 (java) S 13083 13083 11905 0 -1 1077944384 13 1450658 0 0 0 0 40227 168 20 0 18 0 405724718 8262082560 34252 33554432000 4194304 4196468 140724630036192 139910908470688 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13111] ppid=13083 vsize=8068440 memory=1056 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13111/stat : 13111 (java) S 13083 13083 11905 0 -1 1077944384 1 1450658 0 0 0 0 40227 168 20 0 18 0 405724718 8262082560 34252 33554432000 4194304 4196468 140724630036192 139910640035312 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13112] ppid=13083 vsize=8068440 memory=1568 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13112/stat : 13112 (java) S 13083 13083 11905 0 -1 1077944384 3 1450658 0 0 0 0 40227 168 20 0 18 0 405724720 8262082560 34252 33554432000 4194304 4196468 140724630036192 139910265526992 139911940167579 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13113] ppid=13083 vsize=8068440 memory=1040 CPUtime=404.1 cores=1,3,5,7
/proc/13103/task/13113/stat : 13113 (java) R 13083 13083 11905 0 -1 4202560 584 1450658 0 0 15 0 40227 168 20 0 18 0 405724720 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911385523344 139911924548688 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13114] ppid=13083 vsize=8068440 memory=14008 CPUtime=404.09 cores=1,3,5,7
/proc/13103/task/13114/stat : 13114 (java) S 13083 13083 11905 0 -1 1077944384 764 1450658 0 0 13 1 40227 168 20 0 18 0 405724720 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911384483952 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13115] ppid=13083 vsize=8068440 memory=12040 CPUtime=404.19 cores=1,3,5,7
/proc/13103/task/13115/stat : 13115 (java) S 13083 13083 11905 0 -1 1077944384 980 1450658 0 0 24 0 40227 168 20 0 18 0 405724721 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911383431408 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13116] ppid=13083 vsize=8068440 memory=2120 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13116/stat : 13116 (java) S 13083 13083 11905 0 -1 1077944384 3 1450658 0 0 0 0 40227 168 20 0 18 0 405724721 8262082560 34252 33554432000 4194304 4196468 140724630036192 139909767621216 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13117] ppid=13083 vsize=8068440 memory=20312 CPUtime=404.18 cores=1,3,5,7
/proc/13103/task/13117/stat : 13117 (java) S 13083 13083 11905 0 -1 1077944384 29 1450658 0 0 9 14 40227 168 20 0 18 0 405724721 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911382379312 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13119] ppid=13083 vsize=8068440 memory=1556 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13119/stat : 13119 (java) S 13083 13083 11905 0 -1 1077944384 24 1450658 0 0 0 0 40227 168 20 0 18 0 405724788 8262082560 34252 33554432000 4194304 4196468 140724630036192 139911378633488 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13121] ppid=13083 vsize=8068440 memory=500 CPUtime=404.04 cores=1,3,5,7
/proc/13103/task/13121/stat : 13121 (java) R 13083 13083 11905 0 -1 4202560 186 1450658 0 0 9 0 40227 168 20 0 18 0 405724788 8262082560 34252 33554432000 4194304 4196468 140724630036192 139909230739856 139911395120480 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13123] ppid=13083 vsize=8068440 memory=120460 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13123/stat : 13123 (java) S 13083 13083 11905 0 -1 1077944384 22 1450658 0 0 0 0 40227 168 20 0 18 0 405724791 8262082560 34252 33554432000 4194304 4196468 140724630036192 139909364964160 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
Current children cumulated CPU time: 440.05 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 138484 KiB

[startup+432.501 s]
/proc/loadavg: 2.35 2.51 2.31 3/239 13286
/proc/meminfo: memFree=21536712/32770624 swapFree=67003116/67108860
[pid=13083] ppid=13080 vsize=113128 memory=1476 CPUtime=34.42 cores=1,3,5,7
/proc/13083/stat : 13083 (scop.sh) S 13080 13083 11905 0 -1 4202496 583 43481 0 0 0 0 3273 169 20 0 1 0 405721942 115843072 369 33554432000 4194304 5098028 140722753257872 140722753254616 140552155644540 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36626432 140722753262376 140722753262704 140722753262704 140722753265613 0
/proc/13083/statm: 28282 369 311 221 0 87 0
[pid=13103] ppid=13083 vsize=7937364 memory=141188 CPUtime=405.83 cores=1,3,5,7
/proc/13103/stat : 13103 (java) S 13083 13083 11905 0 -1 1077944320 21663 1450658 0 0 165 23 40227 168 20 0 17 0 405724714 8127860736 35297 33554432000 4194304 4196468 140724630036192 140724630018736 139911940148983 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
/proc/13103/statm: 1984341 35297 3226 1 0 1945685 0
[pid=13103/tid=13104] ppid=13083 vsize=7937364 memory=120460 CPUtime=404.8 cores=1,3,5,7
/proc/13103/task/13104/stat : 13104 (java) R 13083 13083 11905 0 -1 4202560 17511 1450658 0 0 79 6 40227 168 20 0 17 0 405724714 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911911986864 139911940160918 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13105] ppid=13083 vsize=7937364 memory=120460 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13105/stat : 13105 (java) S 13083 13083 11905 0 -1 1077944384 1 1450658 0 0 0 0 40227 168 20 0 17 0 405724716 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911944390928 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13106] ppid=13083 vsize=7937364 memory=1476 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13106/stat : 13106 (java) S 13083 13083 11905 0 -1 1077944384 1 1450658 0 0 0 0 40227 168 20 0 17 0 405724716 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911744559504 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13107] ppid=13083 vsize=7937364 memory=1476 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13107/stat : 13107 (java) S 13083 13083 11905 0 -1 1077944384 1 1450658 0 0 0 0 40227 168 20 0 17 0 405724716 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911743506960 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13108] ppid=13083 vsize=7937364 memory=1476 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13108/stat : 13108 (java) S 13083 13083 11905 0 -1 1077944384 2 1450658 0 0 0 0 40227 168 20 0 17 0 405724716 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911742454416 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13109] ppid=13083 vsize=7937364 memory=1476 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13109/stat : 13109 (java) S 13083 13083 11905 0 -1 1077944384 9 1450658 0 0 0 0 40227 168 20 0 17 0 405724717 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911386589680 139911940160130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13110] ppid=13083 vsize=7937364 memory=120460 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13110/stat : 13110 (java) S 13083 13083 11905 0 -1 1077944384 13 1450658 0 0 0 0 40227 168 20 0 17 0 405724718 8127860736 35297 33554432000 4194304 4196468 140724630036192 139910908470688 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13111] ppid=13083 vsize=7937364 memory=1476 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13111/stat : 13111 (java) S 13083 13083 11905 0 -1 1077944384 1 1450658 0 0 0 0 40227 168 20 0 17 0 405724718 8127860736 35297 33554432000 4194304 4196468 140724630036192 139910640035312 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13112] ppid=13083 vsize=7937364 memory=120460 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13112/stat : 13112 (java) S 13083 13083 11905 0 -1 1077944384 3 1450658 0 0 0 0 40227 168 20 0 17 0 405724720 8127860736 35297 33554432000 4194304 4196468 140724630036192 139910265526992 139911940167579 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13113] ppid=13083 vsize=7937364 memory=1019400 CPUtime=404.12 cores=1,3,5,7
/proc/13103/task/13113/stat : 13113 (java) S 13083 13083 11905 0 -1 1077944384 592 1450658 0 0 17 0 40227 168 20 0 17 0 405724720 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911385536496 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13114] ppid=13083 vsize=7937364 memory=0 CPUtime=404.12 cores=1,3,5,7
/proc/13103/task/13114/stat : 13114 (java) R 13083 13083 11905 0 -1 1077944384 791 1450658 0 0 16 1 40227 168 20 0 17 0 405724720 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911384483952 139911940160130 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13115] ppid=13083 vsize=7937364 memory=2024 CPUtime=404.24 cores=1,3,5,7
/proc/13103/task/13115/stat : 13115 (java) R 13083 13083 11905 0 -1 4202560 1161 1450658 0 0 29 0 40227 168 20 0 17 0 405724721 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911383431408 139911932866135 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13116] ppid=13083 vsize=7937364 memory=1428 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13116/stat : 13116 (java) S 13083 13083 11905 0 -1 1077944384 3 1450658 0 0 0 0 40227 168 20 0 17 0 405724721 8127860736 35297 33554432000 4194304 4196468 140724630036192 139909767621216 139911940159189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13117] ppid=13083 vsize=7937364 memory=0 CPUtime=404.18 cores=1,3,5,7
/proc/13103/task/13117/stat : 13117 (java) S 13083 13083 11905 0 -1 1077944384 29 1450658 0 0 9 14 40227 168 20 0 17 0 405724721 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911382379312 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13119] ppid=13083 vsize=7937364 memory=0 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13119/stat : 13119 (java) S 13083 13083 11905 0 -1 1077944384 24 1450658 0 0 0 0 40227 168 20 0 17 0 405724788 8127860736 35297 33554432000 4194304 4196468 140724630036192 139911378633488 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
[pid=13103/tid=13123] ppid=13083 vsize=7937364 memory=1476 CPUtime=403.95 cores=1,3,5,7
/proc/13103/task/13123/stat : 13123 (java) S 13083 13083 11905 0 -1 1077944384 26 1450658 0 0 0 0 40227 168 20 0 17 0 405724791 8127860736 35297 33554432000 4194304 4196468 140724630036192 139909364966192 139911940160130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28954624 140724630041595 140724630041754 140724630041754 140724630044623 0
Current children cumulated CPU time: 440.25 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 142664 KiB

Child status: 0
Real time (s): 432.583
CPU time (s): 440.384
CPU user time (s): 436.706
CPU system time (s): 3.67877
CPU usage (%): 101.803
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 3926780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 436.706
system time used= 3.67877
maximum resident set size= 3925640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1517473
page faults= 0
swaps= 0
block input operations= 32
block output operations= 702176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15390
involuntary context switches= 237


# summary of solver processes directly reported to runsolver:
#   pid: 13083
#   total CPU time (s): 440.384
#   total CPU user time (s): 436.706
#   total CPU system time (s): 3.67877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.90399 second user time and 5.05709 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-12 15:24:49
IDJOB=4388049
IDBENCH=133410
IDSOLVER=2825
FILE ID=node136/4388049-1568294733
RUNJOBID= node136-1568289646-11937
PBS_JOBID= 21701094
Free space on /tmp= 54080 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-40-2-7.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-4388049-1568294733/watcher-4388049-1568294733 -o /tmp/evaluation-result-4388049-1568294733/solver-4388049-1568294733 -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-4388049-1568294733.xml

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

MD5SUM BENCH= c03c7f5b7c3afa870e2bbdca7571e3a2
RANDOM SEED=1253134246

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:        15850708 kB
MemAvailable:   25060616 kB
Buffers:           88684 kB
Cached:          9311200 kB
SwapCached:         2468 kB
Active:          8140808 kB
Inactive:        8055048 kB
Active(anon):    6797616 kB
Inactive(anon):    40044 kB
Active(file):    1343192 kB
Inactive(file):  8015004 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       67003116 kB
Dirty:             76768 kB
Writeback:             0 kB
AnonPages:       6833540 kB
Mapped:            55008 kB
Shmem:             32792 kB
Slab:             308868 kB
SReclaimable:     280172 kB
SUnreclaim:        28696 kB
KernelStack:        3744 kB
PageTables:        19004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13197276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6692864 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= 54596 MiB
End job on node136 at 2019-09-12 15:32:01