Trace number 4387770

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) 651.679 625.753

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-02-09.xml
MD5SUM51af40833062bacbe569ad61b7e4d8a4
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 benchmark2.88246
Satisfiable
(Un)Satisfiability was proved
Number of variables5122
Number of constraints4611
Number of domains3
Minimum domain size2
Maximum domain size513
Distribution of domain sizes[{"size":2,"count":4608},{"size":512,"count":512},{"size":513,"count":2}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":512},{"degree":3,"count":4608}]
Minimum constraint arity2
Maximum constraint arity514
Distribution of constraint arities[{"arity":2,"count":4096},{"arity":10,"count":512},{"arity":512,"count":2},{"arity":514,"count":1}]
Number of extensional constraints0
Number of intensional constraints4096
Distribution of constraint types[{"type":"intension","count":4096},{"type":"allDifferent","count":1},{"type":"sum","count":512},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-9772-serial-file.bin HOME/instance-4387770-1568289872.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 14:03:53 CEST 2019
0.66/0.55	c PID: 9775
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
4.67/1.92	c (1,1) Parsing End
4.67/1.94	c (1,1) CSP: 514 int (0 aux), 4608 bool (0 aux), 4611 ctr, max domain size 513
4.67/1.94	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.67/1.94	c (1,1) Constraint Name Generate Begin
4.67/1.97	c (1,1) Ctr:HOME/instance-4387770-1568289872.xml,AllDifferent:Cardinality:Eq:Minimum:Num:Var:WeightedSum
4.67/1.97	c (1,1) Constraint Name Generate End
4.67/1.97	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.67/1.97	c (1,1) CSP to CSPinCNF Begin
16.32/8.70	c (8,8) translated 462 (10%) constraints
16.64/8.76	c (8,8) translated 923 (20%) constraints
16.64/8.79	c (8,8) translated 1384 (30%) constraints
16.85/8.81	c (8,8) translated 1845 (40%) constraints
16.85/8.84	c (8,8) translated 2306 (50%) constraints
16.85/8.86	c (8,8) translated 2767 (60%) constraints
16.85/8.89	c (8,8) translated 3228 (70%) constraints
17.16/8.91	c (8,8) translated 3689 (80%) constraints
17.16/8.94	c (8,8) translated 4150 (90%) constraints
18.64/9.51	c (8,8) translated 4611 (100%) constraints
19.43/9.72	c (9,9) ===========================================
19.43/9.72	c (9,9) Order
19.43/9.72	c (9,9) ===========================================
20.51/10.25	c (9,9) translated 13851 (10%) constraints
21.11/10.66	c (10,9) translated 27701 (20%) constraints
21.52/11.07	c (10,10) translated 41551 (30%) constraints
21.91/11.49	c (10,10) translated 55401 (40%) constraints
22.41/11.90	c (11,11) translated 69251 (50%) constraints
22.81/12.31	c (11,11) translated 83102 (60%) constraints
23.21/12.72	c (12,12) translated 96952 (70%) constraints
23.63/13.13	c (12,12) translated 110802 (80%) constraints
24.02/13.54	c (13,12) translated 124652 (90%) constraints
41.77/26.56	c (26,24) translated 138502 (100%) constraints
41.77/26.57	c (26,24) CSP to CSPinCNF End
42.07/26.64	c (26,24) CSP: 910 int (396 aux), 268800 bool (264192 aux), 670239 ctr, max domain size 555
42.07/26.64	c (26,24) Heap : 1845 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
42.07/26.64	c (26,24) CSPinCNF Propagation Begin
72.22/48.43	c (47,44) 0 values, 1024 unsatisfiable literals, and 2048 valid clauses are removed
72.22/48.43	c (47,44) CSPinCNF Propagation End
72.36/48.50	c (47,44) CSP: 910 int (396 aux), 268800 bool (264192 aux), 668191 ctr, max domain size 555
72.36/48.50	c (47,44) Heap : 2543 MiB used (max 10497 MiB), NonHeap : 31 MiB used (max 0 MiB)
72.36/48.51	c (47,44) Simplify CSPinCNF Begin
78.94/53.62	c (53,48) Simplify CSPinCNF End
79.21/53.74	c (53,49) CSP: 910 int (396 aux), 530944 bool (526336 aux), 930335 ctr, max domain size 555
79.21/53.74	c (53,49) Heap : 3124 MiB used (max 10502 MiB), NonHeap : 31 MiB used (max 0 MiB)
79.21/53.74	c (53,49) Calculate Precise Domain Begin
79.21/53.76	c (53,49) 0 values are removed by re-calculation
79.21/53.76	c (53,49) Calculate Precise Domain End
79.36/53.87	c (53,49) CSP: 910 int (396 aux), 530944 bool (526336 aux), 930335 ctr, max domain size 555
79.36/53.87	c (53,49) Heap : 3124 MiB used (max 10502 MiB), NonHeap : 31 MiB used (max 0 MiB)
79.36/53.87	c (53,49) CSPinCNF to SatSolver Begin
207.57/179.05	c (178,169) 93034 (10 %) CSP clauses are encoded (0 SAT variables, 32063455 SAT clauses)
327.70/302.15	c (301,288) 186067 (20 %) CSP clauses are encoded (0 SAT variables, 63849730 SAT clauses)
447.77/423.56	c (423,407) 279101 (30 %) CSP clauses are encoded (0 SAT variables, 95636006 SAT clauses)
567.85/544.13	c (543,526) 372134 (40 %) CSP clauses are encoded (0 SAT variables, 127422281 SAT clauses)
594.88/571.49	c (570,553) 465168 (50 %) CSP clauses are encoded (0 SAT variables, 134436299 SAT clauses)
595.98/572.58	c (572,554) 558201 (60 %) CSP clauses are encoded (0 SAT variables, 134529332 SAT clauses)
597.09/573.68	c (573,555) 651235 (70 %) CSP clauses are encoded (0 SAT variables, 134622366 SAT clauses)
598.87/574.94	c (574,557) 744268 (80 %) CSP clauses are encoded (0 SAT variables, 134715399 SAT clauses)
599.99/576.04	c (575,558) 837302 (90 %) CSP clauses are encoded (0 SAT variables, 134808433 SAT clauses)
607.72/582.41	c (581,564) 930335 (100 %) CSP clauses are encoded (0 SAT variables, 136569294 SAT clauses)
607.72/582.41	c (581,564) CSPinCNF to SatSolver End
607.72/582.41	c (581,564) Heap : 1472 MiB used (max 11235 MiB), NonHeap : 32 MiB used (max 0 MiB)
607.72/582.41	c (581,564) 809034 bool, 136569805 clause
607.72/582.41	c (581,564) Export Begin
608.28/582.71	c (582,564) Export to HOME/scop-9772-serial-file.bin
608.28/582.71	c (582,564) Export End
608.28/582.71	c (582,564) Export File Size: 0.86 MB
608.28/582.71	c (582,564) 1,1,26,47,53,53,581,STOP-AFTER(DIMACS)
608.28/582.71	c END-Prog: Thu Sep 12 14:13:35 CEST 2019
608.28/582.75	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9772-serial-file.bin
608.83/583.26	c (0,0) Read Serial File Begin
608.83/583.26	c (0,0) HOME/scop-9772-serial-file.bin
609.62/583.69	c (0,0) Read Serial File End
609.79/583.70	
609.79/583.70	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
609.79/583.70	(Solving Process)
609.79/583.70	
609.79/583.73	c BEGIN-Prog: Thu Sep 12 14:13:36 CEST 2019
609.79/583.73	c PID: 10022
609.79/583.73	c IP: 172.20.3.150
609.79/583.73	c HOST: node150.alineos.net
609.79/583.73	c (0,0) SatSolver.solve Begin
609.79/583.73	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387770-1568289872.xml-scop-9775.cnf
609.79/583.79	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
609.79/583.79	c (0,0) c glueminisat-simp-2.2.10-193oa-n
609.79/583.79	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387770-1568289872.xml-scop-9775.cnf 
609.79/583.79	c (0,0) c Options:
609.79/583.79	c (0,0) c CORE
609.79/583.79	c (0,0) c  var_decay             = 0.950
609.79/583.79	c (0,0) c  clause_decay          = 0.999
609.79/583.79	c (0,0) c  random_var_freq       = 0.000
609.79/583.79	c (0,0) c  random_seed           = 91648253.000
609.79/583.79	c (0,0) c  luby_restart          = 1
609.79/583.79	c (0,0) c  ccmin_mode            = 2
609.79/583.79	c (0,0) c  phase_saving          = 2
609.79/583.79	c (0,0) c  rnd_pol               = 0
609.79/583.79	c (0,0) c  rnd_init_act          = 0
609.79/583.79	c (0,0) c  garbage_frac          = 0.200
609.79/583.79	c (0,0) c  restart_first         = 1000
609.79/583.79	c (0,0) c  restart_inc           = 2.000
609.79/583.79	c (0,0) c MODEL
609.79/583.79	c (0,0) c  partial_model         = 0
609.79/583.79	c (0,0) c PROPAGATION
609.79/583.79	c (0,0) c  bin_propagation       = 1
609.79/583.79	c (0,0) c SIMPLIFICATION
609.79/583.79	c (0,0) c  lrn_min_size          = 100
609.79/583.79	c (0,0) c  lazy_simp             = 1
609.79/583.79	c (0,0) c  lazy_interval         = 10
609.79/583.79	c (0,0) c  lazy_fld_probing      = 1
609.79/583.79	c (0,0) c  lazy_pol_probing      = 1
609.79/583.79	c (0,0) c  lazy_nec_probing      = 1
609.79/583.79	c (0,0) c  lazy_eqv_probing      = 1
609.79/583.79	c (0,0) c  lazy_cla_probing      = 1
609.79/583.79	c (0,0) c  lazy_lrn_min          = 2
609.79/583.79	c (0,0) c  lazy_uw_lit_elim      = 1
609.79/583.79	c (0,0) c  lazy_pr_lit_elim      = 0
609.79/583.79	c (0,0) c  lazy_bin_add          = 3
609.79/583.79	c (0,0) c  probed_lit_chain      = 1
609.79/583.79	c (0,0) c  pr_min_lits           = 0.00020
609.79/583.79	c (0,0) c  pr_min_starts         = 500
609.79/583.79	c (0,0) c  rw_min_lits           = 0.010
609.79/583.79	c (0,0) c  rw_min_starts         = 500
609.79/583.79	c (0,0) c  rand_attach           = 0
609.79/583.79	c (0,0) c  dec_elim              = 1
609.79/583.79	c (0,0) c  dec_elim_lim          = 25
609.79/583.79	c (0,0) c  dec_elim_len          = -1
609.79/583.79	c (0,0) c  amo                   = 0
609.79/583.79	c (0,0) c  amo_grp               = 1
609.79/583.79	c (0,0) c  amo_max_bins          = 1000000
609.79/583.79	c (0,0) c  amo_starts            = 50
609.79/583.79	c (0,0) c  mace_cmd              = mace
609.79/583.79	c (0,0) c DECISION
609.79/583.79	c (0,0) c  rand_rebuild          = 0
609.79/583.79	c (0,0) c  rand_rebuild_confs    = 10000
609.79/583.79	c (0,0) c  inc_var_decay         = 1
609.79/583.79	c (0,0) c  inc_var_decay_period  = 100000
609.79/583.79	c (0,0) c  inc_var_decay_init    = 0.600
609.79/583.79	c (0,0) c  var_decay_mode        = 0
609.79/583.79	c (0,0) c  var_decay_gain        = 0
609.79/583.79	c (0,0) c  sloped_var_decay      = 1
609.79/583.79	c (0,0) c  max_var_decay         = 0.990
609.79/583.79	c (0,0) c  min_var_decay         = 0.950
609.79/583.79	c (0,0) c  min_var_decay_vars    = 10000
609.79/583.79	c (0,0) c  max_var_decay_vars    = 500
609.79/583.79	c (0,0) c  uip_bumping           = 1
609.79/583.79	c (0,0) c  lbd_act_bumping       = 1
609.79/583.79	c (0,0) c  rand_tiebreak         = 0
609.79/583.79	c (0,0) c  simp_rebuild          = 1
609.79/583.79	c (0,0) c RESTART
609.79/583.79	c (0,0) c  restart_strategy      = 2
609.79/583.79	c (0,0) c  restart_blocking      = 0
609.79/583.79	c (0,0) c  agility_decay         = 0.99990
609.79/583.79	c (0,0) c  lbd_restart_rate      = 0.800
609.79/583.79	c (0,0) c  dec_restart_rate      = 0.950
609.79/583.79	c (0,0) c  blk_restart_rate      = 0.700
609.79/583.79	c (0,0) c  lbd_queue_size        = 50
609.79/583.79	c (0,0) c  dec_queue_size        = 50
609.79/583.79	c (0,0) c  trl_queue_size        = 5000
609.79/583.79	c (0,0) c  blk_restart_weight    = 1.000
609.79/583.79	c (0,0) c  inc_rst_rate          = 0
609.79/583.79	c (0,0) c  inc_rst_rate_period   = 500000
609.79/583.79	c (0,0) c  inc_lbd_rst_rate_init = 0.600
609.79/583.79	c (0,0) c  inc_dec_rst_rate_init = 0.750
609.79/583.79	c (0,0) c REDUCTION
609.79/583.79	c (0,0) c  closed_lbd            = 0
609.79/583.79	c (0,0) c  closed_lbd_rate       = 0.500
609.79/583.79	c (0,0) c  rm_simulate           = 0
609.79/583.79	c (0,0) c  rdb_eval              = 2
609.79/583.79	c (0,0) c  rdb_call              = 3
609.79/583.79	c (0,0) c  rdb_ub                = 0.500
609.79/583.79	c (0,0) c  core_lbd_cvr          = 0.800
609.79/583.79	c (0,0) c  supp_lbd_cvr          = 0.990
609.79/583.79	c (0,0) c  core_lbd_lb           = 2
609.79/583.79	c (0,0) c  supp_lbd_lb           = 2
609.79/583.79	c (0,0) c  core_lbd_prd          = 7
609.79/583.79	c (0,0) c  supp_lbd_prd          = 1
609.79/583.79	c (0,0) c  othr_lbd_prd          = 0
609.79/583.79	c (0,0) c  inc_lrn_limit         = 1000
609.79/583.79	c (0,0) c  frozen_lbd            = 30
609.79/583.79	c (0,0) c  simp_min_starts       = 100
609.79/583.79	c (0,0) c  rm_low_act_learnts    = 1
609.79/583.79	c (0,0) c  lv0_reduce_db         = 0
609.79/583.79	c (0,0) c  reduce_db_base        = 20000
609.79/583.79	c (0,0) c  reduce_db_inc         = 1000
609.79/583.79	c (0,0) c HARD
609.79/583.79	c (0,0) c  inst_check            = 200000
609.79/583.79	c (0,0) c  small_block           = 1.750
609.79/583.79	c (0,0) c  slow_restart_speed    = 400.000
609.79/583.79	c (0,0) c  slow_restart_strategy = 3
609.79/583.79	c (0,0) c  slow_lbd_restart_rate = 0.700
609.79/583.79	c (0,0) c  slow_dec_restart_rate = 1.000
609.79/583.79	c (0,0) c  slow_lbd_queue_size   = 50
609.79/583.79	c (0,0) c  slow_var_decay        = 0.950
609.79/583.79	c (0,0) c  slow_glue_threshold   = 2
609.79/583.79	c (0,0) c  slow_phase_saving     = 2
609.79/583.79	c (0,0) c  fast_restart_speed    = 125.000
609.79/583.79	c (0,0) c  fast_restart_strategy = 1
609.79/583.79	c (0,0) c  fast_lbd_restart_rate = 0.800
609.79/583.79	c (0,0) c  fast_dec_restart_rate = 0.950
609.79/583.79	c (0,0) c  fast_lbd_queue_size   = 50
609.79/583.79	c (0,0) c  fast_var_decay        = 1.000
609.79/583.79	c (0,0) c  fast_glue_threshold   = 2
609.79/583.79	c (0,0) c  fast_phase_saving     = 2
609.79/583.79	c (0,0) c STATS
609.79/583.79	c (0,0) c  stats_conf_size       = 10000
609.79/583.79	c (0,0) c  max_stats_size        = 30
609.79/583.79	c (0,0) c SOLVER
609.79/583.79	c (0,0) c  minisat               = 0
650.81/624.81	c (41,0) receiving signal SIGTERM
650.81/624.81	s UNKNOWN
650.81/624.81	c (scop.sh) Receiving Signal. Removing all intermediate files.
650.81/624.81	c (scop.sh) Remove HOME/scop-9772-serial-file.bin.
650.81/624.82	c (scop.sh) Killing background jobs.
650.81/624.82	c (41,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 (1067 MiB free)
  memory of node 1: 16384 MiB (10887 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387770-1568289872/watcher-4387770-1568289872 -o /tmp/evaluation-result-4387770-1568289872/solver-4387770-1568289872 -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-4387770-1568289872.xml 

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

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

solver pid=9772, runsolver pid=9769

[startup+0.102198 s]*
/proc/loadavg: 2.24 2.21 2.08 4/235 9789
/proc/meminfo: memFree=12181840/32770624 swapFree=67036660/67108860
[pid=9772] ppid=9769 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9772/stat : 9772 (scop.sh) S 9769 9772 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405259828 115843072 349 33554432000 4194304 5098028 140721060193552 140721060190808 140334687625852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140721060201256 140721060201584 140721060201584 140721060204493 0
/proc/9772/statm: 28282 349 296 221 0 87 0
[pid=9775] ppid=9772 vsize=15012696 memory=73092 CPUtime=0.12 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9772 9772 7440 0 -1 1077944320 6999 0 0 0 10 2 0 0 20 0 15 0 405259828 15373000704 18273 33554432000 4194304 4196468 140734029057568 140734029040112 140706344062711 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
/proc/9775/statm: 3753174 18273 2920 1 0 3715579 0
[pid=9775/tid=9776] ppid=9772 vsize=15012696 memory=-2843878391377872030 CPUtime=0.09 cores=1,3,5,7
/proc/9775/task/9776/stat : 9776 (java) R 9772 9772 7440 0 -1 4202560 4822 0 0 0 8 1 0 0 20 0 15 0 405259828 15373000704 18273 33554432000 4194304 4196468 140734029057568 140706315856616 140706324338460 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9777] ppid=9772 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9777/stat : 9777 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 18273 33554432000 4194304 4196468 140734029057568 140706348304656 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9778] ppid=9772 vsize=15012696 memory=139914147612288 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9778/stat : 9778 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 18273 33554432000 4194304 4196468 140734029057568 140706162461072 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9779] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9779/stat : 9779 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 18273 33554432000 4194304 4196468 140734029057568 140706161408528 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9780] ppid=9772 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9780/stat : 9780 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 18273 33554432000 4194304 4196468 140734029057568 140706160355984 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9781] ppid=9772 vsize=15012696 memory=139914147612288 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9781/stat : 9781 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259831 15373000704 18273 33554432000 4194304 4196468 140734029057568 140705381394928 140706344073858 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9782] ppid=9772 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9782/stat : 9782 (java) S 9772 9772 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405259832 15373000704 18273 33554432000 4194304 4196468 140734029057568 140704873440672 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9783] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405259832 15373000704 18273 33554432000 4194304 4196468 140734029057568 140704605005296 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9784] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15373000704 18273 33554432000 4194304 4196468 140734029057568 140704230496976 140706344081307 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9785] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) S 9772 9772 7440 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 405259834 15373000704 18273 33554432000 4194304 4196468 140734029057568 140705380341744 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9786] ppid=9772 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15373000704 18273 33554432000 4194304 4196468 140734029057568 140705379289200 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9787] ppid=9772 vsize=15012696 memory=139914147612288 CPUtime=0.01 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) S 9772 9772 7440 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 15 0 405259834 15373000704 18273 33554432000 4194304 4196468 140734029057568 140705378236656 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9788] ppid=9772 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15373000704 18273 33554432000 4194304 4196468 140734029057568 140703732591200 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9789] ppid=9772 vsize=15012696 memory=139914147612288 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405259835 15373000704 18273 33554432000 4194304 4196468 140734029057568 140705377184560 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74488 KiB

[startup+0.211352 s]*
/proc/loadavg: 2.24 2.21 2.08 3/235 9789
/proc/meminfo: memFree=12155036/32770624 swapFree=67036660/67108860
[pid=9772] ppid=9769 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9772/stat : 9772 (scop.sh) S 9769 9772 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405259828 115843072 349 33554432000 4194304 5098028 140721060193552 140721060190808 140334687625852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140721060201256 140721060201584 140721060201584 140721060204493 0
/proc/9772/statm: 28282 349 296 221 0 87 0
[pid=9775] ppid=9772 vsize=15012696 memory=88176 CPUtime=0.25 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9772 9772 7440 0 -1 1077944320 12110 0 0 0 22 3 0 0 20 0 15 0 405259828 15373000704 21978 33554432000 4194304 4196468 140734029057568 140734029040112 140706344062711 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
/proc/9775/statm: 3753174 21978 2925 1 0 3715579 0
[pid=9775/tid=9776] ppid=9772 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/9775/task/9776/stat : 9776 (java) R 9772 9772 7440 0 -1 4202560 9864 0 0 0 17 3 0 0 20 0 15 0 405259828 15373000704 22044 33554432000 4194304 4196468 140734029057568 140706315877952 140734029588904 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9777] ppid=9772 vsize=15012696 memory=539 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9777/stat : 9777 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 22044 33554432000 4194304 4196468 140734029057568 140706348304656 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9778] ppid=9772 vsize=15012696 memory=139914147624363 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9778/stat : 9778 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 22044 33554432000 4194304 4196468 140734029057568 140706162461072 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9779] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9779/stat : 9779 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 22044 33554432000 4194304 4196468 140734029057568 140706161408528 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9780] ppid=9772 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9780/stat : 9780 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 22044 33554432000 4194304 4196468 140734029057568 140706160355984 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9781] ppid=9772 vsize=15012696 memory=139914147612288 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9781/stat : 9781 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259831 15373000704 22044 33554432000 4194304 4196468 140734029057568 140705381394928 140706344073858 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9782] ppid=9772 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9782/stat : 9782 (java) S 9772 9772 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405259832 15373000704 22044 33554432000 4194304 4196468 140734029057568 140704873440672 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9783] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405259832 15373000704 22044 33554432000 4194304 4196468 140734029057568 140704605005296 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9784] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15373000704 22044 33554432000 4194304 4196468 140734029057568 140704230496976 140706344081307 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9785] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) S 9772 9772 7440 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 15 0 405259834 15373000704 22044 33554432000 4194304 4196468 140734029057568 140705380341744 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9786] ppid=9772 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) S 9772 9772 7440 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405259834 15373000704 22044 33554432000 4194304 4196468 140734029057568 140705379289200 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9787] ppid=9772 vsize=15012696 memory=139914147612288 CPUtime=0.03 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) S 9772 9772 7440 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 15 0 405259834 15373000704 22044 33554432000 4194304 4196468 140734029057568 140705378236656 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9788] ppid=9772 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15373000704 22044 33554432000 4194304 4196468 140734029057568 140703732591200 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9789] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259835 15373000704 22044 33554432000 4194304 4196468 140734029057568 140705377184560 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89572 KiB

[startup+0.310771 s]*
/proc/loadavg: 2.24 2.21 2.08 3/235 9789
/proc/meminfo: memFree=12156284/32770624 swapFree=67036660/67108860
[pid=9772] ppid=9769 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9772/stat : 9772 (scop.sh) S 9769 9772 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405259828 115843072 349 33554432000 4194304 5098028 140721060193552 140721060190808 140334687625852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140721060201256 140721060201584 140721060201584 140721060204493 0
/proc/9772/statm: 28282 349 296 221 0 87 0
[pid=9775] ppid=9772 vsize=15012696 memory=91928 CPUtime=0.42 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9772 9772 7440 0 -1 1077944320 13040 0 0 0 38 4 0 0 20 0 15 0 405259828 15373000704 22982 33554432000 4194304 4196468 140734029057568 140734029040112 140706344062711 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
/proc/9775/statm: 3753174 22982 3033 1 0 3715579 0
[pid=9775/tid=9776] ppid=9772 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=1,3,5,7
/proc/9775/task/9776/stat : 9776 (java) R 9772 9772 7440 0 -1 4202560 10606 0 0 0 27 3 0 0 20 0 15 0 405259828 15373000704 22982 33554432000 4194304 4196468 140734029057568 140706315847696 140706325626380 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9777] ppid=9772 vsize=15012696 memory=288230621904634245 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9777/stat : 9777 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 22982 33554432000 4194304 4196468 140734029057568 140706348304656 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9778] ppid=9772 vsize=15012696 memory=14414817440048611 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9778/stat : 9778 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 22982 33554432000 4194304 4196468 140734029057568 140706162461072 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9779] ppid=9772 vsize=15012696 memory=279827991263600 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9779/stat : 9779 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 22982 33554432000 4194304 4196468 140734029057568 140706161408528 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9780] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9780/stat : 9780 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405259830 15373000704 22982 33554432000 4194304 4196468 140734029057568 140706160355984 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9781] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9781/stat : 9781 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259831 15373000704 22982 33554432000 4194304 4196468 140734029057568 140705381394928 140706344073858 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9782] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9782/stat : 9782 (java) S 9772 9772 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405259832 15373000704 22982 33554432000 4194304 4196468 140734029057568 140704873440672 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9783] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405259832 15373000704 22982 33554432000 4194304 4196468 140734029057568 140704605005296 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9784] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15373000704 22982 33554432000 4194304 4196468 140734029057568 140704230496976 140706344081307 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9785] ppid=9772 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) S 9772 9772 7440 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 405259834 15373000704 22982 33554432000 4194304 4196468 140734029057568 140705380341744 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9786] ppid=9772 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) S 9772 9772 7440 0 -1 1077944384 124 0 0 0 2 0 0 0 20 0 15 0 405259834 15373000704 22982 33554432000 4194304 4196468 140734029057568 140705379289200 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9787] ppid=9772 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) S 9772 9772 7440 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 15 0 405259834 15373000704 22982 33554432000 4194304 4196468 140734029057568 140705378236656 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9788] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15373000704 22982 33554432000 4194304 4196468 140734029057568 140703732591200 140706344072917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9789] ppid=9772 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259835 15373000704 22982 33554432000 4194304 4196468 140734029057568 140705377184560 140706344073858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93324 KiB

[startup+0.710326 s]
/proc/loadavg: 2.24 2.21 2.08 3/235 9789
/proc/meminfo: memFree=12138248/32770624 swapFree=67036660/67108860
[pid=9772] ppid=9769 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9772/stat : 9772 (scop.sh) S 9769 9772 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405259828 115843072 349 33554432000 4194304 5098028 140721060193552 140721060190808 140334687625852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140721060201256 140721060201584 140721060201584 140721060204493 0
/proc/9772/statm: 28282 349 296 221 0 87 0
[pid=9775] ppid=9772 vsize=15018968 memory=131788 CPUtime=1.05 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9772 9772 7440 0 -1 1077944320 20139 0 0 0 99 6 0 0 20 0 15 0 405259828 15379423232 32947 33554432000 4194304 4196468 140734029057568 140734029040112 140706344062711 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
/proc/9775/statm: 3754742 32947 3192 1 0 3716091 0
[pid=9775/tid=9776] ppid=9772 vsize=15018968 memory=4964 CPUtime=0.68 cores=1,3,5,7
/proc/9775/task/9776/stat : 9776 (java) R 9772 9772 7440 0 -1 4202560 17163 0 0 0 63 5 0 0 20 0 15 0 405259828 15379423232 32947 33554432000 4194304 4196468 140734029057568 140706315897648 140705829852347 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9777] ppid=9772 vsize=15018968 memory=10092 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9777/stat : 9777 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15379423232 32947 33554432000 4194304 4196468 140734029057568 140706348304656 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9778] ppid=9772 vsize=15018968 memory=1908 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9778/stat : 9778 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15379423232 32947 33554432000 4194304 4196468 140734029057568 140706162461072 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9779] ppid=9772 vsize=15018968 memory=1360 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9779/stat : 9779 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259830 15379423232 32947 33554432000 4194304 4196468 140734029057568 140706161408528 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9780] ppid=9772 vsize=15018968 memory=7392 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9780/stat : 9780 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405259830 15379423232 32947 33554432000 4194304 4196468 140734029057568 140706160355984 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9781] ppid=9772 vsize=15018968 memory=860 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9781/stat : 9781 (java) S 9772 9772 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405259831 15379423232 32947 33554432000 4194304 4196468 140734029057568 140705381394928 140706344073858 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9782] ppid=9772 vsize=15018968 memory=776 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9782/stat : 9782 (java) S 9772 9772 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405259832 15379423232 32947 33554432000 4194304 4196468 140734029057568 140704873440672 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9783] ppid=9772 vsize=15018968 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405259832 15379423232 32947 33554432000 4194304 4196468 140734029057568 140704605005296 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9784] ppid=9772 vsize=15018968 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15379423232 32947 33554432000 4194304 4196468 140734029057568 140704230496976 140706344081307 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9785] ppid=9772 vsize=15018968 memory=3824 CPUtime=0.08 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) R 9772 9772 7440 0 -1 4202560 755 0 0 0 8 0 0 0 20 0 15 0 405259834 15379423232 32947 33554432000 4194304 4196468 140734029057568 140705380331664 140706344076560 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9786] ppid=9772 vsize=15018968 memory=1384 CPUtime=0.09 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) R 9772 9772 7440 0 -1 4202560 212 0 0 0 9 0 0 0 20 0 15 0 405259834 15379423232 32947 33554432000 4194304 4196468 140734029057568 140705379289200 140706325582702 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9787] ppid=9772 vsize=15018968 memory=15080 CPUtime=0.17 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) R 9772 9772 7440 0 -1 4202560 671 0 0 0 17 0 0 0 20 0 15 0 405259834 15379423232 32947 33554432000 4194304 4196468 140734029057568 140705378234616 140706323080831 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9788] ppid=9772 vsize=15018968 memory=19260 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15379423232 32947 33554432000 4194304 4196468 140734029057568 140703732591200 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9789] ppid=9772 vsize=15018968 memory=2676 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405259835 15379423232 32947 33554432000 4194304 4196468 140734029057568 140705377184560 140706344073858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133184 KiB

[startup+1.50137 s]
/proc/loadavg: 2.24 2.21 2.08 6/235 9789
/proc/meminfo: memFree=12080172/32770624 swapFree=67036660/67108860
[pid=9772] ppid=9769 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9772/stat : 9772 (scop.sh) S 9769 9772 7440 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405259828 115843072 349 33554432000 4194304 5098028 140721060193552 140721060190808 140334687625852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140721060201256 140721060201584 140721060201584 140721060204493 0
/proc/9772/statm: 28282 349 296 221 0 87 0

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

/proc/9775/task/9778/stat : 9778 (java) S 9772 9772 7440 0 -1 1077944384 8634 0 0 0 558 79 0 0 20 0 15 0 405259830 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140706162461072 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9779] ppid=9772 vsize=15029352 memory=0 CPUtime=6.37 cores=1,3,5,7
/proc/9775/task/9779/stat : 9779 (java) S 9772 9772 7440 0 -1 1077944384 7913 0 0 0 562 75 0 0 20 0 15 0 405259830 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140706161408528 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9780] ppid=9772 vsize=15029352 memory=187 CPUtime=6.35 cores=1,3,5,7
/proc/9775/task/9780/stat : 9780 (java) S 9772 9772 7440 0 -1 1077944384 9014 0 0 0 556 79 0 0 20 0 15 0 405259830 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140706160355984 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9781] ppid=9772 vsize=15029352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/9775/task/9781/stat : 9781 (java) S 9772 9772 7440 0 -1 1077944384 2649 0 0 0 12 2 0 0 20 0 15 0 405259831 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140705381394928 140706344073858 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9782] ppid=9772 vsize=15029352 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9782/stat : 9782 (java) S 9772 9772 7440 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 405259832 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140704873440736 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9783] ppid=9772 vsize=15029352 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9772 9772 7440 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 405259832 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140704605005312 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9784] ppid=9772 vsize=15029352 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140704230496976 140706344081307 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9785] ppid=9772 vsize=15029352 memory=5439960 CPUtime=7.8 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) S 9772 9772 7440 0 -1 1077944384 20747 0 0 0 777 3 0 0 20 0 15 0 405259834 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140705380341744 140706344073858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9786] ppid=9772 vsize=15029352 memory=1396 CPUtime=7.4 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) S 9772 9772 7440 0 -1 1077944384 18160 0 0 0 737 3 0 0 20 0 15 0 405259834 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140705379289200 140706344073858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9787] ppid=9772 vsize=15029352 memory=5439960 CPUtime=1.72 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) S 9772 9772 7440 0 -1 1077944384 14257 0 0 0 169 3 0 0 20 0 15 0 405259834 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140705378236656 140706344073858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9788] ppid=9772 vsize=15029352 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405259834 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140703732591200 140706344072917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
[pid=9775/tid=9789] ppid=9772 vsize=15029352 memory=5439960 CPUtime=0.33 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9772 9772 7440 0 -1 1077944384 326 0 0 0 17 16 0 0 20 0 15 0 405259835 15390056448 1359990 33554432000 4194304 4196468 140734029057568 140705377184560 140706344073858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140734029062895 140734029063322 140734029063322 140734029066191 0
Current children cumulated CPU time: 607.58 s
Current children cumulated vsize: 15142480 KiB
Current children cumulated memory: 5441356 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+624.801 s]
/proc/loadavg: 1.84 1.84 1.94 3/235 10046
/proc/meminfo: memFree=187528/32770624 swapFree=67037524/67108860
[pid=9772] ppid=9769 vsize=113128 memory=1476 CPUtime=608.31 cores=1,3,5,7
/proc/9772/stat : 9772 (scop.sh) S 9769 9772 7440 0 -1 4202496 584 142769 0 0 0 0 59975 856 20 0 1 0 405259828 115843072 369 33554432000 4194304 5098028 140721060193552 140721060190296 140334687625852 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13279232 140721060201256 140721060201584 140721060201584 140721060204493 0
/proc/9772/statm: 28282 369 311 221 0 87 0
[pid=10022] ppid=9772 vsize=8068440 memory=133928 CPUtime=1.73 cores=1,3,5,7
/proc/10022/stat : 10022 (java) S 9772 9772 7440 0 -1 1077944320 19891 0 4 0 155 18 0 0 20 0 19 0 405318103 8262082560 33482 33554432000 4194304 4196468 140734189407408 140734189389952 140103905857271 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
/proc/10022/statm: 2017110 33482 3218 1 0 1978454 0
[pid=10037] ppid=10022 vsize=8646380 memory=7010572 CPUtime=40.77 cores=1,3,5,7
/proc/10037/stat : 10037 (glueminisat-sim) R 10022 9772 7440 0 -1 4202496 1599038 0 1 0 3554 523 0 0 20 0 1 0 405318203 8853893120 1752643 33554432000 4194304 4452875 140726688699856 140726687646200 4292540 0 4 0 8388610 0 0 0 17 5 0 0 19 0 0 6552096 6554264 7815168 140726688707424 140726688707623 140726688707623 140726688710573 0
/proc/10037/statm: 2161595 1752643 336 64 0 2157799 0
[pid=10022/tid=10023] ppid=9772 vsize=8068440 memory=6002584 CPUtime=0.97 cores=1,3,5,7
/proc/10022/task/10023/stat : 10023 (java) S 9772 9772 7440 0 -1 1077944384 16360 0 2 0 82 15 0 0 20 0 19 0 405318105 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103877697440 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10024] ppid=9772 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10024/stat : 10024 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405318110 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103910099344 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10025] ppid=9772 vsize=8068440 memory=133928 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10025/stat : 10025 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405318110 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103715862800 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10026] ppid=9772 vsize=8068440 memory=6944456 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10026/stat : 10026 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405318110 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103714810512 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10027] ppid=9772 vsize=8068440 memory=2876 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10027/stat : 10027 (java) S 9772 9772 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405318110 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103713757712 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10028] ppid=9772 vsize=8068440 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10028/stat : 10028 (java) S 9772 9772 7440 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405318111 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103150918256 140103905868418 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10029] ppid=9772 vsize=8068440 memory=145 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10029/stat : 10029 (java) S 9772 9772 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405318112 8262082560 33482 33554432000 4194304 4196468 140734189407408 140102772712736 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10030] ppid=9772 vsize=8068440 memory=-7824251494390913899 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10030/stat : 10030 (java) S 9772 9772 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405318112 8262082560 33482 33554432000 4194304 4196468 140734189407408 140102504277616 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10031] ppid=9772 vsize=8068440 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10031/stat : 10031 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405318115 8262082560 33482 33554432000 4194304 4196468 140734189407408 140102129769040 140103905875867 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10032] ppid=9772 vsize=8068440 memory=1476 CPUtime=0.24 cores=1,3,5,7
/proc/10022/task/10032/stat : 10032 (java) S 9772 9772 7440 0 -1 1077944384 886 0 0 0 24 0 0 0 20 0 19 0 405318115 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103149865072 140103905868418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10033] ppid=9772 vsize=8068440 memory=133928 CPUtime=0.23 cores=1,3,5,7
/proc/10022/task/10033/stat : 10033 (java) S 9772 9772 7440 0 -1 1077944384 629 0 0 0 23 0 0 0 20 0 19 0 405318115 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103148812272 140103905868418 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10034] ppid=9772 vsize=8068440 memory=4560468 CPUtime=0.22 cores=1,3,5,7
/proc/10022/task/10034/stat : 10034 (java) S 9772 9772 7440 0 -1 1077944384 605 0 0 0 22 0 0 0 20 0 19 0 405318115 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103147759984 140103905868418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10035] ppid=9772 vsize=8068440 memory=1908 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10035/stat : 10035 (java) S 9772 9772 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405318115 8262082560 33482 33554432000 4194304 4196468 140734189407408 140101631863264 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10036] ppid=9772 vsize=8068440 memory=-7824251494390913899 CPUtime=0.02 cores=1,3,5,7
/proc/10022/task/10036/stat : 10036 (java) S 9772 9772 7440 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405318115 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103146707888 140103905868418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10038] ppid=9772 vsize=8068440 memory=-7824251494390913899 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10038/stat : 10038 (java) S 9772 9772 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405318203 8262082560 33482 33554432000 4194304 4196468 140734189407408 140103138674112 140103905881881 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10040] ppid=9772 vsize=8068440 memory=2844 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10040/stat : 10040 (java) S 9772 9772 7440 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 405318203 8262082560 33482 33554432000 4194304 4196468 140734189407408 140101094977584 140103905879197 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10041] ppid=9772 vsize=8068440 memory=2184 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10041/stat : 10041 (java) S 9772 9772 7440 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405318204 8262082560 33482 33554432000 4194304 4196468 140734189407408 140101229198768 140103905879197 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10042] ppid=9772 vsize=8068440 memory=1844 CPUtime=0 cores=1,3,5,7
/proc/10022/task/10042/stat : 10042 (java) S 9772 9772 7440 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405318206 8262082560 33482 33554432000 4194304 4196468 140734189407408 140100826553264 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
Current children cumulated CPU time: 650.81 s
Current children cumulated vsize: 16827948 KiB
Current children cumulated memory: 7145976 KiB

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

[startup+624.827 s]
# the end of solver process 9772 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=599.758 s, system=8.57214 s

[startup+625.753 s]
# the end of solver process 10022 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=636.866 s, system=14.8129 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+625.201 s]
/proc/loadavg: 1.84 1.84 1.94 3/236 10050
/proc/meminfo: memFree=3864468/32770624 swapFree=67037524/67108860
[pid=10022] ppid=9769 vsize=8199512 memory=146204 CPUtime=42.91 cores=1,3,5,7
/proc/10022/stat : 10022 (java) S 9769 9772 7440 0 -1 1077944320 19963 1599058 4 1 156 20 3554 561 20 0 18 0 405318103 8396300288 36551 33554432000 4194304 4196468 140734189407408 140734189389952 140103905857271 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
/proc/10022/statm: 2049878 36551 3218 1 0 2011222 0
[pid=10022/tid=10023] ppid=9769 vsize=8199512 memory=1784 CPUtime=42.12 cores=1,3,5,7
/proc/10022/task/10023/stat : 10023 (java) S 9769 9772 7440 0 -1 1077944384 16360 1599058 2 1 82 15 3554 561 20 0 18 0 405318105 8396300288 36551 33554432000 4194304 4196468 140734189407408 140103877697440 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10024] ppid=9769 vsize=8199512 memory=924 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10024/stat : 10024 (java) S 9769 9772 7440 0 -1 1077944384 1 1599058 0 1 0 0 3554 561 20 0 18 0 405318110 8396300288 36551 33554432000 4194304 4196468 140734189407408 140103910099344 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10025] ppid=9769 vsize=8199512 memory=2340 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10025/stat : 10025 (java) S 9769 9772 7440 0 -1 1077944384 1 1599058 0 1 0 0 3554 561 20 0 18 0 405318110 8396300288 36551 33554432000 4194304 4196468 140734189407408 140103715862800 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10026] ppid=9769 vsize=8199512 memory=1476 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10026/stat : 10026 (java) S 9769 9772 7440 0 -1 1077944384 2 1599058 0 1 0 0 3554 561 20 0 18 0 405318110 8396300288 36551 33554432000 4194304 4196468 140734189407408 140103714810512 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10027] ppid=9769 vsize=8199512 memory=133928 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10027/stat : 10027 (java) S 9769 9772 7440 0 -1 1077944384 2 1599058 0 1 0 0 3554 561 20 0 18 0 405318110 8396300288 36551 33554432000 4194304 4196468 140734189407408 140103713757712 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10028] ppid=9769 vsize=8199512 memory=6990384 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10028/stat : 10028 (java) S 9769 9772 7440 0 -1 1077944384 7 1599058 0 1 0 0 3554 561 20 0 18 0 405318111 8396300288 36551 33554432000 4194304 4196468 140734189407408 140103150917760 140103905868418 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10029] ppid=9769 vsize=8199512 memory=6693764 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10029/stat : 10029 (java) S 9769 9772 7440 0 -1 1077944384 13 1599058 0 1 0 0 3554 561 20 0 18 0 405318112 8396300288 36551 33554432000 4194304 4196468 140734189407408 140102772712736 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10030] ppid=9769 vsize=8199512 memory=2867663764850091 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10030/stat : 10030 (java) S 9769 9772 7440 0 -1 1077944384 1 1599058 0 1 0 0 3554 561 20 0 18 0 405318112 8396300288 36551 33554432000 4194304 4196468 140734189407408 140102504277616 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10031] ppid=9769 vsize=8199512 memory=-7745171290442339458 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10031/stat : 10031 (java) S 9769 9772 7440 0 -1 1077944384 30 1599058 0 1 0 0 3554 561 20 0 18 0 405318115 8396300288 36551 33554432000 4194304 4196468 140734189407408 140102129768752 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10032] ppid=9769 vsize=8199512 memory=804 CPUtime=41.39 cores=1,3,5,7
/proc/10022/task/10032/stat : 10032 (java) S 9769 9772 7440 0 -1 1077944384 895 1599058 0 1 24 0 3554 561 20 0 18 0 405318115 8396300288 36551 33554432000 4194304 4196468 140734189407408 140103149852368 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10033] ppid=9769 vsize=8199512 memory=1808 CPUtime=41.38 cores=1,3,5,7
/proc/10022/task/10033/stat : 10033 (java) S 9769 9772 7440 0 -1 1077944384 629 1599058 0 1 23 0 3554 561 20 0 18 0 405318115 8396300288 36551 33554432000 4194304 4196468 140734189407408 140103148812272 140103905868418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10034] ppid=9769 vsize=8199512 memory=920 CPUtime=41.37 cores=1,3,5,7
/proc/10022/task/10034/stat : 10034 (java) S 9769 9772 7440 0 -1 1077944384 607 1599058 0 1 22 0 3554 561 20 0 18 0 405318115 8396300288 36551 33554432000 4194304 4196468 140734189407408 140103147759984 140103905868418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10035] ppid=9769 vsize=8199512 memory=3844 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10035/stat : 10035 (java) S 9769 9772 7440 0 -1 1077944384 3 1599058 0 1 0 0 3554 561 20 0 18 0 405318115 8396300288 36551 33554432000 4194304 4196468 140734189407408 140101631863264 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10038] ppid=9769 vsize=8199512 memory=2844 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10038/stat : 10038 (java) S 9769 9772 7440 0 -1 1077944384 26 1599058 0 1 0 0 3554 561 20 0 18 0 405318203 8396300288 36551 33554432000 4194304 4196468 140734189407408 140103138673296 140103905868418 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10042] ppid=9769 vsize=8199512 memory=2064 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10042/stat : 10042 (java) S 9769 9772 7440 0 -1 1077944384 26 1599058 0 1 0 0 3554 561 20 0 18 0 405318206 8396300288 36551 33554432000 4194304 4196468 140734189407408 140100826549504 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10047] ppid=9769 vsize=8199512 memory=2876 CPUtime=41.16 cores=1,3,5,7
/proc/10022/task/10047/stat : 10047 (java) R 9769 9772 7440 0 -1 4202560 3 1599058 0 1 0 1 3554 561 20 0 18 0 405322308 8396300288 36551 33554432000 4194304 4196468 140734189407408 140100558119840 140103898542903 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
[pid=10022/tid=10050] ppid=9769 vsize=8199512 memory=1572 CPUtime=41.15 cores=1,3,5,7
/proc/10022/task/10050/stat : 10050 (java) S 9769 9772 7440 0 -1 1077944384 4 1599058 0 1 0 0 3554 561 20 0 18 0 405322310 8396300288 36551 33554432000 4194304 4196468 140734189407408 140100289683408 140103905867477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33812480 140734189409276 140734189409434 140734189409434 140734189412303 0
Current cumulated CPU time of completed processes: 608.33 s
Current children cumulated CPU time: 42.91 s
Current children cumulated vsize: 8199512 KiB
Current children cumulated memory: 146204 KiB

[startup+625.601 s]*
/proc/loadavg: 1.84 1.84 1.94 2/216 10050
/proc/meminfo: memFree=10367456/32770624 swapFree=67037524/67108860
Current cumulated CPU time of completed processes: 608.33 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+625.71 s]
/proc/loadavg: 1.84 1.84 1.94 2/216 10050
/proc/meminfo: memFree=10367456/32770624 swapFree=67037524/67108860
Current cumulated CPU time of completed processes: 608.33 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): 625.753
CPU time (s): 651.679
CPU user time (s): 636.866
CPU system time (s): 14.8129
CPU usage (%): 104.143
Max. virtual memory (cumulated for all children) (KiB): 16827948
Max. memory (cumulated for all children) (KiB): 7145976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 636.866
system time used= 14.8129
maximum resident set size= 7010684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1762874
page faults= 6
swaps= 0
block input operations= 130792
block output operations= 6469728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24073
involuntary context switches= 2633


# summary of solver processes directly reported to runsolver:
#   pid: 9772,10022
#   total CPU time (s): 651.679
#   total CPU user time (s): 636.866
#   total CPU system time (s): 14.8129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.18118 second user time and 6.32265 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-12 14:03:53
IDJOB=4387770
IDBENCH=125570
IDSOLVER=2825
FILE ID=node150/4387770-1568289872
RUNJOBID= node150-1568287240-8654
PBS_JOBID= 21701061
Free space on /tmp= 52444 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.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-4387770-1568289872/watcher-4387770-1568289872 -o /tmp/evaluation-result-4387770-1568289872/solver-4387770-1568289872 -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-4387770-1568289872.xml

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

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=877777394

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:        12242656 kB
MemAvailable:   31335948 kB
Buffers:          167940 kB
Cached:         18984380 kB
SwapCached:         2344 kB
Active:          4186164 kB
Inactive:       15494824 kB
Active(anon):     499412 kB
Inactive(anon):    70872 kB
Active(file):    3686752 kB
Inactive(file): 15423952 kB
Unevictable:      110668 kB
Mlocked:          110668 kB
SwapTotal:      67108860 kB
SwapFree:       67036660 kB
Dirty:             20696 kB
Writeback:             4 kB
AnonPages:        636820 kB
Mapped:            59204 kB
Shmem:             32688 kB
Slab:             440068 kB
SReclaimable:     411048 kB
SUnreclaim:        29020 kB
KernelStack:        3808 kB
PageTables:         7312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6396124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 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= 52628 MiB
End job on node150 at 2019-09-12 14:14:18