Trace number 4387668

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRandom/Random-D-t090/
rand-2-40-180-84-090-90.xml
MD5SUMb787e2fb655876ad1ad352aa15cc79d3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.914535
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints84
Number of domains1
Minimum domain size180
Maximum domain size180
Distribution of domain sizes[{"size":180,"count":40}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":8},{"degree":3,"count":6},{"degree":4,"count":5},{"degree":5,"count":8},{"degree":6,"count":6},{"degree":7,"count":4},{"degree":8,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":84}]
Number of extensional constraints84
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":84}]
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-6605-serial-file.bin HOME/instance-4387668-1568287710.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 13:27:53 CEST 2019
0.66/0.55	c PID: 6608
0.66/0.55	c IP: 172.20.3.126
0.66/0.55	c HOST: node126.alineos.net
0.66/0.56	c (0,0) Parsing Begin
2.92/1.47	c (0,0) Parsing End
2.92/1.47	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 84 ctr, max domain size 180
2.92/1.47	c (0,0) Heap : 450 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.92/1.47	c (0,0) Constraint Name Generate Begin
2.92/1.48	c (0,0) Ctr:HOME/instance-4387668-1568287710.xml,ExtensionSupport:Var
2.92/1.48	c (0,0) Constraint Name Generate End
2.92/1.48	c (0,0) Heap : 450 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.92/1.48	c (0,0) CSP to CSPinCNF Begin
12.58/5.23	c (4,4) translated 9 (10%) constraints
15.44/7.93	c (7,7) translated 17 (20%) constraints
19.83/11.00	c (10,10) translated 26 (30%) constraints
22.47/13.47	c (12,12) translated 34 (40%) constraints
25.98/16.20	c (15,15) translated 42 (50%) constraints
28.80/19.02	c (18,18) translated 51 (60%) constraints
31.23/21.49	c (20,20) translated 59 (70%) constraints
35.18/24.58	c (24,23) translated 68 (80%) constraints
37.71/27.08	c (26,25) translated 76 (90%) constraints
40.25/29.59	c (29,28) translated 84 (100%) constraints
40.65/29.91	c (29,28) ===========================================
40.65/29.91	c (29,28) Order
40.65/29.91	c (29,28) ===========================================
43.55/31.18	c (30,29) translated 51534 (10%) constraints
44.54/32.04	c (31,30) translated 103068 (20%) constraints
45.33/32.88	c (32,31) translated 154601 (30%) constraints
46.25/33.72	c (33,32) translated 206135 (40%) constraints
47.06/34.57	c (34,33) translated 257668 (50%) constraints
47.96/35.41	c (34,33) translated 309202 (60%) constraints
48.76/36.25	c (35,34) translated 360736 (70%) constraints
49.57/37.09	c (36,35) translated 412269 (80%) constraints
50.47/37.93	c (37,36) translated 463803 (90%) constraints
51.33/38.78	c (38,37) translated 515336 (100%) constraints
51.33/38.78	c (38,37) CSP to CSPinCNF End
51.33/38.79	c (38,37) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
51.33/38.79	c (38,37) Heap : 2754 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
51.33/38.79	c (38,37) CSPinCNF Propagation Begin
56.23/41.06	c (40,39) 0 values, 84 unsatisfiable literals, and 0 valid clauses are removed
56.23/41.06	c (40,39) CSPinCNF Propagation End
56.23/41.07	c (40,39) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
56.23/41.07	c (40,39) Heap : 2250 MiB used (max 10722 MiB), NonHeap : 27 MiB used (max 0 MiB)
56.23/41.07	c (40,39) Simplify CSPinCNF Begin
56.96/41.61	c (41,39) Simplify CSPinCNF End
56.96/41.61	c (41,39) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
56.96/41.61	c (41,39) Heap : 2752 MiB used (max 10722 MiB), NonHeap : 28 MiB used (max 0 MiB)
56.96/41.61	c (41,39) Calculate Precise Domain Begin
56.96/41.61	c (41,39) 0 values are removed by re-calculation
56.96/41.61	c (41,39) Calculate Precise Domain End
56.96/41.62	c (41,39) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
56.96/41.62	c (41,39) Heap : 2752 MiB used (max 10722 MiB), NonHeap : 28 MiB used (max 0 MiB)
56.96/41.62	c (41,39) CSPinCNF to SatSolver Begin
58.64/42.34	c (41,40) 51534 (10 %) CSP clauses are encoded (0 SAT variables, 58653 SAT clauses)
60.36/43.09	c (42,40) 103068 (20 %) CSP clauses are encoded (0 SAT variables, 110187 SAT clauses)
60.86/43.51	c (42,41) 154601 (30 %) CSP clauses are encoded (0 SAT variables, 161720 SAT clauses)
61.27/43.93	c (43,41) 206135 (40 %) CSP clauses are encoded (0 SAT variables, 213254 SAT clauses)
61.68/44.35	c (43,42) 257668 (50 %) CSP clauses are encoded (0 SAT variables, 264787 SAT clauses)
62.09/44.76	c (44,42) 309202 (60 %) CSP clauses are encoded (0 SAT variables, 316321 SAT clauses)
62.50/45.18	c (44,42) 360736 (70 %) CSP clauses are encoded (0 SAT variables, 367855 SAT clauses)
62.89/45.60	c (45,43) 412269 (80 %) CSP clauses are encoded (0 SAT variables, 419388 SAT clauses)
64.63/46.33	c (45,43) 463803 (90 %) CSP clauses are encoded (0 SAT variables, 470922 SAT clauses)
65.03/46.75	c (46,44) 515336 (100 %) CSP clauses are encoded (0 SAT variables, 522455 SAT clauses)
65.03/46.75	c (46,44) CSPinCNF to SatSolver End
65.03/46.75	c (46,44) Heap : 1112 MiB used (max 10707 MiB), NonHeap : 29 MiB used (max 0 MiB)
65.03/46.75	c (46,44) 22280 bool, 522456 clause
65.03/46.75	c (46,44) Export Begin
65.17/46.84	c (46,44) Export to HOME/scop-6605-serial-file.bin
65.17/46.84	c (46,44) Export End
65.17/46.84	c (46,44) Export File Size: 0.01 MB
65.17/46.84	c (46,44) 0,0,38,40,41,41,46,STOP-AFTER(DIMACS)
65.17/46.84	c END-Prog: Thu Sep 12 13:28:40 CEST 2019
65.17/46.86	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6605-serial-file.bin
65.85/47.32	c (0,0) Read Serial File Begin
65.85/47.32	c (0,0) HOME/scop-6605-serial-file.bin
66.14/47.53	c (0,0) Read Serial File End
66.14/47.54	
66.14/47.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
66.14/47.54	(Solving Process)
66.14/47.54	
66.14/47.56	c BEGIN-Prog: Thu Sep 12 13:28:40 CEST 2019
66.14/47.56	c PID: 6627
66.14/47.56	c IP: 172.20.3.126
66.14/47.56	c HOST: node126.alineos.net
66.14/47.57	c (0,0) SatSolver.solve Begin
66.14/47.57	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387668-1568287710.xml-scop-6608.cnf
66.35/47.61	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
66.35/47.61	c (0,0) c glueminisat-simp-2.2.10-193oa-n
66.35/47.61	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387668-1568287710.xml-scop-6608.cnf 
66.35/47.61	c (0,0) c Options:
66.35/47.61	c (0,0) c CORE
66.35/47.61	c (0,0) c  var_decay             = 0.950
66.35/47.61	c (0,0) c  clause_decay          = 0.999
66.35/47.61	c (0,0) c  random_var_freq       = 0.000
66.35/47.61	c (0,0) c  random_seed           = 91648253.000
66.35/47.61	c (0,0) c  luby_restart          = 1
66.35/47.61	c (0,0) c  ccmin_mode            = 2
66.35/47.61	c (0,0) c  phase_saving          = 2
66.35/47.61	c (0,0) c  rnd_pol               = 0
66.35/47.61	c (0,0) c  rnd_init_act          = 0
66.35/47.61	c (0,0) c  garbage_frac          = 0.200
66.35/47.61	c (0,0) c  restart_first         = 1000
66.35/47.61	c (0,0) c  restart_inc           = 2.000
66.35/47.61	c (0,0) c MODEL
66.35/47.61	c (0,0) c  partial_model         = 0
66.35/47.61	c (0,0) c PROPAGATION
66.35/47.61	c (0,0) c  bin_propagation       = 1
66.35/47.61	c (0,0) c SIMPLIFICATION
66.35/47.61	c (0,0) c  lrn_min_size          = 100
66.35/47.61	c (0,0) c  lazy_simp             = 1
66.35/47.61	c (0,0) c  lazy_interval         = 10
66.35/47.61	c (0,0) c  lazy_fld_probing      = 1
66.35/47.61	c (0,0) c  lazy_pol_probing      = 1
66.35/47.61	c (0,0) c  lazy_nec_probing      = 1
66.35/47.61	c (0,0) c  lazy_eqv_probing      = 1
66.35/47.61	c (0,0) c  lazy_cla_probing      = 1
66.35/47.61	c (0,0) c  lazy_lrn_min          = 2
66.35/47.61	c (0,0) c  lazy_uw_lit_elim      = 1
66.35/47.61	c (0,0) c  lazy_pr_lit_elim      = 0
66.35/47.61	c (0,0) c  lazy_bin_add          = 3
66.35/47.61	c (0,0) c  probed_lit_chain      = 1
66.35/47.61	c (0,0) c  pr_min_lits           = 0.00020
66.35/47.61	c (0,0) c  pr_min_starts         = 500
66.35/47.61	c (0,0) c  rw_min_lits           = 0.010
66.35/47.61	c (0,0) c  rw_min_starts         = 500
66.35/47.61	c (0,0) c  rand_attach           = 0
66.35/47.61	c (0,0) c  dec_elim              = 1
66.35/47.61	c (0,0) c  dec_elim_lim          = 25
66.35/47.61	c (0,0) c  dec_elim_len          = -1
66.35/47.61	c (0,0) c  amo                   = 0
66.35/47.61	c (0,0) c  amo_grp               = 1
66.35/47.61	c (0,0) c  amo_max_bins          = 1000000
66.35/47.61	c (0,0) c  amo_starts            = 50
66.35/47.61	c (0,0) c  mace_cmd              = mace
66.35/47.61	c (0,0) c DECISION
66.35/47.61	c (0,0) c  rand_rebuild          = 0
66.35/47.61	c (0,0) c  rand_rebuild_confs    = 10000
66.35/47.61	c (0,0) c  inc_var_decay         = 1
66.35/47.61	c (0,0) c  inc_var_decay_period  = 100000
66.35/47.61	c (0,0) c  inc_var_decay_init    = 0.600
66.35/47.61	c (0,0) c  var_decay_mode        = 0
66.35/47.61	c (0,0) c  var_decay_gain        = 0
66.35/47.61	c (0,0) c  sloped_var_decay      = 1
66.35/47.61	c (0,0) c  max_var_decay         = 0.990
66.35/47.61	c (0,0) c  min_var_decay         = 0.950
66.35/47.61	c (0,0) c  min_var_decay_vars    = 10000
66.35/47.61	c (0,0) c  max_var_decay_vars    = 500
66.35/47.61	c (0,0) c  uip_bumping           = 1
66.35/47.61	c (0,0) c  lbd_act_bumping       = 1
66.35/47.61	c (0,0) c  rand_tiebreak         = 0
66.35/47.61	c (0,0) c  simp_rebuild          = 1
66.35/47.61	c (0,0) c RESTART
66.35/47.61	c (0,0) c  restart_strategy      = 2
66.35/47.61	c (0,0) c  restart_blocking      = 0
66.35/47.61	c (0,0) c  agility_decay         = 0.99990
66.35/47.61	c (0,0) c  lbd_restart_rate      = 0.800
66.35/47.61	c (0,0) c  dec_restart_rate      = 0.950
66.35/47.61	c (0,0) c  blk_restart_rate      = 0.700
66.35/47.61	c (0,0) c  lbd_queue_size        = 50
66.35/47.61	c (0,0) c  dec_queue_size        = 50
66.35/47.61	c (0,0) c  trl_queue_size        = 5000
66.35/47.61	c (0,0) c  blk_restart_weight    = 1.000
66.35/47.61	c (0,0) c  inc_rst_rate          = 0
66.35/47.61	c (0,0) c  inc_rst_rate_period   = 500000
66.35/47.61	c (0,0) c  inc_lbd_rst_rate_init = 0.600
66.35/47.61	c (0,0) c  inc_dec_rst_rate_init = 0.750
66.35/47.61	c (0,0) c REDUCTION
66.35/47.61	c (0,0) c  closed_lbd            = 0
66.35/47.61	c (0,0) c  closed_lbd_rate       = 0.500
66.35/47.61	c (0,0) c  rm_simulate           = 0
66.35/47.61	c (0,0) c  rdb_eval              = 2
66.35/47.61	c (0,0) c  rdb_call              = 3
66.35/47.61	c (0,0) c  rdb_ub                = 0.500
66.35/47.61	c (0,0) c  core_lbd_cvr          = 0.800
66.35/47.61	c (0,0) c  supp_lbd_cvr          = 0.990
66.35/47.61	c (0,0) c  core_lbd_lb           = 2
66.35/47.61	c (0,0) c  supp_lbd_lb           = 2
66.35/47.61	c (0,0) c  core_lbd_prd          = 7
66.35/47.61	c (0,0) c  supp_lbd_prd          = 1
66.35/47.61	c (0,0) c  othr_lbd_prd          = 0
66.35/47.61	c (0,0) c  inc_lrn_limit         = 1000
66.35/47.61	c (0,0) c  frozen_lbd            = 30
66.35/47.61	c (0,0) c  simp_min_starts       = 100
66.35/47.61	c (0,0) c  rm_low_act_learnts    = 1
66.35/47.61	c (0,0) c  lv0_reduce_db         = 0
66.35/47.61	c (0,0) c  reduce_db_base        = 20000
66.35/47.61	c (0,0) c  reduce_db_inc         = 1000
66.35/47.61	c (0,0) c HARD
66.35/47.61	c (0,0) c  inst_check            = 200000
66.35/47.61	c (0,0) c  small_block           = 1.750
66.35/47.61	c (0,0) c  slow_restart_speed    = 400.000
66.35/47.61	c (0,0) c  slow_restart_strategy = 3
66.35/47.61	c (0,0) c  slow_lbd_restart_rate = 0.700
66.35/47.61	c (0,0) c  slow_dec_restart_rate = 1.000
66.35/47.61	c (0,0) c  slow_lbd_queue_size   = 50
66.35/47.61	c (0,0) c  slow_var_decay        = 0.950
66.35/47.61	c (0,0) c  slow_glue_threshold   = 2
66.35/47.61	c (0,0) c  slow_phase_saving     = 2
66.35/47.61	c (0,0) c  fast_restart_speed    = 125.000
66.35/47.61	c (0,0) c  fast_restart_strategy = 1
66.35/47.61	c (0,0) c  fast_lbd_restart_rate = 0.800
66.35/47.61	c (0,0) c  fast_dec_restart_rate = 0.950
66.35/47.61	c (0,0) c  fast_lbd_queue_size   = 50
66.35/47.61	c (0,0) c  fast_var_decay        = 1.000
66.35/47.61	c (0,0) c  fast_glue_threshold   = 2
66.35/47.61	c (0,0) c  fast_phase_saving     = 2
66.35/47.61	c (0,0) c STATS
66.35/47.61	c (0,0) c  stats_conf_size       = 10000
66.35/47.61	c (0,0) c  max_stats_size        = 30
66.35/47.61	c (0,0) c SOLVER
66.35/47.61	c (0,0) c  minisat               = 0
66.46/47.76	c (0,0) c Problem: 22280 variables, 522456 clauses, parsing 0.14 s
66.87/48.03	c (0,0) c  reduced to 22035 variables, 522044 clauses (grow = 0)
66.87/48.05	c (0,0) c  exclude 1 (0.0%) variables from decision variables (last cost 24)
66.87/48.08	c (0,0) c Simplification: 246 vars, 412 clauses are eliminated using 0.32 s
66.87/48.08	c (0,0) c
66.87/48.08	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
66.87/48.08	c (0,0) c
66.87/48.08	c (0,0) c    0         0         0    22034   522044        0   -nan  -nan  -nan -nan%
66.98/48.14	c (0,0) c    0         1       100    22034   522044      100   49.0   4.3  85.2 26.2%
66.98/48.19	c (0,0) c    0         3       220    22034   522044      220   91.6  15.1  72.8 22.8%
67.07/48.26	c (1,0) c    0         5       364    22034   522044      364   77.0  14.3  59.0 21.8%
67.17/48.33	c (1,0) c    0         5       536    22034   522044      536   66.9  11.2  44.7 20.8%
67.27/48.42	c (1,0) c    0         5       743    22034   522044      743   61.6   9.3  37.0 21.3%
67.37/48.53	c (1,0) c    0         5       991    22034   522044      991   67.7   8.6  37.0 21.9%
67.46/48.67	c (1,0) c    1         7      1289    22034   522044     1289   72.2   8.1  33.3 21.9%
67.66/48.83	c (1,0) c    1         7      1647    22034   522044     1647   79.6   7.3  30.4 23.4%
67.76/49.00	c (1,0) c    1         7      2076    22034   522044     2076   80.0   7.0  29.7 24.2%
68.07/49.22	c (1,0) c    1         8      2591    22034   522044     2591   82.7   6.9  27.5 23.8%
68.27/49.47	c (2,0) c    1         9      3210    22034   522044     3211   81.0   6.6  25.7 24.5%
68.57/49.76	c (2,0) c    2         9      3953    22034   522044     3954   77.1   6.4  23.7 23.6%
68.98/50.18	c (2,0) c    2        12      4844    22034   522044     4845   94.4   6.3  23.7 25.0%
69.46/50.68	c (3,0) c    3        13      5913    22034   522044     5914   99.1   6.1  22.4 25.3%
70.07/51.28	c (4,0) c    3        23      7196    22035   522044     7197   92.0   6.3  22.5 24.1%
70.77/51.99	c (4,0) c
70.77/51.99	c (4,0) c   variables         : 22035       (init 22280, after simp 22034, 0 non-decs, 40 csp)
70.77/51.99	c (4,0) c   clauses           : 522044      (init 522456, after simp 522044)
70.77/51.99	c (4,0) c   restarts          : 25          (336.00 confs/res, 50~1250 confs, 0 blks, 0 last)
70.77/51.99	c (4,0) c   conflicts         : 8736        (2008 /sec, 57.53% dconfs, 0.00% supp, trail 307.48w x 21.84h, jmp 2.15h)
70.77/51.99	c (4,0) c   decisions         : 19428       (0.6300 vdcy, 4465 /sec, 0.00% bin, rs 0.001 s)
70.77/51.99	c (4,0) c   propagations      : 12820176    (2946376 /sec, 659.88 lits/dec, 13.16% o.a.)
70.77/51.99	c (4,0) c   conflict literals : 937814      (13.34% deleted; 0.41% by bin min, 0.001 s)
70.77/51.99	c (4,0) c   len               : 92.576      (92.59 for all, max 1094, used 1036)
70.77/51.99	c (4,0) c   lbd               : 6.178       (7.52 (6.18) for all, max 97, used 95, 2.973 stdev, 12.320 blk)
70.77/51.99	c (4,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
70.77/51.99	c (4,0) c   simp dbs          : 1           (0.000 s)
70.77/51.99	c (4,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
70.77/51.99	c (4,0) c   learnts           : 8737        (0 learnts removed, 0.00%)
70.77/51.99	c (4,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
70.77/51.99	c (4,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
70.77/51.99	c (4,0) c   premise updates   : 16074       (0.36 /lit)
70.77/51.99	c (4,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
70.77/51.99	c (4,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
70.77/51.99	c (4,0) c   lazy added bins   : 1           (1 prop + 0 conf, 0.003s)
70.77/51.99	c (4,0) c   unwatched lit elim: 1249        (0.00+0.13%, 0+1249 of 1544192+937814)
70.77/51.99	c (4,0) c   classified type   : undef
70.77/51.99	c (4,0) c   progress          : 0.000 %
70.77/51.99	c (4,0) c
70.77/51.99	c (4,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
70.77/51.99	c (4,0) c
70.77/51.99	c (4,0) c    4        26      8736    22035   522044     8737   92.6   6.2  21.8 24.1%
71.67/52.84	c (5,0) c    5        27     10584    22035   522044    10585   90.6   6.0  20.1 24.2%
72.68/53.84	c (6,0) c    6        32     12802    22035   522044    12803   90.7   5.9  20.0 23.6%
73.77/54.97	c (7,0) c    7        38     15464    22034   522044    15464   89.2   5.8  19.9 22.1%
75.17/56.35	c (9,0) c    8        50     18658    22034   522044    18658   84.6   5.8  19.6 21.8%
75.78/56.98	c (9,0) c    9 r      50     20001    22034   522044    20001   83.2   5.7  19.0 21.4%
75.78/56.98	c (9,0) c
75.78/56.98	c (9,0) c R [LBD Statistics #1]
75.78/56.98	c (9,0) c R LBD         used lbd               used clause lbd
75.78/56.98	c (9,0) c R  tot      220566                   20001
75.78/56.98	c (9,0) c R  avg       2.473                   5.687
75.78/56.98	c (9,0) c R   1        21631 ( 9.8/ 9.8%)        403 ( 2.0/ 2.0%)
75.78/56.98	c (9,0) c R   2       148179 (67.2/77.0%)       4789 (23.9/26.0%)
75.78/56.98	c (9,0) c R   3        26529 (12.0/89.0%)       2786 (13.9/39.9%)
75.78/56.98	c (9,0) c R
75.78/56.98	c (9,0) c R core_lbd_threshold = 3
75.78/56.98	c (9,0) c R supp_lbd_threshold = 10
75.78/56.98	c (9,0) c R
75.78/56.98	c (9,0) c R [RDB Statistics #1]
75.78/56.98	c (9,0) c R kept: lbd      =    7973 (39.9/39.9%)
75.78/56.98	c (9,0) c R kept: ttl      =   12020 (60.1/100.0%)
75.78/56.98	c (9,0) c R kept: locked   =       8 ( 0.0/100.0%)
75.78/56.98	c (9,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
75.78/56.98	c (9,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
75.78/56.98	c (9,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
75.78/56.98	c (9,0) c
75.78/56.98	c (9,0) c    9 R      50     20001    22034   522044    20001   83.2   5.7  19.0 21.4%
76.88/58.03	c (10,0) c   10        58     22491    22034   522044    22491   79.3   5.7  17.5 20.0%
78.99/60.13	c (12,0) c   12        84     27091    22034   522044    27091   78.2   5.8  18.2 19.4%
81.59/62.73	c (15,0) c   15       100     32611    22034   522030    32266   74.8   5.7  19.2 20.1%
84.59/65.75	c (18,0) c   18       127     39235    22021   522030    38888   71.0   5.7  17.6 18.3%
85.38/66.58	c (19,0) c   18 r     133     41000    22021   522030    40654   70.5   5.7  17.4 18.3%
85.48/66.63	c (19,0) c
85.48/66.63	c (19,0) c R [LBD Statistics #2]
85.48/66.63	c (19,0) c R LBD         used lbd               used clause lbd
85.48/66.63	c (19,0) c R  tot      755744                   40654
85.48/66.63	c (19,0) c R  avg       2.269                   5.682
85.48/66.63	c (19,0) c R   1        86086 (11.4/11.4%)        911 ( 2.2/ 2.2%)
85.48/66.63	c (19,0) c R   2       549352 (72.7/84.1%)       9638 (23.7/25.9%)
85.48/66.63	c (19,0) c R
85.48/66.63	c (19,0) c R core_lbd_threshold = 2
85.48/66.63	c (19,0) c R supp_lbd_threshold = 8
85.48/66.63	c (19,0) c R
85.48/66.63	c (19,0) c R [RDB Statistics #2]
85.48/66.63	c (19,0) c R kept: lbd      =   10544 (25.9/25.9%)
85.48/66.63	c (19,0) c R kept: ttl      =   17186 (42.3/68.2%)
85.48/66.63	c (19,0) c R kept: locked   =      10 ( 0.0/68.2%)
85.48/66.63	c (19,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
85.48/66.63	c (19,0) c R lost: ttl      =   12914 (31.8/31.8%)
85.48/66.63	c (19,0) c R lost: subsumed =       0 ( 0.0/31.8%)
85.48/66.63	c (19,0) c
85.48/66.63	c (19,0) c   19 R     133     41000    22021   522030    27740   45.6   3.8  17.4 18.3%
88.09/69.26	c (22,0) c   21       153     47184    22020   522030    33925   48.8   4.1  19.6 19.7%
90.19/71.34	c (24,0) c   23       165     51882    21458   522030    38612   50.5   4.3  19.0 20.8%
90.19/71.34	c (24,0) c
90.19/71.34	c (24,0) c
90.19/71.34	c (24,0) c variables         : 21458       (init 22280, after simp 22034, 0 non-decs, 40 csp)
90.19/71.34	c (24,0) c clauses           : 522030      (init 522456, after simp 522044)
90.19/71.34	c (24,0) c restarts          : 164         (314.44 confs/res, 50~1913 confs, 0 blks, 0 last)
90.19/71.34	c (24,0) c conflicts         : 51882       (2202 /sec, 55.43% dconfs, 0.00% supp, trail 295.91w x 19.18h, jmp 1.94h)
90.19/71.34	c (24,0) c decisions         : 105051      (0.7800 vdcy, 4459 /sec, 0.00% bin, rs 0.007 s)
90.19/71.34	c (24,0) c propagations      : 68461551    (2905685 /sec, 651.70 lits/dec, 13.31% o.a.)
90.19/71.34	c (24,0) c conflict literals : 4500514     (20.08% deleted; 0.50% by bin min, 0.010 s)
90.19/71.34	c (24,0) c len               : 50.531      (68.89 for all, max 1094, used 1036)
90.19/71.34	c (24,0) c lbd               : 4.251       (7.09 (5.60) for all, max 119, used 119, 1.527 stdev, 9.719 blk)
90.19/71.34	c (24,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
90.19/71.34	c (24,0) c simp dbs          : 2           (0.057 s)
90.19/71.34	c (24,0) c reduce dbs        : 2           (core-lbd 2, supp-lbd 8, 0.043 s)
90.19/71.34	c (24,0) c learnts           : 38612       (12914 learnts removed, 24.89%)
90.19/71.34	c (24,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
90.19/71.34	c (24,0) c assigned lits     : 0           (0/25 probed, 25 remains)
90.19/71.34	c (24,0) c premise updates   : 753931      (17.11 /lit)
90.19/71.34	c (24,0) c probed variables  : 25          (16 pr, 0 eq, 0 fld, 0 pol, 0 nec, 9 cla, 0 amo)
90.19/71.34	c (24,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
90.19/71.34	c (24,0) c lazy added bins   : 8           (8 prop + 0 conf, 0.014s)
90.19/71.34	c (24,0) c unwatched lit elim: 10591       (0.04+0.22%, 550+10041 of 1544192+4500514)
90.19/71.34	c (24,0) c classified type   : undef
90.19/71.34	c (24,0) c progress          : 2.619 %
90.19/71.34	c (24,0) c
90.19/71.34	c (24,0) c [Statistics]
90.19/71.34	c (24,0) c             learnts len        learnts lbd        lit blk size       eq vars size
90.19/71.34	c (24,0) c  tot       51881              51881             367737                  0
90.19/71.34	c (24,0) c  avg      68.892              5.600              9.719               -nan
90.19/71.34	c (24,0) c   1           17 ( 0.0%)       1267 ( 2.4%)     242138 (65.8%)          0 (-nan%)
90.19/71.34	c (24,0) c   2          645 ( 1.2%)      12622 (24.3%)      35553 ( 9.7%)          0 (-nan%)
90.19/71.34	c (24,0) c   3         2216 ( 4.3%)       6904 (13.3%)      16696 ( 4.5%)          0 (-nan%)
90.19/71.34	c (24,0) c   4         4462 ( 8.6%)       6098 (11.8%)       9094 ( 2.5%)          0 (-nan%)
90.19/71.34	c (24,0) c   5         2575 ( 5.0%)       5273 (10.2%)       6099 ( 1.7%)          0 (-nan%)
90.19/71.34	c (24,0) c   6         2354 ( 4.5%)       4522 ( 8.7%)       4514 ( 1.2%)          0 (-nan%)
90.19/71.34	c (24,0) c   7         2172 ( 4.2%)       3809 ( 7.3%)       3331 ( 0.9%)          0 (-nan%)
90.19/71.34	c (24,0) c   8         1891 ( 3.6%)       2948 ( 5.7%)       2764 ( 0.8%)          0 (-nan%)
90.19/71.34	c (24,0) c   9         1669 ( 3.2%)       2184 ( 4.2%)       2471 ( 0.7%)          0 (-nan%)
90.19/71.34	c (24,0) c  10         1615 ( 3.1%)       1575 ( 3.0%)       1950 ( 0.5%)          0 (-nan%)
90.19/71.34	c (24,0) c  11         1312 ( 2.5%)       1175 ( 2.3%)       1890 ( 0.5%)          0 (-nan%)
90.19/71.34	c (24,0) c  12         1209 ( 2.3%)        799 ( 1.5%)       1653 ( 0.4%)          0 (-nan%)
90.19/71.34	c (24,0) c  13         1093 ( 2.1%)        556 ( 1.1%)       1448 ( 0.4%)          0 (-nan%)
90.19/71.34	c (24,0) c  14         1046 ( 2.0%)        388 ( 0.7%)       1345 ( 0.4%)          0 (-nan%)
90.19/71.34	c (24,0) c  15          946 ( 1.8%)        279 ( 0.5%)       1202 ( 0.3%)          0 (-nan%)
90.19/71.34	c (24,0) c  16          773 ( 1.5%)        216 ( 0.4%)       1176 ( 0.3%)          0 (-nan%)
90.19/71.34	c (24,0) c  17          717 ( 1.4%)        167 ( 0.3%)       1102 ( 0.3%)          0 (-nan%)
90.19/71.34	c (24,0) c  18          623 ( 1.2%)        126 ( 0.2%)        885 ( 0.2%)          0 (-nan%)
90.19/71.34	c (24,0) c  19          562 ( 1.1%)         90 ( 0.2%)        856 ( 0.2%)          0 (-nan%)
90.19/71.34	c (24,0) c  20          506 ( 1.0%)         76 ( 0.1%)        821 ( 0.2%)          0 (-nan%)
90.19/71.34	c (24,0) c  21          483 ( 0.9%)         78 ( 0.2%)        723 ( 0.2%)          0 (-nan%)
90.19/71.34	c (24,0) c  22          445 ( 0.9%)         47 ( 0.1%)        796 ( 0.2%)          0 (-nan%)
90.19/71.34	c (24,0) c  23          394 ( 0.8%)         54 ( 0.1%)        736 ( 0.2%)          0 (-nan%)
90.19/71.34	c (24,0) c  24          384 ( 0.7%)         37 ( 0.1%)        643 ( 0.2%)          0 (-nan%)
90.19/71.34	c (24,0) c  25          345 ( 0.7%)         37 ( 0.1%)        635 ( 0.2%)          0 (-nan%)
90.19/71.34	c (24,0) c  26          325 ( 0.6%)         16 ( 0.0%)        535 ( 0.1%)          0 (-nan%)
90.19/71.34	c (24,0) c  27          294 ( 0.6%)         31 ( 0.1%)        598 ( 0.2%)          0 (-nan%)
90.19/71.34	c (24,0) c  28          244 ( 0.5%)         39 ( 0.1%)        483 ( 0.1%)          0 (-nan%)
90.19/71.34	c (24,0) c  29          252 ( 0.5%)         17 ( 0.0%)        498 ( 0.1%)          0 (-nan%)
90.19/71.34	c (24,0) c  30        20312 (39.2%)        451 ( 0.9%)      25102 ( 6.8%)          0 (-nan%)
90.19/71.34	c (24,0) c
90.19/71.34	c (24,0) c [LBD Statistics]
90.19/71.34	c (24,0) c LBD          used lbd               used clause lbd         unused clause lbd
90.19/71.34	c (24,0) c  tot      1098095                   31100                   20772
90.19/71.34	c (24,0) c  avg        2.225                   4.443                   7.334
90.19/71.34	c (24,0) c    1       128716 (11.7/11.7%)       1250 ( 4.0/ 4.0%)          0 ( 0.0/ 0.0%)
90.19/71.34	c (24,0) c    2       811350 (73.9/85.6%)      10925 (35.1/39.1%)       1705 ( 8.2/ 8.2%)
90.19/71.34	c (24,0) c    3        84714 ( 7.7/93.3%)       5032 (16.2/55.3%)       1872 ( 9.0/17.2%)
90.19/71.34	c (24,0) c    4        32856 ( 3.0/96.3%)       3611 (11.6/66.9%)       2487 (12.0/29.2%)
90.19/71.34	c (24,0) c    5        14565 ( 1.3/97.6%)       2668 ( 8.6/75.5%)       2605 (12.5/41.7%)
90.19/71.34	c (24,0) c    6         8099 ( 0.7/98.4%)       2006 ( 6.5/82.0%)       2516 (12.1/53.8%)
90.19/71.34	c (24,0) c    7         5336 ( 0.5/98.9%)       1612 ( 5.2/87.2%)       2197 (10.6/64.4%)
90.19/71.35	c (24,0) c    8         3409 ( 0.3/99.2%)       1105 ( 3.6/90.7%)       1843 ( 8.9/73.3%)
90.19/71.35	c (24,0) c    9         2470 ( 0.2/99.4%)        801 ( 2.6/93.3%)       1383 ( 6.7/80.0%)
90.19/71.35	c (24,0) c   10         1800 ( 0.2/99.6%)        535 ( 1.7/95.0%)       1040 ( 5.0/85.0%)
90.19/71.35	c (24,0) c   11         1200 ( 0.1/99.7%)        374 ( 1.2/96.2%)        801 ( 3.9/88.8%)
90.19/71.35	c (24,0) c   12          821 ( 0.1/99.7%)        250 ( 0.8/97.0%)        549 ( 2.6/91.5%)
90.19/71.35	c (24,0) c   13          586 ( 0.1/99.8%)        183 ( 0.6/97.6%)        373 ( 1.8/93.3%)
90.19/71.35	c (24,0) c   14          482 ( 0.0/99.8%)        124 ( 0.4/98.0%)        264 ( 1.3/94.5%)
90.19/71.35	c (24,0) c   15          271 ( 0.0/99.9%)         91 ( 0.3/98.3%)        188 ( 0.9/95.4%)
90.19/71.35	c (24,0) c   16          215 ( 0.0/99.9%)         77 ( 0.2/98.5%)        139 ( 0.7/96.1%)
90.19/71.35	c (24,0) c   17          178 ( 0.0/99.9%)         54 ( 0.2/98.7%)        113 ( 0.5/96.6%)
90.19/71.35	c (24,0) c   18          128 ( 0.0/99.9%)         43 ( 0.1/98.8%)         83 ( 0.4/97.0%)
90.19/71.35	c (24,0) c   19          101 ( 0.0/99.9%)         25 ( 0.1/98.9%)         65 ( 0.3/97.4%)
90.19/71.35	c (24,0) c   20           73 ( 0.0/99.9%)         28 ( 0.1/99.0%)         48 ( 0.2/97.6%)
90.19/71.35	c (24,0) c   21           67 ( 0.0/99.9%)         29 ( 0.1/99.1%)         49 ( 0.2/97.8%)
90.19/71.35	c (24,0) c   22           40 ( 0.0/99.9%)         19 ( 0.1/99.2%)         28 ( 0.1/98.0%)
90.19/71.35	c (24,0) c   23           42 ( 0.0/99.9%)         16 ( 0.1/99.2%)         38 ( 0.2/98.1%)
90.19/71.35	c (24,0) c   24           41 ( 0.0/100.0%)         14 ( 0.0/99.3%)         23 ( 0.1/98.3%)
90.19/71.35	c (24,0) c   25           41 ( 0.0/100.0%)         12 ( 0.0/99.3%)         25 ( 0.1/98.4%)
90.19/71.35	c (24,0) c   26           28 ( 0.0/100.0%)          5 ( 0.0/99.3%)         11 ( 0.1/98.4%)
90.19/71.35	c (24,0) c   27           15 ( 0.0/100.0%)          4 ( 0.0/99.3%)         27 ( 0.1/98.6%)
90.19/71.35	c (24,0) c   28           12 ( 0.0/100.0%)         11 ( 0.0/99.4%)         28 ( 0.1/98.7%)
90.19/71.35	c (24,0) c   29           25 ( 0.0/100.0%)          7 ( 0.0/99.4%)         10 ( 0.0/98.7%)
90.19/71.35	c (24,0) c   30           13 ( 0.0/100.0%)          9 ( 0.0/99.4%)          7 ( 0.0/98.8%)
90.19/71.35	c (24,0) c   31           15 ( 0.0/100.0%)          6 ( 0.0/99.4%)         14 ( 0.1/98.8%)
90.19/71.35	c (24,0) c   32           15 ( 0.0/100.0%)         11 ( 0.0/99.5%)         22 ( 0.1/98.9%)
90.19/71.35	c (24,0) c   33           18 ( 0.0/100.0%)         13 ( 0.0/99.5%)         18 ( 0.1/99.0%)
90.19/71.35	c (24,0) c   34           11 ( 0.0/100.0%)          9 ( 0.0/99.5%)         17 ( 0.1/99.1%)
90.19/71.35	c (24,0) c   35           27 ( 0.0/100.0%)         15 ( 0.0/99.6%)         17 ( 0.1/99.2%)
90.19/71.35	c (24,0) c   36           28 ( 0.0/100.0%)         17 ( 0.1/99.6%)         18 ( 0.1/99.3%)
90.19/71.35	c (24,0) c   37           26 ( 0.0/100.0%)          5 ( 0.0/99.7%)         12 ( 0.1/99.3%)
90.19/71.35	c (24,0) c   38           17 ( 0.0/100.0%)          9 ( 0.0/99.7%)          5 ( 0.0/99.4%)
90.19/71.35	c (24,0) c   39           11 ( 0.0/100.0%)          6 ( 0.0/99.7%)          5 ( 0.0/99.4%)
90.19/71.35	c (24,0) c   40           12 ( 0.0/100.0%)          4 ( 0.0/99.7%)          6 ( 0.0/99.4%)
90.19/71.35	c (24,0) c   41           11 ( 0.0/100.0%)          8 ( 0.0/99.8%)          8 ( 0.0/99.5%)
90.19/71.35	c (24,0) c   42           11 ( 0.0/100.0%)          6 ( 0.0/99.8%)          3 ( 0.0/99.5%)
90.19/71.35	c (24,0) c   43           25 ( 0.0/100.0%)          3 ( 0.0/99.8%)          8 ( 0.0/99.5%)
90.19/71.35	c (24,0) c   44           18 ( 0.0/100.0%)          8 ( 0.0/99.8%)         20 ( 0.1/99.6%)
90.19/71.35	c (24,0) c   45           13 ( 0.0/100.0%)          4 ( 0.0/99.8%)          6 ( 0.0/99.6%)
90.19/71.35	c (24,0) c   46           16 ( 0.0/100.0%)          5 ( 0.0/99.8%)          4 ( 0.0/99.7%)
90.19/71.35	c (24,0) c   47           12 ( 0.0/100.0%)          5 ( 0.0/99.9%)          7 ( 0.0/99.7%)
90.19/71.35	c (24,0) c   48            7 ( 0.0/100.0%)          4 ( 0.0/99.9%)          2 ( 0.0/99.7%)
90.19/71.35	c (24,0) c   49           13 ( 0.0/100.0%)          4 ( 0.0/99.9%)          6 ( 0.0/99.7%)
90.19/71.35	c (24,0) c   50            8 ( 0.0/100.0%)          4 ( 0.0/99.9%)          2 ( 0.0/99.7%)
90.19/71.35	c (24,0) c   51            5 ( 0.0/100.0%)          3 ( 0.0/99.9%)          3 ( 0.0/99.7%)
90.19/71.35	c (24,0) c   52            3 ( 0.0/100.0%)          2 ( 0.0/99.9%)          1 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   53           12 ( 0.0/100.0%)          4 ( 0.0/99.9%)          3 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   54            9 ( 0.0/100.0%)          2 ( 0.0/99.9%)          3 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   55            2 ( 0.0/100.0%)          3 ( 0.0/99.9%)          1 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   56            2 ( 0.0/100.0%)          1 ( 0.0/99.9%)          1 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   57            5 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   58            3 ( 0.0/100.0%)          1 ( 0.0/99.9%)          2 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   59            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   60            3 ( 0.0/100.0%)          1 ( 0.0/99.9%)          3 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   61            5 ( 0.0/100.0%)          3 ( 0.0/100.0%)          1 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   62            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   63            4 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   64            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   65            3 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   66            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.8%)
90.19/71.35	c (24,0) c   67            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   68            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   69            3 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   70            3 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   71            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   72            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   73            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   74            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   75            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   76            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   77            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   78            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   79            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   80            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   81            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   82            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   83            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   84            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   85            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   86            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   87            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   88            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   89            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   90            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   91            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   92            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   93            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   94            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   95            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/99.9%)
90.19/71.35	c (24,0) c   96            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
90.19/71.35	c (24,0) c   97            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c   98            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c   99            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  100            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  101            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  102            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  103            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  104            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  105            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  106            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  107            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  108            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  109            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  110            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  111            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  112            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  113            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  114            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  115            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  116            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  117            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  118            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c  119            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
90.19/71.35	c (24,0) c
90.19/71.35	c (24,0) c Memory used       : 90.00 MB
90.19/71.35	c (24,0) c CPU time          : 23.563 s
90.19/71.35	c (24,0) c Real time         : 23.753 s
90.19/71.35	c (24,0) c
90.19/71.35	c (24,0) s UNSATISFIABLE
90.19/71.35	c (24,0) SatSolver.solve End
90.19/71.35	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
90.19/71.35	c (24,0) Show results Begin
90.19/71.35	s UNSATISFIABLE
90.19/71.35	c (24,0) Show results End
90.19/71.35	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
90.19/71.35	c (24,0) 24,24,STOP-AFTER(ALL)
90.19/71.35	c END-Prog: Thu Sep 12 13:29:04 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387668-1568287710/watcher-4387668-1568287710 -o /tmp/evaluation-result-4387668-1568287710/solver-4387668-1568287710 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6147 --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-4387668-1568287710.xml 

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

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

solver pid=6605, runsolver pid=6602

[startup+0.100139 s]*
/proc/loadavg: 4.13 3.93 3.08 3/235 6622
/proc/meminfo: memFree=28467844/32770624 swapFree=67004752/67108860
[pid=6605] ppid=6602 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6605/stat : 6605 (scop.sh) S 6602 6605 5150 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405038854 115843072 349 33554432000 4194304 5098028 140724543490208 140724543487464 140655787844220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40452096 140724543492904 140724543493232 140724543493232 140724543496141 0
/proc/6605/statm: 28282 349 296 221 0 87 0
[pid=6608] ppid=6605 vsize=15012696 memory=73960 CPUtime=0.12 cores=1,3,5,7
/proc/6608/stat : 6608 (java) S 6605 6605 5150 0 -1 1077944320 6724 0 0 0 10 2 0 0 20 0 15 0 405038854 15373000704 18490 33554432000 4194304 4196468 140734694239872 140734694222416 140545312063223 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
/proc/6608/statm: 3753174 18490 2913 1 0 3715579 0
[pid=6608/tid=6609] ppid=6605 vsize=15012696 memory=-2915660033818482078 CPUtime=0.09 cores=1,3,5,7
/proc/6608/task/6609/stat : 6609 (java) R 6605 6605 5150 0 -1 4202560 4626 0 0 0 7 2 0 0 20 0 15 0 405038854 15373000704 18556 33554432000 4194304 4196468 140734694239872 140545283840944 140545292339037 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6610] ppid=6605 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6610/stat : 6610 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 18556 33554432000 4194304 4196468 140734694239872 140545316306064 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6611] ppid=6605 vsize=15012696 memory=139782162646656 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6611/stat : 6611 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 18556 33554432000 4194304 4196468 140734694239872 140545092008976 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6612] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6612/stat : 6612 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 18556 33554432000 4194304 4196468 140734694239872 140545090956176 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6613] ppid=6605 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6613/stat : 6613 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 18556 33554432000 4194304 4196468 140734694239872 140545089903376 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6614] ppid=6605 vsize=15012696 memory=139782162646656 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6614/stat : 6614 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038857 15373000704 18556 33554432000 4194304 4196468 140734694239872 140544281930096 140545312074370 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6615] ppid=6605 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6615/stat : 6615 (java) S 6605 6605 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405038858 15373000704 18556 33554432000 4194304 4196468 140734694239872 140543879275552 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6616] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6616/stat : 6616 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038858 15373000704 18556 33554432000 4194304 4196468 140734694239872 140543610839920 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6617] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6617/stat : 6617 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038860 15373000704 18556 33554432000 4194304 4196468 140734694239872 140543236331344 140545312081819 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6618] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6618/stat : 6618 (java) S 6605 6605 5150 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 405038860 15373000704 18556 33554432000 4194304 4196468 140734694239872 140544280877936 140545312074370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6619] ppid=6605 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6619/stat : 6619 (java) S 6605 6605 5150 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 15 0 405038860 15373000704 18556 33554432000 4194304 4196468 140734694239872 140544279825136 140545312074370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6620] ppid=6605 vsize=15012696 memory=139782162646656 CPUtime=0.01 cores=1,3,5,7
/proc/6608/task/6620/stat : 6620 (java) R 6605 6605 5150 0 -1 4202560 445 0 0 0 1 0 0 0 20 0 15 0 405038860 15373000704 18622 33554432000 4194304 4196468 140734694239872 140544278769272 140545304300350 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6621] ppid=6605 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6621/stat : 6621 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038861 15373000704 18622 33554432000 4194304 4196468 140734694239872 140542738426592 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6622] ppid=6605 vsize=15012696 memory=139782162646656 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6622/stat : 6622 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038861 15373000704 18622 33554432000 4194304 4196468 140734694239872 140544277719728 140545312074370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75356 KiB

[startup+0.211105 s]*
/proc/loadavg: 4.13 3.93 3.08 3/235 6622
/proc/meminfo: memFree=28449468/32770624 swapFree=67004752/67108860
[pid=6605] ppid=6602 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6605/stat : 6605 (scop.sh) S 6602 6605 5150 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405038854 115843072 349 33554432000 4194304 5098028 140724543490208 140724543487464 140655787844220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40452096 140724543492904 140724543493232 140724543493232 140724543496141 0
/proc/6605/statm: 28282 349 296 221 0 87 0
[pid=6608] ppid=6605 vsize=15012696 memory=89052 CPUtime=0.24 cores=1,3,5,7
/proc/6608/stat : 6608 (java) S 6605 6605 5150 0 -1 1077944320 11856 0 0 0 21 3 0 0 20 0 15 0 405038854 15373000704 22263 33554432000 4194304 4196468 140734694239872 140734694222416 140545312063223 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
/proc/6608/statm: 3753174 22263 2916 1 0 3715579 0
[pid=6608/tid=6609] ppid=6605 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/6608/task/6609/stat : 6609 (java) R 6605 6605 5150 0 -1 4202560 9597 0 0 0 17 3 0 0 20 0 15 0 405038854 15373000704 22263 33554432000 4194304 4196468 140734694239872 140545283846784 140545312075158 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6610] ppid=6605 vsize=15012696 memory=365 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6610/stat : 6610 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 22263 33554432000 4194304 4196468 140734694239872 140545316306064 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6611] ppid=6605 vsize=15012696 memory=139782162653521 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6611/stat : 6611 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 22263 33554432000 4194304 4196468 140734694239872 140545092008976 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6612] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6612/stat : 6612 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 22263 33554432000 4194304 4196468 140734694239872 140545090956176 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6613] ppid=6605 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6613/stat : 6613 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 22263 33554432000 4194304 4196468 140734694239872 140545089903376 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6614] ppid=6605 vsize=15012696 memory=139782162646656 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6614/stat : 6614 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038857 15373000704 22263 33554432000 4194304 4196468 140734694239872 140544281930096 140545312074370 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6615] ppid=6605 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6615/stat : 6615 (java) S 6605 6605 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405038858 15373000704 22263 33554432000 4194304 4196468 140734694239872 140543879275552 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6616] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6616/stat : 6616 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038858 15373000704 22263 33554432000 4194304 4196468 140734694239872 140543610839920 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6617] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6617/stat : 6617 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038860 15373000704 22263 33554432000 4194304 4196468 140734694239872 140543236331344 140545312081819 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6618] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6618/stat : 6618 (java) S 6605 6605 5150 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 405038860 15373000704 22263 33554432000 4194304 4196468 140734694239872 140544280877936 140545312074370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6619] ppid=6605 vsize=15012696 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6608/task/6619/stat : 6619 (java) S 6605 6605 5150 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 15 0 405038860 15373000704 22263 33554432000 4194304 4196468 140734694239872 140544279825136 140545312074370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6620] ppid=6605 vsize=15012696 memory=139782162646656 CPUtime=0.02 cores=1,3,5,7
/proc/6608/task/6620/stat : 6620 (java) R 6605 6605 5150 0 -1 4202560 452 0 0 0 2 0 0 0 20 0 15 0 405038860 15373000704 22263 33554432000 4194304 4196468 140734694239872 140544278772336 140545291021164 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6621] ppid=6605 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6621/stat : 6621 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038861 15373000704 22263 33554432000 4194304 4196468 140734694239872 140542738426592 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6622] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6622/stat : 6622 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038861 15373000704 22263 33554432000 4194304 4196468 140734694239872 140544277719728 140545312074370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90448 KiB

[startup+0.311229 s]*
/proc/loadavg: 4.13 3.93 3.08 3/235 6622
/proc/meminfo: memFree=28447420/32770624 swapFree=67004752/67108860
[pid=6605] ppid=6602 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6605/stat : 6605 (scop.sh) S 6602 6605 5150 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405038854 115843072 349 33554432000 4194304 5098028 140724543490208 140724543487464 140655787844220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40452096 140724543492904 140724543493232 140724543493232 140724543496141 0
/proc/6605/statm: 28282 349 296 221 0 87 0
[pid=6608] ppid=6605 vsize=15012696 memory=92656 CPUtime=0.43 cores=1,3,5,7
/proc/6608/stat : 6608 (java) S 6605 6605 5150 0 -1 1077944320 12223 0 0 0 39 4 0 0 20 0 15 0 405038854 15373000704 23164 33554432000 4194304 4196468 140734694239872 140734694222416 140545312063223 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
/proc/6608/statm: 3753174 23164 3031 1 0 3715579 0
[pid=6608/tid=6609] ppid=6605 vsize=15012696 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/6608/task/6609/stat : 6609 (java) R 6605 6605 5150 0 -1 4202560 9779 0 0 0 27 3 0 0 20 0 15 0 405038854 15373000704 23164 33554432000 4194304 4196468 140734694239872 140545283893296 140545293626779 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6610] ppid=6605 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6610/stat : 6610 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 23164 33554432000 4194304 4196468 140734694239872 140545316306064 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6611] ppid=6605 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6611/stat : 6611 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 23164 33554432000 4194304 4196468 140734694239872 140545092008976 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6612] ppid=6605 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6612/stat : 6612 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 23164 33554432000 4194304 4196468 140734694239872 140545090956176 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6613] ppid=6605 vsize=15012696 memory=6933954179156714387 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6613/stat : 6613 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038856 15373000704 23164 33554432000 4194304 4196468 140734694239872 140545089903376 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6614] ppid=6605 vsize=15012696 memory=7684433391216329786 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6614/stat : 6614 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038857 15373000704 23164 33554432000 4194304 4196468 140734694239872 140544281930096 140545312074370 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6615] ppid=6605 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6615/stat : 6615 (java) S 6605 6605 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405038858 15373000704 23164 33554432000 4194304 4196468 140734694239872 140543879275552 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6616] ppid=6605 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6616/stat : 6616 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038858 15373000704 23164 33554432000 4194304 4196468 140734694239872 140543610839920 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6617] ppid=6605 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6617/stat : 6617 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038860 15373000704 23164 33554432000 4194304 4196468 140734694239872 140543236331344 140545312081819 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6618] ppid=6605 vsize=15012696 memory=-7384621950708166502 CPUtime=0.02 cores=1,3,5,7
/proc/6608/task/6618/stat : 6618 (java) S 6605 6605 5150 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 15 0 405038860 15373000704 23164 33554432000 4194304 4196468 140734694239872 140544280877936 140545312074370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6619] ppid=6605 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6608/task/6619/stat : 6619 (java) S 6605 6605 5150 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 405038860 15373000704 23164 33554432000 4194304 4196468 140734694239872 140544279825136 140545312074370 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6620] ppid=6605 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6608/task/6620/stat : 6620 (java) S 6605 6605 5150 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 15 0 405038860 15373000704 23164 33554432000 4194304 4196468 140734694239872 140544278772336 140545312074370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6621] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6621/stat : 6621 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038861 15373000704 23164 33554432000 4194304 4196468 140734694239872 140542738426592 140545312073429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6622] ppid=6605 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6622/stat : 6622 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038861 15373000704 23164 33554432000 4194304 4196468 140734694239872 140544277719728 140545312074370 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94052 KiB

[startup+0.700828 s]
/proc/loadavg: 4.13 3.93 3.08 3/235 6622
/proc/meminfo: memFree=28425344/32770624 swapFree=67004752/67108860
[pid=6605] ppid=6602 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6605/stat : 6605 (scop.sh) S 6602 6605 5150 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405038854 115843072 349 33554432000 4194304 5098028 140724543490208 140724543487464 140655787844220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40452096 140724543492904 140724543493232 140724543493232 140724543496141 0
/proc/6605/statm: 28282 349 296 221 0 87 0
[pid=6608] ppid=6605 vsize=15018968 memory=131644 CPUtime=1.02 cores=1,3,5,7
/proc/6608/stat : 6608 (java) S 6605 6605 5150 0 -1 1077944320 19582 0 0 0 96 6 0 0 20 0 15 0 405038854 15379423232 32911 33554432000 4194304 4196468 140734694239872 140734694222416 140545312063223 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
/proc/6608/statm: 3754742 32911 3193 1 0 3716091 0
[pid=6608/tid=6609] ppid=6605 vsize=15018968 memory=3620 CPUtime=0.67 cores=1,3,5,7
/proc/6608/task/6609/stat : 6609 (java) R 6605 6605 5150 0 -1 4202560 16683 0 0 0 62 5 0 0 20 0 15 0 405038854 15379423232 32911 33554432000 4194304 4196468 140734694239872 140545283900912 140545312085149 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6610] ppid=6605 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6610/stat : 6610 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038856 15379423232 32911 33554432000 4194304 4196468 140734694239872 140545316306064 140545312073429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6611] ppid=6605 vsize=15018968 memory=6438155977927 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6611/stat : 6611 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038856 15379423232 32911 33554432000 4194304 4196468 140734694239872 140545092008976 140545312073429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6612] ppid=6605 vsize=15018968 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6612/stat : 6612 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038856 15379423232 32911 33554432000 4194304 4196468 140734694239872 140545090956176 140545312073429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6613] ppid=6605 vsize=15018968 memory=15822200779310916 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6613/stat : 6613 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038856 15379423232 32911 33554432000 4194304 4196468 140734694239872 140545089903376 140545312073429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6614] ppid=6605 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6614/stat : 6614 (java) S 6605 6605 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405038857 15379423232 32911 33554432000 4194304 4196468 140734694239872 140544281930096 140545312074370 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6615] ppid=6605 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6615/stat : 6615 (java) S 6605 6605 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405038858 15379423232 32911 33554432000 4194304 4196468 140734694239872 140543879275552 140545312073429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6616] ppid=6605 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6616/stat : 6616 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038858 15379423232 32911 33554432000 4194304 4196468 140734694239872 140543610839920 140545312073429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6617] ppid=6605 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6617/stat : 6617 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038860 15379423232 32911 33554432000 4194304 4196468 140734694239872 140543236331344 140545312081819 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6618] ppid=6605 vsize=15018968 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6608/task/6618/stat : 6618 (java) S 6605 6605 5150 0 -1 1077944384 343 0 0 0 9 0 0 0 20 0 15 0 405038860 15379423232 32911 33554432000 4194304 4196468 140734694239872 140544280877936 140545312074370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6619] ppid=6605 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6608/task/6619/stat : 6619 (java) S 6605 6605 5150 0 -1 1077944384 622 0 0 0 8 0 0 0 20 0 15 0 405038860 15379423232 32911 33554432000 4194304 4196468 140734694239872 140544279825136 140545312074370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6620] ppid=6605 vsize=15018968 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/6608/task/6620/stat : 6620 (java) R 6605 6605 5150 0 -1 4202560 598 0 0 0 16 0 0 0 20 0 15 0 405038860 15379423232 32911 33554432000 4194304 4196468 140734694239872 140544278772336 140545312075158 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6621] ppid=6605 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6621/stat : 6621 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038861 15379423232 32911 33554432000 4194304 4196468 140734694239872 140542738426592 140545312073429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
[pid=6608/tid=6622] ppid=6605 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6608/task/6622/stat : 6622 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038861 15379423232 32911 33554432000 4194304 4196468 140734694239872 140544277719728 140545312074370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20316160 140734694245103 140734694245530 140734694245530 140734694248399 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133040 KiB

[startup+1.50088 s]
/proc/loadavg: 4.13 3.93 3.08 5/235 6622
/proc/meminfo: memFree=28314576/32770624 swapFree=67004752/67108860
[pid=6605] ppid=6602 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6605/stat : 6605 (scop.sh) S 6602 6605 5150 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405038854 115843072 349 33554432000 4194304 5098028 140724543490208 140724543487464 140655787844220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40452096 140724543492904 140724543493232 140724543493232 140724543496141 0
/proc/6605/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 89.3 s
Current children cumulated vsize: 8243968 KiB
Current children cumulated memory: 168548 KiB

[startup+70.801 s]
/proc/loadavg: 2.53 3.50 2.99 3/240 6648
/proc/meminfo: memFree=28366248/32770624 swapFree=67004752/67108860
[pid=6605] ppid=6602 vsize=113128 memory=1476 CPUtime=65.28 cores=1,3,5,7
/proc/6605/stat : 6605 (scop.sh) S 6602 6605 5150 0 -1 4202496 584 54298 0 0 0 0 6361 167 20 0 1 0 405038854 115843072 369 33554432000 4194304 5098028 140724543490208 140724543486952 140655787844220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40452096 140724543492904 140724543493232 140724543493232 140724543496141 0
/proc/6605/statm: 28282 369 311 221 0 87 0
[pid=6627] ppid=6605 vsize=8068440 memory=120152 CPUtime=1.22 cores=1,3,5,7
/proc/6627/stat : 6627 (java) S 6605 6605 5150 0 -1 1077944320 19934 0 0 0 115 7 0 0 20 0 19 0 405043540 8262082560 30038 33554432000 4194304 4196468 140728616284656 140728616267200 140118203567863 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
/proc/6627/statm: 2017110 30038 3209 1 0 1978454 0
[pid=6642] ppid=6627 vsize=62400 memory=46920 CPUtime=23.19 cores=1,3,5,7
/proc/6642/stat : 6642 (glueminisat-sim) R 6627 6605 5150 0 -1 4202496 43704 0 0 0 2301 18 0 0 20 0 1 0 405043613 63897600 11730 33554432000 4194304 4452875 140726398719792 140726398714888 139924205350791 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 30212096 140726398722912 140726398723111 140726398723111 140726398726061 0
/proc/6642/statm: 15600 11730 379 64 0 11804 0
[pid=6627/tid=6628] ppid=6605 vsize=8068440 memory=5956 CPUtime=0.75 cores=1,3,5,7
/proc/6627/task/6628/stat : 6628 (java) S 6605 6605 5150 0 -1 1077944384 16894 0 0 0 71 4 0 0 20 0 19 0 405043541 8262082560 30038 33554432000 4194304 4196468 140728616284656 140118175408032 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6629] ppid=6605 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6629/stat : 6629 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140118207810320 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6630] ppid=6605 vsize=8068440 memory=1276 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6630/stat : 6630 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140118007978896 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6631] ppid=6605 vsize=8068440 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6631/stat : 6631 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117687659536 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6632] ppid=6605 vsize=8068440 memory=752 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6632/stat : 6632 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117686606992 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6633] ppid=6605 vsize=8068440 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6633/stat : 6633 (java) S 6605 6605 5150 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405043543 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117314316272 140118203579010 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6634] ppid=6605 vsize=8068440 memory=9584 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6634/stat : 6634 (java) S 6605 6605 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405043544 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117134009248 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6635] ppid=6605 vsize=8068440 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6635/stat : 6635 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405043544 8262082560 30038 33554432000 4194304 4196468 140728616284656 140116865573872 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6636] ppid=6605 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6636/stat : 6636 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405043546 8262082560 30038 33554432000 4194304 4196468 140728616284656 140116491065552 140118203586459 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6637] ppid=6605 vsize=8068440 memory=1540 CPUtime=0.09 cores=1,3,5,7
/proc/6627/task/6637/stat : 6637 (java) S 6605 6605 5150 0 -1 1077944384 733 0 0 0 9 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117313264112 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6638] ppid=6605 vsize=8068440 memory=1720 CPUtime=0.1 cores=1,3,5,7
/proc/6627/task/6638/stat : 6638 (java) S 6605 6605 5150 0 -1 1077944384 312 0 0 0 10 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117312211568 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6639] ppid=6605 vsize=8068440 memory=5956 CPUtime=0.21 cores=1,3,5,7
/proc/6627/task/6639/stat : 6639 (java) S 6605 6605 5150 0 -1 1077944384 595 0 0 0 21 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117311159024 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6640] ppid=6605 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6640/stat : 6640 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115993160800 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6641] ppid=6605 vsize=8068440 memory=952 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6641/stat : 6641 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117310105904 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6643] ppid=6605 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6643/stat : 6643 (java) S 6605 6605 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405043613 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117302072384 140118203592473 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6645] ppid=6605 vsize=8068440 memory=20460 CPUtime=0.01 cores=1,3,5,7
/proc/6627/task/6645/stat : 6645 (java) S 6605 6605 5150 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 405043614 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115456278128 140118203589789 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6646] ppid=6605 vsize=8068440 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6646/stat : 6646 (java) S 6605 6605 5150 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 405043614 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115724713744 140118203589789 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6647] ppid=6605 vsize=8068440 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6647/stat : 6647 (java) S 6605 6605 5150 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405043617 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115053633072 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
Current children cumulated CPU time: 89.69 s
Current children cumulated vsize: 8243968 KiB
Current children cumulated memory: 168548 KiB

[startup+71.201 s]
/proc/loadavg: 2.53 3.50 2.99 3/240 6648
/proc/meminfo: memFree=28366248/32770624 swapFree=67004752/67108860
[pid=6605] ppid=6602 vsize=113128 memory=1476 CPUtime=65.28 cores=1,3,5,7
/proc/6605/stat : 6605 (scop.sh) S 6602 6605 5150 0 -1 4202496 584 54298 0 0 0 0 6361 167 20 0 1 0 405038854 115843072 369 33554432000 4194304 5098028 140724543490208 140724543486952 140655787844220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40452096 140724543492904 140724543493232 140724543493232 140724543496141 0
/proc/6605/statm: 28282 369 311 221 0 87 0
[pid=6627] ppid=6605 vsize=8068440 memory=120152 CPUtime=1.22 cores=1,3,5,7
/proc/6627/stat : 6627 (java) S 6605 6605 5150 0 -1 1077944320 19934 0 0 0 115 7 0 0 20 0 19 0 405043540 8262082560 30038 33554432000 4194304 4196468 140728616284656 140728616267200 140118203567863 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
/proc/6627/statm: 2017110 30038 3209 1 0 1978454 0
[pid=6642] ppid=6627 vsize=62400 memory=47108 CPUtime=23.59 cores=1,3,5,7
/proc/6642/stat : 6642 (glueminisat-sim) R 6627 6605 5150 0 -1 4202496 43754 0 0 0 2341 18 0 0 20 0 1 0 405043613 63897600 11777 33554432000 4194304 4452875 140726398719792 140726398714824 139924205350791 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 30212096 140726398722912 140726398723111 140726398723111 140726398726061 0
/proc/6642/statm: 15600 11777 379 64 0 11804 0
[pid=6627/tid=6628] ppid=6605 vsize=8068440 memory=46920 CPUtime=0.75 cores=1,3,5,7
/proc/6627/task/6628/stat : 6628 (java) S 6605 6605 5150 0 -1 1077944384 16894 0 0 0 71 4 0 0 20 0 19 0 405043541 8262082560 30038 33554432000 4194304 4196468 140728616284656 140118175408032 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6629] ppid=6605 vsize=8068440 memory=120152 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6629/stat : 6629 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140118207810320 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6630] ppid=6605 vsize=8068440 memory=46384 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6630/stat : 6630 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140118007978896 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6631] ppid=6605 vsize=8068440 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6631/stat : 6631 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117687659536 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6632] ppid=6605 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6632/stat : 6632 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117686606992 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6633] ppid=6605 vsize=8068440 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6633/stat : 6633 (java) S 6605 6605 5150 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405043543 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117314316272 140118203579010 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6634] ppid=6605 vsize=8068440 memory=51976 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6634/stat : 6634 (java) S 6605 6605 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405043544 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117134009248 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6635] ppid=6605 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6635/stat : 6635 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405043544 8262082560 30038 33554432000 4194304 4196468 140728616284656 140116865573872 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6636] ppid=6605 vsize=8068440 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6636/stat : 6636 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405043546 8262082560 30038 33554432000 4194304 4196468 140728616284656 140116491065552 140118203586459 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6637] ppid=6605 vsize=8068440 memory=2584 CPUtime=0.09 cores=1,3,5,7
/proc/6627/task/6637/stat : 6637 (java) S 6605 6605 5150 0 -1 1077944384 733 0 0 0 9 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117313264112 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6638] ppid=6605 vsize=8068440 memory=120152 CPUtime=0.1 cores=1,3,5,7
/proc/6627/task/6638/stat : 6638 (java) S 6605 6605 5150 0 -1 1077944384 312 0 0 0 10 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117312211568 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6639] ppid=6605 vsize=8068440 memory=49860 CPUtime=0.21 cores=1,3,5,7
/proc/6627/task/6639/stat : 6639 (java) S 6605 6605 5150 0 -1 1077944384 595 0 0 0 21 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117311159024 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6640] ppid=6605 vsize=8068440 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6640/stat : 6640 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115993160800 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6641] ppid=6605 vsize=8068440 memory=5956 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6641/stat : 6641 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117310105904 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6643] ppid=6605 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6643/stat : 6643 (java) S 6605 6605 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405043613 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117302072384 140118203592473 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6645] ppid=6605 vsize=8068440 memory=952 CPUtime=0.01 cores=1,3,5,7
/proc/6627/task/6645/stat : 6645 (java) S 6605 6605 5150 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 405043614 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115456278128 140118203589789 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6646] ppid=6605 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6646/stat : 6646 (java) S 6605 6605 5150 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 405043614 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115724713744 140118203589789 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6647] ppid=6605 vsize=8068440 memory=120152 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6647/stat : 6647 (java) S 6605 6605 5150 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405043617 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115053633072 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
Current children cumulated CPU time: 90.09 s
Current children cumulated vsize: 8243968 KiB
Current children cumulated memory: 168736 KiB

[startup+71.301 s]
/proc/loadavg: 2.53 3.50 2.99 3/240 6648
/proc/meminfo: memFree=28366248/32770624 swapFree=67004752/67108860
[pid=6605] ppid=6602 vsize=113128 memory=1476 CPUtime=65.28 cores=1,3,5,7
/proc/6605/stat : 6605 (scop.sh) S 6602 6605 5150 0 -1 4202496 584 54298 0 0 0 0 6361 167 20 0 1 0 405038854 115843072 369 33554432000 4194304 5098028 140724543490208 140724543486952 140655787844220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40452096 140724543492904 140724543493232 140724543493232 140724543496141 0
/proc/6605/statm: 28282 369 311 221 0 87 0
[pid=6627] ppid=6605 vsize=8068440 memory=120152 CPUtime=1.22 cores=1,3,5,7
/proc/6627/stat : 6627 (java) S 6605 6605 5150 0 -1 1077944320 19934 0 0 0 115 7 0 0 20 0 19 0 405043540 8262082560 30038 33554432000 4194304 4196468 140728616284656 140728616267200 140118203567863 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
/proc/6627/statm: 2017110 30038 3209 1 0 1978454 0
[pid=6642] ppid=6627 vsize=62532 memory=47340 CPUtime=23.69 cores=1,3,5,7
/proc/6642/stat : 6642 (glueminisat-sim) R 6627 6605 5150 0 -1 4202496 43776 0 0 0 2351 18 0 0 20 0 1 0 405043613 64032768 11835 33554432000 4194304 4452875 140726398719792 140726398714824 139924205350791 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 30212096 140726398722912 140726398723111 140726398723111 140726398726061 0
/proc/6642/statm: 15633 11835 379 64 0 11837 0
[pid=6627/tid=6628] ppid=6605 vsize=8068440 memory=120152 CPUtime=0.75 cores=1,3,5,7
/proc/6627/task/6628/stat : 6628 (java) S 6605 6605 5150 0 -1 1077944384 16894 0 0 0 71 4 0 0 20 0 19 0 405043541 8262082560 30038 33554432000 4194304 4196468 140728616284656 140118175408032 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6629] ppid=6605 vsize=8068440 memory=120152 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6629/stat : 6629 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140118207810320 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6630] ppid=6605 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6630/stat : 6630 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140118007978896 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6631] ppid=6605 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6631/stat : 6631 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117687659536 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6632] ppid=6605 vsize=8068440 memory=45732 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6632/stat : 6632 (java) S 6605 6605 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405043542 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117686606992 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6633] ppid=6605 vsize=8068440 memory=43684 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6633/stat : 6633 (java) S 6605 6605 5150 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405043543 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117314316272 140118203579010 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6634] ppid=6605 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6634/stat : 6634 (java) S 6605 6605 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405043544 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117134009248 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6635] ppid=6605 vsize=8068440 memory=120152 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6635/stat : 6635 (java) S 6605 6605 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405043544 8262082560 30038 33554432000 4194304 4196468 140728616284656 140116865573872 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6636] ppid=6605 vsize=8068440 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6636/stat : 6636 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405043546 8262082560 30038 33554432000 4194304 4196468 140728616284656 140116491065552 140118203586459 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6637] ppid=6605 vsize=8068440 memory=4140 CPUtime=0.09 cores=1,3,5,7
/proc/6627/task/6637/stat : 6637 (java) S 6605 6605 5150 0 -1 1077944384 733 0 0 0 9 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117313264112 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6638] ppid=6605 vsize=8068440 memory=45744 CPUtime=0.1 cores=1,3,5,7
/proc/6627/task/6638/stat : 6638 (java) S 6605 6605 5150 0 -1 1077944384 312 0 0 0 10 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117312211568 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6639] ppid=6605 vsize=8068440 memory=37268 CPUtime=0.21 cores=1,3,5,7
/proc/6627/task/6639/stat : 6639 (java) S 6605 6605 5150 0 -1 1077944384 595 0 0 0 21 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117311159024 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6640] ppid=6605 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6640/stat : 6640 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115993160800 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6641] ppid=6605 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6641/stat : 6641 (java) S 6605 6605 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405043547 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117310105904 140118203579010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6643] ppid=6605 vsize=8068440 memory=2584 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6643/stat : 6643 (java) S 6605 6605 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405043613 8262082560 30038 33554432000 4194304 4196468 140728616284656 140117302072384 140118203592473 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6645] ppid=6605 vsize=8068440 memory=1412 CPUtime=0.01 cores=1,3,5,7
/proc/6627/task/6645/stat : 6645 (java) S 6605 6605 5150 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 405043614 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115456278128 140118203589789 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6646] ppid=6605 vsize=8068440 memory=46920 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6646/stat : 6646 (java) S 6605 6605 5150 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 405043614 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115724713744 140118203589789 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
[pid=6627/tid=6647] ppid=6605 vsize=8068440 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/6627/task/6647/stat : 6647 (java) S 6605 6605 5150 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405043617 8262082560 30038 33554432000 4194304 4196468 140728616284656 140115053633072 140118203578069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140728616293372 140728616293530 140728616293530 140728616296399 0
Current children cumulated CPU time: 90.19 s
Current children cumulated vsize: 8244100 KiB
Current children cumulated memory: 168968 KiB

Child status: 0
Real time (s): 71.3657
CPU time (s): 90.3213
CPU user time (s): 88.3688
CPU system time (s): 1.95248
CPU usage (%): 126.561
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3986056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.3688
system time used= 1.95248
maximum resident set size= 3985220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118851
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8110
involuntary context switches= 218


# summary of solver processes directly reported to runsolver:
#   pid: 6605
#   total CPU time (s): 90.3213
#   total CPU user time (s): 88.3688
#   total CPU system time (s): 1.95248

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.420849 second user time and 0.868819 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-12 13:27:53
IDJOB=4387668
IDBENCH=122716
IDSOLVER=2825
FILE ID=node126/4387668-1568287710
RUNJOBID= node126-1568286203-6147
PBS_JOBID= 21701078
Free space on /tmp= 53152 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t090/rand-2-40-180-84-090-90.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-4387668-1568287710/watcher-4387668-1568287710 -o /tmp/evaluation-result-4387668-1568287710/solver-4387668-1568287710 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6147 --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-4387668-1568287710.xml

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

MD5SUM BENCH= b787e2fb655876ad1ad352aa15cc79d3
RANDOM SEED=705172246

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28528596 kB
MemAvailable:   31722704 kB
Buffers:           89824 kB
Cached:          3364544 kB
SwapCached:         2860 kB
Active:          2113904 kB
Inactive:        1497868 kB
Active(anon):     152528 kB
Inactive(anon):    46148 kB
Active(file):    1961376 kB
Inactive(file):  1451720 kB
Unevictable:      109096 kB
Mlocked:          109096 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             22596 kB
Writeback:             0 kB
AnonPages:        264456 kB
Mapped:            55016 kB
Shmem:             32816 kB
Slab:             222828 kB
SReclaimable:     193696 kB
SUnreclaim:        29132 kB
KernelStack:        3808 kB
PageTables:         5768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6007532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 53132 MiB
End job on node126 at 2019-09-12 13:29:04