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-6467-serial-file.bin HOME/instance-4387563-1568285985.xml
0.66/0.54
0.66/0.54 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54
0.66/0.57 c BEGIN-Prog: Thu Sep 12 12:59:00 CEST 2019
0.66/0.57 c PID: 6470
0.66/0.57 c IP: 172.20.3.102
0.66/0.57 c HOST: node102.alineos.net
0.66/0.58 c (0,0) Parsing Begin
1.45/1.16 c (0,0) Parsing End
1.45/1.17 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 95 ctr, max domain size 162
1.45/1.17 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.45/1.17 c (0,0) Constraint Name Generate Begin
1.45/1.18 c (0,0) Ctr:HOME/instance-4387563-1568285985.xml,Add:And:Le:NoOverlap:Num:Var
1.45/1.18 c (0,0) Constraint Name Generate End
1.45/1.18 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.45/1.18 c (0,0) CSP to CSPinCNF Begin
1.63/1.27 c (0,0) translated 10 (10%) constraints
1.63/1.27 c (0,0) translated 19 (20%) constraints
1.63/1.28 c (0,0) translated 29 (30%) constraints
1.63/1.29 c (0,0) translated 38 (40%) constraints
1.63/1.30 c (0,0) translated 48 (50%) constraints
1.80/1.30 c (0,0) translated 57 (60%) constraints
1.80/1.31 c (0,0) translated 67 (70%) constraints
1.80/1.32 c (0,0) translated 76 (80%) constraints
1.80/1.32 c (0,0) translated 86 (90%) constraints
2.01/1.45 c (0,0) translated 95 (100%) constraints
2.01/1.47 c (0,0) ===========================================
2.01/1.47 c (0,0) Order
2.01/1.47 c (0,0) ===========================================
2.01/1.48 c (0,0) translated 37 (10%) constraints
2.01/1.48 c (0,0) translated 73 (20%) constraints
2.01/1.48 c (0,0) translated 110 (30%) constraints
2.01/1.49 c (0,0) translated 146 (40%) constraints
2.01/1.50 c (0,0) translated 183 (50%) constraints
2.34/1.50 c (0,0) translated 219 (60%) constraints
2.34/1.51 c (0,0) translated 256 (70%) constraints
2.34/1.51 c (0,0) translated 292 (80%) constraints
2.34/1.52 c (0,0) translated 329 (90%) constraints
2.34/1.52 c (0,0) translated 365 (100%) constraints
2.34/1.52 c (0,0) CSP to CSPinCNF End
2.34/1.52 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 365 ctr, max domain size 143
2.34/1.52 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.34/1.52 c (0,0) CSPinCNF Propagation Begin
2.34/1.54 c (1,0) 0 values, 0 unsatisfiable literals, and 100 valid clauses are removed
2.34/1.54 c (1,0) CSPinCNF Propagation End
2.34/1.54 c (1,0) CSP: 50 int (0 aux), 0 bool (0 aux), 265 ctr, max domain size 143
2.34/1.54 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.34/1.54 c (1,0) Simplify CSPinCNF Begin
2.56/1.61 c (1,0) Simplify CSPinCNF End
2.56/1.61 c (1,0) CSP: 50 int (0 aux), 450 bool (450 aux), 715 ctr, max domain size 143
2.56/1.61 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.56/1.61 c (1,0) Calculate Precise Domain Begin
2.56/1.61 c (1,0) 0 values are removed by re-calculation
2.56/1.61 c (1,0) Calculate Precise Domain End
2.56/1.61 c (1,0) CSP: 50 int (0 aux), 450 bool (450 aux), 715 ctr, max domain size 143
2.56/1.61 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.56/1.61 c (1,0) CSPinCNF to SatSolver Begin
3.09/1.84 c (1,1) 72 (10 %) CSP clauses are encoded (0 SAT variables, 12076 SAT clauses)
3.40/1.90 c (1,1) 143 (20 %) CSP clauses are encoded (0 SAT variables, 17069 SAT clauses)
3.40/1.96 c (1,1) 215 (30 %) CSP clauses are encoded (0 SAT variables, 22098 SAT clauses)
3.73/2.01 c (1,1) 286 (40 %) CSP clauses are encoded (0 SAT variables, 26732 SAT clauses)
3.73/2.04 c (1,1) 358 (50 %) CSP clauses are encoded (0 SAT variables, 31529 SAT clauses)
3.73/2.08 c (1,1) 429 (60 %) CSP clauses are encoded (0 SAT variables, 36155 SAT clauses)
4.05/2.11 c (1,1) 501 (70 %) CSP clauses are encoded (0 SAT variables, 41131 SAT clauses)
4.05/2.14 c (1,1) 572 (80 %) CSP clauses are encoded (0 SAT variables, 46206 SAT clauses)
4.05/2.17 c (1,1) 644 (90 %) CSP clauses are encoded (0 SAT variables, 51086 SAT clauses)
4.05/2.19 c (1,1) 715 (100 %) CSP clauses are encoded (0 SAT variables, 55792 SAT clauses)
4.05/2.19 c (1,1) CSPinCNF to SatSolver End
4.05/2.19 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.05/2.19 c (1,1) 6149 bool, 55897 clause
4.05/2.19 c (1,1) Export Begin
4.24/2.29 c (1,1) Export to HOME/scop-6467-serial-file.bin
4.24/2.29 c (1,1) Export End
4.24/2.29 c (1,1) Export File Size: 0.01 MB
4.24/2.29 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
4.24/2.29 c END-Prog: Thu Sep 12 12:59:02 CEST 2019
4.40/2.31 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6467-serial-file.bin
4.40/2.77 c (0,0) Read Serial File Begin
4.40/2.77 c (0,0) HOME/scop-6467-serial-file.bin
4.40/2.97 c (0,0) Read Serial File End
4.40/2.98
4.40/2.98 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
4.40/2.98 (Solving Process)
4.40/2.98
4.40/3.00 c BEGIN-Prog: Thu Sep 12 12:59:03 CEST 2019
4.40/3.00 c PID: 6494
4.40/3.00 c IP: 172.20.3.102
4.40/3.00 c HOST: node102.alineos.net
4.40/3.00 c (0,0) SatSolver.solve Begin
4.40/3.00 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387563-1568285985.xml-scop-6470.cnf
5.35/3.04 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.35/3.04 c (0,0) c glueminisat-simp-2.2.10-193oa-n
5.35/3.04 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387563-1568285985.xml-scop-6470.cnf
5.35/3.04 c (0,0) c Options:
5.35/3.04 c (0,0) c CORE
5.35/3.04 c (0,0) c var_decay = 0.950
5.35/3.04 c (0,0) c clause_decay = 0.999
5.35/3.04 c (0,0) c random_var_freq = 0.000
5.35/3.04 c (0,0) c random_seed = 91648253.000
5.35/3.04 c (0,0) c luby_restart = 1
5.35/3.04 c (0,0) c ccmin_mode = 2
5.35/3.04 c (0,0) c phase_saving = 2
5.35/3.04 c (0,0) c rnd_pol = 0
5.35/3.04 c (0,0) c rnd_init_act = 0
5.35/3.04 c (0,0) c garbage_frac = 0.200
5.35/3.04 c (0,0) c restart_first = 1000
5.35/3.04 c (0,0) c restart_inc = 2.000
5.35/3.04 c (0,0) c MODEL
5.35/3.04 c (0,0) c partial_model = 0
5.35/3.04 c (0,0) c PROPAGATION
5.35/3.04 c (0,0) c bin_propagation = 1
5.35/3.04 c (0,0) c SIMPLIFICATION
5.35/3.04 c (0,0) c lrn_min_size = 100
5.35/3.04 c (0,0) c lazy_simp = 1
5.35/3.04 c (0,0) c lazy_interval = 10
5.35/3.04 c (0,0) c lazy_fld_probing = 1
5.35/3.04 c (0,0) c lazy_pol_probing = 1
5.35/3.04 c (0,0) c lazy_nec_probing = 1
5.35/3.04 c (0,0) c lazy_eqv_probing = 1
5.35/3.04 c (0,0) c lazy_cla_probing = 1
5.35/3.04 c (0,0) c lazy_lrn_min = 2
5.35/3.04 c (0,0) c lazy_uw_lit_elim = 1
5.35/3.04 c (0,0) c lazy_pr_lit_elim = 0
5.35/3.04 c (0,0) c lazy_bin_add = 3
5.35/3.04 c (0,0) c probed_lit_chain = 1
5.35/3.04 c (0,0) c pr_min_lits = 0.00020
5.35/3.04 c (0,0) c pr_min_starts = 500
5.35/3.04 c (0,0) c rw_min_lits = 0.010
5.35/3.04 c (0,0) c rw_min_starts = 500
5.35/3.04 c (0,0) c rand_attach = 0
5.35/3.04 c (0,0) c dec_elim = 1
5.35/3.04 c (0,0) c dec_elim_lim = 25
5.35/3.04 c (0,0) c dec_elim_len = -1
5.35/3.04 c (0,0) c amo = 0
5.35/3.04 c (0,0) c amo_grp = 1
5.35/3.04 c (0,0) c amo_max_bins = 1000000
5.35/3.04 c (0,0) c amo_starts = 50
5.35/3.04 c (0,0) c mace_cmd = mace
5.35/3.04 c (0,0) c DECISION
5.35/3.04 c (0,0) c rand_rebuild = 0
5.35/3.04 c (0,0) c rand_rebuild_confs = 10000
5.35/3.04 c (0,0) c inc_var_decay = 1
5.35/3.04 c (0,0) c inc_var_decay_period = 100000
5.35/3.04 c (0,0) c inc_var_decay_init = 0.600
5.35/3.04 c (0,0) c var_decay_mode = 0
5.35/3.04 c (0,0) c var_decay_gain = 0
5.35/3.04 c (0,0) c sloped_var_decay = 1
5.35/3.04 c (0,0) c max_var_decay = 0.990
5.35/3.04 c (0,0) c min_var_decay = 0.950
5.35/3.04 c (0,0) c min_var_decay_vars = 10000
5.35/3.04 c (0,0) c max_var_decay_vars = 500
5.35/3.04 c (0,0) c uip_bumping = 1
5.35/3.04 c (0,0) c lbd_act_bumping = 1
5.35/3.04 c (0,0) c rand_tiebreak = 0
5.35/3.04 c (0,0) c simp_rebuild = 1
5.35/3.05 c (0,0) c RESTART
5.35/3.05 c (0,0) c restart_strategy = 2
5.35/3.05 c (0,0) c restart_blocking = 0
5.35/3.05 c (0,0) c agility_decay = 0.99990
5.35/3.05 c (0,0) c lbd_restart_rate = 0.800
5.35/3.05 c (0,0) c dec_restart_rate = 0.950
5.35/3.05 c (0,0) c blk_restart_rate = 0.700
5.35/3.05 c (0,0) c lbd_queue_size = 50
5.35/3.05 c (0,0) c dec_queue_size = 50
5.35/3.05 c (0,0) c trl_queue_size = 5000
5.35/3.05 c (0,0) c blk_restart_weight = 1.000
5.35/3.05 c (0,0) c inc_rst_rate = 0
5.35/3.05 c (0,0) c inc_rst_rate_period = 500000
5.35/3.05 c (0,0) c inc_lbd_rst_rate_init = 0.600
5.35/3.05 c (0,0) c inc_dec_rst_rate_init = 0.750
5.35/3.05 c (0,0) c REDUCTION
5.35/3.05 c (0,0) c closed_lbd = 0
5.35/3.05 c (0,0) c closed_lbd_rate = 0.500
5.35/3.05 c (0,0) c rm_simulate = 0
5.35/3.05 c (0,0) c rdb_eval = 2
5.35/3.05 c (0,0) c rdb_call = 3
5.35/3.05 c (0,0) c rdb_ub = 0.500
5.35/3.05 c (0,0) c core_lbd_cvr = 0.800
5.35/3.05 c (0,0) c supp_lbd_cvr = 0.990
5.35/3.05 c (0,0) c core_lbd_lb = 2
5.35/3.05 c (0,0) c supp_lbd_lb = 2
5.35/3.05 c (0,0) c core_lbd_prd = 7
5.35/3.05 c (0,0) c supp_lbd_prd = 1
5.35/3.05 c (0,0) c othr_lbd_prd = 0
5.35/3.05 c (0,0) c inc_lrn_limit = 1000
5.35/3.05 c (0,0) c frozen_lbd = 30
5.35/3.05 c (0,0) c simp_min_starts = 100
5.35/3.05 c (0,0) c rm_low_act_learnts = 1
5.35/3.05 c (0,0) c lv0_reduce_db = 0
5.35/3.05 c (0,0) c reduce_db_base = 20000
5.35/3.05 c (0,0) c reduce_db_inc = 1000
5.35/3.05 c (0,0) c HARD
5.35/3.05 c (0,0) c inst_check = 200000
5.35/3.05 c (0,0) c small_block = 1.750
5.35/3.05 c (0,0) c slow_restart_speed = 400.000
5.35/3.05 c (0,0) c slow_restart_strategy = 3
5.35/3.05 c (0,0) c slow_lbd_restart_rate = 0.700
5.35/3.05 c (0,0) c slow_dec_restart_rate = 1.000
5.35/3.05 c (0,0) c slow_lbd_queue_size = 50
5.35/3.05 c (0,0) c slow_var_decay = 0.950
5.35/3.05 c (0,0) c slow_glue_threshold = 2
5.35/3.05 c (0,0) c slow_phase_saving = 2
5.35/3.05 c (0,0) c fast_restart_speed = 125.000
5.35/3.05 c (0,0) c fast_restart_strategy = 1
5.35/3.05 c (0,0) c fast_lbd_restart_rate = 0.800
5.35/3.05 c (0,0) c fast_dec_restart_rate = 0.950
5.35/3.05 c (0,0) c fast_lbd_queue_size = 50
5.35/3.05 c (0,0) c fast_var_decay = 1.000
5.35/3.05 c (0,0) c fast_glue_threshold = 2
5.35/3.05 c (0,0) c fast_phase_saving = 2
5.35/3.05 c (0,0) c STATS
5.35/3.05 c (0,0) c stats_conf_size = 10000
5.35/3.05 c (0,0) c max_stats_size = 30
5.35/3.05 c (0,0) c SOLVER
5.35/3.05 c (0,0) c minisat = 0
5.35/3.06 c (0,0) c Problem: 6149 variables, 54189 clauses, parsing 0.02 s
5.35/3.10 c (0,0) c reduced to 5557 variables, 53528 clauses (grow = 0)
5.35/3.11 c (0,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
5.54/3.11 c (0,0) c Simplification: 592 vars, 661 clauses are eliminated using 0.05 s
5.54/3.11 c (0,0) c
5.54/3.11 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
5.54/3.11 c (0,0) c
5.54/3.11 c (0,0) c 0 0 0 5557 53528 0 -nan -nan -nan -nan%
5.54/3.11 c (0,0) c 0 1 2 5557 53528 2 5.0 3.0 22.0 52.0%
5.54/3.11 c (0,0) c
5.54/3.11 c (0,0) c
5.54/3.11 c (0,0) c variables : 5557 (init 6149, after simp 5557, 0 non-decs, 50 csp)
5.54/3.11 c (0,0) c clauses : 53528 (init 54189, after simp 53528)
5.54/3.11 c (0,0) c restarts : 0 (2.00 confs/res, 2~2 confs, 0 blks, 0 last)
5.54/3.11 c (0,0) c conflicts : 2 (27 /sec, 100.00% dconfs, 0.00% supp, trail 136.74w x 22.00h, jmp 8.50h)
5.54/3.11 c (0,0) c decisions : 232 (0.6000 vdcy, 3133 /sec, 0.00% bin, rs 0.000 s)
5.54/3.11 c (0,0) c propagations : 7130 (96288 /sec, 30.73 lits/dec, 11.71% o.a.)
5.54/3.11 c (0,0) c conflict literals : 10 (0.00% deleted; 0.00% by bin min, 0.000 s)
5.54/3.11 c (0,0) c len : 5.000 (5.00 for all, max 6, used 0)
5.54/3.11 c (0,0) c lbd : 3.000 (3.00 (3.00) for all, max 3, used 0, -nan stdev, 1.667 blk)
5.54/3.11 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
5.54/3.11 c (0,0) c simp dbs : 1 (0.000 s)
5.54/3.11 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
5.54/3.11 c (0,0) c learnts : 2 (0 learnts removed, 0.00%)
5.54/3.11 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
5.54/3.11 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
5.54/3.11 c (0,0) c premise updates : 0 (0.00 /lit)
5.54/3.11 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
5.54/3.11 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
5.54/3.11 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
5.54/3.11 c (0,0) c unwatched lit elim: 0 (0.00+0.00%, 0+0 of 148505+10)
5.54/3.11 c (0,0) c classified type : undef
5.54/3.11 c (0,0) c progress : 4.453 %
5.54/3.11 c (0,0) c
5.54/3.11 c (0,0) c [Statistics]
5.54/3.11 c (0,0) c learnts len learnts lbd lit blk size eq vars size
5.54/3.11 c (0,0) c tot 2 2 6 0
5.54/3.11 c (0,0) c avg 5.000 3.000 1.667 -nan
5.54/3.11 c (0,0) c 1 0 ( 0.0%) 0 ( 0.0%) 3 (50.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 2 0 ( 0.0%) 0 ( 0.0%) 2 (33.3%) 0 (-nan%)
5.54/3.11 c (0,0) c 3 0 ( 0.0%) 2 (100.0%) 1 (16.7%) 0 (-nan%)
5.54/3.11 c (0,0) c 4 1 (50.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 5 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 6 1 (50.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 7 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 8 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 9 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 10 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 11 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 12 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 13 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 14 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 15 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 17 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 18 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 19 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 21 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 22 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 23 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 24 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 25 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 26 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 27 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.11 c (0,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.12 c (0,0) c 30 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.54/3.12 c (0,0) c
5.54/3.12 c (0,0) c [LBD Statistics]
5.54/3.12 c (0,0) c LBD used lbd used clause lbd unused clause lbd
5.54/3.12 c (0,0) c tot 0 0 2
5.54/3.12 c (0,0) c avg -nan -nan 3.000
5.54/3.12 c (0,0) c 1 0 (-nan/-nan%) 0 (-nan/-nan%) 0 ( 0.0/ 0.0%)
5.54/3.12 c (0,0) c 2 0 (-nan/-nan%) 0 (-nan/-nan%) 0 ( 0.0/ 0.0%)
5.54/3.12 c (0,0) c 3 0 (-nan/-nan%) 0 (-nan/-nan%) 2 (100.0/100.0%)
5.54/3.12 c (0,0) c
5.54/3.12 c (0,0) c Memory used : 27.00 MB
5.54/3.12 c (0,0) c CPU time : 0.074 s
5.54/3.12 c (0,0) c Real time : 0.077 s
5.54/3.12 c (0,0) c
5.54/3.12 c (0,0) s SATISFIABLE
5.54/3.15 c (0,0) SatSolver.solve End
5.54/3.15 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5.54/3.16 c (0,0) Show results Begin
5.81/3.24 c (0,0) x[0][0] = 12
5.81/3.24 c (0,0) x[0][1] = 27
5.81/3.24 c (0,0) x[0][2] = 31
5.81/3.24 c (0,0) x[0][3] = 43
5.81/3.24 c (0,0) x[0][4] = 53
5.81/3.24 c (0,0) x[1][0] = 53
5.81/3.24 c (0,0) x[1][1] = 106
5.81/3.24 c (0,0) x[1][2] = 117
5.81/3.24 c (0,0) x[1][3] = 129
5.81/3.24 c (0,0) x[1][4] = 150
5.81/3.24 c (0,0) x[2][0] = 47
5.81/3.24 c (0,0) x[2][1] = 87
5.81/3.24 c (0,0) x[2][2] = 129
5.81/3.24 c (0,0) x[2][3] = 140
5.81/3.24 c (0,0) x[2][4] = 149
5.81/3.24 c (0,0) x[3][0] = 31
5.81/3.24 c (0,0) x[3][1] = 41
5.81/3.24 c (0,0) x[3][2] = 56
5.81/3.24 c (0,0) x[3][3] = 73
5.81/3.24 c (0,0) x[3][4] = 89
5.81/3.24 c (0,0) x[4][0] = 9
5.81/3.24 c (0,0) x[4][1] = 42
5.81/3.24 c (0,0) x[4][2] = 105
5.81/3.24 c (0,0) x[4][3] = 117
5.81/3.24 c (0,0) x[4][4] = 124
5.81/3.24 c (0,0) x[5][0] = 67
5.81/3.24 c (0,0) x[5][1] = 79
5.81/3.24 c (0,0) x[5][2] = 95
5.81/3.24 c (0,0) x[5][3] = 105
5.81/3.24 c (0,0) x[5][4] = 108
5.81/3.24 c (0,0) x[6][0] = 16
5.81/3.24 c (0,0) x[6][1] = 27
5.81/3.24 c (0,0) x[6][2] = 43
5.81/3.24 c (0,0) x[6][3] = 81
5.81/3.24 c (0,0) x[6][4] = 115
5.81/3.24 c (0,0) x[7][0] = 53
5.81/3.24 c (0,0) x[7][1] = 61
5.81/3.24 c (0,0) x[7][2] = 84
5.81/3.24 c (0,0) x[7][3] = 96
5.81/3.24 c (0,0) x[7][4] = 124
5.81/3.24 c (0,0) x[8][0] = 7
5.81/3.24 c (0,0) x[8][1] = 16
5.81/3.24 c (0,0) x[8][2] = 21
5.81/3.24 c (0,0) x[8][3] = 31
5.81/3.24 c (0,0) x[8][4] = 42
5.81/3.24 c (0,0) x[9][0] = 61
5.81/3.24 c (0,0) x[9][1] = 65
5.81/3.24 c (0,0) x[9][2] = 71
5.81/3.24 c (0,0) x[9][3] = 84
5.81/3.24 c (0,0) x[9][4] = 92
5.81/3.24 s SATISFIABLE
5.81/3.25 v <instantiation>
5.81/3.25 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4]</list>
5.81/3.25 v <values>12 27 31 43 53 53 106 117 129 150 47 87 129 140 149 31 41 56 73 89 9 42 105 117 124 67 79 95 105 108 16 27 43 81 115 53 61 84 96 124 7 16 21 31 42 61 65 71 84 92</values>
5.81/3.25 v </instantiation>
5.81/3.25 c (0,0) Show results End
5.81/3.25 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
5.81/3.25 c (0,0) 0,0,STOP-AFTER(ALL)
5.81/3.25 c END-Prog: Thu Sep 12 12:59:03 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 (15423 MiB free)
memory of node 1: 16384 MiB (15637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387563-1568285985/watcher-4387563-1568285985 -o /tmp/evaluation-result-4387563-1568285985/solver-4387563-1568285985 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6430 --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-4387563-1568285985.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6467, runsolver pid=6460
[startup+0.100163 s]*
/proc/loadavg: 1.88 2.03 2.03 4/229 6493
/proc/meminfo: memFree=31721848/32770624 swapFree=66992636/67108860
[pid=6467] ppid=6460 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6467/stat : 6467 (scop.sh) S 6460 6467 5522 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 404849948 115843072 349 33554432000 4194304 5098028 140728587305808 140728587303064 139907244565116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24506368 140728587313960 140728587314288 140728587314288 140728587317197 0
/proc/6467/statm: 28282 349 296 221 0 87 0
[pid=6470] ppid=6467 vsize=15014680 memory=73400 CPUtime=0.11 cores=0,2,4,6
/proc/6470/stat : 6470 (java) S 6467 6467 5522 0 -1 1077944320 6639 0 0 0 9 2 0 0 20 0 15 0 404849948 15375032320 18350 33554432000 4194304 4196468 140734172160128 140734172142672 140007724998391 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
/proc/6470/statm: 3753670 18350 2888 1 0 3716075 0
[pid=6470/tid=6471] ppid=6467 vsize=15016308 memory=7100839861464433778 CPUtime=0.09 cores=0,2,4,6
/proc/6470/task/6471/stat : 6471 (java) R 6467 6467 5522 0 -1 4202560 4868 0 0 0 7 2 0 0 20 0 15 0 404849949 15376699392 18746 33554432000 4194304 4196468 140734172160128 140007696782640 140007717678109 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6475] ppid=6467 vsize=15016308 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6475/stat : 6475 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849950 15376699392 18812 33554432000 4194304 4196468 140734172160128 140007729240464 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6476] ppid=6467 vsize=15016308 memory=140225002305152 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6476/stat : 6476 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849950 15376699392 18812 33554432000 4194304 4196468 140734172160128 140007547328784 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6477] ppid=6467 vsize=15016308 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6477/stat : 6477 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849950 15376699392 18812 33554432000 4194304 4196468 140734172160128 140007184083600 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6478] ppid=6467 vsize=15016308 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6478/stat : 6478 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849950 15376699392 18812 33554432000 4194304 4196468 140734172160128 140007183030800 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6479] ppid=6467 vsize=15016308 memory=140225002305152 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6479/stat : 6479 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849952 15376699392 18878 33554432000 4194304 4196468 140734172160128 140006762670704 140007725009538 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6480] ppid=6467 vsize=15016308 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6480/stat : 6480 (java) S 6467 6467 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404849952 15376699392 18878 33554432000 4194304 4196468 140734172160128 140006270166304 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6481] ppid=6467 vsize=15016308 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6481/stat : 6481 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849952 15376699392 18878 33554432000 4194304 4196468 140734172160128 140006001731184 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6488] ppid=6467 vsize=15016308 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6488/stat : 6488 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404849955 15376699392 18878 33554432000 4194304 4196468 140734172160128 140005627222608 140007725016987 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6489] ppid=6467 vsize=15016308 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6489/stat : 6489 (java) S 6467 6467 5522 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 404849955 15376699392 18878 33554432000 4194304 4196468 140734172160128 140006761617520 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6490] ppid=6467 vsize=15016308 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6490/stat : 6490 (java) S 6467 6467 5522 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 404849955 15376699392 18878 33554432000 4194304 4196468 140734172160128 140006760564720 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6491] ppid=6467 vsize=15016308 memory=140225002305152 CPUtime=0.01 cores=0,2,4,6
/proc/6470/task/6491/stat : 6491 (java) S 6467 6467 5522 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 404849955 15376699392 18944 33554432000 4194304 4196468 140734172160128 140006759512432 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6492] ppid=6467 vsize=15016308 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6492/stat : 6492 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404849955 15376699392 18944 33554432000 4194304 4196468 140734172160128 140005129316832 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6493] ppid=6467 vsize=15016308 memory=140225002305152 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6493/stat : 6493 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849955 15376699392 18944 33554432000 4194304 4196468 140734172160128 140006758460336 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15127808 KiB
Current children cumulated memory: 74796 KiB
[startup+0.210846 s]*
/proc/loadavg: 1.88 2.03 2.03 4/229 6493
/proc/meminfo: memFree=31692352/32770624 swapFree=66992636/67108860
[pid=6467] ppid=6460 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6467/stat : 6467 (scop.sh) S 6460 6467 5522 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 404849948 115843072 349 33554432000 4194304 5098028 140728587305808 140728587303064 139907244565116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24506368 140728587313960 140728587314288 140728587314288 140728587317197 0
/proc/6467/statm: 28282 349 296 221 0 87 0
[pid=6470] ppid=6467 vsize=15012696 memory=85844 CPUtime=0.25 cores=0,2,4,6
/proc/6470/stat : 6470 (java) S 6467 6467 5522 0 -1 1077944320 10954 0 0 0 21 4 0 0 20 0 15 0 404849948 15373000704 21461 33554432000 4194304 4196468 140734172160128 140734172142672 140007724998391 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
/proc/6470/statm: 3753174 21461 2981 1 0 3715579 0
[pid=6470/tid=6471] ppid=6467 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6470/task/6471/stat : 6471 (java) R 6467 6467 5522 0 -1 4202560 8683 0 0 0 17 3 0 0 20 0 15 0 404849949 15373000704 21461 33554432000 4194304 4196468 140734172160128 140007696812864 140007709078878 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6475] ppid=6467 vsize=15012696 memory=2809255 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6475/stat : 6475 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849950 15373000704 21461 33554432000 4194304 4196468 140734172160128 140007729240464 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6476] ppid=6467 vsize=15012696 memory=2820719 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6476/stat : 6476 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849950 15373000704 21461 33554432000 4194304 4196468 140734172160128 140007547328784 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6477] ppid=6467 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6477/stat : 6477 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849950 15373000704 21461 33554432000 4194304 4196468 140734172160128 140007184083600 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6478] ppid=6467 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6478/stat : 6478 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849950 15373000704 21461 33554432000 4194304 4196468 140734172160128 140007183030800 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6479] ppid=6467 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6479/stat : 6479 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849952 15373000704 21461 33554432000 4194304 4196468 140734172160128 140006762670704 140007725009538 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6480] ppid=6467 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6480/stat : 6480 (java) S 6467 6467 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404849952 15373000704 21461 33554432000 4194304 4196468 140734172160128 140006270166304 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6481] ppid=6467 vsize=15012696 memory=140225002305152 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6481/stat : 6481 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849952 15373000704 21461 33554432000 4194304 4196468 140734172160128 140006001731184 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6488] ppid=6467 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6488/stat : 6488 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404849955 15373000704 21461 33554432000 4194304 4196468 140734172160128 140005627222608 140007725016987 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6489] ppid=6467 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6489/stat : 6489 (java) S 6467 6467 5522 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 404849955 15373000704 21527 33554432000 4194304 4196468 140734172160128 140006761617520 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6490] ppid=6467 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6490/stat : 6490 (java) S 6467 6467 5522 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 404849955 15373000704 21527 33554432000 4194304 4196468 140734172160128 140006760564720 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6491] ppid=6467 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6470/task/6491/stat : 6491 (java) R 6467 6467 5522 0 -1 4202560 482 0 0 0 3 0 0 0 20 0 15 0 404849955 15373000704 21527 33554432000 4194304 4196468 140734172160128 140006759512432 140007717235518 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6492] ppid=6467 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6492/stat : 6492 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404849955 15373000704 21527 33554432000 4194304 4196468 140734172160128 140005129316832 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6493] ppid=6467 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6493/stat : 6493 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849955 15373000704 21527 33554432000 4194304 4196468 140734172160128 140006758460336 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87240 KiB
[startup+0.315573 s]*
/proc/loadavg: 1.88 2.03 2.03 3/229 6493
/proc/meminfo: memFree=31686416/32770624 swapFree=66992636/67108860
[pid=6467] ppid=6460 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6467/stat : 6467 (scop.sh) S 6460 6467 5522 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 404849948 115843072 349 33554432000 4194304 5098028 140728587305808 140728587303064 139907244565116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24506368 140728587313960 140728587314288 140728587314288 140728587317197 0
/proc/6467/statm: 28282 349 296 221 0 87 0
[pid=6470] ppid=6467 vsize=15012696 memory=89708 CPUtime=0.43 cores=0,2,4,6
/proc/6470/stat : 6470 (java) S 6467 6467 5522 0 -1 1077944320 12033 0 0 0 39 4 0 0 20 0 15 0 404849948 15373000704 22427 33554432000 4194304 4196468 140734172160128 140734172142672 140007724998391 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
/proc/6470/statm: 3753174 22427 3032 1 0 3715579 0
[pid=6470/tid=6471] ppid=6467 vsize=15012696 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/6470/task/6471/stat : 6471 (java) R 6467 6467 5522 0 -1 4202560 9547 0 0 0 27 3 0 0 20 0 15 0 404849949 15373000704 22427 33554432000 4194304 4196468 140734172160128 140007696781408 140007706561924 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6475] ppid=6467 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6475/stat : 6475 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849950 15373000704 22427 33554432000 4194304 4196468 140734172160128 140007729240464 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6476] ppid=6467 vsize=15012696 memory=16102572036228692 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6476/stat : 6476 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849950 15373000704 22427 33554432000 4194304 4196468 140734172160128 140007547328784 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6477] ppid=6467 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6477/stat : 6477 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849950 15373000704 22427 33554432000 4194304 4196468 140734172160128 140007184083600 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6478] ppid=6467 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6478/stat : 6478 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849950 15373000704 22427 33554432000 4194304 4196468 140734172160128 140007183030800 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6479] ppid=6467 vsize=15012696 memory=140225002305152 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6479/stat : 6479 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849952 15373000704 22427 33554432000 4194304 4196468 140734172160128 140006762670704 140007725009538 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6480] ppid=6467 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6480/stat : 6480 (java) S 6467 6467 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404849952 15373000704 22427 33554432000 4194304 4196468 140734172160128 140006270166304 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6481] ppid=6467 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6481/stat : 6481 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849952 15373000704 22427 33554432000 4194304 4196468 140734172160128 140006001731184 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6488] ppid=6467 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6488/stat : 6488 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404849955 15373000704 22427 33554432000 4194304 4196468 140734172160128 140005627222608 140007725016987 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6489] ppid=6467 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6470/task/6489/stat : 6489 (java) S 6467 6467 5522 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 404849955 15373000704 22427 33554432000 4194304 4196468 140734172160128 140006761617520 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6490] ppid=6467 vsize=15012696 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6470/task/6490/stat : 6490 (java) S 6467 6467 5522 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 15 0 404849955 15373000704 22427 33554432000 4194304 4196468 140734172160128 140006760564720 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6491] ppid=6467 vsize=15012696 memory=140225002305152 CPUtime=0.07 cores=0,2,4,6
/proc/6470/task/6491/stat : 6491 (java) S 6467 6467 5522 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 15 0 404849955 15373000704 22427 33554432000 4194304 4196468 140734172160128 140006759512432 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6492] ppid=6467 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6492/stat : 6492 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404849955 15373000704 22427 33554432000 4194304 4196468 140734172160128 140005129316832 140007725008597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6493] ppid=6467 vsize=15012696 memory=140225002305152 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6493/stat : 6493 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849955 15373000704 22427 33554432000 4194304 4196468 140734172160128 140006758460336 140007725009538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91104 KiB
[startup+0.700765 s]
/proc/loadavg: 1.88 2.03 2.03 3/229 6493
/proc/meminfo: memFree=31639908/32770624 swapFree=66992636/67108860
[pid=6467] ppid=6460 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6467/stat : 6467 (scop.sh) S 6460 6467 5522 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 404849948 115843072 349 33554432000 4194304 5098028 140728587305808 140728587303064 139907244565116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24506368 140728587313960 140728587314288 140728587314288 140728587317197 0
/proc/6467/statm: 28282 349 296 221 0 87 0
[pid=6470] ppid=6467 vsize=15018968 memory=126460 CPUtime=0.95 cores=0,2,4,6
/proc/6470/stat : 6470 (java) S 6467 6467 5522 0 -1 1077944320 19319 0 0 0 88 7 0 0 20 0 15 0 404849948 15379423232 31615 33554432000 4194304 4196468 140734172160128 140734172142672 140007724998391 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
/proc/6470/statm: 3754742 31615 3187 1 0 3716091 0
[pid=6470/tid=6471] ppid=6467 vsize=15018968 memory=2124 CPUtime=0.64 cores=0,2,4,6
/proc/6470/task/6471/stat : 6471 (java) D 6467 6467 5522 0 -1 4202560 16358 0 0 0 58 6 0 0 20 0 15 0 404849949 15379423232 31615 33554432000 4194304 4196468 140734172160128 140007696833056 140007725020317 0 4 2 25189581 18446744071580419588 0 0 -1 4 0 0 2 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6475] ppid=6467 vsize=15018968 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6475/stat : 6475 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849950 15379423232 31615 33554432000 4194304 4196468 140734172160128 140007729240464 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6476] ppid=6467 vsize=15018968 memory=496 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6476/stat : 6476 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849950 15379423232 31615 33554432000 4194304 4196468 140734172160128 140007547328784 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6477] ppid=6467 vsize=15018968 memory=928 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6477/stat : 6477 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849950 15379423232 31615 33554432000 4194304 4196468 140734172160128 140007184083600 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6478] ppid=6467 vsize=15018968 memory=1604 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6478/stat : 6478 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849950 15379423232 31615 33554432000 4194304 4196468 140734172160128 140007183030800 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6479] ppid=6467 vsize=15018968 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6479/stat : 6479 (java) S 6467 6467 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404849952 15379423232 31615 33554432000 4194304 4196468 140734172160128 140006762670704 140007725009538 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6480] ppid=6467 vsize=15018968 memory=2356 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6480/stat : 6480 (java) S 6467 6467 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404849952 15379423232 31615 33554432000 4194304 4196468 140734172160128 140006270166304 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6481] ppid=6467 vsize=15018968 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6481/stat : 6481 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849952 15379423232 31615 33554432000 4194304 4196468 140734172160128 140006001731184 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6488] ppid=6467 vsize=15018968 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6488/stat : 6488 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404849955 15379423232 31615 33554432000 4194304 4196468 140734172160128 140005627222608 140007725016987 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6489] ppid=6467 vsize=15018968 memory=8025788814061032556 CPUtime=0.07 cores=0,2,4,6
/proc/6470/task/6489/stat : 6489 (java) S 6467 6467 5522 0 -1 1077944384 612 0 0 0 7 0 0 0 20 0 15 0 404849955 15379423232 31615 33554432000 4194304 4196468 140734172160128 140006761617520 140007725009538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6490] ppid=6467 vsize=15018968 memory=4638778402627731557 CPUtime=0.08 cores=0,2,4,6
/proc/6470/task/6490/stat : 6490 (java) S 6467 6467 5522 0 -1 1077944384 411 0 0 0 8 0 0 0 20 0 15 0 404849955 15379423232 31615 33554432000 4194304 4196468 140734172160128 140006760564720 140007725009538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6491] ppid=6467 vsize=15018968 memory=8514726395714826909 CPUtime=0.13 cores=0,2,4,6
/proc/6470/task/6491/stat : 6491 (java) S 6467 6467 5522 0 -1 1077944384 603 0 0 0 13 0 0 0 20 0 15 0 404849955 15379423232 31615 33554432000 4194304 4196468 140734172160128 140006759512432 140007725009538 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6492] ppid=6467 vsize=15018968 memory=7521407684649314384 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6492/stat : 6492 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404849955 15379423232 31615 33554432000 4194304 4196468 140734172160128 140005129316832 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6493] ppid=6467 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6493/stat : 6493 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849955 15379423232 31615 33554432000 4194304 4196468 140734172160128 140006758460336 140007725009538 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 127856 KiB
[startup+1.50557 s]
/proc/loadavg: 1.88 2.03 2.03 7/229 6493
/proc/meminfo: memFree=31559204/32770624 swapFree=66992636/67108860
[pid=6467] ppid=6460 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6467/stat : 6467 (scop.sh) S 6460 6467 5522 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 404849948 115843072 349 33554432000 4194304 5098028 140728587305808 140728587303064 139907244565116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24506368 140728587313960 140728587314288 140728587314288 140728587317197 0
/proc/6467/statm: 28282 349 296 221 0 87 0
[pid=6470] ppid=6467 vsize=15023140 memory=157256 CPUtime=2.34 cores=0,2,4,6
/proc/6470/stat : 6470 (java) S 6467 6467 5522 0 -1 1077944320 22538 0 1 0 225 9 0 0 20 0 15 0 404849948 15383695360 39314 33554432000 4194304 4196468 140734172160128 140734172142672 140007724998391 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
/proc/6470/statm: 3755785 39314 3243 1 0 3717115 0
[pid=6470/tid=6471] ppid=6467 vsize=15023140 memory=2810125 CPUtime=1.27 cores=0,2,4,6
/proc/6470/task/6471/stat : 6471 (java) R 6467 6467 5522 0 -1 4202560 17873 0 1 0 120 7 0 0 20 0 15 0 404849949 15383695360 39314 33554432000 4194304 4196468 140734172160128 140007696833920 140007705195024 0 4 2 25189581 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6475] ppid=6467 vsize=15023140 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6475/stat : 6475 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849950 15383695360 39314 33554432000 4194304 4196468 140734172160128 140007729240464 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6476] ppid=6467 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6476/stat : 6476 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849950 15383695360 39314 33554432000 4194304 4196468 140734172160128 140007547328784 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6477] ppid=6467 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6477/stat : 6477 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404849950 15383695360 39314 33554432000 4194304 4196468 140734172160128 140007184083600 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6478] ppid=6467 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6478/stat : 6478 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849950 15383695360 39314 33554432000 4194304 4196468 140734172160128 140007183030800 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6479] ppid=6467 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6479/stat : 6479 (java) S 6467 6467 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404849952 15383695360 39314 33554432000 4194304 4196468 140734172160128 140006762670704 140007725009538 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6480] ppid=6467 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6480/stat : 6480 (java) S 6467 6467 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404849952 15383695360 39314 33554432000 4194304 4196468 140734172160128 140006270166304 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6481] ppid=6467 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6481/stat : 6481 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849952 15383695360 39314 33554432000 4194304 4196468 140734172160128 140006001731184 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6488] ppid=6467 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6488/stat : 6488 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404849955 15383695360 39314 33554432000 4194304 4196468 140734172160128 140005627222608 140007725016987 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6489] ppid=6467 vsize=15023140 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/6470/task/6489/stat : 6489 (java) R 6467 6467 5522 0 -1 4202560 885 0 0 0 26 0 0 0 20 0 15 0 404849955 15383695360 39314 33554432000 4194304 4196468 140734172160128 140006761608848 140007725019738 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6490] ppid=6467 vsize=15023140 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/6470/task/6490/stat : 6490 (java) R 6467 6467 5522 0 -1 4202560 520 0 0 0 22 0 0 0 20 0 15 0 404849955 15383695360 39314 33554432000 4194304 4196468 140734172160128 140006760550032 140007708498515 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6491] ppid=6467 vsize=15023140 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/6470/task/6491/stat : 6491 (java) S 6467 6467 5522 0 -1 1077944384 1925 0 0 0 55 0 0 0 20 0 15 0 404849955 15383695360 39314 33554432000 4194304 4196468 140734172160128 140006759512432 140007725009538 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6492] ppid=6467 vsize=15023140 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6492/stat : 6492 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404849955 15383695360 39314 33554432000 4194304 4196468 140734172160128 140005129316832 140007725008597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
[pid=6470/tid=6493] ppid=6467 vsize=15023140 memory=15964 CPUtime=0 cores=0,2,4,6
/proc/6470/task/6493/stat : 6493 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404849955 15383695360 39314 33554432000 4194304 4196468 140734172160128 140006758460336 140007725009538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35135488 140734172168943 140734172169370 140734172169370 140734172172239 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 158652 KiB
[startup+3.1106 s]
/proc/loadavg: 1.88 2.03 2.03 5/229 6508
/proc/meminfo: memFree=30859584/32770624 swapFree=66992636/67108860
[pid=6467] ppid=6460 vsize=113128 memory=1476 CPUtime=4.4 cores=0,2,4,6
/proc/6467/stat : 6467 (scop.sh) S 6460 6467 5522 0 -1 4202496 585 25426 0 2 0 0 426 14 20 0 1 0 404849948 115843072 369 33554432000 4194304 5098028 140728587305808 140728587302552 139907244565116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24506368 140728587313960 140728587314288 140728587314288 140728587317197 0
/proc/6467/statm: 28282 369 311 221 0 87 0
[pid=6494] ppid=6467 vsize=8068440 memory=119432 CPUtime=1.14 cores=0,2,4,6
/proc/6494/stat : 6494 (java) S 6467 6467 5522 0 -1 1077944320 19667 0 0 0 108 6 0 0 20 0 19 0 404850180 8262082560 29858 33554432000 4194304 4196468 140729976256384 140729976238928 140385966108407 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
/proc/6494/statm: 2017110 29858 3210 1 0 1978454 0
[pid=6494/tid=6495] ppid=6467 vsize=8068440 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/6494/task/6495/stat : 6495 (java) S 6467 6467 5522 0 -1 1077944384 16716 0 0 0 69 5 0 0 20 0 19 0 404850180 8262082560 29858 33554432000 4194304 4196468 140729976256384 140385937948576 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6496] ppid=6467 vsize=8068440 memory=280449688117824 CPUtime=0 cores=0,2,4,6
/proc/6494/task/6496/stat : 6496 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404850181 8262082560 29858 33554432000 4194304 4196468 140729976256384 140385970350480 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6497] ppid=6467 vsize=8068440 memory=280449687834088 CPUtime=0 cores=0,2,4,6
/proc/6494/task/6497/stat : 6497 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404850181 8262082560 29858 33554432000 4194304 4196468 140729976256384 140385776113936 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6498] ppid=6467 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6494/task/6498/stat : 6498 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404850181 8262082560 29858 33554432000 4194304 4196468 140729976256384 140385775061648 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6499] ppid=6467 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6494/task/6499/stat : 6499 (java) S 6467 6467 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404850181 8262082560 29858 33554432000 4194304 4196468 140729976256384 140385774008848 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6500] ppid=6467 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6494/task/6500/stat : 6500 (java) S 6467 6467 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404850183 8262082560 29858 33554432000 4194304 4196468 140729976256384 140385345014384 140385966119554 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6501] ppid=6467 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6494/task/6501/stat : 6501 (java) S 6467 6467 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404850183 8262082560 29858 33554432000 4194304 4196468 140729976256384 140384831268128 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6502] ppid=6467 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6494/task/6502/stat : 6502 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404850183 8262082560 29858 33554432000 4194304 4196468 140729976256384 140384562833008 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6503] ppid=6467 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/6494/task/6503/stat : 6503 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404850186 8262082560 29858 33554432000 4194304 4196468 140729976256384 140384188324432 140385966127003 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6504] ppid=6467 vsize=8068440 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6494/task/6504/stat : 6504 (java) S 6467 6467 5522 0 -1 1077944384 614 0 0 0 8 0 0 0 20 0 19 0 404850186 8262082560 29858 33554432000 4194304 4196468 140729976256384 140385343961200 140385966119554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6505] ppid=6467 vsize=8068440 memory=6944656592455097440 CPUtime=0.09 cores=0,2,4,6
/proc/6494/task/6505/stat : 6505 (java) S 6467 6467 5522 0 -1 1077944384 430 0 0 0 9 0 0 0 20 0 19 0 404850186 8262082560 29858 33554432000 4194304 4196468 140729976256384 140385342908400 140385966119554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6506] ppid=6467 vsize=8068440 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/6494/task/6506/stat : 6506 (java) S 6467 6467 5522 0 -1 1077944384 517 0 0 0 19 0 0 0 20 0 19 0 404850186 8262082560 29858 33554432000 4194304 4196468 140729976256384 140385341856112 140385966119554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6507] ppid=6467 vsize=8068440 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/6494/task/6507/stat : 6507 (java) S 6467 6467 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404850186 8262082560 29858 33554432000 4194304 4196468 140729976256384 140383690418656 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6508] ppid=6467 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/6494/task/6508/stat : 6508 (java) S 6467 6467 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404850186 8262082560 29858 33554432000 4194304 4196468 140729976256384 140385340804016 140385966119554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
Current children cumulated CPU time: 5.54 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 120908 KiB
[startup+3.26993 s]
# the end of solver process 6467 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.70868 s, system=0.246289 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20251 s]
/proc/loadavg: 1.88 2.03 2.03 5/229 6508
/proc/meminfo: memFree=30859584/32770624 swapFree=66992636/67108860
[pid=6467] ppid=6460 vsize=113128 memory=1476 CPUtime=4.4 cores=0,2,4,6
/proc/6467/stat : 6467 (scop.sh) S 6460 6467 5522 0 -1 4202496 585 25426 0 2 0 0 426 14 20 0 1 0 404849948 115843072 369 33554432000 4194304 5098028 140728587305808 140728587302552 139907244565116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24506368 140728587313960 140728587314288 140728587314288 140728587317197 0
/proc/6467/statm: 28282 369 311 221 0 87 0
[pid=6494] ppid=6467 vsize=7937364 memory=123568 CPUtime=1.41 cores=0,2,4,6
/proc/6494/stat : 6494 (java) S 6467 6467 5522 0 -1 1077944320 21826 2738 0 0 127 7 7 0 20 0 17 0 404850180 8127860736 30892 33554432000 4194304 4196468 140729976256384 140729976238928 140385966108407 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
/proc/6494/statm: 1984341 30892 3223 1 0 1945685 0
[pid=6494/tid=6495] ppid=6467 vsize=7937364 memory=6656426216303648864 CPUtime=0.86 cores=0,2,4,6
/proc/6494/task/6495/stat : 6495 (java) R 6467 6467 5522 0 -1 4202560 16907 2738 0 0 74 5 7 0 20 0 17 0 404850180 8127860736 30892 33554432000 4194304 4196468 140729976256384 140385937938928 140385966130333 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6496] ppid=6467 vsize=7937364 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/6494/task/6496/stat : 6496 (java) S 6467 6467 5522 0 -1 1077944384 1 2738 0 0 0 0 7 0 20 0 17 0 404850181 8127860736 30892 33554432000 4194304 4196468 140729976256384 140385970350480 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6497] ppid=6467 vsize=7937364 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/6494/task/6497/stat : 6497 (java) S 6467 6467 5522 0 -1 1077944384 1 2738 0 0 0 0 7 0 20 0 17 0 404850181 8127860736 30892 33554432000 4194304 4196468 140729976256384 140385776113936 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6498] ppid=6467 vsize=7937364 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/6494/task/6498/stat : 6498 (java) S 6467 6467 5522 0 -1 1077944384 2 2738 0 0 0 0 7 0 20 0 17 0 404850181 8127860736 30892 33554432000 4194304 4196468 140729976256384 140385775061648 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6499] ppid=6467 vsize=7937364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6494/task/6499/stat : 6499 (java) S 6467 6467 5522 0 -1 1077944384 2 2738 0 0 0 0 7 0 20 0 17 0 404850181 8127860736 30892 33554432000 4194304 4196468 140729976256384 140385774008848 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6500] ppid=6467 vsize=7937364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6494/task/6500/stat : 6500 (java) S 6467 6467 5522 0 -1 1077944384 5 2738 0 0 0 0 7 0 20 0 17 0 404850183 8127860736 30892 33554432000 4194304 4196468 140729976256384 140385345014384 140385966119554 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6501] ppid=6467 vsize=7937364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6494/task/6501/stat : 6501 (java) S 6467 6467 5522 0 -1 1077944384 13 2738 0 0 0 0 7 0 20 0 17 0 404850183 8127860736 30892 33554432000 4194304 4196468 140729976256384 140384831268128 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6502] ppid=6467 vsize=7937364 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/6494/task/6502/stat : 6502 (java) S 6467 6467 5522 0 -1 1077944384 1 2738 0 0 0 0 7 0 20 0 17 0 404850183 8127860736 30892 33554432000 4194304 4196468 140729976256384 140384562833008 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6503] ppid=6467 vsize=7937364 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/6494/task/6503/stat : 6503 (java) S 6467 6467 5522 0 -1 1077944384 3 2738 0 0 0 0 7 0 20 0 17 0 404850186 8127860736 30892 33554432000 4194304 4196468 140729976256384 140384188324432 140385966127003 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6504] ppid=6467 vsize=7937364 memory=8836 CPUtime=0.18 cores=0,2,4,6
/proc/6494/task/6504/stat : 6504 (java) R 6467 6467 5522 0 -1 4202560 635 2738 0 0 11 0 7 0 20 0 17 0 404850186 8127860736 30892 33554432000 4194304 4196468 140729976256384 140385343952176 140385946589824 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6505] ppid=6467 vsize=7937364 memory=11044 CPUtime=0.2 cores=0,2,4,6
/proc/6494/task/6505/stat : 6505 (java) S 6467 6467 5522 0 -1 1077944384 448 2738 0 0 13 0 7 0 20 0 17 0 404850186 8127860736 30892 33554432000 4194304 4196468 140729976256384 140385342908400 140385966119554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6506] ppid=6467 vsize=7937364 memory=28705 CPUtime=0.3 cores=0,2,4,6
/proc/6494/task/6506/stat : 6506 (java) S 6467 6467 5522 0 -1 1077944384 605 2738 0 0 23 0 7 0 20 0 17 0 404850186 8127860736 30892 33554432000 4194304 4196468 140729976256384 140385341856112 140385966119554 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6507] ppid=6467 vsize=7937364 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/6494/task/6507/stat : 6507 (java) S 6467 6467 5522 0 -1 1077944384 3 2738 0 0 0 0 7 0 20 0 17 0 404850186 8127860736 30892 33554432000 4194304 4196468 140729976256384 140383690418656 140385966118613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
[pid=6494/tid=6508] ppid=6467 vsize=7937364 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/6494/task/6508/stat : 6508 (java) S 6467 6467 5522 0 -1 1077944384 1 2738 0 0 0 0 7 0 20 0 17 0 404850186 8127860736 30892 33554432000 4194304 4196468 140729976256384 140385340804016 140385966119554 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7499776 140729976263676 140729976263834 140729976263834 140729976266703 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 125044 KiB
Child status: 0
Real time (s): 3.26999
CPU time (s): 5.95497
CPU user time (s): 5.70868
CPU system time (s): 0.246289
CPU usage (%): 182.11
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 362872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.70868
system time used= 0.246289
maximum resident set size= 361840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50826
page faults= 2
swaps= 0
block input operations= 29856
block output operations= 2096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5683
involuntary context switches= 182
# summary of solver processes directly reported to runsolver:
# pid: 6467
# total CPU time (s): 5.95497
# total CPU user time (s): 5.70868
# total CPU system time (s): 0.246289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042388 second user time and 0.083241 second system time
The end