Trace number 4388151

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameKnightTour/KnightTour-int-s1/
KnightTour-05-int.xml
MD5SUM5aa02d8e33e0310131c8602cbce67fff
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.033151
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints27
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":25}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":23},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity25
Distribution of constraint arities[{"arity":2,"count":26},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
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-13955-serial-file.bin HOME/instance-4388151-1568296199.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 15:49:17 CEST 2019
0.66/0.56	c PID: 13958
0.66/0.56	c IP: 172.20.3.147
0.66/0.56	c HOST: node147.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.40/0.98	c (0,0) Parsing End
1.40/0.98	c (0,0) CSP: 24 int (0 aux), 1 bool (0 aux), 27 ctr, max domain size 25
1.40/0.98	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.98	c (0,0) Constraint Name Generate Begin
1.40/0.99	c (0,0) Ctr:HOME/instance-4388151-1568296199.xml,AllDifferent:And:Dist:Div:Eq:Instantiation:Mod:Num:Or:Var
1.40/0.99	c (0,0) Constraint Name Generate End
1.40/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.99	c (0,0) CSP to CSPinCNF Begin
2.06/1.29	c (0,0) translated 3 (10%) constraints
2.32/1.31	c (0,0) translated 6 (20%) constraints
2.32/1.32	c (0,0) translated 9 (30%) constraints
2.32/1.34	c (0,0) translated 11 (40%) constraints
2.32/1.35	c (0,0) translated 14 (50%) constraints
2.32/1.36	c (0,0) translated 17 (60%) constraints
2.32/1.37	c (0,0) translated 19 (70%) constraints
2.32/1.38	c (0,0) translated 22 (80%) constraints
2.32/1.39	c (0,0) translated 25 (90%) constraints
2.61/1.40	c (0,0) translated 27 (100%) constraints
2.61/1.40	c (0,0) ===========================================
2.61/1.40	c (0,0) Order
2.61/1.40	c (0,0) ===========================================
2.61/1.42	c (0,0) translated 81 (10%) constraints
2.61/1.43	c (0,0) translated 161 (20%) constraints
2.61/1.44	c (0,0) translated 242 (30%) constraints
2.89/1.52	c (0,0) translated 322 (40%) constraints
2.89/1.54	c (1,0) translated 402 (50%) constraints
2.89/1.55	c (1,1) translated 483 (60%) constraints
2.89/1.56	c (1,1) translated 563 (70%) constraints
2.89/1.56	c (1,1) translated 644 (80%) constraints
2.89/1.57	c (1,1) translated 724 (90%) constraints
2.89/1.57	c (1,1) translated 804 (100%) constraints
2.89/1.58	c (1,1) CSP to CSPinCNF End
2.89/1.58	c (1,1) CSP: 118 int (94 aux), 682 bool (681 aux), 2106 ctr, max domain size 24
2.89/1.58	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.89/1.58	c (1,1) CSPinCNF Propagation Begin
3.19/1.63	c (1,1) 74 values, 212 unsatisfiable literals, and 351 valid clauses are removed
3.19/1.63	c (1,1) CSPinCNF Propagation End
3.19/1.63	c (1,1) CSP: 118 int (94 aux), 682 bool (681 aux), 1755 ctr, max domain size 24
3.19/1.63	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.19/1.63	c (1,1) Simplify CSPinCNF Begin
3.19/1.68	c (1,1) Simplify CSPinCNF End
3.19/1.68	c (1,1) CSP: 118 int (94 aux), 1416 bool (1415 aux), 2489 ctr, max domain size 24
3.19/1.68	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.19/1.68	c (1,1) Calculate Precise Domain Begin
3.19/1.68	c (1,1) 0 values are removed by re-calculation
3.19/1.68	c (1,1) Calculate Precise Domain End
3.19/1.68	c (1,1) CSP: 118 int (94 aux), 1416 bool (1415 aux), 2489 ctr, max domain size 24
3.19/1.68	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.19/1.68	c (1,1) CSPinCNF to SatSolver Begin
3.78/1.86	c (1,1) 249 (10 %) CSP clauses are encoded (0 SAT variables, 3767 SAT clauses)
4.09/1.93	c (1,1) 498 (20 %) CSP clauses are encoded (0 SAT variables, 7834 SAT clauses)
4.09/1.99	c (1,1) 747 (30 %) CSP clauses are encoded (0 SAT variables, 11901 SAT clauses)
4.09/2.01	c (1,1) 996 (40 %) CSP clauses are encoded (0 SAT variables, 13415 SAT clauses)
4.47/2.01	c (1,1) 1245 (50 %) CSP clauses are encoded (0 SAT variables, 13664 SAT clauses)
4.47/2.02	c (1,1) 1494 (60 %) CSP clauses are encoded (0 SAT variables, 13913 SAT clauses)
4.47/2.03	c (1,1) 1743 (70 %) CSP clauses are encoded (0 SAT variables, 14162 SAT clauses)
4.47/2.04	c (1,1) 1992 (80 %) CSP clauses are encoded (0 SAT variables, 14781 SAT clauses)
4.47/2.06	c (1,1) 2241 (90 %) CSP clauses are encoded (0 SAT variables, 16327 SAT clauses)
4.47/2.08	c (1,1) 2489 (100 %) CSP clauses are encoded (0 SAT variables, 17858 SAT clauses)
4.47/2.08	c (1,1) CSPinCNF to SatSolver End
4.47/2.08	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.47/2.08	c (1,1) 2232 bool, 17859 clause
4.47/2.08	c (1,1) Export Begin
4.78/2.17	c (1,1) Export to HOME/scop-13955-serial-file.bin
4.78/2.17	c (1,1) Export End
4.78/2.17	c (1,1) Export File Size: 0.01 MB
4.78/2.17	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
4.78/2.17	c END-Prog: Thu Sep 12 15:49:18 CEST 2019
4.78/2.19	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13955-serial-file.bin
5.00/2.65	c (0,0) Read Serial File Begin
5.00/2.65	c (0,0) HOME/scop-13955-serial-file.bin
5.00/2.85	c (0,0) Read Serial File End
5.00/2.86	
5.00/2.86	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
5.00/2.86	(Solving Process)
5.00/2.86	
5.00/2.88	c BEGIN-Prog: Thu Sep 12 15:49:19 CEST 2019
5.00/2.88	c PID: 13973
5.00/2.88	c IP: 172.20.3.147
5.00/2.88	c HOST: node147.alineos.net
5.00/2.89	c (0,0) SatSolver.solve Begin
5.00/2.89	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388151-1568296199.xml-scop-13958.cnf
5.00/2.92	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.00/2.92	c (0,0) c glueminisat-simp-2.2.10-193oa-n
5.00/2.92	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388151-1568296199.xml-scop-13958.cnf 
5.00/2.92	c (0,0) c Options:
5.00/2.92	c (0,0) c CORE
5.00/2.92	c (0,0) c  var_decay             = 0.950
5.00/2.92	c (0,0) c  clause_decay          = 0.999
5.00/2.92	c (0,0) c  random_var_freq       = 0.000
5.00/2.92	c (0,0) c  random_seed           = 91648253.000
5.00/2.92	c (0,0) c  luby_restart          = 1
5.00/2.92	c (0,0) c  ccmin_mode            = 2
5.00/2.92	c (0,0) c  phase_saving          = 2
5.00/2.92	c (0,0) c  rnd_pol               = 0
5.00/2.92	c (0,0) c  rnd_init_act          = 0
5.00/2.92	c (0,0) c  garbage_frac          = 0.200
5.00/2.92	c (0,0) c  restart_first         = 1000
5.00/2.92	c (0,0) c  restart_inc           = 2.000
5.00/2.92	c (0,0) c MODEL
5.00/2.92	c (0,0) c  partial_model         = 0
5.00/2.92	c (0,0) c PROPAGATION
5.00/2.92	c (0,0) c  bin_propagation       = 1
5.00/2.92	c (0,0) c SIMPLIFICATION
5.00/2.92	c (0,0) c  lrn_min_size          = 100
5.00/2.92	c (0,0) c  lazy_simp             = 1
5.00/2.92	c (0,0) c  lazy_interval         = 10
5.00/2.92	c (0,0) c  lazy_fld_probing      = 1
5.00/2.92	c (0,0) c  lazy_pol_probing      = 1
5.00/2.92	c (0,0) c  lazy_nec_probing      = 1
5.00/2.92	c (0,0) c  lazy_eqv_probing      = 1
5.00/2.92	c (0,0) c  lazy_cla_probing      = 1
5.00/2.92	c (0,0) c  lazy_lrn_min          = 2
5.00/2.92	c (0,0) c  lazy_uw_lit_elim      = 1
5.00/2.92	c (0,0) c  lazy_pr_lit_elim      = 0
5.00/2.92	c (0,0) c  lazy_bin_add          = 3
5.00/2.92	c (0,0) c  probed_lit_chain      = 1
5.00/2.92	c (0,0) c  pr_min_lits           = 0.00020
5.00/2.92	c (0,0) c  pr_min_starts         = 500
5.00/2.92	c (0,0) c  rw_min_lits           = 0.010
5.00/2.92	c (0,0) c  rw_min_starts         = 500
5.00/2.92	c (0,0) c  rand_attach           = 0
5.00/2.92	c (0,0) c  dec_elim              = 1
5.00/2.92	c (0,0) c  dec_elim_lim          = 25
5.00/2.92	c (0,0) c  dec_elim_len          = -1
5.00/2.92	c (0,0) c  amo                   = 0
5.00/2.92	c (0,0) c  amo_grp               = 1
5.00/2.92	c (0,0) c  amo_max_bins          = 1000000
5.00/2.92	c (0,0) c  amo_starts            = 50
5.00/2.92	c (0,0) c  mace_cmd              = mace
5.00/2.92	c (0,0) c DECISION
5.00/2.92	c (0,0) c  rand_rebuild          = 0
5.00/2.92	c (0,0) c  rand_rebuild_confs    = 10000
5.00/2.92	c (0,0) c  inc_var_decay         = 1
5.00/2.92	c (0,0) c  inc_var_decay_period  = 100000
5.00/2.92	c (0,0) c  inc_var_decay_init    = 0.600
5.00/2.92	c (0,0) c  var_decay_mode        = 0
5.00/2.92	c (0,0) c  var_decay_gain        = 0
5.00/2.92	c (0,0) c  sloped_var_decay      = 1
5.00/2.92	c (0,0) c  max_var_decay         = 0.990
5.00/2.92	c (0,0) c  min_var_decay         = 0.950
5.00/2.92	c (0,0) c  min_var_decay_vars    = 10000
5.00/2.92	c (0,0) c  max_var_decay_vars    = 500
5.00/2.92	c (0,0) c  uip_bumping           = 1
5.00/2.92	c (0,0) c  lbd_act_bumping       = 1
5.00/2.92	c (0,0) c  rand_tiebreak         = 0
5.00/2.92	c (0,0) c  simp_rebuild          = 1
5.00/2.92	c (0,0) c RESTART
5.00/2.92	c (0,0) c  restart_strategy      = 2
5.00/2.92	c (0,0) c  restart_blocking      = 0
5.00/2.92	c (0,0) c  agility_decay         = 0.99990
5.00/2.92	c (0,0) c  lbd_restart_rate      = 0.800
5.00/2.92	c (0,0) c  dec_restart_rate      = 0.950
5.00/2.92	c (0,0) c  blk_restart_rate      = 0.700
5.00/2.92	c (0,0) c  lbd_queue_size        = 50
5.00/2.92	c (0,0) c  dec_queue_size        = 50
5.00/2.92	c (0,0) c  trl_queue_size        = 5000
5.00/2.92	c (0,0) c  blk_restart_weight    = 1.000
5.00/2.92	c (0,0) c  inc_rst_rate          = 0
5.00/2.92	c (0,0) c  inc_rst_rate_period   = 500000
5.00/2.92	c (0,0) c  inc_lbd_rst_rate_init = 0.600
5.00/2.92	c (0,0) c  inc_dec_rst_rate_init = 0.750
5.00/2.92	c (0,0) c REDUCTION
5.00/2.92	c (0,0) c  closed_lbd            = 0
5.00/2.92	c (0,0) c  closed_lbd_rate       = 0.500
5.00/2.92	c (0,0) c  rm_simulate           = 0
5.00/2.92	c (0,0) c  rdb_eval              = 2
5.00/2.92	c (0,0) c  rdb_call              = 3
5.00/2.92	c (0,0) c  rdb_ub                = 0.500
5.00/2.92	c (0,0) c  core_lbd_cvr          = 0.800
5.00/2.92	c (0,0) c  supp_lbd_cvr          = 0.990
5.00/2.92	c (0,0) c  core_lbd_lb           = 2
5.00/2.92	c (0,0) c  supp_lbd_lb           = 2
5.00/2.92	c (0,0) c  core_lbd_prd          = 7
5.00/2.92	c (0,0) c  supp_lbd_prd          = 1
5.00/2.92	c (0,0) c  othr_lbd_prd          = 0
5.00/2.92	c (0,0) c  inc_lrn_limit         = 1000
5.00/2.92	c (0,0) c  frozen_lbd            = 30
5.00/2.92	c (0,0) c  simp_min_starts       = 100
5.00/2.92	c (0,0) c  rm_low_act_learnts    = 1
5.00/2.92	c (0,0) c  lv0_reduce_db         = 0
5.00/2.92	c (0,0) c  reduce_db_base        = 20000
5.00/2.92	c (0,0) c  reduce_db_inc         = 1000
5.00/2.92	c (0,0) c HARD
5.00/2.92	c (0,0) c  inst_check            = 200000
5.00/2.92	c (0,0) c  small_block           = 1.750
5.00/2.92	c (0,0) c  slow_restart_speed    = 400.000
5.00/2.92	c (0,0) c  slow_restart_strategy = 3
5.00/2.92	c (0,0) c  slow_lbd_restart_rate = 0.700
5.00/2.92	c (0,0) c  slow_dec_restart_rate = 1.000
5.00/2.92	c (0,0) c  slow_lbd_queue_size   = 50
5.00/2.92	c (0,0) c  slow_var_decay        = 0.950
5.00/2.92	c (0,0) c  slow_glue_threshold   = 2
5.00/2.92	c (0,0) c  slow_phase_saving     = 2
5.00/2.92	c (0,0) c  fast_restart_speed    = 125.000
5.00/2.92	c (0,0) c  fast_restart_strategy = 1
5.00/2.92	c (0,0) c  fast_lbd_restart_rate = 0.800
5.00/2.92	c (0,0) c  fast_dec_restart_rate = 0.950
5.00/2.92	c (0,0) c  fast_lbd_queue_size   = 50
5.00/2.92	c (0,0) c  fast_var_decay        = 1.000
5.00/2.92	c (0,0) c  fast_glue_threshold   = 2
5.00/2.92	c (0,0) c  fast_phase_saving     = 2
5.00/2.92	c (0,0) c STATS
5.00/2.92	c (0,0) c  stats_conf_size       = 10000
5.00/2.92	c (0,0) c  max_stats_size        = 30
5.00/2.92	c (0,0) c SOLVER
5.00/2.92	c (0,0) c  minisat               = 0
5.00/2.92	c (0,0) c Problem: 2232 variables, 17859 clauses, parsing 0.01 s
5.00/2.93	c (0,0) c  reduced to 1791 variables, 17395 clauses (grow = 0)
5.00/2.93	c (0,0) c  exclude 113 (6.3%) variables from decision variables (last cost 25)
5.00/2.93	c (0,0) c Simplification: 554 vars, 464 clauses are eliminated using 0.02 s
5.00/2.93	c (0,0) c
5.00/2.93	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
5.00/2.93	c (0,0) c
5.00/2.93	c (0,0) c    0         0         0     1678    17395        0   -nan  -nan  -nan -nan%
5.00/2.94	c (0,0) c    0         1       100     1615    17395       99   11.8   5.6  22.8 45.0%
5.00/2.94	c (0,0) c    0         1       220     1621    17395      219   14.4   5.8  21.0 49.9%
5.00/2.95	c (0,0) c    0         1       364     1624    17395      364   16.1   5.7  20.0 51.7%
5.00/2.95	c (0,0) c    0         1       536     1632    17395      536   16.4   5.5  19.4 53.4%
5.00/2.96	c (0,0) c    0         1       743     1636    17395      746   16.5   5.2  18.7 54.1%
5.00/2.97	c (0,0) c    0 p       2       861     1628    17395      867   15.5   5.1  18.0 51.5%
5.00/2.97	c (0,0) c    0         2       991     1632    17395      999   14.9   5.2  18.0 50.9%
5.00/2.98	c (0,0) c    0 p       3      1256     1634    17395     1268   14.3   5.2  17.8 49.2%
5.00/2.98	c (0,0) c    0         3      1289     1635    17395     1301   14.2   5.2  17.8 49.2%
5.00/3.00	c (0,0) c    0         4      1647     1642    17395     1659   13.7   5.2  17.2 49.1%
6.23/3.03	c (0,0) c    0         4      2076     1648    17395     2088   14.2   5.1  16.3 49.6%
6.23/3.05	c (0,0) c    0         4      2591     1659    17395     2603   14.0   5.1  15.8 49.5%
6.23/3.07	c (0,0) c    0         7      3210     1660    17395     3223   14.0   5.2  15.5 49.2%
6.23/3.10	c (0,0) c    0        10      3953     1667    17395     3972   13.5   5.2  15.7 47.6%
6.34/3.11	c (0,0) c    0 p      11      4059     1627    17395     4079   13.5   5.3  15.7 47.6%
6.34/3.14	c (0,0) c
6.34/3.14	c (0,0) c   variables         : 1630        (init 2232, after simp 1678, 36 non-decs, 115 csp)
6.34/3.14	c (0,0) c   clauses           : 17395       (init 17859, after simp 17395)
6.34/3.14	c (0,0) c   restarts          : 11          (403.67 confs/res, 50~1561 confs, 0 blks, 0 last)
6.34/3.14	c (0,0) c   conflicts         : 4844        (22270 /sec, 54.34% dconfs, 0.00% supp, trail 68.15w x 15.24h, jmp 1.49h)
6.34/3.14	c (0,0) c   decisions         : 7403        (0.6100 vdcy, 34035 /sec, 0.00% bin, rs 0.000 s)
6.34/3.14	c (0,0) c   propagations      : 783953      (3604216 /sec, 105.90 lits/dec, 16.32% o.a.)
6.34/3.14	c (0,0) c   conflict literals : 82524       (17.41% deleted; 1.08% by bin min, 0.002 s)
6.34/3.15	c (0,0) c   len               : 13.834      (13.89 for all, max 74, used 74)
6.34/3.15	c (0,0) c   lbd               : 5.188       (6.35 (5.20) for all, max 22, used 19, 1.815 stdev, 2.186 blk)
6.34/3.15	c (0,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
6.34/3.15	c (0,0) c   simp dbs          : 1           (0.000 s)
6.34/3.15	c (0,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
6.34/3.15	c (0,0) c   learnts           : 4866        (0 learnts removed, 0.00%)
6.34/3.15	c (0,0) c   rewrite dbs       : 0           (0/1 vars, 0+0 taut, 0+0 unit, 0.000 s)
6.34/3.15	c (0,0) c   assigned lits     : 3           (37/47 probed, 0 remains)
6.34/3.15	c (0,0) c   premise updates   : 33090       (9.86 /lit)
6.34/3.15	c (0,0) c   probed variables  : 47          (4 pr, 0 eq, 31 fld, 8 pol, 0 nec, 4 cla, 0 amo)
6.34/3.15	c (0,0) c   equiv variables   : 1           (1 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
6.34/3.15	c (0,0) c   lazy added bins   : 26          (26 prop + 0 conf, 0.002s)
6.34/3.15	c (0,0) c   unwatched lit elim: 547         (0.04+0.64%, 21+526 of 49131+82524)
6.34/3.15	c (0,0) c   classified type   : undef
6.34/3.15	c (0,0) c   progress          : 7.124 %
6.34/3.15	c (0,0) c
6.34/3.15	c (0,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
6.34/3.15	c (0,0) c
6.34/3.15	c (0,0) c    0        12      4844     1630    17395     4866   13.8   5.2  15.2 47.7%
6.34/3.20	c (0,0) c    0        14      5913     1631    17395     5937   14.0   5.1  15.0 47.5%
6.43/3.27	c (0,0) c    0        18      7196     1635    17395     7229   14.4   5.2  15.2 47.9%
6.53/3.30	c (0,0) c    0 p      21      7740     1624    17395     7774   14.4   5.2  15.3 47.9%
6.53/3.36	c (0,0) c    0        24      8736     1624    17395     8772   14.6   5.3  15.2 47.9%
6.63/3.43	c (0,0) c    0 p      31      9883     1625    17395     9922   14.8   5.3  15.2 48.2%
6.63/3.47	c (0,0) c    0        33     10584     1625    17395    10624   14.8   5.4  14.9 48.0%
6.73/3.60	c (1,0) c    0        36     12802     1625    17395    12847   14.6   5.3  14.6 46.6%
6.83/3.62	c (1,0) c    0 p      41     13188     1624    17395    13234   14.7   5.4  14.6 46.7%
6.83/3.68	c (1,0) c    0 p      45     14198     1622    17395    14247   14.6   5.4  14.6 46.9%
6.93/3.77	c (1,0) c    0        53     15464     1622    17395    15514   14.7   5.4  15.1 47.2%
7.24/4.01	c (1,0) c    1        64     18658     1621    17395    18723   15.1   5.5  14.7 47.5%
7.24/4.10	c (1,0) c    1 p      71     19866     1617    17395    19931   15.1   5.6  14.4 46.8%
7.34/4.11	c (1,0) c    1 r      71     20002     1617    17395    20067   15.1   5.6  14.3 46.8%
7.34/4.11	c (1,0) c
7.34/4.11	c (1,0) c R [LBD Statistics #1]
7.34/4.11	c (1,0) c R LBD         used lbd               used clause lbd
7.34/4.11	c (1,0) c R  tot      169238                   20067
7.34/4.11	c (1,0) c R  avg       2.453                   5.552
7.34/4.13	c (1,0) c R   1        15666 ( 9.3/ 9.3%)        444 ( 2.2/ 2.2%)
7.34/4.13	c (1,0) c R   2       115512 (68.3/77.5%)       4031 (20.1/22.3%)
7.34/4.13	c (1,0) c R   3        16962 (10.0/87.5%)       2008 (10.0/32.3%)
7.34/4.13	c (1,0) c R
7.34/4.13	c (1,0) c R core_lbd_threshold = 3
7.34/4.13	c (1,0) c R supp_lbd_threshold = 9
7.34/4.13	c (1,0) c R
7.34/4.13	c (1,0) c R [RDB Statistics #1]
7.34/4.13	c (1,0) c R kept: lbd      =    6406 (31.9/31.9%)
7.34/4.13	c (1,0) c R kept: ttl      =   13574 (67.6/99.6%)
7.34/4.13	c (1,0) c R kept: locked   =      87 ( 0.4/100.0%)
7.34/4.13	c (1,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
7.34/4.13	c (1,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
7.34/4.13	c (1,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
7.34/4.13	c (1,0) c
7.34/4.13	c (1,0) c    1 R      71     20002     1617    17395    20067   15.1   5.6  14.3 46.8%
7.45/4.25	c (1,0) c    1 p      78     21647     1613    17395    21715   15.2   5.6  14.3 46.9%
7.45/4.28	c (1,0) c
7.45/4.28	c (1,0) c   variables         : 1601        (init 2232, after simp 1678, 26 non-decs, 115 csp)
7.45/4.28	c (1,0) c   clauses           : 17395       (init 17859, after simp 17395)
7.45/4.28	c (1,0) c   restarts          : 80          (271.72 confs/res, 50~1561 confs, 0 blks, 0 last)
7.45/4.28	c (1,0) c   conflicts         : 22009       (16679 /sec, 52.85% dconfs, 0.00% supp, trail 67.09w x 14.69h, jmp 1.39h)
7.45/4.28	c (1,0) c   decisions         : 31778       (0.6800 vdcy, 24082 /sec, 0.00% bin, rs 0.000 s)
7.45/4.28	c (1,0) c   propagations      : 3953400     (2995990 /sec, 124.41 lits/dec, 16.62% o.a.)
7.45/4.28	c (1,0) c   conflict literals : 444543      (23.20% deleted; 1.54% by bin min, 0.006 s)
7.45/4.28	c (1,0) c   len               : 15.161      (15.20 for all, max 74, used 74)
7.45/4.28	c (1,0) c   lbd               : 5.568       (6.92 (5.58) for all, max 22, used 19, 1.437 stdev, 2.197 blk)
7.45/4.28	c (1,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
7.45/4.28	c (1,0) c   simp dbs          : 1           (0.000 s)
7.45/4.28	c (1,0) c   reduce dbs        : 1           (core-lbd 3, supp-lbd 9, 0.001 s)
7.45/4.28	c (1,0) c   learnts           : 22077       (0 learnts removed, 0.00%)
7.45/4.28	c (1,0) c   rewrite dbs       : 0           (0/4 vars, 0+0 taut, 0+0 unit, 0.000 s)
7.45/4.28	c (1,0) c   assigned lits     : 10          (61/73 probed, 0 remains)
7.45/4.28	c (1,0) c   premise updates   : 114815      (34.21 /lit)
7.45/4.28	c (1,0) c   probed variables  : 73          (4 pr, 0 eq, 43 fld, 18 pol, 0 nec, 8 cla, 0 amo)
7.45/4.28	c (1,0) c   equiv variables   : 4           (2 bin, 1 trn, 0 quat, 0 quin, 0 othr; 0 amo)
7.45/4.28	c (1,0) c   lazy added bins   : 85          (85 prop + 0 conf, 0.007s)
7.45/4.28	c (1,0) c   unwatched lit elim: 2991        (0.10+0.66%, 47+2944 of 49131+444543)
7.45/4.28	c (1,0) c   classified type   : undef
7.45/4.28	c (1,0) c   progress          : 9.292 %
7.45/4.28	c (1,0) c
7.45/4.28	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
7.45/4.28	c (1,0) c
7.45/4.28	c (1,0) c    1 p      81     22009     1601    17395    22077   15.2   5.6  14.3 47.0%
7.55/4.32	c (1,0) c    1        81     22491     1492    17395    22561   15.2   5.5  14.4 47.1%
7.75/4.55	c (1,0) c    1 p      82     24924     1489    17395    25006   15.1   5.5  12.9 48.6%
7.85/4.61	c (2,0) c    1 r      84     25500     1489    17395    25586   15.1   5.5  12.9 48.4%
7.85/4.61	c (2,0) c
7.85/4.61	c (2,0) c R [LBD Statistics #2]
7.85/4.61	c (2,0) c R LBD         used lbd               used clause lbd
7.85/4.61	c (2,0) c R  tot      258774                   25586
7.85/4.61	c (2,0) c R  avg       2.385                   5.477
7.85/4.61	c (2,0) c R   1        25006 ( 9.7/ 9.7%)        607 ( 2.4/ 2.4%)
7.85/4.61	c (2,0) c R   2       181664 (70.2/79.9%)       5187 (20.3/22.6%)
7.85/4.61	c (2,0) c R   3        23575 ( 9.1/89.0%)       2589 (10.1/32.8%)
7.85/4.61	c (2,0) c R
7.85/4.61	c (2,0) c R core_lbd_threshold = 3
7.85/4.61	c (2,0) c R supp_lbd_threshold = 8
7.85/4.61	c (2,0) c R
7.85/4.61	c (2,0) c R [RDB Statistics #2]
7.85/4.61	c (2,0) c R kept: lbd      =    8324 (32.5/32.5%)
7.85/4.61	c (2,0) c R kept: ttl      =    3828 (15.0/47.5%)
7.85/4.61	c (2,0) c R kept: locked   =      62 ( 0.2/47.7%)
7.85/4.61	c (2,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
7.85/4.61	c (2,0) c R lost: ttl      =   13372 (52.3/52.3%)
7.85/4.61	c (2,0) c R lost: subsumed =       0 ( 0.0/52.3%)
7.85/4.61	c (2,0) c
7.85/4.61	c (2,0) c    1 R      84     25500     1489    17395    12214   10.3   3.3  12.9 48.4%
7.85/4.67	c (2,0) c    1 p      85     26343     1486    17395    13062   10.5   3.4  12.4 48.0%
7.96/4.74	c (2,0) c    1        87     27091     1485    17395    13815   10.8   3.5  12.2 48.2%
7.96/4.76	c (2,0) c    1 p      88     27414     1483    17395    14140   10.9   3.5  12.1 48.2%
8.16/4.99	c (2,0) c    2        90     30016     1421    17395    16742   11.1   3.7  10.8 48.5%
8.16/4.99	c (2,0) c
8.16/4.99	c (2,0) c
8.16/4.99	c (2,0) c variables         : 1421        (init 2232, after simp 1678, 25 non-decs, 115 csp)
8.16/4.99	c (2,0) c clauses           : 17395       (init 17859, after simp 17395)
8.16/4.99	c (2,0) c restarts          : 89          (333.51 confs/res, 50~2915 confs, 0 blks, 0 last)
8.16/4.99	c (2,0) c conflicts         : 30016       (14925 /sec, 52.39% dconfs, 0.00% supp, trail 73.09w x 13.47h, jmp 1.37h)
8.16/4.99	c (2,0) c decisions         : 42355       (0.7100 vdcy, 21061 /sec, 0.00% bin, rs 0.000 s)
8.16/4.99	c (2,0) c propagations      : 5788555     (2878304 /sec, 136.67 lits/dec, 16.81% o.a.)
8.16/4.99	c (2,0) c conflict literals : 627207      (26.93% deleted; 1.68% by bin min, 0.008 s)
8.16/4.99	c (2,0) c len               : 11.142      (14.92 for all, max 74, used 74)
8.16/4.99	c (2,0) c lbd               : 3.701       (6.78 (5.37) for all, max 25, used 25, 1.281 stdev, 2.201 blk)
8.16/4.99	c (2,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
8.16/4.99	c (2,0) c simp dbs          : 1           (0.000 s)
8.16/4.99	c (2,0) c reduce dbs        : 2           (core-lbd 3, supp-lbd 8, 0.004 s)
8.16/4.99	c (2,0) c learnts           : 16742       (13372 learnts removed, 44.55%)
8.16/4.99	c (2,0) c rewrite dbs       : 0           (0/6 vars, 0+0 taut, 0+0 unit, 0.000 s)
8.16/4.99	c (2,0) c assigned lits     : 13          (64/152 probed, 72 remains)
8.16/4.99	c (2,0) c premise updates   : 227163      (67.69 /lit)
8.16/4.99	c (2,0) c probed variables  : 152         (5 pr, 3 eq, 84 fld, 48 pol, 0 nec, 12 cla, 0 amo)
8.16/4.99	c (2,0) c equiv variables   : 6           (4 bin, 1 trn, 0 quat, 0 quin, 0 othr; 0 amo)
8.16/4.99	c (2,0) c lazy added bins   : 141         (141 prop + 0 conf, 0.009s)
8.16/4.99	c (2,0) c unwatched lit elim: 4575        (0.21+0.71%, 104+4471 of 49131+627207)
8.16/4.99	c (2,0) c classified type   : undef
8.16/4.99	c (2,0) c progress          : 19.536%
8.16/4.99	c (2,0) c
8.16/4.99	c (2,0) c [Statistics]
8.16/4.99	c (2,0) c             learnts len        learnts lbd        lit blk size       eq vars size
8.16/4.99	c (2,0) c  tot       30015              30015             203455                  5
8.16/4.99	c (2,0) c  avg      14.918              5.375              2.201              2.200
8.16/4.99	c (2,0) c   1           42 ( 0.1%)        806 ( 2.7%)     127627 (62.7%)          0 ( 0.0%)
8.16/4.99	c (2,0) c   2          175 ( 0.6%)       6151 (20.5%)      29669 (14.6%)          4 (80.0%)
8.16/4.99	c (2,0) c   3          500 ( 1.7%)       3015 (10.0%)      15011 ( 7.4%)          1 (20.0%)
8.16/4.99	c (2,0) c   4          955 ( 3.2%)       3306 (11.0%)       9344 ( 4.6%)          0 ( 0.0%)
8.16/4.99	c (2,0) c   5         1254 ( 4.2%)       3562 (11.9%)       5694 ( 2.8%)          0 ( 0.0%)
8.16/4.99	c (2,0) c   6         1559 ( 5.2%)       3339 (11.1%)       4174 ( 2.1%)          0 ( 0.0%)
8.16/4.99	c (2,0) c   7         1766 ( 5.9%)       2909 ( 9.7%)       2872 ( 1.4%)          0 ( 0.0%)
8.16/4.99	c (2,0) c   8         1833 ( 6.1%)       2256 ( 7.5%)       2096 ( 1.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c   9         1872 ( 6.2%)       1594 ( 5.3%)       1654 ( 0.8%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  10         1673 ( 5.6%)       1108 ( 3.7%)       1124 ( 0.6%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  11         1617 ( 5.4%)        787 ( 2.6%)        970 ( 0.5%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  12         1481 ( 4.9%)        489 ( 1.6%)        693 ( 0.3%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  13         1356 ( 4.5%)        312 ( 1.0%)        556 ( 0.3%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  14         1253 ( 4.2%)        196 ( 0.7%)        417 ( 0.2%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  15         1105 ( 3.7%)         90 ( 0.3%)        322 ( 0.2%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  16         1030 ( 3.4%)         56 ( 0.2%)        276 ( 0.1%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  17          995 ( 3.3%)         17 ( 0.1%)        200 ( 0.1%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  18          964 ( 3.2%)         11 ( 0.0%)        136 ( 0.1%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  19          839 ( 2.8%)          6 ( 0.0%)        106 ( 0.1%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  20          795 ( 2.6%)          2 ( 0.0%)         84 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  21          736 ( 2.5%)          2 ( 0.0%)         86 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  22          688 ( 2.3%)          1 ( 0.0%)         57 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  23          660 ( 2.2%)          0 ( 0.0%)         44 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  24          541 ( 1.8%)          0 ( 0.0%)         35 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  25          530 ( 1.8%)          0 ( 0.0%)         34 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  26          493 ( 1.6%)          0 ( 0.0%)         34 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  27          425 ( 1.4%)          0 ( 0.0%)         24 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  28          368 ( 1.2%)          0 ( 0.0%)         16 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  29          308 ( 1.0%)          0 ( 0.0%)         13 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c  30         2202 ( 7.3%)          0 ( 0.0%)         87 ( 0.0%)          0 ( 0.0%)
8.16/4.99	c (2,0) c
8.16/4.99	c (2,0) c [LBD Statistics]
8.16/4.99	c (2,0) c LBD          used lbd               used clause lbd         unused clause lbd
8.16/4.99	c (2,0) c  tot       347284                   16110                   14004
8.16/4.99	c (2,0) c  avg        2.325                   3.882                   7.072
8.16/4.99	c (2,0) c    1        34810 (10.0/10.0%)        764 ( 4.7/ 4.7%)          0 ( 0.0/ 0.0%)
8.16/4.99	c (2,0) c    2       249236 (71.8/81.8%)       6006 (37.3/42.0%)        286 ( 2.0/ 2.0%)
8.16/4.99	c (2,0) c    3        28896 ( 8.3/90.1%)       2314 (14.4/56.4%)        701 ( 5.0/ 7.0%)
8.16/4.99	c (2,0) c    4        14521 ( 4.2/94.3%)       1951 (12.1/68.5%)       1355 ( 9.7/16.7%)
8.16/4.99	c (2,0) c    5         8165 ( 2.4/96.6%)       1588 ( 9.9/78.4%)       1974 (14.1/30.8%)
8.16/4.99	c (2,0) c    6         4597 ( 1.3/98.0%)       1158 ( 7.2/85.5%)       2181 (15.6/46.4%)
8.16/4.99	c (2,0) c    7         2600 ( 0.7/98.7%)        843 ( 5.2/90.8%)       2066 (14.8/61.1%)
8.16/4.99	c (2,0) c    8         1776 ( 0.5/99.2%)        534 ( 3.3/94.1%)       1722 (12.3/73.4%)
8.16/4.99	c (2,0) c    9          951 ( 0.3/99.5%)        361 ( 2.2/96.3%)       1233 ( 8.8/82.2%)
8.16/4.99	c (2,0) c   10          689 ( 0.2/99.7%)        243 ( 1.5/97.8%)        865 ( 6.2/88.4%)
8.16/4.99	c (2,0) c   11          384 ( 0.1/99.8%)        134 ( 0.8/98.7%)        653 ( 4.7/93.1%)
8.16/4.99	c (2,0) c   12          255 ( 0.1/99.9%)         95 ( 0.6/99.3%)        394 ( 2.8/95.9%)
8.16/4.99	c (2,0) c   13          154 ( 0.0/99.9%)         53 ( 0.3/99.6%)        259 ( 1.8/97.8%)
8.16/4.99	c (2,0) c   14          136 ( 0.0/100.0%)         37 ( 0.2/99.8%)        159 ( 1.1/98.9%)
8.16/4.99	c (2,0) c   15           47 ( 0.0/100.0%)         14 ( 0.1/99.9%)         76 ( 0.5/99.4%)
8.16/4.99	c (2,0) c   16           34 ( 0.0/100.0%)         10 ( 0.1/100.0%)         46 ( 0.3/99.8%)
8.16/4.99	c (2,0) c   17            5 ( 0.0/100.0%)          2 ( 0.0/100.0%)         15 ( 0.1/99.9%)
8.16/4.99	c (2,0) c   18           24 ( 0.0/100.0%)          3 ( 0.0/100.0%)          8 ( 0.1/99.9%)
8.16/4.99	c (2,0) c   19            3 ( 0.0/100.0%)          0 ( 0.0/100.0%)          6 ( 0.0/100.0%)
8.16/4.99	c (2,0) c   20            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
8.16/4.99	c (2,0) c   21            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
8.16/4.99	c (2,0) c   22            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
8.16/4.99	c (2,0) c   23            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
8.16/4.99	c (2,0) c   24            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
8.16/4.99	c (2,0) c   25            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
8.16/4.99	c (2,0) c
8.16/4.99	c (2,0) c Memory used       : 22.00 MB
8.16/4.99	c (2,0) c CPU time          : 2.012 s
8.16/4.99	c (2,0) c Real time         : 2.080 s
8.16/4.99	c (2,0) c
8.16/4.99	c (2,0) s UNSATISFIABLE
8.16/4.99	c (2,0) SatSolver.solve End
8.16/4.99	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
8.16/4.99	c (2,0) Show results Begin
8.16/4.99	s UNSATISFIABLE
8.16/4.99	c (2,0) Show results End
8.16/4.99	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
8.16/5.00	c (2,0) 2,2,STOP-AFTER(ALL)
8.16/5.00	c END-Prog: Thu Sep 12 15:49:21 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388151-1568296199/watcher-4388151-1568296199 -o /tmp/evaluation-result-4388151-1568296199/solver-4388151-1568296199 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --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-4388151-1568296199.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=13955, runsolver pid=13952
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 2.01 2.09 2.39 3/234 13972
/proc/meminfo: memFree=21055900/32770624 swapFree=66957008/67108860
[pid=13955] ppid=13952 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (scop.sh) S 13952 13955 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405533775 115843072 349 33554432000 4194304 5098028 140734175081360 140734175078616 139668909081212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26320896 140734175089448 140734175089776 140734175089776 140734175092685 0
/proc/13955/statm: 28282 349 296 221 0 87 0
[pid=13958] ppid=13955 vsize=15012696 memory=72184 CPUtime=0.11 cores=0,2,4,6
/proc/13958/stat : 13958 (java) S 13955 13955 8853 0 -1 1077944320 6297 0 0 0 9 2 0 0 20 0 15 0 405533776 15373000704 18046 33554432000 4194304 4196468 140732302392096 140732302374640 140082580745975 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
/proc/13958/statm: 3753174 18046 2905 1 0 3715579 0
[pid=13958/tid=13959] ppid=13955 vsize=15012696 memory=-6509527495307739079 CPUtime=0.09 cores=0,2,4,6
/proc/13958/task/13959/stat : 13959 (java) R 13955 13955 8853 0 -1 4202560 4196 0 0 0 7 2 0 0 20 0 15 0 405533776 15373000704 18111 33554432000 4194304 4196468 140732302392096 140082552539880 140082561021724 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13960] ppid=13955 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13960/stat : 13960 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 18111 33554432000 4194304 4196468 140732302392096 140082584988048 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13961] ppid=13955 vsize=15012696 memory=139802909021824 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13961/stat : 13961 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 18111 33554432000 4194304 4196468 140732302392096 140082376071440 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13962] ppid=13955 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13962/stat : 13962 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 18111 33554432000 4194304 4196468 140732302392096 140082375019152 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13963] ppid=13955 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13963/stat : 13963 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 18111 33554432000 4194304 4196468 140732302392096 140082373966352 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13964] ppid=13955 vsize=15012696 memory=139802909021824 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13964/stat : 13964 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533779 15373000704 18177 33554432000 4194304 4196468 140732302392096 140081349843568 140082580757122 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13965] ppid=13955 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13965/stat : 13965 (java) S 13955 13955 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405533780 15373000704 18177 33554432000 4194304 4196468 140732302392096 140081230767392 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13966] ppid=13955 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13966/stat : 13966 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533780 15373000704 18177 33554432000 4194304 4196468 140732302392096 140080962332272 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13967] ppid=13955 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13967/stat : 13967 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405533782 15373000704 18177 33554432000 4194304 4196468 140732302392096 140080587823696 140082580764571 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13968] ppid=13955 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13968/stat : 13968 (java) S 13955 13955 8853 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 405533782 15373000704 18177 33554432000 4194304 4196468 140732302392096 140081348790384 140082580757122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13969] ppid=13955 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13969/stat : 13969 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405533782 15373000704 18177 33554432000 4194304 4196468 140732302392096 140081347737584 140082580757122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13970] ppid=13955 vsize=15012696 memory=139802909021824 CPUtime=0.01 cores=0,2,4,6
/proc/13958/task/13970/stat : 13970 (java) R 13955 13955 8853 0 -1 4202560 405 0 0 0 1 0 0 0 20 0 15 0 405533782 15373000704 18177 33554432000 4194304 4196468 140732302392096 140081346682200 140082559687443 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13971] ppid=13955 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13971/stat : 13971 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405533782 15373000704 18177 33554432000 4194304 4196468 140732302392096 140080089917920 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13972] ppid=13955 vsize=15012696 memory=139802909021824 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13972/stat : 13972 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533783 15373000704 18177 33554432000 4194304 4196468 140732302392096 140081345633200 140082580757122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73580 KiB

[startup+0.210684 s]*
/proc/loadavg: 2.01 2.09 2.39 3/234 13972
/proc/meminfo: memFree=21036920/32770624 swapFree=66957008/67108860
[pid=13955] ppid=13952 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (scop.sh) S 13952 13955 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405533775 115843072 349 33554432000 4194304 5098028 140734175081360 140734175078616 139668909081212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26320896 140734175089448 140734175089776 140734175089776 140734175092685 0
/proc/13955/statm: 28282 349 296 221 0 87 0
[pid=13958] ppid=13955 vsize=15012696 memory=87808 CPUtime=0.25 cores=0,2,4,6
/proc/13958/stat : 13958 (java) S 13955 13955 8853 0 -1 1077944320 11522 0 0 0 21 4 0 0 20 0 15 0 405533776 15373000704 21952 33554432000 4194304 4196468 140732302392096 140732302374640 140082580745975 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
/proc/13958/statm: 3753174 21952 2917 1 0 3715579 0
[pid=13958/tid=13959] ppid=13955 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/13958/task/13959/stat : 13959 (java) R 13955 13955 8853 0 -1 4202560 9288 0 0 0 17 3 0 0 20 0 15 0 405533776 15373000704 21952 33554432000 4194304 4196468 140732302392096 140082552565216 140082580767901 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13960] ppid=13955 vsize=15012696 memory=364 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13960/stat : 13960 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 21952 33554432000 4194304 4196468 140732302392096 140082584988048 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13961] ppid=13955 vsize=15012696 memory=288370179060733568 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13961/stat : 13961 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 21952 33554432000 4194304 4196468 140732302392096 140082376071440 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13962] ppid=13955 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13962/stat : 13962 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 21952 33554432000 4194304 4196468 140732302392096 140082375019152 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13963] ppid=13955 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13963/stat : 13963 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 21952 33554432000 4194304 4196468 140732302392096 140082373966352 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13964] ppid=13955 vsize=15012696 memory=139802909021824 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13964/stat : 13964 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533779 15373000704 21952 33554432000 4194304 4196468 140732302392096 140081349843568 140082580757122 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13965] ppid=13955 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13965/stat : 13965 (java) S 13955 13955 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405533780 15373000704 21952 33554432000 4194304 4196468 140732302392096 140081230767392 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13966] ppid=13955 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13966/stat : 13966 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533780 15373000704 21952 33554432000 4194304 4196468 140732302392096 140080962332272 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13967] ppid=13955 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13967/stat : 13967 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405533782 15373000704 21952 33554432000 4194304 4196468 140732302392096 140080587823696 140082580764571 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13968] ppid=13955 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13968/stat : 13968 (java) S 13955 13955 8853 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 405533782 15373000704 21952 33554432000 4194304 4196468 140732302392096 140081348790384 140082580757122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13969] ppid=13955 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13969/stat : 13969 (java) R 13955 13955 8853 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405533782 15373000704 21952 33554432000 4194304 4196468 140732302392096 140081347737584 140082580757122 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13970] ppid=13955 vsize=15012696 memory=139802909021824 CPUtime=0.02 cores=0,2,4,6
/proc/13958/task/13970/stat : 13970 (java) S 13955 13955 8853 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 15 0 405533782 15373000704 21952 33554432000 4194304 4196468 140732302392096 140081346685296 140082580757122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13971] ppid=13955 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13971/stat : 13971 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405533782 15373000704 21952 33554432000 4194304 4196468 140732302392096 140080089917920 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13972] ppid=13955 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13972/stat : 13972 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533783 15373000704 21952 33554432000 4194304 4196468 140732302392096 140081345633200 140082580757122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89204 KiB

[startup+0.310532 s]*
/proc/loadavg: 2.01 2.09 2.39 3/234 13972
/proc/meminfo: memFree=21033104/32770624 swapFree=66957008/67108860
[pid=13955] ppid=13952 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (scop.sh) S 13952 13955 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405533775 115843072 349 33554432000 4194304 5098028 140734175081360 140734175078616 139668909081212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26320896 140734175089448 140734175089776 140734175089776 140734175092685 0
/proc/13955/statm: 28282 349 296 221 0 87 0
[pid=13958] ppid=13955 vsize=15012696 memory=92280 CPUtime=0.43 cores=0,2,4,6
/proc/13958/stat : 13958 (java) S 13955 13955 8853 0 -1 1077944320 12019 0 0 0 39 4 0 0 20 0 15 0 405533776 15373000704 23070 33554432000 4194304 4196468 140732302392096 140732302374640 140082580745975 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
/proc/13958/statm: 3753174 23070 3076 1 0 3715579 0
[pid=13958/tid=13959] ppid=13955 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/13958/task/13959/stat : 13959 (java) R 13955 13955 8853 0 -1 4202560 9609 0 0 0 26 3 0 0 20 0 15 0 405533776 15373000704 23070 33554432000 4194304 4196468 140732302392096 140082552576048 140082561021170 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13960] ppid=13955 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13960/stat : 13960 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 23070 33554432000 4194304 4196468 140732302392096 140082584988048 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13961] ppid=13955 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13961/stat : 13961 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 23070 33554432000 4194304 4196468 140732302392096 140082376071440 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13962] ppid=13955 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13962/stat : 13962 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 23070 33554432000 4194304 4196468 140732302392096 140082375019152 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13963] ppid=13955 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13963/stat : 13963 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533778 15373000704 23070 33554432000 4194304 4196468 140732302392096 140082373966352 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13964] ppid=13955 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13964/stat : 13964 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533779 15373000704 23070 33554432000 4194304 4196468 140732302392096 140081349843568 140082580757122 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13965] ppid=13955 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13965/stat : 13965 (java) S 13955 13955 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405533780 15373000704 23070 33554432000 4194304 4196468 140732302392096 140081230767392 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13966] ppid=13955 vsize=15012696 memory=4426089072227881875 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13966/stat : 13966 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533780 15373000704 23070 33554432000 4194304 4196468 140732302392096 140080962332272 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13967] ppid=13955 vsize=15012696 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13967/stat : 13967 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405533782 15373000704 23070 33554432000 4194304 4196468 140732302392096 140080587823696 140082580764571 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13968] ppid=13955 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13958/task/13968/stat : 13968 (java) S 13955 13955 8853 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 405533782 15373000704 23070 33554432000 4194304 4196468 140732302392096 140081348790384 140082580757122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13969] ppid=13955 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13958/task/13969/stat : 13969 (java) S 13955 13955 8853 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 405533782 15373000704 23070 33554432000 4194304 4196468 140732302392096 140081347737584 140082580757122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13970] ppid=13955 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13958/task/13970/stat : 13970 (java) S 13955 13955 8853 0 -1 1077944384 464 0 0 0 7 0 0 0 20 0 15 0 405533782 15373000704 23070 33554432000 4194304 4196468 140732302392096 140081346685296 140082580757122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13971] ppid=13955 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13971/stat : 13971 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405533782 15373000704 23070 33554432000 4194304 4196468 140732302392096 140080089917920 140082580756181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13972] ppid=13955 vsize=15012696 memory=4123102853431571504 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13972/stat : 13972 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533783 15373000704 23070 33554432000 4194304 4196468 140732302392096 140081345633200 140082580757122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93676 KiB

[startup+0.700735 s]
/proc/loadavg: 2.01 2.09 2.39 3/234 13972
/proc/meminfo: memFree=21011872/32770624 swapFree=66957008/67108860
[pid=13955] ppid=13952 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (scop.sh) S 13952 13955 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405533775 115843072 349 33554432000 4194304 5098028 140734175081360 140734175078616 139668909081212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26320896 140734175089448 140734175089776 140734175089776 140734175092685 0
/proc/13955/statm: 28282 349 296 221 0 87 0
[pid=13958] ppid=13955 vsize=15021092 memory=130260 CPUtime=0.99 cores=0,2,4,6
/proc/13958/stat : 13958 (java) S 13955 13955 8853 0 -1 1077944320 19766 0 0 0 93 6 0 0 20 0 15 0 405533776 15381598208 32565 33554432000 4194304 4196468 140732302392096 140732302374640 140082580745975 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
/proc/13958/statm: 3755273 32565 3202 1 0 3716603 0
[pid=13958/tid=13959] ppid=13955 vsize=15021092 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/13958/task/13959/stat : 13959 (java) R 13955 13955 8853 0 -1 4202560 16823 0 0 0 62 5 0 0 20 0 15 0 405533776 15381598208 32565 33554432000 4194304 4196468 140732302392096 140082552577712 140082564826462 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13960] ppid=13955 vsize=15021092 memory=180 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13960/stat : 13960 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533778 15381598208 32565 33554432000 4194304 4196468 140732302392096 140082584988048 140082580756181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13961] ppid=13955 vsize=15021092 memory=9190 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13961/stat : 13961 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533778 15381598208 32565 33554432000 4194304 4196468 140732302392096 140082376071440 140082580756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13962] ppid=13955 vsize=15021092 memory=22698 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13962/stat : 13962 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533778 15381598208 32565 33554432000 4194304 4196468 140732302392096 140082375019152 140082580756181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13963] ppid=13955 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13963/stat : 13963 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405533778 15381598208 32565 33554432000 4194304 4196468 140732302392096 140082373966352 140082580756181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13964] ppid=13955 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13964/stat : 13964 (java) S 13955 13955 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405533779 15381598208 32565 33554432000 4194304 4196468 140732302392096 140081349843568 140082580757122 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13965] ppid=13955 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13965/stat : 13965 (java) S 13955 13955 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405533780 15381598208 32565 33554432000 4194304 4196468 140732302392096 140081230767392 140082580756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13966] ppid=13955 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13966/stat : 13966 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533780 15381598208 32565 33554432000 4194304 4196468 140732302392096 140080962332272 140082580756181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13967] ppid=13955 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13967/stat : 13967 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405533782 15381598208 32565 33554432000 4194304 4196468 140732302392096 140080587823696 140082580764571 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13968] ppid=13955 vsize=15021092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13958/task/13968/stat : 13968 (java) S 13955 13955 8853 0 -1 1077944384 686 0 0 0 7 0 0 0 20 0 15 0 405533782 15381598208 32565 33554432000 4194304 4196468 140732302392096 140081348790384 140082580757122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13969] ppid=13955 vsize=15021092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13958/task/13969/stat : 13969 (java) S 13955 13955 8853 0 -1 1077944384 357 0 0 0 7 0 0 0 20 0 15 0 405533782 15381598208 32565 33554432000 4194304 4196468 140732302392096 140081347737584 140082580757122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13970] ppid=13955 vsize=15021092 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/13958/task/13970/stat : 13970 (java) S 13955 13955 8853 0 -1 1077944384 565 0 0 0 14 0 0 0 20 0 15 0 405533782 15381598208 32565 33554432000 4194304 4196468 140732302392096 140081346685296 140082580757122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13971] ppid=13955 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13971/stat : 13971 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405533782 15381598208 32565 33554432000 4194304 4196468 140732302392096 140080089917920 140082580756181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
[pid=13958/tid=13972] ppid=13955 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13958/task/13972/stat : 13972 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405533783 15381598208 32565 33554432000 4194304 4196468 140732302392096 140081345633200 140082580757122 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11640832 140732302394094 140732302394522 140732302394522 140732302397391 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131656 KiB

[startup+1.50081 s]
/proc/loadavg: 2.01 2.09 2.39 3/234 13972
/proc/meminfo: memFree=20983676/32770624 swapFree=66957008/67108860
[pid=13955] ppid=13952 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13955/stat : 13955 (scop.sh) S 13952 13955 8853 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405533775 115843072 349 33554432000 4194304 5098028 140734175081360 140734175078616 139668909081212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26320896 140734175089448 140734175089776 140734175089776 140734175092685 0
/proc/13955/statm: 28282 349 296 221 0 87 0

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

/proc/13973/task/13987/stat : 13987 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405534001 8262082560 29376 33554432000 4194304 4196468 140729685681968 140197998083120 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13989] ppid=13955 vsize=8068440 memory=932 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13989/stat : 13989 (java) S 13955 13955 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405534067 8262082560 29376 33554432000 4194304 4196468 140729685681968 140198940034880 140199161110297 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13991] ppid=13955 vsize=8068440 memory=1768 CPUtime=0.01 cores=0,2,4,6
/proc/13973/task/13991/stat : 13991 (java) S 13955 13955 8853 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 19 0 405534067 8262082560 29376 33554432000 4194304 4196468 140729685681968 140196456673136 140199161107613 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13992] ppid=13955 vsize=8068440 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13992/stat : 13992 (java) S 13955 13955 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405534067 8262082560 29376 33554432000 4194304 4196468 140729685681968 140196590894608 140199161107613 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13993] ppid=13955 vsize=8068440 memory=896 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13993/stat : 13993 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405534070 8262082560 29376 33554432000 4194304 4196468 140729685681968 140196188249392 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
Current children cumulated CPU time: 6.43 s
Current children cumulated vsize: 8201696 KiB
Current children cumulated memory: 123388 KiB

[startup+4.00089 s]*
/proc/loadavg: 2.01 2.09 2.39 3/239 13993
/proc/meminfo: memFree=20993172/32770624 swapFree=66957008/67108860
[pid=13955] ppid=13952 vsize=113128 memory=1476 CPUtime=5 cores=0,2,4,6
/proc/13955/stat : 13955 (scop.sh) S 13952 13955 8853 0 -1 4202496 585 26504 0 0 0 0 487 13 20 0 1 0 405533775 115843072 369 33554432000 4194304 5098028 140734175081360 140734175078104 139668909081212 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26320896 140734175089448 140734175089776 140734175089776 140734175092685 0
/proc/13955/statm: 28282 369 311 221 0 87 0
[pid=13973] ppid=13955 vsize=8068440 memory=117504 CPUtime=1.16 cores=0,2,4,6
/proc/13973/stat : 13973 (java) S 13955 13955 8853 0 -1 1077944320 20621 0 0 0 110 6 0 0 20 0 19 0 405533995 8262082560 29376 33554432000 4194304 4196468 140729685681968 140729685664512 140199161085687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
/proc/13973/statm: 2017110 29376 3202 1 0 1978454 0
[pid=13988] ppid=13973 vsize=23216 memory=7540 CPUtime=1.08 cores=0,2,4,6
/proc/13988/stat : 13988 (glueminisat-sim) R 13973 13955 8853 0 -1 4202496 2237 0 0 0 105 3 0 0 20 0 1 0 405534066 23773184 1885 33554432000 4194304 4452875 140725933392848 140725933387944 140032618876807 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 20254720 140725933400927 140725933401127 140725933401127 140725933404077 0
/proc/13988/statm: 5804 1885 373 64 0 2008 0
[pid=13973/tid=13974] ppid=13955 vsize=8068440 memory=590024538734526582 CPUtime=0.74 cores=0,2,4,6
/proc/13973/task/13974/stat : 13974 (java) S 13955 13955 8853 0 -1 1077944384 17567 0 0 0 69 5 0 0 20 0 19 0 405533995 8262082560 29376 33554432000 4194304 4196468 140729685681968 140199132925856 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13975] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13975/stat : 13975 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405533996 8262082560 29376 33554432000 4194304 4196468 140729685681968 140199165327888 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13976] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13976/stat : 13976 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405533996 8262082560 29376 33554432000 4194304 4196468 140729685681968 140198965496464 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13977] ppid=13955 vsize=8068440 memory=7596551556270878571 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13977/stat : 13977 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405533996 8262082560 29376 33554432000 4194304 4196468 140729685681968 140198964443408 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13978] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13978/stat : 13978 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405533996 8262082560 29376 33554432000 4194304 4196468 140729685681968 140198963390864 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13979] ppid=13955 vsize=8068440 memory=3471202396320837679 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13979/stat : 13979 (java) S 13955 13955 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405533998 8262082560 29376 33554432000 4194304 4196468 140729685681968 140198607264496 140199161096834 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13980] ppid=13955 vsize=8068440 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13980/stat : 13980 (java) S 13955 13955 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405533998 8262082560 29376 33554432000 4194304 4196468 140729685681968 140198134408864 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13981] ppid=13955 vsize=8068440 memory=-6222409387426419097 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13981/stat : 13981 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405533998 8262082560 29376 33554432000 4194304 4196468 140729685681968 140197865972976 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13982] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13982/stat : 13982 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405534001 8262082560 29376 33554432000 4194304 4196468 140729685681968 140197491464656 140199161104283 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13983] ppid=13955 vsize=8068440 memory=8097827316026060847 CPUtime=0.08 cores=0,2,4,6
/proc/13973/task/13983/stat : 13983 (java) S 13955 13955 8853 0 -1 1077944384 637 0 0 0 8 0 0 0 20 0 19 0 405534001 8262082560 29376 33554432000 4194304 4196468 140729685681968 140198606211312 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13984] ppid=13955 vsize=8068440 memory=3472468099136702128 CPUtime=0.1 cores=0,2,4,6
/proc/13973/task/13984/stat : 13984 (java) S 13955 13955 8853 0 -1 1077944384 416 0 0 0 10 0 0 0 20 0 19 0 405534001 8262082560 29376 33554432000 4194304 4196468 140729685681968 140198000187760 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13985] ppid=13955 vsize=8068440 memory=145072 CPUtime=0.2 cores=0,2,4,6
/proc/13973/task/13985/stat : 13985 (java) S 13955 13955 8853 0 -1 1077944384 593 0 0 0 20 0 0 0 20 0 19 0 405534001 8262082560 29376 33554432000 4194304 4196468 140729685681968 140197999134704 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13986] ppid=13955 vsize=8068440 memory=3472468099136702128 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13986/stat : 13986 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405534001 8262082560 29376 33554432000 4194304 4196468 140729685681968 140196993558880 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13987] ppid=13955 vsize=8068440 memory=8315167063373608818 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13987/stat : 13987 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405534001 8262082560 29376 33554432000 4194304 4196468 140729685681968 140197998083120 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13989] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13989/stat : 13989 (java) S 13955 13955 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405534067 8262082560 29376 33554432000 4194304 4196468 140729685681968 140198940034880 140199161110297 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13991] ppid=13955 vsize=8068440 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13973/task/13991/stat : 13991 (java) S 13955 13955 8853 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 19 0 405534067 8262082560 29376 33554432000 4194304 4196468 140729685681968 140196456673104 140199161107613 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13992] ppid=13955 vsize=8068440 memory=3472323898181169200 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13992/stat : 13992 (java) S 13955 13955 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405534067 8262082560 29376 33554432000 4194304 4196468 140729685681968 140196590894608 140199161107613 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13993] ppid=13955 vsize=8068440 memory=3472328296160571439 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13993/stat : 13993 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405534070 8262082560 29376 33554432000 4194304 4196468 140729685681968 140196188249392 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
Current children cumulated CPU time: 7.24 s
Current children cumulated vsize: 8204784 KiB
Current children cumulated memory: 126520 KiB

[startup+4.80094 s]
/proc/loadavg: 2.01 2.09 2.39 3/239 13993
/proc/meminfo: memFree=20993172/32770624 swapFree=66957008/67108860
[pid=13955] ppid=13952 vsize=113128 memory=1476 CPUtime=5 cores=0,2,4,6
/proc/13955/stat : 13955 (scop.sh) S 13952 13955 8853 0 -1 4202496 585 26504 0 0 0 0 487 13 20 0 1 0 405533775 115843072 369 33554432000 4194304 5098028 140734175081360 140734175078104 139668909081212 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26320896 140734175089448 140734175089776 140734175089776 140734175092685 0
/proc/13955/statm: 28282 369 311 221 0 87 0
[pid=13973] ppid=13955 vsize=8068440 memory=120300 CPUtime=1.19 cores=0,2,4,6
/proc/13973/stat : 13973 (java) S 13955 13955 8853 0 -1 1077944320 22316 0 0 0 112 7 0 0 20 0 19 0 405533995 8262082560 30075 33554432000 4194304 4196468 140729685681968 140729685664512 140199161085687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
/proc/13973/statm: 2017110 30075 3203 1 0 1978454 0
[pid=13988] ppid=13973 vsize=23216 memory=8036 CPUtime=1.86 cores=0,2,4,6
/proc/13988/stat : 13988 (glueminisat-sim) R 13973 13955 8853 0 -1 4202496 2372 0 0 0 182 4 0 0 20 0 1 0 405534066 23773184 2009 33554432000 4194304 4452875 140725933392848 140725933387944 140032618876807 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 20254720 140725933400927 140725933401127 140725933401127 140725933404077 0
/proc/13988/statm: 5804 2009 373 64 0 2008 0
[pid=13973/tid=13974] ppid=13955 vsize=8068440 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/13973/task/13974/stat : 13974 (java) S 13955 13955 8853 0 -1 1077944384 17567 0 0 0 69 5 0 0 20 0 19 0 405533995 8262082560 30075 33554432000 4194304 4196468 140729685681968 140199132925856 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13975] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13975/stat : 13975 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405533996 8262082560 30075 33554432000 4194304 4196468 140729685681968 140199165327888 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13976] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13976/stat : 13976 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405533996 8262082560 30075 33554432000 4194304 4196468 140729685681968 140198965496464 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13977] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13977/stat : 13977 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405533996 8262082560 30075 33554432000 4194304 4196468 140729685681968 140198964443408 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13978] ppid=13955 vsize=8068440 memory=8 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13978/stat : 13978 (java) S 13955 13955 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405533996 8262082560 30075 33554432000 4194304 4196468 140729685681968 140198963390864 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13979] ppid=13955 vsize=8068440 memory=10 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13979/stat : 13979 (java) S 13955 13955 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405533998 8262082560 30075 33554432000 4194304 4196468 140729685681968 140198607264496 140199161096834 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13980] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13980/stat : 13980 (java) S 13955 13955 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405533998 8262082560 30075 33554432000 4194304 4196468 140729685681968 140198134408864 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13981] ppid=13955 vsize=8068440 memory=116 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13981/stat : 13981 (java) S 13955 13955 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405533998 8262082560 30075 33554432000 4194304 4196468 140729685681968 140197865972976 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13982] ppid=13955 vsize=8068440 memory=120113055427900 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13982/stat : 13982 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405534001 8262082560 30075 33554432000 4194304 4196468 140729685681968 140197491464656 140199161104283 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13983] ppid=13955 vsize=8068440 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13973/task/13983/stat : 13983 (java) S 13955 13955 8853 0 -1 1077944384 637 0 0 0 8 0 0 0 20 0 19 0 405534001 8262082560 30075 33554432000 4194304 4196468 140729685681968 140198606211312 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13984] ppid=13955 vsize=8068440 memory=1 CPUtime=0.1 cores=0,2,4,6
/proc/13973/task/13984/stat : 13984 (java) S 13955 13955 8853 0 -1 1077944384 416 0 0 0 10 0 0 0 20 0 19 0 405534001 8262082560 30075 33554432000 4194304 4196468 140729685681968 140198000187760 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13985] ppid=13955 vsize=8068440 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/13973/task/13985/stat : 13985 (java) S 13955 13955 8853 0 -1 1077944384 607 0 0 0 21 0 0 0 20 0 19 0 405534001 8262082560 30075 33554432000 4194304 4196468 140729685681968 140197999134704 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13986] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13986/stat : 13986 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405534001 8262082560 30075 33554432000 4194304 4196468 140729685681968 140196993558880 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13987] ppid=13955 vsize=8068440 memory=116 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13987/stat : 13987 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405534001 8262082560 30075 33554432000 4194304 4196468 140729685681968 140197998083120 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13989] ppid=13955 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13989/stat : 13989 (java) S 13955 13955 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405534067 8262082560 30075 33554432000 4194304 4196468 140729685681968 140198940034880 140199161110297 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13991] ppid=13955 vsize=8068440 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13973/task/13991/stat : 13991 (java) S 13955 13955 8853 0 -1 4202560 1708 0 0 0 2 0 0 0 20 0 19 0 405534067 8262082560 30075 33554432000 4194304 4196468 140729685681968 140196456673136 140199161107613 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13992] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13992/stat : 13992 (java) S 13955 13955 8853 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405534067 8262082560 30075 33554432000 4194304 4196468 140729685681968 140196590894608 140199161107613 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13993] ppid=13955 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13973/task/13993/stat : 13993 (java) S 13955 13955 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405534070 8262082560 30075 33554432000 4194304 4196468 140729685681968 140196188249392 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
Current children cumulated CPU time: 8.05 s
Current children cumulated vsize: 8204784 KiB
Current children cumulated memory: 129812 KiB

[startup+5.00082 s]*
/proc/loadavg: 2.01 2.09 2.39 6/236 13993
/proc/meminfo: memFree=21000564/32770624 swapFree=66957008/67108860
[pid=13955] ppid=13952 vsize=113128 memory=1476 CPUtime=5 cores=0,2,4,6
/proc/13955/stat : 13955 (scop.sh) S 13952 13955 8853 0 -1 4202496 585 26504 0 0 0 0 487 13 20 0 1 0 405533775 115843072 369 33554432000 4194304 5098028 140734175081360 140734175078104 139668909081212 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26320896 140734175089448 140734175089776 140734175089776 140734175092685 0
/proc/13955/statm: 28282 369 311 221 0 87 0
[pid=13973] ppid=13955 vsize=7806288 memory=124404 CPUtime=3.27 cores=0,2,4,6
/proc/13973/stat : 13973 (java) S 13955 13955 8853 0 -1 1077944320 22486 3308 0 0 114 7 201 5 20 0 16 0 405533995 7993638912 31101 33554432000 4194304 4196468 140729685681968 140729685664512 140199161085687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
/proc/13973/statm: 1951572 31101 3206 1 0 1912916 0
[pid=13973/tid=13974] ppid=13955 vsize=7806288 memory=7022364632946311227 CPUtime=2.81 cores=0,2,4,6
/proc/13973/task/13974/stat : 13974 (java) S 13955 13955 8853 0 -1 1077944384 17580 3308 0 0 70 5 201 5 20 0 16 0 405533995 7993638912 31101 33554432000 4194304 4196468 140729685681968 140199132929168 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13975] ppid=13955 vsize=7806288 memory=364 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13975/stat : 13975 (java) S 13955 13955 8853 0 -1 1077944384 1 3308 0 0 0 0 201 5 20 0 16 0 405533996 7993638912 31101 33554432000 4194304 4196468 140729685681968 140199165327888 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13976] ppid=13955 vsize=7806288 memory=288370179060733568 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13976/stat : 13976 (java) S 13955 13955 8853 0 -1 1077944384 1 3308 0 0 0 0 201 5 20 0 16 0 405533996 7993638912 31101 33554432000 4194304 4196468 140729685681968 140198965496464 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13977] ppid=13955 vsize=7806288 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13977/stat : 13977 (java) S 13955 13955 8853 0 -1 1077944384 1 3308 0 0 0 0 201 5 20 0 16 0 405533996 7993638912 31101 33554432000 4194304 4196468 140729685681968 140198964443408 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13978] ppid=13955 vsize=7806288 memory=-1 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13978/stat : 13978 (java) S 13955 13955 8853 0 -1 1077944384 2 3308 0 0 0 0 201 5 20 0 16 0 405533996 7993638912 31101 33554432000 4194304 4196468 140729685681968 140198963390864 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13979] ppid=13955 vsize=7806288 memory=139802909021824 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13979/stat : 13979 (java) S 13955 13955 8853 0 -1 1077944384 6 3308 0 0 0 0 201 5 20 0 16 0 405533998 7993638912 31101 33554432000 4194304 4196468 140729685681968 140198607264704 140199161096834 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13980] ppid=13955 vsize=7806288 memory=-1 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13980/stat : 13980 (java) S 13955 13955 8853 0 -1 1077944384 13 3308 0 0 0 0 201 5 20 0 16 0 405533998 7993638912 31101 33554432000 4194304 4196468 140729685681968 140198134408864 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13981] ppid=13955 vsize=7806288 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13981/stat : 13981 (java) S 13955 13955 8853 0 -1 1077944384 1 3308 0 0 0 0 201 5 20 0 16 0 405533998 7993638912 31101 33554432000 4194304 4196468 140729685681968 140197865972976 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13982] ppid=13955 vsize=7806288 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13982/stat : 13982 (java) S 13955 13955 8853 0 -1 1077944384 4 3308 0 0 0 0 201 5 20 0 16 0 405534001 7993638912 31101 33554432000 4194304 4196468 140729685681968 140197491464304 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13983] ppid=13955 vsize=7806288 memory=0 CPUtime=2.14 cores=0,2,4,6
/proc/13973/task/13983/stat : 13983 (java) S 13955 13955 8853 0 -1 1077944384 640 3308 0 0 8 0 201 5 20 0 16 0 405534001 7993638912 31101 33554432000 4194304 4196468 140729685681968 140198606211312 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13984] ppid=13955 vsize=7806288 memory=-1 CPUtime=2.17 cores=0,2,4,6
/proc/13973/task/13984/stat : 13984 (java) S 13955 13955 8853 0 -1 1077944384 418 3308 0 0 11 0 201 5 20 0 16 0 405534001 7993638912 31101 33554432000 4194304 4196468 140729685681968 140198000179040 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13985] ppid=13955 vsize=7806288 memory=139802909021824 CPUtime=2.27 cores=0,2,4,6
/proc/13973/task/13985/stat : 13985 (java) S 13955 13955 8853 0 -1 1077944384 616 3308 0 0 21 0 201 5 20 0 16 0 405534001 7993638912 31101 33554432000 4194304 4196468 140729685681968 140197999134704 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13986] ppid=13955 vsize=7806288 memory=-1 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13986/stat : 13986 (java) S 13955 13955 8853 0 -1 1077944384 3 3308 0 0 0 0 201 5 20 0 16 0 405534001 7993638912 31101 33554432000 4194304 4196468 140729685681968 140196993558880 140199161095893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13989] ppid=13955 vsize=7806288 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13989/stat : 13989 (java) S 13955 13955 8853 0 -1 1077944384 23 3308 0 0 0 0 201 5 20 0 16 0 405534067 7993638912 31101 33554432000 4194304 4196468 140729685681968 140198940034064 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
[pid=13973/tid=13993] ppid=13955 vsize=7806288 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/13973/task/13993/stat : 13993 (java) S 13955 13955 8853 0 -1 1077944384 137 3308 0 0 0 0 201 5 20 0 16 0 405534070 7993638912 31101 33554432000 4194304 4196468 140729685681968 140196188251184 140199161096834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37920768 140729685685243 140729685685402 140729685685402 140729685688271 0
Current children cumulated CPU time: 8.27 s
Current children cumulated vsize: 7919416 KiB
Current children cumulated memory: 125880 KiB

Child status: 0
Real time (s): 5.01855
CPU time (s): 8.30843
CPU user time (s): 8.03255
CPU system time (s): 0.275879
CPU usage (%): 165.554
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 291956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.03256
system time used= 0.275879
maximum resident set size= 294244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5393
involuntary context switches= 31


# summary of solver processes directly reported to runsolver:
#   pid: 13955
#   total CPU time (s): 8.30843
#   total CPU user time (s): 8.03255
#   total CPU system time (s): 0.275879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062225 second user time and 0.097298 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-12 15:49:16
IDJOB=4388151
IDBENCH=134597
IDSOLVER=2825
FILE ID=node147/4388151-1568296199
RUNJOBID= node147-1568286038-9751
PBS_JOBID= 21701064
Free space on /tmp= 50764 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-05-int.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-4388151-1568296199/watcher-4388151-1568296199 -o /tmp/evaluation-result-4388151-1568296199/solver-4388151-1568296199 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --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-4388151-1568296199.xml

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

MD5SUM BENCH= 5aa02d8e33e0310131c8602cbce67fff
RANDOM SEED=1599022480

node147.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.52
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.52
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.52
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.52
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:        21114532 kB
MemAvailable:   27904792 kB
Buffers:          111992 kB
Cached:          6847104 kB
SwapCached:        48504 kB
Active:          7394804 kB
Inactive:        3520232 kB
Active(anon):    3655332 kB
Inactive(anon):   341992 kB
Active(file):    3739472 kB
Inactive(file):  3178240 kB
Unevictable:      107624 kB
Mlocked:          107624 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:             20604 kB
Writeback:             0 kB
AnonPages:       4017108 kB
Mapped:            55112 kB
Shmem:             32764 kB
Slab:             330308 kB
SReclaimable:     301008 kB
SUnreclaim:        29300 kB
KernelStack:        3776 kB
PageTables:        13468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9957640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1243136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 50744 MiB
End job on node147 at 2019-09-12 15:49:21