Trace number 4388214

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 138.026 108.775

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s20a4/
TravellingSalesman-4-20-001-a4_X2.xml
MD5SUMb8ea00653452363d0c81f6ef3102e485
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.830237
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints228
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":20,"count":20},{"size":161,"count":19},{"size":1001,"count":20}]
Minimum variable degree1
Maximum variable degree208
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}]
Minimum constraint arity2
Maximum constraint arity4
Distribution of constraint arities[{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}]
Number of extensional constraints228
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":228}]
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-9395-serial-file.bin HOME/instance-4388214-1568297192.xml
0.67/0.53	
0.67/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53	
0.67/0.56	c BEGIN-Prog: Thu Sep 12 16:05:52 CEST 2019
0.67/0.56	c PID: 9398
0.67/0.56	c IP: 172.20.3.127
0.67/0.56	c HOST: node127.alineos.net
0.67/0.56	c (0,0) Parsing Begin
2.39/1.16	c (0,0) Parsing End
2.39/1.16	c (0,0) CSP: 60 int (0 aux), 1 bool (0 aux), 228 ctr, max domain size 1001
2.39/1.16	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.39/1.16	c (0,0) Constraint Name Generate Begin
2.39/1.17	c (0,0) Ctr:HOME/instance-4388214-1568297192.xml,ExtensionConflict:ExtensionSupport:Var
2.39/1.17	c (0,0) Constraint Name Generate End
2.39/1.17	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.39/1.17	c (0,0) CSP to CSPinCNF Begin
75.58/64.74	c (64,63) translated 23 (10%) constraints
76.52/65.22	c (64,63) translated 46 (20%) constraints
77.22/65.69	c (65,64) translated 69 (30%) constraints
78.24/66.15	c (65,64) translated 92 (40%) constraints
80.43/67.07	c (66,65) translated 114 (50%) constraints
81.13/67.52	c (66,65) translated 137 (60%) constraints
81.53/67.97	c (67,65) translated 160 (70%) constraints
82.05/68.43	c (67,66) translated 183 (80%) constraints
83.35/69.57	c (69,67) translated 206 (90%) constraints
84.61/70.14	c (69,68) translated 228 (100%) constraints
84.61/70.17	c (69,68) ===========================================
84.61/70.17	c (69,68) Order
84.61/70.17	c (69,68) ===========================================
86.33/71.47	c (70,69) translated 56022 (10%) constraints
87.76/72.75	c (72,70) translated 112043 (20%) constraints
89.07/74.03	c (73,72) translated 168064 (30%) constraints
90.37/75.30	c (74,73) translated 224086 (40%) constraints
91.58/76.57	c (76,74) translated 280107 (50%) constraints
95.56/78.50	c (77,75) translated 336128 (60%) constraints
96.76/79.77	c (79,77) translated 392150 (70%) constraints
98.07/81.04	c (80,78) translated 448171 (80%) constraints
99.36/82.31	c (81,79) translated 504192 (90%) constraints
100.58/83.43	c (82,80) translated 560213 (100%) constraints
100.58/83.43	c (82,80) CSP to CSPinCNF End
100.58/83.44	c (82,80) CSP: 60 int (0 aux), 14112 bool (14111 aux), 560213 ctr, max domain size 161
100.58/83.44	c (82,80) Heap : 2480 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
100.58/83.44	c (82,80) CSPinCNF Propagation Begin
124.23/98.63	c (98,93) 1338 values, 267143 unsatisfiable literals, and 167368 valid clauses are removed
124.23/98.63	c (98,93) CSPinCNF Propagation End
124.23/98.64	c (98,93) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
124.23/98.64	c (98,93) Heap : 976 MiB used (max 10540 MiB), NonHeap : 28 MiB used (max 0 MiB)
124.23/98.64	c (98,93) Simplify CSPinCNF Begin
125.19/99.48	c (98,94) Simplify CSPinCNF End
125.19/99.49	c (98,94) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
125.19/99.49	c (98,94) Heap : 1439 MiB used (max 10540 MiB), NonHeap : 28 MiB used (max 0 MiB)
125.19/99.49	c (98,94) Calculate Precise Domain Begin
125.19/99.49	c (98,94) 0 values are removed by re-calculation
125.19/99.49	c (98,94) Calculate Precise Domain End
125.19/99.49	c (98,94) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
125.19/99.49	c (98,94) Heap : 1439 MiB used (max 10540 MiB), NonHeap : 28 MiB used (max 0 MiB)
125.19/99.49	c (98,94) CSPinCNF to SatSolver Begin
127.40/100.35	c (99,95) 39285 (10 %) CSP clauses are encoded (0 SAT variables, 42413 SAT clauses)
127.94/100.83	c (100,95) 78569 (20 %) CSP clauses are encoded (0 SAT variables, 81697 SAT clauses)
128.44/101.30	c (100,96) 117854 (30 %) CSP clauses are encoded (0 SAT variables, 120982 SAT clauses)
128.84/101.77	c (101,96) 157138 (40 %) CSP clauses are encoded (0 SAT variables, 160266 SAT clauses)
130.47/102.51	c (101,97) 196423 (50 %) CSP clauses are encoded (0 SAT variables, 199551 SAT clauses)
130.87/102.98	c (102,97) 235707 (60 %) CSP clauses are encoded (0 SAT variables, 238835 SAT clauses)
131.37/103.45	c (102,98) 274992 (70 %) CSP clauses are encoded (0 SAT variables, 278120 SAT clauses)
131.80/104.00	c (103,98) 314276 (80 %) CSP clauses are encoded (0 SAT variables, 317404 SAT clauses)
132.31/104.42	c (103,99) 353561 (90 %) CSP clauses are encoded (0 SAT variables, 356689 SAT clauses)
133.30/104.96	c (104,99) 392845 (100 %) CSP clauses are encoded (0 SAT variables, 395973 SAT clauses)
133.30/104.96	c (104,99) CSPinCNF to SatSolver End
133.30/104.96	c (104,99) Heap : 1067 MiB used (max 10514 MiB), NonHeap : 30 MiB used (max 0 MiB)
133.30/104.96	c (104,99) 16344 bool, 395974 clause
133.30/104.96	c (104,99) Export Begin
133.52/105.07	c (104,99) Export to HOME/scop-9395-serial-file.bin
133.52/105.07	c (104,99) Export End
133.52/105.07	c (104,99) Export File Size: 0.04 MB
133.52/105.07	c (104,99) 0,0,82,98,98,98,104,STOP-AFTER(DIMACS)
133.52/105.07	c END-Prog: Thu Sep 12 16:07:37 CEST 2019
133.52/105.09	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9395-serial-file.bin
133.67/105.56	c (0,0) Read Serial File Begin
133.67/105.56	c (0,0) HOME/scop-9395-serial-file.bin
133.67/105.80	c (0,0) Read Serial File End
133.67/105.81	
133.67/105.81	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
133.67/105.81	(Solving Process)
133.67/105.81	
133.67/105.83	c BEGIN-Prog: Thu Sep 12 16:07:38 CEST 2019
133.67/105.83	c PID: 9419
133.67/105.83	c IP: 172.20.3.127
133.67/105.83	c HOST: node127.alineos.net
133.67/105.84	c (0,0) SatSolver.solve Begin
133.67/105.84	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388214-1568297192.xml-scop-9398.cnf
133.67/105.87	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
133.67/105.87	c (0,0) c glueminisat-simp-2.2.10-193oa-n
133.67/105.87	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388214-1568297192.xml-scop-9398.cnf 
133.67/105.87	c (0,0) c Options:
133.67/105.87	c (0,0) c CORE
133.67/105.87	c (0,0) c  var_decay             = 0.950
133.67/105.87	c (0,0) c  clause_decay          = 0.999
133.67/105.87	c (0,0) c  random_var_freq       = 0.000
133.67/105.87	c (0,0) c  random_seed           = 91648253.000
133.67/105.87	c (0,0) c  luby_restart          = 1
133.67/105.87	c (0,0) c  ccmin_mode            = 2
133.67/105.87	c (0,0) c  phase_saving          = 2
133.67/105.87	c (0,0) c  rnd_pol               = 0
133.67/105.87	c (0,0) c  rnd_init_act          = 0
133.67/105.87	c (0,0) c  garbage_frac          = 0.200
133.67/105.87	c (0,0) c  restart_first         = 1000
133.67/105.87	c (0,0) c  restart_inc           = 2.000
133.67/105.87	c (0,0) c MODEL
133.67/105.87	c (0,0) c  partial_model         = 0
133.67/105.87	c (0,0) c PROPAGATION
133.67/105.87	c (0,0) c  bin_propagation       = 1
133.67/105.87	c (0,0) c SIMPLIFICATION
133.67/105.87	c (0,0) c  lrn_min_size          = 100
133.67/105.87	c (0,0) c  lazy_simp             = 1
133.67/105.87	c (0,0) c  lazy_interval         = 10
133.67/105.87	c (0,0) c  lazy_fld_probing      = 1
133.67/105.87	c (0,0) c  lazy_pol_probing      = 1
133.67/105.87	c (0,0) c  lazy_nec_probing      = 1
133.67/105.87	c (0,0) c  lazy_eqv_probing      = 1
133.67/105.87	c (0,0) c  lazy_cla_probing      = 1
133.67/105.87	c (0,0) c  lazy_lrn_min          = 2
133.67/105.87	c (0,0) c  lazy_uw_lit_elim      = 1
133.67/105.87	c (0,0) c  lazy_pr_lit_elim      = 0
133.67/105.87	c (0,0) c  lazy_bin_add          = 3
133.67/105.87	c (0,0) c  probed_lit_chain      = 1
133.67/105.87	c (0,0) c  pr_min_lits           = 0.00020
133.67/105.87	c (0,0) c  pr_min_starts         = 500
133.67/105.87	c (0,0) c  rw_min_lits           = 0.010
133.67/105.87	c (0,0) c  rw_min_starts         = 500
133.67/105.87	c (0,0) c  rand_attach           = 0
133.67/105.87	c (0,0) c  dec_elim              = 1
133.67/105.87	c (0,0) c  dec_elim_lim          = 25
133.67/105.87	c (0,0) c  dec_elim_len          = -1
133.67/105.87	c (0,0) c  amo                   = 0
133.67/105.87	c (0,0) c  amo_grp               = 1
133.67/105.87	c (0,0) c  amo_max_bins          = 1000000
133.67/105.87	c (0,0) c  amo_starts            = 50
133.67/105.87	c (0,0) c  mace_cmd              = mace
133.67/105.87	c (0,0) c DECISION
133.67/105.87	c (0,0) c  rand_rebuild          = 0
133.67/105.87	c (0,0) c  rand_rebuild_confs    = 10000
133.67/105.87	c (0,0) c  inc_var_decay         = 1
133.67/105.87	c (0,0) c  inc_var_decay_period  = 100000
133.67/105.87	c (0,0) c  inc_var_decay_init    = 0.600
133.67/105.87	c (0,0) c  var_decay_mode        = 0
133.67/105.87	c (0,0) c  var_decay_gain        = 0
133.67/105.87	c (0,0) c  sloped_var_decay      = 1
133.67/105.87	c (0,0) c  max_var_decay         = 0.990
133.67/105.87	c (0,0) c  min_var_decay         = 0.950
133.67/105.87	c (0,0) c  min_var_decay_vars    = 10000
133.67/105.87	c (0,0) c  max_var_decay_vars    = 500
133.67/105.87	c (0,0) c  uip_bumping           = 1
133.67/105.87	c (0,0) c  lbd_act_bumping       = 1
133.67/105.87	c (0,0) c  rand_tiebreak         = 0
133.67/105.87	c (0,0) c  simp_rebuild          = 1
133.67/105.87	c (0,0) c RESTART
133.67/105.87	c (0,0) c  restart_strategy      = 2
133.67/105.87	c (0,0) c  restart_blocking      = 0
133.67/105.87	c (0,0) c  agility_decay         = 0.99990
133.67/105.87	c (0,0) c  lbd_restart_rate      = 0.800
133.67/105.87	c (0,0) c  dec_restart_rate      = 0.950
133.67/105.87	c (0,0) c  blk_restart_rate      = 0.700
133.67/105.87	c (0,0) c  lbd_queue_size        = 50
133.67/105.87	c (0,0) c  dec_queue_size        = 50
133.67/105.87	c (0,0) c  trl_queue_size        = 5000
133.67/105.87	c (0,0) c  blk_restart_weight    = 1.000
133.67/105.87	c (0,0) c  inc_rst_rate          = 0
133.67/105.87	c (0,0) c  inc_rst_rate_period   = 500000
133.67/105.87	c (0,0) c  inc_lbd_rst_rate_init = 0.600
133.67/105.87	c (0,0) c  inc_dec_rst_rate_init = 0.750
133.67/105.87	c (0,0) c REDUCTION
133.67/105.87	c (0,0) c  closed_lbd            = 0
133.67/105.87	c (0,0) c  closed_lbd_rate       = 0.500
133.67/105.87	c (0,0) c  rm_simulate           = 0
133.67/105.87	c (0,0) c  rdb_eval              = 2
133.67/105.87	c (0,0) c  rdb_call              = 3
133.67/105.87	c (0,0) c  rdb_ub                = 0.500
133.67/105.87	c (0,0) c  core_lbd_cvr          = 0.800
133.67/105.87	c (0,0) c  supp_lbd_cvr          = 0.990
133.67/105.87	c (0,0) c  core_lbd_lb           = 2
133.67/105.87	c (0,0) c  supp_lbd_lb           = 2
133.67/105.87	c (0,0) c  core_lbd_prd          = 7
133.67/105.87	c (0,0) c  supp_lbd_prd          = 1
133.67/105.87	c (0,0) c  othr_lbd_prd          = 0
133.67/105.87	c (0,0) c  inc_lrn_limit         = 1000
133.67/105.87	c (0,0) c  frozen_lbd            = 30
133.67/105.87	c (0,0) c  simp_min_starts       = 100
133.67/105.87	c (0,0) c  rm_low_act_learnts    = 1
133.67/105.87	c (0,0) c  lv0_reduce_db         = 0
133.67/105.87	c (0,0) c  reduce_db_base        = 20000
133.67/105.87	c (0,0) c  reduce_db_inc         = 1000
133.67/105.87	c (0,0) c HARD
133.67/105.87	c (0,0) c  inst_check            = 200000
133.67/105.87	c (0,0) c  small_block           = 1.750
133.67/105.87	c (0,0) c  slow_restart_speed    = 400.000
133.67/105.87	c (0,0) c  slow_restart_strategy = 3
133.67/105.87	c (0,0) c  slow_lbd_restart_rate = 0.700
133.67/105.87	c (0,0) c  slow_dec_restart_rate = 1.000
133.67/105.87	c (0,0) c  slow_lbd_queue_size   = 50
133.67/105.87	c (0,0) c  slow_var_decay        = 0.950
133.67/105.87	c (0,0) c  slow_glue_threshold   = 2
133.67/105.87	c (0,0) c  slow_phase_saving     = 2
133.67/105.87	c (0,0) c  fast_restart_speed    = 125.000
133.67/105.87	c (0,0) c  fast_restart_strategy = 1
133.67/105.87	c (0,0) c  fast_lbd_restart_rate = 0.800
133.67/105.87	c (0,0) c  fast_dec_restart_rate = 0.950
133.67/105.87	c (0,0) c  fast_lbd_queue_size   = 50
133.67/105.87	c (0,0) c  fast_var_decay        = 1.000
133.67/105.87	c (0,0) c  fast_glue_threshold   = 2
133.67/105.87	c (0,0) c  fast_phase_saving     = 2
133.67/105.87	c (0,0) c STATS
133.67/105.87	c (0,0) c  stats_conf_size       = 10000
133.67/105.87	c (0,0) c  max_stats_size        = 30
133.67/105.87	c (0,0) c SOLVER
133.67/105.87	c (0,0) c  minisat               = 0
133.67/105.96	c (0,0) c Problem: 16344 variables, 127500 clauses, parsing 0.09 s
136.82/107.87	c (2,0) c  reduced to 5647 variables, 56244 clauses (grow = 0)
136.82/107.87	c (2,0) c  exclude 17 (0.3%) variables from decision variables (last cost 6)
136.82/107.87	c (2,0) c Simplification: 10714 vars, 71256 clauses are eliminated using 1.91 s
136.82/107.87	c (2,0) c
136.82/107.87	c (2,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
136.82/107.87	c (2,0) c
136.82/107.87	c (2,0) c    2         0         0     5630    56244        0   -nan  -nan  -nan -nan%
136.82/107.89	c (2,0) c    2         1       100     5630    56244      117    7.6   3.8  49.1 29.2%
136.82/107.90	c (2,0) c    2         2       220     5626    56244      276   12.7   4.9  40.3 30.3%
136.91/107.91	c (2,0) c    2         3       364     5616    56244      476   13.9   4.8  32.0 33.1%
136.91/107.92	c (2,0) c    2         3       536     5616    56244      685   15.5   4.5  26.1 35.6%
136.91/107.94	c (2,0) c    2         6       743     5544    56244      953   15.6   5.1  29.3 34.1%
136.91/107.96	c (2,0) c    2         8       991     5544    56244     1254   16.6   5.3  29.6 32.1%
136.91/107.97	c (2,0) c    2 p       9      1135     5542    56244     1422   17.7   5.2  29.4 31.6%
136.91/107.98	c (2,0) c    2        11      1289     5542    56244     1589   18.5   5.5  31.1 31.0%
136.91/107.99	c (2,0) c    2 p      12      1335     5531    56244     1638   18.5   5.5  31.0 31.0%
137.04/108.02	c (2,0) c    2        14      1647     5524    56244     2016   19.2   5.7  31.3 31.0%
137.04/108.06	c (2,0) c    2        18      2076     5522    56244     2504   20.6   6.0  32.7 30.4%
137.14/108.12	c (2,0) c    2        19      2591     5521    56244     3090   22.1   5.8  30.7 30.5%
137.23/108.21	c (2,0) c    2        20      3210     5520    56244     3755   23.3   5.5  28.6 30.6%
137.23/108.24	c (2,0) c    2 p      21      3416     5515    56244     3977   23.7   5.4  28.3 30.8%
137.23/108.26	c (2,0) c    2 p      22      3574     5484    56244     4139   23.8   5.5  28.0 30.8%
137.33/108.31	c (2,0) c
137.33/108.31	c (2,0) c   variables         : 5484        (init 16344, after simp 5630, 17 non-decs, 58 csp)
137.33/108.31	c (2,0) c   clauses           : 56244       (init 127500, after simp 56244)
137.33/108.31	c (2,0) c   restarts          : 22          (171.87 confs/res, 50~533 confs, 0 blks, 0 last)
137.33/108.31	c (2,0) c   conflicts         : 3953        (1635 /sec, 61.19% dconfs, 0.00% supp, trail 138.79w x 27.00h, jmp 3.14h)
137.33/108.31	c (2,0) c   decisions         : 13226       (0.6100 vdcy, 5471 /sec, 0.00% bin, rs 0.000 s)
137.33/108.31	c (2,0) c   propagations      : 1956059     (809198 /sec, 147.89 lits/dec, 32.61% o.a.)
137.33/108.31	c (2,0) c   conflict literals : 189744      (41.92% deleted; 0.88% by bin min, 0.001 s)
137.33/108.31	c (2,0) c   len               : 24.104      (27.46 for all, max 226, used 135)
137.33/108.31	c (2,0) c   lbd               : 5.405       (7.75 (5.92) for all, max 97, used 59, 2.185 stdev, 3.543 blk)
137.33/108.31	c (2,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
137.33/108.31	c (2,0) c   simp dbs          : 1           (0.000 s)
137.33/108.31	c (2,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
137.33/108.31	c (2,0) c   learnts           : 4553        (0 learnts removed, 0.00%)
137.33/108.31	c (2,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
137.33/108.31	c (2,0) c   assigned lits     : 4           (5/17 probed, 0 remains)
137.33/108.31	c (2,0) c   premise updates   : 154335      (13.71 /lit)
137.33/108.31	c (2,0) c   probed variables  : 17          (1 pr, 0 eq, 0 fld, 2 pol, 0 nec, 14 cla, 0 amo)
137.33/108.31	c (2,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
137.33/108.31	c (2,0) c   lazy added bins   : 617         (617 prop + 0 conf, 0.003s)
137.33/108.31	c (2,0) c   unwatched lit elim: 730         (0.06+0.30%, 156+574 of 263710+189744)
137.33/108.31	c (2,0) c   classified type   : undef
137.33/108.31	c (2,0) c   progress          : 35.558%
137.33/108.31	c (2,0) c
137.33/108.31	c (2,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
137.33/108.31	c (2,0) c
137.33/108.31	c (2,0) c    2        23      3953     5484    56244     4553   24.1   5.4  27.0 31.0%
137.43/108.44	c (2,0) c    2        29      4844     5484    56244     5493   25.2   5.5  25.9 31.1%
137.43/108.48	c (2,0) c    2 p      30      5190     5466    56244     5854   25.2   5.5  25.1 31.0%
137.53/108.56	c (3,0) c    2 p      34      5699     5464    56244     6386   25.8   5.6  24.6 31.2%
137.53/108.60	c (3,0) c    2        35      5913     5464    56244     6610   26.0   5.6  24.3 31.1%
137.63/108.63	c (3,0) c    2        37      6114     5463    56244     6820   26.2   5.5  24.0 31.1%
137.63/108.63	c (3,0) c
137.63/108.63	c (3,0) c
137.63/108.63	c (3,0) c variables         : 5463        (init 16344, after simp 5630, 17 non-decs, 58 csp)
137.63/108.63	c (3,0) c clauses           : 56244       (init 127500, after simp 56244)
137.63/108.63	c (3,0) c restarts          : 36          (165.24 confs/res, 33~678 confs, 0 blks, 0 last)
137.63/108.63	c (3,0) c conflicts         : 6114        (2237 /sec, 58.72% dconfs, 0.00% supp, trail 147.04w x 24.02h, jmp 2.83h)
137.63/108.63	c (3,0) c decisions         : 18714       (0.6200 vdcy, 6848 /sec, 0.00% bin, rs 0.000 s)
137.63/108.63	c (3,0) c propagations      : 3422701     (1252541 /sec, 182.90 lits/dec, 33.53% o.a.)
137.63/108.63	c (3,0) c conflict literals : 324612      (44.46% deleted; 1.00% by bin min, 0.001 s)
137.63/108.63	c (3,0) c len               : 26.170      (28.96 for all, max 226, used 137)
137.63/108.63	c (3,0) c lbd               : 5.547       (7.87 (5.95) for all, max 97, used 81, 1.871 stdev, 3.681 blk)
137.63/108.63	c (3,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
137.63/108.63	c (3,0) c simp dbs          : 1           (0.000 s)
137.63/108.63	c (3,0) c reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
137.63/108.63	c (3,0) c learnts           : 6820        (0 learnts removed, 0.00%)
137.63/108.63	c (3,0) c rewrite dbs       : 0           (0/1 vars, 0+0 taut, 0+0 unit, 0.000 s)
137.63/108.63	c (3,0) c assigned lits     : 6           (10/34 probed, 1 remains)
137.63/108.63	c (3,0) c premise updates   : 274725      (24.40 /lit)
137.63/108.63	c (3,0) c probed variables  : 34          (1 pr, 1 eq, 0 fld, 3 pol, 0 nec, 29 cla, 0 amo)
137.63/108.63	c (3,0) c equiv variables   : 1           (1 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
137.63/108.63	c (3,0) c lazy added bins   : 724         (724 prop + 0 conf, 0.004s)
137.63/108.63	c (3,0) c unwatched lit elim: 1320        (0.10+0.32%, 268+1052 of 263710+324612)
137.63/108.63	c (3,0) c classified type   : undef
137.63/108.63	c (3,0) c progress          : 35.805%
137.63/108.63	c (3,0) c
137.63/108.63	c (3,0) c [Statistics]
137.63/108.63	c (3,0) c             learnts len        learnts lbd        lit blk size       eq vars size
137.63/108.63	c (3,0) c  tot        6114               6114              48097                  1
137.63/108.63	c (3,0) c  avg      28.958              5.954              3.681              2.000
137.63/108.63	c (3,0) c   1           18 ( 0.3%)        193 ( 3.2%)      32384 (67.3%)          0 ( 0.0%)
137.63/108.63	c (3,0) c   2          160 ( 2.6%)       1853 (30.3%)       4765 ( 9.9%)          1 (100.0%)
137.63/108.63	c (3,0) c   3          316 ( 5.2%)        746 (12.2%)       2227 ( 4.6%)          0 ( 0.0%)
137.63/108.63	c (3,0) c   4          459 ( 7.5%)        620 (10.1%)       1414 ( 2.9%)          0 ( 0.0%)
137.63/108.63	c (3,0) c   5          437 ( 7.1%)        535 ( 8.8%)       1003 ( 2.1%)          0 ( 0.0%)
137.63/108.63	c (3,0) c   6          293 ( 4.8%)        413 ( 6.8%)        712 ( 1.5%)          0 ( 0.0%)
137.63/108.63	c (3,0) c   7          240 ( 3.9%)        335 ( 5.5%)        535 ( 1.1%)          0 ( 0.0%)
137.63/108.63	c (3,0) c   8          213 ( 3.5%)        257 ( 4.2%)        465 ( 1.0%)          0 ( 0.0%)
137.63/108.63	c (3,0) c   9          149 ( 2.4%)        220 ( 3.6%)        397 ( 0.8%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  10          121 ( 2.0%)        152 ( 2.5%)        381 ( 0.8%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  11          111 ( 1.8%)        124 ( 2.0%)        291 ( 0.6%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  12           99 ( 1.6%)         75 ( 1.2%)        233 ( 0.5%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  13          103 ( 1.7%)         82 ( 1.3%)        272 ( 0.6%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  14           82 ( 1.3%)         82 ( 1.3%)        219 ( 0.5%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  15           74 ( 1.2%)         41 ( 0.7%)        250 ( 0.5%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  16           81 ( 1.3%)         60 ( 1.0%)        192 ( 0.4%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  17           65 ( 1.1%)         30 ( 0.5%)        137 ( 0.3%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  18           60 ( 1.0%)         32 ( 0.5%)        129 ( 0.3%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  19           64 ( 1.0%)         31 ( 0.5%)        125 ( 0.3%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  20           44 ( 0.7%)         28 ( 0.5%)         94 ( 0.2%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  21           59 ( 1.0%)         21 ( 0.3%)        112 ( 0.2%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  22           68 ( 1.1%)         20 ( 0.3%)        118 ( 0.2%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  23           62 ( 1.0%)         21 ( 0.3%)         94 ( 0.2%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  24           46 ( 0.8%)         12 ( 0.2%)         82 ( 0.2%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  25           55 ( 0.9%)         15 ( 0.2%)         91 ( 0.2%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  26           40 ( 0.7%)          9 ( 0.1%)         68 ( 0.1%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  27           38 ( 0.6%)          8 ( 0.1%)         76 ( 0.2%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  28           50 ( 0.8%)          9 ( 0.1%)         55 ( 0.1%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  29           45 ( 0.7%)          7 ( 0.1%)         47 ( 0.1%)          0 ( 0.0%)
137.63/108.63	c (3,0) c  30         2462 (40.3%)         83 ( 1.4%)       1129 ( 2.3%)          0 ( 0.0%)
137.63/108.63	c (3,0) c
137.63/108.63	c (3,0) c [LBD Statistics]
137.63/108.63	c (3,0) c LBD          used lbd               used clause lbd         unused clause lbd
137.63/108.63	c (3,0) c  tot       211057                    5109                    1711
137.63/108.63	c (3,0) c  avg        2.380                   4.259                   9.395
137.63/108.63	c (3,0) c    1        20342 ( 9.6/ 9.6%)        175 ( 3.4/ 3.4%)          0 ( 0.0/ 0.0%)
137.63/108.63	c (3,0) c    2       151895 (72.0/81.6%)       2476 (48.5/51.9%)        101 ( 5.9/ 5.9%)
137.63/108.63	c (3,0) c    3        20502 ( 9.7/91.3%)        609 (11.9/63.8%)        137 ( 8.0/13.9%)
137.63/108.63	c (3,0) c    4         8153 ( 3.9/95.2%)        461 ( 9.0/72.8%)        159 ( 9.3/23.2%)
137.63/108.63	c (3,0) c    5         3256 ( 1.5/96.7%)        339 ( 6.6/79.5%)        196 (11.5/34.7%)
137.63/108.63	c (3,0) c    6         1893 ( 0.9/97.6%)        229 ( 4.5/83.9%)        184 (10.8/45.4%)
137.63/108.63	c (3,0) c    7         1272 ( 0.6/98.2%)        176 ( 3.4/87.4%)        159 ( 9.3/54.7%)
137.63/108.63	c (3,0) c    8          713 ( 0.3/98.6%)        127 ( 2.5/89.9%)        130 ( 7.6/62.3%)
137.63/108.63	c (3,0) c    9          844 ( 0.4/99.0%)        109 ( 2.1/92.0%)        111 ( 6.5/68.8%)
137.63/108.63	c (3,0) c   10          393 ( 0.2/99.1%)         71 ( 1.4/93.4%)         81 ( 4.7/73.5%)
137.63/108.63	c (3,0) c   11          368 ( 0.2/99.3%)         65 ( 1.3/94.7%)         59 ( 3.4/77.0%)
137.63/108.63	c (3,0) c   12          256 ( 0.1/99.4%)         32 ( 0.6/95.3%)         43 ( 2.5/79.5%)
137.63/108.63	c (3,0) c   13          224 ( 0.1/99.6%)         33 ( 0.6/95.9%)         49 ( 2.9/82.3%)
137.63/108.63	c (3,0) c   14          128 ( 0.1/99.6%)         41 ( 0.8/96.8%)         41 ( 2.4/84.7%)
137.63/108.63	c (3,0) c   15          100 ( 0.0/99.7%)         20 ( 0.4/97.1%)         21 ( 1.2/86.0%)
137.63/108.63	c (3,0) c   16          117 ( 0.1/99.7%)         24 ( 0.5/97.6%)         36 ( 2.1/88.1%)
137.63/108.63	c (3,0) c   17           59 ( 0.0/99.7%)         11 ( 0.2/97.8%)         19 ( 1.1/89.2%)
137.63/108.63	c (3,0) c   18           35 ( 0.0/99.8%)         14 ( 0.3/98.1%)         18 ( 1.1/90.2%)
137.63/108.63	c (3,0) c   19           59 ( 0.0/99.8%)          9 ( 0.2/98.3%)         22 ( 1.3/91.5%)
137.63/108.63	c (3,0) c   20           75 ( 0.0/99.8%)         17 ( 0.3/98.6%)         11 ( 0.6/92.2%)
137.63/108.63	c (3,0) c   21           46 ( 0.0/99.8%)          6 ( 0.1/98.7%)         15 ( 0.9/93.0%)
137.63/108.63	c (3,0) c   22           33 ( 0.0/99.9%)          7 ( 0.1/98.9%)         13 ( 0.8/93.8%)
137.63/108.63	c (3,0) c   23           39 ( 0.0/99.9%)          8 ( 0.2/99.0%)         13 ( 0.8/94.6%)
137.63/108.63	c (3,0) c   24           33 ( 0.0/99.9%)          7 ( 0.1/99.2%)          5 ( 0.3/94.9%)
137.63/108.63	c (3,0) c   25           43 ( 0.0/99.9%)          6 ( 0.1/99.3%)          9 ( 0.5/95.4%)
137.63/108.63	c (3,0) c   26            3 ( 0.0/99.9%)          1 ( 0.0/99.3%)          8 ( 0.5/95.9%)
137.63/108.63	c (3,0) c   27           15 ( 0.0/99.9%)          1 ( 0.0/99.3%)          7 ( 0.4/96.3%)
137.63/108.63	c (3,0) c   28           10 ( 0.0/99.9%)          3 ( 0.1/99.4%)          6 ( 0.4/96.6%)
137.63/108.63	c (3,0) c   29           12 ( 0.0/99.9%)          4 ( 0.1/99.5%)          3 ( 0.2/96.8%)
137.63/108.63	c (3,0) c   30           22 ( 0.0/99.9%)          5 ( 0.1/99.5%)          2 ( 0.1/96.9%)
137.63/108.63	c (3,0) c   31            9 ( 0.0/99.9%)          2 ( 0.0/99.6%)         10 ( 0.6/97.5%)
137.63/108.63	c (3,0) c   32           29 ( 0.0/100.0%)          2 ( 0.0/99.6%)          4 ( 0.2/97.7%)
137.63/108.63	c (3,0) c   33            6 ( 0.0/100.0%)          1 ( 0.0/99.6%)          6 ( 0.4/98.1%)
137.63/108.63	c (3,0) c   34            5 ( 0.0/100.0%)          1 ( 0.0/99.7%)          1 ( 0.1/98.1%)
137.63/108.63	c (3,0) c   35            7 ( 0.0/100.0%)          2 ( 0.0/99.7%)          3 ( 0.2/98.3%)
137.63/108.63	c (3,0) c   36            4 ( 0.0/100.0%)          1 ( 0.0/99.7%)          2 ( 0.1/98.4%)
137.63/108.63	c (3,0) c   37            6 ( 0.0/100.0%)          1 ( 0.0/99.7%)          2 ( 0.1/98.5%)
137.63/108.63	c (3,0) c   38            5 ( 0.0/100.0%)          0 ( 0.0/99.7%)          2 ( 0.1/98.7%)
137.63/108.63	c (3,0) c   39            2 ( 0.0/100.0%)          1 ( 0.0/99.8%)          2 ( 0.1/98.8%)
137.63/108.63	c (3,0) c   40            3 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/98.8%)
137.63/108.63	c (3,0) c   41            2 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/98.8%)
137.63/108.63	c (3,0) c   42            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          0 ( 0.0/98.8%)
137.63/108.63	c (3,0) c   43            3 ( 0.0/100.0%)          1 ( 0.0/99.8%)          0 ( 0.0/98.8%)
137.63/108.63	c (3,0) c   44            1 ( 0.0/100.0%)          1 ( 0.0/99.8%)          1 ( 0.1/98.8%)
137.63/108.63	c (3,0) c   45            2 ( 0.0/100.0%)          0 ( 0.0/99.8%)          1 ( 0.1/98.9%)
137.63/108.63	c (3,0) c   46            2 ( 0.0/100.0%)          0 ( 0.0/99.8%)          3 ( 0.2/99.1%)
137.63/108.63	c (3,0) c   47            7 ( 0.0/100.0%)          2 ( 0.0/99.8%)          0 ( 0.0/99.1%)
137.63/108.63	c (3,0) c   48            1 ( 0.0/100.0%)          0 ( 0.0/99.8%)          1 ( 0.1/99.1%)
137.63/108.63	c (3,0) c   49            0 ( 0.0/100.0%)          0 ( 0.0/99.8%)          1 ( 0.1/99.2%)
137.63/108.63	c (3,0) c   50            5 ( 0.0/100.0%)          1 ( 0.0/99.9%)          0 ( 0.0/99.2%)
137.63/108.63	c (3,0) c   51            2 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.1/99.2%)
137.63/108.63	c (3,0) c   52            8 ( 0.0/100.0%)          2 ( 0.0/99.9%)          0 ( 0.0/99.2%)
137.63/108.63	c (3,0) c   53            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.1/99.3%)
137.63/108.63	c (3,0) c   54            1 ( 0.0/100.0%)          2 ( 0.0/99.9%)          3 ( 0.2/99.5%)
137.63/108.63	c (3,0) c   55            1 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.1/99.5%)
137.63/108.63	c (3,0) c   56            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.1/99.6%)
137.63/108.63	c (3,0) c   57            0 ( 0.0/100.0%)          0 ( 0.0/99.9%)          1 ( 0.1/99.6%)
137.63/108.63	c (3,0) c   58            1 ( 0.0/100.0%)          0 ( 0.0/99.9%)          0 ( 0.0/99.6%)
137.63/108.63	c (3,0) c   59            3 ( 0.0/100.0%)          1 ( 0.0/100.0%)          1 ( 0.1/99.7%)
137.63/108.63	c (3,0) c   60            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.8%)
137.63/108.63	c (3,0) c   61            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   62            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   63            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   64            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   65            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   66            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   67            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   68            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/99.8%)
137.63/108.63	c (3,0) c   69            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   70            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   71            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   72            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   73            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   74            0 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   75            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   76            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.8%)
137.63/108.63	c (3,0) c   77            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.1/99.9%)
137.63/108.63	c (3,0) c   78            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   79            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   80            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   81            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   82            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   83            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   84            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   85            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   86            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   87            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   88            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   89            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   90            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   91            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   92            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   93            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   94            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   95            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   96            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/99.9%)
137.63/108.63	c (3,0) c   97            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.1/100.0%)
137.63/108.63	c (3,0) c
137.63/108.63	c (3,0) c Memory used       : 39.00 MB
137.63/108.63	c (3,0) c CPU time          : 2.733 s
137.63/108.63	c (3,0) c Real time         : 2.770 s
137.63/108.63	c (3,0) c
137.63/108.63	c (3,0) s SATISFIABLE
137.63/108.67	c (3,0) SatSolver.solve End
137.63/108.67	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
137.63/108.67	c (3,0) Show results Begin
137.85/108.76	c (3,0) w3 = 160
137.85/108.76	c (3,0) w4 = 0
137.85/108.76	c (3,0) x[0] = 16
137.85/108.76	c (3,0) x[1] = 3
137.85/108.76	c (3,0) x[2] = 18
137.85/108.76	c (3,0) x[3] = 12
137.85/108.76	c (3,0) x[4] = 19
137.85/108.76	c (3,0) x[5] = 9
137.85/108.76	c (3,0) x[6] = 5
137.85/108.76	c (3,0) x[7] = 4
137.85/108.76	c (3,0) x[8] = 8
137.85/108.76	c (3,0) x[9] = 14
137.85/108.76	c (3,0) x[10] = 13
137.85/108.76	c (3,0) x[11] = 10
137.85/108.76	c (3,0) x[12] = 15
137.85/108.76	c (3,0) x[13] = 7
137.85/108.76	c (3,0) x[14] = 1
137.85/108.76	c (3,0) x[15] = 2
137.85/108.76	c (3,0) x[16] = 6
137.85/108.76	c (3,0) x[17] = 17
137.85/108.76	c (3,0) x[18] = 20
137.85/108.76	c (3,0) x[19] = 11
137.85/108.76	c (3,0) y[0] = 7
137.85/108.76	c (3,0) y[1] = 3
137.85/108.76	c (3,0) y[2] = 16
137.85/108.76	c (3,0) y[3] = 15
137.85/108.76	c (3,0) y[4] = 17
137.85/108.76	c (3,0) y[5] = 0
137.85/108.76	c (3,0) y[6] = 5
137.85/108.76	c (3,0) y[7] = 11
137.85/108.76	c (3,0) y[8] = 2
137.85/108.76	c (3,0) y[9] = 1
137.85/108.76	c (3,0) y[10] = 2
137.85/108.76	c (3,0) y[11] = 3
137.85/108.76	c (3,0) y[12] = 7
137.85/108.76	c (3,0) y[13] = 26
137.85/108.76	c (3,0) y[14] = 0
137.85/108.76	c (3,0) y[15] = 18
137.85/108.76	c (3,0) y[16] = 0
137.85/108.76	c (3,0) y[17] = 3
137.85/108.76	c (3,0) y[18] = 15
137.85/108.76	c (3,0) y[19] = 9
137.85/108.76	c (3,0) z[0] = 10
137.85/108.76	c (3,0) z[1] = 26
137.85/108.76	c (3,0) z[2] = 41
137.85/108.76	c (3,0) z[3] = 58
137.85/108.76	c (3,0) z[4] = 58
137.85/108.76	c (3,0) z[5] = 63
137.85/108.76	c (3,0) z[6] = 74
137.85/108.76	c (3,0) z[7] = 76
137.85/108.76	c (3,0) z[8] = 77
137.85/108.76	c (3,0) z[9] = 79
137.85/108.76	c (3,0) z[10] = 82
137.85/108.76	c (3,0) z[11] = 89
137.85/108.76	c (3,0) z[12] = 115
137.85/108.76	c (3,0) z[13] = 115
137.85/108.76	c (3,0) z[14] = 133
137.85/108.76	c (3,0) z[15] = 133
137.85/108.76	c (3,0) z[16] = 136
137.85/108.76	c (3,0) z[17] = 151
137.85/108.76	c (3,0) z[18] = 160
137.85/108.76	s SATISFIABLE
137.85/108.76	v <instantiation>
137.85/108.76	v     <list>w3 w4 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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18]</list>
137.85/108.76	v     <values>160 0 16 3 18 12 19 9 5 4 8 14 13 10 15 7 1 2 6 17 20 11 7 3 16 15 17 0 5 11 2 1 2 3 7 26 0 18 0 3 15 9 10 26 41 58 58 63 74 76 77 79 82 89 115 115 133 133 136 151 160</values>
137.85/108.76	v </instantiation>
137.85/108.76	c (3,0) Show results End
137.85/108.76	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
137.85/108.76	c (3,0) 3,3,STOP-AFTER(ALL)
137.85/108.76	c END-Prog: Thu Sep 12 16:07:41 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 (14140 MiB free)
  memory of node 1: 16384 MiB (12794 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388214-1568297192/watcher-4388214-1568297192 -o /tmp/evaluation-result-4388214-1568297192/solver-4388214-1568297192 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6276 --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-4388214-1568297192.xml 

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

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


[startup+0.100178 s]*
/proc/loadavg: 2.00 2.03 2.32 6/235 9412
/proc/meminfo: memFree=27520312/32770624 swapFree=66998516/67108860
[pid=9395] ppid=9392 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9395/stat : 9395 (scop.sh) S 9392 9395 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405988045 115843072 349 33554432000 4194304 5098028 140734125092960 140734125090216 139652342841980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14364672 140734125097768 140734125098096 140734125098096 140734125101005 0
/proc/9395/statm: 28282 349 296 221 0 87 0
[pid=9398] ppid=9395 vsize=15012696 memory=73428 CPUtime=0.11 cores=0,2,4,6
/proc/9398/stat : 9398 (java) S 9395 9395 4978 0 -1 1077944320 6643 0 0 0 9 2 0 0 20 0 15 0 405988045 15373000704 18357 33554432000 4194304 4196468 140733811985376 140733811967920 140451605167863 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
/proc/9398/statm: 3753174 18357 2929 1 0 3715579 0
[pid=9398/tid=9399] ppid=9395 vsize=15012696 memory=576460756329985062 CPUtime=0.08 cores=0,2,4,6
/proc/9398/task/9399/stat : 9399 (java) R 9395 9395 4978 0 -1 4202560 4536 0 0 0 7 1 0 0 20 0 15 0 405988045 15373000704 18488 33554432000 4194304 4196468 140733811985376 140451576961768 140451589248350 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9400] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9400/stat : 9400 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 18488 33554432000 4194304 4196468 140733811985376 140451609409936 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9401] ppid=9395 vsize=15012696 memory=13704598019880600 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9401/stat : 9401 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 18488 33554432000 4194304 4196468 140733811985376 140451408185616 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9402] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9402/stat : 9402 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 18488 33554432000 4194304 4196468 140733811985376 140451407133328 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9403] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9403/stat : 9403 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 18488 33554432000 4194304 4196468 140733811985376 140451406080528 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9404] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9404/stat : 9404 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988048 15373000704 18488 33554432000 4194304 4196468 140733811985376 140450575612528 140451605179010 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9405] ppid=9395 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9405/stat : 9405 (java) S 9395 9395 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405988049 15373000704 18488 33554432000 4194304 4196468 140733811985376 140450195301664 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9406] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9406/stat : 9406 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988049 15373000704 18488 33554432000 4194304 4196468 140733811985376 140449926866544 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9407] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9407/stat : 9407 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405988051 15373000704 18488 33554432000 4194304 4196468 140733811985376 140449552357968 140451605186459 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9408] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9408/stat : 9408 (java) R 9395 9395 4978 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 405988051 15373000704 18488 33554432000 4194304 4196468 140733811985376 140450574559344 140451605179010 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9409] ppid=9395 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9409/stat : 9409 (java) R 9395 9395 4978 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 405988051 15373000704 18488 33554432000 4194304 4196468 140733811985376 140450573506544 140451605179010 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9410] ppid=9395 vsize=15012696 memory=139707363079808 CPUtime=0.01 cores=0,2,4,6
/proc/9398/task/9410/stat : 9410 (java) R 9395 9395 4978 0 -1 4202560 430 0 0 0 1 0 0 0 20 0 15 0 405988051 15373000704 18488 33554432000 4194304 4196468 140733811985376 140450572450936 140451583536532 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9411] ppid=9395 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9411/stat : 9411 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405988052 15373000704 18488 33554432000 4194304 4196468 140733811985376 140449054452192 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9412] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9412/stat : 9412 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988052 15373000704 18488 33554432000 4194304 4196468 140733811985376 140450571402160 140451605179010 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74824 KiB

[startup+0.210958 s]*
/proc/loadavg: 2.00 2.03 2.32 3/235 9412
/proc/meminfo: memFree=27501252/32770624 swapFree=66998516/67108860
[pid=9395] ppid=9392 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9395/stat : 9395 (scop.sh) S 9392 9395 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405988045 115843072 349 33554432000 4194304 5098028 140734125092960 140734125090216 139652342841980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14364672 140734125097768 140734125098096 140734125098096 140734125101005 0
/proc/9395/statm: 28282 349 296 221 0 87 0
[pid=9398] ppid=9395 vsize=15012696 memory=89308 CPUtime=0.26 cores=0,2,4,6
/proc/9398/stat : 9398 (java) S 9395 9395 4978 0 -1 1077944320 11858 0 0 0 22 4 0 0 20 0 15 0 405988045 15373000704 22327 33554432000 4194304 4196468 140733811985376 140733811967920 140451605167863 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
/proc/9398/statm: 3753174 22327 2964 1 0 3715579 0
[pid=9398/tid=9399] ppid=9395 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/9398/task/9399/stat : 9399 (java) R 9395 9395 4978 0 -1 4202560 9594 0 0 0 17 3 0 0 20 0 15 0 405988045 15373000704 22327 33554432000 4194304 4196468 140733811985376 140451576975424 140451589614960 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9400] ppid=9395 vsize=15012696 memory=547 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9400/stat : 9400 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 22327 33554432000 4194304 4196468 140733811985376 140451609409936 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9401] ppid=9395 vsize=15012696 memory=139707363089457 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9401/stat : 9401 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 22327 33554432000 4194304 4196468 140733811985376 140451408185616 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9402] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9402/stat : 9402 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 22327 33554432000 4194304 4196468 140733811985376 140451407133328 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9403] ppid=9395 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9403/stat : 9403 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 22327 33554432000 4194304 4196468 140733811985376 140451406080528 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9404] ppid=9395 vsize=15012696 memory=139707363079808 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9404/stat : 9404 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988048 15373000704 22327 33554432000 4194304 4196468 140733811985376 140450575612528 140451605179010 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9405] ppid=9395 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9405/stat : 9405 (java) S 9395 9395 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405988049 15373000704 22327 33554432000 4194304 4196468 140733811985376 140450195301664 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9406] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9406/stat : 9406 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988049 15373000704 22327 33554432000 4194304 4196468 140733811985376 140449926866544 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9407] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9407/stat : 9407 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405988051 15373000704 22327 33554432000 4194304 4196468 140733811985376 140449552357968 140451605186459 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9408] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9408/stat : 9408 (java) S 9395 9395 4978 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 405988051 15373000704 22327 33554432000 4194304 4196468 140733811985376 140450574559344 140451605179010 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9409] ppid=9395 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9409/stat : 9409 (java) S 9395 9395 4978 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 405988051 15373000704 22327 33554432000 4194304 4196468 140733811985376 140450573506544 140451605179010 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9410] ppid=9395 vsize=15012696 memory=139707363079808 CPUtime=0.02 cores=0,2,4,6
/proc/9398/task/9410/stat : 9410 (java) S 9395 9395 4978 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 15 0 405988051 15373000704 22327 33554432000 4194304 4196468 140733811985376 140450572454256 140451605179010 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9411] ppid=9395 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9411/stat : 9411 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405988052 15373000704 22327 33554432000 4194304 4196468 140733811985376 140449054452192 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9412] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9412/stat : 9412 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988052 15373000704 22327 33554432000 4194304 4196468 140733811985376 140450571402160 140451605179010 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90704 KiB

[startup+0.314037 s]*
/proc/loadavg: 2.00 2.03 2.32 3/235 9412
/proc/meminfo: memFree=27498956/32770624 swapFree=66998516/67108860
[pid=9395] ppid=9392 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9395/stat : 9395 (scop.sh) S 9392 9395 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405988045 115843072 349 33554432000 4194304 5098028 140734125092960 140734125090216 139652342841980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14364672 140734125097768 140734125098096 140734125098096 140734125101005 0
/proc/9395/statm: 28282 349 296 221 0 87 0
[pid=9398] ppid=9395 vsize=15012696 memory=92920 CPUtime=0.44 cores=0,2,4,6
/proc/9398/stat : 9398 (java) S 9395 9395 4978 0 -1 1077944320 12196 0 0 0 40 4 0 0 20 0 15 0 405988045 15373000704 23230 33554432000 4194304 4196468 140733811985376 140733811967920 140451605167863 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
/proc/9398/statm: 3753174 23230 3073 1 0 3715579 0
[pid=9398/tid=9399] ppid=9395 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/9398/task/9399/stat : 9399 (java) R 9395 9395 4978 0 -1 4202560 9777 0 0 0 27 3 0 0 20 0 15 0 405988045 15373000704 23230 33554432000 4194304 4196468 140733811985376 140451576993024 140451585444688 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9400] ppid=9395 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9400/stat : 9400 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 23230 33554432000 4194304 4196468 140733811985376 140451609409936 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9401] ppid=9395 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9401/stat : 9401 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 23230 33554432000 4194304 4196468 140733811985376 140451408185616 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9402] ppid=9395 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9402/stat : 9402 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 23230 33554432000 4194304 4196468 140733811985376 140451407133328 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9403] ppid=9395 vsize=15012696 memory=7439764725291328914 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9403/stat : 9403 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15373000704 23230 33554432000 4194304 4196468 140733811985376 140451406080528 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9404] ppid=9395 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9404/stat : 9404 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988048 15373000704 23230 33554432000 4194304 4196468 140733811985376 140450575612528 140451605179010 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9405] ppid=9395 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9405/stat : 9405 (java) S 9395 9395 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405988049 15373000704 23230 33554432000 4194304 4196468 140733811985376 140450195301664 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9406] ppid=9395 vsize=15012696 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9406/stat : 9406 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988049 15373000704 23230 33554432000 4194304 4196468 140733811985376 140449926866544 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9407] ppid=9395 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9407/stat : 9407 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405988051 15373000704 23230 33554432000 4194304 4196468 140733811985376 140449552357968 140451605186459 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9408] ppid=9395 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9398/task/9408/stat : 9408 (java) S 9395 9395 4978 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 405988051 15373000704 23230 33554432000 4194304 4196468 140733811985376 140450574559344 140451605179010 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9409] ppid=9395 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9398/task/9409/stat : 9409 (java) S 9395 9395 4978 0 -1 1077944384 271 0 0 0 3 0 0 0 20 0 15 0 405988051 15373000704 23230 33554432000 4194304 4196468 140733811985376 140450573506544 140451605179010 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9410] ppid=9395 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9398/task/9410/stat : 9410 (java) S 9395 9395 4978 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 15 0 405988051 15373000704 23230 33554432000 4194304 4196468 140733811985376 140450572454256 140451605179010 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9411] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9411/stat : 9411 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405988052 15373000704 23230 33554432000 4194304 4196468 140733811985376 140449054452192 140451605178069 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9412] ppid=9395 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9412/stat : 9412 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988052 15373000704 23230 33554432000 4194304 4196468 140733811985376 140450571402160 140451605179010 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94316 KiB

[startup+0.704302 s]
/proc/loadavg: 2.00 2.03 2.32 3/235 9412
/proc/meminfo: memFree=27478368/32770624 swapFree=66998516/67108860
[pid=9395] ppid=9392 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9395/stat : 9395 (scop.sh) S 9392 9395 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405988045 115843072 349 33554432000 4194304 5098028 140734125092960 140734125090216 139652342841980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14364672 140734125097768 140734125098096 140734125098096 140734125101005 0
/proc/9395/statm: 28282 349 296 221 0 87 0
[pid=9398] ppid=9395 vsize=15018968 memory=129596 CPUtime=1.04 cores=0,2,4,6
/proc/9398/stat : 9398 (java) S 9395 9395 4978 0 -1 1077944320 19697 0 0 0 98 6 0 0 20 0 15 0 405988045 15379423232 32399 33554432000 4194304 4196468 140733811985376 140733811967920 140451605167863 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
/proc/9398/statm: 3754742 32399 3182 1 0 3716091 0
[pid=9398/tid=9399] ppid=9395 vsize=15018968 memory=1204 CPUtime=0.68 cores=0,2,4,6
/proc/9398/task/9399/stat : 9399 (java) R 9395 9395 4978 0 -1 4202560 16718 0 0 0 63 5 0 0 20 0 15 0 405988045 15379423232 32399 33554432000 4194304 4196468 140733811985376 140451576990528 140451605189789 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9400] ppid=9395 vsize=15018968 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9400/stat : 9400 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15379423232 32399 33554432000 4194304 4196468 140733811985376 140451609409936 140451605178069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9401] ppid=9395 vsize=15018968 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9401/stat : 9401 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988047 15379423232 32399 33554432000 4194304 4196468 140733811985376 140451408185616 140451605178069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9402] ppid=9395 vsize=15018968 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9402/stat : 9402 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15379423232 32399 33554432000 4194304 4196468 140733811985376 140451407133328 140451605178069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9403] ppid=9395 vsize=15018968 memory=780 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9403/stat : 9403 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405988047 15379423232 32399 33554432000 4194304 4196468 140733811985376 140451406080528 140451605178069 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9404] ppid=9395 vsize=15018968 memory=620 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9404/stat : 9404 (java) S 9395 9395 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405988048 15379423232 32399 33554432000 4194304 4196468 140733811985376 140450575612528 140451605179010 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9405] ppid=9395 vsize=15018968 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9405/stat : 9405 (java) S 9395 9395 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405988049 15379423232 32399 33554432000 4194304 4196468 140733811985376 140450195301664 140451605178069 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9406] ppid=9395 vsize=15018968 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9406/stat : 9406 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988049 15379423232 32399 33554432000 4194304 4196468 140733811985376 140449926866544 140451605178069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9407] ppid=9395 vsize=15018968 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9407/stat : 9407 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405988051 15379423232 32399 33554432000 4194304 4196468 140733811985376 140449552357968 140451605186459 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9408] ppid=9395 vsize=15018968 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/9398/task/9408/stat : 9408 (java) R 9395 9395 4978 0 -1 4202560 587 0 0 0 8 0 0 0 20 0 15 0 405988051 15379423232 32399 33554432000 4194304 4196468 140733811985376 140450574550672 140451598264711 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9409] ppid=9395 vsize=15018968 memory=2116 CPUtime=0.09 cores=0,2,4,6
/proc/9398/task/9409/stat : 9409 (java) R 9395 9395 4978 0 -1 4202560 459 0 0 0 9 0 0 0 20 0 15 0 405988051 15379423232 32399 33554432000 4194304 4196468 140733811985376 140450573495808 140451598273580 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9410] ppid=9395 vsize=15018968 memory=20536 CPUtime=0.16 cores=0,2,4,6
/proc/9398/task/9410/stat : 9410 (java) S 9395 9395 4978 0 -1 1077944384 597 0 0 0 16 0 0 0 20 0 15 0 405988051 15379423232 32399 33554432000 4194304 4196468 140733811985376 140450572454256 140451605179010 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9411] ppid=9395 vsize=15018968 memory=3472323897372783476 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9411/stat : 9411 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405988052 15379423232 32399 33554432000 4194304 4196468 140733811985376 140449054452192 140451605178069 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
[pid=9398/tid=9412] ppid=9395 vsize=15018968 memory=139707233109872 CPUtime=0 cores=0,2,4,6
/proc/9398/task/9412/stat : 9412 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405988052 15379423232 32399 33554432000 4194304 4196468 140733811985376 140450571402160 140451605179010 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34721792 140733811991279 140733811991706 140733811991706 140733811994575 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130992 KiB

[startup+1.50318 s]
/proc/loadavg: 2.00 2.03 2.32 5/235 9412
/proc/meminfo: memFree=27413216/32770624 swapFree=66998516/67108860
[pid=9395] ppid=9392 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9395/stat : 9395 (scop.sh) S 9392 9395 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405988045 115843072 349 33554432000 4194304 5098028 140734125092960 140734125090216 139652342841980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14364672 140734125097768 140734125098096 140734125098096 140734125101005 0
/proc/9395/statm: 28282 349 296 221 0 87 0

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

/proc/9419/task/9435/stat : 9435 (java) S 9395 9395 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405998631 8262082560 28907 33554432000 4194304 4196468 140729681273120 139863003235392 139863569043225 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9437] ppid=9395 vsize=8068440 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9437/stat : 9437 (java) S 9395 9395 4978 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 405998631 8262082560 28907 33554432000 4194304 4196468 140729681273120 139860845244048 139863569040541 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9438] ppid=9395 vsize=8068440 memory=928 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9438/stat : 9438 (java) S 9395 9395 4978 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405998631 8262082560 28907 33554432000 4194304 4196468 140729681273120 139860979466000 139863569040541 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9439] ppid=9395 vsize=8068440 memory=3536 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9439/stat : 9439 (java) S 9395 9395 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405998633 8262082560 28907 33554432000 4194304 4196468 140729681273120 139860576820784 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
Current children cumulated CPU time: 137.04 s
Current children cumulated vsize: 8216664 KiB
Current children cumulated memory: 136576 KiB

[startup+108.401 s]
/proc/loadavg: 1.95 2.02 2.28 3/239 9439
/proc/meminfo: memFree=27484640/32770624 swapFree=66998516/67108860
[pid=9395] ppid=9392 vsize=113128 memory=1476 CPUtime=133.67 cores=0,2,4,6
/proc/9395/stat : 9395 (scop.sh) S 9392 9395 4978 0 -1 4202496 583 73240 0 0 0 0 13064 303 20 0 1 0 405988045 115843072 369 33554432000 4194304 5098028 140734125092960 140734125089704 139652342841980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14364672 140734125097768 140734125098096 140734125098096 140734125101005 0
/proc/9395/statm: 28282 369 311 221 0 87 0
[pid=9419] ppid=9395 vsize=8068440 memory=115672 CPUtime=1.23 cores=0,2,4,6
/proc/9419/stat : 9419 (java) S 9395 9395 4978 0 -1 1077944320 20427 0 0 0 117 6 0 0 20 0 19 0 405998555 8262082560 28918 33554432000 4194304 4196468 140729681273120 140729681255664 139863569018615 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
/proc/9419/statm: 2017110 28918 3207 1 0 1978454 0
[pid=9434] ppid=9419 vsize=35096 memory=19876 CPUtime=2.53 cores=0,2,4,6
/proc/9434/stat : 9434 (glueminisat-sim) R 9419 9395 4978 0 -1 4202496 9987 0 0 0 250 3 0 0 20 0 1 0 405998631 35938304 4969 33554432000 4194304 4452875 140730104155152 140730104150072 4372354 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 17432576 140730104157024 140730104157223 140730104157223 140730104160173 0
/proc/9434/statm: 8774 4969 378 64 0 4978 0
[pid=9419/tid=9420] ppid=9395 vsize=8068440 memory=288230596050944315 CPUtime=0.79 cores=0,2,4,6
/proc/9419/task/9420/stat : 9420 (java) S 9395 9395 4978 0 -1 1077944384 17441 0 0 0 74 5 0 0 20 0 19 0 405998555 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863540858784 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9421] ppid=9395 vsize=8068440 memory=14413730679097916 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9421/stat : 9421 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405998556 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863573261072 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9422] ppid=9395 vsize=8068440 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9422/stat : 9422 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405998556 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863054302096 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9423] ppid=9395 vsize=8068440 memory=4787988 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9423/stat : 9423 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405998556 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863053249552 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9424] ppid=9395 vsize=8068440 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9424/stat : 9424 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405998556 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863052197008 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9425] ppid=9395 vsize=8068440 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9425/stat : 9425 (java) S 9395 9395 4978 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405998558 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863015479280 139863569029762 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9426] ppid=9395 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9426/stat : 9426 (java) S 9395 9395 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405998558 8262082560 28918 33554432000 4194304 4196468 140729681273120 139862388761504 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9427] ppid=9395 vsize=8068440 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9427/stat : 9427 (java) S 9395 9395 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405998558 8262082560 28918 33554432000 4194304 4196468 140729681273120 139862254539760 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9428] ppid=9395 vsize=8068440 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9428/stat : 9428 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405998561 8262082560 28918 33554432000 4194304 4196468 140729681273120 139861880035536 139863569037211 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9429] ppid=9395 vsize=8068440 memory=9592 CPUtime=0.08 cores=0,2,4,6
/proc/9419/task/9429/stat : 9429 (java) S 9395 9395 4978 0 -1 1077944384 591 0 0 0 8 0 0 0 20 0 19 0 405998561 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863014427120 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9430] ppid=9395 vsize=8068440 memory=2828 CPUtime=0.1 cores=0,2,4,6
/proc/9419/task/9430/stat : 9430 (java) S 9395 9395 4978 0 -1 1077944384 379 0 0 0 10 0 0 0 20 0 19 0 405998561 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863013374576 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9431] ppid=9395 vsize=8068440 memory=780 CPUtime=0.22 cores=0,2,4,6
/proc/9419/task/9431/stat : 9431 (java) S 9395 9395 4978 0 -1 1077944384 582 0 0 0 22 0 0 0 20 0 19 0 405998561 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863012322032 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9432] ppid=9395 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9432/stat : 9432 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405998561 8262082560 28918 33554432000 4194304 4196468 140729681273120 139861382130784 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9433] ppid=9395 vsize=8068440 memory=479484 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9433/stat : 9433 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405998562 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863011268912 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9435] ppid=9395 vsize=8068440 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9435/stat : 9435 (java) S 9395 9395 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405998631 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863003235392 139863569043225 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9437] ppid=9395 vsize=8068440 memory=1412 CPUtime=0.01 cores=0,2,4,6
/proc/9419/task/9437/stat : 9437 (java) S 9395 9395 4978 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 405998631 8262082560 28918 33554432000 4194304 4196468 140729681273120 139860845244016 139863569040541 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9438] ppid=9395 vsize=8068440 memory=3036 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9438/stat : 9438 (java) S 9395 9395 4978 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405998631 8262082560 28918 33554432000 4194304 4196468 140729681273120 139860979466000 139863569040541 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9439] ppid=9395 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9439/stat : 9439 (java) S 9395 9395 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405998633 8262082560 28918 33554432000 4194304 4196468 140729681273120 139860576820784 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
Current children cumulated CPU time: 137.43 s
Current children cumulated vsize: 8216664 KiB
Current children cumulated memory: 137024 KiB

[startup+108.601 s]
/proc/loadavg: 1.95 2.02 2.28 3/239 9439
/proc/meminfo: memFree=27484640/32770624 swapFree=66998516/67108860
[pid=9395] ppid=9392 vsize=113128 memory=1476 CPUtime=133.67 cores=0,2,4,6
/proc/9395/stat : 9395 (scop.sh) S 9392 9395 4978 0 -1 4202496 583 73240 0 0 0 0 13064 303 20 0 1 0 405988045 115843072 369 33554432000 4194304 5098028 140734125092960 140734125089704 139652342841980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14364672 140734125097768 140734125098096 140734125098096 140734125101005 0
/proc/9395/statm: 28282 369 311 221 0 87 0
[pid=9419] ppid=9395 vsize=8068440 memory=115672 CPUtime=1.23 cores=0,2,4,6
/proc/9419/stat : 9419 (java) S 9395 9395 4978 0 -1 1077944320 20429 0 0 0 117 6 0 0 20 0 19 0 405998555 8262082560 28918 33554432000 4194304 4196468 140729681273120 140729681255664 139863569018615 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
/proc/9419/statm: 2017110 28918 3207 1 0 1978454 0
[pid=9434] ppid=9419 vsize=35096 memory=20108 CPUtime=2.73 cores=0,2,4,6
/proc/9434/stat : 9434 (glueminisat-sim) R 9419 9395 4978 0 -1 4202496 10037 0 0 0 270 3 0 0 20 0 1 0 405998631 35938304 5027 33554432000 4194304 4452875 140730104155152 140730104150072 4373019 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 17432576 140730104157024 140730104157223 140730104157223 140730104160173 0
/proc/9434/statm: 8774 5027 378 64 0 4978 0
[pid=9419/tid=9420] ppid=9395 vsize=8068440 memory=7236547186780563299 CPUtime=0.79 cores=0,2,4,6
/proc/9419/task/9420/stat : 9420 (java) S 9395 9395 4978 0 -1 1077944384 17441 0 0 0 74 5 0 0 20 0 19 0 405998555 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863540858784 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9421] ppid=9395 vsize=8068440 memory=7739252811147732838 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9421/stat : 9421 (java) S 9395 9395 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405998556 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863573261072 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9422] ppid=9395 vsize=8068440 memory=3054156605268335525 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9422/stat : 9422 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405998556 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863054302096 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9423] ppid=9395 vsize=8068440 memory=7163645266931052905 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9423/stat : 9423 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405998556 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863053249552 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9424] ppid=9395 vsize=8068440 memory=7451596349831861871 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9424/stat : 9424 (java) S 9395 9395 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405998556 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863052197008 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9425] ppid=9395 vsize=8068440 memory=7739835522178437458 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9425/stat : 9425 (java) S 9395 9395 4978 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405998558 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863015479280 139863569029762 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9426] ppid=9395 vsize=8068440 memory=-8961168018402230209 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9426/stat : 9426 (java) S 9395 9395 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405998558 8262082560 28918 33554432000 4194304 4196468 140729681273120 139862388761504 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9427] ppid=9395 vsize=8068440 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9427/stat : 9427 (java) S 9395 9395 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405998558 8262082560 28918 33554432000 4194304 4196468 140729681273120 139862254539760 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9428] ppid=9395 vsize=8068440 memory=7307206313930486122 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9428/stat : 9428 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405998561 8262082560 28918 33554432000 4194304 4196468 140729681273120 139861880035536 139863569037211 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9429] ppid=9395 vsize=8068440 memory=7301270033657980528 CPUtime=0.08 cores=0,2,4,6
/proc/9419/task/9429/stat : 9429 (java) S 9395 9395 4978 0 -1 1077944384 591 0 0 0 8 0 0 0 20 0 19 0 405998561 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863014427120 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9430] ppid=9395 vsize=8068440 memory=2408 CPUtime=0.1 cores=0,2,4,6
/proc/9419/task/9430/stat : 9430 (java) S 9395 9395 4978 0 -1 1077944384 379 0 0 0 10 0 0 0 20 0 19 0 405998561 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863013374576 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9431] ppid=9395 vsize=8068440 memory=812 CPUtime=0.22 cores=0,2,4,6
/proc/9419/task/9431/stat : 9431 (java) S 9395 9395 4978 0 -1 1077944384 582 0 0 0 22 0 0 0 20 0 19 0 405998561 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863012322032 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9432] ppid=9395 vsize=8068440 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9432/stat : 9432 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405998561 8262082560 28918 33554432000 4194304 4196468 140729681273120 139861382130784 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9433] ppid=9395 vsize=8068440 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9433/stat : 9433 (java) S 9395 9395 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405998562 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863011268912 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9435] ppid=9395 vsize=8068440 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9435/stat : 9435 (java) S 9395 9395 4978 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405998631 8262082560 28918 33554432000 4194304 4196468 140729681273120 139863003235392 139863569043225 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9437] ppid=9395 vsize=8068440 memory=800 CPUtime=0.01 cores=0,2,4,6
/proc/9419/task/9437/stat : 9437 (java) S 9395 9395 4978 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 405998631 8262082560 28918 33554432000 4194304 4196468 140729681273120 139860845244016 139863569040541 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9438] ppid=9395 vsize=8068440 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9438/stat : 9438 (java) S 9395 9395 4978 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405998631 8262082560 28918 33554432000 4194304 4196468 140729681273120 139860979466000 139863569040541 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9439] ppid=9395 vsize=8068440 memory=920 CPUtime=0 cores=0,2,4,6
/proc/9419/task/9439/stat : 9439 (java) S 9395 9395 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405998633 8262082560 28918 33554432000 4194304 4196468 140729681273120 139860576820784 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
Current children cumulated CPU time: 137.63 s
Current children cumulated vsize: 8216664 KiB
Current children cumulated memory: 137256 KiB

[startup+108.701 s]
/proc/loadavg: 1.95 2.02 2.28 3/239 9439
/proc/meminfo: memFree=27484640/32770624 swapFree=66998516/67108860
[pid=9395] ppid=9392 vsize=113128 memory=1476 CPUtime=133.67 cores=0,2,4,6
/proc/9395/stat : 9395 (scop.sh) S 9392 9395 4978 0 -1 4202496 583 73240 0 0 0 0 13064 303 20 0 1 0 405988045 115843072 369 33554432000 4194304 5098028 140734125092960 140734125089704 139652342841980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14364672 140734125097768 140734125098096 140734125098096 140734125101005 0
/proc/9395/statm: 28282 369 311 221 0 87 0
[pid=9419] ppid=9395 vsize=7937364 memory=125308 CPUtime=4.18 cores=0,2,4,6
/proc/9419/stat : 9419 (java) S 9395 9395 4978 0 -1 1077944320 20803 10148 0 0 135 7 273 3 20 0 17 0 405998555 8127860736 31327 33554432000 4194304 4196468 140729681273120 140729681255664 139863569018615 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
/proc/9419/statm: 1984341 31327 3220 1 0 1945685 0
[pid=9419/tid=9420] ppid=9395 vsize=7937364 memory=2116 CPUtime=3.57 cores=0,2,4,6
/proc/9419/task/9420/stat : 9420 (java) R 9395 9395 4978 0 -1 4202560 17580 10148 0 0 76 5 273 3 20 0 17 0 405998555 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863540856112 139863552213871 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9421] ppid=9395 vsize=7937364 memory=20536 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9421/stat : 9421 (java) S 9395 9395 4978 0 -1 1077944384 1 10148 0 0 0 0 273 3 20 0 17 0 405998556 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863573261072 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9422] ppid=9395 vsize=7937364 memory=115672 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9422/stat : 9422 (java) S 9395 9395 4978 0 -1 1077944384 2 10148 0 0 0 0 273 3 20 0 17 0 405998556 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863054302096 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9423] ppid=9395 vsize=7937364 memory=19876 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9423/stat : 9423 (java) S 9395 9395 4978 0 -1 1077944384 3 10148 0 0 0 0 273 3 20 0 17 0 405998556 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863053249552 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9424] ppid=9395 vsize=7937364 memory=1476 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9424/stat : 9424 (java) S 9395 9395 4978 0 -1 1077944384 2 10148 0 0 0 0 273 3 20 0 17 0 405998556 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863052197008 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9425] ppid=9395 vsize=7937364 memory=1476 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9425/stat : 9425 (java) S 9395 9395 4978 0 -1 1077944384 6 10148 0 0 0 0 273 3 20 0 17 0 405998558 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863015479280 139863569029762 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9426] ppid=9395 vsize=7937364 memory=0 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9426/stat : 9426 (java) S 9395 9395 4978 0 -1 1077944384 13 10148 0 0 0 0 273 3 20 0 17 0 405998558 8127860736 31327 33554432000 4194304 4196468 140729681273120 139862388761504 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9427] ppid=9395 vsize=7937364 memory=-7029379521808015264 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9427/stat : 9427 (java) S 9395 9395 4978 0 -1 1077944384 21 10148 0 0 0 0 273 3 20 0 17 0 405998558 8127860736 31327 33554432000 4194304 4196468 140729681273120 139862254539760 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9428] ppid=9395 vsize=7937364 memory=139707233211488 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9428/stat : 9428 (java) S 9395 9395 4978 0 -1 1077944384 3 10148 0 0 0 0 273 3 20 0 17 0 405998561 8127860736 31327 33554432000 4194304 4196468 140729681273120 139861880035536 139863569037211 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9429] ppid=9395 vsize=7937364 memory=5937503940875796577 CPUtime=2.88 cores=0,2,4,6
/proc/9419/task/9429/stat : 9429 (java) R 9395 9395 4978 0 -1 4202560 675 10148 0 0 12 0 273 3 20 0 17 0 405998561 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863014427120 139863548264463 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9430] ppid=9395 vsize=7937364 memory=115672 CPUtime=2.89 cores=0,2,4,6
/proc/9419/task/9430/stat : 9430 (java) S 9395 9395 4978 0 -1 1077944384 400 10148 0 0 13 0 273 3 20 0 17 0 405998561 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863013374576 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9431] ppid=9395 vsize=7937364 memory=19876 CPUtime=3.01 cores=0,2,4,6
/proc/9419/task/9431/stat : 9431 (java) S 9395 9395 4978 0 -1 1077944384 654 10148 0 0 25 0 273 3 20 0 17 0 405998561 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863012322032 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9432] ppid=9395 vsize=7937364 memory=1396 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9432/stat : 9432 (java) S 9395 9395 4978 0 -1 1077944384 3 10148 0 0 0 0 273 3 20 0 17 0 405998561 8127860736 31327 33554432000 4194304 4196468 140729681273120 139861382130784 139863569028821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9433] ppid=9395 vsize=7937364 memory=115628 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9433/stat : 9433 (java) S 9395 9395 4978 0 -1 1077944384 3 10148 0 0 0 0 273 3 20 0 17 0 405998562 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863011268912 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9435] ppid=9395 vsize=7937364 memory=19648 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9435/stat : 9435 (java) S 9395 9395 4978 0 -1 1077944384 25 10148 0 0 0 0 273 3 20 0 17 0 405998631 8127860736 31327 33554432000 4194304 4196468 140729681273120 139863003234576 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
[pid=9419/tid=9439] ppid=9395 vsize=7937364 memory=988 CPUtime=2.76 cores=0,2,4,6
/proc/9419/task/9439/stat : 9439 (java) S 9395 9395 4978 0 -1 1077944384 10 10148 0 0 0 0 273 3 20 0 17 0 405998633 8127860736 31327 33554432000 4194304 4196468 140729681273120 139860576822576 139863569029762 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17338368 140729681277948 140729681278106 140729681278106 140729681280975 0
Current children cumulated CPU time: 137.85 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 126784 KiB

Child status: 0
Real time (s): 108.775
CPU time (s): 138.026
CPU user time (s): 134.866
CPU system time (s): 3.16039
CPU usage (%): 126.891
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4995380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.866
system time used= 3.16039
maximum resident set size= 4994836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105045
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10166
involuntary context switches= 389


# summary of solver processes directly reported to runsolver:
#   pid: 9395
#   total CPU time (s): 138.026
#   total CPU user time (s): 134.866
#   total CPU system time (s): 3.16039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.704649 second user time and 1.13511 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-12 16:05:52
IDJOB=4388214
IDBENCH=135918
IDSOLVER=2825
FILE ID=node127/4388214-1568297192
RUNJOBID= node127-1568286090-6276
PBS_JOBID= 21701077
Free space on /tmp= 54336 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-001-a4_X2.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-4388214-1568297192/watcher-4388214-1568297192 -o /tmp/evaluation-result-4388214-1568297192/solver-4388214-1568297192 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6276 --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-4388214-1568297192.xml

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

MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485
RANDOM SEED=1883385504

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
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:        27582596 kB
MemAvailable:   31256400 kB
Buffers:           84780 kB
Cached:          3858128 kB
SwapCached:         6784 kB
Active:          2798416 kB
Inactive:        1777408 kB
Active(anon):     625228 kB
Inactive(anon):    49044 kB
Active(file):    2173188 kB
Inactive(file):  1728364 kB
Unevictable:      110596 kB
Mlocked:          110596 kB
SwapTotal:      67108860 kB
SwapFree:       66998516 kB
Dirty:             20532 kB
Writeback:             0 kB
AnonPages:        838180 kB
Mapped:            55096 kB
Shmem:             32692 kB
Slab:             204672 kB
SReclaimable:     176172 kB
SUnreclaim:        28500 kB
KernelStack:        4224 kB
PageTables:         6924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6513068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    413696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 54312 MiB
End job on node127 at 2019-09-12 16:07:41