Trace number 4387665

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)? (TO) 2520.13 2320.55

General information on the benchmark

NameRandom/Random-m1-5-8X-05c/
rand-5-8X-05c-44.xml
MD5SUM68fb7a5417760ab9cc88f495b9ce53b3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark83.873
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints95
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree28
Maximum variable degree48
Distribution of variable degrees[{"degree":28,"count":1},{"degree":34,"count":1},{"degree":35,"count":1},{"degree":37,"count":2},{"degree":38,"count":1},{"degree":41,"count":2},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":95}]
Number of extensional constraints95
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":95}]
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-9250-serial-file.bin HOME/instance-4387665-1568287676.xml
0.65/0.53	
0.65/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Thu Sep 12 13:27:18 CEST 2019
0.65/0.56	c PID: 9253
0.65/0.56	c IP: 172.20.3.150
0.65/0.56	c HOST: node150.alineos.net
0.65/0.56	c (0,0) Parsing Begin
22.50/15.58	c (15,13) Parsing End
22.50/15.58	c (15,13) CSP: 12 int (0 aux), 0 bool (0 aux), 95 ctr, max domain size 12
22.50/15.58	c (15,13) Heap : 1663 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
22.50/15.58	c (15,13) Constraint Name Generate Begin
22.50/15.59	c (15,13) Ctr:HOME/instance-4387665-1568287676.xml,ExtensionSupport:Var
22.50/15.59	c (15,13) Constraint Name Generate End
22.50/15.59	c (15,13) Heap : 1668 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
22.50/15.59	c (15,13) CSP to CSPinCNF Begin
78.20/52.11	c (51,48) translated 10 (10%) constraints
115.36/85.84	c (85,80) translated 19 (20%) constraints
156.14/123.42	c (122,117) translated 29 (30%) constraints
194.10/157.61	c (157,150) translated 38 (40%) constraints
234.87/195.36	c (194,186) translated 48 (50%) constraints
272.51/229.65	c (229,219) translated 57 (60%) constraints
314.56/267.80	c (267,256) translated 67 (70%) constraints
351.59/301.82	c (301,290) translated 76 (80%) constraints
393.26/339.93	c (339,327) translated 86 (90%) constraints
430.45/374.27	c (373,360) translated 95 (100%) constraints
434.26/378.07	c (377,364) ===========================================
434.38/378.11	c (377,364) Order
434.38/378.11	c (377,364) ===========================================
446.18/388.43	c (387,374) translated 457468 (10%) constraints
458.13/398.89	c (398,384) translated 914936 (20%) constraints
470.34/409.32	c (408,394) translated 1372404 (30%) constraints
482.27/419.70	c (419,403) translated 1829872 (40%) constraints
494.15/430.05	c (429,413) translated 2287339 (50%) constraints
506.02/440.42	c (439,423) translated 2744807 (60%) constraints
517.96/450.78	c (450,433) translated 3202275 (70%) constraints
529.85/461.15	c (460,443) translated 3659743 (80%) constraints
541.81/471.48	c (470,453) translated 4117211 (90%) constraints
553.73/481.75	c (481,462) translated 4574678 (100%) constraints
553.73/481.75	c (481,462) CSP to CSPinCNF End
554.11/481.94	c (481,462) CSP: 12 int (0 aux), 382401 bool (382401 aux), 4574678 ctr, max domain size 12
554.11/481.94	c (481,462) Heap : 7068 MiB used (max 10915 MiB), NonHeap : 26 MiB used (max 0 MiB)
554.11/481.94	c (481,462) CSPinCNF Propagation Begin
684.64/536.55	c (536,490) 18 values, 245487 unsatisfiable literals, and 245163 valid clauses are removed
684.64/536.55	c (536,490) CSPinCNF Propagation End
684.85/536.73	c (536,490) CSP: 12 int (0 aux), 382401 bool (382401 aux), 4329515 ctr, max domain size 12
684.85/536.73	c (536,490) Heap : 9274 MiB used (max 10545 MiB), NonHeap : 27 MiB used (max 0 MiB)
684.85/536.77	c (536,490) Simplify CSPinCNF Begin
734.08/556.09	c (555,500) Simplify CSPinCNF End
734.27/556.27	c (555,500) CSP: 12 int (0 aux), 382401 bool (382401 aux), 4329515 ctr, max domain size 12
734.27/556.27	c (555,500) Heap : 7811 MiB used (max 10462 MiB), NonHeap : 27 MiB used (max 0 MiB)
734.27/556.27	c (555,500) Calculate Precise Domain Begin
734.27/556.27	c (555,500) 0 values are removed by re-calculation
734.27/556.27	c (555,500) Calculate Precise Domain End
734.47/556.44	c (555,500) CSP: 12 int (0 aux), 382401 bool (382401 aux), 4329515 ctr, max domain size 12
734.47/556.44	c (555,500) Heap : 7811 MiB used (max 10462 MiB), NonHeap : 27 MiB used (max 0 MiB)
734.47/556.44	c (555,500) CSPinCNF to SatSolver Begin
743.37/562.54	c (562,506) 432952 (10 %) CSP clauses are encoded (0 SAT variables, 433043 SAT clauses)
749.30/567.44	c (566,510) 865903 (20 %) CSP clauses are encoded (0 SAT variables, 865994 SAT clauses)
754.73/572.24	c (571,515) 1298855 (30 %) CSP clauses are encoded (0 SAT variables, 1298946 SAT clauses)
761.71/577.43	c (576,519) 1731806 (40 %) CSP clauses are encoded (0 SAT variables, 1731897 SAT clauses)
769.65/582.90	c (582,524) 2164758 (50 %) CSP clauses are encoded (0 SAT variables, 2164849 SAT clauses)
776.27/588.03	c (587,529) 2597709 (60 %) CSP clauses are encoded (0 SAT variables, 2597800 SAT clauses)
785.23/593.74	c (593,533) 3030661 (70 %) CSP clauses are encoded (0 SAT variables, 3030752 SAT clauses)
794.10/599.46	c (598,538) 3463612 (80 %) CSP clauses are encoded (0 SAT variables, 3463703 SAT clauses)
800.53/604.54	c (604,542) 3896564 (90 %) CSP clauses are encoded (0 SAT variables, 3896655 SAT clauses)
807.91/609.86	c (609,547) 4329515 (100 %) CSP clauses are encoded (0 SAT variables, 4329606 SAT clauses)
807.91/609.86	c (609,547) CSPinCNF to SatSolver End
807.91/609.86	c (609,547) Heap : 8361 MiB used (max 10597 MiB), NonHeap : 29 MiB used (max 0 MiB)
807.91/609.86	c (609,547) 382487 bool, 4329607 clause
807.91/609.86	c (609,547) Export Begin
808.04/609.95	c (609,547) Export to HOME/scop-9250-serial-file.bin
808.04/609.95	c (609,547) Export End
808.04/609.95	c (609,547) Export File Size: 0.00 MB
808.04/609.95	c (609,547) 15,15,481,536,555,555,609,STOP-AFTER(DIMACS)
808.04/609.95	c END-Prog: Thu Sep 12 13:37:28 CEST 2019
0.00/610.05	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9250-serial-file.bin
808.25/610.51	c (0,0) Read Serial File Begin
808.25/610.51	c (0,0) HOME/scop-9250-serial-file.bin
808.25/610.71	c (0,0) Read Serial File End
808.25/610.73	
808.25/610.73	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
808.25/610.73	(Solving Process)
808.25/610.73	
808.25/610.75	c BEGIN-Prog: Thu Sep 12 13:37:28 CEST 2019
808.25/610.75	c PID: 9325
808.25/610.75	c IP: 172.20.3.150
808.25/610.75	c HOST: node150.alineos.net
808.25/610.75	c (0,0) SatSolver.solve Begin
808.25/610.75	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387665-1568287676.xml-scop-9253.cnf
808.25/610.80	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
808.25/610.80	c (0,0) c glueminisat-simp-2.2.10-193oa-n
808.25/610.80	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387665-1568287676.xml-scop-9253.cnf 
808.25/610.80	c (0,0) c Options:
808.25/610.80	c (0,0) c CORE
808.25/610.80	c (0,0) c  var_decay             = 0.950
808.25/610.80	c (0,0) c  clause_decay          = 0.999
808.25/610.80	c (0,0) c  random_var_freq       = 0.000
808.25/610.80	c (0,0) c  random_seed           = 91648253.000
808.25/610.80	c (0,0) c  luby_restart          = 1
808.25/610.80	c (0,0) c  ccmin_mode            = 2
808.25/610.80	c (0,0) c  phase_saving          = 2
808.25/610.80	c (0,0) c  rnd_pol               = 0
808.25/610.80	c (0,0) c  rnd_init_act          = 0
808.25/610.80	c (0,0) c  garbage_frac          = 0.200
808.25/610.80	c (0,0) c  restart_first         = 1000
808.25/610.80	c (0,0) c  restart_inc           = 2.000
808.25/610.80	c (0,0) c MODEL
808.25/610.80	c (0,0) c  partial_model         = 0
808.25/610.80	c (0,0) c PROPAGATION
808.25/610.80	c (0,0) c  bin_propagation       = 1
808.25/610.80	c (0,0) c SIMPLIFICATION
808.25/610.80	c (0,0) c  lrn_min_size          = 100
808.25/610.80	c (0,0) c  lazy_simp             = 1
808.25/610.80	c (0,0) c  lazy_interval         = 10
808.25/610.80	c (0,0) c  lazy_fld_probing      = 1
808.25/610.80	c (0,0) c  lazy_pol_probing      = 1
808.25/610.80	c (0,0) c  lazy_nec_probing      = 1
808.25/610.80	c (0,0) c  lazy_eqv_probing      = 1
808.25/610.80	c (0,0) c  lazy_cla_probing      = 1
808.25/610.80	c (0,0) c  lazy_lrn_min          = 2
808.25/610.80	c (0,0) c  lazy_uw_lit_elim      = 1
808.25/610.80	c (0,0) c  lazy_pr_lit_elim      = 0
808.25/610.80	c (0,0) c  lazy_bin_add          = 3
808.25/610.80	c (0,0) c  probed_lit_chain      = 1
808.25/610.80	c (0,0) c  pr_min_lits           = 0.00020
808.25/610.80	c (0,0) c  pr_min_starts         = 500
808.25/610.80	c (0,0) c  rw_min_lits           = 0.010
808.25/610.80	c (0,0) c  rw_min_starts         = 500
808.25/610.80	c (0,0) c  rand_attach           = 0
808.25/610.80	c (0,0) c  dec_elim              = 1
808.25/610.80	c (0,0) c  dec_elim_lim          = 25
808.25/610.80	c (0,0) c  dec_elim_len          = -1
808.25/610.80	c (0,0) c  amo                   = 0
808.25/610.80	c (0,0) c  amo_grp               = 1
808.25/610.80	c (0,0) c  amo_max_bins          = 1000000
808.25/610.80	c (0,0) c  amo_starts            = 50
808.25/610.80	c (0,0) c  mace_cmd              = mace
808.25/610.80	c (0,0) c DECISION
808.25/610.80	c (0,0) c  rand_rebuild          = 0
808.25/610.80	c (0,0) c  rand_rebuild_confs    = 10000
808.25/610.80	c (0,0) c  inc_var_decay         = 1
808.25/610.80	c (0,0) c  inc_var_decay_period  = 100000
808.25/610.80	c (0,0) c  inc_var_decay_init    = 0.600
808.25/610.80	c (0,0) c  var_decay_mode        = 0
808.25/610.80	c (0,0) c  var_decay_gain        = 0
808.25/610.80	c (0,0) c  sloped_var_decay      = 1
808.25/610.80	c (0,0) c  max_var_decay         = 0.990
808.25/610.80	c (0,0) c  min_var_decay         = 0.950
808.25/610.80	c (0,0) c  min_var_decay_vars    = 10000
808.25/610.80	c (0,0) c  max_var_decay_vars    = 500
808.25/610.80	c (0,0) c  uip_bumping           = 1
808.25/610.80	c (0,0) c  lbd_act_bumping       = 1
808.25/610.80	c (0,0) c  rand_tiebreak         = 0
808.25/610.80	c (0,0) c  simp_rebuild          = 1
808.25/610.80	c (0,0) c RESTART
808.25/610.80	c (0,0) c  restart_strategy      = 2
808.25/610.80	c (0,0) c  restart_blocking      = 0
808.25/610.80	c (0,0) c  agility_decay         = 0.99990
808.25/610.80	c (0,0) c  lbd_restart_rate      = 0.800
808.25/610.80	c (0,0) c  dec_restart_rate      = 0.950
808.25/610.80	c (0,0) c  blk_restart_rate      = 0.700
808.25/610.80	c (0,0) c  lbd_queue_size        = 50
808.25/610.80	c (0,0) c  dec_queue_size        = 50
808.25/610.80	c (0,0) c  trl_queue_size        = 5000
808.25/610.80	c (0,0) c  blk_restart_weight    = 1.000
808.25/610.80	c (0,0) c  inc_rst_rate          = 0
808.25/610.80	c (0,0) c  inc_rst_rate_period   = 500000
808.25/610.80	c (0,0) c  inc_lbd_rst_rate_init = 0.600
808.25/610.80	c (0,0) c  inc_dec_rst_rate_init = 0.750
808.25/610.80	c (0,0) c REDUCTION
808.25/610.80	c (0,0) c  closed_lbd            = 0
808.25/610.80	c (0,0) c  closed_lbd_rate       = 0.500
808.25/610.80	c (0,0) c  rm_simulate           = 0
808.25/610.80	c (0,0) c  rdb_eval              = 2
808.25/610.80	c (0,0) c  rdb_call              = 3
808.25/610.80	c (0,0) c  rdb_ub                = 0.500
808.25/610.80	c (0,0) c  core_lbd_cvr          = 0.800
808.25/610.80	c (0,0) c  supp_lbd_cvr          = 0.990
808.25/610.80	c (0,0) c  core_lbd_lb           = 2
808.25/610.80	c (0,0) c  supp_lbd_lb           = 2
808.25/610.80	c (0,0) c  core_lbd_prd          = 7
808.25/610.80	c (0,0) c  supp_lbd_prd          = 1
808.25/610.80	c (0,0) c  othr_lbd_prd          = 0
808.25/610.80	c (0,0) c  inc_lrn_limit         = 1000
808.25/610.80	c (0,0) c  frozen_lbd            = 30
808.25/610.80	c (0,0) c  simp_min_starts       = 100
808.25/610.80	c (0,0) c  rm_low_act_learnts    = 1
808.25/610.80	c (0,0) c  lv0_reduce_db         = 0
808.25/610.80	c (0,0) c  reduce_db_base        = 20000
808.25/610.80	c (0,0) c  reduce_db_inc         = 1000
808.25/610.80	c (0,0) c HARD
808.25/610.80	c (0,0) c  inst_check            = 200000
808.25/610.80	c (0,0) c  small_block           = 1.750
808.25/610.80	c (0,0) c  slow_restart_speed    = 400.000
808.25/610.80	c (0,0) c  slow_restart_strategy = 3
808.25/610.80	c (0,0) c  slow_lbd_restart_rate = 0.700
808.25/610.80	c (0,0) c  slow_dec_restart_rate = 1.000
808.25/610.80	c (0,0) c  slow_lbd_queue_size   = 50
808.25/610.80	c (0,0) c  slow_var_decay        = 0.950
808.25/610.80	c (0,0) c  slow_glue_threshold   = 2
808.25/610.80	c (0,0) c  slow_phase_saving     = 2
808.25/610.80	c (0,0) c  fast_restart_speed    = 125.000
808.25/610.80	c (0,0) c  fast_restart_strategy = 1
808.25/610.80	c (0,0) c  fast_lbd_restart_rate = 0.800
808.25/610.80	c (0,0) c  fast_dec_restart_rate = 0.950
808.25/610.80	c (0,0) c  fast_lbd_queue_size   = 50
808.25/610.80	c (0,0) c  fast_var_decay        = 1.000
808.25/610.80	c (0,0) c  fast_glue_threshold   = 2
808.25/610.80	c (0,0) c  fast_phase_saving     = 2
808.25/610.80	c (0,0) c STATS
808.25/610.80	c (0,0) c  stats_conf_size       = 10000
808.25/610.80	c (0,0) c  max_stats_size        = 30
808.25/610.80	c (0,0) c SOLVER
808.25/610.80	c (0,0) c  minisat               = 0
811.13/612.55	c (2,0) c Problem: 382487 variables, 4329607 clauses, parsing 1.63 s
838.24/639.67	c (29,0) c  reduced to 378175 variables, 4315660 clauses (grow = 0)
838.44/639.88	c (29,0) c  exclude 32845 (8.7%) variables from decision variables (last cost 25)
838.94/640.39	c (29,0) c Simplification: 37157 vars, 13947 clauses are eliminated using 27.73 s
838.94/640.39	c (29,0) c
838.94/640.39	c (29,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
838.94/640.39	c (29,0) c
838.94/640.39	c (29,0) c   29         0         0   345330  4315660        0   -nan  -nan  -nan -nan%
840.04/641.46	c (31,0) c   30         1       100   345351  4315660      100   39.0   5.2  19.2 81.7%
840.44/641.88	c (31,0) c   31         1       220   345363  4315660      220   36.2   5.2  19.1 81.5%
841.95/643.35	c (32,0) c   32         1       364   345377  4315660      364   35.8   5.1  18.8 81.9%
844.25/645.62	c (35,0) c   34         1       536   345400  4315660      536   36.5   5.2  19.2 82.4%
847.65/649.09	c (38,0) c   38         1       743   345418  4315660      743   39.9   5.3  19.2 82.0%
851.46/652.81	c (42,0) c   42         1       991   345449  4315660      991   44.4   5.2  19.0 82.1%
856.56/657.98	c (47,0) c   47         1      1289   345470  4315660     1289   42.6   5.4  19.1 80.4%
862.05/663.46	c (53,0) c   52         1      1647   345498  4315660     1647   41.3   5.3  18.9 80.0%
870.17/671.57	c (61,0) c   60         2      2076   345526  4315660     2076   39.8   5.2  18.8 79.8%
884.48/685.82	c (75,0) c   75         6      2591   345532  4315660     2592   34.5   5.4  19.1 73.4%
900.18/701.52	c (91,0) c   90         6      3210   345533  4315660     3213   30.3   5.4  17.7 64.8%
913.89/715.27	c (104,0) c  104         6      3953   345535  4315660     3956   27.6   5.5  16.6 57.6%
930.81/732.17	c (121,0) c  121         8      4844   345538  4315660     4850   25.2   5.5  15.7 53.0%
949.90/751.25	c (140,0) c  140        16      5913   345571  4315660     5930   23.5   5.7  15.9 51.4%
987.74/789.08	c (178,0) c  178        19      7196   345573  4315660     7274   21.4   5.7  15.5 49.3%
1037.55/838.83	c (228,0) c
1037.55/838.83	c (228,0) c   variables         : 345626      (init 382487, after simp 345330, 32549 non-decs, 12 csp)
1037.55/838.83	c (228,0) c   clauses           : 4315660     (init 4329607, after simp 4315660)
1037.55/838.83	c (228,0) c   restarts          : 23          (364.00 confs/res, 50~2164 confs, 0 blks, 0 last)
1037.55/838.83	c (228,0) c   conflicts         : 8736        (38 /sec, 53.30% dconfs, 0.00% supp, trail 13570.46w x 14.67h, jmp 1.22h)
1037.55/838.83	c (228,0) c   decisions         : 10997       (0.6300 vdcy, 48 /sec, 0.00% bin, rs 0.014 s)
1037.55/838.83	c (228,0) c   propagations      : 485706009   (2134134 /sec, 44167.14 lits/dec, 0.01% o.a.)
1037.55/838.83	c (228,0) c   conflict literals : 206945      (12.09% deleted; 1.04% by bin min, 0.026 s)
1037.55/838.83	c (228,0) c   len               : 20.366      (20.58 for all, max 1160, used 398)
1037.55/838.83	c (228,0) c   lbd               : 5.791       (6.96 (5.84) for all, max 23, used 23, 1.960 stdev, 2.957 blk)
1037.55/838.83	c (228,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
1037.55/838.83	c (228,0) c   simp dbs          : 1           (0.004 s)
1037.55/838.83	c (228,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
1037.55/838.83	c (228,0) c   learnts           : 8837        (0 learnts removed, 0.00%)
1037.55/838.83	c (228,0) c   rewrite dbs       : 0           (0/22 vars, 0+0 taut, 0+0 unit, 0.000 s)
1037.55/838.83	c (228,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
1037.55/838.83	c (228,0) c   premise updates   : 1129859     (1.64 /lit)
1037.55/838.83	c (228,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
1037.55/838.83	c (228,0) c   equiv variables   : 22          (0 bin, 0 trn, 0 quat, 0 quin, 1 othr; 0 amo)
1037.55/838.83	c (228,0) c   lazy added bins   : 101         (101 prop + 0 conf, 0.009s)
1037.55/838.83	c (228,0) c   unwatched lit elim: 327         (0.00+0.15%, 13+314 of 16322552+206945)
1037.55/838.83	c (228,0) c   classified type   : undef
1037.55/838.83	c (228,0) c   progress          : 0.000 %
1037.55/838.83	c (228,0) c
1037.55/838.83	c (228,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
1037.55/838.83	c (228,0) c
1037.55/838.83	c (228,0) c  228        24      8736   345626  4315660     8837   20.4   5.8  14.7 49.3%
1073.28/874.57	c (264,0) c  263        29     10584   345636  4315660    10700   19.2   5.9  14.0 48.2%
1128.91/930.11	c (319,0) c  319        32     12802   345647  4315660    12991   18.2   5.8  12.9 41.5%
1203.84/1005.07	c (394,0) c  394        32     15464   345667  4315660    15792   17.6   5.7  12.9 40.4%
1282.29/1083.48	c (473,0) c  472        45     18658   345721  4315660    19074   17.4   5.8  12.8 41.1%
1301.10/1102.27	c (491,0) c  491 r      47     20000   345768  4315660    20430   17.6   5.8  13.0 40.2%
1301.10/1102.27	c (491,0) c
1301.10/1102.27	c (491,0) c R [LBD Statistics #1]
1301.10/1102.27	c (491,0) c R LBD         used lbd               used clause lbd
1301.10/1102.27	c (491,0) c R  tot       66454                   20430
1301.10/1102.27	c (491,0) c R  avg       3.382                   5.825
1301.10/1102.27	c (491,0) c R   1          871 ( 1.3/ 1.3%)         62 ( 0.3/ 0.3%)
1301.10/1102.27	c (491,0) c R   2        24133 (36.3/37.6%)       2069 (10.1/10.4%)
1301.10/1102.27	c (491,0) c R   3        17382 (26.2/63.8%)       1848 ( 9.0/19.5%)
1301.10/1102.27	c (491,0) c R   4        13185 (19.8/83.6%)       2398 (11.7/31.2%)
1301.10/1102.27	c (491,0) c R
1301.10/1102.27	c (491,0) c R core_lbd_threshold = 4
1301.10/1102.27	c (491,0) c R supp_lbd_threshold = 10
1301.10/1102.27	c (491,0) c R
1301.10/1102.27	c (491,0) c R [RDB Statistics #1]
1301.10/1102.27	c (491,0) c R kept: lbd      =    6358 (31.1/31.1%)
1301.10/1102.27	c (491,0) c R kept: ttl      =   14043 (68.7/99.9%)
1301.10/1102.27	c (491,0) c R kept: locked   =      29 ( 0.1/100.0%)
1301.10/1102.27	c (491,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
1301.10/1102.27	c (491,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
1301.10/1102.27	c (491,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
1301.10/1102.27	c (491,0) c
1301.10/1102.27	c (491,0) c  491 R      47     20000   345768  4315660    20430   17.6   5.8  13.0 40.2%
1331.42/1132.54	c (522,0) c  521        47     22491   345904  4315660    22932   19.6   5.8  12.2 42.5%
1382.95/1184.07	c (573,0) c  573        56     27091   346112  4315660    27554   21.8   5.8  12.6 51.5%
1503.91/1304.94	c (694,0) c  694        74     32611   346151  4315660    33326   20.5   5.9  13.3 47.3%
1606.07/1407.07	c (796,0) c  796        86     39235   346269  4315660    40081   20.2   5.9  11.8 42.7%
1651.49/1452.45	c (842,0) c  841 r      86     41000   346276  4315660    41998   19.8   5.9  11.8 42.1%
1651.49/1452.45	c (842,0) c
1651.49/1452.45	c (842,0) c R [LBD Statistics #2]
1651.49/1452.45	c (842,0) c R LBD         used lbd               used clause lbd
1651.49/1452.45	c (842,0) c R  tot      255175                   41998
1651.49/1452.45	c (842,0) c R  avg       3.067                   5.879
1651.49/1452.45	c (842,0) c R   1         5409 ( 2.1/ 2.1%)        162 ( 0.4/ 0.4%)
1651.49/1452.45	c (842,0) c R   2       105718 (41.4/43.5%)       4255 (10.1/10.5%)
1651.49/1452.45	c (842,0) c R   3        70800 (27.7/71.3%)       3516 ( 8.4/18.9%)
1651.49/1452.45	c (842,0) c R   4        47266 (18.5/89.8%)       4681 (11.1/30.0%)
1651.49/1452.45	c (842,0) c R
1651.49/1452.45	c (842,0) c R core_lbd_threshold = 4
1651.49/1452.45	c (842,0) c R supp_lbd_threshold = 9
1651.49/1452.45	c (842,0) c R
1651.49/1452.45	c (842,0) c R [RDB Statistics #2]
1651.49/1452.45	c (842,0) c R kept: lbd      =   12613 (30.0/30.0%)
1651.49/1452.45	c (842,0) c R kept: ttl      =   14445 (34.4/64.4%)
1651.49/1452.45	c (842,0) c R kept: locked   =      10 ( 0.0/64.5%)
1651.49/1452.45	c (842,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
1651.49/1452.45	c (842,0) c R lost: ttl      =   14930 (35.5/35.5%)
1651.49/1452.45	c (842,0) c R lost: subsumed =       0 ( 0.0/35.5%)
1651.49/1452.45	c (842,0) c
1651.49/1452.45	c (842,0) c  841 R      86     41000   346276  4315660    27068   18.4   5.0  11.8 42.1%
1831.79/1632.69	c (1022,0) c 1021        96     47184   346304  4315660    33557   17.5   5.1  11.6 37.8%
1996.28/1797.01	c (1186,0) c 1186       106     56723   346575  4315660    43230   18.6   5.2  11.9 50.2%
2191.49/1992.15	c (1381,0) c 1381 r     115     63001   346598  4315660    49778   18.0   5.3  11.5 44.9%
2191.49/1992.16	c (1381,0) c
2191.49/1992.16	c (1381,0) c R [LBD Statistics #3]
2191.49/1992.16	c (1381,0) c R LBD         used lbd               used clause lbd
2191.49/1992.16	c (1381,0) c R  tot      554689                   49778
2191.49/1992.16	c (1381,0) c R  avg       2.944                   5.296
2191.49/1992.16	c (1381,0) c R   1        12988 ( 2.3/ 2.3%)        243 ( 0.5/ 0.5%)
2191.49/1992.16	c (1381,0) c R   2       245497 (44.3/46.6%)       6557 (13.2/13.7%)
2191.49/1992.16	c (1381,0) c R   3       153046 (27.6/74.2%)       5500 (11.0/24.7%)
2191.49/1992.16	c (1381,0) c R   4        97518 (17.6/91.8%)       7392 (14.8/39.6%)
2191.49/1992.16	c (1381,0) c R
2191.49/1992.16	c (1381,0) c R core_lbd_threshold = 4
2191.49/1992.16	c (1381,0) c R supp_lbd_threshold = 8
2191.49/1992.16	c (1381,0) c R
2191.49/1992.16	c (1381,0) c R [RDB Statistics #3]
2191.49/1992.16	c (1381,0) c R kept: lbd      =   19692 (39.6/39.6%)
2191.49/1992.16	c (1381,0) c R kept: ttl      =   14159 (28.4/68.0%)
2191.49/1992.16	c (1381,0) c R kept: locked   =       7 ( 0.0/68.0%)
2191.49/1992.16	c (1381,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
2191.49/1992.16	c (1381,0) c R lost: ttl      =   15920 (32.0/32.0%)
2191.49/1992.16	c (1381,0) c R lost: subsumed =       0 ( 0.0/32.0%)
2191.49/1992.16	c (1381,0) c
2191.49/1992.16	c (1381,0) c
2191.49/1992.16	c (1381,0) c   variables         : 346598      (init 382487, after simp 345330, 31577 non-decs, 12 csp)
2191.49/1992.16	c (1381,0) c   clauses           : 4315660     (init 4329607, after simp 4315660)
2191.49/1992.16	c (1381,0) c   restarts          : 114         (547.83 confs/res, 50~7557 confs, 0 blks, 0 last)
2191.49/1992.16	c (1381,0) c   conflicts         : 63001       (46 /sec, 52.43% dconfs, 0.00% supp, trail 14799.14w x 12.53h, jmp 1.20h)
2191.49/1992.16	c (1381,0) c   decisions         : 77368       (0.8200 vdcy, 56 /sec, 0.00% bin, rs 0.078 s)
2191.49/1992.16	c (1381,0) c   propagations      : 3224238880  (2336441 /sec, 41674.06 lits/dec, 0.01% o.a.)
2191.49/1992.16	c (1381,0) c   conflict literals : 1512054     (17.58% deleted; 1.21% by bin min, 0.207 s)
2191.49/1992.16	c (1381,0) c   len               : 14.527      (19.49 for all, max 1268, used 840)
2191.49/1992.16	c (1381,0) c   lbd               : 4.399       (7.10 (5.91) for all, max 23, used 23, 1.313 stdev, 2.747 blk)
2191.49/1992.16	c (1381,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
2191.49/1992.16	c (1381,0) c   simp dbs          : 1           (0.004 s)
2191.49/1992.16	c (1381,0) c   reduce dbs        : 3           (core-lbd 4, supp-lbd 8, 0.005 s)
2191.49/1992.16	c (1381,0) c   learnts           : 33858       (30850 learnts removed, 48.97%)
2191.49/1992.16	c (1381,0) c   rewrite dbs       : 0           (0/393 vars, 0+0 taut, 0+0 unit, 0.000 s)
2191.49/1992.16	c (1381,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
2191.49/1992.16	c (1381,0) c   premise updates   : 16219434    (23.48 /lit)
2191.49/1992.16	c (1381,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
2191.49/1992.16	c (1381,0) c   equiv variables   : 393         (12 bin, 0 trn, 2 quat, 1 quin, 14 othr; 0 amo)
2191.49/1992.16	c (1381,0) c   lazy added bins   : 1707        (1707 prop + 0 conf, 0.085s)
2191.49/1992.16	c (1381,0) c   unwatched lit elim: 3311        (0.00+0.22%, 55+3256 of 16322552+1512054)
2191.49/1992.16	c (1381,0) c   classified type   : undef
2191.49/1992.16	c (1381,0) c   progress          : 0.000 %
2191.49/1992.16	c (1381,0) c
2191.49/1992.16	c (1381,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
2191.49/1992.16	c (1381,0) c
2191.49/1992.16	c (1381,0) c 1381 R     115     63001   346598  4315660    33858   14.5   4.4  11.5 44.9%
2288.95/2089.59	c (1479,0) c 1478       131     68170   346638  4315660    39269   14.5   4.6  12.4 37.1%
2520.06/2320.50	c (1710,0) receiving signal SIGTERM
2520.06/2320.50	s UNKNOWN
2520.06/2320.51	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2320.51	c (scop.sh) Remove HOME/scop-9250-serial-file.bin.
2520.06/2320.51	c (scop.sh) Killing background jobs.
2520.06/2320.51	c (1710,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 (1270 MiB free)
  memory of node 1: 16384 MiB (10770 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387665-1568287676/watcher-4387665-1568287676 -o /tmp/evaluation-result-4387665-1568287676/solver-4387665-1568287676 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --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-4387665-1568287676.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
Current StackSize limit: 8192 KiB

solver pid=9250, runsolver pid=9247

[startup+0.100128 s]*
/proc/loadavg: 2.23 1.89 1.59 3/234 9267
/proc/meminfo: memFree=12269852/32770624 swapFree=67036652/67108860
[pid=9250] ppid=9247 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9250/stat : 9250 (scop.sh) S 9247 9250 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405040330 115843072 349 33554432000 4194304 5098028 140734117343792 140734117341048 140079117996668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23859200 140734117352232 140734117352560 140734117352560 140734117355469 0
/proc/9250/statm: 28282 349 296 221 0 87 0
[pid=9253] ppid=9250 vsize=15012696 memory=71804 CPUtime=0.12 cores=0,2,4,6
/proc/9253/stat : 9253 (java) S 9250 9250 7440 0 -1 1077944320 6210 0 0 0 10 2 0 0 20 0 15 0 405040330 15373000704 17951 33554432000 4194304 4196468 140720708247504 140720708230048 139852431556343 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
/proc/9253/statm: 3753174 17951 2891 1 0 3715579 0
[pid=9253/tid=9254] ppid=9250 vsize=15012696 memory=-2843874001938072734 CPUtime=0.09 cores=0,2,4,6
/proc/9253/task/9254/stat : 9254 (java) R 9250 9250 7440 0 -1 4202560 4115 0 0 0 7 2 0 0 20 0 15 0 405040331 15373000704 18017 33554432000 4194304 4196468 140720708247504 139852403347448 139852415636830 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9255] ppid=9250 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9255/stat : 9255 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 18017 33554432000 4194304 4196468 140720708247504 139852435798544 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9256] ppid=9250 vsize=15012696 memory=139698932594304 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9256/stat : 9256 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 18017 33554432000 4194304 4196468 140720708247504 139851891964560 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9257] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9257/stat : 9257 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 18017 33554432000 4194304 4196468 140720708247504 139851890911504 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9258] ppid=9250 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9258/stat : 9258 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 18017 33554432000 4194304 4196468 140720708247504 139851889858960 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9259] ppid=9250 vsize=15012696 memory=139698932594304 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9259/stat : 9259 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040334 15373000704 18017 33554432000 4194304 4196468 140720708247504 139851401886448 139852431567490 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9260] ppid=9250 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9260/stat : 9260 (java) S 9250 9250 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405040334 15373000704 18017 33554432000 4194304 4196468 140720708247504 139851047364256 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9261] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9261/stat : 9261 (java) S 9250 9250 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405040334 15373000704 18017 33554432000 4194304 4196468 140720708247504 139850913142000 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9262] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9262/stat : 9262 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 18017 33554432000 4194304 4196468 140720708247504 139850538637776 139852431574939 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9263] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9263/stat : 9263 (java) S 9250 9250 7440 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 18017 33554432000 4194304 4196468 140720708247504 139851400833264 139852431567490 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9264] ppid=9250 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9264/stat : 9264 (java) S 9250 9250 7440 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 18017 33554432000 4194304 4196468 140720708247504 139851399780720 139852431567490 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9265] ppid=9250 vsize=15012696 memory=139698932594304 CPUtime=0.01 cores=0,2,4,6
/proc/9253/task/9265/stat : 9265 (java) R 9250 9250 7440 0 -1 4202560 460 0 0 0 1 0 0 0 20 0 15 0 405040337 15373000704 18017 33554432000 4194304 4196468 140720708247504 139851398727664 139852423793470 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9266] ppid=9250 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9266/stat : 9266 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 18017 33554432000 4194304 4196468 140720708247504 139850040732000 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9267] ppid=9250 vsize=15012696 memory=139698932594304 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9267/stat : 9267 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 18017 33554432000 4194304 4196468 140720708247504 139851397676080 139852431567490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73200 KiB

[startup+0.210939 s]*
/proc/loadavg: 2.23 1.89 1.59 3/234 9267
/proc/meminfo: memFree=12250812/32770624 swapFree=67036652/67108860
[pid=9250] ppid=9247 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9250/stat : 9250 (scop.sh) S 9247 9250 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405040330 115843072 349 33554432000 4194304 5098028 140734117343792 140734117341048 140079117996668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23859200 140734117352232 140734117352560 140734117352560 140734117355469 0
/proc/9250/statm: 28282 349 296 221 0 87 0
[pid=9253] ppid=9250 vsize=15012696 memory=87584 CPUtime=0.25 cores=0,2,4,6
/proc/9253/stat : 9253 (java) S 9250 9250 7440 0 -1 1077944320 11396 0 0 0 21 4 0 0 20 0 15 0 405040330 15373000704 21896 33554432000 4194304 4196468 140720708247504 140720708230048 139852431556343 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
/proc/9253/statm: 3753174 21896 2979 1 0 3715579 0
[pid=9253/tid=9254] ppid=9250 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/9253/task/9254/stat : 9254 (java) R 9250 9250 7440 0 -1 4202560 9103 0 0 0 17 3 0 0 20 0 15 0 405040331 15373000704 21896 33554432000 4194304 4196468 140720708247504 139852403381456 139852415636830 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9255] ppid=9250 vsize=15012696 memory=539 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9255/stat : 9255 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 21896 33554432000 4194304 4196468 140720708247504 139852435798544 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9256] ppid=9250 vsize=15012696 memory=139698933610616 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9256/stat : 9256 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 21896 33554432000 4194304 4196468 140720708247504 139851891964560 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9257] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9257/stat : 9257 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 21896 33554432000 4194304 4196468 140720708247504 139851890911504 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9258] ppid=9250 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9258/stat : 9258 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 21896 33554432000 4194304 4196468 140720708247504 139851889858960 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9259] ppid=9250 vsize=15012696 memory=139698932594304 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9259/stat : 9259 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040334 15373000704 21896 33554432000 4194304 4196468 140720708247504 139851401886448 139852431567490 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9260] ppid=9250 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9260/stat : 9260 (java) S 9250 9250 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405040334 15373000704 21896 33554432000 4194304 4196468 140720708247504 139851047364256 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9261] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9261/stat : 9261 (java) S 9250 9250 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405040334 15373000704 21896 33554432000 4194304 4196468 140720708247504 139850913142000 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9262] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9262/stat : 9262 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 21896 33554432000 4194304 4196468 140720708247504 139850538637776 139852431574939 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9263] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9263/stat : 9263 (java) S 9250 9250 7440 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 21896 33554432000 4194304 4196468 140720708247504 139851400833264 139852431567490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9264] ppid=9250 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9264/stat : 9264 (java) S 9250 9250 7440 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 21896 33554432000 4194304 4196468 140720708247504 139851399780720 139852431567490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9265] ppid=9250 vsize=15012696 memory=139698932594304 CPUtime=0.03 cores=0,2,4,6
/proc/9253/task/9265/stat : 9265 (java) R 9250 9250 7440 0 -1 4202560 472 0 0 0 3 0 0 0 20 0 15 0 405040337 15373000704 21896 33554432000 4194304 4196468 140720708247504 139851398727664 139852412776763 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9266] ppid=9250 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9266/stat : 9266 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 21896 33554432000 4194304 4196468 140720708247504 139850040732000 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9267] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9267/stat : 9267 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 21896 33554432000 4194304 4196468 140720708247504 139851397676080 139852431567490 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88980 KiB

[startup+0.310742 s]*
/proc/loadavg: 2.23 1.89 1.59 4/234 9267
/proc/meminfo: memFree=12248020/32770624 swapFree=67036652/67108860
[pid=9250] ppid=9247 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9250/stat : 9250 (scop.sh) S 9247 9250 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405040330 115843072 349 33554432000 4194304 5098028 140734117343792 140734117341048 140079117996668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23859200 140734117352232 140734117352560 140734117352560 140734117355469 0
/proc/9250/statm: 28282 349 296 221 0 87 0
[pid=9253] ppid=9250 vsize=15012696 memory=90668 CPUtime=0.43 cores=0,2,4,6
/proc/9253/stat : 9253 (java) S 9250 9250 7440 0 -1 1077944320 12220 0 0 0 39 4 0 0 20 0 15 0 405040330 15373000704 22667 33554432000 4194304 4196468 140720708247504 140720708230048 139852431556343 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
/proc/9253/statm: 3753174 22667 3031 1 0 3715579 0
[pid=9253/tid=9254] ppid=9250 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=0,2,4,6
/proc/9253/task/9254/stat : 9254 (java) R 9250 9250 7440 0 -1 4202560 9776 0 0 0 26 3 0 0 20 0 15 0 405040331 15373000704 22667 33554432000 4194304 4196468 140720708247504 139852403339360 139852415636830 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9255] ppid=9250 vsize=15012696 memory=288230621904634245 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9255/stat : 9255 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 22667 33554432000 4194304 4196468 140720708247504 139852435798544 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9256] ppid=9250 vsize=15012696 memory=15258160021644119 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9256/stat : 9256 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 22667 33554432000 4194304 4196468 140720708247504 139851891964560 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9257] ppid=9250 vsize=15012696 memory=279397555009904 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9257/stat : 9257 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 22667 33554432000 4194304 4196468 140720708247504 139851890911504 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9258] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9258/stat : 9258 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040332 15373000704 22667 33554432000 4194304 4196468 140720708247504 139851889858960 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9259] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9259/stat : 9259 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040334 15373000704 22667 33554432000 4194304 4196468 140720708247504 139851401886448 139852431567490 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9260] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9260/stat : 9260 (java) S 9250 9250 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405040334 15373000704 22667 33554432000 4194304 4196468 140720708247504 139851047364256 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9261] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9261/stat : 9261 (java) S 9250 9250 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405040334 15373000704 22667 33554432000 4194304 4196468 140720708247504 139850913142000 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9262] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9262/stat : 9262 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 22667 33554432000 4194304 4196468 140720708247504 139850538637776 139852431574939 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9263] ppid=9250 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9253/task/9263/stat : 9263 (java) S 9250 9250 7440 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 15 0 405040337 15373000704 22667 33554432000 4194304 4196468 140720708247504 139851400833264 139852431567490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9264] ppid=9250 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9253/task/9264/stat : 9264 (java) S 9250 9250 7440 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 15 0 405040337 15373000704 22667 33554432000 4194304 4196468 140720708247504 139851399780720 139852431567490 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9265] ppid=9250 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9253/task/9265/stat : 9265 (java) S 9250 9250 7440 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 15 0 405040337 15373000704 22667 33554432000 4194304 4196468 140720708247504 139851398727664 139852431567490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9266] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9266/stat : 9266 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 22667 33554432000 4194304 4196468 140720708247504 139850040732000 139852431566549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9267] ppid=9250 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9267/stat : 9267 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040337 15373000704 22667 33554432000 4194304 4196468 140720708247504 139851397676080 139852431567490 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92064 KiB

[startup+0.702755 s]
/proc/loadavg: 2.23 1.89 1.59 3/234 9267
/proc/meminfo: memFree=12227088/32770624 swapFree=67036652/67108860
[pid=9250] ppid=9247 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9250/stat : 9250 (scop.sh) S 9247 9250 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405040330 115843072 349 33554432000 4194304 5098028 140734117343792 140734117341048 140079117996668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23859200 140734117352232 140734117352560 140734117352560 140734117355469 0
/proc/9250/statm: 28282 349 296 221 0 87 0
[pid=9253] ppid=9250 vsize=15018968 memory=127340 CPUtime=0.99 cores=0,2,4,6
/proc/9253/stat : 9253 (java) S 9250 9250 7440 0 -1 1077944320 19091 0 0 0 93 6 0 0 20 0 15 0 405040330 15379423232 31835 33554432000 4194304 4196468 140720708247504 140720708230048 139852431556343 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
/proc/9253/statm: 3754742 31835 3193 1 0 3716091 0
[pid=9253/tid=9254] ppid=9250 vsize=15018968 memory=4964 CPUtime=0.67 cores=0,2,4,6
/proc/9253/task/9254/stat : 9254 (java) R 9250 9250 7440 0 -1 4202560 16181 0 0 0 62 5 0 0 20 0 15 0 405040331 15379423232 31835 33554432000 4194304 4196468 140720708247504 139852403393168 139852431578269 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9255] ppid=9250 vsize=15018968 memory=10092 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9255/stat : 9255 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040332 15379423232 31835 33554432000 4194304 4196468 140720708247504 139852435798544 139852431566549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9256] ppid=9250 vsize=15018968 memory=1908 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9256/stat : 9256 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040332 15379423232 31835 33554432000 4194304 4196468 140720708247504 139851891964560 139852431566549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9257] ppid=9250 vsize=15018968 memory=1360 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9257/stat : 9257 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040332 15379423232 31835 33554432000 4194304 4196468 140720708247504 139851890911504 139852431566549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9258] ppid=9250 vsize=15018968 memory=7392 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9258/stat : 9258 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040332 15379423232 31835 33554432000 4194304 4196468 140720708247504 139851889858960 139852431566549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9259] ppid=9250 vsize=15018968 memory=860 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9259/stat : 9259 (java) S 9250 9250 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405040334 15379423232 31835 33554432000 4194304 4196468 140720708247504 139851401886448 139852431567490 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9260] ppid=9250 vsize=15018968 memory=776 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9260/stat : 9260 (java) S 9250 9250 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405040334 15379423232 31835 33554432000 4194304 4196468 140720708247504 139851047364256 139852431566549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9261] ppid=9250 vsize=15018968 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9261/stat : 9261 (java) S 9250 9250 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405040334 15379423232 31835 33554432000 4194304 4196468 140720708247504 139850913142000 139852431566549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9262] ppid=9250 vsize=15018968 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9262/stat : 9262 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040337 15379423232 31835 33554432000 4194304 4196468 140720708247504 139850538637776 139852431574939 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9263] ppid=9250 vsize=15018968 memory=3824 CPUtime=0.08 cores=0,2,4,6
/proc/9253/task/9263/stat : 9263 (java) R 9250 9250 7440 0 -1 1077944384 589 0 0 0 8 0 0 0 20 0 15 0 405040337 15379423232 31835 33554432000 4194304 4196468 140720708247504 139851400833264 139852431567490 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9264] ppid=9250 vsize=15018968 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/9253/task/9264/stat : 9264 (java) S 9250 9250 7440 0 -1 1077944384 411 0 0 0 7 0 0 0 20 0 15 0 405040337 15379423232 31835 33554432000 4194304 4196468 140720708247504 139851399780720 139852431567490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9265] ppid=9250 vsize=15018968 memory=15080 CPUtime=0.14 cores=0,2,4,6
/proc/9253/task/9265/stat : 9265 (java) R 9250 9250 7440 0 -1 4202560 556 0 0 0 14 0 0 0 20 0 15 0 405040337 15379423232 31835 33554432000 4194304 4196468 140720708247504 139851398727664 139852415636830 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9266] ppid=9250 vsize=15018968 memory=19212 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9266/stat : 9266 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040337 15379423232 31835 33554432000 4194304 4196468 140720708247504 139850040732000 139852431566549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
[pid=9253/tid=9267] ppid=9250 vsize=15018968 memory=2676 CPUtime=0 cores=0,2,4,6
/proc/9253/task/9267/stat : 9267 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040337 15379423232 31835 33554432000 4194304 4196468 140720708247504 139851397676080 139852431567490 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140720708252399 140720708252826 140720708252826 140720708255695 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128736 KiB

[startup+1.50081 s]
/proc/loadavg: 2.23 1.89 1.59 4/234 9267
/proc/meminfo: memFree=11992384/32770624 swapFree=67036652/67108860
[pid=9250] ppid=9247 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9250/stat : 9250 (scop.sh) S 9247 9250 7440 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405040330 115843072 349 33554432000 4194304 5098028 140734117343792 140734117341048 140079117996668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23859200 140734117352232 140734117352560 140734117352560 140734117355469 0
/proc/9250/statm: 28282 349 296 221 0 87 0

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

[pid=9325/tid=9328] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9328/stat : 9328 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200618646160 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9329] ppid=9250 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9329/stat : 9329 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200298670352 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9330] ppid=9250 vsize=8068440 memory=37188 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9330/stat : 9330 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200297617808 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9331] ppid=9250 vsize=8068440 memory=924 CPUtime=0.03 cores=0,2,4,6
/proc/9325/task/9331/stat : 9331 (java) S 9250 9250 7440 0 -1 1077944384 9 0 0 0 1 2 0 0 20 0 19 0 405101339 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199857949424 140200814246530 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9332] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9332/stat : 9332 (java) S 9250 9250 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405101339 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199745021600 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9333] ppid=9250 vsize=8068440 memory=120632 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9333/stat : 9333 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101339 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199476585712 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9334] ppid=9250 vsize=8068440 memory=385352 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9334/stat : 9334 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199102077392 140200814253979 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9335] ppid=9250 vsize=8068440 memory=385352 CPUtime=0.11 cores=0,2,4,6
/proc/9325/task/9335/stat : 9335 (java) S 9250 9250 7440 0 -1 1077944384 602 0 0 0 11 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199856896240 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9336] ppid=9250 vsize=8068440 memory=1476 CPUtime=0.1 cores=0,2,4,6
/proc/9325/task/9336/stat : 9336 (java) S 9250 9250 7440 0 -1 1077944384 442 0 0 0 10 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199855843696 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9337] ppid=9250 vsize=8068440 memory=120632 CPUtime=0.21 cores=0,2,4,6
/proc/9325/task/9337/stat : 9337 (java) S 9250 9250 7440 0 -1 1077944384 739 0 0 0 21 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199854790640 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9338] ppid=9250 vsize=8068440 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9338/stat : 9338 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140198604171616 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9339] ppid=9250 vsize=8068440 memory=37188 CPUtime=0.95 cores=0,2,4,6
/proc/9325/task/9339/stat : 9339 (java) S 9250 9250 7440 0 -1 1077944384 111 0 0 0 50 45 0 0 20 0 19 0 405101343 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199853739056 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9341] ppid=9250 vsize=8068440 memory=120632 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9341/stat : 9341 (java) S 9250 9250 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405101408 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199845705536 140200814259993 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9343] ppid=9250 vsize=8068440 memory=1476 CPUtime=0.01 cores=0,2,4,6
/proc/9325/task/9343/stat : 9343 (java) S 9250 9250 7440 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 405101409 8262082560 30158 33554432000 4194304 4196468 140733116672032 140198067289968 140200814257309 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9344] ppid=9250 vsize=8068440 memory=385392 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9344/stat : 9344 (java) S 9250 9250 7440 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405101409 8262082560 30158 33554432000 4194304 4196468 140733116672032 140197664636432 140200814257309 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9345] ppid=9250 vsize=8068440 memory=37188 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9345/stat : 9345 (java) S 9250 9250 7440 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405101411 8262082560 30158 33554432000 4194304 4196468 140733116672032 140198335733040 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
Current children cumulated CPU time: 2461.82 s
Current children cumulated vsize: 8624172 KiB
Current children cumulated memory: 507500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2320.5 s]
/proc/loadavg: 1.97 2.15 2.07 3/236 9801
/proc/meminfo: memFree=6498352/32770624 swapFree=67036660/67108860
[pid=9250] ppid=9247 vsize=113128 memory=1476 CPUtime=808.25 cores=0,2,4,6
/proc/9250/stat : 9250 (scop.sh) S 9247 9250 7440 0 -1 4202496 582 1630086 0 0 0 0 79683 1142 20 0 1 0 405040330 115843072 369 33554432000 4194304 5098028 140734117343792 140734117340536 140079117996668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23859200 140734117352232 140734117352560 140734117352560 140734117355469 0
/proc/9250/statm: 28282 369 311 221 0 87 0
[pid=9325] ppid=9250 vsize=8068440 memory=120632 CPUtime=2.26 cores=0,2,4,6
/proc/9325/stat : 9325 (java) S 9250 9250 7440 0 -1 1077944320 20188 0 0 0 175 51 0 0 20 0 19 0 405101335 8262082560 30158 33554432000 4194304 4196468 140733116672032 140733116654576 140200814235383 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
/proc/9325/statm: 2017110 30158 3212 1 0 1978454 0
[pid=9340] ppid=9325 vsize=442604 memory=385392 CPUtime=1709.55 cores=0,2,4,6
/proc/9340/stat : 9340 (glueminisat-sim) R 9325 9250 7440 0 -1 4202496 1691396 0 0 0 170802 153 0 0 20 0 1 0 405101408 453226496 96348 33554432000 4194304 4452875 140721215573152 140721215568184 4372552 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 20979712 140721215578976 140721215579175 140721215579175 140721215582125 0
/proc/9340/statm: 110651 96348 373 64 0 106855 0
[pid=9325/tid=9326] ppid=9250 vsize=8068440 memory=1476 CPUtime=0.74 cores=0,2,4,6
/proc/9325/task/9326/stat : 9326 (java) S 9250 9250 7440 0 -1 1077944384 16888 0 0 0 69 5 0 0 20 0 19 0 405101336 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200786075552 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9327] ppid=9250 vsize=8068440 memory=120632 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9327/stat : 9327 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200818477584 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9328] ppid=9250 vsize=8068440 memory=120632 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9328/stat : 9328 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200618646160 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9329] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9329/stat : 9329 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200298670352 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9330] ppid=9250 vsize=8068440 memory=385392 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9330/stat : 9330 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200297617808 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9331] ppid=9250 vsize=8068440 memory=120632 CPUtime=0.03 cores=0,2,4,6
/proc/9325/task/9331/stat : 9331 (java) S 9250 9250 7440 0 -1 1077944384 9 0 0 0 1 2 0 0 20 0 19 0 405101339 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199857949424 140200814246530 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9332] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9332/stat : 9332 (java) S 9250 9250 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405101339 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199745021600 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9333] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9333/stat : 9333 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101339 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199476585712 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9334] ppid=9250 vsize=8068440 memory=385392 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9334/stat : 9334 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199102077392 140200814253979 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9335] ppid=9250 vsize=8068440 memory=1476 CPUtime=0.11 cores=0,2,4,6
/proc/9325/task/9335/stat : 9335 (java) S 9250 9250 7440 0 -1 1077944384 602 0 0 0 11 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199856896240 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9336] ppid=9250 vsize=8068440 memory=120632 CPUtime=0.1 cores=0,2,4,6
/proc/9325/task/9336/stat : 9336 (java) S 9250 9250 7440 0 -1 1077944384 442 0 0 0 10 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199855843696 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9337] ppid=9250 vsize=8068440 memory=4120 CPUtime=0.21 cores=0,2,4,6
/proc/9325/task/9337/stat : 9337 (java) S 9250 9250 7440 0 -1 1077944384 739 0 0 0 21 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199854790640 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9338] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9338/stat : 9338 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140198604171616 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9339] ppid=9250 vsize=8068440 memory=120632 CPUtime=0.98 cores=0,2,4,6
/proc/9325/task/9339/stat : 9339 (java) S 9250 9250 7440 0 -1 1077944384 115 0 0 0 52 46 0 0 20 0 19 0 405101343 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199853739056 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9341] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9341/stat : 9341 (java) S 9250 9250 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405101408 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199845705536 140200814259993 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9343] ppid=9250 vsize=8068440 memory=4120 CPUtime=0.01 cores=0,2,4,6
/proc/9325/task/9343/stat : 9343 (java) S 9250 9250 7440 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 405101409 8262082560 30158 33554432000 4194304 4196468 140733116672032 140198067289968 140200814257309 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9344] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9344/stat : 9344 (java) S 9250 9250 7440 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405101409 8262082560 30158 33554432000 4194304 4196468 140733116672032 140197664636432 140200814257309 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9345] ppid=9250 vsize=8068440 memory=120632 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9345/stat : 9345 (java) S 9250 9250 7440 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405101411 8262082560 30158 33554432000 4194304 4196468 140733116672032 140198335733040 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8624172 KiB
Current children cumulated memory: 507500 KiB

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

[startup+2320.51 s]
# the end of solver process 9250 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=796.838 s, system=11.4253 s

[startup+2320.55 s]
# the end of solver process 9325 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2506.62 s, system=13.5149 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+2320.5 s]
/proc/loadavg: 1.97 2.15 2.07 3/236 9801
/proc/meminfo: memFree=6498352/32770624 swapFree=67036660/67108860
[pid=9250] ppid=9247 vsize=113128 memory=1476 CPUtime=808.25 cores=0,2,4,6
/proc/9250/stat : 9250 (scop.sh) S 9247 9250 7440 0 -1 4202496 582 1630086 0 0 0 0 79683 1142 20 0 1 0 405040330 115843072 369 33554432000 4194304 5098028 140734117343792 140734117340536 140079117996668 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23859200 140734117352232 140734117352560 140734117352560 140734117355469 0
/proc/9250/statm: 28282 369 311 221 0 87 0
[pid=9325] ppid=9250 vsize=8068440 memory=120632 CPUtime=2.26 cores=0,2,4,6
/proc/9325/stat : 9325 (java) S 9250 9250 7440 0 -1 1077944320 20188 0 0 0 175 51 0 0 20 0 19 0 405101335 8262082560 30158 33554432000 4194304 4196468 140733116672032 140733116654576 140200814235383 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
/proc/9325/statm: 2017110 30158 3212 1 0 1978454 0
[pid=9340] ppid=9325 vsize=442604 memory=385392 CPUtime=1709.55 cores=0,2,4,6
/proc/9340/stat : 9340 (glueminisat-sim) R 9325 9250 7440 0 -1 4202496 1691396 0 0 0 170802 153 0 0 20 0 1 0 405101408 453226496 96348 33554432000 4194304 4452875 140721215573152 140721215568184 4372552 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 20979712 140721215578976 140721215579175 140721215579175 140721215582125 0
/proc/9340/statm: 110651 96348 373 64 0 106855 0
[pid=9325/tid=9326] ppid=9250 vsize=8068440 memory=1476 CPUtime=0.74 cores=0,2,4,6
/proc/9325/task/9326/stat : 9326 (java) S 9250 9250 7440 0 -1 1077944384 16888 0 0 0 69 5 0 0 20 0 19 0 405101336 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200786075552 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9327] ppid=9250 vsize=8068440 memory=120632 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9327/stat : 9327 (java) S 9250 9250 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200818477584 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9328] ppid=9250 vsize=8068440 memory=120632 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9328/stat : 9328 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200618646160 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9329] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9329/stat : 9329 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200298670352 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9330] ppid=9250 vsize=8068440 memory=385392 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9330/stat : 9330 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101337 8262082560 30158 33554432000 4194304 4196468 140733116672032 140200297617808 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9331] ppid=9250 vsize=8068440 memory=120632 CPUtime=0.03 cores=0,2,4,6
/proc/9325/task/9331/stat : 9331 (java) S 9250 9250 7440 0 -1 1077944384 9 0 0 0 1 2 0 0 20 0 19 0 405101339 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199857949424 140200814246530 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9332] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9332/stat : 9332 (java) S 9250 9250 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405101339 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199745021600 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9333] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9333/stat : 9333 (java) S 9250 9250 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405101339 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199476585712 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9334] ppid=9250 vsize=8068440 memory=385392 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9334/stat : 9334 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199102077392 140200814253979 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9335] ppid=9250 vsize=8068440 memory=1476 CPUtime=0.11 cores=0,2,4,6
/proc/9325/task/9335/stat : 9335 (java) S 9250 9250 7440 0 -1 1077944384 602 0 0 0 11 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199856896240 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9336] ppid=9250 vsize=8068440 memory=120632 CPUtime=0.1 cores=0,2,4,6
/proc/9325/task/9336/stat : 9336 (java) S 9250 9250 7440 0 -1 1077944384 442 0 0 0 10 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199855843696 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9337] ppid=9250 vsize=8068440 memory=4120 CPUtime=0.21 cores=0,2,4,6
/proc/9325/task/9337/stat : 9337 (java) S 9250 9250 7440 0 -1 1077944384 739 0 0 0 21 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199854790640 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9338] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9338/stat : 9338 (java) S 9250 9250 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405101342 8262082560 30158 33554432000 4194304 4196468 140733116672032 140198604171616 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9339] ppid=9250 vsize=8068440 memory=120632 CPUtime=0.98 cores=0,2,4,6
/proc/9325/task/9339/stat : 9339 (java) S 9250 9250 7440 0 -1 1077944384 115 0 0 0 52 46 0 0 20 0 19 0 405101343 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199853739056 140200814246530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9341] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9341/stat : 9341 (java) S 9250 9250 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405101408 8262082560 30158 33554432000 4194304 4196468 140733116672032 140199845705536 140200814259993 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9343] ppid=9250 vsize=8068440 memory=4120 CPUtime=0.01 cores=0,2,4,6
/proc/9325/task/9343/stat : 9343 (java) S 9250 9250 7440 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 405101409 8262082560 30158 33554432000 4194304 4196468 140733116672032 140198067289968 140200814257309 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9344] ppid=9250 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9344/stat : 9344 (java) S 9250 9250 7440 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405101409 8262082560 30158 33554432000 4194304 4196468 140733116672032 140197664636432 140200814257309 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
[pid=9325/tid=9345] ppid=9250 vsize=8068440 memory=120632 CPUtime=0 cores=0,2,4,6
/proc/9325/task/9345/stat : 9345 (java) S 9250 9250 7440 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405101411 8262082560 30158 33554432000 4194304 4196468 140733116672032 140198335733040 140200814245589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28856320 140733116675068 140733116675226 140733116675226 140733116678095 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8624172 KiB
Current children cumulated memory: 507500 KiB

Child status: 1
Real time (s): 2320.55
CPU time (s): 2520.13
CPU user time (s): 2506.62
CPU system time (s): 13.5149
CPU usage (%): 108.601
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 11935460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.62
system time used= 13.5149
maximum resident set size= 11934728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3342814
page faults= 0
swaps= 0
block input operations= 8
block output operations= 214304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127561
involuntary context switches= 5085


# summary of solver processes directly reported to runsolver:
#   pid: 9250,9325
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2506.62
#   total CPU system time (s): 13.5149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0674 second user time and 27.9957 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-12 13:27:18
IDJOB=4387665
IDBENCH=122513
IDSOLVER=2825
FILE ID=node150/4387665-1568287676
RUNJOBID= node150-1568287240-8653
PBS_JOBID= 21701061
Free space on /tmp= 52532 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Random/Random-m1-5-8X-05c/rand-5-8X-05c-44.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-4387665-1568287676/watcher-4387665-1568287676 -o /tmp/evaluation-result-4387665-1568287676/solver-4387665-1568287676 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --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-4387665-1568287676.xml

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

MD5SUM BENCH= 68fb7a5417760ab9cc88f495b9ce53b3
RANDOM SEED=2028351879

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:        12329724 kB
MemAvailable:   31623032 kB
Buffers:          167572 kB
Cached:         19188232 kB
SwapCached:         2352 kB
Active:          3809772 kB
Inactive:       15787780 kB
Active(anon):     215876 kB
Inactive(anon):    68088 kB
Active(file):    3593896 kB
Inactive(file): 15719692 kB
Unevictable:      110668 kB
Mlocked:          110668 kB
SwapTotal:      67108860 kB
SwapFree:       67036652 kB
Dirty:            128432 kB
Writeback:             0 kB
AnonPages:        308536 kB
Mapped:            59148 kB
Shmem:             32680 kB
Slab:             436944 kB
SReclaimable:     408180 kB
SUnreclaim:        28764 kB
KernelStack:        3808 kB
PageTables:         6212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6075164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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= 52116 MiB
End job on node150 at 2019-09-12 14:05:58