Trace number 4388046

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) 678.766 416.947

General information on the benchmark

NamePrimes/
Primes-m1-p15/Primes-15-80-3-7.xml
MD5SUM06954292f1b618a5cd25146d74869010
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.066718
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints80
Number of domains1
Minimum domain size46
Maximum domain size46
Distribution of domain sizes[{"size":46,"count":100}]
Minimum variable degree1
Maximum variable degree12
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":3},{"degree":3,"count":7},{"degree":4,"count":26},{"degree":5,"count":14},{"degree":6,"count":23},{"degree":7,"count":15},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":11,"count":1},{"degree":12,"count":1}]
Minimum constraint arity3
Maximum constraint arity10
Distribution of constraint arities[{"arity":3,"count":10},{"arity":4,"count":9},{"arity":5,"count":13},{"arity":6,"count":3},{"arity":7,"count":12},{"arity":8,"count":9},{"arity":9,"count":11},{"arity":10,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":80}]
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-12999-serial-file.bin HOME/instance-4388046-1568294676.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 15:23:53 CEST 2019
0.66/0.56	c PID: 13002
0.66/0.56	c IP: 172.20.3.136
1.01/0.82	c HOST: node136.alineos.net
1.01/0.82	c (0,0) Parsing Begin
1.45/0.94	c (0,0) Parsing End
1.45/0.95	c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 46
1.45/0.95	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.45/0.95	c (0,0) Constraint Name Generate Begin
1.45/0.95	c (0,0) Ctr:HOME/instance-4388046-1568294676.xml,Num:Var:WeightedSum
1.45/0.95	c (0,0) Constraint Name Generate End
1.45/0.95	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.45/0.95	c (0,0) CSP to CSPinCNF Begin
1.58/1.06	c (0,0) translated 8 (10%) constraints
1.58/1.08	c (0,0) translated 16 (20%) constraints
1.58/1.10	c (0,0) translated 24 (30%) constraints
1.81/1.11	c (0,0) translated 32 (40%) constraints
1.81/1.12	c (0,0) translated 40 (50%) constraints
1.81/1.14	c (0,0) translated 48 (60%) constraints
1.81/1.14	c (0,0) translated 56 (70%) constraints
1.81/1.15	c (0,0) translated 64 (80%) constraints
1.81/1.16	c (0,0) translated 72 (90%) constraints
1.81/1.17	c (0,0) translated 80 (100%) constraints
1.81/1.17	c (0,0) ===========================================
1.81/1.17	c (0,0) Order
1.81/1.17	c (0,0) ===========================================
2.12/1.23	c (0,0) translated 8 (10%) constraints
2.12/1.26	c (0,0) translated 16 (20%) constraints
2.12/1.28	c (0,0) translated 24 (30%) constraints
2.37/1.31	c (0,0) translated 32 (40%) constraints
2.37/1.32	c (0,0) translated 40 (50%) constraints
2.37/1.33	c (0,0) translated 48 (60%) constraints
2.37/1.35	c (0,0) translated 56 (70%) constraints
2.37/1.35	c (0,0) translated 64 (80%) constraints
2.37/1.37	c (0,0) translated 72 (90%) constraints
2.37/1.38	c (0,0) translated 80 (100%) constraints
2.37/1.39	c (0,0) CSP to CSPinCNF End
2.37/1.39	c (0,0) CSP: 394 int (294 aux), 0 bool (0 aux), 748 ctr, max domain size 4647
2.37/1.39	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.37/1.39	c (0,0) CSPinCNF Propagation Begin
2.69/1.42	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.69/1.42	c (0,0) CSPinCNF Propagation End
2.69/1.43	c (0,0) CSP: 394 int (294 aux), 0 bool (0 aux), 748 ctr, max domain size 4647
2.69/1.43	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.69/1.43	c (0,0) Simplify CSPinCNF Begin
2.69/1.43	c (0,0) Simplify CSPinCNF End
2.69/1.43	c (0,0) CSP: 394 int (294 aux), 0 bool (0 aux), 748 ctr, max domain size 4647
2.69/1.43	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.69/1.43	c (0,0) Calculate Precise Domain Begin
5.56/3.16	c (2,2) 85203 values are removed by re-calculation
5.56/3.16	c (2,2) Calculate Precise Domain End
5.56/3.16	c (2,2) CSP: 394 int (294 aux), 0 bool (0 aux), 748 ctr, max domain size 4427
5.56/3.16	c (2,2) Heap : 957 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.56/3.16	c (2,2) CSPinCNF to SatSolver Begin
78.77/44.79	c (44,32) 75 (10 %) CSP clauses are encoded (0 SAT variables, 21527077 SAT clauses)
99.38/60.51	c (59,45) 150 (20 %) CSP clauses are encoded (0 SAT variables, 30447169 SAT clauses)
194.28/117.35	c (116,85) 225 (30 %) CSP clauses are encoded (0 SAT variables, 60128626 SAT clauses)
267.03/158.23	c (157,113) 300 (40 %) CSP clauses are encoded (0 SAT variables, 79820909 SAT clauses)
315.28/189.73	c (189,136) 374 (50 %) CSP clauses are encoded (0 SAT variables, 96510100 SAT clauses)
375.93/228.89	c (228,165) 449 (60 %) CSP clauses are encoded (0 SAT variables, 117140172 SAT clauses)
397.26/244.85	c (244,178) 524 (70 %) CSP clauses are encoded (0 SAT variables, 126224755 SAT clauses)
417.33/261.61	c (261,191) 599 (80 %) CSP clauses are encoded (0 SAT variables, 135505699 SAT clauses)
491.95/302.81	c (302,217) 674 (90 %) CSP clauses are encoded (0 SAT variables, 154655862 SAT clauses)
646.46/385.24	c (384,273) 748 (100 %) CSP clauses are encoded (0 SAT variables, 195052468 SAT clauses)
646.46/385.25	c (384,273) CSPinCNF to SatSolver End
646.46/385.25	c (384,273) Heap : 4090 MiB used (max 10392 MiB), NonHeap : 26 MiB used (max 0 MiB)
646.46/385.25	c (384,273) 410959 bool, 195053341 clause
646.46/385.25	c (384,273) Export Begin
646.59/385.34	c (384,273) Export to HOME/scop-12999-serial-file.bin
646.59/385.34	c (384,273) Export End
646.59/385.34	c (384,273) Export File Size: 0.02 MB
646.59/385.34	c (384,273) 0,0,0,0,0,2,384,STOP-AFTER(DIMACS)
646.59/385.34	c END-Prog: Thu Sep 12 15:30:18 CEST 2019
646.59/385.39	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12999-serial-file.bin
647.25/385.86	c (0,0) Read Serial File Begin
647.25/385.86	c (0,0) HOME/scop-12999-serial-file.bin
647.53/386.06	c (0,0) Read Serial File End
647.53/386.07	
647.53/386.07	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
647.53/386.07	(Solving Process)
647.53/386.07	
647.68/386.10	c BEGIN-Prog: Thu Sep 12 15:30:18 CEST 2019
647.68/386.10	c PID: 13156
647.68/386.10	c IP: 172.20.3.136
647.68/386.10	c HOST: node136.alineos.net
647.68/386.10	c (0,0) SatSolver.solve Begin
647.68/386.10	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388046-1568294676.xml-scop-13002.cnf
647.68/386.13	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
647.68/386.13	c (0,0) c glueminisat-simp-2.2.10-193oa-n
647.68/386.13	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388046-1568294676.xml-scop-13002.cnf 
647.68/386.13	c (0,0) c Options:
647.68/386.13	c (0,0) c CORE
647.68/386.13	c (0,0) c  var_decay             = 0.950
647.68/386.13	c (0,0) c  clause_decay          = 0.999
647.68/386.13	c (0,0) c  random_var_freq       = 0.000
647.68/386.13	c (0,0) c  random_seed           = 91648253.000
647.68/386.13	c (0,0) c  luby_restart          = 1
647.68/386.13	c (0,0) c  ccmin_mode            = 2
647.68/386.13	c (0,0) c  phase_saving          = 2
647.68/386.13	c (0,0) c  rnd_pol               = 0
647.68/386.13	c (0,0) c  rnd_init_act          = 0
647.68/386.13	c (0,0) c  garbage_frac          = 0.200
647.68/386.13	c (0,0) c  restart_first         = 1000
647.68/386.13	c (0,0) c  restart_inc           = 2.000
647.68/386.13	c (0,0) c MODEL
647.68/386.13	c (0,0) c  partial_model         = 0
647.68/386.13	c (0,0) c PROPAGATION
647.68/386.13	c (0,0) c  bin_propagation       = 1
647.68/386.13	c (0,0) c SIMPLIFICATION
647.68/386.13	c (0,0) c  lrn_min_size          = 100
647.68/386.13	c (0,0) c  lazy_simp             = 1
647.68/386.13	c (0,0) c  lazy_interval         = 10
647.68/386.13	c (0,0) c  lazy_fld_probing      = 1
647.68/386.13	c (0,0) c  lazy_pol_probing      = 1
647.68/386.13	c (0,0) c  lazy_nec_probing      = 1
647.68/386.13	c (0,0) c  lazy_eqv_probing      = 1
647.68/386.13	c (0,0) c  lazy_cla_probing      = 1
647.68/386.13	c (0,0) c  lazy_lrn_min          = 2
647.68/386.13	c (0,0) c  lazy_uw_lit_elim      = 1
647.68/386.13	c (0,0) c  lazy_pr_lit_elim      = 0
647.68/386.13	c (0,0) c  lazy_bin_add          = 3
647.68/386.13	c (0,0) c  probed_lit_chain      = 1
647.68/386.13	c (0,0) c  pr_min_lits           = 0.00020
647.68/386.13	c (0,0) c  pr_min_starts         = 500
647.68/386.13	c (0,0) c  rw_min_lits           = 0.010
647.68/386.13	c (0,0) c  rw_min_starts         = 500
647.68/386.13	c (0,0) c  rand_attach           = 0
647.68/386.13	c (0,0) c  dec_elim              = 1
647.68/386.13	c (0,0) c  dec_elim_lim          = 25
647.68/386.13	c (0,0) c  dec_elim_len          = -1
647.68/386.13	c (0,0) c  amo                   = 0
647.68/386.14	c (0,0) c  amo_grp               = 1
647.68/386.14	c (0,0) c  amo_max_bins          = 1000000
647.68/386.14	c (0,0) c  amo_starts            = 50
647.68/386.14	c (0,0) c  mace_cmd              = mace
647.68/386.14	c (0,0) c DECISION
647.68/386.14	c (0,0) c  rand_rebuild          = 0
647.68/386.14	c (0,0) c  rand_rebuild_confs    = 10000
647.68/386.14	c (0,0) c  inc_var_decay         = 1
647.68/386.14	c (0,0) c  inc_var_decay_period  = 100000
647.68/386.14	c (0,0) c  inc_var_decay_init    = 0.600
647.68/386.14	c (0,0) c  var_decay_mode        = 0
647.68/386.14	c (0,0) c  var_decay_gain        = 0
647.68/386.14	c (0,0) c  sloped_var_decay      = 1
647.68/386.14	c (0,0) c  max_var_decay         = 0.990
647.68/386.14	c (0,0) c  min_var_decay         = 0.950
647.68/386.14	c (0,0) c  min_var_decay_vars    = 10000
647.68/386.14	c (0,0) c  max_var_decay_vars    = 500
647.68/386.14	c (0,0) c  uip_bumping           = 1
647.68/386.14	c (0,0) c  lbd_act_bumping       = 1
647.68/386.14	c (0,0) c  rand_tiebreak         = 0
647.68/386.14	c (0,0) c  simp_rebuild          = 1
647.68/386.14	c (0,0) c RESTART
647.68/386.14	c (0,0) c  restart_strategy      = 2
647.68/386.14	c (0,0) c  restart_blocking      = 0
647.68/386.14	c (0,0) c  agility_decay         = 0.99990
647.68/386.14	c (0,0) c  lbd_restart_rate      = 0.800
647.68/386.14	c (0,0) c  dec_restart_rate      = 0.950
647.68/386.14	c (0,0) c  blk_restart_rate      = 0.700
647.68/386.14	c (0,0) c  lbd_queue_size        = 50
647.68/386.14	c (0,0) c  dec_queue_size        = 50
647.68/386.14	c (0,0) c  trl_queue_size        = 5000
647.68/386.14	c (0,0) c  blk_restart_weight    = 1.000
647.68/386.14	c (0,0) c  inc_rst_rate          = 0
647.68/386.14	c (0,0) c  inc_rst_rate_period   = 500000
647.68/386.14	c (0,0) c  inc_lbd_rst_rate_init = 0.600
647.68/386.14	c (0,0) c  inc_dec_rst_rate_init = 0.750
647.68/386.14	c (0,0) c REDUCTION
647.68/386.14	c (0,0) c  closed_lbd            = 0
647.68/386.14	c (0,0) c  closed_lbd_rate       = 0.500
647.68/386.14	c (0,0) c  rm_simulate           = 0
647.68/386.14	c (0,0) c  rdb_eval              = 2
647.68/386.14	c (0,0) c  rdb_call              = 3
647.68/386.14	c (0,0) c  rdb_ub                = 0.500
647.68/386.14	c (0,0) c  core_lbd_cvr          = 0.800
647.68/386.14	c (0,0) c  supp_lbd_cvr          = 0.990
647.68/386.14	c (0,0) c  core_lbd_lb           = 2
647.68/386.14	c (0,0) c  supp_lbd_lb           = 2
647.68/386.14	c (0,0) c  core_lbd_prd          = 7
647.68/386.14	c (0,0) c  supp_lbd_prd          = 1
647.68/386.14	c (0,0) c  othr_lbd_prd          = 0
647.68/386.14	c (0,0) c  inc_lrn_limit         = 1000
647.68/386.14	c (0,0) c  frozen_lbd            = 30
647.68/386.14	c (0,0) c  simp_min_starts       = 100
647.68/386.14	c (0,0) c  rm_low_act_learnts    = 1
647.68/386.14	c (0,0) c  lv0_reduce_db         = 0
647.68/386.14	c (0,0) c  reduce_db_base        = 20000
647.68/386.14	c (0,0) c  reduce_db_inc         = 1000
647.68/386.14	c (0,0) c HARD
647.68/386.14	c (0,0) c  inst_check            = 200000
647.68/386.14	c (0,0) c  small_block           = 1.750
647.68/386.14	c (0,0) c  slow_restart_speed    = 400.000
647.68/386.14	c (0,0) c  slow_restart_strategy = 3
647.68/386.14	c (0,0) c  slow_lbd_restart_rate = 0.700
647.68/386.14	c (0,0) c  slow_dec_restart_rate = 1.000
647.68/386.14	c (0,0) c  slow_lbd_queue_size   = 50
647.68/386.14	c (0,0) c  slow_var_decay        = 0.950
647.68/386.14	c (0,0) c  slow_glue_threshold   = 2
647.68/386.14	c (0,0) c  slow_phase_saving     = 2
647.68/386.14	c (0,0) c  fast_restart_speed    = 125.000
647.68/386.14	c (0,0) c  fast_restart_strategy = 1
647.68/386.14	c (0,0) c  fast_lbd_restart_rate = 0.800
647.68/386.14	c (0,0) c  fast_dec_restart_rate = 0.950
647.68/386.14	c (0,0) c  fast_lbd_queue_size   = 50
647.68/386.14	c (0,0) c  fast_var_decay        = 1.000
647.68/386.14	c (0,0) c  fast_glue_threshold   = 2
647.68/386.14	c (0,0) c  fast_phase_saving     = 2
647.68/386.14	c (0,0) c STATS
647.68/386.14	c (0,0) c  stats_conf_size       = 10000
647.68/386.14	c (0,0) c  max_stats_size        = 30
647.68/386.14	c (0,0) c SOLVER
647.68/386.14	c (0,0) c  minisat               = 0
677.77/416.00	c (30,0) receiving signal SIGTERM
677.77/416.00	s UNKNOWN
677.77/416.01	c (scop.sh) Receiving Signal. Removing all intermediate files.
677.77/416.01	c (scop.sh) Remove HOME/scop-12999-serial-file.bin.
677.77/416.01	c (scop.sh) Killing background jobs.
677.77/416.01	c (30,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 (9294 MiB free)
  memory of node 1: 16384 MiB (13139 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388046-1568294676/watcher-4388046-1568294676 -o /tmp/evaluation-result-4388046-1568294676/solver-4388046-1568294676 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568289646-11936 --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-4388046-1568294676.xml 

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

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


[startup+0.100123 s]*
/proc/loadavg: 2.18 2.18 2.11 3/235 13016
/proc/meminfo: memFree=22911500/32770624 swapFree=67003116/67108860
[pid=12999] ppid=12996 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12999/stat : 12999 (scop.sh) S 12996 12999 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405716284 115843072 348 33554432000 4194304 5098028 140730347740592 140730347737848 139698230182524 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15122432 140730347741992 140730347742320 140730347742320 140730347745229 0
/proc/12999/statm: 28282 348 296 221 0 87 0
[pid=13002] ppid=12999 vsize=15012696 memory=72988 CPUtime=0.11 cores=0,2,4,6
/proc/13002/stat : 13002 (java) S 12999 12999 11905 0 -1 1077944320 6515 0 0 0 10 1 0 0 20 0 15 0 405716284 15373000704 18247 33554432000 4194304 4196468 140730008023312 140730008005856 140257300434679 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
/proc/13002/statm: 3753174 18247 2920 1 0 3715579 0
[pid=13002/tid=13003] ppid=12999 vsize=15012696 memory=-6077181931080171463 CPUtime=0.09 cores=0,2,4,6
/proc/13002/task/13003/stat : 13003 (java) R 12999 12999 11905 0 -1 4202560 4417 0 0 0 8 1 0 0 20 0 15 0 405716284 15373000704 18312 33554432000 4194304 4196468 140730008023312 140257272228584 140257300456605 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13004] ppid=12999 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13004/stat : 13004 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 18312 33554432000 4194304 4196468 140730008023312 140257304677264 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13005] ppid=12999 vsize=15012696 memory=139843474925184 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13005/stat : 13005 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 18312 33554432000 4194304 4196468 140730008023312 140257124973328 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13006] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13006/stat : 13006 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 18312 33554432000 4194304 4196468 140730008023312 140256759741584 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13007] ppid=12999 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13007/stat : 13007 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 18312 33554432000 4194304 4196468 140730008023312 140256758688784 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13008] ppid=12999 vsize=15012696 memory=139843474925184 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13008/stat : 13008 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716287 15373000704 18312 33554432000 4194304 4196468 140730008023312 140256338045040 140257300445826 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13009] ppid=12999 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13009/stat : 13009 (java) S 12999 12999 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405716288 15373000704 18312 33554432000 4194304 4196468 140730008023312 140255848031008 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13010] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13010/stat : 13010 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716288 15373000704 18312 33554432000 4194304 4196468 140730008023312 140255579595888 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13011] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13011/stat : 13011 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405716290 15373000704 18312 33554432000 4194304 4196468 140730008023312 140255205087312 140257300453275 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13012] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13012/stat : 13012 (java) S 12999 12999 11905 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 405716291 15373000704 18312 33554432000 4194304 4196468 140730008023312 140256336992880 140257300445826 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13013] ppid=12999 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13013/stat : 13013 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405716291 15373000704 18312 33554432000 4194304 4196468 140730008023312 140256335940080 140257300445826 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13014] ppid=12999 vsize=15012696 memory=139843474925184 CPUtime=0.01 cores=0,2,4,6
/proc/13002/task/13014/stat : 13014 (java) R 12999 12999 11905 0 -1 4202560 395 0 0 0 1 0 0 0 20 0 15 0 405716291 15373000704 18312 33554432000 4194304 4196468 140730008023312 140256334887792 140257279418404 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13015] ppid=12999 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13015/stat : 13015 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405716291 15373000704 18378 33554432000 4194304 4196468 140730008023312 140254707182560 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13016] ppid=12999 vsize=15012696 memory=139843474925184 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13016/stat : 13016 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716291 15373000704 18378 33554432000 4194304 4196468 140730008023312 140256333834672 140257300445826 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74380 KiB

[startup+0.210911 s]*
/proc/loadavg: 2.18 2.18 2.11 3/235 13016
/proc/meminfo: memFree=22892996/32770624 swapFree=67003116/67108860
[pid=12999] ppid=12996 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12999/stat : 12999 (scop.sh) S 12996 12999 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405716284 115843072 348 33554432000 4194304 5098028 140730347740592 140730347737848 139698230182524 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15122432 140730347741992 140730347742320 140730347742320 140730347745229 0
/proc/12999/statm: 28282 348 296 221 0 87 0
[pid=13002] ppid=12999 vsize=15012696 memory=88612 CPUtime=0.25 cores=0,2,4,6
/proc/13002/stat : 13002 (java) S 12999 12999 11905 0 -1 1077944320 11725 0 0 0 22 3 0 0 20 0 15 0 405716284 15373000704 22153 33554432000 4194304 4196468 140730008023312 140730008005856 140257300434679 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
/proc/13002/statm: 3753174 22153 2924 1 0 3715579 0
[pid=13002/tid=13003] ppid=12999 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/13002/task/13003/stat : 13003 (java) R 12999 12999 11905 0 -1 4202560 9485 0 0 0 17 2 0 0 20 0 15 0 405716284 15373000704 22153 33554432000 4194304 4196468 140730008023312 140257272234064 140257300456605 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13004] ppid=12999 vsize=15012696 memory=399 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13004/stat : 13004 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 22153 33554432000 4194304 4196468 140730008023312 140257304677264 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13005] ppid=12999 vsize=15012696 memory=139843474938093 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13005/stat : 13005 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 22153 33554432000 4194304 4196468 140730008023312 140257124973328 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13006] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13006/stat : 13006 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 22153 33554432000 4194304 4196468 140730008023312 140256759741584 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13007] ppid=12999 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13007/stat : 13007 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 22153 33554432000 4194304 4196468 140730008023312 140256758688784 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13008] ppid=12999 vsize=15012696 memory=139843474925184 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13008/stat : 13008 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716287 15373000704 22153 33554432000 4194304 4196468 140730008023312 140256338045040 140257300445826 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13009] ppid=12999 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13009/stat : 13009 (java) S 12999 12999 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405716288 15373000704 22153 33554432000 4194304 4196468 140730008023312 140255848031008 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13010] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13010/stat : 13010 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716288 15373000704 22153 33554432000 4194304 4196468 140730008023312 140255579595888 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13011] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13011/stat : 13011 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405716290 15373000704 22153 33554432000 4194304 4196468 140730008023312 140255205087312 140257300453275 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13012] ppid=12999 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13002/task/13012/stat : 13012 (java) S 12999 12999 11905 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 15 0 405716291 15373000704 22153 33554432000 4194304 4196468 140730008023312 140256336992880 140257300445826 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13013] ppid=12999 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13013/stat : 13013 (java) S 12999 12999 11905 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405716291 15373000704 22153 33554432000 4194304 4196468 140730008023312 140256335940080 140257300445826 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13014] ppid=12999 vsize=15012696 memory=139843474925184 CPUtime=0.02 cores=0,2,4,6
/proc/13002/task/13014/stat : 13014 (java) R 12999 12999 11905 0 -1 4202560 429 0 0 0 2 0 0 0 20 0 15 0 405716291 15373000704 22153 33554432000 4194304 4196468 140730008023312 140256334887792 140257279139446 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13015] ppid=12999 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13015/stat : 13015 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405716291 15373000704 22153 33554432000 4194304 4196468 140730008023312 140254707182560 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13016] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13016/stat : 13016 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716291 15373000704 22153 33554432000 4194304 4196468 140730008023312 140256333834672 140257300445826 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90004 KiB

[startup+0.310763 s]*
/proc/loadavg: 2.18 2.18 2.11 4/235 13016
/proc/meminfo: memFree=22890328/32770624 swapFree=67003116/67108860
[pid=12999] ppid=12996 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12999/stat : 12999 (scop.sh) S 12996 12999 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405716284 115843072 348 33554432000 4194304 5098028 140730347740592 140730347737848 139698230182524 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15122432 140730347741992 140730347742320 140730347742320 140730347745229 0
/proc/12999/statm: 28282 348 296 221 0 87 0
[pid=13002] ppid=12999 vsize=15012696 memory=92216 CPUtime=0.43 cores=0,2,4,6
/proc/13002/stat : 13002 (java) S 12999 12999 11905 0 -1 1077944320 12087 0 0 0 40 3 0 0 20 0 15 0 405716284 15373000704 23054 33554432000 4194304 4196468 140730008023312 140730008005856 140257300434679 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
/proc/13002/statm: 3753174 23054 3055 1 0 3715579 0
[pid=13002/tid=13003] ppid=12999 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=0,2,4,6
/proc/13002/task/13003/stat : 13003 (java) R 12999 12999 11905 0 -1 4202560 9667 0 0 0 27 2 0 0 20 0 15 0 405716284 15373000704 23054 33554432000 4194304 4196468 140730008023312 140257272264752 140257284515166 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13004] ppid=12999 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13004/stat : 13004 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 23054 33554432000 4194304 4196468 140730008023312 140257304677264 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13005] ppid=12999 vsize=15012696 memory=3617297809147178945 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13005/stat : 13005 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 23054 33554432000 4194304 4196468 140730008023312 140257124973328 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13006] ppid=12999 vsize=15012696 memory=279686659996016 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13006/stat : 13006 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 23054 33554432000 4194304 4196468 140730008023312 140256759741584 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13007] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13007/stat : 13007 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716286 15373000704 23054 33554432000 4194304 4196468 140730008023312 140256758688784 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13008] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13008/stat : 13008 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716287 15373000704 23054 33554432000 4194304 4196468 140730008023312 140256338045040 140257300445826 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13009] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13009/stat : 13009 (java) S 12999 12999 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405716288 15373000704 23054 33554432000 4194304 4196468 140730008023312 140255848031008 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13010] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13010/stat : 13010 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716288 15373000704 23054 33554432000 4194304 4196468 140730008023312 140255579595888 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13011] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13011/stat : 13011 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405716290 15373000704 23054 33554432000 4194304 4196468 140730008023312 140255205087312 140257300453275 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13012] ppid=12999 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13002/task/13012/stat : 13012 (java) S 12999 12999 11905 0 -1 1077944384 533 0 0 0 3 0 0 0 20 0 15 0 405716291 15373000704 23054 33554432000 4194304 4196468 140730008023312 140256336992880 140257300445826 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13013] ppid=12999 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13002/task/13013/stat : 13013 (java) S 12999 12999 11905 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 405716291 15373000704 23054 33554432000 4194304 4196468 140730008023312 140256335940080 140257300445826 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13014] ppid=12999 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13002/task/13014/stat : 13014 (java) S 12999 12999 11905 0 -1 1077944384 451 0 0 0 7 0 0 0 20 0 15 0 405716291 15373000704 23054 33554432000 4194304 4196468 140730008023312 140256334887792 140257300445826 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13015] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13015/stat : 13015 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405716291 15373000704 23054 33554432000 4194304 4196468 140730008023312 140254707182560 140257300444885 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13016] ppid=12999 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13016/stat : 13016 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716291 15373000704 23054 33554432000 4194304 4196468 140730008023312 140256333834672 140257300445826 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93608 KiB

[startup+0.707075 s]
/proc/loadavg: 2.18 2.18 2.11 3/235 13016
/proc/meminfo: memFree=22868984/32770624 swapFree=67003116/67108860
[pid=12999] ppid=12996 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12999/stat : 12999 (scop.sh) S 12996 12999 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405716284 115843072 348 33554432000 4194304 5098028 140730347740592 140730347737848 139698230182524 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15122432 140730347741992 140730347742320 140730347742320 140730347745229 0
/proc/12999/statm: 28282 348 296 221 0 87 0
[pid=13002] ppid=12999 vsize=15021092 memory=129812 CPUtime=1.01 cores=0,2,4,6
/proc/13002/stat : 13002 (java) S 12999 12999 11905 0 -1 1077944320 19699 0 0 0 96 5 0 0 20 0 15 0 405716284 15381598208 32453 33554432000 4194304 4196468 140730008023312 140730008005856 140257300434679 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
/proc/13002/statm: 3755273 32453 3202 1 0 3716603 0
[pid=13002/tid=13003] ppid=12999 vsize=15021092 memory=776 CPUtime=0.68 cores=0,2,4,6
/proc/13002/task/13003/stat : 13003 (java) R 12999 12999 11905 0 -1 4202560 16879 0 0 0 63 5 0 0 20 0 15 0 405716284 15381598208 32453 33554432000 4194304 4196468 140730008023312 140257272266448 140257284515166 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13004] ppid=12999 vsize=15021092 memory=3936 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13004/stat : 13004 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716286 15381598208 32453 33554432000 4194304 4196468 140730008023312 140257304677264 140257300444885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13005] ppid=12999 vsize=15021092 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13005/stat : 13005 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716286 15381598208 32453 33554432000 4194304 4196468 140730008023312 140257124973328 140257300444885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13006] ppid=12999 vsize=15021092 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13006/stat : 13006 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716286 15381598208 32453 33554432000 4194304 4196468 140730008023312 140256759741584 140257300444885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13007] ppid=12999 vsize=15021092 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13007/stat : 13007 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716286 15381598208 32453 33554432000 4194304 4196468 140730008023312 140256758688784 140257300444885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13008] ppid=12999 vsize=15021092 memory=5840 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13008/stat : 13008 (java) S 12999 12999 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405716287 15381598208 32453 33554432000 4194304 4196468 140730008023312 140256338045040 140257300445826 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13009] ppid=12999 vsize=15021092 memory=636 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13009/stat : 13009 (java) S 12999 12999 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405716288 15381598208 32453 33554432000 4194304 4196468 140730008023312 140255848031008 140257300444885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13010] ppid=12999 vsize=15021092 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13010/stat : 13010 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405716288 15381598208 32453 33554432000 4194304 4196468 140730008023312 140255579595888 140257300444885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13011] ppid=12999 vsize=15021092 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13011/stat : 13011 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405716290 15381598208 32453 33554432000 4194304 4196468 140730008023312 140255205087312 140257300453275 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13012] ppid=12999 vsize=15021092 memory=1568 CPUtime=0.09 cores=0,2,4,6
/proc/13002/task/13012/stat : 13012 (java) R 12999 12999 11905 0 -1 4202560 750 0 0 0 9 0 0 0 20 0 15 0 405716291 15381598208 32453 33554432000 4194304 4196468 140730008023312 140256336980448 140257285364149 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13013] ppid=12999 vsize=15021092 memory=1040 CPUtime=0.06 cores=0,2,4,6
/proc/13002/task/13013/stat : 13013 (java) S 12999 12999 11905 0 -1 1077944384 174 0 0 0 6 0 0 0 20 0 15 0 405716291 15381598208 32453 33554432000 4194304 4196468 140730008023312 140256335940080 140257300445826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13014] ppid=12999 vsize=15021092 memory=14008 CPUtime=0.16 cores=0,2,4,6
/proc/13002/task/13014/stat : 13014 (java) S 12999 12999 11905 0 -1 1077944384 562 0 0 0 16 0 0 0 20 0 15 0 405716291 15381598208 32453 33554432000 4194304 4196468 140730008023312 140256334887792 140257300445826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13015] ppid=12999 vsize=15021092 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13015/stat : 13015 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405716291 15381598208 32453 33554432000 4194304 4196468 140730008023312 140254707182560 140257300444885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
[pid=13002/tid=13016] ppid=12999 vsize=15021092 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/13002/task/13016/stat : 13016 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405716291 15381598208 32453 33554432000 4194304 4196468 140730008023312 140256333834672 140257300445826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17272832 140730008027886 140730008028314 140730008028314 140730008031183 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131204 KiB

[startup+1.50072 s]
/proc/loadavg: 2.18 2.18 2.11 6/235 13017
/proc/meminfo: memFree=22840792/32770624 swapFree=67003116/67108860
[pid=12999] ppid=12996 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12999/stat : 12999 (scop.sh) S 12996 12999 11905 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405716284 115843072 348 33554432000 4194304 5098028 140730347740592 140730347737848 139698230182524 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15122432 140730347741992 140730347742320 140730347742320 140730347745229 0
/proc/12999/statm: 28282 348 296 221 0 87 0

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

/proc/13156/task/13158/stat : 13158 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405754825 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709634128528 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13159] ppid=12999 vsize=8068440 memory=1017340 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13159/stat : 13159 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405754825 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709114907152 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13160] ppid=12999 vsize=8068440 memory=3645976 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13160/stat : 13160 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405754825 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709113854352 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13161] ppid=12999 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13161/stat : 13161 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405754825 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709112801552 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13162] ppid=12999 vsize=8068440 memory=115560 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13162/stat : 13162 (java) S 12999 12999 11905 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405754827 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709076380528 139709629897346 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13163] ppid=12999 vsize=8068440 memory=3437352 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13163/stat : 13163 (java) S 12999 12999 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405754827 8262082560 28890 33554432000 4194304 4196468 140736989123024 139708441028128 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13164] ppid=12999 vsize=8068440 memory=3264 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13164/stat : 13164 (java) S 12999 12999 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405754827 8262082560 28890 33554432000 4194304 4196468 140736989123024 139708306806128 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13165] ppid=12999 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13165/stat : 13165 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139707932301648 139709629904795 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13166] ppid=12999 vsize=8068440 memory=1412 CPUtime=0.1 cores=0,2,4,6
/proc/13156/task/13166/stat : 13166 (java) S 12999 12999 11905 0 -1 1077944384 609 0 0 0 10 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709075327344 139709629897346 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13167] ppid=12999 vsize=8068440 memory=3304 CPUtime=0.08 cores=0,2,4,6
/proc/13156/task/13167/stat : 13167 (java) S 12999 12999 11905 0 -1 1077944384 439 0 0 0 8 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709074274544 139709629897346 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13168] ppid=12999 vsize=8068440 memory=1476 CPUtime=0.19 cores=0,2,4,6
/proc/13156/task/13168/stat : 13168 (java) S 12999 12999 11905 0 -1 1077944384 568 0 0 0 19 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709073221744 139709629897346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13169] ppid=12999 vsize=8068440 memory=120460 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13169/stat : 13169 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139707434395872 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13170] ppid=12999 vsize=8068440 memory=1017340 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13170/stat : 13170 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709072170160 139709629897346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 83 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13172] ppid=12999 vsize=8068440 memory=115560 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13172/stat : 13172 (java) S 12999 12999 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405754897 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709064136384 139709629910809 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13174] ppid=12999 vsize=8068440 memory=2921900 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13174/stat : 13174 (java) S 12999 12999 11905 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 405754897 8262082560 28890 33554432000 4194304 4196468 140736989123024 139706897510160 139709629908125 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13175] ppid=12999 vsize=8068440 memory=-7824251494390650986 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13175/stat : 13175 (java) S 12999 12999 11905 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405754897 8262082560 28890 33554432000 4194304 4196468 140736989123024 139707031731856 139709629908125 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13176] ppid=12999 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13176/stat : 13176 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405754899 8262082560 28890 33554432000 4194304 4196468 140736989123024 139706629086384 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
Current children cumulated CPU time: 664.06 s
Current children cumulated vsize: 12230984 KiB
Current children cumulated memory: 3842152 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+416.001 s]
/proc/loadavg: 3.21 2.66 2.34 3/239 13178
/proc/meminfo: memFree=10242752/32770624 swapFree=67003116/67108860
[pid=12999] ppid=12996 vsize=113128 memory=1472 CPUtime=646.72 cores=0,2,4,6
/proc/12999/stat : 12999 (scop.sh) S 12996 12999 11905 0 -1 4202496 583 182795 0 0 0 0 62882 1790 20 0 1 0 405716284 115843072 368 33554432000 4194304 5098028 140730347740592 140730347737336 139698230182524 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15122432 140730347741992 140730347742320 140730347742320 140730347745229 0
/proc/12999/statm: 28282 368 311 221 0 87 0
[pid=13156] ppid=12999 vsize=8068440 memory=115560 CPUtime=1.18 cores=0,2,4,6
/proc/13156/stat : 13156 (java) S 12999 12999 11905 0 -1 1077944320 20380 0 0 0 111 7 0 0 20 0 19 0 405754823 8262082560 28890 33554432000 4194304 4196468 140736989123024 140736989105568 139709629886199 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
/proc/13156/statm: 2017110 28890 3203 1 0 1978454 0
[pid=13171] ppid=13156 vsize=8481984 memory=6819068 CPUtime=29.87 cores=0,2,4,6
/proc/13171/stat : 13171 (glueminisat-sim) R 13156 12999 11905 0 -1 4202496 1045014 0 0 0 2740 247 0 0 20 0 1 0 405754896 8685551616 1704767 33554432000 4194304 4452875 140725844627072 140725843573224 4292480 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 36921344 140725844628319 140725844628519 140725844628519 140725844631469 0
/proc/13171/statm: 2120496 1704767 338 64 0 2116700 0
[pid=13156/tid=13157] ppid=12999 vsize=8068440 memory=115560 CPUtime=0.76 cores=0,2,4,6
/proc/13156/task/13157/stat : 13157 (java) S 12999 12999 11905 0 -1 1077944384 17332 0 0 0 71 5 0 0 20 0 19 0 405754824 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709601726368 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13158] ppid=12999 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13158/stat : 13158 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405754825 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709634128528 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13159] ppid=12999 vsize=8068440 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13159/stat : 13159 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405754825 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709114907152 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13160] ppid=12999 vsize=8068440 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13160/stat : 13160 (java) S 12999 12999 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405754825 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709113854352 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13161] ppid=12999 vsize=8068440 memory=6273532 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13161/stat : 13161 (java) S 12999 12999 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405754825 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709112801552 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13162] ppid=12999 vsize=8068440 memory=37464 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13162/stat : 13162 (java) S 12999 12999 11905 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405754827 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709076380528 139709629897346 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13163] ppid=12999 vsize=8068440 memory=6466240 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13163/stat : 13163 (java) S 12999 12999 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405754827 8262082560 28890 33554432000 4194304 4196468 140736989123024 139708441028128 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13164] ppid=12999 vsize=8068440 memory=4639074098508484692 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13164/stat : 13164 (java) S 12999 12999 11905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405754827 8262082560 28890 33554432000 4194304 4196468 140736989123024 139708306806128 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13165] ppid=12999 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13165/stat : 13165 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139707932301648 139709629904795 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13166] ppid=12999 vsize=8068440 memory=115560 CPUtime=0.1 cores=0,2,4,6
/proc/13156/task/13166/stat : 13166 (java) S 12999 12999 11905 0 -1 1077944384 609 0 0 0 10 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709075327344 139709629897346 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13167] ppid=12999 vsize=8068440 memory=6234824 CPUtime=0.08 cores=0,2,4,6
/proc/13156/task/13167/stat : 13167 (java) S 12999 12999 11905 0 -1 1077944384 439 0 0 0 8 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709074274544 139709629897346 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13168] ppid=12999 vsize=8068440 memory=1472 CPUtime=0.19 cores=0,2,4,6
/proc/13156/task/13168/stat : 13168 (java) S 12999 12999 11905 0 -1 1077944384 568 0 0 0 19 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709073221744 139709629897346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13169] ppid=12999 vsize=8068440 memory=-7824251494390650986 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13169/stat : 13169 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139707434395872 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13170] ppid=12999 vsize=8068440 memory=2852 CPUtime=0.01 cores=0,2,4,6
/proc/13156/task/13170/stat : 13170 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 19 0 405754830 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709072170160 139709629897346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 83 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13172] ppid=12999 vsize=8068440 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13172/stat : 13172 (java) S 12999 12999 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405754897 8262082560 28890 33554432000 4194304 4196468 140736989123024 139709064136384 139709629910809 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13174] ppid=12999 vsize=8068440 memory=37476 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13174/stat : 13174 (java) S 12999 12999 11905 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 405754897 8262082560 28890 33554432000 4194304 4196468 140736989123024 139706897510160 139709629908125 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13175] ppid=12999 vsize=8068440 memory=6576312 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13175/stat : 13175 (java) S 12999 12999 11905 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405754897 8262082560 28890 33554432000 4194304 4196468 140736989123024 139707031731856 139709629908125 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13176] ppid=12999 vsize=8068440 memory=3400 CPUtime=0 cores=0,2,4,6
/proc/13156/task/13176/stat : 13176 (java) S 12999 12999 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405754899 8262082560 28890 33554432000 4194304 4196468 140736989123024 139706629086384 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
Current children cumulated CPU time: 677.77 s
Current children cumulated vsize: 16663552 KiB
Current children cumulated memory: 6936100 KiB

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

[startup+416.015 s]
# the end of solver process 12999 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=628.821 s, system=17.9103 s

[startup+416.947 s]
# the end of solver process 13156 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=657.351 s, system=21.415 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+416.501 s]*
/proc/loadavg: 3.21 2.66 2.34 3/235 13182
/proc/meminfo: memFree=18171056/32770624 swapFree=67003116/67108860
[pid=13156] ppid=12996 vsize=8198484 memory=127776 CPUtime=31.57 cores=0,2,4,6
/proc/13156/stat : 13156 (java) S 12996 12999 11905 0 -1 1077944320 20424 1045022 0 0 112 24 2740 281 20 0 17 0 405754823 8395247616 31944 33554432000 4194304 4196468 140736989123024 140736989105568 139709629886199 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
/proc/13156/statm: 2049621 31944 3204 1 0 2010965 0
[pid=13156/tid=13157] ppid=12996 vsize=8198484 memory=6426664 CPUtime=30.97 cores=0,2,4,6
/proc/13156/task/13157/stat : 13157 (java) S 12996 12999 11905 0 -1 1077944384 17332 1045022 0 0 71 5 2740 281 20 0 17 0 405754824 8395247616 31944 33554432000 4194304 4196468 140736989123024 139709601726368 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13158] ppid=12996 vsize=8198484 memory=776 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13158/stat : 13158 (java) S 12996 12999 11905 0 -1 1077944384 1 1045022 0 0 0 0 2740 281 20 0 17 0 405754825 8395247616 31944 33554432000 4194304 4196468 140736989123024 139709634128528 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13159] ppid=12996 vsize=8198484 memory=3936 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13159/stat : 13159 (java) S 12996 12999 11905 0 -1 1077944384 2 1045022 0 0 0 0 2740 281 20 0 17 0 405754825 8395247616 31944 33554432000 4194304 4196468 140736989123024 139709114907152 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13160] ppid=12996 vsize=8198484 memory=4126316290023845779 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13160/stat : 13160 (java) S 12996 12999 11905 0 -1 1077944384 1 1045022 0 0 0 0 2740 281 20 0 17 0 405754825 8395247616 31944 33554432000 4194304 4196468 140736989123024 139709113854352 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13161] ppid=12996 vsize=8198484 memory=1568 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13161/stat : 13161 (java) S 12996 12999 11905 0 -1 1077944384 2 1045022 0 0 0 0 2740 281 20 0 17 0 405754825 8395247616 31944 33554432000 4194304 4196468 140736989123024 139709112801552 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13162] ppid=12996 vsize=8198484 memory=1040 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13162/stat : 13162 (java) S 12996 12999 11905 0 -1 1077944384 7 1045022 0 0 0 0 2740 281 20 0 17 0 405754827 8395247616 31944 33554432000 4194304 4196468 140736989123024 139709076380032 139709629897346 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13163] ppid=12996 vsize=8198484 memory=14008 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13163/stat : 13163 (java) S 12996 12999 11905 0 -1 1077944384 13 1045022 0 0 0 0 2740 281 20 0 17 0 405754827 8395247616 31944 33554432000 4194304 4196468 140736989123024 139708441028128 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13164] ppid=12996 vsize=8198484 memory=12040 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13164/stat : 13164 (java) S 12996 12999 11905 0 -1 1077944384 21 1045022 0 0 0 0 2740 281 20 0 17 0 405754827 8395247616 31944 33554432000 4194304 4196468 140736989123024 139708306806128 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13166] ppid=12996 vsize=8198484 memory=2120 CPUtime=30.31 cores=0,2,4,6
/proc/13156/task/13166/stat : 13166 (java) S 12996 12999 11905 0 -1 1077944384 609 1045022 0 0 10 0 2740 281 20 0 17 0 405754830 8395247616 31944 33554432000 4194304 4196468 140736989123024 139709075327344 139709629897346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13167] ppid=12996 vsize=8198484 memory=4872558044660077418 CPUtime=30.29 cores=0,2,4,6
/proc/13156/task/13167/stat : 13167 (java) S 12996 12999 11905 0 -1 1077944384 439 1045022 0 0 8 0 2740 281 20 0 17 0 405754830 8395247616 31944 33554432000 4194304 4196468 140736989123024 139709074274304 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13168] ppid=12996 vsize=8198484 memory=10604 CPUtime=30.4 cores=0,2,4,6
/proc/13156/task/13168/stat : 13168 (java) S 12996 12999 11905 0 -1 1077944384 571 1045022 0 0 19 0 2740 281 20 0 17 0 405754830 8395247616 31944 33554432000 4194304 4196468 140736989123024 139709073221744 139709629897346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13169] ppid=12996 vsize=8198484 memory=1720 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13169/stat : 13169 (java) S 12996 12999 11905 0 -1 1077944384 3 1045022 0 0 0 0 2740 281 20 0 17 0 405754830 8395247616 31944 33554432000 4194304 4196468 140736989123024 139707434395872 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13172] ppid=12996 vsize=8198484 memory=5840 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13172/stat : 13172 (java) S 12996 12999 11905 0 -1 1077944384 25 1045022 0 0 0 0 2740 281 20 0 17 0 405754897 8395247616 31944 33554432000 4194304 4196468 140736989123024 139709064134976 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13176] ppid=12996 vsize=8198484 memory=636 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13176/stat : 13176 (java) S 12996 12999 11905 0 -1 1077944384 4 1045022 0 0 0 0 2740 281 20 0 17 0 405754899 8395247616 31944 33554432000 4194304 4196468 140736989123024 139706629085984 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13179] ppid=12996 vsize=8198484 memory=2832 CPUtime=30.37 cores=0,2,4,6
/proc/13156/task/13179/stat : 13179 (java) R 12996 12999 11905 0 -1 4202560 3 1045022 0 0 0 16 2740 281 20 0 17 0 405757884 8395247616 31944 33554432000 4194304 4196468 140736989123024 139706360652952 139709622571831 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
[pid=13156/tid=13182] ppid=12996 vsize=8198484 memory=1472 CPUtime=30.21 cores=0,2,4,6
/proc/13156/task/13182/stat : 13182 (java) S 12996 12999 11905 0 -1 1077944384 3 1045022 0 0 0 0 2740 281 20 0 17 0 405757885 8395247616 31944 33554432000 4194304 4196468 140736989123024 139706092216016 139709629896405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18157568 140736989127675 140736989127834 140736989127834 140736989130703 0
Current cumulated CPU time of completed processes: 646.731 s
Current children cumulated CPU time: 31.57 s
Current children cumulated vsize: 8198484 KiB
Current children cumulated memory: 127776 KiB

[startup+416.9 s]
/proc/loadavg: 3.21 2.66 2.34 3/220 13182
/proc/meminfo: memFree=19750188/32770624 swapFree=67003116/67108860
Current cumulated CPU time of completed processes: 646.731 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 416.947
CPU time (s): 678.766
CPU user time (s): 657.351
CPU system time (s): 21.415
CPU usage (%): 162.794
Max. virtual memory (cumulated for all children) (KiB): 16663552
Max. memory (cumulated for all children) (KiB): 11864224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 657.351
system time used= 21.415
maximum resident set size= 11863280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1249324
page faults= 0
swaps= 0
block input operations= 272
block output operations= 9010872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20554
involuntary context switches= 3968


# summary of solver processes directly reported to runsolver:
#   pid: 12999,13156
#   total CPU time (s): 678.766
#   total CPU user time (s): 657.351
#   total CPU system time (s): 21.415

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.73469 second user time and 4.30527 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-12 15:23:52
IDJOB=4388046
IDBENCH=133404
IDSOLVER=2825
FILE ID=node136/4388046-1568294676
RUNJOBID= node136-1568289646-11936
PBS_JOBID= 21701094
Free space on /tmp= 54612 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-80-3-7.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-4388046-1568294676/watcher-4388046-1568294676 -o /tmp/evaluation-result-4388046-1568294676/solver-4388046-1568294676 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568289646-11936 --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-4388046-1568294676.xml

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

MD5SUM BENCH= 06954292f1b618a5cd25146d74869010
RANDOM SEED=1425309595

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22972544 kB
MemAvailable:   31624356 kB
Buffers:           88564 kB
Cached:          8767412 kB
SwapCached:         2468 kB
Active:          1590548 kB
Inactive:        7510164 kB
Active(anon):     246020 kB
Inactive(anon):    40044 kB
Active(file):    1344528 kB
Inactive(file):  7470120 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       67003116 kB
Dirty:             20512 kB
Writeback:             0 kB
AnonPages:        351728 kB
Mapped:            54896 kB
Shmem:             32792 kB
Slab:             293852 kB
SReclaimable:     265624 kB
SUnreclaim:        28228 kB
KernelStack:        3824 kB
PageTables:         6356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6106624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54260 MiB
End job on node136 at 2019-09-12 15:30:49