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-6708-serial-file.bin HOME/instance-4387671-1568287782.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 13:29:05 CEST 2019
0.66/0.55 c PID: 6711
0.66/0.55 c IP: 172.20.3.126
0.66/0.55 c HOST: node126.alineos.net
0.66/0.56 c (0,0) Parsing Begin
3.07/1.36 c (0,0) Parsing End
3.07/1.37 c (0,0) CSP: 208 int (0 aux), 0 bool (0 aux), 2032 ctr, max domain size 10
3.07/1.37 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.07/1.37 c (0,0) Constraint Name Generate Begin
3.07/1.38 c (0,0) Ctr:HOME/instance-4387671-1568287782.xml,ExtensionConflict:ExtensionSupport:Var
3.07/1.38 c (0,0) Constraint Name Generate End
3.07/1.38 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.07/1.38 c (0,0) CSP to CSPinCNF Begin
4.65/1.99 c (1,1) translated 204 (10%) constraints
5.59/2.20 c (1,1) translated 407 (20%) constraints
5.88/2.39 c (1,1) translated 610 (30%) constraints
6.50/2.55 c (2,2) translated 813 (40%) constraints
7.10/2.71 c (2,2) translated 1016 (50%) constraints
7.40/2.85 c (2,2) translated 1220 (60%) constraints
7.70/2.99 c (2,2) translated 1423 (70%) constraints
8.33/3.13 c (2,2) translated 1626 (80%) constraints
8.60/3.26 c (2,2) translated 1829 (90%) constraints
9.59/3.58 c (3,3) translated 2032 (100%) constraints
9.59/3.58 c (3,3) ===========================================
9.59/3.58 c (3,3) Order
9.59/3.58 c (3,3) ===========================================
9.91/3.64 c (3,3) translated 1840 (10%) constraints
9.91/3.69 c (3,3) translated 3679 (20%) constraints
10.21/3.74 c (3,3) translated 5519 (30%) constraints
10.21/3.79 c (3,3) translated 7358 (40%) constraints
10.52/3.84 c (3,3) translated 9198 (50%) constraints
10.52/3.89 c (3,3) translated 11037 (60%) constraints
10.82/3.94 c (3,3) translated 12877 (70%) constraints
10.82/3.99 c (3,3) translated 14716 (80%) constraints
11.14/4.04 c (3,3) translated 16556 (90%) constraints
11.14/4.09 c (3,3) translated 18395 (100%) constraints
11.14/4.09 c (3,3) CSP to CSPinCNF End
11.14/4.10 c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18395 ctr, max domain size 10
11.14/4.10 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.14/4.10 c (3,3) CSPinCNF Propagation Begin
12.06/4.30 c (3,3) 0 values, 4622 unsatisfiable literals, and 21 valid clauses are removed
12.06/4.30 c (3,3) CSPinCNF Propagation End
12.06/4.31 c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10
12.06/4.31 c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.06/4.31 c (3,3) Simplify CSPinCNF Begin
12.06/4.37 c (3,3) Simplify CSPinCNF End
12.06/4.37 c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10
12.06/4.37 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.06/4.38 c (3,3) Calculate Precise Domain Begin
12.06/4.38 c (3,3) 0 values are removed by re-calculation
12.06/4.38 c (3,3) Calculate Precise Domain End
12.06/4.38 c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10
12.06/4.38 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.06/4.38 c (3,3) CSPinCNF to SatSolver Begin
12.73/4.54 c (4,3) 1838 (10 %) CSP clauses are encoded (0 SAT variables, 3093 SAT clauses)
13.03/4.61 c (4,4) 3675 (20 %) CSP clauses are encoded (0 SAT variables, 4930 SAT clauses)
13.03/4.67 c (4,4) 5513 (30 %) CSP clauses are encoded (0 SAT variables, 6768 SAT clauses)
13.33/4.72 c (4,4) 7350 (40 %) CSP clauses are encoded (0 SAT variables, 8605 SAT clauses)
13.33/4.77 c (4,4) 9187 (50 %) CSP clauses are encoded (0 SAT variables, 10442 SAT clauses)
13.33/4.79 c (4,4) 11025 (60 %) CSP clauses are encoded (0 SAT variables, 12280 SAT clauses)
13.64/4.82 c (4,4) 12862 (70 %) CSP clauses are encoded (0 SAT variables, 14117 SAT clauses)
13.64/4.84 c (4,4) 14700 (80 %) CSP clauses are encoded (0 SAT variables, 15955 SAT clauses)
13.64/4.87 c (4,4) 16537 (90 %) CSP clauses are encoded (0 SAT variables, 17792 SAT clauses)
13.94/4.90 c (4,4) 18374 (100 %) CSP clauses are encoded (0 SAT variables, 19629 SAT clauses)
13.94/4.90 c (4,4) CSPinCNF to SatSolver End
13.94/4.90 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.94/4.91 c (4,4) 1665 bool, 19630 clause
13.94/4.91 c (4,4) Export Begin
14.32/5.03 c (4,4) Export to HOME/scop-6708-serial-file.bin
14.32/5.03 c (4,4) Export End
14.32/5.03 c (4,4) Export File Size: 0.05 MB
14.32/5.03 c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
14.32/5.03 c END-Prog: Thu Sep 12 13:29:10 CEST 2019
14.32/5.05 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6708-serial-file.bin
14.40/5.53 c (0,0) Read Serial File Begin
14.40/5.53 c (0,0) HOME/scop-6708-serial-file.bin
14.40/5.77 c (0,0) Read Serial File End
14.40/5.78
14.40/5.78 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
14.40/5.78 (Solving Process)
14.40/5.78
14.40/5.80 c BEGIN-Prog: Thu Sep 12 13:29:11 CEST 2019
14.40/5.80 c PID: 6728
14.40/5.80 c IP: 172.20.3.126
14.40/5.80 c HOST: node126.alineos.net
14.40/5.80 c (0,0) SatSolver.solve Begin
14.40/5.80 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387671-1568287782.xml-scop-6711.cnf
14.40/5.84 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
14.40/5.84 c (0,0) c glueminisat-simp-2.2.10-193oa-n
14.40/5.84 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387671-1568287782.xml-scop-6711.cnf
14.40/5.84 c (0,0) c Options:
14.40/5.84 c (0,0) c CORE
14.40/5.84 c (0,0) c var_decay = 0.950
14.40/5.84 c (0,0) c clause_decay = 0.999
14.40/5.84 c (0,0) c random_var_freq = 0.000
14.40/5.84 c (0,0) c random_seed = 91648253.000
14.40/5.84 c (0,0) c luby_restart = 1
14.40/5.84 c (0,0) c ccmin_mode = 2
14.40/5.84 c (0,0) c phase_saving = 2
14.40/5.84 c (0,0) c rnd_pol = 0
14.40/5.84 c (0,0) c rnd_init_act = 0
14.40/5.84 c (0,0) c garbage_frac = 0.200
14.40/5.84 c (0,0) c restart_first = 1000
14.40/5.84 c (0,0) c restart_inc = 2.000
14.40/5.84 c (0,0) c MODEL
14.40/5.84 c (0,0) c partial_model = 0
14.40/5.84 c (0,0) c PROPAGATION
14.40/5.84 c (0,0) c bin_propagation = 1
14.40/5.84 c (0,0) c SIMPLIFICATION
14.40/5.84 c (0,0) c lrn_min_size = 100
14.40/5.84 c (0,0) c lazy_simp = 1
14.40/5.84 c (0,0) c lazy_interval = 10
14.40/5.84 c (0,0) c lazy_fld_probing = 1
14.40/5.84 c (0,0) c lazy_pol_probing = 1
14.40/5.84 c (0,0) c lazy_nec_probing = 1
14.40/5.84 c (0,0) c lazy_eqv_probing = 1
14.40/5.84 c (0,0) c lazy_cla_probing = 1
14.40/5.84 c (0,0) c lazy_lrn_min = 2
14.40/5.84 c (0,0) c lazy_uw_lit_elim = 1
14.40/5.84 c (0,0) c lazy_pr_lit_elim = 0
14.40/5.84 c (0,0) c lazy_bin_add = 3
14.40/5.84 c (0,0) c probed_lit_chain = 1
14.40/5.84 c (0,0) c pr_min_lits = 0.00020
14.40/5.84 c (0,0) c pr_min_starts = 500
14.40/5.84 c (0,0) c rw_min_lits = 0.010
14.40/5.84 c (0,0) c rw_min_starts = 500
14.40/5.84 c (0,0) c rand_attach = 0
14.40/5.84 c (0,0) c dec_elim = 1
14.40/5.84 c (0,0) c dec_elim_lim = 25
14.40/5.84 c (0,0) c dec_elim_len = -1
14.40/5.84 c (0,0) c amo = 0
14.40/5.84 c (0,0) c amo_grp = 1
14.40/5.84 c (0,0) c amo_max_bins = 1000000
14.40/5.84 c (0,0) c amo_starts = 50
14.40/5.84 c (0,0) c mace_cmd = mace
14.40/5.84 c (0,0) c DECISION
14.40/5.84 c (0,0) c rand_rebuild = 0
14.40/5.84 c (0,0) c rand_rebuild_confs = 10000
14.40/5.84 c (0,0) c inc_var_decay = 1
14.40/5.84 c (0,0) c inc_var_decay_period = 100000
14.40/5.84 c (0,0) c inc_var_decay_init = 0.600
14.40/5.84 c (0,0) c var_decay_mode = 0
14.40/5.84 c (0,0) c var_decay_gain = 0
14.40/5.84 c (0,0) c sloped_var_decay = 1
14.40/5.84 c (0,0) c max_var_decay = 0.990
14.40/5.84 c (0,0) c min_var_decay = 0.950
14.40/5.84 c (0,0) c min_var_decay_vars = 10000
14.40/5.84 c (0,0) c max_var_decay_vars = 500
14.40/5.84 c (0,0) c uip_bumping = 1
14.40/5.84 c (0,0) c lbd_act_bumping = 1
14.40/5.84 c (0,0) c rand_tiebreak = 0
14.40/5.84 c (0,0) c simp_rebuild = 1
14.40/5.84 c (0,0) c RESTART
14.40/5.84 c (0,0) c restart_strategy = 2
14.40/5.84 c (0,0) c restart_blocking = 0
14.40/5.84 c (0,0) c agility_decay = 0.99990
14.40/5.84 c (0,0) c lbd_restart_rate = 0.800
14.40/5.84 c (0,0) c dec_restart_rate = 0.950
14.40/5.84 c (0,0) c blk_restart_rate = 0.700
14.40/5.84 c (0,0) c lbd_queue_size = 50
14.40/5.84 c (0,0) c dec_queue_size = 50
14.40/5.84 c (0,0) c trl_queue_size = 5000
14.40/5.84 c (0,0) c blk_restart_weight = 1.000
14.40/5.84 c (0,0) c inc_rst_rate = 0
14.40/5.84 c (0,0) c inc_rst_rate_period = 500000
14.40/5.84 c (0,0) c inc_lbd_rst_rate_init = 0.600
14.40/5.84 c (0,0) c inc_dec_rst_rate_init = 0.750
14.40/5.84 c (0,0) c REDUCTION
14.40/5.84 c (0,0) c closed_lbd = 0
14.40/5.84 c (0,0) c closed_lbd_rate = 0.500
14.40/5.84 c (0,0) c rm_simulate = 0
14.40/5.84 c (0,0) c rdb_eval = 2
14.40/5.84 c (0,0) c rdb_call = 3
14.40/5.84 c (0,0) c rdb_ub = 0.500
14.40/5.84 c (0,0) c core_lbd_cvr = 0.800
14.40/5.84 c (0,0) c supp_lbd_cvr = 0.990
14.40/5.84 c (0,0) c core_lbd_lb = 2
14.40/5.84 c (0,0) c supp_lbd_lb = 2
14.40/5.84 c (0,0) c core_lbd_prd = 7
14.40/5.84 c (0,0) c supp_lbd_prd = 1
14.40/5.84 c (0,0) c othr_lbd_prd = 0
14.40/5.84 c (0,0) c inc_lrn_limit = 1000
14.40/5.84 c (0,0) c frozen_lbd = 30
14.40/5.84 c (0,0) c simp_min_starts = 100
14.40/5.84 c (0,0) c rm_low_act_learnts = 1
14.40/5.84 c (0,0) c lv0_reduce_db = 0
14.40/5.84 c (0,0) c reduce_db_base = 20000
14.40/5.84 c (0,0) c reduce_db_inc = 1000
14.40/5.84 c (0,0) c HARD
14.40/5.84 c (0,0) c inst_check = 200000
14.40/5.84 c (0,0) c small_block = 1.750
14.40/5.84 c (0,0) c slow_restart_speed = 400.000
14.40/5.84 c (0,0) c slow_restart_strategy = 3
14.40/5.84 c (0,0) c slow_lbd_restart_rate = 0.700
14.40/5.84 c (0,0) c slow_dec_restart_rate = 1.000
14.40/5.84 c (0,0) c slow_lbd_queue_size = 50
14.40/5.84 c (0,0) c slow_var_decay = 0.950
14.40/5.84 c (0,0) c slow_glue_threshold = 2
14.40/5.84 c (0,0) c slow_phase_saving = 2
14.40/5.84 c (0,0) c fast_restart_speed = 125.000
14.40/5.84 c (0,0) c fast_restart_strategy = 1
14.40/5.84 c (0,0) c fast_lbd_restart_rate = 0.800
14.40/5.84 c (0,0) c fast_dec_restart_rate = 0.950
14.40/5.84 c (0,0) c fast_lbd_queue_size = 50
14.40/5.84 c (0,0) c fast_var_decay = 1.000
14.40/5.84 c (0,0) c fast_glue_threshold = 2
14.40/5.84 c (0,0) c fast_phase_saving = 2
14.40/5.84 c (0,0) c STATS
14.40/5.84 c (0,0) c stats_conf_size = 10000
14.40/5.84 c (0,0) c max_stats_size = 30
14.40/5.84 c (0,0) c SOLVER
14.40/5.84 c (0,0) c minisat = 0
14.40/5.84 c (0,0) c Problem: 1665 variables, 19604 clauses, parsing 0.01 s
14.40/5.85 c (0,0) c reduced to 1503 variables, 19165 clauses (grow = 0)
14.40/5.85 c (0,0) c exclude 30 (2.0%) variables from decision variables (last cost 21)
14.40/5.85 c (0,0) c Simplification: 192 vars, 439 clauses are eliminated using 0.02 s
14.40/5.85 c (0,0) c
14.40/5.85 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
14.40/5.85 c (0,0) c
14.40/5.85 c (0,0) c 0 0 0 1473 19165 0 -nan -nan -nan -nan%
14.40/5.85 c (0,0) c 0 1 26 1421 19165 19 3.4 2.1 2.9 3.9%
14.40/5.85 c (0,0) c
14.40/5.85 c (0,0) c
14.40/5.85 c (0,0) c variables : 1421 (init 1665, after simp 1473, 30 non-decs, 208 csp)
14.40/5.85 c (0,0) c clauses : 19165 (init 19604, after simp 19165)
14.40/5.85 c (0,0) c restarts : 0 (26.00 confs/res, 26~26 confs, 0 blks, 0 last)
14.40/5.85 c (0,0) c conflicts : 26 (1124 /sec, 46.15% dconfs, 0.00% supp, trail 24.80w x 2.88h, jmp 1.08h)
14.40/5.85 c (0,0) c decisions : 28 (0.6000 vdcy, 1211 /sec, 0.00% bin, rs 0.000 s)
14.40/5.85 c (0,0) c propagations : 851 (36792 /sec, 30.39 lits/dec, 17.16% o.a.)
14.40/5.85 c (0,0) c conflict literals : 96 (27.08% deleted; 0.00% by bin min, 0.000 s)
14.40/5.85 c (0,0) c len : 3.368 (2.69 for all, max 5, used 5)
14.40/5.85 c (0,0) c lbd : 2.105 (2.27 (1.77) for all, max 4, used 4, 0.707 stdev, 1.186 blk)
14.40/5.85 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
14.40/5.85 c (0,0) c simp dbs : 1 (0.000 s)
14.40/5.85 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
14.40/5.85 c (0,0) c learnts : 19 (0 learnts removed, 0.00%)
14.40/5.85 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
14.40/5.85 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
14.40/5.85 c (0,0) c premise updates : 0 (0.00 /lit)
14.40/5.85 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
14.40/5.85 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
14.40/5.85 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
14.40/5.85 c (0,0) c unwatched lit elim: 9 (0.01+1.04%, 8+1 of 63662+96)
14.40/5.85 c (0,0) c classified type : undef
14.40/5.85 c (0,0) c progress : 3.661 %
14.40/5.85 c (0,0) c
14.40/5.85 c (0,0) c [Statistics]
14.40/5.85 c (0,0) c learnts len learnts lbd lit blk size eq vars size
14.40/5.85 c (0,0) c tot 25 25 59 0
14.40/5.85 c (0,0) c avg 2.800 1.840 1.186 -nan
14.40/5.85 c (0,0) c 1 6 (24.0%) 6 (24.0%) 52 (88.1%) 0 (-nan%)
14.40/5.85 c (0,0) c 2 3 (12.0%) 17 (68.0%) 4 ( 6.8%) 0 (-nan%)
14.40/5.85 c (0,0) c 3 9 (36.0%) 2 ( 8.0%) 2 ( 3.4%) 0 (-nan%)
14.40/5.85 c (0,0) c 4 4 (16.0%) 0 ( 0.0%) 1 ( 1.7%) 0 (-nan%)
14.40/5.85 c (0,0) c 5 3 (12.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 6 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 7 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 8 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 9 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 10 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 11 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 12 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 13 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 14 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 15 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 17 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 18 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 19 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 21 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 22 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 23 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 24 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 25 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 26 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 27 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c 30 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
14.40/5.85 c (0,0) c
14.40/5.85 c (0,0) c [LBD Statistics]
14.40/5.85 c (0,0) c LBD used lbd used clause lbd unused clause lbd
14.40/5.85 c (0,0) c tot 8 6 13
14.40/5.85 c (0,0) c avg 2.500 2.167 2.077
14.40/5.85 c (0,0) c 1 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%) 0 ( 0.0/ 0.0%)
14.40/5.85 c (0,0) c 2 5 (62.5/62.5%) 5 (83.3/83.3%) 12 (92.3/92.3%)
14.40/5.85 c (0,0) c 3 2 (25.0/87.5%) 1 (16.7/100.0%) 1 ( 7.7/100.0%)
14.40/5.85 c (0,0) c 4 1 (12.5/100.0%) 0 ( 0.0/100.0%) 0 ( 0.0/100.0%)
14.40/5.85 c (0,0) c
14.40/5.85 c (0,0) c Memory used : 22.00 MB
14.40/5.85 c (0,0) c CPU time : 0.023 s
14.40/5.85 c (0,0) c Real time : 0.025 s
14.40/5.85 c (0,0) c
14.40/5.86 c (0,0) s UNSATISFIABLE
14.40/5.88 c (0,0) SatSolver.solve End
14.40/5.88 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.40/5.88 c (0,0) Show results Begin
14.40/5.88 s UNSATISFIABLE
14.40/5.88 c (0,0) Show results End
14.40/5.88 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.40/5.88 c (0,0) 0,0,STOP-AFTER(ALL)
14.40/5.88 c END-Prog: Thu Sep 12 13:29:11 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 (13635 MiB free)
memory of node 1: 16384 MiB (14226 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387671-1568287782/watcher-4387671-1568287782 -o /tmp/evaluation-result-4387671-1568287782/solver-4387671-1568287782 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6147 --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-4387671-1568287782.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6708, runsolver pid=6705
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 2.41 3.45 2.98 3/235 6725
/proc/meminfo: memFree=28469812/32770624 swapFree=67004752/67108860
[pid=6708] ppid=6705 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6708/stat : 6708 (scop.sh) S 6705 6708 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405046046 115843072 349 33554432000 4194304 5098028 140725681070064 140725681067320 139678314521212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37163008 140725681079080 140725681079408 140725681079408 140725681082317 0
/proc/6708/statm: 28282 349 296 221 0 87 0
[pid=6711] ppid=6708 vsize=15012696 memory=73824 CPUtime=0.11 cores=1,3,5,7
/proc/6711/stat : 6711 (java) S 6708 6708 5150 0 -1 1077944320 7201 0 0 0 10 1 0 0 20 0 15 0 405046046 15373000704 18456 33554432000 4194304 4196468 140729413213712 140729413196256 140577992060663 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
/proc/6711/statm: 3753174 18456 2932 1 0 3715579 0
[pid=6711/tid=6712] ppid=6708 vsize=15012696 memory=-2915660033818482078 CPUtime=0.09 cores=1,3,5,7
/proc/6711/task/6712/stat : 6712 (java) R 6708 6708 5150 0 -1 4202560 5089 0 0 0 8 1 0 0 20 0 15 0 405046047 15373000704 18522 33554432000 4194304 4196468 140729413213712 140577963854472 140577975247489 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6713] ppid=6708 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6713/stat : 6713 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 18522 33554432000 4194304 4196468 140729413213712 140577996302608 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6714] ppid=6708 vsize=15012696 memory=140109114988160 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6714/stat : 6714 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 18522 33554432000 4194304 4196468 140729413213712 140577772005776 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6715] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6715/stat : 6715 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 18522 33554432000 4194304 4196468 140729413213712 140577770953232 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6716] ppid=6708 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6716/stat : 6716 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 18522 33554432000 4194304 4196468 140729413213712 140577450486416 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6717] ppid=6708 vsize=15012696 memory=140109114988160 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6717/stat : 6717 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046050 15373000704 18522 33554432000 4194304 4196468 140729413213712 140576961841648 140577992071810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6718] ppid=6708 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6718/stat : 6718 (java) S 6708 6708 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405046050 15373000704 18522 33554432000 4194304 4196468 140729413213712 140576561292704 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6719] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6719/stat : 6719 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046050 15373000704 18522 33554432000 4194304 4196468 140729413213712 140576292857328 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6720] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6720/stat : 6720 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 18522 33554432000 4194304 4196468 140729413213712 140575918349008 140577992079259 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6721] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6721/stat : 6721 (java) S 6708 6708 5150 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 18522 33554432000 4194304 4196468 140729413213712 140576960788464 140577992071810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6722] ppid=6708 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6722/stat : 6722 (java) S 6708 6708 5150 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 18522 33554432000 4194304 4196468 140729413213712 140576959735920 140577992071810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6723] ppid=6708 vsize=15012696 memory=140109114988160 CPUtime=0.01 cores=1,3,5,7
/proc/6711/task/6723/stat : 6723 (java) R 6708 6708 5150 0 -1 4202560 429 0 0 0 1 0 0 0 20 0 15 0 405046053 15373000704 18522 33554432000 4194304 4196468 140729413213712 140576958680136 140577971002232 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6724] ppid=6708 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6724/stat : 6724 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 18522 33554432000 4194304 4196468 140729413213712 140575420443232 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6725] ppid=6708 vsize=15012696 memory=140109114988160 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6725/stat : 6725 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 18522 33554432000 4194304 4196468 140729413213712 140576957631280 140577992071810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75220 KiB
[startup+0.210899 s]*
/proc/loadavg: 2.41 3.45 2.98 3/235 6725
/proc/meminfo: memFree=28451392/32770624 swapFree=67004752/67108860
[pid=6708] ppid=6705 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6708/stat : 6708 (scop.sh) S 6705 6708 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405046046 115843072 349 33554432000 4194304 5098028 140725681070064 140725681067320 139678314521212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37163008 140725681079080 140725681079408 140725681079408 140725681082317 0
/proc/6708/statm: 28282 349 296 221 0 87 0
[pid=6711] ppid=6708 vsize=15012696 memory=89200 CPUtime=0.25 cores=1,3,5,7
/proc/6711/stat : 6711 (java) S 6708 6708 5150 0 -1 1077944320 12336 0 0 0 22 3 0 0 20 0 15 0 405046046 15373000704 22300 33554432000 4194304 4196468 140729413213712 140729413196256 140577992060663 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
/proc/6711/statm: 3753174 22300 2962 1 0 3715579 0
[pid=6711/tid=6712] ppid=6708 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/6711/task/6712/stat : 6712 (java) R 6708 6708 5150 0 -1 4202560 10081 0 0 0 17 3 0 0 20 0 15 0 405046047 15373000704 22300 33554432000 4194304 4196468 140729413213712 140577963882464 140577992082589 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6713] ppid=6708 vsize=15012696 memory=365 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6713/stat : 6713 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 22300 33554432000 4194304 4196468 140729413213712 140577996302608 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6714] ppid=6708 vsize=15012696 memory=140109114995128 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6714/stat : 6714 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 22300 33554432000 4194304 4196468 140729413213712 140577772005776 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6715] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6715/stat : 6715 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 22300 33554432000 4194304 4196468 140729413213712 140577770953232 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6716] ppid=6708 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6716/stat : 6716 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 22300 33554432000 4194304 4196468 140729413213712 140577450486416 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6717] ppid=6708 vsize=15012696 memory=140109114988160 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6717/stat : 6717 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046050 15373000704 22300 33554432000 4194304 4196468 140729413213712 140576961841648 140577992071810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6718] ppid=6708 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6718/stat : 6718 (java) S 6708 6708 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405046050 15373000704 22300 33554432000 4194304 4196468 140729413213712 140576561292704 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6719] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6719/stat : 6719 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046050 15373000704 22300 33554432000 4194304 4196468 140729413213712 140576292857328 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6720] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6720/stat : 6720 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 22300 33554432000 4194304 4196468 140729413213712 140575918349008 140577992079259 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6721] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6721/stat : 6721 (java) S 6708 6708 5150 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 22300 33554432000 4194304 4196468 140729413213712 140576960788464 140577992071810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6722] ppid=6708 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6722/stat : 6722 (java) S 6708 6708 5150 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 22300 33554432000 4194304 4196468 140729413213712 140576959735920 140577992071810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6723] ppid=6708 vsize=15012696 memory=140109114988160 CPUtime=0.03 cores=1,3,5,7
/proc/6711/task/6723/stat : 6723 (java) R 6708 6708 5150 0 -1 4202560 436 0 0 0 3 0 0 0 20 0 15 0 405046053 15373000704 22300 33554432000 4194304 4196468 140729413213712 140576958683376 140577984777815 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6724] ppid=6708 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6724/stat : 6724 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 22300 33554432000 4194304 4196468 140729413213712 140575420443232 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6725] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6725/stat : 6725 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 22300 33554432000 4194304 4196468 140729413213712 140576957631280 140577992071810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90596 KiB
[startup+0.313602 s]*
/proc/loadavg: 2.41 3.45 2.98 3/235 6725
/proc/meminfo: memFree=28449956/32770624 swapFree=67004752/67108860
[pid=6708] ppid=6705 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6708/stat : 6708 (scop.sh) S 6705 6708 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405046046 115843072 349 33554432000 4194304 5098028 140725681070064 140725681067320 139678314521212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37163008 140725681079080 140725681079408 140725681079408 140725681082317 0
/proc/6708/statm: 28282 349 296 221 0 87 0
[pid=6711] ppid=6708 vsize=15012696 memory=92548 CPUtime=0.43 cores=1,3,5,7
/proc/6711/stat : 6711 (java) S 6708 6708 5150 0 -1 1077944320 13194 0 0 0 39 4 0 0 20 0 15 0 405046046 15373000704 23137 33554432000 4194304 4196468 140729413213712 140729413196256 140577992060663 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
/proc/6711/statm: 3753174 23137 3054 1 0 3715579 0
[pid=6711/tid=6712] ppid=6708 vsize=15012696 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/6711/task/6712/stat : 6712 (java) R 6708 6708 5150 0 -1 4202560 10757 0 0 0 27 3 0 0 20 0 15 0 405046047 15373000704 23137 33554432000 4194304 4196468 140729413213712 140577963890736 140577972336450 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6713] ppid=6708 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6713/stat : 6713 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 23137 33554432000 4194304 4196468 140729413213712 140577996302608 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6714] ppid=6708 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6714/stat : 6714 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 23137 33554432000 4194304 4196468 140729413213712 140577772005776 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6715] ppid=6708 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6715/stat : 6715 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 23137 33554432000 4194304 4196468 140729413213712 140577770953232 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6716] ppid=6708 vsize=15012696 memory=6933954179156714387 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6716/stat : 6716 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15373000704 23137 33554432000 4194304 4196468 140729413213712 140577450486416 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6717] ppid=6708 vsize=15012696 memory=7684433391216329786 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6717/stat : 6717 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046050 15373000704 23137 33554432000 4194304 4196468 140729413213712 140576961841648 140577992071810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6718] ppid=6708 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6718/stat : 6718 (java) S 6708 6708 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405046050 15373000704 23137 33554432000 4194304 4196468 140729413213712 140576561292704 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6719] ppid=6708 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6719/stat : 6719 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046050 15373000704 23137 33554432000 4194304 4196468 140729413213712 140576292857328 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6720] ppid=6708 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6720/stat : 6720 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 23137 33554432000 4194304 4196468 140729413213712 140575918349008 140577992079259 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6721] ppid=6708 vsize=15012696 memory=-7384621950708166502 CPUtime=0.02 cores=1,3,5,7
/proc/6711/task/6721/stat : 6721 (java) S 6708 6708 5150 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 405046053 15373000704 23137 33554432000 4194304 4196468 140729413213712 140576960788464 140577992071810 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6722] ppid=6708 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6711/task/6722/stat : 6722 (java) S 6708 6708 5150 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 15 0 405046053 15373000704 23137 33554432000 4194304 4196468 140729413213712 140576959735920 140577992071810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6723] ppid=6708 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6711/task/6723/stat : 6723 (java) S 6708 6708 5150 0 -1 1077944384 458 0 0 0 7 0 0 0 20 0 15 0 405046053 15373000704 23137 33554432000 4194304 4196468 140729413213712 140576958683376 140577992071810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6724] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6724/stat : 6724 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 23137 33554432000 4194304 4196468 140729413213712 140575420443232 140577992070869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6725] ppid=6708 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6725/stat : 6725 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046053 15373000704 23137 33554432000 4194304 4196468 140729413213712 140576957631280 140577992071810 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93944 KiB
[startup+0.701275 s]
/proc/loadavg: 2.41 3.45 2.98 3/235 6725
/proc/meminfo: memFree=28428004/32770624 swapFree=67004752/67108860
[pid=6708] ppid=6705 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6708/stat : 6708 (scop.sh) S 6705 6708 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405046046 115843072 349 33554432000 4194304 5098028 140725681070064 140725681067320 139678314521212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37163008 140725681079080 140725681079408 140725681079408 140725681082317 0
/proc/6708/statm: 28282 349 296 221 0 87 0
[pid=6711] ppid=6708 vsize=15018968 memory=133844 CPUtime=1.02 cores=1,3,5,7
/proc/6711/stat : 6711 (java) S 6708 6708 5150 0 -1 1077944320 20156 0 0 0 96 6 0 0 20 0 15 0 405046046 15379423232 33461 33554432000 4194304 4196468 140729413213712 140729413196256 140577992060663 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
/proc/6711/statm: 3754742 33461 3182 1 0 3716091 0
[pid=6711/tid=6712] ppid=6708 vsize=15018968 memory=3620 CPUtime=0.68 cores=1,3,5,7
/proc/6711/task/6712/stat : 6712 (java) R 6708 6708 5150 0 -1 4202560 17170 0 0 0 63 5 0 0 20 0 15 0 405046047 15379423232 33461 33554432000 4194304 4196468 140729413213712 140577963891056 140577450628233 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6713] ppid=6708 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6713/stat : 6713 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15379423232 33461 33554432000 4194304 4196468 140729413213712 140577996302608 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6714] ppid=6708 vsize=15018968 memory=6438155977927 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6714/stat : 6714 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15379423232 33461 33554432000 4194304 4196468 140729413213712 140577772005776 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6715] ppid=6708 vsize=15018968 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6715/stat : 6715 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15379423232 33461 33554432000 4194304 4196468 140729413213712 140577770953232 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6716] ppid=6708 vsize=15018968 memory=15822200779310916 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6716/stat : 6716 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15379423232 33461 33554432000 4194304 4196468 140729413213712 140577450486416 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6717] ppid=6708 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6717/stat : 6717 (java) S 6708 6708 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405046050 15379423232 33461 33554432000 4194304 4196468 140729413213712 140576961841648 140577992071810 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6718] ppid=6708 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6718/stat : 6718 (java) S 6708 6708 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405046050 15379423232 33461 33554432000 4194304 4196468 140729413213712 140576561292704 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6719] ppid=6708 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6719/stat : 6719 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046050 15379423232 33461 33554432000 4194304 4196468 140729413213712 140576292857328 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6720] ppid=6708 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6720/stat : 6720 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15379423232 33461 33554432000 4194304 4196468 140729413213712 140575918349008 140577992079259 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6721] ppid=6708 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6711/task/6721/stat : 6721 (java) R 6708 6708 5150 0 -1 4202560 625 0 0 0 8 0 0 0 20 0 15 0 405046053 15379423232 33461 33554432000 4194304 4196468 140729413213712 140576960778064 140577973371269 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6722] ppid=6708 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6711/task/6722/stat : 6722 (java) R 6708 6708 5150 0 -1 4202560 428 0 0 0 8 0 0 0 20 0 15 0 405046053 15379423232 33461 33554432000 4194304 4196468 140729413213712 140576959735920 140577971394288 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6723] ppid=6708 vsize=15018968 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/6711/task/6723/stat : 6723 (java) R 6708 6708 5150 0 -1 4202560 599 0 0 0 16 0 0 0 20 0 15 0 405046053 15379423232 33461 33554432000 4194304 4196468 140729413213712 140576958678416 140577976141150 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6724] ppid=6708 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6724/stat : 6724 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15379423232 33461 33554432000 4194304 4196468 140729413213712 140575420443232 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6725] ppid=6708 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6725/stat : 6725 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046053 15379423232 33461 33554432000 4194304 4196468 140729413213712 140576957631280 140577992071810 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 135240 KiB
[startup+1.50077 s]
/proc/loadavg: 2.41 3.45 2.98 5/235 6725
/proc/meminfo: memFree=28373776/32770624 swapFree=67004752/67108860
[pid=6708] ppid=6705 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6708/stat : 6708 (scop.sh) S 6705 6708 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405046046 115843072 349 33554432000 4194304 5098028 140725681070064 140725681067320 139678314521212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37163008 140725681079080 140725681079408 140725681079408 140725681082317 0
/proc/6708/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/6711/task/6723/stat : 6723 (java) S 6708 6708 5150 0 -1 1077944384 1579 0 0 0 59 0 0 0 20 0 15 0 405046053 15383695360 50760 33554432000 4194304 4196468 140729413213712 140576958683376 140577992071810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6724] ppid=6708 vsize=15023140 memory=126540 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6724/stat : 6724 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15383695360 50760 33554432000 4194304 4196468 140729413213712 140575420443232 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6725] ppid=6708 vsize=15023140 memory=39608 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6725/stat : 6725 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046053 15383695360 50760 33554432000 4194304 4196468 140729413213712 140576957631280 140577992071810 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
Current children cumulated CPU time: 3.53 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 204436 KiB
[startup+3.11086 s]
/proc/loadavg: 2.41 3.45 2.98 5/235 6725
/proc/meminfo: memFree=28009380/32770624 swapFree=67004752/67108860
[pid=6708] ppid=6705 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6708/stat : 6708 (scop.sh) S 6705 6708 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405046046 115843072 349 33554432000 4194304 5098028 140725681070064 140725681067320 139678314521212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37163008 140725681079080 140725681079408 140725681079408 140725681082317 0
/proc/6708/statm: 28282 349 296 221 0 87 0
[pid=6711] ppid=6708 vsize=15025188 memory=567996 CPUtime=8.33 cores=1,3,5,7
/proc/6711/stat : 6711 (java) S 6708 6708 5150 0 -1 1077944320 29116 0 0 0 817 16 0 0 20 0 15 0 405046046 15385792512 141999 33554432000 4194304 4196468 140729413213712 140729413196256 140577992060663 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
/proc/6711/statm: 3756297 141999 3254 1 0 3717627 0
[pid=6711/tid=6712] ppid=6708 vsize=15025188 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/6711/task/6712/stat : 6712 (java) R 6708 6708 5150 0 -1 4202560 20488 0 0 0 294 13 0 0 20 0 15 0 405046047 15385792512 141999 33554432000 4194304 4196468 140729413213712 140577963890480 140577460140375 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6713] ppid=6708 vsize=15025188 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6713/stat : 6713 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15385792512 141999 33554432000 4194304 4196468 140729413213712 140577996302608 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6714] ppid=6708 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6714/stat : 6714 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15385792512 141999 33554432000 4194304 4196468 140729413213712 140577772005776 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6715] ppid=6708 vsize=15025188 memory=437368 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6715/stat : 6715 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15385792512 141999 33554432000 4194304 4196468 140729413213712 140577770953232 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6716] ppid=6708 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6716/stat : 6716 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15385792512 141999 33554432000 4194304 4196468 140729413213712 140577450486416 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6717] ppid=6708 vsize=15025188 memory=407332 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6717/stat : 6717 (java) S 6708 6708 5150 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 405046050 15385792512 141999 33554432000 4194304 4196468 140729413213712 140576961841648 140577992071810 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6718] ppid=6708 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6718/stat : 6718 (java) S 6708 6708 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405046050 15385792512 141999 33554432000 4194304 4196468 140729413213712 140576561292704 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6719] ppid=6708 vsize=15025188 memory=328024 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6719/stat : 6719 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046050 15385792512 141999 33554432000 4194304 4196468 140729413213712 140576292857328 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6720] ppid=6708 vsize=15025188 memory=7014751519583392102 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6720/stat : 6720 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15385792512 141999 33554432000 4194304 4196468 140729413213712 140575918349008 140577992079259 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6721] ppid=6708 vsize=15025188 memory=0 CPUtime=2.14 cores=1,3,5,7
/proc/6711/task/6721/stat : 6721 (java) R 6708 6708 5150 0 -1 4202560 2180 0 0 0 214 0 0 0 20 0 15 0 405046053 15385792512 141999 33554432000 4194304 4196468 140729413213712 140576960774576 140577976987309 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6722] ppid=6708 vsize=15025188 memory=3620 CPUtime=2.19 cores=1,3,5,7
/proc/6711/task/6722/stat : 6722 (java) R 6708 6708 5150 0 -1 4202560 2717 0 0 0 218 1 0 0 20 0 15 0 405046053 15385792512 141999 33554432000 4194304 4196468 140729413213712 140576959728944 140577973604352 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6723] ppid=6708 vsize=15025188 memory=37268 CPUtime=0.9 cores=1,3,5,7
/proc/6711/task/6723/stat : 6723 (java) S 6708 6708 5150 0 -1 1077944384 2390 0 0 0 89 1 0 0 20 0 15 0 405046053 15385792512 141999 33554432000 4194304 4196468 140729413213712 140576958683376 140577992071810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6724] ppid=6708 vsize=15025188 memory=26785 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6724/stat : 6724 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15385792512 141999 33554432000 4194304 4196468 140729413213712 140575420443232 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6725] ppid=6708 vsize=15025188 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6725/stat : 6725 (java) S 6708 6708 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405046053 15385792512 141999 33554432000 4194304 4196468 140729413213712 140576957631280 140577992071810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
Current children cumulated CPU time: 8.33 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 569392 KiB
[startup+5.89442 s]
# the end of solver process 6708 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.3107 s, system=0.385763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20102 s]
/proc/loadavg: 2.41 3.45 2.98 5/235 6725
/proc/meminfo: memFree=28009380/32770624 swapFree=67004752/67108860
[pid=6708] ppid=6705 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6708/stat : 6708 (scop.sh) S 6705 6708 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405046046 115843072 349 33554432000 4194304 5098028 140725681070064 140725681067320 139678314521212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37163008 140725681079080 140725681079408 140725681079408 140725681082317 0
/proc/6708/statm: 28282 349 296 221 0 87 0
[pid=6711] ppid=6708 vsize=15025188 memory=598828 CPUtime=8.6 cores=1,3,5,7
/proc/6711/stat : 6711 (java) S 6708 6708 5150 0 -1 1077944320 29157 0 0 0 844 16 0 0 20 0 15 0 405046046 15385792512 149707 33554432000 4194304 4196468 140729413213712 140729413196256 140577992060663 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
/proc/6711/statm: 3756297 149707 3254 1 0 3717627 0
[pid=6711/tid=6712] ppid=6708 vsize=15025188 memory=752 CPUtime=3.16 cores=1,3,5,7
/proc/6711/task/6712/stat : 6712 (java) R 6708 6708 5150 0 -1 4202560 20503 0 0 0 303 13 0 0 20 0 15 0 405046047 15385792512 149707 33554432000 4194304 4196468 140729413213712 140577963890480 140577457411904 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6713] ppid=6708 vsize=15025188 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6713/stat : 6713 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15385792512 149707 33554432000 4194304 4196468 140729413213712 140577996302608 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6714] ppid=6708 vsize=15025188 memory=9584 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6714/stat : 6714 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15385792512 149707 33554432000 4194304 4196468 140729413213712 140577772005776 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6715] ppid=6708 vsize=15025188 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6715/stat : 6715 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15385792512 149707 33554432000 4194304 4196468 140729413213712 140577770953232 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6716] ppid=6708 vsize=15025188 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6716/stat : 6716 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15385792512 149707 33554432000 4194304 4196468 140729413213712 140577450486416 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6717] ppid=6708 vsize=15025188 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6717/stat : 6717 (java) S 6708 6708 5150 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 405046050 15385792512 149707 33554432000 4194304 4196468 140729413213712 140576961841648 140577992071810 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6718] ppid=6708 vsize=15025188 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6718/stat : 6718 (java) S 6708 6708 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405046050 15385792512 149707 33554432000 4194304 4196468 140729413213712 140576561292704 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6719] ppid=6708 vsize=15025188 memory=5956 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6719/stat : 6719 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046050 15385792512 149707 33554432000 4194304 4196468 140729413213712 140576292857328 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6720] ppid=6708 vsize=15025188 memory=772 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6720/stat : 6720 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15385792512 149707 33554432000 4194304 4196468 140729413213712 140575918349008 140577992079259 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6721] ppid=6708 vsize=15025188 memory=952 CPUtime=2.23 cores=1,3,5,7
/proc/6711/task/6721/stat : 6721 (java) R 6708 6708 5150 0 -1 4202560 2196 0 0 0 223 0 0 0 20 0 15 0 405046053 15385792512 149707 33554432000 4194304 4196468 140729413213712 140576960774576 140577971307463 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6722] ppid=6708 vsize=15025188 memory=288230574492221466 CPUtime=2.28 cores=1,3,5,7
/proc/6711/task/6722/stat : 6722 (java) R 6708 6708 5150 0 -1 4202560 2727 0 0 0 227 1 0 0 20 0 15 0 405046053 15385792512 149707 33554432000 4194304 4196468 140729413213712 140576959721872 140577973582114 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6723] ppid=6708 vsize=15025188 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/6711/task/6723/stat : 6723 (java) S 6708 6708 5150 0 -1 1077944384 2390 0 0 0 89 1 0 0 20 0 15 0 405046053 15385792512 149707 33554432000 4194304 4196468 140729413213712 140576958683376 140577992071810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6724] ppid=6708 vsize=15025188 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6724/stat : 6724 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15385792512 149707 33554432000 4194304 4196468 140729413213712 140575420443232 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6725] ppid=6708 vsize=15025188 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6725/stat : 6725 (java) S 6708 6708 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405046053 15385792512 149707 33554432000 4194304 4196468 140729413213712 140576957631280 140577992071810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
Current children cumulated CPU time: 8.6 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 600224 KiB
[startup+4.80168 s]
/proc/loadavg: 2.41 3.45 2.98 5/236 6727
/proc/meminfo: memFree=27736016/32770624 swapFree=67004752/67108860
[pid=6708] ppid=6705 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6708/stat : 6708 (scop.sh) S 6705 6708 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405046046 115843072 349 33554432000 4194304 5098028 140725681070064 140725681067320 139678314521212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37163008 140725681079080 140725681079408 140725681079408 140725681082317 0
/proc/6708/statm: 28282 349 296 221 0 87 0
[pid=6711] ppid=6708 vsize=15027304 memory=1070892 CPUtime=13.64 cores=1,3,5,7
/proc/6711/stat : 6711 (java) S 6708 6708 5150 0 -1 1077944320 31828 0 0 0 1339 25 0 0 20 0 15 0 405046046 15387959296 267723 33554432000 4194304 4196468 140729413213712 140729413196256 140577992060663 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
/proc/6711/statm: 3756826 267723 3266 1 0 3717627 0
[pid=6711/tid=6712] ppid=6708 vsize=15027304 memory=-7887927021948682183 CPUtime=4.77 cores=1,3,5,7
/proc/6711/task/6712/stat : 6712 (java) R 6708 6708 5150 0 -1 4202560 21102 0 0 0 456 21 0 0 20 0 15 0 405046047 15387959296 267723 33554432000 4194304 4196468 140729413213712 140577963890864 140577450828934 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6713] ppid=6708 vsize=15027304 memory=4570481358258665002 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6713/stat : 6713 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15387959296 267723 33554432000 4194304 4196468 140729413213712 140577996302608 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6714] ppid=6708 vsize=15027304 memory=4715417817079182890 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6714/stat : 6714 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15387959296 267723 33554432000 4194304 4196468 140729413213712 140577772005776 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6715] ppid=6708 vsize=15027304 memory=8514701219881254558 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6715/stat : 6715 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046048 15387959296 267723 33554432000 4194304 4196468 140729413213712 140577770953232 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6716] ppid=6708 vsize=15027304 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6716/stat : 6716 (java) S 6708 6708 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405046048 15387959296 267723 33554432000 4194304 4196468 140729413213712 140577450486416 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6717] ppid=6708 vsize=15027304 memory=924 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6717/stat : 6717 (java) S 6708 6708 5150 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 405046050 15387959296 267723 33554432000 4194304 4196468 140729413213712 140576961841648 140577992071810 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6718] ppid=6708 vsize=15027304 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6718/stat : 6718 (java) S 6708 6708 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405046050 15387959296 267723 33554432000 4194304 4196468 140729413213712 140576561292704 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6719] ppid=6708 vsize=15027304 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6719/stat : 6719 (java) S 6708 6708 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405046050 15387959296 267723 33554432000 4194304 4196468 140729413213712 140576292857328 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6720] ppid=6708 vsize=15027304 memory=2584 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6720/stat : 6720 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15387959296 267723 33554432000 4194304 4196468 140729413213712 140575918349008 140577992079259 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6721] ppid=6708 vsize=15027304 memory=2584 CPUtime=3.82 cores=1,3,5,7
/proc/6711/task/6721/stat : 6721 (java) R 6708 6708 5150 0 -1 4202560 3276 0 0 0 382 0 0 0 20 0 15 0 405046053 15387959296 267723 33554432000 4194304 4196468 140729413213712 140576960788592 140577969911617 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6722] ppid=6708 vsize=15027304 memory=1412 CPUtime=3.85 cores=1,3,5,7
/proc/6711/task/6722/stat : 6722 (java) R 6708 6708 5150 0 -1 4202560 3224 0 0 0 384 1 0 0 20 0 15 0 405046053 15387959296 267723 33554432000 4194304 4196468 140729413213712 140576959722672 140577971307579 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6723] ppid=6708 vsize=15027304 memory=3288 CPUtime=1.16 cores=1,3,5,7
/proc/6711/task/6723/stat : 6723 (java) S 6708 6708 5150 0 -1 1077944384 2885 0 0 0 115 1 0 0 20 0 15 0 405046053 15387959296 267723 33554432000 4194304 4196468 140729413213712 140576958683376 140577992071810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6724] ppid=6708 vsize=15027304 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6724/stat : 6724 (java) S 6708 6708 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405046053 15387959296 267723 33554432000 4194304 4196468 140729413213712 140575420443232 140577992070869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
[pid=6711/tid=6725] ppid=6708 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6711/task/6725/stat : 6725 (java) S 6708 6708 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405046053 15387959296 267723 33554432000 4194304 4196468 140729413213712 140576957631280 140577992071810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22163456 140729413219055 140729413219482 140729413219482 140729413222351 0
Current children cumulated CPU time: 13.64 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 1072288 KiB
[startup+5.60031 s]
/proc/loadavg: 2.45 3.45 2.98 6/236 6727
/proc/meminfo: memFree=27402472/32770624 swapFree=67004752/67108860
[pid=6708] ppid=6705 vsize=113128 memory=1476 CPUtime=14.4 cores=1,3,5,7
/proc/6708/stat : 6708 (scop.sh) S 6705 6708 5150 0 -1 4202496 583 32745 0 0 0 0 1411 29 20 0 1 0 405046046 115843072 369 33554432000 4194304 5098028 140725681070064 140725681066808 139678314521212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37163008 140725681079080 140725681079408 140725681079408 140725681082317 0
/proc/6708/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 14.4 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+5.80022 s]
/proc/loadavg: 2.45 3.45 2.98 6/236 6727
/proc/meminfo: memFree=27402472/32770624 swapFree=67004752/67108860
[pid=6708] ppid=6705 vsize=113128 memory=1476 CPUtime=14.4 cores=1,3,5,7
/proc/6708/stat : 6708 (scop.sh) S 6705 6708 5150 0 -1 4202496 583 32745 0 0 0 0 1411 29 20 0 1 0 405046046 115843072 369 33554432000 4194304 5098028 140725681070064 140725681066808 139678314521212 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37163008 140725681079080 140725681079408 140725681079408 140725681082317 0
/proc/6708/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 14.4 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
Child status: 0
Real time (s): 5.89449
CPU time (s): 15.6965
CPU user time (s): 15.3107
CPU system time (s): 0.385763
CPU usage (%): 266.291
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1139804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3107
system time used= 0.385763
maximum resident set size= 1140956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55571
page faults= 0
swaps= 0
block input operations= 184
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5293
involuntary context switches= 45
# summary of solver processes directly reported to runsolver:
# pid: 6708
# total CPU time (s): 15.6965
# total CPU user time (s): 15.3107
# total CPU system time (s): 0.385763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053987 second user time and 0.109353 second system time
The end