Trace number 4388235

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 51.8952 42.7143

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-16.xml
MD5SUM60f46a78fc335bdeaa2bda0ed3237a46
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 benchmark51.8952
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains93
Minimum domain size1211
Maximum domain size1309
Distribution of domain sizes[{"size":1211,"count":6},{"size":1212,"count":2},{"size":1213,"count":4},{"size":1214,"count":4},{"size":1215,"count":4},{"size":1216,"count":2},{"size":1217,"count":12},{"size":1218,"count":8},{"size":1219,"count":6},{"size":1220,"count":4},{"size":1221,"count":2},{"size":1222,"count":4},{"size":1223,"count":6},{"size":1225,"count":4},{"size":1226,"count":2},{"size":1227,"count":4},{"size":1228,"count":2},{"size":1229,"count":6},{"size":1230,"count":8},{"size":1231,"count":10},{"size":1232,"count":4},{"size":1233,"count":2},{"size":1234,"count":6},{"size":1235,"count":2},{"size":1236,"count":4},"...",{"size":1283,"count":10}, {"size":1284,"count":4}, {"size":1285,"count":4}, {"size":1286,"count":6}, {"size":1287,"count":10}, {"size":1288,"count":2}, {"size":1289,"count":2}, {"size":1290,"count":4}, {"size":1291,"count":2}, {"size":1292,"count":2}, {"size":1294,"count":8}, {"size":1295,"count":2}, {"size":1297,"count":4}, {"size":1298,"count":4}, {"size":1299,"count":4}, {"size":1300,"count":6}, {"size":1301,"count":2}, {"size":1302,"count":4}, {"size":1303,"count":4}, {"size":1304,"count":8}, {"size":1305,"count":10}, {"size":1306,"count":6}, {"size":1307,"count":4}, {"size":1308,"count":6}, {"size":1309,"count":2}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
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-9605-serial-file.bin HOME/instance-4388235-1568297359.xml
0.67/0.54	
0.67/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.54	
0.67/0.56	c BEGIN-Prog: Thu Sep 12 16:08:39 CEST 2019
0.67/0.56	c PID: 9608
0.67/0.56	c IP: 172.20.3.127
0.67/0.56	c HOST: node127.alineos.net
0.67/0.57	c (0,0) Parsing Begin
4.78/1.97	c (1,1) Parsing End
4.78/1.98	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1309
4.78/1.98	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.78/1.98	c (1,1) Constraint Name Generate Begin
5.15/2.02	c (1,1) Ctr:HOME/instance-4388235-1568297359.xml,Add:Le:Ne:Num:Or:Var
5.15/2.02	c (1,1) Constraint Name Generate End
5.15/2.02	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.15/2.02	c (1,1) CSP to CSPinCNF Begin
5.66/2.29	c (1,1) translated 558 (10%) constraints
5.94/2.35	c (1,1) translated 1116 (20%) constraints
6.25/2.40	c (1,1) translated 1674 (30%) constraints
6.25/2.45	c (1,1) translated 2232 (40%) constraints
6.25/2.49	c (1,1) translated 2790 (50%) constraints
6.55/2.53	c (1,1) translated 3348 (60%) constraints
6.55/2.56	c (2,2) translated 3906 (70%) constraints
6.86/2.60	c (2,2) translated 4464 (80%) constraints
6.86/2.63	c (2,2) translated 5022 (90%) constraints
6.86/2.65	c (2,2) translated 5580 (100%) constraints
6.86/2.65	c (2,2) ===========================================
6.86/2.65	c (2,2) Order
6.86/2.65	c (2,2) ===========================================
6.86/2.69	c (2,2) translated 558 (10%) constraints
7.18/2.71	c (2,2) translated 1116 (20%) constraints
7.18/2.73	c (2,2) translated 1674 (30%) constraints
7.18/2.75	c (2,2) translated 2232 (40%) constraints
7.18/2.76	c (2,2) translated 2790 (50%) constraints
7.18/2.78	c (2,2) translated 3348 (60%) constraints
7.18/2.79	c (2,2) translated 3906 (70%) constraints
7.49/2.81	c (2,2) translated 4464 (80%) constraints
7.49/2.82	c (2,2) translated 5022 (90%) constraints
7.49/2.84	c (2,2) translated 5580 (100%) constraints
7.49/2.84	c (2,2) CSP to CSPinCNF End
7.49/2.84	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272
7.49/2.84	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.49/2.84	c (2,2) CSPinCNF Propagation Begin
7.79/2.93	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.79/2.93	c (2,2) CSPinCNF Propagation End
7.79/2.93	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272
7.79/2.93	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.79/2.93	c (2,2) Simplify CSPinCNF Begin
8.41/3.19	c (2,2) Simplify CSPinCNF End
8.65/3.20	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272
8.65/3.20	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.65/3.20	c (2,2) Calculate Precise Domain Begin
8.65/3.20	c (2,2) 0 values are removed by re-calculation
8.65/3.20	c (2,2) Calculate Precise Domain End
8.65/3.20	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272
8.65/3.20	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.65/3.20	c (2,2) CSPinCNF to SatSolver Begin
14.21/7.08	c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 1058401 SAT clauses)
16.85/9.48	c (8,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1714558 SAT clauses)
19.28/11.89	c (11,11) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2391184 SAT clauses)
21.96/14.43	c (13,13) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 3079265 SAT clauses)
24.62/16.91	c (16,15) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3765099 SAT clauses)
27.30/19.45	c (18,18) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4461403 SAT clauses)
29.55/21.59	c (21,20) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 5041294 SAT clauses)
31.96/24.00	c (23,22) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5703695 SAT clauses)
34.86/26.64	c (26,25) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6398071 SAT clauses)
37.44/29.59	c (29,27) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7395776 SAT clauses)
37.44/29.59	c (29,27) CSPinCNF to SatSolver End
37.44/29.59	c (29,27) Heap : 772 MiB used (max 11186 MiB), NonHeap : 28 MiB used (max 0 MiB)
37.44/29.59	c (29,28) 377286 bool, 7396275 clause
37.44/29.59	c (29,28) Export Begin
37.76/29.70	c (29,28) Export to HOME/scop-9605-serial-file.bin
37.76/29.70	c (29,28) Export End
37.76/29.70	c (29,28) Export File Size: 0.07 MB
37.76/29.70	c (29,28) 1,1,2,2,2,2,29,STOP-AFTER(DIMACS)
37.76/29.70	c END-Prog: Thu Sep 12 16:09:09 CEST 2019
37.76/29.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9605-serial-file.bin
38.42/30.20	c (0,0) Read Serial File Begin
38.42/30.20	c (0,0) HOME/scop-9605-serial-file.bin
38.73/30.44	c (0,0) Read Serial File End
38.73/30.45	
38.73/30.45	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
38.73/30.45	(Solving Process)
38.73/30.45	
38.73/30.47	c BEGIN-Prog: Thu Sep 12 16:09:09 CEST 2019
38.73/30.47	c PID: 9624
38.73/30.47	c IP: 172.20.3.127
38.73/30.47	c HOST: node127.alineos.net
38.73/30.47	c (0,0) SatSolver.solve Begin
38.73/30.47	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388235-1568297359.xml-scop-9608.cnf
38.98/30.51	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
38.98/30.51	c (0,0) c glueminisat-simp-2.2.10-193oa-n
38.98/30.51	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388235-1568297359.xml-scop-9608.cnf 
38.98/30.51	c (0,0) c Options:
38.98/30.51	c (0,0) c CORE
38.98/30.51	c (0,0) c  var_decay             = 0.950
38.98/30.51	c (0,0) c  clause_decay          = 0.999
38.98/30.51	c (0,0) c  random_var_freq       = 0.000
38.98/30.51	c (0,0) c  random_seed           = 91648253.000
38.98/30.51	c (0,0) c  luby_restart          = 1
38.98/30.51	c (0,0) c  ccmin_mode            = 2
38.98/30.51	c (0,0) c  phase_saving          = 2
38.98/30.51	c (0,0) c  rnd_pol               = 0
38.98/30.51	c (0,0) c  rnd_init_act          = 0
38.98/30.51	c (0,0) c  garbage_frac          = 0.200
38.98/30.51	c (0,0) c  restart_first         = 1000
38.98/30.51	c (0,0) c  restart_inc           = 2.000
38.98/30.51	c (0,0) c MODEL
38.98/30.51	c (0,0) c  partial_model         = 0
38.98/30.51	c (0,0) c PROPAGATION
38.98/30.51	c (0,0) c  bin_propagation       = 1
38.98/30.51	c (0,0) c SIMPLIFICATION
38.98/30.51	c (0,0) c  lrn_min_size          = 100
38.98/30.51	c (0,0) c  lazy_simp             = 1
38.98/30.51	c (0,0) c  lazy_interval         = 10
38.98/30.51	c (0,0) c  lazy_fld_probing      = 1
38.98/30.51	c (0,0) c  lazy_pol_probing      = 1
38.98/30.51	c (0,0) c  lazy_nec_probing      = 1
38.98/30.51	c (0,0) c  lazy_eqv_probing      = 1
38.98/30.51	c (0,0) c  lazy_cla_probing      = 1
38.98/30.51	c (0,0) c  lazy_lrn_min          = 2
38.98/30.51	c (0,0) c  lazy_uw_lit_elim      = 1
38.98/30.51	c (0,0) c  lazy_pr_lit_elim      = 0
38.98/30.51	c (0,0) c  lazy_bin_add          = 3
38.98/30.51	c (0,0) c  probed_lit_chain      = 1
38.98/30.51	c (0,0) c  pr_min_lits           = 0.00020
38.98/30.51	c (0,0) c  pr_min_starts         = 500
38.98/30.51	c (0,0) c  rw_min_lits           = 0.010
38.98/30.51	c (0,0) c  rw_min_starts         = 500
38.98/30.51	c (0,0) c  rand_attach           = 0
38.98/30.51	c (0,0) c  dec_elim              = 1
38.98/30.51	c (0,0) c  dec_elim_lim          = 25
38.98/30.51	c (0,0) c  dec_elim_len          = -1
38.98/30.51	c (0,0) c  amo                   = 0
38.98/30.51	c (0,0) c  amo_grp               = 1
38.98/30.51	c (0,0) c  amo_max_bins          = 1000000
38.98/30.51	c (0,0) c  amo_starts            = 50
38.98/30.51	c (0,0) c  mace_cmd              = mace
38.98/30.51	c (0,0) c DECISION
38.98/30.51	c (0,0) c  rand_rebuild          = 0
38.98/30.51	c (0,0) c  rand_rebuild_confs    = 10000
38.98/30.51	c (0,0) c  inc_var_decay         = 1
38.98/30.51	c (0,0) c  inc_var_decay_period  = 100000
38.98/30.51	c (0,0) c  inc_var_decay_init    = 0.600
38.98/30.51	c (0,0) c  var_decay_mode        = 0
38.98/30.51	c (0,0) c  var_decay_gain        = 0
38.98/30.51	c (0,0) c  sloped_var_decay      = 1
38.98/30.51	c (0,0) c  max_var_decay         = 0.990
38.98/30.51	c (0,0) c  min_var_decay         = 0.950
38.98/30.51	c (0,0) c  min_var_decay_vars    = 10000
38.98/30.51	c (0,0) c  max_var_decay_vars    = 500
38.98/30.51	c (0,0) c  uip_bumping           = 1
38.98/30.51	c (0,0) c  lbd_act_bumping       = 1
38.98/30.51	c (0,0) c  rand_tiebreak         = 0
38.98/30.51	c (0,0) c  simp_rebuild          = 1
38.98/30.51	c (0,0) c RESTART
38.98/30.51	c (0,0) c  restart_strategy      = 2
38.98/30.51	c (0,0) c  restart_blocking      = 0
38.98/30.51	c (0,0) c  agility_decay         = 0.99990
38.98/30.51	c (0,0) c  lbd_restart_rate      = 0.800
38.98/30.51	c (0,0) c  dec_restart_rate      = 0.950
38.98/30.51	c (0,0) c  blk_restart_rate      = 0.700
38.98/30.51	c (0,0) c  lbd_queue_size        = 50
38.98/30.51	c (0,0) c  dec_queue_size        = 50
38.98/30.51	c (0,0) c  trl_queue_size        = 5000
38.98/30.51	c (0,0) c  blk_restart_weight    = 1.000
38.98/30.51	c (0,0) c  inc_rst_rate          = 0
38.98/30.51	c (0,0) c  inc_rst_rate_period   = 500000
38.98/30.51	c (0,0) c  inc_lbd_rst_rate_init = 0.600
38.98/30.51	c (0,0) c  inc_dec_rst_rate_init = 0.750
38.98/30.51	c (0,0) c REDUCTION
38.98/30.51	c (0,0) c  closed_lbd            = 0
38.98/30.51	c (0,0) c  closed_lbd_rate       = 0.500
38.98/30.51	c (0,0) c  rm_simulate           = 0
38.98/30.51	c (0,0) c  rdb_eval              = 2
38.98/30.51	c (0,0) c  rdb_call              = 3
38.98/30.51	c (0,0) c  rdb_ub                = 0.500
38.98/30.51	c (0,0) c  core_lbd_cvr          = 0.800
38.98/30.51	c (0,0) c  supp_lbd_cvr          = 0.990
38.98/30.51	c (0,0) c  core_lbd_lb           = 2
38.98/30.51	c (0,0) c  supp_lbd_lb           = 2
38.98/30.51	c (0,0) c  core_lbd_prd          = 7
38.98/30.51	c (0,0) c  supp_lbd_prd          = 1
38.98/30.51	c (0,0) c  othr_lbd_prd          = 0
38.98/30.51	c (0,0) c  inc_lrn_limit         = 1000
38.98/30.51	c (0,0) c  frozen_lbd            = 30
38.98/30.51	c (0,0) c  simp_min_starts       = 100
38.98/30.51	c (0,0) c  rm_low_act_learnts    = 1
38.98/30.51	c (0,0) c  lv0_reduce_db         = 0
38.98/30.51	c (0,0) c  reduce_db_base        = 20000
38.98/30.51	c (0,0) c  reduce_db_inc         = 1000
38.98/30.51	c (0,0) c HARD
38.98/30.51	c (0,0) c  inst_check            = 200000
38.98/30.51	c (0,0) c  small_block           = 1.750
38.98/30.51	c (0,0) c  slow_restart_speed    = 400.000
38.98/30.51	c (0,0) c  slow_restart_strategy = 3
38.98/30.51	c (0,0) c  slow_lbd_restart_rate = 0.700
38.98/30.51	c (0,0) c  slow_dec_restart_rate = 1.000
38.98/30.51	c (0,0) c  slow_lbd_queue_size   = 50
38.98/30.51	c (0,0) c  slow_var_decay        = 0.950
38.98/30.51	c (0,0) c  slow_glue_threshold   = 2
38.98/30.51	c (0,0) c  slow_phase_saving     = 2
38.98/30.51	c (0,0) c  fast_restart_speed    = 125.000
38.98/30.51	c (0,0) c  fast_restart_strategy = 1
38.98/30.51	c (0,0) c  fast_lbd_restart_rate = 0.800
38.98/30.51	c (0,0) c  fast_dec_restart_rate = 0.950
38.98/30.51	c (0,0) c  fast_lbd_queue_size   = 50
38.98/30.51	c (0,0) c  fast_var_decay        = 1.000
38.98/30.51	c (0,0) c  fast_glue_threshold   = 2
38.98/30.51	c (0,0) c  fast_phase_saving     = 2
38.98/30.51	c (0,0) c STATS
38.98/30.51	c (0,0) c  stats_conf_size       = 10000
38.98/30.51	c (0,0) c  max_stats_size        = 30
38.98/30.51	c (0,0) c SOLVER
38.98/30.51	c (0,0) c  minisat               = 0
42.00/33.47	c (3,0) c Problem: 377286 variables, 7277229 clauses, parsing 2.72 s
42.30/33.75	c (3,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
42.81/34.25	c (4,0) c Simplification: 120084 vars, 0 clauses are eliminated using 0.72 s
42.81/34.25	c (4,0) c
42.81/34.25	c (4,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
42.81/34.25	c (4,0) c
42.81/34.25	c (4,0) c    3         0         0   257202  7277229        0   -nan  -nan  -nan -nan%
43.71/35.18	c (5,0) c    4         1       100   257202  7277229      100   41.2  16.1 240.9 77.0%
44.61/36.04	c (5,0) c    5         2       220   257142  7277229      217   27.3  10.9 149.6 75.8%
45.51/36.99	c (6,0) c    6         2       364   257061  7277229      353   24.7   8.9 115.9 72.6%
46.30/37.76	c (7,0) c    7         3       536   257038  7277229      526   23.2   8.5 107.8 75.0%
47.51/38.90	c (8,0) c    8         3       743   256934  7277229      717   22.1   7.6  87.9 74.2%
48.81/40.20	c (10,0) c    9         3       991   256907  7277229      965   22.1   7.0  74.9 74.6%
50.41/41.84	c (11,0) c   11         5      1289   256853  7277229     1267   21.9   7.0  71.8 75.3%
50.81/42.25	c (12,0) c   11         5      1348   256824  7277229     1326   21.2   6.8  76.5 75.8%
50.81/42.27	c (12,0) c
50.81/42.27	c (12,0) c
50.81/42.27	c (12,0) c variables         : 256824      (init 377286, after simp 257202, 0 non-decs, 450 csp)
50.81/42.27	c (12,0) c clauses           : 7277229     (init 7277229, after simp 7277229)
50.81/42.27	c (12,0) c restarts          : 4           (269.60 confs/res, 106~647 confs, 0 blks, 0 last)
50.81/42.27	c (12,0) c conflicts         : 1348        (118 /sec, 68.32% dconfs, 0.00% supp, trail 3234.80w x 76.51h, jmp 5.60h)
50.81/42.27	c (12,0) c decisions         : 9658        (0.6000 vdcy, 847 /sec, 0.00% bin, rs 0.001 s)
50.81/42.27	c (12,0) c propagations      : 24601862    (2157933 /sec, 2547.30 lits/dec, 4.28% o.a.)
50.81/42.27	c (12,0) c conflict literals : 31702       (10.99% deleted; 0.26% by bin min, 0.002 s)
50.81/42.27	c (12,0) c len               : 21.213      (20.87 for all, max 252, used 147)
50.81/42.27	c (12,0) c lbd               : 6.842       (7.45 (6.74) for all, max 150, used 50, 3.938 stdev, 2.801 blk)
50.81/42.27	c (12,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
50.81/42.27	c (12,0) c simp dbs          : 0           (0.000 s)
50.81/42.27	c (12,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
50.81/42.27	c (12,0) c learnts           : 1326        (0 learnts removed, 0.00%)
50.81/42.27	c (12,0) c rewrite dbs       : 0           (0/1 vars, 0+0 taut, 0+0 unit, 0.000 s)
50.81/42.27	c (12,0) c assigned lits     : 0           (0/5 probed, 5 remains)
50.81/42.27	c (12,0) c premise updates   : 0           (0.00 /lit)
50.81/42.27	c (12,0) c probed variables  : 5           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 5 cla, 0 amo)
50.81/42.27	c (12,0) c equiv variables   : 1           (1 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
50.81/42.27	c (12,0) c lazy added bins   : 12          (12 prop + 0 conf, 0.007s)
50.81/42.27	c (12,0) c unwatched lit elim: 29          (0.00+0.07%, 6+23 of 20946507+31702)
50.81/42.27	c (12,0) c classified type   : undef
50.81/42.27	c (12,0) c progress          : 31.929%
50.81/42.27	c (12,0) c
50.81/42.27	c (12,0) c [Statistics]
50.81/42.27	c (12,0) c             learnts len        learnts lbd        lit blk size       eq vars size
50.81/42.27	c (12,0) c  tot        1348               1348              10047                  1
50.81/42.27	c (12,0) c  avg      20.874              6.737              2.801              2.000
50.81/42.27	c (12,0) c   1           34 ( 2.5%)         42 ( 3.1%)       6250 (62.2%)          0 ( 0.0%)
50.81/42.27	c (12,0) c   2            2 ( 0.1%)        309 (22.9%)       1577 (15.7%)          1 (100.0%)
50.81/42.27	c (12,0) c   3          164 (12.2%)        200 (14.8%)        618 ( 6.2%)          0 ( 0.0%)
50.81/42.27	c (12,0) c   4           42 ( 3.1%)        160 (11.9%)        381 ( 3.8%)          0 ( 0.0%)
50.81/42.27	c (12,0) c   5          199 (14.8%)        119 ( 8.8%)        258 ( 2.6%)          0 ( 0.0%)
50.81/42.27	c (12,0) c   6           76 ( 5.6%)         84 ( 6.2%)        158 ( 1.6%)          0 ( 0.0%)
50.81/42.27	c (12,0) c   7           77 ( 5.7%)         71 ( 5.3%)        124 ( 1.2%)          0 ( 0.0%)
50.81/42.27	c (12,0) c   8           49 ( 3.6%)         60 ( 4.5%)         86 ( 0.9%)          0 ( 0.0%)
50.81/42.27	c (12,0) c   9           51 ( 3.8%)         41 ( 3.0%)         64 ( 0.6%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  10           40 ( 3.0%)         40 ( 3.0%)         68 ( 0.7%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  11           31 ( 2.3%)         30 ( 2.2%)         58 ( 0.6%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  12           30 ( 2.2%)         27 ( 2.0%)         44 ( 0.4%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  13           21 ( 1.6%)         21 ( 1.6%)         27 ( 0.3%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  14           23 ( 1.7%)         17 ( 1.3%)         32 ( 0.3%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  15           21 ( 1.6%)          9 ( 0.7%)         26 ( 0.3%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  16           21 ( 1.6%)          9 ( 0.7%)         29 ( 0.3%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  17           16 ( 1.2%)          9 ( 0.7%)         20 ( 0.2%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  18            8 ( 0.6%)          9 ( 0.7%)         17 ( 0.2%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  19           15 ( 1.1%)         11 ( 0.8%)         17 ( 0.2%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  20           15 ( 1.1%)          7 ( 0.5%)         11 ( 0.1%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  21           15 ( 1.1%)          7 ( 0.5%)          9 ( 0.1%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  22            9 ( 0.7%)          7 ( 0.5%)         16 ( 0.2%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  23           16 ( 1.2%)          9 ( 0.7%)          9 ( 0.1%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  24            6 ( 0.4%)          7 ( 0.5%)          6 ( 0.1%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  25           11 ( 0.8%)          7 ( 0.5%)         11 ( 0.1%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  26           11 ( 0.8%)          2 ( 0.1%)         11 ( 0.1%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  27           12 ( 0.9%)          5 ( 0.4%)          9 ( 0.1%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  28           12 ( 0.9%)          3 ( 0.2%)          9 ( 0.1%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  29           11 ( 0.8%)          5 ( 0.4%)          5 ( 0.0%)          0 ( 0.0%)
50.81/42.27	c (12,0) c  30          310 (23.0%)         21 ( 1.6%)         97 ( 1.0%)          0 ( 0.0%)
50.81/42.27	c (12,0) c
50.81/42.27	c (12,0) c [LBD Statistics]
50.81/42.27	c (12,0) c LBD          used lbd               used clause lbd         unused clause lbd
50.81/42.27	c (12,0) c  tot         3355                     694                     632
50.81/42.27	c (12,0) c  avg        3.861                   5.022                   8.840
50.81/42.27	c (12,0) c    1           60 ( 1.8/ 1.8%)          8 ( 1.2/ 1.2%)          0 ( 0.0/ 0.0%)
50.81/42.27	c (12,0) c    2         1580 (47.1/48.9%)        229 (33.0/34.1%)         92 (14.6/14.6%)
50.81/42.27	c (12,0) c    3          640 (19.1/68.0%)        125 (18.0/52.2%)         75 (11.9/26.4%)
50.81/42.27	c (12,0) c    4          391 (11.7/79.6%)         95 (13.7/65.9%)         65 (10.3/36.7%)
50.81/42.27	c (12,0) c    5          201 ( 6.0/85.6%)         58 ( 8.4/74.2%)         61 ( 9.7/46.4%)
50.81/42.27	c (12,0) c    6          111 ( 3.3/88.9%)         35 ( 5.0/79.3%)         49 ( 7.8/54.1%)
50.81/42.27	c (12,0) c    7           70 ( 2.1/91.0%)         27 ( 3.9/83.1%)         44 ( 7.0/61.1%)
50.81/42.27	c (12,0) c    8           67 ( 2.0/93.0%)         22 ( 3.2/86.3%)         38 ( 6.0/67.1%)
50.81/42.27	c (12,0) c    9           50 ( 1.5/94.5%)         18 ( 2.6/88.9%)         23 ( 3.6/70.7%)
50.81/42.27	c (12,0) c   10           33 ( 1.0/95.5%)         16 ( 2.3/91.2%)         24 ( 3.8/74.5%)
50.81/42.27	c (12,0) c   11           20 ( 0.6/96.1%)          9 ( 1.3/92.5%)         21 ( 3.3/77.8%)
50.81/42.27	c (12,0) c   12           14 ( 0.4/96.5%)          8 ( 1.2/93.7%)         19 ( 3.0/80.9%)
50.81/42.27	c (12,0) c   13           25 ( 0.7/97.2%)          9 ( 1.3/95.0%)         12 ( 1.9/82.8%)
50.81/42.27	c (12,0) c   14           12 ( 0.4/97.6%)          5 ( 0.7/95.7%)         12 ( 1.9/84.7%)
50.81/42.27	c (12,0) c   15           10 ( 0.3/97.9%)          3 ( 0.4/96.1%)          6 ( 0.9/85.6%)
50.81/42.27	c (12,0) c   16            6 ( 0.2/98.1%)          1 ( 0.1/96.3%)          8 ( 1.3/86.9%)
50.81/42.27	c (12,0) c   17            4 ( 0.1/98.2%)          1 ( 0.1/96.4%)          8 ( 1.3/88.1%)
50.81/42.27	c (12,0) c   18            2 ( 0.1/98.2%)          2 ( 0.3/96.7%)          7 ( 1.1/89.2%)
50.81/42.27	c (12,0) c   19            2 ( 0.1/98.3%)          3 ( 0.4/97.1%)          8 ( 1.3/90.5%)
50.81/42.27	c (12,0) c   20            5 ( 0.1/98.5%)          1 ( 0.1/97.3%)          6 ( 0.9/91.5%)
50.81/42.27	c (12,0) c   21            6 ( 0.2/98.6%)          3 ( 0.4/97.7%)          4 ( 0.6/92.1%)
50.81/42.27	c (12,0) c   22            0 ( 0.0/98.6%)          1 ( 0.1/97.8%)          6 ( 0.9/93.0%)
50.81/42.27	c (12,0) c   23            9 ( 0.3/98.9%)          4 ( 0.6/98.4%)          5 ( 0.8/93.8%)
50.81/42.27	c (12,0) c   24           10 ( 0.3/99.2%)          1 ( 0.1/98.6%)          6 ( 0.9/94.8%)
50.81/42.27	c (12,0) c   25            6 ( 0.2/99.4%)          3 ( 0.4/99.0%)          4 ( 0.6/95.4%)
50.81/42.27	c (12,0) c   26            1 ( 0.0/99.4%)          0 ( 0.0/99.0%)          2 ( 0.3/95.7%)
50.81/42.27	c (12,0) c   27            5 ( 0.1/99.6%)          1 ( 0.1/99.1%)          4 ( 0.6/96.4%)
50.81/42.27	c (12,0) c   28            2 ( 0.1/99.6%)          2 ( 0.3/99.4%)          1 ( 0.2/96.5%)
50.81/42.27	c (12,0) c   29            5 ( 0.1/99.8%)          1 ( 0.1/99.6%)          4 ( 0.6/97.2%)
50.81/42.27	c (12,0) c   30            1 ( 0.0/99.8%)          0 ( 0.0/99.6%)          0 ( 0.0/97.2%)
50.81/42.27	c (12,0) c   31            0 ( 0.0/99.8%)          0 ( 0.0/99.6%)          3 ( 0.5/97.6%)
50.81/42.27	c (12,0) c   32            0 ( 0.0/99.8%)          0 ( 0.0/99.6%)          2 ( 0.3/97.9%)
50.81/42.27	c (12,0) c   33            0 ( 0.0/99.8%)          2 ( 0.3/99.9%)          1 ( 0.2/98.1%)
50.81/42.27	c (12,0) c   34            1 ( 0.0/99.8%)          0 ( 0.0/99.9%)          1 ( 0.2/98.3%)
50.81/42.27	c (12,0) c   35            3 ( 0.1/99.9%)          0 ( 0.0/99.9%)          2 ( 0.3/98.6%)
50.81/42.27	c (12,0) c   36            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          1 ( 0.2/98.7%)
50.81/42.27	c (12,0) c   37            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          1 ( 0.2/98.9%)
50.81/42.27	c (12,0) c   38            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          0 ( 0.0/98.9%)
50.81/42.27	c (12,0) c   39            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          0 ( 0.0/98.9%)
50.81/42.27	c (12,0) c   40            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          0 ( 0.0/98.9%)
50.81/42.27	c (12,0) c   41            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          0 ( 0.0/98.9%)
50.81/42.27	c (12,0) c   42            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          0 ( 0.0/98.9%)
50.81/42.27	c (12,0) c   43            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          0 ( 0.0/98.9%)
50.81/42.27	c (12,0) c   44            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          1 ( 0.2/99.1%)
50.81/42.27	c (12,0) c   45            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          0 ( 0.0/99.1%)
50.81/42.27	c (12,0) c   46            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          0 ( 0.0/99.1%)
50.81/42.27	c (12,0) c   47            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          1 ( 0.2/99.2%)
50.81/42.27	c (12,0) c   48            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          1 ( 0.2/99.4%)
50.81/42.27	c (12,0) c   49            0 ( 0.0/99.9%)          0 ( 0.0/99.9%)          0 ( 0.0/99.4%)
50.81/42.27	c (12,0) c   50            3 ( 0.1/100.0%)          1 ( 0.1/100.0%)          0 ( 0.0/99.4%)
50.81/42.27	c (12,0) c   51            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.2/99.5%)
50.81/42.27	c (12,0) c   52            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.5%)
50.81/42.27	c (12,0) c   53            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.2/99.7%)
50.81/42.27	c (12,0) c   54            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   55            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   56            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   57            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   58            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   59            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   60            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   61            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   62            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   63            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   64            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   65            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   66            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   67            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   68            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   69            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   70            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   71            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   72            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   73            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   74            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   75            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   76            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   77            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   78            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   79            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   80            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   81            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   82            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   83            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   84            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   85            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.7%)
50.81/42.27	c (12,0) c   86            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.2/99.8%)
50.81/42.27	c (12,0) c   87            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   88            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   89            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   90            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   91            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   92            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   93            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   94            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   95            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   96            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   97            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   98            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c   99            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  100            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  101            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  102            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  103            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  104            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  105            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  106            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  107            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  108            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  109            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  110            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  111            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  112            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  113            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  114            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  115            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  116            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  117            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  118            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  119            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  120            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  121            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  122            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  123            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  124            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  125            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  126            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  127            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  128            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  129            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  130            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  131            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  132            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  133            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  134            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  135            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.27	c (12,0) c  136            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  137            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  138            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  139            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  140            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  141            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  142            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  143            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  144            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  145            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  146            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  147            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  148            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  149            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
50.81/42.28	c (12,0) c  150            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.2/100.0%)
50.81/42.28	c (12,0) c
50.81/42.28	c (12,0) c Memory used       : 838.00 MB
50.81/42.28	c (12,0) c CPU time          : 11.401 s
50.81/42.28	c (12,0) c Real time         : 11.769 s
50.81/42.28	c (12,0) c
50.81/42.28	c (12,0) s SATISFIABLE
51.42/42.51	c (12,0) SatSolver.solve End
51.42/42.51	c (12,0) Heap : 190 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
51.42/42.51	c (12,0) Show results Begin
51.64/42.65	c (12,0) x0 = 64
51.64/42.65	c (12,0) x1 = 65
51.64/42.65	c (12,0) x10 = 481
51.64/42.65	c (12,0) x100 = 673
51.64/42.65	c (12,0) x101 = 674
51.64/42.65	c (12,0) x102 = 690
51.64/42.65	c (12,0) x103 = 691
51.64/42.65	c (12,0) x104 = 806
51.64/42.65	c (12,0) x105 = 807
51.64/42.65	c (12,0) x106 = 895
51.64/42.65	c (12,0) x107 = 896
51.64/42.65	c (12,0) x108 = 970
51.64/42.65	c (12,0) x109 = 971
51.64/42.65	c (12,0) x11 = 482
51.64/42.65	c (12,0) x110 = 974
51.64/42.65	c (12,0) x111 = 975
51.64/42.65	c (12,0) x112 = 1057
51.64/42.65	c (12,0) x113 = 1056
51.64/42.65	c (12,0) x114 = 1129
51.64/42.65	c (12,0) x115 = 1128
51.64/42.65	c (12,0) x116 = 1140
51.64/42.65	c (12,0) x117 = 1141
51.64/42.65	c (12,0) x118 = 1266
51.64/42.65	c (12,0) x119 = 1267
51.64/42.65	c (12,0) x12 = 498
51.64/42.65	c (12,0) x120 = 42
51.64/42.65	c (12,0) x121 = 43
51.64/42.65	c (12,0) x122 = 366
51.64/42.65	c (12,0) x123 = 365
51.64/42.65	c (12,0) x124 = 462
51.64/42.65	c (12,0) x125 = 463
51.64/42.65	c (12,0) x126 = 474
51.64/42.65	c (12,0) x127 = 473
51.64/42.65	c (12,0) x128 = 515
51.64/42.65	c (12,0) x129 = 516
51.64/42.65	c (12,0) x13 = 497
51.64/42.65	c (12,0) x130 = 609
51.64/42.65	c (12,0) x131 = 608
51.64/42.65	c (12,0) x132 = 611
51.64/42.65	c (12,0) x133 = 612
51.64/42.65	c (12,0) x134 = 711
51.64/42.65	c (12,0) x135 = 712
51.64/42.65	c (12,0) x136 = 722
51.64/42.65	c (12,0) x137 = 721
51.64/42.65	c (12,0) x138 = 769
51.64/42.65	c (12,0) x139 = 768
51.64/42.65	c (12,0) x14 = 525
51.64/42.65	c (12,0) x140 = 835
51.64/42.65	c (12,0) x141 = 834
51.64/42.65	c (12,0) x142 = 863
51.64/42.65	c (12,0) x143 = 862
51.64/42.65	c (12,0) x144 = 920
51.64/42.65	c (12,0) x145 = 921
51.64/42.65	c (12,0) x146 = 996
51.64/42.65	c (12,0) x147 = 995
51.64/42.65	c (12,0) x148 = 1228
51.64/42.65	c (12,0) x149 = 1227
51.64/42.65	c (12,0) x15 = 526
51.64/42.65	c (12,0) x150 = 11
51.64/42.65	c (12,0) x151 = 10
51.64/42.65	c (12,0) x152 = 89
51.64/42.65	c (12,0) x153 = 88
51.64/42.65	c (12,0) x154 = 180
51.64/42.65	c (12,0) x155 = 181
51.64/42.65	c (12,0) x156 = 294
51.64/42.65	c (12,0) x157 = 293
51.64/42.65	c (12,0) x158 = 381
51.64/42.65	c (12,0) x159 = 382
51.64/42.65	c (12,0) x16 = 597
51.64/42.65	c (12,0) x160 = 448
51.64/42.65	c (12,0) x161 = 447
51.64/42.65	c (12,0) x162 = 499
51.64/42.65	c (12,0) x163 = 500
51.64/42.65	c (12,0) x164 = 732
51.64/42.65	c (12,0) x165 = 733
51.64/42.65	c (12,0) x166 = 992
51.64/42.65	c (12,0) x167 = 993
51.64/42.65	c (12,0) x168 = 1085
51.64/42.65	c (12,0) x169 = 1084
51.64/42.65	c (12,0) x17 = 598
51.64/42.65	c (12,0) x170 = 1112
51.64/42.65	c (12,0) x171 = 1113
51.64/42.65	c (12,0) x172 = 1126
51.64/42.66	c (12,0) x173 = 1125
51.64/42.66	c (12,0) x174 = 1133
51.64/42.66	c (12,0) x175 = 1134
51.64/42.66	c (12,0) x176 = 1229
51.64/42.66	c (12,0) x177 = 1228
51.64/42.66	c (12,0) x178 = 1295
51.64/42.66	c (12,0) x179 = 1296
51.64/42.66	c (12,0) x18 = 616
51.64/42.66	c (12,0) x180 = 32
51.64/42.66	c (12,0) x181 = 31
51.64/42.66	c (12,0) x182 = 123
51.64/42.66	c (12,0) x183 = 122
51.64/42.66	c (12,0) x184 = 156
51.64/42.66	c (12,0) x185 = 157
51.64/42.66	c (12,0) x186 = 380
51.64/42.66	c (12,0) x187 = 381
51.64/42.66	c (12,0) x188 = 457
51.64/42.66	c (12,0) x189 = 458
51.64/42.66	c (12,0) x19 = 615
51.64/42.66	c (12,0) x190 = 551
51.64/42.66	c (12,0) x191 = 552
51.64/42.66	c (12,0) x192 = 623
51.64/42.66	c (12,0) x193 = 624
51.64/42.66	c (12,0) x194 = 707
51.64/42.66	c (12,0) x195 = 706
51.64/42.66	c (12,0) x196 = 801
51.64/42.66	c (12,0) x197 = 802
51.64/42.66	c (12,0) x198 = 816
51.64/42.66	c (12,0) x199 = 815
51.64/42.66	c (12,0) x2 = 161
51.64/42.66	c (12,0) x20 = 710
51.64/42.66	c (12,0) x200 = 828
51.64/42.66	c (12,0) x201 = 829
51.64/42.66	c (12,0) x202 = 918
51.64/42.66	c (12,0) x203 = 921
51.64/42.66	c (12,0) x204 = 969
51.64/42.66	c (12,0) x205 = 970
51.64/42.66	c (12,0) x206 = 987
51.64/42.66	c (12,0) x207 = 986
51.64/42.66	c (12,0) x208 = 1041
51.64/42.66	c (12,0) x209 = 1040
51.64/42.66	c (12,0) x21 = 709
51.64/42.66	c (12,0) x210 = 176
51.64/42.67	c (12,0) x211 = 175
51.64/42.67	c (12,0) x212 = 255
51.64/42.67	c (12,0) x213 = 256
51.64/42.67	c (12,0) x214 = 327
51.64/42.67	c (12,0) x215 = 328
51.64/42.67	c (12,0) x216 = 369
51.64/42.67	c (12,0) x217 = 368
51.64/42.67	c (12,0) x218 = 461
51.64/42.67	c (12,0) x219 = 460
51.64/42.67	c (12,0) x22 = 753
51.64/42.67	c (12,0) x220 = 525
51.64/42.67	c (12,0) x221 = 526
51.64/42.67	c (12,0) x222 = 562
51.64/42.67	c (12,0) x223 = 563
51.64/42.67	c (12,0) x224 = 611
51.64/42.67	c (12,0) x225 = 612
51.64/42.67	c (12,0) x226 = 706
51.64/42.67	c (12,0) x227 = 766
51.64/42.67	c (12,0) x228 = 835
51.64/42.67	c (12,0) x229 = 834
51.64/42.67	c (12,0) x23 = 754
51.64/42.67	c (12,0) x230 = 879
51.64/42.67	c (12,0) x231 = 880
51.64/42.67	c (12,0) x232 = 963
51.64/42.67	c (12,0) x233 = 964
51.64/42.67	c (12,0) x234 = 1023
51.64/42.67	c (12,0) x235 = 1022
51.64/42.67	c (12,0) x236 = 1098
51.64/42.67	c (12,0) x237 = 1097
51.64/42.67	c (12,0) x238 = 1211
51.64/42.67	c (12,0) x239 = 1210
51.64/42.67	c (12,0) x24 = 759
51.64/42.67	c (12,0) x240 = 0
51.64/42.67	c (12,0) x241 = 1
51.64/42.67	c (12,0) x242 = 20
51.64/42.67	c (12,0) x243 = 21
51.64/42.67	c (12,0) x244 = 76
51.64/42.67	c (12,0) x245 = 75
51.64/42.67	c (12,0) x246 = 524
51.64/42.67	c (12,0) x247 = 523
51.64/42.67	c (12,0) x248 = 602
51.64/42.67	c (12,0) x249 = 601
51.64/42.67	c (12,0) x25 = 760
51.64/42.67	c (12,0) x250 = 669
51.64/42.67	c (12,0) x251 = 668
51.64/42.67	c (12,0) x252 = 711
51.64/42.67	c (12,0) x253 = 712
51.64/42.67	c (12,0) x254 = 767
51.64/42.67	c (12,0) x255 = 766
51.64/42.67	c (12,0) x256 = 830
51.64/42.67	c (12,0) x257 = 831
51.64/42.67	c (12,0) x258 = 871
51.64/42.67	c (12,0) x259 = 870
51.64/42.67	c (12,0) x26 = 804
51.64/42.67	c (12,0) x260 = 944
51.64/42.67	c (12,0) x261 = 945
51.64/42.67	c (12,0) x262 = 1001
51.64/42.67	c (12,0) x263 = 1000
51.64/42.67	c (12,0) x264 = 1086
51.64/42.67	c (12,0) x265 = 1085
51.64/42.67	c (12,0) x266 = 1240
51.64/42.67	c (12,0) x267 = 1241
51.64/42.67	c (12,0) x268 = 1303
51.64/42.67	c (12,0) x269 = 1302
51.64/42.67	c (12,0) x27 = 803
51.64/42.67	c (12,0) x270 = 0
51.64/42.67	c (12,0) x271 = 1
51.64/42.67	c (12,0) x272 = 119
51.64/42.67	c (12,0) x273 = 121
51.64/42.67	c (12,0) x274 = 208
51.64/42.67	c (12,0) x275 = 209
51.64/42.67	c (12,0) x276 = 255
51.64/42.67	c (12,0) x277 = 256
51.64/42.67	c (12,0) x278 = 412
51.64/42.67	c (12,0) x279 = 413
51.64/42.67	c (12,0) x28 = 1049
51.64/42.67	c (12,0) x280 = 419
51.64/42.67	c (12,0) x281 = 420
51.64/42.67	c (12,0) x282 = 463
51.64/42.67	c (12,0) x283 = 462
51.64/42.67	c (12,0) x284 = 528
51.64/42.67	c (12,0) x285 = 527
51.64/42.67	c (12,0) x286 = 567
51.64/42.67	c (12,0) x287 = 568
51.64/42.67	c (12,0) x288 = 744
51.64/42.67	c (12,0) x289 = 745
51.64/42.67	c (12,0) x29 = 1048
51.64/42.67	c (12,0) x290 = 841
51.64/42.67	c (12,0) x291 = 840
51.64/42.67	c (12,0) x292 = 1181
51.64/42.67	c (12,0) x293 = 1182
51.64/42.67	c (12,0) x294 = 1218
51.64/42.67	c (12,0) x295 = 1219
51.64/42.67	c (12,0) x296 = 1220
51.64/42.67	c (12,0) x297 = 1221
51.64/42.67	c (12,0) x298 = 1233
51.64/42.67	c (12,0) x299 = 1234
51.64/42.67	c (12,0) x3 = 162
51.64/42.67	c (12,0) x30 = 0
51.64/42.67	c (12,0) x300 = 1
51.64/42.67	c (12,0) x301 = 0
51.64/42.67	c (12,0) x302 = 122
51.64/42.67	c (12,0) x303 = 123
51.64/42.67	c (12,0) x304 = 176
51.64/42.67	c (12,0) x305 = 177
51.64/42.67	c (12,0) x306 = 265
51.64/42.67	c (12,0) x307 = 266
51.64/42.67	c (12,0) x308 = 276
51.64/42.67	c (12,0) x309 = 275
51.64/42.67	c (12,0) x31 = 1
51.64/42.67	c (12,0) x310 = 328
51.64/42.67	c (12,0) x311 = 327
51.64/42.67	c (12,0) x312 = 418
51.64/42.67	c (12,0) x313 = 417
51.64/42.67	c (12,0) x314 = 457
51.64/42.67	c (12,0) x315 = 456
51.64/42.67	c (12,0) x316 = 506
51.64/42.67	c (12,0) x317 = 507
51.64/42.67	c (12,0) x318 = 592
51.64/42.67	c (12,0) x319 = 593
51.64/42.67	c (12,0) x32 = 33
51.64/42.67	c (12,0) x320 = 664
51.64/42.67	c (12,0) x321 = 665
51.64/42.67	c (12,0) x322 = 904
51.64/42.67	c (12,0) x323 = 903
51.64/42.67	c (12,0) x324 = 1039
51.64/42.67	c (12,0) x325 = 1040
51.64/42.67	c (12,0) x326 = 1092
51.64/42.67	c (12,0) x327 = 1093
51.64/42.67	c (12,0) x328 = 1111
51.64/42.67	c (12,0) x329 = 1112
51.64/42.67	c (12,0) x33 = 32
51.64/42.67	c (12,0) x330 = 0
51.64/42.67	c (12,0) x331 = 1
51.64/42.67	c (12,0) x332 = 34
51.64/42.67	c (12,0) x333 = 35
51.64/42.67	c (12,0) x334 = 77
51.64/42.67	c (12,0) x335 = 78
51.64/42.67	c (12,0) x336 = 156
51.64/42.67	c (12,0) x337 = 157
51.64/42.67	c (12,0) x338 = 219
51.64/42.67	c (12,0) x339 = 220
51.64/42.67	c (12,0) x34 = 114
51.64/42.67	c (12,0) x340 = 255
51.64/42.67	c (12,0) x341 = 256
51.64/42.67	c (12,0) x342 = 416
51.64/42.67	c (12,0) x343 = 417
51.64/42.67	c (12,0) x344 = 484
51.64/42.67	c (12,0) x345 = 485
51.64/42.67	c (12,0) x346 = 526
51.64/42.67	c (12,0) x347 = 525
51.64/42.67	c (12,0) x348 = 593
51.64/42.67	c (12,0) x349 = 592
51.64/42.67	c (12,0) x35 = 115
51.64/42.67	c (12,0) x350 = 788
51.64/42.67	c (12,0) x351 = 787
51.64/42.67	c (12,0) x352 = 969
51.64/42.67	c (12,0) x353 = 968
51.64/42.67	c (12,0) x354 = 1004
51.64/42.67	c (12,0) x355 = 1003
51.64/42.67	c (12,0) x356 = 1172
51.64/42.67	c (12,0) x357 = 1173
51.64/42.67	c (12,0) x358 = 1211
51.64/42.67	c (12,0) x359 = 1210
51.64/42.67	c (12,0) x36 = 215
51.64/42.67	c (12,0) x360 = 4
51.64/42.67	c (12,0) x361 = 3
51.64/42.67	c (12,0) x362 = 35
51.64/42.67	c (12,0) x363 = 36
51.64/42.67	c (12,0) x364 = 114
51.64/42.67	c (12,0) x365 = 115
51.64/42.67	c (12,0) x366 = 181
51.64/42.67	c (12,0) x367 = 180
51.64/42.67	c (12,0) x368 = 206
51.64/42.67	c (12,0) x369 = 207
51.64/42.67	c (12,0) x37 = 214
51.64/42.67	c (12,0) x370 = 295
51.64/42.67	c (12,0) x371 = 294
51.64/42.67	c (12,0) x372 = 423
51.64/42.67	c (12,0) x373 = 424
51.64/42.67	c (12,0) x374 = 679
51.64/42.67	c (12,0) x375 = 678
51.64/42.67	c (12,0) x376 = 741
51.64/42.67	c (12,0) x377 = 740
51.64/42.67	c (12,0) x378 = 757
51.64/42.67	c (12,0) x379 = 756
51.64/42.67	c (12,0) x38 = 361
51.64/42.67	c (12,0) x380 = 827
51.64/42.67	c (12,0) x381 = 826
51.64/42.67	c (12,0) x382 = 974
51.64/42.67	c (12,0) x383 = 975
51.64/42.67	c (12,0) x384 = 1085
51.64/42.67	c (12,0) x385 = 1086
51.64/42.67	c (12,0) x386 = 1130
51.64/42.67	c (12,0) x387 = 1129
51.64/42.67	c (12,0) x388 = 1212
51.64/42.67	c (12,0) x389 = 1211
51.64/42.67	c (12,0) x39 = 360
51.64/42.67	c (12,0) x390 = 1
51.64/42.67	c (12,0) x391 = 0
51.64/42.67	c (12,0) x392 = 10
51.64/42.67	c (12,0) x393 = 11
51.64/42.67	c (12,0) x394 = 34
51.64/42.67	c (12,0) x395 = 33
51.64/42.67	c (12,0) x396 = 64
51.64/42.67	c (12,0) x397 = 63
51.64/42.67	c (12,0) x398 = 210
51.64/42.67	c (12,0) x399 = 209
51.64/42.67	c (12,0) x4 = 289
51.64/42.67	c (12,0) x40 = 418
51.64/42.67	c (12,0) x400 = 289
51.64/42.67	c (12,0) x401 = 290
51.64/42.67	c (12,0) x402 = 366
51.64/42.67	c (12,0) x403 = 369
51.64/42.67	c (12,0) x404 = 504
51.64/42.67	c (12,0) x405 = 505
51.64/42.67	c (12,0) x406 = 566
51.64/42.67	c (12,0) x407 = 565
51.64/42.67	c (12,0) x408 = 642
51.64/42.67	c (12,0) x409 = 643
51.64/42.67	c (12,0) x41 = 417
51.64/42.67	c (12,0) x410 = 757
51.64/42.67	c (12,0) x411 = 756
51.64/42.67	c (12,0) x412 = 798
51.64/42.67	c (12,0) x413 = 799
51.64/42.67	c (12,0) x414 = 822
51.64/42.67	c (12,0) x415 = 821
51.64/42.67	c (12,0) x416 = 926
51.64/42.67	c (12,0) x417 = 927
51.64/42.67	c (12,0) x418 = 1026
51.64/42.67	c (12,0) x419 = 1025
51.64/42.67	c (12,0) x42 = 463
51.64/42.67	c (12,0) x420 = 154
51.64/42.67	c (12,0) x421 = 153
51.64/42.67	c (12,0) x422 = 235
51.64/42.67	c (12,0) x423 = 234
51.64/42.67	c (12,0) x424 = 273
51.64/42.67	c (12,0) x425 = 274
51.64/42.67	c (12,0) x426 = 346
51.64/42.67	c (12,0) x427 = 347
51.64/42.67	c (12,0) x428 = 481
51.64/42.67	c (12,0) x429 = 482
51.64/42.67	c (12,0) x43 = 464
51.64/42.67	c (12,0) x430 = 527
51.64/42.67	c (12,0) x431 = 526
51.64/42.67	c (12,0) x432 = 567
51.64/42.67	c (12,0) x433 = 568
51.64/42.67	c (12,0) x434 = 637
51.64/42.67	c (12,0) x435 = 638
51.64/42.67	c (12,0) x436 = 667
51.64/42.67	c (12,0) x437 = 668
51.64/42.67	c (12,0) x438 = 771
51.64/42.67	c (12,0) x439 = 770
51.64/42.67	c (12,0) x44 = 527
51.64/42.67	c (12,0) x440 = 840
51.64/42.67	c (12,0) x441 = 841
51.64/42.67	c (12,0) x442 = 921
51.64/42.67	c (12,0) x443 = 920
51.64/42.67	c (12,0) x444 = 963
51.64/42.67	c (12,0) x445 = 964
51.64/42.67	c (12,0) x446 = 1204
51.64/42.67	c (12,0) x447 = 1205
51.64/42.67	c (12,0) x448 = 1260
51.64/42.67	c (12,0) x449 = 1261
51.64/42.67	c (12,0) x45 = 528
51.64/42.67	c (12,0) x46 = 601
51.64/42.67	c (12,0) x47 = 600
51.64/42.67	c (12,0) x48 = 634
51.64/42.67	c (12,0) x49 = 635
51.64/42.67	c (12,0) x5 = 290
51.64/42.67	c (12,0) x50 = 688
51.64/42.67	c (12,0) x51 = 689
51.64/42.67	c (12,0) x52 = 781
51.64/42.67	c (12,0) x53 = 780
51.64/42.67	c (12,0) x54 = 835
51.64/42.67	c (12,0) x55 = 836
51.64/42.67	c (12,0) x56 = 923
51.64/42.67	c (12,0) x57 = 922
51.64/42.67	c (12,0) x58 = 1018
51.64/42.67	c (12,0) x59 = 1019
51.64/42.67	c (12,0) x6 = 388
51.64/42.67	c (12,0) x60 = 0
51.64/42.67	c (12,0) x61 = 1
51.64/42.67	c (12,0) x62 = 294
51.64/42.67	c (12,0) x63 = 293
51.64/42.67	c (12,0) x64 = 394
51.64/42.67	c (12,0) x65 = 393
51.64/42.67	c (12,0) x66 = 488
51.64/42.67	c (12,0) x67 = 487
51.64/42.67	c (12,0) x68 = 654
51.64/42.67	c (12,0) x69 = 599
51.64/42.67	c (12,0) x7 = 387
51.64/42.67	c (12,0) x70 = 666
51.64/42.67	c (12,0) x71 = 665
51.64/42.67	c (12,0) x72 = 742
51.64/42.67	c (12,0) x73 = 743
51.64/42.67	c (12,0) x74 = 770
51.64/42.67	c (12,0) x75 = 769
51.64/42.67	c (12,0) x76 = 863
51.64/42.67	c (12,0) x77 = 864
51.64/42.67	c (12,0) x78 = 888
51.64/42.67	c (12,0) x79 = 887
51.64/42.67	c (12,0) x8 = 453
51.64/42.67	c (12,0) x80 = 914
51.64/42.67	c (12,0) x81 = 915
51.64/42.67	c (12,0) x82 = 971
51.64/42.67	c (12,0) x83 = 970
51.64/42.67	c (12,0) x84 = 1092
51.64/42.67	c (12,0) x85 = 1091
51.64/42.67	c (12,0) x86 = 1140
51.64/42.67	c (12,0) x87 = 1141
51.64/42.67	c (12,0) x88 = 1208
51.64/42.67	c (12,0) x89 = 1207
51.64/42.67	c (12,0) x9 = 452
51.64/42.67	c (12,0) x90 = 0
51.64/42.67	c (12,0) x91 = 1
51.64/42.67	c (12,0) x92 = 185
51.64/42.67	c (12,0) x93 = 186
51.64/42.67	c (12,0) x94 = 498
51.64/42.67	c (12,0) x95 = 499
51.64/42.67	c (12,0) x96 = 567
51.64/42.67	c (12,0) x97 = 568
51.64/42.67	c (12,0) x98 = 593
51.64/42.67	c (12,0) x99 = 594
51.64/42.67	s SATISFIABLE
51.64/42.68	v <instantiation>
51.64/42.68	v     <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449</list>
51.64/42.68	v     <values>64 65 161 162 289 290 388 387 453 452 481 482 498 497 525 526 597 598 616 615 710 709 753 754 759 760 804 803 1049 1048 0 1 33 32 114 115 215 214 361 360 418 417 463 464 527 528 601 600 634 635 688 689 781 780 835 836 923 922 1018 1019 0 1 294 293 394 393 488 487 654 599 666 665 742 743 770 769 863 864 888 887 914 915 971 970 1092 1091 1140 1141 1208 1207 0 1 185 186 498 499 567 568 593 594 673 674 690 691 806 807 895 896 970 971 974 975 1057 1056 1129 1128 1140 1141 1266 1267 42 43 366 365 462 463 474 473 515 516 609 608 611 612 711 712 722 721 769 768 835 834 863 862 920 921 996 995 1228 1227 11 10 89 88 180 181 294 293 381 382 448 447 499 500 732 733 992 993 1085 1084 1112 1113 1126 1125 1133 1134 1229 1228 1295 1296 32 31 123 122 156 157 380 381 457 458 551 552 623 624 707 706 801 802 816 815 828 829 918 921 969 970 987 986 1041 1040 176 175 255 256 327 328 369 368 461 460 525 526 562 563 611 612 706 766 835 834 879 880 963 964 1023 1022 1098 1097 1211 1210 0 1 20 21 76 75 524 523 602 601 669 668 711 712 767 766 830 831 871 870 944 945 1001 1000 1086 1085 1240 1241 1303 1302 0 1 119 121 208 209 255 256 412 413 419 420 463 462 528 527 567 568 744 745 841 840 1181 1182 1218 1219 1220 1221 1233 1234 1 0 122 123 176 177 265 266 276 275 328 327 418 417 457 456 506 507 592 593 664 665 904 903 1039 1040 1092 1093 1111 1112 0 1 34 35 77 78 156 157 219 220 255 256 416 417 484 485 526 525 593 592 788 787 969 968 1004 1003 1172 1173 1211 1210 4 3 35 36 114 115 181 180 206 207 295 294 423 424 679 678 741 740 757 756 827 826 974 975 1085 1086 1130 1129 1212 1211 1 0 10 11 34 33 64 63 210 209 289 290 366 369 504 505 566 565 642 643 757 756 798 799 822 821 926 927 1026 1025 154 153 235 234 273 274 346 347 481 482 527 526 567 568 637 638 667 668 771 770 840 841 921 920 963 964 1204 1205 1260 1261</values>
51.64/42.68	v </instantiation>
51.64/42.68	c (12,0) Show results End
51.64/42.68	c (12,0) Heap : 230 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
51.64/42.68	c (12,0) 12,12,STOP-AFTER(ALL)
51.64/42.68	c END-Prog: Thu Sep 12 16:09:22 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 (14139 MiB free)
  memory of node 1: 16384 MiB (12825 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388235-1568297359/watcher-4388235-1568297359 -o /tmp/evaluation-result-4388235-1568297359/solver-4388235-1568297359 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6276 --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-4388235-1568297359.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100166 s]*
/proc/loadavg: 2.28 2.08 2.29 4/234 9622
/proc/meminfo: memFree=27549688/32770624 swapFree=66998516/67108860
[pid=9605] ppid=9602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/9605/stat : 9605 (scop.sh) S 9602 9605 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406004756 115843072 348 33554432000 4194304 5098028 140737160334144 140737160331400 140112854917756 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22745088 140737160336168 140737160336496 140737160336496 140737160339405 0
/proc/9605/statm: 28282 348 296 221 0 87 0
[pid=9608] ppid=9605 vsize=15012696 memory=72088 CPUtime=0.11 cores=0,2,4,6
/proc/9608/stat : 9608 (java) S 9605 9605 4978 0 -1 1077944320 6300 0 0 0 10 1 0 0 20 0 15 0 406004756 15373000704 18022 33554432000 4194304 4196468 140723568992672 140723568975216 140114127175415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
/proc/9608/statm: 3753174 18022 2940 1 0 3715579 0
[pid=9608/tid=9609] ppid=9605 vsize=15012696 memory=576460756329985062 CPUtime=0.09 cores=0,2,4,6
/proc/9608/task/9609/stat : 9609 (java) R 9605 9605 4978 0 -1 4202560 4187 0 0 0 8 1 0 0 20 0 15 0 406004756 15373000704 18153 33554432000 4194304 4196468 140723568992672 140114098962808 140114127187350 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9610] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9610/stat : 9610 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 18153 33554432000 4194304 4196468 140723568992672 140114131418256 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9611] ppid=9605 vsize=15012696 memory=13985541154600600 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9611/stat : 9611 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 18153 33554432000 4194304 4196468 140723568992672 140113922501648 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9612] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9612/stat : 9612 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 18153 33554432000 4194304 4196468 140723568992672 140113921448848 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9613] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9613/stat : 9613 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 18153 33554432000 4194304 4196468 140723568992672 140113920396048 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9614] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9614/stat : 9614 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004759 15373000704 18153 33554432000 4194304 4196468 140723568992672 140113097599344 140114127186562 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9615] ppid=9605 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9615/stat : 9615 (java) S 9605 9605 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406004760 15373000704 18153 33554432000 4194304 4196468 140723568992672 140112704824352 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9616] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9616/stat : 9616 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004760 15373000704 18153 33554432000 4194304 4196468 140723568992672 140112436388720 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9617] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9617/stat : 9617 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 18153 33554432000 4194304 4196468 140723568992672 140112061880144 140114127194011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9618] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9618/stat : 9618 (java) S 9605 9605 4978 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 18153 33554432000 4194304 4196468 140723568992672 140113096547184 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9619] ppid=9605 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9619/stat : 9619 (java) S 9605 9605 4978 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 18153 33554432000 4194304 4196468 140723568992672 140113095494384 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9620] ppid=9605 vsize=15012696 memory=140257852847744 CPUtime=0.01 cores=0,2,4,6
/proc/9608/task/9620/stat : 9620 (java) R 9605 9605 4978 0 -1 4202560 415 0 0 0 1 0 0 0 20 0 15 0 406004763 15373000704 18153 33554432000 4194304 4196468 140723568992672 140113094441584 140114119412542 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9621] ppid=9605 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9621/stat : 9621 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 18153 33554432000 4194304 4196468 140723568992672 140111563975392 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9622] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9622/stat : 9622 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 18153 33554432000 4194304 4196468 140723568992672 140113093388976 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73480 KiB

[startup+0.210929 s]*
/proc/loadavg: 2.28 2.08 2.29 3/234 9622
/proc/meminfo: memFree=27530772/32770624 swapFree=66998516/67108860
[pid=9605] ppid=9602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/9605/stat : 9605 (scop.sh) S 9602 9605 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406004756 115843072 348 33554432000 4194304 5098028 140737160334144 140737160331400 140112854917756 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22745088 140737160336168 140737160336496 140737160336496 140737160339405 0
/proc/9605/statm: 28282 348 296 221 0 87 0
[pid=9608] ppid=9605 vsize=15012696 memory=87688 CPUtime=0.25 cores=0,2,4,6
/proc/9608/stat : 9608 (java) S 9605 9605 4978 0 -1 1077944320 11528 0 0 0 22 3 0 0 20 0 15 0 406004756 15373000704 21922 33554432000 4194304 4196468 140723568992672 140723568975216 140114127175415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
/proc/9608/statm: 3753174 21922 2943 1 0 3715579 0
[pid=9608/tid=9609] ppid=9605 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/9608/task/9609/stat : 9609 (java) R 9605 9605 4978 0 -1 4202560 9275 0 0 0 17 2 0 0 20 0 15 0 406004756 15373000704 21922 33554432000 4194304 4196468 140723568992672 140114098982976 140114127197341 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9610] ppid=9605 vsize=15012696 memory=547 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9610/stat : 9610 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 21922 33554432000 4194304 4196468 140723568992672 140114131418256 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9611] ppid=9605 vsize=15012696 memory=140257852857606 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9611/stat : 9611 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 21922 33554432000 4194304 4196468 140723568992672 140113922501648 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9612] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9612/stat : 9612 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 21987 33554432000 4194304 4196468 140723568992672 140113921448848 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9613] ppid=9605 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9613/stat : 9613 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 21987 33554432000 4194304 4196468 140723568992672 140113920396048 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9614] ppid=9605 vsize=15012696 memory=140257852847744 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9614/stat : 9614 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004759 15373000704 21987 33554432000 4194304 4196468 140723568992672 140113097599344 140114127186562 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9615] ppid=9605 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9615/stat : 9615 (java) S 9605 9605 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406004760 15373000704 21987 33554432000 4194304 4196468 140723568992672 140112704824352 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9616] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9616/stat : 9616 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004760 15373000704 21987 33554432000 4194304 4196468 140723568992672 140112436388720 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9617] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9617/stat : 9617 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 21987 33554432000 4194304 4196468 140723568992672 140112061880144 140114127194011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9618] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9618/stat : 9618 (java) S 9605 9605 4978 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 21987 33554432000 4194304 4196468 140723568992672 140113096547184 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9619] ppid=9605 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9619/stat : 9619 (java) S 9605 9605 4978 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 21987 33554432000 4194304 4196468 140723568992672 140113095494384 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9620] ppid=9605 vsize=15012696 memory=140257852847744 CPUtime=0.02 cores=0,2,4,6
/proc/9608/task/9620/stat : 9620 (java) S 9605 9605 4978 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 406004763 15373000704 21987 33554432000 4194304 4196468 140723568992672 140113094441584 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9621] ppid=9605 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9621/stat : 9621 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 21987 33554432000 4194304 4196468 140723568992672 140111563975392 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9622] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9622/stat : 9622 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 21987 33554432000 4194304 4196468 140723568992672 140113093388976 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89080 KiB

[startup+0.310635 s]*
/proc/loadavg: 2.28 2.08 2.29 3/234 9622
/proc/meminfo: memFree=27528352/32770624 swapFree=66998516/67108860
[pid=9605] ppid=9602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/9605/stat : 9605 (scop.sh) S 9602 9605 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406004756 115843072 348 33554432000 4194304 5098028 140737160334144 140737160331400 140112854917756 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22745088 140737160336168 140737160336496 140737160336496 140737160339405 0
/proc/9605/statm: 28282 348 296 221 0 87 0
[pid=9608] ppid=9605 vsize=15012696 memory=92168 CPUtime=0.43 cores=0,2,4,6
/proc/9608/stat : 9608 (java) S 9605 9605 4978 0 -1 1077944320 12549 0 0 0 40 3 0 0 20 0 15 0 406004756 15373000704 23042 33554432000 4194304 4196468 140723568992672 140723568975216 140114127175415 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
/proc/9608/statm: 3753174 23042 3059 1 0 3715579 0
[pid=9608/tid=9609] ppid=9605 vsize=15012696 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/9608/task/9609/stat : 9609 (java) R 9605 9605 4978 0 -1 4202560 10080 0 0 0 27 2 0 0 20 0 15 0 406004756 15373000704 23042 33554432000 4194304 4196468 140723568992672 140114099005488 140114107451296 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9610] ppid=9605 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9610/stat : 9610 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 23042 33554432000 4194304 4196468 140723568992672 140114131418256 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9611] ppid=9605 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9611/stat : 9611 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 23042 33554432000 4194304 4196468 140723568992672 140113922501648 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9612] ppid=9605 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9612/stat : 9612 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 23042 33554432000 4194304 4196468 140723568992672 140113921448848 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9613] ppid=9605 vsize=15012696 memory=7007700635973428626 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9613/stat : 9613 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004758 15373000704 23042 33554432000 4194304 4196468 140723568992672 140113920396048 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9614] ppid=9605 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9614/stat : 9614 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004759 15373000704 23042 33554432000 4194304 4196468 140723568992672 140113097599344 140114127186562 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9615] ppid=9605 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9615/stat : 9615 (java) S 9605 9605 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406004760 15373000704 23042 33554432000 4194304 4196468 140723568992672 140112704824352 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9616] ppid=9605 vsize=15012696 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9616/stat : 9616 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004760 15373000704 23042 33554432000 4194304 4196468 140723568992672 140112436388720 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9617] ppid=9605 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9617/stat : 9617 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 23042 33554432000 4194304 4196468 140723568992672 140112061880144 140114127194011 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9618] ppid=9605 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9608/task/9618/stat : 9618 (java) S 9605 9605 4978 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 406004763 15373000704 23042 33554432000 4194304 4196468 140723568992672 140113096547184 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9619] ppid=9605 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9608/task/9619/stat : 9619 (java) S 9605 9605 4978 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 15 0 406004763 15373000704 23042 33554432000 4194304 4196468 140723568992672 140113095494384 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9620] ppid=9605 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9608/task/9620/stat : 9620 (java) S 9605 9605 4978 0 -1 1077944384 490 0 0 0 7 0 0 0 20 0 15 0 406004763 15373000704 23042 33554432000 4194304 4196468 140723568992672 140113094441584 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9621] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9621/stat : 9621 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 23042 33554432000 4194304 4196468 140723568992672 140111563975392 140114127185621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9622] ppid=9605 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9622/stat : 9622 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004763 15373000704 23042 33554432000 4194304 4196468 140723568992672 140113093388976 140114127186562 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93560 KiB

[startup+0.70077 s]
/proc/loadavg: 2.28 2.08 2.29 3/234 9622
/proc/meminfo: memFree=27507408/32770624 swapFree=66998516/67108860
[pid=9605] ppid=9602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/9605/stat : 9605 (scop.sh) S 9602 9605 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406004756 115843072 348 33554432000 4194304 5098028 140737160334144 140737160331400 140112854917756 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22745088 140737160336168 140737160336496 140737160336496 140737160339405 0
/proc/9605/statm: 28282 348 296 221 0 87 0
[pid=9608] ppid=9605 vsize=15018968 memory=127144 CPUtime=1 cores=0,2,4,6
/proc/9608/stat : 9608 (java) S 9605 9605 4978 0 -1 1077944320 19567 0 0 0 94 6 0 0 20 0 15 0 406004756 15379423232 31786 33554432000 4194304 4196468 140723568992672 140723568975216 140114127175415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
/proc/9608/statm: 3754742 31786 3183 1 0 3716091 0
[pid=9608/tid=9609] ppid=9605 vsize=15018968 memory=1204 CPUtime=0.67 cores=0,2,4,6
/proc/9608/task/9609/stat : 9609 (java) R 9605 9605 4978 0 -1 4202560 16650 0 0 0 63 4 0 0 20 0 15 0 406004756 15379423232 31786 33554432000 4194304 4196468 140723568992672 140114099013696 140114127187350 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9610] ppid=9605 vsize=15018968 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9610/stat : 9610 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004758 15379423232 31786 33554432000 4194304 4196468 140723568992672 140114131418256 140114127185621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9611] ppid=9605 vsize=15018968 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9611/stat : 9611 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004758 15379423232 31786 33554432000 4194304 4196468 140723568992672 140113922501648 140114127185621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9612] ppid=9605 vsize=15018968 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9612/stat : 9612 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004758 15379423232 31786 33554432000 4194304 4196468 140723568992672 140113921448848 140114127185621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9613] ppid=9605 vsize=15018968 memory=780 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9613/stat : 9613 (java) S 9605 9605 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406004758 15379423232 31786 33554432000 4194304 4196468 140723568992672 140113920396048 140114127185621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9614] ppid=9605 vsize=15018968 memory=620 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9614/stat : 9614 (java) S 9605 9605 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406004759 15379423232 31786 33554432000 4194304 4196468 140723568992672 140113097599344 140114127186562 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9615] ppid=9605 vsize=15018968 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9615/stat : 9615 (java) S 9605 9605 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406004760 15379423232 31786 33554432000 4194304 4196468 140723568992672 140112704824352 140114127185621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9616] ppid=9605 vsize=15018968 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9616/stat : 9616 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004760 15379423232 31786 33554432000 4194304 4196468 140723568992672 140112436388720 140114127185621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9617] ppid=9605 vsize=15018968 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9617/stat : 9617 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406004763 15379423232 31786 33554432000 4194304 4196468 140723568992672 140112061880144 140114127194011 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9618] ppid=9605 vsize=15018968 memory=14012 CPUtime=0.07 cores=0,2,4,6
/proc/9608/task/9618/stat : 9618 (java) R 9605 9605 4978 0 -1 4202560 652 0 0 0 7 0 0 0 20 0 15 0 406004763 15379423232 31786 33554432000 4194304 4196468 140723568992672 140113096546368 140114106596790 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9619] ppid=9605 vsize=15018968 memory=2116 CPUtime=0.06 cores=0,2,4,6
/proc/9608/task/9619/stat : 9619 (java) R 9605 9605 4978 0 -1 1077944384 318 0 0 0 6 0 0 0 20 0 15 0 406004763 15379423232 31786 33554432000 4194304 4196468 140723568992672 140113095494384 140114127186562 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9620] ppid=9605 vsize=15018968 memory=20536 CPUtime=0.15 cores=0,2,4,6
/proc/9608/task/9620/stat : 9620 (java) R 9605 9605 4978 0 -1 4202560 617 0 0 0 15 0 0 0 20 0 15 0 406004763 15379423232 31786 33554432000 4194304 4196468 140723568992672 140113094437264 140114127187350 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9621] ppid=9605 vsize=15018968 memory=3472323897372783686 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9621/stat : 9621 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406004763 15379423232 31786 33554432000 4194304 4196468 140723568992672 140111563975392 140114127185621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
[pid=9608/tid=9622] ppid=9605 vsize=15018968 memory=140257727121264 CPUtime=0 cores=0,2,4,6
/proc/9608/task/9622/stat : 9622 (java) S 9605 9605 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406004763 15379423232 31786 33554432000 4194304 4196468 140723568992672 140113093388976 140114127186562 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18276352 140723568997103 140723568997530 140723568997530 140723569000399 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128536 KiB

[startup+1.50083 s]
/proc/loadavg: 2.28 2.08 2.29 5/234 9622
/proc/meminfo: memFree=27455124/32770624 swapFree=66998516/67108860
[pid=9605] ppid=9602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/9605/stat : 9605 (scop.sh) S 9602 9605 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406004756 115843072 348 33554432000 4194304 5098028 140737160334144 140737160331400 140112854917756 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22745088 140737160336168 140737160336496 140737160336496 140737160339405 0
/proc/9605/statm: 28282 348 296 221 0 87 0

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

/proc/9624/task/9633/stat : 9633 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406007736 8262082560 29178 33554432000 4194304 4196468 140721837479408 139619214382928 139620853749659 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9634] ppid=9605 vsize=8068440 memory=1204 CPUtime=0.14 cores=0,2,4,6
/proc/9624/task/9634/stat : 9634 (java) S 9605 9605 4978 0 -1 1077944384 955 0 0 0 14 0 0 0 20 0 19 0 406007736 8262082560 29178 33554432000 4194304 4196468 140721837479408 139620231949168 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9635] ppid=9605 vsize=8068440 memory=1536 CPUtime=0.11 cores=0,2,4,6
/proc/9624/task/9635/stat : 9635 (java) S 9605 9605 4978 0 -1 1077944384 371 0 0 0 11 0 0 0 20 0 19 0 406007736 8262082560 29178 33554432000 4194304 4196468 140721837479408 139620230896368 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9636] ppid=9605 vsize=8068440 memory=1472 CPUtime=0.22 cores=0,2,4,6
/proc/9624/task/9636/stat : 9636 (java) S 9605 9605 4978 0 -1 1077944384 585 0 0 0 22 0 0 0 20 0 19 0 406007736 8262082560 29178 33554432000 4194304 4196468 140721837479408 139620229843568 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9637] ppid=9605 vsize=8068440 memory=116712 CPUtime=0 cores=0,2,4,6
/proc/9624/task/9637/stat : 9637 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406007736 8262082560 29178 33554432000 4194304 4196468 140721837479408 139618716478176 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9638] ppid=9605 vsize=8068440 memory=544052 CPUtime=0 cores=0,2,4,6
/proc/9624/task/9638/stat : 9638 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406007737 8262082560 29178 33554432000 4194304 4196468 140721837479408 139620228790960 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9640] ppid=9605 vsize=8068440 memory=2 CPUtime=0 cores=0,2,4,6
/proc/9624/task/9640/stat : 9640 (java) S 9605 9605 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406007806 8262082560 29178 33554432000 4194304 4196468 140721837479408 139620220757184 139620853755673 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9642] ppid=9605 vsize=8068440 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9624/task/9642/stat : 9642 (java) S 9605 9605 4978 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 406007806 8262082560 29178 33554432000 4194304 4196468 140721837479408 139618179591472 139620853752989 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9643] ppid=9605 vsize=8068440 memory=14413730679097916 CPUtime=0 cores=0,2,4,6
/proc/9624/task/9643/stat : 9643 (java) S 9605 9605 4978 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 406007806 8262082560 29178 33554432000 4194304 4196468 140721837479408 139618313814192 139620853752989 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9644] ppid=9605 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9624/task/9644/stat : 9644 (java) S 9605 9605 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406007809 8262082560 29178 33554432000 4194304 4196468 140721837479408 139617911168688 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
Current children cumulated CPU time: 50.21 s
Current children cumulated vsize: 8828820 KiB
Current children cumulated memory: 662272 KiB

[startup+42.401 s]
/proc/loadavg: 2.16 2.08 2.28 3/239 9646
/proc/meminfo: memFree=26786332/32770624 swapFree=66998516/67108860
[pid=9605] ppid=9602 vsize=113128 memory=1472 CPUtime=37.81 cores=0,2,4,6
/proc/9605/stat : 9605 (scop.sh) S 9602 9605 4978 0 -1 4202496 583 42591 0 0 0 0 3664 117 20 0 1 0 406004756 115843072 368 33554432000 4194304 5098028 140737160334144 140737160330888 140112854917756 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22745088 140737160336168 140737160336496 140737160336496 140737160339405 0
/proc/9605/statm: 28282 368 311 221 0 87 0
[pid=9624] ppid=9605 vsize=8068440 memory=163940 CPUtime=13.4 cores=0,2,4,6
/proc/9624/stat : 9624 (java) S 9605 9605 4978 0 -1 1077944320 20633 330139 0 0 143 10 1148 39 20 0 18 0 406007730 8262082560 40985 33554432000 4194304 4196468 140721837479408 140721837461952 139620853731063 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
/proc/9624/statm: 2017110 40985 3222 1 0 1978454 0
[pid=9624/tid=9625] ppid=9605 vsize=8068440 memory=1392 CPUtime=12.65 cores=0,2,4,6
/proc/9624/task/9625/stat : 9625 (java) S 9605 9605 4978 0 -1 1077944384 16730 330139 0 0 72 6 1148 39 20 0 18 0 406007730 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620825571232 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9626] ppid=9605 vsize=8068440 memory=-5059952977386882957 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9626/stat : 9626 (java) S 9605 9605 4978 0 -1 1077944384 1 330139 0 0 0 0 1148 39 20 0 18 0 406007732 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620857973904 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9627] ppid=9605 vsize=8068440 memory=544132 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9627/stat : 9627 (java) S 9605 9605 4978 0 -1 1077944384 1 330139 0 0 0 0 1148 39 20 0 18 0 406007732 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620663737360 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9628] ppid=9605 vsize=8068440 memory=37576 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9628/stat : 9628 (java) S 9605 9605 4978 0 -1 1077944384 2 330139 0 0 0 0 1148 39 20 0 18 0 406007732 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620338273168 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9629] ppid=9605 vsize=8068440 memory=988 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9629/stat : 9629 (java) S 9605 9605 4978 0 -1 1077944384 2 330139 0 0 0 0 1148 39 20 0 18 0 406007732 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620337220368 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9630] ppid=9605 vsize=8068440 memory=2024 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9630/stat : 9630 (java) S 9605 9605 4978 0 -1 1077944384 7 330139 0 0 0 0 1148 39 20 0 18 0 406007733 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620233001328 139620853742210 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9631] ppid=9605 vsize=8068440 memory=1536 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9631/stat : 9631 (java) S 9605 9605 4978 0 -1 1077944384 13 330139 0 0 0 0 1148 39 20 0 18 0 406007733 8262082560 40985 33554432000 4194304 4196468 140721837479408 139619723109408 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9632] ppid=9605 vsize=8068440 memory=9592 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9632/stat : 9632 (java) S 9605 9605 4978 0 -1 1077944384 21 330139 0 0 0 0 1148 39 20 0 18 0 406007734 8262082560 40985 33554432000 4194304 4196468 140721837479408 139619588887408 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9633] ppid=9605 vsize=8068440 memory=2828 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9633/stat : 9633 (java) S 9605 9605 4978 0 -1 1077944384 3 330139 0 0 0 0 1148 39 20 0 18 0 406007736 8262082560 40985 33554432000 4194304 4196468 140721837479408 139619214382928 139620853749659 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9634] ppid=9605 vsize=8068440 memory=780 CPUtime=12.06 cores=0,2,4,6
/proc/9624/task/9634/stat : 9634 (java) S 9605 9605 4978 0 -1 1077944384 1046 330139 0 0 19 0 1148 39 20 0 18 0 406007736 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620231949168 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9635] ppid=9605 vsize=8068440 memory=620 CPUtime=12.01 cores=0,2,4,6
/proc/9624/task/9635/stat : 9635 (java) S 9605 9605 4978 0 -1 1077944384 384 330139 0 0 14 0 1148 39 20 0 18 0 406007736 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620230896368 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9636] ppid=9605 vsize=8068440 memory=1472 CPUtime=12.13 cores=0,2,4,6
/proc/9624/task/9636/stat : 9636 (java) S 9605 9605 4978 0 -1 1077944384 970 330139 0 0 26 0 1148 39 20 0 18 0 406007736 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620229843568 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9637] ppid=9605 vsize=8068440 memory=116712 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9637/stat : 9637 (java) S 9605 9605 4978 0 -1 1077944384 3 330139 0 0 0 0 1148 39 20 0 18 0 406007736 8262082560 40985 33554432000 4194304 4196468 140721837479408 139618716478176 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9638] ppid=9605 vsize=8068440 memory=544088 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9638/stat : 9638 (java) S 9605 9605 4978 0 -1 1077944384 3 330139 0 0 0 0 1148 39 20 0 18 0 406007737 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620228790960 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9640] ppid=9605 vsize=8068440 memory=620 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9640/stat : 9640 (java) S 9605 9605 4978 0 -1 1077944384 25 330139 0 0 0 0 1148 39 20 0 18 0 406007806 8262082560 40985 33554432000 4194304 4196468 140721837479408 139620220756368 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9642] ppid=9605 vsize=8068440 memory=1712 CPUtime=11.97 cores=0,2,4,6
/proc/9624/task/9642/stat : 9642 (java) R 9605 9605 4978 0 -1 4202560 94 330139 0 0 9 1 1148 39 20 0 18 0 406007806 8262082560 40985 33554432000 4194304 4196468 140721837479408 139618179591424 139620345192784 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9644] ppid=9605 vsize=8068440 memory=5900 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9644/stat : 9644 (java) S 9605 9605 4978 0 -1 1077944384 3 330139 0 0 0 0 1148 39 20 0 18 0 406007809 8262082560 40985 33554432000 4194304 4196468 140721837479408 139617911168448 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
Current children cumulated CPU time: 51.21 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 165412 KiB

[startup+42.6015 s]
/proc/loadavg: 2.16 2.08 2.28 3/239 9646
/proc/meminfo: memFree=26786332/32770624 swapFree=66998516/67108860
[pid=9605] ppid=9602 vsize=113128 memory=1472 CPUtime=37.81 cores=0,2,4,6
/proc/9605/stat : 9605 (scop.sh) S 9602 9605 4978 0 -1 4202496 583 42591 0 0 0 0 3664 117 20 0 1 0 406004756 115843072 368 33554432000 4194304 5098028 140737160334144 140737160330888 140112854917756 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22745088 140737160336168 140737160336496 140737160336496 140737160339405 0
/proc/9605/statm: 28282 368 311 221 0 87 0
[pid=9624] ppid=9605 vsize=7937364 memory=212540 CPUtime=13.83 cores=0,2,4,6
/proc/9624/stat : 9624 (java) S 9605 9605 4978 0 -1 1077944320 21113 330139 0 0 185 11 1148 39 20 0 17 0 406007730 8127860736 53135 33554432000 4194304 4196468 140721837479408 140721837461952 139620853731063 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
/proc/9624/statm: 1984341 53135 3230 1 0 1945685 0
[pid=9624/tid=9625] ppid=9605 vsize=7937364 memory=1472 CPUtime=12.74 cores=0,2,4,6
/proc/9624/task/9625/stat : 9625 (java) R 9605 9605 4978 0 -1 4202560 16894 330139 0 0 80 7 1148 39 20 0 17 0 406007730 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620825569056 139620853742998 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9626] ppid=9605 vsize=7937364 memory=8112282956445269571 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9626/stat : 9626 (java) S 9605 9605 4978 0 -1 1077944384 1 330139 0 0 0 0 1148 39 20 0 17 0 406007732 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620857973904 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9627] ppid=9605 vsize=7937364 memory=6944652027076318631 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9627/stat : 9627 (java) S 9605 9605 4978 0 -1 1077944384 1 330139 0 0 0 0 1148 39 20 0 17 0 406007732 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620663737360 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9628] ppid=9605 vsize=7937364 memory=-5059952977386882957 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9628/stat : 9628 (java) S 9605 9605 4978 0 -1 1077944384 2 330139 0 0 0 0 1148 39 20 0 17 0 406007732 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620338273168 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9629] ppid=9605 vsize=7937364 memory=3624 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9629/stat : 9629 (java) S 9605 9605 4978 0 -1 1077944384 2 330139 0 0 0 0 1148 39 20 0 17 0 406007732 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620337220368 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9630] ppid=9605 vsize=7937364 memory=37576 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9630/stat : 9630 (java) S 9605 9605 4978 0 -1 1077944384 7 330139 0 0 0 0 1148 39 20 0 17 0 406007733 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620233001328 139620853742210 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9631] ppid=9605 vsize=7937364 memory=988 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9631/stat : 9631 (java) S 9605 9605 4978 0 -1 1077944384 13 330139 0 0 0 0 1148 39 20 0 17 0 406007733 8127860736 53135 33554432000 4194304 4196468 140721837479408 139619723109408 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9632] ppid=9605 vsize=7937364 memory=2024 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9632/stat : 9632 (java) S 9605 9605 4978 0 -1 1077944384 21 330139 0 0 0 0 1148 39 20 0 17 0 406007734 8127860736 53135 33554432000 4194304 4196468 140721837479408 139619588887408 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9633] ppid=9605 vsize=7937364 memory=1472 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9633/stat : 9633 (java) S 9605 9605 4978 0 -1 1077944384 3 330139 0 0 0 0 1148 39 20 0 17 0 406007736 8127860736 53135 33554432000 4194304 4196468 140721837479408 139619214382928 139620853749659 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9634] ppid=9605 vsize=7937364 memory=116712 CPUtime=12.16 cores=0,2,4,6
/proc/9624/task/9634/stat : 9634 (java) R 9605 9605 4978 0 -1 1077944384 1077 330139 0 0 29 0 1148 39 20 0 17 0 406007736 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620231949168 139620853742210 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9635] ppid=9605 vsize=7937364 memory=0 CPUtime=12.1 cores=0,2,4,6
/proc/9624/task/9635/stat : 9635 (java) R 9605 9605 4978 0 -1 4202560 413 330139 0 0 23 0 1148 39 20 0 17 0 406007736 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620230884800 139620853752410 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9636] ppid=9605 vsize=7937364 memory=1204 CPUtime=12.18 cores=0,2,4,6
/proc/9624/task/9636/stat : 9636 (java) R 9605 9605 4978 0 -1 4202560 1073 330139 0 0 31 0 1148 39 20 0 17 0 406007736 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620229843568 139620853742998 0 4 2 25189581 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9637] ppid=9605 vsize=7937364 memory=1536 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9637/stat : 9637 (java) S 9605 9605 4978 0 -1 1077944384 3 330139 0 0 0 0 1148 39 20 0 17 0 406007736 8127860736 53135 33554432000 4194304 4196468 140721837479408 139618716478176 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9638] ppid=9605 vsize=7937364 memory=9592 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9638/stat : 9638 (java) S 9605 9605 4978 0 -1 1077944384 3 330139 0 0 0 0 1148 39 20 0 17 0 406007737 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620228790960 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9640] ppid=9605 vsize=7937364 memory=2828 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9640/stat : 9640 (java) S 9605 9605 4978 0 -1 1077944384 25 330139 0 0 0 0 1148 39 20 0 17 0 406007806 8127860736 53135 33554432000 4194304 4196468 140721837479408 139620220756368 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9644] ppid=9605 vsize=7937364 memory=620 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9644/stat : 9644 (java) S 9605 9605 4978 0 -1 1077944384 8 330139 0 0 0 0 1148 39 20 0 17 0 406007809 8127860736 53135 33554432000 4194304 4196468 140721837479408 139617911170480 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
Current children cumulated CPU time: 51.64 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 214012 KiB

[startup+42.7009 s]
/proc/loadavg: 2.16 2.08 2.28 3/239 9646
/proc/meminfo: memFree=26786332/32770624 swapFree=66998516/67108860
[pid=9605] ppid=9602 vsize=113128 memory=1472 CPUtime=37.81 cores=0,2,4,6
/proc/9605/stat : 9605 (scop.sh) S 9602 9605 4978 0 -1 4202496 583 42591 0 0 0 0 3664 117 20 0 1 0 406004756 115843072 368 33554432000 4194304 5098028 140737160334144 140737160330888 140112854917756 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22745088 140737160336168 140737160336496 140737160336496 140737160339405 0
/proc/9605/statm: 28282 368 311 221 0 87 0
[pid=9624] ppid=9605 vsize=7937364 memory=226208 CPUtime=14.04 cores=0,2,4,6
/proc/9624/stat : 9624 (java) S 9605 9605 4978 0 -1 1077944320 22531 330139 0 0 202 15 1148 39 20 0 17 0 406007730 8127860736 56552 33554432000 4194304 4196468 140721837479408 140721837461952 139620853731063 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
/proc/9624/statm: 1984341 56552 3234 1 0 1945685 0
[pid=9624/tid=9625] ppid=9605 vsize=7937364 memory=122512 CPUtime=12.84 cores=0,2,4,6
/proc/9624/task/9625/stat : 9625 (java) R 9605 9605 4978 0 -1 4202560 18099 330139 0 0 87 10 1148 39 20 0 17 0 406007730 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620825557696 139620846416695 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9626] ppid=9605 vsize=7937364 memory=116712 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9626/stat : 9626 (java) S 9605 9605 4978 0 -1 1077944384 1 330139 0 0 0 0 1148 39 20 0 17 0 406007732 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620857973904 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9627] ppid=9605 vsize=7937364 memory=116712 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9627/stat : 9627 (java) S 9605 9605 4978 0 -1 1077944384 1 330139 0 0 0 0 1148 39 20 0 17 0 406007732 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620663737360 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9628] ppid=9605 vsize=7937364 memory=195056 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9628/stat : 9628 (java) S 9605 9605 4978 0 -1 1077944384 2 330139 0 0 0 0 1148 39 20 0 17 0 406007732 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620338273168 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9629] ppid=9605 vsize=7937364 memory=1472 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9629/stat : 9629 (java) S 9605 9605 4978 0 -1 1077944384 2 330139 0 0 0 0 1148 39 20 0 17 0 406007732 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620337220368 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9630] ppid=9605 vsize=7937364 memory=1536 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9630/stat : 9630 (java) S 9605 9605 4978 0 -1 1077944384 7 330139 0 0 0 0 1148 39 20 0 17 0 406007733 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620233001328 139620853742210 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9631] ppid=9605 vsize=7937364 memory=116712 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9631/stat : 9631 (java) S 9605 9605 4978 0 -1 1077944384 13 330139 0 0 0 0 1148 39 20 0 17 0 406007733 8127860736 56552 33554432000 4194304 4196468 140721837479408 139619723109408 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9632] ppid=9605 vsize=7937364 memory=1392 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9632/stat : 9632 (java) S 9605 9605 4978 0 -1 1077944384 21 330139 0 0 0 0 1148 39 20 0 17 0 406007734 8127860736 56552 33554432000 4194304 4196468 140721837479408 139619588887408 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9633] ppid=9605 vsize=7937364 memory=3978360 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9633/stat : 9633 (java) S 9605 9605 4978 0 -1 1077944384 3 330139 0 0 0 0 1148 39 20 0 17 0 406007736 8127860736 56552 33554432000 4194304 4196468 140721837479408 139619214382928 139620853749659 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9634] ppid=9605 vsize=7937364 memory=181509612915494 CPUtime=12.18 cores=0,2,4,6
/proc/9624/task/9634/stat : 9634 (java) S 9605 9605 4978 0 -1 1077944384 1100 330139 0 0 31 0 1148 39 20 0 17 0 406007736 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620231949168 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9635] ppid=9605 vsize=7937364 memory=181509612915495 CPUtime=12.13 cores=0,2,4,6
/proc/9624/task/9635/stat : 9635 (java) S 9605 9605 4978 0 -1 1077944384 498 330139 0 0 26 0 1148 39 20 0 17 0 406007736 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620230896368 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9636] ppid=9605 vsize=7937364 memory=116712 CPUtime=12.22 cores=0,2,4,6
/proc/9624/task/9636/stat : 9636 (java) S 9605 9605 4978 0 -1 1077944384 1178 330139 0 0 35 0 1148 39 20 0 17 0 406007736 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620229843568 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9637] ppid=9605 vsize=7937364 memory=55 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9637/stat : 9637 (java) S 9605 9605 4978 0 -1 1077944384 3 330139 0 0 0 0 1148 39 20 0 17 0 406007736 8127860736 56552 33554432000 4194304 4196468 140721837479408 139618716478176 139620853741269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9638] ppid=9605 vsize=7937364 memory=1392 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9638/stat : 9638 (java) S 9605 9605 4978 0 -1 1077944384 3 330139 0 0 0 0 1148 39 20 0 17 0 406007737 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620228790960 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9640] ppid=9605 vsize=7937364 memory=3134444 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9640/stat : 9640 (java) S 9605 9605 4978 0 -1 1077944384 25 330139 0 0 0 0 1148 39 20 0 17 0 406007806 8127860736 56552 33554432000 4194304 4196468 140721837479408 139620220756368 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
[pid=9624/tid=9644] ppid=9605 vsize=7937364 memory=280515455456880 CPUtime=11.87 cores=0,2,4,6
/proc/9624/task/9644/stat : 9644 (java) S 9605 9605 4978 0 -1 1077944384 8 330139 0 0 0 0 1148 39 20 0 17 0 406007809 8127860736 56552 33554432000 4194304 4196468 140721837479408 139617911170480 139620853742210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11657216 140721837483004 140721837483162 140721837483162 140721837486031 0
Current children cumulated CPU time: 51.85 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 227680 KiB

Child status: 0
Real time (s): 42.7143
CPU time (s): 51.8952
CPU user time (s): 50.1581
CPU system time (s): 1.73706
CPU usage (%): 121.494
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3981260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.1581
system time used= 1.73706
maximum resident set size= 3980132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395879
page faults= 0
swaps= 0
block input operations= 8
block output operations= 339376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7741
involuntary context switches= 123


# summary of solver processes directly reported to runsolver:
#   pid: 9605
#   total CPU time (s): 51.8952
#   total CPU user time (s): 50.1581
#   total CPU system time (s): 1.73706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.368582 second user time and 0.428759 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-12 16:08:39
IDJOB=4388235
IDBENCH=138476
IDSOLVER=2825
FILE ID=node127/4388235-1568297359
RUNJOBID= node127-1568286090-6276
PBS_JOBID= 21701077
Free space on /tmp= 54336 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-16.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-4388235-1568297359/watcher-4388235-1568297359 -o /tmp/evaluation-result-4388235-1568297359/solver-4388235-1568297359 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6276 --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-4388235-1568297359.xml

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

MD5SUM BENCH= 60f46a78fc335bdeaa2bda0ed3237a46
RANDOM SEED=696548323

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27612300 kB
MemAvailable:   31286488 kB
Buffers:           85008 kB
Cached:          3858228 kB
SwapCached:         6784 kB
Active:          2768340 kB
Inactive:        1777732 kB
Active(anon):     595004 kB
Inactive(anon):    49044 kB
Active(file):    2173336 kB
Inactive(file):  1728688 kB
Unevictable:      110596 kB
Mlocked:          110596 kB
SwapTotal:      67108860 kB
SwapFree:       66998516 kB
Dirty:             20864 kB
Writeback:             0 kB
AnonPages:        825456 kB
Mapped:            54800 kB
Shmem:             32692 kB
Slab:             204384 kB
SReclaimable:     175996 kB
SUnreclaim:        28388 kB
KernelStack:        4096 kB
PageTables:         7120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6514928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    399360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 54312 MiB
End job on node127 at 2019-09-12 16:09:22