Trace number 4388229

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-26.xml
MD5SUM163dd1c4311ae2a810c887bcbec28782
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark15.5906
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains64
Minimum domain size413
Maximum domain size511
Distribution of domain sizes[{"size":413,"count":2},{"size":414,"count":2},{"size":415,"count":2},{"size":417,"count":2},{"size":418,"count":4},{"size":420,"count":2},{"size":421,"count":4},{"size":422,"count":4},{"size":423,"count":2},{"size":425,"count":2},{"size":428,"count":4},{"size":430,"count":4},{"size":432,"count":2},{"size":434,"count":2},{"size":435,"count":2},{"size":437,"count":4},{"size":439,"count":2},{"size":440,"count":2},{"size":443,"count":4},{"size":445,"count":8},{"size":447,"count":2},{"size":448,"count":2},{"size":450,"count":2},{"size":453,"count":6},{"size":456,"count":2},"...",{"size":478,"count":2}, {"size":479,"count":2}, {"size":481,"count":10}, {"size":482,"count":2}, {"size":484,"count":2}, {"size":485,"count":2}, {"size":486,"count":6}, {"size":487,"count":2}, {"size":488,"count":2}, {"size":489,"count":2}, {"size":490,"count":4}, {"size":491,"count":4}, {"size":492,"count":4}, {"size":493,"count":2}, {"size":494,"count":2}, {"size":495,"count":4}, {"size":496,"count":4}, {"size":497,"count":2}, {"size":499,"count":4}, {"size":501,"count":2}, {"size":502,"count":4}, {"size":503,"count":8}, {"size":504,"count":4}, {"size":507,"count":2}, {"size":511,"count":4}]
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-12521-serial-file.bin HOME/instance-4388229-1568297343.xml
0.65/0.53	
0.65/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Thu Sep 12 16:08:24 CEST 2019
0.65/0.56	c PID: 12524
0.65/0.56	c IP: 172.20.3.150
0.65/0.56	c HOST: node150.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.74/1.58	c (1,1) Parsing End
3.74/1.58	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 511
3.74/1.58	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.74/1.58	c (1,1) Constraint Name Generate Begin
4.04/1.61	c (1,1) Ctr:HOME/instance-4388229-1568297343.xml,Add:Le:Ne:Num:Or:Var
4.04/1.61	c (1,1) Constraint Name Generate End
4.04/1.61	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.04/1.61	c (1,1) CSP to CSPinCNF Begin
4.49/1.83	c (1,1) translated 280 (10%) constraints
4.49/1.88	c (1,1) translated 560 (20%) constraints
4.79/1.92	c (1,1) translated 840 (30%) constraints
4.79/1.95	c (1,1) translated 1120 (40%) constraints
4.79/1.98	c (1,1) translated 1400 (50%) constraints
5.08/2.01	c (1,1) translated 1680 (60%) constraints
5.08/2.03	c (1,1) translated 1960 (70%) constraints
5.08/2.05	c (1,1) translated 2240 (80%) constraints
5.08/2.07	c (1,1) translated 2520 (90%) constraints
5.08/2.09	c (1,1) translated 2800 (100%) constraints
5.08/2.09	c (1,1) ===========================================
5.08/2.09	c (1,1) Order
5.08/2.09	c (1,1) ===========================================
5.40/2.12	c (1,1) translated 280 (10%) constraints
5.40/2.13	c (1,1) translated 560 (20%) constraints
5.40/2.15	c (1,1) translated 840 (30%) constraints
5.40/2.16	c (1,1) translated 1120 (40%) constraints
5.40/2.18	c (1,1) translated 1400 (50%) constraints
5.40/2.19	c (1,1) translated 1680 (60%) constraints
5.68/2.21	c (1,1) translated 1960 (70%) constraints
5.68/2.22	c (1,1) translated 2240 (80%) constraints
5.68/2.23	c (1,1) translated 2520 (90%) constraints
5.68/2.25	c (1,1) translated 2800 (100%) constraints
5.68/2.26	c (1,1) CSP to CSPinCNF End
5.68/2.26	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 511
5.68/2.26	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.68/2.26	c (1,1) CSPinCNF Propagation Begin
6.01/2.31	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.01/2.31	c (1,1) CSPinCNF Propagation End
6.01/2.31	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 511
6.01/2.31	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.01/2.31	c (1,1) Simplify CSPinCNF Begin
6.62/2.51	c (1,1) Simplify CSPinCNF End
6.62/2.52	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 511
6.62/2.52	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.62/2.52	c (1,1) Calculate Precise Domain Begin
6.62/2.52	c (1,1) 0 values are removed by re-calculation
6.62/2.52	c (1,1) Calculate Precise Domain End
6.62/2.52	c (1,1) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 511
6.62/2.52	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.62/2.52	c (1,1) CSPinCNF to SatSolver Begin
9.76/4.03	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 330104 SAT clauses)
10.75/5.08	c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 567230 SAT clauses)
11.92/6.08	c (5,5) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 802862 SAT clauses)
12.85/6.94	c (6,6) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1037216 SAT clauses)
13.66/7.79	c (7,7) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1274486 SAT clauses)
14.57/8.65	c (8,7) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1512051 SAT clauses)
15.58/9.53	c (8,8) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 1746298 SAT clauses)
16.43/10.37	c (9,9) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 1979654 SAT clauses)
17.33/11.23	c (10,10) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2215652 SAT clauses)
18.38/12.15	c (11,11) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2460864 SAT clauses)
18.38/12.15	c (11,11) CSPinCNF to SatSolver End
18.38/12.15	c (11,11) Heap : 460 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
18.38/12.15	c (11,11) 98584 bool, 2461304 clause
18.38/12.15	c (11,11) Export Begin
18.51/12.24	c (11,11) Export to HOME/scop-12521-serial-file.bin
18.51/12.24	c (11,11) Export End
18.51/12.24	c (11,11) Export File Size: 0.03 MB
18.51/12.24	c (11,11) 1,1,1,1,1,1,11,STOP-AFTER(DIMACS)
18.51/12.24	c END-Prog: Thu Sep 12 16:08:36 CEST 2019
18.51/12.27	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12521-serial-file.bin
18.64/12.73	c (0,0) Read Serial File Begin
18.64/12.73	c (0,0) HOME/scop-12521-serial-file.bin
18.64/12.95	c (0,0) Read Serial File End
18.64/12.96	
18.64/12.96	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
18.64/12.96	(Solving Process)
18.64/12.96	
18.64/12.98	c BEGIN-Prog: Thu Sep 12 16:08:37 CEST 2019
18.64/12.98	c PID: 12539
18.64/12.98	c IP: 172.20.3.150
18.64/12.98	c HOST: node150.alineos.net
18.64/12.99	c (0,0) SatSolver.solve Begin
18.64/12.99	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388229-1568297343.xml-scop-12524.cnf
19.74/13.02	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
19.74/13.02	c (0,0) c glueminisat-simp-2.2.10-193oa-n
19.74/13.02	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388229-1568297343.xml-scop-12524.cnf 
19.74/13.02	c (0,0) c Options:
19.74/13.02	c (0,0) c CORE
19.74/13.02	c (0,0) c  var_decay             = 0.950
19.74/13.02	c (0,0) c  clause_decay          = 0.999
19.74/13.02	c (0,0) c  random_var_freq       = 0.000
19.74/13.02	c (0,0) c  random_seed           = 91648253.000
19.74/13.02	c (0,0) c  luby_restart          = 1
19.74/13.02	c (0,0) c  ccmin_mode            = 2
19.74/13.02	c (0,0) c  phase_saving          = 2
19.74/13.02	c (0,0) c  rnd_pol               = 0
19.74/13.02	c (0,0) c  rnd_init_act          = 0
19.74/13.02	c (0,0) c  garbage_frac          = 0.200
19.74/13.02	c (0,0) c  restart_first         = 1000
19.74/13.02	c (0,0) c  restart_inc           = 2.000
19.74/13.02	c (0,0) c MODEL
19.74/13.02	c (0,0) c  partial_model         = 0
19.74/13.02	c (0,0) c PROPAGATION
19.74/13.02	c (0,0) c  bin_propagation       = 1
19.74/13.02	c (0,0) c SIMPLIFICATION
19.74/13.02	c (0,0) c  lrn_min_size          = 100
19.74/13.02	c (0,0) c  lazy_simp             = 1
19.74/13.02	c (0,0) c  lazy_interval         = 10
19.74/13.02	c (0,0) c  lazy_fld_probing      = 1
19.74/13.02	c (0,0) c  lazy_pol_probing      = 1
19.74/13.02	c (0,0) c  lazy_nec_probing      = 1
19.74/13.02	c (0,0) c  lazy_eqv_probing      = 1
19.74/13.02	c (0,0) c  lazy_cla_probing      = 1
19.74/13.02	c (0,0) c  lazy_lrn_min          = 2
19.74/13.02	c (0,0) c  lazy_uw_lit_elim      = 1
19.74/13.02	c (0,0) c  lazy_pr_lit_elim      = 0
19.74/13.02	c (0,0) c  lazy_bin_add          = 3
19.74/13.02	c (0,0) c  probed_lit_chain      = 1
19.74/13.02	c (0,0) c  pr_min_lits           = 0.00020
19.74/13.02	c (0,0) c  pr_min_starts         = 500
19.74/13.02	c (0,0) c  rw_min_lits           = 0.010
19.74/13.02	c (0,0) c  rw_min_starts         = 500
19.74/13.02	c (0,0) c  rand_attach           = 0
19.74/13.02	c (0,0) c  dec_elim              = 1
19.74/13.02	c (0,0) c  dec_elim_lim          = 25
19.74/13.02	c (0,0) c  dec_elim_len          = -1
19.74/13.02	c (0,0) c  amo                   = 0
19.74/13.02	c (0,0) c  amo_grp               = 1
19.74/13.02	c (0,0) c  amo_max_bins          = 1000000
19.74/13.02	c (0,0) c  amo_starts            = 50
19.74/13.03	c (0,0) c  mace_cmd              = mace
19.74/13.03	c (0,0) c DECISION
19.74/13.03	c (0,0) c  rand_rebuild          = 0
19.74/13.03	c (0,0) c  rand_rebuild_confs    = 10000
19.74/13.03	c (0,0) c  inc_var_decay         = 1
19.74/13.03	c (0,0) c  inc_var_decay_period  = 100000
19.74/13.03	c (0,0) c  inc_var_decay_init    = 0.600
19.74/13.03	c (0,0) c  var_decay_mode        = 0
19.74/13.03	c (0,0) c  var_decay_gain        = 0
19.74/13.03	c (0,0) c  sloped_var_decay      = 1
19.74/13.03	c (0,0) c  max_var_decay         = 0.990
19.74/13.03	c (0,0) c  min_var_decay         = 0.950
19.74/13.03	c (0,0) c  min_var_decay_vars    = 10000
19.74/13.03	c (0,0) c  max_var_decay_vars    = 500
19.74/13.03	c (0,0) c  uip_bumping           = 1
19.74/13.03	c (0,0) c  lbd_act_bumping       = 1
19.74/13.03	c (0,0) c  rand_tiebreak         = 0
19.74/13.03	c (0,0) c  simp_rebuild          = 1
19.74/13.03	c (0,0) c RESTART
19.74/13.03	c (0,0) c  restart_strategy      = 2
19.74/13.03	c (0,0) c  restart_blocking      = 0
19.74/13.03	c (0,0) c  agility_decay         = 0.99990
19.74/13.03	c (0,0) c  lbd_restart_rate      = 0.800
19.74/13.03	c (0,0) c  dec_restart_rate      = 0.950
19.74/13.03	c (0,0) c  blk_restart_rate      = 0.700
19.74/13.03	c (0,0) c  lbd_queue_size        = 50
19.74/13.03	c (0,0) c  dec_queue_size        = 50
19.74/13.03	c (0,0) c  trl_queue_size        = 5000
19.74/13.03	c (0,0) c  blk_restart_weight    = 1.000
19.74/13.03	c (0,0) c  inc_rst_rate          = 0
19.74/13.03	c (0,0) c  inc_rst_rate_period   = 500000
19.74/13.03	c (0,0) c  inc_lbd_rst_rate_init = 0.600
19.74/13.03	c (0,0) c  inc_dec_rst_rate_init = 0.750
19.74/13.03	c (0,0) c REDUCTION
19.74/13.03	c (0,0) c  closed_lbd            = 0
19.74/13.03	c (0,0) c  closed_lbd_rate       = 0.500
19.74/13.03	c (0,0) c  rm_simulate           = 0
19.74/13.03	c (0,0) c  rdb_eval              = 2
19.74/13.03	c (0,0) c  rdb_call              = 3
19.74/13.03	c (0,0) c  rdb_ub                = 0.500
19.74/13.03	c (0,0) c  core_lbd_cvr          = 0.800
19.74/13.03	c (0,0) c  supp_lbd_cvr          = 0.990
19.74/13.03	c (0,0) c  core_lbd_lb           = 2
19.74/13.03	c (0,0) c  supp_lbd_lb           = 2
19.74/13.03	c (0,0) c  core_lbd_prd          = 7
19.74/13.03	c (0,0) c  supp_lbd_prd          = 1
19.74/13.03	c (0,0) c  othr_lbd_prd          = 0
19.74/13.03	c (0,0) c  inc_lrn_limit         = 1000
19.74/13.03	c (0,0) c  frozen_lbd            = 30
19.74/13.03	c (0,0) c  simp_min_starts       = 100
19.74/13.03	c (0,0) c  rm_low_act_learnts    = 1
19.74/13.03	c (0,0) c  lv0_reduce_db         = 0
19.74/13.03	c (0,0) c  reduce_db_base        = 20000
19.74/13.03	c (0,0) c  reduce_db_inc         = 1000
19.74/13.03	c (0,0) c HARD
19.74/13.03	c (0,0) c  inst_check            = 200000
19.74/13.03	c (0,0) c  small_block           = 1.750
19.74/13.03	c (0,0) c  slow_restart_speed    = 400.000
19.74/13.03	c (0,0) c  slow_restart_strategy = 3
19.74/13.03	c (0,0) c  slow_lbd_restart_rate = 0.700
19.74/13.03	c (0,0) c  slow_dec_restart_rate = 1.000
19.74/13.03	c (0,0) c  slow_lbd_queue_size   = 50
19.74/13.03	c (0,0) c  slow_var_decay        = 0.950
19.74/13.03	c (0,0) c  slow_glue_threshold   = 2
19.74/13.03	c (0,0) c  slow_phase_saving     = 2
19.74/13.03	c (0,0) c  fast_restart_speed    = 125.000
19.74/13.03	c (0,0) c  fast_restart_strategy = 1
19.74/13.03	c (0,0) c  fast_lbd_restart_rate = 0.800
19.74/13.03	c (0,0) c  fast_dec_restart_rate = 0.950
19.74/13.03	c (0,0) c  fast_lbd_queue_size   = 50
19.74/13.03	c (0,0) c  fast_var_decay        = 1.000
19.74/13.03	c (0,0) c  fast_glue_threshold   = 2
19.74/13.03	c (0,0) c  fast_phase_saving     = 2
19.74/13.03	c (0,0) c STATS
19.74/13.03	c (0,0) c  stats_conf_size       = 10000
19.74/13.03	c (0,0) c  max_stats_size        = 30
19.74/13.03	c (0,0) c SOLVER
19.74/13.03	c (0,0) c  minisat               = 0
19.87/13.91	c (1,0) c Problem: 98584 variables, 2461304 clauses, parsing 0.81 s
25.85/19.06	c (6,0) c  reduced to 95784 variables, 2458504 clauses (grow = 0)
25.95/19.19	c (6,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
26.24/19.40	c (6,0) c Simplification: 2800 vars, 2800 clauses are eliminated using 5.40 s
26.24/19.40	c (6,0) c
26.24/19.40	c (6,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
26.24/19.40	c (6,0) c
26.24/19.40	c (6,0) c    6         0         0    95784  2458504        0   -nan  -nan  -nan -nan%
26.34/19.54	c (6,0) c    6         1       100    95784  2458504      100   16.8   8.0 153.7 26.7%
26.44/19.64	c (6,0) c    6         1       220    95784  2458504      220   15.2   6.8 146.5 26.2%
26.44/19.69	c (7,0) c    6         1       364    95784  2458504      364   13.1   6.2 141.2 24.6%
26.56/19.75	c (7,0) c    6         1       536    95784  2458504      536   12.5   6.0 138.2 23.6%
26.66/19.81	c (7,0) c    6         1       743    95784  2458504      743   11.9   5.7 136.7 23.0%
26.66/19.90	c (7,0) c    6         1       991    95784  2458504      991   11.7   5.5 135.4 22.7%
26.86/20.01	c (7,0) c    6         1      1289    95784  2458504     1289   11.6   5.4 134.1 22.4%
26.96/20.13	c (7,0) c    7         1      1647    95784  2458504     1647   11.2   5.3 133.2 21.6%
27.05/20.26	c (7,0) c    7         1      2076    95784  2458504     2076   10.8   5.2 129.4 19.7%
27.15/20.39	c (7,0) c    7         2      2591    95784  2458504     2591   10.5   5.0 114.9 16.9%
27.35/20.55	c (7,0) c    7         2      3210    95601  2458504     3211    9.7   4.7  94.1 14.5%
27.45/20.61	c (7,0) c    7         2      3426    91912  2458504     3423    9.4   4.6  88.5 13.8%
27.45/20.61	c (7,0) c
27.45/20.61	c (7,0) c
27.45/20.61	c (7,0) c variables         : 91912       (init 98584, after simp 95784, 0 non-decs, 200 csp)
27.45/20.61	c (7,0) c clauses           : 2458504     (init 2461304, after simp 2458504)
27.45/20.61	c (7,0) c restarts          : 1           (1713.00 confs/res, 1074~2352 confs, 0 blks, 0 last)
27.45/20.61	c (7,0) c conflicts         : 3426        (463 /sec, 56.74% dconfs, 0.00% supp, trail 309.90w x 88.51h, jmp 1.31h)
27.45/20.61	c (7,0) c decisions         : 4553        (0.6100 vdcy, 615 /sec, 0.00% bin, rs 0.001 s)
27.45/20.61	c (7,0) c propagations      : 5351457     (722795 /sec, 1175.37 lits/dec, 44.40% o.a.)
27.45/20.61	c (7,0) c conflict literals : 42595       (24.04% deleted; 0.35% by bin min, 0.000 s)
27.45/20.61	c (7,0) c len               : 9.410       (9.40 for all, max 99, used 52)
27.45/20.61	c (7,0) c lbd               : 4.558       (5.68 (4.55) for all, max 24, used 19, 1.680 stdev, 1.654 blk)
27.45/20.61	c (7,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
27.45/20.61	c (7,0) c simp dbs          : 1           (0.001 s)
27.45/20.61	c (7,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
27.45/20.61	c (7,0) c learnts           : 3423        (0 learnts removed, 0.00%)
27.45/20.61	c (7,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
27.45/20.61	c (7,0) c assigned lits     : 0           (0/1 probed, 1 remains)
27.45/20.61	c (7,0) c premise updates   : 0           (0.00 /lit)
27.45/20.61	c (7,0) c probed variables  : 1           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 1 cla, 0 amo)
27.45/20.61	c (7,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
27.45/20.61	c (7,0) c lazy added bins   : 6           (6 prop + 0 conf, 0.001s)
27.45/20.61	c (7,0) c unwatched lit elim: 141         (0.00+0.26%, 29+112 of 7271528+42595)
27.45/20.61	c (7,0) c classified type   : undef
27.45/20.61	c (7,0) c progress          : 4.042 %
27.45/20.61	c (7,0) c
27.45/20.61	c (7,0) c [Statistics]
27.45/20.61	c (7,0) c             learnts len        learnts lbd        lit blk size       eq vars size
27.45/20.61	c (7,0) c  tot        3425               3425              19476                  0
27.45/20.61	c (7,0) c  avg       9.403              4.554              1.654               -nan
27.45/20.61	c (7,0) c   1            8 ( 0.2%)         40 ( 1.2%)      13970 (71.7%)          0 (-nan%)
27.45/20.61	c (7,0) c   2           35 ( 1.0%)        957 (27.9%)       2754 (14.1%)          0 (-nan%)
27.45/20.61	c (7,0) c   3          283 ( 8.3%)        649 (18.9%)       1209 ( 6.2%)          0 (-nan%)
27.45/20.61	c (7,0) c   4          222 ( 6.5%)        511 (14.9%)        579 ( 3.0%)          0 (-nan%)
27.45/20.61	c (7,0) c   5          471 (13.8%)        389 (11.4%)        339 ( 1.7%)          0 (-nan%)
27.45/20.61	c (7,0) c   6          359 (10.5%)        226 ( 6.6%)        221 ( 1.1%)          0 (-nan%)
27.45/20.61	c (7,0) c   7          321 ( 9.4%)        151 ( 4.4%)        126 ( 0.6%)          0 (-nan%)
27.45/20.61	c (7,0) c   8          298 ( 8.7%)        124 ( 3.6%)         72 ( 0.4%)          0 (-nan%)
27.45/20.61	c (7,0) c   9          227 ( 6.6%)        105 ( 3.1%)         65 ( 0.3%)          0 (-nan%)
27.45/20.61	c (7,0) c  10          207 ( 6.0%)         84 ( 2.5%)         46 ( 0.2%)          0 (-nan%)
27.45/20.61	c (7,0) c  11          152 ( 4.4%)         51 ( 1.5%)         33 ( 0.2%)          0 (-nan%)
27.45/20.61	c (7,0) c  12          123 ( 3.6%)         35 ( 1.0%)         18 ( 0.1%)          0 (-nan%)
27.45/20.61	c (7,0) c  13           97 ( 2.8%)         36 ( 1.1%)         15 ( 0.1%)          0 (-nan%)
27.45/20.61	c (7,0) c  14          104 ( 3.0%)         18 ( 0.5%)          7 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  15           86 ( 2.5%)         23 ( 0.7%)          2 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  16           65 ( 1.9%)          7 ( 0.2%)          8 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  17           51 ( 1.5%)          7 ( 0.2%)          3 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  18           39 ( 1.1%)          3 ( 0.1%)          4 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  19           43 ( 1.3%)          2 ( 0.1%)          0 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  20           31 ( 0.9%)          3 ( 0.1%)          2 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  21           25 ( 0.7%)          1 ( 0.0%)          1 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  22           21 ( 0.6%)          1 ( 0.0%)          1 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  23           18 ( 0.5%)          1 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  24            9 ( 0.3%)          1 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  25           13 ( 0.4%)          0 ( 0.0%)          1 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  26           15 ( 0.4%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  27           14 ( 0.4%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  28           15 ( 0.4%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  29           13 ( 0.4%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c  30           60 ( 1.8%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
27.45/20.61	c (7,0) c
27.45/20.61	c (7,0) c [LBD Statistics]
27.45/20.61	c (7,0) c LBD          used lbd               used clause lbd         unused clause lbd
27.45/20.61	c (7,0) c  tot        15039                    2064                    1359
27.45/20.61	c (7,0) c  avg        2.801                   3.705                   5.854
27.45/20.61	c (7,0) c    1          387 ( 2.6/ 2.6%)         32 ( 1.6/ 1.6%)          0 ( 0.0/ 0.0%)
27.45/20.61	c (7,0) c    2         8962 (59.6/62.2%)        804 (39.0/40.5%)        159 (11.7/11.7%)
27.45/20.61	c (7,0) c    3         2938 (19.5/81.7%)        464 (22.5/63.0%)        185 (13.6/25.3%)
27.45/20.61	c (7,0) c    4         1300 ( 8.6/90.3%)        280 (13.6/76.6%)        231 (17.0/42.3%)
27.45/20.61	c (7,0) c    5          720 ( 4.8/95.1%)        184 ( 8.9/85.5%)        205 (15.1/57.4%)
27.45/20.61	c (7,0) c    6          259 ( 1.7/96.9%)         82 ( 4.0/89.4%)        144 (10.6/68.0%)
27.45/20.61	c (7,0) c    7          123 ( 0.8/97.7%)         59 ( 2.9/92.3%)         92 ( 6.8/74.8%)
27.45/20.61	c (7,0) c    8           87 ( 0.6/98.3%)         37 ( 1.8/94.1%)         87 ( 6.4/81.2%)
27.45/20.61	c (7,0) c    9           65 ( 0.4/98.7%)         37 ( 1.8/95.9%)         68 ( 5.0/86.2%)
27.45/20.61	c (7,0) c   10           47 ( 0.3/99.0%)         26 ( 1.3/97.1%)         58 ( 4.3/90.4%)
27.45/20.61	c (7,0) c   11           35 ( 0.2/99.2%)         15 ( 0.7/97.9%)         36 ( 2.6/93.1%)
27.45/20.61	c (7,0) c   12           29 ( 0.2/99.4%)          9 ( 0.4/98.3%)         26 ( 1.9/95.0%)
27.45/20.61	c (7,0) c   13           21 ( 0.1/99.6%)         12 ( 0.6/98.9%)         24 ( 1.8/96.8%)
27.45/20.61	c (7,0) c   14           11 ( 0.1/99.6%)          6 ( 0.3/99.2%)         12 ( 0.9/97.6%)
27.45/20.61	c (7,0) c   15           26 ( 0.2/99.8%)         11 ( 0.5/99.7%)         12 ( 0.9/98.5%)
27.45/20.61	c (7,0) c   16           15 ( 0.1/99.9%)          1 ( 0.0/99.8%)          6 ( 0.4/99.0%)
27.45/20.61	c (7,0) c   17           11 ( 0.1/100.0%)          4 ( 0.2/100.0%)          3 ( 0.2/99.2%)
27.45/20.61	c (7,0) c   18            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.2/99.4%)
27.45/20.61	c (7,0) c   19            3 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.1/99.5%)
27.45/20.61	c (7,0) c   20            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          3 ( 0.2/99.7%)
27.45/20.61	c (7,0) c   21            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.8%)
27.45/20.61	c (7,0) c   22            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.9%)
27.45/20.61	c (7,0) c   23            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.9%)
27.45/20.61	c (7,0) c   24            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/100.0%)
27.45/20.61	c (7,0) c
27.45/20.61	c (7,0) c Memory used       : 411.00 MB
27.45/20.61	c (7,0) c CPU time          : 7.404 s
27.45/20.61	c (7,0) c Real time         : 7.590 s
27.45/20.61	c (7,0) c
27.45/20.61	c (7,0) s UNSATISFIABLE
27.45/20.62	c (7,0) SatSolver.solve End
27.45/20.62	c (7,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
27.45/20.62	c (7,0) Show results Begin
27.45/20.62	s UNSATISFIABLE
27.45/20.62	c (7,0) Show results End
27.45/20.62	c (7,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
27.45/20.63	c (7,0) 7,7,STOP-AFTER(ALL)
27.45/20.63	c END-Prog: Thu Sep 12 16:08:45 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388229-1568297343/watcher-4388229-1568297343 -o /tmp/evaluation-result-4388229-1568297343/solver-4388229-1568297343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --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-4388229-1568297343.xml 

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

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


[startup+0.100119 s]*
/proc/loadavg: 2.02 2.02 2.09 3/234 12538
/proc/meminfo: memFree=21849488/32770624 swapFree=67015816/67108860
[pid=12521] ppid=12518 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12521/stat : 12521 (scop.sh) S 12518 12521 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406006953 115843072 348 33554432000 4194304 5098028 140725065379536 140725065376792 140289010844284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11161600 140725065380648 140725065380976 140725065380976 140725065383885 0
/proc/12521/statm: 28282 348 296 221 0 87 0
[pid=12524] ppid=12521 vsize=15012696 memory=71988 CPUtime=0.11 cores=0,2,4,6
/proc/12524/stat : 12524 (java) S 12521 12521 7440 0 -1 1077944320 6241 0 0 0 9 2 0 0 20 0 15 0 406006954 15373000704 17997 33554432000 4194304 4196468 140729622189152 140729622171696 140482216677111 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
/proc/12524/statm: 3753174 17997 2929 1 0 3715579 0
[pid=12524/tid=12525] ppid=12521 vsize=15012696 memory=-6581303614368956353 CPUtime=0.08 cores=0,2,4,6
/proc/12524/task/12525/stat : 12525 (java) R 12521 12521 7440 0 -1 4202560 4129 0 0 0 7 1 0 0 20 0 15 0 406006954 15373000704 18063 33554432000 4194304 4196468 140729622189152 140482188472272 140482196952832 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12526] ppid=12521 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12526/stat : 12526 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 18063 33554432000 4194304 4196468 140729622189152 140482220919440 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12527] ppid=12521 vsize=15012696 memory=140333322544768 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12527/stat : 12527 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 18063 33554432000 4194304 4196468 140729622189152 140482012002832 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12528] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12528/stat : 12528 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 18063 33554432000 4194304 4196468 140729622189152 140482010950032 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12529] ppid=12521 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12529/stat : 12529 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 18063 33554432000 4194304 4196468 140729622189152 140482009897232 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12530] ppid=12521 vsize=15012696 memory=140333322544768 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12530/stat : 12530 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006957 15373000704 18063 33554432000 4194304 4196468 140729622189152 140481556056944 140482216688258 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12531] ppid=12521 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12531/stat : 12531 (java) S 12521 12521 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406006958 15373000704 18063 33554432000 4194304 4196468 140729622189152 140480729835040 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12532] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12532/stat : 12532 (java) S 12521 12521 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406006958 15373000704 18063 33554432000 4194304 4196468 140729622189152 140480595613040 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12533] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12533/stat : 12533 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006960 15373000704 18063 33554432000 4194304 4196468 140729622189152 140480221108560 140482216695707 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12534] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12534/stat : 12534 (java) S 12521 12521 7440 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 406006960 15373000704 18063 33554432000 4194304 4196468 140729622189152 140481555003760 140482216688258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12535] ppid=12521 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12535/stat : 12535 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006960 15373000704 18063 33554432000 4194304 4196468 140729622189152 140481553950960 140482216688258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12536] ppid=12521 vsize=15012696 memory=140333322544768 CPUtime=0.01 cores=0,2,4,6
/proc/12524/task/12536/stat : 12536 (java) R 12521 12521 7440 0 -1 4202560 442 0 0 0 1 0 0 0 20 0 15 0 406006960 15373000704 18063 33554432000 4194304 4196468 140729622189152 140481552894312 140482195595920 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12537] ppid=12521 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12537/stat : 12537 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006960 15373000704 18063 33554432000 4194304 4196468 140729622189152 140479723202784 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12538] ppid=12521 vsize=15012696 memory=140333322544768 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12538/stat : 12538 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006961 15373000704 18063 33554432000 4194304 4196468 140729622189152 140481551846576 140482216688258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73380 KiB

[startup+0.21088 s]*
/proc/loadavg: 2.02 2.02 2.09 3/234 12538
/proc/meminfo: memFree=21831980/32770624 swapFree=67015816/67108860
[pid=12521] ppid=12518 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12521/stat : 12521 (scop.sh) S 12518 12521 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406006953 115843072 348 33554432000 4194304 5098028 140725065379536 140725065376792 140289010844284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11161600 140725065380648 140725065380976 140725065380976 140725065383885 0
/proc/12521/statm: 28282 348 296 221 0 87 0
[pid=12524] ppid=12521 vsize=15012696 memory=87092 CPUtime=0.24 cores=0,2,4,6
/proc/12524/stat : 12524 (java) S 12521 12521 7440 0 -1 1077944320 11370 0 0 0 21 3 0 0 20 0 15 0 406006954 15373000704 21773 33554432000 4194304 4196468 140729622189152 140729622171696 140482216677111 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
/proc/12524/statm: 3753174 21773 2932 1 0 3715579 0
[pid=12524/tid=12525] ppid=12521 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/12524/task/12525/stat : 12525 (java) R 12521 12521 7440 0 -1 4202560 9108 0 0 0 17 2 0 0 20 0 15 0 406006954 15373000704 21773 33554432000 4194304 4196468 140729622189152 140482188500688 140482216689046 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12526] ppid=12521 vsize=15012696 memory=539 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12526/stat : 12526 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 21773 33554432000 4194304 4196468 140729622189152 140482220919440 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12527] ppid=12521 vsize=15012696 memory=288370709474256512 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12527/stat : 12527 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 21773 33554432000 4194304 4196468 140729622189152 140482012002832 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12528] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12528/stat : 12528 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 21773 33554432000 4194304 4196468 140729622189152 140482010950032 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12529] ppid=12521 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12529/stat : 12529 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 21773 33554432000 4194304 4196468 140729622189152 140482009897232 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12530] ppid=12521 vsize=15012696 memory=140333322544768 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12530/stat : 12530 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006957 15373000704 21773 33554432000 4194304 4196468 140729622189152 140481556056944 140482216688258 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12531] ppid=12521 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12531/stat : 12531 (java) S 12521 12521 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406006958 15373000704 21773 33554432000 4194304 4196468 140729622189152 140480729835040 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12532] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12532/stat : 12532 (java) S 12521 12521 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406006958 15373000704 21773 33554432000 4194304 4196468 140729622189152 140480595613040 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12533] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12533/stat : 12533 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006960 15373000704 21773 33554432000 4194304 4196468 140729622189152 140480221108560 140482216695707 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12534] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12534/stat : 12534 (java) R 12521 12521 7440 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 406006960 15373000704 21773 33554432000 4194304 4196468 140729622189152 140481555003760 140482216688258 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12535] ppid=12521 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12535/stat : 12535 (java) R 12521 12521 7440 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 406006960 15373000704 21773 33554432000 4194304 4196468 140729622189152 140481553950960 140482216688258 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12536] ppid=12521 vsize=15012696 memory=140333322544768 CPUtime=0.02 cores=0,2,4,6
/proc/12524/task/12536/stat : 12536 (java) R 12521 12521 7440 0 -1 4202560 449 0 0 0 2 0 0 0 20 0 15 0 406006960 15373000704 21773 33554432000 4194304 4196468 140729622189152 140481552898160 140482195656922 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12537] ppid=12521 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12537/stat : 12537 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006960 15373000704 21773 33554432000 4194304 4196468 140729622189152 140479723202784 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12538] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12538/stat : 12538 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006961 15373000704 21773 33554432000 4194304 4196468 140729622189152 140481551846576 140482216688258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88484 KiB

[startup+0.310599 s]*
/proc/loadavg: 2.02 2.02 2.09 4/234 12538
/proc/meminfo: memFree=21829684/32770624 swapFree=67015816/67108860
[pid=12521] ppid=12518 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12521/stat : 12521 (scop.sh) S 12518 12521 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406006953 115843072 348 33554432000 4194304 5098028 140725065379536 140725065376792 140289010844284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11161600 140725065380648 140725065380976 140725065380976 140725065383885 0
/proc/12521/statm: 28282 348 296 221 0 87 0
[pid=12524] ppid=12521 vsize=15012696 memory=90704 CPUtime=0.43 cores=0,2,4,6
/proc/12524/stat : 12524 (java) S 12521 12521 7440 0 -1 1077944320 12220 0 0 0 39 4 0 0 20 0 15 0 406006954 15373000704 22676 33554432000 4194304 4196468 140729622189152 140729622171696 140482216677111 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
/proc/12524/statm: 3753174 22676 3049 1 0 3715579 0
[pid=12524/tid=12525] ppid=12521 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=0,2,4,6
/proc/12524/task/12525/stat : 12525 (java) R 12521 12521 7440 0 -1 4202560 9779 0 0 0 27 3 0 0 20 0 15 0 406006954 15373000704 22676 33554432000 4194304 4196468 140729622189152 140482188462096 140482193901264 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12526] ppid=12521 vsize=15012696 memory=288230621904634245 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12526/stat : 12526 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 22676 33554432000 4194304 4196468 140729622189152 140482220919440 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12527] ppid=12521 vsize=15012696 memory=288230376154664445 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12527/stat : 12527 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 22676 33554432000 4194304 4196468 140729622189152 140482012002832 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12528] ppid=12521 vsize=15012696 memory=280666449410416 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12528/stat : 12528 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 22676 33554432000 4194304 4196468 140729622189152 140482010950032 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12529] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12529/stat : 12529 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006956 15373000704 22676 33554432000 4194304 4196468 140729622189152 140482009897232 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12530] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12530/stat : 12530 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006957 15373000704 22676 33554432000 4194304 4196468 140729622189152 140481556056944 140482216688258 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12531] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12531/stat : 12531 (java) S 12521 12521 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406006958 15373000704 22676 33554432000 4194304 4196468 140729622189152 140480729835040 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12532] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12532/stat : 12532 (java) S 12521 12521 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406006958 15373000704 22676 33554432000 4194304 4196468 140729622189152 140480595613040 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12533] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12533/stat : 12533 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006960 15373000704 22676 33554432000 4194304 4196468 140729622189152 140480221108560 140482216695707 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12534] ppid=12521 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12524/task/12534/stat : 12534 (java) S 12521 12521 7440 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 406006960 15373000704 22676 33554432000 4194304 4196468 140729622189152 140481555003760 140482216688258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12535] ppid=12521 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12524/task/12535/stat : 12535 (java) S 12521 12521 7440 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 406006960 15373000704 22676 33554432000 4194304 4196468 140729622189152 140481553950960 140482216688258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12536] ppid=12521 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12524/task/12536/stat : 12536 (java) S 12521 12521 7440 0 -1 1077944384 470 0 0 0 7 0 0 0 20 0 15 0 406006960 15373000704 22676 33554432000 4194304 4196468 140729622189152 140481552898160 140482216688258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12537] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12537/stat : 12537 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006960 15373000704 22676 33554432000 4194304 4196468 140729622189152 140479723202784 140482216687317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12538] ppid=12521 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12538/stat : 12538 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006961 15373000704 22676 33554432000 4194304 4196468 140729622189152 140481551846576 140482216688258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92096 KiB

[startup+0.707322 s]
/proc/loadavg: 2.02 2.02 2.09 3/234 12538
/proc/meminfo: memFree=21807980/32770624 swapFree=67015816/67108860
[pid=12521] ppid=12518 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12521/stat : 12521 (scop.sh) S 12518 12521 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406006953 115843072 348 33554432000 4194304 5098028 140725065379536 140725065376792 140289010844284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11161600 140725065380648 140725065380976 140725065380976 140725065383885 0
/proc/12521/statm: 28282 348 296 221 0 87 0
[pid=12524] ppid=12521 vsize=15018968 memory=129444 CPUtime=1.01 cores=0,2,4,6
/proc/12524/stat : 12524 (java) S 12521 12521 7440 0 -1 1077944320 19107 0 0 0 95 6 0 0 20 0 15 0 406006954 15379423232 32361 33554432000 4194304 4196468 140729622189152 140729622171696 140482216677111 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
/proc/12524/statm: 3754742 32361 3183 1 0 3716091 0
[pid=12524/tid=12525] ppid=12521 vsize=15018968 memory=4964 CPUtime=0.68 cores=0,2,4,6
/proc/12524/task/12525/stat : 12525 (java) R 12521 12521 7440 0 -1 1077944384 16202 0 0 0 63 5 0 0 20 0 15 0 406006954 15379423232 32361 33554432000 4194304 4196468 140729622189152 140482188512672 140482216687317 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12526] ppid=12521 vsize=15018968 memory=10092 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12526/stat : 12526 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006956 15379423232 32361 33554432000 4194304 4196468 140729622189152 140482220919440 140482216687317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12527] ppid=12521 vsize=15018968 memory=1908 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12527/stat : 12527 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006956 15379423232 32361 33554432000 4194304 4196468 140729622189152 140482012002832 140482216687317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12528] ppid=12521 vsize=15018968 memory=1360 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12528/stat : 12528 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406006956 15379423232 32361 33554432000 4194304 4196468 140729622189152 140482010950032 140482216687317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12529] ppid=12521 vsize=15018968 memory=7416 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12529/stat : 12529 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006956 15379423232 32361 33554432000 4194304 4196468 140729622189152 140482009897232 140482216687317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12530] ppid=12521 vsize=15018968 memory=860 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12530/stat : 12530 (java) S 12521 12521 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406006957 15379423232 32361 33554432000 4194304 4196468 140729622189152 140481556056944 140482216688258 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12531] ppid=12521 vsize=15018968 memory=776 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12531/stat : 12531 (java) S 12521 12521 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406006958 15379423232 32361 33554432000 4194304 4196468 140729622189152 140480729835040 140482216687317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12532] ppid=12521 vsize=15018968 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12532/stat : 12532 (java) S 12521 12521 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406006958 15379423232 32361 33554432000 4194304 4196468 140729622189152 140480595613040 140482216687317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12533] ppid=12521 vsize=15018968 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12533/stat : 12533 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006960 15379423232 32361 33554432000 4194304 4196468 140729622189152 140480221108560 140482216695707 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12534] ppid=12521 vsize=15018968 memory=3824 CPUtime=0.09 cores=0,2,4,6
/proc/12524/task/12534/stat : 12534 (java) R 12521 12521 7440 0 -1 4202560 783 0 0 0 9 0 0 0 20 0 15 0 406006960 15379423232 32361 33554432000 4194304 4196468 140729622189152 140481554993872 140482195130773 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12535] ppid=12521 vsize=15018968 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/12524/task/12535/stat : 12535 (java) R 12521 12521 7440 0 -1 4202560 161 0 0 0 6 0 0 0 20 0 15 0 406006960 15379423232 32361 33554432000 4194304 4196468 140729622189152 140481553950960 140482216698458 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12536] ppid=12521 vsize=15018968 memory=15080 CPUtime=0.16 cores=0,2,4,6
/proc/12524/task/12536/stat : 12536 (java) R 12521 12521 7440 0 -1 4202560 606 0 0 0 16 0 0 0 20 0 15 0 406006960 15379423232 32361 33554432000 4194304 4196468 140729622189152 140481552894896 140482195946017 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12537] ppid=12521 vsize=15018968 memory=7880 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12537/stat : 12537 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406006960 15379423232 32361 33554432000 4194304 4196468 140729622189152 140479723202784 140482216687317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
[pid=12524/tid=12538] ppid=12521 vsize=15018968 memory=2676 CPUtime=0 cores=0,2,4,6
/proc/12524/task/12538/stat : 12538 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406006961 15379423232 32361 33554432000 4194304 4196468 140729622189152 140481551846576 140482216688258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8384512 140729622192878 140729622193306 140729622193306 140729622196175 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130836 KiB

[startup+1.5015 s]
/proc/loadavg: 2.02 2.02 2.09 5/234 12538
/proc/meminfo: memFree=21767404/32770624 swapFree=67015816/67108860
[pid=12521] ppid=12518 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12521/stat : 12521 (scop.sh) S 12518 12521 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406006953 115843072 348 33554432000 4194304 5098028 140725065379536 140725065376792 140289010844284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11161600 140725065380648 140725065380976 140725065380976 140725065383885 0
/proc/12521/statm: 28282 348 296 221 0 87 0

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

Current children cumulated CPU time: 26.04 s
Current children cumulated vsize: 8472316 KiB
Current children cumulated memory: 365912 KiB

[startup+20.001 s]*
/proc/loadavg: 2.13 2.05 2.10 3/239 12559
/proc/meminfo: memFree=21528424/32770624 swapFree=67015816/67108860
[pid=12521] ppid=12518 vsize=113128 memory=1472 CPUtime=18.64 cores=0,2,4,6
/proc/12521/stat : 12521 (scop.sh) S 12518 12521 7440 0 -1 4202496 583 31386 0 0 0 0 1792 72 20 0 1 0 406006953 115843072 368 33554432000 4194304 5098028 140725065379536 140725065376280 140289010844284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11161600 140725065380648 140725065380976 140725065380976 140725065383885 0
/proc/12521/statm: 28282 368 311 221 0 87 0
[pid=12539] ppid=12521 vsize=8068440 memory=119660 CPUtime=1.24 cores=0,2,4,6
/proc/12539/stat : 12539 (java) S 12521 12521 7440 0 -1 1077944320 20792 0 0 0 116 8 0 0 20 0 19 0 406008181 8262082560 29915 33554432000 4194304 4196468 140734784218768 140734784201312 140271577132791 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
/proc/12539/statm: 2017110 29915 3203 1 0 1978454 0
[pid=12554] ppid=12539 vsize=273412 memory=219184 CPUtime=6.98 cores=0,2,4,6
/proc/12554/stat : 12554 (glueminisat-sim) R 12539 12521 7440 0 -1 4202496 149675 0 0 0 680 18 0 0 20 0 1 0 406008255 279973888 54796 33554432000 4194304 4452875 140722710698496 140722710693064 139767300153223 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 24346624 140722710700895 140722710701095 140722710701095 140722710704045 0
/proc/12554/statm: 68353 54796 366 64 0 64557 0
[pid=12539/tid=12540] ppid=12521 vsize=8068440 memory=-7824251494390454886 CPUtime=0.76 cores=0,2,4,6
/proc/12539/task/12540/stat : 12540 (java) S 12521 12521 7440 0 -1 1077944384 17201 0 0 0 70 6 0 0 20 0 19 0 406008182 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271548972960 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12541] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12541/stat : 12541 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271581375248 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12542] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12542/stat : 12542 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271381543824 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12543] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12543/stat : 12543 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271380491280 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12544] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12544/stat : 12544 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271379438736 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12545] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12545/stat : 12545 (java) S 12521 12521 7440 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 406008184 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270888773616 140271577143938 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12546] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12546/stat : 12546 (java) S 12521 12521 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406008185 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270410654624 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12547] ppid=12521 vsize=8068440 memory=4639927405465649255 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12547/stat : 12547 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406008185 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270142219248 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12548] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12548/stat : 12548 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140269767710928 140271577151387 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12549] ppid=12521 vsize=8068440 memory=3833749867267760179 CPUtime=0.09 cores=0,2,4,6
/proc/12539/task/12549/stat : 12549 (java) S 12521 12521 7440 0 -1 1077944384 726 0 0 0 9 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270887721456 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12550] ppid=12521 vsize=8068440 memory=3471342729643382448 CPUtime=0.13 cores=0,2,4,6
/proc/12539/task/12550/stat : 12550 (java) S 12521 12521 7440 0 -1 1077944384 655 0 0 0 13 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270886668912 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12551] ppid=12521 vsize=8068440 memory=3905807456975991859 CPUtime=0.21 cores=0,2,4,6
/proc/12539/task/12551/stat : 12551 (java) S 12521 12521 7440 0 -1 1077944384 796 0 0 0 21 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270885616368 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12552] ppid=12521 vsize=8068440 memory=4122963936604477363 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12552/stat : 12552 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140269269806176 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12553] ppid=12521 vsize=8068440 memory=3904682669517451316 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12553/stat : 12553 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008188 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270884563248 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12555] ppid=12521 vsize=8068440 memory=3762958519327676084 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12555/stat : 12555 (java) S 12521 12521 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406008256 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270881375296 140271577157401 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12557] ppid=12521 vsize=8068440 memory=3618413826336109617 CPUtime=0.01 cores=0,2,4,6
/proc/12539/task/12557/stat : 12557 (java) S 12521 12521 7440 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 406008256 8262082560 29915 33554432000 4194304 4196468 140734784218768 140268732919440 140271577154717 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12558] ppid=12521 vsize=8068440 memory=468 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12558/stat : 12558 (java) S 12521 12521 7440 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406008256 8262082560 29915 33554432000 4194304 4196468 140734784218768 140268867141392 140271577154717 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12559] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12559/stat : 12559 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008259 8262082560 29915 33554432000 4194304 4196468 140734784218768 140268464496176 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
Current children cumulated CPU time: 26.86 s
Current children cumulated vsize: 8454980 KiB
Current children cumulated memory: 340316 KiB

[startup+20.4009 s]
/proc/loadavg: 2.13 2.05 2.10 3/239 12559
/proc/meminfo: memFree=21528424/32770624 swapFree=67015816/67108860
[pid=12521] ppid=12518 vsize=113128 memory=1472 CPUtime=18.64 cores=0,2,4,6
/proc/12521/stat : 12521 (scop.sh) S 12518 12521 7440 0 -1 4202496 583 31386 0 0 0 0 1792 72 20 0 1 0 406006953 115843072 368 33554432000 4194304 5098028 140725065379536 140725065376280 140289010844284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11161600 140725065380648 140725065380976 140725065380976 140725065383885 0
/proc/12521/statm: 28282 368 311 221 0 87 0
[pid=12539] ppid=12521 vsize=8068440 memory=119660 CPUtime=1.24 cores=0,2,4,6
/proc/12539/stat : 12539 (java) S 12521 12521 7440 0 -1 1077944320 20792 0 0 0 116 8 0 0 20 0 19 0 406008181 8262082560 29915 33554432000 4194304 4196468 140734784218768 140734784201312 140271577132791 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
/proc/12539/statm: 2017110 29915 3203 1 0 1978454 0
[pid=12554] ppid=12539 vsize=273412 memory=219184 CPUtime=7.37 cores=0,2,4,6
/proc/12554/stat : 12554 (glueminisat-sim) R 12539 12521 7440 0 -1 4202496 149698 0 0 0 719 18 0 0 20 0 1 0 406008255 279973888 54796 33554432000 4194304 4452875 140722710698496 140722710693064 139767300153223 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 24346624 140722710700895 140722710701095 140722710701095 140722710704045 0
/proc/12554/statm: 68353 54796 366 64 0 64557 0
[pid=12539/tid=12540] ppid=12521 vsize=8068440 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/12539/task/12540/stat : 12540 (java) S 12521 12521 7440 0 -1 1077944384 17201 0 0 0 70 6 0 0 20 0 19 0 406008182 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271548972960 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12541] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12541/stat : 12541 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271581375248 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12542] ppid=12521 vsize=8068440 memory=5792306782488318306 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12542/stat : 12542 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271381543824 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12543] ppid=12521 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12543/stat : 12543 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271380491280 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12544] ppid=12521 vsize=8068440 memory=119660 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12544/stat : 12544 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271379438736 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12545] ppid=12521 vsize=8068440 memory=219184 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12545/stat : 12545 (java) S 12521 12521 7440 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 406008184 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270888773616 140271577143938 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12546] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12546/stat : 12546 (java) S 12521 12521 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406008185 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270410654624 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12547] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12547/stat : 12547 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406008185 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270142219248 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12548] ppid=12521 vsize=8068440 memory=1927 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12548/stat : 12548 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140269767710928 140271577151387 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12549] ppid=12521 vsize=8068440 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12539/task/12549/stat : 12549 (java) S 12521 12521 7440 0 -1 1077944384 726 0 0 0 9 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270887721456 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12550] ppid=12521 vsize=8068440 memory=280666450256864 CPUtime=0.13 cores=0,2,4,6
/proc/12539/task/12550/stat : 12550 (java) S 12521 12521 7440 0 -1 1077944384 655 0 0 0 13 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270886668912 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12551] ppid=12521 vsize=8068440 memory=140333225145241 CPUtime=0.21 cores=0,2,4,6
/proc/12539/task/12551/stat : 12551 (java) S 12521 12521 7440 0 -1 1077944384 796 0 0 0 21 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270885616368 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12552] ppid=12521 vsize=8068440 memory=3 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12552/stat : 12552 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140269269806176 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12553] ppid=12521 vsize=8068440 memory=1185 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12553/stat : 12553 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008188 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270884563248 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12555] ppid=12521 vsize=8068440 memory=3952 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12555/stat : 12555 (java) S 12521 12521 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406008256 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270881375296 140271577157401 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12557] ppid=12521 vsize=8068440 memory=301 CPUtime=0.01 cores=0,2,4,6
/proc/12539/task/12557/stat : 12557 (java) S 12521 12521 7440 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 406008256 8262082560 29915 33554432000 4194304 4196468 140734784218768 140268732919440 140271577154717 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12558] ppid=12521 vsize=8068440 memory=931 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12558/stat : 12558 (java) S 12521 12521 7440 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406008256 8262082560 29915 33554432000 4194304 4196468 140734784218768 140268867141392 140271577154717 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12559] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12559/stat : 12559 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008259 8262082560 29915 33554432000 4194304 4196468 140734784218768 140268464496176 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
Current children cumulated CPU time: 27.25 s
Current children cumulated vsize: 8454980 KiB
Current children cumulated memory: 340316 KiB

[startup+20.601 s]
/proc/loadavg: 2.13 2.05 2.10 3/239 12559
/proc/meminfo: memFree=21528424/32770624 swapFree=67015816/67108860
[pid=12521] ppid=12518 vsize=113128 memory=1472 CPUtime=18.64 cores=0,2,4,6
/proc/12521/stat : 12521 (scop.sh) S 12518 12521 7440 0 -1 4202496 583 31386 0 0 0 0 1792 72 20 0 1 0 406006953 115843072 368 33554432000 4194304 5098028 140725065379536 140725065376280 140289010844284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11161600 140725065380648 140725065380976 140725065380976 140725065383885 0
/proc/12521/statm: 28282 368 311 221 0 87 0
[pid=12539] ppid=12521 vsize=8068440 memory=119660 CPUtime=1.24 cores=0,2,4,6
/proc/12539/stat : 12539 (java) S 12521 12521 7440 0 -1 1077944320 20792 0 0 0 116 8 0 0 20 0 19 0 406008181 8262082560 29915 33554432000 4194304 4196468 140734784218768 140734784201312 140271577132791 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
/proc/12539/statm: 2017110 29915 3203 1 0 1978454 0
[pid=12554] ppid=12539 vsize=273412 memory=219184 CPUtime=7.57 cores=0,2,4,6
/proc/12554/stat : 12554 (glueminisat-sim) R 12539 12521 7440 0 -1 4202496 149706 0 0 0 739 18 0 0 20 0 1 0 406008255 279973888 54796 33554432000 4194304 4452875 140722710698496 140722710693064 139767300153223 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 24346624 140722710700895 140722710701095 140722710701095 140722710704045 0
/proc/12554/statm: 68353 54796 366 64 0 64557 0
[pid=12539/tid=12540] ppid=12521 vsize=8068440 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/12539/task/12540/stat : 12540 (java) S 12521 12521 7440 0 -1 1077944384 17201 0 0 0 70 6 0 0 20 0 19 0 406008182 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271548972960 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12541] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12541/stat : 12541 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271581375248 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12542] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12542/stat : 12542 (java) S 12521 12521 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271381543824 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12543] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12543/stat : 12543 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271380491280 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12544] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12544/stat : 12544 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406008183 8262082560 29915 33554432000 4194304 4196468 140734784218768 140271379438736 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12545] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12545/stat : 12545 (java) S 12521 12521 7440 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 406008184 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270888773616 140271577143938 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12546] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12546/stat : 12546 (java) S 12521 12521 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406008185 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270410654624 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12547] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12547/stat : 12547 (java) S 12521 12521 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406008185 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270142219248 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12548] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12548/stat : 12548 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140269767710928 140271577151387 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12549] ppid=12521 vsize=8068440 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12539/task/12549/stat : 12549 (java) S 12521 12521 7440 0 -1 1077944384 726 0 0 0 9 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270887721456 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12550] ppid=12521 vsize=8068440 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/12539/task/12550/stat : 12550 (java) S 12521 12521 7440 0 -1 1077944384 655 0 0 0 13 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270886668912 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12551] ppid=12521 vsize=8068440 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/12539/task/12551/stat : 12551 (java) S 12521 12521 7440 0 -1 1077944384 796 0 0 0 21 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270885616368 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12552] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12552/stat : 12552 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008187 8262082560 29915 33554432000 4194304 4196468 140734784218768 140269269806176 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12553] ppid=12521 vsize=8068440 memory=5862913222370821278 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12553/stat : 12553 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008188 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270884563248 140271577143938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12555] ppid=12521 vsize=8068440 memory=280666449956752 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12555/stat : 12555 (java) S 12521 12521 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406008256 8262082560 29915 33554432000 4194304 4196468 140734784218768 140270881375296 140271577157401 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12557] ppid=12521 vsize=8068440 memory=2110683832397316 CPUtime=0.01 cores=0,2,4,6
/proc/12539/task/12557/stat : 12557 (java) S 12521 12521 7440 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 406008256 8262082560 29915 33554432000 4194304 4196468 140734784218768 140268732919440 140271577154717 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12558] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12558/stat : 12558 (java) S 12521 12521 7440 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406008256 8262082560 29915 33554432000 4194304 4196468 140734784218768 140268867141392 140271577154717 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
[pid=12539/tid=12559] ppid=12521 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12539/task/12559/stat : 12559 (java) S 12521 12521 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406008259 8262082560 29915 33554432000 4194304 4196468 140734784218768 140268464496176 140271577142997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140734784226299 140734784226458 140734784226458 140734784229327 0
Current children cumulated CPU time: 27.45 s
Current children cumulated vsize: 8454980 KiB
Current children cumulated memory: 340316 KiB

Child status: 0
Real time (s): 20.6462
CPU time (s): 27.5513
CPU user time (s): 26.5255
CPU system time (s): 1.02574
CPU usage (%): 133.445
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 3073004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.5255
system time used= 1.02574
maximum resident set size= 3073116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202587
page faults= 0
swaps= 0
block input operations= 8
block output operations= 103688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5711
involuntary context switches= 72


# summary of solver processes directly reported to runsolver:
#   pid: 12521
#   total CPU time (s): 27.5513
#   total CPU user time (s): 26.5255
#   total CPU system time (s): 1.02574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14806 second user time and 0.267919 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-12 16:08:24
IDJOB=4388229
IDBENCH=138449
IDSOLVER=2825
FILE ID=node150/4388229-1568297343
RUNJOBID= node150-1568287240-8653
PBS_JOBID= 21701061
Free space on /tmp= 52124 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-26.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-4388229-1568297343/watcher-4388229-1568297343 -o /tmp/evaluation-result-4388229-1568297343/solver-4388229-1568297343 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --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-4388229-1568297343.xml

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

MD5SUM BENCH= 163dd1c4311ae2a810c887bcbec28782
RANDOM SEED=621633736

node150.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.79
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.79
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.79
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.79
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:        21907548 kB
MemAvailable:   30114464 kB
Buffers:          138952 kB
Cached:          8222600 kB
SwapCached:         5008 kB
Active:          3605848 kB
Inactive:        6521608 kB
Active(anon):    1739800 kB
Inactive(anon):    46816 kB
Active(file):    1866048 kB
Inactive(file):  6474792 kB
Unevictable:      111376 kB
Mlocked:          111376 kB
SwapTotal:      67108860 kB
SwapFree:       67015816 kB
Dirty:             20540 kB
Writeback:             0 kB
AnonPages:       1932068 kB
Mapped:            46004 kB
Shmem:             12100 kB
Slab:             323376 kB
SReclaimable:     294536 kB
SUnreclaim:        28840 kB
KernelStack:        4256 kB
PageTables:         9596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7981560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    772096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 52104 MiB
End job on node150 at 2019-09-12 16:08:45