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-16291-serial-file.bin HOME/instance-4388433-1568299155.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 16:38:33 CEST 2019
0.66/0.56 c PID: 16294
0.66/0.56 c IP: 172.20.3.147
0.66/0.56 c HOST: node147.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.18/1.17 c (0,0) Parsing End
2.18/1.19 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 325 ctr, max domain size 80
2.18/1.19 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.18/1.19 c (0,0) Constraint Name Generate Begin
2.18/1.19 c (0,0) Ctr:HOME/instance-4388433-1568299155.xml,Add:Le:Num:Or:Var
2.18/1.19 c (0,0) Constraint Name Generate End
2.18/1.19 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.18/1.19 c (0,0) CSP to CSPinCNF Begin
2.71/1.33 c (0,0) translated 33 (10%) constraints
2.71/1.35 c (0,0) translated 65 (20%) constraints
2.71/1.38 c (0,0) translated 98 (30%) constraints
2.71/1.39 c (0,0) translated 130 (40%) constraints
2.97/1.40 c (0,0) translated 163 (50%) constraints
2.97/1.42 c (0,0) translated 195 (60%) constraints
2.97/1.42 c (0,0) translated 228 (70%) constraints
2.97/1.43 c (0,0) translated 260 (80%) constraints
2.97/1.44 c (0,0) translated 293 (90%) constraints
2.97/1.45 c (0,0) translated 325 (100%) constraints
2.97/1.45 c (0,0) ===========================================
2.97/1.45 c (0,0) Order
2.97/1.45 c (0,0) ===========================================
2.97/1.46 c (0,0) translated 33 (10%) constraints
2.97/1.47 c (0,0) translated 65 (20%) constraints
2.97/1.47 c (0,0) translated 98 (30%) constraints
2.97/1.47 c (0,0) translated 130 (40%) constraints
2.97/1.48 c (0,0) translated 163 (50%) constraints
2.97/1.48 c (0,0) translated 195 (60%) constraints
2.97/1.49 c (0,0) translated 228 (70%) constraints
2.97/1.49 c (0,0) translated 260 (80%) constraints
2.97/1.49 c (0,0) translated 293 (90%) constraints
2.97/1.50 c (0,0) translated 325 (100%) constraints
3.28/1.50 c (0,0) CSP to CSPinCNF End
3.28/1.50 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 325 ctr, max domain size 80
3.28/1.50 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.28/1.50 c (0,0) CSPinCNF Propagation Begin
3.28/1.53 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.28/1.53 c (0,0) CSPinCNF Propagation End
3.28/1.53 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 325 ctr, max domain size 80
3.28/1.53 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.28/1.53 c (0,0) Simplify CSPinCNF Begin
3.58/1.63 c (1,1) Simplify CSPinCNF End
3.58/1.64 c (1,1) CSP: 52 int (0 aux), 1300 bool (1300 aux), 1625 ctr, max domain size 80
3.58/1.64 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.58/1.64 c (1,1) Calculate Precise Domain Begin
3.58/1.64 c (1,1) 0 values are removed by re-calculation
3.58/1.64 c (1,1) Calculate Precise Domain End
3.58/1.64 c (1,1) CSP: 52 int (0 aux), 1300 bool (1300 aux), 1625 ctr, max domain size 80
3.58/1.64 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.58/1.64 c (1,1) CSPinCNF to SatSolver Begin
4.51/1.93 c (1,1) 163 (10 %) CSP clauses are encoded (0 SAT variables, 12281 SAT clauses)
4.81/2.02 c (1,1) 325 (20 %) CSP clauses are encoded (0 SAT variables, 20719 SAT clauses)
4.81/2.09 c (1,1) 488 (30 %) CSP clauses are encoded (0 SAT variables, 28788 SAT clauses)
5.13/2.15 c (1,1) 650 (40 %) CSP clauses are encoded (0 SAT variables, 36701 SAT clauses)
5.13/2.20 c (1,1) 813 (50 %) CSP clauses are encoded (0 SAT variables, 44262 SAT clauses)
5.38/2.23 c (1,1) 975 (60 %) CSP clauses are encoded (0 SAT variables, 51425 SAT clauses)
5.38/2.26 c (1,1) 1138 (70 %) CSP clauses are encoded (0 SAT variables, 58216 SAT clauses)
5.38/2.29 c (1,1) 1300 (80 %) CSP clauses are encoded (0 SAT variables, 64495 SAT clauses)
5.55/2.32 c (1,1) 1463 (90 %) CSP clauses are encoded (0 SAT variables, 70297 SAT clauses)
5.55/2.35 c (1,1) 1625 (100 %) CSP clauses are encoded (0 SAT variables, 75200 SAT clauses)
5.55/2.35 c (1,1) CSPinCNF to SatSolver End
5.55/2.35 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.55/2.35 c (1,1) 4758 bool, 75231 clause
5.55/2.35 c (1,1) Export Begin
5.73/2.43 c (1,1) Export to HOME/scop-16291-serial-file.bin
5.73/2.43 c (1,1) Export End
5.73/2.43 c (1,1) Export File Size: 0.01 MB
5.73/2.43 c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
5.73/2.43 c END-Prog: Thu Sep 12 16:38:35 CEST 2019
5.73/2.45 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16291-serial-file.bin
5.81/2.91 c (0,0) Read Serial File Begin
5.81/2.91 c (0,0) HOME/scop-16291-serial-file.bin
6.69/3.11 c (0,0) Read Serial File End
6.69/3.12
6.69/3.12 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
6.69/3.12 (Solving Process)
6.69/3.12
6.69/3.15 c BEGIN-Prog: Thu Sep 12 16:38:35 CEST 2019
6.69/3.15 c PID: 16309
6.94/3.57 c IP: 172.20.3.147
6.94/3.57 c HOST: node147.alineos.net
6.94/3.57 c (0,0) SatSolver.solve Begin
6.94/3.57 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388433-1568299155.xml-scop-16294.cnf
6.94/3.57 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.94/3.57 c (0,0) c glueminisat-simp-2.2.10-193oa-n
6.94/3.57 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388433-1568299155.xml-scop-16294.cnf
6.94/3.57 c (0,0) c Options:
6.94/3.57 c (0,0) c CORE
6.94/3.57 c (0,0) c var_decay = 0.950
6.94/3.57 c (0,0) c clause_decay = 0.999
6.94/3.57 c (0,0) c random_var_freq = 0.000
6.94/3.57 c (0,0) c random_seed = 91648253.000
6.94/3.57 c (0,0) c luby_restart = 1
6.94/3.57 c (0,0) c ccmin_mode = 2
6.94/3.57 c (0,0) c phase_saving = 2
6.94/3.57 c (0,0) c rnd_pol = 0
6.94/3.57 c (0,0) c rnd_init_act = 0
6.94/3.57 c (0,0) c garbage_frac = 0.200
6.94/3.57 c (0,0) c restart_first = 1000
6.94/3.57 c (0,0) c restart_inc = 2.000
6.94/3.57 c (0,0) c MODEL
6.94/3.57 c (0,0) c partial_model = 0
6.94/3.57 c (0,0) c PROPAGATION
6.94/3.57 c (0,0) c bin_propagation = 1
6.94/3.57 c (0,0) c SIMPLIFICATION
6.94/3.57 c (0,0) c lrn_min_size = 100
6.94/3.57 c (0,0) c lazy_simp = 1
6.94/3.57 c (0,0) c lazy_interval = 10
6.94/3.57 c (0,0) c lazy_fld_probing = 1
6.94/3.57 c (0,0) c lazy_pol_probing = 1
6.94/3.57 c (0,0) c lazy_nec_probing = 1
6.94/3.57 c (0,0) c lazy_eqv_probing = 1
6.94/3.57 c (0,0) c lazy_cla_probing = 1
6.94/3.57 c (0,0) c lazy_lrn_min = 2
6.94/3.57 c (0,0) c lazy_uw_lit_elim = 1
6.94/3.57 c (0,0) c lazy_pr_lit_elim = 0
6.94/3.57 c (0,0) c lazy_bin_add = 3
6.94/3.57 c (0,0) c probed_lit_chain = 1
6.94/3.57 c (0,0) c pr_min_lits = 0.00020
6.94/3.57 c (0,0) c pr_min_starts = 500
6.94/3.57 c (0,0) c rw_min_lits = 0.010
6.94/3.57 c (0,0) c rw_min_starts = 500
6.94/3.57 c (0,0) c rand_attach = 0
6.94/3.57 c (0,0) c dec_elim = 1
6.94/3.57 c (0,0) c dec_elim_lim = 25
6.94/3.57 c (0,0) c dec_elim_len = -1
6.94/3.57 c (0,0) c amo = 0
6.94/3.57 c (0,0) c amo_grp = 1
6.94/3.57 c (0,0) c amo_max_bins = 1000000
6.94/3.57 c (0,0) c amo_starts = 50
6.94/3.57 c (0,0) c mace_cmd = mace
6.94/3.57 c (0,0) c DECISION
6.94/3.57 c (0,0) c rand_rebuild = 0
6.94/3.57 c (0,0) c rand_rebuild_confs = 10000
6.94/3.57 c (0,0) c inc_var_decay = 1
6.94/3.57 c (0,0) c inc_var_decay_period = 100000
6.94/3.57 c (0,0) c inc_var_decay_init = 0.600
6.94/3.57 c (0,0) c var_decay_mode = 0
6.94/3.57 c (0,0) c var_decay_gain = 0
6.94/3.57 c (0,0) c sloped_var_decay = 1
6.94/3.57 c (0,0) c max_var_decay = 0.990
6.94/3.57 c (0,0) c min_var_decay = 0.950
6.94/3.57 c (0,0) c min_var_decay_vars = 10000
6.94/3.57 c (0,0) c max_var_decay_vars = 500
6.94/3.57 c (0,0) c uip_bumping = 1
6.94/3.57 c (0,0) c lbd_act_bumping = 1
6.94/3.57 c (0,0) c rand_tiebreak = 0
6.94/3.57 c (0,0) c simp_rebuild = 1
6.94/3.57 c (0,0) c RESTART
6.94/3.57 c (0,0) c restart_strategy = 2
6.94/3.57 c (0,0) c restart_blocking = 0
6.94/3.57 c (0,0) c agility_decay = 0.99990
6.94/3.57 c (0,0) c lbd_restart_rate = 0.800
6.94/3.57 c (0,0) c dec_restart_rate = 0.950
6.94/3.57 c (0,0) c blk_restart_rate = 0.700
6.94/3.57 c (0,0) c lbd_queue_size = 50
6.94/3.57 c (0,0) c dec_queue_size = 50
6.94/3.57 c (0,0) c trl_queue_size = 5000
6.94/3.57 c (0,0) c blk_restart_weight = 1.000
6.94/3.57 c (0,0) c inc_rst_rate = 0
6.94/3.57 c (0,0) c inc_rst_rate_period = 500000
6.94/3.57 c (0,0) c inc_lbd_rst_rate_init = 0.600
6.94/3.57 c (0,0) c inc_dec_rst_rate_init = 0.750
6.94/3.57 c (0,0) c REDUCTION
6.94/3.57 c (0,0) c closed_lbd = 0
6.94/3.57 c (0,0) c closed_lbd_rate = 0.500
6.94/3.57 c (0,0) c rm_simulate = 0
6.94/3.57 c (0,0) c rdb_eval = 2
6.94/3.57 c (0,0) c rdb_call = 3
6.94/3.57 c (0,0) c rdb_ub = 0.500
6.94/3.57 c (0,0) c core_lbd_cvr = 0.800
6.94/3.57 c (0,0) c supp_lbd_cvr = 0.990
6.94/3.57 c (0,0) c core_lbd_lb = 2
6.94/3.57 c (0,0) c supp_lbd_lb = 2
6.94/3.57 c (0,0) c core_lbd_prd = 7
6.94/3.57 c (0,0) c supp_lbd_prd = 1
6.94/3.57 c (0,0) c othr_lbd_prd = 0
6.94/3.57 c (0,0) c inc_lrn_limit = 1000
6.94/3.57 c (0,0) c frozen_lbd = 30
6.94/3.57 c (0,0) c simp_min_starts = 100
6.94/3.57 c (0,0) c rm_low_act_learnts = 1
6.94/3.57 c (0,0) c lv0_reduce_db = 0
6.94/3.57 c (0,0) c reduce_db_base = 20000
6.94/3.57 c (0,0) c reduce_db_inc = 1000
6.94/3.57 c (0,0) c HARD
6.94/3.57 c (0,0) c inst_check = 200000
6.94/3.57 c (0,0) c small_block = 1.750
6.94/3.57 c (0,0) c slow_restart_speed = 400.000
6.94/3.57 c (0,0) c slow_restart_strategy = 3
6.94/3.57 c (0,0) c slow_lbd_restart_rate = 0.700
6.94/3.57 c (0,0) c slow_dec_restart_rate = 1.000
6.94/3.57 c (0,0) c slow_lbd_queue_size = 50
6.94/3.57 c (0,0) c slow_var_decay = 0.950
6.94/3.57 c (0,0) c slow_glue_threshold = 2
6.94/3.57 c (0,0) c slow_phase_saving = 2
6.94/3.57 c (0,0) c fast_restart_speed = 125.000
6.94/3.57 c (0,0) c fast_restart_strategy = 1
6.94/3.57 c (0,0) c fast_lbd_restart_rate = 0.800
6.94/3.57 c (0,0) c fast_dec_restart_rate = 0.950
6.94/3.57 c (0,0) c fast_lbd_queue_size = 50
6.94/3.57 c (0,0) c fast_var_decay = 1.000
6.94/3.57 c (0,0) c fast_glue_threshold = 2
6.94/3.57 c (0,0) c fast_phase_saving = 2
6.94/3.57 c (0,0) c STATS
6.94/3.57 c (0,0) c stats_conf_size = 10000
6.94/3.57 c (0,0) c max_stats_size = 30
6.94/3.57 c (0,0) c SOLVER
6.94/3.57 c (0,0) c minisat = 0
6.94/3.60 c (0,0) c Problem: 4758 variables, 75231 clauses, parsing 0.02 s
6.94/3.65 c (0,0) c reduced to 4429 variables, 74902 clauses (grow = 0)
6.94/3.66 c (0,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
6.94/3.66 c (0,0) c Simplification: 329 vars, 329 clauses are eliminated using 0.06 s
6.94/3.66 c (0,0) c
6.94/3.66 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
6.94/3.66 c (0,0) c
6.94/3.66 c (0,0) c 0 0 0 4429 74902 0 -nan -nan -nan -nan%
6.94/3.67 c (0,0) c 0 1 100 4429 74902 100 17.4 8.1 47.8 35.5%
6.94/3.67 c (0,0) c 0 1 220 4429 74902 220 20.0 8.3 41.7 35.5%
6.94/3.68 c (0,0) c 0 1 364 4429 74902 364 22.6 8.6 40.5 35.1%
6.94/3.69 c (0,0) c 0 1 536 4429 74902 536 22.1 8.6 41.6 35.7%
6.95/3.70 c (0,0) c 0 3 743 4429 74902 743 22.4 9.3 47.3 37.5%
6.95/3.71 c (0,0) c 0 4 991 4429 74902 991 22.3 9.6 46.4 35.7%
6.95/3.72 c (0,0) c 0 6 1289 4429 74902 1289 21.9 9.7 57.2 39.7%
6.95/3.74 c (0,0) c 0 7 1647 4429 74902 1647 22.2 9.8 56.2 40.0%
6.95/3.77 c (0,0) c 0 10 2076 4429 74902 2076 23.4 10.2 58.0 41.8%
6.95/3.79 c (0,0) c 0 10 2591 4429 74902 2591 23.1 9.8 56.0 41.8%
6.95/3.80 c (0,0) c 0 10 2746 4429 74902 2746 24.0 9.7 56.4 43.5%
6.95/3.80 c (0,0) c
6.95/3.80 c (0,0) c
6.95/3.80 c (0,0) c variables : 4429 (init 4758, after simp 4429, 0 non-decs, 52 csp)
6.95/3.80 c (0,0) c clauses : 74902 (init 75231, after simp 74902)
6.95/3.80 c (0,0) c restarts : 9 (274.60 confs/res, 50~745 confs, 0 blks, 0 last)
6.95/3.80 c (0,0) c conflicts : 2746 (12976 /sec, 62.45% dconfs, 0.00% supp, trail 40.47w x 56.41h, jmp 3.18h)
6.95/3.80 c (0,0) c decisions : 9465 (0.6100 vdcy, 44726 /sec, 0.00% bin, rs 0.000 s)
6.95/3.80 c (0,0) c propagations : 468876 (2215640 /sec, 49.54 lits/dec, 51.50% o.a.)
6.95/3.80 c (0,0) c conflict literals : 76969 (13.60% deleted; 0.84% by bin min, 0.002 s)
6.95/3.80 c (0,0) c len : 23.984 (23.98 for all, max 204, used 204)
6.95/3.80 c (0,0) c lbd : 9.737 (10.73 (9.74) for all, max 58, used 58, 4.419 stdev, 2.234 blk)
6.95/3.80 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
6.95/3.80 c (0,0) c simp dbs : 1 (0.000 s)
6.95/3.80 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
6.95/3.80 c (0,0) c learnts : 2746 (0 learnts removed, 0.00%)
6.95/3.80 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
6.95/3.80 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
6.95/3.80 c (0,0) c premise updates : 39659 (4.48 /lit)
6.95/3.80 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
6.95/3.80 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
6.95/3.80 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.002s)
6.95/3.80 c (0,0) c unwatched lit elim: 59 (0.00+0.08%, 0+59 of 254454+76969)
6.95/3.80 c (0,0) c classified type : undef
6.95/3.80 c (0,0) c progress : 0.000 %
6.95/3.80 c (0,0) c
6.95/3.80 c (0,0) c [Statistics]
6.95/3.80 c (0,0) c learnts len learnts lbd lit blk size eq vars size
6.95/3.80 c (0,0) c tot 2746 2746 29474 0
6.95/3.80 c (0,0) c avg 23.984 9.737 2.234 -nan
6.95/3.80 c (0,0) c 1 0 ( 0.0%) 1 ( 0.0%) 18411 (62.5%) 0 (-nan%)
6.95/3.80 c (0,0) c 2 0 ( 0.0%) 29 ( 1.1%) 4658 (15.8%) 0 (-nan%)
6.95/3.80 c (0,0) c 3 0 ( 0.0%) 128 ( 4.7%) 2282 ( 7.7%) 0 (-nan%)
6.95/3.80 c (0,0) c 4 0 ( 0.0%) 235 ( 8.6%) 1203 ( 4.1%) 0 (-nan%)
6.95/3.80 c (0,0) c 5 15 ( 0.5%) 318 (11.6%) 805 ( 2.7%) 0 (-nan%)
6.95/3.80 c (0,0) c 6 69 ( 2.5%) 297 (10.8%) 534 ( 1.8%) 0 (-nan%)
6.95/3.80 c (0,0) c 7 142 ( 5.2%) 248 ( 9.0%) 388 ( 1.3%) 0 (-nan%)
6.95/3.80 c (0,0) c 8 214 ( 7.8%) 236 ( 8.6%) 254 ( 0.9%) 0 (-nan%)
6.95/3.80 c (0,0) c 9 230 ( 8.4%) 175 ( 6.4%) 166 ( 0.6%) 0 (-nan%)
6.95/3.80 c (0,0) c 10 156 ( 5.7%) 145 ( 5.3%) 119 ( 0.4%) 0 (-nan%)
6.95/3.80 c (0,0) c 11 142 ( 5.2%) 132 ( 4.8%) 114 ( 0.4%) 0 (-nan%)
6.95/3.80 c (0,0) c 12 120 ( 4.4%) 121 ( 4.4%) 92 ( 0.3%) 0 (-nan%)
6.95/3.80 c (0,0) c 13 114 ( 4.2%) 82 ( 3.0%) 67 ( 0.2%) 0 (-nan%)
6.95/3.80 c (0,0) c 14 95 ( 3.5%) 106 ( 3.9%) 53 ( 0.2%) 0 (-nan%)
6.95/3.80 c (0,0) c 15 89 ( 3.2%) 68 ( 2.5%) 42 ( 0.1%) 0 (-nan%)
6.95/3.80 c (0,0) c 16 69 ( 2.5%) 71 ( 2.6%) 46 ( 0.2%) 0 (-nan%)
6.95/3.80 c (0,0) c 17 74 ( 2.7%) 61 ( 2.2%) 37 ( 0.1%) 0 (-nan%)
6.95/3.80 c (0,0) c 18 66 ( 2.4%) 52 ( 1.9%) 26 ( 0.1%) 0 (-nan%)
6.95/3.80 c (0,0) c 19 62 ( 2.3%) 48 ( 1.7%) 18 ( 0.1%) 0 (-nan%)
6.95/3.80 c (0,0) c 20 66 ( 2.4%) 35 ( 1.3%) 25 ( 0.1%) 0 (-nan%)
6.95/3.80 c (0,0) c 21 49 ( 1.8%) 31 ( 1.1%) 15 ( 0.1%) 0 (-nan%)
6.95/3.80 c (0,0) c 22 43 ( 1.6%) 27 ( 1.0%) 11 ( 0.0%) 0 (-nan%)
6.95/3.80 c (0,0) c 23 44 ( 1.6%) 22 ( 0.8%) 13 ( 0.0%) 0 (-nan%)
6.95/3.80 c (0,0) c 24 31 ( 1.1%) 6 ( 0.2%) 7 ( 0.0%) 0 (-nan%)
6.95/3.80 c (0,0) c 25 41 ( 1.5%) 15 ( 0.5%) 9 ( 0.0%) 0 (-nan%)
6.95/3.80 c (0,0) c 26 30 ( 1.1%) 9 ( 0.3%) 7 ( 0.0%) 0 (-nan%)
6.95/3.80 c (0,0) c 27 35 ( 1.3%) 7 ( 0.3%) 8 ( 0.0%) 0 (-nan%)
6.95/3.80 c (0,0) c 28 36 ( 1.3%) 7 ( 0.3%) 3 ( 0.0%) 0 (-nan%)
6.95/3.80 c (0,0) c 29 25 ( 0.9%) 11 ( 0.4%) 2 ( 0.0%) 0 (-nan%)
6.95/3.80 c (0,0) c 30 689 (25.1%) 23 ( 0.8%) 59 ( 0.2%) 0 (-nan%)
6.95/3.80 c (0,0) c
6.95/3.80 c (0,0) c [LBD Statistics]
6.95/3.80 c (0,0) c LBD used lbd used clause lbd unused clause lbd
6.95/3.80 c (0,0) c tot 6212 1565 1181
6.95/3.80 c (0,0) c avg 7.146 8.284 11.663
6.95/3.80 c (0,0) c 1 5 ( 0.1/ 0.1%) 1 ( 0.1/ 0.1%) 0 ( 0.0/ 0.0%)
6.95/3.80 c (0,0) c 2 42 ( 0.7/ 0.8%) 24 ( 1.5/ 1.6%) 5 ( 0.4/ 0.4%)
6.95/3.80 c (0,0) c 3 433 ( 7.0/ 7.7%) 98 ( 6.3/ 7.9%) 30 ( 2.5/ 3.0%)
6.95/3.80 c (0,0) c 4 1056 (17.0/24.7%) 201 (12.8/20.7%) 34 ( 2.9/ 5.8%)
6.95/3.80 c (0,0) c 5 1176 (18.9/43.7%) 238 (15.2/35.9%) 80 ( 6.8/12.6%)
6.95/3.80 c (0,0) c 6 994 (16.0/59.7%) 178 (11.4/47.3%) 119 (10.1/22.7%)
6.95/3.80 c (0,0) c 7 646 (10.4/70.1%) 167 (10.7/58.0%) 81 ( 6.9/29.6%)
6.95/3.80 c (0,0) c 8 401 ( 6.5/76.5%) 122 ( 7.8/65.8%) 114 ( 9.7/39.2%)
6.95/3.80 c (0,0) c 9 348 ( 5.6/82.1%) 91 ( 5.8/71.6%) 84 ( 7.1/46.3%)
6.95/3.80 c (0,0) c 10 205 ( 3.3/85.4%) 77 ( 4.9/76.5%) 68 ( 5.8/52.1%)
6.95/3.80 c (0,0) c 11 180 ( 2.9/88.3%) 57 ( 3.6/80.1%) 75 ( 6.4/58.4%)
6.95/3.80 c (0,0) c 12 129 ( 2.1/90.4%) 55 ( 3.5/83.6%) 66 ( 5.6/64.0%)
6.95/3.80 c (0,0) c 13 101 ( 1.6/92.0%) 41 ( 2.6/86.3%) 41 ( 3.5/67.5%)
6.95/3.80 c (0,0) c 14 106 ( 1.7/93.7%) 48 ( 3.1/89.3%) 58 ( 4.9/72.4%)
6.95/3.80 c (0,0) c 15 67 ( 1.1/94.8%) 24 ( 1.5/90.9%) 44 ( 3.7/76.1%)
6.95/3.80 c (0,0) c 16 68 ( 1.1/95.9%) 24 ( 1.5/92.4%) 47 ( 4.0/80.1%)
6.95/3.80 c (0,0) c 17 57 ( 0.9/96.8%) 23 ( 1.5/93.9%) 38 ( 3.2/83.3%)
6.95/3.80 c (0,0) c 18 32 ( 0.5/97.3%) 22 ( 1.4/95.3%) 30 ( 2.5/85.9%)
6.95/3.80 c (0,0) c 19 27 ( 0.4/97.8%) 16 ( 1.0/96.3%) 32 ( 2.7/88.6%)
6.95/3.80 c (0,0) c 20 32 ( 0.5/98.3%) 12 ( 0.8/97.1%) 23 ( 1.9/90.5%)
6.95/3.80 c (0,0) c 21 14 ( 0.2/98.5%) 10 ( 0.6/97.7%) 21 ( 1.8/92.3%)
6.95/3.80 c (0,0) c 22 18 ( 0.3/98.8%) 7 ( 0.4/98.1%) 20 ( 1.7/94.0%)
6.95/3.80 c (0,0) c 23 9 ( 0.1/98.9%) 2 ( 0.1/98.3%) 20 ( 1.7/95.7%)
6.95/3.80 c (0,0) c 24 7 ( 0.1/99.1%) 2 ( 0.1/98.4%) 4 ( 0.3/96.0%)
6.95/3.80 c (0,0) c 25 3 ( 0.0/99.1%) 4 ( 0.3/98.7%) 11 ( 0.9/97.0%)
6.95/3.80 c (0,0) c 26 16 ( 0.3/99.4%) 3 ( 0.2/98.8%) 6 ( 0.5/97.5%)
6.95/3.80 c (0,0) c 27 9 ( 0.1/99.5%) 3 ( 0.2/99.0%) 4 ( 0.3/97.8%)
6.95/3.80 c (0,0) c 28 3 ( 0.0/99.5%) 0 ( 0.0/99.0%) 7 ( 0.6/98.4%)
6.95/3.80 c (0,0) c 29 10 ( 0.2/99.7%) 7 ( 0.4/99.5%) 4 ( 0.3/98.7%)
6.95/3.80 c (0,0) c 30 6 ( 0.1/99.8%) 2 ( 0.1/99.6%) 5 ( 0.4/99.2%)
6.95/3.80 c (0,0) c 31 2 ( 0.0/99.8%) 1 ( 0.1/99.7%) 1 ( 0.1/99.2%)
6.95/3.80 c (0,0) c 32 3 ( 0.0/99.9%) 1 ( 0.1/99.7%) 2 ( 0.2/99.4%)
6.95/3.80 c (0,0) c 33 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.4%)
6.95/3.80 c (0,0) c 34 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.4%)
6.95/3.80 c (0,0) c 35 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.4%)
6.95/3.80 c (0,0) c 36 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.4%)
6.95/3.80 c (0,0) c 37 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.4%)
6.95/3.80 c (0,0) c 38 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 1 ( 0.1/99.5%)
6.95/3.80 c (0,0) c 39 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 1 ( 0.1/99.6%)
6.95/3.80 c (0,0) c 40 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 41 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 42 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 43 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 44 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 45 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 46 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 47 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 48 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 49 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 50 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 51 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 52 0 ( 0.0/99.9%) 0 ( 0.0/99.7%) 0 ( 0.0/99.6%)
6.95/3.80 c (0,0) c 53 1 ( 0.0/99.9%) 2 ( 0.1/99.9%) 1 ( 0.1/99.7%)
6.95/3.80 c (0,0) c 54 1 ( 0.0/99.9%) 1 ( 0.1/99.9%) 2 ( 0.2/99.8%)
6.95/3.80 c (0,0) c 55 0 ( 0.0/99.9%) 0 ( 0.0/99.9%) 2 ( 0.2/100.0%)
6.95/3.80 c (0,0) c 56 0 ( 0.0/99.9%) 1 ( 0.1/100.0%) 0 ( 0.0/100.0%)
6.95/3.80 c (0,0) c 57 3 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
6.95/3.80 c (0,0) c 58 2 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
6.95/3.80 c (0,0) c
6.95/3.80 c (0,0) c Memory used : 28.00 MB
6.95/3.80 c (0,0) c CPU time : 0.212 s
6.95/3.80 c (0,0) c Real time : 0.627 s
6.95/3.80 c (0,0) c
6.95/3.80 c (0,0) s SATISFIABLE
6.95/3.83 c (0,0) SatSolver.solve End
6.95/3.83 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.95/3.83 c (0,0) Show results Begin
7.36/3.92 c (1,0) x[0] = 10
7.36/3.92 c (1,0) x[1] = 32
7.36/3.92 c (1,0) x[2] = 23
7.36/3.92 c (1,0) x[3] = 22
7.36/3.92 c (1,0) x[4] = 47
7.36/3.92 c (1,0) x[5] = 47
7.36/3.92 c (1,0) x[6] = 32
7.36/3.92 c (1,0) x[7] = 39
7.36/3.92 c (1,0) x[8] = 1
7.36/3.92 c (1,0) x[9] = 0
7.36/3.92 c (1,0) x[10] = 19
7.36/3.92 c (1,0) x[11] = 53
7.36/3.92 c (1,0) x[12] = 19
7.36/3.92 c (1,0) x[13] = 18
7.36/3.92 c (1,0) x[14] = 65
7.36/3.92 c (1,0) x[15] = 64
7.36/3.92 c (1,0) x[16] = 47
7.36/3.92 c (1,0) x[17] = 0
7.36/3.92 c (1,0) x[18] = 0
7.36/3.92 c (1,0) x[19] = 10
7.36/3.92 c (1,0) x[20] = 26
7.36/3.92 c (1,0) x[21] = 0
7.36/3.92 c (1,0) x[22] = 57
7.36/3.92 c (1,0) x[23] = 30
7.36/3.92 c (1,0) x[24] = 32
7.36/3.92 c (1,0) x[25] = 54
7.36/3.92 c (1,0) y[0] = 39
7.36/3.92 c (1,0) y[1] = 24
7.36/3.92 c (1,0) y[2] = 63
7.36/3.92 c (1,0) y[3] = 59
7.36/3.92 c (1,0) y[4] = 51
7.36/3.92 c (1,0) y[5] = 57
7.36/3.92 c (1,0) y[6] = 51
7.36/3.92 c (1,0) y[7] = 51
7.36/3.92 c (1,0) y[8] = 1
7.36/3.92 c (1,0) y[9] = 10
7.36/3.92 c (1,0) y[10] = 20
7.36/3.92 c (1,0) y[11] = 51
7.36/3.92 c (1,0) y[12] = 31
7.36/3.92 c (1,0) y[13] = 44
7.36/3.92 c (1,0) y[14] = 49
7.36/3.92 c (1,0) y[15] = 64
7.36/3.92 c (1,0) y[16] = 63
7.36/3.92 c (1,0) y[17] = 40
7.36/3.92 c (1,0) y[18] = 20
7.36/3.92 c (1,0) y[19] = 0
7.36/3.92 c (1,0) y[20] = 59
7.36/3.92 c (1,0) y[21] = 58
7.36/3.92 c (1,0) y[22] = 26
7.36/3.92 c (1,0) y[23] = 0
7.36/3.92 c (1,0) y[24] = 26
7.36/3.92 c (1,0) y[25] = 0
7.36/3.92 s SATISFIABLE
7.36/3.93 v <instantiation>
7.36/3.93 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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25]</list>
7.36/3.93 v <values>10 32 23 22 47 47 32 39 1 0 19 53 19 18 65 64 47 0 0 10 26 0 57 30 32 54 39 24 63 59 51 57 51 51 1 10 20 51 31 44 49 64 63 40 20 0 59 58 26 0 26 0</values>
7.36/3.93 v </instantiation>
7.36/3.93 c (1,0) Show results End
7.36/3.93 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
7.36/3.93 c (1,0) 0,1,STOP-AFTER(ALL)
7.36/3.93 c END-Prog: Thu Sep 12 16:38:36 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 (11414 MiB free)
memory of node 1: 16384 MiB (14284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388433-1568299155/watcher-4388433-1568299155 -o /tmp/evaluation-result-4388433-1568299155/solver-4388433-1568299155 -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-4388433-1568299155.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16291, runsolver pid=16288
[startup+0.100082 s]*
/proc/loadavg: 2.45 2.21 2.12 4/234 16308
/proc/meminfo: memFree=26257164/32770624 swapFree=66957008/67108860
[pid=16291] ppid=16288 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16291/stat : 16291 (scop.sh) S 16288 16291 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405829373 115843072 349 33554432000 4194304 5098028 140733878939952 140733878937208 139729405256316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18112512 140733878948648 140733878948976 140733878948976 140733878951885 0
/proc/16291/statm: 28282 349 296 221 0 87 0
[pid=16294] ppid=16291 vsize=15012696 memory=70848 CPUtime=0.11 cores=1,3,5,7
/proc/16294/stat : 16294 (java) S 16291 16291 8853 0 -1 1077944320 6492 0 0 0 9 2 0 0 20 0 15 0 405829373 15373000704 17712 33554432000 4194304 4196468 140725914099312 140725914081856 140298275163895 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
/proc/16294/statm: 3753174 17712 2910 1 0 3715579 0
[pid=16294/tid=16295] ppid=16291 vsize=15012696 memory=-6365412307231883207 CPUtime=0.09 cores=1,3,5,7
/proc/16294/task/16295/stat : 16295 (java) R 16291 16291 8853 0 -1 4202560 4285 0 0 0 7 2 0 0 20 0 15 0 405829373 15373000704 17712 33554432000 4194304 4196468 140725914099312 140298246957704 140298259244382 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16296] ppid=16291 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16296/stat : 16296 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 17712 33554432000 4194304 4196468 140725914099312 140298279405968 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16297] ppid=16291 vsize=15012696 memory=140519169070720 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16297/stat : 16297 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 17712 33554432000 4194304 4196468 140725914099312 140298070489360 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16298] ppid=16291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16298/stat : 16298 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 17712 33554432000 4194304 4196468 140725914099312 140298069437072 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16299] ppid=16291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16299/stat : 16299 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 17712 33554432000 4194304 4196468 140725914099312 140298068384272 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16300] ppid=16291 vsize=15012696 memory=140519169070720 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16300/stat : 16300 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829376 15373000704 17712 33554432000 4194304 4196468 140725914099312 140297245645424 140298275175042 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16301] ppid=16291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16301/stat : 16301 (java) S 16291 16291 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405829377 15373000704 17712 33554432000 4194304 4196468 140725914099312 140296851547424 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16302] ppid=16291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16302/stat : 16302 (java) S 16291 16291 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405829377 15373000704 17712 33554432000 4194304 4196468 140725914099312 140296717325936 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16303] ppid=16291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16303/stat : 16303 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405829379 15373000704 17712 33554432000 4194304 4196468 140725914099312 140296342821456 140298275182491 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16304] ppid=16291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16304/stat : 16304 (java) S 16291 16291 8853 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 405829379 15373000704 17712 33554432000 4194304 4196468 140725914099312 140297244592240 140298275175042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16305] ppid=16291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16305/stat : 16305 (java) R 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405829379 15373000704 17712 33554432000 4194304 4196468 140725914099312 140297243539440 140298275175042 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16306] ppid=16291 vsize=15012696 memory=140519169070720 CPUtime=0.01 cores=1,3,5,7
/proc/16294/task/16306/stat : 16306 (java) R 16291 16291 8853 0 -1 4202560 417 0 0 0 1 0 0 0 20 0 15 0 405829380 15373000704 17712 33554432000 4194304 4196468 140725914099312 140297242487152 140298254121689 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16307] ppid=16291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16307/stat : 16307 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405829380 15373000704 17712 33554432000 4194304 4196468 140725914099312 140295844915680 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16308] ppid=16291 vsize=15012696 memory=140519169070720 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16308/stat : 16308 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405829380 15373000704 17712 33554432000 4194304 4196468 140725914099312 140297241435056 140298275175042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72244 KiB
[startup+0.211018 s]*
/proc/loadavg: 2.45 2.21 2.12 3/234 16308
/proc/meminfo: memFree=26238148/32770624 swapFree=66957008/67108860
[pid=16291] ppid=16288 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16291/stat : 16291 (scop.sh) S 16288 16291 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405829373 115843072 349 33554432000 4194304 5098028 140733878939952 140733878937208 139729405256316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18112512 140733878948648 140733878948976 140733878948976 140733878951885 0
/proc/16291/statm: 28282 349 296 221 0 87 0
[pid=16294] ppid=16291 vsize=15012696 memory=85952 CPUtime=0.25 cores=1,3,5,7
/proc/16294/stat : 16294 (java) S 16291 16291 8853 0 -1 1077944320 11622 0 0 0 22 3 0 0 20 0 15 0 405829373 15373000704 21488 33554432000 4194304 4196468 140725914099312 140725914081856 140298275163895 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
/proc/16294/statm: 3753174 21488 2916 1 0 3715579 0
[pid=16294/tid=16295] ppid=16291 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/16294/task/16295/stat : 16295 (java) R 16291 16291 8853 0 -1 4202560 9354 0 0 0 17 3 0 0 20 0 15 0 405829373 15373000704 21488 33554432000 4194304 4196468 140725914099312 140298246979136 140298259244382 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16296] ppid=16291 vsize=15012696 memory=364 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16296/stat : 16296 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 21488 33554432000 4194304 4196468 140725914099312 140298279405968 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16297] ppid=16291 vsize=15012696 memory=288370895320782464 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16297/stat : 16297 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 21488 33554432000 4194304 4196468 140725914099312 140298070489360 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16298] ppid=16291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16298/stat : 16298 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 21488 33554432000 4194304 4196468 140725914099312 140298069437072 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16299] ppid=16291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16299/stat : 16299 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 21488 33554432000 4194304 4196468 140725914099312 140298068384272 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16300] ppid=16291 vsize=15012696 memory=140519169070720 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16300/stat : 16300 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829376 15373000704 21488 33554432000 4194304 4196468 140725914099312 140297245645424 140298275175042 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16301] ppid=16291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16301/stat : 16301 (java) S 16291 16291 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405829377 15373000704 21488 33554432000 4194304 4196468 140725914099312 140296851547424 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16302] ppid=16291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16302/stat : 16302 (java) S 16291 16291 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405829377 15373000704 21488 33554432000 4194304 4196468 140725914099312 140296717325936 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16303] ppid=16291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16303/stat : 16303 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405829379 15373000704 21554 33554432000 4194304 4196468 140725914099312 140296342821456 140298275182491 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16304] ppid=16291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16304/stat : 16304 (java) S 16291 16291 8853 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 405829379 15373000704 21554 33554432000 4194304 4196468 140725914099312 140297244592240 140298275175042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16305] ppid=16291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16305/stat : 16305 (java) S 16291 16291 8853 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405829379 15373000704 21554 33554432000 4194304 4196468 140725914099312 140297243539440 140298275175042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16306] ppid=16291 vsize=15012696 memory=140519169070720 CPUtime=0.03 cores=1,3,5,7
/proc/16294/task/16306/stat : 16306 (java) S 16291 16291 8853 0 -1 1077944384 427 0 0 0 3 0 0 0 20 0 15 0 405829380 15373000704 21554 33554432000 4194304 4196468 140725914099312 140297242487152 140298275175042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16307] ppid=16291 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16307/stat : 16307 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405829380 15373000704 21554 33554432000 4194304 4196468 140725914099312 140295844915680 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16308] ppid=16291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16308/stat : 16308 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405829380 15373000704 21554 33554432000 4194304 4196468 140725914099312 140297241435056 140298275175042 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87348 KiB
[startup+0.31071 s]*
/proc/loadavg: 2.45 2.21 2.12 4/234 16308
/proc/meminfo: memFree=26234736/32770624 swapFree=66957008/67108860
[pid=16291] ppid=16288 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16291/stat : 16291 (scop.sh) S 16288 16291 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405829373 115843072 349 33554432000 4194304 5098028 140733878939952 140733878937208 139729405256316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18112512 140733878948648 140733878948976 140733878948976 140733878951885 0
/proc/16291/statm: 28282 349 296 221 0 87 0
[pid=16294] ppid=16291 vsize=15012696 memory=90192 CPUtime=0.43 cores=1,3,5,7
/proc/16294/stat : 16294 (java) S 16291 16291 8853 0 -1 1077944320 12569 0 0 0 39 4 0 0 20 0 15 0 405829373 15373000704 22548 33554432000 4194304 4196468 140725914099312 140725914081856 140298275163895 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
/proc/16294/statm: 3753174 22548 3061 1 0 3715579 0
[pid=16294/tid=16295] ppid=16291 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/16294/task/16295/stat : 16295 (java) R 16291 16291 8853 0 -1 4202560 10104 0 0 0 27 3 0 0 20 0 15 0 405829373 15373000704 22548 33554432000 4194304 4196468 140725914099312 140298246946912 140298259244382 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16296] ppid=16291 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16296/stat : 16296 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 22548 33554432000 4194304 4196468 140725914099312 140298279405968 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16297] ppid=16291 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16297/stat : 16297 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 22548 33554432000 4194304 4196468 140725914099312 140298070489360 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16298] ppid=16291 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16298/stat : 16298 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 22548 33554432000 4194304 4196468 140725914099312 140298069437072 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16299] ppid=16291 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16299/stat : 16299 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15373000704 22548 33554432000 4194304 4196468 140725914099312 140298068384272 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16300] ppid=16291 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16300/stat : 16300 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829376 15373000704 22548 33554432000 4194304 4196468 140725914099312 140297245645424 140298275175042 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16301] ppid=16291 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16301/stat : 16301 (java) S 16291 16291 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405829377 15373000704 22548 33554432000 4194304 4196468 140725914099312 140296851547424 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16302] ppid=16291 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16302/stat : 16302 (java) S 16291 16291 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405829377 15373000704 22548 33554432000 4194304 4196468 140725914099312 140296717325936 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16303] ppid=16291 vsize=15012696 memory=4628975386420216973 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16303/stat : 16303 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405829379 15373000704 22548 33554432000 4194304 4196468 140725914099312 140296342821456 140298275182491 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16304] ppid=16291 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16294/task/16304/stat : 16304 (java) S 16291 16291 8853 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 15 0 405829379 15373000704 22548 33554432000 4194304 4196468 140725914099312 140297244592240 140298275175042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16305] ppid=16291 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16294/task/16305/stat : 16305 (java) S 16291 16291 8853 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 15 0 405829379 15373000704 22548 33554432000 4194304 4196468 140725914099312 140297243539440 140298275175042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16306] ppid=16291 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16294/task/16306/stat : 16306 (java) S 16291 16291 8853 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 15 0 405829380 15373000704 22548 33554432000 4194304 4196468 140725914099312 140297242487152 140298275175042 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16307] ppid=16291 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16307/stat : 16307 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405829380 15373000704 22548 33554432000 4194304 4196468 140725914099312 140295844915680 140298275174101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16308] ppid=16291 vsize=15012696 memory=3834023654303216688 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16308/stat : 16308 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405829380 15373000704 22548 33554432000 4194304 4196468 140725914099312 140297241435056 140298275175042 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91588 KiB
[startup+0.700753 s]
/proc/loadavg: 2.45 2.21 2.12 3/234 16308
/proc/meminfo: memFree=26213392/32770624 swapFree=66957008/67108860
[pid=16291] ppid=16288 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16291/stat : 16291 (scop.sh) S 16288 16291 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405829373 115843072 349 33554432000 4194304 5098028 140733878939952 140733878937208 139729405256316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18112512 140733878948648 140733878948976 140733878948976 140733878951885 0
/proc/16291/statm: 28282 349 296 221 0 87 0
[pid=16294] ppid=16291 vsize=15021016 memory=128080 CPUtime=1 cores=1,3,5,7
/proc/16294/stat : 16294 (java) S 16291 16291 8853 0 -1 1077944320 19785 0 0 0 93 7 0 0 20 0 15 0 405829373 15381520384 32020 33554432000 4194304 4196468 140725914099312 140725914081856 140298275163895 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
/proc/16294/statm: 3755254 32020 3191 1 0 3716603 0
[pid=16294/tid=16295] ppid=16291 vsize=15021016 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/16294/task/16295/stat : 16295 (java) R 16291 16291 8853 0 -1 4202560 16777 0 0 0 62 6 0 0 20 0 15 0 405829373 15381520384 32020 33554432000 4194304 4196468 140725914099312 140298247001616 140298259244382 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16296] ppid=16291 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16296/stat : 16296 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15381520384 32020 33554432000 4194304 4196468 140725914099312 140298279405968 140298275174101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16297] ppid=16291 vsize=15021016 memory=37520 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16297/stat : 16297 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405829375 15381520384 32020 33554432000 4194304 4196468 140725914099312 140298070489360 140298275174101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16298] ppid=16291 vsize=15021016 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16298/stat : 16298 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15381520384 32020 33554432000 4194304 4196468 140725914099312 140298069437072 140298275174101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16299] ppid=16291 vsize=15021016 memory=988 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16299/stat : 16299 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405829375 15381520384 32020 33554432000 4194304 4196468 140725914099312 140298068384272 140298275174101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16300] ppid=16291 vsize=15021016 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16300/stat : 16300 (java) S 16291 16291 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405829376 15381520384 32020 33554432000 4194304 4196468 140725914099312 140297245645424 140298275175042 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16301] ppid=16291 vsize=15021016 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16301/stat : 16301 (java) S 16291 16291 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405829377 15381520384 32020 33554432000 4194304 4196468 140725914099312 140296851547424 140298275174101 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16302] ppid=16291 vsize=15021016 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16302/stat : 16302 (java) S 16291 16291 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405829377 15381520384 32020 33554432000 4194304 4196468 140725914099312 140296717325936 140298275174101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16303] ppid=16291 vsize=15021016 memory=6092 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16303/stat : 16303 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405829379 15381520384 32020 33554432000 4194304 4196468 140725914099312 140296342821456 140298275182491 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16304] ppid=16291 vsize=15021092 memory=11624 CPUtime=0.06 cores=1,3,5,7
/proc/16294/task/16304/stat : 16304 (java) S 16291 16291 8853 0 -1 1077944384 730 0 0 0 6 0 0 0 20 0 15 0 405829379 15381598208 32020 33554432000 4194304 4196468 140725914099312 140297244592240 140298275175042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16305] ppid=16291 vsize=15021092 memory=732 CPUtime=0.08 cores=1,3,5,7
/proc/16294/task/16305/stat : 16305 (java) R 16291 16291 8853 0 -1 4202560 324 0 0 0 8 0 0 0 20 0 15 0 405829379 15381598208 32020 33554432000 4194304 4196468 140725914099312 140297243527280 140298260288656 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16306] ppid=16291 vsize=15021092 memory=776 CPUtime=0.15 cores=1,3,5,7
/proc/16294/task/16306/stat : 16306 (java) S 16291 16291 8853 0 -1 1077944384 600 0 0 0 15 0 0 0 20 0 15 0 405829380 15381598208 32020 33554432000 4194304 4196468 140725914099312 140297242487152 140298275175042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16307] ppid=16291 vsize=15021092 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16307/stat : 16307 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405829380 15381598208 32020 33554432000 4194304 4196468 140725914099312 140295844915680 140298275174101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
[pid=16294/tid=16308] ppid=16291 vsize=15021092 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/16294/task/16308/stat : 16308 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405829380 15381598208 32020 33554432000 4194304 4196468 140725914099312 140297241435056 140298275175042 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13824000 140725914100462 140725914100890 140725914100890 140725914103759 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 129476 KiB
[startup+1.50164 s]
/proc/loadavg: 2.45 2.21 2.12 6/234 16308
/proc/meminfo: memFree=26180576/32770624 swapFree=66957008/67108860
[pid=16291] ppid=16288 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16291/stat : 16291 (scop.sh) S 16288 16291 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405829373 115843072 349 33554432000 4194304 5098028 140733878939952 140733878937208 139729405256316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18112512 140733878948648 140733878948976 140733878948976 140733878951885 0
/proc/16291/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/16291/stat : 16291 (scop.sh) S 16288 16291 8853 0 -1 4202496 583 26201 0 0 0 0 565 16 20 0 1 0 405829373 115843072 369 33554432000 4194304 5098028 140733878939952 140733878936696 139729405256316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18112512 140733878948648 140733878948976 140733878948976 140733878951885 0
/proc/16291/statm: 28282 369 311 221 0 87 0
[pid=16309] ppid=16291 vsize=8068440 memory=118684 CPUtime=1.09 cores=1,3,5,7
/proc/16309/stat : 16309 (java) S 16291 16291 8853 0 -1 1077944320 19226 0 0 0 103 6 0 0 20 0 19 0 405829618 8262082560 29671 33554432000 4194304 4196468 140731266241824 140731266224368 140126069374711 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
/proc/16309/statm: 2017110 29671 3195 1 0 1978454 0
[pid=16309/tid=16310] ppid=16291 vsize=8068440 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/16309/task/16310/stat : 16310 (java) R 16291 16291 8853 0 -1 4202560 16321 0 0 0 66 5 0 0 20 0 19 0 405829619 8262082560 29671 33554432000 4194304 4196468 140731266241824 140126041213616 140126053455198 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16311] ppid=16291 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16311/stat : 16311 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29671 33554432000 4194304 4196468 140731266241824 140126073616912 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16312] ppid=16291 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16312/stat : 16312 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29671 33554432000 4194304 4196468 140731266241824 140125873785488 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16313] ppid=16291 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16313/stat : 16313 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29671 33554432000 4194304 4196468 140731266241824 140125872732432 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16314] ppid=16291 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16314/stat : 16314 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29671 33554432000 4194304 4196468 140731266241824 140125871679888 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16315] ppid=16291 vsize=8068440 memory=11 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16315/stat : 16315 (java) S 16291 16291 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405829621 8262082560 29671 33554432000 4194304 4196468 140731266241824 140125112597232 140126069385858 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16316] ppid=16291 vsize=8068440 memory=14 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16316/stat : 16316 (java) S 16291 16291 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405829622 8262082560 29671 33554432000 4194304 4196468 140731266241824 140124985747104 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16317] ppid=16291 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16317/stat : 16317 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829622 8262082560 29671 33554432000 4194304 4196468 140731266241824 140124717311216 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16318] ppid=16291 vsize=8068440 memory=4639930699739322730 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16318/stat : 16318 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829625 8262082560 29671 33554432000 4194304 4196468 140731266241824 140124381768144 140126069393307 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16319] ppid=16291 vsize=8068440 memory=14008 CPUtime=0.06 cores=1,3,5,7
/proc/16309/task/16319/stat : 16319 (java) R 16291 16291 8853 0 -1 4202560 585 0 0 0 6 0 0 0 20 0 19 0 405829625 8262082560 29671 33554432000 4194304 4196468 140731266241824 140125111525064 140126061611838 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16320] ppid=16291 vsize=8068440 memory=12040 CPUtime=0.09 cores=1,3,5,7
/proc/16309/task/16320/stat : 16320 (java) R 16291 16291 8853 0 -1 4202560 426 0 0 0 9 0 0 0 20 0 19 0 405829625 8262082560 29671 33554432000 4194304 4196468 140731266241824 140125110479856 140126050918434 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16321] ppid=16291 vsize=8068440 memory=2124 CPUtime=0.18 cores=1,3,5,7
/proc/16309/task/16321/stat : 16321 (java) R 16291 16291 8853 0 -1 1077944384 496 0 0 0 18 0 0 0 20 0 19 0 405829625 8262082560 29671 33554432000 4194304 4196468 140731266241824 140125109438448 140126069385858 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16322] ppid=16291 vsize=8068440 memory=20044 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16322/stat : 16322 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405829625 8262082560 29671 33554432000 4194304 4196468 140731266241824 140123844897120 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16323] ppid=16291 vsize=8068440 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16323/stat : 16323 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829625 8262082560 29671 33554432000 4194304 4196468 140731266241824 140125108386864 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
Current children cumulated CPU time: 6.9 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 120160 KiB
[startup+3.60068 s]
/proc/loadavg: 2.33 2.19 2.12 3/234 16323
/proc/meminfo: memFree=26230584/32770624 swapFree=66957008/67108860
[pid=16291] ppid=16288 vsize=113128 memory=1476 CPUtime=5.81 cores=1,3,5,7
/proc/16291/stat : 16291 (scop.sh) S 16288 16291 8853 0 -1 4202496 583 26201 0 0 0 0 565 16 20 0 1 0 405829373 115843072 369 33554432000 4194304 5098028 140733878939952 140733878936696 139729405256316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18112512 140733878948648 140733878948976 140733878948976 140733878951885 0
/proc/16291/statm: 28282 369 311 221 0 87 0
[pid=16309] ppid=16291 vsize=8068440 memory=119524 CPUtime=1.13 cores=1,3,5,7
/proc/16309/stat : 16309 (java) S 16291 16291 8853 0 -1 1077944320 19318 0 0 0 107 6 0 0 20 0 19 0 405829618 8262082560 29881 33554432000 4194304 4196468 140731266241824 140731266224368 140126069374711 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
/proc/16309/statm: 2017110 29881 3209 1 0 1978454 0
[pid=16309/tid=16310] ppid=16291 vsize=8068440 memory=1560 CPUtime=0.74 cores=1,3,5,7
/proc/16309/task/16310/stat : 16310 (java) S 16291 16291 8853 0 -1 1077944384 16366 0 0 0 69 5 0 0 20 0 19 0 405829619 8262082560 29881 33554432000 4194304 4196468 140731266241824 140126041214880 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16311] ppid=16291 vsize=8068440 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16311/stat : 16311 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29881 33554432000 4194304 4196468 140731266241824 140126073616912 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16312] ppid=16291 vsize=8068440 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16312/stat : 16312 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125873785488 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16313] ppid=16291 vsize=8068440 memory=119524 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16313/stat : 16313 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125872732432 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16314] ppid=16291 vsize=8068440 memory=15663745731716 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16314/stat : 16314 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125871679888 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16315] ppid=16291 vsize=8068440 memory=7595999604902010935 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16315/stat : 16315 (java) S 16291 16291 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405829621 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125112597232 140126069385858 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16316] ppid=16291 vsize=8068440 memory=5787216030801876833 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16316/stat : 16316 (java) S 16291 16291 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405829622 8262082560 29881 33554432000 4194304 4196468 140731266241824 140124985747104 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16317] ppid=16291 vsize=8068440 memory=8100115726983910754 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16317/stat : 16317 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829622 8262082560 29881 33554432000 4194304 4196468 140731266241824 140124717311216 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16318] ppid=16291 vsize=8068440 memory=7433226602083923505 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16318/stat : 16318 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140124381768144 140126069393307 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16319] ppid=16291 vsize=8068440 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/16309/task/16319/stat : 16319 (java) S 16291 16291 8853 0 -1 1077944384 599 0 0 0 7 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125111544048 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16320] ppid=16291 vsize=8068440 memory=62644 CPUtime=0.11 cores=1,3,5,7
/proc/16309/task/16320/stat : 16320 (java) S 16291 16291 8853 0 -1 1077944384 446 0 0 0 11 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125110491504 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16321] ppid=16291 vsize=8068440 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/16309/task/16321/stat : 16321 (java) S 16291 16291 8853 0 -1 1077944384 501 0 0 0 19 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125109438448 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16322] ppid=16291 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16322/stat : 16322 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140123844897120 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16323] ppid=16291 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16323/stat : 16323 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125108386864 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
Current children cumulated CPU time: 6.94 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 121000 KiB
[startup+3.80168 s]
/proc/loadavg: 2.33 2.19 2.12 3/234 16323
/proc/meminfo: memFree=26230584/32770624 swapFree=66957008/67108860
[pid=16291] ppid=16288 vsize=113128 memory=1476 CPUtime=5.81 cores=1,3,5,7
/proc/16291/stat : 16291 (scop.sh) S 16288 16291 8853 0 -1 4202496 583 26201 0 0 0 0 565 16 20 0 1 0 405829373 115843072 369 33554432000 4194304 5098028 140733878939952 140733878936696 139729405256316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18112512 140733878948648 140733878948976 140733878948976 140733878951885 0
/proc/16291/statm: 28282 369 311 221 0 87 0
[pid=16309] ppid=16291 vsize=8068440 memory=119524 CPUtime=1.14 cores=1,3,5,7
/proc/16309/stat : 16309 (java) S 16291 16291 8853 0 -1 1077944320 19320 0 0 0 108 6 0 0 20 0 19 0 405829618 8262082560 29881 33554432000 4194304 4196468 140731266241824 140731266224368 140126069374711 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
/proc/16309/statm: 2017110 29881 3209 1 0 1978454 0
[pid=16309/tid=16310] ppid=16291 vsize=8068440 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/16309/task/16310/stat : 16310 (java) S 16291 16291 8853 0 -1 1077944384 16366 0 0 0 69 5 0 0 20 0 19 0 405829619 8262082560 29881 33554432000 4194304 4196468 140731266241824 140126041214880 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16311] ppid=16291 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16311/stat : 16311 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29881 33554432000 4194304 4196468 140731266241824 140126073616912 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16312] ppid=16291 vsize=8068440 memory=7235432406812354390 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16312/stat : 16312 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125873785488 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16313] ppid=16291 vsize=8068440 memory=6935656952358588496 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16313/stat : 16313 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125872732432 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16314] ppid=16291 vsize=8068440 memory=4638778402627734864 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16314/stat : 16314 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829620 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125871679888 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16315] ppid=16291 vsize=8068440 memory=4638778419807604048 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16315/stat : 16315 (java) S 16291 16291 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405829621 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125112597232 140126069385858 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16316] ppid=16291 vsize=8068440 memory=4640185777728278608 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16316/stat : 16316 (java) S 16291 16291 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405829622 8262082560 29881 33554432000 4194304 4196468 140731266241824 140124985747104 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16317] ppid=16291 vsize=8068440 memory=7151823192952164432 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16317/stat : 16317 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829622 8262082560 29881 33554432000 4194304 4196468 140731266241824 140124717311216 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16318] ppid=16291 vsize=8068440 memory=7440053569103876176 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16318/stat : 16318 (java) S 16291 16291 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140124381768144 140126069393307 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16319] ppid=16291 vsize=8068440 memory=4638778428397538640 CPUtime=0.07 cores=1,3,5,7
/proc/16309/task/16319/stat : 16319 (java) S 16291 16291 8853 0 -1 1077944384 599 0 0 0 7 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125111544048 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16320] ppid=16291 vsize=8068440 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16309/task/16320/stat : 16320 (java) S 16291 16291 8853 0 -1 1077944384 446 0 0 0 11 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125110491504 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16321] ppid=16291 vsize=8068440 memory=11624 CPUtime=0.19 cores=1,3,5,7
/proc/16309/task/16321/stat : 16321 (java) S 16291 16291 8853 0 -1 1077944384 503 0 0 0 19 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125109438448 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16322] ppid=16291 vsize=8068440 memory=732 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16322/stat : 16322 (java) S 16291 16291 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140123844897120 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16323] ppid=16291 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/16309/task/16323/stat : 16323 (java) S 16291 16291 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405829625 8262082560 29881 33554432000 4194304 4196468 140731266241824 140125108386864 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
Current children cumulated CPU time: 6.95 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 121000 KiB
[startup+3.90064 s]
/proc/loadavg: 2.33 2.19 2.12 3/234 16323
/proc/meminfo: memFree=26230584/32770624 swapFree=66957008/67108860
[pid=16291] ppid=16288 vsize=113128 memory=1476 CPUtime=5.81 cores=1,3,5,7
/proc/16291/stat : 16291 (scop.sh) S 16288 16291 8853 0 -1 4202496 583 26201 0 0 0 0 565 16 20 0 1 0 405829373 115843072 369 33554432000 4194304 5098028 140733878939952 140733878936696 139729405256316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18112512 140733878948648 140733878948976 140733878948976 140733878951885 0
/proc/16291/statm: 28282 369 311 221 0 87 0
[pid=16309] ppid=16291 vsize=7937364 memory=127672 CPUtime=1.55 cores=1,3,5,7
/proc/16309/stat : 16309 (java) S 16291 16291 8853 0 -1 1077944320 20319 2964 0 0 126 7 21 1 20 0 17 0 405829618 8127860736 31918 33554432000 4194304 4196468 140731266241824 140731266224368 140126069374711 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
/proc/16309/statm: 1984341 31918 3213 1 0 1945685 0
[pid=16309/tid=16310] ppid=16291 vsize=7937364 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/16309/task/16310/stat : 16310 (java) R 16291 16291 8853 0 -1 4202560 16662 2964 0 0 76 5 21 1 20 0 17 0 405829619 8127860736 31918 33554432000 4194304 4196468 140731266241824 140126041212688 140126053455198 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16311] ppid=16291 vsize=7937364 memory=281038098047800 CPUtime=0.22 cores=1,3,5,7
/proc/16309/task/16311/stat : 16311 (java) S 16291 16291 8853 0 -1 1077944384 2 2964 0 0 0 0 21 1 20 0 17 0 405829620 8127860736 31918 33554432000 4194304 4196468 140731266241824 140126073616912 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16312] ppid=16291 vsize=7937364 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/16309/task/16312/stat : 16312 (java) S 16291 16291 8853 0 -1 1077944384 1 2964 0 0 0 0 21 1 20 0 17 0 405829620 8127860736 31918 33554432000 4194304 4196468 140731266241824 140125873785488 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16313] ppid=16291 vsize=7937364 memory=1368 CPUtime=0.22 cores=1,3,5,7
/proc/16309/task/16313/stat : 16313 (java) S 16291 16291 8853 0 -1 1077944384 1 2964 0 0 0 0 21 1 20 0 17 0 405829620 8127860736 31918 33554432000 4194304 4196468 140731266241824 140125872732432 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16314] ppid=16291 vsize=7937364 memory=1056 CPUtime=0.22 cores=1,3,5,7
/proc/16309/task/16314/stat : 16314 (java) S 16291 16291 8853 0 -1 1077944384 2 2964 0 0 0 0 21 1 20 0 17 0 405829620 8127860736 31918 33554432000 4194304 4196468 140731266241824 140125871679888 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16315] ppid=16291 vsize=7937364 memory=1712 CPUtime=0.22 cores=1,3,5,7
/proc/16309/task/16315/stat : 16315 (java) S 16291 16291 8853 0 -1 1077944384 5 2964 0 0 0 0 21 1 20 0 17 0 405829621 8127860736 31918 33554432000 4194304 4196468 140731266241824 140125112597232 140126069385858 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16316] ppid=16291 vsize=7937364 memory=1476 CPUtime=0.22 cores=1,3,5,7
/proc/16309/task/16316/stat : 16316 (java) S 16291 16291 8853 0 -1 1077944384 13 2964 0 0 0 0 21 1 20 0 17 0 405829622 8127860736 31918 33554432000 4194304 4196468 140731266241824 140124985747104 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16317] ppid=16291 vsize=7937364 memory=119524 CPUtime=0.22 cores=1,3,5,7
/proc/16309/task/16317/stat : 16317 (java) S 16291 16291 8853 0 -1 1077944384 1 2964 0 0 0 0 21 1 20 0 17 0 405829622 8127860736 31918 33554432000 4194304 4196468 140731266241824 140124717311216 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16318] ppid=16291 vsize=7937364 memory=37520 CPUtime=0.22 cores=1,3,5,7
/proc/16309/task/16318/stat : 16318 (java) S 16291 16291 8853 0 -1 1077944384 2 2964 0 0 0 0 21 1 20 0 17 0 405829625 8127860736 31918 33554432000 4194304 4196468 140731266241824 140124381768144 140126069393307 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16319] ppid=16291 vsize=7937364 memory=3512 CPUtime=0.31 cores=1,3,5,7
/proc/16309/task/16319/stat : 16319 (java) S 16291 16291 8853 0 -1 1077944384 616 2964 0 0 9 0 21 1 20 0 17 0 405829625 8127860736 31918 33554432000 4194304 4196468 140731266241824 140125111544048 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16320] ppid=16291 vsize=7937364 memory=37520 CPUtime=0.34 cores=1,3,5,7
/proc/16309/task/16320/stat : 16320 (java) S 16291 16291 8853 0 -1 1077944384 457 2964 0 0 12 0 21 1 20 0 17 0 405829625 8127860736 31918 33554432000 4194304 4196468 140731266241824 140125110491504 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16321] ppid=16291 vsize=7937364 memory=281038098260288 CPUtime=0.45 cores=1,3,5,7
/proc/16309/task/16321/stat : 16321 (java) S 16291 16291 8853 0 -1 1077944384 617 2964 0 0 23 0 21 1 20 0 17 0 405829625 8127860736 31918 33554432000 4194304 4196468 140731266241824 140125109438448 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16322] ppid=16291 vsize=7937364 memory=6092 CPUtime=0.22 cores=1,3,5,7
/proc/16309/task/16322/stat : 16322 (java) S 16291 16291 8853 0 -1 1077944384 3 2964 0 0 0 0 21 1 20 0 17 0 405829625 8127860736 31918 33554432000 4194304 4196468 140731266241824 140123844897120 140126069384917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
[pid=16309/tid=16323] ppid=16291 vsize=7937364 memory=11624 CPUtime=0.22 cores=1,3,5,7
/proc/16309/task/16323/stat : 16323 (java) S 16291 16291 8853 0 -1 1077944384 1 2964 0 0 0 0 21 1 20 0 17 0 405829625 8127860736 31918 33554432000 4194304 4196468 140731266241824 140125108386864 140126069385858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35950592 140731266249723 140731266249882 140731266249882 140731266252751 0
Current children cumulated CPU time: 7.36 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 129148 KiB
Child status: 0
Real time (s): 3.93938
CPU time (s): 7.46308
CPU user time (s): 7.19019
CPU system time (s): 0.27289
CPU usage (%): 189.448
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 481584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.19019
system time used= 0.27289
maximum resident set size= 485392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50180
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5546
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 16291
# total CPU time (s): 7.46308
# total CPU user time (s): 7.19019
# total CPU system time (s): 0.27289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03503 second user time and 0.097843 second system time
The end