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-11915-serial-file.bin HOME/instance-4388451-1568299386.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 16:42:21 CEST 2019
0.66/0.56 c PID: 11918
0.66/0.56 c IP: 172.20.3.102
0.66/0.56 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.78/1.06 c (0,0) Parsing End
1.78/1.07 c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 153 ctr, max domain size 47
1.78/1.07 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.78/1.07 c (0,0) Constraint Name Generate Begin
1.78/1.07 c (0,0) Ctr:HOME/instance-4388451-1568299386.xml,Add:Le:Num:Or:Var
1.78/1.07 c (0,0) Constraint Name Generate End
1.78/1.07 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.78/1.07 c (0,0) CSP to CSPinCNF Begin
2.04/1.19 c (0,0) translated 16 (10%) constraints
2.23/1.20 c (0,0) translated 31 (20%) constraints
2.23/1.22 c (0,0) translated 46 (30%) constraints
2.23/1.23 c (0,0) translated 62 (40%) constraints
2.23/1.25 c (0,0) translated 77 (50%) constraints
2.23/1.26 c (0,0) translated 92 (60%) constraints
2.23/1.27 c (0,0) translated 108 (70%) constraints
2.23/1.27 c (0,0) translated 123 (80%) constraints
2.23/1.28 c (0,0) translated 138 (90%) constraints
2.23/1.28 c (0,0) translated 153 (100%) constraints
2.23/1.29 c (0,0) ===========================================
2.23/1.29 c (0,0) Order
2.23/1.29 c (0,0) ===========================================
2.23/1.30 c (0,0) translated 16 (10%) constraints
2.48/1.30 c (0,0) translated 31 (20%) constraints
2.48/1.30 c (0,0) translated 46 (30%) constraints
2.48/1.31 c (0,0) translated 62 (40%) constraints
2.48/1.31 c (0,0) translated 77 (50%) constraints
2.48/1.31 c (0,0) translated 92 (60%) constraints
2.48/1.32 c (0,0) translated 108 (70%) constraints
2.48/1.32 c (0,0) translated 123 (80%) constraints
2.48/1.32 c (0,0) translated 138 (90%) constraints
2.48/1.32 c (0,0) translated 153 (100%) constraints
2.48/1.33 c (0,0) CSP to CSPinCNF End
2.48/1.33 c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 153 ctr, max domain size 47
2.48/1.33 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.48/1.33 c (0,0) CSPinCNF Propagation Begin
2.48/1.35 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.48/1.35 c (0,0) CSPinCNF Propagation End
2.48/1.35 c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 153 ctr, max domain size 47
2.48/1.35 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.48/1.35 c (0,0) Simplify CSPinCNF Begin
2.75/1.43 c (0,0) Simplify CSPinCNF End
2.75/1.44 c (0,0) CSP: 36 int (0 aux), 612 bool (612 aux), 765 ctr, max domain size 47
2.75/1.44 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.75/1.44 c (0,0) Calculate Precise Domain Begin
2.75/1.44 c (0,0) 0 values are removed by re-calculation
2.75/1.44 c (0,0) Calculate Precise Domain End
2.75/1.44 c (0,0) CSP: 36 int (0 aux), 612 bool (612 aux), 765 ctr, max domain size 47
2.75/1.44 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.75/1.44 c (0,0) CSPinCNF to SatSolver Begin
3.26/1.63 c (1,1) 77 (10 %) CSP clauses are encoded (0 SAT variables, 3670 SAT clauses)
3.26/1.67 c (1,1) 153 (20 %) CSP clauses are encoded (0 SAT variables, 5936 SAT clauses)
3.56/1.70 c (1,1) 230 (30 %) CSP clauses are encoded (0 SAT variables, 8122 SAT clauses)
3.56/1.73 c (1,1) 306 (40 %) CSP clauses are encoded (0 SAT variables, 10163 SAT clauses)
3.56/1.76 c (1,1) 383 (50 %) CSP clauses are encoded (0 SAT variables, 12130 SAT clauses)
3.56/1.78 c (1,1) 459 (60 %) CSP clauses are encoded (0 SAT variables, 14010 SAT clauses)
3.89/1.80 c (1,1) 536 (70 %) CSP clauses are encoded (0 SAT variables, 15729 SAT clauses)
3.89/1.82 c (1,1) 612 (80 %) CSP clauses are encoded (0 SAT variables, 17293 SAT clauses)
3.89/1.83 c (1,1) 689 (90 %) CSP clauses are encoded (0 SAT variables, 18694 SAT clauses)
3.89/1.84 c (1,1) 765 (100 %) CSP clauses are encoded (0 SAT variables, 19813 SAT clauses)
3.89/1.84 c (1,1) CSPinCNF to SatSolver End
3.89/1.84 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.89/1.84 c (1,1) 1962 bool, 19827 clause
3.89/1.84 c (1,1) Export Begin
4.21/1.93 c (1,1) Export to HOME/scop-11915-serial-file.bin
4.21/1.93 c (1,1) Export End
4.21/1.93 c (1,1) Export File Size: 0.01 MB
4.21/1.93 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.21/1.93 c END-Prog: Thu Sep 12 16:42:22 CEST 2019
4.21/1.94 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11915-serial-file.bin
4.92/2.40 c (0,0) Read Serial File Begin
4.92/2.40 c (0,0) HOME/scop-11915-serial-file.bin
5.07/2.59 c (0,0) Read Serial File End
5.23/2.61
5.23/2.61 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
5.23/2.61 (Solving Process)
5.23/2.61
5.23/2.63 c BEGIN-Prog: Thu Sep 12 16:42:23 CEST 2019
5.23/2.63 c PID: 11933
5.23/2.63 c IP: 172.20.3.102
5.23/2.63 c HOST: node102.alineos.net
5.23/2.63 c (0,0) SatSolver.solve Begin
5.23/2.63 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388451-1568299386.xml-scop-11918.cnf
5.23/2.66 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.23/2.66 c (0,0) c glueminisat-simp-2.2.10-193oa-n
5.23/2.66 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388451-1568299386.xml-scop-11918.cnf
5.23/2.66 c (0,0) c Options:
5.23/2.66 c (0,0) c CORE
5.23/2.66 c (0,0) c var_decay = 0.950
5.23/2.66 c (0,0) c clause_decay = 0.999
5.23/2.66 c (0,0) c random_var_freq = 0.000
5.23/2.66 c (0,0) c random_seed = 91648253.000
5.23/2.66 c (0,0) c luby_restart = 1
5.23/2.66 c (0,0) c ccmin_mode = 2
5.23/2.66 c (0,0) c phase_saving = 2
5.23/2.66 c (0,0) c rnd_pol = 0
5.23/2.66 c (0,0) c rnd_init_act = 0
5.23/2.66 c (0,0) c garbage_frac = 0.200
5.23/2.66 c (0,0) c restart_first = 1000
5.23/2.66 c (0,0) c restart_inc = 2.000
5.23/2.66 c (0,0) c MODEL
5.23/2.66 c (0,0) c partial_model = 0
5.23/2.66 c (0,0) c PROPAGATION
5.23/2.66 c (0,0) c bin_propagation = 1
5.23/2.66 c (0,0) c SIMPLIFICATION
5.23/2.66 c (0,0) c lrn_min_size = 100
5.23/2.66 c (0,0) c lazy_simp = 1
5.23/2.66 c (0,0) c lazy_interval = 10
5.23/2.66 c (0,0) c lazy_fld_probing = 1
5.23/2.66 c (0,0) c lazy_pol_probing = 1
5.23/2.66 c (0,0) c lazy_nec_probing = 1
5.23/2.66 c (0,0) c lazy_eqv_probing = 1
5.23/2.66 c (0,0) c lazy_cla_probing = 1
5.23/2.66 c (0,0) c lazy_lrn_min = 2
5.23/2.66 c (0,0) c lazy_uw_lit_elim = 1
5.23/2.66 c (0,0) c lazy_pr_lit_elim = 0
5.23/2.66 c (0,0) c lazy_bin_add = 3
5.23/2.66 c (0,0) c probed_lit_chain = 1
5.23/2.66 c (0,0) c pr_min_lits = 0.00020
5.23/2.66 c (0,0) c pr_min_starts = 500
5.23/2.66 c (0,0) c rw_min_lits = 0.010
5.23/2.66 c (0,0) c rw_min_starts = 500
5.23/2.66 c (0,0) c rand_attach = 0
5.23/2.66 c (0,0) c dec_elim = 1
5.23/2.66 c (0,0) c dec_elim_lim = 25
5.23/2.66 c (0,0) c dec_elim_len = -1
5.23/2.66 c (0,0) c amo = 0
5.23/2.66 c (0,0) c amo_grp = 1
5.23/2.66 c (0,0) c amo_max_bins = 1000000
5.23/2.66 c (0,0) c amo_starts = 50
5.23/2.66 c (0,0) c mace_cmd = mace
5.23/2.66 c (0,0) c DECISION
5.23/2.66 c (0,0) c rand_rebuild = 0
5.23/2.66 c (0,0) c rand_rebuild_confs = 10000
5.23/2.66 c (0,0) c inc_var_decay = 1
5.23/2.66 c (0,0) c inc_var_decay_period = 100000
5.23/2.66 c (0,0) c inc_var_decay_init = 0.600
5.23/2.66 c (0,0) c var_decay_mode = 0
5.23/2.66 c (0,0) c var_decay_gain = 0
5.23/2.66 c (0,0) c sloped_var_decay = 1
5.23/2.66 c (0,0) c max_var_decay = 0.990
5.23/2.66 c (0,0) c min_var_decay = 0.950
5.23/2.66 c (0,0) c min_var_decay_vars = 10000
5.23/2.66 c (0,0) c max_var_decay_vars = 500
5.23/2.66 c (0,0) c uip_bumping = 1
5.23/2.66 c (0,0) c lbd_act_bumping = 1
5.23/2.66 c (0,0) c rand_tiebreak = 0
5.23/2.66 c (0,0) c simp_rebuild = 1
5.23/2.66 c (0,0) c RESTART
5.23/2.66 c (0,0) c restart_strategy = 2
5.23/2.66 c (0,0) c restart_blocking = 0
5.23/2.66 c (0,0) c agility_decay = 0.99990
5.23/2.66 c (0,0) c lbd_restart_rate = 0.800
5.23/2.66 c (0,0) c dec_restart_rate = 0.950
5.23/2.66 c (0,0) c blk_restart_rate = 0.700
5.23/2.66 c (0,0) c lbd_queue_size = 50
5.23/2.66 c (0,0) c dec_queue_size = 50
5.23/2.66 c (0,0) c trl_queue_size = 5000
5.23/2.66 c (0,0) c blk_restart_weight = 1.000
5.23/2.66 c (0,0) c inc_rst_rate = 0
5.23/2.66 c (0,0) c inc_rst_rate_period = 500000
5.23/2.66 c (0,0) c inc_lbd_rst_rate_init = 0.600
5.23/2.66 c (0,0) c inc_dec_rst_rate_init = 0.750
5.23/2.66 c (0,0) c REDUCTION
5.23/2.66 c (0,0) c closed_lbd = 0
5.23/2.66 c (0,0) c closed_lbd_rate = 0.500
5.23/2.66 c (0,0) c rm_simulate = 0
5.23/2.66 c (0,0) c rdb_eval = 2
5.23/2.66 c (0,0) c rdb_call = 3
5.23/2.66 c (0,0) c rdb_ub = 0.500
5.23/2.66 c (0,0) c core_lbd_cvr = 0.800
5.23/2.66 c (0,0) c supp_lbd_cvr = 0.990
5.23/2.66 c (0,0) c core_lbd_lb = 2
5.23/2.66 c (0,0) c supp_lbd_lb = 2
5.23/2.66 c (0,0) c core_lbd_prd = 7
5.23/2.66 c (0,0) c supp_lbd_prd = 1
5.23/2.66 c (0,0) c othr_lbd_prd = 0
5.23/2.66 c (0,0) c inc_lrn_limit = 1000
5.23/2.66 c (0,0) c frozen_lbd = 30
5.23/2.66 c (0,0) c simp_min_starts = 100
5.23/2.66 c (0,0) c rm_low_act_learnts = 1
5.23/2.66 c (0,0) c lv0_reduce_db = 0
5.23/2.66 c (0,0) c reduce_db_base = 20000
5.23/2.66 c (0,0) c reduce_db_inc = 1000
5.23/2.68 c (0,0) c HARD
5.23/2.68 c (0,0) c inst_check = 200000
5.23/2.68 c (0,0) c small_block = 1.750
5.23/2.68 c (0,0) c slow_restart_speed = 400.000
5.23/2.68 c (0,0) c slow_restart_strategy = 3
5.23/2.68 c (0,0) c slow_lbd_restart_rate = 0.700
5.23/2.68 c (0,0) c slow_dec_restart_rate = 1.000
5.23/2.68 c (0,0) c slow_lbd_queue_size = 50
5.23/2.68 c (0,0) c slow_var_decay = 0.950
5.23/2.68 c (0,0) c slow_glue_threshold = 2
5.23/2.68 c (0,0) c slow_phase_saving = 2
5.23/2.68 c (0,0) c fast_restart_speed = 125.000
5.23/2.68 c (0,0) c fast_restart_strategy = 1
5.23/2.68 c (0,0) c fast_lbd_restart_rate = 0.800
5.23/2.68 c (0,0) c fast_dec_restart_rate = 0.950
5.23/2.68 c (0,0) c fast_lbd_queue_size = 50
5.23/2.68 c (0,0) c fast_var_decay = 1.000
5.23/2.68 c (0,0) c fast_glue_threshold = 2
5.23/2.68 c (0,0) c fast_phase_saving = 2
5.23/2.68 c (0,0) c STATS
5.23/2.68 c (0,0) c stats_conf_size = 10000
5.23/2.68 c (0,0) c max_stats_size = 30
5.23/2.68 c (0,0) c SOLVER
5.23/2.68 c (0,0) c minisat = 0
5.23/2.68 c (0,0) c Problem: 1962 variables, 19827 clauses, parsing 0.01 s
5.23/2.69 c (0,0) c reduced to 1805 variables, 19670 clauses (grow = 0)
5.23/2.69 c (0,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
5.23/2.69 c (0,0) c Simplification: 157 vars, 157 clauses are eliminated using 0.02 s
5.23/2.69 c (0,0) c
5.23/2.69 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
5.23/2.69 c (0,0) c
5.23/2.69 c (0,0) c 0 0 0 1805 19670 0 -nan -nan -nan -nan%
5.23/2.69 c (0,0) c 0 1 100 1805 19670 100 25.3 10.2 38.0 50.7%
5.23/2.69 c (0,0) c 0 1 220 1805 19670 220 23.0 9.8 35.6 48.7%
5.23/2.69 c (0,0) c 0 1 364 1805 19670 364 22.9 10.0 36.8 49.2%
5.44/2.70 c (0,0) c 0 1 536 1805 19670 536 25.5 10.4 35.5 48.8%
5.44/2.71 c (0,0) c 0 1 743 1805 19670 743 26.7 10.6 34.2 49.0%
5.44/2.72 c (0,0) c 0 1 991 1805 19670 991 26.8 10.4 34.0 49.7%
5.44/2.73 c (0,0) c 0 1 1289 1805 19670 1289 27.9 10.3 33.1 49.2%
5.44/2.73 c (0,0) c 0 1 1354 1805 19670 1354 27.7 10.2 33.3 49.4%
5.44/2.73 c (0,0) c
5.44/2.73 c (0,0) c
5.44/2.73 c (0,0) c variables : 1805 (init 1962, after simp 1805, 0 non-decs, 36 csp)
5.44/2.73 c (0,0) c clauses : 19670 (init 19827, after simp 19670)
5.44/2.73 c (0,0) c restarts : 0 (1354.00 confs/res, 1354~1354 confs, 0 blks, 0 last)
5.44/2.73 c (0,0) c conflicts : 1354 (18143 /sec, 57.02% dconfs, 0.00% supp, trail 29.98w x 33.31h, jmp 1.89h)
5.44/2.73 c (0,0) c decisions : 2682 (0.6000 vdcy, 35938 /sec, 0.00% bin, rs 0.000 s)
5.44/2.73 c (0,0) c propagations : 160861 (2155476 /sec, 59.98 lits/dec, 54.74% o.a.)
5.44/2.73 c (0,0) c conflict literals : 51261 (26.13% deleted; 0.58% by bin min, 0.001 s)
5.44/2.73 c (0,0) c len : 27.748 (27.75 for all, max 75, used 72)
5.44/2.73 c (0,0) c lbd : 10.236 (11.60 (10.24) for all, max 24, used 23, 3.423 stdev, 2.392 blk)
5.44/2.73 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
5.44/2.73 c (0,0) c simp dbs : 1 (0.000 s)
5.44/2.73 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
5.44/2.73 c (0,0) c learnts : 1354 (0 learnts removed, 0.00%)
5.44/2.73 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
5.44/2.73 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
5.44/2.73 c (0,0) c premise updates : 0 (0.00 /lit)
5.44/2.73 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
5.44/2.73 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
5.44/2.73 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.001s)
5.44/2.73 c (0,0) c unwatched lit elim: 40 (0.00+0.08%, 0+40 of 65656+51261)
5.44/2.73 c (0,0) c classified type : undef
5.44/2.73 c (0,0) c progress : 0.000 %
5.44/2.73 c (0,0) c
5.44/2.73 c (0,0) c [Statistics]
5.44/2.73 c (0,0) c learnts len learnts lbd lit blk size eq vars size
5.44/2.73 c (0,0) c tot 1354 1354 15705 0
5.44/2.73 c (0,0) c avg 27.748 10.236 2.392 -nan
5.44/2.73 c (0,0) c 1 0 ( 0.0%) 4 ( 0.3%) 9840 (62.7%) 0 (-nan%)
5.44/2.73 c (0,0) c 2 0 ( 0.0%) 31 ( 2.3%) 1816 (11.6%) 0 (-nan%)
5.44/2.73 c (0,0) c 3 0 ( 0.0%) 46 ( 3.4%) 1129 ( 7.2%) 0 (-nan%)
5.44/2.73 c (0,0) c 4 0 ( 0.0%) 63 ( 4.7%) 765 ( 4.9%) 0 (-nan%)
5.44/2.73 c (0,0) c 5 7 ( 0.5%) 93 ( 6.9%) 591 ( 3.8%) 0 (-nan%)
5.44/2.73 c (0,0) c 6 14 ( 1.0%) 83 ( 6.1%) 381 ( 2.4%) 0 (-nan%)
5.44/2.73 c (0,0) c 7 53 ( 3.9%) 70 ( 5.2%) 224 ( 1.4%) 0 (-nan%)
5.44/2.73 c (0,0) c 8 49 ( 3.6%) 67 ( 4.9%) 211 ( 1.3%) 0 (-nan%)
5.44/2.73 c (0,0) c 9 57 ( 4.2%) 73 ( 5.4%) 141 ( 0.9%) 0 (-nan%)
5.44/2.73 c (0,0) c 10 48 ( 3.5%) 101 ( 7.5%) 149 ( 0.9%) 0 (-nan%)
5.44/2.73 c (0,0) c 11 45 ( 3.3%) 136 (10.0%) 80 ( 0.5%) 0 (-nan%)
5.44/2.73 c (0,0) c 12 43 ( 3.2%) 126 ( 9.3%) 125 ( 0.8%) 0 (-nan%)
5.44/2.73 c (0,0) c 13 43 ( 3.2%) 146 (10.8%) 54 ( 0.3%) 0 (-nan%)
5.44/2.74 c (0,0) c 14 45 ( 3.3%) 120 ( 8.9%) 30 ( 0.2%) 0 (-nan%)
5.44/2.74 c (0,0) c 15 24 ( 1.8%) 87 ( 6.4%) 40 ( 0.3%) 0 (-nan%)
5.44/2.74 c (0,0) c 16 41 ( 3.0%) 42 ( 3.1%) 39 ( 0.2%) 0 (-nan%)
5.44/2.74 c (0,0) c 17 30 ( 2.2%) 30 ( 2.2%) 32 ( 0.2%) 0 (-nan%)
5.44/2.74 c (0,0) c 18 27 ( 2.0%) 20 ( 1.5%) 31 ( 0.2%) 0 (-nan%)
5.44/2.74 c (0,0) c 19 32 ( 2.4%) 10 ( 0.7%) 7 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c 20 31 ( 2.3%) 4 ( 0.3%) 0 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c 21 25 ( 1.8%) 1 ( 0.1%) 5 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c 22 32 ( 2.4%) 0 ( 0.0%) 15 ( 0.1%) 0 (-nan%)
5.44/2.74 c (0,0) c 23 26 ( 1.9%) 1 ( 0.1%) 0 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c 24 31 ( 2.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c 25 31 ( 2.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c 26 26 ( 1.9%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c 27 14 ( 1.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c 28 17 ( 1.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c 29 23 ( 1.7%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c 30 540 (39.9%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
5.44/2.74 c (0,0) c
5.44/2.74 c (0,0) c [LBD Statistics]
5.44/2.74 c (0,0) c LBD used lbd used clause lbd unused clause lbd
5.44/2.74 c (0,0) c tot 7331 928 426
5.44/2.74 c (0,0) c avg 7.216 9.143 12.615
5.44/2.74 c (0,0) c 1 14 ( 0.2/ 0.2%) 4 ( 0.4/ 0.4%) 0 ( 0.0/ 0.0%)
5.44/2.74 c (0,0) c 2 167 ( 2.3/ 2.5%) 30 ( 3.2/ 3.7%) 1 ( 0.2/ 0.2%)
5.44/2.74 c (0,0) c 3 830 (11.3/13.8%) 46 ( 5.0/ 8.6%) 0 ( 0.0/ 0.2%)
5.44/2.74 c (0,0) c 4 755 (10.3/24.1%) 59 ( 6.4/15.0%) 4 ( 0.9/ 1.2%)
5.44/2.74 c (0,0) c 5 1163 (15.9/40.0%) 86 ( 9.3/24.2%) 7 ( 1.6/ 2.8%)
5.44/2.74 c (0,0) c 6 675 ( 9.2/49.2%) 70 ( 7.5/31.8%) 13 ( 3.1/ 5.9%)
5.44/2.74 c (0,0) c 7 695 ( 9.5/58.6%) 61 ( 6.6/38.4%) 9 ( 2.1/ 8.0%)
5.44/2.74 c (0,0) c 8 506 ( 6.9/65.5%) 50 ( 5.4/43.8%) 17 ( 4.0/12.0%)
5.44/2.74 c (0,0) c 9 683 ( 9.3/74.9%) 56 ( 6.0/49.8%) 17 ( 4.0/16.0%)
5.44/2.74 c (0,0) c 10 418 ( 5.7/80.6%) 76 ( 8.2/58.0%) 25 ( 5.9/21.8%)
5.44/2.74 c (0,0) c 11 491 ( 6.7/87.3%) 94 (10.1/68.1%) 42 ( 9.9/31.7%)
5.44/2.74 c (0,0) c 12 358 ( 4.9/92.1%) 85 ( 9.2/77.3%) 41 ( 9.6/41.3%)
5.44/2.74 c (0,0) c 13 259 ( 3.5/95.7%) 74 ( 8.0/85.2%) 72 (16.9/58.2%)
5.44/2.74 c (0,0) c 14 116 ( 1.6/97.3%) 59 ( 6.4/91.6%) 61 (14.3/72.5%)
5.44/2.74 c (0,0) c 15 93 ( 1.3/98.5%) 33 ( 3.6/95.2%) 54 (12.7/85.2%)
5.44/2.74 c (0,0) c 16 45 ( 0.6/99.1%) 22 ( 2.4/97.5%) 20 ( 4.7/89.9%)
5.44/2.74 c (0,0) c 17 32 ( 0.4/99.6%) 11 ( 1.2/98.7%) 19 ( 4.5/94.4%)
5.44/2.74 c (0,0) c 18 16 ( 0.2/99.8%) 6 ( 0.6/99.4%) 14 ( 3.3/97.7%)
5.44/2.74 c (0,0) c 19 6 ( 0.1/99.9%) 2 ( 0.2/99.6%) 8 ( 1.9/99.5%)
5.44/2.74 c (0,0) c 20 5 ( 0.1/99.9%) 2 ( 0.2/99.8%) 2 ( 0.5/100.0%)
5.44/2.74 c (0,0) c 21 2 ( 0.0/100.0%) 1 ( 0.1/99.9%) 0 ( 0.0/100.0%)
5.44/2.74 c (0,0) c 22 0 ( 0.0/100.0%) 0 ( 0.0/99.9%) 0 ( 0.0/100.0%)
5.44/2.74 c (0,0) c 23 2 ( 0.0/100.0%) 1 ( 0.1/100.0%) 0 ( 0.0/100.0%)
5.44/2.74 c (0,0) c
5.44/2.74 c (0,0) c Memory used : 22.00 MB
5.44/2.74 c (0,0) c CPU time : 0.075 s
5.44/2.74 c (0,0) c Real time : 0.079 s
5.44/2.74 c (0,0) c
5.44/2.74 c (0,0) s SATISFIABLE
5.44/2.76 c (0,0) SatSolver.solve End
5.44/2.76 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5.44/2.76 c (0,0) Show results Begin
5.66/2.84 c (0,0) x[0] = 0
5.66/2.84 c (0,0) x[1] = 11
5.66/2.84 c (0,0) x[2] = 8
5.66/2.84 c (0,0) x[3] = 24
5.66/2.84 c (0,0) x[4] = 9
5.66/2.84 c (0,0) x[5] = 0
5.66/2.84 c (0,0) x[6] = 6
5.66/2.84 c (0,0) x[7] = 0
5.66/2.84 c (0,0) x[8] = 0
5.66/2.84 c (0,0) x[9] = 0
5.66/2.84 c (0,0) x[10] = 24
5.66/2.84 c (0,0) x[11] = 35
5.66/2.84 c (0,0) x[12] = 0
5.66/2.84 c (0,0) x[13] = 10
5.66/2.84 c (0,0) x[14] = 13
5.66/2.84 c (0,0) x[15] = 31
5.66/2.84 c (0,0) x[16] = 14
5.66/2.84 c (0,0) x[17] = 29
5.66/2.84 c (0,0) y[0] = 46
5.66/2.84 c (0,0) y[1] = 14
5.66/2.84 c (0,0) y[2] = 13
5.66/2.84 c (0,0) y[3] = 15
5.66/2.84 c (0,0) y[4] = 31
5.66/2.84 c (0,0) y[5] = 40
5.66/2.84 c (0,0) y[6] = 40
5.66/2.84 c (0,0) y[7] = 13
5.66/2.84 c (0,0) y[8] = 31
5.66/2.84 c (0,0) y[9] = 21
5.66/2.84 c (0,0) y[10] = 19
5.66/2.84 c (0,0) y[11] = 18
5.66/2.84 c (0,0) y[12] = 0
5.66/2.84 c (0,0) y[13] = 16
5.66/2.84 c (0,0) y[14] = 0
5.66/2.84 c (0,0) y[15] = 31
5.66/2.84 c (0,0) y[16] = 30
5.66/2.84 c (0,0) y[17] = 0
5.66/2.84 s SATISFIABLE
5.66/2.84 v <instantiation>
5.66/2.84 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17]</list>
5.66/2.84 v <values>0 11 8 24 9 0 6 0 0 0 24 35 0 10 13 31 14 29 46 14 13 15 31 40 40 13 31 21 19 18 0 16 0 31 30 0</values>
5.66/2.84 v </instantiation>
5.66/2.84 c (0,0) Show results End
5.66/2.84 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
5.66/2.84 c (0,0) 0,0,STOP-AFTER(ALL)
5.66/2.84 c END-Prog: Thu Sep 12 16:42:23 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 (15235 MiB free)
memory of node 1: 16384 MiB (15630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388451-1568299386/watcher-4388451-1568299386 -o /tmp/evaluation-result-4388451-1568299386/solver-4388451-1568299386 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6431 --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-4388451-1568299386.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=11915, runsolver pid=11912
[startup+0.100058 s]*
/proc/loadavg: 3.34 2.78 2.55 3/235 11932
/proc/meminfo: memFree=31545436/32770624 swapFree=66992980/67108860
[pid=11915] ppid=11912 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11915/stat : 11915 (scop.sh) S 11912 11915 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406190010 115843072 349 33554432000 4194304 5098028 140736491291008 140736491288264 140439460213372 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29503488 140736491295528 140736491295856 140736491295856 140736491298765 0
/proc/11915/statm: 28282 349 296 221 0 87 0
[pid=11918] ppid=11915 vsize=15013720 memory=73560 CPUtime=0.11 cores=1,3,5,7
/proc/11918/stat : 11918 (java) S 11915 11915 5522 0 -1 1077944320 6627 0 0 0 9 2 0 0 20 0 15 0 406190010 15374049280 18324 33554432000 4194304 4196468 140721873118768 140721873101312 139802977459959 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
/proc/11918/statm: 3753430 18390 2913 1 0 3715835 0
[pid=11918/tid=11919] ppid=11915 vsize=15013720 memory=-7828588039587137883 CPUtime=0.08 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (java) R 11915 11915 5522 0 -1 4202560 4580 0 0 0 7 1 0 0 20 0 15 0 406190011 15374049280 18522 33554432000 4194304 4196468 140721873118768 139802949244208 139802970139677 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11920] ppid=11915 vsize=15013720 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15374049280 18522 33554432000 4194304 4196468 140721873118768 139802981702032 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11921] ppid=11915 vsize=15013720 memory=139988827682432 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11921/stat : 11921 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15374049280 18522 33554432000 4194304 4196468 140721873118768 139802799790352 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11922] ppid=11915 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11922/stat : 11922 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15374049280 18522 33554432000 4194304 4196468 140721873118768 139802798738064 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11923] ppid=11915 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11923/stat : 11923 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15374049280 18522 33554432000 4194304 4196468 140721873118768 139802797685264 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11924] ppid=11915 vsize=15013720 memory=139988827682432 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11924/stat : 11924 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190014 15374049280 18522 33554432000 4194304 4196468 140721873118768 139802015079024 139802977471106 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11925] ppid=11915 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11925/stat : 11925 (java) S 11915 11915 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406190014 15374049280 18522 33554432000 4194304 4196468 140721873118768 139801521022240 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11926] ppid=11915 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11926/stat : 11926 (java) S 11915 11915 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406190014 15374049280 18522 33554432000 4194304 4196468 140721873118768 139801386800752 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11927] ppid=11915 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11927/stat : 11927 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15374049280 18522 33554432000 4194304 4196468 140721873118768 139801012296272 139802977478555 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11928] ppid=11915 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11928/stat : 11928 (java) S 11915 11915 5522 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 406190017 15374049280 18522 33554432000 4194304 4196468 140721873118768 139802014025840 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11929] ppid=11915 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11929/stat : 11929 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15374049280 18522 33554432000 4194304 4196468 140721873118768 139802012973040 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11930] ppid=11915 vsize=15013720 memory=139988827682432 CPUtime=0.01 cores=1,3,5,7
/proc/11918/task/11930/stat : 11930 (java) S 11915 11915 5522 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 15 0 406190017 15374049280 18522 33554432000 4194304 4196468 140721873118768 139802011920752 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11931] ppid=11915 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11931/stat : 11931 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15375032320 18522 33554432000 4194304 4196468 140721873118768 139800514390496 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11932] ppid=11915 vsize=15014680 memory=139988827682432 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11932/stat : 11932 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190017 15375032320 18588 33554432000 4194304 4196468 140721873118768 139802010868656 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 74956 KiB
[startup+0.210954 s]*
/proc/loadavg: 3.34 2.78 2.55 3/235 11932
/proc/meminfo: memFree=31529280/32770624 swapFree=66992980/67108860
[pid=11915] ppid=11912 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11915/stat : 11915 (scop.sh) S 11912 11915 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406190010 115843072 349 33554432000 4194304 5098028 140736491291008 140736491288264 140439460213372 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29503488 140736491295528 140736491295856 140736491295856 140736491298765 0
/proc/11915/statm: 28282 349 296 221 0 87 0
[pid=11918] ppid=11915 vsize=15012696 memory=85976 CPUtime=0.25 cores=1,3,5,7
/proc/11918/stat : 11918 (java) S 11915 11915 5522 0 -1 1077944320 11080 0 0 0 22 3 0 0 20 0 15 0 406190010 15373000704 21494 33554432000 4194304 4196468 140721873118768 140721873101312 139802977459959 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
/proc/11918/statm: 3753174 21494 2918 1 0 3715579 0
[pid=11918/tid=11919] ppid=11915 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (java) R 11915 11915 5522 0 -1 4202560 8778 0 0 0 17 3 0 0 20 0 15 0 406190011 15373000704 21494 33554432000 4194304 4196468 140721873118768 139802949281760 139802977481885 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11920] ppid=11915 vsize=15012696 memory=365 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15373000704 21494 33554432000 4194304 4196468 140721873118768 139802981702032 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11921] ppid=11915 vsize=15012696 memory=139988830628891 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11921/stat : 11921 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15373000704 21494 33554432000 4194304 4196468 140721873118768 139802799790352 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11922] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11922/stat : 11922 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15373000704 21559 33554432000 4194304 4196468 140721873118768 139802798738064 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11923] ppid=11915 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11923/stat : 11923 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15373000704 21559 33554432000 4194304 4196468 140721873118768 139802797685264 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11924] ppid=11915 vsize=15012696 memory=139988827682432 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11924/stat : 11924 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190014 15373000704 21559 33554432000 4194304 4196468 140721873118768 139802015079024 139802977471106 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11925] ppid=11915 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11925/stat : 11925 (java) S 11915 11915 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406190014 15373000704 21559 33554432000 4194304 4196468 140721873118768 139801521022240 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11926] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11926/stat : 11926 (java) S 11915 11915 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406190014 15373000704 21559 33554432000 4194304 4196468 140721873118768 139801386800752 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11927] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11927/stat : 11927 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15373000704 21559 33554432000 4194304 4196468 140721873118768 139801012296272 139802977478555 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11928] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11928/stat : 11928 (java) S 11915 11915 5522 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 406190017 15373000704 21559 33554432000 4194304 4196468 140721873118768 139802014025840 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11929] ppid=11915 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11929/stat : 11929 (java) S 11915 11915 5522 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 406190017 15373000704 21559 33554432000 4194304 4196468 140721873118768 139802012973040 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11930] ppid=11915 vsize=15012696 memory=139988827682432 CPUtime=0.03 cores=1,3,5,7
/proc/11918/task/11930/stat : 11930 (java) S 11915 11915 5522 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 15 0 406190017 15373000704 21559 33554432000 4194304 4196468 140721873118768 139802011920752 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11931] ppid=11915 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11931/stat : 11931 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15373000704 21559 33554432000 4194304 4196468 140721873118768 139800514390496 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11932] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11932/stat : 11932 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190017 15373000704 21559 33554432000 4194304 4196468 140721873118768 139802010868656 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87372 KiB
[startup+0.310765 s]*
/proc/loadavg: 3.34 2.78 2.55 4/235 11932
/proc/meminfo: memFree=31526592/32770624 swapFree=66992980/67108860
[pid=11915] ppid=11912 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11915/stat : 11915 (scop.sh) S 11912 11915 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406190010 115843072 349 33554432000 4194304 5098028 140736491291008 140736491288264 140439460213372 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29503488 140736491295528 140736491295856 140736491295856 140736491298765 0
/proc/11915/statm: 28282 349 296 221 0 87 0
[pid=11918] ppid=11915 vsize=15012696 memory=89736 CPUtime=0.43 cores=1,3,5,7
/proc/11918/stat : 11918 (java) S 11915 11915 5522 0 -1 1077944320 12034 0 0 0 39 4 0 0 20 0 15 0 406190010 15373000704 22434 33554432000 4194304 4196468 140721873118768 140721873101312 139802977459959 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
/proc/11918/statm: 3753174 22434 3029 1 0 3715579 0
[pid=11918/tid=11919] ppid=11915 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (java) R 11915 11915 5522 0 -1 4202560 9551 0 0 0 26 3 0 0 20 0 15 0 406190011 15373000704 22434 33554432000 4194304 4196468 140721873118768 139802949290032 139802961540446 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11920] ppid=11915 vsize=15012696 memory=288230609019732336 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15373000704 22434 33554432000 4194304 4196468 140721873118768 139802981702032 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11921] ppid=11915 vsize=15012696 memory=2949540 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11921/stat : 11921 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15373000704 22434 33554432000 4194304 4196468 140721873118768 139802799790352 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11922] ppid=11915 vsize=15012696 memory=279977375594864 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11922/stat : 11922 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15373000704 22434 33554432000 4194304 4196468 140721873118768 139802798738064 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11923] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11923/stat : 11923 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15373000704 22434 33554432000 4194304 4196468 140721873118768 139802797685264 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11924] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11924/stat : 11924 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190014 15373000704 22434 33554432000 4194304 4196468 140721873118768 139802015079024 139802977471106 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11925] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11925/stat : 11925 (java) S 11915 11915 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406190014 15373000704 22434 33554432000 4194304 4196468 140721873118768 139801521022240 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11926] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11926/stat : 11926 (java) S 11915 11915 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406190014 15373000704 22434 33554432000 4194304 4196468 140721873118768 139801386800752 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11927] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11927/stat : 11927 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15373000704 22434 33554432000 4194304 4196468 140721873118768 139801012296272 139802977478555 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11928] ppid=11915 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11918/task/11928/stat : 11928 (java) S 11915 11915 5522 0 -1 1077944384 505 0 0 0 3 0 0 0 20 0 15 0 406190017 15373000704 22434 33554432000 4194304 4196468 140721873118768 139802014025840 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11929] ppid=11915 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11918/task/11929/stat : 11929 (java) S 11915 11915 5522 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 15 0 406190017 15373000704 22434 33554432000 4194304 4196468 140721873118768 139802012973040 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11930] ppid=11915 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11918/task/11930/stat : 11930 (java) S 11915 11915 5522 0 -1 1077944384 499 0 0 0 7 0 0 0 20 0 15 0 406190017 15373000704 22434 33554432000 4194304 4196468 140721873118768 139802011920752 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11931] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11931/stat : 11931 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15373000704 22434 33554432000 4194304 4196468 140721873118768 139800514390496 139802977470165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11932] ppid=11915 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11932/stat : 11932 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190017 15373000704 22434 33554432000 4194304 4196468 140721873118768 139802010868656 139802977471106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91132 KiB
[startup+0.704317 s]
/proc/loadavg: 3.34 2.78 2.55 3/235 11932
/proc/meminfo: memFree=31502532/32770624 swapFree=66992980/67108860
[pid=11915] ppid=11912 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11915/stat : 11915 (scop.sh) S 11912 11915 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406190010 115843072 349 33554432000 4194304 5098028 140736491291008 140736491288264 140439460213372 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29503488 140736491295528 140736491295856 140736491295856 140736491298765 0
/proc/11915/statm: 28282 349 296 221 0 87 0
[pid=11918] ppid=11915 vsize=15021092 memory=130248 CPUtime=1.03 cores=1,3,5,7
/proc/11918/stat : 11918 (java) S 11915 11915 5522 0 -1 1077944320 19886 0 0 0 96 7 0 0 20 0 15 0 406190010 15381598208 32562 33554432000 4194304 4196468 140721873118768 140721873101312 139802977459959 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
/proc/11918/statm: 3755273 32562 3201 1 0 3716603 0
[pid=11918/tid=11919] ppid=11915 vsize=15022116 memory=1780935034113 CPUtime=0.67 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (java) R 11915 11915 5522 0 -1 4202560 16873 0 0 0 62 5 0 0 20 0 15 0 406190011 15382646784 32562 33554432000 4194304 4196468 140721873118768 139802949277504 139802970139677 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11920] ppid=11915 vsize=15022116 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15382646784 32562 33554432000 4194304 4196468 140721873118768 139802981702032 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11921] ppid=11915 vsize=15022116 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11921/stat : 11921 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15382646784 32562 33554432000 4194304 4196468 140721873118768 139802799790352 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11922] ppid=11915 vsize=15022116 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11922/stat : 11922 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15382646784 32562 33554432000 4194304 4196468 140721873118768 139802798738064 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11923] ppid=11915 vsize=15021092 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11923/stat : 11923 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15381598208 32562 33554432000 4194304 4196468 140721873118768 139802797685264 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11924] ppid=11915 vsize=15021092 memory=3440 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11924/stat : 11924 (java) S 11915 11915 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406190014 15381598208 32562 33554432000 4194304 4196468 140721873118768 139802015079024 139802977471106 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11925] ppid=11915 vsize=15021092 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11925/stat : 11925 (java) S 11915 11915 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406190014 15381598208 32562 33554432000 4194304 4196468 140721873118768 139801521022240 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11926] ppid=11915 vsize=15022116 memory=5896 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11926/stat : 11926 (java) S 11915 11915 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406190014 15382646784 32562 33554432000 4194304 4196468 140721873118768 139801386800752 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11927] ppid=11915 vsize=15022116 memory=664 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11927/stat : 11927 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15382646784 32562 33554432000 4194304 4196468 140721873118768 139801012296272 139802977478555 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11928] ppid=11915 vsize=15022116 memory=1156 CPUtime=0.08 cores=1,3,5,7
/proc/11918/task/11928/stat : 11928 (java) S 11915 11915 5522 0 -1 1077944384 724 0 0 0 8 0 0 0 20 0 15 0 406190017 15382646784 32562 33554432000 4194304 4196468 140721873118768 139802014025840 139802977471106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11929] ppid=11915 vsize=15021092 memory=1000 CPUtime=0.09 cores=1,3,5,7
/proc/11918/task/11929/stat : 11929 (java) S 11915 11915 5522 0 -1 1077944384 319 0 0 0 9 0 0 0 20 0 15 0 406190017 15381598208 32562 33554432000 4194304 4196468 140721873118768 139802012973040 139802977471106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11930] ppid=11915 vsize=15021092 memory=14008 CPUtime=0.15 cores=1,3,5,7
/proc/11918/task/11930/stat : 11930 (java) R 11915 11915 5522 0 -1 4202560 615 0 0 0 15 0 0 0 20 0 15 0 406190017 15381598208 32562 33554432000 4194304 4196468 140721873118768 139802011920752 139802955904704 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11931] ppid=11915 vsize=15021092 memory=4940 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11931/stat : 11931 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15381598208 32562 33554432000 4194304 4196468 140721873118768 139800514390496 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11932] ppid=11915 vsize=15022116 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11932/stat : 11932 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190017 15382646784 32562 33554432000 4194304 4196468 140721873118768 139802010868656 139802977471106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131644 KiB
[startup+1.50414 s]
/proc/loadavg: 3.34 2.78 2.55 4/235 11932
/proc/meminfo: memFree=31472552/32770624 swapFree=66992980/67108860
[pid=11915] ppid=11912 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11915/stat : 11915 (scop.sh) S 11912 11915 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406190010 115843072 349 33554432000 4194304 5098028 140736491291008 140736491288264 140439460213372 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29503488 140736491295528 140736491295856 140736491295856 140736491298765 0
/proc/11915/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/11918/statm: 3756826 45301 3259 1 0 3717627 0
[pid=11918/tid=11919] ppid=11915 vsize=15027304 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (java) R 11915 11915 5522 0 -1 4202560 18336 0 0 0 140 7 0 0 20 0 15 0 406190011 15387959296 45301 33554432000 4194304 4196468 140721873118768 139802949297200 139802959023519 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11920] ppid=11915 vsize=15027304 memory=-6307948881315901058 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15387959296 45301 33554432000 4194304 4196468 140721873118768 139802981702032 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11921] ppid=11915 vsize=15027304 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11921/stat : 11921 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15387959296 45301 33554432000 4194304 4196468 140721873118768 139802799790352 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11922] ppid=11915 vsize=15027304 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11922/stat : 11922 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15387959296 45301 33554432000 4194304 4196468 140721873118768 139802798738064 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11923] ppid=11915 vsize=15027304 memory=3440 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11923/stat : 11923 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15387959296 45301 33554432000 4194304 4196468 140721873118768 139802797685264 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11924] ppid=11915 vsize=15027304 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11924/stat : 11924 (java) S 11915 11915 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406190014 15387959296 45301 33554432000 4194304 4196468 140721873118768 139802015079024 139802977471106 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11925] ppid=11915 vsize=15027304 memory=5896 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11925/stat : 11925 (java) S 11915 11915 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406190014 15387959296 45301 33554432000 4194304 4196468 140721873118768 139801521022240 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11926] ppid=11915 vsize=15027304 memory=664 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11926/stat : 11926 (java) S 11915 11915 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406190014 15387959296 45301 33554432000 4194304 4196468 140721873118768 139801386800752 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11927] ppid=11915 vsize=15027304 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11927/stat : 11927 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15387959296 45301 33554432000 4194304 4196468 140721873118768 139801012296272 139802977478555 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11928] ppid=11915 vsize=15027304 memory=1000 CPUtime=0.4 cores=1,3,5,7
/proc/11918/task/11928/stat : 11928 (java) R 11915 11915 5522 0 -1 4202560 1016 0 0 0 40 0 0 0 20 0 15 0 406190017 15387959296 45301 33554432000 4194304 4196468 140721873118768 139802014010192 139802977471894 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11929] ppid=11915 vsize=15027304 memory=14008 CPUtime=0.37 cores=1,3,5,7
/proc/11918/task/11929/stat : 11929 (java) R 11915 11915 5522 0 -1 4202560 663 0 0 0 37 0 0 0 20 0 15 0 406190017 15387959296 45301 33554432000 4194304 4196468 140721873118768 139802012962512 139802958640115 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11930] ppid=11915 vsize=15027304 memory=4940 CPUtime=0.68 cores=1,3,5,7
/proc/11918/task/11930/stat : 11930 (java) R 11915 11915 5522 0 -1 1077944384 2064 0 0 0 67 1 0 0 20 0 15 0 406190017 15387959296 45301 33554432000 4194304 4196468 140721873118768 139802011915104 139802977470165 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11931] ppid=11915 vsize=15027304 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11931/stat : 11931 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15387959296 45301 33554432000 4194304 4196468 140721873118768 139800514390496 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11932] ppid=11915 vsize=15027304 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11932/stat : 11932 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190017 15387959296 45301 33554432000 4194304 4196468 140721873118768 139802010868656 139802977471106 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 182600 KiB
[startup+2.85409 s]
# the end of solver process 11915 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.55974 s, system=0.231613 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60134 s]
/proc/loadavg: 3.34 2.78 2.55 4/235 11932
/proc/meminfo: memFree=31472552/32770624 swapFree=66992980/67108860
[pid=11915] ppid=11912 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11915/stat : 11915 (scop.sh) S 11912 11915 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406190010 115843072 349 33554432000 4194304 5098028 140736491291008 140736491288264 140439460213372 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29503488 140736491295528 140736491295856 140736491295856 140736491298765 0
/proc/11915/statm: 28282 349 296 221 0 87 0
[pid=11918] ppid=11915 vsize=15027304 memory=184400 CPUtime=3.26 cores=1,3,5,7
/proc/11918/stat : 11918 (java) S 11915 11915 5522 0 -1 1077944320 23786 0 0 0 316 10 0 0 20 0 15 0 406190010 15387959296 46100 33554432000 4194304 4196468 140721873118768 140721873101312 139802977459959 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
/proc/11918/statm: 3756826 46100 3259 1 0 3717627 0
[pid=11918/tid=11919] ppid=11915 vsize=15027304 memory=988 CPUtime=1.57 cores=1,3,5,7
/proc/11918/task/11919/stat : 11919 (java) R 11915 11915 5522 0 -1 4202560 18403 0 0 0 150 7 0 0 20 0 15 0 406190011 15387959296 46100 33554432000 4194304 4196468 140721873118768 139802949293136 139802484736697 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11920] ppid=11915 vsize=15027304 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11920/stat : 11920 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15387959296 46100 33554432000 4194304 4196468 140721873118768 139802981702032 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11921] ppid=11915 vsize=15027304 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11921/stat : 11921 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190012 15387959296 46100 33554432000 4194304 4196468 140721873118768 139802799790352 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11922] ppid=11915 vsize=15027304 memory=776 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11922/stat : 11922 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15387959296 46100 33554432000 4194304 4196468 140721873118768 139802798738064 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11923] ppid=11915 vsize=15027304 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11923/stat : 11923 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190012 15387959296 46100 33554432000 4194304 4196468 140721873118768 139802797685264 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11924] ppid=11915 vsize=15027304 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11924/stat : 11924 (java) S 11915 11915 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406190014 15387959296 46100 33554432000 4194304 4196468 140721873118768 139802015079024 139802977471106 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11925] ppid=11915 vsize=15027304 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11925/stat : 11925 (java) S 11915 11915 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406190014 15387959296 46100 33554432000 4194304 4196468 140721873118768 139801521022240 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11926] ppid=11915 vsize=15027304 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11926/stat : 11926 (java) S 11915 11915 5522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 406190014 15387959296 46100 33554432000 4194304 4196468 140721873118768 139801386800752 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11927] ppid=11915 vsize=15027304 memory=3440 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11927/stat : 11927 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15387959296 46100 33554432000 4194304 4196468 140721873118768 139801012296272 139802977478555 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11928] ppid=11915 vsize=15027304 memory=2832 CPUtime=0.48 cores=1,3,5,7
/proc/11918/task/11928/stat : 11928 (java) S 11915 11915 5522 0 -1 1077944384 1102 0 0 0 48 0 0 0 20 0 15 0 406190017 15387959296 46100 33554432000 4194304 4196468 140721873118768 139802014025840 139802977471106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11929] ppid=11915 vsize=15027304 memory=5896 CPUtime=0.43 cores=1,3,5,7
/proc/11918/task/11929/stat : 11929 (java) S 11915 11915 5522 0 -1 1077944384 700 0 0 0 43 0 0 0 20 0 15 0 406190017 15387959296 46100 33554432000 4194304 4196468 140721873118768 139802012973040 139802977471106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11930] ppid=11915 vsize=15027304 memory=664 CPUtime=0.75 cores=1,3,5,7
/proc/11918/task/11930/stat : 11930 (java) S 11915 11915 5522 0 -1 1077944384 2226 0 0 0 74 1 0 0 20 0 15 0 406190017 15387959296 46100 33554432000 4194304 4196468 140721873118768 139802011920752 139802977471106 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11931] ppid=11915 vsize=15027304 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11931/stat : 11931 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190017 15387959296 46100 33554432000 4194304 4196468 140721873118768 139800514390496 139802977470165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
[pid=11918/tid=11932] ppid=11915 vsize=15027304 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/11918/task/11932/stat : 11932 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190017 15387959296 46100 33554432000 4194304 4196468 140721873118768 139802010868656 139802977471106 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16986112 140721873122030 140721873122458 140721873122458 140721873125327 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 185796 KiB
[startup+2.40079 s]
/proc/loadavg: 3.34 2.78 2.55 3/229 11941
/proc/meminfo: memFree=31576508/32770624 swapFree=66992980/67108860
[pid=11915] ppid=11912 vsize=113128 memory=1476 CPUtime=4.33 cores=1,3,5,7
/proc/11915/stat : 11915 (scop.sh) S 11912 11915 5522 0 -1 4202496 583 25663 0 0 0 0 420 13 20 0 1 0 406190010 115843072 369 33554432000 4194304 5098028 140736491291008 140736491287752 140439460213372 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29503488 140736491295528 140736491295856 140736491295856 140736491298765 0
/proc/11915/statm: 28282 369 311 221 0 87 0
[pid=11933] ppid=11915 vsize=7406584 memory=74764 CPUtime=0.59 cores=1,3,5,7
/proc/11933/stat : 11933 (java) S 11915 11915 5522 0 -1 1077944320 13449 0 0 0 55 4 0 0 20 0 15 0 406190205 7584342016 18691 33554432000 4194304 4196468 140732647699456 140732647682000 140431114886903 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
/proc/11933/statm: 1851646 18691 3082 1 0 1813530 0
[pid=11933/tid=11934] ppid=11915 vsize=7406584 memory=12040 CPUtime=0.43 cores=1,3,5,7
/proc/11933/task/11934/stat : 11934 (java) R 11915 11915 5522 0 -1 4202560 11117 0 0 0 40 3 0 0 20 0 15 0 406190205 7584342016 18691 33554432000 4194304 4196468 140732647699456 140431086698560 140431114908829 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11935] ppid=11915 vsize=7406584 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11933/task/11935/stat : 11935 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190207 7584342016 18691 33554432000 4194304 4196468 140732647699456 140431119129104 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11936] ppid=11915 vsize=7406584 memory=159388 CPUtime=0 cores=1,3,5,7
/proc/11933/task/11936/stat : 11936 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190207 7584342016 18691 33554432000 4194304 4196468 140732647699456 140430937217680 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11937] ppid=11915 vsize=7406584 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/11933/task/11937/stat : 11937 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190207 7584342016 18691 33554432000 4194304 4196468 140732647699456 140430936164624 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11938] ppid=11915 vsize=7406584 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/11933/task/11938/stat : 11938 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190207 7584342016 18691 33554432000 4194304 4196468 140732647699456 140430598371728 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11939] ppid=11915 vsize=7406584 memory=496 CPUtime=0 cores=1,3,5,7
/proc/11933/task/11939/stat : 11939 (java) S 11915 11915 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406190208 7584342016 18691 33554432000 4194304 4196468 140732647699456 140430561331952 140431114898050 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11940] ppid=11915 vsize=7406584 memory=928 CPUtime=0 cores=1,3,5,7
/proc/11933/task/11940/stat : 11940 (java) S 11915 11915 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406190208 7584342016 18691 33554432000 4194304 4196468 140732647699456 140429928425120 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11941] ppid=11915 vsize=7406584 memory=1604 CPUtime=0 cores=1,3,5,7
/proc/11933/task/11941/stat : 11941 (java) S 11915 11915 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406190209 7584342016 18691 33554432000 4194304 4196468 140732647699456 140429659989232 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11942] ppid=11915 vsize=7406584 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/11933/task/11942/stat : 11942 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190211 7584342016 18691 33554432000 4194304 4196468 140732647699456 140429285480912 140431114905499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11943] ppid=11915 vsize=7406584 memory=2356 CPUtime=0.02 cores=1,3,5,7
/proc/11933/task/11943/stat : 11943 (java) S 11915 11915 5522 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 406190211 7584342016 18691 33554432000 4194304 4196468 140732647699456 140430560278768 140431114898050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11944] ppid=11915 vsize=7406584 memory=1440 CPUtime=0.03 cores=1,3,5,7
/proc/11933/task/11944/stat : 11944 (java) S 11915 11915 5522 0 -1 1077944384 228 0 0 0 3 0 0 0 20 0 15 0 406190211 7584342016 18691 33554432000 4194304 4196468 140732647699456 140430559226224 140431114898050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11945] ppid=11915 vsize=7406584 memory=820 CPUtime=0.09 cores=1,3,5,7
/proc/11933/task/11945/stat : 11945 (java) R 11915 11915 5522 0 -1 4202560 370 0 0 0 9 0 0 0 20 0 15 0 406190211 7584342016 18691 33554432000 4194304 4196468 140732647699456 140430558173168 140431094319016 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11946] ppid=11915 vsize=7406584 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/11933/task/11946/stat : 11946 (java) S 11915 11915 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406190211 7584342016 18691 33554432000 4194304 4196468 140732647699456 140428787575136 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 7519712 KiB
Current children cumulated memory: 76240 KiB
[startup+2.80077 s]
/proc/loadavg: 3.34 2.78 2.55 3/229 11941
/proc/meminfo: memFree=31576508/32770624 swapFree=66992980/67108860
[pid=11915] ppid=11912 vsize=113128 memory=1476 CPUtime=4.33 cores=1,3,5,7
/proc/11915/stat : 11915 (scop.sh) S 11912 11915 5522 0 -1 4202496 583 25663 0 0 0 0 420 13 20 0 1 0 406190010 115843072 369 33554432000 4194304 5098028 140736491291008 140736491287752 140439460213372 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29503488 140736491295528 140736491295856 140736491295856 140736491298765 0
/proc/11915/statm: 28282 369 311 221 0 87 0
[pid=11933] ppid=11915 vsize=7937364 memory=120556 CPUtime=1.33 cores=1,3,5,7
/proc/11933/stat : 11933 (java) S 11915 11915 5522 0 -1 1077944320 20648 1402 0 0 118 8 7 0 20 0 17 0 406190205 8127860736 30139 33554432000 4194304 4196468 140732647699456 140732647682000 140431114886903 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
/proc/11933/statm: 1984341 30139 3206 1 0 1945685 0
[pid=11933/tid=11934] ppid=11915 vsize=7937364 memory=6791534058613427641 CPUtime=0.85 cores=1,3,5,7
/proc/11933/task/11934/stat : 11934 (java) R 11915 11915 5522 0 -1 4202560 16996 1402 0 0 72 6 7 0 20 0 17 0 406190205 8127860736 30139 33554432000 4194304 4196468 140732647699456 140431086723760 140431098967390 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11935] ppid=11915 vsize=7937364 memory=35 CPUtime=0.07 cores=1,3,5,7
/proc/11933/task/11935/stat : 11935 (java) S 11915 11915 5522 0 -1 1077944384 1 1402 0 0 0 0 7 0 20 0 17 0 406190207 8127860736 30139 33554432000 4194304 4196468 140732647699456 140431119129104 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11936] ppid=11915 vsize=7937364 memory=23 CPUtime=0.07 cores=1,3,5,7
/proc/11933/task/11936/stat : 11936 (java) S 11915 11915 5522 0 -1 1077944384 1 1402 0 0 0 0 7 0 20 0 17 0 406190207 8127860736 30139 33554432000 4194304 4196468 140732647699456 140430937217680 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11937] ppid=11915 vsize=7937364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11933/task/11937/stat : 11937 (java) S 11915 11915 5522 0 -1 1077944384 2 1402 0 0 0 0 7 0 20 0 17 0 406190207 8127860736 30139 33554432000 4194304 4196468 140732647699456 140430936164624 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11938] ppid=11915 vsize=7937364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11933/task/11938/stat : 11938 (java) S 11915 11915 5522 0 -1 1077944384 2 1402 0 0 0 0 7 0 20 0 17 0 406190207 8127860736 30139 33554432000 4194304 4196468 140732647699456 140430598371728 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11939] ppid=11915 vsize=7937364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11933/task/11939/stat : 11939 (java) S 11915 11915 5522 0 -1 1077944384 5 1402 0 0 0 0 7 0 20 0 17 0 406190208 8127860736 30139 33554432000 4194304 4196468 140732647699456 140430561331952 140431114898050 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11940] ppid=11915 vsize=7937364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11933/task/11940/stat : 11940 (java) S 11915 11915 5522 0 -1 1077944384 13 1402 0 0 0 0 7 0 20 0 17 0 406190208 8127860736 30139 33554432000 4194304 4196468 140732647699456 140429928425120 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11941] ppid=11915 vsize=7937364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11933/task/11941/stat : 11941 (java) S 11915 11915 5522 0 -1 1077944384 1 1402 0 0 0 0 7 0 20 0 17 0 406190209 8127860736 30139 33554432000 4194304 4196468 140732647699456 140429659989232 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11942] ppid=11915 vsize=7937364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11933/task/11942/stat : 11942 (java) S 11915 11915 5522 0 -1 1077944384 3 1402 0 0 0 0 7 0 20 0 17 0 406190211 8127860736 30139 33554432000 4194304 4196468 140732647699456 140429285480912 140431114905499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11943] ppid=11915 vsize=7937364 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/11933/task/11943/stat : 11943 (java) S 11915 11915 5522 0 -1 1077944384 638 1402 0 0 10 0 7 0 20 0 17 0 406190211 8127860736 30139 33554432000 4194304 4196468 140732647699456 140430560278768 140431114898050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11944] ppid=11915 vsize=7937364 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/11933/task/11944/stat : 11944 (java) R 11915 11915 5522 0 -1 1077944384 421 1402 0 0 10 0 7 0 20 0 17 0 406190211 8127860736 30139 33554432000 4194304 4196468 140732647699456 140430559226224 140431114898050 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11945] ppid=11915 vsize=7937364 memory=1 CPUtime=0.29 cores=1,3,5,7
/proc/11933/task/11945/stat : 11945 (java) R 11915 11915 5522 0 -1 4202560 632 1402 0 0 22 0 7 0 20 0 17 0 406190211 8127860736 30139 33554432000 4194304 4196468 140732647699456 140430558173168 140431093252640 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
[pid=11933/tid=11946] ppid=11915 vsize=7937364 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/11933/task/11946/stat : 11946 (java) S 11915 11915 5522 0 -1 1077944384 3 1402 0 0 0 0 7 0 20 0 17 0 406190211 8127860736 30139 33554432000 4194304 4196468 140732647699456 140428787575136 140431114897109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140732647703547 140732647703706 140732647703706 140732647706575 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 122032 KiB
Child status: 0
Real time (s): 2.85414
CPU time (s): 5.79135
CPU user time (s): 5.55974
CPU system time (s): 0.231613
CPU usage (%): 202.911
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 260652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.55974
system time used= 0.231613
maximum resident set size= 262192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5209
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 11915
# total CPU time (s): 5.79135
# total CPU user time (s): 5.55974
# total CPU system time (s): 0.231613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046313 second user time and 0.071575 second system time
The end