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-9149-serial-file.bin HOME/instance-4387662-1568287662.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 13:27:03 CEST 2019
0.66/0.56 c PID: 9152
0.66/0.56 c IP: 172.20.3.150
0.66/0.56 c HOST: node150.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.35/1.11 c (0,0) Parsing End
2.35/1.12 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 180 ctr, max domain size 25
2.35/1.12 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.35/1.12 c (0,0) Constraint Name Generate Begin
2.35/1.13 c (0,0) Ctr:HOME/instance-4387662-1568287662.xml,ExtensionConflict:ExtensionSupport:Var
2.35/1.13 c (0,0) Constraint Name Generate End
2.35/1.13 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.35/1.13 c (0,0) CSP to CSPinCNF Begin
4.95/2.07 c (1,1) translated 18 (10%) constraints
6.15/2.44 c (1,1) translated 36 (20%) constraints
7.06/2.74 c (2,2) translated 54 (30%) constraints
8.00/3.03 c (2,2) translated 72 (40%) constraints
8.88/3.34 c (2,2) translated 90 (50%) constraints
9.79/3.68 c (3,3) translated 108 (60%) constraints
10.69/3.94 c (3,3) translated 126 (70%) constraints
11.60/4.21 c (3,3) translated 144 (80%) constraints
12.51/4.55 c (4,3) translated 162 (90%) constraints
13.41/4.84 c (4,4) translated 180 (100%) constraints
13.41/4.85 c (4,4) ===========================================
13.41/4.85 c (4,4) Order
13.41/4.85 c (4,4) ===========================================
13.77/4.98 c (4,4) translated 4470 (10%) constraints
14.37/5.11 c (4,4) translated 8940 (20%) constraints
14.64/5.25 c (4,4) translated 13410 (30%) constraints
14.94/5.37 c (4,4) translated 17880 (40%) constraints
15.24/5.49 c (4,4) translated 22349 (50%) constraints
15.85/5.60 c (5,5) translated 26819 (60%) constraints
16.14/5.71 c (5,5) translated 31289 (70%) constraints
16.47/5.83 c (5,5) translated 35759 (80%) constraints
16.70/5.93 c (5,5) translated 40229 (90%) constraints
17.00/6.04 c (5,5) translated 44698 (100%) constraints
17.00/6.04 c (5,5) CSP to CSPinCNF End
17.00/6.04 c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.00/6.04 c (5,5) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.00/6.04 c (5,5) CSPinCNF Propagation Begin
17.78/6.38 c (5,5) 0 values, 1915 unsatisfiable literals, and 0 valid clauses are removed
17.78/6.38 c (5,5) CSPinCNF Propagation End
17.78/6.38 c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
17.78/6.38 c (5,5) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.78/6.38 c (5,5) Simplify CSPinCNF Begin
18.23/6.53 c (5,5) Simplify CSPinCNF End
18.23/6.53 c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
18.23/6.53 c (5,5) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.23/6.53 c (5,5) Calculate Precise Domain Begin
18.23/6.53 c (5,5) 0 values are removed by re-calculation
18.23/6.53 c (5,5) Calculate Precise Domain End
18.23/6.53 c (5,5) CSP: 40 int (0 aux), 2050 bool (2050 aux), 44698 ctr, max domain size 25
18.23/6.53 c (5,5) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.23/6.53 c (5,5) CSPinCNF to SatSolver Begin
18.78/6.77 c (6,6) 4470 (10 %) CSP clauses are encoded (0 SAT variables, 5389 SAT clauses)
19.08/6.87 c (6,6) 8940 (20 %) CSP clauses are encoded (0 SAT variables, 9859 SAT clauses)
19.39/6.93 c (6,6) 13410 (30 %) CSP clauses are encoded (0 SAT variables, 14329 SAT clauses)
19.39/6.98 c (6,6) 17880 (40 %) CSP clauses are encoded (0 SAT variables, 18799 SAT clauses)
19.58/7.03 c (6,6) 22349 (50 %) CSP clauses are encoded (0 SAT variables, 23268 SAT clauses)
19.58/7.07 c (6,6) 26819 (60 %) CSP clauses are encoded (0 SAT variables, 27738 SAT clauses)
19.70/7.13 c (6,6) 31289 (70 %) CSP clauses are encoded (0 SAT variables, 32208 SAT clauses)
19.70/7.18 c (6,6) 35759 (80 %) CSP clauses are encoded (0 SAT variables, 36678 SAT clauses)
19.80/7.22 c (6,6) 40229 (90 %) CSP clauses are encoded (0 SAT variables, 41148 SAT clauses)
19.80/7.27 c (6,6) 44698 (100 %) CSP clauses are encoded (0 SAT variables, 45617 SAT clauses)
19.80/7.27 c (6,6) CSPinCNF to SatSolver End
19.80/7.27 c (6,6) Heap : 2027 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.80/7.27 c (6,6) 3010 bool, 45618 clause
19.80/7.27 c (6,6) Export Begin
19.92/7.36 c (6,6) Export to HOME/scop-9149-serial-file.bin
19.92/7.36 c (6,6) Export End
19.92/7.36 c (6,6) Export File Size: 0.01 MB
19.92/7.36 c (6,6) 0,0,5,5,5,5,6,STOP-AFTER(DIMACS)
19.92/7.36 c END-Prog: Thu Sep 12 13:27:10 CEST 2019
19.92/7.38 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9149-serial-file.bin
20.06/7.83 c (0,0) Read Serial File Begin
20.06/7.83 c (0,0) HOME/scop-9149-serial-file.bin
20.91/8.05 c (0,0) Read Serial File End
20.91/8.06
20.91/8.06 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
20.91/8.06 (Solving Process)
20.91/8.06
20.91/8.08 c BEGIN-Prog: Thu Sep 12 13:27:11 CEST 2019
20.91/8.08 c PID: 9167
20.91/8.08 c IP: 172.20.3.150
20.91/8.08 c HOST: node150.alineos.net
20.91/8.08 c (0,0) SatSolver.solve Begin
20.91/8.09 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387662-1568287662.xml-scop-9152.cnf
21.09/8.13 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.09/8.13 c (0,0) c glueminisat-simp-2.2.10-193oa-n
21.09/8.13 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387662-1568287662.xml-scop-9152.cnf
21.09/8.13 c (0,0) c Options:
21.09/8.13 c (0,0) c CORE
21.09/8.13 c (0,0) c var_decay = 0.950
21.09/8.13 c (0,0) c clause_decay = 0.999
21.09/8.13 c (0,0) c random_var_freq = 0.000
21.09/8.13 c (0,0) c random_seed = 91648253.000
21.09/8.13 c (0,0) c luby_restart = 1
21.09/8.13 c (0,0) c ccmin_mode = 2
21.09/8.13 c (0,0) c phase_saving = 2
21.09/8.13 c (0,0) c rnd_pol = 0
21.09/8.13 c (0,0) c rnd_init_act = 0
21.09/8.13 c (0,0) c garbage_frac = 0.200
21.09/8.13 c (0,0) c restart_first = 1000
21.09/8.13 c (0,0) c restart_inc = 2.000
21.09/8.13 c (0,0) c MODEL
21.09/8.13 c (0,0) c partial_model = 0
21.09/8.13 c (0,0) c PROPAGATION
21.09/8.13 c (0,0) c bin_propagation = 1
21.09/8.13 c (0,0) c SIMPLIFICATION
21.09/8.13 c (0,0) c lrn_min_size = 100
21.09/8.13 c (0,0) c lazy_simp = 1
21.09/8.13 c (0,0) c lazy_interval = 10
21.09/8.13 c (0,0) c lazy_fld_probing = 1
21.09/8.13 c (0,0) c lazy_pol_probing = 1
21.09/8.13 c (0,0) c lazy_nec_probing = 1
21.09/8.13 c (0,0) c lazy_eqv_probing = 1
21.09/8.13 c (0,0) c lazy_cla_probing = 1
21.09/8.13 c (0,0) c lazy_lrn_min = 2
21.09/8.13 c (0,0) c lazy_uw_lit_elim = 1
21.09/8.13 c (0,0) c lazy_pr_lit_elim = 0
21.09/8.13 c (0,0) c lazy_bin_add = 3
21.09/8.13 c (0,0) c probed_lit_chain = 1
21.09/8.13 c (0,0) c pr_min_lits = 0.00020
21.09/8.13 c (0,0) c pr_min_starts = 500
21.09/8.13 c (0,0) c rw_min_lits = 0.010
21.09/8.13 c (0,0) c rw_min_starts = 500
21.09/8.13 c (0,0) c rand_attach = 0
21.09/8.13 c (0,0) c dec_elim = 1
21.09/8.13 c (0,0) c dec_elim_lim = 25
21.09/8.13 c (0,0) c dec_elim_len = -1
21.09/8.13 c (0,0) c amo = 0
21.09/8.13 c (0,0) c amo_grp = 1
21.09/8.13 c (0,0) c amo_max_bins = 1000000
21.09/8.13 c (0,0) c amo_starts = 50
21.09/8.13 c (0,0) c mace_cmd = mace
21.09/8.13 c (0,0) c DECISION
21.09/8.13 c (0,0) c rand_rebuild = 0
21.09/8.13 c (0,0) c rand_rebuild_confs = 10000
21.09/8.13 c (0,0) c inc_var_decay = 1
21.09/8.13 c (0,0) c inc_var_decay_period = 100000
21.09/8.13 c (0,0) c inc_var_decay_init = 0.600
21.09/8.13 c (0,0) c var_decay_mode = 0
21.09/8.13 c (0,0) c var_decay_gain = 0
21.09/8.13 c (0,0) c sloped_var_decay = 1
21.09/8.13 c (0,0) c max_var_decay = 0.990
21.09/8.13 c (0,0) c min_var_decay = 0.950
21.09/8.13 c (0,0) c min_var_decay_vars = 10000
21.09/8.13 c (0,0) c max_var_decay_vars = 500
21.09/8.13 c (0,0) c uip_bumping = 1
21.09/8.13 c (0,0) c lbd_act_bumping = 1
21.09/8.13 c (0,0) c rand_tiebreak = 0
21.09/8.13 c (0,0) c simp_rebuild = 1
21.09/8.13 c (0,0) c RESTART
21.09/8.13 c (0,0) c restart_strategy = 2
21.09/8.13 c (0,0) c restart_blocking = 0
21.09/8.13 c (0,0) c agility_decay = 0.99990
21.09/8.13 c (0,0) c lbd_restart_rate = 0.800
21.09/8.13 c (0,0) c dec_restart_rate = 0.950
21.09/8.13 c (0,0) c blk_restart_rate = 0.700
21.09/8.13 c (0,0) c lbd_queue_size = 50
21.09/8.13 c (0,0) c dec_queue_size = 50
21.09/8.13 c (0,0) c trl_queue_size = 5000
21.09/8.13 c (0,0) c blk_restart_weight = 1.000
21.09/8.13 c (0,0) c inc_rst_rate = 0
21.09/8.13 c (0,0) c inc_rst_rate_period = 500000
21.09/8.13 c (0,0) c inc_lbd_rst_rate_init = 0.600
21.09/8.13 c (0,0) c inc_dec_rst_rate_init = 0.750
21.09/8.13 c (0,0) c REDUCTION
21.09/8.13 c (0,0) c closed_lbd = 0
21.09/8.13 c (0,0) c closed_lbd_rate = 0.500
21.09/8.13 c (0,0) c rm_simulate = 0
21.09/8.13 c (0,0) c rdb_eval = 2
21.09/8.13 c (0,0) c rdb_call = 3
21.09/8.13 c (0,0) c rdb_ub = 0.500
21.09/8.13 c (0,0) c core_lbd_cvr = 0.800
21.09/8.13 c (0,0) c supp_lbd_cvr = 0.990
21.09/8.13 c (0,0) c core_lbd_lb = 2
21.09/8.13 c (0,0) c supp_lbd_lb = 2
21.09/8.13 c (0,0) c core_lbd_prd = 7
21.09/8.13 c (0,0) c supp_lbd_prd = 1
21.09/8.13 c (0,0) c othr_lbd_prd = 0
21.09/8.13 c (0,0) c inc_lrn_limit = 1000
21.09/8.13 c (0,0) c frozen_lbd = 30
21.09/8.13 c (0,0) c simp_min_starts = 100
21.09/8.13 c (0,0) c rm_low_act_learnts = 1
21.09/8.13 c (0,0) c lv0_reduce_db = 0
21.09/8.13 c (0,0) c reduce_db_base = 20000
21.09/8.13 c (0,0) c reduce_db_inc = 1000
21.09/8.13 c (0,0) c HARD
21.09/8.13 c (0,0) c inst_check = 200000
21.09/8.13 c (0,0) c small_block = 1.750
21.09/8.13 c (0,0) c slow_restart_speed = 400.000
21.09/8.13 c (0,0) c slow_restart_strategy = 3
21.09/8.13 c (0,0) c slow_lbd_restart_rate = 0.700
21.09/8.13 c (0,0) c slow_dec_restart_rate = 1.000
21.09/8.13 c (0,0) c slow_lbd_queue_size = 50
21.09/8.13 c (0,0) c slow_var_decay = 0.950
21.09/8.13 c (0,0) c slow_glue_threshold = 2
21.09/8.13 c (0,0) c slow_phase_saving = 2
21.09/8.13 c (0,0) c fast_restart_speed = 125.000
21.09/8.13 c (0,0) c fast_restart_strategy = 1
21.09/8.13 c (0,0) c fast_lbd_restart_rate = 0.800
21.09/8.13 c (0,0) c fast_dec_restart_rate = 0.950
21.09/8.13 c (0,0) c fast_lbd_queue_size = 50
21.09/8.13 c (0,0) c fast_var_decay = 1.000
21.09/8.13 c (0,0) c fast_glue_threshold = 2
21.09/8.13 c (0,0) c fast_phase_saving = 2
21.09/8.13 c (0,0) c STATS
21.09/8.13 c (0,0) c stats_conf_size = 10000
21.09/8.13 c (0,0) c max_stats_size = 30
21.09/8.13 c (0,0) c SOLVER
21.09/8.13 c (0,0) c minisat = 0
21.09/8.13 c (0,0) c Problem: 3010 variables, 45618 clauses, parsing 0.02 s
21.09/8.15 c (0,0) c reduced to 3010 variables, 45618 clauses (grow = 0)
21.09/8.15 c (0,0) c exclude 44 (1.5%) variables from decision variables (last cost 24)
21.09/8.15 c (0,0) c Simplification: 44 vars, 0 clauses are eliminated using 0.03 s
21.09/8.15 c (0,0) c
21.09/8.15 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
21.09/8.15 c (0,0) c
21.09/8.15 c (0,0) c 0 0 0 2966 45618 0 -nan -nan -nan -nan%
21.09/8.16 c (0,0) c 0 1 100 2967 45618 100 17.0 5.7 14.3 38.3%
21.09/8.17 c (0,0) c 0 1 220 2967 45618 220 17.3 5.9 12.7 41.7%
21.09/8.18 c (0,0) c 0 1 364 2967 45618 364 16.4 5.4 11.9 42.4%
21.09/8.19 c (0,0) c 0 1 536 2968 45618 536 16.3 5.4 12.6 41.2%
21.24/8.20 c (0,0) c 0 1 743 2969 45618 743 16.4 5.2 12.6 40.3%
21.24/8.22 c (0,0) c 0 1 991 2971 45618 991 15.9 5.1 12.6 38.9%
21.24/8.24 c (0,0) c 0 1 1289 2972 45618 1289 15.8 5.1 12.8 38.8%
21.24/8.27 c (0,0) c 0 3 1647 2972 45618 1647 15.6 5.3 13.1 38.5%
21.24/8.31 c (0,0) c 0 5 2076 2973 45618 2076 15.1 5.3 13.1 38.5%
21.24/8.34 c (0,0) c 0 7 2591 2973 45618 2591 14.7 5.5 13.9 37.8%
21.24/8.39 c (0,0) c 0 7 3210 2974 45618 3211 14.5 5.6 14.2 37.1%
21.24/8.44 c (0,0) c 0 9 3953 2975 45618 3954 14.5 5.6 14.5 36.4%
21.24/8.52 c (0,0) c 0 11 4844 2978 45618 4845 15.1 5.7 14.3 37.2%
21.24/8.60 c (0,0) c 0 15 5913 2981 45618 5914 15.8 5.8 14.5 37.2%
21.24/8.71 c (0,0) c 0 18 7196 2984 45618 7199 15.3 5.8 14.7 36.4%
21.24/8.84 c (1,0) c
21.24/8.84 c (1,0) c variables : 2985 (init 3010, after simp 2966, 25 non-decs, 40 csp)
21.24/8.84 c (1,0) c clauses : 45618 (init 45618, after simp 45618)
21.24/8.84 c (1,0) c restarts : 19 (436.80 confs/res, 50~1544 confs, 0 blks, 0 last)
21.24/8.84 c (1,0) c conflicts : 8736 (12217 /sec, 54.96% dconfs, 0.00% supp, trail 83.70w x 14.42h, jmp 1.43h)
21.24/8.84 c (1,0) c decisions : 12856 (0.6300 vdcy, 17979 /sec, 0.00% bin, rs 0.000 s)
21.24/8.84 c (1,0) c propagations : 2867893 (4010759 /sec, 223.08 lits/dec, 9.13% o.a.)
21.24/8.84 c (1,0) c conflict literals : 226142 (37.06% deleted; 3.02% by bin min, 0.001 s)
21.24/8.84 c (1,0) c len : 15.505 (15.51 for all, max 73, used 65)
21.24/8.84 c (1,0) c lbd : 5.642 (6.90 (5.64) for all, max 20, used 18, 1.926 stdev, 2.248 blk)
21.24/8.84 c (1,0) c amo : 0 (0 max, -nan avg, 0.000 s)
21.24/8.84 c (1,0) c simp dbs : 1 (0.000 s)
21.24/8.84 c (1,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
21.24/8.84 c (1,0) c learnts : 8740 (0 learnts removed, 0.00%)
21.24/8.84 c (1,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
21.24/8.84 c (1,0) c assigned lits : 0 (0/0 probed, 0 remains)
21.24/8.84 c (1,0) c premise updates : 7845 (1.32 /lit)
21.24/8.84 c (1,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
21.24/8.84 c (1,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
21.24/8.84 c (1,0) c lazy added bins : 4 (4 prop + 0 conf, 0.003s)
21.24/8.84 c (1,0) c unwatched lit elim: 686 (0.01+0.30%, 12+674 of 145577+226142)
21.24/8.84 c (1,0) c classified type : undef
21.24/8.84 c (1,0) c progress : 0.000 %
21.24/8.84 c (1,0) c
21.24/8.84 c (1,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
21.24/8.84 c (1,0) c
21.24/8.84 c (1,0) c 0 20 8736 2985 45618 8740 15.5 5.6 14.4 36.6%
21.25/8.98 c (1,0) c 0 33 10584 2987 45618 10589 15.3 5.9 15.0 36.2%
22.24/9.16 c (1,0) c 1 36 12802 2988 45618 12807 15.5 5.8 14.9 36.8%
22.44/9.39 c (1,0) c 1 41 15464 2989 45618 15470 15.5 5.8 15.3 36.6%
22.74/9.68 c (1,0) c 1 50 18658 2991 45618 18664 15.5 5.8 15.2 37.0%
22.83/9.79 c (2,0) c 1 r 50 20000 2991 45618 20006 15.7 5.8 14.4 37.2%
22.83/9.79 c (2,0) c
22.83/9.79 c (2,0) c R [LBD Statistics #1]
22.83/9.79 c (2,0) c R LBD used lbd used clause lbd
22.83/9.79 c (2,0) c R tot 123313 20006
22.83/9.79 c (2,0) c R avg 2.887 5.780
22.83/9.79 c (2,0) c R 1 4425 ( 3.6/ 3.6%) 180 ( 0.9/ 0.9%)
22.83/9.79 c (2,0) c R 2 72095 (58.5/62.1%) 2607 (13.0/13.9%)
22.83/9.79 c (2,0) c R 3 21002 (17.0/79.1%) 2212 (11.1/25.0%)
22.83/9.79 c (2,0) c R 4 10746 ( 8.7/87.8%) 2394 (12.0/37.0%)
22.83/9.79 c (2,0) c R
22.83/9.79 c (2,0) c R core_lbd_threshold = 4
22.83/9.79 c (2,0) c R supp_lbd_threshold = 10
22.83/9.79 c (2,0) c R
22.83/9.79 c (2,0) c R [RDB Statistics #1]
22.83/9.79 c (2,0) c R kept: lbd = 7386 (36.9/36.9%)
22.83/9.79 c (2,0) c R kept: ttl = 12611 (63.0/100.0%)
22.83/9.79 c (2,0) c R kept: locked = 9 ( 0.0/100.0%)
22.83/9.79 c (2,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
22.83/9.79 c (2,0) c R lost: ttl = 0 ( 0.0/ 0.0%)
22.83/9.79 c (2,0) c R lost: subsumed = 0 ( 0.0/ 0.0%)
22.83/9.79 c (2,0) c
22.83/9.79 c (2,0) c 1 R 50 20000 2991 45618 20006 15.7 5.8 14.4 37.2%
23.14/10.03 c (2,0) c 1 53 22491 2992 45618 22497 15.9 5.8 14.8 36.8%
23.53/10.50 c (2,0) c 2 63 27091 2992 45618 27097 15.8 5.8 15.2 37.5%
23.73/10.60 c (2,0) c 2 r 65 28103 2992 45618 28109 15.7 5.8 15.2 36.9%
23.73/10.61 c (2,0) c
23.73/10.61 c (2,0) c R [LBD Statistics #2]
23.73/10.61 c (2,0) c R LBD used lbd used clause lbd
23.73/10.61 c (2,0) c R tot 214586 28109
23.73/10.61 c (2,0) c R avg 2.736 5.771
23.73/10.61 c (2,0) c R 1 8844 ( 4.1/ 4.1%) 291 ( 1.0/ 1.0%)
23.73/10.61 c (2,0) c R 2 135083 (63.0/67.1%) 3918 (13.9/15.0%)
23.73/10.61 c (2,0) c R 3 33426 (15.6/82.6%) 2978 (10.6/25.6%)
23.73/10.61 c (2,0) c R
23.73/10.61 c (2,0) c R core_lbd_threshold = 3
23.73/10.61 c (2,0) c R supp_lbd_threshold = 10
23.73/10.61 c (2,0) c R
23.73/10.61 c (2,0) c R [RDB Statistics #2]
23.73/10.61 c (2,0) c R kept: lbd = 7177 (25.5/25.5%)
23.73/10.61 c (2,0) c R kept: ttl = 7819 (27.8/53.3%)
23.73/10.61 c (2,0) c R kept: locked = 19 ( 0.1/53.4%)
23.73/10.61 c (2,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
23.73/10.61 c (2,0) c R lost: ttl = 13094 (46.6/46.6%)
23.73/10.61 c (2,0) c R lost: subsumed = 0 ( 0.0/46.6%)
23.73/10.61 c (2,0) c
23.73/10.61 c (2,0) c 2 R 65 28103 2992 45618 15015 12.2 4.1 15.2 36.9%
24.14/11.02 c (3,0) c 2 85 32611 2992 45618 19523 13.0 4.6 16.6 36.8%
24.53/11.43 c (3,0) c 3 r 87 36706 2992 45618 23618 13.2 4.7 16.0 35.0%
24.53/11.43 c (3,0) c
24.53/11.43 c (3,0) c R [LBD Statistics #3]
24.53/11.43 c (3,0) c R LBD used lbd used clause lbd
24.53/11.43 c (3,0) c R tot 321345 23618
24.53/11.43 c (3,0) c R avg 2.648 4.740
24.53/11.43 c (3,0) c R 1 14209 ( 4.4/ 4.4%) 411 ( 1.7/ 1.7%)
24.53/11.43 c (3,0) c R 2 211479 (65.8/70.2%) 5273 (22.3/24.1%)
24.53/11.43 c (3,0) c R 3 46242 (14.4/84.6%) 3723 (15.8/39.8%)
24.53/11.43 c (3,0) c R
24.53/11.43 c (3,0) c R core_lbd_threshold = 3
24.53/11.43 c (3,0) c R supp_lbd_threshold = 9
24.53/11.43 c (3,0) c R
24.53/11.43 c (3,0) c R [RDB Statistics #3]
24.53/11.43 c (3,0) c R kept: lbd = 9392 (39.8/39.8%)
24.53/11.43 c (3,0) c R kept: ttl = 8717 (36.9/76.7%)
24.53/11.43 c (3,0) c R kept: locked = 22 ( 0.1/76.8%)
24.53/11.43 c (3,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
24.53/11.43 c (3,0) c R lost: ttl = 5487 (23.2/23.2%)
24.53/11.43 c (3,0) c R lost: subsumed = 0 ( 0.0/23.2%)
24.53/11.43 c (3,0) c
24.53/11.43 c (3,0) c 3 R 87 36706 2992 45618 18131 11.4 3.9 16.0 35.0%
24.74/11.68 c (3,0) c 3 92 39235 2993 45618 20661 11.8 4.1 15.8 35.2%
25.44/12.31 c (4,0) c 4 r 116 45809 2993 45618 27237 12.5 4.7 15.5 36.3%
25.44/12.31 c (4,0) c
25.44/12.31 c (4,0) c R [LBD Statistics #4]
25.44/12.31 c (4,0) c R LBD used lbd used clause lbd
25.44/12.31 c (4,0) c R tot 464616 27237
25.44/12.31 c (4,0) c R avg 2.577 4.695
25.44/12.31 c (4,0) c R 1 22721 ( 4.9/ 4.9%) 527 ( 1.9/ 1.9%)
25.44/12.31 c (4,0) c R 2 316813 (68.2/73.1%) 6424 (23.6/25.5%)
25.44/12.31 c (4,0) c R 3 60450 (13.0/86.1%) 4456 (16.4/41.9%)
25.44/12.31 c (4,0) c R
25.44/12.31 c (4,0) c R core_lbd_threshold = 3
25.44/12.31 c (4,0) c R supp_lbd_threshold = 9
25.44/12.31 c (4,0) c R
25.44/12.31 c (4,0) c R [RDB Statistics #4]
25.44/12.31 c (4,0) c R kept: lbd = 11385 (41.8/41.8%)
25.44/12.31 c (4,0) c R kept: ttl = 8290 (30.4/72.2%)
25.44/12.31 c (4,0) c R kept: locked = 25 ( 0.1/72.3%)
25.44/12.31 c (4,0) c R lost: lbd = 0 ( 0.0/ 0.0%)
25.44/12.31 c (4,0) c R lost: ttl = 7537 (27.7/27.7%)
25.44/12.31 c (4,0) c R lost: subsumed = 0 ( 0.0/27.7%)
25.44/12.31 c (4,0) c
25.44/12.31 c (4,0) c
25.44/12.31 c (4,0) c variables : 2993 (init 3010, after simp 2966, 17 non-decs, 40 csp)
25.44/12.31 c (4,0) c clauses : 45618 (init 45618, after simp 45618)
25.44/12.31 c (4,0) c restarts : 115 (394.91 confs/res, 50~3554 confs, 0 blks, 0 last)
25.44/12.31 c (4,0) c conflicts : 45809 (11206 /sec, 54.71% dconfs, 0.00% supp, trail 75.99w x 15.34h, jmp 1.43h)
25.44/12.31 c (4,0) c decisions : 67201 (0.7700 vdcy, 16439 /sec, 0.00% bin, rs 0.001 s)
25.44/12.31 c (4,0) c propagations : 14937510 (3654115 /sec, 222.28 lits/dec, 9.28% o.a.)
25.44/12.31 c (4,0) c conflict literals : 1195055 (37.95% deleted; 3.15% by bin min, 0.006 s)
25.44/12.31 c (4,0) c len : 10.582 (15.37 for all, max 76, used 73)
25.44/12.31 c (4,0) c lbd : 3.609 (7.21 (5.92) for all, max 21, used 21, 1.489 stdev, 2.130 blk)
25.44/12.31 c (4,0) c amo : 0 (0 max, -nan avg, 0.000 s)
25.44/12.31 c (4,0) c simp dbs : 1 (0.000 s)
25.44/12.31 c (4,0) c reduce dbs : 4 (core-lbd 3, supp-lbd 9, 0.012 s)
25.44/12.31 c (4,0) c learnts : 19700 (26118 learnts removed, 57.01%)
25.44/12.31 c (4,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
25.44/12.31 c (4,0) c assigned lits : 0 (0/0 probed, 0 remains)
25.44/12.31 c (4,0) c premise updates : 106802 (18.00 /lit)
25.44/12.31 c (4,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
25.44/12.31 c (4,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
25.44/12.31 c (4,0) c lazy added bins : 9 (9 prop + 0 conf, 0.012s)
25.44/12.31 c (4,0) c unwatched lit elim: 4114 (0.02+0.34%, 33+4081 of 145577+1195055)
25.44/12.31 c (4,0) c classified type : undef
25.44/12.31 c (4,0) c progress : 0.000 %
25.44/12.31 c (4,0) c
25.44/12.31 c (4,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
25.44/12.31 c (4,0) c
25.44/12.31 c (4,0) c 4 R 116 45809 2993 45618 19700 10.6 3.6 15.5 36.3%
25.55/12.45 c (4,0) c 4 116 47184 2993 45618 21076 10.9 3.7 15.6 37.2%
25.65/12.58 c (4,0) c 4 116 48611 2993 45618 22504 11.2 3.8 15.1 37.4%
25.65/12.59 c (4,0) c
25.65/12.59 c (4,0) c
25.65/12.59 c (4,0) c variables : 2993 (init 3010, after simp 2966, 17 non-decs, 40 csp)
25.65/12.59 c (4,0) c clauses : 45618 (init 45618, after simp 45618)
25.65/12.59 c (4,0) c restarts : 115 (419.06 confs/res, 50~3554 confs, 0 blks, 0 last)
25.65/12.59 c (4,0) c conflicts : 48611 (11163 /sec, 54.68% dconfs, 0.00% supp, trail 76.84w x 15.22h, jmp 1.42h)
25.65/12.59 c (4,0) c decisions : 71015 (0.7800 vdcy, 16308 /sec, 0.00% bin, rs 0.001 s)
25.65/12.59 c (4,0) c propagations : 15864315 (3643012 /sec, 223.39 lits/dec, 9.28% o.a.)
25.65/12.59 c (4,0) c conflict literals : 1273506 (37.99% deleted; 3.29% by bin min, 0.006 s)
25.65/12.59 c (4,0) c len : 11.211 (15.38 for all, max 76, used 73)
25.65/12.59 c (4,0) c lbd : 3.804 (7.18 (5.87) for all, max 21, used 21, 1.460 stdev, 2.143 blk)
25.65/12.59 c (4,0) c amo : 0 (0 max, -nan avg, 0.000 s)
25.65/12.59 c (4,0) c simp dbs : 1 (0.000 s)
25.65/12.59 c (4,0) c reduce dbs : 4 (core-lbd 3, supp-lbd 9, 0.012 s)
25.65/12.59 c (4,0) c learnts : 22504 (26118 learnts removed, 53.73%)
25.65/12.59 c (4,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
25.65/12.59 c (4,0) c assigned lits : 0 (0/0 probed, 0 remains)
25.65/12.59 c (4,0) c premise updates : 106802 (18.00 /lit)
25.65/12.59 c (4,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
25.65/12.59 c (4,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
25.65/12.59 c (4,0) c lazy added bins : 11 (11 prop + 0 conf, 0.013s)
25.65/12.59 c (4,0) c unwatched lit elim: 4437 (0.02+0.35%, 34+4403 of 145577+1273506)
25.65/12.59 c (4,0) c classified type : undef
25.65/12.59 c (4,0) c progress : 0.000 %
25.65/12.59 c (4,0) c
25.65/12.59 c (4,0) c [Statistics]
25.65/12.59 c (4,0) c learnts len learnts lbd lit blk size eq vars size
25.65/12.59 c (4,0) c tot 48611 48611 348966 0
25.65/12.59 c (4,0) c avg 15.383 5.874 2.143 -nan
25.65/12.59 c (4,0) c 1 0 ( 0.0%) 574 ( 1.2%) 233343 (66.9%) 0 (-nan%)
25.65/12.59 c (4,0) c 2 9 ( 0.0%) 6890 (14.2%) 45264 (13.0%) 0 (-nan%)
25.65/12.59 c (4,0) c 3 469 ( 1.0%) 4725 ( 9.7%) 22041 ( 6.3%) 0 (-nan%)
25.65/12.59 c (4,0) c 4 1643 ( 3.4%) 5261 (10.8%) 13255 ( 3.8%) 0 (-nan%)
25.65/12.59 c (4,0) c 5 2426 ( 5.0%) 5969 (12.3%) 8742 ( 2.5%) 0 (-nan%)
25.65/12.59 c (4,0) c 6 2496 ( 5.1%) 5802 (11.9%) 6147 ( 1.8%) 0 (-nan%)
25.65/12.59 c (4,0) c 7 2442 ( 5.0%) 5501 (11.3%) 4390 ( 1.3%) 0 (-nan%)
25.65/12.59 c (4,0) c 8 2348 ( 4.8%) 4715 ( 9.7%) 3319 ( 1.0%) 0 (-nan%)
25.65/12.59 c (4,0) c 9 2422 ( 5.0%) 3523 ( 7.2%) 2491 ( 0.7%) 0 (-nan%)
25.65/12.59 c (4,0) c 10 2428 ( 5.0%) 2410 ( 5.0%) 1946 ( 0.6%) 0 (-nan%)
25.65/12.59 c (4,0) c 11 2479 ( 5.1%) 1468 ( 3.0%) 1539 ( 0.4%) 0 (-nan%)
25.65/12.59 c (4,0) c 12 2407 ( 5.0%) 836 ( 1.7%) 1229 ( 0.4%) 0 (-nan%)
25.65/12.59 c (4,0) c 13 2465 ( 5.1%) 466 ( 1.0%) 972 ( 0.3%) 0 (-nan%)
25.65/12.59 c (4,0) c 14 2481 ( 5.1%) 235 ( 0.5%) 743 ( 0.2%) 0 (-nan%)
25.65/12.59 c (4,0) c 15 2366 ( 4.9%) 127 ( 0.3%) 639 ( 0.2%) 0 (-nan%)
25.65/12.59 c (4,0) c 16 2065 ( 4.2%) 57 ( 0.1%) 486 ( 0.1%) 0 (-nan%)
25.65/12.59 c (4,0) c 17 1916 ( 3.9%) 24 ( 0.0%) 483 ( 0.1%) 0 (-nan%)
25.65/12.59 c (4,0) c 18 1747 ( 3.6%) 18 ( 0.0%) 318 ( 0.1%) 0 (-nan%)
25.65/12.59 c (4,0) c 19 1528 ( 3.1%) 9 ( 0.0%) 281 ( 0.1%) 0 (-nan%)
25.65/12.59 c (4,0) c 20 1328 ( 2.7%) 0 ( 0.0%) 233 ( 0.1%) 0 (-nan%)
25.65/12.59 c (4,0) c 21 1268 ( 2.6%) 1 ( 0.0%) 196 ( 0.1%) 0 (-nan%)
25.65/12.59 c (4,0) c 22 1073 ( 2.2%) 0 ( 0.0%) 125 ( 0.0%) 0 (-nan%)
25.65/12.59 c (4,0) c 23 991 ( 2.0%) 0 ( 0.0%) 123 ( 0.0%) 0 (-nan%)
25.65/12.59 c (4,0) c 24 854 ( 1.8%) 0 ( 0.0%) 111 ( 0.0%) 0 (-nan%)
25.65/12.59 c (4,0) c 25 761 ( 1.6%) 0 ( 0.0%) 91 ( 0.0%) 0 (-nan%)
25.65/12.59 c (4,0) c 26 653 ( 1.3%) 0 ( 0.0%) 78 ( 0.0%) 0 (-nan%)
25.65/12.59 c (4,0) c 27 666 ( 1.4%) 0 ( 0.0%) 59 ( 0.0%) 0 (-nan%)
25.65/12.59 c (4,0) c 28 542 ( 1.1%) 0 ( 0.0%) 48 ( 0.0%) 0 (-nan%)
25.65/12.59 c (4,0) c 29 512 ( 1.1%) 0 ( 0.0%) 60 ( 0.0%) 0 (-nan%)
25.65/12.59 c (4,0) c 30 3826 ( 7.9%) 0 ( 0.0%) 214 ( 0.1%) 0 (-nan%)
25.65/12.59 c (4,0) c
25.65/12.59 c (4,0) c [LBD Statistics]
25.65/12.59 c (4,0) c LBD used lbd used clause lbd unused clause lbd
25.65/12.59 c (4,0) c tot 514489 25834 22788
25.65/12.59 c (4,0) c avg 2.557 4.668 7.239
25.65/12.59 c (4,0) c 1 25846 ( 5.0/ 5.0%) 574 ( 2.2/ 2.2%) 0 ( 0.0/ 0.0%)
25.65/12.59 c (4,0) c 2 352954 (68.6/73.6%) 6495 (25.1/27.4%) 406 ( 1.8/ 1.8%)
25.65/12.59 c (4,0) c 3 65890 (12.8/86.4%) 3719 (14.4/41.8%) 1006 ( 4.4/ 6.2%)
25.65/12.59 c (4,0) c 4 30678 ( 6.0/92.4%) 3410 (13.2/55.0%) 1851 ( 8.1/14.3%)
25.65/12.59 c (4,0) c 5 14563 ( 2.8/95.2%) 3110 (12.0/67.0%) 2859 (12.5/26.9%)
25.65/12.59 c (4,0) c 6 8377 ( 1.6/96.9%) 2514 ( 9.7/76.7%) 3288 (14.4/41.3%)
25.65/12.59 c (4,0) c 7 5495 ( 1.1/97.9%) 2027 ( 7.8/84.6%) 3474 (15.2/56.5%)
25.65/12.59 c (4,0) c 8 3849 ( 0.7/98.7%) 1506 ( 5.8/90.4%) 3209 (14.1/70.6%)
25.65/12.59 c (4,0) c 9 2551 ( 0.5/99.2%) 1016 ( 3.9/94.3%) 2507 (11.0/81.6%)
25.65/12.59 c (4,0) c 10 1837 ( 0.4/99.5%) 682 ( 2.6/97.0%) 1728 ( 7.6/89.2%)
25.65/12.59 c (4,0) c 11 1117 ( 0.2/99.7%) 376 ( 1.5/98.4%) 1092 ( 4.8/94.0%)
25.65/12.59 c (4,0) c 12 631 ( 0.1/99.9%) 203 ( 0.8/99.2%) 633 ( 2.8/96.8%)
25.65/12.59 c (4,0) c 13 328 ( 0.1/99.9%) 109 ( 0.4/99.6%) 357 ( 1.6/98.3%)
25.65/12.59 c (4,0) c 14 188 ( 0.0/100.0%) 49 ( 0.2/99.8%) 186 ( 0.8/99.2%)
25.65/12.59 c (4,0) c 15 96 ( 0.0/100.0%) 23 ( 0.1/99.9%) 104 ( 0.5/99.6%)
25.65/12.59 c (4,0) c 16 31 ( 0.0/100.0%) 6 ( 0.0/99.9%) 51 ( 0.2/99.8%)
25.65/12.59 c (4,0) c 17 24 ( 0.0/100.0%) 4 ( 0.0/100.0%) 20 ( 0.1/99.9%)
25.65/12.59 c (4,0) c 18 19 ( 0.0/100.0%) 6 ( 0.0/100.0%) 12 ( 0.1/100.0%)
25.65/12.59 c (4,0) c 19 6 ( 0.0/100.0%) 4 ( 0.0/100.0%) 5 ( 0.0/100.0%)
25.65/12.59 c (4,0) c 20 5 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
25.65/12.59 c (4,0) c 21 4 ( 0.0/100.0%) 1 ( 0.0/100.0%) 0 ( 0.0/100.0%)
25.65/12.59 c (4,0) c
25.65/12.59 c (4,0) c Memory used : 29.00 MB
25.65/12.59 c (4,0) c CPU time : 4.355 s
25.65/12.59 c (4,0) c Real time : 4.478 s
25.65/12.59 c (4,0) c
25.65/12.59 c (4,0) s SATISFIABLE
25.77/12.60 c (4,0) SatSolver.solve End
25.77/12.61 c (4,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
25.77/12.61 c (4,0) Show results Begin
25.77/12.68 c (4,0) x[0] = 6
25.77/12.68 c (4,0) x[1] = 19
25.77/12.68 c (4,0) x[2] = 12
25.77/12.68 c (4,0) x[3] = 16
25.77/12.68 c (4,0) x[4] = 24
25.77/12.68 c (4,0) x[5] = 0
25.77/12.68 c (4,0) x[6] = 19
25.77/12.68 c (4,0) x[7] = 13
25.77/12.68 c (4,0) x[8] = 19
25.77/12.68 c (4,0) x[9] = 11
25.77/12.68 c (4,0) x[10] = 18
25.77/12.68 c (4,0) x[11] = 15
25.77/12.68 c (4,0) x[12] = 14
25.77/12.68 c (4,0) x[13] = 23
25.77/12.68 c (4,0) x[14] = 21
25.77/12.68 c (4,0) x[15] = 14
25.77/12.68 c (4,0) x[16] = 12
25.77/12.68 c (4,0) x[17] = 21
25.77/12.68 c (4,0) x[18] = 21
25.77/12.68 c (4,0) x[19] = 8
25.77/12.68 c (4,0) x[20] = 4
25.77/12.68 c (4,0) x[21] = 1
25.77/12.68 c (4,0) x[22] = 7
25.77/12.68 c (4,0) x[23] = 15
25.77/12.68 c (4,0) x[24] = 9
25.77/12.68 c (4,0) x[25] = 1
25.77/12.68 c (4,0) x[26] = 16
25.77/12.68 c (4,0) x[27] = 5
25.77/12.68 c (4,0) x[28] = 11
25.77/12.68 c (4,0) x[29] = 6
25.77/12.68 c (4,0) x[30] = 24
25.77/12.69 c (4,0) x[31] = 1
25.77/12.69 c (4,0) x[32] = 23
25.77/12.69 c (4,0) x[33] = 5
25.77/12.69 c (4,0) x[34] = 7
25.77/12.69 c (4,0) x[35] = 5
25.77/12.69 c (4,0) x[36] = 19
25.77/12.69 c (4,0) x[37] = 0
25.77/12.69 c (4,0) x[38] = 2
25.77/12.69 c (4,0) x[39] = 15
25.77/12.69 s SATISFIABLE
25.77/12.69 v <instantiation>
25.77/12.69 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39]</list>
25.77/12.69 v <values>6 19 12 16 24 0 19 13 19 11 18 15 14 23 21 14 12 21 21 8 4 1 7 15 9 1 16 5 11 6 24 1 23 5 7 5 19 0 2 15</values>
25.77/12.69 v </instantiation>
25.77/12.69 c (4,0) Show results End
25.77/12.69 c (4,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
25.77/12.69 c (4,0) 4,4,STOP-AFTER(ALL)
25.77/12.69 c END-Prog: Thu Sep 12 13:27:15 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 (1382 MiB free)
memory of node 1: 16384 MiB (10770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387662-1568287662/watcher-4387662-1568287662 -o /tmp/evaluation-result-4387662-1568287662/solver-4387662-1568287662 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --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-4387662-1568287662.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=9149, runsolver pid=9146
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 2.11 1.85 1.57 3/234 9166
/proc/meminfo: memFree=12387408/32770624 swapFree=67036652/67108860
[pid=9149] ppid=9146 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9149/stat : 9149 (scop.sh) S 9146 9149 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405038818 115843072 349 33554432000 4194304 5098028 140728248809536 140728248806792 139713026175612 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20774912 140728248812328 140728248812656 140728248812656 140728248815565 0
/proc/9149/statm: 28282 349 296 221 0 87 0
[pid=9152] ppid=9149 vsize=15012696 memory=72400 CPUtime=0.12 cores=0,2,4,6
/proc/9152/stat : 9152 (java) S 9149 9149 7440 0 -1 1077944320 6853 0 0 0 10 2 0 0 20 0 15 0 405038819 15373000704 18100 33554432000 4194304 4196468 140732766295808 140732766278352 140179599437559 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
/proc/9152/statm: 3753174 18100 2913 1 0 3715579 0
[pid=9152/tid=9153] ppid=9149 vsize=15012696 memory=-2843876205239518366 CPUtime=0.08 cores=0,2,4,6
/proc/9152/task/9153/stat : 9153 (java) R 9149 9149 7440 0 -1 4202560 4752 0 0 0 7 1 0 0 20 0 15 0 405038819 15373000704 18232 33554432000 4194304 4196468 140732766295808 140179571231464 140179579714384 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9154] ppid=9149 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9154/stat : 9154 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 18232 33554432000 4194304 4196468 140732766295808 140179603680400 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9155] ppid=9149 vsize=15012696 memory=140331079177856 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9155/stat : 9155 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 18232 33554432000 4194304 4196468 140732766295808 140179417836560 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9156] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9156/stat : 9156 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 18232 33554432000 4194304 4196468 140732766295808 140179416783760 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9157] ppid=9149 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9157/stat : 9157 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 18232 33554432000 4194304 4196468 140732766295808 140179415730960 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9158] ppid=9149 vsize=15012696 memory=140331079177856 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9158/stat : 9158 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038822 15373000704 18232 33554432000 4194304 4196468 140732766295808 140178637064560 140179599448706 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9159] ppid=9149 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9159/stat : 9159 (java) S 9149 9149 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405038823 15373000704 18232 33554432000 4194304 4196468 140732766295808 140178135966752 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9160] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9160/stat : 9160 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038823 15373000704 18232 33554432000 4194304 4196468 140732766295808 140177867531120 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9161] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9161/stat : 9161 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038825 15373000704 18232 33554432000 4194304 4196468 140732766295808 140177493022544 140179599456155 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9162] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9162/stat : 9162 (java) S 9149 9149 7440 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 405038825 15373000704 18232 33554432000 4194304 4196468 140732766295808 140178636012400 140179599448706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9163] ppid=9149 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9163/stat : 9163 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038825 15373000704 18232 33554432000 4194304 4196468 140732766295808 140178634959600 140179599448706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9164] ppid=9149 vsize=15012696 memory=140331079177856 CPUtime=0.01 cores=0,2,4,6
/proc/9152/task/9164/stat : 9164 (java) R 9149 9149 7440 0 -1 4202560 429 0 0 0 1 0 0 0 20 0 15 0 405038825 15373000704 18232 33554432000 4194304 4196468 140732766295808 140178633906800 140179591674686 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9165] ppid=9149 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9165/stat : 9165 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038825 15373000704 18232 33554432000 4194304 4196468 140732766295808 140176995117792 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9166] ppid=9149 vsize=15012696 memory=140331079177856 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9166/stat : 9166 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038826 15373000704 18232 33554432000 4194304 4196468 140732766295808 140178632854192 140179599448706 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73796 KiB
[startup+0.210795 s]*
/proc/loadavg: 2.11 1.85 1.57 3/234 9166
/proc/meminfo: memFree=12367480/32770624 swapFree=67036652/67108860
[pid=9149] ppid=9146 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9149/stat : 9149 (scop.sh) S 9146 9149 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405038818 115843072 349 33554432000 4194304 5098028 140728248809536 140728248806792 139713026175612 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20774912 140728248812328 140728248812656 140728248812656 140728248815565 0
/proc/9149/statm: 28282 349 296 221 0 87 0
[pid=9152] ppid=9149 vsize=15012696 memory=88004 CPUtime=0.25 cores=0,2,4,6
/proc/9152/stat : 9152 (java) S 9149 9149 7440 0 -1 1077944320 12057 0 0 0 22 3 0 0 20 0 15 0 405038819 15373000704 22001 33554432000 4194304 4196468 140732766295808 140732766278352 140179599437559 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
/proc/9152/statm: 3753174 22001 2927 1 0 3715579 0
[pid=9152/tid=9153] ppid=9149 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/9152/task/9153/stat : 9153 (java) R 9149 9149 7440 0 -1 4202560 9813 0 0 0 17 3 0 0 20 0 15 0 405038819 15373000704 22001 33554432000 4194304 4196468 140732766295808 140179571261520 140179583518046 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9154] ppid=9149 vsize=15012696 memory=539 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9154/stat : 9154 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 22001 33554432000 4194304 4196468 140732766295808 140179603680400 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9155] ppid=9149 vsize=15012696 memory=140331080194168 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9155/stat : 9155 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 22001 33554432000 4194304 4196468 140732766295808 140179417836560 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9156] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9156/stat : 9156 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 22001 33554432000 4194304 4196468 140732766295808 140179416783760 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9157] ppid=9149 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9157/stat : 9157 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 22001 33554432000 4194304 4196468 140732766295808 140179415730960 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9158] ppid=9149 vsize=15012696 memory=140331079177856 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9158/stat : 9158 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038822 15373000704 22001 33554432000 4194304 4196468 140732766295808 140178637064560 140179599448706 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9159] ppid=9149 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9159/stat : 9159 (java) S 9149 9149 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405038823 15373000704 22001 33554432000 4194304 4196468 140732766295808 140178135966752 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9160] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9160/stat : 9160 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038823 15373000704 22001 33554432000 4194304 4196468 140732766295808 140177867531120 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9161] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9161/stat : 9161 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038825 15373000704 22001 33554432000 4194304 4196468 140732766295808 140177493022544 140179599456155 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9162] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9162/stat : 9162 (java) S 9149 9149 7440 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 15 0 405038825 15373000704 22001 33554432000 4194304 4196468 140732766295808 140178636012400 140179599448706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9163] ppid=9149 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9163/stat : 9163 (java) S 9149 9149 7440 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405038825 15373000704 22001 33554432000 4194304 4196468 140732766295808 140178634959600 140179599448706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9164] ppid=9149 vsize=15012696 memory=140331079177856 CPUtime=0.03 cores=0,2,4,6
/proc/9152/task/9164/stat : 9164 (java) R 9149 9149 7440 0 -1 4202560 437 0 0 0 3 0 0 0 20 0 15 0 405038825 15373000704 22001 33554432000 4194304 4196468 140732766295808 140178633906800 140179584603147 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9165] ppid=9149 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9165/stat : 9165 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038825 15373000704 22001 33554432000 4194304 4196468 140732766295808 140176995117792 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9166] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9166/stat : 9166 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038826 15373000704 22001 33554432000 4194304 4196468 140732766295808 140178632854192 140179599448706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89400 KiB
[startup+0.310615 s]*
/proc/loadavg: 2.11 1.85 1.57 4/234 9166
/proc/meminfo: memFree=12364316/32770624 swapFree=67036652/67108860
[pid=9149] ppid=9146 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9149/stat : 9149 (scop.sh) S 9146 9149 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405038818 115843072 349 33554432000 4194304 5098028 140728248809536 140728248806792 139713026175612 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20774912 140728248812328 140728248812656 140728248812656 140728248815565 0
/proc/9149/statm: 28282 349 296 221 0 87 0
[pid=9152] ppid=9149 vsize=15012696 memory=92232 CPUtime=0.43 cores=0,2,4,6
/proc/9152/stat : 9152 (java) S 9149 9149 7440 0 -1 1077944320 13047 0 0 0 39 4 0 0 20 0 15 0 405038819 15373000704 23058 33554432000 4194304 4196468 140732766295808 140732766278352 140179599437559 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
/proc/9152/statm: 3753174 23058 3072 1 0 3715579 0
[pid=9152/tid=9153] ppid=9149 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=0,2,4,6
/proc/9152/task/9153/stat : 9153 (java) R 9149 9149 7440 0 -1 4202560 10606 0 0 0 27 3 0 0 20 0 15 0 405038819 15373000704 23058 33554432000 4194304 4196468 140732766295808 140179571220576 140179581002521 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9154] ppid=9149 vsize=15012696 memory=288230621904634245 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9154/stat : 9154 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 23058 33554432000 4194304 4196468 140732766295808 140179603680400 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9155] ppid=9149 vsize=15012696 memory=15258160021644119 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9155/stat : 9155 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 23058 33554432000 4194304 4196468 140732766295808 140179417836560 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9156] ppid=9149 vsize=15012696 memory=280661886007664 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9156/stat : 9156 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 23058 33554432000 4194304 4196468 140732766295808 140179416783760 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9157] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9157/stat : 9157 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038821 15373000704 23058 33554432000 4194304 4196468 140732766295808 140179415730960 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9158] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9158/stat : 9158 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038822 15373000704 23058 33554432000 4194304 4196468 140732766295808 140178637064560 140179599448706 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9159] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9159/stat : 9159 (java) S 9149 9149 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405038823 15373000704 23058 33554432000 4194304 4196468 140732766295808 140178135966752 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9160] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9160/stat : 9160 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038823 15373000704 23058 33554432000 4194304 4196468 140732766295808 140177867531120 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9161] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9161/stat : 9161 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038825 15373000704 23058 33554432000 4194304 4196468 140732766295808 140177493022544 140179599456155 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9162] ppid=9149 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9152/task/9162/stat : 9162 (java) S 9149 9149 7440 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 405038825 15373000704 23058 33554432000 4194304 4196468 140732766295808 140178636012400 140179599448706 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9163] ppid=9149 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9152/task/9163/stat : 9163 (java) S 9149 9149 7440 0 -1 1077944384 163 0 0 0 2 0 0 0 20 0 15 0 405038825 15373000704 23058 33554432000 4194304 4196468 140732766295808 140178634959600 140179599448706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9164] ppid=9149 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9152/task/9164/stat : 9164 (java) S 9149 9149 7440 0 -1 1077944384 482 0 0 0 7 0 0 0 20 0 15 0 405038825 15373000704 23058 33554432000 4194304 4196468 140732766295808 140178633906800 140179599448706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9165] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9165/stat : 9165 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038825 15373000704 23058 33554432000 4194304 4196468 140732766295808 140176995117792 140179599447765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9166] ppid=9149 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9166/stat : 9166 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038826 15373000704 23058 33554432000 4194304 4196468 140732766295808 140178632854192 140179599448706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93628 KiB
[startup+0.702965 s]
/proc/loadavg: 2.11 1.85 1.57 3/234 9166
/proc/meminfo: memFree=12343860/32770624 swapFree=67036652/67108860
[pid=9149] ppid=9146 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9149/stat : 9149 (scop.sh) S 9146 9149 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405038818 115843072 349 33554432000 4194304 5098028 140728248809536 140728248806792 139713026175612 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20774912 140728248812328 140728248812656 140728248812656 140728248815565 0
/proc/9149/statm: 28282 349 296 221 0 87 0
[pid=9152] ppid=9149 vsize=15018968 memory=129756 CPUtime=1.01 cores=0,2,4,6
/proc/9152/stat : 9152 (java) S 9149 9149 7440 0 -1 1077944320 20210 0 0 0 95 6 0 0 20 0 15 0 405038819 15379423232 32439 33554432000 4194304 4196468 140732766295808 140732766278352 140179599437559 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
/proc/9152/statm: 3754742 32439 3186 1 0 3716091 0
[pid=9152/tid=9153] ppid=9149 vsize=15018968 memory=4964 CPUtime=0.68 cores=0,2,4,6
/proc/9152/task/9153/stat : 9153 (java) R 9149 9149 7440 0 -1 4202560 17205 0 0 0 63 5 0 0 20 0 15 0 405038819 15379423232 32439 33554432000 4194304 4196468 140732766295808 140179571259664 140179599459485 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9154] ppid=9149 vsize=15018968 memory=10092 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9154/stat : 9154 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038821 15379423232 32439 33554432000 4194304 4196468 140732766295808 140179603680400 140179599447765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9155] ppid=9149 vsize=15018968 memory=1908 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9155/stat : 9155 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038821 15379423232 32439 33554432000 4194304 4196468 140732766295808 140179417836560 140179599447765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9156] ppid=9149 vsize=15018968 memory=1360 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9156/stat : 9156 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038821 15379423232 32439 33554432000 4194304 4196468 140732766295808 140179416783760 140179599447765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9157] ppid=9149 vsize=15018968 memory=7392 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9157/stat : 9157 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405038821 15379423232 32439 33554432000 4194304 4196468 140732766295808 140179415730960 140179599447765 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9158] ppid=9149 vsize=15018968 memory=860 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9158/stat : 9158 (java) S 9149 9149 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405038822 15379423232 32439 33554432000 4194304 4196468 140732766295808 140178637064560 140179599448706 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9159] ppid=9149 vsize=15018968 memory=776 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9159/stat : 9159 (java) S 9149 9149 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405038823 15379423232 32439 33554432000 4194304 4196468 140732766295808 140178135966752 140179599447765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9160] ppid=9149 vsize=15018968 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9160/stat : 9160 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038823 15379423232 32439 33554432000 4194304 4196468 140732766295808 140177867531120 140179599447765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9161] ppid=9149 vsize=15018968 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9161/stat : 9161 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038825 15379423232 32439 33554432000 4194304 4196468 140732766295808 140177493022544 140179599456155 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9162] ppid=9149 vsize=15018968 memory=3824 CPUtime=0.06 cores=0,2,4,6
/proc/9152/task/9162/stat : 9162 (java) R 9149 9149 7440 0 -1 1077944384 669 0 0 0 6 0 0 0 20 0 15 0 405038825 15379423232 32439 33554432000 4194304 4196468 140732766295808 140178636000544 140179599447765 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9163] ppid=9149 vsize=15018968 memory=1384 CPUtime=0.09 cores=0,2,4,6
/proc/9152/task/9163/stat : 9163 (java) R 9149 9149 7440 0 -1 4202560 369 0 0 0 9 0 0 0 20 0 15 0 405038825 15379423232 32439 33554432000 4194304 4196468 140732766295808 140178634959600 140179580009484 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9164] ppid=9149 vsize=15018968 memory=15080 CPUtime=0.16 cores=0,2,4,6
/proc/9152/task/9164/stat : 9164 (java) S 9149 9149 7440 0 -1 1077944384 631 0 0 0 16 0 0 0 20 0 15 0 405038825 15379423232 32439 33554432000 4194304 4196468 140732766295808 140178633906800 140179599448706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9165] ppid=9149 vsize=15018968 memory=19212 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9165/stat : 9165 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405038825 15379423232 32439 33554432000 4194304 4196468 140732766295808 140176995117792 140179599447765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
[pid=9152/tid=9166] ppid=9149 vsize=15018968 memory=2676 CPUtime=0 cores=0,2,4,6
/proc/9152/task/9166/stat : 9166 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405038826 15379423232 32439 33554432000 4194304 4196468 140732766295808 140178632854192 140179599448706 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14540800 140732766302959 140732766303386 140732766303386 140732766306255 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131152 KiB
[startup+1.50729 s]
/proc/loadavg: 2.11 1.85 1.57 5/234 9166
/proc/meminfo: memFree=12264716/32770624 swapFree=67036652/67108860
[pid=9149] ppid=9146 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9149/stat : 9149 (scop.sh) S 9146 9149 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405038818 115843072 349 33554432000 4194304 5098028 140728248809536 140728248806792 139713026175612 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20774912 140728248812328 140728248812656 140728248812656 140728248815565 0
/proc/9149/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/9167/task/9185/stat : 9185 (java) S 9149 9149 7440 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 405039630 8262082560 29965 33554432000 4194304 4196468 140734128329888 140468985774192 140471687840925 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9186] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9186/stat : 9186 (java) S 9149 9149 7440 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405039630 8262082560 29965 33554432000 4194304 4196468 140734128329888 140468717337872 140471687840925 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9187] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9187/stat : 9187 (java) S 9149 9149 7440 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 405039633 8262082560 29965 33554432000 4194304 4196468 140734128329888 140469254216752 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
Current children cumulated CPU time: 24.33 s
Current children cumulated vsize: 8204640 KiB
Current children cumulated memory: 129888 KiB
[startup+12.0009 s]*
/proc/loadavg: 2.23 1.89 1.59 3/239 9187
/proc/meminfo: memFree=12326432/32770624 swapFree=67036652/67108860
[pid=9149] ppid=9146 vsize=113128 memory=1476 CPUtime=20.06 cores=0,2,4,6
/proc/9149/stat : 9149 (scop.sh) S 9146 9149 7440 0 -1 4202496 584 35667 0 0 0 0 1957 49 20 0 1 0 405038818 115843072 369 33554432000 4194304 5098028 140728248809536 140728248806280 139713026175612 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20774912 140728248812328 140728248812656 140728248812656 140728248815565 0
/proc/9149/statm: 28282 369 311 221 0 87 0
[pid=9167] ppid=9149 vsize=8068440 memory=119860 CPUtime=1.2 cores=0,2,4,6
/proc/9167/stat : 9167 (java) S 9149 9149 7440 0 -1 1077944320 20930 0 0 0 113 7 0 0 20 0 19 0 405039556 8262082560 29965 33554432000 4194304 4196468 140734128329888 140734128312432 140471687818999 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
/proc/9167/statm: 2017110 29965 3208 1 0 1978454 0
[pid=9182] ppid=9167 vsize=27572 memory=12160 CPUtime=3.89 cores=0,2,4,6
/proc/9182/stat : 9182 (glueminisat-sim) R 9167 9149 7440 0 -1 4202496 5439 0 0 0 378 11 0 0 20 0 1 0 405039629 28233728 3040 33554432000 4194304 4452875 140729520838640 140729520833736 139997172731783 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 38236160 140729520845664 140729520845863 140729520845863 140729520848813 0
/proc/9182/statm: 6893 3040 374 64 0 3097 0
[pid=9167/tid=9168] ppid=9149 vsize=8068440 memory=-5059952977386882957 CPUtime=0.75 cores=0,2,4,6
/proc/9167/task/9168/stat : 9168 (java) S 9149 9149 7440 0 -1 1077944384 17843 0 0 0 70 5 0 0 20 0 19 0 405039557 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471659659168 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9169] ppid=9149 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9169/stat : 9169 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405039558 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471692060944 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9170] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9170/stat : 9170 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405039558 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471492229520 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9171] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9171/stat : 9171 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405039558 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471491176976 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9172] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9172/stat : 9172 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405039558 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471490124432 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9173] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9173/stat : 9173 (java) S 9149 9149 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405039559 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471066159600 140471687830146 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9174] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9174/stat : 9174 (java) S 9149 9149 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405039560 8262082560 29965 33554432000 4194304 4196468 140734128329888 140470529287584 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9175] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9175/stat : 9175 (java) S 9149 9149 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405039560 8262082560 29965 33554432000 4194304 4196468 140734128329888 140470395065840 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9176] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9176/stat : 9176 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405039562 8262082560 29965 33554432000 4194304 4196468 140734128329888 140470020561616 140471687837595 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9177] ppid=9149 vsize=8068440 memory=3546643192049841203 CPUtime=0.11 cores=0,2,4,6
/proc/9167/task/9177/stat : 9177 (java) S 9149 9149 7440 0 -1 1077944384 612 0 0 0 11 0 0 0 20 0 19 0 405039562 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471065106416 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9178] ppid=9149 vsize=8068440 memory=7517785289448769184 CPUtime=0.07 cores=0,2,4,6
/proc/9167/task/9178/stat : 9178 (java) S 9149 9149 7440 0 -1 1077944384 435 0 0 0 7 0 0 0 20 0 19 0 405039562 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471064053872 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9179] ppid=9149 vsize=8068440 memory=3461362021663139688 CPUtime=0.21 cores=0,2,4,6
/proc/9167/task/9179/stat : 9179 (java) S 9149 9149 7440 0 -1 1077944384 620 0 0 0 21 0 0 0 20 0 19 0 405039563 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471063001328 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9180] ppid=9149 vsize=8068440 memory=3472468627306858160 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9180/stat : 9180 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405039563 8262082560 29965 33554432000 4194304 4196468 140734128329888 140469522655840 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9181] ppid=9149 vsize=8068440 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9181/stat : 9181 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405039563 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471061949232 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9183] ppid=9149 vsize=8068440 memory=3472468627306857136 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9183/stat : 9183 (java) S 9149 9149 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405039630 8262082560 29965 33554432000 4194304 4196468 140734128329888 140471133697600 140471687843609 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9185] ppid=9149 vsize=8068440 memory=3472328296227418159 CPUtime=0.01 cores=0,2,4,6
/proc/9167/task/9185/stat : 9185 (java) S 9149 9149 7440 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 405039630 8262082560 29965 33554432000 4194304 4196468 140734128329888 140468985774192 140471687840925 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9186] ppid=9149 vsize=8068440 memory=5788368430674425667 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9186/stat : 9186 (java) S 9149 9149 7440 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405039630 8262082560 29965 33554432000 4194304 4196468 140734128329888 140468717337872 140471687840925 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9187] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9187/stat : 9187 (java) S 9149 9149 7440 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 405039633 8262082560 29965 33554432000 4194304 4196468 140734128329888 140469254216752 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
Current children cumulated CPU time: 25.15 s
Current children cumulated vsize: 8209140 KiB
Current children cumulated memory: 133496 KiB
[startup+12.4009 s]
/proc/loadavg: 2.23 1.89 1.59 3/239 9187
/proc/meminfo: memFree=12326432/32770624 swapFree=67036652/67108860
[pid=9149] ppid=9146 vsize=113128 memory=1476 CPUtime=20.06 cores=0,2,4,6
/proc/9149/stat : 9149 (scop.sh) S 9146 9149 7440 0 -1 4202496 584 35667 0 0 0 0 1957 49 20 0 1 0 405038818 115843072 369 33554432000 4194304 5098028 140728248809536 140728248806280 139713026175612 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20774912 140728248812328 140728248812656 140728248812656 140728248815565 0
/proc/9149/statm: 28282 369 311 221 0 87 0
[pid=9167] ppid=9149 vsize=8068440 memory=119964 CPUtime=1.21 cores=0,2,4,6
/proc/9167/stat : 9167 (java) S 9149 9149 7440 0 -1 1077944320 20945 0 0 0 114 7 0 0 20 0 19 0 405039556 8262082560 29991 33554432000 4194304 4196468 140734128329888 140734128312432 140471687818999 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
/proc/9167/statm: 2017110 29991 3209 1 0 1978454 0
[pid=9182] ppid=9167 vsize=30248 memory=14192 CPUtime=4.28 cores=0,2,4,6
/proc/9182/stat : 9182 (glueminisat-sim) R 9167 9149 7440 0 -1 4202496 7292 0 0 0 417 11 0 0 20 0 1 0 405039629 30973952 3548 33554432000 4194304 4452875 140729520838640 140729520833736 139997172731783 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552096 6554264 38236160 140729520845664 140729520845863 140729520845863 140729520848813 0
/proc/9182/statm: 7562 3548 374 64 0 3766 0
[pid=9167/tid=9168] ppid=9149 vsize=8068440 memory=8401352418782109792 CPUtime=0.75 cores=0,2,4,6
/proc/9167/task/9168/stat : 9168 (java) S 9149 9149 7440 0 -1 1077944384 17843 0 0 0 70 5 0 0 20 0 19 0 405039557 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471659659168 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9169] ppid=9149 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9169/stat : 9169 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405039558 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471692060944 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9170] ppid=9149 vsize=8068440 memory=-8707038579349950309 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9170/stat : 9170 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405039558 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471492229520 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9171] ppid=9149 vsize=8068440 memory=119768 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9171/stat : 9171 (java) S 9149 9149 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405039558 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471491176976 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9172] ppid=9149 vsize=8068440 memory=119768 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9172/stat : 9172 (java) S 9149 9149 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405039558 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471490124432 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9173] ppid=9149 vsize=8068440 memory=4715433313220523562 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9173/stat : 9173 (java) S 9149 9149 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405039559 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471066159600 140471687830146 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9174] ppid=9149 vsize=8068440 memory=55 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9174/stat : 9174 (java) S 9149 9149 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405039560 8262082560 29991 33554432000 4194304 4196468 140734128329888 140470529287584 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9175] ppid=9149 vsize=8068440 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9175/stat : 9175 (java) S 9149 9149 7440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405039560 8262082560 29991 33554432000 4194304 4196468 140734128329888 140470395065840 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9176] ppid=9149 vsize=8068440 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9176/stat : 9176 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405039562 8262082560 29991 33554432000 4194304 4196468 140734128329888 140470020561616 140471687837595 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9177] ppid=9149 vsize=8068440 memory=6933690279252828305 CPUtime=0.11 cores=0,2,4,6
/proc/9167/task/9177/stat : 9177 (java) S 9149 9149 7440 0 -1 1077944384 612 0 0 0 11 0 0 0 20 0 19 0 405039562 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471065106416 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9178] ppid=9149 vsize=8068440 memory=6944656425123094137 CPUtime=0.08 cores=0,2,4,6
/proc/9167/task/9178/stat : 9178 (java) S 9149 9149 7440 0 -1 1077944384 438 0 0 0 8 0 0 0 20 0 19 0 405039562 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471064053872 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9179] ppid=9149 vsize=8068440 memory=-9001734013606258791 CPUtime=0.22 cores=0,2,4,6
/proc/9167/task/9179/stat : 9179 (java) S 9149 9149 7440 0 -1 1077944384 630 0 0 0 22 0 0 0 20 0 19 0 405039563 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471063001328 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9180] ppid=9149 vsize=8068440 memory=7100839878643315824 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9180/stat : 9180 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405039563 8262082560 29991 33554432000 4194304 4196468 140734128329888 140469522655840 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9181] ppid=9149 vsize=8068440 memory=7100839852556256653 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9181/stat : 9181 (java) S 9149 9149 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405039563 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471061949232 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9183] ppid=9149 vsize=8068440 memory=8514701219376621709 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9183/stat : 9183 (java) S 9149 9149 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405039630 8262082560 29991 33554432000 4194304 4196468 140734128329888 140471133697600 140471687843609 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9185] ppid=9149 vsize=8068440 memory=8940607975817108597 CPUtime=0.01 cores=0,2,4,6
/proc/9167/task/9185/stat : 9185 (java) S 9149 9149 7440 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 405039630 8262082560 29991 33554432000 4194304 4196468 140734128329888 140468985774192 140471687840925 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9186] ppid=9149 vsize=8068440 memory=-6225211177442970748 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9186/stat : 9186 (java) S 9149 9149 7440 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405039630 8262082560 29991 33554432000 4194304 4196468 140734128329888 140468717337872 140471687840925 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9187] ppid=9149 vsize=8068440 memory=4121699880993380715 CPUtime=0 cores=0,2,4,6
/proc/9167/task/9187/stat : 9187 (java) S 9149 9149 7440 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 405039633 8262082560 29991 33554432000 4194304 4196468 140734128329888 140469254216752 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
Current children cumulated CPU time: 25.55 s
Current children cumulated vsize: 8211816 KiB
Current children cumulated memory: 135632 KiB
[startup+12.6008 s]
/proc/loadavg: 2.23 1.89 1.59 3/239 9187
/proc/meminfo: memFree=12326432/32770624 swapFree=67036652/67108860
[pid=9149] ppid=9146 vsize=113128 memory=1476 CPUtime=20.06 cores=0,2,4,6
/proc/9149/stat : 9149 (scop.sh) S 9146 9149 7440 0 -1 4202496 584 35667 0 0 0 0 1957 49 20 0 1 0 405038818 115843072 369 33554432000 4194304 5098028 140728248809536 140728248806280 139713026175612 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20774912 140728248812328 140728248812656 140728248812656 140728248815565 0
/proc/9149/statm: 28282 369 311 221 0 87 0
[pid=9167] ppid=9149 vsize=8068440 memory=120176 CPUtime=5.71 cores=0,2,4,6
/proc/9167/stat : 9167 (java) S 9149 9149 7440 0 -1 1077944320 21007 7371 0 0 117 7 435 12 20 0 18 0 405039556 8262082560 30044 33554432000 4194304 4196468 140734128329888 140734128312432 140471687818999 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
/proc/9167/statm: 2017110 30044 3209 1 0 1978454 0
[pid=9167/tid=9168] ppid=9149 vsize=8068440 memory=119 CPUtime=5.22 cores=0,2,4,6
/proc/9167/task/9168/stat : 9168 (java) S 9149 9149 7440 0 -1 1077944384 17843 7371 0 0 70 5 435 12 20 0 18 0 405039557 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471659659168 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9169] ppid=9149 vsize=8068440 memory=280661887215824 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9169/stat : 9169 (java) S 9149 9149 7440 0 -1 1077944384 1 7371 0 0 0 0 435 12 20 0 18 0 405039558 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471692060944 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9170] ppid=9149 vsize=8068440 memory=0 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9170/stat : 9170 (java) S 9149 9149 7440 0 -1 1077944384 1 7371 0 0 0 0 435 12 20 0 18 0 405039558 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471492229520 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9171] ppid=9149 vsize=8068440 memory=4120 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9171/stat : 9171 (java) S 9149 9149 7440 0 -1 1077944384 1 7371 0 0 0 0 435 12 20 0 18 0 405039558 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471491176976 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9172] ppid=9149 vsize=8068440 memory=37132 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9172/stat : 9172 (java) S 9149 9149 7440 0 -1 1077944384 2 7371 0 0 0 0 435 12 20 0 18 0 405039558 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471490124432 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9173] ppid=9149 vsize=8068440 memory=1296 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9173/stat : 9173 (java) S 9149 9149 7440 0 -1 1077944384 5 7371 0 0 0 0 435 12 20 0 18 0 405039559 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471066159600 140471687830146 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9174] ppid=9149 vsize=8068440 memory=2184 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9174/stat : 9174 (java) S 9149 9149 7440 0 -1 1077944384 13 7371 0 0 0 0 435 12 20 0 18 0 405039560 8262082560 30044 33554432000 4194304 4196468 140734128329888 140470529287584 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9175] ppid=9149 vsize=8068440 memory=1844 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9175/stat : 9175 (java) S 9149 9149 7440 0 -1 1077944384 21 7371 0 0 0 0 435 12 20 0 18 0 405039560 8262082560 30044 33554432000 4194304 4196468 140734128329888 140470395065840 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9176] ppid=9149 vsize=8068440 memory=4964 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9176/stat : 9176 (java) S 9149 9149 7440 0 -1 1077944384 3 7371 0 0 0 0 435 12 20 0 18 0 405039562 8262082560 30044 33554432000 4194304 4196468 140734128329888 140470020561616 140471687837595 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9177] ppid=9149 vsize=8068440 memory=10092 CPUtime=4.58 cores=0,2,4,6
/proc/9167/task/9177/stat : 9177 (java) R 9149 9149 7440 0 -1 4202560 613 7371 0 0 11 0 435 12 20 0 18 0 405039562 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471065106416 140471672206048 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9178] ppid=9149 vsize=8068440 memory=1908 CPUtime=4.55 cores=0,2,4,6
/proc/9167/task/9178/stat : 9178 (java) S 9149 9149 7440 0 -1 1077944384 445 7371 0 0 8 0 435 12 20 0 18 0 405039562 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471064053872 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9179] ppid=9149 vsize=8068440 memory=1360 CPUtime=4.69 cores=0,2,4,6
/proc/9167/task/9179/stat : 9179 (java) R 9149 9149 7440 0 -1 1077944384 637 7371 0 0 22 0 435 12 20 0 18 0 405039563 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471063001328 140471687830146 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9180] ppid=9149 vsize=8068440 memory=7392 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9180/stat : 9180 (java) S 9149 9149 7440 0 -1 1077944384 3 7371 0 0 0 0 435 12 20 0 18 0 405039563 8262082560 30044 33554432000 4194304 4196468 140734128329888 140469522655840 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9181] ppid=9149 vsize=8068440 memory=860 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9181/stat : 9181 (java) S 9149 9149 7440 0 -1 1077944384 3 7371 0 0 0 0 435 12 20 0 18 0 405039563 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471061949232 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9183] ppid=9149 vsize=8068440 memory=776 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9183/stat : 9183 (java) S 9149 9149 7440 0 -1 1077944384 27 7371 0 0 0 0 435 12 20 0 18 0 405039630 8262082560 30044 33554432000 4194304 4196468 140734128329888 140471133696784 140471687830146 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9185] ppid=9149 vsize=8068440 memory=1612 CPUtime=4.49 cores=0,2,4,6
/proc/9167/task/9185/stat : 9185 (java) R 9149 9149 7440 0 -1 4202560 53 7371 0 0 2 0 435 12 20 0 18 0 405039630 8262082560 30044 33554432000 4194304 4196468 140734128329888 140468985765264 140471687830934 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
[pid=9167/tid=9187] ppid=9149 vsize=8068440 memory=3824 CPUtime=4.47 cores=0,2,4,6
/proc/9167/task/9187/stat : 9187 (java) S 9149 9149 7440 0 -1 1077944384 28 7371 0 0 0 0 435 12 20 0 18 0 405039633 8262082560 30044 33554432000 4194304 4196468 140734128329888 140469254216512 140471687829205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38694912 140734128333820 140734128333978 140734128333978 140734128336847 0
Current children cumulated CPU time: 25.77 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 121652 KiB
Child status: 0
Real time (s): 12.6966
CPU time (s): 25.9607
CPU user time (s): 25.253
CPU system time (s): 0.707631
CPU usage (%): 204.47
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 2068604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.253
system time used= 0.707631
maximum resident set size= 2072812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65107
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6244
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 9149
# total CPU time (s): 25.9607
# total CPU user time (s): 25.253
# total CPU system time (s): 0.707631
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.114979 second user time and 0.166208 second system time
The end