Trace number 4388223

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 62.9913 55.617

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-01.xml
MD5SUMa0db4e7a601eb58dee5216b17e791c99
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 benchmark41.2819
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains65
Minimum domain size548
Maximum domain size643
Distribution of domain sizes[{"size":548,"count":6},{"size":549,"count":6},{"size":550,"count":4},{"size":551,"count":2},{"size":552,"count":4},{"size":553,"count":2},{"size":554,"count":2},{"size":555,"count":2},{"size":556,"count":2},{"size":558,"count":2},{"size":559,"count":8},{"size":560,"count":2},{"size":561,"count":2},{"size":562,"count":6},{"size":563,"count":2},{"size":565,"count":2},{"size":572,"count":2},{"size":573,"count":4},{"size":574,"count":2},{"size":575,"count":2},{"size":576,"count":4},{"size":577,"count":2},{"size":578,"count":8},{"size":579,"count":2},{"size":580,"count":2},"...",{"size":603,"count":2}, {"size":604,"count":2}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":607,"count":6}, {"size":608,"count":4}, {"size":611,"count":4}, {"size":612,"count":2}, {"size":614,"count":4}, {"size":616,"count":6}, {"size":617,"count":2}, {"size":619,"count":2}, {"size":620,"count":2}, {"size":621,"count":2}, {"size":623,"count":2}, {"size":625,"count":2}, {"size":627,"count":4}, {"size":628,"count":2}, {"size":629,"count":2}, {"size":633,"count":6}, {"size":634,"count":2}, {"size":637,"count":2}, {"size":639,"count":4}, {"size":642,"count":2}, {"size":643,"count":2}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
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-9503-serial-file.bin HOME/instance-4388223-1568297302.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:07:42 CEST 2019
0.67/0.56	c PID: 9506
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.12/1.64	c (1,1) Parsing End
4.12/1.65	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643
4.12/1.65	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.12/1.65	c (1,1) Constraint Name Generate Begin
4.12/1.68	c (1,1) Ctr:HOME/instance-4388223-1568297302.xml,Add:Le:Ne:Num:Or:Var
4.12/1.68	c (1,1) Constraint Name Generate End
4.12/1.68	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.12/1.68	c (1,1) CSP to CSPinCNF Begin
4.83/1.90	c (1,1) translated 280 (10%) constraints
4.83/1.96	c (1,1) translated 560 (20%) constraints
4.83/1.99	c (1,1) translated 840 (30%) constraints
5.19/2.03	c (1,1) translated 1120 (40%) constraints
5.19/2.05	c (1,1) translated 1400 (50%) constraints
5.19/2.08	c (1,1) translated 1680 (60%) constraints
5.19/2.10	c (1,1) translated 1960 (70%) constraints
5.47/2.12	c (1,1) translated 2240 (80%) constraints
5.47/2.14	c (1,1) translated 2520 (90%) constraints
5.47/2.16	c (1,1) translated 2800 (100%) constraints
5.47/2.16	c (1,1) ===========================================
5.47/2.16	c (1,1) Order
5.47/2.16	c (1,1) ===========================================
5.47/2.19	c (1,1) translated 280 (10%) constraints
5.77/2.21	c (1,1) translated 560 (20%) constraints
5.77/2.22	c (1,1) translated 840 (30%) constraints
5.77/2.23	c (1,1) translated 1120 (40%) constraints
5.77/2.25	c (1,1) translated 1400 (50%) constraints
5.77/2.26	c (1,1) translated 1680 (60%) constraints
5.77/2.28	c (1,1) translated 1960 (70%) constraints
5.77/2.29	c (1,1) translated 2240 (80%) constraints
6.07/2.30	c (1,1) translated 2520 (90%) constraints
6.07/2.32	c (1,1) translated 2800 (100%) constraints
6.07/2.32	c (1,1) CSP to CSPinCNF End
6.07/2.32	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643
6.07/2.32	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.07/2.32	c (1,1) CSPinCNF Propagation Begin
6.07/2.37	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.07/2.37	c (1,1) CSPinCNF Propagation End
6.07/2.38	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 643
6.07/2.38	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.07/2.38	c (1,1) Simplify CSPinCNF Begin
6.72/2.59	c (2,2) Simplify CSPinCNF End
6.72/2.60	c (2,2) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 643
6.72/2.60	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.72/2.60	c (2,2) Calculate Precise Domain Begin
7.00/2.60	c (2,2) 0 values are removed by re-calculation
7.00/2.60	c (2,2) Calculate Precise Domain End
7.00/2.60	c (2,2) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 643
7.00/2.60	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.00/2.60	c (2,2) CSPinCNF to SatSolver Begin
10.73/4.84	c (4,4) 840 (10 %) CSP clauses are encoded (0 SAT variables, 423492 SAT clauses)
12.07/6.18	c (5,5) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 717714 SAT clauses)
13.53/7.44	c (6,6) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 1014250 SAT clauses)
14.79/8.63	c (8,7) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1311035 SAT clauses)
16.09/9.89	c (9,9) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1618554 SAT clauses)
17.40/11.11	c (10,10) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1919667 SAT clauses)
18.62/12.30	c (11,11) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2218718 SAT clauses)
19.90/13.54	c (13,12) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2522742 SAT clauses)
21.07/14.99	c (14,13) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2822832 SAT clauses)
22.50/16.27	c (15,15) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 3134154 SAT clauses)
22.50/16.27	c (15,15) CSPinCNF to SatSolver End
22.50/16.27	c (15,15) Heap : 78 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
22.50/16.27	c (15,15) 123434 bool, 3134704 clause
22.50/16.27	c (15,15) Export Begin
22.67/16.37	c (15,15) Export to HOME/scop-9503-serial-file.bin
22.67/16.37	c (15,15) Export End
22.67/16.37	c (15,15) Export File Size: 0.03 MB
22.67/16.37	c (15,15) 1,1,1,1,2,2,15,STOP-AFTER(DIMACS)
22.67/16.37	c END-Prog: Thu Sep 12 16:07:58 CEST 2019
0.00/16.40	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9503-serial-file.bin
22.85/16.86	c (0,0) Read Serial File Begin
22.85/16.86	c (0,0) HOME/scop-9503-serial-file.bin
23.66/17.08	c (0,0) Read Serial File End
23.66/17.09	
23.66/17.09	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
23.66/17.09	(Solving Process)
23.66/17.09	
23.90/17.11	c BEGIN-Prog: Thu Sep 12 16:07:59 CEST 2019
23.90/17.11	c PID: 9523
23.90/17.11	c IP: 172.20.3.127
23.90/17.11	c HOST: node127.alineos.net
23.90/17.12	c (0,0) SatSolver.solve Begin
23.90/17.12	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388223-1568297302.xml-scop-9506.cnf
23.90/17.15	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
23.90/17.15	c (0,0) c glueminisat-simp-2.2.10-193oa-n
23.90/17.15	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388223-1568297302.xml-scop-9506.cnf 
23.90/17.15	c (0,0) c Options:
23.90/17.15	c (0,0) c CORE
23.90/17.15	c (0,0) c  var_decay             = 0.950
23.90/17.15	c (0,0) c  clause_decay          = 0.999
23.90/17.15	c (0,0) c  random_var_freq       = 0.000
23.90/17.15	c (0,0) c  random_seed           = 91648253.000
23.90/17.15	c (0,0) c  luby_restart          = 1
23.90/17.15	c (0,0) c  ccmin_mode            = 2
23.90/17.15	c (0,0) c  phase_saving          = 2
23.90/17.15	c (0,0) c  rnd_pol               = 0
23.90/17.15	c (0,0) c  rnd_init_act          = 0
23.90/17.15	c (0,0) c  garbage_frac          = 0.200
23.90/17.15	c (0,0) c  restart_first         = 1000
23.90/17.15	c (0,0) c  restart_inc           = 2.000
23.90/17.15	c (0,0) c MODEL
23.90/17.15	c (0,0) c  partial_model         = 0
23.90/17.15	c (0,0) c PROPAGATION
23.90/17.15	c (0,0) c  bin_propagation       = 1
23.90/17.15	c (0,0) c SIMPLIFICATION
23.90/17.15	c (0,0) c  lrn_min_size          = 100
23.90/17.15	c (0,0) c  lazy_simp             = 1
23.90/17.15	c (0,0) c  lazy_interval         = 10
23.90/17.15	c (0,0) c  lazy_fld_probing      = 1
23.90/17.15	c (0,0) c  lazy_pol_probing      = 1
23.90/17.15	c (0,0) c  lazy_nec_probing      = 1
23.90/17.15	c (0,0) c  lazy_eqv_probing      = 1
23.90/17.15	c (0,0) c  lazy_cla_probing      = 1
23.90/17.15	c (0,0) c  lazy_lrn_min          = 2
23.90/17.15	c (0,0) c  lazy_uw_lit_elim      = 1
23.90/17.15	c (0,0) c  lazy_pr_lit_elim      = 0
23.90/17.15	c (0,0) c  lazy_bin_add          = 3
23.90/17.15	c (0,0) c  probed_lit_chain      = 1
23.90/17.15	c (0,0) c  pr_min_lits           = 0.00020
23.90/17.15	c (0,0) c  pr_min_starts         = 500
23.90/17.15	c (0,0) c  rw_min_lits           = 0.010
23.90/17.15	c (0,0) c  rw_min_starts         = 500
23.90/17.15	c (0,0) c  rand_attach           = 0
23.90/17.15	c (0,0) c  dec_elim              = 1
23.90/17.15	c (0,0) c  dec_elim_lim          = 25
23.90/17.15	c (0,0) c  dec_elim_len          = -1
23.90/17.15	c (0,0) c  amo                   = 0
23.90/17.15	c (0,0) c  amo_grp               = 1
23.90/17.15	c (0,0) c  amo_max_bins          = 1000000
23.90/17.15	c (0,0) c  amo_starts            = 50
23.90/17.15	c (0,0) c  mace_cmd              = mace
23.90/17.15	c (0,0) c DECISION
23.90/17.15	c (0,0) c  rand_rebuild          = 0
23.90/17.15	c (0,0) c  rand_rebuild_confs    = 10000
23.90/17.15	c (0,0) c  inc_var_decay         = 1
23.90/17.15	c (0,0) c  inc_var_decay_period  = 100000
23.90/17.15	c (0,0) c  inc_var_decay_init    = 0.600
23.90/17.15	c (0,0) c  var_decay_mode        = 0
23.90/17.15	c (0,0) c  var_decay_gain        = 0
23.90/17.15	c (0,0) c  sloped_var_decay      = 1
23.90/17.15	c (0,0) c  max_var_decay         = 0.990
23.90/17.15	c (0,0) c  min_var_decay         = 0.950
23.90/17.15	c (0,0) c  min_var_decay_vars    = 10000
23.90/17.15	c (0,0) c  max_var_decay_vars    = 500
23.90/17.15	c (0,0) c  uip_bumping           = 1
23.90/17.15	c (0,0) c  lbd_act_bumping       = 1
23.90/17.15	c (0,0) c  rand_tiebreak         = 0
23.90/17.15	c (0,0) c  simp_rebuild          = 1
23.90/17.15	c (0,0) c RESTART
23.90/17.15	c (0,0) c  restart_strategy      = 2
23.90/17.15	c (0,0) c  restart_blocking      = 0
23.90/17.15	c (0,0) c  agility_decay         = 0.99990
23.90/17.15	c (0,0) c  lbd_restart_rate      = 0.800
23.90/17.15	c (0,0) c  dec_restart_rate      = 0.950
23.90/17.15	c (0,0) c  blk_restart_rate      = 0.700
23.90/17.15	c (0,0) c  lbd_queue_size        = 50
23.90/17.15	c (0,0) c  dec_queue_size        = 50
23.90/17.15	c (0,0) c  trl_queue_size        = 5000
23.90/17.15	c (0,0) c  blk_restart_weight    = 1.000
23.90/17.15	c (0,0) c  inc_rst_rate          = 0
23.90/17.15	c (0,0) c  inc_rst_rate_period   = 500000
23.90/17.15	c (0,0) c  inc_lbd_rst_rate_init = 0.600
23.90/17.15	c (0,0) c  inc_dec_rst_rate_init = 0.750
23.90/17.15	c (0,0) c REDUCTION
23.90/17.15	c (0,0) c  closed_lbd            = 0
23.90/17.15	c (0,0) c  closed_lbd_rate       = 0.500
23.90/17.15	c (0,0) c  rm_simulate           = 0
23.90/17.15	c (0,0) c  rdb_eval              = 2
23.90/17.15	c (0,0) c  rdb_call              = 3
23.90/17.15	c (0,0) c  rdb_ub                = 0.500
23.90/17.15	c (0,0) c  core_lbd_cvr          = 0.800
23.90/17.15	c (0,0) c  supp_lbd_cvr          = 0.990
23.90/17.15	c (0,0) c  core_lbd_lb           = 2
23.90/17.15	c (0,0) c  supp_lbd_lb           = 2
23.90/17.15	c (0,0) c  core_lbd_prd          = 7
23.90/17.15	c (0,0) c  supp_lbd_prd          = 1
23.90/17.15	c (0,0) c  othr_lbd_prd          = 0
23.90/17.15	c (0,0) c  inc_lrn_limit         = 1000
23.90/17.15	c (0,0) c  frozen_lbd            = 30
23.90/17.15	c (0,0) c  simp_min_starts       = 100
23.90/17.15	c (0,0) c  rm_low_act_learnts    = 1
23.90/17.15	c (0,0) c  lv0_reduce_db         = 0
23.90/17.15	c (0,0) c  reduce_db_base        = 20000
23.90/17.15	c (0,0) c  reduce_db_inc         = 1000
23.90/17.15	c (0,0) c HARD
23.90/17.15	c (0,0) c  inst_check            = 200000
23.90/17.15	c (0,0) c  small_block           = 1.750
23.90/17.15	c (0,0) c  slow_restart_speed    = 400.000
23.90/17.15	c (0,0) c  slow_restart_strategy = 3
23.90/17.15	c (0,0) c  slow_lbd_restart_rate = 0.700
23.90/17.15	c (0,0) c  slow_dec_restart_rate = 1.000
23.90/17.15	c (0,0) c  slow_lbd_queue_size   = 50
23.90/17.15	c (0,0) c  slow_var_decay        = 0.950
23.90/17.15	c (0,0) c  slow_glue_threshold   = 2
23.90/17.15	c (0,0) c  slow_phase_saving     = 2
23.90/17.15	c (0,0) c  fast_restart_speed    = 125.000
23.90/17.15	c (0,0) c  fast_restart_strategy = 1
23.90/17.15	c (0,0) c  fast_lbd_restart_rate = 0.800
23.90/17.15	c (0,0) c  fast_dec_restart_rate = 0.950
23.90/17.15	c (0,0) c  fast_lbd_queue_size   = 50
23.90/17.15	c (0,0) c  fast_var_decay        = 1.000
23.90/17.15	c (0,0) c  fast_glue_threshold   = 2
23.90/17.15	c (0,0) c  fast_phase_saving     = 2
23.90/17.15	c (0,0) c STATS
23.90/17.15	c (0,0) c  stats_conf_size       = 10000
23.90/17.15	c (0,0) c  max_stats_size        = 30
23.90/17.15	c (0,0) c SOLVER
23.90/17.15	c (0,0) c  minisat               = 0
25.14/18.29	c (1,0) c Problem: 123434 variables, 3134704 clauses, parsing 1.05 s
32.05/25.19	c (8,0) c  reduced to 120634 variables, 3131904 clauses (grow = 0)
32.24/25.35	c (8,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
32.54/25.63	c (8,0) c Simplification: 2800 vars, 2800 clauses are eliminated using 7.22 s
32.54/25.63	c (8,0) c
32.54/25.63	c (8,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
32.54/25.63	c (8,0) c
32.54/25.63	c (8,0) c    8         0         0   120634  3131904        0   -nan  -nan  -nan -nan%
32.65/25.72	c (8,0) c    8         1       100   120634  3131904      100   10.8   5.7 116.0  9.3%
32.65/25.76	c (8,0) c    8         1       220   120634  3131904      220   10.4   5.7 115.1  8.6%
32.75/25.81	c (9,0) c    8         1       364   120634  3131904      364    9.8   5.3 114.6  8.2%
32.85/25.90	c (9,0) c    8         1       536   120634  3131904      536    9.8   5.3 114.1  8.6%
32.85/25.99	c (9,0) c    8         1       743   120634  3131904      743   10.3   5.3 114.2  9.5%
32.96/26.07	c (9,0) c    8         2       991   120634  3131904      991   10.7   5.4 105.4  9.6%
33.06/26.15	c (9,0) c    9         2      1289   120634  3131904     1289   11.2   5.0  84.7  9.3%
33.75/26.86	c (10,0) c    9         7      1647   120634  3131904     1647   13.0   5.8  96.5 13.3%
34.35/27.47	c (10,0) c   10        10      2076   120634  3131904     2076   15.0   6.2  85.2 14.8%
35.15/28.23	c (11,0) c   11        13      2591   120634  3131904     2591   15.7   6.4  80.8 19.5%
35.95/29.06	c (12,0) c   11        19      3210   120634  3131904     3210   16.3   6.8  74.6 20.1%
36.55/29.61	c (12,0) c   12        23      3953   120634  3131904     3953   16.2   6.7  67.7 20.1%
36.65/29.77	c (12,0) c   12        23      4844   120634  3131904     4844   16.0   6.3  58.4 18.2%
36.96/30.02	c (13,0) c   12        23      5913   120634  3131904     5913   15.6   6.0  50.9 16.6%
37.15/30.28	c (13,0) c   13        23      7196   120634  3131904     7196   16.6   5.8  44.3 15.3%
37.44/30.58	c (13,0) c
37.44/30.58	c (13,0) c   variables         : 120634      (init 123434, after simp 120634, 0 non-decs, 200 csp)
37.44/30.58	c (13,0) c   clauses           : 3131904     (init 3134704, after simp 3131904)
37.44/30.58	c (13,0) c   restarts          : 22          (379.83 confs/res, 50~895 confs, 0 blks, 0 last)
37.44/30.58	c (13,0) c   conflicts         : 8736        (663 /sec, 56.90% dconfs, 0.00% supp, trail 646.80w x 38.93h, jmp 1.51h)
37.44/30.58	c (13,0) c   decisions         : 15382       (0.6300 vdcy, 1168 /sec, 0.00% bin, rs 0.006 s)
37.44/30.58	c (13,0) c   propagations      : 16944127    (1286872 /sec, 1101.56 lits/dec, 35.26% o.a.)
37.44/30.58	c (13,0) c   conflict literals : 173879      (16.05% deleted; 0.73% by bin min, 0.002 s)
37.44/30.58	c (13,0) c   len               : 16.566      (16.57 for all, max 382, used 199)
37.44/30.58	c (13,0) c   lbd               : 5.703       (6.80 (5.70) for all, max 62, used 47, 2.042 stdev, 2.436 blk)
37.44/30.58	c (13,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
37.44/30.58	c (13,0) c   simp dbs          : 1           (0.001 s)
37.44/30.58	c (13,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
37.44/30.58	c (13,0) c   learnts           : 8736        (0 learnts removed, 0.00%)
37.44/30.58	c (13,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
37.44/30.58	c (13,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
37.44/30.58	c (13,0) c   premise updates   : 254759      (1.06 /lit)
37.44/30.58	c (13,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
37.44/30.58	c (13,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
37.44/30.58	c (13,0) c   lazy added bins   : 0           (0 prop + 0 conf, 0.002s)
37.44/30.58	c (13,0) c   unwatched lit elim: 320         (0.00+0.18%, 0+320 of 9266878+173879)
37.44/30.58	c (13,0) c   classified type   : undef
37.44/30.58	c (13,0) c   progress          : 0.000 %
37.44/30.58	c (13,0) c
37.44/30.58	c (13,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
37.44/30.58	c (13,0) c
37.44/30.58	c (13,0) c   13        23      8736   120634  3131904     8736   16.6   5.7  38.9 14.1%
37.86/30.93	c (14,0) c   13        23     10584   120634  3131904    10584   22.0   5.6  29.7 13.4%
39.55/32.66	c (15,0) c   15        33     12802   120634  3131904    12802   23.4   5.7  21.9 12.3%
42.26/35.32	c (18,0) c   18        54     15464   120634  3131904    15464   22.3   5.9  26.2 13.8%
47.86/40.93	c (24,0) c   23        86     18658   120634  3131904    18658   22.1   6.4  40.4 21.0%
50.07/43.18	c (26,0) c   26 r      98     20000   120634  3131904    20000   23.3   6.6  47.6 24.7%
50.07/43.18	c (26,0) c
50.07/43.18	c (26,0) c R [LBD Statistics #1]
50.07/43.18	c (26,0) c R LBD         used lbd               used clause lbd
50.07/43.18	c (26,0) c R  tot       77900                   20000
50.07/43.18	c (26,0) c R  avg       3.222                   6.561
50.07/43.18	c (26,0) c R   1         1576 ( 2.0/ 2.0%)        140 ( 0.7/ 0.7%)
50.07/43.18	c (26,0) c R   2        38195 (49.0/51.1%)       3702 (18.5/19.2%)
50.07/43.18	c (26,0) c R   3        18079 (23.2/74.3%)       2869 (14.3/33.6%)
50.07/43.18	c (26,0) c R   4         8710 (11.2/85.4%)       2608 (13.0/46.6%)
50.07/43.18	c (26,0) c R
50.07/43.18	c (26,0) c R core_lbd_threshold = 4
50.07/43.18	c (26,0) c R supp_lbd_threshold = 12
50.07/43.18	c (26,0) c R
50.07/43.18	c (26,0) c R [RDB Statistics #1]
50.07/43.18	c (26,0) c R kept: lbd      =    9305 (46.5/46.5%)
50.07/43.18	c (26,0) c R kept: ttl      =   10673 (53.4/99.9%)
50.07/43.18	c (26,0) c R kept: locked   =      22 ( 0.1/100.0%)
50.07/43.18	c (26,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
50.07/43.18	c (26,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
50.07/43.18	c (26,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
50.07/43.18	c (26,0) c
50.07/43.18	c (26,0) c   26 R      98     20000   120634  3131904    20000   23.3   6.6  47.6 24.7%
51.77/44.80	c (28,0) c   27       111     22491   120634  3131904    22491   22.9   6.6  51.4 25.6%
57.48/50.57	c (33,0) c   33       144     27091   120634  3131904    27091   22.2   6.7  52.4 26.3%
62.27/55.35	c (38,0) c   38       175     31971   120634  3131904    31971   21.3   6.8  46.4 21.7%
62.27/55.35	c (38,0) c
62.27/55.35	c (38,0) c
62.27/55.35	c (38,0) c variables         : 120634      (init 123434, after simp 120634, 0 non-decs, 200 csp)
62.27/55.35	c (38,0) c clauses           : 3131904     (init 3134704, after simp 3131904)
62.27/55.35	c (38,0) c restarts          : 174         (182.69 confs/res, 50~7453 confs, 0 blks, 0 last)
62.27/55.35	c (38,0) c conflicts         : 31971       (846 /sec, 57.99% dconfs, 0.00% supp, trail 627.54w x 43.31h, jmp 1.76h)
62.27/55.35	c (38,0) c decisions         : 71119       (0.7100 vdcy, 1883 /sec, 0.00% bin, rs 0.023 s)
62.27/55.35	c (38,0) c propagations      : 89612974    (2372076 /sec, 1260.04 lits/dec, 34.29% o.a.)
62.27/55.35	c (38,0) c conflict literals : 806061      (14.76% deleted; 0.71% by bin min, 0.011 s)
62.27/55.35	c (38,0) c len               : 21.312      (21.31 for all, max 597, used 472)
62.27/55.35	c (38,0) c lbd               : 6.780       (7.81 (6.78) for all, max 74, used 69, 2.580 stdev, 2.728 blk)
62.27/55.35	c (38,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
62.27/55.35	c (38,0) c simp dbs          : 1           (0.001 s)
62.27/55.35	c (38,0) c reduce dbs        : 1           (core-lbd 4, supp-lbd 12, 0.000 s)
62.27/55.35	c (38,0) c learnts           : 31971       (0 learnts removed, 0.00%)
62.27/55.35	c (38,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
62.27/55.35	c (38,0) c assigned lits     : 0           (0/0 probed, 0 remains)
62.27/55.35	c (38,0) c premise updates   : 1510079     (6.26 /lit)
62.27/55.35	c (38,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
62.27/55.35	c (38,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
62.27/55.35	c (38,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.007s)
62.27/55.35	c (38,0) c unwatched lit elim: 1572        (0.00+0.20%, 0+1572 of 9266878+806061)
62.27/55.35	c (38,0) c classified type   : undef
62.27/55.35	c (38,0) c progress          : 0.000 %
62.27/55.35	c (38,0) c
62.27/55.35	c (38,0) c [Statistics]
62.27/55.35	c (38,0) c             learnts len        learnts lbd        lit blk size       eq vars size
62.27/55.35	c (38,0) c  tot       31971              31971             249805                  0
62.27/55.35	c (38,0) c  avg      21.312              6.780              2.728               -nan
62.27/55.35	c (38,0) c   1            0 ( 0.0%)        263 ( 0.8%)     162199 (64.9%)          0 (-nan%)
62.27/55.35	c (38,0) c   2            0 ( 0.0%)       6078 (19.0%)      36426 (14.6%)          0 (-nan%)
62.27/55.35	c (38,0) c   3         1971 ( 6.2%)       4420 (13.8%)      17073 ( 6.8%)          0 (-nan%)
62.27/55.35	c (38,0) c   4          978 ( 3.1%)       3951 (12.4%)       9802 ( 3.9%)          0 (-nan%)
62.27/55.35	c (38,0) c   5         4630 (14.5%)       3353 (10.5%)       5931 ( 2.4%)          0 (-nan%)
62.27/55.35	c (38,0) c   6         2014 ( 6.3%)       2782 ( 8.7%)       4080 ( 1.6%)          0 (-nan%)
62.27/55.35	c (38,0) c   7         1832 ( 5.7%)       2332 ( 7.3%)       2754 ( 1.1%)          0 (-nan%)
62.27/55.35	c (38,0) c   8         1410 ( 4.4%)       1777 ( 5.6%)       2041 ( 0.8%)          0 (-nan%)
62.27/55.35	c (38,0) c   9         1538 ( 4.8%)       1368 ( 4.3%)       1454 ( 0.6%)          0 (-nan%)
62.27/55.35	c (38,0) c  10         1343 ( 4.2%)       1006 ( 3.1%)       1145 ( 0.5%)          0 (-nan%)
62.27/55.35	c (38,0) c  11         1267 ( 4.0%)        719 ( 2.2%)        960 ( 0.4%)          0 (-nan%)
62.27/55.35	c (38,0) c  12         1197 ( 3.7%)        523 ( 1.6%)        715 ( 0.3%)          0 (-nan%)
62.27/55.35	c (38,0) c  13         1007 ( 3.1%)        418 ( 1.3%)        557 ( 0.2%)          0 (-nan%)
62.27/55.35	c (38,0) c  14          958 ( 3.0%)        342 ( 1.1%)        501 ( 0.2%)          0 (-nan%)
62.27/55.35	c (38,0) c  15          873 ( 2.7%)        329 ( 1.0%)        423 ( 0.2%)          0 (-nan%)
62.27/55.35	c (38,0) c  16          779 ( 2.4%)        291 ( 0.9%)        338 ( 0.1%)          0 (-nan%)
62.27/55.35	c (38,0) c  17          682 ( 2.1%)        218 ( 0.7%)        305 ( 0.1%)          0 (-nan%)
62.27/55.35	c (38,0) c  18          630 ( 2.0%)        177 ( 0.6%)        223 ( 0.1%)          0 (-nan%)
62.27/55.35	c (38,0) c  19          602 ( 1.9%)        156 ( 0.5%)        233 ( 0.1%)          0 (-nan%)
62.27/55.35	c (38,0) c  20          569 ( 1.8%)        123 ( 0.4%)        199 ( 0.1%)          0 (-nan%)
62.27/55.35	c (38,0) c  21          479 ( 1.5%)        131 ( 0.4%)        154 ( 0.1%)          0 (-nan%)
62.27/55.35	c (38,0) c  22          414 ( 1.3%)        106 ( 0.3%)        140 ( 0.1%)          0 (-nan%)
62.27/55.35	c (38,0) c  23          384 ( 1.2%)         90 ( 0.3%)        129 ( 0.1%)          0 (-nan%)
62.27/55.35	c (38,0) c  24          343 ( 1.1%)         86 ( 0.3%)        116 ( 0.0%)          0 (-nan%)
62.27/55.35	c (38,0) c  25          287 ( 0.9%)         79 ( 0.2%)        111 ( 0.0%)          0 (-nan%)
62.27/55.35	c (38,0) c  26          327 ( 1.0%)         68 ( 0.2%)        127 ( 0.1%)          0 (-nan%)
62.27/55.35	c (38,0) c  27          260 ( 0.8%)         76 ( 0.2%)        108 ( 0.0%)          0 (-nan%)
62.27/55.35	c (38,0) c  28          244 ( 0.8%)         45 ( 0.1%)         64 ( 0.0%)          0 (-nan%)
62.27/55.35	c (38,0) c  29          248 ( 0.8%)         49 ( 0.2%)         73 ( 0.0%)          0 (-nan%)
62.27/55.35	c (38,0) c  30         4705 (14.7%)        615 ( 1.9%)       1424 ( 0.6%)          0 (-nan%)
62.27/55.35	c (38,0) c
62.27/55.35	c (38,0) c [LBD Statistics]
62.27/55.35	c (38,0) c LBD          used lbd               used clause lbd         unused clause lbd
62.27/55.35	c (38,0) c  tot       126119                   17700                   14271
62.27/55.35	c (38,0) c  avg        3.192                   4.765                   9.279
62.27/55.35	c (38,0) c    1         2804 ( 2.2/ 2.2%)        263 ( 1.5/ 1.5%)          0 ( 0.0/ 0.0%)
62.27/55.35	c (38,0) c    2        65069 (51.6/53.8%)       5410 (30.6/32.1%)        668 ( 4.7/ 4.7%)
62.27/55.35	c (38,0) c    3        27096 (21.5/75.3%)       3262 (18.4/50.5%)       1158 ( 8.1/12.8%)
62.27/55.35	c (38,0) c    4        13597 (10.8/86.1%)       2452 (13.9/64.3%)       1499 (10.5/23.3%)
62.27/55.35	c (38,0) c    5         6356 ( 5.0/91.1%)       1739 ( 9.8/74.2%)       1614 (11.3/34.6%)
62.27/55.35	c (38,0) c    6         3454 ( 2.7/93.9%)       1194 ( 6.7/80.9%)       1588 (11.1/45.7%)
62.27/55.35	c (38,0) c    7         2086 ( 1.7/95.5%)        844 ( 4.8/85.7%)       1488 (10.4/56.2%)
62.27/55.35	c (38,0) c    8         1673 ( 1.3/96.8%)        697 ( 3.9/89.6%)       1080 ( 7.6/63.7%)
62.27/55.35	c (38,0) c    9         1072 ( 0.8/97.7%)        429 ( 2.4/92.0%)        939 ( 6.6/70.3%)
62.27/55.35	c (38,0) c   10          705 ( 0.6/98.3%)        308 ( 1.7/93.8%)        698 ( 4.9/75.2%)
62.27/55.35	c (38,0) c   11          475 ( 0.4/98.6%)        198 ( 1.1/94.9%)        521 ( 3.7/78.9%)
62.27/55.35	c (38,0) c   12          314 ( 0.2/98.9%)        141 ( 0.8/95.7%)        382 ( 2.7/81.5%)
62.27/55.35	c (38,0) c   13          246 ( 0.2/99.1%)        108 ( 0.6/96.3%)        310 ( 2.2/83.7%)
62.27/55.35	c (38,0) c   14          185 ( 0.1/99.2%)         83 ( 0.5/96.8%)        259 ( 1.8/85.5%)
62.27/55.35	c (38,0) c   15          171 ( 0.1/99.4%)         90 ( 0.5/97.3%)        239 ( 1.7/87.2%)
62.27/55.35	c (38,0) c   16          119 ( 0.1/99.4%)         73 ( 0.4/97.7%)        218 ( 1.5/88.7%)
62.27/55.35	c (38,0) c   17          112 ( 0.1/99.5%)         57 ( 0.3/98.0%)        161 ( 1.1/89.8%)
62.27/55.35	c (38,0) c   18           90 ( 0.1/99.6%)         43 ( 0.2/98.3%)        134 ( 0.9/90.8%)
62.27/55.35	c (38,0) c   19           47 ( 0.0/99.6%)         36 ( 0.2/98.5%)        120 ( 0.8/91.6%)
62.27/55.35	c (38,0) c   20           49 ( 0.0/99.7%)         26 ( 0.1/98.6%)         97 ( 0.7/92.3%)
62.27/55.35	c (38,0) c   21           39 ( 0.0/99.7%)         30 ( 0.2/98.8%)        101 ( 0.7/93.0%)
62.27/55.35	c (38,0) c   22           44 ( 0.0/99.7%)         22 ( 0.1/98.9%)         84 ( 0.6/93.6%)
62.27/55.35	c (38,0) c   23           30 ( 0.0/99.8%)         12 ( 0.1/99.0%)         78 ( 0.5/94.1%)
62.27/55.35	c (38,0) c   24           25 ( 0.0/99.8%)         19 ( 0.1/99.1%)         67 ( 0.5/94.6%)
62.27/55.35	c (38,0) c   25           31 ( 0.0/99.8%)         21 ( 0.1/99.2%)         58 ( 0.4/95.0%)
62.27/55.35	c (38,0) c   26           17 ( 0.0/99.8%)         14 ( 0.1/99.3%)         54 ( 0.4/95.4%)
62.27/55.35	c (38,0) c   27           25 ( 0.0/99.9%)         15 ( 0.1/99.4%)         61 ( 0.4/95.8%)
62.27/55.35	c (38,0) c   28           22 ( 0.0/99.9%)         11 ( 0.1/99.4%)         34 ( 0.2/96.1%)
62.27/55.35	c (38,0) c   29           14 ( 0.0/99.9%)         12 ( 0.1/99.5%)         37 ( 0.3/96.3%)
62.27/55.35	c (38,0) c   30            4 ( 0.0/99.9%)          1 ( 0.0/99.5%)         40 ( 0.3/96.6%)
62.27/55.35	c (38,0) c   31           15 ( 0.0/99.9%)         11 ( 0.1/99.6%)         35 ( 0.2/96.9%)
62.27/55.35	c (38,0) c   32            3 ( 0.0/99.9%)          0 ( 0.0/99.6%)         38 ( 0.3/97.1%)
62.27/55.35	c (38,0) c   33           14 ( 0.0/99.9%)          6 ( 0.0/99.6%)         31 ( 0.2/97.3%)
62.27/55.35	c (38,0) c   34            5 ( 0.0/99.9%)          9 ( 0.1/99.6%)         33 ( 0.2/97.6%)
62.27/55.35	c (38,0) c   35           16 ( 0.0/99.9%)          5 ( 0.0/99.7%)         24 ( 0.2/97.7%)
62.27/55.35	c (38,0) c   36            7 ( 0.0/99.9%)          5 ( 0.0/99.7%)         31 ( 0.2/98.0%)
62.27/55.35	c (38,0) c   37            6 ( 0.0/99.9%)          5 ( 0.0/99.7%)         18 ( 0.1/98.1%)
62.27/55.35	c (38,0) c   38            8 ( 0.0/99.9%)          2 ( 0.0/99.7%)         19 ( 0.1/98.2%)
62.27/55.35	c (38,0) c   39            7 ( 0.0/99.9%)          6 ( 0.0/99.8%)         13 ( 0.1/98.3%)
62.27/55.35	c (38,0) c   40            6 ( 0.0/100.0%)          4 ( 0.0/99.8%)         17 ( 0.1/98.4%)
62.27/55.35	c (38,0) c   41            8 ( 0.0/100.0%)          5 ( 0.0/99.8%)         13 ( 0.1/98.5%)
62.27/55.35	c (38,0) c   42            8 ( 0.0/100.0%)          2 ( 0.0/99.8%)         19 ( 0.1/98.6%)
62.27/55.35	c (38,0) c   43            2 ( 0.0/100.0%)          2 ( 0.0/99.8%)         16 ( 0.1/98.8%)
62.27/55.35	c (38,0) c   44            2 ( 0.0/100.0%)          3 ( 0.0/99.9%)         18 ( 0.1/98.9%)
62.27/55.35	c (38,0) c   45           10 ( 0.0/100.0%)          5 ( 0.0/99.9%)         19 ( 0.1/99.0%)
62.27/55.35	c (38,0) c   46            5 ( 0.0/100.0%)          1 ( 0.0/99.9%)         19 ( 0.1/99.2%)
62.27/55.35	c (38,0) c   47            5 ( 0.0/100.0%)          4 ( 0.0/99.9%)         11 ( 0.1/99.2%)
62.27/55.35	c (38,0) c   48            2 ( 0.0/100.0%)          3 ( 0.0/99.9%)         17 ( 0.1/99.3%)
62.27/55.35	c (38,0) c   49            2 ( 0.0/100.0%)          2 ( 0.0/99.9%)         11 ( 0.1/99.4%)
62.27/55.35	c (38,0) c   50            3 ( 0.0/100.0%)          1 ( 0.0/99.9%)          9 ( 0.1/99.5%)
62.27/55.35	c (38,0) c   51            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          9 ( 0.1/99.6%)
62.27/55.35	c (38,0) c   52            3 ( 0.0/100.0%)          2 ( 0.0/100.0%)          6 ( 0.0/99.6%)
62.27/55.35	c (38,0) c   53            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          8 ( 0.1/99.6%)
62.27/55.35	c (38,0) c   54            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          5 ( 0.0/99.7%)
62.27/55.35	c (38,0) c   55            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          4 ( 0.0/99.7%)
62.27/55.36	c (38,0) c   56            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          8 ( 0.1/99.8%)
62.27/55.36	c (38,0) c   57            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          4 ( 0.0/99.8%)
62.27/55.36	c (38,0) c   58            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.8%)
62.27/55.36	c (38,0) c   59            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          4 ( 0.0/99.8%)
62.27/55.36	c (38,0) c   60            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          6 ( 0.0/99.9%)
62.27/55.36	c (38,0) c   61            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
62.27/55.36	c (38,0) c   62            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/99.9%)
62.27/55.36	c (38,0) c   63            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.0/99.9%)
62.27/55.36	c (38,0) c   64            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          2 ( 0.0/99.9%)
62.27/55.36	c (38,0) c   65            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
62.27/55.36	c (38,0) c   66            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.0/100.0%)
62.27/55.36	c (38,0) c   67            2 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
62.27/55.36	c (38,0) c   68            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
62.27/55.36	c (38,0) c   69            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
62.27/55.36	c (38,0) c   70            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
62.27/55.36	c (38,0) c   71            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
62.27/55.36	c (38,0) c   72            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
62.27/55.36	c (38,0) c   73            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
62.27/55.36	c (38,0) c   74            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
62.27/55.36	c (38,0) c
62.27/55.36	c (38,0) c Memory used       : 454.00 MB
62.27/55.36	c (38,0) c CPU time          : 37.779 s
62.27/55.36	c (38,0) c Real time         : 38.213 s
62.27/55.36	c (38,0) c
62.27/55.36	c (38,0) s SATISFIABLE
24.25/55.47	c (38,0) SatSolver.solve End
24.25/55.47	c (38,0) Heap : 144 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
24.25/55.47	c (38,0) Show results Begin
62.69/55.57	c (38,0) x0 = 205
62.69/55.57	c (38,0) x1 = 204
62.69/55.57	c (38,0) x10 = 137
62.69/55.57	c (38,0) x100 = 320
62.69/55.57	c (38,0) x101 = 322
62.69/55.57	c (38,0) x102 = 152
62.69/55.57	c (38,0) x103 = 153
62.69/55.57	c (38,0) x104 = 215
62.69/55.57	c (38,0) x105 = 214
62.69/55.57	c (38,0) x106 = 137
62.69/55.57	c (38,0) x107 = 138
62.69/55.57	c (38,0) x108 = 377
62.69/55.57	c (38,0) x109 = 376
62.69/55.57	c (38,0) x11 = 136
62.69/55.57	c (38,0) x110 = 463
62.69/55.57	c (38,0) x111 = 464
62.69/55.57	c (38,0) x112 = 561
62.69/55.57	c (38,0) x113 = 560
62.69/55.57	c (38,0) x114 = 252
62.69/55.57	c (38,0) x115 = 253
62.69/55.57	c (38,0) x116 = 8
62.69/55.57	c (38,0) x117 = 7
62.69/55.57	c (38,0) x118 = 75
62.69/55.57	c (38,0) x119 = 76
62.69/55.57	c (38,0) x12 = 567
62.69/55.57	c (38,0) x120 = 210
62.69/55.57	c (38,0) x121 = 209
62.69/55.58	c (38,0) x122 = 328
62.69/55.58	c (38,0) x123 = 303
62.69/55.58	c (38,0) x124 = 500
62.69/55.58	c (38,0) x125 = 501
62.69/55.58	c (38,0) x126 = 400
62.69/55.58	c (38,0) x127 = 399
62.69/55.58	c (38,0) x128 = 114
62.69/55.58	c (38,0) x129 = 115
62.69/55.58	c (38,0) x13 = 566
62.69/55.58	c (38,0) x130 = 560
62.69/55.58	c (38,0) x131 = 559
62.69/55.58	c (38,0) x132 = 611
62.69/55.58	c (38,0) x133 = 610
62.69/55.58	c (38,0) x134 = 72
62.69/55.58	c (38,0) x135 = 68
62.69/55.58	c (38,0) x136 = 10
62.69/55.58	c (38,0) x137 = 11
62.69/55.58	c (38,0) x138 = 353
62.69/55.58	c (38,0) x139 = 354
62.69/55.58	c (38,0) x14 = 6
62.69/55.58	c (38,0) x140 = 567
62.69/55.58	c (38,0) x141 = 641
62.69/55.58	c (38,0) x142 = 610
62.69/55.58	c (38,0) x143 = 609
62.69/55.58	c (38,0) x144 = 303
62.69/55.58	c (38,0) x145 = 304
62.69/55.58	c (38,0) x146 = 402
62.69/55.58	c (38,0) x147 = 403
62.69/55.58	c (38,0) x148 = 0
62.69/55.58	c (38,0) x149 = 1
62.69/55.58	c (38,0) x15 = 5
62.69/55.58	c (38,0) x150 = 580
62.69/55.58	c (38,0) x151 = 581
62.69/55.58	c (38,0) x152 = 199
62.69/55.58	c (38,0) x153 = 198
62.69/55.58	c (38,0) x154 = 149
62.69/55.58	c (38,0) x155 = 150
62.69/55.58	c (38,0) x156 = 68
62.69/55.58	c (38,0) x157 = 69
62.69/55.58	c (38,0) x158 = 500
62.69/55.58	c (38,0) x159 = 499
62.69/55.58	c (38,0) x16 = 301
62.69/55.58	c (38,0) x160 = 85
62.69/55.58	c (38,0) x161 = 83
62.69/55.58	c (38,0) x162 = 213
62.69/55.58	c (38,0) x163 = 214
62.69/55.58	c (38,0) x164 = 300
62.69/55.58	c (38,0) x165 = 299
62.69/55.58	c (38,0) x166 = 377
62.69/55.58	c (38,0) x167 = 378
62.69/55.58	c (38,0) x168 = 0
62.69/55.58	c (38,0) x169 = 1
62.69/55.58	c (38,0) x17 = 302
62.69/55.58	c (38,0) x170 = 370
62.69/55.58	c (38,0) x171 = 369
62.69/55.58	c (38,0) x172 = 453
62.69/55.58	c (38,0) x173 = 452
62.69/55.58	c (38,0) x174 = 563
62.69/55.58	c (38,0) x175 = 57
62.69/55.58	c (38,0) x176 = 605
62.69/55.58	c (38,0) x177 = 604
62.69/55.58	c (38,0) x178 = 39
62.69/55.58	c (38,0) x179 = 40
62.69/55.58	c (38,0) x18 = 394
62.69/55.58	c (38,0) x180 = 172
62.69/55.58	c (38,0) x181 = 171
62.69/55.58	c (38,0) x182 = 85
62.69/55.59	c (38,0) x183 = 83
62.69/55.59	c (38,0) x184 = 329
62.69/55.59	c (38,0) x185 = 328
62.69/55.59	c (38,0) x186 = 422
62.69/55.59	c (38,0) x187 = 421
62.69/55.59	c (38,0) x188 = 137
62.69/55.59	c (38,0) x189 = 138
62.69/55.59	c (38,0) x19 = 393
62.69/55.59	c (38,0) x190 = 213
62.69/55.59	c (38,0) x191 = 215
62.69/55.59	c (38,0) x192 = 0
62.69/55.59	c (38,0) x193 = 2
62.69/55.59	c (38,0) x194 = 297
62.69/55.59	c (38,0) x195 = 295
62.69/55.59	c (38,0) x196 = 559
62.69/55.59	c (38,0) x197 = 558
62.69/55.59	c (38,0) x198 = 463
62.69/55.59	c (38,0) x199 = 464
62.69/55.59	c (38,0) x2 = 463
62.69/55.59	c (38,0) x20 = 277
62.69/55.59	c (38,0) x21 = 278
62.69/55.59	c (38,0) x22 = 152
62.69/55.59	c (38,0) x23 = 153
62.69/55.59	c (38,0) x24 = 251
62.69/55.59	c (38,0) x25 = 250
62.69/55.59	c (38,0) x26 = 56
62.69/55.59	c (38,0) x27 = 55
62.69/55.59	c (38,0) x28 = 27
62.69/55.59	c (38,0) x29 = 384
62.69/55.59	c (38,0) x3 = 464
62.69/55.59	c (38,0) x30 = 621
62.69/55.59	c (38,0) x31 = 622
62.69/55.59	c (38,0) x32 = 592
62.69/55.59	c (38,0) x33 = 591
62.69/55.59	c (38,0) x34 = 523
62.69/55.59	c (38,0) x35 = 522
62.69/55.59	c (38,0) x36 = 397
62.69/55.59	c (38,0) x37 = 396
62.69/55.59	c (38,0) x38 = 413
62.69/55.59	c (38,0) x39 = 414
62.69/55.59	c (38,0) x4 = 85
62.69/55.59	c (38,0) x40 = 117
62.69/55.59	c (38,0) x41 = 116
62.69/55.59	c (38,0) x42 = 75
62.69/55.59	c (38,0) x43 = 76
62.69/55.59	c (38,0) x44 = 285
62.69/55.59	c (38,0) x45 = 286
62.69/55.59	c (38,0) x46 = 555
62.69/55.59	c (38,0) x47 = 554
62.69/55.59	c (38,0) x48 = 215
62.69/55.59	c (38,0) x49 = 214
62.69/55.59	c (38,0) x5 = 86
62.69/55.59	c (38,0) x50 = 68
62.69/55.59	c (38,0) x51 = 69
62.69/55.59	c (38,0) x52 = 579
62.69/55.59	c (38,0) x53 = 580
62.69/55.59	c (38,0) x54 = 0
62.69/55.59	c (38,0) x55 = 3
62.69/55.59	c (38,0) x56 = 464
62.69/55.59	c (38,0) x57 = 465
62.69/55.59	c (38,0) x58 = 378
62.69/55.59	c (38,0) x59 = 376
62.69/55.59	c (38,0) x6 = 561
62.69/55.59	c (38,0) x60 = 354
62.69/55.59	c (38,0) x61 = 353
62.69/55.59	c (38,0) x62 = 373
62.69/55.59	c (38,0) x63 = 372
62.69/55.59	c (38,0) x64 = 253
62.69/55.59	c (38,0) x65 = 254
62.69/55.59	c (38,0) x66 = 500
62.69/55.59	c (38,0) x67 = 499
62.69/55.59	c (38,0) x68 = 462
62.69/55.59	c (38,0) x69 = 463
62.69/55.59	c (38,0) x7 = 621
62.69/55.59	c (38,0) x70 = 78
62.69/55.59	c (38,0) x71 = 79
62.69/55.59	c (38,0) x72 = 1
62.69/55.59	c (38,0) x73 = 0
62.69/55.59	c (38,0) x74 = 570
62.69/55.59	c (38,0) x75 = 571
62.69/55.59	c (38,0) x76 = 285
62.69/55.59	c (38,0) x77 = 286
62.69/55.59	c (38,0) x78 = 179
62.69/55.59	c (38,0) x79 = 180
62.69/55.59	c (38,0) x8 = 253
62.69/55.59	c (38,0) x80 = 80
62.69/55.59	c (38,0) x81 = 81
62.69/55.59	c (38,0) x82 = 500
62.69/55.59	c (38,0) x83 = 499
62.69/55.59	c (38,0) x84 = 349
62.69/55.59	c (38,0) x85 = 348
62.69/55.59	c (38,0) x86 = 234
62.69/55.59	c (38,0) x87 = 188
62.69/55.59	c (38,0) x88 = 246
62.69/55.59	c (38,0) x89 = 247
62.69/55.59	c (38,0) x9 = 254
62.69/55.59	c (38,0) x90 = 159
62.69/55.59	c (38,0) x91 = 170
62.69/55.59	c (38,0) x92 = 422
62.69/55.59	c (38,0) x93 = 421
62.69/55.59	c (38,0) x94 = 255
62.69/55.59	c (38,0) x95 = 254
62.69/55.59	c (38,0) x96 = 308
62.69/55.59	c (38,0) x97 = 307
62.69/55.59	c (38,0) x98 = 16
62.69/55.59	c (38,0) x99 = 20
62.69/55.59	s SATISFIABLE
62.69/55.59	v <instantiation>
62.69/55.59	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</list>
62.69/55.59	v     <values>205 204 463 464 85 86 561 621 253 254 137 136 567 566 6 5 301 302 394 393 277 278 152 153 251 250 56 55 27 384 621 622 592 591 523 522 397 396 413 414 117 116 75 76 285 286 555 554 215 214 68 69 579 580 0 3 464 465 378 376 354 353 373 372 253 254 500 499 462 463 78 79 1 0 570 571 285 286 179 180 80 81 500 499 349 348 234 188 246 247 159 170 422 421 255 254 308 307 16 20 320 322 152 153 215 214 137 138 377 376 463 464 561 560 252 253 8 7 75 76 210 209 328 303 500 501 400 399 114 115 560 559 611 610 72 68 10 11 353 354 567 641 610 609 303 304 402 403 0 1 580 581 199 198 149 150 68 69 500 499 85 83 213 214 300 299 377 378 0 1 370 369 453 452 563 57 605 604 39 40 172 171 85 83 329 328 422 421 137 138 213 215 0 2 297 295 559 558 463 464</values>
62.69/55.59	v </instantiation>
62.69/55.59	c (38,0) Show results End
62.94/55.60	c (38,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
62.94/55.60	c (38,0) 38,38,STOP-AFTER(ALL)
62.94/55.60	c END-Prog: Thu Sep 12 16:08:37 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 (12830 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388223-1568297302/watcher-4388223-1568297302 -o /tmp/evaluation-result-4388223-1568297302/solver-4388223-1568297302 -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-4388223-1568297302.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
Current StackSize limit: 8192 KiB

solver pid=9503, runsolver pid=9500

[startup+0.100146 s]*
/proc/loadavg: 1.95 2.02 2.28 5/234 9520
/proc/meminfo: memFree=27556164/32770624 swapFree=66998516/67108860
[pid=9503] ppid=9500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9503/stat : 9503 (scop.sh) S 9500 9503 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405999035 115843072 349 33554432000 4194304 5098028 140724029580768 140724029578024 139754440925820 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18780160 140724029588264 140724029588592 140724029588592 140724029591501 0
/proc/9503/statm: 28282 349 296 221 0 87 0
[pid=9506] ppid=9503 vsize=15012696 memory=73712 CPUtime=0.11 cores=0,2,4,6
/proc/9506/stat : 9506 (java) S 9503 9503 4978 0 -1 1077944320 6716 0 0 0 9 2 0 0 20 0 15 0 405999035 15373000704 18428 33554432000 4194304 4196468 140736963858672 140736963841216 139837051330295 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
/proc/9506/statm: 3753174 18428 2926 1 0 3715579 0
[pid=9506/tid=9507] ppid=9503 vsize=15012696 memory=576460756329985062 CPUtime=0.09 cores=0,2,4,6
/proc/9506/task/9507/stat : 9507 (java) R 9503 9503 4978 0 -1 4202560 4563 0 0 0 8 1 0 0 20 0 15 0 405999035 15373000704 18428 33554432000 4194304 4196468 140736963858672 139837023114296 139837035410782 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9508] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9508/stat : 9508 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 18428 33554432000 4194304 4196468 140736963858672 139837055572880 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9509] ppid=9503 vsize=15012696 memory=16247583011997336 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9509/stat : 9509 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 18428 33554432000 4194304 4196468 140736963858672 139836888951568 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9510] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9510/stat : 9510 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 18428 33554432000 4194304 4196468 140736963858672 139836510952592 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9511] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9511/stat : 9511 (java) S 9503 9503 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 18428 33554432000 4194304 4196468 140736963858672 139836509899792 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9512] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9512/stat : 9512 (java) S 9503 9503 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405999039 15373000704 18428 33554432000 4194304 4196468 140736963858672 139835820550256 139837051341442 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9513] ppid=9503 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9513/stat : 9513 (java) S 9503 9503 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405999039 15373000704 18428 33554432000 4194304 4196468 140736963858672 139835746542368 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9514] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9514/stat : 9514 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999039 15373000704 18493 33554432000 4194304 4196468 140736963858672 139835478107248 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9515] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9515/stat : 9515 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 18493 33554432000 4194304 4196468 140736963858672 139835103598672 139837051348891 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9516] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9516/stat : 9516 (java) S 9503 9503 4978 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 18493 33554432000 4194304 4196468 140736963858672 139835819498096 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9517] ppid=9503 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9517/stat : 9517 (java) S 9503 9503 4978 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 18493 33554432000 4194304 4196468 140736963858672 139835818445296 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9518] ppid=9503 vsize=15012696 memory=140612881843840 CPUtime=0.01 cores=0,2,4,6
/proc/9506/task/9518/stat : 9518 (java) R 9503 9503 4978 0 -1 4202560 399 0 0 0 1 0 0 0 20 0 15 0 405999042 15373000704 18559 33554432000 4194304 4196468 140736963858672 139835817393008 139837030133424 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9519] ppid=9503 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9519/stat : 9519 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 18559 33554432000 4194304 4196468 140736963858672 139834605693920 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9520] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9520/stat : 9520 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 18559 33554432000 4194304 4196468 140736963858672 139835816339888 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75108 KiB

[startup+0.210939 s]*
/proc/loadavg: 1.95 2.02 2.28 3/234 9520
/proc/meminfo: memFree=27537500/32770624 swapFree=66998516/67108860
[pid=9503] ppid=9500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9503/stat : 9503 (scop.sh) S 9500 9503 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405999035 115843072 349 33554432000 4194304 5098028 140724029580768 140724029578024 139754440925820 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18780160 140724029588264 140724029588592 140724029588592 140724029591501 0
/proc/9503/statm: 28282 349 296 221 0 87 0
[pid=9506] ppid=9503 vsize=15012696 memory=89880 CPUtime=0.25 cores=0,2,4,6
/proc/9506/stat : 9506 (java) S 9503 9503 4978 0 -1 1077944320 11983 0 0 0 21 4 0 0 20 0 15 0 405999035 15373000704 22470 33554432000 4194304 4196468 140736963858672 140736963841216 139837051330295 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
/proc/9506/statm: 3753174 22470 2950 1 0 3715579 0
[pid=9506/tid=9507] ppid=9503 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/9506/task/9507/stat : 9507 (java) R 9503 9503 4978 0 -1 4202560 9670 0 0 0 17 3 0 0 20 0 15 0 405999035 15373000704 22470 33554432000 4194304 4196468 140736963858672 139837023152832 139837051352221 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9508] ppid=9503 vsize=15012696 memory=547 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9508/stat : 9508 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 22470 33554432000 4194304 4196468 140736963858672 139837055572880 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9509] ppid=9503 vsize=15012696 memory=140612881853600 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9509/stat : 9509 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 22470 33554432000 4194304 4196468 140736963858672 139836888951568 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9510] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9510/stat : 9510 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 22470 33554432000 4194304 4196468 140736963858672 139836510952592 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9511] ppid=9503 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9511/stat : 9511 (java) S 9503 9503 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 22470 33554432000 4194304 4196468 140736963858672 139836509899792 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9512] ppid=9503 vsize=15012696 memory=140612881843840 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9512/stat : 9512 (java) S 9503 9503 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405999039 15373000704 22470 33554432000 4194304 4196468 140736963858672 139835820550256 139837051341442 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9513] ppid=9503 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9513/stat : 9513 (java) S 9503 9503 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405999039 15373000704 22470 33554432000 4194304 4196468 140736963858672 139835746542368 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9514] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9514/stat : 9514 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999039 15373000704 22470 33554432000 4194304 4196468 140736963858672 139835478107248 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9515] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9515/stat : 9515 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 22470 33554432000 4194304 4196468 140736963858672 139835103598672 139837051348891 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9516] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9516/stat : 9516 (java) S 9503 9503 4978 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 22470 33554432000 4194304 4196468 140736963858672 139835819498096 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9517] ppid=9503 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9517/stat : 9517 (java) S 9503 9503 4978 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 22470 33554432000 4194304 4196468 140736963858672 139835818445296 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9518] ppid=9503 vsize=15012696 memory=140612881843840 CPUtime=0.02 cores=0,2,4,6
/proc/9506/task/9518/stat : 9518 (java) S 9503 9503 4978 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 15 0 405999042 15373000704 22470 33554432000 4194304 4196468 140736963858672 139835817393008 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9519] ppid=9503 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9519/stat : 9519 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 22470 33554432000 4194304 4196468 140736963858672 139834605693920 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9520] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9520/stat : 9520 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 22470 33554432000 4194304 4196468 140736963858672 139835816339888 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91276 KiB

[startup+0.310583 s]*
/proc/loadavg: 1.95 2.02 2.28 4/234 9520
/proc/meminfo: memFree=27535328/32770624 swapFree=66998516/67108860
[pid=9503] ppid=9500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9503/stat : 9503 (scop.sh) S 9500 9503 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405999035 115843072 349 33554432000 4194304 5098028 140724029580768 140724029578024 139754440925820 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18780160 140724029588264 140724029588592 140724029588592 140724029591501 0
/proc/9503/statm: 28282 349 296 221 0 87 0
[pid=9506] ppid=9503 vsize=15012696 memory=93780 CPUtime=0.44 cores=0,2,4,6
/proc/9506/stat : 9506 (java) S 9503 9503 4978 0 -1 1077944320 12439 0 0 0 40 4 0 0 20 0 15 0 405999035 15373000704 23445 33554432000 4194304 4196468 140736963858672 140736963841216 139837051330295 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
/proc/9506/statm: 3753174 23445 3083 1 0 3715579 0
[pid=9506/tid=9507] ppid=9503 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/9506/task/9507/stat : 9507 (java) R 9503 9503 4978 0 -1 4202560 9853 0 0 0 27 3 0 0 20 0 15 0 405999035 15373000704 23445 33554432000 4194304 4196468 140736963858672 139837023144160 139837032893864 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9508] ppid=9503 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9508/stat : 9508 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 23445 33554432000 4194304 4196468 140736963858672 139837055572880 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9509] ppid=9503 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9509/stat : 9509 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 23445 33554432000 4194304 4196468 140736963858672 139836888951568 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9510] ppid=9503 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9510/stat : 9510 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 23445 33554432000 4194304 4196468 140736963858672 139836510952592 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9511] ppid=9503 vsize=15012696 memory=6935643041935500690 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9511/stat : 9511 (java) S 9503 9503 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405999037 15373000704 23445 33554432000 4194304 4196468 140736963858672 139836509899792 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9512] ppid=9503 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9512/stat : 9512 (java) S 9503 9503 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405999039 15373000704 23445 33554432000 4194304 4196468 140736963858672 139835820550256 139837051341442 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9513] ppid=9503 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9513/stat : 9513 (java) S 9503 9503 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405999039 15373000704 23445 33554432000 4194304 4196468 140736963858672 139835746542368 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9514] ppid=9503 vsize=15012696 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9514/stat : 9514 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999039 15373000704 23445 33554432000 4194304 4196468 140736963858672 139835478107248 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9515] ppid=9503 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9515/stat : 9515 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 23445 33554432000 4194304 4196468 140736963858672 139835103598672 139837051348891 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9516] ppid=9503 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9506/task/9516/stat : 9516 (java) S 9503 9503 4978 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 15 0 405999042 15373000704 23445 33554432000 4194304 4196468 140736963858672 139835819498096 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9517] ppid=9503 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9506/task/9517/stat : 9517 (java) S 9503 9503 4978 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 405999042 15373000704 23445 33554432000 4194304 4196468 140736963858672 139835818445296 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9518] ppid=9503 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9506/task/9518/stat : 9518 (java) S 9503 9503 4978 0 -1 1077944384 575 0 0 0 7 0 0 0 20 0 15 0 405999042 15373000704 23445 33554432000 4194304 4196468 140736963858672 139835817393008 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9519] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9519/stat : 9519 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 23445 33554432000 4194304 4196468 140736963858672 139834605693920 139837051340501 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9520] ppid=9503 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9520/stat : 9520 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999042 15373000704 23445 33554432000 4194304 4196468 140736963858672 139835816339888 139837051341442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 95176 KiB

[startup+0.708786 s]
/proc/loadavg: 1.95 2.02 2.28 3/234 9520
/proc/meminfo: memFree=27513156/32770624 swapFree=66998516/67108860
[pid=9503] ppid=9500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9503/stat : 9503 (scop.sh) S 9500 9503 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405999035 115843072 349 33554432000 4194304 5098028 140724029580768 140724029578024 139754440925820 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18780160 140724029588264 140724029588592 140724029588592 140724029591501 0
/proc/9503/statm: 28282 349 296 221 0 87 0
[pid=9506] ppid=9503 vsize=15018968 memory=130752 CPUtime=1.02 cores=0,2,4,6
/proc/9506/stat : 9506 (java) S 9503 9503 4978 0 -1 1077944320 20000 0 0 0 96 6 0 0 20 0 15 0 405999035 15379423232 32688 33554432000 4194304 4196468 140736963858672 140736963841216 139837051330295 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
/proc/9506/statm: 3754742 32688 3182 1 0 3716091 0
[pid=9506/tid=9507] ppid=9503 vsize=15018968 memory=1204 CPUtime=0.68 cores=0,2,4,6
/proc/9506/task/9507/stat : 9507 (java) R 9503 9503 4978 0 -1 4202560 16775 0 0 0 63 5 0 0 20 0 15 0 405999035 15379423232 32688 33554432000 4194304 4196468 140736963858672 139837023167648 139836553374976 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9508] ppid=9503 vsize=15018968 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9508/stat : 9508 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15379423232 32688 33554432000 4194304 4196468 140736963858672 139837055572880 139837051340501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9509] ppid=9503 vsize=15018968 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9509/stat : 9509 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15379423232 32688 33554432000 4194304 4196468 140736963858672 139836888951568 139837051340501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9510] ppid=9503 vsize=15018968 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9510/stat : 9510 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999037 15379423232 32688 33554432000 4194304 4196468 140736963858672 139836510952592 139837051340501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9511] ppid=9503 vsize=15018968 memory=780 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9511/stat : 9511 (java) S 9503 9503 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405999037 15379423232 32688 33554432000 4194304 4196468 140736963858672 139836509899792 139837051340501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9512] ppid=9503 vsize=15018968 memory=620 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9512/stat : 9512 (java) S 9503 9503 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405999039 15379423232 32688 33554432000 4194304 4196468 140736963858672 139835820550256 139837051341442 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9513] ppid=9503 vsize=15018968 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9513/stat : 9513 (java) S 9503 9503 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405999039 15379423232 32688 33554432000 4194304 4196468 140736963858672 139835746542368 139837051340501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9514] ppid=9503 vsize=15018968 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9514/stat : 9514 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999039 15379423232 32688 33554432000 4194304 4196468 140736963858672 139835478107248 139837051340501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9515] ppid=9503 vsize=15018968 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9515/stat : 9515 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405999042 15379423232 32688 33554432000 4194304 4196468 140736963858672 139835103598672 139837051348891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9516] ppid=9503 vsize=15018968 memory=14012 CPUtime=0.07 cores=0,2,4,6
/proc/9506/task/9516/stat : 9516 (java) R 9503 9503 4978 0 -1 1077944384 642 0 0 0 7 0 0 0 20 0 15 0 405999042 15379423232 32688 33554432000 4194304 4196468 140736963858672 139835819498096 139837051341442 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9517] ppid=9503 vsize=15018968 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/9506/task/9517/stat : 9517 (java) R 9503 9503 4978 0 -1 4202560 459 0 0 0 8 0 0 0 20 0 15 0 405999042 15379423232 32688 33554432000 4194304 4196468 140736963858672 139835818445296 139837044315337 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9518] ppid=9503 vsize=15018968 memory=20536 CPUtime=0.16 cores=0,2,4,6
/proc/9506/task/9518/stat : 9518 (java) R 9503 9503 4978 0 -1 4202560 789 0 0 0 16 0 0 0 20 0 15 0 405999042 15379423232 32688 33554432000 4194304 4196468 140736963858672 139835817388688 139837030275973 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9519] ppid=9503 vsize=15018968 memory=3472323897372783584 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9519/stat : 9519 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405999042 15379423232 32688 33554432000 4194304 4196468 140736963858672 139834605693920 139837051340501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
[pid=9506/tid=9520] ppid=9503 vsize=15018968 memory=140612733011824 CPUtime=0 cores=0,2,4,6
/proc/9506/task/9520/stat : 9520 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405999042 15379423232 32688 33554432000 4194304 4196468 140736963858672 139835816339888 139837051341442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24866816 140736963867375 140736963867802 140736963867802 140736963870671 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132148 KiB

[startup+1.50106 s]
/proc/loadavg: 1.95 2.02 2.28 6/234 9520
/proc/meminfo: memFree=27474256/32770624 swapFree=66998516/67108860
[pid=9503] ppid=9500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9503/stat : 9503 (scop.sh) S 9500 9503 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405999035 115843072 349 33554432000 4194304 5098028 140724029580768 140724029578024 139754440925820 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18780160 140724029588264 140724029588592 140724029588592 140724029591501 0
/proc/9503/statm: 28282 349 296 221 0 87 0

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

/proc/9523/task/9539/stat : 9539 (java) S 9503 9503 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406000749 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171626734656 140172173451033 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9541] ppid=9503 vsize=8068440 memory=6155383337252394150 CPUtime=0.01 cores=0,2,4,6
/proc/9523/task/9541/stat : 9541 (java) S 9503 9503 4978 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 406000749 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169344691824 140172173448349 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9542] ppid=9503 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9542/stat : 9542 (java) S 9503 9503 4978 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406000750 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169478913808 140172173448349 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9543] ppid=9503 vsize=8068440 memory=281225467049040 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9543/stat : 9543 (java) S 9503 9503 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406000752 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169076268592 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
Current children cumulated CPU time: 59.77 s
Current children cumulated vsize: 8498076 KiB
Current children cumulated memory: 404384 KiB

[startup+54.4009 s]
/proc/loadavg: 2.04 2.03 2.27 3/240 9545
/proc/meminfo: memFree=27147416/32770624 swapFree=66998516/67108860
[pid=9503] ppid=9500 vsize=113128 memory=1476 CPUtime=22.85 cores=0,2,4,6
/proc/9503/stat : 9503 (scop.sh) S 9500 9503 4978 0 -1 4202496 584 31088 0 0 0 0 2211 74 20 0 1 0 405999035 115843072 369 33554432000 4194304 5098028 140724029580768 140724029577512 139754440925820 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18780160 140724029588264 140724029588592 140724029588592 140724029591501 0
/proc/9503/statm: 28282 369 311 221 0 87 0
[pid=9523] ppid=9503 vsize=8068440 memory=120912 CPUtime=1.28 cores=0,2,4,6
/proc/9523/stat : 9523 (java) S 9503 9503 4978 0 -1 1077944320 20100 0 0 0 120 8 0 0 20 0 19 0 406000675 8262082560 30228 33554432000 4194304 4196468 140731425698832 140731425681376 140172173426423 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
/proc/9523/statm: 2017110 30228 3206 1 0 1978454 0
[pid=9538] ppid=9523 vsize=316508 memory=284044 CPUtime=37.24 cores=0,2,4,6
/proc/9538/stat : 9538 (glueminisat-sim) R 9523 9503 4978 0 -1 4202496 299422 0 0 0 3682 42 0 0 20 0 1 0 406000749 324104192 71011 33554432000 4194304 4452875 140733550356368 140733550351464 4372270 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 8298496 140733550363488 140733550363687 140733550363687 140733550366637 0
/proc/9538/statm: 79127 71011 378 64 0 75331 0
[pid=9523/tid=9524] ppid=9503 vsize=8068440 memory=120912 CPUtime=0.76 cores=0,2,4,6
/proc/9523/task/9524/stat : 9524 (java) S 9503 9503 4978 0 -1 1077944384 16692 0 0 0 71 5 0 0 20 0 19 0 406000676 8262082560 30228 33554432000 4194304 4196468 140731425698832 140172145266592 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9525] ppid=9503 vsize=8068440 memory=281996 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9525/stat : 9525 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406000677 8262082560 30228 33554432000 4194304 4196468 140731425698832 140172177668880 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9526] ppid=9503 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9526/stat : 9526 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406000677 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171977837456 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9527] ppid=9503 vsize=8068440 memory=120912 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9527/stat : 9527 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406000677 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171976784912 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9528] ppid=9503 vsize=8068440 memory=284044 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9528/stat : 9528 (java) S 9503 9503 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406000677 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171975732368 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9529] ppid=9503 vsize=8068440 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9529/stat : 9529 (java) S 9503 9503 4978 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 406000678 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171551930352 140172173437570 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9530] ppid=9503 vsize=8068440 memory=620 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9530/stat : 9530 (java) S 9503 9503 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406000679 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171022427040 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9531] ppid=9503 vsize=8068440 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9531/stat : 9531 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406000679 8262082560 30228 33554432000 4194304 4196468 140731425698832 140170753991664 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9532] ppid=9503 vsize=8068440 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9532/stat : 9532 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406000681 8262082560 30228 33554432000 4194304 4196468 140731425698832 140170379483344 140172173445019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9533] ppid=9503 vsize=8068440 memory=5900 CPUtime=0.09 cores=0,2,4,6
/proc/9523/task/9533/stat : 9533 (java) S 9503 9503 4978 0 -1 1077944384 691 0 0 0 9 0 0 0 20 0 19 0 406000681 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171550878192 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9534] ppid=9503 vsize=8068440 memory=14012 CPUtime=0.13 cores=0,2,4,6
/proc/9523/task/9534/stat : 9534 (java) S 9503 9503 4978 0 -1 1077944384 684 0 0 0 13 0 0 0 20 0 19 0 406000681 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171549825648 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9535] ppid=9503 vsize=8068440 memory=2116 CPUtime=0.22 cores=0,2,4,6
/proc/9523/task/9535/stat : 9535 (java) S 9503 9503 4978 0 -1 1077944384 612 0 0 0 22 0 0 0 20 0 19 0 406000681 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171548773104 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9536] ppid=9503 vsize=8068440 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9536/stat : 9536 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406000682 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169881578592 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9537] ppid=9503 vsize=8068440 memory=1204 CPUtime=0.01 cores=0,2,4,6
/proc/9523/task/9537/stat : 9537 (java) S 9503 9503 4978 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 406000682 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171547719984 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9539] ppid=9503 vsize=8068440 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9539/stat : 9539 (java) S 9503 9503 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406000749 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171626734656 140172173451033 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9541] ppid=9503 vsize=8068440 memory=9592 CPUtime=0.01 cores=0,2,4,6
/proc/9523/task/9541/stat : 9541 (java) S 9503 9503 4978 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 406000749 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169344691824 140172173448349 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9542] ppid=9503 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9542/stat : 9542 (java) S 9503 9503 4978 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406000750 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169478913808 140172173448349 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9543] ppid=9503 vsize=8068440 memory=780 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9543/stat : 9543 (java) S 9503 9503 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406000752 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169076268592 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
Current children cumulated CPU time: 61.37 s
Current children cumulated vsize: 8498076 KiB
Current children cumulated memory: 406432 KiB

[startup+55.2009 s]
/proc/loadavg: 2.04 2.03 2.27 3/240 9545
/proc/meminfo: memFree=27147416/32770624 swapFree=66998516/67108860
[pid=9503] ppid=9500 vsize=113128 memory=1476 CPUtime=22.85 cores=0,2,4,6
/proc/9503/stat : 9503 (scop.sh) S 9500 9503 4978 0 -1 4202496 584 31088 0 0 0 0 2211 74 20 0 1 0 405999035 115843072 369 33554432000 4194304 5098028 140724029580768 140724029577512 139754440925820 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18780160 140724029588264 140724029588592 140724029588592 140724029591501 0
/proc/9503/statm: 28282 369 311 221 0 87 0
[pid=9523] ppid=9503 vsize=8068440 memory=120912 CPUtime=1.28 cores=0,2,4,6
/proc/9523/stat : 9523 (java) S 9503 9503 4978 0 -1 1077944320 20100 0 0 0 120 8 0 0 20 0 19 0 406000675 8262082560 30228 33554432000 4194304 4196468 140731425698832 140731425681376 140172173426423 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
/proc/9523/statm: 2017110 30228 3206 1 0 1978454 0
[pid=9538] ppid=9523 vsize=316508 memory=284044 CPUtime=38.04 cores=0,2,4,6
/proc/9538/stat : 9538 (glueminisat-sim) R 9523 9503 4978 0 -1 4202496 299610 0 0 0 3762 42 0 0 20 0 1 0 406000749 324104192 71011 33554432000 4194304 4452875 140733550356368 140733550351464 4373054 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552096 6554264 8298496 140733550363488 140733550363687 140733550363687 140733550366637 0
/proc/9538/statm: 79127 71011 378 64 0 75331 0
[pid=9523/tid=9524] ppid=9503 vsize=8068440 memory=928 CPUtime=0.76 cores=0,2,4,6
/proc/9523/task/9524/stat : 9524 (java) S 9503 9503 4978 0 -1 1077944384 16692 0 0 0 71 5 0 0 20 0 19 0 406000676 8262082560 30228 33554432000 4194304 4196468 140731425698832 140172145266592 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9525] ppid=9503 vsize=8068440 memory=3536 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9525/stat : 9525 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406000677 8262082560 30228 33554432000 4194304 4196468 140731425698832 140172177668880 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9526] ppid=9503 vsize=8068440 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9526/stat : 9526 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406000677 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171977837456 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9527] ppid=9503 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9527/stat : 9527 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406000677 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171976784912 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9528] ppid=9503 vsize=8068440 memory=120912 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9528/stat : 9528 (java) S 9503 9503 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406000677 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171975732368 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9529] ppid=9503 vsize=8068440 memory=281996 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9529/stat : 9529 (java) S 9503 9503 4978 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 406000678 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171551930352 140172173437570 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9530] ppid=9503 vsize=8068440 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9530/stat : 9530 (java) S 9503 9503 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406000679 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171022427040 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9531] ppid=9503 vsize=8068440 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9531/stat : 9531 (java) S 9503 9503 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406000679 8262082560 30228 33554432000 4194304 4196468 140731425698832 140170753991664 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9532] ppid=9503 vsize=8068440 memory=20536 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9532/stat : 9532 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406000681 8262082560 30228 33554432000 4194304 4196468 140731425698832 140170379483344 140172173445019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9533] ppid=9503 vsize=8068440 memory=14068 CPUtime=0.09 cores=0,2,4,6
/proc/9523/task/9533/stat : 9533 (java) S 9503 9503 4978 0 -1 1077944384 691 0 0 0 9 0 0 0 20 0 19 0 406000681 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171550878192 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9534] ppid=9503 vsize=8068440 memory=524 CPUtime=0.13 cores=0,2,4,6
/proc/9523/task/9534/stat : 9534 (java) S 9503 9503 4978 0 -1 1077944384 684 0 0 0 13 0 0 0 20 0 19 0 406000681 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171549825648 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9535] ppid=9503 vsize=8068440 memory=2024 CPUtime=0.22 cores=0,2,4,6
/proc/9523/task/9535/stat : 9535 (java) S 9503 9503 4978 0 -1 1077944384 612 0 0 0 22 0 0 0 20 0 19 0 406000681 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171548773104 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9536] ppid=9503 vsize=8068440 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9536/stat : 9536 (java) S 9503 9503 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406000682 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169881578592 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9537] ppid=9503 vsize=8068440 memory=4148 CPUtime=0.01 cores=0,2,4,6
/proc/9523/task/9537/stat : 9537 (java) S 9503 9503 4978 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 406000682 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171547719984 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9539] ppid=9503 vsize=8068440 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9539/stat : 9539 (java) S 9503 9503 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406000749 8262082560 30228 33554432000 4194304 4196468 140731425698832 140171626734656 140172173451033 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9541] ppid=9503 vsize=8068440 memory=1204 CPUtime=0.01 cores=0,2,4,6
/proc/9523/task/9541/stat : 9541 (java) S 9503 9503 4978 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 406000749 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169344691824 140172173448349 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9542] ppid=9503 vsize=8068440 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9542/stat : 9542 (java) S 9503 9503 4978 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406000750 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169478913808 140172173448349 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9543] ppid=9503 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9523/task/9543/stat : 9543 (java) S 9503 9503 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406000752 8262082560 30228 33554432000 4194304 4196468 140731425698832 140169076268592 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
Current children cumulated CPU time: 62.17 s
Current children cumulated vsize: 8498076 KiB
Current children cumulated memory: 406432 KiB

[startup+55.6008 s]
/proc/loadavg: 2.04 2.03 2.27 3/240 9545
/proc/meminfo: memFree=27147416/32770624 swapFree=66998516/67108860
[pid=9503] ppid=9500 vsize=113128 memory=1476 CPUtime=22.85 cores=0,2,4,6
/proc/9503/stat : 9503 (scop.sh) S 9500 9503 4978 0 -1 4202496 584 31088 0 0 0 0 2211 74 20 0 1 0 405999035 115843072 369 33554432000 4194304 5098028 140724029580768 140724029577512 139754440925820 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18780160 140724029588264 140724029588592 140724029588592 140724029591501 0
/proc/9503/statm: 28282 369 311 221 0 87 0
[pid=9523] ppid=9503 vsize=7937364 memory=162636 CPUtime=40.09 cores=0,2,4,6
/proc/9523/stat : 9523 (java) S 9503 9503 4978 0 -1 1077944320 22495 299962 0 0 175 10 3780 44 20 0 17 0 406000675 8127860736 40659 33554432000 4194304 4196468 140731425698832 140731425681376 140172173426423 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
/proc/9523/statm: 1984341 40659 3228 1 0 1945685 0
[pid=9523/tid=9524] ppid=9503 vsize=7937364 memory=37576 CPUtime=39.14 cores=0,2,4,6
/proc/9523/task/9524/stat : 9524 (java) R 9503 9503 4978 0 -1 4202560 18047 299962 0 0 83 7 3780 44 20 0 17 0 406000676 8127860736 40659 33554432000 4194304 4196468 140731425698832 140172145252960 140172166112055 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9525] ppid=9503 vsize=7937364 memory=988 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9525/stat : 9525 (java) S 9503 9503 4978 0 -1 1077944384 1 299962 0 0 0 0 3780 44 20 0 17 0 406000677 8127860736 40659 33554432000 4194304 4196468 140731425698832 140172177668880 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9526] ppid=9503 vsize=7937364 memory=2024 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9526/stat : 9526 (java) S 9503 9503 4978 0 -1 1077944384 1 299962 0 0 0 0 3780 44 20 0 17 0 406000677 8127860736 40659 33554432000 4194304 4196468 140731425698832 140171977837456 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9527] ppid=9503 vsize=7937364 memory=1428 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9527/stat : 9527 (java) S 9503 9503 4978 0 -1 1077944384 1 299962 0 0 0 0 3780 44 20 0 17 0 406000677 8127860736 40659 33554432000 4194304 4196468 140731425698832 140171976784912 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9528] ppid=9503 vsize=7937364 memory=1052 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9528/stat : 9528 (java) S 9503 9503 4978 0 -1 1077944384 2 299962 0 0 0 0 3780 44 20 0 17 0 406000677 8127860736 40659 33554432000 4194304 4196468 140731425698832 140171975732368 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9529] ppid=9503 vsize=7937364 memory=5900 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9529/stat : 9529 (java) S 9503 9503 4978 0 -1 1077944384 8 299962 0 0 0 0 3780 44 20 0 17 0 406000678 8127860736 40659 33554432000 4194304 4196468 140731425698832 140171551930352 140172173437570 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9530] ppid=9503 vsize=7937364 memory=14012 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9530/stat : 9530 (java) S 9503 9503 4978 0 -1 1077944384 13 299962 0 0 0 0 3780 44 20 0 17 0 406000679 8127860736 40659 33554432000 4194304 4196468 140731425698832 140171022427040 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9531] ppid=9503 vsize=7937364 memory=2116 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9531/stat : 9531 (java) S 9503 9503 4978 0 -1 1077944384 1 299962 0 0 0 0 3780 44 20 0 17 0 406000679 8127860736 40659 33554432000 4194304 4196468 140731425698832 140170753991664 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9532] ppid=9503 vsize=7937364 memory=20536 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9532/stat : 9532 (java) S 9503 9503 4978 0 -1 1077944384 3 299962 0 0 0 0 3780 44 20 0 17 0 406000681 8127860736 40659 33554432000 4194304 4196468 140731425698832 140170379483344 140172173445019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9533] ppid=9503 vsize=7937364 memory=14068 CPUtime=38.45 cores=0,2,4,6
/proc/9523/task/9533/stat : 9533 (java) S 9503 9503 4978 0 -1 1077944384 743 299962 0 0 21 0 3780 44 20 0 17 0 406000681 8127860736 40659 33554432000 4194304 4196468 140731425698832 140171550878192 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9534] ppid=9503 vsize=7937364 memory=524 CPUtime=38.48 cores=0,2,4,6
/proc/9523/task/9534/stat : 9534 (java) R 9503 9503 4978 0 -1 4202560 793 299962 0 0 24 0 3780 44 20 0 17 0 406000681 8127860736 40659 33554432000 4194304 4196468 140731425698832 140171549816976 140172156920432 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9535] ppid=9503 vsize=7937364 memory=1568 CPUtime=38.56 cores=0,2,4,6
/proc/9523/task/9535/stat : 9535 (java) S 9503 9503 4978 0 -1 1077944384 1298 299962 0 0 32 0 3780 44 20 0 17 0 406000681 8127860736 40659 33554432000 4194304 4196468 140731425698832 140171548773104 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9536] ppid=9503 vsize=7937364 memory=928 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9536/stat : 9536 (java) S 9503 9503 4978 0 -1 1077944384 3 299962 0 0 0 0 3780 44 20 0 17 0 406000682 8127860736 40659 33554432000 4194304 4196468 140731425698832 140169881578592 140172173436629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9537] ppid=9503 vsize=7937364 memory=3536 CPUtime=38.25 cores=0,2,4,6
/proc/9523/task/9537/stat : 9537 (java) S 9503 9503 4978 0 -1 1077944384 5 299962 0 0 1 0 3780 44 20 0 17 0 406000682 8127860736 40659 33554432000 4194304 4196468 140731425698832 140171547719984 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9539] ppid=9503 vsize=7937364 memory=1976 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9539/stat : 9539 (java) S 9503 9503 4978 0 -1 1077944384 24 299962 0 0 0 0 3780 44 20 0 17 0 406000749 8127860736 40659 33554432000 4194304 4196468 140731425698832 140171626733840 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
[pid=9523/tid=9543] ppid=9503 vsize=7937364 memory=2408 CPUtime=38.24 cores=0,2,4,6
/proc/9523/task/9543/stat : 9543 (java) S 9503 9503 4978 0 -1 1077944384 10 299962 0 0 0 0 3780 44 20 0 17 0 406000752 8127860736 40659 33554432000 4194304 4196468 140731425698832 140169076270384 140172173437570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14954496 140731425707004 140731425707162 140731425707162 140731425710031 0
Current children cumulated CPU time: 62.94 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 164112 KiB

Child status: 0
Real time (s): 55.617
CPU time (s): 62.9913
CPU user time (s): 61.6789
CPU system time (s): 1.31245
CPU usage (%): 113.259
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 3080784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.6789
system time used= 1.31245
maximum resident set size= 3080776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 140056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6653
involuntary context switches= 145


# summary of solver processes directly reported to runsolver:
#   pid: 9503
#   total CPU time (s): 62.9913
#   total CPU user time (s): 61.6789
#   total CPU system time (s): 1.31245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.422716 second user time and 0.631772 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-12 16:07:42
IDJOB=4388223
IDBENCH=138445
IDSOLVER=2825
FILE ID=node127/4388223-1568297302
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-os10/SuperTaillard-os-10-01.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-4388223-1568297302/watcher-4388223-1568297302 -o /tmp/evaluation-result-4388223-1568297302/solver-4388223-1568297302 -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-4388223-1568297302.xml

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

MD5SUM BENCH= a0db4e7a601eb58dee5216b17e791c99
RANDOM SEED=792327120

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:        27616816 kB
MemAvailable:   31290500 kB
Buffers:           84900 kB
Cached:          3857792 kB
SwapCached:         6784 kB
Active:          2763496 kB
Inactive:        1777652 kB
Active(anon):     590592 kB
Inactive(anon):    49044 kB
Active(file):    2172904 kB
Inactive(file):  1728608 kB
Unevictable:      110596 kB
Mlocked:          110596 kB
SwapTotal:      67108860 kB
SwapFree:       66998516 kB
Dirty:             20620 kB
Writeback:             0 kB
AnonPages:        819872 kB
Mapped:            54764 kB
Shmem:             32692 kB
Slab:             204612 kB
SReclaimable:     176012 kB
SUnreclaim:        28600 kB
KernelStack:        4096 kB
PageTables:         7772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6514120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 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= 54316 MiB
End job on node127 at 2019-09-12 16:08:37