Trace number 4388079

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+GlueMiniSat (2019-06-15)? (TO) 2520.27 2292.56

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg3/
QuasiGroup-3-40.xml
MD5SUMe27695e2b8dc2930e1e97c4ddd0ab1f7
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3200
Number of constraints3122
Number of domains2
Minimum domain size40
Maximum domain size1600
Distribution of domain sizes[{"size":40,"count":1600},{"size":1600,"count":1560}]
Minimum variable degree0
Maximum variable degree1563
Distribution of variable degrees[{"degree":0,"count":40},{"degree":2,"count":1560},{"degree":1562,"count":40},{"degree":1563,"count":1560}]
Minimum constraint arity3
Maximum constraint arity1601
Distribution of constraint arities[{"arity":3,"count":1560},{"arity":40,"count":1},{"arity":1600,"count":1},{"arity":1601,"count":1560}]
Number of extensional constraints0
Number of intensional constraints1560
Distribution of constraint types[{"type":"intension","count":1560},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":1560}]
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-13346-serial-file.bin HOME/instance-4388079-1568295166.xml
0.66/0.53	
0.66/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 15:32:03 CEST 2019
0.66/0.56	c PID: 13349
0.66/0.56	c IP: 172.20.3.136
0.66/0.56	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
7.54/4.75	c (4,4) Parsing End
7.54/4.77	c (4,4) CSP: 3158 int (0 aux), 2 bool (0 aux), 3122 ctr, max domain size 1600
8.21/5.02	c (4,4) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
8.21/5.02	c (4,4) Constraint Name Generate Begin
8.70/5.58	c (5,5) Ctr:HOME/instance-4388079-1568295166.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:Mul:Num:Var
8.70/5.58	c (5,5) Constraint Name Generate End
8.70/5.58	c (5,5) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
8.70/5.58	c (5,5) CSP to CSPinCNF Begin
40.31/30.26	c (29,28) translated 313 (10%) constraints
64.58/51.37	c (50,48) translated 625 (20%) constraints
90.36/72.83	c (72,68) translated 937 (30%) constraints
113.08/93.56	c (93,88) translated 1249 (40%) constraints
135.55/114.21	c (113,108) translated 1561 (50%) constraints
136.19/114.59	c (114,109) translated 1874 (60%) constraints
136.72/114.71	c (114,109) translated 2186 (70%) constraints
136.87/114.81	c (114,109) translated 2498 (80%) constraints
137.00/114.91	c (114,109) translated 2810 (90%) constraints
137.23/115.01	c (114,109) translated 3122 (100%) constraints
137.23/115.01	c (114,109) ===========================================
137.23/115.02	c (114,109) Order
137.23/115.02	c (114,109) ===========================================
160.64/134.13	c (133,127) translated 256336 (10%) constraints
179.08/150.46	c (149,143) translated 512672 (20%) constraints
197.89/166.87	c (166,158) translated 769008 (30%) constraints
216.89/183.33	c (182,174) translated 1025344 (40%) constraints
236.00/199.82	c (199,190) translated 1281680 (50%) constraints
253.27/215.86	c (215,205) translated 1538016 (60%) constraints
272.49/232.39	c (231,221) translated 1794352 (70%) constraints
291.79/248.90	c (248,237) translated 2050688 (80%) constraints
311.18/265.47	c (264,252) translated 2307024 (90%) constraints
328.79/281.54	c (281,268) translated 2563360 (100%) constraints
328.79/281.55	c (281,268) CSP to CSPinCNF End
328.79/281.57	c (281,268) CSP: 3158 int (0 aux), 64002 bool (64000 aux), 7812960 ctr, max domain size 1600
328.79/281.57	c (281,268) Heap : 7223 MiB used (max 10921 MiB), NonHeap : 30 MiB used (max 0 MiB)
328.79/281.57	c (281,268) CSPinCNF Propagation Begin
493.82/349.65	c (349,304) 5002 values, 154468 unsatisfiable literals, and 282244 valid clauses are removed
493.82/349.65	c (349,304) CSPinCNF Propagation End
493.82/349.67	c (349,304) CSP: 3158 int (0 aux), 64002 bool (64000 aux), 7530716 ctr, max domain size 1598
493.82/349.67	c (349,304) Heap : 8087 MiB used (max 10782 MiB), NonHeap : 30 MiB used (max 0 MiB)
493.82/349.67	c (349,304) Simplify CSPinCNF Begin
521.19/368.20	c (367,320) Simplify CSPinCNF End
521.19/368.24	c (367,320) CSP: 3158 int (0 aux), 188482 bool (188480 aux), 7655196 ctr, max domain size 1598
521.19/368.24	c (367,320) Heap : 6776 MiB used (max 10623 MiB), NonHeap : 30 MiB used (max 0 MiB)
521.19/368.24	c (367,320) Calculate Precise Domain Begin
521.19/368.25	c (367,320) 0 values are removed by re-calculation
521.19/368.25	c (367,320) Calculate Precise Domain End
521.19/368.29	c (367,320) CSP: 3158 int (0 aux), 188482 bool (188480 aux), 7655196 ctr, max domain size 1598
521.19/368.29	c (367,320) Heap : 6776 MiB used (max 10623 MiB), NonHeap : 30 MiB used (max 0 MiB)
521.19/368.29	c (367,320) CSPinCNF to SatSolver Begin
555.74/398.26	c (397,347) 765520 (10 %) CSP clauses are encoded (0 SAT variables, 7913211 SAT clauses)
563.51/404.55	c (404,353) 1531040 (20 %) CSP clauses are encoded (0 SAT variables, 8678731 SAT clauses)
572.77/411.23	c (410,359) 2296559 (30 %) CSP clauses are encoded (0 SAT variables, 9444250 SAT clauses)
580.84/417.60	c (417,365) 3062079 (40 %) CSP clauses are encoded (0 SAT variables, 10209770 SAT clauses)
646.96/438.79	c (438,371) 3827598 (50 %) CSP clauses are encoded (0 SAT variables, 10975289 SAT clauses)
654.02/444.90	c (444,376) 4593118 (60 %) CSP clauses are encoded (0 SAT variables, 11740809 SAT clauses)
662.16/451.30	c (450,382) 5358638 (70 %) CSP clauses are encoded (0 SAT variables, 12506329 SAT clauses)
669.56/457.52	c (456,388) 6124157 (80 %) CSP clauses are encoded (0 SAT variables, 13271848 SAT clauses)
679.49/464.38	c (463,394) 6889677 (90 %) CSP clauses are encoded (0 SAT variables, 14037368 SAT clauses)
709.35/484.13	c (483,410) 7655196 (100 %) CSP clauses are encoded (0 SAT variables, 19758678 SAT clauses)
709.35/484.13	c (483,410) CSPinCNF to SatSolver End
709.35/484.13	c (483,410) Heap : 6527 MiB used (max 10583 MiB), NonHeap : 32 MiB used (max 0 MiB)
709.35/484.13	c (483,410) 2732122 bool, 19760120 clause
709.35/484.13	c (483,410) Export Begin
709.75/484.35	c (483,410) Export to HOME/scop-13346-serial-file.bin
709.75/484.35	c (483,410) Export End
709.75/484.36	c (483,410) Export File Size: 0.52 MB
709.75/484.36	c (483,410) 4,5,281,349,367,367,483,STOP-AFTER(DIMACS)
709.75/484.36	c END-Prog: Thu Sep 12 15:40:06 CEST 2019
0.00/484.41	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13346-serial-file.bin
709.96/484.87	c (0,0) Read Serial File Begin
709.96/484.87	c (0,0) HOME/scop-13346-serial-file.bin
711.27/485.22	c (0,0) Read Serial File End
711.27/485.24	
711.27/485.24	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
711.27/485.24	(Solving Process)
711.27/485.24	
711.27/485.26	c BEGIN-Prog: Thu Sep 12 15:40:07 CEST 2019
711.27/485.26	c PID: 13706
711.27/485.26	c IP: 172.20.3.136
711.27/485.26	c HOST: node136.alineos.net
711.27/485.26	c (0,0) SatSolver.solve Begin
711.27/485.26	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388079-1568295166.xml-scop-13349.cnf
711.27/485.29	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
711.27/485.29	c (0,0) c glueminisat-simp-2.2.10-193oa-n
711.27/485.29	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388079-1568295166.xml-scop-13349.cnf 
711.27/485.29	c (0,0) c Options:
711.27/485.29	c (0,0) c CORE
711.27/485.29	c (0,0) c  var_decay             = 0.950
711.27/485.29	c (0,0) c  clause_decay          = 0.999
711.27/485.29	c (0,0) c  random_var_freq       = 0.000
711.27/485.29	c (0,0) c  random_seed           = 91648253.000
711.27/485.29	c (0,0) c  luby_restart          = 1
711.27/485.29	c (0,0) c  ccmin_mode            = 2
711.27/485.29	c (0,0) c  phase_saving          = 2
711.27/485.29	c (0,0) c  rnd_pol               = 0
711.27/485.29	c (0,0) c  rnd_init_act          = 0
711.27/485.29	c (0,0) c  garbage_frac          = 0.200
711.27/485.29	c (0,0) c  restart_first         = 1000
711.52/485.31	c (0,0) c  restart_inc           = 2.000
711.52/485.31	c (0,0) c MODEL
711.52/485.31	c (0,0) c  partial_model         = 0
711.52/485.31	c (0,0) c PROPAGATION
711.52/485.31	c (0,0) c  bin_propagation       = 1
711.52/485.31	c (0,0) c SIMPLIFICATION
711.52/485.31	c (0,0) c  lrn_min_size          = 100
711.52/485.31	c (0,0) c  lazy_simp             = 1
711.52/485.31	c (0,0) c  lazy_interval         = 10
711.52/485.31	c (0,0) c  lazy_fld_probing      = 1
711.52/485.31	c (0,0) c  lazy_pol_probing      = 1
711.52/485.31	c (0,0) c  lazy_nec_probing      = 1
711.52/485.31	c (0,0) c  lazy_eqv_probing      = 1
711.52/485.31	c (0,0) c  lazy_cla_probing      = 1
711.52/485.31	c (0,0) c  lazy_lrn_min          = 2
711.52/485.31	c (0,0) c  lazy_uw_lit_elim      = 1
711.52/485.31	c (0,0) c  lazy_pr_lit_elim      = 0
711.52/485.31	c (0,0) c  lazy_bin_add          = 3
711.52/485.31	c (0,0) c  probed_lit_chain      = 1
711.52/485.31	c (0,0) c  pr_min_lits           = 0.00020
711.52/485.31	c (0,0) c  pr_min_starts         = 500
711.52/485.31	c (0,0) c  rw_min_lits           = 0.010
711.52/485.31	c (0,0) c  rw_min_starts         = 500
711.52/485.31	c (0,0) c  rand_attach           = 0
711.52/485.31	c (0,0) c  dec_elim              = 1
711.52/485.31	c (0,0) c  dec_elim_lim          = 25
711.52/485.31	c (0,0) c  dec_elim_len          = -1
711.52/485.31	c (0,0) c  amo                   = 0
711.52/485.31	c (0,0) c  amo_grp               = 1
711.52/485.31	c (0,0) c  amo_max_bins          = 1000000
711.52/485.31	c (0,0) c  amo_starts            = 50
711.52/485.31	c (0,0) c  mace_cmd              = mace
711.52/485.31	c (0,0) c DECISION
711.52/485.31	c (0,0) c  rand_rebuild          = 0
711.52/485.31	c (0,0) c  rand_rebuild_confs    = 10000
711.52/485.31	c (0,0) c  inc_var_decay         = 1
711.52/485.31	c (0,0) c  inc_var_decay_period  = 100000
711.52/485.31	c (0,0) c  inc_var_decay_init    = 0.600
711.52/485.31	c (0,0) c  var_decay_mode        = 0
711.52/485.31	c (0,0) c  var_decay_gain        = 0
711.52/485.31	c (0,0) c  sloped_var_decay      = 1
711.52/485.31	c (0,0) c  max_var_decay         = 0.990
711.52/485.31	c (0,0) c  min_var_decay         = 0.950
711.52/485.31	c (0,0) c  min_var_decay_vars    = 10000
711.52/485.31	c (0,0) c  max_var_decay_vars    = 500
711.52/485.31	c (0,0) c  uip_bumping           = 1
711.52/485.31	c (0,0) c  lbd_act_bumping       = 1
711.52/485.31	c (0,0) c  rand_tiebreak         = 0
711.52/485.31	c (0,0) c  simp_rebuild          = 1
711.52/485.31	c (0,0) c RESTART
711.52/485.31	c (0,0) c  restart_strategy      = 2
711.52/485.31	c (0,0) c  restart_blocking      = 0
711.52/485.31	c (0,0) c  agility_decay         = 0.99990
711.52/485.31	c (0,0) c  lbd_restart_rate      = 0.800
711.52/485.31	c (0,0) c  dec_restart_rate      = 0.950
711.52/485.31	c (0,0) c  blk_restart_rate      = 0.700
711.52/485.31	c (0,0) c  lbd_queue_size        = 50
711.52/485.31	c (0,0) c  dec_queue_size        = 50
711.52/485.31	c (0,0) c  trl_queue_size        = 5000
711.52/485.31	c (0,0) c  blk_restart_weight    = 1.000
711.52/485.31	c (0,0) c  inc_rst_rate          = 0
711.52/485.31	c (0,0) c  inc_rst_rate_period   = 500000
711.52/485.31	c (0,0) c  inc_lbd_rst_rate_init = 0.600
711.52/485.31	c (0,0) c  inc_dec_rst_rate_init = 0.750
711.52/485.31	c (0,0) c REDUCTION
711.52/485.31	c (0,0) c  closed_lbd            = 0
711.52/485.31	c (0,0) c  closed_lbd_rate       = 0.500
711.52/485.31	c (0,0) c  rm_simulate           = 0
711.52/485.31	c (0,0) c  rdb_eval              = 2
711.52/485.31	c (0,0) c  rdb_call              = 3
711.52/485.31	c (0,0) c  rdb_ub                = 0.500
711.52/485.31	c (0,0) c  core_lbd_cvr          = 0.800
711.52/485.31	c (0,0) c  supp_lbd_cvr          = 0.990
711.52/485.31	c (0,0) c  core_lbd_lb           = 2
711.52/485.31	c (0,0) c  supp_lbd_lb           = 2
711.52/485.31	c (0,0) c  core_lbd_prd          = 7
711.52/485.31	c (0,0) c  supp_lbd_prd          = 1
711.52/485.31	c (0,0) c  othr_lbd_prd          = 0
711.52/485.31	c (0,0) c  inc_lrn_limit         = 1000
711.52/485.31	c (0,0) c  frozen_lbd            = 30
711.52/485.31	c (0,0) c  simp_min_starts       = 100
711.52/485.31	c (0,0) c  rm_low_act_learnts    = 1
711.52/485.31	c (0,0) c  lv0_reduce_db         = 0
711.52/485.31	c (0,0) c  reduce_db_base        = 20000
711.52/485.31	c (0,0) c  reduce_db_inc         = 1000
711.52/485.31	c (0,0) c HARD
711.52/485.31	c (0,0) c  inst_check            = 200000
711.52/485.31	c (0,0) c  small_block           = 1.750
711.52/485.31	c (0,0) c  slow_restart_speed    = 400.000
711.52/485.31	c (0,0) c  slow_restart_strategy = 3
711.52/485.31	c (0,0) c  slow_lbd_restart_rate = 0.700
711.52/485.31	c (0,0) c  slow_dec_restart_rate = 1.000
711.52/485.31	c (0,0) c  slow_lbd_queue_size   = 50
711.52/485.31	c (0,0) c  slow_var_decay        = 0.950
711.52/485.31	c (0,0) c  slow_glue_threshold   = 2
711.52/485.31	c (0,0) c  slow_phase_saving     = 2
711.52/485.31	c (0,0) c  fast_restart_speed    = 125.000
711.52/485.31	c (0,0) c  fast_restart_strategy = 1
711.52/485.31	c (0,0) c  fast_lbd_restart_rate = 0.800
711.52/485.31	c (0,0) c  fast_dec_restart_rate = 0.950
711.52/485.31	c (0,0) c  fast_lbd_queue_size   = 50
711.52/485.31	c (0,0) c  fast_var_decay        = 1.000
711.52/485.31	c (0,0) c  fast_glue_threshold   = 2
711.52/485.31	c (0,0) c  fast_phase_saving     = 2
711.52/485.31	c (0,0) c STATS
711.52/485.31	c (0,0) c  stats_conf_size       = 10000
711.52/485.31	c (0,0) c  max_stats_size        = 30
711.52/485.31	c (0,0) c SOLVER
711.52/485.31	c (0,0) c  minisat               = 0
718.91/492.62	c (7,0) c Problem: 2732122 variables, 19760120 clauses, parsing 6.49 s
719.70/493.43	c (8,0) c  exclude 2998 (0.1%) variables from decision variables (last cost 1)
721.21/495.00	c (10,0) c Simplification: 2998 vars, 0 clauses are eliminated using 2.19 s
721.21/495.00	c (10,0) c
721.21/495.00	c (10,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
721.21/495.00	c (10,0) c
721.21/495.00	c (10,0) c    9         0         0  2729124 19760120        0   -nan  -nan  -nan -nan%
722.11/495.86	c (11,0) c   10         1       100  2729124 19760120      100   64.8  33.6 2485.9 16.7%
722.21/495.97	c (11,0) c   10         1       220  2729123 19760120      219   33.3  18.4 1541.6 10.1%
722.91/496.67	c (11,0) c   11         1       364  2729123 19760120      363   31.0  16.2 1250.2 10.1%
723.01/496.74	c (11,0) c   11         1       536  2729123 19760120      535   25.1  14.0 1179.3 12.4%
723.11/496.80	c (11,0) c   11         1       743  2729123 19760120      742   20.7  11.8 1125.8 13.5%
723.43/497.17	c (12,0) c   11         2       991  2729123 19760120      990   19.5  10.8 1097.9 14.1%
729.32/503.10	c (18,0) c   17         5      1289  2729123 19760120     1288   23.6  12.2 1150.7 15.8%
734.04/507.79	c (22,0) c   22         6      1647  2729123 19760120     1646   21.4  11.2 1101.4 15.0%
736.54/510.21	c (25,0) c   24         7      2076  2729122 19760120     2079   19.1  10.4 1024.5 14.3%
736.63/510.31	c (25,0) c   25         8      2591  2729121 19760120     2593   17.1   9.1 835.3 11.7%
736.63/510.39	c (25,0) c   25         8      3210  2729121 19760120     3212   15.6   8.3 680.0  9.6%
736.74/510.44	c (25,0) c   25         8      3953  2729121 19760120     3955   14.4   7.7 556.2  7.9%
737.73/511.44	c (26,0) c   26         8      4844  2729121 19760120     4846   13.6   7.4 483.3  6.9%
741.54/515.25	c (30,0) c   29        12      5913  2729121 19760120     5916   13.0   7.3 542.3  7.8%
752.94/526.68	c (41,0) c   41        24      7196  2729113 19760120     7198   13.2   7.6 566.4  8.3%
753.34/527.06	c (42,0) c
753.34/527.06	c (42,0) c   variables         : 2729113     (init 2732122, after simp 2729124, 2998 non-decs, 3120 csp)
753.34/527.06	c (42,0) c   clauses           : 19760120    (init 19760120, after simp 19760120)
753.34/527.06	c (42,0) c   restarts          : 23          (364.00 confs/res, 50~2925 confs, 0 blks, 0 last)
753.34/527.06	c (42,0) c   conflicts         : 8736        (218 /sec, 61.96% dconfs, 0.00% supp, trail 560.44w x 478.85h, jmp 42.26h)
753.34/527.06	c (42,0) c   decisions         : 393711      (0.6300 vdcy, 9811 /sec, 0.00% bin, rs 0.082 s)
753.34/527.06	c (42,0) c   propagations      : 195738735   (4877566 /sec, 497.16 lits/dec, 74.01% o.a.)
753.34/527.06	c (42,0) c   conflict literals : 116738      (5.71% deleted; 0.61% by bin min, 0.004 s)
753.34/527.06	c (42,0) c   len               : 12.518      (12.52 for all, max 382, used 240)
753.34/527.06	c (42,0) c   lbd               : 7.173       (8.11 (7.17) for all, max 138, used 80, 3.742 stdev, 1.544 blk)
753.34/527.06	c (42,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
753.34/527.06	c (42,0) c   simp dbs          : 0           (0.000 s)
753.34/527.06	c (42,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
753.34/527.06	c (42,0) c   learnts           : 8738        (0 learnts removed, 0.00%)
753.34/527.06	c (42,0) c   rewrite dbs       : 0           (0/8 vars, 0+0 taut, 0+0 unit, 0.000 s)
753.34/527.06	c (42,0) c   assigned lits     : 0           (0/54 probed, 54 remains)
753.34/527.06	c (42,0) c   premise updates   : 2486133     (0.46 /lit)
753.34/527.06	c (42,0) c   probed variables  : 54          (0 pr, 0 eq, 34 fld, 13 pol, 0 nec, 7 cla, 0 amo)
753.34/527.06	c (42,0) c   equiv variables   : 8           (8 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
753.34/527.06	c (42,0) c   lazy added bins   : 13          (13 prop + 0 conf, 0.056s)
753.34/527.06	c (42,0) c   unwatched lit elim: 366         (0.00+0.31%, 0+366 of 51277144+116738)
753.34/527.06	c (42,0) c   classified type   : undef
753.34/527.06	c (42,0) c   progress          : 0.000 %
753.34/527.06	c (42,0) c
753.34/527.06	c (42,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
753.34/527.06	c (42,0) c
753.34/527.06	c (42,0) c   41        24      8736  2729113 19760120     8738   12.5   7.2 478.8  7.2%
753.74/527.40	c (42,0) c   42        24     10584  2729113 19760120    10586   11.9   6.9 360.1  5.8%
760.25/533.98	c (49,0) c   48        30     12802  2729111 19760120    12808   11.5   6.7 288.7  4.7%
774.97/548.64	c (63,0) c   63        47     15464  2729104 19760120    15480   12.2   7.1 358.9  5.4%
795.08/568.73	c (83,0) c   83        61     18658  2729101 19760120    18685   12.0   7.0 384.8  5.9%
801.59/575.30	c (90,0) c   90 r      66     20001  2729101 19760120    20036   11.8   7.0 414.2  6.4%
801.69/575.30	c (90,0) c
801.69/575.30	c (90,0) c R [LBD Statistics #1]
801.69/575.30	c (90,0) c R LBD         used lbd               used clause lbd
801.69/575.30	c (90,0) c R  tot       92895                   20036
801.69/575.30	c (90,0) c R  avg       3.315                   6.991
801.69/575.30	c (90,0) c R   1         1094 ( 1.2/ 1.2%)        126 ( 0.6/ 0.6%)
801.69/575.30	c (90,0) c R   2        29275 (31.5/32.7%)       3510 (17.5/18.1%)
801.69/575.30	c (90,0) c R   3        45810 (49.3/82.0%)       3792 (18.9/37.1%)
801.69/575.30	c (90,0) c R
801.69/575.30	c (90,0) c R core_lbd_threshold = 3
801.69/575.30	c (90,0) c R supp_lbd_threshold = 11
801.69/575.30	c (90,0) c R
801.69/575.30	c (90,0) c R [RDB Statistics #1]
801.69/575.30	c (90,0) c R kept: lbd      =    7416 (37.0/37.0%)
801.69/575.30	c (90,0) c R kept: ttl      =   12605 (62.9/99.9%)
801.69/575.30	c (90,0) c R kept: locked   =      15 ( 0.1/100.0%)
801.69/575.30	c (90,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
801.69/575.30	c (90,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
801.69/575.30	c (90,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
801.69/575.30	c (90,0) c
801.69/575.30	c (90,0) c   90 R      66     20001  2729101 19760120    20036   11.8   7.0 414.2  6.4%
801.99/575.69	c (90,0) c   90        66     22491  2729101 19760120    22526   11.7   6.8 346.6  5.3%
832.41/606.06	c (121,0) c  120        90     27091  2729095 19760120    27151   11.9   7.0 335.0  5.6%
840.31/613.91	c (129,0) c  128       100     32611  2729093 19757578    32676   11.9   6.8 313.1  5.3%
898.96/672.56	c (187,0) c  187       137     39235  2729083 19757578    39361   12.0   6.8 742.9 11.1%
925.69/699.26	c (214,0) c  213 r     160     41000  2729077 19757578    41143   12.5   7.0 954.3 14.1%
925.69/699.26	c (214,0) c
925.69/699.26	c (214,0) c R [LBD Statistics #2]
925.69/699.26	c (214,0) c R LBD         used lbd               used clause lbd
925.69/699.26	c (214,0) c R  tot      233407                   41143
925.69/699.26	c (214,0) c R  avg       3.249                   7.046
925.69/699.26	c (214,0) c R   1         2408 ( 1.0/ 1.0%)        259 ( 0.6/ 0.6%)
925.69/699.26	c (214,0) c R   2        75020 (32.1/33.2%)       7711 (18.7/19.4%)
925.69/699.26	c (214,0) c R   3       120524 (51.6/84.8%)       7750 (18.8/38.2%)
925.69/699.26	c (214,0) c R
925.69/699.26	c (214,0) c R core_lbd_threshold = 3
925.69/699.26	c (214,0) c R supp_lbd_threshold = 12
925.69/699.26	c (214,0) c R
925.69/699.26	c (214,0) c R [RDB Statistics #2]
925.69/699.27	c (214,0) c R kept: lbd      =   15647 (38.0/38.0%)
925.69/699.27	c (214,0) c R kept: ttl      =   10890 (26.5/64.5%)
925.69/699.27	c (214,0) c R kept: locked   =      75 ( 0.2/64.7%)
925.69/699.27	c (214,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
925.69/699.27	c (214,0) c R lost: ttl      =   14531 (35.3/35.3%)
925.69/699.27	c (214,0) c R lost: subsumed =       0 ( 0.0/35.3%)
925.69/699.27	c (214,0) c
925.69/699.27	c (214,0) c  213 R     160     41000  2729077 19757578    26612    7.6   4.2 954.3 14.1%
949.50/723.07	c (238,0) c  237       182     47184  2729069 19757578    32805    8.9   4.8 691.3 10.9%
971.31/744.82	c (260,0) c  259 p     201     50098  2728452 19755036    35732    9.1   5.1 633.1  9.8%
1028.46/801.97	c (317,0) c  316       263     56723  2728441 19755036    42416   10.8   5.9 881.7 12.4%
1077.49/850.97	c (366,0) c
1077.49/850.97	c (366,0) c   variables         : 2728427     (init 2732122, after simp 2729124, 2998 non-decs, 3120 csp)
1077.49/850.97	c (366,0) c   clauses           : 19755036    (init 19760120, after simp 19760120)
1077.49/850.97	c (366,0) c   restarts          : 297         (211.41 confs/res, 50~4978 confs, 0 blks, 0 last)
1077.49/850.97	c (366,0) c   conflicts         : 63000       (175 /sec, 63.51% dconfs, 0.00% supp, trail 567.00w x 581.83h, jmp 67.44h)
1077.49/850.97	c (366,0) c   decisions         : 4602784     (0.8200 vdcy, 12800 /sec, 0.00% bin, rs 0.441 s)
1077.49/850.97	c (366,0) c   propagations      : 2138635456  (5947374 /sec, 464.64 lits/dec, 73.13% o.a.)
1077.49/850.97	c (366,0) c   conflict literals : 898973      (4.41% deleted; 0.49% by bin min, 0.025 s)
1077.49/850.97	c (366,0) c   len               : 11.179      (13.57 for all, max 463, used 349)
1077.49/850.97	c (366,0) c   lbd               : 6.141       (8.45 (7.57) for all, max 275, used 168, 3.657 stdev, 1.605 blk)
1077.49/850.97	c (366,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
1077.49/850.97	c (366,0) c   simp dbs          : 2           (2.193 s)
1077.49/850.97	c (366,0) c   reduce dbs        : 2           (core-lbd 3, supp-lbd 12, 0.002 s)
1077.49/850.97	c (366,0) c   learnts           : 48720       (14531 learnts removed, 23.07%)
1077.49/850.97	c (366,0) c   rewrite dbs       : 0           (0/97 vars, 0+0 taut, 0+0 unit, 0.000 s)
1077.49/850.97	c (366,0) c   assigned lits     : 1           (609/726 probed, 94 remains)
1077.49/850.97	c (366,0) c   premise updates   : 35132208    (6.44 /lit)
1077.49/850.97	c (366,0) c   probed variables  : 726         (0 pr, 0 eq, 276 fld, 86 pol, 1 nec, 363 cla, 0 amo)
1077.49/850.97	c (366,0) c   equiv variables   : 97          (85 bin, 3 trn, 2 quat, 0 quin, 0 othr; 0 amo)
1077.49/850.97	c (366,0) c   lazy added bins   : 339         (339 prop + 0 conf, 0.708s)
1077.49/850.97	c (366,0) c   unwatched lit elim: 2873        (0.00+0.29%, 249+2624 of 51277144+898973)
1077.49/850.97	c (366,0) c   classified type   : undef
1077.49/850.97	c (366,0) c   progress          : 0.026 %
1077.49/850.97	c (366,0) c
1077.49/850.97	c (366,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
1077.49/850.97	c (366,0) c
1077.49/850.97	c (366,0) c  365 r     298     63000  2728427 19755036    48720   11.2   6.1 754.1 11.7%
1077.49/850.97	c (366,0) c
1077.49/850.97	c (366,0) c R [LBD Statistics #3]
1077.49/850.97	c (366,0) c R LBD         used lbd               used clause lbd
1077.49/850.97	c (366,0) c R  tot      378593                   48720
1077.49/850.97	c (366,0) c R  avg       3.319                   6.141
1077.49/850.97	c (366,0) c R   1         2843 ( 0.8/ 0.8%)        344 ( 0.7/ 0.7%)
1077.49/850.97	c (366,0) c R   2       115404 (30.5/31.2%)      11788 (24.2/24.9%)
1077.49/850.97	c (366,0) c R   3       207249 (54.7/86.0%)      12464 (25.6/50.5%)
1077.49/850.97	c (366,0) c R
1077.49/850.97	c (366,0) c R core_lbd_threshold = 3
1077.49/850.97	c (366,0) c R supp_lbd_threshold = 16
1077.49/850.97	c (366,0) c R
1077.49/850.97	c (366,0) c R [RDB Statistics #3]
1077.49/850.97	c (366,0) c R kept: lbd      =   24558 (50.4/50.4%)
1077.49/850.97	c (366,0) c R kept: ttl      =   10660 (21.9/72.3%)
1077.49/850.97	c (366,0) c R kept: locked   =      42 ( 0.1/72.4%)
1077.49/850.97	c (366,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
1077.49/850.97	c (366,0) c R lost: ttl      =   13460 (27.6/27.6%)
1077.49/850.97	c (366,0) c R lost: subsumed =       0 ( 0.0/27.6%)
1077.49/850.97	c (366,0) c
1077.49/850.97	c (366,0) c  365 R     298     63000  2728427 19755036    35260    6.8   3.9 754.1 11.7%
1102.72/876.12	c (391,0) c  390       315     68170  2728424 19703440    40457    7.6   4.2 498.0  8.0%
1193.28/966.67	c (481,0) c  481       385     81907  2728407 19703440    54323    9.1   5.1 754.4 11.1%
1238.52/1011.81	c (527,0) c  526 r     410     86000  2728402 19701472    58435    9.6   5.3 796.2 12.5%
1238.52/1011.81	c (527,0) c
1238.52/1011.81	c (527,0) c R [LBD Statistics #4]
1238.52/1011.81	c (527,0) c R LBD         used lbd               used clause lbd
1238.52/1011.81	c (527,0) c R  tot      587362                   58435
1238.52/1011.81	c (527,0) c R  avg       3.248                   5.313
1238.52/1011.81	c (527,0) c R   1         3737 ( 0.6/ 0.6%)        447 ( 0.8/ 0.8%)
1238.52/1011.81	c (527,0) c R   2       174930 (29.8/30.4%)      16449 (28.1/28.9%)
1238.52/1011.81	c (527,0) c R   3       336189 (57.2/87.7%)      17253 (29.5/58.4%)
1238.52/1011.81	c (527,0) c R
1238.52/1011.81	c (527,0) c R core_lbd_threshold = 3
1238.52/1011.81	c (527,0) c R supp_lbd_threshold = 13
1238.52/1011.81	c (527,0) c R
1238.52/1011.81	c (527,0) c R [RDB Statistics #4]
1238.52/1011.81	c (527,0) c R kept: lbd      =   34142 (58.4/58.4%)
1238.52/1011.81	c (527,0) c R kept: ttl      =   11761 (20.1/78.6%)
1238.52/1011.81	c (527,0) c R kept: locked   =      13 ( 0.0/78.6%)
1238.52/1011.81	c (527,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
1238.52/1011.81	c (527,0) c R lost: ttl      =   12519 (21.4/21.4%)
1238.52/1011.81	c (527,0) c R lost: subsumed =       0 ( 0.0/21.4%)
1238.52/1011.81	c (527,0) c
1238.52/1011.81	c (527,0) c  526 R     410     86000  2728402 19701472    45916    6.4   3.6 796.2 12.5%
1300.46/1073.73	c (588,0) c  588       469     98391  2728386 19701472    58410    8.1   4.5 620.4  9.0%
1300.66/1073.92	c (589,0) c  588 f     469    100000  2728386 19701472    60018    8.2   4.6 499.1  7.7%
1305.36/1078.62	c (593,0) c  593 r     470    110000  2728384 19701472    70019    8.7   4.8 322.0  5.2%
1305.36/1078.62	c (593,0) c
1305.36/1078.62	c (593,0) c R [LBD Statistics #5]
1305.36/1078.62	c (593,0) c R LBD         used lbd               used clause lbd
1305.36/1078.62	c (593,0) c R  tot      759048                   70019
1305.36/1078.62	c (593,0) c R  avg       3.250                   4.779
1305.36/1078.62	c (593,0) c R   1         5772 ( 0.8/ 0.8%)        593 ( 0.8/ 0.8%)
1305.36/1078.62	c (593,0) c R   2       222759 (29.3/30.1%)      19922 (28.5/29.3%)
1305.36/1078.62	c (593,0) c R   3       423569 (55.8/85.9%)      21401 (30.6/59.9%)
1305.36/1078.62	c (593,0) c R
1305.36/1078.62	c (593,0) c R core_lbd_threshold = 3
1305.36/1078.62	c (593,0) c R supp_lbd_threshold = 12
1305.36/1078.62	c (593,0) c R
1305.36/1078.62	c (593,0) c R [RDB Statistics #5]
1305.36/1078.62	c (593,0) c R kept: lbd      =   41869 (59.8/59.8%)
1305.36/1078.62	c (593,0) c R kept: ttl      =   14736 (21.0/80.8%)
1305.36/1078.62	c (593,0) c R kept: locked   =      53 ( 0.1/80.9%)
1305.36/1078.62	c (593,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
1305.36/1078.62	c (593,0) c R lost: ttl      =   13361 (19.1/19.1%)
1305.36/1078.62	c (593,0) c R lost: subsumed =       0 ( 0.0/19.1%)
1305.36/1078.62	c (593,0) c
1305.36/1078.62	c (593,0) c  593 R     470    110000  2728384 19701472    56658    6.7   3.6 322.0  5.2%
1327.99/1101.27	c (616,0) c  615       488    118172  2728383 19701472    64851    7.2   4.0 225.7  4.1%
1351.61/1124.87	c (640,0) c  639 p     501    122260  2727777 19699586    68971    7.4   4.1 424.6  7.0%
1514.12/1287.20	c (802,0) c  801 r     623    135002  2727758 19648907    81868    9.6   5.1 1010.7 15.0%
1514.12/1287.20	c (802,0) c
1514.12/1287.20	c (802,0) c R [LBD Statistics #6]
1514.12/1287.20	c (802,0) c R LBD         used lbd               used clause lbd
1514.12/1287.20	c (802,0) c R  tot     1085525                   81868
1514.12/1287.20	c (802,0) c R  avg       3.212                   5.121
1514.12/1287.20	c (802,0) c R   1         7643 ( 0.7/ 0.7%)        723 ( 0.9/ 0.9%)
1514.12/1287.20	c (802,0) c R   2       332466 (30.6/31.3%)      24436 (29.8/30.7%)
1514.12/1287.20	c (802,0) c R   3       613058 (56.5/87.8%)      26982 (33.0/63.7%)
1514.12/1287.20	c (802,0) c R
1514.12/1287.20	c (802,0) c R core_lbd_threshold = 3
1514.12/1287.20	c (802,0) c R supp_lbd_threshold = 12
1514.12/1287.20	c (802,0) c R
1514.12/1287.20	c (802,0) c R [RDB Statistics #6]
1514.12/1287.20	c (802,0) c R kept: lbd      =   51927 (63.4/63.4%)
1514.12/1287.20	c (802,0) c R kept: ttl      =   11584 (14.1/77.6%)
1514.12/1287.20	c (802,0) c R kept: locked   =     221 ( 0.3/77.8%)
1514.12/1287.20	c (802,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
1514.12/1287.20	c (802,0) c R lost: ttl      =   18136 (22.2/22.2%)
1514.12/1287.20	c (802,0) c R lost: subsumed =       0 ( 0.0/22.2%)
1514.12/1287.20	c (802,0) c
1514.12/1287.20	c (802,0) c  801 R     623    135002  2727758 19648907    63732    5.6   3.2 1010.7 15.0%
1559.07/1332.18	c (847,0) c  846       661    141909  2727744 19648907    70685    6.3   3.7 776.2 12.0%
1640.41/1413.46	c (928,0) c  928 r     734    161000  2727731 19647103    89876    7.9   4.4 615.5  8.9%
1640.41/1413.47	c (928,0) c
1640.41/1413.47	c (928,0) c R [LBD Statistics #7]
1640.41/1413.47	c (928,0) c R LBD         used lbd               used clause lbd
1640.41/1413.47	c (928,0) c R  tot     1384463                   89876
1640.41/1413.47	c (928,0) c R  avg       3.182                   4.407
1640.41/1413.47	c (928,0) c R   1         9426 ( 0.7/ 0.7%)        912 ( 1.0/ 1.0%)
1640.41/1413.47	c (928,0) c R   2       428139 (30.9/31.6%)      29724 (33.1/34.1%)
1640.41/1413.47	c (928,0) c R   3       789089 (57.0/88.6%)      32001 (35.6/69.7%)
1640.41/1413.47	c (928,0) c R
1640.41/1413.47	c (928,0) c R core_lbd_threshold = 3
1640.41/1413.47	c (928,0) c R supp_lbd_threshold = 11
1640.41/1413.47	c (928,0) c R
1640.41/1413.47	c (928,0) c R [RDB Statistics #7]
1640.41/1413.47	c (928,0) c R kept: lbd      =   62329 (69.3/69.3%)
1640.41/1413.47	c (928,0) c R kept: ttl      =   12632 (14.1/83.4%)
1640.41/1413.47	c (928,0) c R kept: locked   =     326 ( 0.4/83.8%)
1640.41/1413.47	c (928,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
1640.41/1413.47	c (928,0) c R lost: ttl      =   14589 (16.2/16.2%)
1640.41/1413.47	c (928,0) c R lost: subsumed =       0 ( 0.0/16.2%)
1640.41/1413.47	c (928,0) c
1640.41/1413.47	c (928,0) c
1640.41/1413.47	c (928,0) c   variables         : 2727731     (init 2732122, after simp 2729124, 2998 non-decs, 3120 csp)
1640.41/1413.47	c (928,0) c   clauses           : 19647103    (init 19760120, after simp 19760120)
1640.41/1413.47	c (928,0) c   restarts          : 733         (219.35 confs/res, 50~12517 confs, 0 blks, 0 last)
1640.41/1413.47	c (928,0) c   conflicts         : 161000      (176 /sec, 63.50% dconfs, 0.00% supp, trail 540.40w x 586.14h, jmp 68.69h)
1640.41/1413.47	c (928,0) c   decisions         : 11950493    (0.9500 vdcy, 13069 /sec, 0.00% bin, rs 0.620 s)
1640.41/1413.47	c (928,0) c   propagations      : 5520621917  (6037384 /sec, 461.96 lits/dec, 73.17% o.a.)
1640.41/1413.47	c (928,0) c   conflict literals : 2357513     (4.07% deleted; 0.40% by bin min, 0.067 s)
1640.41/1413.47	c (928,0) c   len               : 5.752       (13.99 for all, max 529, used 467)
1640.41/1413.47	c (928,0) c   lbd               : 3.157       (8.49 (7.59) for all, max 275, used 170, 3.361 stdev, 1.647 blk)
1640.41/1413.47	c (928,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
1640.41/1413.47	c (928,0) c   simp dbs          : 7           (7.688 s)
1640.41/1413.47	c (928,0) c   reduce dbs        : 7           (core-lbd 3, supp-lbd 11, 0.015 s)
1640.41/1413.47	c (928,0) c   learnts           : 75287       (86596 learnts removed, 53.79%)
1640.41/1413.47	c (928,0) c   rewrite dbs       : 0           (0/240 vars, 0+0 taut, 0+0 unit, 0.000 s)
1640.41/1413.47	c (928,0) c   assigned lits     : 2           (1212/1526 probed, 270 remains)
1640.41/1413.47	c (928,0) c   premise updates   : 86629175    (15.87 /lit)
1640.41/1413.47	c (928,0) c   probed variables  : 1526        (0 pr, 0 eq, 511 fld, 170 pol, 2 nec, 843 cla, 0 amo)
1640.41/1413.47	c (928,0) c   equiv variables   : 240         (189 bin, 18 trn, 5 quat, 0 quin, 0 othr; 0 amo)
1640.41/1413.47	c (928,0) c   lazy added bins   : 1064        (1064 prop + 0 conf, 1.903s)
1640.41/1413.47	c (928,0) c   unwatched lit elim: 8003        (0.00+0.30%, 959+7044 of 51277144+2357513)
1640.41/1413.47	c (928,0) c   classified type   : undef
1640.41/1413.47	c (928,0) c   progress          : 0.051 %
1640.41/1413.47	c (928,0) c
1640.41/1413.47	c (928,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
1640.41/1413.47	c (928,0) c
1640.41/1413.47	c (928,0) c  928 R     734    161000  2727731 19647103    75287    5.8   3.2 615.5  8.9%
1681.34/1454.32	c (969,0) c  969       769    170394  2727724 19647103    84752    6.6   3.6 517.1  7.5%
1833.16/1606.10	c (1121,0) c 1120 r     861    188000  2727707 19645381   102513    8.0   4.3 830.0 14.2%
1833.16/1606.10	c (1121,0) c
1833.16/1606.10	c (1121,0) c R [LBD Statistics #8]
1833.16/1606.10	c (1121,0) c R LBD         used lbd               used clause lbd
1833.16/1606.10	c (1121,0) c R  tot     1799319                  102513
1833.16/1606.10	c (1121,0) c R  avg       3.126                   4.328
1833.16/1606.10	c (1121,0) c R   1        11576 ( 0.6/ 0.6%)       1049 ( 1.0/ 1.0%)
1833.16/1606.10	c (1121,0) c R   2       565699 (31.4/32.1%)      34477 (33.6/34.7%)
1833.16/1606.10	c (1121,0) c R   3      1035663 (57.6/89.6%)      37622 (36.7/71.4%)
1833.16/1606.10	c (1121,0) c R
1833.16/1606.10	c (1121,0) c R core_lbd_threshold = 3
1833.16/1606.10	c (1121,0) c R supp_lbd_threshold = 10
1833.16/1606.10	c (1121,0) c R
1833.16/1606.10	c (1121,0) c R [RDB Statistics #8]
1833.16/1606.10	c (1121,0) c R kept: lbd      =   68625 (66.9/66.9%)
1833.16/1606.10	c (1121,0) c R kept: ttl      =   13175 (12.9/79.8%)
1833.16/1606.10	c (1121,0) c R kept: locked   =     106 ( 0.1/79.9%)
1833.16/1606.10	c (1121,0) c R lost: lbd      =    4428 ( 4.3/ 4.3%)
1833.16/1606.10	c (1121,0) c R lost: ttl      =   16179 (15.8/20.1%)
1833.16/1606.10	c (1121,0) c R lost: subsumed =       0 ( 0.0/20.1%)
1833.16/1606.10	c (1121,0) c
1833.16/1606.10	c (1121,0) c 1120 R     861    188000  2727707 19645381    81906    5.7   3.1 830.0 14.2%
1856.28/1629.12	c (1144,0) c 1143 N     873    203860  2727703 19645381    97804    6.4   3.5 186.3  1.7%
1858.87/1631.73	c (1146,0) c
1858.87/1631.73	c (1146,0) c I variables         : 2727703     (init 2732122, after simp 2729124, 2998 non-decs, 3120 csp)
1858.87/1631.73	c (1146,0) c I clauses           : 19645381    (init 19760120, after simp 19760120)
1858.87/1631.73	c (1146,0) c I restarts          : 872         (233.52 confs/res, 50~12517 confs, 0 blks, 0 last)
1858.87/1631.73	c (1146,0) c I conflicts         : 203860      (181 /sec, 62.86% dconfs, 0.00% supp, trail 521.45w x 563.14h, jmp 66.82h)
1858.87/1631.73	c (1146,0) c I decisions         : 14689814    (0.9500 vdcy, 13032 /sec, 0.00% bin, rs 0.677 s)
1858.87/1631.73	c (1146,0) c I propagations      : 6811025015  (6042144 /sec, 463.66 lits/dec, 73.12% o.a.)
1858.87/1631.73	c (1146,0) c I conflict literals : 2935849     (4.11% deleted; 0.47% by bin min, 0.083 s)
1858.87/1631.73	c (1146,0) c I len               : 6.417       (13.74 for all, max 529, used 467)
1858.87/1631.73	c (1146,0) c I lbd               : 3.530       (8.38 (7.45) for all, max 275, used 194, 3.092 stdev, 1.641 blk)
1858.87/1631.73	c (1146,0) c I amo               : 0           (0 max, -nan avg, 0.000 s)
1858.87/1631.73	c (1146,0) c I simp dbs          : 8           (8.781 s)
1858.87/1631.73	c (1146,0) c I reduce dbs        : 8           (core-lbd 2, supp-lbd 10, 0.020 s)
1858.87/1631.73	c (1146,0) c I learnts           : 97804       (107203 learnts removed, 52.59%)
1858.87/1631.73	c (1146,0) c I rewrite dbs       : 0           (0/293 vars, 0+0 taut, 0+0 unit, 0.000 s)
1858.87/1631.73	c (1146,0) c I assigned lits     : 2           (1212/1687 probed, 431 remains)
1858.87/1631.73	c (1146,0) c I premise updates   : 106009261   (19.42 /lit)
1858.87/1631.73	c (1146,0) c I probed variables  : 1687        (0 pr, 0 eq, 576 fld, 188 pol, 3 nec, 920 cla, 0 amo)
1858.87/1631.73	c (1146,0) c I equiv variables   : 293         (215 bin, 30 trn, 6 quat, 0 quin, 0 othr; 0 amo)
1858.87/1631.73	c (1146,0) c I lazy added bins   : 1356        (1356 prop + 0 conf, 2.350s)
1858.87/1631.73	c (1146,0) c I unwatched lit elim: 9751        (0.00+0.30%, 1044+8707 of 51277144+2935849)
1858.87/1631.73	c (1146,0) c I classified type   : normal
1858.87/1631.73	c (1146,0) c I progress          : 0.052 %
1858.87/1631.73	c (1146,0) c
1858.87/1631.73	c (1146,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
1858.87/1631.73	c (1146,0) c
1858.87/1631.73	c (1146,0) c 1146       874    204576  2727702 19645381    98521    6.5   3.6 207.8  2.1%
1924.25/1697.01	c (1212,0) c 1211 r     935    216000  2727690 19643741   110047    7.4   4.1 571.1  8.7%
1924.25/1697.01	c (1212,0) c
1924.25/1697.01	c (1212,0) c R [LBD Statistics #9]
1924.25/1697.01	c (1212,0) c R LBD         used lbd               used clause lbd
1924.25/1697.01	c (1212,0) c R  tot     2074626                  110047
1924.25/1697.01	c (1212,0) c R  avg       3.114                   4.057
1924.25/1697.01	c (1212,0) c R   1        14670 ( 0.7/ 0.7%)       1226 ( 1.1/ 1.1%)
1924.25/1697.01	c (1212,0) c R   2       665011 (32.1/32.8%)      37215 (33.8/34.9%)
1924.25/1697.01	c (1212,0) c R   3      1179735 (56.9/89.6%)      40299 (36.6/71.6%)
1924.25/1697.01	c (1212,0) c R
1924.25/1697.01	c (1212,0) c R core_lbd_threshold = 3
1924.25/1697.01	c (1212,0) c R supp_lbd_threshold = 10
1924.25/1697.01	c (1212,0) c R
1924.25/1697.01	c (1212,0) c R [RDB Statistics #9]
1924.25/1697.01	c (1212,0) c R kept: lbd      =   75802 (68.9/68.9%)
1924.25/1697.01	c (1212,0) c R kept: ttl      =   14057 (12.8/81.7%)
1924.25/1697.01	c (1212,0) c R kept: locked   =     157 ( 0.1/81.8%)
1924.25/1697.01	c (1212,0) c R lost: lbd      =    2784 ( 2.5/ 2.5%)
1924.25/1697.01	c (1212,0) c R lost: ttl      =   17247 (15.7/18.2%)
1924.25/1697.01	c (1212,0) c R lost: subsumed =       0 ( 0.0/18.2%)
1924.25/1697.01	c (1212,0) c
1924.25/1697.01	c (1212,0) c 1211 R     935    216000  2727690 19643741    90016    5.5   3.1 571.1  8.7%
2005.50/1778.23	c (1293,0) c 1292 p    1001    230473  2727103 19641773   104585    6.9   3.7 1082.5 12.6%
2137.68/1910.30	c (1425,0) c 1425 r    1108    245000  2727087 19594754   119328    8.1   4.4 657.2  9.2%
2137.68/1910.31	c (1425,0) c
2137.68/1910.31	c (1425,0) c R [LBD Statistics #10]
2137.68/1910.31	c (1425,0) c R LBD         used lbd               used clause lbd
2137.68/1910.31	c (1425,0) c R  tot     2567885                  119328
2137.68/1910.31	c (1425,0) c R  avg       3.100                   4.362
2137.68/1910.31	c (1425,0) c R   1        16893 ( 0.7/ 0.7%)       1374 ( 1.2/ 1.2%)
2137.68/1910.31	c (1425,0) c R   2       817115 (31.8/32.5%)      40227 (33.7/34.9%)
2137.68/1910.31	c (1425,0) c R   3      1491841 (58.1/90.6%)      46739 (39.2/74.0%)
2137.68/1910.31	c (1425,0) c R
2137.68/1910.31	c (1425,0) c R core_lbd_threshold = 3
2137.68/1910.31	c (1425,0) c R supp_lbd_threshold = 10
2137.68/1910.31	c (1425,0) c R
2137.68/1910.31	c (1425,0) c R [RDB Statistics #10]
2137.68/1910.31	c (1425,0) c R kept: lbd      =   86162 (72.2/72.2%)
2137.68/1910.31	c (1425,0) c R kept: ttl      =   11185 ( 9.4/81.6%)
2137.68/1910.31	c (1425,0) c R kept: locked   =     113 ( 0.1/81.7%)
2137.68/1910.31	c (1425,0) c R lost: lbd      =    2072 ( 1.7/ 1.7%)
2137.68/1910.31	c (1425,0) c R lost: ttl      =   19796 (16.6/18.3%)
2137.68/1910.31	c (1425,0) c R lost: subsumed =       0 ( 0.0/18.3%)
2137.68/1910.31	c (1425,0) c
2137.68/1910.31	c (1425,0) c 1425 R    1108    245000  2727087 19594754    97460    5.2   2.9 657.2  9.2%
2152.70/1925.31	c (1440,0) c 1440      1112    245594  2727085 19594754    98070    5.2   3.0 702.4 10.0%
2453.73/2226.15	c (1741,0) c 1740 r    1295    275000  2727066 19593442   127795    7.8   4.3 806.9 12.9%
2453.73/2226.16	c (1741,0) c
2453.73/2226.16	c (1741,0) c R [LBD Statistics #11]
2453.73/2226.16	c (1741,0) c R LBD         used lbd               used clause lbd
2453.73/2226.16	c (1741,0) c R  tot     3363622                  127795
2453.73/2226.16	c (1741,0) c R  avg       3.050                   4.268
2453.73/2226.16	c (1741,0) c R   1        19822 ( 0.6/ 0.6%)       1529 ( 1.2/ 1.2%)
2453.73/2226.16	c (1741,0) c R   2      1075454 (32.0/32.6%)      43729 (34.2/35.4%)
2453.73/2226.16	c (1741,0) c R   3      1994979 (59.3/91.9%)      53648 (42.0/77.4%)
2453.73/2226.16	c (1741,0) c R
2453.73/2226.16	c (1741,0) c R core_lbd_threshold = 3
2453.73/2226.16	c (1741,0) c R supp_lbd_threshold = 10
2453.73/2226.16	c (1741,0) c R
2453.73/2226.16	c (1741,0) c R [RDB Statistics #11]
2453.73/2226.16	c (1741,0) c R kept: lbd      =   96130 (75.2/75.2%)
2453.73/2226.16	c (1741,0) c R kept: ttl      =   11860 ( 9.3/84.5%)
2453.73/2226.16	c (1741,0) c R kept: locked   =     102 ( 0.1/84.6%)
2453.73/2226.16	c (1741,0) c R lost: lbd      =    2674 ( 2.1/ 2.1%)
2453.73/2226.16	c (1741,0) c R lost: ttl      =   17029 (13.3/15.4%)
2453.73/2226.16	c (1741,0) c R lost: subsumed =       0 ( 0.0/15.4%)
2453.73/2226.16	c (1741,0) c
2453.73/2226.16	c (1741,0) c 1740 R    1295    275000  2727066 19593442   108092    5.2   2.9 806.9 12.9%
2520.07/2292.41	c (1807,0) receiving signal SIGTERM
2520.07/2292.41	s UNKNOWN
2520.07/2292.41	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2292.41	c (scop.sh) Remove HOME/scop-13346-serial-file.bin.
2520.07/2292.41	c (scop.sh) Killing background jobs.
2520.07/2292.41	c (1807,0) receiving signal SIGTERM

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9116 MiB free)
  memory of node 1: 16384 MiB (13372 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=13346, runsolver pid=13343

[startup+0.100135 s]*
/proc/loadavg: 2.35 2.51 2.31 3/234 13364
/proc/meminfo: memFree=22967452/32770624 swapFree=67003116/67108860
[pid=13346] ppid=13343 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13346/stat : 13346 (scop.sh) S 13343 13346 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405765278 115843072 349 33554432000 4194304 5098028 140725710005712 140725710002968 139806928921212 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24199168 140725710009128 140725710009456 140725710009456 140725710012365 0
/proc/13346/statm: 28282 349 296 221 0 87 0
[pid=13349] ppid=13346 vsize=15014680 memory=74308 CPUtime=0.11 cores=1,3,5,7
/proc/13349/stat : 13349 (java) S 13346 13346 11905 0 -1 1077944320 6732 0 0 0 10 1 0 0 20 0 15 0 405765278 15375032320 18577 33554432000 4194304 4196468 140720944584624 140720944567168 140480874876663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
/proc/13349/statm: 3753670 18577 2932 1 0 3716075 0
[pid=13349/tid=13350] ppid=13346 vsize=15016308 memory=-6509246020331028415 CPUtime=0.08 cores=1,3,5,7
/proc/13349/task/13350/stat : 13350 (java) R 13346 13346 11905 0 -1 4202560 4733 0 0 0 7 1 0 0 20 0 15 0 405765278 15376699392 18775 33554432000 4194304 4196468 140720944584624 140480846660912 140480867167104 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13351] ppid=13346 vsize=15016308 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13351/stat : 13351 (java) S 13346 13346 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405765280 15376699392 18775 33554432000 4194304 4196468 140720944584624 140480879118864 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13352] ppid=13346 vsize=15016308 memory=140248704804480 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13352/stat : 13352 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15376699392 18775 33554432000 4194304 4196468 140720944584624 140480670202512 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13353] ppid=13346 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13353/stat : 13353 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15376699392 18841 33554432000 4194304 4196468 140720944584624 140480669149456 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13354] ppid=13346 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13354/stat : 13354 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15376699392 18841 33554432000 4194304 4196468 140720944584624 140480668096912 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13355] ppid=13346 vsize=15016308 memory=140248704804480 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13355/stat : 13355 (java) S 13346 13346 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405765281 15376699392 18841 33554432000 4194304 4196468 140720944584624 140479844788976 140480874887810 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13356] ppid=13346 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13356/stat : 13356 (java) S 13346 13346 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405765282 15376699392 18841 33554432000 4194304 4196468 140720944584624 140479454766752 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13357] ppid=13346 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13357/stat : 13357 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765282 15376699392 18907 33554432000 4194304 4196468 140720944584624 140479186330864 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13358] ppid=13346 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13358/stat : 13358 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405765284 15376699392 18907 33554432000 4194304 4196468 140720944584624 140478811822544 140480874895259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13359] ppid=13346 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13359/stat : 13359 (java) S 13346 13346 11905 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 405765284 15376699392 18907 33554432000 4194304 4196468 140720944584624 140479843735792 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13360] ppid=13346 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13360/stat : 13360 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405765284 15376699392 18907 33554432000 4194304 4196468 140720944584624 140479842683248 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13362] ppid=13346 vsize=15016308 memory=140248704804480 CPUtime=0.01 cores=1,3,5,7
/proc/13349/task/13362/stat : 13362 (java) S 13346 13346 11905 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 405765284 15376699392 18907 33554432000 4194304 4196468 140720944584624 140479841630192 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13363] ppid=13346 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13363/stat : 13363 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405765285 15376699392 18973 33554432000 4194304 4196468 140720944584624 140478313916768 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13364] ppid=13346 vsize=15016308 memory=140248704804480 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13364/stat : 13364 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765285 15376699392 18973 33554432000 4194304 4196468 140720944584624 140479840578608 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15127808 KiB
Current children cumulated memory: 75704 KiB

[startup+0.210826 s]*
/proc/loadavg: 2.35 2.51 2.31 4/234 13364
/proc/meminfo: memFree=22951956/32770624 swapFree=67003116/67108860
[pid=13346] ppid=13343 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13346/stat : 13346 (scop.sh) S 13343 13346 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405765278 115843072 349 33554432000 4194304 5098028 140725710005712 140725710002968 139806928921212 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24199168 140725710009128 140725710009456 140725710009456 140725710012365 0
/proc/13346/statm: 28282 349 296 221 0 87 0
[pid=13349] ppid=13346 vsize=15012696 memory=85960 CPUtime=0.25 cores=1,3,5,7
/proc/13349/stat : 13349 (java) S 13346 13346 11905 0 -1 1077944320 10984 0 0 0 22 3 0 0 20 0 15 0 405765278 15373000704 21424 33554432000 4194304 4196468 140720944584624 140720944567168 140480874876663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
/proc/13349/statm: 3753174 21490 2940 1 0 3715579 0
[pid=13349/tid=13350] ppid=13346 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/13349/task/13350/stat : 13350 (java) R 13346 13346 11905 0 -1 4202560 8727 0 0 0 17 3 0 0 20 0 15 0 405765278 15373000704 21490 33554432000 4194304 4196468 140720944584624 140480846676048 140480858957150 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13351] ppid=13346 vsize=15012696 memory=399 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13351/stat : 13351 (java) S 13346 13346 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405765280 15373000704 21490 33554432000 4194304 4196468 140720944584624 140480879118864 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13352] ppid=13346 vsize=15012696 memory=140248704817577 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13352/stat : 13352 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15373000704 21490 33554432000 4194304 4196468 140720944584624 140480670202512 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13353] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13353/stat : 13353 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15373000704 21490 33554432000 4194304 4196468 140720944584624 140480669149456 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13354] ppid=13346 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13354/stat : 13354 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15373000704 21490 33554432000 4194304 4196468 140720944584624 140480668096912 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13355] ppid=13346 vsize=15012696 memory=140248704804480 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13355/stat : 13355 (java) S 13346 13346 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405765281 15373000704 21490 33554432000 4194304 4196468 140720944584624 140479844788976 140480874887810 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13356] ppid=13346 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13356/stat : 13356 (java) S 13346 13346 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405765282 15373000704 21490 33554432000 4194304 4196468 140720944584624 140479454766752 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13357] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13357/stat : 13357 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765282 15373000704 21490 33554432000 4194304 4196468 140720944584624 140479186330864 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13358] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13358/stat : 13358 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405765284 15373000704 21490 33554432000 4194304 4196468 140720944584624 140478811822544 140480874895259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13359] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13359/stat : 13359 (java) S 13346 13346 11905 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 405765284 15373000704 21490 33554432000 4194304 4196468 140720944584624 140479843735792 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13360] ppid=13346 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13360/stat : 13360 (java) S 13346 13346 11905 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405765284 15373000704 21490 33554432000 4194304 4196468 140720944584624 140479842683248 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13362] ppid=13346 vsize=15012696 memory=140248704804480 CPUtime=0.03 cores=1,3,5,7
/proc/13349/task/13362/stat : 13362 (java) S 13346 13346 11905 0 -1 1077944384 486 0 0 0 3 0 0 0 20 0 15 0 405765284 15373000704 21490 33554432000 4194304 4196468 140720944584624 140479841630192 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13363] ppid=13346 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13363/stat : 13363 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405765285 15373000704 21490 33554432000 4194304 4196468 140720944584624 140478313916768 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13364] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13364/stat : 13364 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765285 15373000704 21490 33554432000 4194304 4196468 140720944584624 140479840578608 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87356 KiB

[startup+0.310579 s]*
/proc/loadavg: 2.35 2.51 2.31 5/234 13364
/proc/meminfo: memFree=22948296/32770624 swapFree=67003116/67108860
[pid=13346] ppid=13343 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13346/stat : 13346 (scop.sh) S 13343 13346 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405765278 115843072 349 33554432000 4194304 5098028 140725710005712 140725710002968 139806928921212 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24199168 140725710009128 140725710009456 140725710009456 140725710012365 0
/proc/13346/statm: 28282 349 296 221 0 87 0
[pid=13349] ppid=13346 vsize=15012696 memory=90244 CPUtime=0.44 cores=1,3,5,7
/proc/13349/stat : 13349 (java) S 13346 13346 11905 0 -1 1077944320 12025 0 0 0 40 4 0 0 20 0 15 0 405765278 15373000704 22561 33554432000 4194304 4196468 140720944584624 140720944567168 140480874876663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
/proc/13349/statm: 3753174 22561 3079 1 0 3715579 0
[pid=13349/tid=13350] ppid=13346 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=1,3,5,7
/proc/13349/task/13350/stat : 13350 (java) R 13346 13346 11905 0 -1 4202560 9547 0 0 0 27 3 0 0 20 0 15 0 405765278 15373000704 22561 33554432000 4194304 4196468 140720944584624 140480846694160 140480858957150 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13351] ppid=13346 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13351/stat : 13351 (java) S 13346 13346 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405765280 15373000704 22561 33554432000 4194304 4196468 140720944584624 140480879118864 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13352] ppid=13346 vsize=15012696 memory=3617297809147178945 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13352/stat : 13352 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15373000704 22561 33554432000 4194304 4196468 140720944584624 140480670202512 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13353] ppid=13346 vsize=15012696 memory=280497200855408 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13353/stat : 13353 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15373000704 22561 33554432000 4194304 4196468 140720944584624 140480669149456 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13354] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13354/stat : 13354 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15373000704 22561 33554432000 4194304 4196468 140720944584624 140480668096912 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13355] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13355/stat : 13355 (java) S 13346 13346 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405765281 15373000704 22561 33554432000 4194304 4196468 140720944584624 140479844788976 140480874887810 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13356] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13356/stat : 13356 (java) S 13346 13346 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405765282 15373000704 22561 33554432000 4194304 4196468 140720944584624 140479454766752 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13357] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13357/stat : 13357 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765282 15373000704 22561 33554432000 4194304 4196468 140720944584624 140479186330864 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13358] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13358/stat : 13358 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405765284 15373000704 22561 33554432000 4194304 4196468 140720944584624 140478811822544 140480874895259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13359] ppid=13346 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13349/task/13359/stat : 13359 (java) S 13346 13346 11905 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 15 0 405765284 15373000704 22561 33554432000 4194304 4196468 140720944584624 140479843735792 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13360] ppid=13346 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13349/task/13360/stat : 13360 (java) S 13346 13346 11905 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 15 0 405765284 15373000704 22561 33554432000 4194304 4196468 140720944584624 140479842683248 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13362] ppid=13346 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13349/task/13362/stat : 13362 (java) S 13346 13346 11905 0 -1 1077944384 532 0 0 0 7 0 0 0 20 0 15 0 405765284 15373000704 22561 33554432000 4194304 4196468 140720944584624 140479841630192 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13363] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13363/stat : 13363 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405765285 15373000704 22561 33554432000 4194304 4196468 140720944584624 140478313916768 140480874886869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13364] ppid=13346 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13364/stat : 13364 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765285 15373000704 22561 33554432000 4194304 4196468 140720944584624 140479840578608 140480874887810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91640 KiB

[startup+0.702649 s]
/proc/loadavg: 2.35 2.51 2.31 3/234 13364
/proc/meminfo: memFree=22924968/32770624 swapFree=67003116/67108860
[pid=13346] ppid=13343 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13346/stat : 13346 (scop.sh) S 13343 13346 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405765278 115843072 349 33554432000 4194304 5098028 140725710005712 140725710002968 139806928921212 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24199168 140725710009128 140725710009456 140725710009456 140725710012365 0
/proc/13346/statm: 28282 349 296 221 0 87 0
[pid=13349] ppid=13346 vsize=15018968 memory=129888 CPUtime=1.02 cores=1,3,5,7
/proc/13349/stat : 13349 (java) S 13346 13346 11905 0 -1 1077944320 19667 0 0 0 96 6 0 0 20 0 15 0 405765278 15379423232 32472 33554432000 4194304 4196468 140720944584624 140720944567168 140480874876663 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
/proc/13349/statm: 3754742 32472 3183 1 0 3716091 0
[pid=13349/tid=13350] ppid=13346 vsize=15018968 memory=776 CPUtime=0.67 cores=1,3,5,7
/proc/13349/task/13350/stat : 13350 (java) R 13346 13346 11905 0 -1 1077944384 16630 0 0 0 62 5 0 0 20 0 15 0 405765278 15379423232 32472 33554432000 4194304 4196468 140720944584624 140480846712000 140480874886869 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13351] ppid=13346 vsize=15018968 memory=3936 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13351/stat : 13351 (java) S 13346 13346 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405765280 15379423232 32472 33554432000 4194304 4196468 140720944584624 140480879118864 140480874886869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13352] ppid=13346 vsize=15018968 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13352/stat : 13352 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15379423232 32472 33554432000 4194304 4196468 140720944584624 140480670202512 140480874886869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13353] ppid=13346 vsize=15018968 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13353/stat : 13353 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15379423232 32472 33554432000 4194304 4196468 140720944584624 140480669149456 140480874886869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13354] ppid=13346 vsize=15018968 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13354/stat : 13354 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765280 15379423232 32472 33554432000 4194304 4196468 140720944584624 140480668096912 140480874886869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13355] ppid=13346 vsize=15018968 memory=5840 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13355/stat : 13355 (java) S 13346 13346 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405765281 15379423232 32472 33554432000 4194304 4196468 140720944584624 140479844788976 140480874887810 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13356] ppid=13346 vsize=15018968 memory=636 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13356/stat : 13356 (java) S 13346 13346 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405765282 15379423232 32472 33554432000 4194304 4196468 140720944584624 140479454766752 140480874886869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13357] ppid=13346 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13357/stat : 13357 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765282 15379423232 32472 33554432000 4194304 4196468 140720944584624 140479186330864 140480874886869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13358] ppid=13346 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13358/stat : 13358 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405765284 15379423232 32472 33554432000 4194304 4196468 140720944584624 140478811822544 140480874895259 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13359] ppid=13346 vsize=15018968 memory=1568 CPUtime=0.09 cores=1,3,5,7
/proc/13349/task/13359/stat : 13359 (java) R 13346 13346 11905 0 -1 4202560 756 0 0 0 9 0 0 0 20 0 15 0 405765284 15379423232 32472 33554432000 4194304 4196468 140720944584624 140479843735792 140480874898010 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13360] ppid=13346 vsize=15018968 memory=1040 CPUtime=0.07 cores=1,3,5,7
/proc/13349/task/13360/stat : 13360 (java) R 13346 13346 11905 0 -1 4202560 273 0 0 0 7 0 0 0 20 0 15 0 405765284 15379423232 32472 33554432000 4194304 4196468 140720944584624 140479842683248 140480852471408 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13362] ppid=13346 vsize=15018968 memory=14008 CPUtime=0.16 cores=1,3,5,7
/proc/13349/task/13362/stat : 13362 (java) R 13346 13346 11905 0 -1 4202560 673 0 0 0 16 0 0 0 20 0 15 0 405765284 15379423232 32472 33554432000 4194304 4196468 140720944584624 140479841626560 140480854011187 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13363] ppid=13346 vsize=15018968 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13363/stat : 13363 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405765285 15379423232 32472 33554432000 4194304 4196468 140720944584624 140478313916768 140480874886869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
[pid=13349/tid=13364] ppid=13346 vsize=15018968 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/13349/task/13364/stat : 13364 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405765285 15379423232 32472 33554432000 4194304 4196468 140720944584624 140479840578608 140480874887810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140720944587502 140720944587930 140720944587930 140720944590799 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131284 KiB

[startup+1.50085 s]
/proc/loadavg: 2.35 2.51 2.31 5/234 13364
/proc/meminfo: memFree=22867208/32770624 swapFree=67003116/67108860
[pid=13346] ppid=13343 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/13346/stat : 13346 (scop.sh) S 13343 13346 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405765278 115843072 349 33554432000 4194304 5098028 140725710005712 140725710002968 139806928921212 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24199168 140725710009128 140725710009456 140725710009456 140725710012365 0
/proc/13346/statm: 28282 349 296 221 0 87 0

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

[pid=13721] ppid=13706 vsize=2265876 memory=1984892 CPUtime=1777.19 cores=1,3,5,7
/proc/13721/stat : 13721 (glueminisat-sim) R 13706 13346 11905 0 -1 4202496 8832571 0 0 0 175185 2534 0 0 20 0 1 0 405813806 2320257024 496223 33554432000 4194304 4452875 140735820734992 140735820730088 4372064 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 20774912 140735820739423 140735820739623 140735820739623 140735820742573 0
/proc/13721/statm: 566469 496223 376 64 0 562673 0
[pid=13706/tid=13707] ppid=13346 vsize=8068440 memory=134724 CPUtime=0.9 cores=1,3,5,7
/proc/13706/task/13707/stat : 13707 (java) S 13346 13346 11905 0 -1 1077944384 16370 0 0 0 78 12 0 0 20 0 19 0 405813720 8262082560 33681 33554432000 4194304 4196468 140729513200560 140393866444704 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13708] ppid=13346 vsize=8068440 memory=134724 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13708/stat : 13708 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405813721 8262082560 33681 33554432000 4194304 4196468 140729513200560 140393898847120 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13709] ppid=13346 vsize=8068440 memory=134724 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13709/stat : 13709 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405813721 8262082560 33681 33554432000 4194304 4196468 140729513200560 140393699015440 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13710] ppid=13346 vsize=8068440 memory=134724 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13710/stat : 13710 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405813721 8262082560 33681 33554432000 4194304 4196468 140729513200560 140393697963152 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13711] ppid=13346 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13711/stat : 13711 (java) S 13346 13346 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405813721 8262082560 33681 33554432000 4194304 4196468 140729513200560 140393696910352 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13712] ppid=13346 vsize=8068440 memory=134724 CPUtime=0.04 cores=1,3,5,7
/proc/13706/task/13712/stat : 13712 (java) S 13346 13346 11905 0 -1 1077944384 9 0 0 0 1 3 0 0 20 0 19 0 405813723 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392938403952 140393894615682 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13713] ppid=13346 vsize=8068440 memory=134724 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13713/stat : 13713 (java) S 13346 13346 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405813723 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392817222432 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13714] ppid=13346 vsize=8068440 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13714/stat : 13714 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405813723 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392548787312 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13715] ppid=13346 vsize=8068440 memory=37520 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13715/stat : 13715 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405813726 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392174278736 140393894623131 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13716] ppid=13346 vsize=8068440 memory=636 CPUtime=0.25 cores=1,3,5,7
/proc/13706/task/13716/stat : 13716 (java) S 13346 13346 11905 0 -1 1077944384 1056 0 0 0 24 1 0 0 20 0 19 0 405813726 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392937351792 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13717] ppid=13346 vsize=8068440 memory=2832 CPUtime=0.26 cores=1,3,5,7
/proc/13706/task/13717/stat : 13717 (java) S 13346 13346 11905 0 -1 1077944384 492 0 0 0 26 0 0 0 20 0 19 0 405813726 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392936298992 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13718] ppid=13346 vsize=8068440 memory=2832 CPUtime=0.27 cores=1,3,5,7
/proc/13706/task/13718/stat : 13718 (java) S 13346 13346 11905 0 -1 1077944384 1152 0 0 0 26 1 0 0 20 0 19 0 405813726 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392935246704 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13719] ppid=13346 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13719/stat : 13719 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405813726 8262082560 33681 33554432000 4194304 4196468 140729513200560 140391676373984 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13720] ppid=13346 vsize=8068440 memory=1476 CPUtime=1 cores=1,3,5,7
/proc/13706/task/13720/stat : 13720 (java) S 13346 13346 11905 0 -1 1077944384 119 0 0 0 47 53 0 0 20 0 19 0 405813727 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392934193584 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13722] ppid=13346 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13722/stat : 13722 (java) S 13346 13346 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405813807 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392926159808 140393894629145 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13724] ppid=13346 vsize=8068440 memory=1476 CPUtime=0.03 cores=1,3,5,7
/proc/13706/task/13724/stat : 13724 (java) S 13346 13346 11905 0 -1 4202560 1740 0 0 0 2 1 0 0 20 0 19 0 405813807 8262082560 33681 33554432000 4194304 4196468 140729513200560 140391139487216 140393894626461 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13725] ppid=13346 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13725/stat : 13725 (java) S 13346 13346 11905 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405813807 8262082560 33681 33554432000 4194304 4196468 140729513200560 140391273709456 140393894626461 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13726] ppid=13346 vsize=8068440 memory=56 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13726/stat : 13726 (java) S 13346 13346 11905 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405813810 8262082560 33681 33554432000 4194304 4196468 140729513200560 140390871063984 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
Current children cumulated CPU time: 2489.95 s
Current children cumulated vsize: 10447444 KiB
Current children cumulated memory: 2121092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2292.4 s]
/proc/loadavg: 2.04 2.12 2.13 3/239 13913
/proc/meminfo: memFree=20345792/32770624 swapFree=67003116/67108860
[pid=13346] ppid=13343 vsize=113128 memory=1476 CPUtime=709.96 cores=1,3,5,7
/proc/13346/stat : 13346 (scop.sh) S 13343 13346 11905 0 -1 4202496 584 171462 0 0 0 0 70112 884 20 0 1 0 405765278 115843072 369 33554432000 4194304 5098028 140725710005712 140725710002456 139806928921212 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24199168 140725710009128 140725710009456 140725710009456 140725710012365 0
/proc/13346/statm: 28282 369 311 221 0 87 0
[pid=13706] ppid=13346 vsize=8068440 memory=134724 CPUtime=2.82 cores=1,3,5,7
/proc/13706/stat : 13706 (java) S 13346 13346 11905 0 -1 1077944320 22314 0 0 0 215 67 0 0 20 0 19 0 405813719 8262082560 33681 33554432000 4194304 4196468 140729513200560 140729513183104 140393894604535 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
/proc/13706/statm: 2017110 33681 3211 1 0 1978454 0
[pid=13721] ppid=13706 vsize=2265876 memory=1984892 CPUtime=1807.29 cores=1,3,5,7
/proc/13721/stat : 13721 (glueminisat-sim) R 13706 13346 11905 0 -1 4202496 9004073 0 0 0 178156 2573 0 0 20 0 1 0 405813806 2320257024 496223 33554432000 4194304 4452875 140735820734992 140735820730088 140278043762567 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 20774912 140735820739423 140735820739623 140735820739623 140735820742573 0
/proc/13721/statm: 566469 496223 376 64 0 562673 0
[pid=13706/tid=13707] ppid=13346 vsize=8068440 memory=-7824251494390652260 CPUtime=0.9 cores=1,3,5,7
/proc/13706/task/13707/stat : 13707 (java) S 13346 13346 11905 0 -1 1077944384 16370 0 0 0 78 12 0 0 20 0 19 0 405813720 8262082560 33681 33554432000 4194304 4196468 140729513200560 140393866444704 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13708] ppid=13346 vsize=8068440 memory=134724 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13708/stat : 13708 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405813721 8262082560 33681 33554432000 4194304 4196468 140729513200560 140393898847120 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13709] ppid=13346 vsize=8068440 memory=1984892 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13709/stat : 13709 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405813721 8262082560 33681 33554432000 4194304 4196468 140729513200560 140393699015440 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13710] ppid=13346 vsize=8068440 memory=189268 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13710/stat : 13710 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405813721 8262082560 33681 33554432000 4194304 4196468 140729513200560 140393697963152 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13711] ppid=13346 vsize=8068440 memory=134724 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13711/stat : 13711 (java) S 13346 13346 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405813721 8262082560 33681 33554432000 4194304 4196468 140729513200560 140393696910352 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13712] ppid=13346 vsize=8068440 memory=1476 CPUtime=0.04 cores=1,3,5,7
/proc/13706/task/13712/stat : 13712 (java) S 13346 13346 11905 0 -1 1077944384 9 0 0 0 1 3 0 0 20 0 19 0 405813723 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392938403952 140393894615682 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13713] ppid=13346 vsize=8068440 memory=134724 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13713/stat : 13713 (java) S 13346 13346 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405813723 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392817222432 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13714] ppid=13346 vsize=8068440 memory=1984892 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13714/stat : 13714 (java) S 13346 13346 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405813723 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392548787312 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13715] ppid=13346 vsize=8068440 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13715/stat : 13715 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405813726 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392174278736 140393894623131 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13716] ppid=13346 vsize=8068440 memory=3616 CPUtime=0.25 cores=1,3,5,7
/proc/13706/task/13716/stat : 13716 (java) S 13346 13346 11905 0 -1 1077944384 1056 0 0 0 24 1 0 0 20 0 19 0 405813726 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392937351792 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13717] ppid=13346 vsize=8068440 memory=37544 CPUtime=0.26 cores=1,3,5,7
/proc/13706/task/13717/stat : 13717 (java) S 13346 13346 11905 0 -1 1077944384 492 0 0 0 26 0 0 0 20 0 19 0 405813726 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392936298992 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13718] ppid=13346 vsize=8068440 memory=988 CPUtime=0.27 cores=1,3,5,7
/proc/13706/task/13718/stat : 13718 (java) S 13346 13346 11905 0 -1 1077944384 1152 0 0 0 26 1 0 0 20 0 19 0 405813726 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392935246704 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13719] ppid=13346 vsize=8068440 memory=-7824251494390652260 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13719/stat : 13719 (java) S 13346 13346 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405813726 8262082560 33681 33554432000 4194304 4196468 140729513200560 140391676373984 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13720] ppid=13346 vsize=8068440 memory=6628 CPUtime=1.01 cores=1,3,5,7
/proc/13706/task/13720/stat : 13720 (java) S 13346 13346 11905 0 -1 1077944384 121 0 0 0 47 54 0 0 20 0 19 0 405813727 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392934193584 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13722] ppid=13346 vsize=8068440 memory=17665 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13722/stat : 13722 (java) S 13346 13346 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405813807 8262082560 33681 33554432000 4194304 4196468 140729513200560 140392926159808 140393894629145 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13724] ppid=13346 vsize=8068440 memory=4420 CPUtime=0.03 cores=1,3,5,7
/proc/13706/task/13724/stat : 13724 (java) S 13346 13346 11905 0 -1 4202560 1740 0 0 0 2 1 0 0 20 0 19 0 405813807 8262082560 33681 33554432000 4194304 4196468 140729513200560 140391139487216 140393894626461 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13725] ppid=13346 vsize=8068440 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13725/stat : 13725 (java) S 13346 13346 11905 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405813807 8262082560 33681 33554432000 4194304 4196468 140729513200560 140391273709456 140393894626461 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13726] ppid=13346 vsize=8068440 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/13706/task/13726/stat : 13726 (java) S 13346 13346 11905 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405813810 8262082560 33681 33554432000 4194304 4196468 140729513200560 140390871063984 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10447444 KiB
Current children cumulated memory: 2121092 KiB

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

[startup+2292.42 s]
# the end of solver process 13346 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=701.126 s, system=8.85324 s

[startup+2292.56 s]
# the end of solver process 13706 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2484.85 s, system=35.417 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2292.51 s]*
/proc/loadavg: 2.04 2.12 2.13 3/236 13917
/proc/meminfo: memFree=22485300/32770624 swapFree=67003116/67108860
[pid=13706] ppid=13343 vsize=8199512 memory=144972 CPUtime=1810.24 cores=1,3,5,7
/proc/13706/stat : 13706 (java) S 13343 13346 11905 0 -1 1077944320 22387 9004073 0 0 216 70 178156 2582 20 0 18 0 405813719 8396300288 36243 33554432000 4194304 4196468 140729513200560 140729513183104 140393894604535 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
/proc/13706/statm: 2049878 36243 3213 1 0 2011222 0
[pid=13706/tid=13707] ppid=13343 vsize=8199512 memory=1398720917958146503 CPUtime=1808.28 cores=1,3,5,7
/proc/13706/task/13707/stat : 13707 (java) S 13343 13346 11905 0 -1 1077944384 16370 9004073 0 0 78 12 178156 2582 20 0 18 0 405813720 8396300288 36243 33554432000 4194304 4196468 140729513200560 140393866445424 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13708] ppid=13343 vsize=8199512 memory=4872558044660077418 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13708/stat : 13708 (java) S 13343 13346 11905 0 -1 1077944384 1 9004073 0 0 0 0 178156 2582 20 0 18 0 405813721 8396300288 36243 33554432000 4194304 4196468 140729513200560 140393898847120 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13709] ppid=13343 vsize=8199512 memory=6944656591801717918 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13709/stat : 13709 (java) S 13343 13346 11905 0 -1 1077944384 1 9004073 0 0 0 0 178156 2582 20 0 18 0 405813721 8396300288 36243 33554432000 4194304 4196468 140729513200560 140393699015440 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13710] ppid=13343 vsize=8199512 memory=-9001734043636558696 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13710/stat : 13710 (java) S 13343 13346 11905 0 -1 1077944384 1 9004073 0 0 0 0 178156 2582 20 0 18 0 405813721 8396300288 36243 33554432000 4194304 4196468 140729513200560 140393697963152 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13711] ppid=13343 vsize=8199512 memory=4137282616176187523 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13711/stat : 13711 (java) S 13343 13346 11905 0 -1 1077944384 2 9004073 0 0 0 0 178156 2582 20 0 18 0 405813721 8396300288 36243 33554432000 4194304 4196468 140729513200560 140393696910352 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13712] ppid=13343 vsize=8199512 memory=4137282616176187523 CPUtime=1807.42 cores=1,3,5,7
/proc/13706/task/13712/stat : 13712 (java) S 13343 13346 11905 0 -1 1077944384 9 9004073 0 0 1 3 178156 2582 20 0 18 0 405813723 8396300288 36243 33554432000 4194304 4196468 140729513200560 140392938403456 140393894615682 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13713] ppid=13343 vsize=8199512 memory=6944656592452807316 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13713/stat : 13713 (java) S 13343 13346 11905 0 -1 1077944384 13 9004073 0 0 0 0 178156 2582 20 0 18 0 405813723 8396300288 36243 33554432000 4194304 4196468 140729513200560 140392817222432 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13714] ppid=13343 vsize=8199512 memory=-7737605721172012177 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13714/stat : 13714 (java) S 13343 13346 11905 0 -1 1077944384 1 9004073 0 0 0 0 178156 2582 20 0 18 0 405813723 8396300288 36243 33554432000 4194304 4196468 140729513200560 140392548787312 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13715] ppid=13343 vsize=8199512 memory=134724 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13715/stat : 13715 (java) S 13343 13346 11905 0 -1 1077944384 33 9004073 0 0 0 0 178156 2582 20 0 18 0 405813726 8396300288 36243 33554432000 4194304 4196468 140729513200560 140392174278384 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13716] ppid=13343 vsize=8199512 memory=1984892 CPUtime=1807.63 cores=1,3,5,7
/proc/13706/task/13716/stat : 13716 (java) S 13343 13346 11905 0 -1 1077944384 1068 9004073 0 0 24 1 178156 2582 20 0 18 0 405813726 8396300288 36243 33554432000 4194304 4196468 140729513200560 140392937340688 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13717] ppid=13343 vsize=8199512 memory=27 CPUtime=1807.64 cores=1,3,5,7
/proc/13706/task/13717/stat : 13717 (java) S 13343 13346 11905 0 -1 1077944384 492 9004073 0 0 26 0 178156 2582 20 0 18 0 405813726 8396300288 36243 33554432000 4194304 4196468 140729513200560 140392936298992 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13718] ppid=13343 vsize=8199512 memory=4872558044660077418 CPUtime=1807.65 cores=1,3,5,7
/proc/13706/task/13718/stat : 13718 (java) S 13343 13346 11905 0 -1 1077944384 1152 9004073 0 0 26 1 178156 2582 20 0 18 0 405813726 8396300288 36243 33554432000 4194304 4196468 140729513200560 140392935246704 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13719] ppid=13343 vsize=8199512 memory=130316 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13719/stat : 13719 (java) S 13343 13346 11905 0 -1 1077944384 3 9004073 0 0 0 0 178156 2582 20 0 18 0 405813726 8396300288 36243 33554432000 4194304 4196468 140729513200560 140391676373984 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13722] ppid=13343 vsize=8199512 memory=195412 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13722/stat : 13722 (java) S 13343 13346 11905 0 -1 1077944384 23 9004073 0 0 0 0 178156 2582 20 0 18 0 405813807 8396300288 36243 33554432000 4194304 4196468 140729513200560 140392926158992 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13726] ppid=13343 vsize=8199512 memory=134724 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13726/stat : 13726 (java) S 13343 13346 11905 0 -1 1077944384 25 9004073 0 0 0 0 178156 2582 20 0 18 0 405813810 8396300288 36243 33554432000 4194304 4196468 140729513200560 140390871065776 140393894615682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13914] ppid=13343 vsize=8199512 memory=1984892 CPUtime=1807.38 cores=1,3,5,7
/proc/13706/task/13914/stat : 13914 (java) S 13343 13346 11905 0 -1 1077944384 4 9004073 0 0 0 0 178156 2582 20 0 18 0 405994519 8396300288 36243 33554432000 4194304 4196468 140729513200560 140390602629712 140393894614741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
[pid=13706/tid=13917] ppid=13343 vsize=8199512 memory=4104 CPUtime=1807.41 cores=1,3,5,7
/proc/13706/task/13917/stat : 13917 (java) R 13343 13346 11905 0 -1 4202560 2 9004073 0 0 0 3 178156 2582 20 0 18 0 405994519 8396300288 36243 33554432000 4194304 4196468 140729513200560 140390334194976 140393887290167 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14356480 140729513206779 140729513206938 140729513206938 140729513209807 0
Current cumulated CPU time of completed processes: 709.979 s
Current children cumulated CPU time: 1810.24 s
Current children cumulated vsize: 8199512 KiB
Current children cumulated memory: 144972 KiB

Child status: 1
Real time (s): 2292.56
CPU time (s): 2520.27
CPU user time (s): 2484.85
CPU system time (s): 35.417
CPU usage (%): 109.933
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 11714784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2484.85
system time used= 35.417
maximum resident set size= 11713628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9199008
page faults= 0
swaps= 0
block input operations= 16
block output operations= 833528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59126
involuntary context switches= 3404


# summary of solver processes directly reported to runsolver:
#   pid: 13346,13706
#   total CPU time (s): 2520.27
#   total CPU user time (s): 2484.85
#   total CPU system time (s): 35.417

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9986 second user time and 24.4126 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-12 15:32:02
IDJOB=4388079
IDBENCH=133801
IDSOLVER=2825
FILE ID=node136/4388079-1568295166
RUNJOBID= node136-1568289646-11937
PBS_JOBID= 21701094
Free space on /tmp= 54616 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg3/QuasiGroup-3-40.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-4388079-1568295166/watcher-4388079-1568295166 -o /tmp/evaluation-result-4388079-1568295166/solver-4388079-1568295166 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568289646-11937 --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-4388079-1568295166.xml

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

MD5SUM BENCH= e27695e2b8dc2930e1e97c4ddd0ab1f7
RANDOM SEED=772315022

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23027820 kB
MemAvailable:   31686656 kB
Buffers:           93636 kB
Cached:          8763376 kB
SwapCached:         2468 kB
Active:          1528740 kB
Inactive:        7510688 kB
Active(anon):     183856 kB
Inactive(anon):    40044 kB
Active(file):    1344884 kB
Inactive(file):  7470644 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       67003116 kB
Dirty:             20680 kB
Writeback:             0 kB
AnonPages:        289440 kB
Mapped:            55012 kB
Shmem:             32792 kB
Slab:             301140 kB
SReclaimable:     271768 kB
SUnreclaim:        29372 kB
KernelStack:        3824 kB
PageTables:         6260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6036212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54600 MiB
End job on node136 at 2019-09-12 16:10:15