Trace number 4388271

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameQueens/
Queens-m1-s1/Queens-0150-m1.xml
MD5SUM87bfaaaf5fd3b270ee1dec703898481f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark12.2089
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints11176
Number of domains1
Minimum domain size150
Maximum domain size150
Distribution of domain sizes[{"size":150,"count":150}]
Minimum variable degree150
Maximum variable degree150
Distribution of variable degrees[{"degree":150,"count":150}]
Minimum constraint arity2
Maximum constraint arity150
Distribution of constraint arities[{"arity":2,"count":11175},{"arity":150,"count":1}]
Number of extensional constraints0
Number of intensional constraints11175
Distribution of constraint types[{"type":"intension","count":11175},{"type":"allDifferent","count":1}]
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-10561-serial-file.bin HOME/instance-4388271-1568297781.xml
0.67/0.52	
0.67/0.52	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.52	
0.67/0.55	c BEGIN-Prog: Thu Sep 12 16:15:36 CEST 2019
0.67/0.55	c PID: 10564
0.67/0.55	c IP: 172.20.3.102
0.67/0.55	c HOST: node102.alineos.net
0.67/0.56	c (0,0) Parsing Begin
5.33/2.11	c (1,1) Parsing End
5.33/2.13	c (1,1) CSP: 150 int (0 aux), 0 bool (0 aux), 11176 ctr, max domain size 150
5.33/2.13	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.33/2.13	c (1,1) Constraint Name Generate Begin
5.89/2.39	c (1,1) Ctr:HOME/instance-4388271-1568297781.xml,AllDifferent:Dist:Ne:Num:Var
5.89/2.39	c (1,1) Constraint Name Generate End
5.89/2.39	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.89/2.39	c (1,1) CSP to CSPinCNF Begin
9.32/3.54	c (3,3) translated 1118 (10%) constraints
9.89/3.77	c (3,3) translated 2236 (20%) constraints
10.32/3.97	c (3,3) translated 3353 (30%) constraints
10.60/4.16	c (3,3) translated 4471 (40%) constraints
10.89/4.34	c (3,3) translated 5588 (50%) constraints
11.27/4.53	c (4,3) translated 6706 (60%) constraints
11.54/4.71	c (4,4) translated 7824 (70%) constraints
11.65/4.88	c (4,4) translated 8941 (80%) constraints
11.86/5.05	c (4,4) translated 10059 (90%) constraints
12.06/5.22	c (4,4) translated 11176 (100%) constraints
12.06/5.22	c (4,4) ===========================================
12.06/5.22	c (4,4) Order
12.06/5.22	c (4,4) ===========================================
12.57/5.41	c (4,4) translated 4486 (10%) constraints
12.79/5.54	c (5,4) translated 8971 (20%) constraints
14.48/6.65	c (6,6) translated 13456 (30%) constraints
14.58/6.75	c (6,6) translated 17941 (40%) constraints
14.73/6.85	c (6,6) translated 22426 (50%) constraints
14.83/6.95	c (6,6) translated 26912 (60%) constraints
14.93/7.05	c (6,6) translated 31397 (70%) constraints
15.04/7.15	c (6,6) translated 35882 (80%) constraints
15.13/7.29	c (6,6) translated 40367 (90%) constraints
15.22/7.35	c (6,6) translated 44852 (100%) constraints
15.22/7.36	c (6,6) CSP to CSPinCNF End
15.22/7.37	c (6,6) CSP: 150 int (0 aux), 33675 bool (33675 aux), 89852 ctr, max domain size 150
15.22/7.37	c (6,6) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.22/7.38	c (6,6) CSPinCNF Propagation Begin
16.77/8.25	c (7,7) 1 values, 4 unsatisfiable literals, and 301 valid clauses are removed
16.77/8.25	c (7,7) CSPinCNF Propagation End
16.77/8.26	c (7,7) CSP: 150 int (0 aux), 33675 bool (33675 aux), 89551 ctr, max domain size 150
16.77/8.26	c (7,7) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
16.77/8.26	c (7,7) Simplify CSPinCNF Begin
19.30/9.29	c (8,8) Simplify CSPinCNF End
19.43/9.31	c (8,8) CSP: 150 int (0 aux), 78373 bool (78373 aux), 134249 ctr, max domain size 150
19.43/9.31	c (8,8) Heap : 282 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
19.43/9.31	c (8,8) Calculate Precise Domain Begin
19.43/9.31	c (8,8) 0 values are removed by re-calculation
19.43/9.31	c (8,8) Calculate Precise Domain End
19.43/9.33	c (8,8) CSP: 150 int (0 aux), 78373 bool (78373 aux), 134249 ctr, max domain size 150
19.43/9.33	c (8,8) Heap : 282 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
19.43/9.33	c (8,8) CSPinCNF to SatSolver Begin
27.70/15.24	c (14,14) 13425 (10 %) CSP clauses are encoded (0 SAT variables, 1369025 SAT clauses)
33.68/20.87	c (20,19) 26850 (20 %) CSP clauses are encoded (0 SAT variables, 2716000 SAT clauses)
36.69/24.29	c (23,22) 40275 (30 %) CSP clauses are encoded (0 SAT variables, 3392624 SAT clauses)
36.90/24.40	c (23,22) 53700 (40 %) CSP clauses are encoded (0 SAT variables, 3406049 SAT clauses)
37.00/24.51	c (23,22) 67125 (50 %) CSP clauses are encoded (0 SAT variables, 3419474 SAT clauses)
37.72/25.14	c (24,22) 80550 (60 %) CSP clauses are encoded (0 SAT variables, 3564991 SAT clauses)
41.76/28.71	c (28,26) 93975 (70 %) CSP clauses are encoded (0 SAT variables, 4443156 SAT clauses)
46.21/32.66	c (32,29) 107400 (80 %) CSP clauses are encoded (0 SAT variables, 5424929 SAT clauses)
50.61/37.15	c (36,34) 120825 (90 %) CSP clauses are encoded (0 SAT variables, 6552870 SAT clauses)
55.82/42.54	c (42,39) 134249 (100 %) CSP clauses are encoded (0 SAT variables, 7896850 SAT clauses)
55.82/42.54	c (42,39) CSPinCNF to SatSolver End
55.82/42.54	c (42,39) Heap : 357 MiB used (max 11036 MiB), NonHeap : 29 MiB used (max 0 MiB)
55.82/42.54	c (42,39) 100722 bool, 7896999 clause
55.82/42.54	c (42,39) Export Begin
55.89/42.87	c (42,39) Export to HOME/scop-10561-serial-file.bin
55.89/42.87	c (42,39) Export End
55.89/42.87	c (42,39) Export File Size: 0.03 MB
55.89/42.87	c (42,39) 1,1,6,7,8,8,42,STOP-AFTER(DIMACS)
55.89/42.87	c END-Prog: Thu Sep 12 16:16:18 CEST 2019
0.00/42.90	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10561-serial-file.bin
56.62/43.36	c (0,0) Read Serial File Begin
56.62/43.36	c (0,0) HOME/scop-10561-serial-file.bin
56.87/43.57	c (0,0) Read Serial File End
56.87/43.58	
56.87/43.58	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
56.87/43.59	(Solving Process)
56.87/43.59	
57.04/43.61	c BEGIN-Prog: Thu Sep 12 16:16:19 CEST 2019
57.04/43.61	c PID: 10581
57.04/43.61	c IP: 172.20.3.102
57.04/43.61	c HOST: node102.alineos.net
57.04/43.61	c (0,0) SatSolver.solve Begin
57.04/43.61	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388271-1568297781.xml-scop-10564.cnf
57.04/43.64	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
57.04/43.64	c (0,0) c glueminisat-simp-2.2.10-193oa-n
57.04/43.64	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388271-1568297781.xml-scop-10564.cnf 
57.04/43.64	c (0,0) c Options:
57.04/43.64	c (0,0) c CORE
57.04/43.64	c (0,0) c  var_decay             = 0.950
57.04/43.64	c (0,0) c  clause_decay          = 0.999
57.04/43.64	c (0,0) c  random_var_freq       = 0.000
57.04/43.64	c (0,0) c  random_seed           = 91648253.000
57.04/43.64	c (0,0) c  luby_restart          = 1
57.04/43.64	c (0,0) c  ccmin_mode            = 2
57.04/43.64	c (0,0) c  phase_saving          = 2
57.04/43.64	c (0,0) c  rnd_pol               = 0
57.04/43.64	c (0,0) c  rnd_init_act          = 0
57.04/43.64	c (0,0) c  garbage_frac          = 0.200
57.04/43.64	c (0,0) c  restart_first         = 1000
57.04/43.64	c (0,0) c  restart_inc           = 2.000
57.04/43.64	c (0,0) c MODEL
57.04/43.64	c (0,0) c  partial_model         = 0
57.04/43.64	c (0,0) c PROPAGATION
57.04/43.64	c (0,0) c  bin_propagation       = 1
57.04/43.64	c (0,0) c SIMPLIFICATION
57.04/43.64	c (0,0) c  lrn_min_size          = 100
57.04/43.64	c (0,0) c  lazy_simp             = 1
57.04/43.64	c (0,0) c  lazy_interval         = 10
57.04/43.64	c (0,0) c  lazy_fld_probing      = 1
57.04/43.64	c (0,0) c  lazy_pol_probing      = 1
57.04/43.64	c (0,0) c  lazy_nec_probing      = 1
57.04/43.64	c (0,0) c  lazy_eqv_probing      = 1
57.04/43.64	c (0,0) c  lazy_cla_probing      = 1
57.04/43.64	c (0,0) c  lazy_lrn_min          = 2
57.04/43.64	c (0,0) c  lazy_uw_lit_elim      = 1
57.04/43.64	c (0,0) c  lazy_pr_lit_elim      = 0
57.04/43.64	c (0,0) c  lazy_bin_add          = 3
57.04/43.64	c (0,0) c  probed_lit_chain      = 1
57.04/43.64	c (0,0) c  pr_min_lits           = 0.00020
57.04/43.64	c (0,0) c  pr_min_starts         = 500
57.04/43.64	c (0,0) c  rw_min_lits           = 0.010
57.04/43.64	c (0,0) c  rw_min_starts         = 500
57.04/43.64	c (0,0) c  rand_attach           = 0
57.04/43.64	c (0,0) c  dec_elim              = 1
57.04/43.64	c (0,0) c  dec_elim_lim          = 25
57.04/43.64	c (0,0) c  dec_elim_len          = -1
57.04/43.64	c (0,0) c  amo                   = 0
57.04/43.64	c (0,0) c  amo_grp               = 1
57.04/43.64	c (0,0) c  amo_max_bins          = 1000000
57.04/43.64	c (0,0) c  amo_starts            = 50
57.04/43.64	c (0,0) c  mace_cmd              = mace
57.04/43.64	c (0,0) c DECISION
57.04/43.64	c (0,0) c  rand_rebuild          = 0
57.04/43.64	c (0,0) c  rand_rebuild_confs    = 10000
57.04/43.64	c (0,0) c  inc_var_decay         = 1
57.04/43.64	c (0,0) c  inc_var_decay_period  = 100000
57.04/43.64	c (0,0) c  inc_var_decay_init    = 0.600
57.04/43.64	c (0,0) c  var_decay_mode        = 0
57.04/43.64	c (0,0) c  var_decay_gain        = 0
57.04/43.64	c (0,0) c  sloped_var_decay      = 1
57.04/43.64	c (0,0) c  max_var_decay         = 0.990
57.04/43.64	c (0,0) c  min_var_decay         = 0.950
57.04/43.64	c (0,0) c  min_var_decay_vars    = 10000
57.04/43.64	c (0,0) c  max_var_decay_vars    = 500
57.04/43.64	c (0,0) c  uip_bumping           = 1
57.04/43.64	c (0,0) c  lbd_act_bumping       = 1
57.04/43.64	c (0,0) c  rand_tiebreak         = 0
57.04/43.64	c (0,0) c  simp_rebuild          = 1
57.04/43.64	c (0,0) c RESTART
57.04/43.64	c (0,0) c  restart_strategy      = 2
57.04/43.64	c (0,0) c  restart_blocking      = 0
57.04/43.64	c (0,0) c  agility_decay         = 0.99990
57.04/43.64	c (0,0) c  lbd_restart_rate      = 0.800
57.04/43.64	c (0,0) c  dec_restart_rate      = 0.950
57.04/43.64	c (0,0) c  blk_restart_rate      = 0.700
57.04/43.64	c (0,0) c  lbd_queue_size        = 50
57.04/43.64	c (0,0) c  dec_queue_size        = 50
57.04/43.64	c (0,0) c  trl_queue_size        = 5000
57.04/43.64	c (0,0) c  blk_restart_weight    = 1.000
57.04/43.64	c (0,0) c  inc_rst_rate          = 0
57.04/43.64	c (0,0) c  inc_rst_rate_period   = 500000
57.04/43.64	c (0,0) c  inc_lbd_rst_rate_init = 0.600
57.04/43.64	c (0,0) c  inc_dec_rst_rate_init = 0.750
57.04/43.64	c (0,0) c REDUCTION
57.04/43.64	c (0,0) c  closed_lbd            = 0
57.04/43.64	c (0,0) c  closed_lbd_rate       = 0.500
57.04/43.64	c (0,0) c  rm_simulate           = 0
57.04/43.64	c (0,0) c  rdb_eval              = 2
57.04/43.64	c (0,0) c  rdb_call              = 3
57.04/43.64	c (0,0) c  rdb_ub                = 0.500
57.04/43.64	c (0,0) c  core_lbd_cvr          = 0.800
57.04/43.64	c (0,0) c  supp_lbd_cvr          = 0.990
57.04/43.64	c (0,0) c  core_lbd_lb           = 2
57.04/43.64	c (0,0) c  supp_lbd_lb           = 2
57.04/43.64	c (0,0) c  core_lbd_prd          = 7
57.04/43.64	c (0,0) c  supp_lbd_prd          = 1
57.04/43.64	c (0,0) c  othr_lbd_prd          = 0
57.04/43.64	c (0,0) c  inc_lrn_limit         = 1000
57.04/43.64	c (0,0) c  frozen_lbd            = 30
57.04/43.64	c (0,0) c  simp_min_starts       = 100
57.04/43.64	c (0,0) c  rm_low_act_learnts    = 1
57.04/43.64	c (0,0) c  lv0_reduce_db         = 0
57.04/43.64	c (0,0) c  reduce_db_base        = 20000
57.04/43.64	c (0,0) c  reduce_db_inc         = 1000
57.04/43.64	c (0,0) c HARD
57.04/43.64	c (0,0) c  inst_check            = 200000
57.04/43.64	c (0,0) c  small_block           = 1.750
57.04/43.64	c (0,0) c  slow_restart_speed    = 400.000
57.04/43.64	c (0,0) c  slow_restart_strategy = 3
57.04/43.64	c (0,0) c  slow_lbd_restart_rate = 0.700
57.04/43.64	c (0,0) c  slow_dec_restart_rate = 1.000
57.04/43.64	c (0,0) c  slow_lbd_queue_size   = 50
57.04/43.64	c (0,0) c  slow_var_decay        = 0.950
57.04/43.64	c (0,0) c  slow_glue_threshold   = 2
57.04/43.64	c (0,0) c  slow_phase_saving     = 2
57.04/43.64	c (0,0) c  fast_restart_speed    = 125.000
57.04/43.64	c (0,0) c  fast_restart_strategy = 1
57.04/43.64	c (0,0) c  fast_lbd_restart_rate = 0.800
57.04/43.64	c (0,0) c  fast_dec_restart_rate = 0.950
57.04/43.64	c (0,0) c  fast_lbd_queue_size   = 50
57.04/43.64	c (0,0) c  fast_var_decay        = 1.000
57.04/43.64	c (0,0) c  fast_glue_threshold   = 2
57.04/43.64	c (0,0) c  fast_phase_saving     = 2
57.04/43.64	c (0,0) c STATS
57.04/43.64	c (0,0) c  stats_conf_size       = 10000
57.04/43.64	c (0,0) c  max_stats_size        = 30
57.04/43.64	c (0,0) c SOLVER
57.04/43.64	c (0,0) c  minisat               = 0
59.82/46.21	c (2,0) c Problem: 100722 variables, 7896999 clauses, parsing 2.36 s
60.01/46.46	c (3,0) c  exclude 474 (0.5%) variables from decision variables (last cost 25)
60.43/46.89	c (3,0) c Simplification: 474 vars, 0 clauses are eliminated using 0.62 s
60.43/46.89	c (3,0) c
60.43/46.89	c (3,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
60.43/46.89	c (3,0) c
60.43/46.89	c (3,0) c    3         0         0   100248  7896999        0   -nan  -nan  -nan -nan%
61.23/47.63	c (4,0) c    4         1       100   100252  7896999      100   36.8  24.9 2909.1 30.7%
61.43/47.84	c (4,0) c    4         1       220   100252  7896999      220   30.9  19.2 2269.4 39.8%
61.73/48.15	c (4,0) c    4         3       364   100252  7896999      364   38.5  23.9 1846.9 52.6%
62.53/48.92	c (5,0) c    5         5       536   100254  7896999      536   47.1  33.4 1351.4 56.5%
63.83/50.25	c (6,0) c    6         7       743   100258  7896999      743   50.5  36.1 1093.0 60.3%
65.23/51.69	c (8,0) c    8        11       991   100262  7896999      991   62.4  47.9 907.7 67.9%
66.02/52.49	c (9,0) c    8        14      1133   100265  7896999     1133   69.2  54.5 832.2 71.0%
66.14/52.71	c (9,0) c
66.14/52.71	c (9,0) c
66.14/52.71	c (9,0) c variables         : 100265      (init 100722, after simp 100248, 457 non-decs, 150 csp)
66.14/52.71	c (9,0) c clauses           : 7896999     (init 7896999, after simp 7896999)
66.14/52.71	c (9,0) c restarts          : 13          (80.93 confs/res, 38~304 confs, 0 blks, 0 last)
66.14/52.71	c (9,0) c conflicts         : 1133        (134 /sec, 70.61% dconfs, 0.00% supp, trail 191.34w x 832.17h, jmp 71.99h)
66.14/52.71	c (9,0) c decisions         : 88033       (0.6000 vdcy, 10392 /sec, 0.00% bin, rs 0.000 s)
66.14/52.71	c (9,0) c propagations      : 8175264     (965092 /sec, 92.87 lits/dec, 14.22% o.a.)
66.14/52.71	c (9,0) c conflict literals : 90543       (13.33% deleted; 0.13% by bin min, 0.000 s)
66.14/52.71	c (9,0) c len               : 69.160      (69.16 for all, max 502, used 502)
66.14/52.71	c (9,0) c lbd               : 54.468      (54.91 (54.47) for all, max 289, used 264, 29.058 stdev, 1.260 blk)
66.14/52.71	c (9,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
66.14/52.71	c (9,0) c simp dbs          : 0           (0.000 s)
66.14/52.71	c (9,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
66.14/52.71	c (9,0) c learnts           : 1133        (0 learnts removed, 0.00%)
66.14/52.71	c (9,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
66.14/52.71	c (9,0) c assigned lits     : 0           (0/0 probed, 0 remains)
66.14/52.71	c (9,0) c premise updates   : 22996       (0.11 /lit)
66.14/52.71	c (9,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
66.14/52.71	c (9,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
66.14/52.71	c (9,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.017s)
66.14/52.71	c (9,0) c unwatched lit elim: 9           (0.00+0.01%, 0+9 of 23545868+90543)
66.14/52.71	c (9,0) c classified type   : undef
66.14/52.71	c (9,0) c progress          : 0.000 %
66.14/52.71	c (9,0) c
66.14/52.71	c (9,0) c [Statistics]
66.14/52.71	c (9,0) c             learnts len        learnts lbd        lit blk size       eq vars size
66.14/52.71	c (9,0) c  tot        1133               1133              62210                  0
66.14/52.71	c (9,0) c  avg      69.160             54.468              1.260               -nan
66.14/52.71	c (9,0) c   1            0 ( 0.0%)          3 ( 0.3%)      54606 (87.8%)          0 (-nan%)
66.14/52.71	c (9,0) c   2            2 ( 0.2%)         58 ( 5.1%)       4483 ( 7.2%)          0 (-nan%)
66.14/52.71	c (9,0) c   3          210 (18.5%)        204 (18.0%)       1722 ( 2.8%)          0 (-nan%)
66.14/52.71	c (9,0) c   4           50 ( 4.4%)         40 ( 3.5%)        583 ( 0.9%)          0 (-nan%)
66.14/52.71	c (9,0) c   5           34 ( 3.0%)         30 ( 2.6%)        229 ( 0.4%)          0 (-nan%)
66.14/52.71	c (9,0) c   6           33 ( 2.9%)         34 ( 3.0%)        181 ( 0.3%)          0 (-nan%)
66.14/52.71	c (9,0) c   7           24 ( 2.1%)         39 ( 3.4%)         93 ( 0.1%)          0 (-nan%)
66.14/52.71	c (9,0) c   8           22 ( 1.9%)         25 ( 2.2%)         86 ( 0.1%)          0 (-nan%)
66.14/52.71	c (9,0) c   9           16 ( 1.4%)         17 ( 1.5%)         61 ( 0.1%)          0 (-nan%)
66.14/52.71	c (9,0) c  10           10 ( 0.9%)         23 ( 2.0%)         36 ( 0.1%)          0 (-nan%)
66.14/52.71	c (9,0) c  11           17 ( 1.5%)         23 ( 2.0%)         15 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  12           17 ( 1.5%)         17 ( 1.5%)         15 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  13           25 ( 2.2%)         14 ( 1.2%)         13 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  14           15 ( 1.3%)         17 ( 1.5%)          6 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  15           12 ( 1.1%)          6 ( 0.5%)          9 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  16           11 ( 1.0%)          7 ( 0.6%)          8 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  17           13 ( 1.1%)          8 ( 0.7%)          5 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  18           10 ( 0.9%)         11 ( 1.0%)          3 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  19           16 ( 1.4%)         22 ( 1.9%)          4 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  20           13 ( 1.1%)          5 ( 0.4%)          4 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  21            5 ( 0.4%)          5 ( 0.4%)          3 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  22           10 ( 0.9%)          9 ( 0.8%)          3 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  23            4 ( 0.4%)          7 ( 0.6%)          3 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  24            8 ( 0.7%)          3 ( 0.3%)          7 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  25            9 ( 0.8%)          6 ( 0.5%)          3 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  26            5 ( 0.4%)          9 ( 0.8%)          6 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  27            6 ( 0.5%)          6 ( 0.5%)          2 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  28           10 ( 0.9%)          2 ( 0.2%)          0 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  29            5 ( 0.4%)          5 ( 0.4%)          1 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c  30          521 (46.0%)        478 (42.2%)         20 ( 0.0%)          0 (-nan%)
66.14/52.71	c (9,0) c
66.14/52.71	c (9,0) c [LBD Statistics]
66.14/52.71	c (9,0) c LBD          used lbd               used clause lbd         unused clause lbd
66.14/52.71	c (9,0) c  tot         3316                     455                     678
66.14/52.71	c (9,0) c  avg        9.904                  32.714                  69.066
66.14/52.71	c (9,0) c    1            0 ( 0.0/ 0.0%)          3 ( 0.7/ 0.7%)          0 ( 0.0/ 0.0%)
66.14/52.71	c (9,0) c    2          231 ( 7.0/ 7.0%)         34 ( 7.5/ 8.1%)         24 ( 3.5/ 3.5%)
66.14/52.71	c (9,0) c    3         2414 (72.8/79.8%)        166 (36.5/44.6%)         38 ( 5.6/ 9.1%)
66.14/52.71	c (9,0) c    4          147 ( 4.4/84.2%)         19 ( 4.2/48.8%)         21 ( 3.1/12.2%)
66.14/52.71	c (9,0) c    5           49 ( 1.5/85.7%)         13 ( 2.9/51.6%)         17 ( 2.5/14.7%)
66.14/52.71	c (9,0) c    6           38 ( 1.1/86.8%)         14 ( 3.1/54.7%)         20 ( 2.9/17.7%)
66.14/52.71	c (9,0) c    7           61 ( 1.8/88.7%)         15 ( 3.3/58.0%)         24 ( 3.5/21.2%)
66.14/52.71	c (9,0) c    8           12 ( 0.4/89.0%)          6 ( 1.3/59.3%)         19 ( 2.8/24.0%)
66.14/52.71	c (9,0) c    9            7 ( 0.2/89.2%)          5 ( 1.1/60.4%)         12 ( 1.8/25.8%)
66.14/52.71	c (9,0) c   10           20 ( 0.6/89.8%)          6 ( 1.3/61.8%)         17 ( 2.5/28.3%)
66.14/52.71	c (9,0) c   11           15 ( 0.5/90.3%)          7 ( 1.5/63.3%)         16 ( 2.4/30.7%)
66.14/52.71	c (9,0) c   12           15 ( 0.5/90.7%)          3 ( 0.7/64.0%)         14 ( 2.1/32.7%)
66.14/52.71	c (9,0) c   13            7 ( 0.2/91.0%)          3 ( 0.7/64.6%)         11 ( 1.6/34.4%)
66.14/52.71	c (9,0) c   14           17 ( 0.5/91.5%)          6 ( 1.3/65.9%)         11 ( 1.6/36.0%)
66.14/52.71	c (9,0) c   15           10 ( 0.3/91.8%)          3 ( 0.7/66.6%)          3 ( 0.4/36.4%)
66.14/52.71	c (9,0) c   16            1 ( 0.0/91.8%)          3 ( 0.7/67.3%)          4 ( 0.6/37.0%)
66.14/52.71	c (9,0) c   17           20 ( 0.6/92.4%)          3 ( 0.7/67.9%)          5 ( 0.7/37.8%)
66.14/52.71	c (9,0) c   18            7 ( 0.2/92.6%)          6 ( 1.3/69.2%)          5 ( 0.7/38.5%)
66.14/52.71	c (9,0) c   19           12 ( 0.4/93.0%)          4 ( 0.9/70.1%)         18 ( 2.7/41.2%)
66.14/52.71	c (9,0) c   20            7 ( 0.2/93.2%)          2 ( 0.4/70.5%)          3 ( 0.4/41.6%)
66.14/52.71	c (9,0) c   21            1 ( 0.0/93.2%)          1 ( 0.2/70.8%)          4 ( 0.6/42.2%)
66.14/52.71	c (9,0) c   22           13 ( 0.4/93.6%)          4 ( 0.9/71.6%)          5 ( 0.7/42.9%)
66.14/52.71	c (9,0) c   23            3 ( 0.1/93.7%)          1 ( 0.2/71.9%)          6 ( 0.9/43.8%)
66.14/52.71	c (9,0) c   24            0 ( 0.0/93.7%)          0 ( 0.0/71.9%)          3 ( 0.4/44.2%)
66.14/52.71	c (9,0) c   25           14 ( 0.4/94.1%)          2 ( 0.4/72.3%)          4 ( 0.6/44.8%)
66.14/52.71	c (9,0) c   26            1 ( 0.0/94.1%)          3 ( 0.7/73.0%)          6 ( 0.9/45.7%)
66.14/52.71	c (9,0) c   27            3 ( 0.1/94.2%)          2 ( 0.4/73.4%)          4 ( 0.6/46.3%)
66.14/52.71	c (9,0) c   28            1 ( 0.0/94.3%)          1 ( 0.2/73.6%)          1 ( 0.1/46.5%)
66.14/52.71	c (9,0) c   29            8 ( 0.2/94.5%)          2 ( 0.4/74.1%)          3 ( 0.4/46.9%)
66.14/52.71	c (9,0) c   30            3 ( 0.1/94.6%)          3 ( 0.7/74.7%)          5 ( 0.7/47.6%)
66.14/52.71	c (9,0) c   31            1 ( 0.0/94.6%)          1 ( 0.2/74.9%)          2 ( 0.3/47.9%)
66.14/52.71	c (9,0) c   32            1 ( 0.0/94.7%)          2 ( 0.4/75.4%)          3 ( 0.4/48.4%)
66.14/52.71	c (9,0) c   33            3 ( 0.1/94.8%)          2 ( 0.4/75.8%)          5 ( 0.7/49.1%)
66.14/52.71	c (9,0) c   34            3 ( 0.1/94.8%)          1 ( 0.2/76.0%)          8 ( 1.2/50.3%)
66.14/52.71	c (9,0) c   35            1 ( 0.0/94.9%)          1 ( 0.2/76.3%)          5 ( 0.7/51.0%)
66.14/52.71	c (9,0) c   36            2 ( 0.1/94.9%)          1 ( 0.2/76.5%)         12 ( 1.8/52.8%)
66.14/52.71	c (9,0) c   37            4 ( 0.1/95.1%)          2 ( 0.4/76.9%)          5 ( 0.7/53.5%)
66.14/52.71	c (9,0) c   38            1 ( 0.0/95.1%)          1 ( 0.2/77.1%)          2 ( 0.3/53.8%)
66.14/52.71	c (9,0) c   39            1 ( 0.0/95.1%)          1 ( 0.2/77.4%)          6 ( 0.9/54.7%)
66.14/52.71	c (9,0) c   40            1 ( 0.0/95.1%)          0 ( 0.0/77.4%)          0 ( 0.0/54.7%)
66.14/52.71	c (9,0) c   41            3 ( 0.1/95.2%)          2 ( 0.4/77.8%)          2 ( 0.3/55.0%)
66.14/52.71	c (9,0) c   42            0 ( 0.0/95.2%)          0 ( 0.0/77.8%)          2 ( 0.3/55.3%)
66.14/52.71	c (9,0) c   43            3 ( 0.1/95.3%)          2 ( 0.4/78.2%)          1 ( 0.1/55.5%)
66.14/52.71	c (9,0) c   44            6 ( 0.2/95.5%)          1 ( 0.2/78.5%)          2 ( 0.3/55.8%)
66.14/52.71	c (9,0) c   45            0 ( 0.0/95.5%)          0 ( 0.0/78.5%)          1 ( 0.1/55.9%)
66.14/52.71	c (9,0) c   46            2 ( 0.1/95.6%)          1 ( 0.2/78.7%)          5 ( 0.7/56.6%)
66.14/52.71	c (9,0) c   47            1 ( 0.0/95.6%)          1 ( 0.2/78.9%)          5 ( 0.7/57.4%)
66.14/52.71	c (9,0) c   48            1 ( 0.0/95.6%)          1 ( 0.2/79.1%)          4 ( 0.6/58.0%)
66.14/52.71	c (9,0) c   49            0 ( 0.0/95.6%)          1 ( 0.2/79.3%)          2 ( 0.3/58.3%)
66.14/52.71	c (9,0) c   50            1 ( 0.0/95.7%)          1 ( 0.2/79.6%)          5 ( 0.7/59.0%)
66.14/52.71	c (9,0) c   51            2 ( 0.1/95.7%)          1 ( 0.2/79.8%)          2 ( 0.3/59.3%)
66.14/52.71	c (9,0) c   52            2 ( 0.1/95.8%)          3 ( 0.7/80.4%)          8 ( 1.2/60.5%)
66.14/52.71	c (9,0) c   53            1 ( 0.0/95.8%)          0 ( 0.0/80.4%)          3 ( 0.4/60.9%)
66.14/52.71	c (9,0) c   54            0 ( 0.0/95.8%)          0 ( 0.0/80.4%)          3 ( 0.4/61.4%)
66.14/52.71	c (9,0) c   55            2 ( 0.1/95.9%)          2 ( 0.4/80.9%)          6 ( 0.9/62.2%)
66.14/52.71	c (9,0) c   56            0 ( 0.0/95.9%)          0 ( 0.0/80.9%)          2 ( 0.3/62.5%)
66.14/52.71	c (9,0) c   57            2 ( 0.1/95.9%)          1 ( 0.2/81.1%)          2 ( 0.3/62.8%)
66.14/52.71	c (9,0) c   58            2 ( 0.1/96.0%)          2 ( 0.4/81.5%)          2 ( 0.3/63.1%)
66.14/52.71	c (9,0) c   59            3 ( 0.1/96.1%)          1 ( 0.2/81.8%)          2 ( 0.3/63.4%)
66.14/52.71	c (9,0) c   60            0 ( 0.0/96.1%)          0 ( 0.0/81.8%)          2 ( 0.3/63.7%)
66.14/52.71	c (9,0) c   61            2 ( 0.1/96.1%)          1 ( 0.2/82.0%)          5 ( 0.7/64.5%)
66.14/52.71	c (9,0) c   62            0 ( 0.0/96.1%)          0 ( 0.0/82.0%)          2 ( 0.3/64.7%)
66.14/52.71	c (9,0) c   63            0 ( 0.0/96.1%)          0 ( 0.0/82.0%)          1 ( 0.1/64.9%)
66.14/52.71	c (9,0) c   64            0 ( 0.0/96.1%)          0 ( 0.0/82.0%)          5 ( 0.7/65.6%)
66.14/52.71	c (9,0) c   65            0 ( 0.0/96.1%)          0 ( 0.0/82.0%)          3 ( 0.4/66.1%)
66.14/52.71	c (9,0) c   66            1 ( 0.0/96.2%)          1 ( 0.2/82.2%)          5 ( 0.7/66.8%)
66.14/52.71	c (9,0) c   67            0 ( 0.0/96.2%)          0 ( 0.0/82.2%)          0 ( 0.0/66.8%)
66.14/52.71	c (9,0) c   68            0 ( 0.0/96.2%)          0 ( 0.0/82.2%)          3 ( 0.4/67.3%)
66.14/52.71	c (9,0) c   69            1 ( 0.0/96.2%)          2 ( 0.4/82.6%)          1 ( 0.1/67.4%)
66.14/52.71	c (9,0) c   70            0 ( 0.0/96.2%)          0 ( 0.0/82.6%)          1 ( 0.1/67.6%)
66.14/52.71	c (9,0) c   71            4 ( 0.1/96.3%)          1 ( 0.2/82.9%)          1 ( 0.1/67.7%)
66.14/52.71	c (9,0) c   72            1 ( 0.0/96.4%)          1 ( 0.2/83.1%)          1 ( 0.1/67.8%)
66.14/52.71	c (9,0) c   73            3 ( 0.1/96.4%)          2 ( 0.4/83.5%)          2 ( 0.3/68.1%)
66.14/52.71	c (9,0) c   74            1 ( 0.0/96.5%)          2 ( 0.4/84.0%)          0 ( 0.0/68.1%)
66.14/52.71	c (9,0) c   75            1 ( 0.0/96.5%)          0 ( 0.0/84.0%)          3 ( 0.4/68.6%)
66.14/52.71	c (9,0) c   76            2 ( 0.1/96.6%)          1 ( 0.2/84.2%)          1 ( 0.1/68.7%)
66.14/52.71	c (9,0) c   77            0 ( 0.0/96.6%)          0 ( 0.0/84.2%)          4 ( 0.6/69.3%)
66.14/52.71	c (9,0) c   78            1 ( 0.0/96.6%)          1 ( 0.2/84.4%)          2 ( 0.3/69.6%)
66.14/52.71	c (9,0) c   79            0 ( 0.0/96.6%)          0 ( 0.0/84.4%)          4 ( 0.6/70.2%)
66.14/52.71	c (9,0) c   80            2 ( 0.1/96.7%)          2 ( 0.4/84.8%)          1 ( 0.1/70.4%)
66.14/52.71	c (9,0) c   81            4 ( 0.1/96.8%)          1 ( 0.2/85.1%)          2 ( 0.3/70.6%)
66.14/52.71	c (9,0) c   82            0 ( 0.0/96.8%)          0 ( 0.0/85.1%)          0 ( 0.0/70.6%)
66.14/52.71	c (9,0) c   83            0 ( 0.0/96.8%)          1 ( 0.2/85.3%)          2 ( 0.3/70.9%)
66.14/52.71	c (9,0) c   84            0 ( 0.0/96.8%)          0 ( 0.0/85.3%)          1 ( 0.1/71.1%)
66.14/52.71	c (9,0) c   85            1 ( 0.0/96.8%)          1 ( 0.2/85.5%)          1 ( 0.1/71.2%)
66.14/52.71	c (9,0) c   86            1 ( 0.0/96.8%)          1 ( 0.2/85.7%)          0 ( 0.0/71.2%)
66.14/52.71	c (9,0) c   87            2 ( 0.1/96.9%)          2 ( 0.4/86.2%)          0 ( 0.0/71.2%)
66.14/52.71	c (9,0) c   88            1 ( 0.0/96.9%)          0 ( 0.0/86.2%)          3 ( 0.4/71.7%)
66.14/52.71	c (9,0) c   89            1 ( 0.0/97.0%)          1 ( 0.2/86.4%)          2 ( 0.3/72.0%)
66.14/52.71	c (9,0) c   90            0 ( 0.0/97.0%)          0 ( 0.0/86.4%)          1 ( 0.1/72.1%)
66.14/52.71	c (9,0) c   91            2 ( 0.1/97.0%)          1 ( 0.2/86.6%)          0 ( 0.0/72.1%)
66.14/52.71	c (9,0) c   92            3 ( 0.1/97.1%)          0 ( 0.0/86.6%)          2 ( 0.3/72.4%)
66.14/52.71	c (9,0) c   93            0 ( 0.0/97.1%)          1 ( 0.2/86.8%)          0 ( 0.0/72.4%)
66.14/52.71	c (9,0) c   94            1 ( 0.0/97.1%)          0 ( 0.0/86.8%)          1 ( 0.1/72.6%)
66.14/52.71	c (9,0) c   95            1 ( 0.0/97.2%)          1 ( 0.2/87.0%)          0 ( 0.0/72.6%)
66.14/52.71	c (9,0) c   96            1 ( 0.0/97.2%)          1 ( 0.2/87.3%)          2 ( 0.3/72.9%)
66.14/52.71	c (9,0) c   97            0 ( 0.0/97.2%)          1 ( 0.2/87.5%)          4 ( 0.6/73.5%)
66.14/52.71	c (9,0) c   98            0 ( 0.0/97.2%)          0 ( 0.0/87.5%)          0 ( 0.0/73.5%)
66.14/52.71	c (9,0) c   99            3 ( 0.1/97.3%)          1 ( 0.2/87.7%)          1 ( 0.1/73.6%)
66.14/52.71	c (9,0) c  100            0 ( 0.0/97.3%)          0 ( 0.0/87.7%)          2 ( 0.3/73.9%)
66.14/52.71	c (9,0) c  101            1 ( 0.0/97.3%)          1 ( 0.2/87.9%)          0 ( 0.0/73.9%)
66.14/52.71	c (9,0) c  102            0 ( 0.0/97.3%)          0 ( 0.0/87.9%)          0 ( 0.0/73.9%)
66.14/52.71	c (9,0) c  103            1 ( 0.0/97.3%)          1 ( 0.2/88.1%)          0 ( 0.0/73.9%)
66.14/52.71	c (9,0) c  104            0 ( 0.0/97.3%)          0 ( 0.0/88.1%)          0 ( 0.0/73.9%)
66.14/52.71	c (9,0) c  105            0 ( 0.0/97.3%)          0 ( 0.0/88.1%)          1 ( 0.1/74.0%)
66.14/52.71	c (9,0) c  106            0 ( 0.0/97.3%)          0 ( 0.0/88.1%)          2 ( 0.3/74.3%)
66.14/52.71	c (9,0) c  107            1 ( 0.0/97.4%)          1 ( 0.2/88.4%)          1 ( 0.1/74.5%)
66.14/52.71	c (9,0) c  108            1 ( 0.0/97.4%)          1 ( 0.2/88.6%)          0 ( 0.0/74.5%)
66.14/52.71	c (9,0) c  109            0 ( 0.0/97.4%)          0 ( 0.0/88.6%)          1 ( 0.1/74.6%)
66.14/52.71	c (9,0) c  110            0 ( 0.0/97.4%)          1 ( 0.2/88.8%)          3 ( 0.4/75.1%)
66.14/52.71	c (9,0) c  111            0 ( 0.0/97.4%)          0 ( 0.0/88.8%)          1 ( 0.1/75.2%)
66.14/52.71	c (9,0) c  112            1 ( 0.0/97.4%)          0 ( 0.0/88.8%)          2 ( 0.3/75.5%)
66.14/52.71	c (9,0) c  113            0 ( 0.0/97.4%)          0 ( 0.0/88.8%)          0 ( 0.0/75.5%)
66.14/52.71	c (9,0) c  114            0 ( 0.0/97.4%)          0 ( 0.0/88.8%)          0 ( 0.0/75.5%)
66.14/52.71	c (9,0) c  115            0 ( 0.0/97.4%)          0 ( 0.0/88.8%)          1 ( 0.1/75.7%)
66.14/52.71	c (9,0) c  116            0 ( 0.0/97.4%)          0 ( 0.0/88.8%)          1 ( 0.1/75.8%)
66.14/52.71	c (9,0) c  117            1 ( 0.0/97.5%)          1 ( 0.2/89.0%)          2 ( 0.3/76.1%)
66.14/52.71	c (9,0) c  118            0 ( 0.0/97.5%)          0 ( 0.0/89.0%)          4 ( 0.6/76.7%)
66.14/52.71	c (9,0) c  119            0 ( 0.0/97.5%)          1 ( 0.2/89.2%)          1 ( 0.1/76.8%)
66.14/52.71	c (9,0) c  120            3 ( 0.1/97.6%)          1 ( 0.2/89.5%)          0 ( 0.0/76.8%)
66.14/52.71	c (9,0) c  121            1 ( 0.0/97.6%)          0 ( 0.0/89.5%)          0 ( 0.0/76.8%)
66.14/52.71	c (9,0) c  122            0 ( 0.0/97.6%)          0 ( 0.0/89.5%)          0 ( 0.0/76.8%)
66.14/52.71	c (9,0) c  123            0 ( 0.0/97.6%)          0 ( 0.0/89.5%)          1 ( 0.1/77.0%)
66.14/52.71	c (9,0) c  124            0 ( 0.0/97.6%)          0 ( 0.0/89.5%)          0 ( 0.0/77.0%)
66.14/52.71	c (9,0) c  125            0 ( 0.0/97.6%)          1 ( 0.2/89.7%)          0 ( 0.0/77.0%)
66.14/52.71	c (9,0) c  126            1 ( 0.0/97.6%)          1 ( 0.2/89.9%)          2 ( 0.3/77.3%)
66.14/52.71	c (9,0) c  127            1 ( 0.0/97.6%)          1 ( 0.2/90.1%)          0 ( 0.0/77.3%)
66.14/52.71	c (9,0) c  128            5 ( 0.2/97.8%)          1 ( 0.2/90.3%)          0 ( 0.0/77.3%)
66.14/52.71	c (9,0) c  129            2 ( 0.1/97.9%)          1 ( 0.2/90.5%)          2 ( 0.3/77.6%)
66.14/52.71	c (9,0) c  130            0 ( 0.0/97.9%)          0 ( 0.0/90.5%)          0 ( 0.0/77.6%)
66.14/52.71	c (9,0) c  131            0 ( 0.0/97.9%)          0 ( 0.0/90.5%)          1 ( 0.1/77.7%)
66.14/52.71	c (9,0) c  132            0 ( 0.0/97.9%)          0 ( 0.0/90.5%)          1 ( 0.1/77.9%)
66.14/52.71	c (9,0) c  133            0 ( 0.0/97.9%)          1 ( 0.2/90.8%)          0 ( 0.0/77.9%)
66.14/52.71	c (9,0) c  134            0 ( 0.0/97.9%)          1 ( 0.2/91.0%)          2 ( 0.3/78.2%)
66.14/52.71	c (9,0) c  135            2 ( 0.1/97.9%)          0 ( 0.0/91.0%)          0 ( 0.0/78.2%)
66.14/52.71	c (9,0) c  136            0 ( 0.0/97.9%)          0 ( 0.0/91.0%)          1 ( 0.1/78.3%)
66.14/52.71	c (9,0) c  137            0 ( 0.0/97.9%)          0 ( 0.0/91.0%)          0 ( 0.0/78.3%)
66.14/52.71	c (9,0) c  138            0 ( 0.0/97.9%)          0 ( 0.0/91.0%)          1 ( 0.1/78.5%)
66.14/52.71	c (9,0) c  139            0 ( 0.0/97.9%)          0 ( 0.0/91.0%)          0 ( 0.0/78.5%)
66.14/52.71	c (9,0) c  140            0 ( 0.0/97.9%)          1 ( 0.2/91.2%)          1 ( 0.1/78.6%)
66.14/52.71	c (9,0) c  141            2 ( 0.1/98.0%)          1 ( 0.2/91.4%)          0 ( 0.0/78.6%)
66.14/52.71	c (9,0) c  142            0 ( 0.0/98.0%)          0 ( 0.0/91.4%)          0 ( 0.0/78.6%)
66.14/52.71	c (9,0) c  143            3 ( 0.1/98.1%)          3 ( 0.7/92.1%)          1 ( 0.1/78.8%)
66.14/52.71	c (9,0) c  144            2 ( 0.1/98.1%)          0 ( 0.0/92.1%)          0 ( 0.0/78.8%)
66.14/52.71	c (9,0) c  145            0 ( 0.0/98.1%)          0 ( 0.0/92.1%)          1 ( 0.1/78.9%)
66.14/52.71	c (9,0) c  146            1 ( 0.0/98.2%)          2 ( 0.4/92.5%)          2 ( 0.3/79.2%)
66.14/52.71	c (9,0) c  147            3 ( 0.1/98.3%)          1 ( 0.2/92.7%)          0 ( 0.0/79.2%)
66.14/52.71	c (9,0) c  148            3 ( 0.1/98.3%)          1 ( 0.2/93.0%)          0 ( 0.0/79.2%)
66.14/52.71	c (9,0) c  149            2 ( 0.1/98.4%)          1 ( 0.2/93.2%)          2 ( 0.3/79.5%)
66.14/52.71	c (9,0) c  150            5 ( 0.2/98.6%)          1 ( 0.2/93.4%)          1 ( 0.1/79.6%)
66.14/52.71	c (9,0) c  151            1 ( 0.0/98.6%)          0 ( 0.0/93.4%)          0 ( 0.0/79.6%)
66.14/52.71	c (9,0) c  152            1 ( 0.0/98.6%)          1 ( 0.2/93.6%)          1 ( 0.1/79.8%)
66.14/52.71	c (9,0) c  153            1 ( 0.0/98.6%)          0 ( 0.0/93.6%)          0 ( 0.0/79.8%)
66.14/52.71	c (9,0) c  154            0 ( 0.0/98.6%)          0 ( 0.0/93.6%)          2 ( 0.3/80.1%)
66.14/52.71	c (9,0) c  155            3 ( 0.1/98.7%)          2 ( 0.4/94.1%)          3 ( 0.4/80.5%)
66.14/52.71	c (9,0) c  156            0 ( 0.0/98.7%)          0 ( 0.0/94.1%)          3 ( 0.4/81.0%)
66.14/52.71	c (9,0) c  157            0 ( 0.0/98.7%)          0 ( 0.0/94.1%)          0 ( 0.0/81.0%)
66.14/52.71	c (9,0) c  158            3 ( 0.1/98.8%)          2 ( 0.4/94.5%)          3 ( 0.4/81.4%)
66.14/52.71	c (9,0) c  159            3 ( 0.1/98.9%)          3 ( 0.7/95.2%)          4 ( 0.6/82.0%)
66.14/52.71	c (9,0) c  160            0 ( 0.0/98.9%)          0 ( 0.0/95.2%)          1 ( 0.1/82.2%)
66.14/52.71	c (9,0) c  161            0 ( 0.0/98.9%)          0 ( 0.0/95.2%)          2 ( 0.3/82.4%)
66.14/52.71	c (9,0) c  162            0 ( 0.0/98.9%)          0 ( 0.0/95.2%)          2 ( 0.3/82.7%)
66.14/52.71	c (9,0) c  163            0 ( 0.0/98.9%)          0 ( 0.0/95.2%)          1 ( 0.1/82.9%)
66.14/52.71	c (9,0) c  164            0 ( 0.0/98.9%)          0 ( 0.0/95.2%)          0 ( 0.0/82.9%)
66.14/52.71	c (9,0) c  165            2 ( 0.1/99.0%)          1 ( 0.2/95.4%)          2 ( 0.3/83.2%)
66.14/52.71	c (9,0) c  166            1 ( 0.0/99.0%)          0 ( 0.0/95.4%)          0 ( 0.0/83.2%)
66.14/52.71	c (9,0) c  167            0 ( 0.0/99.0%)          0 ( 0.0/95.4%)          2 ( 0.3/83.5%)
66.14/52.71	c (9,0) c  168            0 ( 0.0/99.0%)          0 ( 0.0/95.4%)          1 ( 0.1/83.6%)
66.14/52.71	c (9,0) c  169            0 ( 0.0/99.0%)          0 ( 0.0/95.4%)          2 ( 0.3/83.9%)
66.14/52.71	c (9,0) c  170            1 ( 0.0/99.0%)          1 ( 0.2/95.6%)          0 ( 0.0/83.9%)
66.14/52.71	c (9,0) c  171            0 ( 0.0/99.0%)          1 ( 0.2/95.8%)          2 ( 0.3/84.2%)
66.14/52.71	c (9,0) c  172            3 ( 0.1/99.1%)          1 ( 0.2/96.0%)          0 ( 0.0/84.2%)
66.14/52.71	c (9,0) c  173            0 ( 0.0/99.1%)          0 ( 0.0/96.0%)          1 ( 0.1/84.4%)
66.14/52.71	c (9,0) c  174            0 ( 0.0/99.1%)          0 ( 0.0/96.0%)          1 ( 0.1/84.5%)
66.14/52.71	c (9,0) c  175            1 ( 0.0/99.2%)          1 ( 0.2/96.3%)          0 ( 0.0/84.5%)
66.14/52.71	c (9,0) c  176            2 ( 0.1/99.2%)          1 ( 0.2/96.5%)          1 ( 0.1/84.7%)
66.14/52.71	c (9,0) c  177            0 ( 0.0/99.2%)          0 ( 0.0/96.5%)          4 ( 0.6/85.3%)
66.14/52.71	c (9,0) c  178            0 ( 0.0/99.2%)          1 ( 0.2/96.7%)          0 ( 0.0/85.3%)
66.14/52.71	c (9,0) c  179            1 ( 0.0/99.2%)          1 ( 0.2/96.9%)          3 ( 0.4/85.7%)
66.14/52.71	c (9,0) c  180            2 ( 0.1/99.3%)          1 ( 0.2/97.1%)          0 ( 0.0/85.7%)
66.14/52.71	c (9,0) c  181            0 ( 0.0/99.3%)          0 ( 0.0/97.1%)          1 ( 0.1/85.8%)
66.14/52.71	c (9,0) c  182            2 ( 0.1/99.4%)          2 ( 0.4/97.6%)          1 ( 0.1/86.0%)
66.14/52.71	c (9,0) c  183            1 ( 0.0/99.4%)          0 ( 0.0/97.6%)          1 ( 0.1/86.1%)
66.14/52.71	c (9,0) c  184            0 ( 0.0/99.4%)          0 ( 0.0/97.6%)          2 ( 0.3/86.4%)
66.14/52.71	c (9,0) c  185            0 ( 0.0/99.4%)          0 ( 0.0/97.6%)          5 ( 0.7/87.2%)
66.14/52.71	c (9,0) c  186            0 ( 0.0/99.4%)          0 ( 0.0/97.6%)          3 ( 0.4/87.6%)
66.14/52.71	c (9,0) c  187            0 ( 0.0/99.4%)          0 ( 0.0/97.6%)          2 ( 0.3/87.9%)
66.14/52.71	c (9,0) c  188            0 ( 0.0/99.4%)          0 ( 0.0/97.6%)          1 ( 0.1/88.1%)
66.14/52.71	c (9,0) c  189            0 ( 0.0/99.4%)          1 ( 0.2/97.8%)          4 ( 0.6/88.6%)
66.14/52.71	c (9,0) c  190            0 ( 0.0/99.4%)          0 ( 0.0/97.8%)          2 ( 0.3/88.9%)
66.14/52.71	c (9,0) c  191            1 ( 0.0/99.4%)          0 ( 0.0/97.8%)          2 ( 0.3/89.2%)
66.14/52.71	c (9,0) c  192            0 ( 0.0/99.4%)          0 ( 0.0/97.8%)          1 ( 0.1/89.4%)
66.14/52.71	c (9,0) c  193            0 ( 0.0/99.4%)          0 ( 0.0/97.8%)          1 ( 0.1/89.5%)
66.14/52.71	c (9,0) c  194            0 ( 0.0/99.4%)          0 ( 0.0/97.8%)          0 ( 0.0/89.5%)
66.14/52.71	c (9,0) c  195            0 ( 0.0/99.4%)          1 ( 0.2/98.0%)          3 ( 0.4/90.0%)
66.14/52.71	c (9,0) c  196            1 ( 0.0/99.5%)          0 ( 0.0/98.0%)          1 ( 0.1/90.1%)
66.14/52.71	c (9,0) c  197            0 ( 0.0/99.5%)          0 ( 0.0/98.0%)          0 ( 0.0/90.1%)
66.14/52.71	c (9,0) c  198            0 ( 0.0/99.5%)          0 ( 0.0/98.0%)          0 ( 0.0/90.1%)
66.14/52.71	c (9,0) c  199            2 ( 0.1/99.5%)          1 ( 0.2/98.2%)          2 ( 0.3/90.4%)
66.14/52.71	c (9,0) c  200            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/90.4%)
66.14/52.71	c (9,0) c  201            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/90.4%)
66.14/52.71	c (9,0) c  202            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/90.4%)
66.14/52.71	c (9,0) c  203            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/90.4%)
66.14/52.71	c (9,0) c  204            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/90.4%)
66.14/52.71	c (9,0) c  205            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/90.4%)
66.14/52.71	c (9,0) c  206            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/90.6%)
66.14/52.71	c (9,0) c  207            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          3 ( 0.4/91.0%)
66.14/52.71	c (9,0) c  208            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/91.0%)
66.14/52.71	c (9,0) c  209            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/91.2%)
66.14/52.71	c (9,0) c  210            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/91.2%)
66.14/52.71	c (9,0) c  211            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          2 ( 0.3/91.4%)
66.14/52.71	c (9,0) c  212            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/91.6%)
66.14/52.71	c (9,0) c  213            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/91.6%)
66.14/52.71	c (9,0) c  214            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/91.6%)
66.14/52.71	c (9,0) c  215            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/91.7%)
66.14/52.71	c (9,0) c  216            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/91.7%)
66.14/52.71	c (9,0) c  217            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/91.7%)
66.14/52.71	c (9,0) c  218            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/91.9%)
66.14/52.71	c (9,0) c  219            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/91.9%)
66.14/52.71	c (9,0) c  220            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          2 ( 0.3/92.2%)
66.14/52.71	c (9,0) c  221            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/92.2%)
66.14/52.71	c (9,0) c  222            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/92.3%)
66.14/52.71	c (9,0) c  223            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/92.3%)
66.14/52.71	c (9,0) c  224            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/92.5%)
66.14/52.71	c (9,0) c  225            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/92.6%)
66.14/52.71	c (9,0) c  226            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/92.6%)
66.14/52.71	c (9,0) c  227            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          0 ( 0.0/92.6%)
66.14/52.71	c (9,0) c  228            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/92.8%)
66.14/52.71	c (9,0) c  229            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          2 ( 0.3/93.1%)
66.14/52.71	c (9,0) c  230            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/93.2%)
66.14/52.71	c (9,0) c  231            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/93.4%)
66.14/52.71	c (9,0) c  232            0 ( 0.0/99.5%)          0 ( 0.0/98.2%)          1 ( 0.1/93.5%)
66.14/52.71	c (9,0) c  233            1 ( 0.0/99.5%)          1 ( 0.2/98.5%)          2 ( 0.3/93.8%)
66.14/52.71	c (9,0) c  234            0 ( 0.0/99.5%)          0 ( 0.0/98.5%)          1 ( 0.1/94.0%)
66.14/52.71	c (9,0) c  235            5 ( 0.2/99.7%)          1 ( 0.2/98.7%)          3 ( 0.4/94.4%)
66.14/52.71	c (9,0) c  236            0 ( 0.0/99.7%)          0 ( 0.0/98.7%)          1 ( 0.1/94.5%)
66.14/52.71	c (9,0) c  237            0 ( 0.0/99.7%)          0 ( 0.0/98.7%)          3 ( 0.4/95.0%)
66.14/52.71	c (9,0) c  238            0 ( 0.0/99.7%)          0 ( 0.0/98.7%)          1 ( 0.1/95.1%)
66.14/52.71	c (9,0) c  239            0 ( 0.0/99.7%)          0 ( 0.0/98.7%)          0 ( 0.0/95.1%)
66.14/52.71	c (9,0) c  240            0 ( 0.0/99.7%)          1 ( 0.2/98.9%)          2 ( 0.3/95.4%)
66.14/52.71	c (9,0) c  241            0 ( 0.0/99.7%)          0 ( 0.0/98.9%)          1 ( 0.1/95.6%)
66.14/52.71	c (9,0) c  242            3 ( 0.1/99.8%)          0 ( 0.0/98.9%)          2 ( 0.3/95.9%)
66.14/52.71	c (9,0) c  243            0 ( 0.0/99.8%)          0 ( 0.0/98.9%)          0 ( 0.0/95.9%)
66.14/52.71	c (9,0) c  244            0 ( 0.0/99.8%)          1 ( 0.2/99.1%)          1 ( 0.1/96.0%)
66.14/52.71	c (9,0) c  245            1 ( 0.0/99.8%)          0 ( 0.0/99.1%)          1 ( 0.1/96.2%)
66.14/52.71	c (9,0) c  246            0 ( 0.0/99.8%)          0 ( 0.0/99.1%)          2 ( 0.3/96.5%)
66.14/52.71	c (9,0) c  247            0 ( 0.0/99.8%)          0 ( 0.0/99.1%)          1 ( 0.1/96.6%)
66.14/52.71	c (9,0) c  248            0 ( 0.0/99.8%)          0 ( 0.0/99.1%)          1 ( 0.1/96.8%)
66.14/52.71	c (9,0) c  249            0 ( 0.0/99.8%)          0 ( 0.0/99.1%)          0 ( 0.0/96.8%)
66.14/52.71	c (9,0) c  250            0 ( 0.0/99.8%)          0 ( 0.0/99.1%)          0 ( 0.0/96.8%)
66.14/52.71	c (9,0) c  251            0 ( 0.0/99.8%)          0 ( 0.0/99.1%)          0 ( 0.0/96.8%)
66.14/52.71	c (9,0) c  252            0 ( 0.0/99.8%)          0 ( 0.0/99.1%)          0 ( 0.0/96.8%)
66.14/52.71	c (9,0) c  253            0 ( 0.0/99.8%)          1 ( 0.2/99.3%)          1 ( 0.1/96.9%)
66.14/52.71	c (9,0) c  254            2 ( 0.1/99.9%)          1 ( 0.2/99.6%)          2 ( 0.3/97.2%)
66.14/52.71	c (9,0) c  255            1 ( 0.0/99.9%)          0 ( 0.0/99.6%)          3 ( 0.4/97.6%)
66.14/52.71	c (9,0) c  256            0 ( 0.0/99.9%)          0 ( 0.0/99.6%)          1 ( 0.1/97.8%)
66.14/52.71	c (9,0) c  257            0 ( 0.0/99.9%)          0 ( 0.0/99.6%)          1 ( 0.1/97.9%)
66.14/52.71	c (9,0) c  258            0 ( 0.0/99.9%)          0 ( 0.0/99.6%)          3 ( 0.4/98.4%)
66.14/52.71	c (9,0) c  259            0 ( 0.0/99.9%)          0 ( 0.0/99.6%)          0 ( 0.0/98.4%)
66.14/52.71	c (9,0) c  260            0 ( 0.0/99.9%)          0 ( 0.0/99.6%)          1 ( 0.1/98.5%)
66.14/52.71	c (9,0) c  261            0 ( 0.0/99.9%)          0 ( 0.0/99.6%)          0 ( 0.0/98.5%)
66.14/52.71	c (9,0) c  262            1 ( 0.0/99.9%)          1 ( 0.2/99.8%)          1 ( 0.1/98.7%)
66.14/52.71	c (9,0) c  263            0 ( 0.0/99.9%)          0 ( 0.0/99.8%)          1 ( 0.1/98.8%)
66.14/52.71	c (9,0) c  264            2 ( 0.1/100.0%)          1 ( 0.2/100.0%)          3 ( 0.4/99.3%)
66.14/52.71	c (9,0) c  265            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.3%)
66.14/52.71	c (9,0) c  266            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.3%)
66.14/52.71	c (9,0) c  267            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.3%)
66.14/52.71	c (9,0) c  268            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.3%)
66.14/52.71	c (9,0) c  269            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.4%)
66.14/52.71	c (9,0) c  270            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.6%)
66.14/52.71	c (9,0) c  271            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  272            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  273            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  274            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  275            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  276            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  277            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  278            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  279            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  280            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  281            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  282            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  283            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  284            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  285            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  286            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.6%)
66.14/52.71	c (9,0) c  287            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.7%)
66.14/52.71	c (9,0) c  288            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.3/100.0%)
66.14/52.71	c (9,0) c
66.14/52.71	c (9,0) c Memory used       : 785.00 MB
66.14/52.71	c (9,0) c CPU time          : 8.472 s
66.14/52.71	c (9,0) c Real time         : 8.858 s
66.14/52.71	c (9,0) c
66.14/52.71	c (9,0) s SATISFIABLE
66.39/52.81	c (9,0) SatSolver.solve End
66.39/52.81	c (9,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
66.39/52.81	c (9,0) Show results Begin
66.62/52.95	c (9,0) q[0] = 147
66.62/52.95	c (9,0) q[1] = 120
66.62/52.95	c (9,0) q[2] = 5
66.62/52.95	c (9,0) q[3] = 86
66.62/52.95	c (9,0) q[4] = 144
66.62/52.95	c (9,0) q[5] = 21
66.62/52.95	c (9,0) q[6] = 139
66.62/52.95	c (9,0) q[7] = 87
66.62/52.95	c (9,0) q[8] = 143
66.62/52.95	c (9,0) q[9] = 10
66.62/52.95	c (9,0) q[10] = 127
66.62/52.95	c (9,0) q[11] = 23
66.62/52.95	c (9,0) q[12] = 149
66.62/52.95	c (9,0) q[13] = 84
66.62/52.95	c (9,0) q[14] = 43
66.62/52.95	c (9,0) q[15] = 28
66.62/52.95	c (9,0) q[16] = 102
66.62/52.95	c (9,0) q[17] = 42
66.62/52.95	c (9,0) q[18] = 80
66.62/52.95	c (9,0) q[19] = 55
66.62/52.95	c (9,0) q[20] = 68
66.62/52.95	c (9,0) q[21] = 66
66.62/52.95	c (9,0) q[22] = 49
66.62/52.95	c (9,0) q[23] = 58
66.62/52.95	c (9,0) q[24] = 7
66.62/52.95	c (9,0) q[25] = 12
66.62/52.95	c (9,0) q[26] = 1
66.62/52.95	c (9,0) q[27] = 101
66.62/52.95	c (9,0) q[28] = 34
66.62/52.95	c (9,0) q[29] = 96
66.62/52.95	c (9,0) q[30] = 140
66.62/52.95	c (9,0) q[31] = 138
66.62/52.95	c (9,0) q[32] = 47
66.62/52.95	c (9,0) q[33] = 93
66.62/52.95	c (9,0) q[34] = 118
66.62/52.95	c (9,0) q[35] = 104
66.62/52.95	c (9,0) q[36] = 94
66.62/52.95	c (9,0) q[37] = 128
66.62/52.95	c (9,0) q[38] = 97
66.62/52.95	c (9,0) q[39] = 41
66.62/52.95	c (9,0) q[40] = 30
66.62/52.95	c (9,0) q[41] = 105
66.62/52.95	c (9,0) q[42] = 91
66.62/52.95	c (9,0) q[43] = 25
66.62/52.95	c (9,0) q[44] = 98
66.62/52.95	c (9,0) q[45] = 145
66.62/52.95	c (9,0) q[46] = 39
66.62/52.95	c (9,0) q[47] = 26
66.62/52.95	c (9,0) q[48] = 74
66.62/52.95	c (9,0) q[49] = 57
66.62/52.95	c (9,0) q[50] = 36
66.62/52.95	c (9,0) q[51] = 123
66.62/52.95	c (9,0) q[52] = 56
66.62/52.95	c (9,0) q[53] = 62
66.62/52.95	c (9,0) q[54] = 46
66.62/52.95	c (9,0) q[55] = 50
66.62/52.95	c (9,0) q[56] = 121
66.62/52.95	c (9,0) q[57] = 130
66.62/52.95	c (9,0) q[58] = 133
66.62/52.95	c (9,0) q[59] = 44
66.62/52.95	c (9,0) q[60] = 59
66.62/52.95	c (9,0) q[61] = 83
66.62/52.95	c (9,0) q[62] = 14
66.62/52.95	c (9,0) q[63] = 103
66.62/52.95	c (9,0) q[64] = 115
66.62/52.95	c (9,0) q[65] = 135
66.62/52.95	c (9,0) q[66] = 54
66.62/52.95	c (9,0) q[67] = 88
66.62/52.95	c (9,0) q[68] = 124
66.62/52.95	c (9,0) q[69] = 45
66.62/52.95	c (9,0) q[70] = 40
66.62/52.95	c (9,0) q[71] = 110
66.62/52.95	c (9,0) q[72] = 116
66.62/52.95	c (9,0) q[73] = 9
66.62/52.96	c (9,0) q[74] = 108
66.62/52.96	c (9,0) q[75] = 37
66.62/52.96	c (9,0) q[76] = 60
66.62/52.96	c (9,0) q[77] = 107
66.62/52.96	c (9,0) q[78] = 33
66.62/52.96	c (9,0) q[79] = 38
66.62/52.96	c (9,0) q[80] = 27
66.62/52.96	c (9,0) q[81] = 112
66.62/52.96	c (9,0) q[82] = 125
66.62/52.96	c (9,0) q[83] = 129
66.62/52.96	c (9,0) q[84] = 122
66.62/52.96	c (9,0) q[85] = 137
66.62/52.96	c (9,0) q[86] = 109
66.62/52.96	c (9,0) q[87] = 29
66.62/52.96	c (9,0) q[88] = 3
66.62/52.96	c (9,0) q[89] = 131
66.62/52.96	c (9,0) q[90] = 81
66.62/52.96	c (9,0) q[91] = 11
66.62/52.96	c (9,0) q[92] = 142
66.62/52.96	c (9,0) q[93] = 82
66.62/52.96	c (9,0) q[94] = 19
66.62/52.96	c (9,0) q[95] = 148
66.62/52.96	c (9,0) q[96] = 61
66.62/52.96	c (9,0) q[97] = 2
66.62/52.96	c (9,0) q[98] = 6
66.62/52.96	c (9,0) q[99] = 63
66.62/52.96	c (9,0) q[100] = 31
66.62/52.96	c (9,0) q[101] = 95
66.62/52.96	c (9,0) q[102] = 71
66.62/52.96	c (9,0) q[103] = 136
66.62/52.96	c (9,0) q[104] = 132
66.62/52.96	c (9,0) q[105] = 53
66.62/52.96	c (9,0) q[106] = 32
66.62/52.96	c (9,0) q[107] = 117
66.62/52.96	c (9,0) q[108] = 75
66.62/52.96	c (9,0) q[109] = 20
66.62/52.96	c (9,0) q[110] = 22
66.62/52.96	c (9,0) q[111] = 48
66.62/52.96	c (9,0) q[112] = 15
66.62/52.96	c (9,0) q[113] = 51
66.62/52.96	c (9,0) q[114] = 134
66.62/52.96	c (9,0) q[115] = 65
66.62/52.96	c (9,0) q[116] = 113
66.62/52.96	c (9,0) q[117] = 77
66.62/52.96	c (9,0) q[118] = 114
66.62/52.96	c (9,0) q[119] = 119
66.62/52.96	c (9,0) q[120] = 69
66.62/52.96	c (9,0) q[121] = 64
66.62/52.96	c (9,0) q[122] = 141
66.62/52.96	c (9,0) q[123] = 0
66.62/52.96	c (9,0) q[124] = 52
66.62/52.96	c (9,0) q[125] = 18
66.62/52.96	c (9,0) q[126] = 72
66.62/52.96	c (9,0) q[127] = 99
66.62/52.96	c (9,0) q[128] = 89
66.62/52.96	c (9,0) q[129] = 146
66.62/52.96	c (9,0) q[130] = 111
66.62/52.96	c (9,0) q[131] = 70
66.62/52.96	c (9,0) q[132] = 8
66.62/52.96	c (9,0) q[133] = 90
66.62/52.96	c (9,0) q[134] = 16
66.62/52.96	c (9,0) q[135] = 76
66.62/52.96	c (9,0) q[136] = 17
66.62/52.96	c (9,0) q[137] = 67
66.62/52.96	c (9,0) q[138] = 106
66.62/52.96	c (9,0) q[139] = 79
66.62/52.96	c (9,0) q[140] = 85
66.62/52.96	c (9,0) q[141] = 73
66.62/52.96	c (9,0) q[142] = 100
66.62/52.96	c (9,0) q[143] = 35
66.62/52.96	c (9,0) q[144] = 24
66.62/52.96	c (9,0) q[145] = 4
66.62/52.96	c (9,0) q[146] = 126
66.62/52.96	c (9,0) q[147] = 13
66.62/52.96	c (9,0) q[148] = 92
66.62/52.96	c (9,0) q[149] = 78
66.62/52.96	s SATISFIABLE
66.62/52.97	v <instantiation>
66.62/52.97	v     <list>q[0] q[1] q[2] q[3] q[4] q[5] q[6] q[7] q[8] q[9] q[10] q[11] q[12] q[13] q[14] q[15] q[16] q[17] q[18] q[19] q[20] q[21] q[22] q[23] q[24] q[25] q[26] q[27] q[28] q[29] q[30] q[31] q[32] q[33] q[34] q[35] q[36] q[37] q[38] q[39] q[40] q[41] q[42] q[43] q[44] q[45] q[46] q[47] q[48] q[49] q[50] q[51] q[52] q[53] q[54] q[55] q[56] q[57] q[58] q[59] q[60] q[61] q[62] q[63] q[64] q[65] q[66] q[67] q[68] q[69] q[70] q[71] q[72] q[73] q[74] q[75] q[76] q[77] q[78] q[79] q[80] q[81] q[82] q[83] q[84] q[85] q[86] q[87] q[88] q[89] q[90] q[91] q[92] q[93] q[94] q[95] q[96] q[97] q[98] q[99] q[100] q[101] q[102] q[103] q[104] q[105] q[106] q[107] q[108] q[109] q[110] q[111] q[112] q[113] q[114] q[115] q[116] q[117] q[118] q[119] q[120] q[121] q[122] q[123] q[124] q[125] q[126] q[127] q[128] q[129] q[130] q[131] q[132] q[133] q[134] q[135] q[136] q[137] q[138] q[139] q[140] q[141] q[142] q[143] q[144] q[145] q[146] q[147] q[148] q[149]</list>
66.62/52.97	v     <values>147 120 5 86 144 21 139 87 143 10 127 23 149 84 43 28 102 42 80 55 68 66 49 58 7 12 1 101 34 96 140 138 47 93 118 104 94 128 97 41 30 105 91 25 98 145 39 26 74 57 36 123 56 62 46 50 121 130 133 44 59 83 14 103 115 135 54 88 124 45 40 110 116 9 108 37 60 107 33 38 27 112 125 129 122 137 109 29 3 131 81 11 142 82 19 148 61 2 6 63 31 95 71 136 132 53 32 117 75 20 22 48 15 51 134 65 113 77 114 119 69 64 141 0 52 18 72 99 89 146 111 70 8 90 16 76 17 67 106 79 85 73 100 35 24 4 126 13 92 78</values>
66.62/52.97	v </instantiation>
66.62/52.97	c (9,0) Show results End
66.62/52.97	c (9,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
66.62/52.97	c (9,0) 9,9,STOP-AFTER(ALL)
66.62/52.97	c END-Prog: Thu Sep 12 16:16:29 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388271-1568297781/watcher-4388271-1568297781 -o /tmp/evaluation-result-4388271-1568297781/solver-4388271-1568297781 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6431 --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-4388271-1568297781.xml 

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

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


[startup+0.100966 s]*
/proc/loadavg: 4.55 3.62 2.89 3/230 10578
/proc/meminfo: memFree=28589048/32770624 swapFree=66992948/67108860
[pid=10561] ppid=10558 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10561/stat : 10561 (scop.sh) S 10558 10561 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406029524 115843072 349 33554432000 4194304 5098028 140720716415392 140720716412648 140682772034172 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33546240 140720716423976 140720716424304 140720716424304 140720716427213 0
/proc/10561/statm: 28282 349 296 221 0 87 0
[pid=10564] ppid=10561 vsize=15012696 memory=74300 CPUtime=0.12 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10561 10561 5522 0 -1 1077944320 6309 0 0 0 10 2 0 0 20 0 15 0 406029525 15373000704 18575 33554432000 4194304 4196468 140727697048784 140727697031328 139687437364983 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
/proc/10564/statm: 3753174 18575 2920 1 0 3715579 0
[pid=10564/tid=10565] ppid=10561 vsize=15012696 memory=7100839861464433778 CPUtime=0.08 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) R 10561 10561 5522 0 -1 4202560 4140 0 0 0 7 1 0 0 20 0 15 0 406029525 15373000704 18641 33554432000 4194304 4196468 140727697048784 139687409169792 139687421445470 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10566] ppid=10561 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10566/stat : 10566 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 18641 33554432000 4194304 4196468 140727697048784 139687441607312 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10567] ppid=10561 vsize=15012696 memory=139911026423424 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10567/stat : 10567 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 18641 33554432000 4194304 4196468 140727697048784 139687240382992 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10568] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10568/stat : 10568 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 18641 33554432000 4194304 4196468 140727697048784 139687239330192 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10569] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10569/stat : 10569 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 18641 33554432000 4194304 4196468 140727697048784 139687238277392 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10570] ppid=10561 vsize=15012696 memory=139911026423424 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10570/stat : 10570 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029528 15373000704 18641 33554432000 4194304 4196468 140727697048784 139686407895920 139687437376130 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10571] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10571/stat : 10571 (java) S 10561 10561 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406029528 15373000704 18641 33554432000 4194304 4196468 140727697048784 139686026667552 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10572] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10572/stat : 10572 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029528 15373000704 18641 33554432000 4194304 4196468 140727697048784 139685758231920 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10573] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10573/stat : 10573 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 18641 33554432000 4194304 4196468 140727697048784 139685383723344 139687437383579 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10574] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10574/stat : 10574 (java) S 10561 10561 5522 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 18641 33554432000 4194304 4196468 140727697048784 139686406842736 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10575] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10575/stat : 10575 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 18641 33554432000 4194304 4196468 140727697048784 139686405789936 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10576] ppid=10561 vsize=15012696 memory=139911026423424 CPUtime=0.01 cores=1,3,5,7
/proc/10564/task/10576/stat : 10576 (java) S 10561 10561 5522 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 15 0 406029531 15373000704 18641 33554432000 4194304 4196468 140727697048784 139686404737136 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10577] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10577/stat : 10577 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 18641 33554432000 4194304 4196468 140727697048784 139684885817568 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10578] ppid=10561 vsize=15012696 memory=139911026423424 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10578/stat : 10578 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 18641 33554432000 4194304 4196468 140727697048784 139686403685552 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75696 KiB

[startup+0.210806 s]*
/proc/loadavg: 4.55 3.62 2.89 3/230 10578
/proc/meminfo: memFree=28570308/32770624 swapFree=66992948/67108860
[pid=10561] ppid=10558 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10561/stat : 10561 (scop.sh) S 10558 10561 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406029524 115843072 349 33554432000 4194304 5098028 140720716415392 140720716412648 140682772034172 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33546240 140720716423976 140720716424304 140720716424304 140720716427213 0
/proc/10561/statm: 28282 349 296 221 0 87 0
[pid=10564] ppid=10561 vsize=15012696 memory=89164 CPUtime=0.25 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10561 10561 5522 0 -1 1077944320 11355 0 0 0 22 3 0 0 20 0 15 0 406029525 15373000704 22291 33554432000 4194304 4196468 140727697048784 140727697031328 139687437364983 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
/proc/10564/statm: 3753174 22291 2923 1 0 3715579 0
[pid=10564/tid=10565] ppid=10561 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) R 10561 10561 5522 0 -1 4202560 9119 0 0 0 17 2 0 0 20 0 15 0 406029525 15373000704 22291 33554432000 4194304 4196468 140727697048784 139687409180224 139687437386909 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10566] ppid=10561 vsize=15012696 memory=2809255 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10566/stat : 10566 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 22291 33554432000 4194304 4196468 140727697048784 139687441607312 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10567] ppid=10561 vsize=15012696 memory=2952848 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10567/stat : 10567 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 22291 33554432000 4194304 4196468 140727697048784 139687240382992 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10568] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10568/stat : 10568 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 22291 33554432000 4194304 4196468 140727697048784 139687239330192 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10569] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10569/stat : 10569 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 22291 33554432000 4194304 4196468 140727697048784 139687238277392 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10570] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10570/stat : 10570 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029528 15373000704 22291 33554432000 4194304 4196468 140727697048784 139686407895920 139687437376130 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10571] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10571/stat : 10571 (java) S 10561 10561 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406029528 15373000704 22291 33554432000 4194304 4196468 140727697048784 139686026667552 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10572] ppid=10561 vsize=15012696 memory=139911026423424 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10572/stat : 10572 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029528 15373000704 22291 33554432000 4194304 4196468 140727697048784 139685758231920 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10573] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10573/stat : 10573 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 22291 33554432000 4194304 4196468 140727697048784 139685383723344 139687437383579 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10574] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10574/stat : 10574 (java) S 10561 10561 5522 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 22291 33554432000 4194304 4196468 140727697048784 139686406842736 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10575] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10575/stat : 10575 (java) S 10561 10561 5522 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 22291 33554432000 4194304 4196468 140727697048784 139686405789936 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10576] ppid=10561 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10564/task/10576/stat : 10576 (java) S 10561 10561 5522 0 -1 1077944384 426 0 0 0 3 0 0 0 20 0 15 0 406029531 15373000704 22291 33554432000 4194304 4196468 140727697048784 139686404737136 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10577] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10577/stat : 10577 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 22291 33554432000 4194304 4196468 140727697048784 139684885817568 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10578] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10578/stat : 10578 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 22291 33554432000 4194304 4196468 140727697048784 139686403685552 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90560 KiB

[startup+0.310632 s]*
/proc/loadavg: 4.55 3.62 2.89 3/230 10578
/proc/meminfo: memFree=28567764/32770624 swapFree=66992948/67108860
[pid=10561] ppid=10558 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10561/stat : 10561 (scop.sh) S 10558 10561 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406029524 115843072 349 33554432000 4194304 5098028 140720716415392 140720716412648 140682772034172 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33546240 140720716423976 140720716424304 140720716424304 140720716427213 0
/proc/10561/statm: 28282 349 296 221 0 87 0
[pid=10564] ppid=10561 vsize=15012696 memory=92772 CPUtime=0.43 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10561 10561 5522 0 -1 1077944320 11702 0 0 0 40 3 0 0 20 0 15 0 406029525 15373000704 23193 33554432000 4194304 4196468 140727697048784 140727697031328 139687437364983 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
/proc/10564/statm: 3753174 23193 3070 1 0 3715579 0
[pid=10564/tid=10565] ppid=10561 vsize=15012696 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) R 10561 10561 5522 0 -1 4202560 9302 0 0 0 27 2 0 0 20 0 15 0 406029525 15373000704 23193 33554432000 4194304 4196468 140727697048784 139687409180464 139687421445470 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10566] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10566/stat : 10566 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 23193 33554432000 4194304 4196468 140727697048784 139687441607312 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10567] ppid=10561 vsize=15012696 memory=2948759 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10567/stat : 10567 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 23193 33554432000 4194304 4196468 140727697048784 139687240382992 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10568] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10568/stat : 10568 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 23193 33554432000 4194304 4196468 140727697048784 139687239330192 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10569] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10569/stat : 10569 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029526 15373000704 23193 33554432000 4194304 4196468 140727697048784 139687238277392 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10570] ppid=10561 vsize=15012696 memory=139911026423424 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10570/stat : 10570 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029528 15373000704 23193 33554432000 4194304 4196468 140727697048784 139686407895920 139687437376130 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10571] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10571/stat : 10571 (java) S 10561 10561 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406029528 15373000704 23193 33554432000 4194304 4196468 140727697048784 139686026667552 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10572] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10572/stat : 10572 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029528 15373000704 23193 33554432000 4194304 4196468 140727697048784 139685758231920 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10573] ppid=10561 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10573/stat : 10573 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 23193 33554432000 4194304 4196468 140727697048784 139685383723344 139687437383579 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10574] ppid=10561 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10564/task/10574/stat : 10574 (java) S 10561 10561 5522 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 15 0 406029531 15373000704 23193 33554432000 4194304 4196468 140727697048784 139686406842736 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10575] ppid=10561 vsize=15012696 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10564/task/10575/stat : 10575 (java) S 10561 10561 5522 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 15 0 406029531 15373000704 23193 33554432000 4194304 4196468 140727697048784 139686405789936 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10576] ppid=10561 vsize=15012696 memory=139911026423424 CPUtime=0.07 cores=1,3,5,7
/proc/10564/task/10576/stat : 10576 (java) S 10561 10561 5522 0 -1 1077944384 445 0 0 0 7 0 0 0 20 0 15 0 406029531 15373000704 23193 33554432000 4194304 4196468 140727697048784 139686404737136 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10577] ppid=10561 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10577/stat : 10577 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 23193 33554432000 4194304 4196468 140727697048784 139684885817568 139687437375189 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10578] ppid=10561 vsize=15012696 memory=139911026423424 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10578/stat : 10578 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029531 15373000704 23193 33554432000 4194304 4196468 140727697048784 139686403685552 139687437376130 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94168 KiB

[startup+0.701752 s]
/proc/loadavg: 4.55 3.62 2.89 3/230 10578
/proc/meminfo: memFree=28546648/32770624 swapFree=66992948/67108860
[pid=10561] ppid=10558 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10561/stat : 10561 (scop.sh) S 10558 10561 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406029524 115843072 349 33554432000 4194304 5098028 140720716415392 140720716412648 140682772034172 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33546240 140720716423976 140720716424304 140720716424304 140720716427213 0
/proc/10561/statm: 28282 349 296 221 0 87 0
[pid=10564] ppid=10561 vsize=15018968 memory=132032 CPUtime=1.05 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10561 10561 5522 0 -1 1077944320 19191 0 0 0 99 6 0 0 20 0 15 0 406029525 15379423232 33008 33554432000 4194304 4196468 140727697048784 140727697031328 139687437364983 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
/proc/10564/statm: 3754742 33008 3188 1 0 3716091 0
[pid=10564/tid=10565] ppid=10561 vsize=15018968 memory=2124 CPUtime=0.68 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) R 10561 10561 5522 0 -1 4202560 16205 0 0 0 63 5 0 0 20 0 15 0 406029525 15379423232 33008 33554432000 4194304 4196468 140727697048784 139687409200288 139686915975297 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10566] ppid=10561 vsize=15018968 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10566/stat : 10566 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15379423232 33008 33554432000 4194304 4196468 140727697048784 139687441607312 139687437375189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10567] ppid=10561 vsize=15018968 memory=496 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10567/stat : 10567 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15379423232 33008 33554432000 4194304 4196468 140727697048784 139687240382992 139687437375189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10568] ppid=10561 vsize=15018968 memory=928 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10568/stat : 10568 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406029526 15379423232 33008 33554432000 4194304 4196468 140727697048784 139687239330192 139687437375189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10569] ppid=10561 vsize=15018968 memory=1604 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10569/stat : 10569 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029526 15379423232 33008 33554432000 4194304 4196468 140727697048784 139687238277392 139687437375189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10570] ppid=10561 vsize=15018968 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10570/stat : 10570 (java) S 10561 10561 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406029528 15379423232 33008 33554432000 4194304 4196468 140727697048784 139686407895920 139687437376130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10571] ppid=10561 vsize=15018968 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10571/stat : 10571 (java) S 10561 10561 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406029528 15379423232 33008 33554432000 4194304 4196468 140727697048784 139686026667552 139687437375189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10572] ppid=10561 vsize=15018968 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10572/stat : 10572 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029528 15379423232 33008 33554432000 4194304 4196468 140727697048784 139685758231920 139687437375189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10573] ppid=10561 vsize=15018968 memory=820 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10573/stat : 10573 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406029531 15379423232 33008 33554432000 4194304 4196468 140727697048784 139685383723344 139687437383579 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10574] ppid=10561 vsize=15018968 memory=7302135314614015843 CPUtime=0.09 cores=1,3,5,7
/proc/10564/task/10574/stat : 10574 (java) R 10561 10561 5522 0 -1 4202560 737 0 0 0 9 0 0 0 20 0 15 0 406029531 15379423232 33008 33554432000 4194304 4196468 140727697048784 139686406834384 139687421261594 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10575] ppid=10561 vsize=15018968 memory=6942687306866715754 CPUtime=0.08 cores=1,3,5,7
/proc/10564/task/10575/stat : 10575 (java) R 10561 10561 5522 0 -1 4202560 316 0 0 0 8 0 0 0 20 0 15 0 406029531 15379423232 33008 33554432000 4194304 4196468 140727697048784 139686405780048 139687423420289 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10576] ppid=10561 vsize=15018968 memory=7444819964895188053 CPUtime=0.17 cores=1,3,5,7
/proc/10564/task/10576/stat : 10576 (java) R 10561 10561 5522 0 -1 4202560 597 0 0 0 17 0 0 0 20 0 15 0 406029531 15379423232 33008 33554432000 4194304 4196468 140727697048784 139686404734072 139687416049131 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10577] ppid=10561 vsize=15018968 memory=4638778398333489488 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10577/stat : 10577 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406029531 15379423232 33008 33554432000 4194304 4196468 140727697048784 139684885817568 139687437375189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
[pid=10564/tid=10578] ppid=10561 vsize=15018968 memory=7379825633957865584 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10578/stat : 10578 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406029531 15379423232 33008 33554432000 4194304 4196468 140727697048784 139686403685552 139687437376130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19214336 140727697056494 140727697056922 140727697056922 140727697059791 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133428 KiB

[startup+1.50278 s]
/proc/loadavg: 4.55 3.62 2.89 5/230 10578
/proc/meminfo: memFree=28486088/32770624 swapFree=66992948/67108860
[pid=10561] ppid=10558 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10561/stat : 10561 (scop.sh) S 10558 10561 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406029524 115843072 349 33554432000 4194304 5098028 140720716415392 140720716412648 140682772034172 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33546240 140720716423976 140720716424304 140720716424304 140720716427213 0
/proc/10561/statm: 28282 349 296 221 0 87 0

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

[pid=10581/tid=10594] ppid=10561 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10594/stat : 10594 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406033822 8262082560 29923 33554432000 4194304 4196468 140721149003072 140451604588896 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10595] ppid=10561 vsize=8068440 memory=7 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10595/stat : 10595 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406033822 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453267573808 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10597] ppid=10561 vsize=8068440 memory=10 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10597/stat : 10597 (java) S 10561 10561 5522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406033888 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453259540288 140453892661017 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10599] ppid=10561 vsize=8068440 memory=21 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10599/stat : 10599 (java) S 10561 10561 5522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 406033888 8262082560 29923 33554432000 4194304 4196468 140721149003072 140451067703184 140453892658333 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10600] ppid=10561 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10600/stat : 10600 (java) S 10561 10561 5522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 406033888 8262082560 29923 33554432000 4194304 4196468 140721149003072 140450799271440 140453892658333 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10601] ppid=10561 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10601/stat : 10601 (java) S 10561 10561 5522 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 406033891 8262082560 29923 33554432000 4194304 4196468 140721149003072 140451201932592 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
Current children cumulated CPU time: 65.63 s
Current children cumulated vsize: 8774500 KiB
Current children cumulated memory: 629848 KiB

[startup+52.4009 s]
/proc/loadavg: 2.96 3.33 2.83 3/235 10601
/proc/meminfo: memFree=26646252/32770624 swapFree=66992948/67108860
[pid=10561] ppid=10558 vsize=113128 memory=1476 CPUtime=56.08 cores=1,3,5,7
/proc/10561/stat : 10561 (scop.sh) S 10558 10561 5522 0 -1 4202496 583 45790 0 0 0 0 5439 169 20 0 1 0 406029524 115843072 369 33554432000 4194304 5098028 140720716415392 140720716412136 140682772034172 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33546240 140720716423976 140720716424304 140720716424304 140720716427213 0
/proc/10561/statm: 28282 369 311 221 0 87 0
[pid=10581] ppid=10561 vsize=8068440 memory=119692 CPUtime=1.19 cores=1,3,5,7
/proc/10581/stat : 10581 (java) S 10561 10561 5522 0 -1 1077944320 19355 0 0 0 112 7 0 0 20 0 19 0 406033815 8262082560 29923 33554432000 4194304 4196468 140721149003072 140721148985616 140453892636407 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
/proc/10581/statm: 2017110 29923 3209 1 0 1978454 0
[pid=10596] ppid=10581 vsize=592932 memory=508680 CPUtime=8.75 cores=1,3,5,7
/proc/10596/stat : 10596 (glueminisat-sim) R 10581 10561 5522 0 -1 4202496 247144 0 0 0 837 38 0 0 20 0 1 0 406033888 607162368 127170 33554432000 4194304 4452875 140729365691072 140729365686168 140196446309769 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 9904128 140729365693279 140729365693479 140729365693479 140729365696429 0
/proc/10596/statm: 148233 127170 374 64 0 144437 0
[pid=10581/tid=10582] ppid=10561 vsize=8068440 memory=-7824251494390977894 CPUtime=0.75 cores=1,3,5,7
/proc/10581/task/10582/stat : 10582 (java) S 10561 10561 5522 0 -1 1077944384 16356 0 0 0 70 5 0 0 20 0 19 0 406033815 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453864476576 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10583] ppid=10561 vsize=8068440 memory=119692 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10583/stat : 10583 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406033816 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453896878608 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10584] ppid=10561 vsize=8068440 memory=508680 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10584/stat : 10584 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406033816 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453697047184 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10585] ppid=10561 vsize=8068440 memory=16496 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10585/stat : 10585 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406033816 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453695994128 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10586] ppid=10561 vsize=8068440 memory=-7824251494390977894 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10586/stat : 10586 (java) S 10561 10561 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406033816 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453694941584 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10587] ppid=10561 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10587/stat : 10587 (java) S 10561 10561 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406033818 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453271784176 140453892647554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10588] ppid=10561 vsize=8068440 memory=4016568 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10588/stat : 10588 (java) S 10561 10561 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406033818 8262082560 29923 33554432000 4194304 4196468 140721149003072 140452745438880 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10589] ppid=10561 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10589/stat : 10589 (java) S 10561 10561 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406033819 8262082560 29923 33554432000 4194304 4196468 140721149003072 140452477002992 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10590] ppid=10561 vsize=8068440 memory=4016568 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10590/stat : 10590 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406033821 8262082560 29923 33554432000 4194304 4196468 140721149003072 140452102494672 140453892655003 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10591] ppid=10561 vsize=8068440 memory=2016 CPUtime=0.07 cores=1,3,5,7
/proc/10581/task/10591/stat : 10591 (java) S 10561 10561 5522 0 -1 1077944384 697 0 0 0 7 0 0 0 20 0 19 0 406033821 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453270730992 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10592] ppid=10561 vsize=8068440 memory=1384 CPUtime=0.1 cores=1,3,5,7
/proc/10581/task/10592/stat : 10592 (java) S 10561 10561 5522 0 -1 1077944384 350 0 0 0 10 0 0 0 20 0 19 0 406033821 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453269678448 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10593] ppid=10561 vsize=8068440 memory=776 CPUtime=0.21 cores=1,3,5,7
/proc/10581/task/10593/stat : 10593 (java) S 10561 10561 5522 0 -1 1077944384 559 0 0 0 21 0 0 0 20 0 19 0 406033821 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453268625392 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10594] ppid=10561 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10594/stat : 10594 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406033822 8262082560 29923 33554432000 4194304 4196468 140721149003072 140451604588896 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10595] ppid=10561 vsize=8068440 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10595/stat : 10595 (java) S 10561 10561 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406033822 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453267573808 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10597] ppid=10561 vsize=8068440 memory=119692 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10597/stat : 10597 (java) S 10561 10561 5522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406033888 8262082560 29923 33554432000 4194304 4196468 140721149003072 140453259540288 140453892661017 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10599] ppid=10561 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10599/stat : 10599 (java) S 10561 10561 5522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 406033888 8262082560 29923 33554432000 4194304 4196468 140721149003072 140451067703184 140453892658333 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10600] ppid=10561 vsize=8068440 memory=119692 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10600/stat : 10600 (java) S 10561 10561 5522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 406033888 8262082560 29923 33554432000 4194304 4196468 140721149003072 140450799271440 140453892658333 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10601] ppid=10561 vsize=8068440 memory=572356 CPUtime=0 cores=1,3,5,7
/proc/10581/task/10601/stat : 10601 (java) S 10561 10561 5522 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 406033891 8262082560 29923 33554432000 4194304 4196468 140721149003072 140451201932592 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
Current children cumulated CPU time: 66.02 s
Current children cumulated vsize: 8774500 KiB
Current children cumulated memory: 629848 KiB

[startup+52.8068 s]
/proc/loadavg: 2.96 3.33 2.83 3/235 10601
/proc/meminfo: memFree=26646252/32770624 swapFree=66992948/67108860
[pid=10561] ppid=10558 vsize=113128 memory=1476 CPUtime=56.08 cores=1,3,5,7
/proc/10561/stat : 10561 (scop.sh) S 10558 10561 5522 0 -1 4202496 583 45790 0 0 0 0 5439 169 20 0 1 0 406029524 115843072 369 33554432000 4194304 5098028 140720716415392 140720716412136 140682772034172 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33546240 140720716423976 140720716424304 140720716424304 140720716427213 0
/proc/10561/statm: 28282 369 311 221 0 87 0
[pid=10581] ppid=10561 vsize=8068440 memory=137616 CPUtime=10.31 cores=1,3,5,7
/proc/10581/stat : 10581 (java) S 10561 10561 5522 0 -1 1077944320 20267 247257 0 0 133 8 849 41 20 0 18 0 406033815 8262082560 34404 33554432000 4194304 4196468 140721149003072 140721148985616 140453892636407 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
/proc/10581/statm: 2017110 34404 3222 1 0 1978454 0
[pid=10581/tid=10582] ppid=10561 vsize=8068440 memory=7686721470250785427 CPUtime=9.65 cores=1,3,5,7
/proc/10581/task/10582/stat : 10582 (java) S 10561 10561 5522 0 -1 1077944384 16356 247257 0 0 70 5 849 41 20 0 18 0 406033815 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453864476576 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10583] ppid=10561 vsize=8068440 memory=7378139081855234157 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10583/stat : 10583 (java) S 10561 10561 5522 0 -1 1077944384 2 247257 0 0 0 0 849 41 20 0 18 0 406033816 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453896878608 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10584] ppid=10561 vsize=8068440 memory=7881696724453321575 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10584/stat : 10584 (java) S 10561 10561 5522 0 -1 1077944384 1 247257 0 0 0 0 849 41 20 0 18 0 406033816 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453697047184 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10585] ppid=10561 vsize=8068440 memory=4638778329610070624 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10585/stat : 10585 (java) S 10561 10561 5522 0 -1 1077944384 1 247257 0 0 0 0 849 41 20 0 18 0 406033816 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453695994128 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10586] ppid=10561 vsize=8068440 memory=4638778419807604048 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10586/stat : 10586 (java) S 10561 10561 5522 0 -1 1077944384 2 247257 0 0 0 0 849 41 20 0 18 0 406033816 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453694941584 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10587] ppid=10561 vsize=8068440 memory=1476 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10587/stat : 10587 (java) S 10561 10561 5522 0 -1 1077944384 5 247257 0 0 0 0 849 41 20 0 18 0 406033818 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453271784176 140453892647554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10588] ppid=10561 vsize=8068440 memory=119692 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10588/stat : 10588 (java) S 10561 10561 5522 0 -1 1077944384 13 247257 0 0 0 0 849 41 20 0 18 0 406033818 8262082560 34404 33554432000 4194304 4196468 140721149003072 140452745438880 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10589] ppid=10561 vsize=8068440 memory=508680 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10589/stat : 10589 (java) S 10561 10561 5522 0 -1 1077944384 1 247257 0 0 0 0 849 41 20 0 18 0 406033819 8262082560 34404 33554432000 4194304 4196468 140721149003072 140452477002992 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10590] ppid=10561 vsize=8068440 memory=1564 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10590/stat : 10590 (java) S 10561 10561 5522 0 -1 1077944384 3 247257 0 0 0 0 849 41 20 0 18 0 406033821 8262082560 34404 33554432000 4194304 4196468 140721149003072 140452102494672 140453892655003 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10591] ppid=10561 vsize=8068440 memory=8556 CPUtime=9.03 cores=1,3,5,7
/proc/10581/task/10591/stat : 10591 (java) S 10561 10561 5522 0 -1 1077944384 725 247257 0 0 13 0 849 41 20 0 18 0 406033821 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453270730992 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10592] ppid=10561 vsize=8068440 memory=1052 CPUtime=9.05 cores=1,3,5,7
/proc/10581/task/10592/stat : 10592 (java) R 10561 10561 5522 0 -1 4202560 543 247257 0 0 15 0 849 41 20 0 18 0 406033821 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453269670096 140453877028120 0 4 2 25189581 0 0 0 -1 5 0 0 21 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10593] ppid=10561 vsize=8068440 memory=1708 CPUtime=9.13 cores=1,3,5,7
/proc/10581/task/10593/stat : 10593 (java) S 10561 10561 5522 0 -1 1077944384 687 247257 0 0 23 0 849 41 20 0 18 0 406033821 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453268625392 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10594] ppid=10561 vsize=8068440 memory=3440 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10594/stat : 10594 (java) S 10561 10561 5522 0 -1 1077944384 3 247257 0 0 0 0 849 41 20 0 18 0 406033822 8262082560 34404 33554432000 4194304 4196468 140721149003072 140451604588896 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10595] ppid=10561 vsize=8068440 memory=2832 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10595/stat : 10595 (java) S 10561 10561 5522 0 -1 1077944384 3 247257 0 0 0 0 849 41 20 0 18 0 406033822 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453267573808 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10597] ppid=10561 vsize=8068440 memory=1476 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10597/stat : 10597 (java) S 10561 10561 5522 0 -1 1077944384 24 247257 0 0 0 0 849 41 20 0 18 0 406033888 8262082560 34404 33554432000 4194304 4196468 140721149003072 140453259539472 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10599] ppid=10561 vsize=8068440 memory=119692 CPUtime=9.01 cores=1,3,5,7
/proc/10581/task/10599/stat : 10599 (java) R 10561 10561 5522 0 -1 4202560 569 247257 0 0 10 1 849 41 20 0 18 0 406033888 8262082560 34404 33554432000 4194304 4196468 140721149003072 140451067707536 140453366337583 0 4 2 25189581 0 0 0 -1 3 0 0 20 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10601] ppid=10561 vsize=8068440 memory=2832 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10601/stat : 10601 (java) S 10561 10561 5522 0 -1 1077944384 22 247257 0 0 0 0 849 41 20 0 18 0 406033891 8262082560 34404 33554432000 4194304 4196468 140721149003072 140451201932352 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
Current children cumulated CPU time: 66.39 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 139092 KiB

[startup+52.9047 s]
/proc/loadavg: 2.96 3.33 2.83 3/235 10601
/proc/meminfo: memFree=26646252/32770624 swapFree=66992948/67108860
[pid=10561] ppid=10558 vsize=113128 memory=1476 CPUtime=56.08 cores=1,3,5,7
/proc/10561/stat : 10561 (scop.sh) S 10558 10561 5522 0 -1 4202496 583 45790 0 0 0 0 5439 169 20 0 1 0 406029524 115843072 369 33554432000 4194304 5098028 140720716415392 140720716412136 140682772034172 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33546240 140720716423976 140720716424304 140720716424304 140720716427213 0
/proc/10561/statm: 28282 369 311 221 0 87 0
[pid=10581] ppid=10561 vsize=7937364 memory=144240 CPUtime=10.54 cores=1,3,5,7
/proc/10581/stat : 10581 (java) S 10561 10561 5522 0 -1 1077944320 20895 247257 0 0 156 8 849 41 20 0 17 0 406033815 8127860736 36060 33554432000 4194304 4196468 140721149003072 140721148985616 140453892636407 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
/proc/10581/statm: 1984341 36060 3229 1 0 1945685 0
[pid=10581/tid=10582] ppid=10561 vsize=7937364 memory=508732 CPUtime=9.74 cores=1,3,5,7
/proc/10581/task/10582/stat : 10582 (java) R 10561 10561 5522 0 -1 4202560 16626 247257 0 0 79 5 849 41 20 0 17 0 406033815 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453864468064 140453892648342 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10583] ppid=10561 vsize=7937364 memory=1476 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10583/stat : 10583 (java) S 10561 10561 5522 0 -1 1077944384 2 247257 0 0 0 0 849 41 20 0 17 0 406033816 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453896878608 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10584] ppid=10561 vsize=7937364 memory=119692 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10584/stat : 10584 (java) S 10561 10561 5522 0 -1 1077944384 1 247257 0 0 0 0 849 41 20 0 17 0 406033816 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453697047184 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10585] ppid=10561 vsize=7937364 memory=0 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10585/stat : 10585 (java) S 10561 10561 5522 0 -1 1077944384 1 247257 0 0 0 0 849 41 20 0 17 0 406033816 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453695994128 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10586] ppid=10561 vsize=7937364 memory=0 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10586/stat : 10586 (java) S 10561 10561 5522 0 -1 1077944384 2 247257 0 0 0 0 849 41 20 0 17 0 406033816 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453694941584 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10587] ppid=10561 vsize=7937364 memory=4417 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10587/stat : 10587 (java) S 10561 10561 5522 0 -1 1077944384 5 247257 0 0 0 0 849 41 20 0 17 0 406033818 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453271784176 140453892647554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10588] ppid=10561 vsize=7937364 memory=4420 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10588/stat : 10588 (java) S 10561 10561 5522 0 -1 1077944384 13 247257 0 0 0 0 849 41 20 0 17 0 406033818 8127860736 36060 33554432000 4194304 4196468 140721149003072 140452745438880 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10589] ppid=10561 vsize=7937364 memory=508680 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10589/stat : 10589 (java) S 10561 10561 5522 0 -1 1077944384 1 247257 0 0 0 0 849 41 20 0 17 0 406033819 8127860736 36060 33554432000 4194304 4196468 140721149003072 140452477002992 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10590] ppid=10561 vsize=7937364 memory=16496 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10590/stat : 10590 (java) S 10561 10561 5522 0 -1 1077944384 3 247257 0 0 0 0 849 41 20 0 17 0 406033821 8127860736 36060 33554432000 4194304 4196468 140721149003072 140452102494672 140453892655003 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10591] ppid=10561 vsize=7937364 memory=0 CPUtime=9.07 cores=1,3,5,7
/proc/10581/task/10591/stat : 10591 (java) R 10561 10561 5522 0 -1 4202560 897 247257 0 0 17 0 849 41 20 0 17 0 406033821 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453270730992 140453870556032 0 4 2 25189581 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10592] ppid=10561 vsize=7937364 memory=0 CPUtime=9.1 cores=1,3,5,7
/proc/10581/task/10592/stat : 10592 (java) R 10561 10561 5522 0 -1 4202560 590 247257 0 0 20 0 849 41 20 0 17 0 406033821 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453269665016 140453884654896 0 4 2 25189581 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10593] ppid=10561 vsize=7937364 memory=196828 CPUtime=9.18 cores=1,3,5,7
/proc/10581/task/10593/stat : 10593 (java) S 10561 10561 5522 0 -1 1077944384 819 247257 0 0 28 0 849 41 20 0 17 0 406033821 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453268624320 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10594] ppid=10561 vsize=7937364 memory=1476 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10594/stat : 10594 (java) S 10561 10561 5522 0 -1 1077944384 3 247257 0 0 0 0 849 41 20 0 17 0 406033822 8127860736 36060 33554432000 4194304 4196468 140721149003072 140451604588896 140453892646613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10595] ppid=10561 vsize=7937364 memory=1476 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10595/stat : 10595 (java) S 10561 10561 5522 0 -1 1077944384 3 247257 0 0 0 0 849 41 20 0 17 0 406033822 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453267573808 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10597] ppid=10561 vsize=7937364 memory=119692 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10597/stat : 10597 (java) S 10561 10561 5522 0 -1 1077944384 24 247257 0 0 0 0 849 41 20 0 17 0 406033888 8127860736 36060 33554432000 4194304 4196468 140721149003072 140453259539472 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
[pid=10581/tid=10601] ppid=10561 vsize=7937364 memory=0 CPUtime=8.9 cores=1,3,5,7
/proc/10581/task/10601/stat : 10601 (java) S 10561 10561 5522 0 -1 1077944384 28 247257 0 0 0 0 849 41 20 0 17 0 406033891 8127860736 36060 33554432000 4194304 4196468 140721149003072 140451201934384 140453892647554 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32043008 140721149006843 140721149007002 140721149007002 140721149009871 0
Current children cumulated CPU time: 66.62 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 145716 KiB

Child status: 0
Real time (s): 52.9977
CPU time (s): 66.8343
CPU user time (s): 64.6019
CPU system time (s): 2.23232
CPU usage (%): 126.108
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 4028856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.6019
system time used= 2.23232
maximum resident set size= 4028288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 326160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8653
involuntary context switches= 186


# summary of solver processes directly reported to runsolver:
#   pid: 10561
#   total CPU time (s): 66.8343
#   total CPU user time (s): 64.6019
#   total CPU system time (s): 2.23232

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.391144 second user time and 0.561377 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-12 16:15:36
IDJOB=4388271
IDBENCH=138789
IDSOLVER=2825
FILE ID=node102/4388271-1568297781
RUNJOBID= node102-1568285939-6431
PBS_JOBID= 21701092
Free space on /tmp= 54640 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0150-m1.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-4388271-1568297781/watcher-4388271-1568297781 -o /tmp/evaluation-result-4388271-1568297781/solver-4388271-1568297781 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6431 --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-4388271-1568297781.xml

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

MD5SUM BENCH= 87bfaaaf5fd3b270ee1dec703898481f
RANDOM SEED=1168517938

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28665856 kB
MemAvailable:   28821064 kB
Buffers:          101132 kB
Cached:           345928 kB
SwapCached:        11696 kB
Active:          3322360 kB
Inactive:         238284 kB
Active(anon):    3109452 kB
Inactive(anon):    33356 kB
Active(file):     212908 kB
Inactive(file):   204928 kB
Unevictable:      110384 kB
Mlocked:          110384 kB
SwapTotal:      67108860 kB
SwapFree:       66992948 kB
Dirty:             21200 kB
Writeback:             0 kB
AnonPages:       3141492 kB
Mapped:            43592 kB
Shmem:             20000 kB
Slab:             134812 kB
SReclaimable:     106412 kB
SUnreclaim:        28400 kB
KernelStack:        3776 kB
PageTables:        11772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13199092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3006464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54356 MiB
End job on node102 at 2019-09-12 16:16:29