Trace number 4388055

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 52.5481 49.4352

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-60-3-5.xml
MD5SUMbe3388c5d29b2a85b1452e4a694387b2
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.303618
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":99}]
Minimum variable degree0
Maximum variable degree8
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":60}]
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-11472-serial-file.bin HOME/instance-4388055-1568294780.xml
0.65/0.53	
0.65/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Thu Sep 12 15:25:42 CEST 2019
0.65/0.56	c PID: 11475
0.65/0.56	c IP: 172.20.3.150
0.65/0.56	c HOST: node150.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.41/0.91	c (0,0) Parsing End
1.41/0.92	c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 28
1.41/0.92	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.92	c (0,0) Constraint Name Generate Begin
1.41/0.92	c (0,0) Ctr:HOME/instance-4388055-1568294780.xml,Num:Var:WeightedSum
1.41/0.92	c (0,0) Constraint Name Generate End
1.41/0.92	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.92	c (0,0) CSP to CSPinCNF Begin
1.57/1.02	c (0,0) translated 6 (10%) constraints
1.57/1.04	c (0,0) translated 12 (20%) constraints
1.57/1.05	c (0,0) translated 18 (30%) constraints
1.57/1.06	c (0,0) translated 24 (40%) constraints
1.57/1.07	c (0,0) translated 30 (50%) constraints
1.57/1.08	c (0,0) translated 36 (60%) constraints
1.57/1.09	c (0,0) translated 42 (70%) constraints
1.57/1.09	c (0,0) translated 48 (80%) constraints
1.57/1.11	c (0,0) translated 54 (90%) constraints
1.57/1.11	c (0,0) translated 60 (100%) constraints
1.57/1.11	c (0,0) ===========================================
1.57/1.11	c (0,0) Order
1.57/1.11	c (0,0) ===========================================
1.85/1.15	c (0,0) translated 6 (10%) constraints
1.85/1.17	c (0,0) translated 12 (20%) constraints
1.85/1.18	c (0,0) translated 18 (30%) constraints
2.08/1.20	c (0,0) translated 24 (40%) constraints
2.08/1.21	c (0,0) translated 30 (50%) constraints
2.08/1.23	c (0,0) translated 36 (60%) constraints
2.08/1.25	c (0,0) translated 42 (70%) constraints
2.08/1.25	c (0,0) translated 48 (80%) constraints
2.08/1.26	c (0,0) translated 54 (90%) constraints
2.08/1.27	c (0,0) translated 60 (100%) constraints
2.08/1.28	c (0,0) CSP to CSPinCNF End
2.08/1.28	c (0,0) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1540
2.08/1.28	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.28	c (0,0) CSPinCNF Propagation Begin
2.35/1.30	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.35/1.30	c (0,0) CSPinCNF Propagation End
2.35/1.30	c (0,0) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1540
2.35/1.30	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.35/1.30	c (0,0) Simplify CSPinCNF Begin
2.35/1.31	c (0,0) Simplify CSPinCNF End
2.35/1.31	c (0,0) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1540
2.35/1.31	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.35/1.31	c (0,0) Calculate Precise Domain Begin
3.11/1.63	c (1,1) 11299 values are removed by re-calculation
3.11/1.63	c (1,1) Calculate Precise Domain End
3.11/1.63	c (1,1) CSP: 261 int (162 aux), 0 bool (0 aux), 444 ctr, max domain size 1484
3.11/1.63	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.11/1.63	c (1,1) CSPinCNF to SatSolver Begin
9.60/6.02	c (5,5) 45 (10 %) CSP clauses are encoded (0 SAT variables, 2259039 SAT clauses)
10.94/7.37	c (6,6) 89 (20 %) CSP clauses are encoded (0 SAT variables, 3157687 SAT clauses)
11.44/8.69	c (8,7) 134 (30 %) CSP clauses are encoded (0 SAT variables, 3483144 SAT clauses)
12.27/9.40	c (8,7) 178 (40 %) CSP clauses are encoded (0 SAT variables, 3964137 SAT clauses)
14.51/11.18	c (10,9) 222 (50 %) CSP clauses are encoded (0 SAT variables, 5068434 SAT clauses)
15.82/12.46	c (11,10) 267 (60 %) CSP clauses are encoded (0 SAT variables, 5946669 SAT clauses)
17.62/14.78	c (14,11) 311 (70 %) CSP clauses are encoded (0 SAT variables, 6886219 SAT clauses)
19.24/16.37	c (15,13) 356 (80 %) CSP clauses are encoded (0 SAT variables, 7956730 SAT clauses)
19.84/16.99	c (16,14) 400 (90 %) CSP clauses are encoded (0 SAT variables, 8377149 SAT clauses)
20.48/17.51	c (16,14) 444 (100 %) CSP clauses are encoded (0 SAT variables, 8732968 SAT clauses)
20.48/17.52	c (16,14) CSPinCNF to SatSolver End
20.48/17.52	c (16,14) Heap : 2629 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
20.48/17.52	c (16,14) 73296 bool, 8736275 clause
20.48/17.52	c (16,14) Export Begin
20.63/17.61	c (17,14) Export to HOME/scop-11472-serial-file.bin
20.63/17.61	c (17,14) Export End
20.63/17.61	c (17,14) Export File Size: 0.02 MB
20.63/17.61	c (17,14) 0,0,0,0,0,1,16,STOP-AFTER(DIMACS)
20.63/17.61	c END-Prog: Thu Sep 12 15:25:59 CEST 2019
20.63/17.64	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11472-serial-file.bin
21.16/18.10	c (0,0) Read Serial File Begin
21.29/18.77	c (0,0) HOME/scop-11472-serial-file.bin
21.45/18.97	c (0,0) Read Serial File End
21.45/18.99	
21.45/18.99	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
21.45/18.99	(Solving Process)
21.45/18.99	
21.64/19.01	c BEGIN-Prog: Thu Sep 12 15:26:00 CEST 2019
21.64/19.01	c PID: 11490
21.64/19.01	c IP: 172.20.3.150
21.64/19.01	c HOST: node150.alineos.net
21.64/19.01	c (0,0) SatSolver.solve Begin
21.64/19.01	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388055-1568294780.xml-scop-11475.cnf
21.64/19.04	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
21.64/19.04	c (1,0) c glueminisat-simp-2.2.10-193oa-n
21.64/19.04	c (1,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388055-1568294780.xml-scop-11475.cnf 
21.64/19.04	c (1,0) c Options:
21.64/19.04	c (1,0) c CORE
21.64/19.04	c (1,0) c  var_decay             = 0.950
21.64/19.04	c (1,0) c  clause_decay          = 0.999
21.64/19.04	c (1,0) c  random_var_freq       = 0.000
21.64/19.04	c (1,0) c  random_seed           = 91648253.000
21.64/19.04	c (1,0) c  luby_restart          = 1
21.64/19.04	c (1,0) c  ccmin_mode            = 2
21.64/19.04	c (1,0) c  phase_saving          = 2
21.64/19.04	c (1,0) c  rnd_pol               = 0
21.64/19.04	c (1,0) c  rnd_init_act          = 0
21.64/19.04	c (1,0) c  garbage_frac          = 0.200
21.64/19.04	c (1,0) c  restart_first         = 1000
21.64/19.04	c (1,0) c  restart_inc           = 2.000
21.64/19.04	c (1,0) c MODEL
21.64/19.04	c (1,0) c  partial_model         = 0
21.64/19.04	c (1,0) c PROPAGATION
21.64/19.04	c (1,0) c  bin_propagation       = 1
21.64/19.04	c (1,0) c SIMPLIFICATION
21.64/19.04	c (1,0) c  lrn_min_size          = 100
21.64/19.04	c (1,0) c  lazy_simp             = 1
21.64/19.04	c (1,0) c  lazy_interval         = 10
21.64/19.04	c (1,0) c  lazy_fld_probing      = 1
21.64/19.04	c (1,0) c  lazy_pol_probing      = 1
21.64/19.04	c (1,0) c  lazy_nec_probing      = 1
21.64/19.04	c (1,0) c  lazy_eqv_probing      = 1
21.64/19.04	c (1,0) c  lazy_cla_probing      = 1
21.64/19.04	c (1,0) c  lazy_lrn_min          = 2
21.64/19.04	c (1,0) c  lazy_uw_lit_elim      = 1
21.64/19.04	c (1,0) c  lazy_pr_lit_elim      = 0
21.64/19.04	c (1,0) c  lazy_bin_add          = 3
21.64/19.04	c (1,0) c  probed_lit_chain      = 1
21.64/19.04	c (1,0) c  pr_min_lits           = 0.00020
21.64/19.04	c (1,0) c  pr_min_starts         = 500
21.64/19.04	c (1,0) c  rw_min_lits           = 0.010
21.64/19.04	c (1,0) c  rw_min_starts         = 500
21.64/19.04	c (1,0) c  rand_attach           = 0
21.64/19.04	c (1,0) c  dec_elim              = 1
21.64/19.04	c (1,0) c  dec_elim_lim          = 25
21.64/19.04	c (1,0) c  dec_elim_len          = -1
21.64/19.04	c (1,0) c  amo                   = 0
21.64/19.04	c (1,0) c  amo_grp               = 1
21.64/19.04	c (1,0) c  amo_max_bins          = 1000000
21.64/19.04	c (1,0) c  amo_starts            = 50
21.64/19.04	c (1,0) c  mace_cmd              = mace
21.64/19.04	c (1,0) c DECISION
21.64/19.04	c (1,0) c  rand_rebuild          = 0
21.64/19.04	c (1,0) c  rand_rebuild_confs    = 10000
21.64/19.04	c (1,0) c  inc_var_decay         = 1
21.64/19.04	c (1,0) c  inc_var_decay_period  = 100000
21.64/19.04	c (1,0) c  inc_var_decay_init    = 0.600
21.64/19.04	c (1,0) c  var_decay_mode        = 0
21.64/19.04	c (1,0) c  var_decay_gain        = 0
21.64/19.04	c (1,0) c  sloped_var_decay      = 1
21.64/19.04	c (1,0) c  max_var_decay         = 0.990
21.64/19.04	c (1,0) c  min_var_decay         = 0.950
21.64/19.04	c (1,0) c  min_var_decay_vars    = 10000
21.64/19.04	c (1,0) c  max_var_decay_vars    = 500
21.64/19.04	c (1,0) c  uip_bumping           = 1
21.64/19.04	c (1,0) c  lbd_act_bumping       = 1
21.64/19.04	c (1,0) c  rand_tiebreak         = 0
21.64/19.04	c (1,0) c  simp_rebuild          = 1
21.64/19.04	c (1,0) c RESTART
21.64/19.04	c (1,0) c  restart_strategy      = 2
21.64/19.04	c (1,0) c  restart_blocking      = 0
21.64/19.04	c (1,0) c  agility_decay         = 0.99990
21.64/19.04	c (1,0) c  lbd_restart_rate      = 0.800
21.64/19.04	c (1,0) c  dec_restart_rate      = 0.950
21.64/19.04	c (1,0) c  blk_restart_rate      = 0.700
21.64/19.04	c (1,0) c  lbd_queue_size        = 50
21.64/19.04	c (1,0) c  dec_queue_size        = 50
21.64/19.04	c (1,0) c  trl_queue_size        = 5000
21.64/19.04	c (1,0) c  blk_restart_weight    = 1.000
21.64/19.04	c (1,0) c  inc_rst_rate          = 0
21.64/19.04	c (1,0) c  inc_rst_rate_period   = 500000
21.64/19.04	c (1,0) c  inc_lbd_rst_rate_init = 0.600
21.64/19.04	c (1,0) c  inc_dec_rst_rate_init = 0.750
21.64/19.04	c (1,0) c REDUCTION
21.64/19.04	c (1,0) c  closed_lbd            = 0
21.64/19.04	c (1,0) c  closed_lbd_rate       = 0.500
21.64/19.04	c (1,0) c  rm_simulate           = 0
21.64/19.04	c (1,0) c  rdb_eval              = 2
21.64/19.04	c (1,0) c  rdb_call              = 3
21.64/19.04	c (1,0) c  rdb_ub                = 0.500
21.64/19.04	c (1,0) c  core_lbd_cvr          = 0.800
21.64/19.04	c (1,0) c  supp_lbd_cvr          = 0.990
21.64/19.04	c (1,0) c  core_lbd_lb           = 2
21.64/19.04	c (1,0) c  supp_lbd_lb           = 2
21.64/19.04	c (1,0) c  core_lbd_prd          = 7
21.64/19.04	c (1,0) c  supp_lbd_prd          = 1
21.64/19.04	c (1,0) c  othr_lbd_prd          = 0
21.64/19.04	c (1,0) c  inc_lrn_limit         = 1000
21.64/19.04	c (1,0) c  frozen_lbd            = 30
21.64/19.04	c (1,0) c  simp_min_starts       = 100
21.64/19.04	c (1,0) c  rm_low_act_learnts    = 1
21.64/19.04	c (1,0) c  lv0_reduce_db         = 0
21.64/19.04	c (1,0) c  reduce_db_base        = 20000
21.64/19.04	c (1,0) c  reduce_db_inc         = 1000
21.64/19.04	c (1,0) c HARD
21.64/19.04	c (1,0) c  inst_check            = 200000
21.64/19.04	c (1,0) c  small_block           = 1.750
21.64/19.04	c (1,0) c  slow_restart_speed    = 400.000
21.64/19.04	c (1,0) c  slow_restart_strategy = 3
21.64/19.04	c (1,0) c  slow_lbd_restart_rate = 0.700
21.64/19.04	c (1,0) c  slow_dec_restart_rate = 1.000
21.64/19.04	c (1,0) c  slow_lbd_queue_size   = 50
21.64/19.04	c (1,0) c  slow_var_decay        = 0.950
21.64/19.04	c (1,0) c  slow_glue_threshold   = 2
21.64/19.04	c (1,0) c  slow_phase_saving     = 2
21.64/19.04	c (1,0) c  fast_restart_speed    = 125.000
21.64/19.04	c (1,0) c  fast_restart_strategy = 1
21.64/19.04	c (1,0) c  fast_lbd_restart_rate = 0.800
21.64/19.04	c (1,0) c  fast_dec_restart_rate = 0.950
21.64/19.04	c (1,0) c  fast_lbd_queue_size   = 50
21.64/19.04	c (1,0) c  fast_var_decay        = 1.000
21.64/19.04	c (1,0) c  fast_glue_threshold   = 2
21.64/19.04	c (1,0) c  fast_phase_saving     = 2
21.64/19.04	c (1,0) c STATS
21.64/19.04	c (1,0) c  stats_conf_size       = 10000
21.64/19.04	c (1,0) c  max_stats_size        = 30
21.64/19.04	c (1,0) c SOLVER
21.64/19.04	c (1,0) c  minisat               = 0
24.16/21.48	c (3,0) WARNING! DIMACS header mismatch: wrong number of variables.
24.16/21.48	c (3,0) c Problem: 73297 variables, 8731582 clauses, parsing 2.22 s
24.45/21.74	c (3,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
25.05/22.32	c (4,0) c Simplification: 251 vars, 0 clauses are eliminated using 0.76 s
25.05/22.32	c (4,0) c
25.05/22.32	c (4,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
25.05/22.32	c (4,0) c
25.05/22.32	c (4,0) c    3         0         0    73046  8731582        0   -nan  -nan  -nan -nan%
25.55/22.88	c (4,0) c    3         1       100    72653  8731582      102   12.0   4.7  42.8 39.1%
26.55/23.81	c (5,0) c    4         2       220    72415  8731582      224   17.9   5.7  28.1 46.4%
27.06/24.37	c (6,0) c    5         2       364    72256  8731582      368   16.4   5.0  20.7 43.4%
28.07/25.33	c (7,0) c    6         3       536    72256  8731582      541   18.3   5.2  18.7 46.4%
28.47/25.73	c (7,0) c    6 p       5       609    70831  8731582      613   18.5   5.4  18.4 46.3%
29.26/26.59	c (8,0) c    7         6       743    70609  8731582      746   19.5   5.8  18.2 48.2%
30.87/28.18	c (10,0) c    9         9       991    70198  8731582      994   20.6   6.2  17.3 49.9%
32.67/29.93	c (11,0) c   10        10      1289    70198  8731582     1292   22.1   6.2  17.1 51.8%
34.96/32.29	c (14,0) c   13        10      1647    70198  8731582     1650   23.1   6.0  15.7 52.3%
37.16/34.46	c (16,0) c   15 p      11      1938    66238  8731582     1941   22.8   5.9  14.9 52.3%
38.17/35.46	c (17,0) c   16        12      2076    64838  8731582     2079   22.5   6.0  14.8 52.3%
41.18/38.50	c (20,0) c   19        12      2591    63685  8731582     2593   21.1   5.7  13.5 51.8%
42.47/39.74	c (21,0) c   20 p      13      2802    63685  8731582     2804   20.8   5.6  13.4 52.0%
45.27/42.55	c (24,0) c   23        14      3210    63685  8731582     3214   20.9   5.7  13.5 52.5%
51.08/48.30	c (30,0) c   29        16      3953    63202  8731582     3961   20.6   5.6  13.0 53.2%
51.89/49.17	c (31,0) c
51.89/49.17	c (31,0) c   variables         : 63202       (init 73297, after simp 73046, 0 non-decs, 259 csp)
51.89/49.17	c (31,0) c   clauses           : 8731582     (init 8731582, after simp 8731582)
51.89/49.17	c (31,0) c   restarts          : 15          (254.00 confs/res, 50~812 confs, 0 blks, 0 last)
51.89/49.17	c (31,0) c   conflicts         : 4064        (137 /sec, 55.46% dconfs, 0.00% supp, trail 3076.99w x 12.92h, jmp 1.47h)
51.89/49.17	c (31,0) c   decisions         : 6201        (0.6100 vdcy, 209 /sec, 0.00% bin, rs 0.002 s)
51.89/49.17	c (31,0) c   propagations      : 35310537    (1191013 /sec, 5694.33 lits/dec, 37.81% o.a.)
51.89/49.17	c (31,0) c   conflict literals : 134928      (35.10% deleted; 2.45% by bin min, 0.005 s)
51.89/49.17	c (31,0) c   len               : 20.693      (20.73 for all, max 105, used 101)
51.89/49.17	c (31,0) c   lbd               : 5.580       (6.76 (5.58) for all, max 23, used 23, 1.727 stdev, 3.069 blk)
51.89/49.17	c (31,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
51.89/49.17	c (31,0) c   simp dbs          : 0           (0.000 s)
51.89/49.17	c (31,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
51.89/49.17	c (31,0) c   learnts           : 4074        (0 learnts removed, 0.00%)
51.89/49.17	c (31,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
51.89/49.17	c (31,0) c   assigned lits     : 3           (314/2525 probed, 2 remains)
51.89/49.17	c (31,0) c   premise updates   : 1621004     (11.10 /lit)
51.89/49.17	c (31,0) c   probed variables  : 2525        (610 pr, 0 eq, 224 fld, 1675 pol, 0 nec, 16 cla, 0 amo)
51.89/49.17	c (31,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
51.89/49.17	c (31,0) c   lazy added bins   : 27          (27 prop + 0 conf, 0.001s)
51.89/49.17	c (31,0) c   unwatched lit elim: 717         (0.00+0.46%, 91+626 of 26030334+134928)
51.89/49.17	c (31,0) c   classified type   : undef
51.89/49.17	c (31,0) c   progress          : 13.773%
51.89/49.17	c (31,0) c
51.89/49.17	c (31,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
51.89/49.17	c (31,0) c
51.89/49.17	c (31,0) c   30        16      4064    63202  8731582     4074   20.7   5.6  12.9 53.5%
51.89/49.18	c (31,0) c
51.89/49.18	c (31,0) c
51.89/49.18	c (31,0) c variables         : 63202       (init 73297, after simp 73046, 0 non-decs, 259 csp)
51.89/49.18	c (31,0) c clauses           : 8731582     (init 8731582, after simp 8731582)
51.89/49.18	c (31,0) c restarts          : 15          (254.00 confs/res, 50~812 confs, 0 blks, 0 last)
51.89/49.18	c (31,0) c conflicts         : 4064        (137 /sec, 55.46% dconfs, 0.00% supp, trail 3076.99w x 12.92h, jmp 1.47h)
51.89/49.18	c (31,0) c decisions         : 6201        (0.6100 vdcy, 209 /sec, 0.00% bin, rs 0.002 s)
51.89/49.18	c (31,0) c propagations      : 35310537    (1190897 /sec, 5694.33 lits/dec, 37.81% o.a.)
51.89/49.18	c (31,0) c conflict literals : 134928      (35.10% deleted; 2.45% by bin min, 0.005 s)
51.89/49.18	c (31,0) c len               : 20.693      (20.73 for all, max 105, used 101)
51.89/49.18	c (31,0) c lbd               : 5.580       (6.76 (5.58) for all, max 23, used 23, 1.727 stdev, 3.069 blk)
51.89/49.18	c (31,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
51.89/49.18	c (31,0) c simp dbs          : 0           (0.000 s)
51.89/49.18	c (31,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
51.89/49.18	c (31,0) c learnts           : 4074        (0 learnts removed, 0.00%)
51.89/49.18	c (31,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
51.89/49.18	c (31,0) c assigned lits     : 3           (314/2525 probed, 2 remains)
51.89/49.18	c (31,0) c premise updates   : 1621004     (11.10 /lit)
51.89/49.18	c (31,0) c probed variables  : 2525        (610 pr, 0 eq, 224 fld, 1675 pol, 0 nec, 16 cla, 0 amo)
51.89/49.18	c (31,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
51.89/49.18	c (31,0) c lazy added bins   : 27          (27 prop + 0 conf, 0.001s)
51.89/49.18	c (31,0) c unwatched lit elim: 717         (0.00+0.46%, 91+626 of 26030334+134928)
51.89/49.18	c (31,0) c classified type   : undef
51.89/49.18	c (31,0) c progress          : 13.773%
51.89/49.18	c (31,0) c
51.89/49.18	c (31,0) c [Statistics]
51.89/49.18	c (31,0) c             learnts len        learnts lbd        lit blk size       eq vars size
51.89/49.18	c (31,0) c  tot        4064               4064              27453                  0
51.89/49.18	c (31,0) c  avg      20.735              5.585              3.069               -nan
51.89/49.18	c (31,0) c   1           17 ( 0.4%)         58 ( 1.4%)      15317 (55.8%)          0 (-nan%)
51.89/49.18	c (31,0) c   2           54 ( 1.3%)        825 (20.3%)       3907 (14.2%)          0 (-nan%)
51.89/49.18	c (31,0) c   3          122 ( 3.0%)        444 (10.9%)       2139 ( 7.8%)          0 (-nan%)
51.89/49.18	c (31,0) c   4          223 ( 5.5%)        448 (11.0%)       1303 ( 4.7%)          0 (-nan%)
51.89/49.18	c (31,0) c   5          223 ( 5.5%)        486 (12.0%)        958 ( 3.5%)          0 (-nan%)
51.89/49.18	c (31,0) c   6          235 ( 5.8%)        414 (10.2%)        696 ( 2.5%)          0 (-nan%)
51.89/49.18	c (31,0) c   7          169 ( 4.2%)        375 ( 9.2%)        558 ( 2.0%)          0 (-nan%)
51.89/49.18	c (31,0) c   8          169 ( 4.2%)        315 ( 7.8%)        453 ( 1.7%)          0 (-nan%)
51.89/49.18	c (31,0) c   9          133 ( 3.3%)        222 ( 5.5%)        306 ( 1.1%)          0 (-nan%)
51.89/49.18	c (31,0) c  10          106 ( 2.6%)        143 ( 3.5%)        256 ( 0.9%)          0 (-nan%)
51.89/49.18	c (31,0) c  11          113 ( 2.8%)        101 ( 2.5%)        222 ( 0.8%)          0 (-nan%)
51.89/49.18	c (31,0) c  12          111 ( 2.7%)         59 ( 1.5%)        177 ( 0.6%)          0 (-nan%)
51.89/49.18	c (31,0) c  13          101 ( 2.5%)         67 ( 1.6%)        179 ( 0.7%)          0 (-nan%)
51.89/49.18	c (31,0) c  14           97 ( 2.4%)         38 ( 0.9%)        126 ( 0.5%)          0 (-nan%)
51.89/49.18	c (31,0) c  15          119 ( 2.9%)         29 ( 0.7%)        102 ( 0.4%)          0 (-nan%)
51.89/49.18	c (31,0) c  16           92 ( 2.3%)         10 ( 0.2%)        101 ( 0.4%)          0 (-nan%)
51.89/49.18	c (31,0) c  17           97 ( 2.4%)          8 ( 0.2%)         87 ( 0.3%)          0 (-nan%)
51.89/49.18	c (31,0) c  18           78 ( 1.9%)          6 ( 0.1%)         81 ( 0.3%)          0 (-nan%)
51.89/49.18	c (31,0) c  19           87 ( 2.1%)          7 ( 0.2%)         67 ( 0.2%)          0 (-nan%)
51.89/49.18	c (31,0) c  20           90 ( 2.2%)          6 ( 0.1%)         46 ( 0.2%)          0 (-nan%)
51.89/49.18	c (31,0) c  21           78 ( 1.9%)          2 ( 0.0%)         46 ( 0.2%)          0 (-nan%)
51.89/49.18	c (31,0) c  22           74 ( 1.8%)          1 ( 0.0%)         39 ( 0.1%)          0 (-nan%)
51.89/49.18	c (31,0) c  23           70 ( 1.7%)          0 ( 0.0%)         34 ( 0.1%)          0 (-nan%)
51.89/49.18	c (31,0) c  24           49 ( 1.2%)          0 ( 0.0%)         26 ( 0.1%)          0 (-nan%)
51.89/49.18	c (31,0) c  25           72 ( 1.8%)          0 ( 0.0%)         20 ( 0.1%)          0 (-nan%)
51.89/49.18	c (31,0) c  26           64 ( 1.6%)          0 ( 0.0%)         17 ( 0.1%)          0 (-nan%)
51.89/49.18	c (31,0) c  27           50 ( 1.2%)          0 ( 0.0%)         37 ( 0.1%)          0 (-nan%)
51.89/49.18	c (31,0) c  28           60 ( 1.5%)          0 ( 0.0%)          7 ( 0.0%)          0 (-nan%)
51.89/49.18	c (31,0) c  29           43 ( 1.1%)          0 ( 0.0%)         15 ( 0.1%)          0 (-nan%)
51.89/49.18	c (31,0) c  30         1068 (26.3%)          0 ( 0.0%)        131 ( 0.5%)          0 (-nan%)
51.89/49.18	c (31,0) c
51.89/49.18	c (31,0) c [LBD Statistics]
51.89/49.18	c (31,0) c LBD          used lbd               used clause lbd         unused clause lbd
51.89/49.18	c (31,0) c  tot        22153                    1942                    2132
51.89/49.18	c (31,0) c  avg        2.722                   4.194                   6.843
51.89/49.18	c (31,0) c    1         1081 ( 4.9/ 4.9%)         41 ( 2.1/ 2.1%)          0 ( 0.0/ 0.0%)
51.89/49.18	c (31,0) c    2        14271 (64.4/69.3%)        717 (36.9/39.0%)        135 ( 6.3/ 6.3%)
51.89/49.18	c (31,0) c    3         3128 (14.1/83.4%)        283 (14.6/53.6%)        161 ( 7.6/13.9%)
51.89/49.18	c (31,0) c    4         1476 ( 6.7/90.1%)        218 (11.2/64.8%)        230 (10.8/24.7%)
51.89/49.18	c (31,0) c    5          719 ( 3.2/93.3%)        188 ( 9.7/74.5%)        298 (14.0/38.6%)
51.89/49.18	c (31,0) c    6          479 ( 2.2/95.5%)        138 ( 7.1/81.6%)        276 (12.9/51.6%)
51.89/49.18	c (31,0) c    7          289 ( 1.3/96.8%)        109 ( 5.6/87.2%)        266 (12.5/64.1%)
51.89/49.18	c (31,0) c    8          286 ( 1.3/98.1%)         99 ( 5.1/92.3%)        216 (10.1/74.2%)
51.89/49.18	c (31,0) c    9          172 ( 0.8/98.9%)         61 ( 3.1/95.5%)        161 ( 7.6/81.8%)
51.89/49.18	c (31,0) c   10           81 ( 0.4/99.2%)         28 ( 1.4/96.9%)        115 ( 5.4/87.1%)
51.89/49.18	c (31,0) c   11           45 ( 0.2/99.4%)         19 ( 1.0/97.9%)         82 ( 3.8/91.0%)
51.89/49.18	c (31,0) c   12           31 ( 0.1/99.6%)          9 ( 0.5/98.4%)         50 ( 2.3/93.3%)
51.89/49.18	c (31,0) c   13           44 ( 0.2/99.8%)         10 ( 0.5/98.9%)         57 ( 2.7/96.0%)
51.89/49.18	c (31,0) c   14           19 ( 0.1/99.9%)          9 ( 0.5/99.3%)         29 ( 1.4/97.4%)
51.89/49.18	c (31,0) c   15           15 ( 0.1/99.9%)          5 ( 0.3/99.6%)         24 ( 1.1/98.5%)
51.89/49.18	c (31,0) c   16            2 ( 0.0/99.9%)          0 ( 0.0/99.6%)         10 ( 0.5/99.0%)
51.89/49.18	c (31,0) c   17            3 ( 0.0/99.9%)          2 ( 0.1/99.7%)          6 ( 0.3/99.2%)
51.89/49.18	c (31,0) c   18            1 ( 0.0/100.0%)          2 ( 0.1/99.8%)          4 ( 0.2/99.4%)
51.89/49.18	c (31,0) c   19            5 ( 0.0/100.0%)          2 ( 0.1/99.9%)          5 ( 0.2/99.7%)
51.89/49.18	c (31,0) c   20            3 ( 0.0/100.0%)          1 ( 0.1/99.9%)          5 ( 0.2/99.9%)
51.89/49.18	c (31,0) c   21            2 ( 0.0/100.0%)          1 ( 0.1/100.0%)          1 ( 0.0/100.0%)
51.89/49.18	c (31,0) c   22            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
51.89/49.18	c (31,0) c   23            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
51.89/49.18	c (31,0) c
51.89/49.18	c (31,0) c Memory used       : 776.00 MB
51.89/49.18	c (31,0) c CPU time          : 29.651 s
51.89/49.18	c (31,0) c Real time         : 30.143 s
51.89/49.18	c (31,0) c
51.89/49.18	c (31,0) s SATISFIABLE
21.90/49.27	c (31,0) SatSolver.solve End
21.90/49.27	c (31,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.90/49.27	c (31,0) Show results Begin
52.27/49.39	c (31,0) x[0] = 7
52.27/49.39	c (31,0) x[1] = 17
52.27/49.39	c (31,0) x[2] = 19
52.27/49.39	c (31,0) x[3] = 13
52.27/49.39	c (31,0) x[4] = 7
52.27/49.39	c (31,0) x[5] = 13
52.27/49.39	c (31,0) x[6] = 17
52.27/49.39	c (31,0) x[7] = 5
52.27/49.39	c (31,0) x[8] = 29
52.27/49.39	c (31,0) x[9] = 3
52.27/49.39	c (31,0) x[10] = 5
52.27/49.39	c (31,0) x[11] = 19
52.27/49.39	c (31,0) x[12] = 2
52.27/49.39	c (31,0) x[13] = 29
52.27/49.39	c (31,0) x[14] = 7
52.27/49.39	c (31,0) x[15] = 17
52.27/49.39	c (31,0) x[16] = 2
52.27/49.39	c (31,0) x[17] = 17
52.27/49.39	c (31,0) x[18] = 5
52.27/49.39	c (31,0) x[19] = 17
52.27/49.39	c (31,0) x[20] = 3
52.27/49.39	c (31,0) x[21] = 23
52.27/49.39	c (31,0) x[22] = 19
52.27/49.39	c (31,0) x[23] = 29
52.27/49.39	c (31,0) x[24] = 5
52.27/49.39	c (31,0) x[25] = 2
52.27/49.39	c (31,0) x[26] = 5
52.27/49.39	c (31,0) x[27] = 7
52.27/49.39	c (31,0) x[28] = 19
52.27/49.39	c (31,0) x[29] = 13
52.27/49.39	c (31,0) x[30] = 29
52.27/49.39	c (31,0) x[31] = 5
52.27/49.39	c (31,0) x[32] = 5
52.27/49.39	c (31,0) x[33] = 23
52.27/49.39	c (31,0) x[34] = 29
52.27/49.39	c (31,0) x[35] = 19
52.27/49.39	c (31,0) x[36] = 9
52.27/49.39	c (31,0) x[37] = 17
52.27/49.39	c (31,0) x[38] = 3
52.27/49.39	c (31,0) x[39] = 5
52.27/49.39	c (31,0) x[40] = 29
52.27/49.39	c (31,0) x[41] = 7
52.27/49.39	c (31,0) x[42] = 3
52.27/49.39	c (31,0) x[43] = 29
52.27/49.39	c (31,0) x[44] = 11
52.27/49.39	c (31,0) x[45] = 19
52.27/49.39	c (31,0) x[46] = 23
52.27/49.39	c (31,0) x[47] = 11
52.27/49.39	c (31,0) x[48] = 13
52.27/49.39	c (31,0) x[49] = 2
52.27/49.39	c (31,0) x[50] = 7
52.27/49.39	c (31,0) x[51] = 17
52.27/49.39	c (31,0) x[52] = 10
52.27/49.39	c (31,0) x[53] = 2
52.27/49.39	c (31,0) x[54] = 17
52.27/49.39	c (31,0) x[55] = 7
52.27/49.39	c (31,0) x[56] = 5
52.27/49.39	c (31,0) x[57] = 2
52.27/49.39	c (31,0) x[58] = 17
52.27/49.39	c (31,0) x[59] = 3
52.27/49.39	c (31,0) x[60] = 13
52.27/49.39	c (31,0) x[61] = 13
52.27/49.39	c (31,0) x[62] = 11
52.27/49.39	c (31,0) x[63] = 19
52.27/49.39	c (31,0) x[64] = 17
52.27/49.39	c (31,0) x[65] = 13
52.27/49.39	c (31,0) x[66] = 17
52.27/49.39	c (31,0) x[67] = 29
52.27/49.39	c (31,0) x[68] = 7
52.27/49.39	c (31,0) x[69] = 19
52.27/49.39	c (31,0) x[70] = 11
52.27/49.39	c (31,0) x[71] = 13
52.27/49.39	c (31,0) x[72] = 5
52.27/49.39	c (31,0) x[73] = 13
52.27/49.39	c (31,0) x[74] = 11
52.27/49.39	c (31,0) x[75] = 19
52.27/49.39	c (31,0) x[76] = 11
52.27/49.39	c (31,0) x[78] = 7
52.27/49.39	c (31,0) x[79] = 2
52.27/49.39	c (31,0) x[80] = 19
52.27/49.39	c (31,0) x[81] = 23
52.27/49.39	c (31,0) x[82] = 17
52.27/49.39	c (31,0) x[83] = 23
52.27/49.39	c (31,0) x[84] = 23
52.27/49.39	c (31,0) x[85] = 11
52.27/49.39	c (31,0) x[86] = 7
52.27/49.39	c (31,0) x[87] = 3
52.27/49.39	c (31,0) x[88] = 11
52.27/49.39	c (31,0) x[89] = 29
52.27/49.39	c (31,0) x[90] = 5
52.27/49.39	c (31,0) x[91] = 2
52.27/49.39	c (31,0) x[92] = 17
52.27/49.39	c (31,0) x[93] = 23
52.27/49.39	c (31,0) x[94] = 29
52.27/49.39	c (31,0) x[95] = 5
52.27/49.39	c (31,0) x[96] = 17
52.27/49.39	c (31,0) x[97] = 17
52.27/49.39	c (31,0) x[98] = 11
52.27/49.39	c (31,0) x[99] = 29
52.27/49.39	s SATISFIABLE
52.27/49.39	v <instantiation>
52.27/49.39	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99]</list>
52.27/49.39	v     <values>7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 17 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 9 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 10 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 13 5 13 11 19 11 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 11 29</values>
52.27/49.39	v </instantiation>
52.27/49.39	c (31,0) Show results End
52.27/49.39	c (31,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
52.27/49.39	c (31,0) 31,31,STOP-AFTER(ALL)
52.27/49.39	c END-Prog: Thu Sep 12 15:26:31 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 (7805 MiB free)
  memory of node 1: 16384 MiB (15588 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.10012 s]*
/proc/loadavg: 2.64 3.21 2.92 3/234 11489
/proc/meminfo: memFree=23896120/32770624 swapFree=67015696/67108860
[pid=11472] ppid=11469 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11472/stat : 11472 (scop.sh) S 11469 11472 7440 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405750676 115843072 349 33554432000 4194304 5098028 140735483294304 140735483291560 140056302023292 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18771968 140735483302696 140735483303024 140735483303024 140735483305933 0
/proc/11472/statm: 28282 349 296 221 0 87 0
[pid=11475] ppid=11472 vsize=15012696 memory=72992 CPUtime=0.12 cores=0,2,4,6
/proc/11475/stat : 11475 (java) S 11472 11472 7440 0 -1 1077944320 6461 0 0 0 11 1 0 0 20 0 15 0 405750677 15373000704 18248 33554432000 4194304 4196468 140726362009664 140726361992208 140147412819703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
/proc/11475/statm: 3753174 18248 2936 1 0 3715579 0
[pid=11475/tid=11476] ppid=11472 vsize=15012696 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/11475/task/11476/stat : 11476 (java) R 11472 11472 7440 0 -1 4202560 4293 0 0 0 8 1 0 0 20 0 15 0 405750677 15373000704 18248 33554432000 4194304 4196468 140726362009664 140147384613608 140147396900190 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11477] ppid=11472 vsize=15012696 memory=3472468260631361200 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11477/stat : 11477 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750678 15373000704 18248 33554432000 4194304 4196468 140726362009664 140147417062160 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11478] ppid=11472 vsize=15012696 memory=139964403680896 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11478/stat : 11478 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15373000704 18248 33554432000 4194304 4196468 140726362009664 140147208145808 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11479] ppid=11472 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11479/stat : 11479 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15373000704 18248 33554432000 4194304 4196468 140726362009664 140147207093264 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11480] ppid=11472 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11480/stat : 11480 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15373000704 18248 33554432000 4194304 4196468 140726362009664 140147206040720 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11481] ppid=11472 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11481/stat : 11481 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750680 15373000704 18248 33554432000 4194304 4196468 140726362009664 140146382948336 140147412830850 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11482] ppid=11472 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11482/stat : 11482 (java) S 11472 11472 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405750680 15373000704 18248 33554432000 4194304 4196468 140726362009664 140145990820768 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11483] ppid=11472 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11483/stat : 11483 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405750681 15373000704 18248 33554432000 4194304 4196468 140726362009664 140145722385392 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11484] ppid=11472 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11484/stat : 11484 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405750683 15373000704 18248 33554432000 4194304 4196468 140726362009664 140145347877072 140147412838299 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11485] ppid=11472 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11485/stat : 11485 (java) S 11472 11472 7440 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 405750683 15373000704 18248 33554432000 4194304 4196468 140726362009664 140146381896176 140147412830850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11486] ppid=11472 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11486/stat : 11486 (java) S 11472 11472 7440 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 405750683 15373000704 18248 33554432000 4194304 4196468 140726362009664 140146380843632 140147412830850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11487] ppid=11472 vsize=15012696 memory=139964403680896 CPUtime=0.01 cores=0,2,4,6
/proc/11475/task/11487/stat : 11487 (java) R 11472 11472 7440 0 -1 4202560 405 0 0 0 1 0 0 0 20 0 15 0 405750683 15373000704 18248 33554432000 4194304 4196468 140726362009664 140146379787768 140147391958419 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11488] ppid=11472 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11488/stat : 11488 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405750683 15373000704 18248 33554432000 4194304 4196468 140726362009664 140144849972320 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11489] ppid=11472 vsize=15012696 memory=139964403680896 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11489/stat : 11489 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405750684 15373000704 18248 33554432000 4194304 4196468 140726362009664 140146378737968 140147412830850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74388 KiB

[startup+0.211651 s]*
/proc/loadavg: 2.64 3.21 2.92 3/234 11489
/proc/meminfo: memFree=23877268/32770624 swapFree=67015696/67108860
[pid=11472] ppid=11469 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11472/stat : 11472 (scop.sh) S 11469 11472 7440 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405750676 115843072 349 33554432000 4194304 5098028 140735483294304 140735483291560 140056302023292 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18771968 140735483302696 140735483303024 140735483303024 140735483305933 0
/proc/11472/statm: 28282 349 296 221 0 87 0
[pid=11475] ppid=11472 vsize=15012696 memory=88112 CPUtime=0.24 cores=0,2,4,6
/proc/11475/stat : 11475 (java) S 11472 11472 7440 0 -1 1077944320 11546 0 0 0 22 2 0 0 20 0 15 0 405750677 15373000704 22028 33554432000 4194304 4196468 140726362009664 140726361992208 140147412819703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
/proc/11475/statm: 3753174 22028 2942 1 0 3715579 0
[pid=11475/tid=11476] ppid=11472 vsize=15012696 memory=8514701219881125283 CPUtime=0.19 cores=0,2,4,6
/proc/11475/task/11476/stat : 11476 (java) R 11472 11472 7440 0 -1 4202560 9325 0 0 0 17 2 0 0 20 0 15 0 405750677 15373000704 22028 33554432000 4194304 4196468 140726362009664 140147384641056 140147412831638 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11477] ppid=11472 vsize=15012696 memory=3472468260631361200 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11477/stat : 11477 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750678 15373000704 22028 33554432000 4194304 4196468 140726362009664 140147417062160 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11478] ppid=11472 vsize=15012696 memory=139964403680896 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11478/stat : 11478 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15373000704 22028 33554432000 4194304 4196468 140726362009664 140147208145808 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11479] ppid=11472 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11479/stat : 11479 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15373000704 22028 33554432000 4194304 4196468 140726362009664 140147207093264 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11480] ppid=11472 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11480/stat : 11480 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15373000704 22028 33554432000 4194304 4196468 140726362009664 140147206040720 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11481] ppid=11472 vsize=15012696 memory=139964403680896 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11481/stat : 11481 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750680 15373000704 22028 33554432000 4194304 4196468 140726362009664 140146382948336 140147412830850 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11482] ppid=11472 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11482/stat : 11482 (java) S 11472 11472 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405750680 15373000704 22028 33554432000 4194304 4196468 140726362009664 140145990820768 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11483] ppid=11472 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11483/stat : 11483 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405750681 15373000704 22028 33554432000 4194304 4196468 140726362009664 140145722385392 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11484] ppid=11472 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11484/stat : 11484 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405750683 15373000704 22028 33554432000 4194304 4196468 140726362009664 140145347877072 140147412838299 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11485] ppid=11472 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11485/stat : 11485 (java) S 11472 11472 7440 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 405750683 15373000704 22028 33554432000 4194304 4196468 140726362009664 140146381896176 140147412830850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11486] ppid=11472 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11486/stat : 11486 (java) S 11472 11472 7440 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 15 0 405750683 15373000704 22028 33554432000 4194304 4196468 140726362009664 140146380843632 140147412830850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11487] ppid=11472 vsize=15012696 memory=139964403680896 CPUtime=0.02 cores=0,2,4,6
/proc/11475/task/11487/stat : 11487 (java) R 11472 11472 7440 0 -1 4202560 413 0 0 0 2 0 0 0 20 0 15 0 405750683 15373000704 22028 33554432000 4194304 4196468 140726362009664 140146379791088 140147397007079 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11488] ppid=11472 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11488/stat : 11488 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405750683 15373000704 22028 33554432000 4194304 4196468 140726362009664 140144849972320 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11489] ppid=11472 vsize=15012696 memory=139964403680896 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11489/stat : 11489 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405750684 15373000704 22028 33554432000 4194304 4196468 140726362009664 140146378737968 140147412830850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89508 KiB

[startup+0.310503 s]*
/proc/loadavg: 2.64 3.21 2.92 3/234 11489
/proc/meminfo: memFree=23874232/32770624 swapFree=67015696/67108860
[pid=11472] ppid=11469 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11472/stat : 11472 (scop.sh) S 11469 11472 7440 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405750676 115843072 349 33554432000 4194304 5098028 140735483294304 140735483291560 140056302023292 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18771968 140735483302696 140735483303024 140735483303024 140735483305933 0
/proc/11472/statm: 28282 349 296 221 0 87 0
[pid=11475] ppid=11472 vsize=15012696 memory=91816 CPUtime=0.42 cores=0,2,4,6
/proc/11475/stat : 11475 (java) S 11472 11472 7440 0 -1 1077944320 12534 0 0 0 39 3 0 0 20 0 15 0 405750677 15373000704 22954 33554432000 4194304 4196468 140726362009664 140726361992208 140147412819703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
/proc/11475/statm: 3753174 22954 3027 1 0 3715579 0
[pid=11475/tid=11476] ppid=11472 vsize=15012696 memory=8514701219881125283 CPUtime=0.29 cores=0,2,4,6
/proc/11475/task/11476/stat : 11476 (java) R 11472 11472 7440 0 -1 4202560 10121 0 0 0 27 2 0 0 20 0 15 0 405750677 15373000704 22954 33554432000 4194304 4196468 140726362009664 140147384602720 140147412833607 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11477] ppid=11472 vsize=15012696 memory=3472468260631361200 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11477/stat : 11477 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750678 15373000704 22954 33554432000 4194304 4196468 140726362009664 140147417062160 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11478] ppid=11472 vsize=15012696 memory=139964403688362 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11478/stat : 11478 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15373000704 22954 33554432000 4194304 4196468 140726362009664 140147208145808 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11479] ppid=11472 vsize=15012696 memory=139964260145467 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11479/stat : 11479 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15373000704 22954 33554432000 4194304 4196468 140726362009664 140147207093264 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11480] ppid=11472 vsize=15012696 memory=139964260151727 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11480/stat : 11480 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15373000704 22954 33554432000 4194304 4196468 140726362009664 140147206040720 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11481] ppid=11472 vsize=15012696 memory=139964403689550 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11481/stat : 11481 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750680 15373000704 22954 33554432000 4194304 4196468 140726362009664 140146382948336 140147412830850 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11482] ppid=11472 vsize=15012696 memory=139964260142543 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11482/stat : 11482 (java) S 11472 11472 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405750680 15373000704 22954 33554432000 4194304 4196468 140726362009664 140145990820768 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11483] ppid=11472 vsize=15012696 memory=279928520298864 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11483/stat : 11483 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405750681 15373000704 22954 33554432000 4194304 4196468 140726362009664 140145722385392 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11484] ppid=11472 vsize=15012696 memory=139964260160471 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11484/stat : 11484 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405750683 15373000704 22954 33554432000 4194304 4196468 140726362009664 140145347877072 140147412838299 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11485] ppid=11472 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11475/task/11485/stat : 11485 (java) S 11472 11472 7440 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 405750683 15373000704 22954 33554432000 4194304 4196468 140726362009664 140146381896176 140147412830850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11486] ppid=11472 vsize=15012696 memory=2240 CPUtime=0.02 cores=0,2,4,6
/proc/11475/task/11486/stat : 11486 (java) S 11472 11472 7440 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 405750683 15373000704 22954 33554432000 4194304 4196468 140726362009664 140146380843632 140147412830850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11487] ppid=11472 vsize=15012696 memory=139964403680896 CPUtime=0.07 cores=0,2,4,6
/proc/11475/task/11487/stat : 11487 (java) S 11472 11472 7440 0 -1 1077944384 458 0 0 0 7 0 0 0 20 0 15 0 405750683 15373000704 22954 33554432000 4194304 4196468 140726362009664 140146379791088 140147412830850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11488] ppid=11472 vsize=15012696 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11488/stat : 11488 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405750683 15373000704 22954 33554432000 4194304 4196468 140726362009664 140144849972320 140147412829909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11489] ppid=11472 vsize=15012696 memory=139964403680896 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11489/stat : 11489 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405750684 15373000704 22954 33554432000 4194304 4196468 140726362009664 140146378737968 140147412830850 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93212 KiB

[startup+0.702259 s]
/proc/loadavg: 2.64 3.21 2.92 3/234 11489
/proc/meminfo: memFree=23852812/32770624 swapFree=67015696/67108860
[pid=11472] ppid=11469 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11472/stat : 11472 (scop.sh) S 11469 11472 7440 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405750676 115843072 349 33554432000 4194304 5098028 140735483294304 140735483291560 140056302023292 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18771968 140735483302696 140735483303024 140735483303024 140735483305933 0
/proc/11472/statm: 28282 349 296 221 0 87 0
[pid=11475] ppid=11472 vsize=15021092 memory=130332 CPUtime=1 cores=0,2,4,6
/proc/11475/stat : 11475 (java) S 11472 11472 7440 0 -1 1077944320 19843 0 0 0 94 6 0 0 20 0 15 0 405750677 15381598208 32583 33554432000 4194304 4196468 140726362009664 140726361992208 140147412819703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
/proc/11475/statm: 3755273 32583 3209 1 0 3716603 0
[pid=11475/tid=11476] ppid=11472 vsize=15021092 memory=7597685182856913236 CPUtime=0.67 cores=0,2,4,6
/proc/11475/task/11476/stat : 11476 (java) R 11472 11472 7440 0 -1 4202560 16884 0 0 0 62 5 0 0 20 0 15 0 405750677 15381598208 32583 33554432000 4194304 4196468 140726362009664 140147384648192 140147396900190 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11477] ppid=11472 vsize=15021092 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11477/stat : 11477 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750678 15381598208 32583 33554432000 4194304 4196468 140726362009664 140147417062160 140147412829909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11478] ppid=11472 vsize=15021092 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11478/stat : 11478 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15381598208 32583 33554432000 4194304 4196468 140726362009664 140147208145808 140147412829909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11479] ppid=11472 vsize=15021092 memory=-5874771483550381248 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11479/stat : 11479 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15381598208 32583 33554432000 4194304 4196468 140726362009664 140147207093264 140147412829909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11480] ppid=11472 vsize=15021092 memory=8370611207639232161 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11480/stat : 11480 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405750679 15381598208 32583 33554432000 4194304 4196468 140726362009664 140147206040720 140147412829909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11481] ppid=11472 vsize=15021092 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11481/stat : 11481 (java) S 11472 11472 7440 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405750680 15381598208 32583 33554432000 4194304 4196468 140726362009664 140146382948336 140147412830850 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11482] ppid=11472 vsize=15021092 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11482/stat : 11482 (java) S 11472 11472 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405750680 15381598208 32583 33554432000 4194304 4196468 140726362009664 140145990820768 140147412829909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11483] ppid=11472 vsize=15021092 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11483/stat : 11483 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405750681 15381598208 32583 33554432000 4194304 4196468 140726362009664 140145722385392 140147412829909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11484] ppid=11472 vsize=15021092 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11484/stat : 11484 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405750683 15381598208 32583 33554432000 4194304 4196468 140726362009664 140145347877072 140147412838299 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11485] ppid=11472 vsize=15021092 memory=311 CPUtime=0.07 cores=0,2,4,6
/proc/11475/task/11485/stat : 11485 (java) R 11472 11472 7440 0 -1 4202560 567 0 0 0 7 0 0 0 20 0 15 0 405750683 15381598208 32583 33554432000 4194304 4196468 140726362009664 140146381896176 140147397211680 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11486] ppid=11472 vsize=15021092 memory=10 CPUtime=0.08 cores=0,2,4,6
/proc/11475/task/11486/stat : 11486 (java) R 11472 11472 7440 0 -1 1077944384 470 0 0 0 8 0 0 0 20 0 15 0 405750683 15381598208 32583 33554432000 4194304 4196468 140726362009664 140146380843632 140147412830850 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11487] ppid=11472 vsize=15021092 memory=1286 CPUtime=0.15 cores=0,2,4,6
/proc/11475/task/11487/stat : 11487 (java) R 11472 11472 7440 0 -1 4202560 584 0 0 0 15 0 0 0 20 0 15 0 405750683 15381598208 32583 33554432000 4194304 4196468 140726362009664 140146379791088 140147412831638 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11488] ppid=11472 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11488/stat : 11488 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405750683 15381598208 32583 33554432000 4194304 4196468 140726362009664 140144849972320 140147412829909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
[pid=11475/tid=11489] ppid=11472 vsize=15022116 memory=7591186987463698790 CPUtime=0 cores=0,2,4,6
/proc/11475/task/11489/stat : 11489 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405750684 15382646784 32583 33554432000 4194304 4196468 140726362009664 140146378737968 140147412830850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29388800 140726362018542 140726362018970 140726362018970 140726362021839 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131728 KiB

[startup+1.50076 s]
/proc/loadavg: 2.64 3.21 2.92 3/234 11489
/proc/meminfo: memFree=23826920/32770624 swapFree=67015696/67108860
[pid=11472] ppid=11469 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11472/stat : 11472 (scop.sh) S 11469 11472 7440 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405750676 115843072 349 33554432000 4194304 5098028 140735483294304 140735483291560 140056302023292 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18771968 140735483302696 140735483303024 140735483303024 140735483305933 0
/proc/11472/statm: 28282 349 296 221 0 87 0

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

[pid=11490/tid=11504] ppid=11472 vsize=8068440 memory=6645459911560372124 CPUtime=0.01 cores=0,2,4,6
/proc/11490/task/11504/stat : 11504 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 1 0 0 0 20 0 19 0 405752447 8262082560 29417 33554432000 4194304 4196468 140726889308624 140070864488880 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11506] ppid=11472 vsize=8068440 memory=7681407940103534243 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11506/stat : 11506 (java) S 11472 11472 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405752580 8262082560 29417 33554432000 4194304 4196468 140726889308624 140070963393472 140071623864089 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11508] ppid=11472 vsize=8068440 memory=-7824251494391043175 CPUtime=0.01 cores=0,2,4,6
/proc/11490/task/11508/stat : 11508 (java) S 11472 11472 7440 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 405752580 8262082560 29417 33554432000 4194304 4196468 140726889308624 140068815613424 140071623861405 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11509] ppid=11472 vsize=8068440 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11509/stat : 11509 (java) S 11472 11472 7440 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405752580 8262082560 29417 33554432000 4194304 4196468 140726889308624 140068949835664 140071623861405 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11510] ppid=11472 vsize=8068440 memory=804 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11510/stat : 11510 (java) S 11472 11472 7440 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405752582 8262082560 29417 33554432000 4194304 4196468 140726889308624 140068547190192 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 8764860 KiB
Current children cumulated memory: 640516 KiB

[startup+48.801 s]
/proc/loadavg: 2.30 3.04 2.87 3/239 11513
/proc/meminfo: memFree=23114420/32770624 swapFree=67015696/67108860
[pid=11472] ppid=11469 vsize=113128 memory=1476 CPUtime=20.68 cores=0,2,4,6
/proc/11472/stat : 11472 (scop.sh) S 11469 11472 7440 0 -1 4202496 585 30766 0 0 0 0 1964 104 20 0 1 0 405750676 115843072 369 33554432000 4194304 5098028 140735483294304 140735483291048 140056302023292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18771968 140735483302696 140735483303024 140735483303024 140735483305933 0
/proc/11472/statm: 28282 369 311 221 0 87 0
[pid=11490] ppid=11472 vsize=8068440 memory=117668 CPUtime=1.14 cores=0,2,4,6
/proc/11490/stat : 11490 (java) S 11472 11472 7440 0 -1 1077944320 19428 0 0 0 108 6 0 0 20 0 19 0 405752441 8262082560 29417 33554432000 4194304 4196468 140726889308624 140726889291168 140071623839479 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
/proc/11490/statm: 2017110 29417 3197 1 0 1978454 0
[pid=11505] ppid=11490 vsize=583292 memory=521372 CPUtime=29.76 cores=0,2,4,6
/proc/11505/stat : 11505 (glueminisat-sim) R 11490 11472 7440 0 -1 4202496 433814 0 0 0 2927 49 0 0 20 0 1 0 405752580 597291008 130343 33554432000 4194304 4452875 140725161184672 140725161179768 4372354 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 18227200 140725161186143 140725161186343 140725161186343 140725161189293 0
/proc/11505/statm: 145823 130343 369 64 0 142027 0
[pid=11490/tid=11491] ppid=11472 vsize=8068440 memory=2768 CPUtime=0.75 cores=0,2,4,6
/proc/11490/task/11491/stat : 11491 (java) S 11472 11472 7440 0 -1 1077944384 16358 0 0 0 70 5 0 0 20 0 19 0 405752441 8262082560 29417 33554432000 4194304 4196468 140726889308624 140071595679648 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 67 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11492] ppid=11472 vsize=8068440 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11492/stat : 11492 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405752442 8262082560 29417 33554432000 4194304 4196468 140726889308624 140071628082064 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11493] ppid=11472 vsize=8068440 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11493/stat : 11493 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405752442 8262082560 29417 33554432000 4194304 4196468 140726889308624 140071108512528 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11494] ppid=11472 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11494/stat : 11494 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405752442 8262082560 29417 33554432000 4194304 4196468 140726889308624 140071107460240 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11495] ppid=11472 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11495/stat : 11495 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405752442 8262082560 29417 33554432000 4194304 4196468 140726889308624 140071106407440 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11496] ppid=11472 vsize=8068440 memory=117668 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11496/stat : 11496 (java) S 11472 11472 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405752444 8262082560 29417 33554432000 4194304 4196468 140726889308624 140070868699248 140071623850626 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11497] ppid=11472 vsize=8068440 memory=521372 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11497/stat : 11497 (java) S 11472 11472 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405752444 8262082560 29417 33554432000 4194304 4196468 140726889308624 140070493348640 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11498] ppid=11472 vsize=8068440 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11498/stat : 11498 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405752444 8262082560 29417 33554432000 4194304 4196468 140726889308624 140070224913520 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11499] ppid=11472 vsize=8068440 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11499/stat : 11499 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405752447 8262082560 29417 33554432000 4194304 4196468 140726889308624 140069850404944 140071623858075 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11500] ppid=11472 vsize=8068440 memory=1412 CPUtime=0.08 cores=0,2,4,6
/proc/11490/task/11500/stat : 11500 (java) S 11472 11472 7440 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 19 0 405752447 8262082560 29417 33554432000 4194304 4196468 140726889308624 140070867647088 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11501] ppid=11472 vsize=8068440 memory=3428 CPUtime=0.06 cores=0,2,4,6
/proc/11490/task/11501/stat : 11501 (java) S 11472 11472 7440 0 -1 1077944384 192 0 0 0 6 0 0 0 20 0 19 0 405752447 8262082560 29417 33554432000 4194304 4196468 140726889308624 140070866594288 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11502] ppid=11472 vsize=8068440 memory=1476 CPUtime=0.2 cores=0,2,4,6
/proc/11490/task/11502/stat : 11502 (java) S 11472 11472 7440 0 -1 1077944384 709 0 0 0 20 0 0 0 20 0 19 0 405752447 8262082560 29417 33554432000 4194304 4196468 140726889308624 140070865542000 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11503] ppid=11472 vsize=8068440 memory=124708 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11503/stat : 11503 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405752447 8262082560 29417 33554432000 4194304 4196468 140726889308624 140069352500192 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11504] ppid=11472 vsize=8068440 memory=149496 CPUtime=0.01 cores=0,2,4,6
/proc/11490/task/11504/stat : 11504 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 1 0 0 0 20 0 19 0 405752447 8262082560 29417 33554432000 4194304 4196468 140726889308624 140070864488880 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11506] ppid=11472 vsize=8068440 memory=279928521412224 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11506/stat : 11506 (java) S 11472 11472 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405752580 8262082560 29417 33554432000 4194304 4196468 140726889308624 140070963393472 140071623864089 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11508] ppid=11472 vsize=8068440 memory=8243114992657236051 CPUtime=0.01 cores=0,2,4,6
/proc/11490/task/11508/stat : 11508 (java) S 11472 11472 7440 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 405752580 8262082560 29417 33554432000 4194304 4196468 140726889308624 140068815613424 140071623861405 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11509] ppid=11472 vsize=8068440 memory=288284493629096808 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11509/stat : 11509 (java) S 11472 11472 7440 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405752580 8262082560 29417 33554432000 4194304 4196468 140726889308624 140068949835664 140071623861405 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11510] ppid=11472 vsize=8068440 memory=3762250850869996550 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11510/stat : 11510 (java) S 11472 11472 7440 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405752582 8262082560 29417 33554432000 4194304 4196468 140726889308624 140068547190192 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
Current children cumulated CPU time: 51.58 s
Current children cumulated vsize: 8764860 KiB
Current children cumulated memory: 640516 KiB

[startup+49.2056 s]
/proc/loadavg: 2.30 3.04 2.87 3/239 11513
/proc/meminfo: memFree=23112372/32770624 swapFree=67015696/67108860
[pid=11472] ppid=11469 vsize=113128 memory=1476 CPUtime=20.68 cores=0,2,4,6
/proc/11472/stat : 11472 (scop.sh) S 11469 11472 7440 0 -1 4202496 585 30766 0 0 0 0 1964 104 20 0 1 0 405750676 115843072 369 33554432000 4194304 5098028 140735483294304 140735483291048 140056302023292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18771968 140735483302696 140735483303024 140735483303024 140735483305933 0
/proc/11472/statm: 28282 369 311 221 0 87 0
[pid=11490] ppid=11472 vsize=8068440 memory=124812 CPUtime=1.22 cores=0,2,4,6
/proc/11490/stat : 11490 (java) S 11472 11472 7440 0 -1 1077944320 20168 0 0 0 115 7 0 0 20 0 19 0 405752441 8262082560 31203 33554432000 4194304 4196468 140726889308624 140726889291168 140071623839479 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
/proc/11490/statm: 2017110 31203 3204 1 0 1978454 0
[pid=11490/tid=11491] ppid=11472 vsize=8068440 memory=1296 CPUtime=0.75 cores=0,2,4,6
/proc/11490/task/11491/stat : 11491 (java) S 11472 11472 7440 0 -1 1077944384 16358 0 0 0 70 5 0 0 20 0 19 0 405752441 8262082560 31203 33554432000 4194304 4196468 140726889308624 140071595679648 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 67 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11492] ppid=11472 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11492/stat : 11492 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405752442 8262082560 31203 33554432000 4194304 4196468 140726889308624 140071628082064 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11493] ppid=11472 vsize=8068440 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11493/stat : 11493 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405752442 8262082560 31203 33554432000 4194304 4196468 140726889308624 140071108512528 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11494] ppid=11472 vsize=8068440 memory=16100381516106309 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11494/stat : 11494 (java) S 11472 11472 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405752442 8262082560 31203 33554432000 4194304 4196468 140726889308624 140071107460240 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11495] ppid=11472 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11495/stat : 11495 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405752442 8262082560 31203 33554432000 4194304 4196468 140726889308624 140071106407440 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11496] ppid=11472 vsize=8068440 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11496/stat : 11496 (java) S 11472 11472 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405752444 8262082560 31203 33554432000 4194304 4196468 140726889308624 140070868699248 140071623850626 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11497] ppid=11472 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11497/stat : 11497 (java) S 11472 11472 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405752444 8262082560 31203 33554432000 4194304 4196468 140726889308624 140070493348640 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11498] ppid=11472 vsize=8068440 memory=117668 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11498/stat : 11498 (java) S 11472 11472 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405752444 8262082560 31203 33554432000 4194304 4196468 140726889308624 140070224913520 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11499] ppid=11472 vsize=8068440 memory=521372 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11499/stat : 11499 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405752447 8262082560 31203 33554432000 4194304 4196468 140726889308624 140069850404944 140071623858075 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11500] ppid=11472 vsize=8068440 memory=149496 CPUtime=0.09 cores=0,2,4,6
/proc/11490/task/11500/stat : 11500 (java) R 11472 11472 7440 0 -1 4202560 763 0 0 0 9 0 0 0 20 0 19 0 405752447 8262082560 31203 33554432000 4194304 4196468 140726889308624 140070867635648 140071603086084 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11501] ppid=11472 vsize=8068440 memory=6296143692265509479 CPUtime=0.07 cores=0,2,4,6
/proc/11490/task/11501/stat : 11501 (java) R 11472 11472 7440 0 -1 1077944384 535 0 0 0 7 0 0 0 20 0 19 0 405752447 8262082560 31203 33554432000 4194304 4196468 140726889308624 140070866594288 140071623850626 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11502] ppid=11472 vsize=8068440 memory=7445403831810354281 CPUtime=0.22 cores=0,2,4,6
/proc/11490/task/11502/stat : 11502 (java) S 11472 11472 7440 0 -1 1077944384 1075 0 0 0 22 0 0 0 20 0 19 0 405752447 8262082560 31203 33554432000 4194304 4196468 140726889308624 140070865542000 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11503] ppid=11472 vsize=8068440 memory=7378419427272321104 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11503/stat : 11503 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405752447 8262082560 31203 33554432000 4194304 4196468 140726889308624 140069352500192 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11504] ppid=11472 vsize=8068440 memory=4638778424102571344 CPUtime=0.01 cores=0,2,4,6
/proc/11490/task/11504/stat : 11504 (java) S 11472 11472 7440 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 19 0 405752447 8262082560 31203 33554432000 4194304 4196468 140726889308624 140070864488880 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11506] ppid=11472 vsize=8068440 memory=7523658376277355096 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11506/stat : 11506 (java) S 11472 11472 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405752580 8262082560 31203 33554432000 4194304 4196468 140726889308624 140070963393472 140071623864089 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11508] ppid=11472 vsize=8068440 memory=7084538682407085421 CPUtime=0.03 cores=0,2,4,6
/proc/11490/task/11508/stat : 11508 (java) R 11472 11472 7440 0 -1 4202560 46 0 0 0 3 0 0 0 20 0 19 0 405752580 8262082560 31203 33554432000 4194304 4196468 140726889308624 140068815613424 140071114190643 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11509] ppid=11472 vsize=8068440 memory=7956565765176975953 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11509/stat : 11509 (java) S 11472 11472 7440 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405752580 8262082560 31203 33554432000 4194304 4196468 140726889308624 140068949835664 140071623861405 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11510] ppid=11472 vsize=8068440 memory=4638778406922702160 CPUtime=0 cores=0,2,4,6
/proc/11490/task/11510/stat : 11510 (java) S 11472 11472 7440 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405752582 8262082560 31203 33554432000 4194304 4196468 140726889308624 140068547190192 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
Current children cumulated CPU time: 21.9 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 126288 KiB

[startup+49.4008 s]
/proc/loadavg: 2.30 3.04 2.87 3/239 11513
/proc/meminfo: memFree=23112372/32770624 swapFree=67015696/67108860
[pid=11472] ppid=11469 vsize=113128 memory=1476 CPUtime=20.68 cores=0,2,4,6
/proc/11472/stat : 11472 (scop.sh) S 11469 11472 7440 0 -1 4202496 585 30766 0 0 0 0 1964 104 20 0 1 0 405750676 115843072 369 33554432000 4194304 5098028 140735483294304 140735483291048 140056302023292 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18771968 140735483302696 140735483303024 140735483303024 140735483305933 0
/proc/11472/statm: 28282 369 311 221 0 87 0
[pid=11490] ppid=11472 vsize=7937364 memory=146124 CPUtime=31.79 cores=0,2,4,6
/proc/11490/stat : 11490 (java) S 11472 11472 7440 0 -1 1077944320 21345 433959 0 0 154 8 2966 51 20 0 17 0 405752441 8127860736 36531 33554432000 4194304 4196468 140726889308624 140726889291168 140071623839479 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
/proc/11490/statm: 1984341 36531 3225 1 0 1945685 0
[pid=11490/tid=11491] ppid=11472 vsize=7937364 memory=16100381516106309 CPUtime=31.04 cores=0,2,4,6
/proc/11490/task/11491/stat : 11491 (java) R 11472 11472 7440 0 -1 4202560 16645 433959 0 0 82 5 2966 51 20 0 17 0 405752441 8127860736 36531 33554432000 4194304 4196468 140726889308624 140071595676464 140071616525111 0 4 2 25189581 0 0 0 -1 4 0 0 67 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11492] ppid=11472 vsize=7937364 memory=-6520471753822164382 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11492/stat : 11492 (java) S 11472 11472 7440 0 -1 1077944384 2 433959 0 0 0 0 2966 51 20 0 17 0 405752442 8127860736 36531 33554432000 4194304 4196468 140726889308624 140071628082064 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11493] ppid=11472 vsize=7937364 memory=-8412656567318647667 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11493/stat : 11493 (java) S 11472 11472 7440 0 -1 1077944384 1 433959 0 0 0 0 2966 51 20 0 17 0 405752442 8127860736 36531 33554432000 4194304 4196468 140726889308624 140071108512528 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11494] ppid=11472 vsize=7937364 memory=8514701219730522529 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11494/stat : 11494 (java) S 11472 11472 7440 0 -1 1077944384 2 433959 0 0 0 0 2966 51 20 0 17 0 405752442 8127860736 36531 33554432000 4194304 4196468 140726889308624 140071107460240 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11495] ppid=11472 vsize=7937364 memory=139964260773056 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11495/stat : 11495 (java) S 11472 11472 7440 0 -1 1077944384 1 433959 0 0 0 0 2966 51 20 0 17 0 405752442 8127860736 36531 33554432000 4194304 4196468 140726889308624 140071106407440 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11496] ppid=11472 vsize=7937364 memory=139964260775424 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11496/stat : 11496 (java) S 11472 11472 7440 0 -1 1077944384 5 433959 0 0 0 0 2966 51 20 0 17 0 405752444 8127860736 36531 33554432000 4194304 4196468 140726889308624 140070868699248 140071623850626 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11497] ppid=11472 vsize=7937364 memory=139964260777664 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11497/stat : 11497 (java) S 11472 11472 7440 0 -1 1077944384 13 433959 0 0 0 0 2966 51 20 0 17 0 405752444 8127860736 36531 33554432000 4194304 4196468 140726889308624 140070493348640 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11498] ppid=11472 vsize=7937364 memory=20788 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11498/stat : 11498 (java) S 11472 11472 7440 0 -1 1077944384 1 433959 0 0 0 0 2966 51 20 0 17 0 405752444 8127860736 36531 33554432000 4194304 4196468 140726889308624 140070224913520 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11499] ppid=11472 vsize=7937364 memory=3473458624346731576 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11499/stat : 11499 (java) S 11472 11472 7440 0 -1 1077944384 3 433959 0 0 0 0 2966 51 20 0 17 0 405752447 8127860736 36531 33554432000 4194304 4196468 140726889308624 140069850404944 140071623858075 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11500] ppid=11472 vsize=7937364 memory=8389687274684822322 CPUtime=30.33 cores=0,2,4,6
/proc/11490/task/11500/stat : 11500 (java) S 11472 11472 7440 0 -1 1077944384 818 433959 0 0 16 0 2966 51 20 0 17 0 405752447 8127860736 36531 33554432000 4194304 4196468 140726889308624 140070867647088 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11501] ppid=11472 vsize=7937364 memory=0 CPUtime=30.29 cores=0,2,4,6
/proc/11490/task/11501/stat : 11501 (java) S 11472 11472 7440 0 -1 1077944384 597 433959 0 0 12 0 2966 51 20 0 17 0 405752447 8127860736 36531 33554432000 4194304 4196468 140726889308624 140070866594288 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11502] ppid=11472 vsize=7937364 memory=279928520048880 CPUtime=30.47 cores=0,2,4,6
/proc/11490/task/11502/stat : 11502 (java) S 11472 11472 7440 0 -1 1077944384 1295 433959 0 0 30 0 2966 51 20 0 17 0 405752447 8127860736 36531 33554432000 4194304 4196468 140726889308624 140070865542000 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11503] ppid=11472 vsize=7937364 memory=8462477375267487984 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11503/stat : 11503 (java) S 11472 11472 7440 0 -1 1077944384 3 433959 0 0 0 0 2966 51 20 0 17 0 405752447 8127860736 36531 33554432000 4194304 4196468 140726889308624 140069352500192 140071623849685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11504] ppid=11472 vsize=7937364 memory=7681421203011431829 CPUtime=30.18 cores=0,2,4,6
/proc/11490/task/11504/stat : 11504 (java) S 11472 11472 7440 0 -1 1077944384 3 433959 0 0 1 0 2966 51 20 0 17 0 405752447 8127860736 36531 33554432000 4194304 4196468 140726889308624 140070864488880 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11506] ppid=11472 vsize=7937364 memory=-7684191407570971757 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11506/stat : 11506 (java) S 11472 11472 7440 0 -1 1077944384 24 433959 0 0 0 0 2966 51 20 0 17 0 405752580 8127860736 36531 33554432000 4194304 4196468 140726889308624 140070963392656 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
[pid=11490/tid=11510] ppid=11472 vsize=7937364 memory=6648615548753253269 CPUtime=30.17 cores=0,2,4,6
/proc/11490/task/11510/stat : 11510 (java) S 11472 11472 7440 0 -1 1077944384 14 433959 0 0 0 0 2966 51 20 0 17 0 405752582 8127860736 36531 33554432000 4194304 4196468 140726889308624 140068547191984 140071623850626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11411456 140726889317371 140726889317530 140726889317530 140726889320399 0
Current children cumulated CPU time: 52.47 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 147600 KiB

Child status: 0
Real time (s): 49.4352
CPU time (s): 52.5481
CPU user time (s): 50.8595
CPU system time (s): 1.68859
CPU usage (%): 106.297
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 3202152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.8595
system time used= 1.68859
maximum resident set size= 3201672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486692
page faults= 0
swaps= 0
block input operations= 16
block output operations= 355296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7328
involuntary context switches= 112


# summary of solver processes directly reported to runsolver:
#   pid: 11472
#   total CPU time (s): 52.5481
#   total CPU user time (s): 50.8595
#   total CPU system time (s): 1.68859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.333887 second user time and 0.595046 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-12 15:25:41
IDJOB=4388055
IDBENCH=133432
IDSOLVER=2825
FILE ID=node150/4388055-1568294780
RUNJOBID= node150-1568287240-8653
PBS_JOBID= 21701061
Free space on /tmp= 52640 MiB

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

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

MD5SUM BENCH= be3388c5d29b2a85b1452e4a694387b2
RANDOM SEED=786974535

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23955608 kB
MemAvailable:   31621700 kB
Buffers:          135640 kB
Cached:          7684992 kB
SwapCached:         4468 kB
Active:          1571168 kB
Inactive:        6512240 kB
Active(anon):     237276 kB
Inactive(anon):    46312 kB
Active(file):    1333892 kB
Inactive(file):  6465928 kB
Unevictable:      111376 kB
Mlocked:          111376 kB
SwapTotal:      67108860 kB
SwapFree:       67015696 kB
Dirty:             21056 kB
Writeback:            48 kB
AnonPages:        382844 kB
Mapped:            46288 kB
Shmem:             11984 kB
Slab:             324440 kB
SReclaimable:     294732 kB
SUnreclaim:        29708 kB
KernelStack:        4144 kB
PageTables:         6472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6083816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 52620 MiB
End job on node150 at 2019-09-12 15:26:31