Trace number 4388265

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)SAT 161.299 137.476

General information on the benchmark

NameHanoi/Hanoi-m1-s1/
Hanoi-07.xml
MD5SUM7f68b5f256bf6bd8019eb0158af88fa3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.776956
Satisfiable
(Un)Satisfiability was proved
Number of variables126
Number of constraints126
Number of domains1
Minimum domain size2187
Maximum domain size2187
Distribution of domain sizes[{"size":2187,"count":126}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":125},{"degree":2,"count":1}]
Minimum constraint arity1
Maximum constraint arity2
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":125}]
Number of extensional constraints125
Number of intensional constraints1
Distribution of constraint types[{"type":"extension","count":125},{"type":"intension","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-14232-serial-file.bin HOME/instance-4388265-1568297705.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 16:14:23 CEST 2019
0.66/0.56	c PID: 14235
0.66/0.56	c IP: 172.20.3.137
0.66/0.56	c HOST: node137.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.99/1.05	c (0,0) Parsing End
1.99/1.05	c (0,0) CSP: 126 int (0 aux), 0 bool (0 aux), 126 ctr, max domain size 2187
1.99/1.05	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.99/1.05	c (0,0) Constraint Name Generate Begin
1.99/1.06	c (0,0) Ctr:HOME/instance-4388265-1568297705.xml,ExtensionSupport:In:Var
1.99/1.06	c (0,0) Constraint Name Generate End
1.99/1.06	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.99/1.06	c (0,0) CSP to CSPinCNF Begin
4.07/1.78	c (1,1) translated 13 (10%) constraints
6.50/2.55	c (2,2) translated 26 (20%) constraints
10.20/3.92	c (3,3) translated 38 (30%) constraints
12.89/6.34	c (5,5) translated 51 (40%) constraints
17.26/10.55	c (10,10) translated 63 (50%) constraints
25.66/18.39	c (17,17) translated 76 (60%) constraints
37.15/29.11	c (28,28) translated 89 (70%) constraints
53.04/43.99	c (43,42) translated 101 (80%) constraints
77.96/67.02	c (66,65) translated 114 (90%) constraints
113.50/99.42	c (98,96) translated 126 (100%) constraints
113.50/99.43	c (98,96) ===========================================
113.50/99.44	c (98,96) Order
113.50/99.44	c (98,96) ===========================================
115.05/100.49	c (99,97) translated 56261 (10%) constraints
116.06/101.47	c (100,98) translated 112521 (20%) constraints
117.12/102.47	c (101,99) translated 168782 (30%) constraints
118.12/103.46	c (102,100) translated 225042 (40%) constraints
119.12/104.45	c (103,101) translated 281303 (50%) constraints
120.12/105.43	c (104,102) translated 337563 (60%) constraints
121.12/106.42	c (105,103) translated 393824 (70%) constraints
123.46/107.75	c (107,104) translated 450084 (80%) constraints
124.46/108.74	c (108,105) translated 506345 (90%) constraints
125.47/109.73	c (109,106) translated 562605 (100%) constraints
125.47/109.74	c (109,106) CSP to CSPinCNF End
125.47/109.78	c (109,106) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562609 ctr, max domain size 2059
125.47/109.78	c (109,106) Heap : 1462 MiB used (max 10763 MiB), NonHeap : 26 MiB used (max 0 MiB)
125.47/109.78	c (109,106) CSPinCNF Propagation Begin
145.64/126.56	c (126,122) 0 values, 125 unsatisfiable literals, and 2 valid clauses are removed
145.64/126.56	c (126,122) CSPinCNF Propagation End
145.76/126.60	c (126,122) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
145.76/126.60	c (126,122) Heap : 1753 MiB used (max 10770 MiB), NonHeap : 27 MiB used (max 0 MiB)
145.76/126.60	c (126,122) Simplify CSPinCNF Begin
146.76/127.51	c (126,123) Simplify CSPinCNF End
146.76/127.54	c (127,123) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
146.76/127.54	c (127,123) Heap : 2252 MiB used (max 10770 MiB), NonHeap : 27 MiB used (max 0 MiB)
146.76/127.54	c (127,123) Calculate Precise Domain Begin
146.76/127.54	c (127,123) 0 values are removed by re-calculation
146.76/127.54	c (127,123) Calculate Precise Domain End
146.76/127.57	c (127,123) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
146.76/127.57	c (127,123) Heap : 2252 MiB used (max 10770 MiB), NonHeap : 27 MiB used (max 0 MiB)
146.76/127.57	c (127,123) CSPinCNF to SatSolver Begin
149.36/128.66	c (128,124) 56261 (10 %) CSP clauses are encoded (0 SAT variables, 148589 SAT clauses)
149.90/129.18	c (128,125) 112522 (20 %) CSP clauses are encoded (0 SAT variables, 204850 SAT clauses)
151.42/129.94	c (129,125) 168783 (30 %) CSP clauses are encoded (0 SAT variables, 261111 SAT clauses)
151.93/130.46	c (129,126) 225043 (40 %) CSP clauses are encoded (0 SAT variables, 317371 SAT clauses)
152.44/130.99	c (130,126) 281304 (50 %) CSP clauses are encoded (0 SAT variables, 373632 SAT clauses)
153.07/131.52	c (130,127) 337565 (60 %) CSP clauses are encoded (0 SAT variables, 429893 SAT clauses)
153.58/132.07	c (131,127) 393825 (70 %) CSP clauses are encoded (0 SAT variables, 486153 SAT clauses)
155.06/132.84	c (132,128) 450086 (80 %) CSP clauses are encoded (0 SAT variables, 542414 SAT clauses)
155.66/133.41	c (132,128) 506347 (90 %) CSP clauses are encoded (0 SAT variables, 598675 SAT clauses)
156.16/134.00	c (133,129) 562607 (100 %) CSP clauses are encoded (0 SAT variables, 654935 SAT clauses)
156.16/134.00	c (133,129) CSPinCNF to SatSolver End
156.16/134.00	c (133,129) Heap : 2324 MiB used (max 10807 MiB), NonHeap : 29 MiB used (max 0 MiB)
156.16/134.00	c (133,129) 182979 bool, 654936 clause
156.16/134.00	c (133,129) Export Begin
157.15/134.53	c (133,129) Export to HOME/scop-14232-serial-file.bin
157.15/134.53	c (133,129) Export End
157.15/134.53	c (133,129) Export File Size: 2.74 MB
157.15/134.53	c (133,129) 0,0,109,126,127,127,133,STOP-AFTER(DIMACS)
157.15/134.53	c END-Prog: Thu Sep 12 16:16:37 CEST 2019
157.15/134.56	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14232-serial-file.bin
157.79/135.03	c (0,0) Read Serial File Begin
157.79/135.03	c (0,0) HOME/scop-14232-serial-file.bin
158.87/135.75	c (0,0) Read Serial File End
158.87/135.76	
158.87/135.76	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
158.87/135.76	(Solving Process)
158.87/135.76	
158.87/135.79	c BEGIN-Prog: Thu Sep 12 16:16:39 CEST 2019
158.87/135.79	c PID: 14260
158.87/135.79	c IP: 172.20.3.137
158.87/135.79	c HOST: node137.alineos.net
158.87/135.79	c (0,0) SatSolver.solve Begin
158.87/135.79	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388265-1568297705.xml-scop-14235.cnf
159.04/135.82	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
159.04/135.82	c (0,0) c glueminisat-simp-2.2.10-193oa-n
159.04/135.82	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388265-1568297705.xml-scop-14235.cnf 
159.04/135.82	c (0,0) c Options:
159.04/135.82	c (0,0) c CORE
159.04/135.82	c (0,0) c  var_decay             = 0.950
159.04/135.82	c (0,0) c  clause_decay          = 0.999
159.04/135.82	c (0,0) c  random_var_freq       = 0.000
159.04/135.82	c (0,0) c  random_seed           = 91648253.000
159.04/135.82	c (0,0) c  luby_restart          = 1
159.04/135.82	c (0,0) c  ccmin_mode            = 2
159.04/135.82	c (0,0) c  phase_saving          = 2
159.04/135.82	c (0,0) c  rnd_pol               = 0
159.04/135.82	c (0,0) c  rnd_init_act          = 0
159.04/135.82	c (0,0) c  garbage_frac          = 0.200
159.04/135.82	c (0,0) c  restart_first         = 1000
159.04/135.82	c (0,0) c  restart_inc           = 2.000
159.04/135.82	c (0,0) c MODEL
159.04/135.82	c (0,0) c  partial_model         = 0
159.04/135.82	c (0,0) c PROPAGATION
159.04/135.82	c (0,0) c  bin_propagation       = 1
159.04/135.82	c (0,0) c SIMPLIFICATION
159.04/135.82	c (0,0) c  lrn_min_size          = 100
159.04/135.82	c (0,0) c  lazy_simp             = 1
159.04/135.82	c (0,0) c  lazy_interval         = 10
159.04/135.82	c (0,0) c  lazy_fld_probing      = 1
159.04/135.82	c (0,0) c  lazy_pol_probing      = 1
159.04/135.82	c (0,0) c  lazy_nec_probing      = 1
159.04/135.82	c (0,0) c  lazy_eqv_probing      = 1
159.04/135.82	c (0,0) c  lazy_cla_probing      = 1
159.04/135.82	c (0,0) c  lazy_lrn_min          = 2
159.04/135.82	c (0,0) c  lazy_uw_lit_elim      = 1
159.04/135.82	c (0,0) c  lazy_pr_lit_elim      = 0
159.04/135.82	c (0,0) c  lazy_bin_add          = 3
159.04/135.82	c (0,0) c  probed_lit_chain      = 1
159.04/135.82	c (0,0) c  pr_min_lits           = 0.00020
159.04/135.82	c (0,0) c  pr_min_starts         = 500
159.04/135.82	c (0,0) c  rw_min_lits           = 0.010
159.04/135.82	c (0,0) c  rw_min_starts         = 500
159.04/135.82	c (0,0) c  rand_attach           = 0
159.04/135.82	c (0,0) c  dec_elim              = 1
159.04/135.82	c (0,0) c  dec_elim_lim          = 25
159.04/135.82	c (0,0) c  dec_elim_len          = -1
159.04/135.82	c (0,0) c  amo                   = 0
159.04/135.82	c (0,0) c  amo_grp               = 1
159.04/135.82	c (0,0) c  amo_max_bins          = 1000000
159.04/135.82	c (0,0) c  amo_starts            = 50
159.04/135.82	c (0,0) c  mace_cmd              = mace
159.04/135.82	c (0,0) c DECISION
159.04/135.82	c (0,0) c  rand_rebuild          = 0
159.04/135.82	c (0,0) c  rand_rebuild_confs    = 10000
159.04/135.82	c (0,0) c  inc_var_decay         = 1
159.04/135.82	c (0,0) c  inc_var_decay_period  = 100000
159.04/135.82	c (0,0) c  inc_var_decay_init    = 0.600
159.04/135.82	c (0,0) c  var_decay_mode        = 0
159.04/135.82	c (0,0) c  var_decay_gain        = 0
159.04/135.82	c (0,0) c  sloped_var_decay      = 1
159.04/135.82	c (0,0) c  max_var_decay         = 0.990
159.04/135.82	c (0,0) c  min_var_decay         = 0.950
159.04/135.82	c (0,0) c  min_var_decay_vars    = 10000
159.04/135.82	c (0,0) c  max_var_decay_vars    = 500
159.04/135.82	c (0,0) c  uip_bumping           = 1
159.04/135.82	c (0,0) c  lbd_act_bumping       = 1
159.04/135.82	c (0,0) c  rand_tiebreak         = 0
159.04/135.82	c (0,0) c  simp_rebuild          = 1
159.04/135.82	c (0,0) c RESTART
159.04/135.82	c (0,0) c  restart_strategy      = 2
159.04/135.82	c (0,0) c  restart_blocking      = 0
159.04/135.82	c (0,0) c  agility_decay         = 0.99990
159.04/135.82	c (0,0) c  lbd_restart_rate      = 0.800
159.04/135.82	c (0,0) c  dec_restart_rate      = 0.950
159.04/135.82	c (0,0) c  blk_restart_rate      = 0.700
159.04/135.82	c (0,0) c  lbd_queue_size        = 50
159.04/135.82	c (0,0) c  dec_queue_size        = 50
159.04/135.82	c (0,0) c  trl_queue_size        = 5000
159.04/135.82	c (0,0) c  blk_restart_weight    = 1.000
159.04/135.82	c (0,0) c  inc_rst_rate          = 0
159.04/135.82	c (0,0) c  inc_rst_rate_period   = 500000
159.04/135.82	c (0,0) c  inc_lbd_rst_rate_init = 0.600
159.04/135.82	c (0,0) c  inc_dec_rst_rate_init = 0.750
159.04/135.82	c (0,0) c REDUCTION
159.04/135.82	c (0,0) c  closed_lbd            = 0
159.04/135.82	c (0,0) c  closed_lbd_rate       = 0.500
159.04/135.82	c (0,0) c  rm_simulate           = 0
159.04/135.82	c (0,0) c  rdb_eval              = 2
159.04/135.82	c (0,0) c  rdb_call              = 3
159.04/135.82	c (0,0) c  rdb_ub                = 0.500
159.04/135.82	c (0,0) c  core_lbd_cvr          = 0.800
159.04/135.82	c (0,0) c  supp_lbd_cvr          = 0.990
159.04/135.82	c (0,0) c  core_lbd_lb           = 2
159.04/135.82	c (0,0) c  supp_lbd_lb           = 2
159.04/135.82	c (0,0) c  core_lbd_prd          = 7
159.04/135.82	c (0,0) c  supp_lbd_prd          = 1
159.04/135.82	c (0,0) c  othr_lbd_prd          = 0
159.04/135.82	c (0,0) c  inc_lrn_limit         = 1000
159.04/135.82	c (0,0) c  frozen_lbd            = 30
159.04/135.82	c (0,0) c  simp_min_starts       = 100
159.04/135.82	c (0,0) c  rm_low_act_learnts    = 1
159.04/135.82	c (0,0) c  lv0_reduce_db         = 0
159.04/135.82	c (0,0) c  reduce_db_base        = 20000
159.04/135.82	c (0,0) c  reduce_db_inc         = 1000
159.04/135.82	c (0,0) c HARD
159.04/135.82	c (0,0) c  inst_check            = 200000
159.04/135.82	c (0,0) c  small_block           = 1.750
159.04/135.82	c (0,0) c  slow_restart_speed    = 400.000
159.04/135.82	c (0,0) c  slow_restart_strategy = 3
159.04/135.82	c (0,0) c  slow_lbd_restart_rate = 0.700
159.04/135.82	c (0,0) c  slow_dec_restart_rate = 1.000
159.04/135.82	c (0,0) c  slow_lbd_queue_size   = 50
159.04/135.82	c (0,0) c  slow_var_decay        = 0.950
159.04/135.82	c (0,0) c  slow_glue_threshold   = 2
159.04/135.82	c (0,0) c  slow_phase_saving     = 2
159.04/135.82	c (0,0) c  fast_restart_speed    = 125.000
159.04/135.82	c (0,0) c  fast_restart_strategy = 1
159.04/135.82	c (0,0) c  fast_lbd_restart_rate = 0.800
159.04/135.82	c (0,0) c  fast_dec_restart_rate = 0.950
159.04/135.82	c (0,0) c  fast_lbd_queue_size   = 50
159.04/135.82	c (0,0) c  fast_var_decay        = 1.000
159.04/135.82	c (0,0) c  fast_glue_threshold   = 2
159.04/135.82	c (0,0) c  fast_phase_saving     = 2
159.04/135.82	c (0,0) c STATS
159.04/135.82	c (0,0) c  stats_conf_size       = 10000
159.04/135.82	c (0,0) c  max_stats_size        = 30
159.04/135.82	c (0,0) c SOLVER
159.04/135.82	c (0,0) c  minisat               = 0
159.46/136.12	c (1,0) c Problem: 182979 variables, 654936 clauses, parsing 0.27 s
159.86/136.59	c (1,0) c  reduced to 182230 variables, 653637 clauses (grow = 0)
160.26/136.99	c (2,0) c  reduced to 180067 variables, 661951 clauses (grow = 8)
160.38/137.03	c (2,0) c  exclude 119 (0.1%) variables from decision variables (last cost 6)
160.38/137.10	c (2,0) c Simplification: 3031 vars, -7015 clauses are eliminated using 0.97 s
160.38/137.10	c (2,0) c
160.38/137.10	c (2,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
160.38/137.10	c (2,0) c
160.38/137.10	c (2,0) c    1         0         0   179948   661951        0   -nan  -nan  -nan -nan%
160.48/137.16	c (2,0) c    1         1         0   179948   661951        0   -nan  -nan  -nan -nan%
160.48/137.16	c (2,0) c
160.48/137.16	c (2,0) c
160.48/137.16	c (2,0) c variables         : 179948      (init 182979, after simp 179948, 119 non-decs, 125 csp)
160.48/137.16	c (2,0) c clauses           : 661951      (init 654936, after simp 661951)
160.48/137.16	c (2,0) c restarts          : 0           (0.00 confs/res, 0~0 confs, 0 blks, 0 last)
160.48/137.16	c (2,0) c conflicts         : 0           (0 /sec, -nan% dconfs, -nan% supp, trail -nanw x -nanh, jmp -nanh)
160.48/137.16	c (2,0) c decisions         : 1724        (0.6000 vdcy, 1326 /sec, 0.00% bin, rs 0.000 s)
160.48/137.16	c (2,0) c propagations      : 182865      (140618 /sec, 106.07 lits/dec, 1.69% o.a.)
160.48/137.16	c (2,0) c conflict literals : 0           (-nan% deleted; -nan% by bin min, 0.000 s)
160.48/137.16	c (2,0) c len               : -nan        (-nan for all, max 0, used 0)
160.48/137.16	c (2,0) c lbd               : -nan        (-nan (-nan) for all, max 0, used 0, -nan stdev, -nan blk)
160.48/137.16	c (2,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
160.48/137.16	c (2,0) c simp dbs          : 1           (0.001 s)
160.48/137.16	c (2,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
160.48/137.16	c (2,0) c learnts           : 0           (0 learnts removed, -nan%)
160.48/137.16	c (2,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
160.48/137.16	c (2,0) c assigned lits     : 0           (0/0 probed, 0 remains)
160.48/137.16	c (2,0) c premise updates   : 0           (0.00 /lit)
160.48/137.16	c (2,0) c probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
160.48/137.16	c (2,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
160.48/137.16	c (2,0) c lazy added bins   : 0           (0 prop + 0 conf, 0.000s)
160.48/137.16	c (2,0) c unwatched lit elim: 0           (0.00+-nan%, 0+0 of 1816956+0)
160.48/137.16	c (2,0) c classified type   : undef
160.48/137.16	c (2,0) c progress          : 0.000 %
160.48/137.16	c (2,0) c
160.48/137.16	c (2,0) c [Statistics]
160.48/137.16	c (2,0) c             learnts len        learnts lbd        lit blk size       eq vars size
160.48/137.16	c (2,0) c  tot           0                  0                  0                  0
160.48/137.16	c (2,0) c  avg        -nan               -nan               -nan               -nan
160.48/137.16	c (2,0) c   1            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c   2            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c   3            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c   4            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c   5            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c   6            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c   7            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c   8            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c   9            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c  10            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c  11            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.16	c (2,0) c  12            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  13            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  14            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  15            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  16            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  17            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  18            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  19            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  20            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  21            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  22            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  23            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  24            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  25            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  26            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  27            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  28            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  29            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c  30            0 (-nan%)          0 (-nan%)          0 (-nan%)          0 (-nan%)
160.48/137.17	c (2,0) c
160.48/137.17	c (2,0) c [LBD Statistics]
160.48/137.17	c (2,0) c LBD          used lbd               used clause lbd         unused clause lbd
160.48/137.17	c (2,0) c  tot            0                       0                       0
160.48/137.17	c (2,0) c  avg         -nan                    -nan                    -nan
160.48/137.17	c (2,0) c
160.48/137.17	c (2,0) c Memory used       : 124.00 MB
160.48/137.17	c (2,0) c CPU time          : 1.301 s
160.48/137.17	c (2,0) c Real time         : 1.350 s
160.48/137.17	c (2,0) c
160.48/137.17	c (2,0) s SATISFIABLE
160.88/137.30	c (2,0) SatSolver.solve End
160.88/137.30	c (2,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
160.88/137.30	c (2,0) Show results Begin
161.11/137.45	c (2,0) x[0] = 1
161.11/137.45	c (2,0) x[1] = 2
161.11/137.45	c (2,0) x[2] = 0
161.11/137.45	c (2,0) x[3] = 1
161.11/137.45	c (2,0) x[4] = 0
161.11/137.45	c (2,0) x[5] = 2
161.11/137.45	c (2,0) x[6] = 5
161.11/137.45	c (2,0) x[7] = 2
161.11/137.45	c (2,0) x[8] = 0
161.11/137.45	c (2,0) x[9] = 2
161.11/137.45	c (2,0) x[10] = 0
161.11/137.45	c (2,0) x[11] = 2
161.11/137.45	c (2,0) x[12] = 0
161.11/137.45	c (2,0) x[13] = 2
161.11/137.45	c (2,0) x[14] = 0
161.11/137.45	c (2,0) x[15] = 2
161.11/137.45	c (2,0) x[16] = 0
161.11/137.45	c (2,0) x[17] = 2
161.11/137.45	c (2,0) x[18] = 0
161.11/137.45	c (2,0) x[19] = 2
161.11/137.45	c (2,0) x[20] = 0
161.11/137.45	c (2,0) x[21] = 2
161.11/137.45	c (2,0) x[22] = 0
161.11/137.45	c (2,0) x[23] = 2
161.11/137.45	c (2,0) x[24] = 0
161.11/137.45	c (2,0) x[25] = 2
161.11/137.45	c (2,0) x[26] = 0
161.11/137.45	c (2,0) x[27] = 2
161.11/137.45	c (2,0) x[28] = 0
161.11/137.45	c (2,0) x[29] = 2
161.11/137.45	c (2,0) x[30] = 0
161.11/137.45	c (2,0) x[31] = 2
161.11/137.45	c (2,0) x[32] = 0
161.11/137.45	c (2,0) x[33] = 2
161.11/137.45	c (2,0) x[34] = 0
161.11/137.45	c (2,0) x[35] = 2
161.11/137.45	c (2,0) x[36] = 0
161.11/137.45	c (2,0) x[37] = 2
161.11/137.45	c (2,0) x[38] = 0
161.11/137.45	c (2,0) x[39] = 2
161.11/137.45	c (2,0) x[40] = 0
161.11/137.45	c (2,0) x[41] = 2
161.11/137.45	c (2,0) x[42] = 0
161.11/137.45	c (2,0) x[43] = 2
161.11/137.45	c (2,0) x[44] = 0
161.11/137.45	c (2,0) x[45] = 2
161.11/137.45	c (2,0) x[46] = 0
161.11/137.45	c (2,0) x[47] = 2
161.11/137.45	c (2,0) x[48] = 0
161.11/137.45	c (2,0) x[49] = 2
161.11/137.45	c (2,0) x[50] = 0
161.11/137.45	c (2,0) x[51] = 2
161.11/137.45	c (2,0) x[52] = 0
161.11/137.45	c (2,0) x[53] = 2
161.11/137.45	c (2,0) x[54] = 0
161.11/137.45	c (2,0) x[55] = 2
161.11/137.45	c (2,0) x[56] = 0
161.11/137.45	c (2,0) x[57] = 2
161.11/137.45	c (2,0) x[58] = 0
161.11/137.45	c (2,0) x[59] = 2
161.11/137.45	c (2,0) x[60] = 0
161.11/137.45	c (2,0) x[61] = 2
161.11/137.45	c (2,0) x[62] = 0
161.11/137.45	c (2,0) x[63] = 2
161.11/137.45	c (2,0) x[64] = 0
161.11/137.45	c (2,0) x[65] = 2
161.11/137.45	c (2,0) x[66] = 0
161.11/137.45	c (2,0) x[67] = 2
161.11/137.45	c (2,0) x[68] = 0
161.11/137.45	c (2,0) x[69] = 2
161.11/137.45	c (2,0) x[70] = 0
161.11/137.45	c (2,0) x[71] = 2
161.11/137.45	c (2,0) x[72] = 0
161.11/137.45	c (2,0) x[73] = 2
161.11/137.45	c (2,0) x[74] = 0
161.11/137.45	c (2,0) x[75] = 2
161.11/137.45	c (2,0) x[76] = 0
161.11/137.45	c (2,0) x[77] = 2
161.11/137.45	c (2,0) x[78] = 0
161.11/137.45	c (2,0) x[79] = 2
161.11/137.46	c (2,0) x[80] = 0
161.11/137.46	c (2,0) x[81] = 2
161.11/137.46	c (2,0) x[82] = 0
161.11/137.46	c (2,0) x[83] = 2
161.11/137.46	c (2,0) x[84] = 0
161.11/137.46	c (2,0) x[85] = 2
161.11/137.46	c (2,0) x[86] = 0
161.11/137.46	c (2,0) x[87] = 2
161.11/137.46	c (2,0) x[88] = 0
161.11/137.46	c (2,0) x[89] = 2
161.11/137.46	c (2,0) x[90] = 0
161.11/137.46	c (2,0) x[91] = 2
161.11/137.46	c (2,0) x[92] = 0
161.11/137.46	c (2,0) x[93] = 2
161.11/137.46	c (2,0) x[94] = 0
161.11/137.46	c (2,0) x[95] = 2
161.11/137.46	c (2,0) x[96] = 0
161.11/137.46	c (2,0) x[97] = 2
161.11/137.46	c (2,0) x[98] = 0
161.11/137.46	c (2,0) x[99] = 2
161.11/137.46	c (2,0) x[100] = 0
161.11/137.46	c (2,0) x[101] = 2
161.11/137.46	c (2,0) x[102] = 0
161.11/137.46	c (2,0) x[103] = 2
161.11/137.46	c (2,0) x[104] = 0
161.11/137.46	c (2,0) x[105] = 2
161.11/137.46	c (2,0) x[106] = 0
161.11/137.46	c (2,0) x[107] = 2
161.11/137.46	c (2,0) x[108] = 0
161.11/137.46	c (2,0) x[109] = 2
161.11/137.46	c (2,0) x[110] = 0
161.11/137.46	c (2,0) x[111] = 2
161.11/137.46	c (2,0) x[112] = 0
161.11/137.46	c (2,0) x[113] = 2
161.11/137.46	c (2,0) x[114] = 0
161.11/137.46	c (2,0) x[115] = 2
161.11/137.46	c (2,0) x[116] = 0
161.11/137.46	c (2,0) x[117] = 2
161.11/137.46	c (2,0) x[118] = 0
161.11/137.46	c (2,0) x[119] = 2
161.11/137.46	c (2,0) x[120] = 0
161.11/137.46	c (2,0) x[121] = 2
161.11/137.46	c (2,0) x[122] = 0
161.11/137.46	c (2,0) x[123] = 2
161.11/137.46	c (2,0) x[124] = 0
161.11/137.46	c (2,0) x[125] = 2
161.11/137.46	s SATISFIABLE
161.11/137.46	v <instantiation>
161.11/137.46	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125]</list>
161.11/137.46	v     <values>1 2 0 1 0 2 5 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2</values>
161.11/137.46	v </instantiation>
161.11/137.46	c (2,0) Show results End
161.11/137.46	c (2,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
161.11/137.46	c (2,0) 2,2,STOP-AFTER(ALL)
161.11/137.46	c END-Prog: Thu Sep 12 16:16:40 CEST 2019

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388265-1568297705/watcher-4388265-1568297705 -o /tmp/evaluation-result-4388265-1568297705/solver-4388265-1568297705 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10213 --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-4388265-1568297705.xml 

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

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


[startup+0.100065 s]*
/proc/loadavg: 2.05 2.08 2.07 3/236 14249
/proc/meminfo: memFree=23008484/32770624 swapFree=66927100/67108860
[pid=14232] ppid=14229 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/14232/stat : 14232 (scop.sh) S 14229 14232 8795 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406017844 115843072 348 33554432000 4194304 5098028 140737482054624 140737482051880 140201952338556 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40378368 140737482056488 140737482056816 140737482056816 140737482059725 0
/proc/14232/statm: 28282 348 296 221 0 87 0
[pid=14235] ppid=14232 vsize=15012696 memory=73284 CPUtime=0.11 cores=1,3,5,7
/proc/14235/stat : 14235 (java) S 14232 14232 8795 0 -1 1077944320 7006 0 0 0 10 1 0 0 20 0 15 0 406017844 15373000704 18321 33554432000 4194304 4196468 140720752589280 140720752571824 139804770438903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
/proc/14235/statm: 3753174 18321 2914 1 0 3715579 0
[pid=14235/tid=14236] ppid=14232 vsize=15012696 memory=-6293354713193955265 CPUtime=0.09 cores=1,3,5,7
/proc/14235/task/14236/stat : 14236 (java) R 14232 14232 8795 0 -1 4202560 4917 0 0 0 8 1 0 0 20 0 15 0 406017844 15373000704 18387 33554432000 4194304 4196468 140720752589280 139804742232712 139804748864129 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14237] ppid=14232 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14237/stat : 14237 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 18387 33554432000 4194304 4196468 140720752589280 139804774681360 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14238] ppid=14232 vsize=15012696 memory=139999064295040 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14238/stat : 14238 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 18387 33554432000 4194304 4196468 140720752589280 139804231588752 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14239] ppid=14232 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14239/stat : 14239 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 18387 33554432000 4194304 4196468 140720752589280 139804230536208 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14240] ppid=14232 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14240/stat : 14240 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 18387 33554432000 4194304 4196468 140720752589280 139804229483664 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14241] ppid=14232 vsize=15012696 memory=139999064295040 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14241/stat : 14241 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017847 15373000704 18387 33554432000 4194304 4196468 140720752589280 139803808086000 139804770450050 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14242] ppid=14232 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14242/stat : 14242 (java) S 14232 14232 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406017848 15373000704 18387 33554432000 4194304 4196468 140720752589280 139803332961184 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14243] ppid=14232 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14243/stat : 14243 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017848 15373000704 18387 33554432000 4194304 4196468 140720752589280 139803064525808 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14244] ppid=14232 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14244/stat : 14244 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017850 15373000704 18387 33554432000 4194304 4196468 140720752589280 139802690017488 139804770457499 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14245] ppid=14232 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14245/stat : 14245 (java) S 14232 14232 8795 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 406017850 15373000704 18387 33554432000 4194304 4196468 140720752589280 139803807033840 139804770450050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14246] ppid=14232 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14246/stat : 14246 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017850 15373000704 18387 33554432000 4194304 4196468 140720752589280 139803805981296 139804770450050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14247] ppid=14232 vsize=15012696 memory=139999064295040 CPUtime=0.01 cores=1,3,5,7
/proc/14235/task/14247/stat : 14247 (java) R 14232 14232 8795 0 -1 4202560 427 0 0 0 1 0 0 0 20 0 15 0 406017850 15373000704 18387 33554432000 4194304 4196468 140720752589280 139803804925688 139804754548913 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14248] ppid=14232 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14248/stat : 14248 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017851 15373000704 18387 33554432000 4194304 4196468 140720752589280 139802192112736 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14249] ppid=14232 vsize=15012696 memory=139999064295040 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14249/stat : 14249 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017851 15373000704 18387 33554432000 4194304 4196468 140720752589280 139803803875632 139804770450050 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74676 KiB

[startup+0.211017 s]*
/proc/loadavg: 2.05 2.08 2.07 3/236 14249
/proc/meminfo: memFree=22989740/32770624 swapFree=66927100/67108860
[pid=14232] ppid=14229 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/14232/stat : 14232 (scop.sh) S 14229 14232 8795 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406017844 115843072 348 33554432000 4194304 5098028 140737482054624 140737482051880 140201952338556 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40378368 140737482056488 140737482056816 140737482056816 140737482059725 0
/proc/14232/statm: 28282 348 296 221 0 87 0
[pid=14235] ppid=14232 vsize=15012696 memory=88260 CPUtime=0.25 cores=1,3,5,7
/proc/14235/stat : 14235 (java) S 14232 14232 8795 0 -1 1077944320 12185 0 0 0 22 3 0 0 20 0 15 0 406017844 15373000704 22065 33554432000 4194304 4196468 140720752589280 140720752571824 139804770438903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
/proc/14235/statm: 3753174 22065 2917 1 0 3715579 0
[pid=14235/tid=14236] ppid=14232 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/14235/task/14236/stat : 14236 (java) R 14232 14232 8795 0 -1 4202560 9913 0 0 0 17 2 0 0 20 0 15 0 406017844 15373000704 22065 33554432000 4194304 4196468 140720752589280 139804742256648 139804770460829 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14237] ppid=14232 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14237/stat : 14237 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 22065 33554432000 4194304 4196468 140720752589280 139804774681360 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14238] ppid=14232 vsize=15012696 memory=139999064309010 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14238/stat : 14238 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 22065 33554432000 4194304 4196468 140720752589280 139804231588752 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14239] ppid=14232 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14239/stat : 14239 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 22065 33554432000 4194304 4196468 140720752589280 139804230536208 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14240] ppid=14232 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14240/stat : 14240 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 22065 33554432000 4194304 4196468 140720752589280 139804229483664 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14241] ppid=14232 vsize=15012696 memory=139999064295040 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14241/stat : 14241 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017847 15373000704 22065 33554432000 4194304 4196468 140720752589280 139803808086000 139804770450050 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14242] ppid=14232 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14242/stat : 14242 (java) S 14232 14232 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406017848 15373000704 22065 33554432000 4194304 4196468 140720752589280 139803332961184 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14243] ppid=14232 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14243/stat : 14243 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017848 15373000704 22065 33554432000 4194304 4196468 140720752589280 139803064525808 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14244] ppid=14232 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14244/stat : 14244 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017850 15373000704 22065 33554432000 4194304 4196468 140720752589280 139802690017488 139804770457499 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14245] ppid=14232 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14245/stat : 14245 (java) S 14232 14232 8795 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 406017850 15373000704 22065 33554432000 4194304 4196468 140720752589280 139803807033840 139804770450050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14246] ppid=14232 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14246/stat : 14246 (java) S 14232 14232 8795 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 406017850 15373000704 22065 33554432000 4194304 4196468 140720752589280 139803805981296 139804770450050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14247] ppid=14232 vsize=15012696 memory=139999064295040 CPUtime=0.03 cores=1,3,5,7
/proc/14235/task/14247/stat : 14247 (java) R 14232 14232 8795 0 -1 4202560 460 0 0 0 3 0 0 0 20 0 15 0 406017850 15373000704 22065 33554432000 4194304 4196468 140720752589280 139803804928752 139804749354805 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14248] ppid=14232 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14248/stat : 14248 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017851 15373000704 22065 33554432000 4194304 4196468 140720752589280 139802192112736 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14249] ppid=14232 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14249/stat : 14249 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017851 15373000704 22065 33554432000 4194304 4196468 140720752589280 139803803875632 139804770450050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89652 KiB

[startup+0.311382 s]*
/proc/loadavg: 2.05 2.08 2.07 3/236 14249
/proc/meminfo: memFree=22987656/32770624 swapFree=66927100/67108860
[pid=14232] ppid=14229 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/14232/stat : 14232 (scop.sh) S 14229 14232 8795 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406017844 115843072 348 33554432000 4194304 5098028 140737482054624 140737482051880 140201952338556 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40378368 140737482056488 140737482056816 140737482056816 140737482059725 0
/proc/14232/statm: 28282 348 296 221 0 87 0
[pid=14235] ppid=14232 vsize=15012696 memory=92844 CPUtime=0.43 cores=1,3,5,7
/proc/14235/stat : 14235 (java) S 14232 14232 8795 0 -1 1077944320 12770 0 0 0 40 3 0 0 20 0 15 0 406017844 15373000704 23211 33554432000 4194304 4196468 140720752589280 140720752571824 139804770438903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
/proc/14235/statm: 3753174 23211 3057 1 0 3715579 0
[pid=14235/tid=14236] ppid=14232 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/14235/task/14236/stat : 14236 (java) R 14232 14232 8795 0 -1 4202560 10204 0 0 0 27 3 0 0 20 0 15 0 406017844 15373000704 23211 33554432000 4194304 4196468 140720752589280 139804742229552 139804754519390 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14237] ppid=14232 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14237/stat : 14237 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 23211 33554432000 4194304 4196468 140720752589280 139804774681360 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14238] ppid=14232 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14238/stat : 14238 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 23211 33554432000 4194304 4196468 140720752589280 139804231588752 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14239] ppid=14232 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14239/stat : 14239 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 23211 33554432000 4194304 4196468 140720752589280 139804230536208 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14240] ppid=14232 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14240/stat : 14240 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15373000704 23211 33554432000 4194304 4196468 140720752589280 139804229483664 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14241] ppid=14232 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14241/stat : 14241 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017847 15373000704 23211 33554432000 4194304 4196468 140720752589280 139803808086000 139804770450050 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14242] ppid=14232 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14242/stat : 14242 (java) S 14232 14232 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406017848 15373000704 23211 33554432000 4194304 4196468 140720752589280 139803332961184 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14243] ppid=14232 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14243/stat : 14243 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017848 15373000704 23211 33554432000 4194304 4196468 140720752589280 139803064525808 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14244] ppid=14232 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14244/stat : 14244 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017850 15373000704 23211 33554432000 4194304 4196468 140720752589280 139802690017488 139804770457499 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14245] ppid=14232 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14235/task/14245/stat : 14245 (java) S 14232 14232 8795 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 15 0 406017850 15373000704 23211 33554432000 4194304 4196468 140720752589280 139803807033840 139804770450050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14246] ppid=14232 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14235/task/14246/stat : 14246 (java) S 14232 14232 8795 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 15 0 406017850 15373000704 23211 33554432000 4194304 4196468 140720752589280 139803805981296 139804770450050 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14247] ppid=14232 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14235/task/14247/stat : 14247 (java) S 14232 14232 8795 0 -1 1077944384 577 0 0 0 7 0 0 0 20 0 15 0 406017850 15373000704 23211 33554432000 4194304 4196468 140720752589280 139803804928752 139804770450050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14248] ppid=14232 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14248/stat : 14248 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017851 15373000704 23211 33554432000 4194304 4196468 140720752589280 139802192112736 139804770449109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14249] ppid=14232 vsize=15012696 memory=3472611983229989936 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14249/stat : 14249 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017851 15373000704 23211 33554432000 4194304 4196468 140720752589280 139803803875632 139804770450050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94236 KiB

[startup+0.700734 s]
/proc/loadavg: 2.05 2.08 2.07 3/236 14249
/proc/meminfo: memFree=22965580/32770624 swapFree=66927100/67108860
[pid=14232] ppid=14229 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/14232/stat : 14232 (scop.sh) S 14229 14232 8795 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406017844 115843072 348 33554432000 4194304 5098028 140737482054624 140737482051880 140201952338556 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40378368 140737482056488 140737482056816 140737482056816 140737482059725 0
/proc/14232/statm: 28282 348 296 221 0 87 0
[pid=14235] ppid=14232 vsize=15021092 memory=131644 CPUtime=0.99 cores=1,3,5,7
/proc/14235/stat : 14235 (java) S 14232 14232 8795 0 -1 1077944320 20618 0 0 0 93 6 0 0 20 0 15 0 406017844 15381598208 32911 33554432000 4194304 4196468 140720752589280 140720752571824 139804770438903 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
/proc/14235/statm: 3755273 32911 3211 1 0 3716603 0
[pid=14235/tid=14236] ppid=14232 vsize=15021092 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/14235/task/14236/stat : 14236 (java) R 14232 14232 8795 0 -1 4202560 17446 0 0 0 63 5 0 0 20 0 15 0 406017844 15381598208 32911 33554432000 4194304 4196468 140720752589280 139804742270640 139804770450838 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14237] ppid=14232 vsize=15021092 memory=5252745004214 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14237/stat : 14237 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406017846 15381598208 32911 33554432000 4194304 4196468 140720752589280 139804774681360 139804770449109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14238] ppid=14232 vsize=15021092 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14238/stat : 14238 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15381598208 32911 33554432000 4194304 4196468 140720752589280 139804231588752 139804770449109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14239] ppid=14232 vsize=15021092 memory=14690799036142200 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14239/stat : 14239 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15381598208 32911 33554432000 4194304 4196468 140720752589280 139804230536208 139804770449109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14240] ppid=14232 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14240/stat : 14240 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017846 15381598208 32911 33554432000 4194304 4196468 140720752589280 139804229483664 139804770449109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14241] ppid=14232 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14241/stat : 14241 (java) S 14232 14232 8795 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 406017847 15381598208 32911 33554432000 4194304 4196468 140720752589280 139803808086000 139804770450050 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14242] ppid=14232 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14242/stat : 14242 (java) S 14232 14232 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406017848 15381598208 32911 33554432000 4194304 4196468 140720752589280 139803332961184 139804770449109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14243] ppid=14232 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14243/stat : 14243 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017848 15381598208 32911 33554432000 4194304 4196468 140720752589280 139803064525808 139804770449109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14244] ppid=14232 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14244/stat : 14244 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017850 15381598208 32911 33554432000 4194304 4196468 140720752589280 139802690017488 139804770457499 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14245] ppid=14232 vsize=15021092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14235/task/14245/stat : 14245 (java) R 14232 14232 8795 0 -1 4202560 728 0 0 0 8 0 0 0 20 0 15 0 406017850 15381598208 32911 33554432000 4194304 4196468 140720752589280 139803807033840 139804770460250 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14246] ppid=14232 vsize=15021092 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/14235/task/14246/stat : 14246 (java) R 14232 14232 8795 0 -1 4202560 345 0 0 0 6 0 0 0 20 0 15 0 406017850 15381598208 32911 33554432000 4194304 4196468 140720752589280 139803805981296 139804750905339 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14247] ppid=14232 vsize=15021092 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/14235/task/14247/stat : 14247 (java) R 14232 14232 8795 0 -1 1077944384 764 0 0 0 15 0 0 0 20 0 15 0 406017850 15381598208 32911 33554432000 4194304 4196468 140720752589280 139803804928752 139804770450050 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14248] ppid=14232 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14248/stat : 14248 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406017851 15381598208 32911 33554432000 4194304 4196468 140720752589280 139802192112736 139804770449109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
[pid=14235/tid=14249] ppid=14232 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14235/task/14249/stat : 14249 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406017851 15381598208 32911 33554432000 4194304 4196468 140720752589280 139803803875632 139804770450050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140720752591598 140720752592026 140720752592026 140720752594895 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 133036 KiB

[startup+1.51035 s]
/proc/loadavg: 2.05 2.08 2.07 6/236 14249
/proc/meminfo: memFree=22920228/32770624 swapFree=66927100/67108860
[pid=14232] ppid=14229 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/14232/stat : 14232 (scop.sh) S 14229 14232 8795 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406017844 115843072 348 33554432000 4194304 5098028 140737482054624 140737482051880 140201952338556 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40378368 140737482056488 140737482056816 140737482056816 140737482059725 0
/proc/14232/statm: 28282 348 296 221 0 87 0

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

/proc/14260/task/14276/stat : 14276 (java) S 14232 14232 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406031425 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360010200768 140360575979289 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14278] ppid=14232 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14278/stat : 14278 (java) S 14232 14232 8795 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 406031426 8262082560 38392 33554432000 4194304 4196468 140723098965872 140357853490992 140360575976605 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14279] ppid=14232 vsize=8068440 memory=3048 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14279/stat : 14279 (java) S 14232 14232 8795 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406031426 8262082560 38392 33554432000 4194304 4196468 140723098965872 140357987712688 140360575976605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14280] ppid=14232 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14280/stat : 14280 (java) S 14232 14232 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406031428 8262082560 38392 33554432000 4194304 4196468 140723098965872 140357585067184 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
Current children cumulated CPU time: 159.36 s
Current children cumulated vsize: 8274632 KiB
Current children cumulated memory: 219416 KiB

[startup+136.801 s]
/proc/loadavg: 1.92 2.05 2.06 3/240 14280
/proc/meminfo: memFree=22844740/32770624 swapFree=66927100/67108860
[pid=14232] ppid=14229 vsize=113128 memory=1472 CPUtime=157.21 cores=1,3,5,7
/proc/14232/stat : 14232 (scop.sh) S 14229 14232 8795 0 -1 4202496 582 77828 0 0 0 0 15438 283 20 0 1 0 406017844 115843072 368 33554432000 4194304 5098028 140737482054624 140737482051368 140201952338556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40378368 140737482056488 140737482056816 140737482056816 140737482059725 0
/proc/14232/statm: 28282 368 311 221 0 87 0
[pid=14260] ppid=14232 vsize=8068440 memory=153568 CPUtime=1.97 cores=1,3,5,7
/proc/14260/stat : 14260 (java) S 14232 14232 8795 0 -1 1077944320 21758 0 0 0 173 24 0 0 20 0 19 0 406031300 8262082560 38392 33554432000 4194304 4196468 140723098965872 140723098948416 140360575954679 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
/proc/14260/statm: 2017110 38392 3222 1 0 1978454 0
[pid=14275] ppid=14260 vsize=115428 memory=95836 CPUtime=0.98 cores=1,3,5,7
/proc/14275/stat : 14275 (glueminisat-sim) R 14260 14232 8795 0 -1 4202496 21779 0 0 0 94 4 0 0 20 0 1 0 406031425 118198272 23959 33554432000 4194304 4452875 140735431574688 140735431569992 4246650 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 35037184 140735431578463 140735431578663 140735431578663 140735431581613 0
/proc/14275/statm: 28857 23959 344 64 0 25061 0
[pid=14260/tid=14261] ppid=14232 vsize=8068440 memory=14690799036142200 CPUtime=1.11 cores=1,3,5,7
/proc/14260/task/14261/stat : 14261 (java) S 14232 14232 8795 0 -1 1077944384 18018 0 0 0 89 22 0 0 20 0 19 0 406031301 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360547794848 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14262] ppid=14232 vsize=8068440 memory=65 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14262/stat : 14262 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406031302 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360580197008 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14263] ppid=14232 vsize=8068440 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14263/stat : 14263 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406031302 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360404838928 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14264] ppid=14232 vsize=8068440 memory=692 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14264/stat : 14264 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406031302 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360060402064 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14265] ppid=14232 vsize=8068440 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14265/stat : 14265 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406031302 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360059349264 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14266] ppid=14232 vsize=8068440 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14266/stat : 14266 (java) S 14232 14232 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406031304 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360022444912 140360575965826 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14267] ppid=14232 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14267/stat : 14267 (java) S 14232 14232 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406031304 8262082560 38392 33554432000 4194304 4196468 140723098965872 140359397008928 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14268] ppid=14232 vsize=8068440 memory=5912 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14268/stat : 14268 (java) S 14232 14232 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406031304 8262082560 38392 33554432000 4194304 4196468 140723098965872 140359262786928 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14269] ppid=14232 vsize=8068440 memory=916 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14269/stat : 14269 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406031307 8262082560 38392 33554432000 4194304 4196468 140723098965872 140358888282448 140360575973275 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14270] ppid=14232 vsize=8068440 memory=1656 CPUtime=0.3 cores=1,3,5,7
/proc/14260/task/14270/stat : 14270 (java) S 14232 14232 8795 0 -1 1077944384 826 0 0 0 30 0 0 0 20 0 19 0 406031307 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360021391728 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14271] ppid=14232 vsize=8068440 memory=2028 CPUtime=0.28 cores=1,3,5,7
/proc/14260/task/14271/stat : 14271 (java) S 14232 14232 8795 0 -1 1077944384 915 0 0 0 28 0 0 0 20 0 19 0 406031307 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360020338928 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14272] ppid=14232 vsize=8068440 memory=988 CPUtime=0.23 cores=1,3,5,7
/proc/14260/task/14272/stat : 14272 (java) S 14232 14232 8795 0 -1 1077944384 567 0 0 0 23 0 0 0 20 0 19 0 406031307 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360019286128 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14273] ppid=14232 vsize=8068440 memory=920 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14273/stat : 14273 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406031307 8262082560 38392 33554432000 4194304 4196468 140723098965872 140358390376672 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14274] ppid=14232 vsize=8068440 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14274/stat : 14274 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406031308 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360018234544 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14276] ppid=14232 vsize=8068440 memory=3496 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14276/stat : 14276 (java) S 14232 14232 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406031425 8262082560 38392 33554432000 4194304 4196468 140723098965872 140360010200768 140360575979289 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14278] ppid=14232 vsize=8068440 memory=3736 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14278/stat : 14278 (java) S 14232 14232 8795 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 406031426 8262082560 38392 33554432000 4194304 4196468 140723098965872 140357853490992 140360575976605 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14279] ppid=14232 vsize=8068440 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14279/stat : 14279 (java) S 14232 14232 8795 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406031426 8262082560 38392 33554432000 4194304 4196468 140723098965872 140357987712688 140360575976605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14280] ppid=14232 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14280/stat : 14280 (java) S 14232 14232 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406031428 8262082560 38392 33554432000 4194304 4196468 140723098965872 140357585067184 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
Current children cumulated CPU time: 160.16 s
Current children cumulated vsize: 8296996 KiB
Current children cumulated memory: 250876 KiB

[startup+137.208 s]
/proc/loadavg: 1.92 2.05 2.06 3/240 14280
/proc/meminfo: memFree=22810136/32770624 swapFree=66927100/67108860
[pid=14232] ppid=14229 vsize=113128 memory=1472 CPUtime=157.21 cores=1,3,5,7
/proc/14232/stat : 14232 (scop.sh) S 14229 14232 8795 0 -1 4202496 582 77828 0 0 0 0 15438 283 20 0 1 0 406017844 115843072 368 33554432000 4194304 5098028 140737482054624 140737482051368 140201952338556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40378368 140737482056488 140737482056816 140737482056816 140737482059725 0
/proc/14232/statm: 28282 368 311 221 0 87 0
[pid=14260] ppid=14232 vsize=8068440 memory=161984 CPUtime=2.09 cores=1,3,5,7
/proc/14260/stat : 14260 (java) S 14232 14232 8795 0 -1 1077944320 21843 0 0 0 184 25 0 0 20 0 19 0 406031300 8262082560 40496 33554432000 4194304 4196468 140723098965872 140723098948416 140360575954679 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
/proc/14260/statm: 2017110 40496 3226 1 0 1978454 0
[pid=14275] ppid=14260 vsize=108960 memory=86696 CPUtime=1.38 cores=1,3,5,7
/proc/14275/stat : 14275 (glueminisat-sim) R 14260 14232 8795 0 -1 4202496 22398 0 0 0 133 5 0 0 20 0 1 0 406031425 111575040 21674 33554432000 4194304 4452875 140735431574688 140735431568536 139784182787168 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 35037184 140735431578463 140735431578663 140735431578663 140735431581613 0
/proc/14275/statm: 27240 21674 377 64 0 23444 0
[pid=14260/tid=14261] ppid=14232 vsize=8068440 memory=7518026630507423085 CPUtime=1.11 cores=1,3,5,7
/proc/14260/task/14261/stat : 14261 (java) S 14232 14232 8795 0 -1 1077944384 18018 0 0 0 89 22 0 0 20 0 19 0 406031301 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360547794848 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14262] ppid=14232 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14262/stat : 14262 (java) S 14232 14232 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406031302 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360580197008 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14263] ppid=14232 vsize=8068440 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14263/stat : 14263 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406031302 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360404838928 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14264] ppid=14232 vsize=8068440 memory=14690799036142200 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14264/stat : 14264 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406031302 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360060402064 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14265] ppid=14232 vsize=8068440 memory=57508 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14265/stat : 14265 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406031302 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360059349264 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14266] ppid=14232 vsize=8068440 memory=59716 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14266/stat : 14266 (java) S 14232 14232 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406031304 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360022444912 140360575965826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14267] ppid=14232 vsize=8068440 memory=61924 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14267/stat : 14267 (java) S 14232 14232 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406031304 8262082560 40496 33554432000 4194304 4196468 140723098965872 140359397008928 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14268] ppid=14232 vsize=8068440 memory=64132 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14268/stat : 14268 (java) S 14232 14232 8795 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 406031304 8262082560 40496 33554432000 4194304 4196468 140723098965872 140359262786928 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14269] ppid=14232 vsize=8068440 memory=66340 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14269/stat : 14269 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406031307 8262082560 40496 33554432000 4194304 4196468 140723098965872 140358888282448 140360575973275 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14270] ppid=14232 vsize=8068440 memory=68548 CPUtime=0.32 cores=1,3,5,7
/proc/14260/task/14270/stat : 14270 (java) S 14232 14232 8795 0 -1 1077944384 829 0 0 0 32 0 0 0 20 0 19 0 406031307 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360021391728 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14271] ppid=14232 vsize=8068440 memory=70756 CPUtime=0.32 cores=1,3,5,7
/proc/14260/task/14271/stat : 14271 (java) R 14232 14232 8795 0 -1 4202560 924 0 0 0 32 0 0 0 20 0 19 0 406031307 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360020320224 140360557475905 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14272] ppid=14232 vsize=8068440 memory=72964 CPUtime=0.25 cores=1,3,5,7
/proc/14260/task/14272/stat : 14272 (java) R 14232 14232 8795 0 -1 4202560 627 0 0 0 25 0 0 0 20 0 19 0 406031307 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360019286128 140360569051515 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14273] ppid=14232 vsize=8068440 memory=75172 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14273/stat : 14273 (java) S 14232 14232 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406031307 8262082560 40496 33554432000 4194304 4196468 140723098965872 140358390376672 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14274] ppid=14232 vsize=8068440 memory=77380 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14274/stat : 14274 (java) S 14232 14232 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406031308 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360018234544 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14276] ppid=14232 vsize=8068440 memory=68881 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14276/stat : 14276 (java) S 14232 14232 8795 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406031425 8262082560 40496 33554432000 4194304 4196468 140723098965872 140360010200768 140360575979289 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14278] ppid=14232 vsize=8068440 memory=288230574492221466 CPUtime=0.03 cores=1,3,5,7
/proc/14260/task/14278/stat : 14278 (java) R 14232 14232 8795 0 -1 4202560 40 0 0 0 3 0 0 0 20 0 19 0 406031426 8262082560 40496 33554432000 4194304 4196468 140723098965872 140357853491024 140360568657159 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14279] ppid=14232 vsize=8068440 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14279/stat : 14279 (java) S 14232 14232 8795 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 406031426 8262082560 40496 33554432000 4194304 4196468 140723098965872 140357987712688 140360575976605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14280] ppid=14232 vsize=8068440 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/14260/task/14280/stat : 14280 (java) S 14232 14232 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406031428 8262082560 40496 33554432000 4194304 4196468 140723098965872 140357585067184 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
Current children cumulated CPU time: 160.68 s
Current children cumulated vsize: 8290528 KiB
Current children cumulated memory: 250152 KiB

[startup+137.408 s]
/proc/loadavg: 1.92 2.05 2.06 3/240 14280
/proc/meminfo: memFree=22810136/32770624 swapFree=66927100/67108860
[pid=14232] ppid=14229 vsize=113128 memory=1472 CPUtime=157.21 cores=1,3,5,7
/proc/14232/stat : 14232 (scop.sh) S 14229 14232 8795 0 -1 4202496 582 77828 0 0 0 0 15438 283 20 0 1 0 406017844 115843072 368 33554432000 4194304 5098028 140737482054624 140737482051368 140201952338556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40378368 140737482056488 140737482056816 140737482056816 140737482059725 0
/proc/14232/statm: 28282 368 311 221 0 87 0
[pid=14260] ppid=14232 vsize=7937364 memory=200812 CPUtime=3.9 cores=1,3,5,7
/proc/14260/stat : 14260 (java) S 14232 14232 8795 0 -1 1077944320 22325 22404 0 0 226 25 134 5 20 0 17 0 406031300 8127860736 50203 33554432000 4194304 4196468 140723098965872 140723098948416 140360575954679 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
/proc/14260/statm: 1984341 50203 3235 1 0 1945685 0
[pid=14260/tid=14261] ppid=14232 vsize=7937364 memory=7681407940103534239 CPUtime=2.6 cores=1,3,5,7
/proc/14260/task/14261/stat : 14261 (java) R 14232 14232 8795 0 -1 4202560 18234 22404 0 0 99 22 134 5 20 0 17 0 406031301 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360547794336 140360575966614 0 4 2 25189581 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14262] ppid=14232 vsize=7937364 memory=6369306291144517696 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14262/stat : 14262 (java) S 14232 14232 8795 0 -1 1077944384 1 22404 0 0 0 0 134 5 20 0 17 0 406031302 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360580197008 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14263] ppid=14232 vsize=7937364 memory=7084820161258082390 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14263/stat : 14263 (java) S 14232 14232 8795 0 -1 1077944384 2 22404 0 0 0 0 134 5 20 0 17 0 406031302 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360404838928 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14264] ppid=14232 vsize=7937364 memory=7084815763211571288 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14264/stat : 14264 (java) S 14232 14232 8795 0 -1 1077944384 2 22404 0 0 0 0 134 5 20 0 17 0 406031302 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360060402064 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14265] ppid=14232 vsize=7937364 memory=7084814663699943513 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14265/stat : 14265 (java) S 14232 14232 8795 0 -1 1077944384 2 22404 0 0 0 0 134 5 20 0 17 0 406031302 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360059349264 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14266] ppid=14232 vsize=7937364 memory=7084816862723199065 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14266/stat : 14266 (java) S 14232 14232 8795 0 -1 1077944384 5 22404 0 0 0 0 134 5 20 0 17 0 406031304 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360022444912 140360575965826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14267] ppid=14232 vsize=7937364 memory=5859271421085368416 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14267/stat : 14267 (java) S 14232 14232 8795 0 -1 1077944384 13 22404 0 0 0 0 134 5 20 0 17 0 406031304 8127860736 50203 33554432000 4194304 4196468 140723098965872 140359397008928 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14268] ppid=14232 vsize=7937364 memory=7300704776819335744 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14268/stat : 14268 (java) S 14232 14232 8795 0 -1 1077944384 21 22404 0 0 0 0 134 5 20 0 17 0 406031304 8127860736 50203 33554432000 4194304 4196468 140723098965872 140359262786928 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14269] ppid=14232 vsize=7937364 memory=7300704776819335744 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14269/stat : 14269 (java) S 14232 14232 8795 0 -1 1077944384 3 22404 0 0 0 0 134 5 20 0 17 0 406031307 8127860736 50203 33554432000 4194304 4196468 140723098965872 140358888282448 140360575973275 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14270] ppid=14232 vsize=7937364 memory=33220 CPUtime=1.78 cores=1,3,5,7
/proc/14260/task/14270/stat : 14270 (java) S 14232 14232 8795 0 -1 1077944384 856 22404 0 0 39 0 134 5 20 0 17 0 406031307 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360021391728 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14271] ppid=14232 vsize=7937364 memory=35428 CPUtime=1.81 cores=1,3,5,7
/proc/14260/task/14271/stat : 14271 (java) S 14232 14232 8795 0 -1 1077944384 972 22404 0 0 42 0 134 5 20 0 17 0 406031307 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360020338928 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14272] ppid=14232 vsize=7937364 memory=37636 CPUtime=1.7 cores=1,3,5,7
/proc/14260/task/14272/stat : 14272 (java) S 14232 14232 8795 0 -1 1077944384 759 22404 0 0 31 0 134 5 20 0 17 0 406031307 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360019286128 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14273] ppid=14232 vsize=7937364 memory=3904677167311893552 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14273/stat : 14273 (java) S 14232 14232 8795 0 -1 1077944384 3 22404 0 0 0 0 134 5 20 0 17 0 406031307 8127860736 50203 33554432000 4194304 4196468 140723098965872 140358390376672 140360575964885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14274] ppid=14232 vsize=7937364 memory=7301572321926471744 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14274/stat : 14274 (java) S 14232 14232 8795 0 -1 1077944384 2 22404 0 0 0 0 134 5 20 0 17 0 406031308 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360018234544 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14276] ppid=14232 vsize=7937364 memory=5787213827098300752 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14276/stat : 14276 (java) S 14232 14232 8795 0 -1 1077944384 24 22404 0 0 0 0 134 5 20 0 17 0 406031425 8127860736 50203 33554432000 4194304 4196468 140723098965872 140360010199952 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
[pid=14260/tid=14280] ppid=14232 vsize=7937364 memory=8514701219882108324 CPUtime=1.39 cores=1,3,5,7
/proc/14260/task/14280/stat : 14280 (java) S 14232 14232 8795 0 -1 1077944384 11 22404 0 0 0 0 134 5 20 0 17 0 406031428 8127860736 50203 33554432000 4194304 4196468 140723098965872 140357585068976 140360575965826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140723098969083 140723098969242 140723098969242 140723098972111 0
Current children cumulated CPU time: 161.11 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 202284 KiB

Child status: 0
Real time (s): 137.476
CPU time (s): 161.299
CPU user time (s): 158.139
CPU system time (s): 3.16065
CPU usage (%): 117.329
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4901412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.139
system time used= 3.16065
maximum resident set size= 4900196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9999
involuntary context switches= 289


# summary of solver processes directly reported to runsolver:
#   pid: 14232
#   total CPU time (s): 161.299
#   total CPU user time (s): 158.139
#   total CPU system time (s): 3.16065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.974981 second user time and 1.36385 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-12 16:14:23
IDJOB=4388265
IDBENCH=138763
IDSOLVER=2825
FILE ID=node137/4388265-1568297705
RUNJOBID= node137-1568286693-10213
PBS_JOBID= 21701071
Free space on /tmp= 56320 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-07.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-4388265-1568297705/watcher-4388265-1568297705 -o /tmp/evaluation-result-4388265-1568297705/solver-4388265-1568297705 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10213 --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-4388265-1568297705.xml

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

MD5SUM BENCH= 7f68b5f256bf6bd8019eb0158af88fa3
RANDOM SEED=2067576675

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23069244 kB
MemAvailable:   30209572 kB
Buffers:          117424 kB
Cached:          7251980 kB
SwapCached:        77616 kB
Active:          3653844 kB
Inactive:        5370428 kB
Active(anon):    1577788 kB
Inactive(anon):   118208 kB
Active(file):    2076056 kB
Inactive(file):  5252220 kB
Unevictable:      108040 kB
Mlocked:          108040 kB
SwapTotal:      67108860 kB
SwapFree:       66927100 kB
Dirty:             20616 kB
Writeback:             0 kB
AnonPages:       1688792 kB
Mapped:            55120 kB
Shmem:             32632 kB
Slab:             270136 kB
SReclaimable:     240512 kB
SUnreclaim:        29624 kB
KernelStack:        3936 kB
PageTables:         8956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7634856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56300 MiB
End job on node137 at 2019-09-12 16:16:40