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-16173-serial-file.bin HOME/instance-4388430-1568299149.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 16:38:27 CEST 2019
0.66/0.55 c PID: 16176
0.66/0.55 c IP: 172.20.3.147
0.66/0.55 c HOST: node147.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.11/1.13 c (0,0) Parsing End
2.11/1.14 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 276 ctr, max domain size 71
2.11/1.14 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.11/1.14 c (0,0) Constraint Name Generate Begin
2.11/1.15 c (0,0) Ctr:HOME/instance-4388430-1568299149.xml,Add:Le:Num:Or:Var
2.11/1.15 c (0,0) Constraint Name Generate End
2.11/1.15 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.11/1.15 c (0,0) CSP to CSPinCNF Begin
2.40/1.28 c (0,0) translated 28 (10%) constraints
2.64/1.31 c (0,0) translated 56 (20%) constraints
2.64/1.33 c (0,0) translated 83 (30%) constraints
2.64/1.34 c (0,0) translated 111 (40%) constraints
2.64/1.35 c (0,0) translated 138 (50%) constraints
2.64/1.36 c (0,0) translated 166 (60%) constraints
2.64/1.38 c (0,0) translated 194 (70%) constraints
2.64/1.38 c (0,0) translated 221 (80%) constraints
2.64/1.39 c (0,0) translated 249 (90%) constraints
2.64/1.40 c (0,0) translated 276 (100%) constraints
2.64/1.40 c (0,0) ===========================================
2.64/1.40 c (0,0) Order
2.64/1.40 c (0,0) ===========================================
2.91/1.41 c (0,0) translated 28 (10%) constraints
2.91/1.41 c (0,0) translated 56 (20%) constraints
2.91/1.42 c (0,0) translated 83 (30%) constraints
2.91/1.42 c (0,0) translated 111 (40%) constraints
2.91/1.42 c (0,0) translated 138 (50%) constraints
2.91/1.43 c (0,0) translated 166 (60%) constraints
2.91/1.43 c (0,0) translated 194 (70%) constraints
2.91/1.43 c (0,0) translated 221 (80%) constraints
2.91/1.44 c (0,0) translated 249 (90%) constraints
2.91/1.44 c (0,0) translated 276 (100%) constraints
2.91/1.44 c (0,0) CSP to CSPinCNF End
2.91/1.44 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 276 ctr, max domain size 71
2.91/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.91/1.45 c (0,0) CSPinCNF Propagation Begin
2.91/1.47 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.91/1.47 c (0,0) CSPinCNF Propagation End
2.91/1.47 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 276 ctr, max domain size 71
2.91/1.47 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.91/1.47 c (0,0) Simplify CSPinCNF Begin
3.20/1.57 c (1,1) Simplify CSPinCNF End
3.20/1.58 c (1,1) CSP: 48 int (0 aux), 1104 bool (1104 aux), 1380 ctr, max domain size 71
3.20/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.20/1.58 c (1,1) Calculate Precise Domain Begin
3.20/1.58 c (1,1) 0 values are removed by re-calculation
3.20/1.58 c (1,1) Calculate Precise Domain End
3.20/1.58 c (1,1) CSP: 48 int (0 aux), 1104 bool (1104 aux), 1380 ctr, max domain size 71
3.20/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.20/1.58 c (1,1) CSPinCNF to SatSolver Begin
4.07/1.83 c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 9344 SAT clauses)
4.07/1.91 c (1,1) 276 (20 %) CSP clauses are encoded (0 SAT variables, 15763 SAT clauses)
4.42/1.96 c (1,1) 414 (30 %) CSP clauses are encoded (0 SAT variables, 21747 SAT clauses)
4.42/2.00 c (1,1) 552 (40 %) CSP clauses are encoded (0 SAT variables, 27611 SAT clauses)
4.73/2.05 c (1,1) 690 (50 %) CSP clauses are encoded (0 SAT variables, 33202 SAT clauses)
4.73/2.08 c (1,1) 828 (60 %) CSP clauses are encoded (0 SAT variables, 38563 SAT clauses)
5.05/2.12 c (1,1) 966 (70 %) CSP clauses are encoded (0 SAT variables, 43601 SAT clauses)
5.05/2.15 c (1,1) 1104 (80 %) CSP clauses are encoded (0 SAT variables, 48201 SAT clauses)
5.05/2.18 c (1,1) 1242 (90 %) CSP clauses are encoded (0 SAT variables, 52417 SAT clauses)
5.05/2.20 c (1,1) 1380 (100 %) CSP clauses are encoded (0 SAT variables, 56002 SAT clauses)
5.05/2.20 c (1,1) CSPinCNF to SatSolver End
5.05/2.20 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.32/2.20 c (1,1) 3912 bool, 56028 clause
5.32/2.20 c (1,1) Export Begin
5.32/2.28 c (1,1) Export to HOME/scop-16173-serial-file.bin
5.32/2.28 c (1,1) Export End
5.32/2.28 c (1,1) Export File Size: 0.01 MB
5.32/2.28 c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
5.32/2.28 c END-Prog: Thu Sep 12 16:38:28 CEST 2019
0.00/2.30 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16173-serial-file.bin
5.50/2.75 c (0,0) Read Serial File Begin
5.50/2.75 c (0,0) HOME/scop-16173-serial-file.bin
5.50/2.95 c (0,0) Read Serial File End
5.50/2.96
5.50/2.96 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
5.50/2.96 (Solving Process)
5.50/2.96
5.50/2.98 c BEGIN-Prog: Thu Sep 12 16:38:29 CEST 2019
5.50/2.98 c PID: 16212
5.50/2.98 c IP: 172.20.3.147
5.50/2.98 c HOST: node147.alineos.net
5.50/2.98 c (0,0) SatSolver.solve Begin
5.50/2.98 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388430-1568299149.xml-scop-16176.cnf
6.49/3.03 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.49/3.03 c (0,0) c glueminisat-simp-2.2.10-193oa-n
6.49/3.03 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388430-1568299149.xml-scop-16176.cnf
6.49/3.03 c (0,0) c Options:
6.49/3.03 c (0,0) c CORE
6.49/3.03 c (0,0) c var_decay = 0.950
6.49/3.03 c (0,0) c clause_decay = 0.999
6.49/3.03 c (0,0) c random_var_freq = 0.000
6.49/3.03 c (0,0) c random_seed = 91648253.000
6.49/3.03 c (0,0) c luby_restart = 1
6.49/3.03 c (0,0) c ccmin_mode = 2
6.49/3.03 c (0,0) c phase_saving = 2
6.49/3.03 c (0,0) c rnd_pol = 0
6.49/3.03 c (0,0) c rnd_init_act = 0
6.49/3.03 c (0,0) c garbage_frac = 0.200
6.49/3.03 c (0,0) c restart_first = 1000
6.49/3.03 c (0,0) c restart_inc = 2.000
6.49/3.03 c (0,0) c MODEL
6.49/3.03 c (0,0) c partial_model = 0
6.49/3.03 c (0,0) c PROPAGATION
6.49/3.03 c (0,0) c bin_propagation = 1
6.49/3.03 c (0,0) c SIMPLIFICATION
6.49/3.03 c (0,0) c lrn_min_size = 100
6.49/3.03 c (0,0) c lazy_simp = 1
6.49/3.03 c (0,0) c lazy_interval = 10
6.49/3.03 c (0,0) c lazy_fld_probing = 1
6.49/3.03 c (0,0) c lazy_pol_probing = 1
6.49/3.03 c (0,0) c lazy_nec_probing = 1
6.49/3.03 c (0,0) c lazy_eqv_probing = 1
6.49/3.03 c (0,0) c lazy_cla_probing = 1
6.49/3.03 c (0,0) c lazy_lrn_min = 2
6.49/3.03 c (0,0) c lazy_uw_lit_elim = 1
6.49/3.03 c (0,0) c lazy_pr_lit_elim = 0
6.49/3.03 c (0,0) c lazy_bin_add = 3
6.49/3.03 c (0,0) c probed_lit_chain = 1
6.49/3.03 c (0,0) c pr_min_lits = 0.00020
6.49/3.03 c (0,0) c pr_min_starts = 500
6.49/3.03 c (0,0) c rw_min_lits = 0.010
6.49/3.03 c (0,0) c rw_min_starts = 500
6.49/3.03 c (0,0) c rand_attach = 0
6.49/3.03 c (0,0) c dec_elim = 1
6.49/3.03 c (0,0) c dec_elim_lim = 25
6.49/3.03 c (0,0) c dec_elim_len = -1
6.49/3.03 c (0,0) c amo = 0
6.49/3.03 c (0,0) c amo_grp = 1
6.49/3.03 c (0,0) c amo_max_bins = 1000000
6.49/3.03 c (0,0) c amo_starts = 50
6.49/3.03 c (0,0) c mace_cmd = mace
6.49/3.03 c (0,0) c DECISION
6.49/3.03 c (0,0) c rand_rebuild = 0
6.49/3.03 c (0,0) c rand_rebuild_confs = 10000
6.49/3.03 c (0,0) c inc_var_decay = 1
6.49/3.03 c (0,0) c inc_var_decay_period = 100000
6.49/3.03 c (0,0) c inc_var_decay_init = 0.600
6.49/3.03 c (0,0) c var_decay_mode = 0
6.49/3.03 c (0,0) c var_decay_gain = 0
6.49/3.03 c (0,0) c sloped_var_decay = 1
6.49/3.03 c (0,0) c max_var_decay = 0.990
6.49/3.03 c (0,0) c min_var_decay = 0.950
6.49/3.03 c (0,0) c min_var_decay_vars = 10000
6.49/3.03 c (0,0) c max_var_decay_vars = 500
6.49/3.03 c (0,0) c uip_bumping = 1
6.49/3.03 c (0,0) c lbd_act_bumping = 1
6.49/3.03 c (0,0) c rand_tiebreak = 0
6.49/3.03 c (0,0) c simp_rebuild = 1
6.49/3.03 c (0,0) c RESTART
6.49/3.03 c (0,0) c restart_strategy = 2
6.49/3.03 c (0,0) c restart_blocking = 0
6.49/3.03 c (0,0) c agility_decay = 0.99990
6.49/3.03 c (0,0) c lbd_restart_rate = 0.800
6.49/3.03 c (0,0) c dec_restart_rate = 0.950
6.49/3.03 c (0,0) c blk_restart_rate = 0.700
6.49/3.03 c (0,0) c lbd_queue_size = 50
6.49/3.03 c (0,0) c dec_queue_size = 50
6.49/3.03 c (0,0) c trl_queue_size = 5000
6.49/3.03 c (0,0) c blk_restart_weight = 1.000
6.49/3.03 c (0,0) c inc_rst_rate = 0
6.49/3.03 c (0,0) c inc_rst_rate_period = 500000
6.49/3.03 c (0,0) c inc_lbd_rst_rate_init = 0.600
6.49/3.03 c (0,0) c inc_dec_rst_rate_init = 0.750
6.49/3.03 c (0,0) c REDUCTION
6.49/3.03 c (0,0) c closed_lbd = 0
6.49/3.03 c (0,0) c closed_lbd_rate = 0.500
6.49/3.03 c (0,0) c rm_simulate = 0
6.49/3.03 c (0,0) c rdb_eval = 2
6.49/3.03 c (0,0) c rdb_call = 3
6.49/3.03 c (0,0) c rdb_ub = 0.500
6.49/3.03 c (0,0) c core_lbd_cvr = 0.800
6.49/3.03 c (0,0) c supp_lbd_cvr = 0.990
6.49/3.03 c (0,0) c core_lbd_lb = 2
6.49/3.03 c (0,0) c supp_lbd_lb = 2
6.49/3.03 c (0,0) c core_lbd_prd = 7
6.49/3.03 c (0,0) c supp_lbd_prd = 1
6.49/3.03 c (0,0) c othr_lbd_prd = 0
6.49/3.03 c (0,0) c inc_lrn_limit = 1000
6.49/3.03 c (0,0) c frozen_lbd = 30
6.49/3.03 c (0,0) c simp_min_starts = 100
6.49/3.03 c (0,0) c rm_low_act_learnts = 1
6.49/3.03 c (0,0) c lv0_reduce_db = 0
6.49/3.03 c (0,0) c reduce_db_base = 20000
6.49/3.03 c (0,0) c reduce_db_inc = 1000
6.49/3.03 c (0,0) c HARD
6.49/3.03 c (0,0) c inst_check = 200000
6.49/3.03 c (0,0) c small_block = 1.750
6.49/3.03 c (0,0) c slow_restart_speed = 400.000
6.49/3.03 c (0,0) c slow_restart_strategy = 3
6.49/3.03 c (0,0) c slow_lbd_restart_rate = 0.700
6.49/3.03 c (0,0) c slow_dec_restart_rate = 1.000
6.49/3.03 c (0,0) c slow_lbd_queue_size = 50
6.49/3.03 c (0,0) c slow_var_decay = 0.950
6.49/3.03 c (0,0) c slow_glue_threshold = 2
6.49/3.03 c (0,0) c slow_phase_saving = 2
6.49/3.03 c (0,0) c fast_restart_speed = 125.000
6.49/3.03 c (0,0) c fast_restart_strategy = 1
6.49/3.03 c (0,0) c fast_lbd_restart_rate = 0.800
6.49/3.03 c (0,0) c fast_dec_restart_rate = 0.950
6.49/3.03 c (0,0) c fast_lbd_queue_size = 50
6.49/3.03 c (0,0) c fast_var_decay = 1.000
6.49/3.03 c (0,0) c fast_glue_threshold = 2
6.49/3.03 c (0,0) c fast_phase_saving = 2
6.49/3.03 c (0,0) c STATS
6.49/3.03 c (0,0) c stats_conf_size = 10000
6.49/3.03 c (0,0) c max_stats_size = 30
6.49/3.03 c (0,0) c SOLVER
6.49/3.03 c (0,0) c minisat = 0
6.49/3.04 c (0,0) c Problem: 3912 variables, 56028 clauses, parsing 0.02 s
6.49/3.07 c (0,0) c reduced to 3632 variables, 55748 clauses (grow = 0)
6.49/3.08 c (0,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
6.49/3.08 c (0,0) c Simplification: 280 vars, 280 clauses are eliminated using 0.05 s
6.49/3.08 c (0,0) c
6.49/3.08 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
6.49/3.08 c (0,0) c
6.49/3.08 c (0,0) c 0 0 0 3632 55748 0 -nan -nan -nan -nan%
6.49/3.09 c (0,0) c 0 1 100 3632 55748 100 15.3 7.7 38.0 32.6%
6.49/3.09 c (0,0) c 0 1 220 3632 55748 220 21.4 8.0 33.4 31.9%
6.49/3.10 c (0,0) c 0 1 364 3632 55748 364 20.9 8.4 42.7 38.2%
6.49/3.10 c (0,0) c 0 2 536 3632 55748 536 21.1 8.5 41.8 38.6%
6.63/3.11 c (0,0) c 0 2 743 3632 55748 743 22.0 8.7 40.0 39.6%
6.63/3.12 c (0,0) c 0 3 991 3632 55748 991 22.6 8.9 40.7 42.2%
6.63/3.14 c (0,0) c 0 5 1289 3632 55748 1289 22.7 9.3 39.4 40.0%
6.63/3.15 c (0,0) c 0 6 1647 3632 55748 1647 22.5 9.3 38.6 39.1%
6.63/3.17 c (0,0) c 0 6 2076 3632 55748 2076 22.7 9.3 37.8 38.7%
6.63/3.20 c (0,0) c 0 9 2591 3632 55748 2591 22.7 9.5 39.5 38.9%
6.63/3.23 c (0,0) c 0 13 3210 3632 55748 3210 22.7 9.7 42.2 39.0%
6.63/3.26 c (0,0) c 0 18 3953 3632 55748 3953 22.7 9.8 42.7 38.3%
6.63/3.31 c (0,0) c 0 20 4844 3632 55748 4844 23.5 9.8 43.1 39.3%
6.63/3.36 c (0,0) c 0 22 5913 3632 55748 5913 23.7 9.7 42.3 39.0%
6.64/3.43 c (0,0) c 0 28 7196 3632 55748 7196 23.7 9.9 41.8 38.5%
6.64/3.51 c (0,0) c
6.64/3.51 c (0,0) c variables : 3632 (init 3912, after simp 3632, 0 non-decs, 48 csp)
6.64/3.51 c (0,0) c clauses : 55748 (init 56028, after simp 55748)
6.64/3.51 c (0,0) c restarts : 37 (229.89 confs/res, 50~847 confs, 0 blks, 0 last)
6.64/3.51 c (0,0) c conflicts : 8736 (18423 /sec, 59.25% dconfs, 0.00% supp, trail 37.54w x 42.73h, jmp 2.63h)
6.64/3.51 c (0,0) c decisions : 24435 (0.6300 vdcy, 51530 /sec, 0.00% bin, rs 0.000 s)
6.64/3.51 c (0,0) c propagations : 1433459 (3022963 /sec, 58.66 lits/dec, 50.07% o.a.)
6.64/3.51 c (0,0) c conflict literals : 258467 (18.75% deleted; 1.13% by bin min, 0.006 s)
6.64/3.51 c (0,0) c len : 23.707 (23.71 for all, max 133, used 112)
6.64/3.51 c (0,0) c lbd : 10.094 (11.27 (10.09) for all, max 46, used 44, 4.141 stdev, 2.103 blk)
6.64/3.51 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
6.64/3.51 c (0,0) c simp dbs : 1 (0.000 s)
6.64/3.51 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
6.64/3.51 c (0,0) c learnts : 8736 (0 learnts removed, 0.00%)
6.64/3.51 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
6.64/3.51 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
6.64/3.51 c (0,0) c premise updates : 24091 (3.32 /lit)
6.64/3.51 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
6.64/3.51 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
6.64/3.51 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.005s)
6.64/3.51 c (0,0) c unwatched lit elim: 244 (0.00+0.09%, 0+244 of 188776+258467)
6.64/3.51 c (0,0) c classified type : undef
6.64/3.51 c (0,0) c progress : 0.000 %
6.64/3.51 c (0,0) c
6.64/3.51 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
6.64/3.51 c (0,0) c
6.64/3.51 c (0,0) c 0 38 8736 3632 55748 8736 23.7 10.1 42.7 38.9%
6.64/3.62 c (0,0) c 0 44 10584 3632 55748 10584 24.0 10.1 42.5 39.0%
6.64/3.74 c (1,0) c 0 55 12802 3632 55748 12802 24.0 10.2 42.2 38.4%
6.64/3.90 c (1,0) c 0 59 15464 3632 55748 15464 24.6 10.0 40.2 38.6%
7.63/4.09 c (1,0) c 1 68 18658 3632 55748 18658 24.9 10.0 37.9 38.2%
7.74/4.19 c (1,0) c 1 r 72 20003 3632 55748 20003 25.1 10.0 37.6 38.2%
7.74/4.19 c (1,0) c
7.74/4.19 c (1,0) c R [LBD Statistics #1]
7.74/4.19 c (1,0) c R LBD used lbd used clause lbd
7.74/4.19 c (1,0) c R tot 75204 20003
7.74/4.19 c (1,0) c R avg 6.311 10.003
7.74/4.19 c (1,0) c R 1 324 ( 0.4/ 0.4%) 31 ( 0.2/ 0.2%)
7.74/4.19 c (1,0) c R 2 5056 ( 6.7/ 7.2%) 543 ( 2.7/ 2.9%)
7.74/4.19 c (1,0) c R 3 9786 (13.0/20.2%) 1059 ( 5.3/ 8.2%)
7.74/4.19 c (1,0) c R 4 12626 (16.8/37.0%) 1608 ( 8.0/16.2%)
7.74/4.19 c (1,0) c R 5 12736 (16.9/53.9%) 1877 ( 9.4/25.6%)
7.74/4.19 c (1,0) c R 6 9408 (12.5/66.4%) 1794 ( 9.0/34.6%)
7.74/4.19 c (1,0) c R 7 6218 ( 8.3/74.7%) 1513 ( 7.6/42.1%)
7.74/4.19 c (1,0) c R 8 4511 ( 6.0/80.7%) 1345 ( 6.7/48.8%)
7.74/4.19 c (1,0) c R
7.74/4.19 c (1,0) c R core_lbd_threshold = 8
7.74/4.19 c (1,0) c R supp_lbd_threshold = 20
7.74/4.19 c (1,0) c R
7.74/4.19 c (1,0) c R [RDB Statistics #1]
7.74/4.19 c (1,0) c R kept: lbd = 9770 (48.8/48.8%)
7.74/4.19 c (1,0) c R kept: ttl = 10230 (51.1/100.0%)
7.74/4.19 c (1,0) c R kept: locked = 3 ( 0.0/100.0%)
7.74/4.19 c (1,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
7.74/4.19 c (1,0) c R lost: ttl = 0 ( 0.0/ 0.0%)
7.74/4.19 c (1,0) c R lost: subsumed = 0 ( 0.0/ 0.0%)
7.74/4.19 c (1,0) c
7.74/4.19 c (1,0) c 1 R 72 20003 3632 55748 20003 25.1 10.0 37.6 38.2%
7.93/4.36 c (1,0) c 1 87 22491 3632 55748 22491 25.1 10.1 40.2 39.1%
8.22/4.67 c (1,0) c 1 100 27091 3632 55748 27091 25.9 10.1 44.3 42.2%
8.42/4.87 c (2,0) c 1 r 110 29792 3632 55748 29792 26.2 10.1 46.7 43.4%
8.42/4.88 c (2,0) c
8.42/4.88 c (2,0) c R [LBD Statistics #2]
8.42/4.88 c (2,0) c R LBD used lbd used clause lbd
8.42/4.88 c (2,0) c R tot 121724 29792
8.42/4.88 c (2,0) c R avg 6.125 10.099
8.42/4.88 c (2,0) c R 1 693 ( 0.6/ 0.6%) 46 ( 0.2/ 0.2%)
8.42/4.88 c (2,0) c R 2 9459 ( 7.8/ 8.3%) 819 ( 2.7/ 2.9%)
8.42/4.88 c (2,0) c R 3 16745 (13.8/22.1%) 1617 ( 5.4/ 8.3%)
8.42/4.88 c (2,0) c R 4 20635 (17.0/39.0%) 2381 ( 8.0/16.3%)
8.42/4.88 c (2,0) c R 5 20181 (16.6/55.6%) 2720 ( 9.1/25.5%)
8.42/4.88 c (2,0) c R 6 15169 (12.5/68.1%) 2633 ( 8.8/34.3%)
8.42/4.88 c (2,0) c R 7 10243 ( 8.4/76.5%) 2219 ( 7.4/41.7%)
8.42/4.88 c (2,0) c R 8 7000 ( 5.8/82.3%) 2009 ( 6.7/48.5%)
8.42/4.88 c (2,0) c R
8.42/4.88 c (2,0) c R core_lbd_threshold = 8
8.42/4.88 c (2,0) c R supp_lbd_threshold = 20
8.42/4.88 c (2,0) c R
8.42/4.88 c (2,0) c R [RDB Statistics #2]
8.42/4.88 c (2,0) c R kept: lbd = 14419 (48.4/48.4%)
8.42/4.88 c (2,0) c R kept: ttl = 4379 (14.7/63.1%)
8.42/4.88 c (2,0) c R kept: locked = 34 ( 0.1/63.2%)
8.42/4.88 c (2,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
8.42/4.88 c (2,0) c R lost: ttl = 10960 (36.8/36.8%)
8.42/4.88 c (2,0) c R lost: subsumed = 0 ( 0.0/36.8%)
8.42/4.88 c (2,0) c
8.42/4.88 c (2,0) c 1 R 110 29792 3632 55748 18832 18.4 7.1 46.7 43.4%
8.55/4.97 c (2,0) c 1 113 31332 3632 55748 20372 19.1 7.4 46.8 44.8%
8.55/4.97 c (2,0) c
8.55/4.97 c (2,0) c
8.55/4.97 c (2,0) c variables : 3632 (init 3912, after simp 3632, 0 non-decs, 48 csp)
8.55/4.97 c (2,0) c clauses : 55748 (init 56028, after simp 55748)
8.55/4.97 c (2,0) c restarts : 112 (277.27 confs/res, 50~2192 confs, 0 blks, 0 last)
8.55/4.97 c (2,0) c conflicts : 31332 (16804 /sec, 58.34% dconfs, 0.00% supp, trail 39.97w x 42.44h, jmp 2.46h)
8.55/4.97 c (2,0) c decisions : 81726 (0.7100 vdcy, 43832 /sec, 0.00% bin, rs 0.000 s)
8.55/4.97 c (2,0) c propagations : 5152361 (2763388 /sec, 63.04 lits/dec, 49.78% o.a.)
8.55/4.97 c (2,0) c conflict literals : 1040918 (19.54% deleted; 1.47% by bin min, 0.018 s)
8.55/4.97 c (2,0) c len : 19.127 (26.24 for all, max 178, used 160)
8.55/4.97 c (2,0) c lbd : 7.385 (11.37 (10.11) for all, max 57, used 50, 3.845 stdev, 2.308 blk)
8.55/4.97 c (2,0) c amo : 0 (0 max, -nan avg, 0.000 s)
8.55/4.97 c (2,0) c simp dbs : 1 (0.000 s)
8.55/4.97 c (2,0) c reduce dbs : 2 (core-lbd 8, supp-lbd 20, 0.008 s)
8.55/4.97 c (2,0) c learnts : 20372 (10960 learnts removed, 34.98%)
8.55/4.97 c (2,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
8.55/4.97 c (2,0) c assigned lits : 0 (0/0 probed, 0 remains)
8.55/4.97 c (2,0) c premise updates : 122285 (16.83 /lit)
8.55/4.97 c (2,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
8.55/4.97 c (2,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
8.55/4.97 c (2,0) c lazy added bins : 0 (0 prop + 0 conf, 0.017s)
8.55/4.97 c (2,0) c unwatched lit elim: 1034 (0.00+0.10%, 0+1034 of 188776+1040918)
8.55/4.97 c (2,0) c classified type : undef
8.55/4.97 c (2,0) c progress : 0.000 %
8.55/4.97 c (2,0) c
8.55/4.97 c (2,0) c [Statistics]
8.55/4.97 c (2,0) c learnts len learnts lbd lit blk size eq vars size
8.55/4.97 c (2,0) c tot 31332 31332 356204 0
8.55/4.97 c (2,0) c avg 26.240 10.108 2.308 -nan
8.55/4.97 c (2,0) c 1 0 ( 0.0%) 49 ( 0.2%) 227515 (63.9%) 0 (-nan%)
8.55/4.97 c (2,0) c 2 0 ( 0.0%) 838 ( 2.7%) 51310 (14.4%) 0 (-nan%)
8.55/4.97 c (2,0) c 3 0 ( 0.0%) 1674 ( 5.3%) 25244 ( 7.1%) 0 (-nan%)
8.55/4.97 c (2,0) c 4 0 ( 0.0%) 2483 ( 7.9%) 14620 ( 4.1%) 0 (-nan%)
8.55/4.97 c (2,0) c 5 121 ( 0.4%) 2851 ( 9.1%) 9002 ( 2.5%) 0 (-nan%)
8.55/4.97 c (2,0) c 6 684 ( 2.2%) 2796 ( 8.9%) 6409 ( 1.8%) 0 (-nan%)
8.55/4.97 c (2,0) c 7 1217 ( 3.9%) 2358 ( 7.5%) 4620 ( 1.3%) 0 (-nan%)
8.55/4.97 c (2,0) c 8 1960 ( 6.3%) 2110 ( 6.7%) 3393 ( 1.0%) 0 (-nan%)
8.55/4.97 c (2,0) c 9 2090 ( 6.7%) 1991 ( 6.4%) 2525 ( 0.7%) 0 (-nan%)
8.55/4.97 c (2,0) c 10 1520 ( 4.9%) 1687 ( 5.4%) 1946 ( 0.5%) 0 (-nan%)
8.55/4.97 c (2,0) c 11 1366 ( 4.4%) 1611 ( 5.1%) 1593 ( 0.4%) 0 (-nan%)
8.55/4.97 c (2,0) c 12 1351 ( 4.3%) 1423 ( 4.5%) 1258 ( 0.4%) 0 (-nan%)
8.55/4.97 c (2,0) c 13 1174 ( 3.7%) 1373 ( 4.4%) 985 ( 0.3%) 0 (-nan%)
8.55/4.97 c (2,0) c 14 1006 ( 3.2%) 1259 ( 4.0%) 775 ( 0.2%) 0 (-nan%)
8.55/4.97 c (2,0) c 15 911 ( 2.9%) 1191 ( 3.8%) 624 ( 0.2%) 0 (-nan%)
8.55/4.97 c (2,0) c 16 848 ( 2.7%) 1065 ( 3.4%) 569 ( 0.2%) 0 (-nan%)
8.55/4.97 c (2,0) c 17 788 ( 2.5%) 899 ( 2.9%) 397 ( 0.1%) 0 (-nan%)
8.55/4.97 c (2,0) c 18 752 ( 2.4%) 739 ( 2.4%) 432 ( 0.1%) 0 (-nan%)
8.55/4.97 c (2,0) c 19 712 ( 2.3%) 604 ( 1.9%) 388 ( 0.1%) 0 (-nan%)
8.55/4.97 c (2,0) c 20 620 ( 2.0%) 495 ( 1.6%) 310 ( 0.1%) 0 (-nan%)
8.55/4.97 c (2,0) c 21 598 ( 1.9%) 394 ( 1.3%) 251 ( 0.1%) 0 (-nan%)
8.55/4.97 c (2,0) c 22 553 ( 1.8%) 330 ( 1.1%) 227 ( 0.1%) 0 (-nan%)
8.55/4.97 c (2,0) c 23 541 ( 1.7%) 210 ( 0.7%) 198 ( 0.1%) 0 (-nan%)
8.55/4.97 c (2,0) c 24 509 ( 1.6%) 190 ( 0.6%) 165 ( 0.0%) 0 (-nan%)
8.55/4.97 c (2,0) c 25 479 ( 1.5%) 137 ( 0.4%) 155 ( 0.0%) 0 (-nan%)
8.55/4.97 c (2,0) c 26 432 ( 1.4%) 112 ( 0.4%) 112 ( 0.0%) 0 (-nan%)
8.55/4.97 c (2,0) c 27 432 ( 1.4%) 86 ( 0.3%) 121 ( 0.0%) 0 (-nan%)
8.55/4.97 c (2,0) c 28 415 ( 1.3%) 74 ( 0.2%) 97 ( 0.0%) 0 (-nan%)
8.55/4.97 c (2,0) c 29 371 ( 1.2%) 49 ( 0.2%) 100 ( 0.0%) 0 (-nan%)
8.55/4.97 c (2,0) c 30 9882 (31.5%) 254 ( 0.8%) 863 ( 0.2%) 0 (-nan%)
8.55/4.97 c (2,0) c
8.55/4.97 c (2,0) c [LBD Statistics]
8.55/4.97 c (2,0) c LBD used lbd used clause lbd unused clause lbd
8.55/4.97 c (2,0) c tot 128445 20363 10969
8.55/4.97 c (2,0) c avg 6.132 8.375 13.325
8.55/4.97 c (2,0) c 1 724 ( 0.6/ 0.6%) 49 ( 0.2/ 0.2%) 0 ( 0.0/ 0.0%)
8.55/4.97 c (2,0) c 2 10150 ( 7.9/ 8.5%) 793 ( 3.9/ 4.1%) 45 ( 0.4/ 0.4%)
8.55/4.97 c (2,0) c 3 17571 (13.7/22.1%) 1560 ( 7.7/11.8%) 114 ( 1.0/ 1.4%)
8.55/4.97 c (2,0) c 4 21652 (16.9/39.0%) 2222 (10.9/22.7%) 261 ( 2.4/ 3.8%)
8.55/4.97 c (2,0) c 5 21116 (16.4/55.4%) 2405 (11.8/34.5%) 446 ( 4.1/ 7.9%)
8.55/4.97 c (2,0) c 6 16004 (12.5/67.9%) 2195 (10.8/45.3%) 601 ( 5.5/13.4%)
8.55/4.97 c (2,0) c 7 10928 ( 8.5/76.4%) 1775 ( 8.7/54.0%) 583 ( 5.3/18.7%)
8.55/4.97 c (2,0) c 8 7463 ( 5.8/82.2%) 1503 ( 7.4/61.4%) 607 ( 5.5/24.2%)
8.55/4.97 c (2,0) c 9 5439 ( 4.2/86.5%) 1319 ( 6.5/67.9%) 672 ( 6.1/30.3%)
8.55/4.97 c (2,0) c 10 3645 ( 2.8/89.3%) 1053 ( 5.2/73.0%) 634 ( 5.8/36.1%)
8.55/4.97 c (2,0) c 11 2812 ( 2.2/91.5%) 942 ( 4.6/77.7%) 669 ( 6.1/42.2%)
8.55/4.97 c (2,0) c 12 2204 ( 1.7/93.2%) 763 ( 3.7/81.4%) 660 ( 6.0/48.2%)
8.55/4.97 c (2,0) c 13 1589 ( 1.2/94.4%) 666 ( 3.3/84.7%) 707 ( 6.4/54.7%)
8.55/4.97 c (2,0) c 14 1346 ( 1.0/95.5%) 563 ( 2.8/87.5%) 696 ( 6.3/61.0%)
8.55/4.97 c (2,0) c 15 1166 ( 0.9/96.4%) 545 ( 2.7/90.1%) 646 ( 5.9/66.9%)
8.55/4.97 c (2,0) c 16 1004 ( 0.8/97.2%) 454 ( 2.2/92.4%) 611 ( 5.6/72.5%)
8.55/4.97 c (2,0) c 17 845 ( 0.7/97.8%) 356 ( 1.7/94.1%) 543 ( 5.0/77.4%)
8.55/4.97 c (2,0) c 18 682 ( 0.5/98.4%) 288 ( 1.4/95.5%) 451 ( 4.1/81.6%)
8.55/4.97 c (2,0) c 19 554 ( 0.4/98.8%) 214 ( 1.1/96.6%) 390 ( 3.6/85.1%)
8.55/4.97 c (2,0) c 20 367 ( 0.3/99.1%) 160 ( 0.8/97.4%) 335 ( 3.1/88.2%)
8.55/4.97 c (2,0) c 21 243 ( 0.2/99.3%) 113 ( 0.6/97.9%) 281 ( 2.6/90.7%)
8.55/4.97 c (2,0) c 22 201 ( 0.2/99.4%) 110 ( 0.5/98.5%) 220 ( 2.0/92.7%)
8.55/4.97 c (2,0) c 23 206 ( 0.2/99.6%) 66 ( 0.3/98.8%) 144 ( 1.3/94.0%)
8.55/4.97 c (2,0) c 24 139 ( 0.1/99.7%) 58 ( 0.3/99.1%) 132 ( 1.2/95.3%)
8.55/4.97 c (2,0) c 25 80 ( 0.1/99.8%) 29 ( 0.1/99.2%) 108 ( 1.0/96.2%)
8.55/4.97 c (2,0) c 26 68 ( 0.1/99.8%) 32 ( 0.2/99.4%) 80 ( 0.7/97.0%)
8.55/4.97 c (2,0) c 27 42 ( 0.0/99.8%) 27 ( 0.1/99.5%) 59 ( 0.5/97.5%)
8.55/4.97 c (2,0) c 28 34 ( 0.0/99.9%) 15 ( 0.1/99.6%) 59 ( 0.5/98.0%)
8.55/4.97 c (2,0) c 29 29 ( 0.0/99.9%) 17 ( 0.1/99.7%) 32 ( 0.3/98.3%)
8.55/4.97 c (2,0) c 30 20 ( 0.0/99.9%) 17 ( 0.1/99.7%) 42 ( 0.4/98.7%)
8.55/4.97 c (2,0) c 31 20 ( 0.0/99.9%) 14 ( 0.1/99.8%) 30 ( 0.3/99.0%)
8.55/4.97 c (2,0) c 32 25 ( 0.0/99.9%) 3 ( 0.0/99.8%) 18 ( 0.2/99.2%)
8.55/4.97 c (2,0) c 33 13 ( 0.0/100.0%) 3 ( 0.0/99.8%) 20 ( 0.2/99.3%)
8.55/4.97 c (2,0) c 34 7 ( 0.0/100.0%) 8 ( 0.0/99.9%) 11 ( 0.1/99.4%)
8.55/4.97 c (2,0) c 35 17 ( 0.0/100.0%) 4 ( 0.0/99.9%) 14 ( 0.1/99.6%)
8.55/4.97 c (2,0) c 36 2 ( 0.0/100.0%) 3 ( 0.0/99.9%) 6 ( 0.1/99.6%)
8.55/4.97 c (2,0) c 37 11 ( 0.0/100.0%) 7 ( 0.0/99.9%) 12 ( 0.1/99.7%)
8.55/4.97 c (2,0) c 38 7 ( 0.0/100.0%) 3 ( 0.0/100.0%) 7 ( 0.1/99.8%)
8.55/4.97 c (2,0) c 39 5 ( 0.0/100.0%) 3 ( 0.0/100.0%) 6 ( 0.1/99.8%)
8.55/4.97 c (2,0) c 40 3 ( 0.0/100.0%) 2 ( 0.0/100.0%) 3 ( 0.0/99.9%)
8.55/4.97 c (2,0) c 41 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
8.55/4.97 c (2,0) c 42 4 ( 0.0/100.0%) 2 ( 0.0/100.0%) 1 ( 0.0/99.9%)
8.55/4.97 c (2,0) c 43 1 ( 0.0/100.0%) 1 ( 0.0/100.0%) 3 ( 0.0/99.9%)
8.55/4.97 c (2,0) c 44 3 ( 0.0/100.0%) 1 ( 0.0/100.0%) 1 ( 0.0/99.9%)
8.55/4.97 c (2,0) c 45 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/99.9%)
8.55/4.97 c (2,0) c 46 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 47 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 48 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 49 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 50 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 51 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 52 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 53 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 54 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 55 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 56 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
8.55/4.97 c (2,0) c 57 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
8.55/4.97 c (2,0) c
8.55/4.97 c (2,0) c Memory used : 32.00 MB
8.55/4.97 c (2,0) c CPU time : 1.865 s
8.55/4.97 c (2,0) c Real time : 1.962 s
8.55/4.97 c (2,0) c
8.55/4.97 c (2,0) s SATISFIABLE
8.55/4.99 c (2,0) SatSolver.solve End
8.55/4.99 c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
8.55/4.99 c (2,0) Show results Begin
8.69/5.08 c (2,0) x[0] = 47
8.69/5.08 c (2,0) x[1] = 0
8.69/5.08 c (2,0) x[2] = 15
8.69/5.08 c (2,0) x[3] = 26
8.69/5.08 c (2,0) x[4] = 24
8.69/5.08 c (2,0) x[5] = 18
8.69/5.08 c (2,0) x[6] = 24
8.69/5.08 c (2,0) x[7] = 31
8.69/5.08 c (2,0) x[8] = 38
8.69/5.08 c (2,0) x[9] = 14
8.69/5.08 c (2,0) x[10] = 47
8.69/5.08 c (2,0) x[11] = 18
8.69/5.08 c (2,0) x[12] = 58
8.69/5.08 c (2,0) x[13] = 0
8.69/5.08 c (2,0) x[14] = 56
8.69/5.08 c (2,0) x[15] = 2
8.69/5.08 c (2,0) x[16] = 39
8.69/5.08 c (2,0) x[17] = 0
8.69/5.08 c (2,0) x[18] = 19
8.69/5.08 c (2,0) x[19] = 30
8.69/5.08 c (2,0) x[20] = 50
8.69/5.08 c (2,0) x[21] = 49
8.69/5.08 c (2,0) x[22] = 0
8.69/5.08 c (2,0) x[23] = 23
8.69/5.08 c (2,0) y[0] = 21
8.69/5.08 c (2,0) y[1] = 24
8.69/5.08 c (2,0) y[2] = 40
8.69/5.09 c (2,0) y[3] = 55
8.69/5.09 c (2,0) y[4] = 50
8.69/5.09 c (2,0) y[5] = 53
8.69/5.09 c (2,0) y[6] = 43
8.69/5.09 c (2,0) y[7] = 43
8.69/5.09 c (2,0) y[8] = 24
8.69/5.09 c (2,0) y[9] = 43
8.69/5.09 c (2,0) y[10] = 22
8.69/5.09 c (2,0) y[11] = 59
8.69/5.09 c (2,0) y[12] = 22
8.69/5.09 c (2,0) y[13] = 39
8.69/5.09 c (2,0) y[14] = 35
8.69/5.09 c (2,0) y[15] = 23
8.69/5.09 c (2,0) y[16] = 33
8.69/5.09 c (2,0) y[17] = 53
8.69/5.09 c (2,0) y[18] = 24
8.69/5.09 c (2,0) y[19] = 51
8.69/5.09 c (2,0) y[20] = 50
8.69/5.09 c (2,0) y[21] = 0
8.69/5.09 c (2,0) y[22] = 0
8.69/5.09 c (2,0) y[23] = 0
8.69/5.09 s SATISFIABLE
8.69/5.09 v <instantiation>
8.69/5.09 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23]</list>
8.69/5.09 v <values>47 0 15 26 24 18 24 31 38 14 47 18 58 0 56 2 39 0 19 30 50 49 0 23 21 24 40 55 50 53 43 43 24 43 22 59 22 39 35 23 33 53 24 51 50 0 0 0</values>
8.69/5.09 v </instantiation>
8.69/5.09 c (2,0) Show results End
8.69/5.09 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
8.69/5.09 c (2,0) 2,2,STOP-AFTER(ALL)
8.69/5.09 c END-Prog: Thu Sep 12 16:38:31 CEST 2019
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 (11384 MiB free)
memory of node 1: 16384 MiB (14283 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388430-1568299149/watcher-4388430-1568299149 -o /tmp/evaluation-result-4388430-1568299149/solver-4388430-1568299149 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9752 --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-4388430-1568299149.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16173, runsolver pid=16170
[startup+0.100757 s]*
/proc/loadavg: 2.48 2.22 2.12 6/229 16190
/proc/meminfo: memFree=26211732/32770624 swapFree=66957008/67108860
[pid=16173] ppid=16170 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16173/stat : 16173 (scop.sh) S 16170 16173 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828773 115843072 349 33554432000 4194304 5098028 140727886545872 140727886543128 139756251955836 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16252928 140727886553896 140727886554224 140727886554224 140727886557133 0
/proc/16173/statm: 28282 349 296 221 0 87 0
[pid=16176] ppid=16173 vsize=15012696 memory=76012 CPUtime=0.12 cores=1,3,5,7
/proc/16176/stat : 16176 (java) S 16173 16173 8853 0 -1 1077944320 6215 0 0 0 10 2 0 0 20 0 15 0 405828773 15373000704 19003 33554432000 4194304 4196468 140722945473376 140722945455920 140438794100471 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
/proc/16176/statm: 3753174 19003 2937 1 0 3715579 0
[pid=16176/tid=16177] ppid=16173 vsize=15012696 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/16176/task/16177/stat : 16177 (java) R 16173 16173 8853 0 -1 4202560 4099 0 0 0 8 1 0 0 20 0 15 0 405828774 15373000704 19069 33554432000 4194304 4196468 140722945473376 140438765894376 140438778180958 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16178] ppid=16173 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16178/stat : 16178 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 19069 33554432000 4194304 4196468 140722945473376 140438798343312 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16179] ppid=16173 vsize=15012696 memory=139767276664448 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16179/stat : 16179 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 19069 33554432000 4194304 4196468 140722945473376 140438589426704 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16180] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16180/stat : 16180 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 19069 33554432000 4194304 4196468 140722945473376 140438588373904 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16181] ppid=16173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16181/stat : 16181 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 19069 33554432000 4194304 4196468 140722945473376 140438587321104 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16182] ppid=16173 vsize=15012696 memory=139767276664448 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16182/stat : 16182 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828777 15373000704 19069 33554432000 4194304 4196468 140722945473376 140437563046256 140438794111618 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16183] ppid=16173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16183/stat : 16183 (java) S 16173 16173 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828777 15373000704 19069 33554432000 4194304 4196468 140722945473376 140437444617248 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16184] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16184/stat : 16184 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828777 15373000704 19069 33554432000 4194304 4196468 140722945473376 140437176181616 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16185] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16185/stat : 16185 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 19069 33554432000 4194304 4196468 140722945473376 140436801673040 140438794119067 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16186] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16186/stat : 16186 (java) S 16173 16173 8853 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 19069 33554432000 4194304 4196468 140722945473376 140437561994096 140438794111618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16187] ppid=16173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16187/stat : 16187 (java) S 16173 16173 8853 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 19069 33554432000 4194304 4196468 140722945473376 140437560941296 140438794111618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16188] ppid=16173 vsize=15012696 memory=139767276664448 CPUtime=0.01 cores=1,3,5,7
/proc/16176/task/16188/stat : 16188 (java) R 16173 16173 8853 0 -1 4202560 431 0 0 0 1 0 0 0 20 0 15 0 405828780 15373000704 19069 33554432000 4194304 4196468 140722945473376 140437559885432 140438772469110 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16189] ppid=16173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16189/stat : 16189 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 19069 33554432000 4194304 4196468 140722945473376 140436303768288 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16190] ppid=16173 vsize=15012696 memory=139767276664448 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16190/stat : 16190 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 19069 33554432000 4194304 4196468 140722945473376 140437558835888 140438794111618 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 77408 KiB
[startup+0.211019 s]*
/proc/loadavg: 2.48 2.22 2.12 4/229 16190
/proc/meminfo: memFree=26186648/32770624 swapFree=66957008/67108860
[pid=16173] ppid=16170 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16173/stat : 16173 (scop.sh) S 16170 16173 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828773 115843072 349 33554432000 4194304 5098028 140727886545872 140727886543128 139756251955836 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16252928 140727886553896 140727886554224 140727886554224 140727886557133 0
/proc/16173/statm: 28282 349 296 221 0 87 0
[pid=16176] ppid=16173 vsize=15012696 memory=91372 CPUtime=0.25 cores=1,3,5,7
/proc/16176/stat : 16176 (java) S 16173 16173 8853 0 -1 1077944320 11341 0 0 0 22 3 0 0 20 0 15 0 405828773 15373000704 22843 33554432000 4194304 4196468 140722945473376 140722945455920 140438794100471 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
/proc/16176/statm: 3753174 22843 2970 1 0 3715579 0
[pid=16176/tid=16177] ppid=16173 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/16176/task/16177/stat : 16177 (java) R 16173 16173 8853 0 -1 4202560 9091 0 0 0 17 2 0 0 20 0 15 0 405828774 15373000704 22843 33554432000 4194304 4196468 140722945473376 140438765918880 140438794122397 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16178] ppid=16173 vsize=15012696 memory=8952 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16178/stat : 16178 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 22843 33554432000 4194304 4196468 140722945473376 140438798343312 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16179] ppid=16173 vsize=15012696 memory=288370143428376192 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16179/stat : 16179 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 22843 33554432000 4194304 4196468 140722945473376 140438589426704 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16180] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16180/stat : 16180 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 22843 33554432000 4194304 4196468 140722945473376 140438588373904 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16181] ppid=16173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16181/stat : 16181 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 22843 33554432000 4194304 4196468 140722945473376 140438587321104 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16182] ppid=16173 vsize=15012696 memory=139767276664448 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16182/stat : 16182 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828777 15373000704 22843 33554432000 4194304 4196468 140722945473376 140437563046256 140438794111618 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16183] ppid=16173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16183/stat : 16183 (java) S 16173 16173 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828777 15373000704 22843 33554432000 4194304 4196468 140722945473376 140437444617248 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16184] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16184/stat : 16184 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828777 15373000704 22843 33554432000 4194304 4196468 140722945473376 140437176181616 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16185] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16185/stat : 16185 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 22843 33554432000 4194304 4196468 140722945473376 140436801673040 140438794119067 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16186] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16186/stat : 16186 (java) S 16173 16173 8853 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 22843 33554432000 4194304 4196468 140722945473376 140437561994096 140438794111618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16187] ppid=16173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16187/stat : 16187 (java) S 16173 16173 8853 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 22843 33554432000 4194304 4196468 140722945473376 140437560941296 140438794111618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16188] ppid=16173 vsize=15012696 memory=139767276664448 CPUtime=0.03 cores=1,3,5,7
/proc/16176/task/16188/stat : 16188 (java) R 16173 16173 8853 0 -1 4202560 438 0 0 0 3 0 0 0 20 0 15 0 405828780 15373000704 22843 33554432000 4194304 4196468 140722945473376 140437559888496 140438772705950 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16189] ppid=16173 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16189/stat : 16189 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 22843 33554432000 4194304 4196468 140722945473376 140436303768288 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16190] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16190/stat : 16190 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 22843 33554432000 4194304 4196468 140722945473376 140437558835888 140438794111618 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92768 KiB
[startup+0.310745 s]*
/proc/loadavg: 2.48 2.22 2.12 5/229 16190
/proc/meminfo: memFree=26175168/32770624 swapFree=66957008/67108860
[pid=16173] ppid=16170 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16173/stat : 16173 (scop.sh) S 16170 16173 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828773 115843072 349 33554432000 4194304 5098028 140727886545872 140727886543128 139756251955836 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16252928 140727886553896 140727886554224 140727886554224 140727886557133 0
/proc/16173/statm: 28282 349 296 221 0 87 0
[pid=16176] ppid=16173 vsize=15012696 memory=94456 CPUtime=0.43 cores=1,3,5,7
/proc/16176/stat : 16176 (java) S 16173 16173 8853 0 -1 1077944320 11688 0 0 0 40 3 0 0 20 0 15 0 405828773 15373000704 23614 33554432000 4194304 4196468 140722945473376 140722945455920 140438794100471 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
/proc/16176/statm: 3753174 23614 3029 1 0 3715579 0
[pid=16176/tid=16177] ppid=16173 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/16176/task/16177/stat : 16177 (java) R 16173 16173 8853 0 -1 4202560 9271 0 0 0 27 3 0 0 20 0 15 0 405828774 15373000704 23614 33554432000 4194304 4196468 140722945473376 140438765913184 140438774376352 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16178] ppid=16173 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16178/stat : 16178 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 23614 33554432000 4194304 4196468 140722945473376 140438798343312 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16179] ppid=16173 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16179/stat : 16179 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 23614 33554432000 4194304 4196468 140722945473376 140438589426704 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16180] ppid=16173 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16180/stat : 16180 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 23614 33554432000 4194304 4196468 140722945473376 140438588373904 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16181] ppid=16173 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16181/stat : 16181 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828775 15373000704 23614 33554432000 4194304 4196468 140722945473376 140438587321104 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16182] ppid=16173 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16182/stat : 16182 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828777 15373000704 23614 33554432000 4194304 4196468 140722945473376 140437563046256 140438794111618 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16183] ppid=16173 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16183/stat : 16183 (java) S 16173 16173 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828777 15373000704 23614 33554432000 4194304 4196468 140722945473376 140437444617248 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16184] ppid=16173 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16184/stat : 16184 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828777 15373000704 23614 33554432000 4194304 4196468 140722945473376 140437176181616 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16185] ppid=16173 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16185/stat : 16185 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 23614 33554432000 4194304 4196468 140722945473376 140436801673040 140438794119067 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16186] ppid=16173 vsize=15012696 memory=4628975386420216973 CPUtime=0.03 cores=1,3,5,7
/proc/16176/task/16186/stat : 16186 (java) S 16173 16173 8853 0 -1 1077944384 455 0 0 0 3 0 0 0 20 0 15 0 405828780 15373000704 23614 33554432000 4194304 4196468 140722945473376 140437561994096 140438794111618 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16187] ppid=16173 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16176/task/16187/stat : 16187 (java) S 16173 16173 8853 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 405828780 15373000704 23614 33554432000 4194304 4196468 140722945473376 140437560941296 140438794111618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16188] ppid=16173 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16176/task/16188/stat : 16188 (java) S 16173 16173 8853 0 -1 1077944384 459 0 0 0 7 0 0 0 20 0 15 0 405828780 15373000704 23614 33554432000 4194304 4196468 140722945473376 140437559888496 140438794111618 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16189] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16189/stat : 16189 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 23614 33554432000 4194304 4196468 140722945473376 140436303768288 140438794110677 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16190] ppid=16173 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16190/stat : 16190 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828780 15373000704 23614 33554432000 4194304 4196468 140722945473376 140437558835888 140438794111618 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 95852 KiB
[startup+0.701889 s]
/proc/loadavg: 2.48 2.22 2.12 4/229 16190
/proc/meminfo: memFree=26133048/32770624 swapFree=66957008/67108860
[pid=16173] ppid=16170 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16173/stat : 16173 (scop.sh) S 16170 16173 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828773 115843072 349 33554432000 4194304 5098028 140727886545872 140727886543128 139756251955836 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16252928 140727886553896 140727886554224 140727886554224 140727886557133 0
/proc/16173/statm: 28282 349 296 221 0 87 0
[pid=16176] ppid=16173 vsize=15021092 memory=132356 CPUtime=1.01 cores=1,3,5,7
/proc/16176/stat : 16176 (java) S 16173 16173 8853 0 -1 1077944320 19337 0 0 0 95 6 0 0 20 0 15 0 405828773 15381598208 33089 33554432000 4194304 4196468 140722945473376 140722945455920 140438794100471 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
/proc/16176/statm: 3755273 33089 3209 1 0 3716603 0
[pid=16176/tid=16177] ppid=16173 vsize=15021092 memory=37520 CPUtime=0.67 cores=1,3,5,7
/proc/16176/task/16177/stat : 16177 (java) R 16173 16173 8853 0 -1 4202560 16376 0 0 0 62 5 0 0 20 0 15 0 405828774 15381598208 33089 33554432000 4194304 4196468 140722945473376 140438765931760 140438778180958 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16178] ppid=16173 vsize=15021092 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16178/stat : 16178 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828775 15381598208 33089 33554432000 4194304 4196468 140722945473376 140438798343312 140438794110677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16179] ppid=16173 vsize=15021092 memory=988 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16179/stat : 16179 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828775 15381598208 33089 33554432000 4194304 4196468 140722945473376 140438589426704 140438794110677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16180] ppid=16173 vsize=15021092 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16180/stat : 16180 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828775 15381598208 33089 33554432000 4194304 4196468 140722945473376 140438588373904 140438794110677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16181] ppid=16173 vsize=15021092 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16181/stat : 16181 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405828775 15381598208 33089 33554432000 4194304 4196468 140722945473376 140438587321104 140438794110677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16182] ppid=16173 vsize=15021092 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16182/stat : 16182 (java) S 16173 16173 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405828777 15381598208 33089 33554432000 4194304 4196468 140722945473376 140437563046256 140438794111618 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16183] ppid=16173 vsize=15021092 memory=6092 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16183/stat : 16183 (java) S 16173 16173 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405828777 15381598208 33089 33554432000 4194304 4196468 140722945473376 140437444617248 140438794110677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16184] ppid=16173 vsize=15021092 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16184/stat : 16184 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828777 15381598208 33089 33554432000 4194304 4196468 140722945473376 140437176181616 140438794110677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16185] ppid=16173 vsize=15021092 memory=732 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16185/stat : 16185 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828780 15381598208 33089 33554432000 4194304 4196468 140722945473376 140436801673040 140438794119067 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16186] ppid=16173 vsize=15021092 memory=776 CPUtime=0.1 cores=1,3,5,7
/proc/16176/task/16186/stat : 16186 (java) R 16173 16173 8853 0 -1 1077944384 665 0 0 0 10 0 0 0 20 0 15 0 405828780 15381598208 33089 33554432000 4194304 4196468 140722945473376 140437561984480 140438794110677 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16187] ppid=16173 vsize=15021092 memory=1560 CPUtime=0.06 cores=1,3,5,7
/proc/16176/task/16187/stat : 16187 (java) S 16173 16173 8853 0 -1 1077944384 380 0 0 0 6 0 0 0 20 0 15 0 405828780 15381598208 33089 33554432000 4194304 4196468 140722945473376 140437560941296 140438794111618 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16188] ppid=16173 vsize=15021092 memory=4008 CPUtime=0.15 cores=1,3,5,7
/proc/16176/task/16188/stat : 16188 (java) S 16173 16173 8853 0 -1 1077944384 582 0 0 0 15 0 0 0 20 0 15 0 405828780 15381598208 33089 33554432000 4194304 4196468 140722945473376 140437559888496 140438794111618 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16189] ppid=16173 vsize=15021092 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16189/stat : 16189 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405828780 15381598208 33089 33554432000 4194304 4196468 140722945473376 140436303768288 140438794110677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
[pid=16176/tid=16190] ppid=16173 vsize=15021092 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/16176/task/16190/stat : 16190 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405828780 15381598208 33089 33554432000 4194304 4196468 140722945473376 140437558835888 140438794111618 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140722945479406 140722945479834 140722945479834 140722945482703 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 133752 KiB
[startup+1.50162 s]
/proc/loadavg: 2.48 2.22 2.12 6/229 16190
/proc/meminfo: memFree=25975352/32770624 swapFree=66957008/67108860
[pid=16173] ppid=16170 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16173/stat : 16173 (scop.sh) S 16170 16173 8853 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405828773 115843072 349 33554432000 4194304 5098028 140727886545872 140727886543128 139756251955836 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16252928 140727886553896 140727886554224 140727886554224 140727886557133 0
/proc/16173/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/16212/task/16224/stat : 16224 (java) S 16173 16173 8853 0 -1 1077944384 517 0 0 0 19 0 0 0 20 0 19 0 405829009 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291264669808 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16225] ppid=16173 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16225/stat : 16225 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405829010 8262082560 29351 33554432000 4194304 4196468 140734192951984 140289872226528 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16226] ppid=16173 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16226/stat : 16226 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829010 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291263618224 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16228] ppid=16173 vsize=8068440 memory=15 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16228/stat : 16228 (java) S 16173 16173 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405829074 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291818677952 140292022976281 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
Current children cumulated CPU time: 6.63 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 118880 KiB
[startup+4.00069 s]*
/proc/loadavg: 2.45 2.21 2.12 4/239 16232
/proc/meminfo: memFree=26201788/32770624 swapFree=66957008/67108860
[pid=16173] ppid=16170 vsize=113128 memory=1476 CPUtime=5.5 cores=1,3,5,7
/proc/16173/stat : 16173 (scop.sh) S 16170 16173 8853 0 -1 4202496 584 25451 0 0 0 0 536 14 20 0 1 0 405828773 115843072 369 33554432000 4194304 5098028 140727886545872 140727886542616 139756251955836 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16252928 140727886553896 140727886554224 140727886554224 140727886557133 0
/proc/16173/statm: 28282 369 311 221 0 87 0
[pid=16212] ppid=16173 vsize=8068440 memory=117404 CPUtime=1.14 cores=1,3,5,7
/proc/16212/stat : 16212 (java) S 16173 16173 8853 0 -1 1077944320 19830 0 0 0 108 6 0 0 20 0 19 0 405829003 8262082560 29351 33554432000 4194304 4196468 140734192951984 140734192934528 140292022951671 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
/proc/16212/statm: 2017110 29351 3201 1 0 1978454 0
[pid=16227] ppid=16212 vsize=25636 memory=10192 CPUtime=0.99 cores=1,3,5,7
/proc/16227/stat : 16227 (glueminisat-sim) R 16212 16173 8853 0 -1 4202496 3153 0 0 0 94 5 0 0 20 0 1 0 405829074 26251264 2548 33554432000 4194304 4452875 140721715950448 140721715945480 140488961154951 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 21540864 140721715954527 140721715954727 140721715954727 140721715957677 0
/proc/16227/statm: 6409 2548 373 64 0 2613 0
[pid=16212/tid=16213] ppid=16173 vsize=8068440 memory=591434147003760758 CPUtime=0.73 cores=1,3,5,7
/proc/16212/task/16213/stat : 16213 (java) S 16173 16173 8853 0 -1 1077944384 16852 0 0 0 68 5 0 0 20 0 19 0 405829004 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291994791840 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16214] ppid=16173 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16214/stat : 16214 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829005 8262082560 29351 33554432000 4194304 4196468 140734192951984 140292027194000 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16215] ppid=16173 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16215/stat : 16215 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829005 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291827362320 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16216] ppid=16173 vsize=8068440 memory=3617006442998018099 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16216/stat : 16216 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829005 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291826309520 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16217] ppid=16173 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16217/stat : 16217 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829005 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291825256720 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16218] ppid=16173 vsize=8068440 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16218/stat : 16218 (java) S 16173 16173 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405829006 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291267828592 140292022962818 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16219] ppid=16173 vsize=8068440 memory=6944656425123094137 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16219/stat : 16219 (java) S 16173 16173 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405829007 8262082560 29351 33554432000 4194304 4196468 140734192951984 140290878858784 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16220] ppid=16173 vsize=8068440 memory=8292148123324110535 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16220/stat : 16220 (java) S 16173 16173 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405829007 8262082560 29351 33554432000 4194304 4196468 140734192951984 140290744636784 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16221] ppid=16173 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16221/stat : 16221 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405829009 8262082560 29351 33554432000 4194304 4196468 140734192951984 140290370132304 140292022970267 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16222] ppid=16173 vsize=8068440 memory=3472328296160571439 CPUtime=0.08 cores=1,3,5,7
/proc/16212/task/16222/stat : 16222 (java) S 16173 16173 8853 0 -1 1077944384 609 0 0 0 8 0 0 0 20 0 19 0 405829009 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291266775408 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16223] ppid=16173 vsize=8068440 memory=3472468046324475568 CPUtime=0.09 cores=1,3,5,7
/proc/16212/task/16223/stat : 16223 (java) S 16173 16173 8853 0 -1 1077944384 431 0 0 0 9 0 0 0 20 0 19 0 405829009 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291265722608 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16224] ppid=16173 vsize=8068440 memory=8029366426419868207 CPUtime=0.19 cores=1,3,5,7
/proc/16212/task/16224/stat : 16224 (java) S 16173 16173 8853 0 -1 1077944384 528 0 0 0 19 0 0 0 20 0 19 0 405829009 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291264669808 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16225] ppid=16173 vsize=8068440 memory=139767276664448 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16225/stat : 16225 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405829010 8262082560 29351 33554432000 4194304 4196468 140734192951984 140289872226528 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16226] ppid=16173 vsize=8068440 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16226/stat : 16226 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829010 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291263618224 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16228] ppid=16173 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16228/stat : 16228 (java) S 16173 16173 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405829074 8262082560 29351 33554432000 4194304 4196468 140734192951984 140291818677952 140292022976281 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16230] ppid=16173 vsize=8068440 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16212/task/16230/stat : 16230 (java) S 16173 16173 8853 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 405829075 8262082560 29351 33554432000 4194304 4196468 140734192951984 140289335340784 140292022973597 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16231] ppid=16173 vsize=8068440 memory=3472328295574041703 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16231/stat : 16231 (java) S 16173 16173 8853 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 405829075 8262082560 29351 33554432000 4194304 4196468 140734192951984 140289066909328 140292022973597 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16232] ppid=16173 vsize=8068440 memory=3763099673816014896 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16232/stat : 16232 (java) S 16173 16173 8853 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405829077 8262082560 29351 33554432000 4194304 4196468 140734192951984 140289469570224 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 8207204 KiB
Current children cumulated memory: 129072 KiB
[startup+4.80086 s]
/proc/loadavg: 2.45 2.21 2.12 4/239 16232
/proc/meminfo: memFree=26201788/32770624 swapFree=66957008/67108860
[pid=16173] ppid=16170 vsize=113128 memory=1476 CPUtime=5.5 cores=1,3,5,7
/proc/16173/stat : 16173 (scop.sh) S 16170 16173 8853 0 -1 4202496 584 25451 0 0 0 0 536 14 20 0 1 0 405828773 115843072 369 33554432000 4194304 5098028 140727886545872 140727886542616 139756251955836 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16252928 140727886553896 140727886554224 140727886554224 140727886557133 0
/proc/16173/statm: 28282 369 311 221 0 87 0
[pid=16212] ppid=16173 vsize=8068440 memory=117488 CPUtime=1.14 cores=1,3,5,7
/proc/16212/stat : 16212 (java) S 16173 16173 8853 0 -1 1077944320 19840 0 0 0 108 6 0 0 20 0 19 0 405829003 8262082560 29372 33554432000 4194304 4196468 140734192951984 140734192934528 140292022951671 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
/proc/16212/statm: 2017110 29372 3201 1 0 1978454 0
[pid=16227] ppid=16212 vsize=29032 memory=12260 CPUtime=1.78 cores=1,3,5,7
/proc/16227/stat : 16227 (glueminisat-sim) R 16212 16173 8853 0 -1 4202496 3695 0 0 0 170 8 0 0 20 0 1 0 405829074 29728768 3065 33554432000 4194304 4452875 140721715950448 140721715945544 140488961154951 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 21540864 140721715954527 140721715954727 140721715954727 140721715957677 0
/proc/16227/statm: 7258 3065 373 64 0 3462 0
[pid=16212/tid=16213] ppid=16173 vsize=8068440 memory=1368 CPUtime=0.73 cores=1,3,5,7
/proc/16212/task/16213/stat : 16213 (java) S 16173 16173 8853 0 -1 1077944384 16852 0 0 0 68 5 0 0 20 0 19 0 405829004 8262082560 29372 33554432000 4194304 4196468 140734192951984 140291994791840 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16214] ppid=16173 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16214/stat : 16214 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829005 8262082560 29372 33554432000 4194304 4196468 140734192951984 140292027194000 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16215] ppid=16173 vsize=8068440 memory=6370708168503290214 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16215/stat : 16215 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829005 8262082560 29372 33554432000 4194304 4196468 140734192951984 140291827362320 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16216] ppid=16173 vsize=8068440 memory=7739827756794271077 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16216/stat : 16216 (java) S 16173 16173 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829005 8262082560 29372 33554432000 4194304 4196468 140734192951984 140291826309520 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16217] ppid=16173 vsize=8068440 memory=7306928099019870575 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16217/stat : 16217 (java) S 16173 16173 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829005 8262082560 29372 33554432000 4194304 4196468 140734192951984 140291825256720 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16218] ppid=16173 vsize=8068440 memory=279534322824992 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16218/stat : 16218 (java) S 16173 16173 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405829006 8262082560 29372 33554432000 4194304 4196468 140734192951984 140291267828592 140292022962818 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16219] ppid=16173 vsize=8068440 memory=139767161374560 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16219/stat : 16219 (java) S 16173 16173 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405829007 8262082560 29372 33554432000 4194304 4196468 140734192951984 140290878858784 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16220] ppid=16173 vsize=8068440 memory=3472468046209151824 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16220/stat : 16220 (java) S 16173 16173 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405829007 8262082560 29372 33554432000 4194304 4196468 140734192951984 140290744636784 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16221] ppid=16173 vsize=8068440 memory=6296989233903915879 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16221/stat : 16221 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405829009 8262082560 29372 33554432000 4194304 4196468 140734192951984 140290370132304 140292022970267 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16222] ppid=16173 vsize=8068440 memory=6008741325664119140 CPUtime=0.08 cores=1,3,5,7
/proc/16212/task/16222/stat : 16222 (java) S 16173 16173 8853 0 -1 1077944384 609 0 0 0 8 0 0 0 20 0 19 0 405829009 8262082560 29372 33554432000 4194304 4196468 140734192951984 140291266775408 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16223] ppid=16173 vsize=8068440 memory=7233463129930555735 CPUtime=0.09 cores=1,3,5,7
/proc/16212/task/16223/stat : 16223 (java) S 16173 16173 8853 0 -1 1077944384 431 0 0 0 9 0 0 0 20 0 19 0 405829009 8262082560 29372 33554432000 4194304 4196468 140734192951984 140291265722608 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16224] ppid=16173 vsize=8068440 memory=3473458624346731575 CPUtime=0.2 cores=1,3,5,7
/proc/16212/task/16224/stat : 16224 (java) S 16173 16173 8853 0 -1 1077944384 535 0 0 0 20 0 0 0 20 0 19 0 405829009 8262082560 29372 33554432000 4194304 4196468 140734192951984 140291264669808 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16225] ppid=16173 vsize=8068440 memory=7524504978537600618 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16225/stat : 16225 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405829010 8262082560 29372 33554432000 4194304 4196468 140734192951984 140289872226528 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16226] ppid=16173 vsize=8068440 memory=6081099111827402083 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16226/stat : 16226 (java) S 16173 16173 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405829010 8262082560 29372 33554432000 4194304 4196468 140734192951984 140291263618224 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16228] ppid=16173 vsize=8068440 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16228/stat : 16228 (java) S 16173 16173 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405829074 8262082560 29372 33554432000 4194304 4196468 140734192951984 140291818677952 140292022976281 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16230] ppid=16173 vsize=8068440 memory=7881696724453321575 CPUtime=0.01 cores=1,3,5,7
/proc/16212/task/16230/stat : 16230 (java) S 16173 16173 8853 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 405829075 8262082560 29372 33554432000 4194304 4196468 140734192951984 140289335340784 140292022973597 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16231] ppid=16173 vsize=8068440 memory=7811607157311039314 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16231/stat : 16231 (java) S 16173 16173 8853 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 405829075 8262082560 29372 33554432000 4194304 4196468 140734192951984 140289066909328 140292022973597 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16232] ppid=16173 vsize=8068440 memory=7739276948477863789 CPUtime=0 cores=1,3,5,7
/proc/16212/task/16232/stat : 16232 (java) S 16173 16173 8853 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405829077 8262082560 29372 33554432000 4194304 4196468 140734192951984 140289469570224 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
Current children cumulated CPU time: 8.42 s
Current children cumulated vsize: 8210600 KiB
Current children cumulated memory: 131224 KiB
[startup+5.0009 s]*
/proc/loadavg: 2.45 2.21 2.12 4/236 16232
/proc/meminfo: memFree=26208628/32770624 swapFree=66957008/67108860
[pid=16173] ppid=16170 vsize=113128 memory=1476 CPUtime=5.5 cores=1,3,5,7
/proc/16173/stat : 16173 (scop.sh) S 16170 16173 8853 0 -1 4202496 584 25451 0 0 0 0 536 14 20 0 1 0 405828773 115843072 369 33554432000 4194304 5098028 140727886545872 140727886542616 139756251955836 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16252928 140727886553896 140727886554224 140727886554224 140727886557133 0
/proc/16173/statm: 28282 369 311 221 0 87 0
[pid=16212] ppid=16173 vsize=7937364 memory=116232 CPUtime=3.19 cores=1,3,5,7
/proc/16212/stat : 16212 (java) S 16173 16173 8853 0 -1 1077944320 20541 4026 0 0 117 7 186 9 20 0 17 0 405829003 8127860736 29058 33554432000 4194304 4196468 140734192951984 140734192934528 140292022951671 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
/proc/16212/statm: 1984341 29058 3205 1 0 1945685 0
[pid=16212/tid=16213] ppid=16173 vsize=7937364 memory=7022364632946311227 CPUtime=2.69 cores=1,3,5,7
/proc/16212/task/16213/stat : 16213 (java) R 16173 16173 8853 0 -1 4202560 16922 4026 0 0 69 5 186 9 20 0 17 0 405829004 8127860736 29058 33554432000 4194304 4196468 140734192951984 140291994775936 140292007032158 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16214] ppid=16173 vsize=7937364 memory=364 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16214/stat : 16214 (java) S 16173 16173 8853 0 -1 1077944384 1 4026 0 0 0 0 186 9 20 0 17 0 405829005 8127860736 29058 33554432000 4194304 4196468 140734192951984 140292027194000 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16215] ppid=16173 vsize=7937364 memory=288370143428376192 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16215/stat : 16215 (java) S 16173 16173 8853 0 -1 1077944384 1 4026 0 0 0 0 186 9 20 0 17 0 405829005 8127860736 29058 33554432000 4194304 4196468 140734192951984 140291827362320 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16216] ppid=16173 vsize=7937364 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16216/stat : 16216 (java) S 16173 16173 8853 0 -1 1077944384 1 4026 0 0 0 0 186 9 20 0 17 0 405829005 8127860736 29058 33554432000 4194304 4196468 140734192951984 140291826309520 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16217] ppid=16173 vsize=7937364 memory=-1 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16217/stat : 16217 (java) S 16173 16173 8853 0 -1 1077944384 2 4026 0 0 0 0 186 9 20 0 17 0 405829005 8127860736 29058 33554432000 4194304 4196468 140734192951984 140291825256720 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16218] ppid=16173 vsize=7937364 memory=139767276664448 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16218/stat : 16218 (java) S 16173 16173 8853 0 -1 1077944384 5 4026 0 0 0 0 186 9 20 0 17 0 405829006 8127860736 29058 33554432000 4194304 4196468 140734192951984 140291267828592 140292022962818 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16219] ppid=16173 vsize=7937364 memory=-1 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16219/stat : 16219 (java) S 16173 16173 8853 0 -1 1077944384 13 4026 0 0 0 0 186 9 20 0 17 0 405829007 8127860736 29058 33554432000 4194304 4196468 140734192951984 140290878858784 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16220] ppid=16173 vsize=7937364 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16220/stat : 16220 (java) S 16173 16173 8853 0 -1 1077944384 21 4026 0 0 0 0 186 9 20 0 17 0 405829007 8127860736 29058 33554432000 4194304 4196468 140734192951984 140290744636784 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16221] ppid=16173 vsize=7937364 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16221/stat : 16221 (java) S 16173 16173 8853 0 -1 1077944384 3 4026 0 0 0 0 186 9 20 0 17 0 405829009 8127860736 29058 33554432000 4194304 4196468 140734192951984 140290370132304 140292022970267 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16222] ppid=16173 vsize=7937364 memory=0 CPUtime=2.04 cores=1,3,5,7
/proc/16212/task/16222/stat : 16222 (java) S 16173 16173 8853 0 -1 1077944384 622 4026 0 0 9 0 186 9 20 0 17 0 405829009 8127860736 29058 33554432000 4194304 4196468 140734192951984 140291266775408 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16223] ppid=16173 vsize=7937364 memory=-1 CPUtime=2.05 cores=1,3,5,7
/proc/16212/task/16223/stat : 16223 (java) S 16173 16173 8853 0 -1 1077944384 438 4026 0 0 10 0 186 9 20 0 17 0 405829009 8127860736 29058 33554432000 4194304 4196468 140734192951984 140291265722608 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16224] ppid=16173 vsize=7937364 memory=139767276664448 CPUtime=2.17 cores=1,3,5,7
/proc/16212/task/16224/stat : 16224 (java) S 16173 16173 8853 0 -1 1077944384 597 4026 0 0 22 0 186 9 20 0 17 0 405829009 8127860736 29058 33554432000 4194304 4196468 140734192951984 140291264669808 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16225] ppid=16173 vsize=7937364 memory=-1 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16225/stat : 16225 (java) S 16173 16173 8853 0 -1 1077944384 3 4026 0 0 0 0 186 9 20 0 17 0 405829010 8127860736 29058 33554432000 4194304 4196468 140734192951984 140289872226528 140292022961877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16226] ppid=16173 vsize=7937364 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16226/stat : 16226 (java) S 16173 16173 8853 0 -1 1077944384 3 4026 0 0 0 0 186 9 20 0 17 0 405829010 8127860736 29058 33554432000 4194304 4196468 140734192951984 140291263618224 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16228] ppid=16173 vsize=7937364 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16228/stat : 16228 (java) S 16173 16173 8853 0 -1 1077944384 29 4026 0 0 0 0 186 9 20 0 17 0 405829074 8127860736 29058 33554432000 4194304 4196468 140734192951984 140291818677136 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
[pid=16212/tid=16232] ppid=16173 vsize=7937364 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/16212/task/16232/stat : 16232 (java) S 16173 16173 8853 0 -1 1077944384 29 4026 0 0 0 0 186 9 20 0 17 0 405829077 8127860736 29058 33554432000 4194304 4196468 140734192951984 140289469572016 140292022962818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36880384 140734192960507 140734192960666 140734192960666 140734192963535 0
Current children cumulated CPU time: 8.69 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 117708 KiB
Child status: 0
Real time (s): 5.10071
CPU time (s): 8.87446
CPU user time (s): 8.54483
CPU system time (s): 0.329633
CPU usage (%): 173.985
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 405764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.54483
system time used= 0.329633
maximum resident set size= 412788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51017
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5553
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 16173
# total CPU time (s): 8.87446
# total CPU user time (s): 8.54483
# total CPU system time (s): 0.329633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060783 second user time and 0.102779 second system time
The end