Trace number 4387605

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)? (MO) 336.068 342.271

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K09-P07.xml
MD5SUM77d215e563c424ff51075488b165aa80
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables684
Number of constraints308
Number of domains2
Minimum domain size306
Maximum domain size307
Distribution of domain sizes[{"size":306,"count":306},{"size":307,"count":63}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":315},{"degree":2,"count":306},{"degree":10,"count":18},{"degree":11,"count":45}]
Minimum constraint arity3
Maximum constraint arity306
Distribution of constraint arities[{"arity":3,"count":306},{"arity":63,"count":1},{"arity":306,"count":1}]
Number of extensional constraints0
Number of intensional constraints306
Distribution of constraint types[{"type":"intension","count":306},{"type":"allDifferent","count":2}]
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-6167-serial-file.bin HOME/instance-4387605-1568286241.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 13:03:24 CEST 2019
0.66/0.56	c PID: 6173
0.66/0.56	c IP: 172.20.3.126
0.66/0.56	c HOST: node126.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.95/1.12	c (0,0) Parsing End
1.95/1.13	c (0,0) CSP: 369 int (0 aux), 0 bool (0 aux), 308 ctr, max domain size 307
1.95/1.13	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.95/1.13	c (0,0) Constraint Name Generate Begin
1.95/1.14	c (0,0) Ctr:HOME/instance-4387605-1568286241.xml,AllDifferent:Dist:Eq:Var
1.95/1.14	c (0,0) Constraint Name Generate End
1.95/1.14	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.95/1.14	c (0,0) CSP to CSPinCNF Begin
2.10/1.29	c (0,0) translated 31 (10%) constraints
2.35/1.34	c (0,0) translated 62 (20%) constraints
2.35/1.37	c (0,0) translated 93 (30%) constraints
2.64/1.40	c (0,0) translated 124 (40%) constraints
2.64/1.42	c (0,0) translated 154 (50%) constraints
2.64/1.44	c (0,0) translated 185 (60%) constraints
2.64/1.45	c (0,0) translated 216 (70%) constraints
2.64/1.47	c (0,0) translated 247 (80%) constraints
2.64/1.48	c (0,0) translated 278 (90%) constraints
2.96/1.60	c (1,1) translated 308 (100%) constraints
6.94/3.89	c (3,3) ===========================================
8.22/4.40	c (3,3) Order
8.22/4.40	c (3,3) ===========================================
8.22/4.40	c (3,3) translated 4985 (10%) constraints
8.22/4.40	c (3,3) translated 9970 (20%) constraints
8.53/4.47	c (3,3) translated 14955 (30%) constraints
8.98/4.60	c (4,4) translated 19939 (40%) constraints
9.17/4.73	c (4,4) translated 24924 (50%) constraints
9.26/4.86	c (4,4) translated 29909 (60%) constraints
9.36/5.00	c (4,4) translated 34893 (70%) constraints
9.62/5.13	c (4,4) translated 39878 (80%) constraints
9.75/5.26	c (4,4) translated 44863 (90%) constraints
16.36/9.90	c (9,9) translated 49847 (100%) constraints
16.36/9.91	c (9,9) CSP to CSPinCNF End
16.36/9.94	c (9,9) CSP: 369 int (0 aux), 93636 bool (93636 aux), 237119 ctr, max domain size 307
16.36/9.94	c (9,9) Heap : 770 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
16.36/9.94	c (9,9) CSPinCNF Propagation Begin
22.60/14.74	c (14,13) 0 values, 0 unsatisfiable literals, and 613 valid clauses are removed
22.60/14.74	c (14,13) CSPinCNF Propagation End
22.60/14.76	c (14,13) CSP: 369 int (0 aux), 93636 bool (93636 aux), 236506 ctr, max domain size 307
22.60/14.76	c (14,13) Heap : 2294 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
22.60/14.77	c (14,13) Simplify CSPinCNF Begin
26.11/16.87	c (16,15) Simplify CSPinCNF End
26.21/16.92	c (16,15) CSP: 369 int (0 aux), 191484 bool (191484 aux), 334354 ctr, max domain size 307
26.21/16.92	c (16,15) Heap : 557 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
26.21/16.92	c (16,15) Calculate Precise Domain Begin
26.21/16.92	c (16,15) 0 values are removed by re-calculation
26.21/16.92	c (16,15) Calculate Precise Domain End
26.21/16.97	c (16,15) CSP: 369 int (0 aux), 191484 bool (191484 aux), 334354 ctr, max domain size 307
26.21/16.97	c (16,15) Heap : 557 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
26.21/16.97	c (16,15) CSPinCNF to SatSolver Begin
206.47/204.89	c (204,184) 33436 (10 %) CSP clauses are encoded (0 SAT variables, 64127600 SAT clauses)
233.48/234.70	c (234,211) 66871 (20 %) CSP clauses are encoded (0 SAT variables, 70959485 SAT clauses)
260.35/263.84	c (263,238) 100307 (30 %) CSP clauses are encoded (0 SAT variables, 77791676 SAT clauses)
287.44/293.92	c (293,264) 133742 (40 %) CSP clauses are encoded (0 SAT variables, 84623561 SAT clauses)
298.64/305.71	c (305,276) 167177 (50 %) CSP clauses are encoded (0 SAT variables, 87431581 SAT clauses)
298.96/306.06	c (305,276) 200613 (60 %) CSP clauses are encoded (0 SAT variables, 87465017 SAT clauses)
299.35/306.40	c (305,276) 234048 (70 %) CSP clauses are encoded (0 SAT variables, 87498452 SAT clauses)
299.65/306.74	c (306,277) 267484 (80 %) CSP clauses are encoded (0 SAT variables, 87531888 SAT clauses)
299.96/307.08	c (306,277) 300919 (90 %) CSP clauses are encoded (0 SAT variables, 87565323 SAT clauses)
300.70/307.51	c (306,277) 334354 (100 %) CSP clauses are encoded (0 SAT variables, 87598758 SAT clauses)
300.70/307.51	c (306,277) CSPinCNF to SatSolver End
300.70/307.51	c (306,277) Heap : 698 MiB used (max 11238 MiB), NonHeap : 28 MiB used (max 0 MiB)
300.70/307.51	c (306,277) 304092 bool, 87598759 clause
300.70/307.51	c (306,277) Export Begin
300.88/307.62	c (307,277) Export to HOME/scop-6167-serial-file.bin
300.88/307.62	c (307,277) Export End
300.88/307.63	c (307,277) Export File Size: 0.06 MB
300.88/307.63	c (307,277) 0,0,9,14,16,16,306,STOP-AFTER(DIMACS)
300.88/307.63	c END-Prog: Thu Sep 12 13:08:31 CEST 2019
300.88/307.66	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6167-serial-file.bin
301.57/308.12	c (0,0) Read Serial File Begin
301.57/308.12	c (0,0) HOME/scop-6167-serial-file.bin
301.84/308.36	c (0,0) Read Serial File End
301.84/308.37	
301.84/308.37	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
301.84/308.37	(Solving Process)
301.84/308.37	
301.84/308.39	c BEGIN-Prog: Thu Sep 12 13:08:32 CEST 2019
301.84/308.39	c PID: 6235
301.84/308.39	c IP: 172.20.3.126
301.84/308.39	c HOST: node126.alineos.net
302.10/308.40	c (0,0) SatSolver.solve Begin
302.10/308.40	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387605-1568286241.xml-scop-6173.cnf
302.28/308.51	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
302.28/308.51	c (0,0) c glueminisat-simp-2.2.10-193oa-n
302.28/308.51	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387605-1568286241.xml-scop-6173.cnf 
302.28/308.51	c (0,0) c Options:
302.28/308.51	c (0,0) c CORE
302.28/308.51	c (0,0) c  var_decay             = 0.950
302.28/308.51	c (0,0) c  clause_decay          = 0.999
302.28/308.51	c (0,0) c  random_var_freq       = 0.000
302.28/308.51	c (0,0) c  random_seed           = 91648253.000
302.28/308.51	c (0,0) c  luby_restart          = 1
302.28/308.51	c (0,0) c  ccmin_mode            = 2
302.28/308.51	c (0,0) c  phase_saving          = 2
302.28/308.51	c (0,0) c  rnd_pol               = 0
302.28/308.51	c (0,0) c  rnd_init_act          = 0
302.28/308.51	c (0,0) c  garbage_frac          = 0.200
302.28/308.51	c (0,0) c  restart_first         = 1000
302.28/308.51	c (0,0) c  restart_inc           = 2.000
302.28/308.51	c (0,0) c MODEL
302.28/308.51	c (0,0) c  partial_model         = 0
302.28/308.51	c (0,0) c PROPAGATION
302.28/308.51	c (0,0) c  bin_propagation       = 1
302.28/308.51	c (0,0) c SIMPLIFICATION
302.28/308.51	c (0,0) c  lrn_min_size          = 100
302.28/308.51	c (0,0) c  lazy_simp             = 1
302.28/308.51	c (0,0) c  lazy_interval         = 10
302.28/308.51	c (0,0) c  lazy_fld_probing      = 1
302.28/308.51	c (0,0) c  lazy_pol_probing      = 1
302.28/308.51	c (0,0) c  lazy_nec_probing      = 1
302.28/308.51	c (0,0) c  lazy_eqv_probing      = 1
302.28/308.51	c (0,0) c  lazy_cla_probing      = 1
302.28/308.51	c (0,0) c  lazy_lrn_min          = 2
302.28/308.51	c (0,0) c  lazy_uw_lit_elim      = 1
302.28/308.51	c (0,0) c  lazy_pr_lit_elim      = 0
302.28/308.51	c (0,0) c  lazy_bin_add          = 3
302.28/308.51	c (0,0) c  probed_lit_chain      = 1
302.28/308.51	c (0,0) c  pr_min_lits           = 0.00020
302.28/308.51	c (0,0) c  pr_min_starts         = 500
302.28/308.51	c (0,0) c  rw_min_lits           = 0.010
302.28/308.51	c (0,0) c  rw_min_starts         = 500
302.28/308.51	c (0,0) c  rand_attach           = 0
302.28/308.51	c (0,0) c  dec_elim              = 1
302.28/308.51	c (0,0) c  dec_elim_lim          = 25
302.28/308.51	c (0,0) c  dec_elim_len          = -1
302.28/308.51	c (0,0) c  amo                   = 0
302.28/308.51	c (0,0) c  amo_grp               = 1
302.28/308.51	c (0,0) c  amo_max_bins          = 1000000
302.28/308.51	c (0,0) c  amo_starts            = 50
302.28/308.51	c (0,0) c  mace_cmd              = mace
302.28/308.51	c (0,0) c DECISION
302.28/308.51	c (0,0) c  rand_rebuild          = 0
302.28/308.51	c (0,0) c  rand_rebuild_confs    = 10000
302.28/308.51	c (0,0) c  inc_var_decay         = 1
302.28/308.51	c (0,0) c  inc_var_decay_period  = 100000
302.28/308.52	c (0,0) c  inc_var_decay_init    = 0.600
302.28/308.52	c (0,0) c  var_decay_mode        = 0
302.28/308.52	c (0,0) c  var_decay_gain        = 0
302.28/308.52	c (0,0) c  sloped_var_decay      = 1
302.28/308.52	c (0,0) c  max_var_decay         = 0.990
302.28/308.52	c (0,0) c  min_var_decay         = 0.950
302.28/308.52	c (0,0) c  min_var_decay_vars    = 10000
302.28/308.52	c (0,0) c  max_var_decay_vars    = 500
302.28/308.52	c (0,0) c  uip_bumping           = 1
302.28/308.52	c (0,0) c  lbd_act_bumping       = 1
302.28/308.52	c (0,0) c  rand_tiebreak         = 0
302.28/308.52	c (0,0) c  simp_rebuild          = 1
302.28/308.52	c (0,0) c RESTART
302.28/308.52	c (0,0) c  restart_strategy      = 2
302.28/308.52	c (0,0) c  restart_blocking      = 0
302.28/308.52	c (0,0) c  agility_decay         = 0.99990
302.28/308.52	c (0,0) c  lbd_restart_rate      = 0.800
302.28/308.52	c (0,0) c  dec_restart_rate      = 0.950
302.28/308.52	c (0,0) c  blk_restart_rate      = 0.700
302.28/308.52	c (0,0) c  lbd_queue_size        = 50
302.28/308.52	c (0,0) c  dec_queue_size        = 50
302.28/308.52	c (0,0) c  trl_queue_size        = 5000
302.28/308.52	c (0,0) c  blk_restart_weight    = 1.000
302.28/308.52	c (0,0) c  inc_rst_rate          = 0
302.28/308.52	c (0,0) c  inc_rst_rate_period   = 500000
302.28/308.52	c (0,0) c  inc_lbd_rst_rate_init = 0.600
302.28/308.52	c (0,0) c  inc_dec_rst_rate_init = 0.750
302.28/308.52	c (0,0) c REDUCTION
302.28/308.52	c (0,0) c  closed_lbd            = 0
302.28/308.52	c (0,0) c  closed_lbd_rate       = 0.500
302.28/308.52	c (0,0) c  rm_simulate           = 0
302.28/308.52	c (0,0) c  rdb_eval              = 2
302.28/308.52	c (0,0) c  rdb_call              = 3
302.28/308.52	c (0,0) c  rdb_ub                = 0.500
302.28/308.52	c (0,0) c  core_lbd_cvr          = 0.800
302.28/308.52	c (0,0) c  supp_lbd_cvr          = 0.990
302.28/308.52	c (0,0) c  core_lbd_lb           = 2
302.28/308.52	c (0,0) c  supp_lbd_lb           = 2
302.28/308.52	c (0,0) c  core_lbd_prd          = 7
302.28/308.52	c (0,0) c  supp_lbd_prd          = 1
302.28/308.52	c (0,0) c  othr_lbd_prd          = 0
302.28/308.52	c (0,0) c  inc_lrn_limit         = 1000
302.28/308.52	c (0,0) c  frozen_lbd            = 30
302.28/308.52	c (0,0) c  simp_min_starts       = 100
302.28/308.52	c (0,0) c  rm_low_act_learnts    = 1
302.28/308.52	c (0,0) c  lv0_reduce_db         = 0
302.28/308.52	c (0,0) c  reduce_db_base        = 20000
302.28/308.52	c (0,0) c  reduce_db_inc         = 1000
302.28/308.52	c (0,0) c HARD
302.28/308.52	c (0,0) c  inst_check            = 200000
302.28/308.52	c (0,0) c  small_block           = 1.750
302.28/308.52	c (0,0) c  slow_restart_speed    = 400.000
302.28/308.52	c (0,0) c  slow_restart_strategy = 3
302.28/308.52	c (0,0) c  slow_lbd_restart_rate = 0.700
302.28/308.52	c (0,0) c  slow_dec_restart_rate = 1.000
302.28/308.52	c (0,0) c  slow_lbd_queue_size   = 50
302.28/308.52	c (0,0) c  slow_var_decay        = 0.950
302.28/308.52	c (0,0) c  slow_glue_threshold   = 2
302.28/308.52	c (0,0) c  slow_phase_saving     = 2
302.28/308.52	c (0,0) c  fast_restart_speed    = 125.000
302.28/308.52	c (0,0) c  fast_restart_strategy = 1
302.28/308.52	c (0,0) c  fast_lbd_restart_rate = 0.800
302.28/308.52	c (0,0) c  fast_dec_restart_rate = 0.950
302.28/308.52	c (0,0) c  fast_lbd_queue_size   = 50
302.28/308.52	c (0,0) c  fast_var_decay        = 1.000
302.28/308.52	c (0,0) c  fast_glue_threshold   = 2
302.28/308.52	c (0,0) c  fast_phase_saving     = 2
302.28/308.52	c (0,0) c STATS
302.28/308.52	c (0,0) c  stats_conf_size       = 10000
302.28/308.52	c (0,0) c  max_stats_size        = 30
302.28/308.52	c (0,0) c SOLVER
302.28/308.52	c (0,0) c  minisat               = 0
332.30/338.54	c (30,0) c Problem: 304092 variables, 87598759 clauses, parsing 27.02 s
335.29/341.53	c (33,0) c  exclude 306 (0.1%) variables from decision variables (last cost 2)
335.50/341.70	c (33,0) receiving signal SIGTERM
335.50/341.70	s UNKNOWN
335.50/341.71	c (scop.sh) Receiving Signal. Removing all intermediate files.
335.50/341.71	c (scop.sh) Remove HOME/scop-6167-serial-file.bin.
335.50/341.74	c (scop.sh) Killing background jobs.
335.50/341.74	c (33,0) receiving signal SIGTERM

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 (5882 MiB free)
  memory of node 1: 16384 MiB (8066 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387605-1568286241/watcher-4387605-1568286241 -o /tmp/evaluation-result-4387605-1568286241/solver-4387605-1568286241 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6147 --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-4387605-1568286241.xml 

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

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

solver pid=6167, runsolver pid=6163

[startup+0.100142 s]*
/proc/loadavg: 1.34 1.69 1.85 3/230 6209
/proc/meminfo: memFree=14167356/32770624 swapFree=67004752/67108860
[pid=6167] ppid=6163 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6167/stat : 6167 (scop.sh) S 6163 6167 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404891894 115843072 348 33554432000 4194304 5098028 140721008483808 140721008481064 139682587112060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10100736 140721008485160 140721008485488 140721008485488 140721008488397 0
/proc/6167/statm: 28282 348 296 221 0 87 0
[pid=6173] ppid=6167 vsize=15012696 memory=72664 CPUtime=0.12 cores=1,3,5,7
/proc/6173/stat : 6173 (java) S 6167 6167 5150 0 -1 1077944320 6447 0 0 0 10 2 0 0 20 0 15 0 404891894 15373000704 18166 33554432000 4194304 4196468 140725230307568 140725230290112 140414650109687 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
/proc/6173/statm: 3753174 18166 2923 1 0 3715579 0
[pid=6173/tid=6174] ppid=6167 vsize=15014680 memory=8252710469714192971 CPUtime=0.09 cores=1,3,5,7
/proc/6173/task/6174/stat : 6174 (java) R 6167 6167 5150 0 -1 4202560 4509 0 0 0 8 1 0 0 20 0 15 0 404891894 15375032320 18495 33554432000 4194304 4196468 140725230307568 140414621893936 140414642400128 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6181] ppid=6167 vsize=15014680 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6181/stat : 6181 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891896 15375032320 18495 33554432000 4194304 4196468 140725230307568 140414654351888 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6182] ppid=6167 vsize=15014680 memory=139696202839680 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6182/stat : 6182 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891896 15375032320 18495 33554432000 4194304 4196468 140725230307568 140414430055056 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6183] ppid=6167 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6183/stat : 6183 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891896 15375032320 18495 33554432000 4194304 4196468 140725230307568 140414429002000 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6185] ppid=6167 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6185/stat : 6185 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891896 15375032320 18561 33554432000 4194304 4196468 140725230307568 140414427949456 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6188] ppid=6167 vsize=15014680 memory=139696202839680 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6188/stat : 6188 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891897 15375032320 18561 33554432000 4194304 4196468 140725230307568 140413989759728 140414650120834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6189] ppid=6167 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6189/stat : 6189 (java) S 6167 6167 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404891898 15375032320 18561 33554432000 4194304 4196468 140725230307568 140413251872416 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6194] ppid=6167 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6194/stat : 6194 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891898 15375032320 18561 33554432000 4194304 4196468 140725230307568 140413016990960 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6198] ppid=6167 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6198/stat : 6198 (java) S 6167 6167 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404891900 15375032320 18561 33554432000 4194304 4196468 140725230307568 140412642482640 140414650128283 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6199] ppid=6167 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6199/stat : 6199 (java) S 6167 6167 5150 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 404891900 15375032320 18561 33554432000 4194304 4196468 140725230307568 140413988706544 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6200] ppid=6167 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6200/stat : 6200 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891900 15375032320 18561 33554432000 4194304 4196468 140725230307568 140413987654000 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6201] ppid=6167 vsize=15014680 memory=139696202839680 CPUtime=0.01 cores=1,3,5,7
/proc/6173/task/6201/stat : 6201 (java) S 6167 6167 5150 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 15 0 404891900 15375032320 18561 33554432000 4194304 4196468 140725230307568 140413986600944 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6202] ppid=6167 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6202/stat : 6202 (java) S 6167 6167 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404891901 15375032320 18561 33554432000 4194304 4196468 140725230307568 140412144576864 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6203] ppid=6167 vsize=15014680 memory=139696202839680 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6203/stat : 6203 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891901 15375032320 18561 33554432000 4194304 4196468 140725230307568 140413985549360 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74056 KiB

[startup+0.210737 s]*
/proc/loadavg: 1.34 1.69 1.85 4/230 6209
/proc/meminfo: memFree=14132384/32770624 swapFree=67004752/67108860
[pid=6167] ppid=6163 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6167/stat : 6167 (scop.sh) S 6163 6167 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404891894 115843072 348 33554432000 4194304 5098028 140721008483808 140721008481064 139682587112060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10100736 140721008485160 140721008485488 140721008485488 140721008488397 0
/proc/6167/statm: 28282 348 296 221 0 87 0
[pid=6173] ppid=6167 vsize=15012696 memory=85900 CPUtime=0.25 cores=1,3,5,7
/proc/6173/stat : 6173 (java) S 6167 6167 5150 0 -1 1077944320 10994 0 0 0 22 3 0 0 20 0 15 0 404891894 15373000704 21475 33554432000 4194304 4196468 140725230307568 140725230290112 140414650109687 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
/proc/6173/statm: 3753174 21475 2931 1 0 3715579 0
[pid=6173/tid=6174] ppid=6167 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/6173/task/6174/stat : 6174 (java) R 6167 6167 5150 0 -1 4202560 8743 0 0 0 17 2 0 0 20 0 15 0 404891894 15373000704 21475 33554432000 4194304 4196468 140725230307568 140414621925328 140414650131613 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6181] ppid=6167 vsize=15012696 memory=8992 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6181/stat : 6181 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891896 15373000704 21475 33554432000 4194304 4196468 140725230307568 140414654351888 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6182] ppid=6167 vsize=15012696 memory=139696205761293 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6182/stat : 6182 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891896 15373000704 21475 33554432000 4194304 4196468 140725230307568 140414430055056 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6183] ppid=6167 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6183/stat : 6183 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891896 15373000704 21475 33554432000 4194304 4196468 140725230307568 140414429002000 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6185] ppid=6167 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6185/stat : 6185 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891896 15373000704 21475 33554432000 4194304 4196468 140725230307568 140414427949456 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6188] ppid=6167 vsize=15012696 memory=139696202839680 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6188/stat : 6188 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891897 15373000704 21475 33554432000 4194304 4196468 140725230307568 140413989759728 140414650120834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6189] ppid=6167 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6189/stat : 6189 (java) S 6167 6167 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404891898 15373000704 21475 33554432000 4194304 4196468 140725230307568 140413251872416 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6194] ppid=6167 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6194/stat : 6194 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891898 15373000704 21475 33554432000 4194304 4196468 140725230307568 140413016990960 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6198] ppid=6167 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6198/stat : 6198 (java) S 6167 6167 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404891900 15373000704 21475 33554432000 4194304 4196468 140725230307568 140412642482640 140414650128283 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6199] ppid=6167 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6199/stat : 6199 (java) S 6167 6167 5150 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 404891900 15373000704 21475 33554432000 4194304 4196468 140725230307568 140413988706544 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6200] ppid=6167 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6200/stat : 6200 (java) S 6167 6167 5150 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 404891900 15373000704 21475 33554432000 4194304 4196468 140725230307568 140413987654000 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6201] ppid=6167 vsize=15012696 memory=139696202839680 CPUtime=0.03 cores=1,3,5,7
/proc/6173/task/6201/stat : 6201 (java) S 6167 6167 5150 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 15 0 404891900 15373000704 21475 33554432000 4194304 4196468 140725230307568 140413986600944 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6202] ppid=6167 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6202/stat : 6202 (java) S 6167 6167 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404891901 15373000704 21475 33554432000 4194304 4196468 140725230307568 140412144576864 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6203] ppid=6167 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6203/stat : 6203 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891901 15373000704 21475 33554432000 4194304 4196468 140725230307568 140413985549360 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87292 KiB

[startup+0.31073 s]*
/proc/loadavg: 1.34 1.69 1.85 5/230 6209
/proc/meminfo: memFree=14125232/32770624 swapFree=67004752/67108860
[pid=6167] ppid=6163 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6167/stat : 6167 (scop.sh) S 6163 6167 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404891894 115843072 348 33554432000 4194304 5098028 140721008483808 140721008481064 139682587112060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10100736 140721008485160 140721008485488 140721008485488 140721008488397 0
/proc/6167/statm: 28282 348 296 221 0 87 0
[pid=6173] ppid=6167 vsize=15012696 memory=90016 CPUtime=0.43 cores=1,3,5,7
/proc/6173/stat : 6173 (java) S 6167 6167 5150 0 -1 1077944320 12027 0 0 0 40 3 0 0 20 0 15 0 404891894 15373000704 22504 33554432000 4194304 4196468 140725230307568 140725230290112 140414650109687 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
/proc/6173/statm: 3753174 22504 3079 1 0 3715579 0
[pid=6173/tid=6174] ppid=6167 vsize=15012696 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/6173/task/6174/stat : 6174 (java) R 6167 6167 5150 0 -1 4202560 9556 0 0 0 27 3 0 0 20 0 15 0 404891894 15373000704 22504 33554432000 4194304 4196468 140725230307568 140414621912912 140414633296496 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6181] ppid=6167 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6181/stat : 6181 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891896 15373000704 22504 33554432000 4194304 4196468 140725230307568 140414654351888 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6182] ppid=6167 vsize=15012696 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6182/stat : 6182 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891896 15373000704 22504 33554432000 4194304 4196468 140725230307568 140414430055056 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6183] ppid=6167 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6183/stat : 6183 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891896 15373000704 22504 33554432000 4194304 4196468 140725230307568 140414429002000 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6185] ppid=6167 vsize=15012696 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6185/stat : 6185 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891896 15373000704 22504 33554432000 4194304 4196468 140725230307568 140414427949456 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6188] ppid=6167 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6188/stat : 6188 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891897 15373000704 22504 33554432000 4194304 4196468 140725230307568 140413989759728 140414650120834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6189] ppid=6167 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6189/stat : 6189 (java) S 6167 6167 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404891898 15373000704 22504 33554432000 4194304 4196468 140725230307568 140413251872416 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6194] ppid=6167 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6194/stat : 6194 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891898 15373000704 22504 33554432000 4194304 4196468 140725230307568 140413016990960 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6198] ppid=6167 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6198/stat : 6198 (java) S 6167 6167 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404891900 15373000704 22504 33554432000 4194304 4196468 140725230307568 140412642482640 140414650128283 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6199] ppid=6167 vsize=15012696 memory=6933954179156714387 CPUtime=0.03 cores=1,3,5,7
/proc/6173/task/6199/stat : 6199 (java) S 6167 6167 5150 0 -1 1077944384 536 0 0 0 3 0 0 0 20 0 15 0 404891900 15373000704 22504 33554432000 4194304 4196468 140725230307568 140413988706544 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6200] ppid=6167 vsize=15012696 memory=7684433391216329786 CPUtime=0.01 cores=1,3,5,7
/proc/6173/task/6200/stat : 6200 (java) S 6167 6167 5150 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 15 0 404891900 15373000704 22504 33554432000 4194304 4196468 140725230307568 140413987654000 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6201] ppid=6167 vsize=15012696 memory=-9062862659931694204 CPUtime=0.07 cores=1,3,5,7
/proc/6173/task/6201/stat : 6201 (java) S 6167 6167 5150 0 -1 1077944384 517 0 0 0 7 0 0 0 20 0 15 0 404891900 15373000704 22504 33554432000 4194304 4196468 140725230307568 140413986600944 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6202] ppid=6167 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6202/stat : 6202 (java) S 6167 6167 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404891901 15373000704 22504 33554432000 4194304 4196468 140725230307568 140412144576864 140414650119893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6203] ppid=6167 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6203/stat : 6203 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891901 15373000704 22504 33554432000 4194304 4196468 140725230307568 140413985549360 140414650120834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91408 KiB

[startup+0.700824 s]
/proc/loadavg: 1.34 1.69 1.85 3/230 6209
/proc/meminfo: memFree=14078952/32770624 swapFree=67004752/67108860
[pid=6167] ppid=6163 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6167/stat : 6167 (scop.sh) S 6163 6167 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404891894 115843072 348 33554432000 4194304 5098028 140721008483808 140721008481064 139682587112060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10100736 140721008485160 140721008485488 140721008485488 140721008488397 0
/proc/6167/statm: 28282 348 296 221 0 87 0
[pid=6173] ppid=6167 vsize=15021016 memory=129784 CPUtime=1 cores=1,3,5,7
/proc/6173/stat : 6173 (java) S 6167 6167 5150 0 -1 1077944320 19739 0 0 0 94 6 0 0 20 0 15 0 404891894 15381520384 32446 33554432000 4194304 4196468 140725230307568 140725230290112 140414650109687 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
/proc/6173/statm: 3755254 32446 3182 1 0 3716603 0
[pid=6173/tid=6174] ppid=6167 vsize=15021016 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6173/task/6174/stat : 6174 (java) R 6167 6167 5150 0 -1 4202560 16742 0 0 0 63 4 0 0 20 0 15 0 404891894 15381520384 32446 33554432000 4194304 4196468 140725230307568 140414621947408 140414634190174 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6181] ppid=6167 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6181/stat : 6181 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891896 15381520384 32446 33554432000 4194304 4196468 140725230307568 140414654351888 140414650119893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6182] ppid=6167 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6182/stat : 6182 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891896 15381520384 32446 33554432000 4194304 4196468 140725230307568 140414430055056 140414650119893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6183] ppid=6167 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6183/stat : 6183 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891896 15381520384 32446 33554432000 4194304 4196468 140725230307568 140414429002000 140414650119893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6185] ppid=6167 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6185/stat : 6185 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404891896 15381520384 32446 33554432000 4194304 4196468 140725230307568 140414427949456 140414650119893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6188] ppid=6167 vsize=15021016 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6188/stat : 6188 (java) S 6167 6167 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404891897 15381520384 32446 33554432000 4194304 4196468 140725230307568 140413989759728 140414650120834 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6189] ppid=6167 vsize=15021016 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6189/stat : 6189 (java) S 6167 6167 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404891898 15381520384 32446 33554432000 4194304 4196468 140725230307568 140413251872416 140414650119893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6194] ppid=6167 vsize=15021016 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6194/stat : 6194 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891898 15381520384 32446 33554432000 4194304 4196468 140725230307568 140413016990960 140414650119893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6198] ppid=6167 vsize=15021016 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6198/stat : 6198 (java) S 6167 6167 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404891900 15381520384 32446 33554432000 4194304 4196468 140725230307568 140412642482640 140414650128283 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6199] ppid=6167 vsize=15021016 memory=5956 CPUtime=0.07 cores=1,3,5,7
/proc/6173/task/6199/stat : 6199 (java) S 6167 6167 5150 0 -1 1077944384 721 0 0 0 7 0 0 0 20 0 15 0 404891900 15381520384 32446 33554432000 4194304 4196468 140725230307568 140413988706544 140414650120834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6200] ppid=6167 vsize=15021016 memory=772 CPUtime=0.07 cores=1,3,5,7
/proc/6173/task/6200/stat : 6200 (java) R 6167 6167 5150 0 -1 4202560 311 0 0 0 7 0 0 0 20 0 15 0 404891900 15381520384 32446 33554432000 4194304 4196468 140725230307568 140413987641680 140414634503523 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6201] ppid=6167 vsize=15021016 memory=952 CPUtime=0.15 cores=1,3,5,7
/proc/6173/task/6201/stat : 6201 (java) S 6167 6167 5150 0 -1 1077944384 632 0 0 0 15 0 0 0 20 0 15 0 404891900 15381520384 32446 33554432000 4194304 4196468 140725230307568 140413986600944 140414650120834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6202] ppid=6167 vsize=15021016 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6202/stat : 6202 (java) S 6167 6167 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404891901 15381520384 32446 33554432000 4194304 4196468 140725230307568 140412144576864 140414650119893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
[pid=6173/tid=6203] ppid=6167 vsize=15021016 memory=20436 CPUtime=0 cores=1,3,5,7
/proc/6173/task/6203/stat : 6203 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404891901 15381520384 32446 33554432000 4194304 4196468 140725230307568 140413985549360 140414650120834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19972096 140725230314223 140725230314650 140725230314650 140725230317519 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 131176 KiB

[startup+1.50079 s]
/proc/loadavg: 1.63 1.74 1.86 5/230 6210
/proc/meminfo: memFree=14016856/32770624 swapFree=67004752/67108860
[pid=6167] ppid=6163 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6167/stat : 6167 (scop.sh) S 6163 6167 5150 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404891894 115843072 348 33554432000 4194304 5098028 140721008483808 140721008481064 139682587112060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10100736 140721008485160 140721008485488 140721008485488 140721008488397 0
/proc/6167/statm: 28282 348 296 221 0 87 0

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

Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+341.701 s]
/proc/loadavg: 1.80 1.87 1.90 3/234 6257
/proc/meminfo: memFree=185656/32770624 swapFree=67004752/67108860
[pid=6167] ppid=6163 vsize=113128 memory=1472 CPUtime=300.99 cores=1,3,5,7
/proc/6167/stat : 6167 (scop.sh) S 6163 6167 5150 0 -1 4202496 583 88603 0 1 0 0 29565 534 20 0 1 0 404891894 115843072 368 33554432000 4194304 5098028 140721008483808 140721008480552 139682587112060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10100736 140721008485160 140721008485488 140721008485488 140721008488397 0
/proc/6167/statm: 28282 368 311 221 0 87 0
[pid=6235] ppid=6167 vsize=8068440 memory=118328 CPUtime=1.33 cores=1,3,5,7
/proc/6235/stat : 6235 (java) S 6167 6167 5150 0 -1 1077944320 21078 0 0 0 124 9 0 0 20 0 19 0 404922660 8262082560 29582 33554432000 4194304 4196468 140722998398832 140722998381376 140290105241335 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
/proc/6235/statm: 2017110 29582 3210 1 0 1978454 0
[pid=6250] ppid=6235 vsize=8386232 memory=5583680 CPUtime=33.18 cores=1,3,5,7
/proc/6250/stat : 6250 (glueminisat-sim) R 6235 6167 5150 0 -1 4202496 1536500 0 1 0 3003 315 0 0 20 0 1 0 404922736 8587501568 1395920 33554432000 4194304 4452875 140731852115312 140731852110520 4269361 0 4 0 8388610 0 0 0 17 1 0 0 2 0 0 6552096 6554264 33595392 140731852116832 140731852117031 140731852117031 140731852119981 0
/proc/6250/statm: 2096558 1395920 343 64 0 2092762 0
[pid=6235/tid=6236] ppid=6167 vsize=8068440 memory=118328 CPUtime=0.78 cores=1,3,5,7
/proc/6235/task/6236/stat : 6236 (java) S 6167 6167 5150 0 -1 1077944384 17456 0 0 0 72 6 0 0 20 0 19 0 404922661 8262082560 29582 33554432000 4194304 4196468 140722998398832 140290077081504 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6237] ppid=6167 vsize=8068440 memory=118328 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6237/stat : 6237 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404922662 8262082560 29582 33554432000 4194304 4196468 140722998398832 140290109483792 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6238] ppid=6167 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6238/stat : 6238 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404922662 8262082560 29582 33554432000 4194304 4196468 140722998398832 140289940732816 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6239] ppid=6167 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6239/stat : 6239 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404922662 8262082560 29582 33554432000 4194304 4196468 140722998398832 140289589488656 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6240] ppid=6167 vsize=8068440 memory=118328 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6240/stat : 6240 (java) S 6167 6167 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404922662 8262082560 29582 33554432000 4194304 4196468 140722998398832 140289588436112 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6241] ppid=6167 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6241/stat : 6241 (java) S 6167 6167 5150 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 404922663 8262082560 29582 33554432000 4194304 4196468 140722998398832 140289417500656 140290105252482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6242] ppid=6167 vsize=8068440 memory=118328 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6242/stat : 6242 (java) S 6167 6167 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404922664 8262082560 29582 33554432000 4194304 4196468 140722998398832 140288932701088 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6243] ppid=6167 vsize=8068440 memory=5929888 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6243/stat : 6243 (java) S 6167 6167 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404922664 8262082560 29582 33554432000 4194304 4196468 140722998398832 140288664265712 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6244] ppid=6167 vsize=8068440 memory=5098860 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6244/stat : 6244 (java) S 6167 6167 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404922667 8262082560 29582 33554432000 4194304 4196468 140722998398832 140288289757392 140290105259931 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6245] ppid=6167 vsize=8068440 memory=1472 CPUtime=0.16 cores=1,3,5,7
/proc/6235/task/6245/stat : 6245 (java) S 6167 6167 5150 0 -1 1077944384 1027 0 0 0 16 0 0 0 20 0 19 0 404922667 8262082560 29582 33554432000 4194304 4196468 140722998398832 140289416448496 140290105252482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6246] ppid=6167 vsize=8068440 memory=5040448 CPUtime=0.1 cores=1,3,5,7
/proc/6235/task/6246/stat : 6246 (java) S 6167 6167 5150 0 -1 1077944384 386 0 0 0 10 0 0 0 20 0 19 0 404922667 8262082560 29582 33554432000 4194304 4196468 140722998398832 140289415395952 140290105252482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6247] ppid=6167 vsize=8068440 memory=1472 CPUtime=0.22 cores=1,3,5,7
/proc/6235/task/6247/stat : 6247 (java) S 6167 6167 5150 0 -1 1077944384 794 0 0 0 22 0 0 0 20 0 19 0 404922667 8262082560 29582 33554432000 4194304 4196468 140722998398832 140289414343408 140290105252482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6248] ppid=6167 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6248/stat : 6248 (java) S 6167 6167 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404922667 8262082560 29582 33554432000 4194304 4196468 140722998398832 140287791852640 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6249] ppid=6167 vsize=8068440 memory=1472 CPUtime=0.01 cores=1,3,5,7
/proc/6235/task/6249/stat : 6249 (java) S 6167 6167 5150 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 404922667 8262082560 29582 33554432000 4194304 4196468 140722998398832 140289413290288 140290105252482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 69 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6251] ppid=6167 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6251/stat : 6251 (java) S 6167 6167 5150 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404922736 8262082560 29582 33554432000 4194304 4196468 140722998398832 140289405256768 140290105265945 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6253] ppid=6167 vsize=8068440 memory=118328 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6253/stat : 6253 (java) S 6167 6167 5150 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 404922736 8262082560 29582 33554432000 4194304 4196468 140722998398832 140287254965904 140290105263261 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6254] ppid=6167 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6254/stat : 6254 (java) S 6167 6167 5150 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404922736 8262082560 29582 33554432000 4194304 4196468 140722998398832 140286986534672 140290105263261 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6255] ppid=6167 vsize=8068440 memory=952 CPUtime=0 cores=1,3,5,7
/proc/6235/task/6255/stat : 6255 (java) S 6167 6167 5150 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 404922739 8262082560 29582 33554432000 4194304 4196468 140722998398832 140287389195824 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
Current children cumulated CPU time: 335.5 s
Current children cumulated vsize: 16567800 KiB
Current children cumulated memory: 5703480 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+341.745 s]
# the end of solver process 6167 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=295.659 s, system=5.34652 s

[startup+342.271 s]
# the end of solver process 6235 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=326.942 s, system=9.12567 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+342.001 s]*
/proc/loadavg: 1.80 1.87 1.90 3/231 6261
/proc/meminfo: memFree=6516004/32770624 swapFree=67004752/67108860
[pid=6235] ppid=6163 vsize=8199512 memory=128588 CPUtime=34.81 cores=1,3,5,7
/proc/6235/stat : 6235 (java) S 6163 6167 5150 0 -1 1077944320 21116 1537320 0 1 124 15 3003 339 20 0 18 0 404922660 8396300288 32147 33554432000 4194304 4196468 140722998398832 140722998381376 140290105241335 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
/proc/6235/statm: 2049878 32147 3211 1 0 2011222 0
[pid=6235/tid=6236] ppid=6163 vsize=8199512 memory=8389772277269004345 CPUtime=34.2 cores=1,3,5,7
/proc/6235/task/6236/stat : 6236 (java) S 6163 6167 5150 0 -1 1077944384 17456 1537320 0 1 72 6 3003 339 20 0 18 0 404922661 8396300288 32147 33554432000 4194304 4196468 140722998398832 140290077081504 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6237] ppid=6163 vsize=8199512 memory=288230596134830103 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6237/stat : 6237 (java) S 6163 6167 5150 0 -1 1077944384 1 1537320 0 1 0 0 3003 339 20 0 18 0 404922662 8396300288 32147 33554432000 4194304 4196468 140722998398832 140290109483792 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6238] ppid=6163 vsize=8199512 memory=15114160716117656 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6238/stat : 6238 (java) S 6163 6167 5150 0 -1 1077944384 1 1537320 0 1 0 0 3003 339 20 0 18 0 404922662 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289940732816 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6239] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6239/stat : 6239 (java) S 6163 6167 5150 0 -1 1077944384 2 1537320 0 1 0 0 3003 339 20 0 18 0 404922662 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289589488656 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6240] ppid=6163 vsize=8199512 memory=-1 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6240/stat : 6240 (java) S 6163 6167 5150 0 -1 1077944384 2 1537320 0 1 0 0 3003 339 20 0 18 0 404922662 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289588436112 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6241] ppid=6163 vsize=8199512 memory=139696202839680 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6241/stat : 6241 (java) S 6163 6167 5150 0 -1 1077944384 6 1537320 0 1 0 0 3003 339 20 0 18 0 404922663 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289417500160 140290105252482 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6242] ppid=6163 vsize=8199512 memory=-1 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6242/stat : 6242 (java) S 6163 6167 5150 0 -1 1077944384 13 1537320 0 1 0 0 3003 339 20 0 18 0 404922664 8396300288 32147 33554432000 4194304 4196468 140722998398832 140288932701088 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6243] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6243/stat : 6243 (java) S 6163 6167 5150 0 -1 1077944384 1 1537320 0 1 0 0 3003 339 20 0 18 0 404922664 8396300288 32147 33554432000 4194304 4196468 140722998398832 140288664265712 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6244] ppid=6163 vsize=8199512 memory=26465588483102 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6244/stat : 6244 (java) S 6163 6167 5150 0 -1 1077944384 30 1537320 0 1 0 0 3003 339 20 0 18 0 404922667 8396300288 32147 33554432000 4194304 4196468 140722998398832 140288289757040 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6245] ppid=6163 vsize=8199512 memory=0 CPUtime=33.58 cores=1,3,5,7
/proc/6235/task/6245/stat : 6245 (java) S 6163 6167 5150 0 -1 1077944384 1027 1537320 0 1 16 0 3003 339 20 0 18 0 404922667 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289416448256 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6246] ppid=6163 vsize=8199512 memory=115838975 CPUtime=33.52 cores=1,3,5,7
/proc/6235/task/6246/stat : 6246 (java) S 6163 6167 5150 0 -1 1077944384 386 1537320 0 1 10 0 3003 339 20 0 18 0 404922667 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289415395952 140290105252482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6247] ppid=6163 vsize=8199512 memory=279392297089648 CPUtime=33.64 cores=1,3,5,7
/proc/6235/task/6247/stat : 6247 (java) S 6163 6167 5150 0 -1 1077944384 795 1537320 0 1 22 0 3003 339 20 0 18 0 404922667 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289414340912 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6248] ppid=6163 vsize=8199512 memory=139696094250003 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6248/stat : 6248 (java) S 6163 6167 5150 0 -1 1077944384 3 1537320 0 1 0 0 3003 339 20 0 18 0 404922667 8396300288 32147 33554432000 4194304 4196468 140722998398832 140287791852640 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6251] ppid=6163 vsize=8199512 memory=139696202839680 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6251/stat : 6251 (java) S 6163 6167 5150 0 -1 1077944384 23 1537320 0 1 0 0 3003 339 20 0 18 0 404922736 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289405254032 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6255] ppid=6163 vsize=8199512 memory=-1 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6255/stat : 6255 (java) S 6163 6167 5150 0 -1 1077944384 25 1537320 0 1 0 0 3003 339 20 0 18 0 404922739 8396300288 32147 33554432000 4194304 4196468 140722998398832 140287389186496 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6258] ppid=6163 vsize=8199512 memory=139696202839680 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6258/stat : 6258 (java) S 6163 6167 5150 0 -1 1077944384 4 1537320 0 1 0 0 3003 339 20 0 18 0 404926064 8396300288 32147 33554432000 4194304 4196468 140722998398832 140286718108112 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6261] ppid=6163 vsize=8199512 memory=-1 CPUtime=33.48 cores=1,3,5,7
/proc/6235/task/6261/stat : 6261 (java) R 6163 6167 5150 0 -1 4202560 2 1537320 0 1 0 6 3003 339 20 0 18 0 404926068 8396300288 32147 33554432000 4194304 4196468 140722998398832 140286449673632 140290097926967 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
Current cumulated CPU time of completed processes: 301.006 s
Current children cumulated CPU time: 34.81 s
Current children cumulated vsize: 8199512 KiB
Current children cumulated memory: 128588 KiB

[startup+342.201 s]
/proc/loadavg: 1.80 1.87 1.90 3/231 6261
/proc/meminfo: memFree=6516004/32770624 swapFree=67004752/67108860
[pid=6235] ppid=6163 vsize=8199512 memory=128588 CPUtime=35.01 cores=1,3,5,7
/proc/6235/stat : 6235 (java) S 6163 6167 5150 0 -1 1077944320 21116 1537320 0 1 124 35 3003 339 20 0 18 0 404922660 8396300288 32147 33554432000 4194304 4196468 140722998398832 140722998381376 140290105241335 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
/proc/6235/statm: 2049878 32147 3211 1 0 2011222 0
[pid=6235/tid=6236] ppid=6163 vsize=8199512 memory=7591221145440641898 CPUtime=34.2 cores=1,3,5,7
/proc/6235/task/6236/stat : 6236 (java) S 6163 6167 5150 0 -1 1077944384 17456 1537320 0 1 72 6 3003 339 20 0 18 0 404922661 8396300288 32147 33554432000 4194304 4196468 140722998398832 140290077081504 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6237] ppid=6163 vsize=8199512 memory=8112282956445269571 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6237/stat : 6237 (java) S 6163 6167 5150 0 -1 1077944384 1 1537320 0 1 0 0 3003 339 20 0 18 0 404922662 8396300288 32147 33554432000 4194304 4196468 140722998398832 140290109483792 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6238] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6238/stat : 6238 (java) S 6163 6167 5150 0 -1 1077944384 1 1537320 0 1 0 0 3003 339 20 0 18 0 404922662 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289940732816 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6239] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6239/stat : 6239 (java) S 6163 6167 5150 0 -1 1077944384 2 1537320 0 1 0 0 3003 339 20 0 18 0 404922662 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289589488656 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6240] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6240/stat : 6240 (java) S 6163 6167 5150 0 -1 1077944384 2 1537320 0 1 0 0 3003 339 20 0 18 0 404922662 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289588436112 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6241] ppid=6163 vsize=8199512 memory=6944656592455097440 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6241/stat : 6241 (java) S 6163 6167 5150 0 -1 1077944384 6 1537320 0 1 0 0 3003 339 20 0 18 0 404922663 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289417500160 140290105252482 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6242] ppid=6163 vsize=8199512 memory=6656426216303648864 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6242/stat : 6242 (java) S 6163 6167 5150 0 -1 1077944384 13 1537320 0 1 0 0 3003 339 20 0 18 0 404922664 8396300288 32147 33554432000 4194304 4196468 140722998398832 140288932701088 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6243] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6243/stat : 6243 (java) S 6163 6167 5150 0 -1 1077944384 1 1537320 0 1 0 0 3003 339 20 0 18 0 404922664 8396300288 32147 33554432000 4194304 4196468 140722998398832 140288664265712 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6244] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6244/stat : 6244 (java) S 6163 6167 5150 0 -1 1077944384 30 1537320 0 1 0 0 3003 339 20 0 18 0 404922667 8396300288 32147 33554432000 4194304 4196468 140722998398832 140288289757040 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6245] ppid=6163 vsize=8199512 memory=0 CPUtime=33.58 cores=1,3,5,7
/proc/6235/task/6245/stat : 6245 (java) S 6163 6167 5150 0 -1 1077944384 1027 1537320 0 1 16 0 3003 339 20 0 18 0 404922667 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289416448256 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6246] ppid=6163 vsize=8199512 memory=0 CPUtime=33.52 cores=1,3,5,7
/proc/6235/task/6246/stat : 6246 (java) S 6163 6167 5150 0 -1 1077944384 386 1537320 0 1 10 0 3003 339 20 0 18 0 404922667 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289415395952 140290105252482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6247] ppid=6163 vsize=8199512 memory=0 CPUtime=33.64 cores=1,3,5,7
/proc/6235/task/6247/stat : 6247 (java) S 6163 6167 5150 0 -1 1077944384 795 1537320 0 1 22 0 3003 339 20 0 18 0 404922667 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289414340912 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6248] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6248/stat : 6248 (java) S 6163 6167 5150 0 -1 1077944384 3 1537320 0 1 0 0 3003 339 20 0 18 0 404922667 8396300288 32147 33554432000 4194304 4196468 140722998398832 140287791852640 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6251] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6251/stat : 6251 (java) S 6163 6167 5150 0 -1 1077944384 23 1537320 0 1 0 0 3003 339 20 0 18 0 404922736 8396300288 32147 33554432000 4194304 4196468 140722998398832 140289405254032 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6255] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6255/stat : 6255 (java) S 6163 6167 5150 0 -1 1077944384 25 1537320 0 1 0 0 3003 339 20 0 18 0 404922739 8396300288 32147 33554432000 4194304 4196468 140722998398832 140287389186496 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6258] ppid=6163 vsize=8199512 memory=0 CPUtime=33.42 cores=1,3,5,7
/proc/6235/task/6258/stat : 6258 (java) S 6163 6167 5150 0 -1 1077944384 4 1537320 0 1 0 0 3003 339 20 0 18 0 404926064 8396300288 32147 33554432000 4194304 4196468 140722998398832 140286718108112 140290105251541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
[pid=6235/tid=6261] ppid=6163 vsize=8199512 memory=0 CPUtime=33.67 cores=1,3,5,7
/proc/6235/task/6261/stat : 6261 (java) R 6163 6167 5150 0 -1 4202560 2 1537320 0 1 0 25 3003 339 20 0 18 0 404926068 8396300288 32147 33554432000 4194304 4196468 140722998398832 140286449673632 140290097926967 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34635776 140722998404092 140722998404250 140722998404250 140722998407119 0
Current cumulated CPU time of completed processes: 301.006 s
Current children cumulated CPU time: 35.01 s
Current children cumulated vsize: 8199512 KiB
Current children cumulated memory: 128588 KiB

Child status: 1
Real time (s): 342.271
CPU time (s): 336.068
CPU user time (s): 326.942
CPU system time (s): 9.12567
CPU usage (%): 98.1877
Max. virtual memory (cumulated for all children) (KiB): 16567800
Max. memory (cumulated for all children) (KiB): 6066388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 326.942
system time used= 9.12567
maximum resident set size= 5946588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1648121
page faults= 3
swaps= 0
block input operations= 22080
block output operations= 4134560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15776
involuntary context switches= 1100


# summary of solver processes directly reported to runsolver:
#   pid: 6167,6235
#   total CPU time (s): 336.068
#   total CPU user time (s): 326.942
#   total CPU system time (s): 9.12567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.8872 second user time and 2.78236 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-12 13:03:23
IDJOB=4387605
IDBENCH=120766
IDSOLVER=2825
FILE ID=node126/4387605-1568286241
RUNJOBID= node126-1568286203-6147
PBS_JOBID= 21701078
Free space on /tmp= 53176 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K09-P07.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-4387605-1568286241/watcher-4387605-1568286241 -o /tmp/evaluation-result-4387605-1568286241/solver-4387605-1568286241 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6147 --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-4387605-1568286241.xml

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

MD5SUM BENCH= 77d215e563c424ff51075488b165aa80
RANDOM SEED=378319505

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        14284796 kB
MemAvailable:   31860848 kB
Buffers:          168660 kB
Cached:         17476780 kB
SwapCached:         2860 kB
Active:          1943376 kB
Inactive:       15706248 kB
Active(anon):      11652 kB
Inactive(anon):    34704 kB
Active(file):    1931724 kB
Inactive(file): 15671544 kB
Unevictable:      109096 kB
Mlocked:          109096 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             41176 kB
Writeback:             0 kB
AnonPages:        112856 kB
Mapped:            42824 kB
Shmem:             32816 kB
Slab:             429908 kB
SReclaimable:     401244 kB
SUnreclaim:        28664 kB
KernelStack:        3408 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     501548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 51332 MiB
End job on node126 at 2019-09-12 13:09:06