Trace number 4388064

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) 165.874 161.968

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-08-m039.xml
MD5SUMcf7d41cb48e0c265061ebe127338815d
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 variables225
Number of constraints52
Number of domains1
Minimum domain size169
Maximum domain size169
Distribution of domain sizes[{"size":169,"count":169}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":45}]
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-11676-serial-file.bin HOME/instance-4388064-1568294876.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.55	c BEGIN-Prog: Thu Sep 12 15:27:17 CEST 2019
0.66/0.55	c PID: 11679
0.66/0.55	c IP: 172.20.3.150
0.66/0.55	c HOST: node150.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.43/0.93	c (0,0) Parsing End
1.43/0.94	c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 52 ctr, max domain size 169
1.43/0.94	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.94	c (0,0) Constraint Name Generate Begin
1.43/0.94	c (0,0) Ctr:HOME/instance-4388064-1568294876.xml,AllDifferent:Lt:Num:Var:WeightedSum
1.43/0.94	c (0,0) Constraint Name Generate End
1.43/0.94	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.94	c (0,0) CSP to CSPinCNF Begin
4.66/2.16	c (1,1) translated 6 (10%) constraints
4.66/2.16	c (1,1) translated 11 (20%) constraints
4.66/2.16	c (1,1) translated 16 (30%) constraints
4.66/2.16	c (1,1) translated 21 (40%) constraints
4.66/2.17	c (1,1) translated 26 (50%) constraints
4.66/2.17	c (1,1) translated 32 (60%) constraints
4.66/2.18	c (1,1) translated 37 (70%) constraints
4.66/2.18	c (1,1) translated 42 (80%) constraints
4.66/2.18	c (1,1) translated 47 (90%) constraints
4.66/2.19	c (1,1) translated 52 (100%) constraints
4.66/2.19	c (1,1) ===========================================
4.66/2.19	c (1,1) Order
4.66/2.19	c (1,1) ===========================================
5.30/2.30	c (1,1) translated 1442 (10%) constraints
5.30/2.39	c (1,1) translated 2884 (20%) constraints
5.60/2.46	c (1,1) translated 4326 (30%) constraints
5.90/2.51	c (1,1) translated 5768 (40%) constraints
5.90/2.57	c (2,2) translated 7209 (50%) constraints
6.19/2.63	c (2,2) translated 8651 (60%) constraints
6.19/2.69	c (2,2) translated 10093 (70%) constraints
6.46/2.74	c (2,2) translated 11535 (80%) constraints
6.46/2.79	c (2,2) translated 12977 (90%) constraints
10.32/4.42	c (3,3) translated 14418 (100%) constraints
10.32/4.43	c (3,3) CSP to CSPinCNF End
10.32/4.44	c (3,3) CSP: 541 int (372 aux), 28561 bool (28561 aux), 72329 ctr, max domain size 841
10.32/4.45	c (3,3) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
10.32/4.45	c (3,3) CSPinCNF Propagation Begin
11.82/5.49	c (4,4) 9 values, 25 unsatisfiable literals, and 356 valid clauses are removed
11.82/5.49	c (4,4) CSPinCNF Propagation End
12.08/5.50	c (4,4) CSP: 541 int (372 aux), 28561 bool (28561 aux), 71973 ctr, max domain size 841
12.08/5.50	c (4,4) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
12.08/5.50	c (4,4) Simplify CSPinCNF Begin
13.55/6.11	c (5,5) Simplify CSPinCNF End
13.55/6.14	c (5,5) CSP: 541 int (372 aux), 56953 bool (56953 aux), 100365 ctr, max domain size 841
13.55/6.14	c (5,5) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.55/6.14	c (5,5) Calculate Precise Domain Begin
13.84/6.20	c (5,5) 4 values are removed by re-calculation
13.84/6.20	c (5,5) Calculate Precise Domain End
13.84/6.22	c (5,5) CSP: 541 int (372 aux), 56953 bool (56953 aux), 100365 ctr, max domain size 841
13.84/6.22	c (5,5) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.84/6.22	c (5,5) CSPinCNF to SatSolver Begin
22.27/11.18	c (10,10) 10037 (10 %) CSP clauses are encoded (0 SAT variables, 1329262 SAT clauses)
26.48/15.39	c (14,14) 20073 (20 %) CSP clauses are encoded (0 SAT variables, 2463186 SAT clauses)
30.99/19.35	c (18,17) 30110 (30 %) CSP clauses are encoded (0 SAT variables, 3597063 SAT clauses)
35.35/23.71	c (23,21) 40146 (40 %) CSP clauses are encoded (0 SAT variables, 4730545 SAT clauses)
36.25/25.10	c (24,22) 50183 (50 %) CSP clauses are encoded (0 SAT variables, 5014174 SAT clauses)
36.36/25.18	c (24,22) 60219 (60 %) CSP clauses are encoded (0 SAT variables, 5024210 SAT clauses)
36.45/25.26	c (24,22) 70256 (70 %) CSP clauses are encoded (0 SAT variables, 5034247 SAT clauses)
36.55/25.34	c (24,22) 80292 (80 %) CSP clauses are encoded (0 SAT variables, 5044283 SAT clauses)
36.65/25.41	c (24,22) 90329 (90 %) CSP clauses are encoded (0 SAT variables, 5054320 SAT clauses)
139.84/136.53	c (136,118) 100365 (100 %) CSP clauses are encoded (0 SAT variables, 73893216 SAT clauses)
139.84/136.53	c (136,118) CSPinCNF to SatSolver End
139.84/136.53	c (136,118) Heap : 3031 MiB used (max 11134 MiB), NonHeap : 28 MiB used (max 0 MiB)
139.84/136.54	c (136,118) 254623 bool, 73893382 clause
139.84/136.54	c (136,118) Export Begin
139.98/136.64	c (136,118) Export to HOME/scop-11676-serial-file.bin
139.98/136.64	c (136,118) Export End
139.98/136.64	c (136,118) Export File Size: 0.03 MB
139.98/136.64	c (136,118) 0,0,3,4,5,5,136,STOP-AFTER(DIMACS)
139.98/136.64	c END-Prog: Thu Sep 12 15:29:33 CEST 2019
139.98/136.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11676-serial-file.bin
140.68/137.13	c (0,0) Read Serial File Begin
140.68/137.13	c (0,0) HOME/scop-11676-serial-file.bin
140.93/137.35	c (0,0) Read Serial File End
140.93/137.36	
140.93/137.36	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
140.93/137.36	(Solving Process)
140.93/137.36	
140.93/137.38	c BEGIN-Prog: Thu Sep 12 15:29:34 CEST 2019
140.93/137.38	c PID: 11705
140.93/137.38	c IP: 172.20.3.150
140.93/137.38	c HOST: node150.alineos.net
140.93/137.39	c (0,0) SatSolver.solve Begin
140.93/137.39	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388064-1568294876.xml-scop-11679.cnf
141.12/137.43	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
141.12/137.43	c (0,0) c glueminisat-simp-2.2.10-193oa-n
141.12/137.43	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388064-1568294876.xml-scop-11679.cnf 
141.12/137.43	c (0,0) c Options:
141.12/137.43	c (0,0) c CORE
141.12/137.43	c (0,0) c  var_decay             = 0.950
141.12/137.43	c (0,0) c  clause_decay          = 0.999
141.12/137.43	c (0,0) c  random_var_freq       = 0.000
141.12/137.43	c (0,0) c  random_seed           = 91648253.000
141.12/137.43	c (0,0) c  luby_restart          = 1
141.12/137.43	c (0,0) c  ccmin_mode            = 2
141.12/137.43	c (0,0) c  phase_saving          = 2
141.12/137.43	c (0,0) c  rnd_pol               = 0
141.12/137.43	c (0,0) c  rnd_init_act          = 0
141.12/137.43	c (0,0) c  garbage_frac          = 0.200
141.12/137.43	c (0,0) c  restart_first         = 1000
141.12/137.44	c (0,0) c  restart_inc           = 2.000
141.12/137.44	c (0,0) c MODEL
141.12/137.44	c (0,0) c  partial_model         = 0
141.12/137.44	c (0,0) c PROPAGATION
141.12/137.44	c (0,0) c  bin_propagation       = 1
141.12/137.44	c (0,0) c SIMPLIFICATION
141.12/137.44	c (0,0) c  lrn_min_size          = 100
141.12/137.44	c (0,0) c  lazy_simp             = 1
141.12/137.44	c (0,0) c  lazy_interval         = 10
141.12/137.44	c (0,0) c  lazy_fld_probing      = 1
141.12/137.44	c (0,0) c  lazy_pol_probing      = 1
141.12/137.44	c (0,0) c  lazy_nec_probing      = 1
141.12/137.44	c (0,0) c  lazy_eqv_probing      = 1
141.12/137.44	c (0,0) c  lazy_cla_probing      = 1
141.12/137.44	c (0,0) c  lazy_lrn_min          = 2
141.12/137.44	c (0,0) c  lazy_uw_lit_elim      = 1
141.12/137.44	c (0,0) c  lazy_pr_lit_elim      = 0
141.12/137.44	c (0,0) c  lazy_bin_add          = 3
141.12/137.44	c (0,0) c  probed_lit_chain      = 1
141.12/137.44	c (0,0) c  pr_min_lits           = 0.00020
141.12/137.44	c (0,0) c  pr_min_starts         = 500
141.12/137.44	c (0,0) c  rw_min_lits           = 0.010
141.12/137.44	c (0,0) c  rw_min_starts         = 500
141.12/137.44	c (0,0) c  rand_attach           = 0
141.12/137.44	c (0,0) c  dec_elim              = 1
141.12/137.44	c (0,0) c  dec_elim_lim          = 25
141.12/137.44	c (0,0) c  dec_elim_len          = -1
141.12/137.44	c (0,0) c  amo                   = 0
141.12/137.44	c (0,0) c  amo_grp               = 1
141.12/137.44	c (0,0) c  amo_max_bins          = 1000000
141.12/137.44	c (0,0) c  amo_starts            = 50
141.12/137.44	c (0,0) c  mace_cmd              = mace
141.12/137.44	c (0,0) c DECISION
141.12/137.44	c (0,0) c  rand_rebuild          = 0
141.12/137.44	c (0,0) c  rand_rebuild_confs    = 10000
141.12/137.44	c (0,0) c  inc_var_decay         = 1
141.12/137.44	c (0,0) c  inc_var_decay_period  = 100000
141.12/137.44	c (0,0) c  inc_var_decay_init    = 0.600
141.12/137.44	c (0,0) c  var_decay_mode        = 0
141.12/137.44	c (0,0) c  var_decay_gain        = 0
141.12/137.44	c (0,0) c  sloped_var_decay      = 1
141.12/137.44	c (0,0) c  max_var_decay         = 0.990
141.12/137.44	c (0,0) c  min_var_decay         = 0.950
141.12/137.44	c (0,0) c  min_var_decay_vars    = 10000
141.12/137.44	c (0,0) c  max_var_decay_vars    = 500
141.12/137.44	c (0,0) c  uip_bumping           = 1
141.12/137.44	c (0,0) c  lbd_act_bumping       = 1
141.12/137.44	c (0,0) c  rand_tiebreak         = 0
141.12/137.44	c (0,0) c  simp_rebuild          = 1
141.12/137.44	c (0,0) c RESTART
141.12/137.44	c (0,0) c  restart_strategy      = 2
141.12/137.44	c (0,0) c  restart_blocking      = 0
141.12/137.44	c (0,0) c  agility_decay         = 0.99990
141.12/137.44	c (0,0) c  lbd_restart_rate      = 0.800
141.12/137.44	c (0,0) c  dec_restart_rate      = 0.950
141.12/137.44	c (0,0) c  blk_restart_rate      = 0.700
141.12/137.44	c (0,0) c  lbd_queue_size        = 50
141.12/137.44	c (0,0) c  dec_queue_size        = 50
141.12/137.44	c (0,0) c  trl_queue_size        = 5000
141.12/137.44	c (0,0) c  blk_restart_weight    = 1.000
141.12/137.44	c (0,0) c  inc_rst_rate          = 0
141.12/137.44	c (0,0) c  inc_rst_rate_period   = 500000
141.12/137.44	c (0,0) c  inc_lbd_rst_rate_init = 0.600
141.12/137.44	c (0,0) c  inc_dec_rst_rate_init = 0.750
141.12/137.44	c (0,0) c REDUCTION
141.12/137.44	c (0,0) c  closed_lbd            = 0
141.12/137.44	c (0,0) c  closed_lbd_rate       = 0.500
141.12/137.44	c (0,0) c  rm_simulate           = 0
141.12/137.44	c (0,0) c  rdb_eval              = 2
141.12/137.44	c (0,0) c  rdb_call              = 3
141.12/137.44	c (0,0) c  rdb_ub                = 0.500
141.12/137.44	c (0,0) c  core_lbd_cvr          = 0.800
141.12/137.44	c (0,0) c  supp_lbd_cvr          = 0.990
141.12/137.44	c (0,0) c  core_lbd_lb           = 2
141.12/137.44	c (0,0) c  supp_lbd_lb           = 2
141.12/137.44	c (0,0) c  core_lbd_prd          = 7
141.12/137.44	c (0,0) c  supp_lbd_prd          = 1
141.12/137.44	c (0,0) c  othr_lbd_prd          = 0
141.12/137.44	c (0,0) c  inc_lrn_limit         = 1000
141.12/137.44	c (0,0) c  frozen_lbd            = 30
141.12/137.44	c (0,0) c  simp_min_starts       = 100
141.12/137.44	c (0,0) c  rm_low_act_learnts    = 1
141.12/137.44	c (0,0) c  lv0_reduce_db         = 0
141.12/137.44	c (0,0) c  reduce_db_base        = 20000
141.12/137.44	c (0,0) c  reduce_db_inc         = 1000
141.12/137.44	c (0,0) c HARD
141.12/137.44	c (0,0) c  inst_check            = 200000
141.12/137.44	c (0,0) c  small_block           = 1.750
141.12/137.44	c (0,0) c  slow_restart_speed    = 400.000
141.12/137.44	c (0,0) c  slow_restart_strategy = 3
141.12/137.44	c (0,0) c  slow_lbd_restart_rate = 0.700
141.12/137.44	c (0,0) c  slow_dec_restart_rate = 1.000
141.12/137.44	c (0,0) c  slow_lbd_queue_size   = 50
141.12/137.44	c (0,0) c  slow_var_decay        = 0.950
141.12/137.44	c (0,0) c  slow_glue_threshold   = 2
141.12/137.44	c (0,0) c  slow_phase_saving     = 2
141.12/137.44	c (0,0) c  fast_restart_speed    = 125.000
141.12/137.44	c (0,0) c  fast_restart_strategy = 1
141.12/137.44	c (0,0) c  fast_lbd_restart_rate = 0.800
141.12/137.44	c (0,0) c  fast_dec_restart_rate = 0.950
141.12/137.44	c (0,0) c  fast_lbd_queue_size   = 50
141.12/137.44	c (0,0) c  fast_var_decay        = 1.000
141.12/137.44	c (0,0) c  fast_glue_threshold   = 2
141.12/137.44	c (0,0) c  fast_phase_saving     = 2
141.12/137.44	c (0,0) c STATS
141.12/137.44	c (0,0) c  stats_conf_size       = 10000
141.12/137.44	c (0,0) c  max_stats_size        = 30
141.12/137.44	c (0,0) c SOLVER
141.12/137.44	c (0,0) c  minisat               = 0
162.77/158.92	c (21,0) c Problem: 254623 variables, 73893382 clauses, parsing 19.61 s
165.17/161.33	c (24,0) c  exclude 169 (0.1%) variables from decision variables (last cost 2)
165.38/161.50	c (24,0) receiving signal SIGTERM
165.38/161.50	s UNKNOWN
165.38/161.51	c (scop.sh) Receiving Signal. Removing all intermediate files.
165.38/161.51	c (scop.sh) Remove HOME/scop-11676-serial-file.bin.
165.38/161.51	c (scop.sh) Killing background jobs.
165.38/161.51	c (24,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 (7115 MiB free)
  memory of node 1: 16384 MiB (15821 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100059 s]*
/proc/loadavg: 2.05 2.85 2.82 4/234 11693
/proc/meminfo: memFree=23429108/32770624 swapFree=67015700/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (scop.sh) S 11673 11676 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405760238 115843072 348 33554432000 4194304 5098028 140726741376704 140726741373960 139716687647356 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26931200 140726741377832 140726741378160 140726741378160 140726741381069 0
/proc/11676/statm: 28282 348 296 221 0 87 0
[pid=11679] ppid=11676 vsize=15016308 memory=73904 CPUtime=0.11 cores=1,3,5,7
/proc/11679/stat : 11679 (java) S 11676 11676 7440 0 -1 1077944320 6746 0 0 0 9 2 0 0 20 0 15 0 405760238 15376699392 18476 33554432000 4194304 4196468 140725845870672 140725845853216 140544328896247 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
/proc/11679/statm: 3754077 18476 2919 1 0 3716482 0
[pid=11679/tid=11680] ppid=11676 vsize=15016308 memory=7533807676074704953 CPUtime=0.09 cores=1,3,5,7
/proc/11679/task/11680/stat : 11680 (java) R 11676 11676 7440 0 -1 4202560 4923 0 0 0 7 2 0 0 20 0 15 0 405760239 15376699392 18872 33554432000 4194304 4196468 140725845870672 140544300680496 140544321575965 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11681] ppid=11676 vsize=15016308 memory=3472468989947336368 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11681/stat : 11681 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760240 15376699392 18872 33554432000 4194304 4196468 140725845870672 140544333138192 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11682] ppid=11676 vsize=15016308 memory=140693719656064 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11682/stat : 11682 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760240 15376699392 18872 33554432000 4194304 4196468 140725845870672 140544151226768 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11683] ppid=11676 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11683/stat : 11683 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760240 15376699392 18872 33554432000 4194304 4196468 140725845870672 140544150174224 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11684] ppid=11676 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11684/stat : 11684 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760240 15376699392 18872 33554432000 4194304 4196468 140725845870672 140544149121680 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11685] ppid=11676 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11685/stat : 11685 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760242 15376699392 18872 33554432000 4194304 4196468 140725845870672 140543165151728 140544328907394 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11686] ppid=11676 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11686/stat : 11686 (java) S 11676 11676 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405760242 15376699392 18872 33554432000 4194304 4196468 140725845870672 140542939751840 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11687] ppid=11676 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11687/stat : 11687 (java) S 11676 11676 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405760242 15376699392 18872 33554432000 4194304 4196468 140725845870672 140542805530096 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11688] ppid=11676 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11688/stat : 11688 (java) S 11676 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405760245 15376699392 18872 33554432000 4194304 4196468 140725845870672 140542431025872 140544328914843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11689] ppid=11676 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11689/stat : 11689 (java) S 11676 11676 7440 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 405760245 15376699392 18872 33554432000 4194304 4196468 140725845870672 140543164098544 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11690] ppid=11676 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11690/stat : 11690 (java) S 11676 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405760245 15376699392 18872 33554432000 4194304 4196468 140725845870672 140543163046000 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11691] ppid=11676 vsize=15016308 memory=140693719656064 CPUtime=0.01 cores=1,3,5,7
/proc/11679/task/11691/stat : 11691 (java) S 11676 11676 7440 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 15 0 405760245 15376699392 18872 33554432000 4194304 4196468 140725845870672 140543161993456 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11692] ppid=11676 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11692/stat : 11692 (java) S 11676 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405760245 15376699392 18872 33554432000 4194304 4196468 140725845870672 140541933120096 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11693] ppid=11676 vsize=15016308 memory=140693719656064 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11693/stat : 11693 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760245 15376699392 18886 33554432000 4194304 4196468 140725845870672 140543160941360 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 75296 KiB

[startup+0.210831 s]*
/proc/loadavg: 2.05 2.85 2.82 3/234 11693
/proc/meminfo: memFree=23413228/32770624 swapFree=67015700/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (scop.sh) S 11673 11676 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405760238 115843072 348 33554432000 4194304 5098028 140726741376704 140726741373960 139716687647356 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26931200 140726741377832 140726741378160 140726741378160 140726741381069 0
/proc/11676/statm: 28282 348 296 221 0 87 0
[pid=11679] ppid=11676 vsize=15012696 memory=85032 CPUtime=0.26 cores=1,3,5,7
/proc/11679/stat : 11679 (java) S 11676 11676 7440 0 -1 1077944320 10780 0 0 0 22 4 0 0 20 0 15 0 405760238 15373000704 21258 33554432000 4194304 4196468 140725845870672 140725845853216 140544328896247 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
/proc/11679/statm: 3753174 21258 2927 1 0 3715579 0
[pid=11679/tid=11680] ppid=11676 vsize=15012696 memory=8514701219881125283 CPUtime=0.2 cores=1,3,5,7
/proc/11679/task/11680/stat : 11680 (java) R 11676 11676 7440 0 -1 4202560 8488 0 0 0 17 3 0 0 20 0 15 0 405760239 15373000704 21258 33554432000 4194304 4196468 140725845870672 140544300717600 140544328908182 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11681] ppid=11676 vsize=15012696 memory=3472468989947336368 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11681/stat : 11681 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760240 15373000704 21258 33554432000 4194304 4196468 140725845870672 140544333138192 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11682] ppid=11676 vsize=15012696 memory=140693719656064 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11682/stat : 11682 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760240 15373000704 21258 33554432000 4194304 4196468 140725845870672 140544151226768 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11683] ppid=11676 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11683/stat : 11683 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760240 15373000704 21258 33554432000 4194304 4196468 140725845870672 140544150174224 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11684] ppid=11676 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11684/stat : 11684 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760240 15373000704 21258 33554432000 4194304 4196468 140725845870672 140544149121680 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11685] ppid=11676 vsize=15012696 memory=140693719656064 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11685/stat : 11685 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760242 15373000704 21258 33554432000 4194304 4196468 140725845870672 140543165151728 140544328907394 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11686] ppid=11676 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11686/stat : 11686 (java) S 11676 11676 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405760242 15373000704 21258 33554432000 4194304 4196468 140725845870672 140542939751840 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11687] ppid=11676 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11687/stat : 11687 (java) S 11676 11676 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405760242 15373000704 21258 33554432000 4194304 4196468 140725845870672 140542805530096 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11688] ppid=11676 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11688/stat : 11688 (java) S 11676 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405760245 15373000704 21258 33554432000 4194304 4196468 140725845870672 140542431025872 140544328914843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11689] ppid=11676 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11689/stat : 11689 (java) S 11676 11676 7440 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 405760245 15373000704 21258 33554432000 4194304 4196468 140725845870672 140543164098544 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11690] ppid=11676 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11690/stat : 11690 (java) S 11676 11676 7440 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 405760245 15373000704 21258 33554432000 4194304 4196468 140725845870672 140543163046000 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11691] ppid=11676 vsize=15012696 memory=140693719656064 CPUtime=0.03 cores=1,3,5,7
/proc/11679/task/11691/stat : 11691 (java) S 11676 11676 7440 0 -1 1077944384 467 0 0 0 3 0 0 0 20 0 15 0 405760245 15373000704 21258 33554432000 4194304 4196468 140725845870672 140543161993456 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11692] ppid=11676 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11692/stat : 11692 (java) S 11676 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405760245 15373000704 21258 33554432000 4194304 4196468 140725845870672 140541933120096 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11693] ppid=11676 vsize=15012696 memory=140693719656064 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11693/stat : 11693 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760245 15373000704 21258 33554432000 4194304 4196468 140725845870672 140543160941360 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86424 KiB

[startup+0.310632 s]*
/proc/loadavg: 2.05 2.85 2.82 3/234 11693
/proc/meminfo: memFree=23410888/32770624 swapFree=67015700/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (scop.sh) S 11673 11676 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405760238 115843072 348 33554432000 4194304 5098028 140726741376704 140726741373960 139716687647356 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26931200 140726741377832 140726741378160 140726741378160 140726741381069 0
/proc/11676/statm: 28282 348 296 221 0 87 0
[pid=11679] ppid=11676 vsize=15012696 memory=88452 CPUtime=0.43 cores=1,3,5,7
/proc/11679/stat : 11679 (java) S 11676 11676 7440 0 -1 1077944320 11694 0 0 0 39 4 0 0 20 0 15 0 405760238 15373000704 22113 33554432000 4194304 4196468 140725845870672 140725845853216 140544328896247 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
/proc/11679/statm: 3753174 22113 3030 1 0 3715579 0
[pid=11679/tid=11680] ppid=11676 vsize=15012696 memory=8514701219881125283 CPUtime=0.29 cores=1,3,5,7
/proc/11679/task/11680/stat : 11680 (java) R 11676 11676 7440 0 -1 4202560 9232 0 0 0 26 3 0 0 20 0 15 0 405760239 15373000704 22113 33554432000 4194304 4196468 140725845870672 140544300696160 140544309171975 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11681] ppid=11676 vsize=15012696 memory=3472468989947336368 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11681/stat : 11681 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760240 15373000704 22113 33554432000 4194304 4196468 140725845870672 140544333138192 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11682] ppid=11676 vsize=15012696 memory=140693719663530 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11682/stat : 11682 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760240 15373000704 22113 33554432000 4194304 4196468 140725845870672 140544151226768 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11683] ppid=11676 vsize=15012696 memory=140693599279419 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11683/stat : 11683 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760240 15373000704 22113 33554432000 4194304 4196468 140725845870672 140544150174224 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11684] ppid=11676 vsize=15012696 memory=140693599285679 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11684/stat : 11684 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760240 15373000704 22113 33554432000 4194304 4196468 140725845870672 140544149121680 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11685] ppid=11676 vsize=15012696 memory=140693719664718 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11685/stat : 11685 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760242 15373000704 22113 33554432000 4194304 4196468 140725845870672 140543165151728 140544328907394 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11686] ppid=11676 vsize=15012696 memory=140693599276495 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11686/stat : 11686 (java) S 11676 11676 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405760242 15373000704 22113 33554432000 4194304 4196468 140725845870672 140542939751840 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11687] ppid=11676 vsize=15012696 memory=281387198566768 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11687/stat : 11687 (java) S 11676 11676 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405760242 15373000704 22113 33554432000 4194304 4196468 140725845870672 140542805530096 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11688] ppid=11676 vsize=15012696 memory=140693599295042 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11688/stat : 11688 (java) S 11676 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405760245 15373000704 22113 33554432000 4194304 4196468 140725845870672 140542431025872 140544328914843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11689] ppid=11676 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11679/task/11689/stat : 11689 (java) S 11676 11676 7440 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 15 0 405760245 15373000704 22113 33554432000 4194304 4196468 140725845870672 140543164098544 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11690] ppid=11676 vsize=15012696 memory=2240 CPUtime=0.01 cores=1,3,5,7
/proc/11679/task/11690/stat : 11690 (java) S 11676 11676 7440 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 15 0 405760245 15373000704 22113 33554432000 4194304 4196468 140725845870672 140543163046000 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11691] ppid=11676 vsize=15012696 memory=140693719656064 CPUtime=0.07 cores=1,3,5,7
/proc/11679/task/11691/stat : 11691 (java) S 11676 11676 7440 0 -1 1077944384 486 0 0 0 7 0 0 0 20 0 15 0 405760245 15373000704 22113 33554432000 4194304 4196468 140725845870672 140543161993456 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11692] ppid=11676 vsize=15012696 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11692/stat : 11692 (java) S 11676 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405760245 15373000704 22113 33554432000 4194304 4196468 140725845870672 140541933120096 140544328906453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11693] ppid=11676 vsize=15012696 memory=140693719656064 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11693/stat : 11693 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760245 15373000704 22113 33554432000 4194304 4196468 140725845870672 140543160941360 140544328907394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89844 KiB

[startup+0.701532 s]
/proc/loadavg: 2.05 2.85 2.82 3/234 11693
/proc/meminfo: memFree=23387196/32770624 swapFree=67015700/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (scop.sh) S 11673 11676 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405760238 115843072 348 33554432000 4194304 5098028 140726741376704 140726741373960 139716687647356 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26931200 140726741377832 140726741378160 140726741378160 140726741381069 0
/proc/11676/statm: 28282 348 296 221 0 87 0
[pid=11679] ppid=11676 vsize=15021092 memory=128764 CPUtime=1.02 cores=1,3,5,7
/proc/11679/stat : 11679 (java) S 11676 11676 7440 0 -1 1077944320 19530 0 0 0 95 7 0 0 20 0 15 0 405760238 15381598208 32191 33554432000 4194304 4196468 140725845870672 140725845853216 140544328896247 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
/proc/11679/statm: 3755273 32191 3216 1 0 3716603 0
[pid=11679/tid=11680] ppid=11676 vsize=15021092 memory=7597685182856913236 CPUtime=0.67 cores=1,3,5,7
/proc/11679/task/11680/stat : 11680 (java) R 11676 11676 7440 0 -1 1077944384 16536 0 0 0 62 5 0 0 20 0 15 0 405760239 15381598208 32191 33554432000 4194304 4196468 140725845870672 140544300733808 140544328906453 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11681] ppid=11676 vsize=15021092 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11681/stat : 11681 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760240 15381598208 32191 33554432000 4194304 4196468 140725845870672 140544333138192 140544328906453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11682] ppid=11676 vsize=15021092 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11682/stat : 11682 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760240 15381598208 32191 33554432000 4194304 4196468 140725845870672 140544151226768 140544328906453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11683] ppid=11676 vsize=15021092 memory=-5874771483550381248 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11683/stat : 11683 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760240 15381598208 32191 33554432000 4194304 4196468 140725845870672 140544150174224 140544328906453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11684] ppid=11676 vsize=15021092 memory=8370611207639232161 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11684/stat : 11684 (java) S 11676 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405760240 15381598208 32191 33554432000 4194304 4196468 140725845870672 140544149121680 140544328906453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11685] ppid=11676 vsize=15021092 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11685/stat : 11685 (java) S 11676 11676 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405760242 15381598208 32191 33554432000 4194304 4196468 140725845870672 140543165151728 140544328907394 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11686] ppid=11676 vsize=15021092 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11686/stat : 11686 (java) S 11676 11676 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405760242 15381598208 32191 33554432000 4194304 4196468 140725845870672 140542939751840 140544328906453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11687] ppid=11676 vsize=15021092 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11687/stat : 11687 (java) S 11676 11676 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405760242 15381598208 32191 33554432000 4194304 4196468 140725845870672 140542805530096 140544328906453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11688] ppid=11676 vsize=15021092 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11688/stat : 11688 (java) S 11676 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405760245 15381598208 32191 33554432000 4194304 4196468 140725845870672 140542431025872 140544328914843 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11689] ppid=11676 vsize=15021092 memory=311 CPUtime=0.08 cores=1,3,5,7
/proc/11679/task/11689/stat : 11689 (java) R 11676 11676 7440 0 -1 4202560 703 0 0 0 8 0 0 0 20 0 15 0 405760245 15381598208 32191 33554432000 4194304 4196468 140725845870672 140543164088928 140544322001964 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11690] ppid=11676 vsize=15021092 memory=10 CPUtime=0.08 cores=1,3,5,7
/proc/11679/task/11690/stat : 11690 (java) R 11676 11676 7440 0 -1 4202560 335 0 0 0 8 0 0 0 20 0 15 0 405760245 15381598208 32191 33554432000 4194304 4196468 140725845870672 140543163046000 140544321881289 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11691] ppid=11676 vsize=15021092 memory=1286 CPUtime=0.15 cores=1,3,5,7
/proc/11679/task/11691/stat : 11691 (java) S 11676 11676 7440 0 -1 1077944384 601 0 0 0 15 0 0 0 20 0 15 0 405760245 15381598208 32191 33554432000 4194304 4196468 140725845870672 140543161993456 140544328907394 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11692] ppid=11676 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11692/stat : 11692 (java) S 11676 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405760245 15381598208 32191 33554432000 4194304 4196468 140725845870672 140541933120096 140544328906453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
[pid=11679/tid=11693] ppid=11676 vsize=15021092 memory=7591186987463698790 CPUtime=0 cores=1,3,5,7
/proc/11679/task/11693/stat : 11693 (java) S 11676 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405760245 15381598208 32191 33554432000 4194304 4196468 140725845870672 140543160941360 140544328907394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28717056 140725845877486 140725845877914 140725845877914 140725845880783 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 130156 KiB

[startup+1.5008 s]
/proc/loadavg: 2.05 2.85 2.82 4/234 11693
/proc/meminfo: memFree=23359404/32770624 swapFree=67015700/67108860
[pid=11676] ppid=11673 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/11676/stat : 11676 (scop.sh) S 11673 11676 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405760238 115843072 348 33554432000 4194304 5098028 140726741376704 140726741373960 139716687647356 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26931200 140726741377832 140726741378160 140726741378160 140726741381069 0
/proc/11676/statm: 28282 348 296 221 0 87 0

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

Current children cumulated vsize: 15912448 KiB
Current children cumulated memory: 4742032 KiB

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

[startup+161.515 s]
# the end of solver process 11676 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=136.471 s, system=3.64562 s

[startup+161.968 s]
# the end of solver process 11705 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=159.654 s, system=6.21986 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+161.61 s]*
/proc/loadavg: 2.20 2.53 2.69 3/240 11731
/proc/meminfo: memFree=18965704/32770624 swapFree=67015704/67108860
[pid=11705] ppid=11673 vsize=8461664 memory=125696 CPUtime=1.2 cores=1,3,5,7
/proc/11705/stat : 11705 (java) S 11673 11676 7440 0 -1 1077944320 19940 0 0 0 112 8 0 0 20 0 21 0 405773906 8664743936 31424 33554432000 4194304 4196468 140735922964720 140735922947264 140382501797623 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
/proc/11705/statm: 2115416 31424 3210 1 0 2076760 0
[pid=11705/tid=11706] ppid=11673 vsize=8461664 memory=1804 CPUtime=0.76 cores=1,3,5,7
/proc/11705/task/11706/stat : 11706 (java) S 11673 11676 7440 0 -1 1077944384 16821 0 0 0 70 6 0 0 20 0 21 0 405773906 8664743936 31424 33554432000 4194304 4196468 140735922964720 140382473637792 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11707] ppid=11673 vsize=8461664 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11707/stat : 11707 (java) S 11673 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 405773907 8664743936 31424 33554432000 4194304 4196468 140735922964720 140382506040336 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11708] ppid=11673 vsize=8461664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11708/stat : 11708 (java) S 11673 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 405773907 8664743936 31424 33554432000 4194304 4196468 140735922964720 140382306208912 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11709] ppid=11673 vsize=8461664 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11709/stat : 11709 (java) S 11673 11676 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 405773907 8664743936 31424 33554432000 4194304 4196468 140735922964720 140382305155856 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11710] ppid=11673 vsize=8461664 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11710/stat : 11710 (java) S 11673 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 405773907 8664743936 31424 33554432000 4194304 4196468 140735922964720 140382304103312 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11711] ppid=11673 vsize=8461664 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11711/stat : 11711 (java) S 11673 11676 7440 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 21 0 405773909 8664743936 31424 33554432000 4194304 4196468 140735922964720 140381814057200 140382501808770 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11712] ppid=11673 vsize=8461664 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11712/stat : 11712 (java) S 11673 11676 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 21 0 405773909 8664743936 31424 33554432000 4194304 4196468 140735922964720 140381341607072 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11713] ppid=11673 vsize=8461664 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11713/stat : 11713 (java) S 11673 11676 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 405773909 8664743936 31424 33554432000 4194304 4196468 140735922964720 140381207384816 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11714] ppid=11673 vsize=8461664 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11714/stat : 11714 (java) S 11673 11676 7440 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 21 0 405773912 8664743936 31424 33554432000 4194304 4196468 140735922964720 140380832880592 140382501816219 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11715] ppid=11673 vsize=8461664 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/11705/task/11715/stat : 11715 (java) S 11673 11676 7440 0 -1 1077944384 733 0 0 0 7 0 0 0 20 0 21 0 405773912 8664743936 31424 33554432000 4194304 4196468 140735922964720 140381813005040 140382501808770 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11716] ppid=11673 vsize=8461664 memory=6944656592387989600 CPUtime=0.1 cores=1,3,5,7
/proc/11705/task/11716/stat : 11716 (java) S 11673 11676 7440 0 -1 1077944384 318 0 0 0 10 0 0 0 20 0 21 0 405773912 8664743936 31424 33554432000 4194304 4196468 140735922964720 140381610044272 140382501808770 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11717] ppid=11673 vsize=8461664 memory=6944656592387989600 CPUtime=0.2 cores=1,3,5,7
/proc/11705/task/11717/stat : 11717 (java) S 11673 11676 7440 0 -1 1077944384 593 0 0 0 20 0 0 0 20 0 21 0 405773912 8664743936 31424 33554432000 4194304 4196468 140735922964720 140381608991216 140382501808770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11718] ppid=11673 vsize=8461664 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11718/stat : 11718 (java) S 11673 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 405773912 8664743936 31424 33554432000 4194304 4196468 140735922964720 140380334975840 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11719] ppid=11673 vsize=8461664 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11719/stat : 11719 (java) S 11673 11676 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 405773913 8664743936 31424 33554432000 4194304 4196468 140735922964720 140381607938608 140382501808770 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11721] ppid=11673 vsize=8461664 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11721/stat : 11721 (java) S 11673 11676 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 21 0 405773979 8664743936 31424 33554432000 4194304 4196468 140735922964720 140381600462144 140382501822233 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11723] ppid=11673 vsize=8461664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11723/stat : 11723 (java) S 11673 11676 7440 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 405773980 8664743936 31424 33554432000 4194304 4196468 140735922964720 140379798089136 140382501819549 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11724] ppid=11673 vsize=8461664 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11724/stat : 11724 (java) S 11673 11676 7440 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 405773980 8664743936 31424 33554432000 4194304 4196468 140735922964720 140379663867952 140382501819549 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11725] ppid=11673 vsize=8461664 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11725/stat : 11725 (java) S 11673 11676 7440 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 21 0 405773983 8664743936 31424 33554432000 4194304 4196468 140735922964720 140379932319536 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11728] ppid=11673 vsize=8461664 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11728/stat : 11728 (java) S 11673 11676 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 405776389 8664743936 31424 33554432000 4194304 4196468 140735922964720 140379261232160 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11731] ppid=11673 vsize=8461664 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/11705/task/11731/stat : 11731 (java) S 11673 11676 7440 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 405776389 8664743936 31424 33554432000 4194304 4196468 140735922964720 140379127010464 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
Current cumulated CPU time of completed processes: 140.116 s
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 8461664 KiB
Current children cumulated memory: 125696 KiB

[startup+161.801 s]
/proc/loadavg: 2.20 2.53 2.69 3/240 11731
/proc/meminfo: memFree=18965704/32770624 swapFree=67015704/67108860
[pid=11705] ppid=11673 vsize=8330588 memory=123724 CPUtime=25.58 cores=1,3,5,7
/proc/11705/stat : 11705 (java) S 11673 11676 7440 0 -1 1077944320 19945 1190282 0 0 112 14 2206 226 20 0 18 0 405773906 8530522112 30931 33554432000 4194304 4196468 140735922964720 140735922947264 140382501797623 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
/proc/11705/statm: 2082647 30931 3210 1 0 2043991 0
[pid=11705/tid=11706] ppid=11673 vsize=8330588 memory=288230583166042426 CPUtime=25.08 cores=1,3,5,7
/proc/11705/task/11706/stat : 11706 (java) S 11673 11676 7440 0 -1 1077944384 16821 1190282 0 0 70 6 2206 226 20 0 18 0 405773906 8530522112 30931 33554432000 4194304 4196468 140735922964720 140382473637792 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11707] ppid=11673 vsize=8330588 memory=16100381516106309 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11707/stat : 11707 (java) S 11673 11676 7440 0 -1 1077944384 1 1190282 0 0 0 0 2206 226 20 0 18 0 405773907 8530522112 30931 33554432000 4194304 4196468 140735922964720 140382506040336 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11708] ppid=11673 vsize=8330588 memory=1224 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11708/stat : 11708 (java) S 11673 11676 7440 0 -1 1077944384 2 1190282 0 0 0 0 2206 226 20 0 18 0 405773907 8530522112 30931 33554432000 4194304 4196468 140735922964720 140382306208912 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11709] ppid=11673 vsize=8330588 memory=3824 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11709/stat : 11709 (java) S 11673 11676 7440 0 -1 1077944384 1 1190282 0 0 0 0 2206 226 20 0 18 0 405773907 8530522112 30931 33554432000 4194304 4196468 140735922964720 140382305155856 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11710] ppid=11673 vsize=8330588 memory=1384 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11710/stat : 11710 (java) S 11673 11676 7440 0 -1 1077944384 2 1190282 0 0 0 0 2206 226 20 0 18 0 405773907 8530522112 30931 33554432000 4194304 4196468 140735922964720 140382304103312 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11711] ppid=11673 vsize=8330588 memory=15080 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11711/stat : 11711 (java) S 11673 11676 7440 0 -1 1077944384 6 1190282 0 0 0 0 2206 226 20 0 18 0 405773909 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381814056704 140382501808770 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11712] ppid=11673 vsize=8330588 memory=7844 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11712/stat : 11712 (java) S 11673 11676 7440 0 -1 1077944384 13 1190282 0 0 0 0 2206 226 20 0 18 0 405773909 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381341607072 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11713] ppid=11673 vsize=8330588 memory=2676 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11713/stat : 11713 (java) S 11673 11676 7440 0 -1 1077944384 21 1190282 0 0 0 0 2206 226 20 0 18 0 405773909 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381207384816 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11714] ppid=11673 vsize=8330588 memory=13240 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11714/stat : 11714 (java) S 11673 11676 7440 0 -1 1077944384 32 1190282 0 0 0 0 2206 226 20 0 18 0 405773912 8530522112 30931 33554432000 4194304 4196468 140735922964720 140380832880240 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11715] ppid=11673 vsize=8330588 memory=500 CPUtime=24.39 cores=1,3,5,7
/proc/11705/task/11715/stat : 11715 (java) S 11673 11676 7440 0 -1 1077944384 733 1190282 0 0 7 0 2206 226 20 0 18 0 405773912 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381813005040 140382501808770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11716] ppid=11673 vsize=8330588 memory=-7824251494390717796 CPUtime=24.42 cores=1,3,5,7
/proc/11705/task/11716/stat : 11716 (java) S 11673 11676 7440 0 -1 1077944384 318 1190282 0 0 10 0 2206 226 20 0 18 0 405773912 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381610044272 140382501808770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11717] ppid=11673 vsize=8330588 memory=2184 CPUtime=24.52 cores=1,3,5,7
/proc/11705/task/11717/stat : 11717 (java) S 11673 11676 7440 0 -1 1077944384 594 1190282 0 0 20 0 2206 226 20 0 18 0 405773912 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381608987088 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11718] ppid=11673 vsize=8330588 memory=164 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11718/stat : 11718 (java) S 11673 11676 7440 0 -1 1077944384 3 1190282 0 0 0 0 2206 226 20 0 18 0 405773912 8530522112 30931 33554432000 4194304 4196468 140735922964720 140380334975840 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11721] ppid=11673 vsize=8330588 memory=6944656592455359580 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11721/stat : 11721 (java) S 11673 11676 7440 0 -1 1077944384 23 1190282 0 0 0 0 2206 226 20 0 18 0 405773979 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381600459408 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11725] ppid=11673 vsize=8330588 memory=6944656575208382560 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11725/stat : 11725 (java) S 11673 11676 7440 0 -1 1077944384 28 1190282 0 0 0 0 2206 226 20 0 18 0 405773983 8530522112 30931 33554432000 4194304 4196468 140735922964720 140379932320576 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11728] ppid=11673 vsize=8330588 memory=6655300316396806240 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11728/stat : 11728 (java) S 11673 11676 7440 0 -1 1077944384 2 1190282 0 0 0 0 2206 226 20 0 18 0 405776389 8530522112 30931 33554432000 4194304 4196468 140735922964720 140379261231312 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11731] ppid=11673 vsize=8330588 memory=6944656592455097440 CPUtime=24.38 cores=1,3,5,7
/proc/11705/task/11731/stat : 11731 (java) R 11673 11676 7440 0 -1 4202560 23 1190282 0 0 0 6 2206 226 20 0 18 0 405776389 8530522112 30931 33554432000 4194304 4196468 140735922964720 140379127010464 140382494483255 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
Current cumulated CPU time of completed processes: 140.116 s
Current children cumulated CPU time: 25.58 s
Current children cumulated vsize: 8330588 KiB
Current children cumulated memory: 123724 KiB

[startup+161.901 s]
/proc/loadavg: 2.20 2.53 2.69 3/240 11731
/proc/meminfo: memFree=18965704/32770624 swapFree=67015704/67108860
[pid=11705] ppid=11673 vsize=8330588 memory=123724 CPUtime=25.68 cores=1,3,5,7
/proc/11705/stat : 11705 (java) S 11673 11676 7440 0 -1 1077944320 19945 1190282 0 0 112 24 2206 226 20 0 18 0 405773906 8530522112 30931 33554432000 4194304 4196468 140735922964720 140735922947264 140382501797623 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
/proc/11705/statm: 2082647 30931 3210 1 0 2043991 0
[pid=11705/tid=11706] ppid=11673 vsize=8330588 memory=117504 CPUtime=25.08 cores=1,3,5,7
/proc/11705/task/11706/stat : 11706 (java) S 11673 11676 7440 0 -1 1077944384 16821 1190282 0 0 70 6 2206 226 20 0 18 0 405773906 8530522112 30931 33554432000 4194304 4196468 140735922964720 140382473637792 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11707] ppid=11673 vsize=8330588 memory=117504 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11707/stat : 11707 (java) S 11673 11676 7440 0 -1 1077944384 1 1190282 0 0 0 0 2206 226 20 0 18 0 405773907 8530522112 30931 33554432000 4194304 4196468 140735922964720 140382506040336 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11708] ppid=11673 vsize=8330588 memory=117504 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11708/stat : 11708 (java) S 11673 11676 7440 0 -1 1077944384 2 1190282 0 0 0 0 2206 226 20 0 18 0 405773907 8530522112 30931 33554432000 4194304 4196468 140735922964720 140382306208912 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11709] ppid=11673 vsize=8330588 memory=117504 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11709/stat : 11709 (java) S 11673 11676 7440 0 -1 1077944384 1 1190282 0 0 0 0 2206 226 20 0 18 0 405773907 8530522112 30931 33554432000 4194304 4196468 140735922964720 140382305155856 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11710] ppid=11673 vsize=8330588 memory=1472 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11710/stat : 11710 (java) S 11673 11676 7440 0 -1 1077944384 2 1190282 0 0 0 0 2206 226 20 0 18 0 405773907 8530522112 30931 33554432000 4194304 4196468 140735922964720 140382304103312 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11711] ppid=11673 vsize=8330588 memory=125696 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11711/stat : 11711 (java) S 11673 11676 7440 0 -1 1077944384 6 1190282 0 0 0 0 2206 226 20 0 18 0 405773909 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381814056704 140382501808770 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11712] ppid=11673 vsize=8330588 memory=117504 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11712/stat : 11712 (java) S 11673 11676 7440 0 -1 1077944384 13 1190282 0 0 0 0 2206 226 20 0 18 0 405773909 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381341607072 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11713] ppid=11673 vsize=8330588 memory=860 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11713/stat : 11713 (java) S 11673 11676 7440 0 -1 1077944384 21 1190282 0 0 0 0 2206 226 20 0 18 0 405773909 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381207384816 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11714] ppid=11673 vsize=8330588 memory=281387198792736 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11714/stat : 11714 (java) S 11673 11676 7440 0 -1 1077944384 32 1190282 0 0 0 0 2206 226 20 0 18 0 405773912 8530522112 30931 33554432000 4194304 4196468 140735922964720 140380832880240 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11715] ppid=11673 vsize=8330588 memory=576574510189602056 CPUtime=24.39 cores=1,3,5,7
/proc/11705/task/11715/stat : 11715 (java) S 11673 11676 7440 0 -1 1077944384 733 1190282 0 0 7 0 2206 226 20 0 18 0 405773912 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381813005040 140382501808770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11716] ppid=11673 vsize=8330588 memory=4984504 CPUtime=24.42 cores=1,3,5,7
/proc/11705/task/11716/stat : 11716 (java) S 11673 11676 7440 0 -1 1077944384 318 1190282 0 0 10 0 2206 226 20 0 18 0 405773912 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381610044272 140382501808770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11717] ppid=11673 vsize=8330588 memory=1472 CPUtime=24.52 cores=1,3,5,7
/proc/11705/task/11717/stat : 11717 (java) S 11673 11676 7440 0 -1 1077944384 594 1190282 0 0 20 0 2206 226 20 0 18 0 405773912 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381608987088 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11718] ppid=11673 vsize=8330588 memory=4463164 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11718/stat : 11718 (java) S 11673 11676 7440 0 -1 1077944384 3 1190282 0 0 0 0 2206 226 20 0 18 0 405773912 8530522112 30931 33554432000 4194304 4196468 140735922964720 140380334975840 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11721] ppid=11673 vsize=8330588 memory=1472 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11721/stat : 11721 (java) S 11673 11676 7440 0 -1 1077944384 23 1190282 0 0 0 0 2206 226 20 0 18 0 405773979 8530522112 30931 33554432000 4194304 4196468 140735922964720 140381600459408 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11725] ppid=11673 vsize=8330588 memory=0 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11725/stat : 11725 (java) S 11673 11676 7440 0 -1 1077944384 28 1190282 0 0 0 0 2206 226 20 0 18 0 405773983 8530522112 30931 33554432000 4194304 4196468 140735922964720 140379932320576 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11728] ppid=11673 vsize=8330588 memory=3 CPUtime=24.32 cores=1,3,5,7
/proc/11705/task/11728/stat : 11728 (java) S 11673 11676 7440 0 -1 1077944384 2 1190282 0 0 0 0 2206 226 20 0 18 0 405776389 8530522112 30931 33554432000 4194304 4196468 140735922964720 140379261231312 140382501807829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
[pid=11705/tid=11731] ppid=11673 vsize=8330588 memory=117504 CPUtime=24.48 cores=1,3,5,7
/proc/11705/task/11731/stat : 11731 (java) R 11673 11676 7440 0 -1 4202560 23 1190282 0 0 0 16 2206 226 20 0 18 0 405776389 8530522112 30931 33554432000 4194304 4196468 140735922964720 140379127010464 140382494483255 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140735922967547 140735922967706 140735922967706 140735922970575 0
Current cumulated CPU time of completed processes: 140.116 s
Current children cumulated CPU time: 25.68 s
Current children cumulated vsize: 8330588 KiB
Current children cumulated memory: 123724 KiB

Child status: 1
Real time (s): 161.968
CPU time (s): 165.874
CPU user time (s): 159.654
CPU system time (s): 6.21986
CPU usage (%): 102.411
Max. virtual memory (cumulated for all children) (KiB): 15912448
Max. memory (cumulated for all children) (KiB): 5103732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.654
system time used= 6.21986
maximum resident set size= 4984756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1279539
page faults= 0
swaps= 0
block input operations= 96
block output operations= 3327776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10900
involuntary context switches= 315


# summary of solver processes directly reported to runsolver:
#   pid: 11676,11705
#   total CPU time (s): 165.874
#   total CPU user time (s): 159.654
#   total CPU system time (s): 6.21986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04945 second user time and 1.70194 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-12 15:27:17
IDJOB=4388064
IDBENCH=133582
IDSOLVER=2825
FILE ID=node150/4388064-1568294876
RUNJOBID= node150-1568287240-8654
PBS_JOBID= 21701061
Free space on /tmp= 52508 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-08-m039.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-4388064-1568294876/watcher-4388064-1568294876 -o /tmp/evaluation-result-4388064-1568294876/solver-4388064-1568294876 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8654 --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-4388064-1568294876.xml

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

MD5SUM BENCH= cf7d41cb48e0c265061ebe127338815d
RANDOM SEED=1116648963

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23489276 kB
MemAvailable:   31293404 kB
Buffers:          135960 kB
Cached:          7823180 kB
SwapCached:         4496 kB
Active:          2038604 kB
Inactive:        6512316 kB
Active(anon):     566308 kB
Inactive(anon):    46312 kB
Active(file):    1472296 kB
Inactive(file):  6466004 kB
Unevictable:      111376 kB
Mlocked:          111376 kB
SwapTotal:      67108860 kB
SwapFree:       67015700 kB
Dirty:             20328 kB
Writeback:            16 kB
AnonPages:        756632 kB
Mapped:            46108 kB
Shmem:             11984 kB
Slab:             323704 kB
SReclaimable:     294288 kB
SUnreclaim:        29416 kB
KernelStack:        4096 kB
PageTables:         7240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6494804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    337920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 52488 MiB
End job on node150 at 2019-09-12 15:29:59