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-10048-serial-file.bin HOME/instance-4387596-1568286233.xml
0.66/0.52
0.66/0.52 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Sep 12 13:03:11 CEST 2019
0.66/0.55 c PID: 10051
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
1.22/0.88 c (0,0) Parsing End
1.22/0.89 c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 41 ctr, max domain size 40
1.22/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.89 c (0,0) Constraint Name Generate Begin
1.22/0.89 c (0,0) Ctr:HOME/instance-4387596-1568286233.xml,AllDifferent:Dist:Eq:Var
1.22/0.89 c (0,0) Constraint Name Generate End
1.22/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.89 c (0,0) CSP to CSPinCNF Begin
1.42/1.00 c (0,0) translated 5 (10%) constraints
1.60/1.01 c (0,0) translated 9 (20%) constraints
1.60/1.03 c (0,0) translated 13 (30%) constraints
1.60/1.04 c (0,0) translated 17 (40%) constraints
1.60/1.05 c (0,0) translated 21 (50%) constraints
1.60/1.06 c (0,0) translated 25 (60%) constraints
1.60/1.06 c (0,0) translated 29 (70%) constraints
1.60/1.07 c (0,0) translated 33 (80%) constraints
1.60/1.08 c (0,0) translated 37 (90%) constraints
1.83/1.14 c (0,0) translated 41 (100%) constraints
2.37/1.30 c (0,0) ===========================================
2.37/1.30 c (0,0) Order
2.37/1.30 c (0,0) ===========================================
2.37/1.32 c (0,0) translated 112 (10%) constraints
2.37/1.34 c (0,0) translated 223 (20%) constraints
2.37/1.35 c (0,0) translated 334 (30%) constraints
2.37/1.36 c (0,0) translated 445 (40%) constraints
2.37/1.37 c (0,0) translated 556 (50%) constraints
2.37/1.38 c (0,0) translated 668 (60%) constraints
2.37/1.39 c (0,0) translated 779 (70%) constraints
2.37/1.40 c (0,0) translated 890 (80%) constraints
2.67/1.41 c (0,0) translated 1001 (90%) constraints
3.27/1.60 c (1,1) translated 1112 (100%) constraints
3.27/1.60 c (1,1) CSP to CSPinCNF End
3.27/1.61 c (1,1) CSP: 60 int (0 aux), 1521 bool (1521 aux), 4154 ctr, max domain size 40
3.27/1.61 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.27/1.61 c (1,1) CSPinCNF Propagation Begin
3.27/1.67 c (1,1) 0 values, 0 unsatisfiable literals, and 79 valid clauses are removed
3.27/1.67 c (1,1) CSPinCNF Propagation End
3.27/1.67 c (1,1) CSP: 60 int (0 aux), 1521 bool (1521 aux), 4075 ctr, max domain size 40
3.27/1.67 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.27/1.67 c (1,1) Simplify CSPinCNF Begin
3.60/1.76 c (1,1) Simplify CSPinCNF End
3.60/1.76 c (1,1) CSP: 60 int (0 aux), 3501 bool (3501 aux), 6055 ctr, max domain size 40
3.60/1.76 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.60/1.76 c (1,1) Calculate Precise Domain Begin
3.60/1.76 c (1,1) 0 values are removed by re-calculation
3.60/1.76 c (1,1) Calculate Precise Domain End
3.60/1.76 c (1,1) CSP: 60 int (0 aux), 3501 bool (3501 aux), 6055 ctr, max domain size 40
3.60/1.76 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.60/1.76 c (1,1) CSPinCNF to SatSolver Begin
6.41/2.63 c (2,2) 606 (10 %) CSP clauses are encoded (0 SAT variables, 135017 SAT clauses)
6.72/2.73 c (2,2) 1211 (20 %) CSP clauses are encoded (0 SAT variables, 151045 SAT clauses)
7.01/2.81 c (2,2) 1817 (30 %) CSP clauses are encoded (0 SAT variables, 167003 SAT clauses)
7.01/2.88 c (2,2) 2422 (40 %) CSP clauses are encoded (0 SAT variables, 182922 SAT clauses)
7.18/2.96 c (2,2) 3028 (50 %) CSP clauses are encoded (0 SAT variables, 198880 SAT clauses)
7.18/2.97 c (2,2) 3633 (60 %) CSP clauses are encoded (0 SAT variables, 200093 SAT clauses)
7.18/2.98 c (2,2) 4239 (70 %) CSP clauses are encoded (0 SAT variables, 200699 SAT clauses)
7.18/2.98 c (2,2) 4844 (80 %) CSP clauses are encoded (0 SAT variables, 201304 SAT clauses)
7.18/2.99 c (2,2) 5450 (90 %) CSP clauses are encoded (0 SAT variables, 201910 SAT clauses)
7.18/3.00 c (2,2) 6055 (100 %) CSP clauses are encoded (0 SAT variables, 202515 SAT clauses)
7.18/3.00 c (2,2) CSPinCNF to SatSolver End
7.18/3.00 c (2,2) Heap : 844 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.18/3.00 c (2,2) 5802 bool, 202516 clause
7.18/3.00 c (2,2) Export Begin
7.42/3.08 c (2,2) Export to HOME/scop-10048-serial-file.bin
7.42/3.08 c (2,2) Export End
7.42/3.08 c (2,2) Export File Size: 0.01 MB
7.42/3.08 c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
7.42/3.08 c END-Prog: Thu Sep 12 13:03:13 CEST 2019
7.42/3.09 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10048-serial-file.bin
7.59/3.54 c (0,0) Read Serial File Begin
7.59/3.54 c (0,0) HOME/scop-10048-serial-file.bin
7.59/3.74 c (0,0) Read Serial File End
7.59/3.75
7.59/3.75 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
7.59/3.75 (Solving Process)
7.59/3.75
7.59/3.77 c BEGIN-Prog: Thu Sep 12 13:03:14 CEST 2019
7.59/3.77 c PID: 10066
7.59/3.77 c IP: 172.20.3.147
7.59/3.77 c HOST: node147.alineos.net
7.59/3.78 c (0,0) SatSolver.solve Begin
7.59/3.78 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387596-1568286233.xml-scop-10051.cnf
7.59/3.81 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.59/3.81 c (0,0) c glueminisat-simp-2.2.10-193oa-n
7.59/3.81 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387596-1568286233.xml-scop-10051.cnf
7.59/3.81 c (0,0) c Options:
7.59/3.81 c (0,0) c CORE
7.59/3.81 c (0,0) c var_decay = 0.950
7.59/3.81 c (0,0) c clause_decay = 0.999
7.59/3.81 c (0,0) c random_var_freq = 0.000
7.59/3.81 c (0,0) c random_seed = 91648253.000
7.59/3.81 c (0,0) c luby_restart = 1
7.59/3.81 c (0,0) c ccmin_mode = 2
7.59/3.81 c (0,0) c phase_saving = 2
7.59/3.81 c (0,0) c rnd_pol = 0
7.59/3.81 c (0,0) c rnd_init_act = 0
7.59/3.81 c (0,0) c garbage_frac = 0.200
7.59/3.81 c (0,0) c restart_first = 1000
7.59/3.81 c (0,0) c restart_inc = 2.000
7.59/3.81 c (0,0) c MODEL
7.59/3.81 c (0,0) c partial_model = 0
7.59/3.81 c (0,0) c PROPAGATION
7.59/3.81 c (0,0) c bin_propagation = 1
7.59/3.81 c (0,0) c SIMPLIFICATION
7.59/3.81 c (0,0) c lrn_min_size = 100
7.59/3.81 c (0,0) c lazy_simp = 1
7.59/3.81 c (0,0) c lazy_interval = 10
7.59/3.81 c (0,0) c lazy_fld_probing = 1
7.59/3.81 c (0,0) c lazy_pol_probing = 1
7.59/3.81 c (0,0) c lazy_nec_probing = 1
7.59/3.81 c (0,0) c lazy_eqv_probing = 1
7.59/3.81 c (0,0) c lazy_cla_probing = 1
7.59/3.81 c (0,0) c lazy_lrn_min = 2
7.59/3.81 c (0,0) c lazy_uw_lit_elim = 1
7.59/3.81 c (0,0) c lazy_pr_lit_elim = 0
7.59/3.81 c (0,0) c lazy_bin_add = 3
7.59/3.81 c (0,0) c probed_lit_chain = 1
7.59/3.81 c (0,0) c pr_min_lits = 0.00020
7.59/3.81 c (0,0) c pr_min_starts = 500
7.59/3.81 c (0,0) c rw_min_lits = 0.010
7.59/3.81 c (0,0) c rw_min_starts = 500
7.59/3.81 c (0,0) c rand_attach = 0
7.59/3.81 c (0,0) c dec_elim = 1
7.59/3.81 c (0,0) c dec_elim_lim = 25
7.59/3.81 c (0,0) c dec_elim_len = -1
7.59/3.81 c (0,0) c amo = 0
7.59/3.81 c (0,0) c amo_grp = 1
7.59/3.81 c (0,0) c amo_max_bins = 1000000
7.59/3.81 c (0,0) c amo_starts = 50
7.59/3.81 c (0,0) c mace_cmd = mace
7.59/3.81 c (0,0) c DECISION
7.59/3.81 c (0,0) c rand_rebuild = 0
7.59/3.81 c (0,0) c rand_rebuild_confs = 10000
7.59/3.81 c (0,0) c inc_var_decay = 1
7.59/3.81 c (0,0) c inc_var_decay_period = 100000
7.59/3.81 c (0,0) c inc_var_decay_init = 0.600
7.59/3.81 c (0,0) c var_decay_mode = 0
7.59/3.81 c (0,0) c var_decay_gain = 0
7.59/3.81 c (0,0) c sloped_var_decay = 1
7.59/3.81 c (0,0) c max_var_decay = 0.990
7.59/3.81 c (0,0) c min_var_decay = 0.950
7.59/3.81 c (0,0) c min_var_decay_vars = 10000
7.59/3.81 c (0,0) c max_var_decay_vars = 500
7.59/3.81 c (0,0) c uip_bumping = 1
7.59/3.81 c (0,0) c lbd_act_bumping = 1
7.59/3.81 c (0,0) c rand_tiebreak = 0
7.59/3.81 c (0,0) c simp_rebuild = 1
7.59/3.81 c (0,0) c RESTART
7.59/3.81 c (0,0) c restart_strategy = 2
7.59/3.81 c (0,0) c restart_blocking = 0
7.59/3.81 c (0,0) c agility_decay = 0.99990
7.59/3.81 c (0,0) c lbd_restart_rate = 0.800
7.59/3.81 c (0,0) c dec_restart_rate = 0.950
7.59/3.81 c (0,0) c blk_restart_rate = 0.700
7.59/3.81 c (0,0) c lbd_queue_size = 50
7.59/3.81 c (0,0) c dec_queue_size = 50
7.59/3.81 c (0,0) c trl_queue_size = 5000
7.59/3.81 c (0,0) c blk_restart_weight = 1.000
7.59/3.81 c (0,0) c inc_rst_rate = 0
7.59/3.81 c (0,0) c inc_rst_rate_period = 500000
7.59/3.81 c (0,0) c inc_lbd_rst_rate_init = 0.600
7.59/3.81 c (0,0) c inc_dec_rst_rate_init = 0.750
7.59/3.81 c (0,0) c REDUCTION
7.59/3.81 c (0,0) c closed_lbd = 0
7.59/3.81 c (0,0) c closed_lbd_rate = 0.500
7.59/3.81 c (0,0) c rm_simulate = 0
7.59/3.81 c (0,0) c rdb_eval = 2
7.59/3.81 c (0,0) c rdb_call = 3
7.59/3.81 c (0,0) c rdb_ub = 0.500
7.59/3.81 c (0,0) c core_lbd_cvr = 0.800
7.59/3.81 c (0,0) c supp_lbd_cvr = 0.990
7.59/3.82 c (0,0) c core_lbd_lb = 2
7.59/3.82 c (0,0) c supp_lbd_lb = 2
7.59/3.82 c (0,0) c core_lbd_prd = 7
7.59/3.82 c (0,0) c supp_lbd_prd = 1
7.59/3.82 c (0,0) c othr_lbd_prd = 0
7.59/3.82 c (0,0) c inc_lrn_limit = 1000
7.59/3.82 c (0,0) c frozen_lbd = 30
7.59/3.82 c (0,0) c simp_min_starts = 100
7.59/3.82 c (0,0) c rm_low_act_learnts = 1
7.59/3.82 c (0,0) c lv0_reduce_db = 0
7.59/3.82 c (0,0) c reduce_db_base = 20000
7.59/3.82 c (0,0) c reduce_db_inc = 1000
7.59/3.82 c (0,0) c HARD
7.59/3.82 c (0,0) c inst_check = 200000
7.59/3.82 c (0,0) c small_block = 1.750
7.59/3.82 c (0,0) c slow_restart_speed = 400.000
7.59/3.82 c (0,0) c slow_restart_strategy = 3
7.59/3.82 c (0,0) c slow_lbd_restart_rate = 0.700
7.59/3.82 c (0,0) c slow_dec_restart_rate = 1.000
7.59/3.82 c (0,0) c slow_lbd_queue_size = 50
7.59/3.82 c (0,0) c slow_var_decay = 0.950
7.59/3.82 c (0,0) c slow_glue_threshold = 2
7.59/3.82 c (0,0) c slow_phase_saving = 2
7.59/3.82 c (0,0) c fast_restart_speed = 125.000
7.59/3.82 c (0,0) c fast_restart_strategy = 1
7.59/3.82 c (0,0) c fast_lbd_restart_rate = 0.800
7.59/3.82 c (0,0) c fast_dec_restart_rate = 0.950
7.59/3.82 c (0,0) c fast_lbd_queue_size = 50
7.59/3.82 c (0,0) c fast_var_decay = 1.000
7.59/3.82 c (0,0) c fast_glue_threshold = 2
7.59/3.82 c (0,0) c fast_phase_saving = 2
7.59/3.82 c (0,0) c STATS
7.59/3.82 c (0,0) c stats_conf_size = 10000
7.59/3.82 c (0,0) c max_stats_size = 30
7.59/3.82 c (0,0) c SOLVER
7.59/3.82 c (0,0) c minisat = 0
7.59/3.86 c (0,0) c Problem: 5802 variables, 202516 clauses, parsing 0.05 s
9.11/4.21 c (0,0) c reduced to 4812 variables, 201526 clauses (grow = 0)
9.11/4.22 c (0,0) c exclude 39 (0.8%) variables from decision variables (last cost 2)
9.11/4.23 c (0,0) c Simplification: 1029 vars, 990 clauses are eliminated using 0.36 s
9.11/4.23 c (0,0) c
9.11/4.23 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
9.11/4.23 c (0,0) c
9.11/4.23 c (0,0) c 0 0 0 4773 201526 0 -nan -nan -nan -nan%
9.11/4.25 c (0,0) c 0 1 100 4773 201526 100 18.8 10.3 42.6 34.5%
9.11/4.27 c (0,0) c 0 1 220 4773 201526 220 20.6 9.8 41.2 39.8%
9.11/4.27 c (0,0) c 0 1 364 4773 201526 364 19.6 9.7 42.7 40.5%
9.11/4.29 c (0,0) c 0 1 536 4773 201526 536 19.2 9.7 42.8 41.0%
9.22/4.31 c (0,0) c 0 2 743 4773 201526 743 20.0 10.0 42.2 41.5%
9.22/4.36 c (0,0) c 0 7 991 4773 201526 991 21.8 11.5 41.2 44.9%
9.31/4.41 c (0,0) c 0 11 1289 4773 201526 1289 24.1 12.4 39.7 46.3%
9.31/4.46 c (0,0) c 0 11 1647 4773 201526 1647 26.1 12.5 39.4 50.0%
9.41/4.54 c (1,0) c 0 18 2076 4773 201526 2076 26.9 13.5 38.3 50.2%
9.51/4.63 c (1,0) c 0 23 2591 4773 201526 2591 27.3 14.0 37.7 49.6%
9.61/4.73 c (1,0) c 0 24 3210 4773 201526 3210 27.5 14.1 36.9 49.5%
9.71/4.86 c (1,0) c 1 27 3953 4774 201526 3953 28.0 14.3 38.9 50.2%
9.82/5.00 c (1,0) c 1 28 4844 4774 201526 4844 28.5 14.3 38.5 50.7%
9.94/5.10 c (1,0) c 1 31 5449 4786 201526 5449 29.6 14.2 38.3 52.0%
9.94/5.10 c (1,0) c
9.94/5.10 c (1,0) c
9.94/5.10 c (1,0) c variables : 4786 (init 5802, after simp 4773, 26 non-decs, 60 csp)
9.94/5.10 c (1,0) c clauses : 201526 (init 202516, after simp 201526)
9.94/5.10 c (1,0) c restarts : 30 (175.77 confs/res, 50~820 confs, 0 blks, 0 last)
9.94/5.10 c (1,0) c conflicts : 5449 (4283 /sec, 55.59% dconfs, 0.00% supp, trail 82.80w x 38.32h, jmp 1.63h)
9.94/5.10 c (1,0) c decisions : 9996 (0.6200 vdcy, 7858 /sec, 0.00% bin, rs 0.000 s)
9.94/5.10 c (1,0) c propagations : 2720520 (2138555 /sec, 272.16 lits/dec, 2.85% o.a.)
9.94/5.10 c (1,0) c conflict literals : 187361 (13.67% deleted; 0.37% by bin min, 0.001 s)
9.94/5.10 c (1,0) c len : 29.559 (29.56 for all, max 292, used 255)
9.94/5.10 c (1,0) c lbd : 14.161 (15.21 (14.16) for all, max 42, used 38, 6.421 stdev, 1.943 blk)
9.94/5.10 c (1,0) c amo : 0 (0 max, -nan avg, 0.000 s)
9.94/5.10 c (1,0) c simp dbs : 1 (0.000 s)
9.94/5.10 c (1,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
9.94/5.10 c (1,0) c learnts : 5449 (0 learnts removed, 0.00%)
9.94/5.10 c (1,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
9.94/5.10 c (1,0) c assigned lits : 0 (0/0 probed, 0 remains)
9.94/5.10 c (1,0) c premise updates : 21979 (2.30 /lit)
9.94/5.10 c (1,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
9.94/5.10 c (1,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
9.94/5.10 c (1,0) c lazy added bins : 0 (0 prop + 0 conf, 0.001s)
9.94/5.10 c (1,0) c unwatched lit elim: 83 (0.00+0.04%, 0+83 of 651759+187361)
9.94/5.10 c (1,0) c classified type : undef
9.94/5.10 c (1,0) c progress : 0.000 %
9.94/5.10 c (1,0) c
9.94/5.10 c (1,0) c [Statistics]
9.94/5.10 c (1,0) c learnts len learnts lbd lit blk size eq vars size
9.94/5.10 c (1,0) c tot 5449 5449 82893 0
9.94/5.10 c (1,0) c avg 29.559 14.161 1.943 -nan
9.94/5.10 c (1,0) c 1 0 ( 0.0%) 8 ( 0.1%) 60158 (72.6%) 0 (-nan%)
9.94/5.10 c (1,0) c 2 2 ( 0.0%) 214 ( 3.9%) 9483 (11.4%) 0 (-nan%)
9.94/5.10 c (1,0) c 3 138 ( 2.5%) 241 ( 4.4%) 4618 ( 5.6%) 0 (-nan%)
9.94/5.10 c (1,0) c 4 37 ( 0.7%) 277 ( 5.1%) 2584 ( 3.1%) 0 (-nan%)
9.94/5.10 c (1,0) c 5 126 ( 2.3%) 245 ( 4.5%) 1473 ( 1.8%) 0 (-nan%)
9.94/5.10 c (1,0) c 6 178 ( 3.3%) 270 ( 5.0%) 1038 ( 1.3%) 0 (-nan%)
9.94/5.10 c (1,0) c 7 137 ( 2.5%) 234 ( 4.3%) 698 ( 0.8%) 0 (-nan%)
9.94/5.10 c (1,0) c 8 149 ( 2.7%) 209 ( 3.8%) 525 ( 0.6%) 0 (-nan%)
9.94/5.10 c (1,0) c 9 140 ( 2.6%) 202 ( 3.7%) 392 ( 0.5%) 0 (-nan%)
9.94/5.10 c (1,0) c 10 136 ( 2.5%) 191 ( 3.5%) 291 ( 0.4%) 0 (-nan%)
9.94/5.10 c (1,0) c 11 117 ( 2.1%) 199 ( 3.7%) 223 ( 0.3%) 0 (-nan%)
9.94/5.10 c (1,0) c 12 128 ( 2.3%) 206 ( 3.8%) 212 ( 0.3%) 0 (-nan%)
9.94/5.10 c (1,0) c 13 106 ( 1.9%) 196 ( 3.6%) 151 ( 0.2%) 0 (-nan%)
9.94/5.10 c (1,0) c 14 116 ( 2.1%) 192 ( 3.5%) 142 ( 0.2%) 0 (-nan%)
9.94/5.10 c (1,0) c 15 113 ( 2.1%) 195 ( 3.6%) 123 ( 0.1%) 0 (-nan%)
9.94/5.10 c (1,0) c 16 95 ( 1.7%) 190 ( 3.5%) 111 ( 0.1%) 0 (-nan%)
9.94/5.10 c (1,0) c 17 97 ( 1.8%) 199 ( 3.7%) 91 ( 0.1%) 0 (-nan%)
9.94/5.10 c (1,0) c 18 119 ( 2.2%) 203 ( 3.7%) 72 ( 0.1%) 0 (-nan%)
9.94/5.10 c (1,0) c 19 88 ( 1.6%) 190 ( 3.5%) 64 ( 0.1%) 0 (-nan%)
9.94/5.10 c (1,0) c 20 93 ( 1.7%) 178 ( 3.3%) 68 ( 0.1%) 0 (-nan%)
9.94/5.10 c (1,0) c 21 127 ( 2.3%) 191 ( 3.5%) 47 ( 0.1%) 0 (-nan%)
9.94/5.10 c (1,0) c 22 98 ( 1.8%) 225 ( 4.1%) 44 ( 0.1%) 0 (-nan%)
9.94/5.10 c (1,0) c 23 97 ( 1.8%) 192 ( 3.5%) 33 ( 0.0%) 0 (-nan%)
9.94/5.10 c (1,0) c 24 90 ( 1.7%) 166 ( 3.0%) 35 ( 0.0%) 0 (-nan%)
9.94/5.10 c (1,0) c 25 103 ( 1.9%) 147 ( 2.7%) 28 ( 0.0%) 0 (-nan%)
9.94/5.10 c (1,0) c 26 113 ( 2.1%) 137 ( 2.5%) 18 ( 0.0%) 0 (-nan%)
9.94/5.10 c (1,0) c 27 120 ( 2.2%) 85 ( 1.6%) 19 ( 0.0%) 0 (-nan%)
9.94/5.10 c (1,0) c 28 108 ( 2.0%) 81 ( 1.5%) 16 ( 0.0%) 0 (-nan%)
9.94/5.10 c (1,0) c 29 99 ( 1.8%) 64 ( 1.2%) 15 ( 0.0%) 0 (-nan%)
9.94/5.10 c (1,0) c 30 2379 (43.7%) 122 ( 2.2%) 121 ( 0.1%) 0 (-nan%)
9.94/5.10 c (1,0) c
9.94/5.10 c (1,0) c [LBD Statistics]
9.94/5.10 c (1,0) c LBD used lbd used clause lbd unused clause lbd
9.94/5.10 c (1,0) c tot 8224 1914 3535
9.94/5.10 c (1,0) c avg 6.894 10.827 15.965
9.94/5.10 c (1,0) c 1 87 ( 1.1/ 1.1%) 8 ( 0.4/ 0.4%) 0 ( 0.0/ 0.0%)
9.94/5.10 c (1,0) c 2 2352 (28.6/29.7%) 167 ( 8.7/ 9.1%) 47 ( 1.3/ 1.3%)
9.94/5.10 c (1,0) c 3 1201 (14.6/44.3%) 148 ( 7.7/16.9%) 93 ( 2.6/ 4.0%)
9.94/5.10 c (1,0) c 4 906 (11.0/55.3%) 156 ( 8.2/25.0%) 121 ( 3.4/ 7.4%)
9.94/5.10 c (1,0) c 5 485 ( 5.9/61.2%) 102 ( 5.3/30.4%) 143 ( 4.0/11.4%)
9.94/5.10 c (1,0) c 6 368 ( 4.5/65.6%) 138 ( 7.2/37.6%) 132 ( 3.7/15.2%)
9.94/5.10 c (1,0) c 7 316 ( 3.8/69.5%) 114 ( 6.0/43.5%) 120 ( 3.4/18.6%)
9.94/5.10 c (1,0) c 8 262 ( 3.2/72.7%) 88 ( 4.6/48.1%) 121 ( 3.4/22.0%)
9.94/5.10 c (1,0) c 9 197 ( 2.4/75.1%) 78 ( 4.1/52.2%) 124 ( 3.5/25.5%)
9.94/5.10 c (1,0) c 10 185 ( 2.2/77.3%) 68 ( 3.6/55.7%) 123 ( 3.5/29.0%)
9.94/5.10 c (1,0) c 11 170 ( 2.1/79.4%) 75 ( 3.9/59.7%) 124 ( 3.5/32.5%)
9.94/5.10 c (1,0) c 12 197 ( 2.4/81.8%) 72 ( 3.8/63.4%) 134 ( 3.8/36.3%)
9.94/5.10 c (1,0) c 13 181 ( 2.2/84.0%) 65 ( 3.4/66.8%) 131 ( 3.7/40.0%)
9.94/5.10 c (1,0) c 14 211 ( 2.6/86.6%) 65 ( 3.4/70.2%) 127 ( 3.6/43.6%)
9.94/5.10 c (1,0) c 15 99 ( 1.2/87.8%) 58 ( 3.0/73.2%) 137 ( 3.9/47.4%)
9.94/5.10 c (1,0) c 16 133 ( 1.6/89.4%) 61 ( 3.2/76.4%) 129 ( 3.6/51.1%)
9.94/5.10 c (1,0) c 17 120 ( 1.5/90.8%) 63 ( 3.3/79.7%) 136 ( 3.8/54.9%)
9.94/5.10 c (1,0) c 18 129 ( 1.6/92.4%) 43 ( 2.2/82.0%) 160 ( 4.5/59.5%)
9.94/5.10 c (1,0) c 19 70 ( 0.9/93.3%) 51 ( 2.7/84.6%) 139 ( 3.9/63.4%)
9.94/5.10 c (1,0) c 20 85 ( 1.0/94.3%) 45 ( 2.4/87.0%) 133 ( 3.8/67.2%)
9.94/5.10 c (1,0) c 21 86 ( 1.0/95.3%) 43 ( 2.2/89.2%) 148 ( 4.2/71.3%)
9.94/5.10 c (1,0) c 22 68 ( 0.8/96.2%) 42 ( 2.2/91.4%) 183 ( 5.2/76.5%)
9.94/5.10 c (1,0) c 23 71 ( 0.9/97.0%) 31 ( 1.6/93.1%) 161 ( 4.6/81.1%)
9.94/5.10 c (1,0) c 24 46 ( 0.6/97.6%) 28 ( 1.5/94.5%) 138 ( 3.9/85.0%)
9.94/5.10 c (1,0) c 25 47 ( 0.6/98.2%) 28 ( 1.5/96.0%) 119 ( 3.4/88.3%)
9.94/5.10 c (1,0) c 26 40 ( 0.5/98.6%) 24 ( 1.3/97.2%) 113 ( 3.2/91.5%)
9.94/5.10 c (1,0) c 27 22 ( 0.3/98.9%) 12 ( 0.6/97.9%) 73 ( 2.1/93.6%)
9.94/5.10 c (1,0) c 28 24 ( 0.3/99.2%) 14 ( 0.7/98.6%) 67 ( 1.9/95.5%)
9.94/5.10 c (1,0) c 29 21 ( 0.3/99.5%) 10 ( 0.5/99.1%) 54 ( 1.5/97.0%)
9.94/5.10 c (1,0) c 30 14 ( 0.2/99.6%) 5 ( 0.3/99.4%) 35 ( 1.0/98.0%)
9.94/5.10 c (1,0) c 31 10 ( 0.1/99.7%) 4 ( 0.2/99.6%) 25 ( 0.7/98.7%)
9.94/5.10 c (1,0) c 32 8 ( 0.1/99.8%) 3 ( 0.2/99.7%) 10 ( 0.3/99.0%)
9.94/5.10 c (1,0) c 33 3 ( 0.0/99.9%) 1 ( 0.1/99.8%) 8 ( 0.2/99.2%)
9.94/5.10 c (1,0) c 34 1 ( 0.0/99.9%) 1 ( 0.1/99.8%) 8 ( 0.2/99.5%)
9.94/5.10 c (1,0) c 35 5 ( 0.1/100.0%) 0 ( 0.0/99.8%) 6 ( 0.2/99.6%)
9.94/5.10 c (1,0) c 36 3 ( 0.0/100.0%) 3 ( 0.2/100.0%) 4 ( 0.1/99.7%)
9.94/5.10 c (1,0) c 37 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 4 ( 0.1/99.9%)
9.94/5.10 c (1,0) c 38 1 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.1/99.9%)
9.94/5.10 c (1,0) c 39 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/99.9%)
9.94/5.10 c (1,0) c 40 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
9.94/5.10 c (1,0) c 41 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
9.94/5.10 c (1,0) c 42 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
9.94/5.10 c (1,0) c
9.94/5.10 c (1,0) c Memory used : 43.00 MB
9.94/5.10 c (1,0) c CPU time : 1.272 s
9.94/5.10 c (1,0) c Real time : 1.297 s
9.94/5.10 c (1,0) c
9.94/5.10 c (1,0) s SATISFIABLE
10.05/5.13 c (1,0) SatSolver.solve End
10.05/5.13 c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
10.05/5.13 c (1,0) Show results Begin
10.25/5.22 c (1,0) ce[0][0][1] = 7
10.25/5.22 c (1,0) ce[0][0][2] = 23
10.25/5.22 c (1,0) ce[0][1][2] = 16
10.25/5.22 c (1,0) ce[1][0][1] = 6
10.25/5.22 c (1,0) ce[1][0][2] = 31
10.25/5.22 c (1,0) ce[1][1][2] = 25
10.25/5.22 c (1,0) ce[2][0][1] = 24
10.25/5.22 c (1,0) ce[2][0][2] = 10
10.25/5.22 c (1,0) ce[2][1][2] = 34
10.25/5.22 c (1,0) ce[3][0][1] = 17
10.25/5.22 c (1,0) ce[3][0][2] = 2
10.25/5.22 c (1,0) ce[3][1][2] = 15
10.25/5.22 c (1,0) ce[4][0][1] = 35
10.25/5.22 c (1,0) ce[4][0][2] = 9
10.25/5.22 c (1,0) ce[4][1][2] = 26
10.25/5.22 c (1,0) ce[5][0][1] = 38
10.25/5.22 c (1,0) ce[5][0][2] = 1
10.25/5.22 c (1,0) ce[5][1][2] = 39
10.25/5.22 c (1,0) ce[6][0][1] = 8
10.25/5.22 c (1,0) ce[6][0][2] = 13
10.25/5.22 c (1,0) ce[6][1][2] = 5
10.25/5.22 c (1,0) cie[0][0] = 33
10.25/5.22 c (1,0) cie[0][1] = 20
10.25/5.22 c (1,0) cie[0][2] = 21
10.25/5.22 c (1,0) cie[1][0] = 11
10.25/5.22 c (1,0) cie[1][1] = 29
10.25/5.22 c (1,0) cie[1][2] = 30
10.25/5.22 c (1,0) cie[2][0] = 19
10.25/5.22 c (1,0) cie[2][1] = 22
10.25/5.22 c (1,0) cie[2][2] = 27
10.25/5.22 c (1,0) cie[3][0] = 4
10.25/5.22 c (1,0) cie[3][1] = 14
10.25/5.22 c (1,0) cie[3][2] = 3
10.25/5.22 c (1,0) cie[4][0] = 36
10.25/5.22 c (1,0) cie[4][1] = 37
10.25/5.22 c (1,0) cie[4][2] = 28
10.25/5.22 c (1,0) cie[5][0] = 18
10.25/5.22 c (1,0) cie[5][1] = 12
10.25/5.22 c (1,0) cie[5][2] = 32
10.25/5.22 c (1,0) cn[0][0] = 36
10.25/5.22 c (1,0) cn[0][1] = 29
10.25/5.22 c (1,0) cn[0][2] = 13
10.25/5.22 c (1,0) cn[1][0] = 3
10.25/5.22 c (1,0) cn[1][1] = 9
10.25/5.22 c (1,0) cn[1][2] = 34
10.25/5.22 c (1,0) cn[2][0] = 14
10.25/5.22 c (1,0) cn[2][1] = 38
10.25/5.22 c (1,0) cn[2][2] = 4
10.25/5.22 c (1,0) cn[3][0] = 33
10.25/5.22 c (1,0) cn[3][1] = 16
10.25/5.22 c (1,0) cn[3][2] = 31
10.25/5.23 c (1,0) cn[4][0] = 37
10.25/5.23 c (1,0) cn[4][1] = 2
10.25/5.23 c (1,0) cn[4][2] = 28
10.25/5.23 c (1,0) cn[5][0] = 1
10.25/5.23 c (1,0) cn[5][1] = 39
10.25/5.23 c (1,0) cn[5][2] = 0
10.25/5.23 c (1,0) cn[6][0] = 19
10.25/5.23 c (1,0) cn[6][1] = 27
10.25/5.23 c (1,0) cn[6][2] = 32
10.25/5.23 s SATISFIABLE
10.25/5.23 v <instantiation>
10.25/5.23 v <list>cn[0][0] cn[0][1] cn[0][2] cn[1][0] cn[1][1] cn[1][2] cn[2][0] cn[2][1] cn[2][2] cn[3][0] cn[3][1] cn[3][2] cn[4][0] cn[4][1] cn[4][2] cn[5][0] cn[5][1] cn[5][2] cn[6][0] cn[6][1] cn[6][2] ce[0][0][1] ce[0][0][2] ce[0][1][2] ce[1][0][1] ce[1][0][2] ce[1][1][2] ce[2][0][1] ce[2][0][2] ce[2][1][2] ce[3][0][1] ce[3][0][2] ce[3][1][2] ce[4][0][1] ce[4][0][2] ce[4][1][2] ce[5][0][1] ce[5][0][2] ce[5][1][2] ce[6][0][1] ce[6][0][2] ce[6][1][2] cie[0][0] cie[0][1] cie[0][2] cie[1][0] cie[1][1] cie[1][2] cie[2][0] cie[2][1] cie[2][2] cie[3][0] cie[3][1] cie[3][2] cie[4][0] cie[4][1] cie[4][2] cie[5][0] cie[5][1] cie[5][2]</list>
10.25/5.23 v <values>36 29 13 3 9 34 14 38 4 33 16 31 37 2 28 1 39 0 19 27 32 7 23 16 6 31 25 24 10 34 17 2 15 35 9 26 38 1 39 8 13 5 33 20 21 11 29 30 19 22 27 4 14 3 36 37 28 18 12 32</values>
10.25/5.23 v </instantiation>
10.25/5.23 c (1,0) Show results End
10.25/5.23 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
10.25/5.23 c (1,0) 1,1,STOP-AFTER(ALL)
10.25/5.23 c END-Prog: Thu Sep 12 13:03: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 (5420 MiB free)
memory of node 1: 16384 MiB (9299 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387596-1568286233/watcher-4387596-1568286233 -o /tmp/evaluation-result-4387596-1568286233/solver-4387596-1568286233 -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-4387596-1568286233.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
solver pid=10048, runsolver pid=10045
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.94 1.78 1.86 5/235 10065
/proc/meminfo: memFree=15013176/32770624 swapFree=66957008/67108860
[pid=10048] ppid=10045 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10048/stat : 10048 (scop.sh) S 10045 10048 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404537181 115843072 349 33554432000 4194304 5098028 140721241599568 140721241596824 140411129418364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19320832 140721241604904 140721241605232 140721241605232 140721241608141 0
/proc/10048/statm: 28282 349 296 221 0 87 0
[pid=10051] ppid=10048 vsize=15012696 memory=72936 CPUtime=0.11 cores=1,3,5,7
/proc/10051/stat : 10051 (java) S 10048 10048 8853 0 -1 1077944320 6978 0 0 0 9 2 0 0 20 0 15 0 404537182 15373000704 18234 33554432000 4194304 4196468 140733265523728 140733265506272 140605541957367 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
/proc/10051/statm: 3753174 18234 2935 1 0 3715579 0
[pid=10051/tid=10052] ppid=10048 vsize=15012696 memory=-6365130832255172551 CPUtime=0.09 cores=1,3,5,7
/proc/10051/task/10052/stat : 10052 (java) R 10048 10048 8853 0 -1 4202560 4806 0 0 0 7 2 0 0 20 0 15 0 404537182 15373000704 18234 33554432000 4194304 4196468 140733265523728 140605513765440 140605526037854 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10053] ppid=10048 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10053/stat : 10053 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 18234 33554432000 4194304 4196468 140733265523728 140605546199824 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10054] ppid=10048 vsize=15012696 memory=140461430388352 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10054/stat : 10054 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 18234 33554432000 4194304 4196468 140733265523728 140605360356240 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10055] ppid=10048 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10055/stat : 10055 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 18234 33554432000 4194304 4196468 140733265523728 140605359303696 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10056] ppid=10048 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10056/stat : 10056 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 18234 33554432000 4194304 4196468 140733265523728 140605358251152 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10057] ppid=10048 vsize=15012696 memory=140461430388352 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10057/stat : 10057 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404537185 15373000704 18234 33554432000 4194304 4196468 140733265523728 140604881233904 140605541968514 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10058] ppid=10048 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10058/stat : 10058 (java) S 10048 10048 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404537185 15373000704 18234 33554432000 4194304 4196468 140733265523728 140604143035296 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10059] ppid=10048 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10059/stat : 10059 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537186 15373000704 18234 33554432000 4194304 4196468 140733265523728 140603874599920 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10060] ppid=10048 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10060/stat : 10060 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404537188 15373000704 18234 33554432000 4194304 4196468 140733265523728 140603500091600 140605541975963 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10061] ppid=10048 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10061/stat : 10061 (java) S 10048 10048 8853 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 404537188 15373000704 18234 33554432000 4194304 4196468 140733265523728 140604880181744 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10062] ppid=10048 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10062/stat : 10062 (java) S 10048 10048 8853 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 404537188 15373000704 18234 33554432000 4194304 4196468 140733265523728 140604879129200 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10063] ppid=10048 vsize=15012696 memory=140461430388352 CPUtime=0.01 cores=1,3,5,7
/proc/10051/task/10063/stat : 10063 (java) S 10048 10048 8853 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 15 0 404537188 15373000704 18234 33554432000 4194304 4196468 140733265523728 140604878076656 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10064] ppid=10048 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10064/stat : 10064 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404537188 15373000704 18234 33554432000 4194304 4196468 140733265523728 140603002186848 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10065] ppid=10048 vsize=15012696 memory=140461430388352 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10065/stat : 10065 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537189 15373000704 18234 33554432000 4194304 4196468 140733265523728 140604877023536 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74332 KiB
[startup+0.211068 s]*
/proc/loadavg: 1.94 1.78 1.86 4/235 10065
/proc/meminfo: memFree=14995192/32770624 swapFree=66957008/67108860
[pid=10048] ppid=10045 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10048/stat : 10048 (scop.sh) S 10045 10048 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404537181 115843072 349 33554432000 4194304 5098028 140721241599568 140721241596824 140411129418364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19320832 140721241604904 140721241605232 140721241605232 140721241608141 0
/proc/10048/statm: 28282 349 296 221 0 87 0
[pid=10051] ppid=10048 vsize=15012696 memory=88308 CPUtime=0.25 cores=1,3,5,7
/proc/10051/stat : 10051 (java) S 10048 10048 8853 0 -1 1077944320 12123 0 0 0 21 4 0 0 20 0 15 0 404537182 15373000704 22077 33554432000 4194304 4196468 140733265523728 140733265506272 140605541957367 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
/proc/10051/statm: 3753174 22077 2943 1 0 3715579 0
[pid=10051/tid=10052] ppid=10048 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/10051/task/10052/stat : 10052 (java) R 10048 10048 8853 0 -1 4202560 9886 0 0 0 17 3 0 0 20 0 15 0 404537182 15373000704 22077 33554432000 4194304 4196468 140733265523728 140605513773424 140605526000997 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10053] ppid=10048 vsize=15012696 memory=364 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10053/stat : 10053 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 22077 33554432000 4194304 4196468 140733265523728 140605546199824 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10054] ppid=10048 vsize=15012696 memory=140461430399457 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10054/stat : 10054 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 22077 33554432000 4194304 4196468 140733265523728 140605360356240 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10055] ppid=10048 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10055/stat : 10055 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 22077 33554432000 4194304 4196468 140733265523728 140605359303696 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10056] ppid=10048 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10056/stat : 10056 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 22077 33554432000 4194304 4196468 140733265523728 140605358251152 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10057] ppid=10048 vsize=15012696 memory=140461430388352 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10057/stat : 10057 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404537185 15373000704 22077 33554432000 4194304 4196468 140733265523728 140604881233904 140605541968514 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10058] ppid=10048 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10058/stat : 10058 (java) S 10048 10048 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404537185 15373000704 22077 33554432000 4194304 4196468 140733265523728 140604143035296 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10059] ppid=10048 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10059/stat : 10059 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537186 15373000704 22077 33554432000 4194304 4196468 140733265523728 140603874599920 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10060] ppid=10048 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10060/stat : 10060 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404537188 15373000704 22077 33554432000 4194304 4196468 140733265523728 140603500091600 140605541975963 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10061] ppid=10048 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10061/stat : 10061 (java) R 10048 10048 8853 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 15 0 404537188 15373000704 22077 33554432000 4194304 4196468 140733265523728 140604880181744 140605541968514 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10062] ppid=10048 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10062/stat : 10062 (java) S 10048 10048 8853 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 404537188 15373000704 22077 33554432000 4194304 4196468 140733265523728 140604879129200 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10063] ppid=10048 vsize=15012696 memory=140461430388352 CPUtime=0.03 cores=1,3,5,7
/proc/10051/task/10063/stat : 10063 (java) S 10048 10048 8853 0 -1 1077944384 435 0 0 0 3 0 0 0 20 0 15 0 404537188 15373000704 22077 33554432000 4194304 4196468 140733265523728 140604878076656 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10064] ppid=10048 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10064/stat : 10064 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404537188 15373000704 22077 33554432000 4194304 4196468 140733265523728 140603002186848 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10065] ppid=10048 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10065/stat : 10065 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537189 15373000704 22077 33554432000 4194304 4196468 140733265523728 140604877023536 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89704 KiB
[startup+0.310775 s]*
/proc/loadavg: 1.94 1.78 1.86 3/235 10065
/proc/meminfo: memFree=14989872/32770624 swapFree=66957008/67108860
[pid=10048] ppid=10045 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10048/stat : 10048 (scop.sh) S 10045 10048 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404537181 115843072 349 33554432000 4194304 5098028 140721241599568 140721241596824 140411129418364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19320832 140721241604904 140721241605232 140721241605232 140721241608141 0
/proc/10048/statm: 28282 349 296 221 0 87 0
[pid=10051] ppid=10048 vsize=15012696 memory=92276 CPUtime=0.43 cores=1,3,5,7
/proc/10051/stat : 10051 (java) S 10048 10048 8853 0 -1 1077944320 13058 0 0 0 39 4 0 0 20 0 15 0 404537182 15373000704 23069 33554432000 4194304 4196468 140733265523728 140733265506272 140605541957367 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
/proc/10051/statm: 3753174 23069 3070 1 0 3715579 0
[pid=10051/tid=10052] ppid=10048 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10051/task/10052/stat : 10052 (java) R 10048 10048 8853 0 -1 4202560 10624 0 0 0 26 3 0 0 20 0 15 0 404537182 15373000704 23069 33554432000 4194304 4196468 140733265523728 140605513771008 140605527122920 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10053] ppid=10048 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10053/stat : 10053 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 23069 33554432000 4194304 4196468 140733265523728 140605546199824 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10054] ppid=10048 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10054/stat : 10054 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 23069 33554432000 4194304 4196468 140733265523728 140605360356240 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10055] ppid=10048 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10055/stat : 10055 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 23069 33554432000 4194304 4196468 140733265523728 140605359303696 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10056] ppid=10048 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10056/stat : 10056 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15373000704 23069 33554432000 4194304 4196468 140733265523728 140605358251152 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10057] ppid=10048 vsize=15012696 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10057/stat : 10057 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404537185 15373000704 23069 33554432000 4194304 4196468 140733265523728 140604881233904 140605541968514 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10058] ppid=10048 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10058/stat : 10058 (java) S 10048 10048 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404537185 15373000704 23069 33554432000 4194304 4196468 140733265523728 140604143035296 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10059] ppid=10048 vsize=15012696 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10059/stat : 10059 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537186 15373000704 23069 33554432000 4194304 4196468 140733265523728 140603874599920 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10060] ppid=10048 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10060/stat : 10060 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404537188 15373000704 23069 33554432000 4194304 4196468 140733265523728 140603500091600 140605541975963 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10061] ppid=10048 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10051/task/10061/stat : 10061 (java) S 10048 10048 8853 0 -1 1077944384 428 0 0 0 3 0 0 0 20 0 15 0 404537188 15373000704 23069 33554432000 4194304 4196468 140733265523728 140604880181744 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10062] ppid=10048 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10051/task/10062/stat : 10062 (java) S 10048 10048 8853 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 404537188 15373000704 23069 33554432000 4194304 4196468 140733265523728 140604879129200 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10063] ppid=10048 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10051/task/10063/stat : 10063 (java) S 10048 10048 8853 0 -1 1077944384 476 0 0 0 7 0 0 0 20 0 15 0 404537188 15373000704 23069 33554432000 4194304 4196468 140733265523728 140604878076656 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10064] ppid=10048 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10064/stat : 10064 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404537188 15373000704 23069 33554432000 4194304 4196468 140733265523728 140603002186848 140605541967573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10065] ppid=10048 vsize=15012696 memory=3834025853326472240 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10065/stat : 10065 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537189 15373000704 23069 33554432000 4194304 4196468 140733265523728 140604877023536 140605541968514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93672 KiB
[startup+0.711635 s]
/proc/loadavg: 1.94 1.78 1.86 3/235 10065
/proc/meminfo: memFree=14968528/32770624 swapFree=66957008/67108860
[pid=10048] ppid=10045 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10048/stat : 10048 (scop.sh) S 10045 10048 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404537181 115843072 349 33554432000 4194304 5098028 140721241599568 140721241596824 140411129418364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19320832 140721241604904 140721241605232 140721241605232 140721241608141 0
/proc/10048/statm: 28282 349 296 221 0 87 0
[pid=10051] ppid=10048 vsize=15021092 memory=130892 CPUtime=1.04 cores=1,3,5,7
/proc/10051/stat : 10051 (java) S 10048 10048 8853 0 -1 1077944320 20588 0 0 0 98 6 0 0 20 0 15 0 404537182 15381598208 32723 33554432000 4194304 4196468 140733265523728 140733265506272 140605541957367 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
/proc/10051/statm: 3755273 32723 3202 1 0 3716603 0
[pid=10051/tid=10052] ppid=10048 vsize=15021092 memory=-7082918048272507482 CPUtime=0.69 cores=1,3,5,7
/proc/10051/task/10052/stat : 10052 (java) R 10048 10048 8853 0 -1 4202560 17603 0 0 0 64 5 0 0 20 0 15 0 404537182 15381598208 32723 33554432000 4194304 4196468 140733265523728 140605513792424 140605032384033 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10053] ppid=10048 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10053/stat : 10053 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15381598208 32723 33554432000 4194304 4196468 140733265523728 140605546199824 140605541967573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10054] ppid=10048 vsize=15021092 memory=37212 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10054/stat : 10054 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15381598208 32723 33554432000 4194304 4196468 140733265523728 140605360356240 140605541967573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10055] ppid=10048 vsize=15021092 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10055/stat : 10055 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404537184 15381598208 32723 33554432000 4194304 4196468 140733265523728 140605359303696 140605541967573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10056] ppid=10048 vsize=15021092 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10056/stat : 10056 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537184 15381598208 32723 33554432000 4194304 4196468 140733265523728 140605358251152 140605541967573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10057] ppid=10048 vsize=15021092 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10057/stat : 10057 (java) S 10048 10048 8853 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 404537185 15381598208 32723 33554432000 4194304 4196468 140733265523728 140604881233904 140605541968514 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10058] ppid=10048 vsize=15021092 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10058/stat : 10058 (java) S 10048 10048 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404537185 15381598208 32723 33554432000 4194304 4196468 140733265523728 140604143035296 140605541967573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10059] ppid=10048 vsize=15021092 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10059/stat : 10059 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537186 15381598208 32723 33554432000 4194304 4196468 140733265523728 140603874599920 140605541967573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10060] ppid=10048 vsize=15021092 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10060/stat : 10060 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404537188 15381598208 32723 33554432000 4194304 4196468 140733265523728 140603500091600 140605541975963 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10061] ppid=10048 vsize=15021092 memory=11624 CPUtime=0.09 cores=1,3,5,7
/proc/10051/task/10061/stat : 10061 (java) S 10048 10048 8853 0 -1 1077944384 607 0 0 0 9 0 0 0 20 0 15 0 404537188 15381598208 32723 33554432000 4194304 4196468 140733265523728 140604880181744 140605541968514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10062] ppid=10048 vsize=15021092 memory=732 CPUtime=0.08 cores=1,3,5,7
/proc/10051/task/10062/stat : 10062 (java) S 10048 10048 8853 0 -1 1077944384 437 0 0 0 8 0 0 0 20 0 15 0 404537188 15381598208 32723 33554432000 4194304 4196468 140733265523728 140604879129200 140605541968514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10063] ppid=10048 vsize=15021092 memory=776 CPUtime=0.16 cores=1,3,5,7
/proc/10051/task/10063/stat : 10063 (java) S 10048 10048 8853 0 -1 1077944384 606 0 0 0 16 0 0 0 20 0 15 0 404537188 15381598208 32723 33554432000 4194304 4196468 140733265523728 140604878076656 140605541968514 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10064] ppid=10048 vsize=15021092 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10064/stat : 10064 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404537188 15381598208 32723 33554432000 4194304 4196468 140733265523728 140603002186848 140605541967573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
[pid=10051/tid=10065] ppid=10048 vsize=15021092 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/10051/task/10065/stat : 10065 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404537189 15381598208 32723 33554432000 4194304 4196468 140733265523728 140604877023536 140605541968514 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8359936 140733265531630 140733265532058 140733265532058 140733265534927 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 132288 KiB
[startup+1.50166 s]
/proc/loadavg: 1.94 1.78 1.86 4/235 10065
/proc/meminfo: memFree=14939720/32770624 swapFree=66957008/67108860
[pid=10048] ppid=10045 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10048/stat : 10048 (scop.sh) S 10045 10048 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404537181 115843072 349 33554432000 4194304 5098028 140721241599568 140721241596824 140411129418364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19320832 140721241604904 140721241605232 140721241605232 140721241608141 0
/proc/10048/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[startup+3.20065 s]
/proc/loadavg: 1.95 1.78 1.86 5/235 10065
/proc/meminfo: memFree=14231976/32770624 swapFree=66957008/67108860
[pid=10048] ppid=10045 vsize=113128 memory=1476 CPUtime=7.59 cores=1,3,5,7
/proc/10048/stat : 10048 (scop.sh) S 10045 10048 8853 0 -1 4202496 583 28892 0 0 0 0 736 23 20 0 1 0 404537181 115843072 369 33554432000 4194304 5098028 140721241599568 140721241596312 140411129418364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19320832 140721241604904 140721241605232 140721241605232 140721241608141 0
/proc/10048/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+4.00066 s]*
/proc/loadavg: 1.95 1.78 1.86 3/240 10086
/proc/meminfo: memFree=14941924/32770624 swapFree=66957008/67108860
[pid=10048] ppid=10045 vsize=113128 memory=1476 CPUtime=7.59 cores=1,3,5,7
/proc/10048/stat : 10048 (scop.sh) S 10045 10048 8853 0 -1 4202496 583 28892 0 0 0 0 736 23 20 0 1 0 404537181 115843072 369 33554432000 4194304 5098028 140721241599568 140721241596312 140411129418364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19320832 140721241604904 140721241605232 140721241605232 140721241608141 0
/proc/10048/statm: 28282 369 311 221 0 87 0
[pid=10066] ppid=10048 vsize=8068440 memory=117644 CPUtime=1.14 cores=1,3,5,7
/proc/10066/stat : 10066 (java) S 10048 10048 8853 0 -1 1077944320 19845 0 0 0 108 6 0 0 20 0 19 0 404537491 8262082560 29411 33554432000 4194304 4196468 140733308040464 140733308023008 140588887916279 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
/proc/10066/statm: 2017110 29411 3210 1 0 1978454 0
[pid=10081] ppid=10066 vsize=36844 memory=21464 CPUtime=0.19 cores=1,3,5,7
/proc/10081/stat : 10081 (glueminisat-sim) R 10066 10048 8853 0 -1 4202496 5383 0 0 0 19 0 0 0 20 0 1 0 404537562 37728256 5366 33554432000 4194304 4452875 140721381052512 140721381046888 4292540 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 21135360 140721381057375 140721381057575 140721381057575 140721381060525 0
/proc/10081/statm: 9211 5366 349 64 0 5415 0
[pid=10066/tid=10067] ppid=10048 vsize=8068440 memory=-7824251494390650731 CPUtime=0.74 cores=1,3,5,7
/proc/10066/task/10067/stat : 10067 (java) S 10048 10048 8853 0 -1 1077944384 16804 0 0 0 69 5 0 0 20 0 19 0 404537492 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588859756448 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10068] ppid=10048 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10068/stat : 10068 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404537493 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588892158864 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10069] ppid=10048 vsize=8068440 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10069/stat : 10069 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404537493 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588710247184 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10070] ppid=10048 vsize=8068440 memory=6944658624146216565 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10070/stat : 10070 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404537493 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588709194896 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10071] ppid=10048 vsize=8068440 memory=7233736899685398890 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10071/stat : 10071 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404537493 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588371311632 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10072] ppid=10048 vsize=8068440 memory=8292088533921144977 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10072/stat : 10072 (java) S 10048 10048 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404537494 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588334405744 140588887927426 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10073] ppid=10048 vsize=8068440 memory=-7595754389018307734 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10073/stat : 10073 (java) S 10048 10048 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404537494 8262082560 29411 33554432000 4194304 4196468 140733308040464 140587567145760 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10074] ppid=10048 vsize=8068440 memory=1414353297708861353 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10074/stat : 10074 (java) S 10048 10048 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404537495 8262082560 29411 33554432000 4194304 4196468 140733308040464 140587432924272 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10075] ppid=10048 vsize=8068440 memory=-7466299265176673180 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10075/stat : 10075 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140587058419792 140588887934875 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10076] ppid=10048 vsize=8068440 memory=1414353297708861353 CPUtime=0.09 cores=1,3,5,7
/proc/10066/task/10076/stat : 10076 (java) S 10048 10048 8853 0 -1 1077944384 662 0 0 0 9 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588333353584 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10077] ppid=10048 vsize=8068440 memory=111632 CPUtime=0.08 cores=1,3,5,7
/proc/10066/task/10077/stat : 10077 (java) S 10048 10048 8853 0 -1 1077944384 378 0 0 0 8 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588332300784 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10078] ppid=10048 vsize=8068440 memory=796 CPUtime=0.19 cores=1,3,5,7
/proc/10066/task/10078/stat : 10078 (java) S 10048 10048 8853 0 -1 1077944384 588 0 0 0 19 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588331248496 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10079] ppid=10048 vsize=8068440 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10079/stat : 10079 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140586560515040 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10080] ppid=10048 vsize=8068440 memory=920 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10080/stat : 10080 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588330195376 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10082] ppid=10048 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10082/stat : 10082 (java) S 10048 10048 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404537562 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588322161600 140588887940889 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10084] ppid=10048 vsize=8068440 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10084/stat : 10084 (java) S 10048 10048 8853 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 404537562 8262082560 29411 33554432000 4194304 4196468 140733308040464 140586023628304 140588887938205 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10085] ppid=10048 vsize=8068440 memory=2304 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10085/stat : 10085 (java) S 10048 10048 8853 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 404537562 8262082560 29411 33554432000 4194304 4196468 140733308040464 140586157850512 140588887938205 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10086] ppid=10048 vsize=8068440 memory=2696 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10086/stat : 10086 (java) S 10048 10048 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404537566 8262082560 29411 33554432000 4194304 4196468 140733308040464 140585755205040 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
Current children cumulated CPU time: 8.92 s
Current children cumulated vsize: 8218412 KiB
Current children cumulated memory: 140584 KiB
[startup+4.80094 s]
/proc/loadavg: 1.95 1.78 1.86 3/240 10086
/proc/meminfo: memFree=14941924/32770624 swapFree=66957008/67108860
[pid=10048] ppid=10045 vsize=113128 memory=1476 CPUtime=7.59 cores=1,3,5,7
/proc/10048/stat : 10048 (scop.sh) S 10045 10048 8853 0 -1 4202496 583 28892 0 0 0 0 736 23 20 0 1 0 404537181 115843072 369 33554432000 4194304 5098028 140721241599568 140721241596312 140411129418364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19320832 140721241604904 140721241605232 140721241605232 140721241608141 0
/proc/10048/statm: 28282 369 311 221 0 87 0
[pid=10066] ppid=10048 vsize=8068440 memory=117644 CPUtime=1.14 cores=1,3,5,7
/proc/10066/stat : 10066 (java) S 10048 10048 8853 0 -1 1077944320 19849 0 0 0 108 6 0 0 20 0 19 0 404537491 8262082560 29411 33554432000 4194304 4196468 140733308040464 140733308023008 140588887916279 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
/proc/10066/statm: 2017110 29411 3210 1 0 1978454 0
[pid=10081] ppid=10066 vsize=37064 memory=22144 CPUtime=0.98 cores=1,3,5,7
/proc/10081/stat : 10081 (glueminisat-sim) R 10066 10048 8853 0 -1 4202496 6069 0 0 0 97 1 0 0 20 0 1 0 404537562 37953536 5536 33554432000 4194304 4452875 140721381052512 140721381047608 140068102528903 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6552096 6554264 21135360 140721381057375 140721381057575 140721381057575 140721381060525 0
/proc/10081/statm: 9266 5536 352 64 0 5470 0
[pid=10066/tid=10067] ppid=10048 vsize=8068440 memory=3292 CPUtime=0.74 cores=1,3,5,7
/proc/10066/task/10067/stat : 10067 (java) S 10048 10048 8853 0 -1 1077944384 16804 0 0 0 69 5 0 0 20 0 19 0 404537492 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588859756448 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10068] ppid=10048 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10068/stat : 10068 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404537493 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588892158864 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10069] ppid=10048 vsize=8068440 memory=127308 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10069/stat : 10069 (java) S 10048 10048 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404537493 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588710247184 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10070] ppid=10048 vsize=8068440 memory=341232 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10070/stat : 10070 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404537493 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588709194896 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10071] ppid=10048 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10071/stat : 10071 (java) S 10048 10048 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404537493 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588371311632 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10072] ppid=10048 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10072/stat : 10072 (java) S 10048 10048 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404537494 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588334405744 140588887927426 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10073] ppid=10048 vsize=8068440 memory=117644 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10073/stat : 10073 (java) S 10048 10048 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404537494 8262082560 29411 33554432000 4194304 4196468 140733308040464 140587567145760 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10074] ppid=10048 vsize=8068440 memory=27728 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10074/stat : 10074 (java) S 10048 10048 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404537495 8262082560 29411 33554432000 4194304 4196468 140733308040464 140587432924272 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10075] ppid=10048 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10075/stat : 10075 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140587058419792 140588887934875 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10076] ppid=10048 vsize=8068440 memory=379808 CPUtime=0.09 cores=1,3,5,7
/proc/10066/task/10076/stat : 10076 (java) S 10048 10048 8853 0 -1 1077944384 662 0 0 0 9 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588333353584 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10077] ppid=10048 vsize=8068440 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10066/task/10077/stat : 10077 (java) S 10048 10048 8853 0 -1 1077944384 378 0 0 0 8 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588332300784 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10078] ppid=10048 vsize=8068440 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/10066/task/10078/stat : 10078 (java) S 10048 10048 8853 0 -1 1077944384 590 0 0 0 19 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588331248496 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10079] ppid=10048 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10079/stat : 10079 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140586560515040 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10080] ppid=10048 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10080/stat : 10080 (java) S 10048 10048 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404537497 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588330195376 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10082] ppid=10048 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10082/stat : 10082 (java) S 10048 10048 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404537562 8262082560 29411 33554432000 4194304 4196468 140733308040464 140588322161600 140588887940889 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10084] ppid=10048 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10084/stat : 10084 (java) S 10048 10048 8853 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 404537562 8262082560 29411 33554432000 4194304 4196468 140733308040464 140586023628304 140588887938205 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10085] ppid=10048 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10085/stat : 10085 (java) S 10048 10048 8853 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 404537562 8262082560 29411 33554432000 4194304 4196468 140733308040464 140586157850512 140588887938205 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10086] ppid=10048 vsize=8068440 memory=3472468756687593899 CPUtime=0 cores=1,3,5,7
/proc/10066/task/10086/stat : 10086 (java) S 10048 10048 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404537566 8262082560 29411 33554432000 4194304 4196468 140733308040464 140585755205040 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 8218632 KiB
Current children cumulated memory: 141264 KiB
[startup+5.20083 s]
/proc/loadavg: 1.95 1.78 1.86 3/240 10086
/proc/meminfo: memFree=14938700/32770624 swapFree=66957008/67108860
[pid=10048] ppid=10045 vsize=113128 memory=1476 CPUtime=7.59 cores=1,3,5,7
/proc/10048/stat : 10048 (scop.sh) S 10045 10048 8853 0 -1 4202496 583 28892 0 0 0 0 736 23 20 0 1 0 404537181 115843072 369 33554432000 4194304 5098028 140721241599568 140721241596312 140411129418364 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19320832 140721241604904 140721241605232 140721241605232 140721241608141 0
/proc/10048/statm: 28282 369 311 221 0 87 0
[pid=10066] ppid=10048 vsize=7937364 memory=123800 CPUtime=2.66 cores=1,3,5,7
/proc/10066/stat : 10066 (java) S 10048 10048 8853 0 -1 1077944320 20863 6088 0 0 130 7 127 2 20 0 17 0 404537491 8127860736 30950 33554432000 4194304 4196468 140733308040464 140733308023008 140588887916279 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
/proc/10066/statm: 1984341 30950 3223 1 0 1945685 0
[pid=10066/tid=10067] ppid=10048 vsize=7937364 memory=0 CPUtime=2.1 cores=1,3,5,7
/proc/10066/task/10067/stat : 10067 (java) R 10048 10048 8853 0 -1 4202560 17103 6088 0 0 76 5 127 2 20 0 17 0 404537492 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588859753936 140588887938205 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10068] ppid=10048 vsize=7937364 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10068/stat : 10068 (java) S 10048 10048 8853 0 -1 1077944384 2 6088 0 0 0 0 127 2 20 0 17 0 404537493 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588892158864 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10069] ppid=10048 vsize=7937364 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10069/stat : 10069 (java) S 10048 10048 8853 0 -1 1077944384 2 6088 0 0 0 0 127 2 20 0 17 0 404537493 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588710247184 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10070] ppid=10048 vsize=7937364 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10070/stat : 10070 (java) S 10048 10048 8853 0 -1 1077944384 1 6088 0 0 0 0 127 2 20 0 17 0 404537493 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588709194896 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10071] ppid=10048 vsize=7937364 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10071/stat : 10071 (java) S 10048 10048 8853 0 -1 1077944384 1 6088 0 0 0 0 127 2 20 0 17 0 404537493 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588371311632 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10072] ppid=10048 vsize=7937364 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10072/stat : 10072 (java) S 10048 10048 8853 0 -1 1077944384 6 6088 0 0 0 0 127 2 20 0 17 0 404537494 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588334405744 140588887927426 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10073] ppid=10048 vsize=7937364 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10073/stat : 10073 (java) S 10048 10048 8853 0 -1 1077944384 13 6088 0 0 0 0 127 2 20 0 17 0 404537494 8127860736 30950 33554432000 4194304 4196468 140733308040464 140587567145760 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10074] ppid=10048 vsize=7937364 memory=1476 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10074/stat : 10074 (java) S 10048 10048 8853 0 -1 1077944384 21 6088 0 0 0 0 127 2 20 0 17 0 404537495 8127860736 30950 33554432000 4194304 4196468 140733308040464 140587432924272 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10075] ppid=10048 vsize=7937364 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10075/stat : 10075 (java) S 10048 10048 8853 0 -1 1077944384 3 6088 0 0 0 0 127 2 20 0 17 0 404537497 8127860736 30950 33554432000 4194304 4196468 140733308040464 140587058419792 140588887934875 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10076] ppid=10048 vsize=7937364 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/10066/task/10076/stat : 10076 (java) R 10048 10048 8853 0 -1 4202560 685 6088 0 0 12 0 127 2 20 0 17 0 404537497 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588333353584 140588880901321 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10077] ppid=10048 vsize=7937364 memory=5936982635578878016 CPUtime=1.41 cores=1,3,5,7
/proc/10066/task/10077/stat : 10077 (java) S 10048 10048 8853 0 -1 1077944384 399 6088 0 0 12 0 127 2 20 0 17 0 404537497 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588332300784 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10078] ppid=10048 vsize=7937364 memory=5931329019416957008 CPUtime=1.53 cores=1,3,5,7
/proc/10066/task/10078/stat : 10078 (java) S 10048 10048 8853 0 -1 1077944384 703 6088 0 0 24 0 127 2 20 0 17 0 404537497 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588331248496 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10079] ppid=10048 vsize=7937364 memory=5787495302022849344 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10079/stat : 10079 (java) S 10048 10048 8853 0 -1 1077944384 3 6088 0 0 0 0 127 2 20 0 17 0 404537497 8127860736 30950 33554432000 4194304 4196468 140733308040464 140586560515040 140588887926485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10080] ppid=10048 vsize=7937364 memory=5787495302022849088 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10080/stat : 10080 (java) S 10048 10048 8853 0 -1 1077944384 3 6088 0 0 0 0 127 2 20 0 17 0 404537497 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588330195376 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10082] ppid=10048 vsize=7937364 memory=7595128702122808659 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10082/stat : 10082 (java) S 10048 10048 8853 0 -1 1077944384 32 6088 0 0 0 0 127 2 20 0 17 0 404537562 8127860736 30950 33554432000 4194304 4196468 140733308040464 140588322160784 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
[pid=10066/tid=10086] ppid=10048 vsize=7937364 memory=8486855378867 CPUtime=1.29 cores=1,3,5,7
/proc/10066/task/10086/stat : 10086 (java) S 10048 10048 8853 0 -1 1077944384 10 6088 0 0 0 0 127 2 20 0 17 0 404537566 8127860736 30950 33554432000 4194304 4196468 140733308040464 140585755206832 140588887927426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29007872 140733308048379 140733308048538 140733308048538 140733308051407 0
Current children cumulated CPU time: 10.25 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 125276 KiB
Child status: 0
Real time (s): 5.23987
CPU time (s): 10.359
CPU user time (s): 10.0149
CPU system time (s): 0.344102
CPU usage (%): 197.696
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 850272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0149
system time used= 0.344102
maximum resident set size= 855416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5792
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 10048
# total CPU time (s): 10.359
# total CPU user time (s): 10.0149
# total CPU system time (s): 0.344102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054727 second user time and 0.110527 second system time
The end