Trace number 4388382

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)UNSAT 40.2702 24.4555

General information on the benchmark

NameRlfap_mini/Rlfap-dec-scens11_mini/
Rlfap-ext-scen-11-f02_c18.xml
MD5SUM7ac25fa9c4532324d4bc78edd5427656
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark39.1724
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size42
Distribution of domain sizes[{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":35,"count":336},{"size":42,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints4103
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4103}]
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-14846-serial-file.bin HOME/instance-4388382-1568299113.xml
0.67/0.54	
0.67/0.54	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.54	
0.67/0.56	c BEGIN-Prog: Thu Sep 12 16:37:51 CEST 2019
0.67/0.56	c PID: 14849
0.67/0.56	c IP: 172.20.3.147
0.67/0.56	c HOST: node147.alineos.net
0.67/0.57	c (0,0) Parsing Begin
3.93/1.63	c (1,1) Parsing End
3.93/1.63	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 42
3.93/1.63	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
3.93/1.63	c (1,1) Constraint Name Generate Begin
3.93/1.66	c (1,1) Ctr:HOME/instance-4388382-1568299113.xml,ExtensionConflict:ExtensionSupport:Var
3.93/1.66	c (1,1) Constraint Name Generate End
3.93/1.66	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.93/1.66	c (1,1) CSP to CSPinCNF Begin
8.00/3.33	c (2,2) translated 411 (10%) constraints
9.48/4.40	c (3,3) translated 821 (20%) constraints
10.30/5.27	c (4,4) translated 1231 (30%) constraints
11.30/6.16	c (5,5) translated 1642 (40%) constraints
12.19/7.00	c (6,6) translated 2052 (50%) constraints
13.10/7.89	c (7,7) translated 2462 (60%) constraints
14.63/8.92	c (8,8) translated 2873 (70%) constraints
15.63/9.97	c (9,9) translated 3283 (80%) constraints
16.70/10.96	c (10,10) translated 3693 (90%) constraints
20.78/12.51	c (11,11) translated 4103 (100%) constraints
20.78/12.51	c (11,11) ===========================================
20.78/12.52	c (11,11) Order
20.78/12.52	c (11,11) ===========================================
21.48/12.92	c (12,12) translated 17614 (10%) constraints
21.93/13.30	c (12,12) translated 35228 (20%) constraints
22.23/13.67	c (13,12) translated 52842 (30%) constraints
22.64/14.05	c (13,13) translated 70455 (40%) constraints
23.03/14.43	c (13,13) translated 88069 (50%) constraints
23.43/14.81	c (14,14) translated 105683 (60%) constraints
23.84/15.21	c (14,14) translated 123296 (70%) constraints
24.32/15.61	c (15,14) translated 140910 (80%) constraints
25.93/16.25	c (15,15) translated 158524 (90%) constraints
26.23/16.58	c (16,15) translated 176137 (100%) constraints
26.23/16.58	c (16,15) CSP to CSPinCNF End
26.23/16.58	c (16,15) CSP: 680 int (0 aux), 12432 bool (12432 aux), 176137 ctr, max domain size 40
26.23/16.58	c (16,15) Heap : 457 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.23/16.58	c (16,15) CSPinCNF Propagation Begin
30.19/17.94	c (17,16) 0 values, 14257 unsatisfiable literals, and 680 valid clauses are removed
30.19/17.94	c (17,16) CSPinCNF Propagation End
30.19/17.94	c (17,16) CSP: 680 int (0 aux), 12432 bool (12432 aux), 175457 ctr, max domain size 40
30.19/17.94	c (17,16) Heap : 1301 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
30.19/17.95	c (17,16) Simplify CSPinCNF Begin
30.84/18.33	c (17,17) Simplify CSPinCNF End
30.84/18.34	c (17,17) CSP: 680 int (0 aux), 12432 bool (12432 aux), 175457 ctr, max domain size 40
30.84/18.34	c (17,17) Heap : 1521 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
30.84/18.34	c (17,17) Calculate Precise Domain Begin
30.84/18.34	c (17,17) 0 values are removed by re-calculation
30.84/18.34	c (17,17) Calculate Precise Domain End
30.84/18.34	c (17,17) CSP: 680 int (0 aux), 12432 bool (12432 aux), 175457 ctr, max domain size 40
30.84/18.34	c (17,17) Heap : 1521 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
30.84/18.34	c (17,17) CSPinCNF to SatSolver Begin
32.51/18.92	c (18,17) 17546 (10 %) CSP clauses are encoded (0 SAT variables, 41049 SAT clauses)
32.81/19.12	c (18,18) 35092 (20 %) CSP clauses are encoded (0 SAT variables, 58595 SAT clauses)
33.00/19.30	c (18,18) 52638 (30 %) CSP clauses are encoded (0 SAT variables, 76141 SAT clauses)
33.10/19.49	c (18,18) 70183 (40 %) CSP clauses are encoded (0 SAT variables, 93686 SAT clauses)
33.30/19.68	c (19,18) 87729 (50 %) CSP clauses are encoded (0 SAT variables, 111232 SAT clauses)
33.50/19.87	c (19,18) 105275 (60 %) CSP clauses are encoded (0 SAT variables, 128778 SAT clauses)
33.72/20.07	c (19,19) 122820 (70 %) CSP clauses are encoded (0 SAT variables, 146323 SAT clauses)
33.91/20.29	c (19,19) 140366 (80 %) CSP clauses are encoded (0 SAT variables, 163869 SAT clauses)
35.01/20.63	c (20,19) 157912 (90 %) CSP clauses are encoded (0 SAT variables, 181415 SAT clauses)
35.19/20.75	c (20,19) 175457 (100 %) CSP clauses are encoded (0 SAT variables, 198960 SAT clauses)
35.19/20.75	c (20,19) CSPinCNF to SatSolver End
35.19/20.75	c (20,19) Heap : 304 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
35.19/20.75	c (20,19) 36616 bool, 198961 clause
35.19/20.75	c (20,19) Export Begin
35.85/21.04	c (20,19) Export to HOME/scop-14846-serial-file.bin
35.85/21.04	c (20,19) Export End
35.85/21.04	c (20,19) Export File Size: 4.35 MB
35.85/21.04	c (20,19) 1,1,16,17,17,17,20,STOP-AFTER(DIMACS)
35.85/21.04	c END-Prog: Thu Sep 12 16:38:11 CEST 2019
35.85/21.06	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14846-serial-file.bin
35.94/21.53	c (0,0) Read Serial File Begin
35.94/21.53	c (0,0) HOME/scop-14846-serial-file.bin
35.94/21.93	c (0,0) Read Serial File End
35.94/21.94	
35.94/21.94	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
35.94/21.94	(Solving Process)
35.94/21.94	
35.94/21.96	c BEGIN-Prog: Thu Sep 12 16:38:12 CEST 2019
35.94/21.96	c PID: 15214
35.94/21.96	c IP: 172.20.3.147
35.94/21.96	c HOST: node147.alineos.net
35.94/21.97	c (0,0) SatSolver.solve Begin
35.94/21.97	c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388382-1568299113.xml-scop-14849.cnf
37.66/22.01	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
37.66/22.01	c (0,0) c glueminisat-simp-2.2.10-193oa-n
37.66/22.01	c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388382-1568299113.xml-scop-14849.cnf 
37.66/22.01	c (0,0) c Options:
37.66/22.01	c (0,0) c CORE
37.66/22.01	c (0,0) c  var_decay             = 0.950
37.66/22.01	c (0,0) c  clause_decay          = 0.999
37.66/22.01	c (0,0) c  random_var_freq       = 0.000
37.66/22.01	c (0,0) c  random_seed           = 91648253.000
37.66/22.01	c (0,0) c  luby_restart          = 1
37.66/22.01	c (0,0) c  ccmin_mode            = 2
37.66/22.01	c (0,0) c  phase_saving          = 2
37.66/22.01	c (0,0) c  rnd_pol               = 0
37.66/22.01	c (0,0) c  rnd_init_act          = 0
37.66/22.01	c (0,0) c  garbage_frac          = 0.200
37.66/22.01	c (0,0) c  restart_first         = 1000
37.66/22.01	c (0,0) c  restart_inc           = 2.000
37.66/22.01	c (0,0) c MODEL
37.66/22.01	c (0,0) c  partial_model         = 0
37.66/22.01	c (0,0) c PROPAGATION
37.66/22.01	c (0,0) c  bin_propagation       = 1
37.66/22.01	c (0,0) c SIMPLIFICATION
37.66/22.01	c (0,0) c  lrn_min_size          = 100
37.66/22.01	c (0,0) c  lazy_simp             = 1
37.66/22.01	c (0,0) c  lazy_interval         = 10
37.66/22.01	c (0,0) c  lazy_fld_probing      = 1
37.66/22.01	c (0,0) c  lazy_pol_probing      = 1
37.66/22.01	c (0,0) c  lazy_nec_probing      = 1
37.66/22.01	c (0,0) c  lazy_eqv_probing      = 1
37.66/22.01	c (0,0) c  lazy_cla_probing      = 1
37.66/22.01	c (0,0) c  lazy_lrn_min          = 2
37.66/22.01	c (0,0) c  lazy_uw_lit_elim      = 1
37.66/22.01	c (0,0) c  lazy_pr_lit_elim      = 0
37.66/22.01	c (0,0) c  lazy_bin_add          = 3
37.66/22.01	c (0,0) c  probed_lit_chain      = 1
37.66/22.01	c (0,0) c  pr_min_lits           = 0.00020
37.66/22.01	c (0,0) c  pr_min_starts         = 500
37.66/22.01	c (0,0) c  rw_min_lits           = 0.010
37.66/22.01	c (0,0) c  rw_min_starts         = 500
37.66/22.01	c (0,0) c  rand_attach           = 0
37.66/22.01	c (0,0) c  dec_elim              = 1
37.66/22.01	c (0,0) c  dec_elim_lim          = 25
37.66/22.01	c (0,0) c  dec_elim_len          = -1
37.66/22.01	c (0,0) c  amo                   = 0
37.66/22.01	c (0,0) c  amo_grp               = 1
37.66/22.01	c (0,0) c  amo_max_bins          = 1000000
37.66/22.01	c (0,0) c  amo_starts            = 50
37.66/22.01	c (0,0) c  mace_cmd              = mace
37.66/22.01	c (0,0) c DECISION
37.66/22.01	c (0,0) c  rand_rebuild          = 0
37.66/22.01	c (0,0) c  rand_rebuild_confs    = 10000
37.66/22.01	c (0,0) c  inc_var_decay         = 1
37.66/22.01	c (0,0) c  inc_var_decay_period  = 100000
37.66/22.01	c (0,0) c  inc_var_decay_init    = 0.600
37.66/22.01	c (0,0) c  var_decay_mode        = 0
37.66/22.01	c (0,0) c  var_decay_gain        = 0
37.66/22.01	c (0,0) c  sloped_var_decay      = 1
37.66/22.01	c (0,0) c  max_var_decay         = 0.990
37.66/22.01	c (0,0) c  min_var_decay         = 0.950
37.66/22.01	c (0,0) c  min_var_decay_vars    = 10000
37.66/22.01	c (0,0) c  max_var_decay_vars    = 500
37.66/22.01	c (0,0) c  uip_bumping           = 1
37.66/22.01	c (0,0) c  lbd_act_bumping       = 1
37.66/22.02	c (0,0) c  rand_tiebreak         = 0
37.66/22.02	c (0,0) c  simp_rebuild          = 1
37.66/22.02	c (0,0) c RESTART
37.66/22.02	c (0,0) c  restart_strategy      = 2
37.66/22.02	c (0,0) c  restart_blocking      = 0
37.66/22.02	c (0,0) c  agility_decay         = 0.99990
37.66/22.02	c (0,0) c  lbd_restart_rate      = 0.800
37.66/22.02	c (0,0) c  dec_restart_rate      = 0.950
37.66/22.02	c (0,0) c  blk_restart_rate      = 0.700
37.66/22.02	c (0,0) c  lbd_queue_size        = 50
37.66/22.02	c (0,0) c  dec_queue_size        = 50
37.66/22.02	c (0,0) c  trl_queue_size        = 5000
37.66/22.02	c (0,0) c  blk_restart_weight    = 1.000
37.66/22.02	c (0,0) c  inc_rst_rate          = 0
37.66/22.02	c (0,0) c  inc_rst_rate_period   = 500000
37.66/22.02	c (0,0) c  inc_lbd_rst_rate_init = 0.600
37.66/22.02	c (0,0) c  inc_dec_rst_rate_init = 0.750
37.66/22.02	c (0,0) c REDUCTION
37.66/22.02	c (0,0) c  closed_lbd            = 0
37.66/22.02	c (0,0) c  closed_lbd_rate       = 0.500
37.66/22.02	c (0,0) c  rm_simulate           = 0
37.66/22.02	c (0,0) c  rdb_eval              = 2
37.66/22.02	c (0,0) c  rdb_call              = 3
37.66/22.02	c (0,0) c  rdb_ub                = 0.500
37.66/22.02	c (0,0) c  core_lbd_cvr          = 0.800
37.66/22.02	c (0,0) c  supp_lbd_cvr          = 0.990
37.66/22.02	c (0,0) c  core_lbd_lb           = 2
37.66/22.02	c (0,0) c  supp_lbd_lb           = 2
37.66/22.02	c (0,0) c  core_lbd_prd          = 7
37.66/22.02	c (0,0) c  supp_lbd_prd          = 1
37.66/22.02	c (0,0) c  othr_lbd_prd          = 0
37.66/22.02	c (0,0) c  inc_lrn_limit         = 1000
37.66/22.02	c (0,0) c  frozen_lbd            = 30
37.66/22.02	c (0,0) c  simp_min_starts       = 100
37.66/22.02	c (0,0) c  rm_low_act_learnts    = 1
37.66/22.02	c (0,0) c  lv0_reduce_db         = 0
37.66/22.02	c (0,0) c  reduce_db_base        = 20000
37.66/22.02	c (0,0) c  reduce_db_inc         = 1000
37.66/22.02	c (0,0) c HARD
37.66/22.02	c (0,0) c  inst_check            = 200000
37.66/22.02	c (0,0) c  small_block           = 1.750
37.66/22.02	c (0,0) c  slow_restart_speed    = 400.000
37.66/22.02	c (0,0) c  slow_restart_strategy = 3
37.66/22.02	c (0,0) c  slow_lbd_restart_rate = 0.700
37.66/22.02	c (0,0) c  slow_dec_restart_rate = 1.000
37.66/22.02	c (0,0) c  slow_lbd_queue_size   = 50
37.66/22.02	c (0,0) c  slow_var_decay        = 0.950
37.66/22.02	c (0,0) c  slow_glue_threshold   = 2
37.66/22.02	c (0,0) c  slow_phase_saving     = 2
37.66/22.02	c (0,0) c  fast_restart_speed    = 125.000
37.66/22.02	c (0,0) c  fast_restart_strategy = 1
37.66/22.02	c (0,0) c  fast_lbd_restart_rate = 0.800
37.66/22.02	c (0,0) c  fast_dec_restart_rate = 0.950
37.66/22.02	c (0,0) c  fast_lbd_queue_size   = 50
37.66/22.02	c (0,0) c  fast_var_decay        = 1.000
37.66/22.02	c (0,0) c  fast_glue_threshold   = 2
37.66/22.02	c (0,0) c  fast_phase_saving     = 2
37.66/22.02	c (0,0) c STATS
37.66/22.02	c (0,0) c  stats_conf_size       = 10000
37.66/22.02	c (0,0) c  max_stats_size        = 30
37.66/22.02	c (0,0) c SOLVER
37.66/22.02	c (0,0) c  minisat               = 0
37.66/22.09	c (0,0) c Problem: 36616 variables, 193715 clauses, parsing 0.09 s
37.96/22.24	c (0,0) c  reduced to 23994 variables, 180926 clauses (grow = 0)
38.06/22.33	c (0,0) c  reduced to 23284 variables, 182312 clauses (grow = 8)
38.16/22.44	c (0,0) c  reduced to 22604 variables, 187094 clauses (grow = 16)
38.36/22.67	c (1,0) c  reduced to 21758 variables, 198749 clauses (grow = 32)
38.36/22.68	c (1,0) c  exclude 0 (0.0%) variables from decision variables (last cost 0)
38.47/22.70	c (1,0) c Simplification: 14858 vars, -5034 clauses are eliminated using 0.60 s
38.47/22.70	c (1,0) c
38.47/22.70	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
38.47/22.70	c (1,0) c
38.47/22.70	c (1,0) c    0         0         0    21758   198749        0   -nan  -nan  -nan -nan%
38.47/22.72	c (1,0) c    0         1       100    21758   198749      103   18.2   6.3 3099.8 30.7%
38.47/22.73	c (1,0) c    0         2       220    21758   198749      225   18.0   6.6 2211.8 22.2%
38.47/22.73	c (1,0) c    0         2       364    21758   198749      378   15.5   6.0 1342.2 14.3%
38.47/22.74	c (1,0) c    0         2       536    21758   198749      556   14.3   5.5 915.0 10.4%
38.47/22.74	c (1,0) c    0         2       743    21758   198749      765   13.8   5.2 663.0  8.1%
38.47/22.75	c (1,0) c    0         2       991    21758   198749     1016   13.2   4.9 500.6  6.6%
38.47/22.76	c (1,0) c    0         2      1289    21758   198749     1318   13.4   4.9 388.3  5.6%
38.47/22.77	c (1,0) c    0         3      1647    21758   198749     1686   13.2   4.9 307.5  4.8%
38.47/22.78	c (1,0) c    0         3      2076    21758   198749     2119   12.7   4.8 246.8  4.2%
38.57/22.80	c (1,0) c    0         4      2591    21758   198749     2638   12.3   4.8 200.4  3.8%
38.57/22.82	c (1,0) c    0         8      3210    21758   198749     3262   12.0   4.8 164.7  3.4%
38.57/22.85	c (1,0) c    0         9      3953    21758   198749     4008   11.9   4.8 136.4  3.1%
38.57/22.89	c (1,0) c    0        12      4844    21758   198749     4908   11.8   4.8 114.0  2.9%
38.67/22.93	c (1,0) c    0        17      5913    21758   198749     5986   11.8   4.9  96.0  2.8%
38.67/22.99	c (1,0) c    0        20      7196    21758   198749     7279   11.5   5.0  81.1  2.6%
38.79/23.06	c (1,0) c
38.79/23.06	c (1,0) c   variables         : 21758       (init 36616, after simp 21758, 0 non-decs, 680 csp)
38.79/23.06	c (1,0) c   clauses           : 198749      (init 193715, after simp 198749)
38.79/23.06	c (1,0) c   restarts          : 22          (379.83 confs/res, 50~1534 confs, 0 blks, 0 last)
38.79/23.06	c (1,0) c   conflicts         : 8736        (8422 /sec, 54.36% dconfs, 0.00% supp, trail 57.78w x 68.90h, jmp 2.20h)
38.79/23.06	c (1,0) c   decisions         : 21654       (0.6300 vdcy, 20876 /sec, 0.00% bin, rs 0.001 s)
38.79/23.06	c (1,0) c   propagations      : 1124259     (1083872 /sec, 51.92 lits/dec, 58.66% o.a.)
38.79/23.06	c (1,0) c   conflict literals : 159428      (33.65% deleted; 3.13% by bin min, 0.002 s)
38.79/23.06	c (1,0) c   len               : 11.438      (11.54 for all, max 64, used 50)
38.79/23.06	c (1,0) c   lbd               : 4.961       (6.27 (4.99) for all, max 26, used 25, 1.253 stdev, 1.840 blk)
38.79/23.06	c (1,0) c   amo               : 0           (0 max, -nan avg, 0.000 s)
38.79/23.06	c (1,0) c   simp dbs          : 1           (0.000 s)
38.79/23.06	c (1,0) c   reduce dbs        : 0           (core-lbd 2, supp-lbd 2147483647, 0.000 s)
38.79/23.06	c (1,0) c   learnts           : 8827        (0 learnts removed, 0.00%)
38.79/23.06	c (1,0) c   rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
38.79/23.06	c (1,0) c   assigned lits     : 0           (0/0 probed, 0 remains)
38.79/23.06	c (1,0) c   premise updates   : 95165       (2.19 /lit)
38.79/23.06	c (1,0) c   probed variables  : 0           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
38.79/23.06	c (1,0) c   equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
38.79/23.06	c (1,0) c   lazy added bins   : 91          (91 prop + 0 conf, 0.004s)
38.79/23.06	c (1,0) c   unwatched lit elim: 1795        (0.01+1.09%, 53+1742 of 735830+159428)
38.79/23.06	c (1,0) c   classified type   : undef
38.79/23.06	c (1,0) c   progress          : 0.000 %
38.79/23.06	c (1,0) c
38.79/23.06	c (1,0) c        #Rstrts   #Confs   #Vars   #Clauses  #Learnts Lits/C LBD/C DLVs Trail
38.79/23.06	c (1,0) c
38.79/23.06	c (1,0) c    1        23      8736    21758   198749     8827   11.4   5.0  68.9  2.5%
38.88/23.15	c (1,0) c    1        29     10584    21758   198749    10680   11.4   5.0  13.4  2.0%
38.98/23.25	c (1,0) c    1        33     12802    21758   198749    12902   11.2   5.0  12.8  1.9%
39.08/23.38	c (1,0) c    1        39     15464    21758   198749    15574   11.1   5.0  11.9  1.9%
39.28/23.57	c (2,0) c    1        45     18658    21758   198749    18769   11.0   5.0  11.2  1.9%
39.38/23.65	c (2,0) c    1 r      49     20000    21758   198749    20115   10.9   5.0  11.0  1.8%
39.38/23.65	c (2,0) c
39.38/23.65	c (2,0) c R [LBD Statistics #1]
39.38/23.65	c (2,0) c R LBD         used lbd               used clause lbd
39.38/23.65	c (2,0) c R  tot      287954                   20115
39.38/23.65	c (2,0) c R  avg       2.313                   5.005
39.38/23.65	c (2,0) c R   1        16385 ( 5.7/ 5.7%)        363 ( 1.8/ 1.8%)
39.38/23.65	c (2,0) c R   2       221809 (77.0/82.7%)       4469 (22.2/24.0%)
39.38/23.65	c (2,0) c R
39.38/23.65	c (2,0) c R core_lbd_threshold = 2
39.38/23.65	c (2,0) c R supp_lbd_threshold = 7
39.38/23.65	c (2,0) c R
39.38/23.65	c (2,0) c R [RDB Statistics #1]
39.38/23.65	c (2,0) c R kept: lbd      =    4791 (23.8/23.8%)
39.38/23.65	c (2,0) c R kept: ttl      =   15273 (75.9/99.7%)
39.38/23.65	c (2,0) c R kept: locked   =      51 ( 0.3/100.0%)
39.38/23.65	c (2,0) c R lost: lbd      =       0 ( 0.0/ 0.0%)
39.38/23.65	c (2,0) c R lost: ttl      =       0 ( 0.0/ 0.0%)
39.38/23.65	c (2,0) c R lost: subsumed =       0 ( 0.0/ 0.0%)
39.38/23.65	c (2,0) c
39.38/23.65	c (2,0) c    1 R      49     20000    21758   198749    20115   10.9   5.0  11.0  1.8%
39.58/23.80	c (2,0) c    1        50     22491    21758   198749    22607   10.8   5.0  10.6  1.8%
39.78/24.09	c (2,0) c    2        56     27091    21758   198749    27208   10.7   5.0  10.2  1.8%
40.17/24.42	c (2,0) c    2        57     31502    21130   198749    31614   10.6   4.9   9.1  1.7%
40.17/24.42	c (2,0) c
40.17/24.42	c (2,0) c
40.17/24.42	c (2,0) c variables         : 21130       (init 36616, after simp 21758, 0 non-decs, 680 csp)
40.17/24.42	c (2,0) c clauses           : 198749      (init 193715, after simp 198749)
40.17/24.42	c (2,0) c restarts          : 56          (552.67 confs/res, 50~3125 confs, 0 blks, 0 last)
40.17/24.42	c (2,0) c conflicts         : 31502       (13388 /sec, 53.03% dconfs, 0.00% supp, trail 67.07w x 26.45h, jmp 1.50h)
40.17/24.42	c (2,0) c decisions         : 50142       (0.7100 vdcy, 21309 /sec, 0.00% bin, rs 0.003 s)
40.17/24.42	c (2,0) c propagations      : 4074796     (1731681 /sec, 81.27 lits/dec, 68.18% o.a.)
40.17/24.42	c (2,0) c conflict literals : 545062      (34.91% deleted; 3.77% by bin min, 0.008 s)
40.17/24.42	c (2,0) c len               : 10.580      (10.61 for all, max 64, used 50)
40.17/24.42	c (2,0) c lbd               : 4.857       (6.33 (4.87) for all, max 26, used 25, 1.041 stdev, 1.677 blk)
40.17/24.42	c (2,0) c amo               : 0           (0 max, -nan avg, 0.000 s)
40.17/24.42	c (2,0) c simp dbs          : 1           (0.000 s)
40.17/24.42	c (2,0) c reduce dbs        : 1           (core-lbd 2, supp-lbd 7, 0.000 s)
40.17/24.42	c (2,0) c learnts           : 31614       (0 learnts removed, 0.00%)
40.17/24.42	c (2,0) c rewrite dbs       : 0           (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
40.17/24.42	c (2,0) c assigned lits     : 0           (0/1 probed, 1 remains)
40.17/24.42	c (2,0) c premise updates   : 204896      (4.71 /lit)
40.17/24.42	c (2,0) c probed variables  : 1           (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 1 cla, 0 amo)
40.17/24.42	c (2,0) c equiv variables   : 0           (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
40.17/24.42	c (2,0) c lazy added bins   : 121         (121 prop + 0 conf, 0.010s)
40.17/24.42	c (2,0) c unwatched lit elim: 8168        (0.01+1.48%, 103+8065 of 735830+545062)
40.17/24.42	c (2,0) c classified type   : undef
40.17/24.42	c (2,0) c progress          : 2.886 %
40.17/24.42	c (2,0) c
40.17/24.42	c (2,0) c [Statistics]
40.17/24.42	c (2,0) c             learnts len        learnts lbd        lit blk size       eq vars size
40.17/24.42	c (2,0) c  tot       31501              31501             199337                  0
40.17/24.42	c (2,0) c  avg      10.610              4.867              1.677               -nan
40.17/24.42	c (2,0) c   1            8 ( 0.0%)        533 ( 1.7%)     141474 (71.0%)          0 (-nan%)
40.17/24.42	c (2,0) c   2          197 ( 0.6%)       6551 (20.8%)      28517 (14.3%)          0 (-nan%)
40.17/24.42	c (2,0) c   3          520 ( 1.7%)       3923 (12.5%)      12421 ( 6.2%)          0 (-nan%)
40.17/24.42	c (2,0) c   4         1703 ( 5.4%)       4370 (13.9%)       6560 ( 3.3%)          0 (-nan%)
40.17/24.42	c (2,0) c   5         1646 ( 5.2%)       4297 (13.6%)       3788 ( 1.9%)          0 (-nan%)
40.17/24.42	c (2,0) c   6         2730 ( 8.7%)       3968 (12.6%)       2201 ( 1.1%)          0 (-nan%)
40.17/24.42	c (2,0) c   7         2648 ( 8.4%)       3011 ( 9.6%)       1366 ( 0.7%)          0 (-nan%)
40.17/24.42	c (2,0) c   8         2775 ( 8.8%)       2150 ( 6.8%)        991 ( 0.5%)          0 (-nan%)
40.17/24.42	c (2,0) c   9         2649 ( 8.4%)       1345 ( 4.3%)        653 ( 0.3%)          0 (-nan%)
40.17/24.42	c (2,0) c  10         2607 ( 8.3%)        706 ( 2.2%)        429 ( 0.2%)          0 (-nan%)
40.17/24.42	c (2,0) c  11         2380 ( 7.6%)        362 ( 1.1%)        278 ( 0.1%)          0 (-nan%)
40.17/24.42	c (2,0) c  12         2205 ( 7.0%)        161 ( 0.5%)        213 ( 0.1%)          0 (-nan%)
40.17/24.42	c (2,0) c  13         1822 ( 5.8%)         70 ( 0.2%)        130 ( 0.1%)          0 (-nan%)
40.17/24.42	c (2,0) c  14         1661 ( 5.3%)         27 ( 0.1%)        107 ( 0.1%)          0 (-nan%)
40.17/24.42	c (2,0) c  15         1265 ( 4.0%)          9 ( 0.0%)         60 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  16         1039 ( 3.3%)          7 ( 0.0%)         38 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  17          816 ( 2.6%)          2 ( 0.0%)         26 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  18          630 ( 2.0%)          1 ( 0.0%)         35 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  19          481 ( 1.5%)          0 ( 0.0%)         15 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  20          396 ( 1.3%)          1 ( 0.0%)         14 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  21          284 ( 0.9%)          2 ( 0.0%)          5 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  22          266 ( 0.8%)          0 ( 0.0%)          5 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  23          188 ( 0.6%)          0 ( 0.0%)          6 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  24          132 ( 0.4%)          4 ( 0.0%)          4 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  25           84 ( 0.3%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  26           82 ( 0.3%)          1 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  27           59 ( 0.2%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  28           45 ( 0.1%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  29           33 ( 0.1%)          0 ( 0.0%)          1 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c  30          150 ( 0.5%)          0 ( 0.0%)          0 ( 0.0%)          0 (-nan%)
40.17/24.42	c (2,0) c
40.17/24.42	c (2,0) c [LBD Statistics]
40.17/24.42	c (2,0) c LBD          used lbd               used clause lbd         unused clause lbd
40.17/24.42	c (2,0) c  tot       533690                   18245                   13369
40.17/24.42	c (2,0) c  avg        2.282                   3.823                   6.268
40.17/24.42	c (2,0) c    1        30335 ( 5.7/ 5.7%)        525 ( 2.9/ 2.9%)          0 ( 0.0/ 0.0%)
40.17/24.42	c (2,0) c    2       416413 (78.0/83.7%)       6298 (34.5/37.4%)        374 ( 2.8/ 2.8%)
40.17/24.42	c (2,0) c    3        43834 ( 8.2/91.9%)       3035 (16.6/54.0%)        888 ( 6.6/ 9.4%)
40.17/24.42	c (2,0) c    4        20330 ( 3.8/95.7%)       2681 (14.7/68.7%)       1689 (12.6/22.1%)
40.17/24.42	c (2,0) c    5        10034 ( 1.9/97.6%)       2018 (11.1/79.8%)       2279 (17.0/39.1%)
40.17/24.42	c (2,0) c    6         5575 ( 1.0/98.7%)       1505 ( 8.2/88.0%)       2463 (18.4/57.5%)
40.17/24.42	c (2,0) c    7         3137 ( 0.6/99.2%)        966 ( 5.3/93.3%)       2045 (15.3/72.8%)
40.17/24.42	c (2,0) c    8         1854 ( 0.3/99.6%)        582 ( 3.2/96.5%)       1568 (11.7/84.6%)
40.17/24.42	c (2,0) c    9         1120 ( 0.2/99.8%)        342 ( 1.9/98.4%)       1003 ( 7.5/92.1%)
40.17/24.42	c (2,0) c   10          516 ( 0.1/99.9%)        156 ( 0.9/99.2%)        550 ( 4.1/96.2%)
40.17/24.42	c (2,0) c   11          301 ( 0.1/100.0%)         85 ( 0.5/99.7%)        277 ( 2.1/98.3%)
40.17/24.42	c (2,0) c   12          148 ( 0.0/100.0%)         26 ( 0.1/99.9%)        135 ( 1.0/99.3%)
40.17/24.42	c (2,0) c   13           51 ( 0.0/100.0%)         16 ( 0.1/99.9%)         54 ( 0.4/99.7%)
40.17/24.42	c (2,0) c   14           23 ( 0.0/100.0%)          4 ( 0.0/100.0%)         23 ( 0.2/99.8%)
40.17/24.42	c (2,0) c   15            6 ( 0.0/100.0%)          1 ( 0.0/100.0%)          8 ( 0.1/99.9%)
40.17/24.42	c (2,0) c   16            4 ( 0.0/100.0%)          3 ( 0.0/100.0%)          4 ( 0.0/99.9%)
40.17/24.42	c (2,0) c   17            4 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/99.9%)
40.17/24.42	c (2,0) c   18            2 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
40.17/24.42	c (2,0) c   19            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
40.17/24.42	c (2,0) c   20            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          0 ( 0.0/100.0%)
40.17/24.42	c (2,0) c   21            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          2 ( 0.0/100.0%)
40.17/24.42	c (2,0) c   22            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
40.17/24.42	c (2,0) c   23            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
40.17/24.42	c (2,0) c   24            1 ( 0.0/100.0%)          1 ( 0.0/100.0%)          3 ( 0.0/100.0%)
40.17/24.42	c (2,0) c   25            1 ( 0.0/100.0%)          0 ( 0.0/100.0%)          0 ( 0.0/100.0%)
40.17/24.42	c (2,0) c   26            0 ( 0.0/100.0%)          0 ( 0.0/100.0%)          1 ( 0.0/100.0%)
40.17/24.42	c (2,0) c
40.17/24.42	c (2,0) c Memory used       : 58.00 MB
40.17/24.42	c (2,0) c CPU time          : 2.354 s
40.17/24.43	c (2,0) c Real time         : 2.431 s
40.17/24.43	c (2,0) c
40.17/24.43	c (2,0) s UNSATISFIABLE
40.17/24.43	c (2,0) SatSolver.solve End
40.17/24.43	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
40.17/24.43	c (2,0) Show results Begin
40.17/24.43	s UNSATISFIABLE
40.17/24.43	c (2,0) Show results End
40.17/24.43	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
40.17/24.43	c (2,0) 2,2,STOP-AFTER(ALL)
40.17/24.43	c END-Prog: Thu Sep 12 16:38:14 CEST 2019

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388382-1568299113/watcher-4388382-1568299113 -o /tmp/evaluation-result-4388382-1568299113/solver-4388382-1568299113 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --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-4388382-1568299113.xml 

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

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


[startup+0.10006 s]*
/proc/loadavg: 2.24 2.15 2.10 3/234 14863
/proc/meminfo: memFree=26116148/32770624 swapFree=66957008/67108860
[pid=14846] ppid=14843 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14846/stat : 14846 (scop.sh) S 14843 14846 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405825169 115843072 349 33554432000 4194304 5098028 140724897378336 140724897375592 139868608852604 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26091520 140724897387304 140724897387632 140724897387632 140724897390541 0
/proc/14846/statm: 28282 349 296 221 0 87 0
[pid=14849] ppid=14846 vsize=15012696 memory=74008 CPUtime=0.11 cores=0,2,4,6
/proc/14849/stat : 14849 (java) S 14846 14846 8853 0 -1 1077944320 6204 0 0 0 10 1 0 0 20 0 15 0 405825169 15373000704 18502 33554432000 4194304 4196468 140721816160016 140721816142560 139830220107511 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
/proc/14849/statm: 3753174 18502 2918 1 0 3715579 0
[pid=14849/tid=14850] ppid=14846 vsize=15012696 memory=-6149239525118099397 CPUtime=0.09 cores=0,2,4,6
/proc/14849/task/14850/stat : 14850 (java) R 14846 14846 8853 0 -1 4202560 4099 0 0 0 8 1 0 0 20 0 15 0 405825170 15373000704 18568 33554432000 4194304 4196468 140721816160016 139830191901416 139830198532633 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14851] ppid=14846 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14851/stat : 14851 (java) S 14846 14846 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 18568 33554432000 4194304 4196468 140721816160016 139830224350224 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14852] ppid=14846 vsize=15012696 memory=139716122572416 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14852/stat : 14852 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 18568 33554432000 4194304 4196468 140721816160016 139829681138832 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14853] ppid=14846 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14853/stat : 14853 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 18568 33554432000 4194304 4196468 140721816160016 139829680085776 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14854] ppid=14846 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14854/stat : 14854 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 18568 33554432000 4194304 4196468 140721816160016 139829679033232 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14855] ppid=14846 vsize=15012696 memory=139716122572416 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14855/stat : 14855 (java) S 14846 14846 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825173 15373000704 18568 33554432000 4194304 4196468 140721816160016 139829190654192 139830220118658 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14856] ppid=14846 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14856/stat : 14856 (java) S 14846 14846 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405825173 15373000704 18568 33554432000 4194304 4196468 140721816160016 139828834329760 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14857] ppid=14846 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14857/stat : 14857 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825173 15373000704 18568 33554432000 4194304 4196468 140721816160016 139828565893872 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14858] ppid=14846 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14858/stat : 14858 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 18568 33554432000 4194304 4196468 140721816160016 139828191385552 139830220126107 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14859] ppid=14846 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14859/stat : 14859 (java) S 14846 14846 8853 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 18568 33554432000 4194304 4196468 140721816160016 139829189602032 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14860] ppid=14846 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14860/stat : 14860 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 18568 33554432000 4194304 4196468 140721816160016 139829188549488 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14861] ppid=14846 vsize=15012696 memory=139716122572416 CPUtime=0.01 cores=0,2,4,6
/proc/14849/task/14861/stat : 14861 (java) R 14846 14846 8853 0 -1 4202560 435 0 0 0 1 0 0 0 20 0 15 0 405825176 15373000704 18568 33554432000 4194304 4196468 140721816160016 139829187496432 139830220119446 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14862] ppid=14846 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14862/stat : 14862 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 18568 33554432000 4194304 4196468 140721816160016 139827693480800 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14863] ppid=14846 vsize=15012696 memory=139716122572416 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14863/stat : 14863 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 18568 33554432000 4194304 4196468 140721816160016 139829186443824 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75404 KiB

[startup+0.210866 s]*
/proc/loadavg: 2.24 2.15 2.10 3/234 14863
/proc/meminfo: memFree=26097104/32770624 swapFree=66957008/67108860
[pid=14846] ppid=14843 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14846/stat : 14846 (scop.sh) S 14843 14846 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405825169 115843072 349 33554432000 4194304 5098028 140724897378336 140724897375592 139868608852604 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26091520 140724897387304 140724897387632 140724897387632 140724897390541 0
/proc/14846/statm: 28282 349 296 221 0 87 0
[pid=14849] ppid=14846 vsize=15012696 memory=89348 CPUtime=0.25 cores=0,2,4,6
/proc/14849/stat : 14849 (java) S 14846 14846 8853 0 -1 1077944320 11344 0 0 0 22 3 0 0 20 0 15 0 405825169 15373000704 22337 33554432000 4194304 4196468 140721816160016 140721816142560 139830220107511 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
/proc/14849/statm: 3753174 22337 2977 1 0 3715579 0
[pid=14849/tid=14850] ppid=14846 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/14849/task/14850/stat : 14850 (java) R 14846 14846 8853 0 -1 4202560 9093 0 0 0 17 3 0 0 20 0 15 0 405825170 15373000704 22337 33554432000 4194304 4196468 140721816160016 139830191930048 139830220129437 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14851] ppid=14846 vsize=15012696 memory=364 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14851/stat : 14851 (java) S 14846 14846 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 22337 33554432000 4194304 4196468 140721816160016 139830224350224 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14852] ppid=14846 vsize=15012696 memory=288370092274284160 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14852/stat : 14852 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 22337 33554432000 4194304 4196468 140721816160016 139829681138832 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14853] ppid=14846 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14853/stat : 14853 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 22337 33554432000 4194304 4196468 140721816160016 139829680085776 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14854] ppid=14846 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14854/stat : 14854 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 22337 33554432000 4194304 4196468 140721816160016 139829679033232 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14855] ppid=14846 vsize=15012696 memory=139716122572416 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14855/stat : 14855 (java) S 14846 14846 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825173 15373000704 22337 33554432000 4194304 4196468 140721816160016 139829190654192 139830220118658 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14856] ppid=14846 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14856/stat : 14856 (java) S 14846 14846 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405825173 15373000704 22337 33554432000 4194304 4196468 140721816160016 139828834329760 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14857] ppid=14846 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14857/stat : 14857 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825173 15373000704 22337 33554432000 4194304 4196468 140721816160016 139828565893872 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14858] ppid=14846 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14858/stat : 14858 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 22337 33554432000 4194304 4196468 140721816160016 139828191385552 139830220126107 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14859] ppid=14846 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14859/stat : 14859 (java) S 14846 14846 8853 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 22337 33554432000 4194304 4196468 140721816160016 139829189602032 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14860] ppid=14846 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14860/stat : 14860 (java) S 14846 14846 8853 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 22337 33554432000 4194304 4196468 140721816160016 139829188549488 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14861] ppid=14846 vsize=15012696 memory=139716122572416 CPUtime=0.03 cores=0,2,4,6
/proc/14849/task/14861/stat : 14861 (java) S 14846 14846 8853 0 -1 1077944384 442 0 0 0 3 0 0 0 20 0 15 0 405825176 15373000704 22337 33554432000 4194304 4196468 140721816160016 139829187496432 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14862] ppid=14846 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14862/stat : 14862 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 22337 33554432000 4194304 4196468 140721816160016 139827693480800 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14863] ppid=14846 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14863/stat : 14863 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 22337 33554432000 4194304 4196468 140721816160016 139829186443824 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90744 KiB

[startup+0.310738 s]*
/proc/loadavg: 2.24 2.15 2.10 3/234 14863
/proc/meminfo: memFree=26126148/32770624 swapFree=66957008/67108860
[pid=14846] ppid=14843 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14846/stat : 14846 (scop.sh) S 14843 14846 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405825169 115843072 349 33554432000 4194304 5098028 140724897378336 140724897375592 139868608852604 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26091520 140724897387304 140724897387632 140724897387632 140724897390541 0
/proc/14846/statm: 28282 349 296 221 0 87 0
[pid=14849] ppid=14846 vsize=15012696 memory=92956 CPUtime=0.43 cores=0,2,4,6
/proc/14849/stat : 14849 (java) S 14846 14846 8853 0 -1 1077944320 12199 0 0 0 40 3 0 0 20 0 15 0 405825169 15373000704 23239 33554432000 4194304 4196468 140721816160016 140721816142560 139830220107511 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
/proc/14849/statm: 3753174 23239 3066 1 0 3715579 0
[pid=14849/tid=14850] ppid=14846 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14849/task/14850/stat : 14850 (java) R 14846 14846 8853 0 -1 4202560 9765 0 0 0 27 3 0 0 20 0 15 0 405825170 15373000704 23239 33554432000 4194304 4196468 140721816160016 139830191892496 139830201671067 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14851] ppid=14846 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14851/stat : 14851 (java) S 14846 14846 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 23239 33554432000 4194304 4196468 140721816160016 139830224350224 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14852] ppid=14846 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14852/stat : 14852 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 23239 33554432000 4194304 4196468 140721816160016 139829681138832 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14853] ppid=14846 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14853/stat : 14853 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 23239 33554432000 4194304 4196468 140721816160016 139829680085776 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14854] ppid=14846 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14854/stat : 14854 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15373000704 23239 33554432000 4194304 4196468 140721816160016 139829679033232 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14855] ppid=14846 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14855/stat : 14855 (java) S 14846 14846 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825173 15373000704 23239 33554432000 4194304 4196468 140721816160016 139829190654192 139830220118658 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14856] ppid=14846 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14856/stat : 14856 (java) S 14846 14846 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405825173 15373000704 23239 33554432000 4194304 4196468 140721816160016 139828834329760 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14857] ppid=14846 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14857/stat : 14857 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825173 15373000704 23239 33554432000 4194304 4196468 140721816160016 139828565893872 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14858] ppid=14846 vsize=15012696 memory=4628975386420216973 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14858/stat : 14858 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 23239 33554432000 4194304 4196468 140721816160016 139828191385552 139830220126107 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14859] ppid=14846 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14849/task/14859/stat : 14859 (java) S 14846 14846 8853 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 15 0 405825176 15373000704 23239 33554432000 4194304 4196468 140721816160016 139829189602032 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14860] ppid=14846 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14849/task/14860/stat : 14860 (java) S 14846 14846 8853 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 15 0 405825176 15373000704 23239 33554432000 4194304 4196468 140721816160016 139829188549488 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14861] ppid=14846 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14849/task/14861/stat : 14861 (java) S 14846 14846 8853 0 -1 1077944384 464 0 0 0 7 0 0 0 20 0 15 0 405825176 15373000704 23239 33554432000 4194304 4196468 140721816160016 139829187496432 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14862] ppid=14846 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14862/stat : 14862 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 23239 33554432000 4194304 4196468 140721816160016 139827693480800 139830220117717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14863] ppid=14846 vsize=15012696 memory=3473455308648494128 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14863/stat : 14863 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825176 15373000704 23239 33554432000 4194304 4196468 140721816160016 139829186443824 139830220118658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94352 KiB

[startup+0.700808 s]
/proc/loadavg: 2.24 2.15 2.10 3/234 14863
/proc/meminfo: memFree=26105300/32770624 swapFree=66957008/67108860
[pid=14846] ppid=14843 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14846/stat : 14846 (scop.sh) S 14843 14846 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405825169 115843072 349 33554432000 4194304 5098028 140724897378336 140724897375592 139868608852604 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26091520 140724897387304 140724897387632 140724897387632 140724897390541 0
/proc/14846/statm: 28282 349 296 221 0 87 0
[pid=14849] ppid=14846 vsize=15018968 memory=127076 CPUtime=0.99 cores=0,2,4,6
/proc/14849/stat : 14849 (java) S 14846 14846 8853 0 -1 1077944320 19063 0 0 0 94 5 0 0 20 0 15 0 405825169 15379423232 31769 33554432000 4194304 4196468 140721816160016 140721816142560 139830220107511 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
/proc/14849/statm: 3754742 31769 3183 1 0 3716091 0
[pid=14849/tid=14850] ppid=14846 vsize=15018968 memory=-7816663703405220396 CPUtime=0.68 cores=0,2,4,6
/proc/14849/task/14850/stat : 14850 (java) R 14846 14846 8853 0 -1 4202560 16195 0 0 0 63 5 0 0 20 0 15 0 405825170 15379423232 31769 33554432000 4194304 4196468 140721816160016 139830191945088 139830220119446 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14851] ppid=14846 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14851/stat : 14851 (java) S 14846 14846 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405825171 15379423232 31769 33554432000 4194304 4196468 140721816160016 139830224350224 139830220117717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14852] ppid=14846 vsize=15018968 memory=37520 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14852/stat : 14852 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15379423232 31769 33554432000 4194304 4196468 140721816160016 139829681138832 139830220117717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14853] ppid=14846 vsize=15018968 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14853/stat : 14853 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15379423232 31769 33554432000 4194304 4196468 140721816160016 139829680085776 139830220117717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14854] ppid=14846 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14854/stat : 14854 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825171 15379423232 31769 33554432000 4194304 4196468 140721816160016 139829679033232 139830220117717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14855] ppid=14846 vsize=15018968 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14855/stat : 14855 (java) S 14846 14846 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405825173 15379423232 31769 33554432000 4194304 4196468 140721816160016 139829190654192 139830220118658 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14856] ppid=14846 vsize=15018968 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14856/stat : 14856 (java) S 14846 14846 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405825173 15379423232 31769 33554432000 4194304 4196468 140721816160016 139828834329760 139830220117717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14857] ppid=14846 vsize=15018968 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14857/stat : 14857 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825173 15379423232 31769 33554432000 4194304 4196468 140721816160016 139828565893872 139830220117717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14858] ppid=14846 vsize=15018968 memory=6092 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14858/stat : 14858 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825176 15379423232 31769 33554432000 4194304 4196468 140721816160016 139828191385552 139830220126107 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14859] ppid=14846 vsize=15018968 memory=11624 CPUtime=0.08 cores=0,2,4,6
/proc/14849/task/14859/stat : 14859 (java) S 14846 14846 8853 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 405825176 15379423232 31769 33554432000 4194304 4196468 140721816160016 139829189602032 139830220118658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14860] ppid=14846 vsize=15018968 memory=732 CPUtime=0.06 cores=0,2,4,6
/proc/14849/task/14860/stat : 14860 (java) S 14846 14846 8853 0 -1 1077944384 176 0 0 0 6 0 0 0 20 0 15 0 405825176 15379423232 31769 33554432000 4194304 4196468 140721816160016 139829188549488 139830220118658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14861] ppid=14846 vsize=15018968 memory=776 CPUtime=0.16 cores=0,2,4,6
/proc/14849/task/14861/stat : 14861 (java) R 14846 14846 8853 0 -1 4202560 580 0 0 0 16 0 0 0 20 0 15 0 405825176 15379423232 31769 33554432000 4194304 4196468 140721816160016 139829187494224 139830199243288 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14862] ppid=14846 vsize=15018968 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14862/stat : 14862 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405825176 15379423232 31769 33554432000 4194304 4196468 140721816160016 139827693480800 139830220117717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
[pid=14849/tid=14863] ppid=14846 vsize=15018968 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14863/stat : 14863 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405825176 15379423232 31769 33554432000 4194304 4196468 140721816160016 139829186443824 139830220118658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140721816167150 140721816167578 140721816167578 140721816170447 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128472 KiB

[startup+1.50126 s]
/proc/loadavg: 2.24 2.15 2.10 7/234 14863
/proc/meminfo: memFree=25887920/32770624 swapFree=66957008/67108860
[pid=14846] ppid=14843 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14846/stat : 14846 (scop.sh) S 14843 14846 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405825169 115843072 349 33554432000 4194304 5098028 140724897378336 140724897375592 139868608852604 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26091520 140724897387304 140724897387632 140724897387632 140724897390541 0
/proc/14846/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 38.16 s
Current children cumulated vsize: 8228340 KiB
Current children cumulated memory: 167616 KiB

[startup+23.2009 s]
/proc/loadavg: 2.16 2.14 2.10 3/226 15333
/proc/meminfo: memFree=26270972/32770624 swapFree=66957008/67108860
[pid=14846] ppid=14843 vsize=113128 memory=1476 CPUtime=35.94 cores=0,2,4,6
/proc/14846/stat : 14846 (scop.sh) S 14843 14846 8853 0 -1 4202496 582 51306 0 0 0 0 3465 129 20 0 1 0 405825169 115843072 369 33554432000 4194304 5098028 140724897378336 140724897375080 139868608852604 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26091520 140724897387304 140724897387632 140724897387632 140724897390541 0
/proc/14846/statm: 28282 369 311 221 0 87 0
[pid=15214] ppid=14846 vsize=8068440 memory=135708 CPUtime=1.84 cores=0,2,4,6
/proc/15214/stat : 15214 (java) S 14846 14846 8853 0 -1 1077944320 21847 0 0 0 170 14 0 0 20 0 19 0 405827276 8262082560 33927 33554432000 4194304 4196468 140725797438528 140725797421072 140306065170167 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
/proc/15214/statm: 2017110 33927 3207 1 0 1978454 0
[pid=15305] ppid=15214 vsize=46540 memory=29280 CPUtime=1.2 cores=0,2,4,6
/proc/15305/stat : 15305 (glueminisat-sim) R 15214 14846 8853 0 -1 4202496 7709 0 0 0 116 4 0 0 20 0 1 0 405827368 47656960 7320 33554432000 4194304 4452875 140731991644144 140731991639176 140593454866311 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 24379392 140731991651167 140731991651367 140731991651367 140731991654317 0
/proc/15305/statm: 11635 7320 353 64 0 7839 0
[pid=15214/tid=15215] ppid=14846 vsize=8068440 memory=32852 CPUtime=0.95 cores=0,2,4,6
/proc/15214/task/15215/stat : 15215 (java) S 14846 14846 8853 0 -1 1077944384 17910 0 0 0 83 12 0 0 20 0 19 0 405827276 8262082560 33927 33554432000 4194304 4196468 140725797438528 140306037010336 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15216] ppid=14846 vsize=8068440 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15216/stat : 15216 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33927 33554432000 4194304 4196468 140725797438528 140306069412240 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15217] ppid=14846 vsize=8068440 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15217/stat : 15217 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33927 33554432000 4194304 4196468 140725797438528 140305869580560 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15218] ppid=14846 vsize=8068440 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15218/stat : 15218 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33927 33554432000 4194304 4196468 140725797438528 140305868528272 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15219] ppid=14846 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15219/stat : 15219 (java) S 14846 14846 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33927 33554432000 4194304 4196468 140725797438528 140305867475472 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15220] ppid=14846 vsize=8068440 memory=48 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15220/stat : 15220 (java) S 14846 14846 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405827279 8262082560 33927 33554432000 4194304 4196468 140725797438528 140305511549552 140306065181314 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15221] ppid=14846 vsize=8068440 memory=3 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15221/stat : 15221 (java) S 14846 14846 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405827279 8262082560 33927 33554432000 4194304 4196468 140725797438528 140304904611104 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15222] ppid=14846 vsize=8068440 memory=72 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15222/stat : 15222 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827280 8262082560 33927 33554432000 4194304 4196468 140725797438528 140304636175984 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15227] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15227/stat : 15227 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405827282 8262082560 33927 33554432000 4194304 4196468 140725797438528 140304261667408 140306065188763 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15228] ppid=14846 vsize=8068440 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/15214/task/15228/stat : 15228 (java) S 14846 14846 8853 0 -1 1077944384 804 0 0 0 27 0 0 0 20 0 19 0 405827282 8262082560 33927 33554432000 4194304 4196468 140725797438528 140305510496368 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15229] ppid=14846 vsize=8068440 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/15214/task/15229/stat : 15229 (java) S 14846 14846 8853 0 -1 1077944384 1010 0 0 0 30 0 0 0 20 0 19 0 405827282 8262082560 33927 33554432000 4194304 4196468 140725797438528 140305441482736 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15230] ppid=14846 vsize=8068440 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/15214/task/15230/stat : 15230 (java) S 14846 14846 8853 0 -1 1077944384 733 0 0 0 27 0 0 0 20 0 19 0 405827282 8262082560 33927 33554432000 4194304 4196468 140725797438528 140305440430448 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15231] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15231/stat : 15231 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405827282 8262082560 33927 33554432000 4194304 4196468 140725797438528 140303763761632 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15234] ppid=14846 vsize=8068440 memory=13191 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15234/stat : 15234 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827282 8262082560 33927 33554432000 4194304 4196468 140725797438528 140305439378352 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15306] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15306/stat : 15306 (java) S 14846 14846 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405827369 8262082560 33927 33554432000 4194304 4196468 140725797438528 140305508885952 140306065194777 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15308] ppid=14846 vsize=8068440 memory=1177 CPUtime=0.01 cores=0,2,4,6
/proc/15214/task/15308/stat : 15308 (java) S 14846 14846 8853 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 405827370 8262082560 33927 33554432000 4194304 4196468 140725797438528 140303226879984 140306065192093 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15309] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15309/stat : 15309 (java) S 14846 14846 8853 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 405827371 8262082560 33927 33554432000 4194304 4196468 140725797438528 140302824226192 140306065192093 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15310] ppid=14846 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15310/stat : 15310 (java) S 14846 14846 8853 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405827373 8262082560 33927 33554432000 4194304 4196468 140725797438528 140303495322544 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
Current children cumulated CPU time: 38.98 s
Current children cumulated vsize: 8228108 KiB
Current children cumulated memory: 166464 KiB

[startup+24.0009 s]*
/proc/loadavg: 2.16 2.14 2.10 4/234 15386
/proc/meminfo: memFree=26174032/32770624 swapFree=66957008/67108860
[pid=14846] ppid=14843 vsize=113128 memory=1476 CPUtime=35.94 cores=0,2,4,6
/proc/14846/stat : 14846 (scop.sh) S 14843 14846 8853 0 -1 4202496 582 51306 0 0 0 0 3465 129 20 0 1 0 405825169 115843072 369 33554432000 4194304 5098028 140724897378336 140724897375080 139868608852604 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26091520 140724897387304 140724897387632 140724897387632 140724897390541 0
/proc/14846/statm: 28282 369 311 221 0 87 0
[pid=15214] ppid=14846 vsize=8068440 memory=135796 CPUtime=1.84 cores=0,2,4,6
/proc/15214/stat : 15214 (java) S 14846 14846 8853 0 -1 1077944320 21856 0 0 0 170 14 0 0 20 0 19 0 405827276 8262082560 33949 33554432000 4194304 4196468 140725797438528 140725797421072 140306065170167 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
/proc/15214/statm: 2017110 33949 3207 1 0 1978454 0
[pid=15305] ppid=15214 vsize=46540 memory=30140 CPUtime=2 cores=0,2,4,6
/proc/15305/stat : 15305 (glueminisat-sim) R 15214 14846 8853 0 -1 4202496 9686 0 0 0 194 6 0 0 20 0 1 0 405827368 47656960 7535 33554432000 4194304 4452875 140731991644144 140731991639240 140593454404340 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 24379392 140731991651167 140731991651367 140731991651367 140731991654317 0
/proc/15305/statm: 11635 7535 379 64 0 7839 0
[pid=15214/tid=15215] ppid=14846 vsize=8068440 memory=6791534058613427641 CPUtime=0.95 cores=0,2,4,6
/proc/15214/task/15215/stat : 15215 (java) S 14846 14846 8853 0 -1 1077944384 17910 0 0 0 83 12 0 0 20 0 19 0 405827276 8262082560 33949 33554432000 4194304 4196468 140725797438528 140306037010336 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15216] ppid=14846 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15216/stat : 15216 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33949 33554432000 4194304 4196468 140725797438528 140306069412240 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15217] ppid=14846 vsize=8068440 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15217/stat : 15217 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305869580560 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15218] ppid=14846 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15218/stat : 15218 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305868528272 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15219] ppid=14846 vsize=8068440 memory=14979953397597992 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15219/stat : 15219 (java) S 14846 14846 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305867475472 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15220] ppid=14846 vsize=8068440 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15220/stat : 15220 (java) S 14846 14846 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405827279 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305511549552 140306065181314 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15221] ppid=14846 vsize=8068440 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15221/stat : 15221 (java) S 14846 14846 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405827279 8262082560 33949 33554432000 4194304 4196468 140725797438528 140304904611104 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15222] ppid=14846 vsize=8068440 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15222/stat : 15222 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827280 8262082560 33949 33554432000 4194304 4196468 140725797438528 140304636175984 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15227] ppid=14846 vsize=8068440 memory=279432048977120 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15227/stat : 15227 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140304261667408 140306065188763 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15228] ppid=14846 vsize=8068440 memory=6944656592387989600 CPUtime=0.27 cores=0,2,4,6
/proc/15214/task/15228/stat : 15228 (java) S 14846 14846 8853 0 -1 1077944384 804 0 0 0 27 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305510496368 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15229] ppid=14846 vsize=8068440 memory=6382321403051 CPUtime=0.3 cores=0,2,4,6
/proc/15214/task/15229/stat : 15229 (java) S 14846 14846 8853 0 -1 1077944384 1010 0 0 0 30 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305441482736 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15230] ppid=14846 vsize=8068440 memory=288230617509003574 CPUtime=0.27 cores=0,2,4,6
/proc/15214/task/15230/stat : 15230 (java) S 14846 14846 8853 0 -1 1077944384 742 0 0 0 27 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305440430448 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15231] ppid=14846 vsize=8068440 memory=14689690934577591 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15231/stat : 15231 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140303763761632 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15234] ppid=14846 vsize=8068440 memory=4639930699739322730 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15234/stat : 15234 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305439378352 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15306] ppid=14846 vsize=8068440 memory=139716025058945 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15306/stat : 15306 (java) S 14846 14846 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405827369 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305508885952 140306065194777 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15308] ppid=14846 vsize=8068440 memory=2276 CPUtime=0.01 cores=0,2,4,6
/proc/15214/task/15308/stat : 15308 (java) S 14846 14846 8853 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 405827370 8262082560 33949 33554432000 4194304 4196468 140725797438528 140303226879952 140306065192093 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15309] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15309/stat : 15309 (java) S 14846 14846 8853 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 405827371 8262082560 33949 33554432000 4194304 4196468 140725797438528 140302824226192 140306065192093 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15310] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15310/stat : 15310 (java) S 14846 14846 8853 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405827373 8262082560 33949 33554432000 4194304 4196468 140725797438528 140303495322544 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
Current children cumulated CPU time: 39.78 s
Current children cumulated vsize: 8228108 KiB
Current children cumulated memory: 167412 KiB

[startup+24.4009 s]
/proc/loadavg: 2.16 2.14 2.10 4/234 15386
/proc/meminfo: memFree=26174032/32770624 swapFree=66957008/67108860
[pid=14846] ppid=14843 vsize=113128 memory=1476 CPUtime=35.94 cores=0,2,4,6
/proc/14846/stat : 14846 (scop.sh) S 14843 14846 8853 0 -1 4202496 582 51306 0 0 0 0 3465 129 20 0 1 0 405825169 115843072 369 33554432000 4194304 5098028 140724897378336 140724897375080 139868608852604 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26091520 140724897387304 140724897387632 140724897387632 140724897390541 0
/proc/14846/statm: 28282 369 311 221 0 87 0
[pid=15214] ppid=14846 vsize=8068440 memory=135796 CPUtime=1.84 cores=0,2,4,6
/proc/15214/stat : 15214 (java) S 14846 14846 8853 0 -1 1077944320 21857 0 0 0 170 14 0 0 20 0 19 0 405827276 8262082560 33949 33554432000 4194304 4196468 140725797438528 140725797421072 140306065170167 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
/proc/15214/statm: 2017110 33949 3207 1 0 1978454 0
[pid=15305] ppid=15214 vsize=46540 memory=30392 CPUtime=2.39 cores=0,2,4,6
/proc/15305/stat : 15305 (glueminisat-sim) R 15214 14846 8853 0 -1 4202496 10434 0 0 0 232 7 0 0 20 0 1 0 405827368 47656960 7598 33554432000 4194304 4452875 140731991644144 140731991639240 140593454866311 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 24379392 140731991651167 140731991651367 140731991651367 140731991654317 0
/proc/15305/statm: 11635 7598 379 64 0 7839 0
[pid=15214/tid=15215] ppid=14846 vsize=8068440 memory=1660 CPUtime=0.95 cores=0,2,4,6
/proc/15214/task/15215/stat : 15215 (java) S 14846 14846 8853 0 -1 1077944384 17910 0 0 0 83 12 0 0 20 0 19 0 405827276 8262082560 33949 33554432000 4194304 4196468 140725797438528 140306037010336 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15216] ppid=14846 vsize=8068440 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15216/stat : 15216 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33949 33554432000 4194304 4196468 140725797438528 140306069412240 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15217] ppid=14846 vsize=8068440 memory=796 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15217/stat : 15217 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305869580560 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15218] ppid=14846 vsize=8068440 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15218/stat : 15218 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305868528272 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15219] ppid=14846 vsize=8068440 memory=2264 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15219/stat : 15219 (java) S 14846 14846 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405827277 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305867475472 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15220] ppid=14846 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15220/stat : 15220 (java) S 14846 14846 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405827279 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305511549552 140306065181314 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15221] ppid=14846 vsize=8068440 memory=90460 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15221/stat : 15221 (java) S 14846 14846 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405827279 8262082560 33949 33554432000 4194304 4196468 140725797438528 140304904611104 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15222] ppid=14846 vsize=8068440 memory=11112 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15222/stat : 15222 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827280 8262082560 33949 33554432000 4194304 4196468 140725797438528 140304636175984 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15227] ppid=14846 vsize=8068440 memory=-7824251494390783081 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15227/stat : 15227 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140304261667408 140306065188763 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15228] ppid=14846 vsize=8068440 memory=4126316290023845779 CPUtime=0.27 cores=0,2,4,6
/proc/15214/task/15228/stat : 15228 (java) S 14846 14846 8853 0 -1 1077944384 804 0 0 0 27 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305510496368 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15229] ppid=14846 vsize=8068440 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/15214/task/15229/stat : 15229 (java) S 14846 14846 8853 0 -1 1077944384 1010 0 0 0 30 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305441482736 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15230] ppid=14846 vsize=8068440 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/15214/task/15230/stat : 15230 (java) S 14846 14846 8853 0 -1 1077944384 742 0 0 0 27 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305440430448 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15231] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15231/stat : 15231 (java) S 14846 14846 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140303763761632 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15234] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15234/stat : 15234 (java) S 14846 14846 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405827282 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305439378352 140306065181314 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15306] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15306/stat : 15306 (java) S 14846 14846 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405827369 8262082560 33949 33554432000 4194304 4196468 140725797438528 140305508885952 140306065194777 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15308] ppid=14846 vsize=8068440 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15214/task/15308/stat : 15308 (java) S 14846 14846 8853 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 405827370 8262082560 33949 33554432000 4194304 4196468 140725797438528 140303226879952 140306065192093 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15309] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15309/stat : 15309 (java) S 14846 14846 8853 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 405827371 8262082560 33949 33554432000 4194304 4196468 140725797438528 140302824226192 140306065192093 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
[pid=15214/tid=15310] ppid=14846 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15214/task/15310/stat : 15310 (java) S 14846 14846 8853 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405827373 8262082560 33949 33554432000 4194304 4196468 140725797438528 140303495322544 140306065180373 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19877888 140725797446651 140725797446810 140725797446810 140725797449679 0
Current children cumulated CPU time: 40.17 s
Current children cumulated vsize: 8228108 KiB
Current children cumulated memory: 167664 KiB

Child status: 0
Real time (s): 24.4555
CPU time (s): 40.2702
CPU user time (s): 38.7399
CPU system time (s): 1.53035
CPU usage (%): 164.668
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3499032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.7399
system time used= 1.53035
maximum resident set size= 3498032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84334
page faults= 0
swaps= 0
block input operations= 8
block output operations= 18184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7312
involuntary context switches= 139


# summary of solver processes directly reported to runsolver:
#   pid: 14846
#   total CPU time (s): 40.2702
#   total CPU user time (s): 38.7399
#   total CPU system time (s): 1.53035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.176598 second user time and 0.300694 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-12 16:37:50
IDJOB=4388382
IDBENCH=141062
IDSOLVER=2825
FILE ID=node147/4388382-1568299113
RUNJOBID= node147-1568286038-9751
PBS_JOBID= 21701064
Free space on /tmp= 52120 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-dec-scens11_mini/Rlfap-ext-scen-11-f02_c18.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-4388382-1568299113/watcher-4388382-1568299113 -o /tmp/evaluation-result-4388382-1568299113/solver-4388382-1568299113 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --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-4388382-1568299113.xml

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

MD5SUM BENCH= 7ac25fa9c4532324d4bc78edd5427656
RANDOM SEED=1134708783

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26176936 kB
MemAvailable:   31550848 kB
Buffers:          115036 kB
Cached:          5461228 kB
SwapCached:        48504 kB
Active:          2619176 kB
Inactive:        3273636 kB
Active(anon):     266976 kB
Inactive(anon):    91352 kB
Active(file):    2352200 kB
Inactive(file):  3182284 kB
Unevictable:      107624 kB
Mlocked:          107624 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:             20560 kB
Writeback:             0 kB
AnonPages:        390128 kB
Mapped:            55340 kB
Shmem:             32764 kB
Slab:             297044 kB
SReclaimable:     267888 kB
SUnreclaim:        29156 kB
KernelStack:        4080 kB
PageTables:         6000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6129524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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= 52100 MiB
End job on node147 at 2019-09-12 16:38:15