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-14961-serial-file.bin HOME/instance-4388439-1568299211.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 16:39:29 CEST 2019
0.66/0.55 c PID: 14964
0.66/0.55 c IP: 172.20.3.137
0.66/0.55 c HOST: node137.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.79/1.02 c (0,0) Parsing End
1.79/1.02 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 36
1.79/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.79/1.02 c (0,0) Constraint Name Generate Begin
1.79/1.02 c (0,0) Ctr:HOME/instance-4388439-1568299211.xml,Add:Le:Num:Or:Var
1.79/1.02 c (0,0) Constraint Name Generate End
1.79/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.79/1.02 c (0,0) CSP to CSPinCNF Begin
2.01/1.13 c (0,0) translated 11 (10%) constraints
2.01/1.14 c (0,0) translated 21 (20%) constraints
2.01/1.16 c (0,0) translated 32 (30%) constraints
2.01/1.17 c (0,0) translated 42 (40%) constraints
2.01/1.18 c (0,0) translated 53 (50%) constraints
2.01/1.19 c (0,0) translated 63 (60%) constraints
2.01/1.20 c (0,0) translated 74 (70%) constraints
2.01/1.20 c (0,0) translated 84 (80%) constraints
2.27/1.21 c (0,0) translated 95 (90%) constraints
2.27/1.22 c (0,0) translated 105 (100%) constraints
2.27/1.22 c (0,0) ===========================================
2.27/1.22 c (0,0) Order
2.27/1.22 c (0,0) ===========================================
2.27/1.23 c (0,0) translated 11 (10%) constraints
2.27/1.23 c (0,0) translated 21 (20%) constraints
2.27/1.23 c (0,0) translated 32 (30%) constraints
2.27/1.24 c (0,0) translated 42 (40%) constraints
2.27/1.24 c (0,0) translated 53 (50%) constraints
2.27/1.24 c (0,0) translated 63 (60%) constraints
2.27/1.25 c (0,0) translated 74 (70%) constraints
2.27/1.25 c (0,0) translated 84 (80%) constraints
2.27/1.25 c (0,0) translated 95 (90%) constraints
2.27/1.25 c (0,0) translated 105 (100%) constraints
2.27/1.26 c (0,0) CSP to CSPinCNF End
2.27/1.26 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 36
2.27/1.26 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.27/1.26 c (0,0) CSPinCNF Propagation Begin
2.27/1.28 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.27/1.28 c (0,0) CSPinCNF Propagation End
2.27/1.28 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 36
2.27/1.28 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.27/1.28 c (0,0) Simplify CSPinCNF Begin
2.51/1.35 c (0,0) Simplify CSPinCNF End
2.51/1.35 c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 36
2.51/1.35 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.51/1.35 c (0,0) Calculate Precise Domain Begin
2.51/1.35 c (0,0) 0 values are removed by re-calculation
2.51/1.35 c (0,0) Calculate Precise Domain End
2.51/1.35 c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 36
2.51/1.35 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.51/1.35 c (0,0) CSPinCNF to SatSolver Begin
2.93/1.52 c (0,0) 53 (10 %) CSP clauses are encoded (0 SAT variables, 2066 SAT clauses)
2.93/1.55 c (1,1) 105 (20 %) CSP clauses are encoded (0 SAT variables, 3240 SAT clauses)
2.93/1.57 c (1,1) 158 (30 %) CSP clauses are encoded (0 SAT variables, 4341 SAT clauses)
2.93/1.59 c (1,1) 210 (40 %) CSP clauses are encoded (0 SAT variables, 5385 SAT clauses)
3.25/1.61 c (1,1) 263 (50 %) CSP clauses are encoded (0 SAT variables, 6380 SAT clauses)
3.25/1.63 c (1,1) 315 (60 %) CSP clauses are encoded (0 SAT variables, 7318 SAT clauses)
3.25/1.64 c (1,1) 368 (70 %) CSP clauses are encoded (0 SAT variables, 8183 SAT clauses)
3.25/1.66 c (1,1) 420 (80 %) CSP clauses are encoded (0 SAT variables, 8943 SAT clauses)
3.25/1.67 c (1,1) 473 (90 %) CSP clauses are encoded (0 SAT variables, 9626 SAT clauses)
3.25/1.68 c (1,1) 525 (100 %) CSP clauses are encoded (0 SAT variables, 10146 SAT clauses)
3.25/1.68 c (1,1) CSPinCNF to SatSolver End
3.25/1.68 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.25/1.68 c (1,1) 1260 bool, 10155 clause
3.25/1.68 c (1,1) Export Begin
3.57/1.76 c (1,1) Export to HOME/scop-14961-serial-file.bin
3.57/1.76 c (1,1) Export End
3.57/1.77 c (1,1) Export File Size: 0.01 MB
3.57/1.77 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.57/1.77 c END-Prog: Thu Sep 12 16:39:31 CEST 2019
3.57/1.78 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14961-serial-file.bin
4.36/2.24 c (0,0) Read Serial File Begin
4.36/2.24 c (0,0) HOME/scop-14961-serial-file.bin
4.62/2.43 c (0,0) Read Serial File End
4.62/2.45
4.62/2.45 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
4.62/2.45 (Solving Process)
4.62/2.45
4.62/2.47 c BEGIN-Prog: Thu Sep 12 16:39:31 CEST 2019
4.62/2.47 c PID: 14979
4.62/2.47 c IP: 172.20.3.137
4.62/2.47 c HOST: node137.alineos.net
4.62/2.47 c (0,0) SatSolver.solve Begin
4.62/2.47 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388439-1568299211.xml-scop-14964.cnf
4.81/2.50 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.81/2.50 c (0,0) c glueminisat-simp-2.2.10-193oa-n
4.81/2.50 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388439-1568299211.xml-scop-14964.cnf
4.81/2.50 c (0,0) c Options:
4.81/2.50 c (0,0) c CORE
4.81/2.50 c (0,0) c var_decay = 0.950
4.81/2.50 c (0,0) c clause_decay = 0.999
4.81/2.50 c (0,0) c random_var_freq = 0.000
4.81/2.50 c (0,0) c random_seed = 91648253.000
4.81/2.50 c (0,0) c luby_restart = 1
4.81/2.50 c (0,0) c ccmin_mode = 2
4.81/2.50 c (0,0) c phase_saving = 2
4.81/2.50 c (0,0) c rnd_pol = 0
4.81/2.50 c (0,0) c rnd_init_act = 0
4.81/2.50 c (0,0) c garbage_frac = 0.200
4.81/2.50 c (0,0) c restart_first = 1000
4.81/2.50 c (0,0) c restart_inc = 2.000
4.81/2.50 c (0,0) c MODEL
4.81/2.50 c (0,0) c partial_model = 0
4.81/2.50 c (0,0) c PROPAGATION
4.81/2.50 c (0,0) c bin_propagation = 1
4.81/2.50 c (0,0) c SIMPLIFICATION
4.81/2.50 c (0,0) c lrn_min_size = 100
4.81/2.50 c (0,0) c lazy_simp = 1
4.81/2.50 c (0,0) c lazy_interval = 10
4.81/2.50 c (0,0) c lazy_fld_probing = 1
4.81/2.50 c (0,0) c lazy_pol_probing = 1
4.81/2.50 c (0,0) c lazy_nec_probing = 1
4.81/2.50 c (0,0) c lazy_eqv_probing = 1
4.81/2.50 c (0,0) c lazy_cla_probing = 1
4.81/2.50 c (0,0) c lazy_lrn_min = 2
4.81/2.50 c (0,0) c lazy_uw_lit_elim = 1
4.81/2.50 c (0,0) c lazy_pr_lit_elim = 0
4.81/2.51 c (0,0) c lazy_bin_add = 3
4.81/2.51 c (0,0) c probed_lit_chain = 1
4.81/2.51 c (0,0) c pr_min_lits = 0.00020
4.81/2.51 c (0,0) c pr_min_starts = 500
4.81/2.51 c (0,0) c rw_min_lits = 0.010
4.81/2.51 c (0,0) c rw_min_starts = 500
4.81/2.51 c (0,0) c rand_attach = 0
4.81/2.51 c (0,0) c dec_elim = 1
4.81/2.51 c (0,0) c dec_elim_lim = 25
4.81/2.51 c (0,0) c dec_elim_len = -1
4.81/2.51 c (0,0) c amo = 0
4.81/2.51 c (0,0) c amo_grp = 1
4.81/2.51 c (0,0) c amo_max_bins = 1000000
4.81/2.51 c (0,0) c amo_starts = 50
4.81/2.51 c (0,0) c mace_cmd = mace
4.81/2.51 c (0,0) c DECISION
4.81/2.51 c (0,0) c rand_rebuild = 0
4.81/2.51 c (0,0) c rand_rebuild_confs = 10000
4.81/2.51 c (0,0) c inc_var_decay = 1
4.81/2.51 c (0,0) c inc_var_decay_period = 100000
4.81/2.51 c (0,0) c inc_var_decay_init = 0.600
4.81/2.51 c (0,0) c var_decay_mode = 0
4.81/2.51 c (0,0) c var_decay_gain = 0
4.81/2.51 c (0,0) c sloped_var_decay = 1
4.81/2.51 c (0,0) c max_var_decay = 0.990
4.81/2.51 c (0,0) c min_var_decay = 0.950
4.81/2.51 c (0,0) c min_var_decay_vars = 10000
4.81/2.51 c (0,0) c max_var_decay_vars = 500
4.81/2.51 c (0,0) c uip_bumping = 1
4.81/2.51 c (0,0) c lbd_act_bumping = 1
4.81/2.51 c (0,0) c rand_tiebreak = 0
4.81/2.51 c (0,0) c simp_rebuild = 1
4.81/2.51 c (0,0) c RESTART
4.81/2.51 c (0,0) c restart_strategy = 2
4.81/2.51 c (0,0) c restart_blocking = 0
4.81/2.51 c (0,0) c agility_decay = 0.99990
4.81/2.51 c (0,0) c lbd_restart_rate = 0.800
4.81/2.51 c (0,0) c dec_restart_rate = 0.950
4.81/2.51 c (0,0) c blk_restart_rate = 0.700
4.81/2.51 c (0,0) c lbd_queue_size = 50
4.81/2.51 c (0,0) c dec_queue_size = 50
4.81/2.51 c (0,0) c trl_queue_size = 5000
4.81/2.51 c (0,0) c blk_restart_weight = 1.000
4.81/2.51 c (0,0) c inc_rst_rate = 0
4.81/2.51 c (0,0) c inc_rst_rate_period = 500000
4.81/2.51 c (0,0) c inc_lbd_rst_rate_init = 0.600
4.81/2.51 c (0,0) c inc_dec_rst_rate_init = 0.750
4.81/2.51 c (0,0) c REDUCTION
4.81/2.51 c (0,0) c closed_lbd = 0
4.81/2.51 c (0,0) c closed_lbd_rate = 0.500
4.81/2.51 c (0,0) c rm_simulate = 0
4.81/2.51 c (0,0) c rdb_eval = 2
4.81/2.51 c (0,0) c rdb_call = 3
4.81/2.51 c (0,0) c rdb_ub = 0.500
4.81/2.51 c (0,0) c core_lbd_cvr = 0.800
4.81/2.51 c (0,0) c supp_lbd_cvr = 0.990
4.81/2.51 c (0,0) c core_lbd_lb = 2
4.81/2.51 c (0,0) c supp_lbd_lb = 2
4.81/2.51 c (0,0) c core_lbd_prd = 7
4.81/2.51 c (0,0) c supp_lbd_prd = 1
4.81/2.51 c (0,0) c othr_lbd_prd = 0
4.81/2.51 c (0,0) c inc_lrn_limit = 1000
4.81/2.52 c (0,0) c frozen_lbd = 30
4.81/2.52 c (0,0) c simp_min_starts = 100
4.81/2.52 c (0,0) c rm_low_act_learnts = 1
4.81/2.52 c (0,0) c lv0_reduce_db = 0
4.81/2.52 c (0,0) c reduce_db_base = 20000
4.81/2.52 c (0,0) c reduce_db_inc = 1000
4.81/2.52 c (0,0) c HARD
4.81/2.52 c (0,0) c inst_check = 200000
4.81/2.52 c (0,0) c small_block = 1.750
4.81/2.52 c (0,0) c slow_restart_speed = 400.000
4.81/2.52 c (0,0) c slow_restart_strategy = 3
4.81/2.52 c (0,0) c slow_lbd_restart_rate = 0.700
4.81/2.52 c (0,0) c slow_dec_restart_rate = 1.000
4.81/2.52 c (0,0) c slow_lbd_queue_size = 50
4.81/2.52 c (0,0) c slow_var_decay = 0.950
4.81/2.52 c (0,0) c slow_glue_threshold = 2
4.81/2.52 c (0,0) c slow_phase_saving = 2
4.81/2.52 c (0,0) c fast_restart_speed = 125.000
4.81/2.52 c (0,0) c fast_restart_strategy = 1
4.81/2.52 c (0,0) c fast_lbd_restart_rate = 0.800
4.81/2.52 c (0,0) c fast_dec_restart_rate = 0.950
4.81/2.52 c (0,0) c fast_lbd_queue_size = 50
4.81/2.52 c (0,0) c fast_var_decay = 1.000
4.81/2.52 c (0,0) c fast_glue_threshold = 2
4.81/2.52 c (0,0) c fast_phase_saving = 2
4.81/2.52 c (0,0) c STATS
4.81/2.52 c (0,0) c stats_conf_size = 10000
4.81/2.52 c (0,0) c max_stats_size = 30
4.81/2.52 c (0,0) c SOLVER
4.81/2.52 c (0,0) c minisat = 0
4.81/2.52 c (0,0) c Problem: 1260 variables, 10155 clauses, parsing 0.00 s
4.81/2.52 c (0,0) c reduced to 1151 variables, 10046 clauses (grow = 0)
4.81/2.52 c (0,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
4.81/2.52 c (0,0) c Simplification: 109 vars, 109 clauses are eliminated using 0.01 s
4.81/2.52 c (0,0) c
4.81/2.52 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
4.81/2.52 c (0,0) c
4.81/2.52 c (0,0) c 0 0 0 1151 10046 0 -nan -nan -nan -nan%
4.81/2.52 c (0,0) c 0 1 37 1151 10046 37 13.8 5.4 36.9 67.7%
4.81/2.52 c (0,0) c
4.81/2.52 c (0,0) c
4.81/2.52 c (0,0) c variables : 1151 (init 1260, after simp 1151, 0 non-decs, 30 csp)
4.81/2.52 c (0,0) c clauses : 10046 (init 10155, after simp 10046)
4.81/2.52 c (0,0) c restarts : 0 (37.00 confs/res, 37~37 confs, 0 blks, 0 last)
4.81/2.52 c (0,0) c conflicts : 37 (2659 /sec, 56.76% dconfs, 0.00% supp, trail 25.88w x 36.95h, jmp 6.70h)
4.81/2.52 c (0,0) c decisions : 332 (0.6000 vdcy, 23856 /sec, 0.00% bin, rs 0.000 s)
4.81/2.52 c (0,0) c propagations : 4487 (322411 /sec, 13.52 lits/dec, 46.13% o.a.)
4.81/2.52 c (0,0) c conflict literals : 571 (10.33% deleted; 0.18% by bin min, 0.000 s)
4.81/2.52 c (0,0) c len : 13.811 (13.81 for all, max 49, used 24)
4.81/2.52 c (0,0) c lbd : 5.432 (6.14 (5.43) for all, max 15, used 11, 2.642 stdev, 2.251 blk)
4.81/2.52 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
4.81/2.52 c (0,0) c simp dbs : 1 (0.000 s)
4.81/2.52 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
4.81/2.52 c (0,0) c learnts : 37 (0 learnts removed, 0.00%)
4.81/2.52 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
4.81/2.52 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
4.81/2.52 c (0,0) c premise updates : 0 (0.00 /lit)
4.81/2.52 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
4.81/2.52 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
4.81/2.52 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
4.81/2.52 c (0,0) c unwatched lit elim: 0 (0.00+0.00%, 0+0 of 33112+571)
4.81/2.52 c (0,0) c classified type : undef
4.81/2.52 c (0,0) c progress : 0.000 %
4.81/2.52 c (0,0) c
4.81/2.52 c (0,0) c [Statistics]
4.81/2.52 c (0,0) c learnts len learnts lbd lit blk size eq vars size
4.81/2.52 c (0,0) c tot 37 37 227 0
4.81/2.52 c (0,0) c avg 13.811 5.432 2.251 -nan
4.81/2.52 c (0,0) c 1 0 ( 0.0%) 0 ( 0.0%) 123 (54.2%) 0 (-nan%)
4.81/2.52 c (0,0) c 2 0 ( 0.0%) 4 (10.8%) 40 (17.6%) 0 (-nan%)
4.81/2.52 c (0,0) c 3 0 ( 0.0%) 5 (13.5%) 39 (17.2%) 0 (-nan%)
4.81/2.52 c (0,0) c 4 0 ( 0.0%) 6 (16.2%) 7 ( 3.1%) 0 (-nan%)
4.81/2.52 c (0,0) c 5 3 ( 8.1%) 9 (24.3%) 6 ( 2.6%) 0 (-nan%)
4.81/2.52 c (0,0) c 6 3 ( 8.1%) 3 ( 8.1%) 2 ( 0.9%) 0 (-nan%)
4.81/2.52 c (0,0) c 7 3 ( 8.1%) 3 ( 8.1%) 2 ( 0.9%) 0 (-nan%)
4.81/2.52 c (0,0) c 8 5 (13.5%) 1 ( 2.7%) 2 ( 0.9%) 0 (-nan%)
4.81/2.52 c (0,0) c 9 5 (13.5%) 4 (10.8%) 1 ( 0.4%) 0 (-nan%)
4.81/2.52 c (0,0) c 10 2 ( 5.4%) 0 ( 0.0%) 1 ( 0.4%) 0 (-nan%)
4.81/2.52 c (0,0) c 11 3 ( 8.1%) 1 ( 2.7%) 1 ( 0.4%) 0 (-nan%)
4.81/2.52 c (0,0) c 12 2 ( 5.4%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 13 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 14 1 ( 2.7%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 15 3 ( 8.1%) 1 ( 2.7%) 1 ( 0.4%) 0 (-nan%)
4.81/2.52 c (0,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 17 0 ( 0.0%) 0 ( 0.0%) 1 ( 0.4%) 0 (-nan%)
4.81/2.52 c (0,0) c 18 1 ( 2.7%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 19 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 21 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 22 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 23 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 24 1 ( 2.7%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 25 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 26 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 27 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c 29 0 ( 0.0%) 0 ( 0.0%) 1 ( 0.4%) 0 (-nan%)
4.81/2.52 c (0,0) c 30 5 (13.5%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
4.81/2.52 c (0,0) c
4.81/2.53 c (0,0) c [LBD Statistics]
4.81/2.53 c (0,0) c LBD used lbd used clause lbd unused clause lbd
4.81/2.53 c (0,0) c tot 19 13 24
4.81/2.53 c (0,0) c avg 5.579 5.000 5.667
4.81/2.53 c (0,0) c 1 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%)
4.81/2.53 c (0,0) c 2 2 (10.5/10.5%) 2 (15.4/15.4%) 2 ( 8.3/ 8.3%)
4.81/2.53 c (0,0) c 3 4 (21.1/31.6%) 3 (23.1/38.5%) 2 ( 8.3/16.7%)
4.81/2.53 c (0,0) c 4 2 (10.5/42.1%) 1 ( 7.7/46.2%) 5 (20.8/37.5%)
4.81/2.53 c (0,0) c 5 2 (10.5/52.6%) 1 ( 7.7/53.8%) 8 (33.3/70.8%)
4.81/2.53 c (0,0) c 6 2 (10.5/63.2%) 2 (15.4/69.2%) 1 ( 4.2/75.0%)
4.81/2.53 c (0,0) c 7 2 (10.5/73.7%) 2 (15.4/84.6%) 1 ( 4.2/79.2%)
4.81/2.53 c (0,0) c 8 1 ( 5.3/78.9%) 1 ( 7.7/92.3%) 0 ( 0.0/79.2%)
4.81/2.53 c (0,0) c 9 3 (15.8/94.7%) 1 ( 7.7/100.0%) 3 (12.5/91.7%)
4.81/2.53 c (0,0) c 10 0 ( 0.0/94.7%) 0 ( 0.0/100.0%) 0 ( 0.0/91.7%)
4.81/2.53 c (0,0) c 11 1 ( 5.3/100.0%) 0 ( 0.0/100.0%) 1 ( 4.2/95.8%)
4.81/2.53 c (0,0) c 12 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/95.8%)
4.81/2.53 c (0,0) c 13 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/95.8%)
4.81/2.53 c (0,0) c 14 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/95.8%)
4.81/2.53 c (0,0) c 15 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 4.2/100.0%)
4.81/2.53 c (0,0) c
4.81/2.53 c (0,0) c Memory used : 21.00 MB
4.81/2.53 c (0,0) c CPU time : 0.014 s
4.81/2.53 c (0,0) c Real time : 0.014 s
4.81/2.53 c (0,0) c
4.81/2.53 c (0,0) s SATISFIABLE
4.81/2.56 c (0,0) SatSolver.solve End
4.81/2.56 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.81/2.56 c (0,0) Show results Begin
5.04/2.64 c (0,0) x[0] = 0
5.04/2.64 c (0,0) x[1] = 21
5.04/2.64 c (0,0) x[2] = 14
5.04/2.64 c (0,0) x[3] = 13
5.04/2.64 c (0,0) x[4] = 17
5.04/2.64 c (0,0) x[5] = 23
5.04/2.64 c (0,0) x[6] = 29
5.04/2.64 c (0,0) x[7] = 13
5.04/2.64 c (0,0) x[8] = 12
5.04/2.64 c (0,0) x[9] = 0
5.04/2.64 c (0,0) x[10] = 10
5.04/2.64 c (0,0) x[11] = 0
5.04/2.64 c (0,0) x[12] = 0
5.04/2.64 c (0,0) x[13] = 22
5.04/2.64 c (0,0) x[14] = 21
5.04/2.64 c (0,0) y[0] = 12
5.04/2.64 c (0,0) y[1] = 33
5.04/2.64 c (0,0) y[2] = 9
5.04/2.64 c (0,0) y[3] = 24
5.04/2.64 c (0,0) y[4] = 23
5.04/2.64 c (0,0) y[5] = 29
5.04/2.64 c (0,0) y[6] = 29
5.04/2.64 c (0,0) y[7] = 28
5.04/2.64 c (0,0) y[8] = 0
5.04/2.64 c (0,0) y[9] = 13
5.04/2.64 c (0,0) y[10] = 12
5.04/2.64 c (0,0) y[11] = 0
5.04/2.64 c (0,0) y[12] = 23
5.04/2.64 c (0,0) y[13] = 15
5.04/2.64 c (0,0) y[14] = 0
5.04/2.64 s SATISFIABLE
5.04/2.64 v <instantiation>
5.04/2.64 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] 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]</list>
5.04/2.64 v <values>0 21 14 13 17 23 29 13 12 0 10 0 0 22 21 12 33 9 24 23 29 29 28 0 13 12 0 23 15 0</values>
5.04/2.64 v </instantiation>
5.04/2.64 c (0,0) Show results End
5.04/2.64 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
5.04/2.65 c (0,0) 0,0,STOP-AFTER(ALL)
5.04/2.65 c END-Prog: Thu Sep 12 16:39:32 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 (9991 MiB free)
memory of node 1: 16384 MiB (12667 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388439-1568299211/watcher-4388439-1568299211 -o /tmp/evaluation-result-4388439-1568299211/solver-4388439-1568299211 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568286693-10213 --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-4388439-1568299211.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=14961, runsolver pid=14958
[startup+0.100165 s]*
/proc/loadavg: 2.06 2.15 2.09 3/234 14978
/proc/meminfo: memFree=23142136/32770624 swapFree=66927108/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406168451 115843072 349 33554432000 4194304 5098028 140726798961856 140726798959112 139689345352316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37523456 140726798967592 140726798967920 140726798967920 140726798970829 0
/proc/14961/statm: 28282 349 296 221 0 87 0
[pid=14964] ppid=14961 vsize=15016308 memory=74596 CPUtime=0.12 cores=1,3,5,7
/proc/14964/stat : 14964 (java) S 14961 14961 8795 0 -1 1077944320 7406 0 0 0 10 2 0 0 20 0 15 0 406168451 15376699392 18649 33554432000 4194304 4196468 140729506348128 140729506330672 140210064281335 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
/proc/14964/statm: 3754077 18649 2910 1 0 3716482 0
[pid=14964/tid=14965] ppid=14961 vsize=15016308 memory=-6365412307231883207 CPUtime=0.09 cores=1,3,5,7
/proc/14964/task/14965/stat : 14965 (java) R 14961 14961 8795 0 -1 4202560 5509 0 0 0 7 2 0 0 20 0 15 0 406168451 15376699392 18979 33554432000 4194304 4196468 140729506348128 140210036065584 140210056961053 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14966] ppid=14961 vsize=15016308 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14966/stat : 14966 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15376699392 18979 33554432000 4194304 4196468 140729506348128 140210068523664 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14967] ppid=14961 vsize=15016308 memory=140526566876800 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14967/stat : 14967 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168453 15376699392 18979 33554432000 4194304 4196468 140729506348128 140209882679824 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14968] ppid=14961 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14968/stat : 14968 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15376699392 18979 33554432000 4194304 4196468 140729506348128 140209881627024 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14969] ppid=14961 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14969/stat : 14969 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15376699392 18979 33554432000 4194304 4196468 140729506348128 140209880574224 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14970] ppid=14961 vsize=15016308 memory=140526566876800 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14970/stat : 14970 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168454 15376699392 19045 33554432000 4194304 4196468 140729506348128 140209057876848 140210064292482 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14971] ppid=14961 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14971/stat : 14971 (java) S 14961 14961 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406168455 15376699392 19045 33554432000 4194304 4196468 140729506348128 140208603391520 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14972] ppid=14961 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14972/stat : 14972 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168455 15376699392 19045 33554432000 4194304 4196468 140729506348128 140208334955888 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14973] ppid=14961 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14973/stat : 14973 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168457 15376699392 19045 33554432000 4194304 4196468 140729506348128 140207960447312 140210064299931 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14974] ppid=14961 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14974/stat : 14974 (java) S 14961 14961 8795 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 406168457 15376699392 19045 33554432000 4194304 4196468 140729506348128 140209056823664 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14975] ppid=14961 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14975/stat : 14975 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168457 15376699392 19045 33554432000 4194304 4196468 140729506348128 140209055770864 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14976] ppid=14961 vsize=15016308 memory=140526566876800 CPUtime=0.01 cores=1,3,5,7
/proc/14964/task/14976/stat : 14976 (java) S 14961 14961 8795 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 406168457 15376699392 19045 33554432000 4194304 4196468 140729506348128 140209054718064 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14977] ppid=14961 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14977/stat : 14977 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168458 15376699392 19045 33554432000 4194304 4196468 140729506348128 140207462541536 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14978] ppid=14961 vsize=15016308 memory=140526566876800 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14978/stat : 14978 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168458 15376699392 19045 33554432000 4194304 4196468 140729506348128 140209053666480 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 75992 KiB
[startup+0.21091 s]*
/proc/loadavg: 2.06 2.15 2.09 3/234 14978
/proc/meminfo: memFree=23127084/32770624 swapFree=66927108/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406168451 115843072 349 33554432000 4194304 5098028 140726798961856 140726798959112 139689345352316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37523456 140726798967592 140726798967920 140726798967920 140726798970829 0
/proc/14961/statm: 28282 349 296 221 0 87 0
[pid=14964] ppid=14961 vsize=15012696 memory=85720 CPUtime=0.25 cores=1,3,5,7
/proc/14964/stat : 14964 (java) S 14961 14961 8795 0 -1 1077944320 11529 0 0 0 22 3 0 0 20 0 15 0 406168451 15373000704 21430 33554432000 4194304 4196468 140729506348128 140729506330672 140210064281335 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
/proc/14964/statm: 3753174 21430 2918 1 0 3715579 0
[pid=14964/tid=14965] ppid=14961 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/14964/task/14965/stat : 14965 (java) R 14961 14961 8795 0 -1 4202560 9257 0 0 0 17 3 0 0 20 0 15 0 406168451 15373000704 21430 33554432000 4194304 4196468 140729506348128 140210036103872 140210048361822 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14966] ppid=14961 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14966/stat : 14966 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15373000704 21430 33554432000 4194304 4196468 140729506348128 140210068523664 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14967] ppid=14961 vsize=15012696 memory=140526566891166 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14967/stat : 14967 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168453 15373000704 21430 33554432000 4194304 4196468 140729506348128 140209882679824 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14968] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14968/stat : 14968 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15373000704 21430 33554432000 4194304 4196468 140729506348128 140209881627024 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14969] ppid=14961 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14969/stat : 14969 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15373000704 21430 33554432000 4194304 4196468 140729506348128 140209880574224 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14970] ppid=14961 vsize=15012696 memory=140526566876800 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14970/stat : 14970 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168454 15373000704 21430 33554432000 4194304 4196468 140729506348128 140209057876848 140210064292482 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14971] ppid=14961 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14971/stat : 14971 (java) S 14961 14961 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406168455 15373000704 21430 33554432000 4194304 4196468 140729506348128 140208603391520 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14972] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14972/stat : 14972 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168455 15373000704 21430 33554432000 4194304 4196468 140729506348128 140208334955888 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14973] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14973/stat : 14973 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168457 15373000704 21430 33554432000 4194304 4196468 140729506348128 140207960447312 140210064299931 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14974] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14974/stat : 14974 (java) S 14961 14961 8795 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 406168457 15373000704 21430 33554432000 4194304 4196468 140729506348128 140209056823664 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14975] ppid=14961 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14975/stat : 14975 (java) S 14961 14961 8795 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 406168457 15373000704 21430 33554432000 4194304 4196468 140729506348128 140209055770864 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14976] ppid=14961 vsize=15012696 memory=140526566876800 CPUtime=0.03 cores=1,3,5,7
/proc/14964/task/14976/stat : 14976 (java) S 14961 14961 8795 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 406168457 15373000704 21430 33554432000 4194304 4196468 140729506348128 140209054718064 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14977] ppid=14961 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14977/stat : 14977 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168458 15373000704 21430 33554432000 4194304 4196468 140729506348128 140207462541536 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14978] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14978/stat : 14978 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168458 15373000704 21430 33554432000 4194304 4196468 140729506348128 140209053666480 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87116 KiB
[startup+0.31141 s]*
/proc/loadavg: 2.06 2.15 2.09 3/234 14978
/proc/meminfo: memFree=23123424/32770624 swapFree=66927108/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406168451 115843072 349 33554432000 4194304 5098028 140726798961856 140726798959112 139689345352316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37523456 140726798967592 140726798967920 140726798967920 140726798970829 0
/proc/14961/statm: 28282 349 296 221 0 87 0
[pid=14964] ppid=14961 vsize=15012696 memory=89752 CPUtime=0.43 cores=1,3,5,7
/proc/14964/stat : 14964 (java) S 14961 14961 8795 0 -1 1077944320 12516 0 0 0 39 4 0 0 20 0 15 0 406168451 15373000704 22438 33554432000 4194304 4196468 140729506348128 140729506330672 140210064281335 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
/proc/14964/statm: 3753174 22438 3020 1 0 3715579 0
[pid=14964/tid=14965] ppid=14961 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/14964/task/14965/stat : 14965 (java) R 14961 14961 8795 0 -1 4202560 10068 0 0 0 27 3 0 0 20 0 15 0 406168451 15373000704 22438 33554432000 4194304 4196468 140729506348128 140210036064352 140210045844891 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14966] ppid=14961 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14966/stat : 14966 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15373000704 22438 33554432000 4194304 4196468 140729506348128 140210068523664 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14967] ppid=14961 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14967/stat : 14967 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168453 15373000704 22438 33554432000 4194304 4196468 140729506348128 140209882679824 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14968] ppid=14961 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14968/stat : 14968 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15373000704 22438 33554432000 4194304 4196468 140729506348128 140209881627024 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14969] ppid=14961 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14969/stat : 14969 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15373000704 22438 33554432000 4194304 4196468 140729506348128 140209880574224 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14970] ppid=14961 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14970/stat : 14970 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168454 15373000704 22438 33554432000 4194304 4196468 140729506348128 140209057876848 140210064292482 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14971] ppid=14961 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14971/stat : 14971 (java) S 14961 14961 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406168455 15373000704 22438 33554432000 4194304 4196468 140729506348128 140208603391520 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14972] ppid=14961 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14972/stat : 14972 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168455 15373000704 22438 33554432000 4194304 4196468 140729506348128 140208334955888 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14973] ppid=14961 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14973/stat : 14973 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168457 15373000704 22438 33554432000 4194304 4196468 140729506348128 140207960447312 140210064299931 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14974] ppid=14961 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14964/task/14974/stat : 14974 (java) S 14961 14961 8795 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 15 0 406168457 15373000704 22438 33554432000 4194304 4196468 140729506348128 140209056823664 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14975] ppid=14961 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14964/task/14975/stat : 14975 (java) S 14961 14961 8795 0 -1 1077944384 150 0 0 0 3 0 0 0 20 0 15 0 406168457 15373000704 22438 33554432000 4194304 4196468 140729506348128 140209055770864 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14976] ppid=14961 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14964/task/14976/stat : 14976 (java) S 14961 14961 8795 0 -1 1077944384 504 0 0 0 7 0 0 0 20 0 15 0 406168457 15373000704 22438 33554432000 4194304 4196468 140729506348128 140209054718064 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14977] ppid=14961 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14977/stat : 14977 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168458 15373000704 22438 33554432000 4194304 4196468 140729506348128 140207462541536 140210064291541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14978] ppid=14961 vsize=15012696 memory=4049635681191867440 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14978/stat : 14978 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168458 15373000704 22438 33554432000 4194304 4196468 140729506348128 140209053666480 140210064292482 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91148 KiB
[startup+0.700907 s]
/proc/loadavg: 2.06 2.15 2.09 3/234 14978
/proc/meminfo: memFree=23099860/32770624 swapFree=66927108/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406168451 115843072 349 33554432000 4194304 5098028 140726798961856 140726798959112 139689345352316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37523456 140726798967592 140726798967920 140726798967920 140726798970829 0
/proc/14961/statm: 28282 349 296 221 0 87 0
[pid=14964] ppid=14961 vsize=15021092 memory=130516 CPUtime=1.02 cores=1,3,5,7
/proc/14964/stat : 14964 (java) S 14961 14961 8795 0 -1 1077944320 20506 0 0 0 95 7 0 0 20 0 15 0 406168451 15381598208 32629 33554432000 4194304 4196468 140729506348128 140729506330672 140210064281335 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
/proc/14964/statm: 3755273 32629 3206 1 0 3716603 0
[pid=14964/tid=14965] ppid=14961 vsize=15021092 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/14964/task/14965/stat : 14965 (java) R 14961 14961 8795 0 -1 4202560 17497 0 0 0 62 6 0 0 20 0 15 0 406168451 15381598208 32629 33554432000 4194304 4196468 140729506348128 140210036115856 140210049974475 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14966] ppid=14961 vsize=15021092 memory=5252745004214 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14966/stat : 14966 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15381598208 32629 33554432000 4194304 4196468 140729506348128 140210068523664 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14967] ppid=14961 vsize=15021092 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14967/stat : 14967 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168453 15381598208 32629 33554432000 4194304 4196468 140729506348128 140209882679824 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14968] ppid=14961 vsize=15021092 memory=14690799036142200 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14968/stat : 14968 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15381598208 32629 33554432000 4194304 4196468 140729506348128 140209881627024 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14969] ppid=14961 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14969/stat : 14969 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15381598208 32629 33554432000 4194304 4196468 140729506348128 140209880574224 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14970] ppid=14961 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14970/stat : 14970 (java) S 14961 14961 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406168454 15381598208 32629 33554432000 4194304 4196468 140729506348128 140209057876848 140210064292482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14971] ppid=14961 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14971/stat : 14971 (java) S 14961 14961 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406168455 15381598208 32629 33554432000 4194304 4196468 140729506348128 140208603391520 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14972] ppid=14961 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14972/stat : 14972 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168455 15381598208 32629 33554432000 4194304 4196468 140729506348128 140208334955888 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14973] ppid=14961 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14973/stat : 14973 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168457 15381598208 32629 33554432000 4194304 4196468 140729506348128 140207960447312 140210064299931 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14974] ppid=14961 vsize=15021092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14964/task/14974/stat : 14974 (java) S 14961 14961 8795 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 15 0 406168457 15381598208 32629 33554432000 4194304 4196468 140729506348128 140209056823664 140210064292482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14975] ppid=14961 vsize=15021092 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/14964/task/14975/stat : 14975 (java) S 14961 14961 8795 0 -1 1077944384 339 0 0 0 10 0 0 0 20 0 15 0 406168457 15381598208 32629 33554432000 4194304 4196468 140729506348128 140209055770864 140210064292482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14976] ppid=14961 vsize=15021092 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/14964/task/14976/stat : 14976 (java) R 14961 14961 8795 0 -1 4202560 621 0 0 0 15 0 0 0 20 0 15 0 406168457 15381598208 32629 33554432000 4194304 4196468 140729506348128 140209054718064 140210049446983 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14977] ppid=14961 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14977/stat : 14977 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168458 15381598208 32629 33554432000 4194304 4196468 140729506348128 140207462541536 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14978] ppid=14961 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14978/stat : 14978 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168458 15381598208 32629 33554432000 4194304 4196468 140729506348128 140209053666480 140210064292482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131912 KiB
[startup+1.50212 s]
/proc/loadavg: 2.06 2.15 2.09 3/234 14978
/proc/meminfo: memFree=23055816/32770624 swapFree=66927108/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 8795 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406168451 115843072 349 33554432000 4194304 5098028 140726798961856 140726798959112 139689345352316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37523456 140726798967592 140726798967920 140726798967920 140726798970829 0
/proc/14961/statm: 28282 349 296 221 0 87 0
[pid=14964] ppid=14961 vsize=15027304 memory=177572 CPUtime=2.93 cores=1,3,5,7
/proc/14964/stat : 14964 (java) S 14961 14961 8795 0 -1 1077944320 24075 0 0 0 283 10 0 0 20 0 15 0 406168451 15387959296 44393 33554432000 4194304 4196468 140729506348128 140729506330672 140210064281335 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
/proc/14964/statm: 3756826 44393 3259 1 0 3717627 0
[pid=14964/tid=14965] ppid=14961 vsize=15027304 memory=281052861959568 CPUtime=1.47 cores=1,3,5,7
/proc/14964/task/14965/stat : 14965 (java) R 14961 14961 8795 0 -1 4202560 18900 0 0 0 140 7 0 0 20 0 15 0 406168451 15387959296 44393 33554432000 4194304 4196468 140729506348128 140210036114688 140209565580736 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14966] ppid=14961 vsize=15027304 memory=130516 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14966/stat : 14966 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15387959296 44393 33554432000 4194304 4196468 140729506348128 140210068523664 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14967] ppid=14961 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14967/stat : 14967 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168453 15387959296 44393 33554432000 4194304 4196468 140729506348128 140209882679824 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14968] ppid=14961 vsize=15027304 memory=5252745004214 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14968/stat : 14968 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15387959296 44393 33554432000 4194304 4196468 140729506348128 140209881627024 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14969] ppid=14961 vsize=15027304 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14969/stat : 14969 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168453 15387959296 44393 33554432000 4194304 4196468 140729506348128 140209880574224 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14970] ppid=14961 vsize=15027304 memory=14690799036142200 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14970/stat : 14970 (java) S 14961 14961 8795 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406168454 15387959296 44393 33554432000 4194304 4196468 140729506348128 140209057876848 140210064292482 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14971] ppid=14961 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14971/stat : 14971 (java) S 14961 14961 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406168455 15387959296 44393 33554432000 4194304 4196468 140729506348128 140208603391520 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14972] ppid=14961 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14972/stat : 14972 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168455 15387959296 44393 33554432000 4194304 4196468 140729506348128 140208334955888 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14973] ppid=14961 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14973/stat : 14973 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168457 15387959296 44393 33554432000 4194304 4196468 140729506348128 140207960447312 140210064299931 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14974] ppid=14961 vsize=15027304 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/14964/task/14974/stat : 14974 (java) R 14961 14961 8795 0 -1 4202560 1012 0 0 0 36 0 0 0 20 0 15 0 406168457 15387959296 44393 33554432000 4194304 4196468 140729506348128 140209056809760 140210043527662 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14975] ppid=14961 vsize=15027304 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/14964/task/14975/stat : 14975 (java) R 14961 14961 8795 0 -1 4202560 658 0 0 0 36 0 0 0 20 0 15 0 406168457 15387959296 44393 33554432000 4194304 4196468 140729506348128 140209055761312 140210043514700 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14976] ppid=14961 vsize=15027304 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/14964/task/14976/stat : 14976 (java) R 14961 14961 8795 0 -1 4202560 2166 0 0 0 70 0 0 0 20 0 15 0 406168457 15387959296 44393 33554432000 4194304 4196468 140729506348128 140209054718064 140210064302682 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14977] ppid=14961 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14977/stat : 14977 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168458 15387959296 44393 33554432000 4194304 4196468 140729506348128 140207462541536 140210064291541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
[pid=14964/tid=14978] ppid=14961 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14964/task/14978/stat : 14978 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168458 15387959296 44393 33554432000 4194304 4196468 140729506348128 140209053666480 140210064292482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32227328 140729506349806 140729506350234 140729506350234 140729506353103 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 178968 KiB
[startup+2.65618 s]
# the end of solver process 14961 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.94929 s, system=0.218473 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.8008 s]
/proc/loadavg: 2.06 2.15 2.09 3/234 14978
/proc/meminfo: memFree=23055816/32770624 swapFree=66927108/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1476 CPUtime=3.81 cores=1,3,5,7
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 8795 0 -1 4202496 584 25687 0 0 0 0 369 12 20 0 1 0 406168451 115843072 369 33554432000 4194304 5098028 140726798961856 140726798958600 139689345352316 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37523456 140726798967592 140726798967920 140726798967920 140726798970829 0
/proc/14961/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 3.81 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+2.20116 s]*
/proc/loadavg: 2.06 2.15 2.09 3/234 14993
/proc/meminfo: memFree=23142168/32770624 swapFree=66927108/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1476 CPUtime=3.81 cores=1,3,5,7
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 8795 0 -1 4202496 584 25687 0 0 0 0 369 12 20 0 1 0 406168451 115843072 369 33554432000 4194304 5098028 140726798961856 140726798958600 139689345352316 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37523456 140726798967592 140726798967920 140726798967920 140726798970829 0
/proc/14961/statm: 28282 369 311 221 0 87 0
[pid=14979] ppid=14961 vsize=7406584 memory=71184 CPUtime=0.55 cores=1,3,5,7
/proc/14979/stat : 14979 (java) S 14961 14961 8795 0 -1 1077944320 13984 0 0 0 51 4 0 0 20 0 15 0 406168630 7584342016 17796 33554432000 4194304 4196468 140731997851184 140731997833728 140468951535351 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
/proc/14979/statm: 1851646 17796 3067 1 0 1813530 0
[pid=14979/tid=14980] ppid=14961 vsize=7406584 memory=6791534058613427641 CPUtime=0.4 cores=1,3,5,7
/proc/14979/task/14980/stat : 14980 (java) R 14961 14961 8795 0 -1 4202560 11486 0 0 0 37 3 0 0 20 0 15 0 406168630 7584342016 17796 33554432000 4194304 4196468 140731997851184 140468923352368 140468951547286 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14981] ppid=14961 vsize=7406584 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14979/task/14981/stat : 14981 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168631 7584342016 17796 33554432000 4194304 4196468 140731997851184 140468955777808 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14982] ppid=14961 vsize=7406584 memory=7444851859658269028 CPUtime=0 cores=1,3,5,7
/proc/14979/task/14982/stat : 14982 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168631 7584342016 17796 33554432000 4194304 4196468 140731997851184 140468436765584 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14983] ppid=14961 vsize=7406584 memory=6081919351762736737 CPUtime=0 cores=1,3,5,7
/proc/14979/task/14983/stat : 14983 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168631 7584342016 17796 33554432000 4194304 4196468 140731997851184 140468435713040 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14984] ppid=14961 vsize=7406584 memory=6010996453724673633 CPUtime=0 cores=1,3,5,7
/proc/14979/task/14984/stat : 14984 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168631 7584342016 17796 33554432000 4194304 4196468 140731997851184 140468434660496 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14985] ppid=14961 vsize=7406584 memory=7518590619843060326 CPUtime=0 cores=1,3,5,7
/proc/14979/task/14985/stat : 14985 (java) S 14961 14961 8795 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406168633 7584342016 17796 33554432000 4194304 4196468 140731997851184 140468397942768 140468951546498 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14986] ppid=14961 vsize=7406584 memory=5794255189789856864 CPUtime=0 cores=1,3,5,7
/proc/14979/task/14986/stat : 14986 (java) S 14961 14961 8795 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406168633 7584342016 17796 33554432000 4194304 4196468 140731997851184 140467777823648 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14987] ppid=14961 vsize=7406584 memory=7517181037363225192 CPUtime=0 cores=1,3,5,7
/proc/14979/task/14987/stat : 14987 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168633 7584342016 17796 33554432000 4194304 4196468 140731997851184 140467509388272 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14988] ppid=14961 vsize=7406584 memory=6081919351762736737 CPUtime=0 cores=1,3,5,7
/proc/14979/task/14988/stat : 14988 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168636 7584342016 17796 33554432000 4194304 4196468 140731997851184 140467134879952 140468951553947 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14989] ppid=14961 vsize=7406584 memory=6369869352449365602 CPUtime=0.02 cores=1,3,5,7
/proc/14979/task/14989/stat : 14989 (java) S 14961 14961 8795 0 -1 1077944384 577 0 0 0 2 0 0 0 20 0 15 0 406168636 7584342016 17796 33554432000 4194304 4196468 140731997851184 140468396890608 140468951546498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14990] ppid=14961 vsize=7406584 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14979/task/14990/stat : 14990 (java) S 14961 14961 8795 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 15 0 406168636 7584342016 17796 33554432000 4194304 4196468 140731997851184 140468395838064 140468951546498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14991] ppid=14961 vsize=7406584 memory=56 CPUtime=0.09 cores=1,3,5,7
/proc/14979/task/14991/stat : 14991 (java) R 14961 14961 8795 0 -1 4202560 511 0 0 0 9 0 0 0 20 0 15 0 406168636 7584342016 17796 33554432000 4194304 4196468 140731997851184 140468394785520 140468935783484 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14992] ppid=14961 vsize=7406584 memory=3496 CPUtime=0 cores=1,3,5,7
/proc/14979/task/14992/stat : 14992 (java) S 14961 14961 8795 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406168636 7584342016 17796 33554432000 4194304 4196468 140731997851184 140466636975200 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14993] ppid=14961 vsize=7406584 memory=2944 CPUtime=0 cores=1,3,5,7
/proc/14979/task/14993/stat : 14993 (java) S 14961 14961 8795 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406168636 7584342016 17796 33554432000 4194304 4196468 140731997851184 140468393732400 140468951546498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 7519712 KiB
Current children cumulated memory: 72660 KiB
[startup+2.60128 s]
/proc/loadavg: 2.06 2.15 2.09 3/234 14993
/proc/meminfo: memFree=23142168/32770624 swapFree=66927108/67108860
[pid=14961] ppid=14958 vsize=113128 memory=1476 CPUtime=3.81 cores=1,3,5,7
/proc/14961/stat : 14961 (scop.sh) S 14958 14961 8795 0 -1 4202496 584 25687 0 0 0 0 369 12 20 0 1 0 406168451 115843072 369 33554432000 4194304 5098028 140726798961856 140726798958600 139689345352316 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37523456 140726798967592 140726798967920 140726798967920 140726798970829 0
/proc/14961/statm: 28282 369 311 221 0 87 0
[pid=14979] ppid=14961 vsize=7871828 memory=119924 CPUtime=1.23 cores=1,3,5,7
/proc/14979/stat : 14979 (java) S 14961 14961 8795 0 -1 1077944320 23046 931 0 0 115 7 1 0 20 0 17 0 406168630 8060751872 29981 33554432000 4194304 4196468 140731997851184 140731997833728 140468951535351 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
/proc/14979/statm: 1967957 29981 3209 1 0 1929301 0
[pid=14979/tid=14980] ppid=14961 vsize=7871828 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/14979/task/14980/stat : 14980 (java) R 14961 14961 8795 0 -1 4202560 18080 931 0 0 72 5 1 0 20 0 17 0 406168630 8060751872 29981 33554432000 4194304 4196468 140731997851184 140468923373008 140468951547286 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14981] ppid=14961 vsize=7871828 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/14979/task/14981/stat : 14981 (java) S 14961 14961 8795 0 -1 1077944384 1 931 0 0 0 0 1 0 20 0 17 0 406168631 8060751872 29981 33554432000 4194304 4196468 140731997851184 140468955777808 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14982] ppid=14961 vsize=7871828 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14979/task/14982/stat : 14982 (java) S 14961 14961 8795 0 -1 1077944384 2 931 0 0 0 0 1 0 20 0 17 0 406168631 8060751872 29981 33554432000 4194304 4196468 140731997851184 140468436765584 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14983] ppid=14961 vsize=7871828 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14979/task/14983/stat : 14983 (java) S 14961 14961 8795 0 -1 1077944384 2 931 0 0 0 0 1 0 20 0 17 0 406168631 8060751872 29981 33554432000 4194304 4196468 140731997851184 140468435713040 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14984] ppid=14961 vsize=7871828 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14979/task/14984/stat : 14984 (java) S 14961 14961 8795 0 -1 1077944384 2 931 0 0 0 0 1 0 20 0 17 0 406168631 8060751872 29981 33554432000 4194304 4196468 140731997851184 140468434660496 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14985] ppid=14961 vsize=7871828 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14979/task/14985/stat : 14985 (java) S 14961 14961 8795 0 -1 1077944384 6 931 0 0 0 0 1 0 20 0 17 0 406168633 8060751872 29981 33554432000 4194304 4196468 140731997851184 140468397942768 140468951546498 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14986] ppid=14961 vsize=7871828 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14979/task/14986/stat : 14986 (java) S 14961 14961 8795 0 -1 1077944384 13 931 0 0 0 0 1 0 20 0 17 0 406168633 8060751872 29981 33554432000 4194304 4196468 140731997851184 140467777823648 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14987] ppid=14961 vsize=7871828 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14979/task/14987/stat : 14987 (java) S 14961 14961 8795 0 -1 1077944384 1 931 0 0 0 0 1 0 20 0 17 0 406168633 8060751872 29981 33554432000 4194304 4196468 140731997851184 140467509388272 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14988] ppid=14961 vsize=7871828 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14979/task/14988/stat : 14988 (java) S 14961 14961 8795 0 -1 1077944384 3 931 0 0 0 0 1 0 20 0 17 0 406168636 8060751872 29981 33554432000 4194304 4196468 140731997851184 140467134879952 140468951553947 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14989] ppid=14961 vsize=7871828 memory=103940 CPUtime=0.09 cores=1,3,5,7
/proc/14979/task/14989/stat : 14989 (java) S 14961 14961 8795 0 -1 1077944384 682 931 0 0 8 0 1 0 20 0 17 0 406168636 8060751872 29981 33554432000 4194304 4196468 140731997851184 140468396890608 140468951546498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14990] ppid=14961 vsize=7871828 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/14979/task/14990/stat : 14990 (java) S 14961 14961 8795 0 -1 1077944384 332 931 0 0 9 0 1 0 20 0 17 0 406168636 8060751872 29981 33554432000 4194304 4196468 140731997851184 140468395838064 140468951546498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14991] ppid=14961 vsize=7871828 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/14979/task/14991/stat : 14991 (java) R 14961 14961 8795 0 -1 4202560 809 931 0 0 21 0 1 0 20 0 17 0 406168636 8060751872 29981 33554432000 4194304 4196468 140731997851184 140468394785520 140468931250166 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14992] ppid=14961 vsize=7871828 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14979/task/14992/stat : 14992 (java) S 14961 14961 8795 0 -1 1077944384 3 931 0 0 0 0 1 0 20 0 17 0 406168636 8060751872 29981 33554432000 4194304 4196468 140731997851184 140466636975200 140468951545557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
[pid=14979/tid=14993] ppid=14961 vsize=7871828 memory=288230377091498274 CPUtime=0.01 cores=1,3,5,7
/proc/14979/task/14993/stat : 14993 (java) S 14961 14961 8795 0 -1 1077944384 1 931 0 0 0 0 1 0 20 0 17 0 406168636 8060751872 29981 33554432000 4194304 4196468 140731997851184 140468393732400 140468951546498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25849856 140731997856763 140731997856922 140731997856922 140731997859791 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 7984956 KiB
Current children cumulated memory: 121400 KiB
Child status: 0
Real time (s): 2.65622
CPU time (s): 5.16777
CPU user time (s): 4.94929
CPU system time (s): 0.218473
CPU usage (%): 194.553
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 212400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.94929
system time used= 0.218473
maximum resident set size= 219760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5179
involuntary context switches= 33
# summary of solver processes directly reported to runsolver:
# pid: 14961
# total CPU time (s): 5.16777
# total CPU user time (s): 4.94929
# total CPU system time (s): 0.218473
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042684 second user time and 0.069331 second system time
The end