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-10248-serial-file.bin HOME/instance-4387812-1568291136.xml
0.65/0.54
0.65/0.54 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.65/0.54
0.65/0.58 c BEGIN-Prog: Thu Sep 12 14:24:58 CEST 2019
0.65/0.58 c PID: 10251
0.65/0.58 c IP: 172.20.3.150
0.65/0.58 c HOST: node150.alineos.net
0.65/0.59 c (0,0) Parsing Begin
2.30/1.37 c (0,0) Parsing End
2.30/1.37 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 365 ctr, max domain size 20
2.30/1.37 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.30/1.37 c (0,0) Constraint Name Generate Begin
2.93/1.62 c (0,0) Ctr:HOME/instance-4387812-1568291136.xml,ExtensionConflict:Var
2.93/1.62 c (0,0) Constraint Name Generate End
2.93/1.62 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.93/1.62 c (0,0) CSP to CSPinCNF Begin
4.43/2.11 c (1,1) translated 37 (10%) constraints
5.34/2.36 c (1,1) translated 73 (20%) constraints
6.25/2.60 c (2,1) translated 110 (30%) constraints
6.87/2.82 c (2,2) translated 146 (40%) constraints
7.46/3.03 c (2,2) translated 183 (50%) constraints
8.11/3.25 c (2,2) translated 219 (60%) constraints
8.67/3.47 c (2,2) translated 256 (70%) constraints
9.28/3.68 c (3,2) translated 292 (80%) constraints
9.88/3.89 c (3,3) translated 329 (90%) constraints
10.49/4.09 c (3,3) translated 365 (100%) constraints
10.49/4.09 c (3,3) ===========================================
10.49/4.09 c (3,3) Order
10.49/4.09 c (3,3) ===========================================
10.82/4.20 c (3,3) translated 2778 (10%) constraints
11.13/4.29 c (3,3) translated 5556 (20%) constraints
11.43/4.38 c (3,3) translated 8334 (30%) constraints
11.70/4.46 c (3,3) translated 11111 (40%) constraints
12.01/4.54 c (3,3) translated 13889 (50%) constraints
12.30/4.62 c (4,3) translated 16667 (60%) constraints
12.30/4.69 c (4,3) translated 19444 (70%) constraints
12.59/4.77 c (4,3) translated 22222 (80%) constraints
12.88/4.84 c (4,4) translated 25000 (90%) constraints
13.18/4.91 c (4,4) translated 27777 (100%) constraints
13.18/4.91 c (4,4) CSP to CSPinCNF End
13.18/4.91 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
13.18/4.91 c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
13.18/4.91 c (4,4) CSPinCNF Propagation Begin
13.84/5.16 c (4,4) 0 values, 3151 unsatisfiable literals, and 0 valid clauses are removed
13.84/5.16 c (4,4) CSPinCNF Propagation End
13.84/5.16 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
13.84/5.16 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
13.84/5.16 c (4,4) Simplify CSPinCNF Begin
14.16/5.27 c (4,4) Simplify CSPinCNF End
14.16/5.27 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
14.16/5.27 c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.16/5.27 c (4,4) Calculate Precise Domain Begin
14.16/5.27 c (4,4) 0 values are removed by re-calculation
14.16/5.27 c (4,4) Calculate Precise Domain End
14.16/5.27 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
14.16/5.27 c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.16/5.28 c (4,4) CSPinCNF to SatSolver Begin
14.76/5.47 c (4,4) 2778 (10 %) CSP clauses are encoded (0 SAT variables, 3677 SAT clauses)
15.06/5.56 c (5,4) 5556 (20 %) CSP clauses are encoded (0 SAT variables, 6455 SAT clauses)
15.35/5.63 c (5,4) 8334 (30 %) CSP clauses are encoded (0 SAT variables, 9233 SAT clauses)
15.35/5.68 c (5,4) 11111 (40 %) CSP clauses are encoded (0 SAT variables, 12010 SAT clauses)
15.65/5.72 c (5,4) 13889 (50 %) CSP clauses are encoded (0 SAT variables, 14788 SAT clauses)
15.65/5.75 c (5,4) 16667 (60 %) CSP clauses are encoded (0 SAT variables, 17566 SAT clauses)
15.65/5.79 c (5,5) 19444 (70 %) CSP clauses are encoded (0 SAT variables, 20343 SAT clauses)
15.82/5.82 c (5,5) 22222 (80 %) CSP clauses are encoded (0 SAT variables, 23121 SAT clauses)
15.82/5.85 c (5,5) 25000 (90 %) CSP clauses are encoded (0 SAT variables, 25899 SAT clauses)
15.82/5.89 c (5,5) 27777 (100 %) CSP clauses are encoded (0 SAT variables, 28676 SAT clauses)
15.82/5.89 c (5,5) CSPinCNF to SatSolver End
15.82/5.89 c (5,5) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.82/5.89 c (5,5) 950 bool, 28677 clause
15.82/5.89 c (5,5) Export Begin
15.92/5.98 c (5,5) Export to HOME/scop-10248-serial-file.bin
15.92/5.98 c (5,5) Export End
15.92/5.98 c (5,5) Export File Size: 0.01 MB
15.92/5.98 c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS)
15.92/5.98 c END-Prog: Thu Sep 12 14:25:03 CEST 2019
15.92/5.99 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10248-serial-file.bin
16.65/6.44 c (0,0) Read Serial File Begin
16.65/6.44 c (0,0) HOME/scop-10248-serial-file.bin
16.92/6.66 c (0,0) Read Serial File End
16.92/6.67
16.92/6.67 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
16.92/6.67 (Solving Process)
16.92/6.67
16.92/6.69 c BEGIN-Prog: Thu Sep 12 14:25:04 CEST 2019
16.92/6.69 c PID: 10268
16.92/6.69 c IP: 172.20.3.150
16.92/6.69 c HOST: node150.alineos.net
16.92/6.70 c (0,0) SatSolver.solve Begin
16.92/6.70 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387812-1568291136.xml-scop-10251.cnf
17.08/6.73 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.08/6.73 c (0,0) c glueminisat-simp-2.2.10-193oa-n
17.08/6.73 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387812-1568291136.xml-scop-10251.cnf
17.08/6.73 c (0,0) c Options:
17.08/6.73 c (0,0) c CORE
17.08/6.73 c (0,0) c var_decay = 0.950
17.08/6.73 c (0,0) c clause_decay = 0.999
17.08/6.73 c (0,0) c random_var_freq = 0.000
17.08/6.73 c (0,0) c random_seed = 91648253.000
17.08/6.73 c (0,0) c luby_restart = 1
17.08/6.73 c (0,0) c ccmin_mode = 2
17.08/6.73 c (0,0) c phase_saving = 2
17.08/6.73 c (0,0) c rnd_pol = 0
17.08/6.73 c (0,0) c rnd_init_act = 0
17.08/6.73 c (0,0) c garbage_frac = 0.200
17.08/6.73 c (0,0) c restart_first = 1000
17.08/6.73 c (0,0) c restart_inc = 2.000
17.08/6.73 c (0,0) WARNING! DIMACS header mismatch: wrong number of variables.
17.08/6.73 c (0,0) c MODEL
17.08/6.73 c (0,0) c partial_model = 0
17.08/6.73 c (0,0) c PROPAGATION
17.08/6.73 c (0,0) c bin_propagation = 1
17.08/6.73 c (0,0) c SIMPLIFICATION
17.08/6.73 c (0,0) c lrn_min_size = 100
17.08/6.73 c (0,0) c lazy_simp = 1
17.08/6.73 c (0,0) c lazy_interval = 10
17.08/6.73 c (0,0) c lazy_fld_probing = 1
17.08/6.73 c (0,0) c lazy_pol_probing = 1
17.08/6.73 c (0,0) c lazy_nec_probing = 1
17.08/6.73 c (0,0) c lazy_eqv_probing = 1
17.08/6.73 c (0,0) c lazy_cla_probing = 1
17.08/6.73 c (0,0) c lazy_lrn_min = 2
17.08/6.73 c (0,0) c lazy_uw_lit_elim = 1
17.08/6.73 c (0,0) c lazy_pr_lit_elim = 0
17.08/6.73 c (0,0) c lazy_bin_add = 3
17.08/6.73 c (0,0) c probed_lit_chain = 1
17.08/6.73 c (0,0) c pr_min_lits = 0.00020
17.08/6.73 c (0,0) c pr_min_starts = 500
17.08/6.73 c (0,0) c rw_min_lits = 0.010
17.08/6.73 c (0,0) c rw_min_starts = 500
17.08/6.73 c (0,0) c rand_attach = 0
17.08/6.73 c (0,0) c dec_elim = 1
17.08/6.73 c (0,0) c dec_elim_lim = 25
17.08/6.73 c (0,0) c dec_elim_len = -1
17.08/6.73 c (0,0) c amo = 0
17.08/6.73 c (0,0) c amo_grp = 1
17.08/6.73 c (0,0) c amo_max_bins = 1000000
17.08/6.73 c (0,0) c amo_starts = 50
17.08/6.73 c (0,0) c mace_cmd = mace
17.08/6.73 c (0,0) c DECISION
17.08/6.73 c (0,0) c rand_rebuild = 0
17.08/6.73 c (0,0) c rand_rebuild_confs = 10000
17.08/6.73 c (0,0) c inc_var_decay = 1
17.08/6.73 c (0,0) c inc_var_decay_period = 100000
17.08/6.73 c (0,0) c inc_var_decay_init = 0.600
17.08/6.73 c (0,0) c var_decay_mode = 0
17.08/6.73 c (0,0) c var_decay_gain = 0
17.08/6.73 c (0,0) c sloped_var_decay = 1
17.08/6.73 c (0,0) c max_var_decay = 0.990
17.08/6.73 c (0,0) c min_var_decay = 0.950
17.08/6.73 c (0,0) c min_var_decay_vars = 10000
17.08/6.73 c (0,0) c max_var_decay_vars = 500
17.08/6.73 c (0,0) c uip_bumping = 1
17.08/6.74 c (0,0) c lbd_act_bumping = 1
17.08/6.74 c (0,0) c rand_tiebreak = 0
17.08/6.74 c (0,0) c simp_rebuild = 1
17.08/6.74 c (0,0) c RESTART
17.08/6.74 c (0,0) c restart_strategy = 2
17.08/6.74 c (0,0) c restart_blocking = 0
17.08/6.74 c (0,0) c agility_decay = 0.99990
17.08/6.74 c (0,0) c lbd_restart_rate = 0.800
17.08/6.74 c (0,0) c dec_restart_rate = 0.950
17.08/6.74 c (0,0) c blk_restart_rate = 0.700
17.08/6.74 c (0,0) c lbd_queue_size = 50
17.08/6.74 c (0,0) c dec_queue_size = 50
17.08/6.74 c (0,0) c trl_queue_size = 5000
17.08/6.74 c (0,0) c blk_restart_weight = 1.000
17.08/6.74 c (0,0) c inc_rst_rate = 0
17.08/6.74 c (0,0) c inc_rst_rate_period = 500000
17.08/6.74 c (0,0) c inc_lbd_rst_rate_init = 0.600
17.08/6.74 c (0,0) c inc_dec_rst_rate_init = 0.750
17.08/6.74 c (0,0) c REDUCTION
17.08/6.74 c (0,0) c closed_lbd = 0
17.08/6.74 c (0,0) c closed_lbd_rate = 0.500
17.08/6.74 c (0,0) c rm_simulate = 0
17.08/6.74 c (0,0) c rdb_eval = 2
17.08/6.74 c (0,0) c rdb_call = 3
17.08/6.74 c (0,0) c rdb_ub = 0.500
17.08/6.74 c (0,0) c core_lbd_cvr = 0.800
17.08/6.74 c (0,0) c supp_lbd_cvr = 0.990
17.08/6.74 c (0,0) c core_lbd_lb = 2
17.08/6.74 c (0,0) c supp_lbd_lb = 2
17.08/6.74 c (0,0) c core_lbd_prd = 7
17.08/6.74 c (0,0) c supp_lbd_prd = 1
17.08/6.74 c (0,0) c othr_lbd_prd = 0
17.08/6.74 c (0,0) c inc_lrn_limit = 1000
17.08/6.74 c (0,0) c frozen_lbd = 30
17.08/6.74 c (0,0) c simp_min_starts = 100
17.08/6.74 c (0,0) c rm_low_act_learnts = 1
17.08/6.74 c (0,0) c lv0_reduce_db = 0
17.08/6.75 c (0,0) c reduce_db_base = 20000
17.08/6.75 c (0,0) c reduce_db_inc = 1000
17.08/6.75 c (0,0) c HARD
17.08/6.75 c (0,0) c inst_check = 200000
17.08/6.75 c (0,0) c small_block = 1.750
17.08/6.75 c (0,0) c slow_restart_speed = 400.000
17.08/6.75 c (0,0) c slow_restart_strategy = 3
17.08/6.75 c (0,0) c slow_lbd_restart_rate = 0.700
17.08/6.75 c (0,0) c slow_dec_restart_rate = 1.000
17.08/6.75 c (0,0) c slow_lbd_queue_size = 50
17.08/6.75 c (0,0) c slow_var_decay = 0.950
17.08/6.75 c (0,0) c slow_glue_threshold = 2
17.08/6.75 c (0,0) c slow_phase_saving = 2
17.08/6.75 c (0,0) c fast_restart_speed = 125.000
17.08/6.75 c (0,0) c fast_restart_strategy = 1
17.08/6.75 c (0,0) c fast_lbd_restart_rate = 0.800
17.08/6.75 c (0,0) c fast_dec_restart_rate = 0.950
17.08/6.75 c (0,0) c fast_lbd_queue_size = 50
17.08/6.75 c (0,0) c fast_var_decay = 1.000
17.08/6.75 c (0,0) c fast_glue_threshold = 2
17.08/6.75 c (0,0) c fast_phase_saving = 2
17.08/6.75 c (0,0) c STATS
17.08/6.75 c (0,0) c stats_conf_size = 10000
17.08/6.75 c (0,0) c max_stats_size = 30
17.08/6.75 c (0,0) c SOLVER
17.08/6.75 c (0,0) c minisat = 0
17.08/6.75 c (0,0) c Problem: 951 variables, 28677 clauses, parsing 0.01 s
17.08/6.76 c (0,0) c reduced to 950 variables, 28677 clauses (grow = 0)
17.08/6.76 c (0,0) c exclude 0 (0.0%) variables from decision variables (last cost 0)
17.08/6.76 c (0,0) c Simplification: 1 vars, 0 clauses are eliminated using 0.03 s
17.08/6.76 c (0,0) c
17.08/6.76 c (0,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
17.08/6.76 c (0,0) c
17.08/6.76 c (0,0) c 0 0 0 950 28677 0 -nan -nan -nan -nan%
17.08/6.76 c (0,0) c 0 1 7 950 28677 7 16.4 5.4 112.1 66.9%
17.08/6.76 c (0,0) c
17.08/6.76 c (0,0) c
17.08/6.76 c (0,0) c variables : 950 (init 951, after simp 950, 0 non-decs, 50 csp)
17.08/6.76 c (0,0) c clauses : 28677 (init 28677, after simp 28677)
17.08/6.76 c (0,0) c restarts : 0 (7.00 confs/res, 7~7 confs, 0 blks, 0 last)
17.08/6.76 c (0,0) c conflicts : 7 (176 /sec, 71.43% dconfs, 0.00% supp, trail 5.68w x 112.14h, jmp 5.71h)
17.08/6.76 c (0,0) c decisions : 164 (0.6000 vdcy, 4127 /sec, 0.00% bin, rs 0.000 s)
17.08/6.76 c (0,0) c propagations : 1378 (34680 /sec, 8.40 lits/dec, 7.18% o.a.)
17.08/6.76 c (0,0) c conflict literals : 135 (14.81% deleted; 0.00% by bin min, 0.000 s)
17.08/6.76 c (0,0) c len : 16.429 (16.43 for all, max 24, used 0)
17.08/6.76 c (0,0) c lbd : 5.429 (6.00 (5.43) for all, max 7, used 0, -nan stdev, 2.738 blk)
17.08/6.76 c (0,0) c amo : 0 (0 max, -nan avg, 0.000 s)
17.08/6.76 c (0,0) c simp dbs : 1 (0.000 s)
17.08/6.76 c (0,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
17.08/6.76 c (0,0) c learnts : 7 (0 learnts removed, 0.00%)
17.08/6.76 c (0,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
17.08/6.76 c (0,0) c assigned lits : 0 (0/0 probed, 0 remains)
17.08/6.76 c (0,0) c premise updates : 0 (0.00 /lit)
17.08/6.76 c (0,0) c probed variables : 0 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 0 cla, 0 amo)
17.08/6.76 c (0,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
17.08/6.76 c (0,0) c lazy added bins : 0 (0 prop + 0 conf, 0.000s)
17.08/6.76 c (0,0) c unwatched lit elim: 0 (0.00+0.00%, 0+0 of 105999+135)
17.08/6.76 c (0,0) c classified type : undef
17.08/6.76 c (0,0) c progress : 0.000 %
17.08/6.76 c (0,0) c
17.08/6.76 c (0,0) c [Statistics]
17.08/6.76 c (0,0) c learnts len learnts lbd lit blk size eq vars size
17.08/6.76 c (0,0) c tot 7 7 42 0
17.08/6.76 c (0,0) c avg 16.429 5.429 2.738 -nan
17.08/6.76 c (0,0) c 1 0 ( 0.0%) 0 ( 0.0%) 23 (54.8%) 0 (-nan%)
17.08/6.76 c (0,0) c 2 0 ( 0.0%) 0 ( 0.0%) 4 ( 9.5%) 0 (-nan%)
17.08/6.76 c (0,0) c 3 0 ( 0.0%) 1 (14.3%) 7 (16.7%) 0 (-nan%)
17.08/6.76 c (0,0) c 4 0 ( 0.0%) 1 (14.3%) 3 ( 7.1%) 0 (-nan%)
17.08/6.76 c (0,0) c 5 1 (14.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 6 0 ( 0.0%) 4 (57.1%) 1 ( 2.4%) 0 (-nan%)
17.08/6.76 c (0,0) c 7 0 ( 0.0%) 1 (14.3%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 8 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 9 0 ( 0.0%) 0 ( 0.0%) 1 ( 2.4%) 0 (-nan%)
17.08/6.76 c (0,0) c 10 1 (14.3%) 0 ( 0.0%) 1 ( 2.4%) 0 (-nan%)
17.08/6.76 c (0,0) c 11 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 12 0 ( 0.0%) 0 ( 0.0%) 1 ( 2.4%) 0 (-nan%)
17.08/6.76 c (0,0) c 13 1 (14.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 14 0 ( 0.0%) 0 ( 0.0%) 1 ( 2.4%) 0 (-nan%)
17.08/6.76 c (0,0) c 15 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 16 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 17 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 18 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 19 1 (14.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 20 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 21 1 (14.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 22 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 23 1 (14.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 24 1 (14.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 25 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 26 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 27 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 28 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 29 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c 30 0 ( 0.0%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
17.08/6.76 c (0,0) c
17.08/6.76 c (0,0) c [LBD Statistics]
17.08/6.76 c (0,0) c LBD used lbd used clause lbd unused clause lbd
17.08/6.77 c (0,0) c tot 0 0 7
17.08/6.77 c (0,0) c avg -nan -nan 5.429
17.08/6.77 c (0,0) c 1 0 (-nan/-nan%) 0 (-nan/-nan%) 0 ( 0.0/ 0.0%)
17.08/6.77 c (0,0) c 2 0 (-nan/-nan%) 0 (-nan/-nan%) 0 ( 0.0/ 0.0%)
17.08/6.77 c (0,0) c 3 0 (-nan/-nan%) 0 (-nan/-nan%) 1 (14.3/14.3%)
17.08/6.77 c (0,0) c 4 0 (-nan/-nan%) 0 (-nan/-nan%) 1 (14.3/28.6%)
17.08/6.77 c (0,0) c 5 0 (-nan/-nan%) 0 (-nan/-nan%) 0 ( 0.0/28.6%)
17.08/6.77 c (0,0) c 6 0 (-nan/-nan%) 0 (-nan/-nan%) 4 (57.1/85.7%)
17.08/6.77 c (0,0) c 7 0 (-nan/-nan%) 0 (-nan/-nan%) 1 (14.3/100.0%)
17.08/6.77 c (0,0) c
17.08/6.77 c (0,0) c Memory used : 23.00 MB
17.08/6.77 c (0,0) c CPU time : 0.040 s
17.08/6.77 c (0,0) c Real time : 0.041 s
17.08/6.77 c (0,0) c
17.08/6.77 c (0,0) s SATISFIABLE
17.08/6.78 c (0,0) SatSolver.solve End
17.08/6.78 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.08/6.78 c (0,0) Show results Begin
17.39/6.86 c (0,0) x[0] = 1
17.39/6.86 c (0,0) x[1] = 14
17.39/6.86 c (0,0) x[2] = 17
17.39/6.86 c (0,0) x[3] = 14
17.39/6.86 c (0,0) x[4] = 13
17.39/6.86 c (0,0) x[5] = 12
17.39/6.86 c (0,0) x[6] = 9
17.39/6.86 c (0,0) x[7] = 18
17.39/6.86 c (0,0) x[8] = 2
17.39/6.86 c (0,0) x[9] = 7
17.39/6.86 c (0,0) x[10] = 17
17.39/6.86 c (0,0) x[11] = 16
17.39/6.86 c (0,0) x[12] = 2
17.39/6.86 c (0,0) x[13] = 7
17.39/6.86 c (0,0) x[14] = 1
17.39/6.86 c (0,0) x[15] = 16
17.39/6.86 c (0,0) x[16] = 9
17.39/6.86 c (0,0) x[17] = 9
17.39/6.86 c (0,0) x[18] = 15
17.39/6.86 c (0,0) x[19] = 15
17.39/6.86 c (0,0) x[20] = 11
17.39/6.86 c (0,0) x[21] = 7
17.39/6.86 c (0,0) x[22] = 11
17.39/6.86 c (0,0) x[23] = 9
17.39/6.86 c (0,0) x[24] = 10
17.39/6.86 c (0,0) x[25] = 17
17.39/6.86 c (0,0) x[26] = 3
17.39/6.86 c (0,0) x[27] = 4
17.39/6.86 c (0,0) x[28] = 2
17.39/6.86 c (0,0) x[29] = 8
17.39/6.86 c (0,0) x[30] = 7
17.39/6.86 c (0,0) x[31] = 9
17.39/6.86 c (0,0) x[32] = 5
17.39/6.86 c (0,0) x[33] = 8
17.39/6.87 c (0,0) x[34] = 19
17.39/6.87 c (0,0) x[35] = 11
17.39/6.87 c (0,0) x[36] = 17
17.39/6.87 c (0,0) x[37] = 9
17.39/6.87 c (0,0) x[38] = 3
17.39/6.87 c (0,0) x[39] = 1
17.39/6.87 c (0,0) x[40] = 20
17.39/6.87 c (0,0) x[41] = 13
17.39/6.87 c (0,0) x[42] = 2
17.39/6.87 c (0,0) x[43] = 6
17.39/6.87 c (0,0) x[44] = 1
17.39/6.87 c (0,0) x[45] = 2
17.39/6.87 c (0,0) x[46] = 1
17.39/6.87 c (0,0) x[47] = 1
17.39/6.87 c (0,0) x[48] = 2
17.39/6.87 c (0,0) x[49] = 1
17.39/6.87 s SATISFIABLE
17.39/6.87 v <instantiation>
17.39/6.87 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list>
17.39/6.87 v <values>1 14 17 14 13 12 9 18 2 7 17 16 2 7 1 16 9 9 15 15 11 7 11 9 10 17 3 4 2 8 7 9 5 8 19 11 17 9 3 1 20 13 2 6 1 2 1 1 2 1</values>
17.39/6.87 v </instantiation>
17.39/6.87 c (0,0) Show results End
17.39/6.87 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
17.39/6.87 c (0,0) 0,0,STOP-AFTER(ALL)
17.39/6.87 c END-Prog: Thu Sep 12 14:25:04 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 (6934 MiB free)
memory of node 1: 16384 MiB (4951 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387812-1568291136/watcher-4387812-1568291136 -o /tmp/evaluation-result-4387812-1568291136/solver-4387812-1568291136 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8653 --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-4387812-1568291136.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10248, runsolver pid=10245
[startup+0.100117 s]*
/proc/loadavg: 5.93 4.89 3.43 6/231 10265
/proc/meminfo: memFree=12113140/32770624 swapFree=67015072/67108860
[pid=10248] ppid=10245 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10248/stat : 10248 (scop.sh) S 10245 10248 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405386307 115843072 349 33554432000 4194304 5098028 140722633750752 140722633748008 139620911759996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35954688 140722633753384 140722633753712 140722633753712 140722633756621 0
/proc/10248/statm: 28282 349 296 221 0 87 0
[pid=10251] ppid=10248 vsize=15012696 memory=72272 CPUtime=0.11 cores=0,2,4,6
/proc/10251/stat : 10251 (java) S 10248 10248 7440 0 -1 1077944320 7314 0 0 0 9 2 0 0 20 0 15 0 405386307 15373000704 18068 33554432000 4194304 4196468 140729095653968 140729095636512 140308558077687 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
/proc/10251/statm: 3753174 18068 2929 1 0 3715579 0
[pid=10251/tid=10252] ppid=10248 vsize=15012696 memory=-6601833317647732518 CPUtime=0.08 cores=0,2,4,6
/proc/10251/task/10252/stat : 10252 (java) R 10248 10248 7440 0 -1 4202560 5131 0 0 0 7 1 0 0 20 0 15 0 405386308 15373000704 18134 33554432000 4194304 4196468 140729095653968 140308529871592 140308541264543 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10253] ppid=10248 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10253/stat : 10253 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 18134 33554432000 4194304 4196468 140729095653968 140308562320144 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10254] ppid=10248 vsize=15012696 memory=140312054204032 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10254/stat : 10254 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 18134 33554432000 4194304 4196468 140729095653968 140308395699088 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10255] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10255/stat : 10255 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 18134 33554432000 4194304 4196468 140729095653968 140308017830928 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10256] ppid=10248 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10256/stat : 10256 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 18134 33554432000 4194304 4196468 140729095653968 140308016778384 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10257] ppid=10248 vsize=15012696 memory=140312054204032 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10257/stat : 10257 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386311 15373000704 18134 33554432000 4194304 4196468 140729095653968 140307595651056 140308558088834 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10258] ppid=10248 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10258/stat : 10258 (java) S 10248 10248 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405386311 15373000704 18134 33554432000 4194304 4196468 140729095653968 140307119203232 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10259] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10259/stat : 10259 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386311 15373000704 18134 33554432000 4194304 4196468 140729095653968 140306850767856 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10260] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10260/stat : 10260 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 18134 33554432000 4194304 4196468 140729095653968 140306476259536 140308558096283 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10261] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10261/stat : 10261 (java) S 10248 10248 7440 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 18134 33554432000 4194304 4196468 140729095653968 140307594598896 140308558088834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10262] ppid=10248 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10262/stat : 10262 (java) S 10248 10248 7440 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 18134 33554432000 4194304 4196468 140729095653968 140307593546352 140308558088834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10263] ppid=10248 vsize=15012696 memory=140312054204032 CPUtime=0.01 cores=0,2,4,6
/proc/10251/task/10263/stat : 10263 (java) R 10248 10248 7440 0 -1 4202560 478 0 0 0 1 0 0 0 20 0 15 0 405386314 15373000704 18134 33554432000 4194304 4196468 140729095653968 140307592490488 140308550314814 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10264] ppid=10248 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10264/stat : 10264 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 18134 33554432000 4194304 4196468 140729095653968 140305978354784 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10265] ppid=10248 vsize=15012696 memory=140312054204032 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10265/stat : 10265 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 18134 33554432000 4194304 4196468 140729095653968 140307591440688 140308558088834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73668 KiB
[startup+0.210867 s]*
/proc/loadavg: 5.93 4.89 3.43 6/231 10265
/proc/meminfo: memFree=12093420/32770624 swapFree=67015072/67108860
[pid=10248] ppid=10245 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10248/stat : 10248 (scop.sh) S 10245 10248 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405386307 115843072 349 33554432000 4194304 5098028 140722633750752 140722633748008 139620911759996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35954688 140722633753384 140722633753712 140722633753712 140722633756621 0
/proc/10248/statm: 28282 349 296 221 0 87 0
[pid=10251] ppid=10248 vsize=15012696 memory=87372 CPUtime=0.25 cores=0,2,4,6
/proc/10251/stat : 10251 (java) S 10248 10248 7440 0 -1 1077944320 12464 0 0 0 21 4 0 0 20 0 15 0 405386307 15373000704 21843 33554432000 4194304 4196468 140729095653968 140729095636512 140308558077687 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
/proc/10251/statm: 3753174 21843 2932 1 0 3715579 0
[pid=10251/tid=10252] ppid=10248 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10251/task/10252/stat : 10252 (java) R 10248 10248 7440 0 -1 4202560 10134 0 0 0 17 3 0 0 20 0 15 0 405386308 15373000704 21843 33554432000 4194304 4196468 140729095653968 140308529899040 140308558099613 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10253] ppid=10248 vsize=15012696 memory=13574 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10253/stat : 10253 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 21843 33554432000 4194304 4196468 140729095653968 140308562320144 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10254] ppid=10248 vsize=15012696 memory=140312057136446 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10254/stat : 10254 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 21843 33554432000 4194304 4196468 140729095653968 140308395699088 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10255] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10255/stat : 10255 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 21843 33554432000 4194304 4196468 140729095653968 140308017830928 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10256] ppid=10248 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10256/stat : 10256 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 21843 33554432000 4194304 4196468 140729095653968 140308016778384 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10257] ppid=10248 vsize=15012696 memory=140312054204032 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10257/stat : 10257 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386311 15373000704 21843 33554432000 4194304 4196468 140729095653968 140307595651056 140308558088834 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10258] ppid=10248 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10258/stat : 10258 (java) S 10248 10248 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405386311 15373000704 21843 33554432000 4194304 4196468 140729095653968 140307119203232 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10259] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10259/stat : 10259 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386311 15373000704 21843 33554432000 4194304 4196468 140729095653968 140306850767856 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10260] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10260/stat : 10260 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 21843 33554432000 4194304 4196468 140729095653968 140306476259536 140308558096283 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10261] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10261/stat : 10261 (java) S 10248 10248 7440 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 21843 33554432000 4194304 4196468 140729095653968 140307594598896 140308558088834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10262] ppid=10248 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10262/stat : 10262 (java) S 10248 10248 7440 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 21843 33554432000 4194304 4196468 140729095653968 140307593546352 140308558088834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10263] ppid=10248 vsize=15012696 memory=140312054204032 CPUtime=0.02 cores=0,2,4,6
/proc/10251/task/10263/stat : 10263 (java) R 10248 10248 7440 0 -1 4202560 507 0 0 0 2 0 0 0 20 0 15 0 405386314 15373000704 21843 33554432000 4194304 4196468 140729095653968 140307592493808 140308536996198 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10264] ppid=10248 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10264/stat : 10264 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 21843 33554432000 4194304 4196468 140729095653968 140305978354784 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10265] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10265/stat : 10265 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 21843 33554432000 4194304 4196468 140729095653968 140307591440688 140308558088834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88768 KiB
[startup+0.310496 s]*
/proc/loadavg: 5.93 4.89 3.43 5/231 10265
/proc/meminfo: memFree=12091336/32770624 swapFree=67015072/67108860
[pid=10248] ppid=10245 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10248/stat : 10248 (scop.sh) S 10245 10248 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405386307 115843072 349 33554432000 4194304 5098028 140722633750752 140722633748008 139620911759996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35954688 140722633753384 140722633753712 140722633753712 140722633756621 0
/proc/10248/statm: 28282 349 296 221 0 87 0
[pid=10251] ppid=10248 vsize=15012696 memory=91552 CPUtime=0.42 cores=0,2,4,6
/proc/10251/stat : 10251 (java) S 10248 10248 7440 0 -1 1077944320 13400 0 0 0 38 4 0 0 20 0 15 0 405386307 15373000704 22888 33554432000 4194304 4196468 140729095653968 140729095636512 140308558077687 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
/proc/10251/statm: 3753174 22888 3057 1 0 3715579 0
[pid=10251/tid=10252] ppid=10248 vsize=15012696 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/10251/task/10252/stat : 10252 (java) R 10248 10248 7440 0 -1 4202560 10813 0 0 0 26 3 0 0 20 0 15 0 405386308 15373000704 22888 33554432000 4194304 4196468 140729095653968 140308529871792 140308539641247 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10253] ppid=10248 vsize=15012696 memory=13917 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10253/stat : 10253 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 22888 33554432000 4194304 4196468 140729095653968 140308562320144 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10254] ppid=10248 vsize=15012696 memory=2942625 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10254/stat : 10254 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 22888 33554432000 4194304 4196468 140729095653968 140308395699088 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10255] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10255/stat : 10255 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 22888 33554432000 4194304 4196468 140729095653968 140308017830928 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10256] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10256/stat : 10256 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386309 15373000704 22888 33554432000 4194304 4196468 140729095653968 140308016778384 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10257] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10257/stat : 10257 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386311 15373000704 22888 33554432000 4194304 4196468 140729095653968 140307595651056 140308558088834 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10258] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10258/stat : 10258 (java) S 10248 10248 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405386311 15373000704 22888 33554432000 4194304 4196468 140729095653968 140307119203232 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10259] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10259/stat : 10259 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386311 15373000704 22888 33554432000 4194304 4196468 140729095653968 140306850767856 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10260] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10260/stat : 10260 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 22888 33554432000 4194304 4196468 140729095653968 140306476259536 140308558096283 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10261] ppid=10248 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10251/task/10261/stat : 10261 (java) S 10248 10248 7440 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 15 0 405386314 15373000704 22888 33554432000 4194304 4196468 140729095653968 140307594598896 140308558088834 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10262] ppid=10248 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10251/task/10262/stat : 10262 (java) S 10248 10248 7440 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 15 0 405386314 15373000704 22888 33554432000 4194304 4196468 140729095653968 140307593546352 140308558088834 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10263] ppid=10248 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10251/task/10263/stat : 10263 (java) S 10248 10248 7440 0 -1 1077944384 605 0 0 0 7 0 0 0 20 0 15 0 405386314 15373000704 22888 33554432000 4194304 4196468 140729095653968 140307592493808 140308558088834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10264] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10264/stat : 10264 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 22888 33554432000 4194304 4196468 140729095653968 140305978354784 140308558087893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10265] ppid=10248 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10265/stat : 10265 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386314 15373000704 22888 33554432000 4194304 4196468 140729095653968 140307591440688 140308558088834 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92948 KiB
[startup+0.700752 s]
/proc/loadavg: 5.93 4.89 3.43 6/231 10265
/proc/meminfo: memFree=12069980/32770624 swapFree=67015072/67108860
[pid=10248] ppid=10245 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10248/stat : 10248 (scop.sh) S 10245 10248 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405386307 115843072 349 33554432000 4194304 5098028 140722633750752 140722633748008 139620911759996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35954688 140722633753384 140722633753712 140722633753712 140722633756621 0
/proc/10248/statm: 28282 349 296 221 0 87 0
[pid=10251] ppid=10248 vsize=15018968 memory=127144 CPUtime=0.91 cores=0,2,4,6
/proc/10251/stat : 10251 (java) S 10248 10248 7440 0 -1 1077944320 20100 0 0 0 85 6 0 0 20 0 15 0 405386307 15379423232 31786 33554432000 4194304 4196468 140729095653968 140729095636512 140308558077687 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
/proc/10251/statm: 3754742 31786 3182 1 0 3716091 0
[pid=10251/tid=10252] ppid=10248 vsize=15018968 memory=13240 CPUtime=0.64 cores=0,2,4,6
/proc/10251/task/10252/stat : 10252 (java) D 10248 10248 7440 0 -1 4202560 16971 0 0 0 59 5 0 0 20 0 15 0 405386308 15379423232 31786 33554432000 4194304 4196468 140729095653968 140308529912352 140308558099613 0 4 2 25189581 18446744071580419588 0 0 -1 0 0 0 2 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10253] ppid=10248 vsize=15018968 memory=500 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10253/stat : 10253 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15379423232 31786 33554432000 4194304 4196468 140729095653968 140308562320144 140308558087893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10254] ppid=10248 vsize=15018968 memory=1736 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10254/stat : 10254 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15379423232 31786 33554432000 4194304 4196468 140729095653968 140308395699088 140308558087893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10255] ppid=10248 vsize=15018968 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10255/stat : 10255 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386309 15379423232 31786 33554432000 4194304 4196468 140729095653968 140308017830928 140308558087893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10256] ppid=10248 vsize=15018968 memory=924 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10256/stat : 10256 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386309 15379423232 31786 33554432000 4194304 4196468 140729095653968 140308016778384 140308558087893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10257] ppid=10248 vsize=15018968 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10257/stat : 10257 (java) S 10248 10248 7440 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405386311 15379423232 31786 33554432000 4194304 4196468 140729095653968 140307595651056 140308558088834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10258] ppid=10248 vsize=15018968 memory=2064 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10258/stat : 10258 (java) S 10248 10248 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405386311 15379423232 31786 33554432000 4194304 4196468 140729095653968 140307119203232 140308558087893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10259] ppid=10248 vsize=15018968 memory=2876 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10259/stat : 10259 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386311 15379423232 31786 33554432000 4194304 4196468 140729095653968 140306850767856 140308558087893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10260] ppid=10248 vsize=15018968 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10260/stat : 10260 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386314 15379423232 31786 33554432000 4194304 4196468 140729095653968 140306476259536 140308558096283 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10261] ppid=10248 vsize=15018968 memory=880 CPUtime=0.06 cores=0,2,4,6
/proc/10251/task/10261/stat : 10261 (java) S 10248 10248 7440 0 -1 1077944384 589 0 0 0 6 0 0 0 20 0 15 0 405386314 15379423232 31786 33554432000 4194304 4196468 140729095653968 140307594598896 140308558088834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10262] ppid=10248 vsize=15018968 memory=1744 CPUtime=0.07 cores=0,2,4,6
/proc/10251/task/10262/stat : 10262 (java) S 10248 10248 7440 0 -1 1077944384 480 0 0 0 7 0 0 0 20 0 15 0 405386314 15379423232 31786 33554432000 4194304 4196468 140729095653968 140307593546352 140308558088834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10263] ppid=10248 vsize=15018968 memory=111632 CPUtime=0.13 cores=0,2,4,6
/proc/10251/task/10263/stat : 10263 (java) S 10248 10248 7440 0 -1 1077944384 724 0 0 0 13 0 0 0 20 0 15 0 405386314 15379423232 31786 33554432000 4194304 4196468 140729095653968 140307592493808 140308558088834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10264] ppid=10248 vsize=15018968 memory=804 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10264/stat : 10264 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386314 15379423232 31786 33554432000 4194304 4196468 140729095653968 140305978354784 140308558087893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
[pid=10251/tid=10265] ppid=10248 vsize=15018968 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/10251/task/10265/stat : 10265 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386314 15379423232 31786 33554432000 4194304 4196468 140729095653968 140307591440688 140308558088834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24543232 140729095656174 140729095656602 140729095656602 140729095659471 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128540 KiB
[startup+1.5015 s]
/proc/loadavg: 5.93 4.89 3.43 9/231 10265
/proc/meminfo: memFree=12027248/32770624 swapFree=67015072/67108860
[pid=10248] ppid=10245 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10248/stat : 10248 (scop.sh) S 10245 10248 7440 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 405386307 115843072 349 33554432000 4194304 5098028 140722633750752 140722633748008 139620911759996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35954688 140722633753384 140722633753712 140722633753712 140722633756621 0
/proc/10248/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/10268/task/10270/stat : 10270 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386908 7582208000 16690 33554432000 4194304 4196468 140734953262896 140366636219024 140366631986901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10271] ppid=10248 vsize=7404500 memory=6298093199446659161 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10271/stat : 10271 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386908 7582208000 16690 33554432000 4194304 4196468 140734953262896 140366444780048 140366631986901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10272] ppid=10248 vsize=7404244 memory=-3472574513799858003 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10272/stat : 10272 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386908 7581945856 16741 33554432000 4194304 4196468 140734953262896 140366116280720 140366631986901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10273] ppid=10248 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10273/stat : 10273 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386908 7582208000 16741 33554432000 4194304 4196468 140734953262896 140366115227920 140366631986901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10274] ppid=10248 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10274/stat : 10274 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386910 7582208000 16741 33554432000 4194304 4196468 140734953262896 140365877025648 140366631987842 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10275] ppid=10248 vsize=7404500 memory=3472328296227682769 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10275/stat : 10275 (java) S 10248 10248 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405386910 7582208000 16741 33554432000 4194304 4196468 140734953262896 140365503915552 140366631986901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10276] ppid=10248 vsize=7404500 memory=7667777927888856678 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10276/stat : 10276 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386910 7582208000 16741 33554432000 4194304 4196468 140734953262896 140365235479920 140366631986901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10277] ppid=10248 vsize=7404500 memory=6003970561941269350 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10277/stat : 10277 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386913 7582208000 16741 33554432000 4194304 4196468 140734953262896 140364860971344 140366631995291 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10278] ppid=10248 vsize=7404500 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10268/task/10278/stat : 10278 (java) S 10248 10248 7440 0 -1 1077944384 552 0 0 0 2 0 0 0 20 0 15 0 405386913 7582208000 16741 33554432000 4194304 4196468 140734953262896 140365875972464 140366631987842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10279] ppid=10248 vsize=7404500 memory=7649399379986624561 CPUtime=0.02 cores=0,2,4,6
/proc/10268/task/10279/stat : 10279 (java) S 10248 10248 7440 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 15 0 405386913 7582208000 16741 33554432000 4194304 4196468 140734953262896 140365874919664 140366631987842 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10280] ppid=10248 vsize=7404500 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10268/task/10280/stat : 10280 (java) S 10248 10248 7440 0 -1 1077944384 296 0 0 0 7 0 0 0 20 0 15 0 405386913 7582208000 16741 33554432000 4194304 4196468 140734953262896 140365873866864 140366631987842 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10281] ppid=10248 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10281/stat : 10281 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386913 7582208000 16741 33554432000 4194304 4196468 140734953262896 140364363065568 140366631986901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10282] ppid=10248 vsize=7404500 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10282/stat : 10282 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386913 7582208000 16741 33554432000 4194304 4196468 140734953262896 140365872815280 140366631987842 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
Current children cumulated CPU time: 16.53 s
Current children cumulated vsize: 7517628 KiB
Current children cumulated memory: 68236 KiB
[startup+6.8809 s]
# the end of solver process 10248 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.1266 s, system=0.428602 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.5026 s]
/proc/loadavg: 6.01 4.92 3.45 6/229 10282
/proc/meminfo: memFree=12108556/32770624 swapFree=67015184/67108860
[pid=10248] ppid=10245 vsize=113128 memory=1476 CPUtime=16.12 cores=0,2,4,6
/proc/10248/stat : 10248 (scop.sh) S 10245 10248 7440 0 -1 4202496 584 37324 0 1 0 0 1578 34 20 0 1 0 405386307 115843072 369 33554432000 4194304 5098028 140722633750752 140722633747496 139620911759996 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35954688 140722633753384 140722633753712 140722633753712 140722633756621 0
/proc/10248/statm: 28282 369 311 221 0 87 0
[pid=10268] ppid=10248 vsize=7406604 memory=78580 CPUtime=0.67 cores=0,2,4,6
/proc/10268/stat : 10268 (java) S 10248 10248 7440 0 -1 1077944320 13502 0 0 0 63 4 0 0 20 0 15 0 405386907 7584362496 19645 33554432000 4194304 4196468 140734953262896 140734953245440 140366631976695 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
/proc/10268/statm: 1851651 19645 3097 1 0 1813530 0
[pid=10268/tid=10269] ppid=10248 vsize=7406604 memory=1396 CPUtime=0.48 cores=0,2,4,6
/proc/10268/task/10269/stat : 10269 (java) R 10248 10248 7440 0 -1 4202560 11213 0 0 0 45 3 0 0 20 0 15 0 405386907 7584362496 19645 33554432000 4194304 4196468 140734953262896 140366603783488 140366616057182 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10270] ppid=10248 vsize=7406604 memory=1546112 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10270/stat : 10270 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386908 7584362496 19645 33554432000 4194304 4196468 140734953262896 140366636219024 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10271] ppid=10248 vsize=7406604 memory=402 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10271/stat : 10271 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386908 7584362496 19645 33554432000 4194304 4196468 140734953262896 140366444780048 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10272] ppid=10248 vsize=7406604 memory=554 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10272/stat : 10272 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386908 7584362496 19645 33554432000 4194304 4196468 140734953262896 140366116280720 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10273] ppid=10248 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10273/stat : 10273 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386908 7584362496 19645 33554432000 4194304 4196468 140734953262896 140366115227920 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10274] ppid=10248 vsize=7406604 memory=56 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10274/stat : 10274 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386910 7584362496 19645 33554432000 4194304 4196468 140734953262896 140365877025648 140366631987842 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10275] ppid=10248 vsize=7406604 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10275/stat : 10275 (java) S 10248 10248 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405386910 7584362496 19645 33554432000 4194304 4196468 140734953262896 140365503915552 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10276] ppid=10248 vsize=7406604 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10276/stat : 10276 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386910 7584362496 19645 33554432000 4194304 4196468 140734953262896 140365235479920 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10277] ppid=10248 vsize=7406604 memory=-8773164308154395822 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10277/stat : 10277 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386913 7584362496 19645 33554432000 4194304 4196468 140734953262896 140364860971344 140366631995291 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10278] ppid=10248 vsize=7406604 memory=6944652177228980320 CPUtime=0.03 cores=0,2,4,6
/proc/10268/task/10278/stat : 10278 (java) S 10248 10248 7440 0 -1 1077944384 564 0 0 0 3 0 0 0 20 0 15 0 405386913 7584362496 19645 33554432000 4194304 4196468 140734953262896 140365875972464 140366631987842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10279] ppid=10248 vsize=7406604 memory=6655300316396806240 CPUtime=0.03 cores=0,2,4,6
/proc/10268/task/10279/stat : 10279 (java) S 10248 10248 7440 0 -1 1077944384 76 0 0 0 3 0 0 0 20 0 15 0 405386913 7584362496 19645 33554432000 4194304 4196468 140734953262896 140365874919664 140366631987842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10280] ppid=10248 vsize=7406604 memory=386 CPUtime=0.11 cores=0,2,4,6
/proc/10268/task/10280/stat : 10280 (java) S 10248 10248 7440 0 -1 1077944384 317 0 0 0 11 0 0 0 20 0 15 0 405386913 7584362496 19645 33554432000 4194304 4196468 140734953262896 140365873866864 140366631987842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10281] ppid=10248 vsize=7406604 memory=140311951393196 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10281/stat : 10281 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386913 7584362496 19645 33554432000 4194304 4196468 140734953262896 140364363065568 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10282] ppid=10248 vsize=7406604 memory=280623902774928 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10282/stat : 10282 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386913 7584362496 19645 33554432000 4194304 4196468 140734953262896 140365872815280 140366631987842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
Current children cumulated CPU time: 16.79 s
Current children cumulated vsize: 7519732 KiB
Current children cumulated memory: 80056 KiB
[startup+6.70086 s]
/proc/loadavg: 6.01 4.92 3.45 6/229 10282
/proc/meminfo: memFree=12108556/32770624 swapFree=67015184/67108860
[pid=10248] ppid=10245 vsize=113128 memory=1476 CPUtime=16.12 cores=0,2,4,6
/proc/10248/stat : 10248 (scop.sh) S 10245 10248 7440 0 -1 4202496 584 37324 0 1 0 0 1578 34 20 0 1 0 405386307 115843072 369 33554432000 4194304 5098028 140722633750752 140722633747496 139620911759996 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35954688 140722633753384 140722633753712 140722633753712 140722633756621 0
/proc/10248/statm: 28282 369 311 221 0 87 0
[pid=10268] ppid=10248 vsize=7410792 memory=101916 CPUtime=0.96 cores=0,2,4,6
/proc/10268/stat : 10268 (java) S 10248 10248 7440 0 -1 1077944320 18876 0 0 0 90 6 0 0 20 0 15 0 405386907 7588651008 25479 33554432000 4194304 4196468 140734953262896 140734953245440 140366631976695 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
/proc/10268/statm: 1852698 25479 3133 1 0 1814042 0
[pid=10268/tid=10269] ppid=10248 vsize=7410792 memory=7378132484768621904 CPUtime=0.68 cores=0,2,4,6
/proc/10268/task/10269/stat : 10269 (java) R 10248 10248 7440 0 -1 4202560 16403 0 0 0 63 5 0 0 20 0 15 0 405386907 7588651008 25479 33554432000 4194304 4196468 140734953262896 140366603806112 140366631998525 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10270] ppid=10248 vsize=7410792 memory=7372510583013665107 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10270/stat : 10270 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386908 7588651008 25479 33554432000 4194304 4196468 140734953262896 140366636219024 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10271] ppid=10248 vsize=7410792 memory=6865 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10271/stat : 10271 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386908 7588651008 25479 33554432000 4194304 4196468 140734953262896 140366444780048 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10272] ppid=10248 vsize=7410792 memory=288230600329134386 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10272/stat : 10272 (java) S 10248 10248 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405386908 7588651008 25479 33554432000 4194304 4196468 140734953262896 140366116280720 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10273] ppid=10248 vsize=7410792 memory=14130052384163650 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10273/stat : 10273 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386908 7588651008 25479 33554432000 4194304 4196468 140734953262896 140366115227920 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10274] ppid=10248 vsize=7410792 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10274/stat : 10274 (java) S 10248 10248 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405386910 7588651008 25479 33554432000 4194304 4196468 140734953262896 140365877025648 140366631987842 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10275] ppid=10248 vsize=7410792 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10275/stat : 10275 (java) S 10248 10248 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405386910 7588651008 25479 33554432000 4194304 4196468 140734953262896 140365503915552 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10276] ppid=10248 vsize=7410792 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10276/stat : 10276 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386910 7588651008 25479 33554432000 4194304 4196468 140734953262896 140365235479920 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10277] ppid=10248 vsize=7410792 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10277/stat : 10277 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386913 7588651008 25479 33554432000 4194304 4196468 140734953262896 140364860971344 140366631995291 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10278] ppid=10248 vsize=7410792 memory=17668 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10278/stat : 10278 (java) S 10248 10248 7440 0 -1 1077944384 571 0 0 0 4 0 0 0 20 0 15 0 405386913 7588651008 25479 33554432000 4194304 4196468 140734953262896 140365875972464 140366631987842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10279] ppid=10248 vsize=7410792 memory=6944656592455360604 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10279/stat : 10279 (java) S 10248 10248 7440 0 -1 1077944384 93 0 0 0 4 0 0 0 20 0 15 0 405386913 7588651008 25479 33554432000 4194304 4196468 140734953262896 140365874919664 140366631987842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10280] ppid=10248 vsize=7410792 memory=6791534058613427641 CPUtime=0.17 cores=0,2,4,6
/proc/10268/task/10280/stat : 10280 (java) R 10248 10248 7440 0 -1 1077944384 474 0 0 0 17 0 0 0 20 0 15 0 405386913 7588651008 25479 33554432000 4194304 4196468 140734953262896 140365873866864 140366631987842 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10281] ppid=10248 vsize=7410792 memory=684904 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10281/stat : 10281 (java) S 10248 10248 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405386913 7588651008 25479 33554432000 4194304 4196468 140734953262896 140364363065568 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10282] ppid=10248 vsize=7410792 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10268/task/10282/stat : 10282 (java) S 10248 10248 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405386913 7588651008 25479 33554432000 4194304 4196468 140734953262896 140365872815280 140366631987842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
Current children cumulated CPU time: 17.08 s
Current children cumulated vsize: 7523920 KiB
Current children cumulated memory: 103392 KiB
[startup+6.8007 s]
/proc/loadavg: 6.01 4.92 3.45 6/229 10282
/proc/meminfo: memFree=12108556/32770624 swapFree=67015184/67108860
[pid=10248] ppid=10245 vsize=113128 memory=1476 CPUtime=16.12 cores=0,2,4,6
/proc/10248/stat : 10248 (scop.sh) S 10245 10248 7440 0 -1 4202496 584 37324 0 1 0 0 1578 34 20 0 1 0 405386307 115843072 369 33554432000 4194304 5098028 140722633750752 140722633747496 139620911759996 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35954688 140722633753384 140722633753712 140722633753712 140722633756621 0
/proc/10248/statm: 28282 369 311 221 0 87 0
[pid=10268] ppid=10248 vsize=7937364 memory=118736 CPUtime=1.27 cores=0,2,4,6
/proc/10268/stat : 10268 (java) S 10248 10248 7440 0 -1 1077944320 20116 1476 0 0 116 7 4 0 20 0 17 0 405386907 8127860736 29684 33554432000 4194304 4196468 140734953262896 140734953245440 140366631976695 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
/proc/10268/statm: 1984341 29684 3212 1 0 1945685 0
[pid=10268/tid=10269] ppid=10248 vsize=7937364 memory=97296 CPUtime=0.8 cores=0,2,4,6
/proc/10268/task/10269/stat : 10269 (java) R 10248 10248 7440 0 -1 4202560 16867 1476 0 0 71 5 4 0 20 0 17 0 405386907 8127860736 29684 33554432000 4194304 4196468 140734953262896 140366603811072 140366616057182 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10270] ppid=10248 vsize=7937364 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10270/stat : 10270 (java) S 10248 10248 7440 0 -1 1077944384 2 1476 0 0 0 0 4 0 20 0 17 0 405386908 8127860736 29684 33554432000 4194304 4196468 140734953262896 140366636219024 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10271] ppid=10248 vsize=7937364 memory=7822038051842263961 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10271/stat : 10271 (java) S 10248 10248 7440 0 -1 1077944384 2 1476 0 0 0 0 4 0 20 0 17 0 405386908 8127860736 29684 33554432000 4194304 4196468 140734953262896 140366444780048 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10272] ppid=10248 vsize=7937364 memory=7377246124687064083 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10272/stat : 10272 (java) S 10248 10248 7440 0 -1 1077944384 2 1476 0 0 0 0 4 0 20 0 17 0 405386908 8127860736 29684 33554432000 4194304 4196468 140734953262896 140366116280720 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10273] ppid=10248 vsize=7937364 memory=9215612443221087420 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10273/stat : 10273 (java) S 10248 10248 7440 0 -1 1077944384 1 1476 0 0 0 0 4 0 20 0 17 0 405386908 8127860736 29684 33554432000 4194304 4196468 140734953262896 140366115227920 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10274] ppid=10248 vsize=7937364 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10274/stat : 10274 (java) S 10248 10248 7440 0 -1 1077944384 5 1476 0 0 0 0 4 0 20 0 17 0 405386910 8127860736 29684 33554432000 4194304 4196468 140734953262896 140365877025648 140366631987842 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10275] ppid=10248 vsize=7937364 memory=280623902438328 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10275/stat : 10275 (java) S 10248 10248 7440 0 -1 1077944384 13 1476 0 0 0 0 4 0 20 0 17 0 405386910 8127860736 29684 33554432000 4194304 4196468 140734953262896 140365503915552 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10276] ppid=10248 vsize=7937364 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10276/stat : 10276 (java) S 10248 10248 7440 0 -1 1077944384 1 1476 0 0 0 0 4 0 20 0 17 0 405386910 8127860736 29684 33554432000 4194304 4196468 140734953262896 140365235479920 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10277] ppid=10248 vsize=7937364 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10277/stat : 10277 (java) S 10248 10248 7440 0 -1 1077944384 3 1476 0 0 0 0 4 0 20 0 17 0 405386913 8127860736 29684 33554432000 4194304 4196468 140734953262896 140364860971344 140366631995291 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10278] ppid=10248 vsize=7937364 memory=280623902236848 CPUtime=0.15 cores=0,2,4,6
/proc/10268/task/10278/stat : 10278 (java) R 10248 10248 7440 0 -1 4202560 779 1476 0 0 11 0 4 0 20 0 17 0 405386913 8127860736 29684 33554432000 4194304 4196468 140734953262896 140365875972464 140366613520027 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10279] ppid=10248 vsize=7937364 memory=13794 CPUtime=0.12 cores=0,2,4,6
/proc/10268/task/10279/stat : 10279 (java) S 10248 10248 7440 0 -1 1077944384 306 1476 0 0 8 0 4 0 20 0 17 0 405386913 8127860736 29684 33554432000 4194304 4196468 140734953262896 140365874919664 140366631987842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10280] ppid=10248 vsize=7937364 memory=20599 CPUtime=0.25 cores=0,2,4,6
/proc/10268/task/10280/stat : 10280 (java) S 10248 10248 7440 0 -1 1077944384 578 1476 0 0 21 0 4 0 20 0 17 0 405386913 8127860736 29684 33554432000 4194304 4196468 140734953262896 140365873866864 140366631987842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10281] ppid=10248 vsize=7937364 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10281/stat : 10281 (java) S 10248 10248 7440 0 -1 1077944384 3 1476 0 0 0 0 4 0 20 0 17 0 405386913 8127860736 29684 33554432000 4194304 4196468 140734953262896 140364363065568 140366631986901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
[pid=10268/tid=10282] ppid=10248 vsize=7937364 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/10268/task/10282/stat : 10282 (java) S 10248 10248 7440 0 -1 1077944384 1 1476 0 0 0 0 4 0 20 0 17 0 405386913 8127860736 29684 33554432000 4194304 4196468 140734953262896 140365872815280 140366631987842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23977984 140734953268219 140734953268378 140734953268378 140734953271247 0
Current children cumulated CPU time: 17.39 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 120212 KiB
Child status: 0
Real time (s): 6.88096
CPU time (s): 17.5552
CPU user time (s): 17.1266
CPU system time (s): 0.428602
CPU usage (%): 255.127
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 1547508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1266
system time used= 0.428602
maximum resident set size= 1552148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59857
page faults= 1
swaps= 0
block input operations= 49128
block output operations= 1280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5259
involuntary context switches= 194
# summary of solver processes directly reported to runsolver:
# pid: 10248
# total CPU time (s): 17.5552
# total CPU user time (s): 17.1266
# total CPU system time (s): 0.428602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068993 second user time and 0.111606 second system time
The end