Trace number 4388034

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePrimes/
Primes-m1-p20/Primes-20-20-3-3.xml
MD5SUM065412ea00e4edb14381318bc4e9318f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.007616
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Number of domains1
Minimum domain size70
Maximum domain size70
Distribution of domain sizes[{"size":70,"count":60}]
Minimum variable degree0
Maximum variable degree3
Distribution of variable degrees[{"degree":0,"count":40},{"degree":1,"count":35},{"degree":2,"count":17},{"degree":3,"count":8}]
Minimum constraint arity3
Maximum constraint arity6
Distribution of constraint arities[{"arity":3,"count":3},{"arity":4,"count":7},{"arity":5,"count":4},{"arity":6,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":20}]
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-9020-serial-file.bin HOME/instance-4388034-1568294491.xml
0.67/0.53	
0.67/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Thu Sep 12 15:20:47 CEST 2019
0.67/0.55	c PID: 9023
0.67/0.55	c IP: 172.20.3.102
0.67/0.55	c HOST: node102.alineos.net
0.67/0.56	c (0,0) Parsing Begin
1.18/0.84	c (0,0) Parsing End
1.18/0.85	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 20 ctr, max domain size 70
1.18/0.85	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.18/0.85	c (0,0) Constraint Name Generate Begin
1.18/0.85	c (0,0) Ctr:HOME/instance-4388034-1568294491.xml,Num:Var:WeightedSum
1.18/0.85	c (0,0) Constraint Name Generate End
1.18/0.85	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.85	c (0,0) CSP to CSPinCNF Begin
1.36/0.94	c (0,0) translated 2 (10%) constraints
1.36/0.95	c (0,0) translated 4 (20%) constraints
1.36/0.95	c (0,0) translated 6 (30%) constraints
1.36/0.96	c (0,0) translated 8 (40%) constraints
1.36/0.96	c (0,0) translated 10 (50%) constraints
1.36/0.97	c (0,0) translated 12 (60%) constraints
1.36/0.97	c (0,0) translated 14 (70%) constraints
1.36/0.98	c (0,0) translated 16 (80%) constraints
1.36/0.98	c (0,0) translated 18 (90%) constraints
1.36/0.98	c (0,0) translated 20 (100%) constraints
1.36/0.99	c (0,0) ===========================================
1.36/0.99	c (0,0) Order
1.36/0.99	c (0,0) ===========================================
1.58/1.01	c (0,0) translated 2 (10%) constraints
1.58/1.02	c (0,0) translated 4 (20%) constraints
1.58/1.03	c (0,0) translated 6 (30%) constraints
1.58/1.03	c (0,0) translated 8 (40%) constraints
1.58/1.05	c (0,0) translated 10 (50%) constraints
1.58/1.05	c (0,0) translated 12 (60%) constraints
1.58/1.05	c (0,0) translated 14 (70%) constraints
1.58/1.06	c (0,0) translated 16 (80%) constraints
1.58/1.07	c (0,0) translated 18 (90%) constraints
1.58/1.07	c (0,0) translated 20 (100%) constraints
1.58/1.08	c (0,0) CSP to CSPinCNF End
1.58/1.08	c (0,0) CSP: 93 int (33 aux), 0 bool (0 aux), 106 ctr, max domain size 5452
1.58/1.08	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.58/1.08	c (0,0) CSPinCNF Propagation Begin
1.58/1.09	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.58/1.09	c (0,0) CSPinCNF Propagation End
1.58/1.09	c (0,0) CSP: 93 int (33 aux), 0 bool (0 aux), 106 ctr, max domain size 5452
1.58/1.09	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.58/1.10	c (0,0) Simplify CSPinCNF Begin
1.58/1.10	c (0,0) Simplify CSPinCNF End
1.58/1.10	c (0,0) CSP: 93 int (33 aux), 0 bool (0 aux), 106 ctr, max domain size 5452
1.58/1.10	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.58/1.10	c (0,0) Calculate Precise Domain Begin
2.33/1.31	c (0,0) 12346 values are removed by re-calculation
2.33/1.31	c (0,0) Calculate Precise Domain End
2.33/1.31	c (0,0) CSP: 93 int (33 aux), 0 bool (0 aux), 106 ctr, max domain size 4723
2.33/1.31	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.33/1.31	c (0,0) CSPinCNF to SatSolver Begin
11.67/7.07	c (6,5) 11 (10 %) CSP clauses are encoded (0 SAT variables, 2845728 SAT clauses)
12.77/8.27	c (7,6) 22 (20 %) CSP clauses are encoded (0 SAT variables, 3191860 SAT clauses)
18.60/12.84	c (12,10) 32 (30 %) CSP clauses are encoded (0 SAT variables, 5938253 SAT clauses)
22.14/15.66	c (15,13) 43 (40 %) CSP clauses are encoded (0 SAT variables, 7673853 SAT clauses)
23.48/16.98	c (16,14) 53 (50 %) CSP clauses are encoded (0 SAT variables, 8548796 SAT clauses)
23.85/17.29	c (16,14) 64 (60 %) CSP clauses are encoded (0 SAT variables, 8728025 SAT clauses)
23.99/17.34	c (16,14) 75 (70 %) CSP clauses are encoded (0 SAT variables, 8758540 SAT clauses)
33.09/24.77	c (24,20) 85 (80 %) CSP clauses are encoded (0 SAT variables, 12841312 SAT clauses)
62.90/40.68	c (40,31) 96 (90 %) CSP clauses are encoded (0 SAT variables, 20012438 SAT clauses)
90.95/56.14	c (55,41) 106 (100 %) CSP clauses are encoded (0 SAT variables, 27188136 SAT clauses)
90.95/56.14	c (55,41) CSPinCNF to SatSolver End
90.95/56.14	c (55,41) Heap : 4315 MiB used (max 10165 MiB), NonHeap : 25 MiB used (max 0 MiB)
90.95/56.14	c (55,41) 63569 bool, 27190725 clause
90.95/56.14	c (55,41) Export Begin
91.08/56.23	c (55,41) Export to HOME/scop-9020-serial-file.bin
91.08/56.23	c (55,41) Export End
91.08/56.23	c (55,41) Export File Size: 0.01 MB
91.08/56.23	c (55,41) 0,0,0,0,0,0,55,STOP-AFTER(DIMACS)
91.08/56.23	c END-Prog: Thu Sep 12 15:21:43 CEST 2019
0.00/57.12	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9020-serial-file.bin
91.18/57.58	c (0,0) Read Serial File Begin
91.18/57.58	c (0,0) HOME/scop-9020-serial-file.bin
91.18/57.78	c (0,0) Read Serial File End
91.18/57.79	
91.18/57.79	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
91.18/57.79	(Solving Process)
91.18/57.79	
91.18/57.81	c BEGIN-Prog: Thu Sep 12 15:21:44 CEST 2019
91.18/57.81	c PID: 9062
91.18/57.81	c IP: 172.20.3.102
91.18/57.81	c HOST: node102.alineos.net
91.18/57.82	c (0,0) SatSolver.solve Begin
91.18/57.82	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388034-1568294491.xml-scop-9023.cnf
91.18/57.85	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
91.18/57.85	c (0,0) c glueminisat-simp-2.2.10-193oa-n
91.18/57.85	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388034-1568294491.xml-scop-9023.cnf 
91.18/57.85	c (0,0) c Options:
91.18/57.85	c (0,0) c CORE
91.18/57.85	c (0,0) c  var_decay             = 0.950
91.18/57.85	c (0,0) c  clause_decay          = 0.999
91.18/57.85	c (0,0) c  random_var_freq       = 0.000
91.18/57.85	c (0,0) c  random_seed           = 91648253.000
91.18/57.85	c (0,0) c  luby_restart          = 1
91.18/57.85	c (0,0) c  ccmin_mode            = 2
91.18/57.85	c (0,0) c  phase_saving          = 2
91.18/57.85	c (0,0) c  rnd_pol               = 0
91.18/57.85	c (0,0) c  rnd_init_act          = 0
91.18/57.85	c (0,0) c  garbage_frac          = 0.200
91.18/57.85	c (0,0) c  restart_first         = 1000
91.18/57.85	c (0,0) c  restart_inc           = 2.000
91.18/57.85	c (0,0) c MODEL
91.18/57.85	c (0,0) c  partial_model         = 0
91.18/57.85	c (0,0) c PROPAGATION
91.18/57.85	c (0,0) c  bin_propagation       = 1
91.18/57.85	c (0,0) c SIMPLIFICATION
91.18/57.85	c (0,0) c  lrn_min_size          = 100
91.18/57.85	c (0,0) c  lazy_simp             = 1
91.18/57.85	c (0,0) c  lazy_interval         = 10
91.18/57.85	c (0,0) c  lazy_fld_probing      = 1
91.18/57.85	c (0,0) c  lazy_pol_probing      = 1
91.18/57.85	c (0,0) c  lazy_nec_probing      = 1
91.18/57.85	c (0,0) c  lazy_eqv_probing      = 1
91.18/57.85	c (0,0) c  lazy_cla_probing      = 1
91.18/57.85	c (0,0) c  lazy_lrn_min          = 2
91.18/57.85	c (0,0) c  lazy_uw_lit_elim      = 1
91.18/57.85	c (0,0) c  lazy_pr_lit_elim      = 0
91.18/57.85	c (0,0) c  lazy_bin_add          = 3
91.18/57.85	c (0,0) c  probed_lit_chain      = 1
91.18/57.85	c (0,0) c  pr_min_lits           = 0.00020
91.18/57.85	c (0,0) c  pr_min_starts         = 500
91.18/57.85	c (0,0) c  rw_min_lits           = 0.010
91.18/57.85	c (0,0) c  rw_min_starts         = 500
91.18/57.85	c (0,0) c  rand_attach           = 0
91.18/57.85	c (0,0) c  dec_elim              = 1
91.18/57.85	c (0,0) c  dec_elim_lim          = 25
91.18/57.85	c (0,0) c  dec_elim_len          = -1
91.18/57.85	c (0,0) c  amo                   = 0
91.18/57.85	c (0,0) c  amo_grp               = 1
91.18/57.85	c (0,0) c  amo_max_bins          = 1000000
91.18/57.85	c (0,0) c  amo_starts            = 50
91.18/57.85	c (0,0) c  mace_cmd              = mace
91.18/57.85	c (0,0) c DECISION
91.18/57.85	c (0,0) c  rand_rebuild          = 0
91.18/57.85	c (0,0) c  rand_rebuild_confs    = 10000
91.18/57.85	c (0,0) c  inc_var_decay         = 1
91.18/57.85	c (0,0) c  inc_var_decay_period  = 100000
91.18/57.85	c (0,0) c  inc_var_decay_init    = 0.600
91.18/57.85	c (0,0) c  var_decay_mode        = 0
91.18/57.85	c (0,0) c  var_decay_gain        = 0
91.18/57.85	c (0,0) c  sloped_var_decay      = 1
91.18/57.85	c (0,0) c  max_var_decay         = 0.990
91.18/57.85	c (0,0) c  min_var_decay         = 0.950
91.18/57.85	c (0,0) c  min_var_decay_vars    = 10000
91.18/57.85	c (0,0) c  max_var_decay_vars    = 500
91.18/57.85	c (0,0) c  uip_bumping           = 1
91.18/57.85	c (0,0) c  lbd_act_bumping       = 1
91.18/57.85	c (0,0) c  rand_tiebreak         = 0
91.18/57.85	c (0,0) c  simp_rebuild          = 1
91.18/57.85	c (0,0) c RESTART
91.18/57.85	c (0,0) c  restart_strategy      = 2
91.18/57.85	c (0,0) c  restart_blocking      = 0
91.18/57.85	c (0,0) c  agility_decay         = 0.99990
91.18/57.85	c (0,0) c  lbd_restart_rate      = 0.800
91.18/57.85	c (0,0) c  dec_restart_rate      = 0.950
91.18/57.85	c (0,0) c  blk_restart_rate      = 0.700
91.18/57.85	c (0,0) c  lbd_queue_size        = 50
91.18/57.85	c (0,0) c  dec_queue_size        = 50
91.18/57.85	c (0,0) c  trl_queue_size        = 5000
91.18/57.85	c (0,0) c  blk_restart_weight    = 1.000
91.18/57.85	c (0,0) c  inc_rst_rate          = 0
91.18/57.85	c (0,0) c  inc_rst_rate_period   = 500000
91.18/57.85	c (0,0) c  inc_lbd_rst_rate_init = 0.600
91.18/57.85	c (0,0) c  inc_dec_rst_rate_init = 0.750
91.18/57.85	c (0,0) c REDUCTION
91.18/57.85	c (0,0) c  closed_lbd            = 0
91.18/57.85	c (0,0) c  closed_lbd_rate       = 0.500
91.18/57.85	c (0,0) c  rm_simulate           = 0
91.18/57.85	c (0,0) c  rdb_eval              = 2
91.18/57.85	c (0,0) c  rdb_call              = 3
91.18/57.85	c (0,0) c  rdb_ub                = 0.500
91.18/57.85	c (0,0) c  core_lbd_cvr          = 0.800
91.18/57.85	c (0,0) c  supp_lbd_cvr          = 0.990
91.18/57.85	c (0,0) c  core_lbd_lb           = 2
91.18/57.86	c (0,0) c  supp_lbd_lb           = 2
91.18/57.86	c (0,0) c  core_lbd_prd          = 7
91.18/57.86	c (0,0) c  supp_lbd_prd          = 1
91.18/57.86	c (0,0) c  othr_lbd_prd          = 0
91.18/57.86	c (0,0) c  inc_lrn_limit         = 1000
91.18/57.86	c (0,0) c  frozen_lbd            = 30
91.18/57.86	c (0,0) c  simp_min_starts       = 100
91.18/57.86	c (0,0) c  rm_low_act_learnts    = 1
91.18/57.86	c (0,0) c  lv0_reduce_db         = 0
91.18/57.86	c (0,0) c  reduce_db_base        = 20000
91.18/57.86	c (0,0) c  reduce_db_inc         = 1000
91.18/57.86	c (0,0) c HARD
91.18/57.86	c (0,0) c  inst_check            = 200000
91.18/57.86	c (0,0) c  small_block           = 1.750
91.18/57.86	c (0,0) c  slow_restart_speed    = 400.000
91.18/57.86	c (0,0) c  slow_restart_strategy = 3
91.18/57.86	c (0,0) c  slow_lbd_restart_rate = 0.700
91.18/57.86	c (0,0) c  slow_dec_restart_rate = 1.000
91.18/57.86	c (0,0) c  slow_lbd_queue_size   = 50
91.18/57.86	c (0,0) c  slow_var_decay        = 0.950
91.18/57.86	c (0,0) c  slow_glue_threshold   = 2
91.18/57.86	c (0,0) c  slow_phase_saving     = 2
91.18/57.86	c (0,0) c  fast_restart_speed    = 125.000
91.18/57.86	c (0,0) c  fast_restart_strategy = 1
91.18/57.86	c (0,0) c  fast_lbd_restart_rate = 0.800
91.18/57.86	c (0,0) c  fast_dec_restart_rate = 0.950
91.18/57.86	c (0,0) c  fast_lbd_queue_size   = 50
91.18/57.86	c (0,0) c  fast_var_decay        = 1.000
91.18/57.86	c (0,0) c  fast_glue_threshold   = 2
91.18/57.86	c (0,0) c  fast_phase_saving     = 2
91.18/57.86	c (0,0) c STATS
91.18/57.86	c (0,0) c  stats_conf_size       = 10000
91.18/57.86	c (0,0) c  max_stats_size        = 30
91.18/57.86	c (0,0) c SOLVER
91.18/57.86	c (0,0) c  minisat               = 0
99.96/65.54	c (8,0) WARNING! DIMACS header mismatch: wrong number of variables.
99.96/65.54	c (8,0) c Problem: 63570 variables, 27190115 clauses, parsing 7.05 s
100.66/66.21	c (8,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
102.36/67.91	c (10,0) c Simplification: 19 vars, 0 clauses are eliminated using 2.18 s
102.36/67.91	c (10,0) c
102.36/67.91	c (10,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
102.36/67.91	c (10,0) c
102.36/67.91	c (10,0) c   10         0         0    63551 27190115        0   -nan  -nan  -nan -nan%
103.16/68.71	c (11,0) c   10         1        36    63548 27190115       34   15.3   9.6 6406.6 95.3%
103.16/68.71	c (11,0) c
103.16/68.71	c (11,0) c
103.16/68.71	c (11,0) c variables         : 63548       (init 63570, after simp 63551, 0 non-decs, 93 csp)
103.16/68.71	c (11,0) c clauses           : 27190115    (init 27190115, after simp 27190115)
103.16/68.71	c (11,0) c restarts          : 0           (36.00 confs/res, 36~36 confs, 0 blks, 0 last)
103.16/68.71	c (11,0) c conflicts         : 36          (4 /sec, 66.67% dconfs, 0.00% supp, trail 9.43w x 6406.58h, jmp 364.47h)
103.16/68.71	c (11,0) c decisions         : 17698       (0.6000 vdcy, 1769 /sec, 0.00% bin, rs 0.000 s)
103.16/68.71	c (11,0) c propagations      : 195181      (19508 /sec, 11.03 lits/dec, 50.08% o.a.)
103.16/68.71	c (11,0) c conflict literals : 559         (6.62% deleted; 0.00% by bin min, 0.000 s)
103.16/68.71	c (11,0) c len               : 15.294      (14.50 for all, max 48, used 47)
103.16/68.71	c (11,0) c lbd               : 9.618       (9.78 (9.14) for all, max 32, used 32, 8.386 stdev, 1.483 blk)
103.16/68.71	c (11,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
103.16/68.71	c (11,0) c simp dbs          : 0           (0.000 s)
103.16/68.71	c (11,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
103.16/68.71	c (11,0) c learnts           : 34          (0 learnts removed, 0.00%)
103.16/68.71	c (11,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
103.16/68.71	c (11,0) c assigned lits     : 0           (0/0 probed, 0 remains)
103.16/68.71	c (11,0) c premise updates   : 0           (0.00 /lit)
103.16/68.71	c (11,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
103.16/68.71	c (11,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
103.16/68.71	c (11,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.003s)
103.16/68.71	c (11,0) c unwatched lit elim: 0           (0.00+0.00%, 0+0 of 81454525+559)
103.16/68.71	c (11,0) c classified type   : undef
103.16/68.71	c (11,0) c progress          : 0.035 %
103.16/68.71	c (11,0) c
103.16/68.71	c (11,0) c [Statistics]
103.16/68.71	c (11,0) c             learnts len        learnts lbd        lit blk size       eq vars size
103.16/68.72	c (11,0) c  tot          36                 36                352                  0
103.16/68.72	c (11,0) c  avg      14.500              9.139              1.483               -nan
103.16/68.72	c (11,0) c   1            2 ( 5.6%)          2 ( 5.6%)        283 (80.4%)          0 (-nan%)
103.16/68.72	c (11,0) c   2            0 ( 0.0%)          1 ( 2.8%)         30 ( 8.5%)          0 (-nan%)
103.16/68.72	c (11,0) c   3            0 ( 0.0%)          6 (16.7%)         18 ( 5.1%)          0 (-nan%)
103.16/68.72	c (11,0) c   4            4 (11.1%)          6 (16.7%)          5 ( 1.4%)          0 (-nan%)
103.16/68.72	c (11,0) c   5            1 ( 2.8%)          3 ( 8.3%)          3 ( 0.9%)          0 (-nan%)
103.16/68.72	c (11,0) c   6            6 (16.7%)          3 ( 8.3%)          7 ( 2.0%)          0 (-nan%)
103.16/68.72	c (11,0) c   7            1 ( 2.8%)          1 ( 2.8%)          1 ( 0.3%)          0 (-nan%)
103.16/68.72	c (11,0) c   8            3 ( 8.3%)          1 ( 2.8%)          4 ( 1.1%)          0 (-nan%)
103.16/68.72	c (11,0) c   9            1 ( 2.8%)          4 (11.1%)          1 ( 0.3%)          0 (-nan%)
103.16/68.72	c (11,0) c  10            2 ( 5.6%)          2 ( 5.6%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  11            2 ( 5.6%)          1 ( 2.8%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  12            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  13            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  14            1 ( 2.8%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  15            3 ( 8.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  16            2 ( 5.6%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  17            1 ( 2.8%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  18            1 ( 2.8%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  19            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  20            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  21            0 ( 0.0%)          1 ( 2.8%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  22            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  23            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  24            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  25            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  26            0 ( 0.0%)          1 ( 2.8%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  27            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  28            0 ( 0.0%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  29            0 ( 0.0%)          1 ( 2.8%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c  30            6 (16.7%)          3 ( 8.3%)          0 ( 0.0%)          0 (-nan%)
103.16/68.72	c (11,0) c
103.16/68.72	c (11,0) c [LBD Statistics]
103.16/68.72	c (11,0) c LBD          used lbd               used clause lbd         unused clause lbd
103.16/68.72	c (11,0) c  tot           15                      11                      23
103.16/68.72	c (11,0) c  avg       10.067                  10.455                   9.217
103.16/68.72	c (11,0) c    1            0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)
103.16/68.72	c (11,0) c    2            0 ( 0.0/ 0.0%)          0 ( 0.0/ 0.0%)          1 ( 4.3/ 4.3%)
103.16/68.72	c (11,0) c    3            2 (13.3/13.3%)          3 (27.3/27.3%)          3 (13.0/17.4%)
103.16/68.72	c (11,0) c    4            2 (13.3/26.7%)          0 ( 0.0/27.3%)          6 (26.1/43.5%)
103.16/68.72	c (11,0) c    5            0 ( 0.0/26.7%)          1 ( 9.1/36.4%)          2 ( 8.7/52.2%)
103.16/68.72	c (11,0) c    6            1 ( 6.7/33.3%)          1 ( 9.1/45.5%)          2 ( 8.7/60.9%)
103.16/68.72	c (11,0) c    7            2 (13.3/46.7%)          0 ( 0.0/45.5%)          1 ( 4.3/65.2%)
103.16/68.72	c (11,0) c    8            1 ( 6.7/53.3%)          1 ( 9.1/54.5%)          0 ( 0.0/65.2%)
103.16/68.72	c (11,0) c    9            2 (13.3/66.7%)          2 (18.2/72.7%)          2 ( 8.7/73.9%)
103.16/68.72	c (11,0) c   10            3 (20.0/86.7%)          1 ( 9.1/81.8%)          1 ( 4.3/78.3%)
103.16/68.72	c (11,0) c   11            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          1 ( 4.3/82.6%)
103.16/68.72	c (11,0) c   12            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/82.6%)
103.16/68.72	c (11,0) c   13            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/82.6%)
103.16/68.72	c (11,0) c   14            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/82.6%)
103.16/68.72	c (11,0) c   15            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/82.6%)
103.16/68.72	c (11,0) c   16            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/82.6%)
103.16/68.72	c (11,0) c   17            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/82.6%)
103.16/68.72	c (11,0) c   18            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/82.6%)
103.16/68.72	c (11,0) c   19            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/82.6%)
103.16/68.72	c (11,0) c   20            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/82.6%)
103.16/68.72	c (11,0) c   21            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          1 ( 4.3/87.0%)
103.16/68.72	c (11,0) c   22            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/87.0%)
103.16/68.72	c (11,0) c   23            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/87.0%)
103.16/68.72	c (11,0) c   24            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/87.0%)
103.16/68.72	c (11,0) c   25            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/87.0%)
103.16/68.72	c (11,0) c   26            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          1 ( 4.3/91.3%)
103.16/68.72	c (11,0) c   27            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/91.3%)
103.16/68.72	c (11,0) c   28            0 ( 0.0/86.7%)          0 ( 0.0/81.8%)          0 ( 0.0/91.3%)
103.16/68.72	c (11,0) c   29            1 ( 6.7/93.3%)          1 ( 9.1/90.9%)          0 ( 0.0/91.3%)
103.16/68.72	c (11,0) c   30            0 ( 0.0/93.3%)          1 ( 9.1/100.0%)          1 ( 4.3/95.7%)
103.16/68.72	c (11,0) c   31            0 ( 0.0/93.3%)          0 ( 0.0/100.0%)          0 ( 0.0/95.7%)
103.16/68.72	c (11,0) c   32            1 ( 6.7/100.0%)          0 ( 0.0/100.0%)          1 ( 4.3/100.0%)
103.16/68.72	c (11,0) c
103.16/68.72	c (11,0) c Memory used       : 2883.00 MB
103.16/68.72	c (11,0) c CPU time          : 10.005 s
103.16/68.72	c (11,0) c Real time         : 10.873 s
103.16/68.72	c (11,0) c
103.16/68.72	c (11,0) s SATISFIABLE
103.47/68.80	c (11,0) SatSolver.solve End
103.47/68.80	c (11,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
103.47/68.80	c (11,0) Show results Begin
103.64/68.90	c (11,0) x[2] = 42
103.64/68.90	c (11,0) x[3] = 7
103.64/68.90	c (11,0) x[4] = 12
103.64/68.90	c (11,0) x[5] = 6
103.64/68.90	c (11,0) x[7] = 12
103.64/68.90	c (11,0) x[9] = 12
103.64/68.90	c (11,0) x[12] = 56
103.64/68.90	c (11,0) x[13] = 71
103.64/68.90	c (11,0) x[14] = 2
103.64/68.90	c (11,0) x[15] = 2
103.64/68.90	c (11,0) x[17] = 62
103.64/68.90	c (11,0) x[19] = 33
103.64/68.90	c (11,0) x[20] = 2
103.64/68.90	c (11,0) x[25] = 23
103.64/68.90	c (11,0) x[26] = 2
103.64/68.90	c (11,0) x[27] = 55
103.64/68.90	c (11,0) x[28] = 10
103.64/68.90	c (11,0) x[29] = 46
103.64/68.90	c (11,0) x[30] = 67
103.64/68.90	c (11,0) x[31] = 27
103.64/68.90	c (11,0) x[33] = 53
103.64/68.90	c (11,0) x[36] = 54
103.64/68.90	c (11,0) x[37] = 70
103.64/68.90	c (11,0) x[39] = 11
103.64/68.90	c (11,0) x[40] = 62
103.64/68.90	c (11,0) x[44] = 6
103.64/68.90	c (11,0) x[46] = 41
103.64/68.90	c (11,0) x[48] = 4
103.64/68.90	c (11,0) x[49] = 62
103.64/68.90	c (11,0) x[50] = 6
103.64/68.90	c (11,0) x[51] = 2
103.64/68.90	c (11,0) x[53] = 25
103.64/68.90	c (11,0) x[55] = 19
103.64/68.90	c (11,0) x[56] = 10
103.64/68.90	c (11,0) x[59] = 11
103.64/68.90	c (11,0) x[60] = 71
103.64/68.90	c (11,0) x[61] = 3
103.64/68.90	c (11,0) x[64] = 66
103.64/68.90	c (11,0) x[65] = 61
103.64/68.90	c (11,0) x[67] = 2
103.64/68.90	c (11,0) x[68] = 27
103.64/68.90	c (11,0) x[69] = 59
103.64/68.90	c (11,0) x[70] = 2
103.64/68.90	c (11,0) x[71] = 47
103.64/68.90	c (11,0) x[72] = 4
103.64/68.90	c (11,0) x[74] = 52
103.64/68.90	c (11,0) x[75] = 50
103.64/68.90	c (11,0) x[76] = 29
103.64/68.90	c (11,0) x[77] = 70
103.64/68.90	c (11,0) x[79] = 31
103.64/68.90	c (11,0) x[80] = 16
103.64/68.90	c (11,0) x[82] = 49
103.64/68.90	c (11,0) x[83] = 71
103.64/68.90	c (11,0) x[84] = 3
103.64/68.90	c (11,0) x[88] = 58
103.64/68.90	c (11,0) x[90] = 71
103.64/68.90	c (11,0) x[92] = 2
103.64/68.90	c (11,0) x[93] = 5
103.64/68.90	c (11,0) x[95] = 37
103.64/68.90	c (11,0) x[99] = 68
103.64/68.90	s SATISFIABLE
103.64/68.91	v <instantiation>
103.64/68.91	v     <list>x[2] x[3] x[4] x[5] x[7] x[9] x[12] x[13] x[14] x[15] x[17] x[19] x[20] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[33] x[36] x[37] x[39] x[40] x[44] x[46] x[48] x[49] x[50] x[51] x[53] x[55] x[56] x[59] x[60] x[61] x[64] x[65] x[67] x[68] x[69] x[70] x[71] x[72] x[74] x[75] x[76] x[77] x[79] x[80] x[82] x[83] x[84] x[88] x[90] x[92] x[93] x[95] x[99]</list>
103.64/68.91	v     <values>42 7 12 6 12 12 56 71 2 2 62 33 2 23 2 55 10 46 67 27 53 54 70 11 62 6 41 4 62 6 2 25 19 10 11 71 3 66 61 2 27 59 2 47 4 52 50 29 70 31 16 49 71 3 58 71 2 5 37 68</values>
103.64/68.91	v </instantiation>
103.64/68.91	c (11,0) Show results End
103.64/68.91	c (11,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
103.64/68.91	c (11,0) 11,11,STOP-AFTER(ALL)
103.64/68.91	c END-Prog: Thu Sep 12 15:21:55 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388034-1568294491/watcher-4388034-1568294491 -o /tmp/evaluation-result-4388034-1568294491/solver-4388034-1568294491 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6431 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388034-1568294491.xml 

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

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


[startup+0.100133 s]*
/proc/loadavg: 4.39 4.17 3.26 3/230 9037
/proc/meminfo: memFree=19678060/32770624 swapFree=66992864/67108860
[pid=9020] ppid=9017 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9020/stat : 9020 (scop.sh) S 9017 9020 5522 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405700609 115843072 349 33554432000 4194304 5098028 140734056526688 140734056523944 140117683327612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38866944 140734056534824 140734056535152 140734056535152 140734056538061 0
/proc/9020/statm: 28282 349 296 221 0 87 0
[pid=9023] ppid=9020 vsize=15012696 memory=73084 CPUtime=0.12 cores=1,3,5,7
/proc/9023/stat : 9023 (java) S 9020 9020 5522 0 -1 1077944320 6538 0 0 0 10 2 0 0 20 0 15 0 405700609 15373000704 18271 33554432000 4194304 4196468 140728535700320 140728535682864 139651888897783 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
/proc/9023/statm: 3753174 18271 2938 1 0 3715579 0
[pid=9023/tid=9024] ppid=9020 vsize=15012696 memory=7100839861464433778 CPUtime=0.09 cores=1,3,5,7
/proc/9023/task/9024/stat : 9024 (java) R 9020 9020 5522 0 -1 4202560 4323 0 0 0 8 1 0 0 20 0 15 0 405700609 15373000704 18271 33554432000 4194304 4196468 140728535700320 139651860692944 139651872978270 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9025] ppid=9020 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9025/stat : 9025 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 18271 33554432000 4194304 4196468 140728535700320 139651893139728 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9026] ppid=9020 vsize=15012696 memory=140128405399168 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9026/stat : 9026 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 18271 33554432000 4194304 4196468 140728535700320 139651668842896 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9027] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9027/stat : 9027 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 18271 33554432000 4194304 4196468 140728535700320 139651348163088 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9028] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9028/stat : 9028 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 18271 33554432000 4194304 4196468 140728535700320 139651347110544 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9029] ppid=9020 vsize=15012696 memory=140128405399168 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9029/stat : 9029 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700612 15373000704 18271 33554432000 4194304 4196468 140728535700320 139650657139184 139651888908930 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9030] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9030/stat : 9030 (java) S 9020 9020 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405700613 15373000704 18271 33554432000 4194304 4196468 140728535700320 139650526078368 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9031] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9031/stat : 9031 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700613 15373000704 18271 33554432000 4194304 4196468 140728535700320 139650257642992 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9032] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9032/stat : 9032 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405700615 15373000704 18271 33554432000 4194304 4196468 140728535700320 139649883134672 139651888916379 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9033] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9033/stat : 9033 (java) S 9020 9020 5522 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 405700615 15373000704 18271 33554432000 4194304 4196468 140728535700320 139650656086000 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9034] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9034/stat : 9034 (java) S 9020 9020 5522 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 405700615 15373000704 18271 33554432000 4194304 4196468 140728535700320 139650655033456 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9035] ppid=9020 vsize=15012696 memory=140128405399168 CPUtime=0.01 cores=1,3,5,7
/proc/9023/task/9035/stat : 9035 (java) S 9020 9020 5522 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 15 0 405700615 15373000704 18271 33554432000 4194304 4196468 140728535700320 139650653980912 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9036] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9036/stat : 9036 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405700616 15373000704 18271 33554432000 4194304 4196468 140728535700320 139649385228896 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9037] ppid=9020 vsize=15012696 memory=140128405399168 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9037/stat : 9037 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700616 15373000704 18271 33554432000 4194304 4196468 140728535700320 139650652928816 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74480 KiB

[startup+0.211227 s]*
/proc/loadavg: 4.20 4.14 3.25 3/230 9037
/proc/meminfo: memFree=19659428/32770624 swapFree=66992864/67108860
[pid=9020] ppid=9017 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9020/stat : 9020 (scop.sh) S 9017 9020 5522 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405700609 115843072 349 33554432000 4194304 5098028 140734056526688 140734056523944 140117683327612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38866944 140734056534824 140734056535152 140734056535152 140734056538061 0
/proc/9020/statm: 28282 349 296 221 0 87 0
[pid=9023] ppid=9020 vsize=15012696 memory=87864 CPUtime=0.26 cores=1,3,5,7
/proc/9023/stat : 9023 (java) S 9020 9020 5522 0 -1 1077944320 11572 0 0 0 22 4 0 0 20 0 15 0 405700609 15373000704 21966 33554432000 4194304 4196468 140728535700320 140728535682864 139651888897783 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
/proc/9023/statm: 3753174 21966 2941 1 0 3715579 0
[pid=9023/tid=9024] ppid=9020 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9023/task/9024/stat : 9024 (java) R 9020 9020 5522 0 -1 4202560 9306 0 0 0 17 3 0 0 20 0 15 0 405700609 15373000704 21966 33554432000 4194304 4196468 140728535700320 139651860681344 139651872978270 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9025] ppid=9020 vsize=15012696 memory=2809255 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9025/stat : 9025 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 21966 33554432000 4194304 4196468 140728535700320 139651893139728 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9026] ppid=9020 vsize=15012696 memory=2944239 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9026/stat : 9026 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 21966 33554432000 4194304 4196468 140728535700320 139651668842896 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9027] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9027/stat : 9027 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 21966 33554432000 4194304 4196468 140728535700320 139651348163088 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9028] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9028/stat : 9028 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 21966 33554432000 4194304 4196468 140728535700320 139651347110544 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9029] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9029/stat : 9029 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700612 15373000704 21966 33554432000 4194304 4196468 140728535700320 139650657139184 139651888908930 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9030] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9030/stat : 9030 (java) S 9020 9020 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405700613 15373000704 21966 33554432000 4194304 4196468 140728535700320 139650526078368 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9031] ppid=9020 vsize=15012696 memory=140128405399168 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9031/stat : 9031 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700613 15373000704 21966 33554432000 4194304 4196468 140728535700320 139650257642992 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9032] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9032/stat : 9032 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405700615 15373000704 21966 33554432000 4194304 4196468 140728535700320 139649883134672 139651888916379 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9033] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9033/stat : 9033 (java) S 9020 9020 5522 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 405700615 15373000704 21966 33554432000 4194304 4196468 140728535700320 139650656086000 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9034] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9034/stat : 9034 (java) S 9020 9020 5522 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 405700615 15373000704 21966 33554432000 4194304 4196468 140728535700320 139650655033456 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9035] ppid=9020 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9023/task/9035/stat : 9035 (java) R 9020 9020 5522 0 -1 4202560 455 0 0 0 3 0 0 0 20 0 15 0 405700615 15373000704 21966 33554432000 4194304 4196468 140728535700320 139650653980912 139651868868968 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9036] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9036/stat : 9036 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405700616 15373000704 21966 33554432000 4194304 4196468 140728535700320 139649385228896 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9037] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9037/stat : 9037 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700616 15373000704 21966 33554432000 4194304 4196468 140728535700320 139650652928816 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89260 KiB

[startup+0.3107 s]*
/proc/loadavg: 4.20 4.14 3.25 3/230 9037
/proc/meminfo: memFree=19656500/32770624 swapFree=66992864/67108860
[pid=9020] ppid=9017 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9020/stat : 9020 (scop.sh) S 9017 9020 5522 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405700609 115843072 349 33554432000 4194304 5098028 140734056526688 140734056523944 140117683327612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38866944 140734056534824 140734056535152 140734056535152 140734056538061 0
/proc/9020/statm: 28282 349 296 221 0 87 0
[pid=9023] ppid=9020 vsize=15012696 memory=92156 CPUtime=0.43 cores=1,3,5,7
/proc/9023/stat : 9023 (java) S 9020 9020 5522 0 -1 1077944320 12047 0 0 0 39 4 0 0 20 0 15 0 405700609 15373000704 23039 33554432000 4194304 4196468 140728535700320 140728535682864 139651888897783 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
/proc/9023/statm: 3753174 23039 3063 1 0 3715579 0
[pid=9023/tid=9024] ppid=9020 vsize=15012696 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/9023/task/9024/stat : 9024 (java) R 9020 9020 5522 0 -1 4202560 9587 0 0 0 27 3 0 0 20 0 15 0 405700609 15373000704 23039 33554432000 4194304 4196468 140728535700320 139651860727856 139651888911647 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9025] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9025/stat : 9025 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 23039 33554432000 4194304 4196468 140728535700320 139651893139728 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9026] ppid=9020 vsize=15012696 memory=14128965877810045 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9026/stat : 9026 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 23039 33554432000 4194304 4196468 140728535700320 139651668842896 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9027] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9027/stat : 9027 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 23039 33554432000 4194304 4196468 140728535700320 139651348163088 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9028] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9028/stat : 9028 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700611 15373000704 23039 33554432000 4194304 4196468 140728535700320 139651347110544 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9029] ppid=9020 vsize=15012696 memory=140128405399168 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9029/stat : 9029 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700612 15373000704 23039 33554432000 4194304 4196468 140728535700320 139650657139184 139651888908930 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9030] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9030/stat : 9030 (java) S 9020 9020 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405700613 15373000704 23039 33554432000 4194304 4196468 140728535700320 139650526078368 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9031] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9031/stat : 9031 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700613 15373000704 23039 33554432000 4194304 4196468 140728535700320 139650257642992 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9032] ppid=9020 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9032/stat : 9032 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405700615 15373000704 23039 33554432000 4194304 4196468 140728535700320 139649883134672 139651888916379 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9033] ppid=9020 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9023/task/9033/stat : 9033 (java) S 9020 9020 5522 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 15 0 405700615 15373000704 23039 33554432000 4194304 4196468 140728535700320 139650656086000 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9034] ppid=9020 vsize=15012696 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9023/task/9034/stat : 9034 (java) S 9020 9020 5522 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 15 0 405700615 15373000704 23039 33554432000 4194304 4196468 140728535700320 139650655033456 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9035] ppid=9020 vsize=15012696 memory=140128405399168 CPUtime=0.07 cores=1,3,5,7
/proc/9023/task/9035/stat : 9035 (java) S 9020 9020 5522 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 15 0 405700615 15373000704 23039 33554432000 4194304 4196468 140728535700320 139650653980912 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9036] ppid=9020 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9036/stat : 9036 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405700616 15373000704 23039 33554432000 4194304 4196468 140728535700320 139649385228896 139651888907989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9037] ppid=9020 vsize=15012696 memory=140128405399168 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9037/stat : 9037 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700616 15373000704 23039 33554432000 4194304 4196468 140728535700320 139650652928816 139651888908930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93552 KiB

[startup+0.70083 s]
/proc/loadavg: 4.20 4.14 3.25 3/230 9037
/proc/meminfo: memFree=19634664/32770624 swapFree=66992864/67108860
[pid=9020] ppid=9017 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9020/stat : 9020 (scop.sh) S 9017 9020 5522 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405700609 115843072 349 33554432000 4194304 5098028 140734056526688 140734056523944 140117683327612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38866944 140734056534824 140734056535152 140734056535152 140734056538061 0
/proc/9020/statm: 28282 349 296 221 0 87 0
[pid=9023] ppid=9020 vsize=15021092 memory=130264 CPUtime=0.99 cores=1,3,5,7
/proc/9023/stat : 9023 (java) S 9020 9020 5522 0 -1 1077944320 19905 0 0 0 93 6 0 0 20 0 15 0 405700609 15381598208 32566 33554432000 4194304 4196468 140728535700320 140728535682864 139651888897783 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
/proc/9023/statm: 3755273 32566 3219 1 0 3716603 0
[pid=9023/tid=9024] ppid=9020 vsize=15021092 memory=2124 CPUtime=0.67 cores=1,3,5,7
/proc/9023/task/9024/stat : 9024 (java) R 9020 9020 5522 0 -1 4202560 16993 0 0 0 62 5 0 0 20 0 15 0 405700609 15381598208 32566 33554432000 4194304 4196468 140728535700320 139651860715168 139651872941413 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9025] ppid=9020 vsize=15021092 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9025/stat : 9025 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700611 15381598208 32566 33554432000 4194304 4196468 140728535700320 139651893139728 139651888907989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9026] ppid=9020 vsize=15021092 memory=496 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9026/stat : 9026 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700611 15381598208 32566 33554432000 4194304 4196468 140728535700320 139651668842896 139651888907989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9027] ppid=9020 vsize=15021092 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9027/stat : 9027 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700611 15381598208 32566 33554432000 4194304 4196468 140728535700320 139651348163088 139651888907989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9028] ppid=9020 vsize=15021092 memory=1604 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9028/stat : 9028 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405700611 15381598208 32566 33554432000 4194304 4196468 140728535700320 139651347110544 139651888907989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9029] ppid=9020 vsize=15021092 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9029/stat : 9029 (java) S 9020 9020 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405700612 15381598208 32566 33554432000 4194304 4196468 140728535700320 139650657139184 139651888908930 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9030] ppid=9020 vsize=15021092 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9030/stat : 9030 (java) S 9020 9020 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405700613 15381598208 32566 33554432000 4194304 4196468 140728535700320 139650526078368 139651888907989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9031] ppid=9020 vsize=15021092 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9031/stat : 9031 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700613 15381598208 32566 33554432000 4194304 4196468 140728535700320 139650257642992 139651888907989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9032] ppid=9020 vsize=15021092 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9032/stat : 9032 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405700615 15381598208 32566 33554432000 4194304 4196468 140728535700320 139649883134672 139651888916379 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9033] ppid=9020 vsize=15021092 memory=8025788814061032556 CPUtime=0.07 cores=1,3,5,7
/proc/9023/task/9033/stat : 9033 (java) S 9020 9020 5522 0 -1 1077944384 510 0 0 0 7 0 0 0 20 0 15 0 405700615 15381598208 32566 33554432000 4194304 4196468 140728535700320 139650656086000 139651888908930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9034] ppid=9020 vsize=15021092 memory=4638778402627731557 CPUtime=0.08 cores=1,3,5,7
/proc/9023/task/9034/stat : 9034 (java) S 9020 9020 5522 0 -1 1077944384 462 0 0 0 8 0 0 0 20 0 15 0 405700615 15381598208 32566 33554432000 4194304 4196468 140728535700320 139650655033456 139651888908930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9035] ppid=9020 vsize=15021092 memory=8514726395714826909 CPUtime=0.15 cores=1,3,5,7
/proc/9023/task/9035/stat : 9035 (java) R 9020 9020 5522 0 -1 4202560 607 0 0 0 15 0 0 0 20 0 15 0 405700615 15381598208 32566 33554432000 4194304 4196468 140728535700320 139650653980912 139651881134910 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9036] ppid=9020 vsize=15021092 memory=7521407684649314384 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9036/stat : 9036 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405700616 15381598208 32566 33554432000 4194304 4196468 140728535700320 139649385228896 139651888907989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
[pid=9023/tid=9037] ppid=9020 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9023/task/9037/stat : 9037 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405700616 15381598208 32566 33554432000 4194304 4196468 140728535700320 139650652928816 139651888908930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30597120 140728535708399 140728535708826 140728535708826 140728535711695 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131660 KiB

[startup+1.50122 s]
/proc/loadavg: 4.20 4.14 3.25 5/230 9037
/proc/meminfo: memFree=19607048/32770624 swapFree=66992864/67108860
[pid=9020] ppid=9017 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9020/stat : 9020 (scop.sh) S 9017 9020 5522 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405700609 115843072 349 33554432000 4194304 5098028 140734056526688 140734056523944 140117683327612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38866944 140734056534824 140734056535152 140734056535152 140734056538061 0
/proc/9020/statm: 28282 349 296 221 0 87 0

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

[pid=9062/tid=9074] ppid=9020 vsize=8068440 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/9062/task/9074/stat : 9074 (java) S 9020 9020 5522 0 -1 1077944384 750 0 0 0 19 0 0 0 20 0 19 0 405706327 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331558275440 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9075] ppid=9020 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9075/stat : 9075 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405706327 8262082560 28571 33554432000 4194304 4196468 140727009305040 140329936218592 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9076] ppid=9020 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9076/stat : 9076 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405706328 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331557223344 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9078] ppid=9020 vsize=8068440 memory=3763099673816014896 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9078/stat : 9078 (java) S 9020 9020 5522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405706393 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331549189568 140332115017497 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9080] ppid=9020 vsize=8068440 memory=3761690091369734192 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9080/stat : 9080 (java) S 9020 9020 5522 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 405706393 8262082560 28571 33554432000 4194304 4196468 140727009305040 140329399332880 140332115014813 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9081] ppid=9020 vsize=8068440 memory=-7025452035942946156 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9081/stat : 9081 (java) S 9020 9020 5522 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405706393 8262082560 28571 33554432000 4194304 4196468 140727009305040 140329533554064 140332115014813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9082] ppid=9020 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9082/stat : 9082 (java) S 9020 9020 5522 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405706396 8262082560 28571 33554432000 4194304 4196468 140727009305040 140329130908592 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
Current children cumulated CPU time: 102.47 s
Current children cumulated vsize: 10226496 KiB
Current children cumulated memory: 1713820 KiB

[startup+68.4009 s]
/proc/loadavg: 2.86 3.75 3.18 3/240 9083
/proc/meminfo: memFree=28812960/32770624 swapFree=66992864/67108860
[pid=9020] ppid=9017 vsize=113128 memory=1476 CPUtime=91.18 cores=1,3,5,7
/proc/9020/stat : 9020 (scop.sh) S 9017 9020 5522 0 -1 4202496 585 64027 0 0 0 0 8567 551 20 0 1 0 405700609 115843072 369 33554432000 4194304 5098028 140734056526688 140734056523432 140117683327612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38866944 140734056534824 140734056535152 140734056535152 140734056538061 0
/proc/9020/statm: 28282 369 311 221 0 87 0
[pid=9062] ppid=9020 vsize=8068440 memory=114284 CPUtime=1.13 cores=1,3,5,7
/proc/9062/stat : 9062 (java) S 9020 9020 5522 0 -1 1077944320 20603 0 0 0 106 7 0 0 20 0 19 0 405706321 8262082560 28571 33554432000 4194304 4196468 140727009305040 140727009287584 140332114992887 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
/proc/9062/statm: 2017110 28571 3205 1 0 1978454 0
[pid=9077] ppid=9062 vsize=2044928 memory=1600988 CPUtime=10.55 cores=1,3,5,7
/proc/9077/stat : 9077 (glueminisat-sim) R 9062 9020 5522 0 -1 4202496 465891 0 0 0 970 85 0 0 20 0 1 0 405706393 2094006272 400247 33554432000 4194304 4452875 140736360128336 140736360123544 4373054 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552096 6554264 16367616 140736360129376 140736360129575 140736360129575 140736360132525 0
/proc/9077/statm: 511232 400247 362 64 0 507436 0
[pid=9062/tid=9063] ppid=9020 vsize=8068440 memory=114284 CPUtime=0.74 cores=1,3,5,7
/proc/9062/task/9063/stat : 9063 (java) S 9020 9020 5522 0 -1 1077944384 17418 0 0 0 69 5 0 0 20 0 19 0 405706321 8262082560 28571 33554432000 4194304 4196468 140727009305040 140332086833056 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9064] ppid=9020 vsize=8068440 memory=2237728 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9064/stat : 9064 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405706323 8262082560 28571 33554432000 4194304 4196468 140727009305040 140332119234960 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9065] ppid=9020 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9065/stat : 9065 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405706323 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331599636752 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9066] ppid=9020 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9066/stat : 9066 (java) S 9020 9020 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405706323 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331598584464 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9067] ppid=9020 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9067/stat : 9067 (java) S 9020 9020 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405706323 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331597531664 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9068] ppid=9020 vsize=8068440 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9068/stat : 9068 (java) S 9020 9020 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405706324 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331561433712 140332115004034 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9069] ppid=9020 vsize=8068440 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9069/stat : 9069 (java) S 9020 9020 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405706325 8262082560 28571 33554432000 4194304 4196468 140727009305040 140330942850336 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9070] ppid=9020 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9070/stat : 9070 (java) S 9020 9020 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405706325 8262082560 28571 33554432000 4194304 4196468 140727009305040 140330808628848 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9071] ppid=9020 vsize=8068440 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9071/stat : 9071 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405706327 8262082560 28571 33554432000 4194304 4196468 140727009305040 140330434124368 140332115011483 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9072] ppid=9020 vsize=8068440 memory=16352 CPUtime=0.06 cores=1,3,5,7
/proc/9062/task/9072/stat : 9072 (java) S 9020 9020 5522 0 -1 1077944384 625 0 0 0 6 0 0 0 20 0 19 0 405706327 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331560380528 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9073] ppid=9020 vsize=8068440 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/9062/task/9073/stat : 9073 (java) S 9020 9020 5522 0 -1 1077944384 375 0 0 0 8 0 0 0 20 0 19 0 405706327 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331559327728 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9074] ppid=9020 vsize=8068440 memory=2016 CPUtime=0.19 cores=1,3,5,7
/proc/9062/task/9074/stat : 9074 (java) S 9020 9020 5522 0 -1 1077944384 750 0 0 0 19 0 0 0 20 0 19 0 405706327 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331558275440 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9075] ppid=9020 vsize=8068440 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9075/stat : 9075 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405706327 8262082560 28571 33554432000 4194304 4196468 140727009305040 140329936218592 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9076] ppid=9020 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9076/stat : 9076 (java) S 9020 9020 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405706328 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331557223344 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9078] ppid=9020 vsize=8068440 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9078/stat : 9078 (java) S 9020 9020 5522 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405706393 8262082560 28571 33554432000 4194304 4196468 140727009305040 140331549189568 140332115017497 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9080] ppid=9020 vsize=8068440 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9080/stat : 9080 (java) S 9020 9020 5522 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 405706393 8262082560 28571 33554432000 4194304 4196468 140727009305040 140329399332880 140332115014813 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9081] ppid=9020 vsize=8068440 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9081/stat : 9081 (java) S 9020 9020 5522 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405706393 8262082560 28571 33554432000 4194304 4196468 140727009305040 140329533554064 140332115014813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9082] ppid=9020 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9082/stat : 9082 (java) S 9020 9020 5522 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405706396 8262082560 28571 33554432000 4194304 4196468 140727009305040 140329130908592 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
Current children cumulated CPU time: 102.86 s
Current children cumulated vsize: 10226496 KiB
Current children cumulated memory: 1716748 KiB

[startup+68.8036 s]
/proc/loadavg: 2.86 3.75 3.18 3/240 9083
/proc/meminfo: memFree=28812960/32770624 swapFree=66992864/67108860
[pid=9020] ppid=9017 vsize=113128 memory=1476 CPUtime=91.18 cores=1,3,5,7
/proc/9020/stat : 9020 (scop.sh) S 9017 9020 5522 0 -1 4202496 585 64027 0 0 0 0 8567 551 20 0 1 0 405700609 115843072 369 33554432000 4194304 5098028 140734056526688 140734056523432 140117683327612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38866944 140734056534824 140734056535152 140734056535152 140734056538061 0
/proc/9020/statm: 28282 369 311 221 0 87 0
[pid=9062] ppid=9020 vsize=7937364 memory=131092 CPUtime=12.29 cores=1,3,5,7
/proc/9062/stat : 9062 (java) S 9020 9020 5522 0 -1 1077944320 22204 469534 0 0 127 8 1001 93 20 0 17 0 405706321 8127860736 32773 33554432000 4194304 4196468 140727009305040 140727009287584 140332114992887 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
/proc/9062/statm: 1984341 32773 3220 1 0 1945685 0
[pid=9062/tid=9063] ppid=9020 vsize=7937364 memory=114284 CPUtime=11.68 cores=1,3,5,7
/proc/9062/task/9063/stat : 9063 (java) S 9020 9020 5522 0 -1 1077944384 17418 469534 0 0 69 5 1001 93 20 0 17 0 405706321 8127860736 32773 33554432000 4194304 4196468 140727009305040 140332086833056 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9064] ppid=9020 vsize=7937364 memory=1738016 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9064/stat : 9064 (java) S 9020 9020 5522 0 -1 1077944384 2 469534 0 0 0 0 1001 93 20 0 17 0 405706323 8127860736 32773 33554432000 4194304 4196468 140727009305040 140332119234960 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9065] ppid=9020 vsize=7937364 memory=430460 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9065/stat : 9065 (java) S 9020 9020 5522 0 -1 1077944384 1 469534 0 0 0 0 1001 93 20 0 17 0 405706323 8127860736 32773 33554432000 4194304 4196468 140727009305040 140331599636752 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9066] ppid=9020 vsize=7937364 memory=325728 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9066/stat : 9066 (java) S 9020 9020 5522 0 -1 1077944384 1 469534 0 0 0 0 1001 93 20 0 17 0 405706323 8127860736 32773 33554432000 4194304 4196468 140727009305040 140331598584464 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9067] ppid=9020 vsize=7937364 memory=1000 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9067/stat : 9067 (java) S 9020 9020 5522 0 -1 1077944384 2 469534 0 0 0 0 1001 93 20 0 17 0 405706323 8127860736 32773 33554432000 4194304 4196468 140727009305040 140331597531664 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9068] ppid=9020 vsize=7937364 memory=1476 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9068/stat : 9068 (java) S 9020 9020 5522 0 -1 1077944384 5 469534 0 0 0 0 1001 93 20 0 17 0 405706324 8127860736 32773 33554432000 4194304 4196468 140727009305040 140331561433712 140332115004034 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9069] ppid=9020 vsize=7937364 memory=0 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9069/stat : 9069 (java) S 9020 9020 5522 0 -1 1077944384 13 469534 0 0 0 0 1001 93 20 0 17 0 405706325 8127860736 32773 33554432000 4194304 4196468 140727009305040 140330942850336 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9070] ppid=9020 vsize=7937364 memory=0 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9070/stat : 9070 (java) S 9020 9020 5522 0 -1 1077944384 21 469534 0 0 0 0 1001 93 20 0 17 0 405706325 8127860736 32773 33554432000 4194304 4196468 140727009305040 140330808628848 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9071] ppid=9020 vsize=7937364 memory=114284 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9071/stat : 9071 (java) S 9020 9020 5522 0 -1 1077944384 3 469534 0 0 0 0 1001 93 20 0 17 0 405706327 8127860736 32773 33554432000 4194304 4196468 140727009305040 140330434124368 140332115011483 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9072] ppid=9020 vsize=7937364 memory=1758724 CPUtime=11.05 cores=1,3,5,7
/proc/9062/task/9072/stat : 9072 (java) S 9020 9020 5522 0 -1 1077944384 983 469534 0 0 11 0 1001 93 20 0 17 0 405706327 8127860736 32773 33554432000 4194304 4196468 140727009305040 140331560380528 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9073] ppid=9020 vsize=7937364 memory=7822038051842263957 CPUtime=11.08 cores=1,3,5,7
/proc/9062/task/9073/stat : 9073 (java) S 9020 9020 5522 0 -1 1077944384 666 469534 0 0 14 0 1001 93 20 0 17 0 405706327 8127860736 32773 33554432000 4194304 4196468 140727009305040 140331559327728 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9074] ppid=9020 vsize=7937364 memory=4486599637793467488 CPUtime=11.16 cores=1,3,5,7
/proc/9062/task/9074/stat : 9074 (java) R 9020 9020 5522 0 -1 4202560 1154 469534 0 0 22 0 1001 93 20 0 17 0 405706327 8127860736 32773 33554432000 4194304 4196468 140727009305040 140331558275440 140332115004822 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9075] ppid=9020 vsize=7937364 memory=280256548176112 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9075/stat : 9075 (java) S 9020 9020 5522 0 -1 1077944384 3 469534 0 0 0 0 1001 93 20 0 17 0 405706327 8127860736 32773 33554432000 4194304 4196468 140727009305040 140329936218592 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9076] ppid=9020 vsize=7937364 memory=1440 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9076/stat : 9076 (java) S 9020 9020 5522 0 -1 1077944384 3 469534 0 0 0 0 1001 93 20 0 17 0 405706328 8127860736 32773 33554432000 4194304 4196468 140727009305040 140331557223344 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9078] ppid=9020 vsize=7937364 memory=280256549004848 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9078/stat : 9078 (java) S 9020 9020 5522 0 -1 1077944384 24 469534 0 0 0 0 1001 93 20 0 17 0 405706393 8127860736 32773 33554432000 4194304 4196468 140727009305040 140331549188752 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9082] ppid=9020 vsize=7937364 memory=-7518891959079781826 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9082/stat : 9082 (java) R 9020 9020 5522 0 -1 4202560 7 469534 0 0 0 0 1001 93 20 0 17 0 405706396 8127860736 32773 33554432000 4194304 4196468 140727009305040 140329130908352 140332099073374 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
Current children cumulated CPU time: 103.47 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 132568 KiB

[startup+68.9008 s]
/proc/loadavg: 2.86 3.75 3.18 3/240 9083
/proc/meminfo: memFree=28812960/32770624 swapFree=66992864/67108860
[pid=9020] ppid=9017 vsize=113128 memory=1476 CPUtime=91.18 cores=1,3,5,7
/proc/9020/stat : 9020 (scop.sh) S 9017 9020 5522 0 -1 4202496 585 64027 0 0 0 0 8567 551 20 0 1 0 405700609 115843072 369 33554432000 4194304 5098028 140734056526688 140734056523432 140117683327612 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38866944 140734056534824 140734056535152 140734056535152 140734056538061 0
/proc/9020/statm: 28282 369 311 221 0 87 0
[pid=9062] ppid=9020 vsize=7937364 memory=136860 CPUtime=12.46 cores=1,3,5,7
/proc/9062/stat : 9062 (java) S 9020 9020 5522 0 -1 1077944320 22638 469534 0 0 144 8 1001 93 20 0 17 0 405706321 8127860736 34215 33554432000 4194304 4196468 140727009305040 140727009287584 140332114992887 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
/proc/9062/statm: 1984341 34215 3224 1 0 1945685 0
[pid=9062/tid=9063] ppid=9020 vsize=7937364 memory=114284 CPUtime=11.78 cores=1,3,5,7
/proc/9062/task/9063/stat : 9063 (java) R 9020 9020 5522 0 -1 4202560 17693 469534 0 0 79 5 1001 93 20 0 17 0 405706321 8127860736 34215 33554432000 4194304 4196468 140727009305040 140332086830064 140332099036517 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9064] ppid=9020 vsize=7937364 memory=1476 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9064/stat : 9064 (java) S 9020 9020 5522 0 -1 1077944384 2 469534 0 0 0 0 1001 93 20 0 17 0 405706323 8127860736 34215 33554432000 4194304 4196468 140727009305040 140332119234960 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9065] ppid=9020 vsize=7937364 memory=0 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9065/stat : 9065 (java) S 9020 9020 5522 0 -1 1077944384 1 469534 0 0 0 0 1001 93 20 0 17 0 405706323 8127860736 34215 33554432000 4194304 4196468 140727009305040 140331599636752 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9066] ppid=9020 vsize=7937364 memory=1600924 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9066/stat : 9066 (java) S 9020 9020 5522 0 -1 1077944384 1 469534 0 0 0 0 1001 93 20 0 17 0 405706323 8127860736 34215 33554432000 4194304 4196468 140727009305040 140331598584464 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9067] ppid=9020 vsize=7937364 memory=1384 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9067/stat : 9067 (java) S 9020 9020 5522 0 -1 1077944384 2 469534 0 0 0 0 1001 93 20 0 17 0 405706323 8127860736 34215 33554432000 4194304 4196468 140727009305040 140331597531664 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9068] ppid=9020 vsize=7937364 memory=776 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9068/stat : 9068 (java) S 9020 9020 5522 0 -1 1077944384 5 469534 0 0 0 0 1001 93 20 0 17 0 405706324 8127860736 34215 33554432000 4194304 4196468 140727009305040 140331561433712 140332115004034 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9069] ppid=9020 vsize=7937364 memory=772268 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9069/stat : 9069 (java) S 9020 9020 5522 0 -1 1077944384 13 469534 0 0 0 0 1001 93 20 0 17 0 405706325 8127860736 34215 33554432000 4194304 4196468 140727009305040 140330942850336 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9070] ppid=9020 vsize=7937364 memory=2016 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9070/stat : 9070 (java) S 9020 9020 5522 0 -1 1077944384 21 469534 0 0 0 0 1001 93 20 0 17 0 405706325 8127860736 34215 33554432000 4194304 4196468 140727009305040 140330808628848 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9071] ppid=9020 vsize=7937364 memory=4880 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9071/stat : 9071 (java) S 9020 9020 5522 0 -1 1077944384 3 469534 0 0 0 0 1001 93 20 0 17 0 405706327 8127860736 34215 33554432000 4194304 4196468 140727009305040 140330434124368 140332115011483 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9072] ppid=9020 vsize=7937364 memory=12032 CPUtime=11.06 cores=1,3,5,7
/proc/9062/task/9072/stat : 9072 (java) S 9020 9020 5522 0 -1 1077944384 997 469534 0 0 12 0 1001 93 20 0 17 0 405706327 8127860736 34215 33554432000 4194304 4196468 140727009305040 140331560380528 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9073] ppid=9020 vsize=7937364 memory=164 CPUtime=11.09 cores=1,3,5,7
/proc/9062/task/9073/stat : 9073 (java) S 9020 9020 5522 0 -1 1077944384 677 469534 0 0 15 0 1001 93 20 0 17 0 405706327 8127860736 34215 33554432000 4194304 4196468 140727009305040 140331559327728 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9074] ppid=9020 vsize=7937364 memory=7590655979367786604 CPUtime=11.21 cores=1,3,5,7
/proc/9062/task/9074/stat : 9074 (java) R 9020 9020 5522 0 -1 4202560 1284 469534 0 0 27 0 1001 93 20 0 17 0 405706327 8127860736 34215 33554432000 4194304 4196468 140727009305040 140331558275440 140332093917910 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9075] ppid=9020 vsize=7937364 memory=12032 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9075/stat : 9075 (java) S 9020 9020 5522 0 -1 1077944384 3 469534 0 0 0 0 1001 93 20 0 17 0 405706327 8127860736 34215 33554432000 4194304 4196468 140727009305040 140329936218592 140332115003093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9076] ppid=9020 vsize=7937364 memory=2124 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9076/stat : 9076 (java) S 9020 9020 5522 0 -1 1077944384 3 469534 0 0 0 0 1001 93 20 0 17 0 405706328 8127860736 34215 33554432000 4194304 4196468 140727009305040 140331557223344 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9078] ppid=9020 vsize=7937364 memory=55 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9078/stat : 9078 (java) S 9020 9020 5522 0 -1 1077944384 24 469534 0 0 0 0 1001 93 20 0 17 0 405706393 8127860736 34215 33554432000 4194304 4196468 140727009305040 140331549188752 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
[pid=9062/tid=9082] ppid=9020 vsize=7937364 memory=7684433386921362195 CPUtime=10.94 cores=1,3,5,7
/proc/9062/task/9082/stat : 9082 (java) S 9020 9020 5522 0 -1 1077944384 9 469534 0 0 0 0 1001 93 20 0 17 0 405706396 8127860736 34215 33554432000 4194304 4196468 140727009305040 140329130910384 140332115004034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34299904 140727009309692 140727009309850 140727009309850 140727009312719 0
Current children cumulated CPU time: 103.64 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 138336 KiB

Child status: 0
Real time (s): 68.9907
CPU time (s): 103.783
CPU user time (s): 97.1622
CPU system time (s): 6.62117
CPU usage (%): 150.431
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 7003732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.1622
system time used= 6.62117
maximum resident set size= 7002412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556854
page faults= 0
swaps= 0
block input operations= 32
block output operations= 1121728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7053
involuntary context switches= 503


# summary of solver processes directly reported to runsolver:
#   pid: 9020
#   total CPU time (s): 103.783
#   total CPU user time (s): 97.1622
#   total CPU system time (s): 6.62117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.446092 second user time and 0.772309 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-12 15:20:46
IDJOB=4388034
IDBENCH=133338
IDSOLVER=2825
FILE ID=node102/4388034-1568294491
RUNJOBID= node102-1568285939-6431
PBS_JOBID= 21701092
Free space on /tmp= 54528 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p20/Primes-20-20-3-3.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-4388034-1568294491/watcher-4388034-1568294491 -o /tmp/evaluation-result-4388034-1568294491/solver-4388034-1568294491 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6431 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388034-1568294491.xml

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

MD5SUM BENCH= 065412ea00e4edb14381318bc4e9318f
RANDOM SEED=1526191734

node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19738672 kB
MemAvailable:   19996108 kB
Buffers:           96272 kB
Cached:           451960 kB
SwapCached:        11740 kB
Active:         12132432 kB
Inactive:         336252 kB
Active(anon):   11915784 kB
Inactive(anon):    33316 kB
Active(file):     216648 kB
Inactive(file):   302936 kB
Unevictable:      110384 kB
Mlocked:          110384 kB
SwapTotal:      67108860 kB
SwapFree:       66992864 kB
Dirty:             26168 kB
Writeback:             0 kB
AnonPages:      12044284 kB
Mapped:            42984 kB
Shmem:             19916 kB
Slab:             135792 kB
SReclaimable:     107376 kB
SUnreclaim:        28416 kB
KernelStack:        4032 kB
PageTables:        29580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13196468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11894784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54472 MiB
End job on node102 at 2019-09-12 15:21:55