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-10244-serial-file.bin HOME/instance-4387608-1568286244.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:03:22 CEST 2019
0.66/0.55 c PID: 10247
0.66/0.55 c IP: 172.20.3.147
0.66/0.55 c HOST: node147.alineos.net
0.66/0.56 c (0,0) Parsing Begin
4.94/1.93 c (1,1) Parsing End
4.94/1.94 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 40
4.94/1.94 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.94/1.94 c (1,1) Constraint Name Generate Begin
4.94/1.96 c (1,1) Ctr:HOME/instance-4387608-1568286244.xml,Dist:Eq:Le:Num:Var
4.94/1.96 c (1,1) Constraint Name Generate End
4.94/1.96 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.94/1.96 c (1,1) CSP to CSPinCNF Begin
5.95/2.23 c (1,1) translated 411 (10%) constraints
6.28/2.30 c (1,1) translated 821 (20%) constraints
6.28/2.36 c (1,1) translated 1231 (30%) constraints
6.58/2.41 c (1,1) translated 1642 (40%) constraints
6.58/2.46 c (1,1) translated 2052 (50%) constraints
6.87/2.50 c (1,1) translated 2462 (60%) constraints
6.87/2.55 c (2,2) translated 2873 (70%) constraints
6.87/2.59 c (2,2) translated 3283 (80%) constraints
7.16/2.63 c (2,2) translated 3693 (90%) constraints
7.50/2.73 c (2,2) translated 4103 (100%) constraints
7.50/2.73 c (2,2) ===========================================
7.50/2.73 c (2,2) Order
7.50/2.73 c (2,2) ===========================================
7.50/2.76 c (2,2) translated 479 (10%) constraints
7.50/2.78 c (2,2) translated 957 (20%) constraints
7.80/2.80 c (2,2) translated 1435 (30%) constraints
7.80/2.82 c (2,2) translated 1914 (40%) constraints
7.80/2.84 c (2,2) translated 2392 (50%) constraints
7.80/2.85 c (2,2) translated 2870 (60%) constraints
7.80/2.87 c (2,2) translated 3349 (70%) constraints
7.80/2.88 c (2,2) translated 3827 (80%) constraints
7.80/2.89 c (2,2) translated 4305 (90%) constraints
8.09/2.91 c (2,2) translated 4783 (100%) constraints
8.09/2.91 c (2,2) CSP to CSPinCNF End
8.09/2.91 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 40
8.09/2.91 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.09/2.91 c (2,2) CSPinCNF Propagation Begin
8.09/3.00 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
8.09/3.00 c (2,2) CSPinCNF Propagation End
8.09/3.00 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 40
8.09/3.00 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.44/3.01 c (2,2) Simplify CSPinCNF Begin
9.06/3.28 c (2,2) Simplify CSPinCNF End
9.06/3.29 c (2,2) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 40
9.06/3.29 c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.06/3.29 c (2,2) Calculate Precise Domain Begin
9.06/3.29 c (2,2) 0 values are removed by re-calculation
9.06/3.29 c (2,2) Calculate Precise Domain End
9.06/3.29 c (2,2) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 40
9.06/3.29 c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.06/3.29 c (2,2) CSPinCNF to SatSolver Begin
10.97/3.88 c (3,3) 1299 (10 %) CSP clauses are encoded (0 SAT variables, 51964 SAT clauses)
11.58/4.08 c (3,3) 2598 (20 %) CSP clauses are encoded (0 SAT variables, 80330 SAT clauses)
12.03/4.25 c (3,3) 3897 (30 %) CSP clauses are encoded (0 SAT variables, 106604 SAT clauses)
12.22/4.39 c (3,3) 5196 (40 %) CSP clauses are encoded (0 SAT variables, 135237 SAT clauses)
12.45/4.53 c (4,3) 6495 (50 %) CSP clauses are encoded (0 SAT variables, 164767 SAT clauses)
12.60/4.67 c (4,4) 7794 (60 %) CSP clauses are encoded (0 SAT variables, 195014 SAT clauses)
12.86/4.81 c (4,4) 9093 (70 %) CSP clauses are encoded (0 SAT variables, 225087 SAT clauses)
12.98/4.95 c (4,4) 10392 (80 %) CSP clauses are encoded (0 SAT variables, 255305 SAT clauses)
13.10/5.09 c (4,4) 11691 (90 %) CSP clauses are encoded (0 SAT variables, 284527 SAT clauses)
13.46/5.22 c (4,4) 12989 (100 %) CSP clauses are encoded (0 SAT variables, 311511 SAT clauses)
13.46/5.22 c (4,4) CSPinCNF to SatSolver End
13.46/5.22 c (4,4) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
13.46/5.22 c (4,4) 32054 bool, 311523 clause
13.46/5.22 c (4,4) Export Begin
14.14/5.51 c (4,4) Export to HOME/scop-10244-serial-file.bin
14.14/5.51 c (4,4) Export End
14.14/5.51 c (4,4) Export File Size: 4.20 MB
14.14/5.51 c (4,4) 1,1,2,2,2,2,4,STOP-AFTER(DIMACS)
14.14/5.51 c END-Prog: Thu Sep 12 13:03:27 CEST 2019
14.14/5.53 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10244-serial-file.bin
14.19/5.99 c (0,0) Read Serial File Begin
14.19/5.99 c (0,0) HOME/scop-10244-serial-file.bin
15.44/6.38 c (0,0) Read Serial File End
15.44/6.39
15.44/6.39 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
15.44/6.39 (Solving Process)
15.44/6.39
15.71/6.41 c BEGIN-Prog: Thu Sep 12 13:03:28 CEST 2019
15.71/6.41 c PID: 10262
15.71/6.41 c IP: 172.20.3.147
15.71/6.41 c HOST: node147.alineos.net
15.71/6.42 c (0,0) SatSolver.solve Begin
15.71/6.42 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387608-1568286244.xml-scop-10247.cnf
15.71/6.45 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
15.71/6.45 c (0,0) c glueminisat-simp-2.2.10-193oa-n
15.71/6.45 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387608-1568286244.xml-scop-10247.cnf
15.71/6.45 c (0,0) c Options:
15.71/6.45 c (0,0) c CORE
15.71/6.45 c (0,0) c var_decay = 0.950
15.71/6.45 c (0,0) c clause_decay = 0.999
15.71/6.45 c (0,0) c random_var_freq = 0.000
15.71/6.45 c (0,0) c random_seed = 91648253.000
15.71/6.45 c (0,0) c luby_restart = 1
15.71/6.45 c (0,0) c ccmin_mode = 2
15.71/6.45 c (0,0) c phase_saving = 2
15.71/6.45 c (0,0) c rnd_pol = 0
15.71/6.45 c (0,0) c rnd_init_act = 0
15.71/6.45 c (0,0) c garbage_frac = 0.200
15.71/6.45 c (0,0) c restart_first = 1000
15.71/6.45 c (0,0) c restart_inc = 2.000
15.71/6.45 c (0,0) c MODEL
15.71/6.46 c (0,0) c partial_model = 0
15.71/6.46 c (0,0) c PROPAGATION
15.71/6.46 c (0,0) c bin_propagation = 1
15.71/6.46 c (0,0) c SIMPLIFICATION
15.71/6.46 c (0,0) c lrn_min_size = 100
15.71/6.46 c (0,0) c lazy_simp = 1
15.71/6.46 c (0,0) c lazy_interval = 10
15.71/6.46 c (0,0) c lazy_fld_probing = 1
15.71/6.46 c (0,0) c lazy_pol_probing = 1
15.71/6.46 c (0,0) c lazy_nec_probing = 1
15.71/6.46 c (0,0) c lazy_eqv_probing = 1
15.71/6.46 c (0,0) c lazy_cla_probing = 1
15.71/6.46 c (0,0) c lazy_lrn_min = 2
15.71/6.46 c (0,0) c lazy_uw_lit_elim = 1
15.71/6.46 c (0,0) c lazy_pr_lit_elim = 0
15.71/6.46 c (0,0) c lazy_bin_add = 3
15.71/6.46 c (0,0) c probed_lit_chain = 1
15.71/6.46 c (0,0) c pr_min_lits = 0.00020
15.71/6.46 c (0,0) c pr_min_starts = 500
15.71/6.46 c (0,0) c rw_min_lits = 0.010
15.71/6.46 c (0,0) c rw_min_starts = 500
15.71/6.46 c (0,0) c rand_attach = 0
15.71/6.46 c (0,0) c dec_elim = 1
15.71/6.46 c (0,0) c dec_elim_lim = 25
15.71/6.46 c (0,0) c dec_elim_len = -1
15.71/6.46 c (0,0) c amo = 0
15.71/6.46 c (0,0) c amo_grp = 1
15.71/6.46 c (0,0) c amo_max_bins = 1000000
15.71/6.46 c (0,0) c amo_starts = 50
15.71/6.46 c (0,0) c mace_cmd = mace
15.71/6.46 c (0,0) c DECISION
15.71/6.46 c (0,0) c rand_rebuild = 0
15.71/6.46 c (0,0) c rand_rebuild_confs = 10000
15.71/6.46 c (0,0) c inc_var_decay = 1
15.71/6.46 c (0,0) c inc_var_decay_period = 100000
15.71/6.46 c (0,0) c inc_var_decay_init = 0.600
15.71/6.46 c (0,0) c var_decay_mode = 0
15.71/6.46 c (0,0) c var_decay_gain = 0
15.71/6.46 c (0,0) c sloped_var_decay = 1
15.71/6.46 c (0,0) c max_var_decay = 0.990
15.71/6.46 c (0,0) c min_var_decay = 0.950
15.71/6.46 c (0,0) c min_var_decay_vars = 10000
15.71/6.46 c (0,0) c max_var_decay_vars = 500
15.71/6.46 c (0,0) c uip_bumping = 1
15.71/6.46 c (0,0) c lbd_act_bumping = 1
15.71/6.46 c (0,0) c rand_tiebreak = 0
15.71/6.46 c (0,0) c simp_rebuild = 1
15.71/6.46 c (0,0) c RESTART
15.71/6.46 c (0,0) c restart_strategy = 2
15.71/6.46 c (0,0) c restart_blocking = 0
15.71/6.46 c (0,0) c agility_decay = 0.99990
15.71/6.46 c (0,0) c lbd_restart_rate = 0.800
15.71/6.46 c (0,0) c dec_restart_rate = 0.950
15.71/6.46 c (0,0) c blk_restart_rate = 0.700
15.71/6.46 c (0,0) c lbd_queue_size = 50
15.71/6.46 c (0,0) c dec_queue_size = 50
15.71/6.46 c (0,0) c trl_queue_size = 5000
15.71/6.46 c (0,0) c blk_restart_weight = 1.000
15.71/6.46 c (0,0) c inc_rst_rate = 0
15.71/6.46 c (0,0) c inc_rst_rate_period = 500000
15.71/6.46 c (0,0) c inc_lbd_rst_rate_init = 0.600
15.71/6.46 c (0,0) c inc_dec_rst_rate_init = 0.750
15.71/6.46 c (0,0) c REDUCTION
15.71/6.46 c (0,0) c closed_lbd = 0
15.71/6.46 c (0,0) c closed_lbd_rate = 0.500
15.71/6.46 c (0,0) c rm_simulate = 0
15.71/6.46 c (0,0) c rdb_eval = 2
15.71/6.46 c (0,0) c rdb_call = 3
15.71/6.46 c (0,0) c rdb_ub = 0.500
15.71/6.46 c (0,0) c core_lbd_cvr = 0.800
15.71/6.46 c (0,0) c supp_lbd_cvr = 0.990
15.71/6.46 c (0,0) c core_lbd_lb = 2
15.71/6.46 c (0,0) c supp_lbd_lb = 2
15.71/6.46 c (0,0) c core_lbd_prd = 7
15.71/6.46 c (0,0) c supp_lbd_prd = 1
15.71/6.46 c (0,0) c othr_lbd_prd = 0
15.71/6.46 c (0,0) c inc_lrn_limit = 1000
15.71/6.46 c (0,0) c frozen_lbd = 30
15.71/6.46 c (0,0) c simp_min_starts = 100
15.71/6.46 c (0,0) c rm_low_act_learnts = 1
15.71/6.46 c (0,0) c lv0_reduce_db = 0
15.71/6.46 c (0,0) c reduce_db_base = 20000
15.71/6.46 c (0,0) c reduce_db_inc = 1000
15.71/6.46 c (0,0) c HARD
15.71/6.46 c (0,0) c inst_check = 200000
15.71/6.46 c (0,0) c small_block = 1.750
15.71/6.46 c (0,0) c slow_restart_speed = 400.000
15.71/6.46 c (0,0) c slow_restart_strategy = 3
15.71/6.46 c (0,0) c slow_lbd_restart_rate = 0.700
15.71/6.46 c (0,0) c slow_dec_restart_rate = 1.000
15.71/6.46 c (0,0) c slow_lbd_queue_size = 50
15.71/6.46 c (0,0) c slow_var_decay = 0.950
15.71/6.46 c (0,0) c slow_glue_threshold = 2
15.71/6.46 c (0,0) c slow_phase_saving = 2
15.71/6.46 c (0,0) c fast_restart_speed = 125.000
15.71/6.46 c (0,0) c fast_restart_strategy = 1
15.71/6.46 c (0,0) c fast_lbd_restart_rate = 0.800
15.71/6.46 c (0,0) c fast_dec_restart_rate = 0.950
15.71/6.46 c (0,0) c fast_lbd_queue_size = 50
15.71/6.46 c (0,0) c fast_var_decay = 1.000
15.71/6.46 c (0,0) c fast_glue_threshold = 2
15.71/6.46 c (0,0) c fast_phase_saving = 2
15.71/6.46 c (0,0) c STATS
15.71/6.46 c (0,0) c stats_conf_size = 10000
15.71/6.46 c (0,0) c max_stats_size = 30
15.71/6.46 c (0,0) c SOLVER
15.71/6.46 c (0,0) c minisat = 0
15.94/6.57 c (0,0) c Problem: 32054 variables, 311523 clauses, parsing 0.12 s
15.94/6.91 c (0,0) c reduced to 27840 variables, 306724 clauses (grow = 0)
15.94/6.92 c (1,0) c exclude 9 (0.0%) variables from decision variables (last cost 24)
15.94/6.95 c (1,0) c Simplification: 4223 vars, 4799 clauses are eliminated using 0.37 s
15.94/6.95 c (1,0) c
15.94/6.95 c (1,0) c #Rstrts #Confs #Vars #Clauses #Learnts Lits/C LBD/C DLVs Trail
15.94/6.95 c (1,0) c
15.94/6.95 c (1,0) c 0 0 0 27831 306724 0 -nan -nan -nan -nan%
15.94/6.97 c (1,0) c 0 1 100 27831 306724 100 8.4 5.9 391.7 30.5%
15.94/6.98 c (1,0) c 0 1 220 27831 306724 221 9.5 6.1 330.4 24.9%
15.94/6.99 c (1,0) c 0 1 364 27831 306724 366 9.8 6.0 308.5 22.8%
15.94/7.00 c (1,0) c 0 1 536 27831 306724 538 10.3 6.1 289.2 21.3%
16.50/7.02 c (1,0) c 0 1 743 27831 306724 745 10.2 5.8 240.7 18.0%
16.50/7.04 c (1,0) c 0 1 991 27831 306724 994 10.8 5.7 204.3 15.6%
16.50/7.05 c (1,0) c 0 1 1289 27831 306724 1292 11.5 5.8 179.5 13.9%
16.50/7.08 c (1,0) c 0 1 1647 27831 306724 1650 12.0 5.8 161.8 12.7%
16.50/7.11 c (1,0) c 0 1 2076 27831 306724 2080 12.1 5.7 148.5 11.8%
16.60/7.14 c (1,0) c 0 1 2591 27831 306724 2598 12.0 5.6 137.8 11.0%
16.60/7.18 c (1,0) c 0 1 3210 27831 306724 3220 11.7 5.4 129.7 10.4%
16.70/7.23 c (1,0) c 0 1 3953 27831 306724 3967 11.6 5.2 123.3 10.0%
16.70/7.29 c (1,0) c 0 1 4844 27808 306724 4861 11.6 5.0 108.7 9.0%
16.80/7.36 c (1,0) c 0 1 5913 27797 306724 5933 11.4 4.8 90.5 7.8%
16.90/7.40 c (1,0) c 0 1 6568 26947 306724 6581 11.2 4.7 82.1 7.2%
16.90/7.40 c (1,0) c
16.90/7.40 c (1,0) c
16.90/7.40 c (1,0) c variables : 26947 (init 32054, after simp 27831, 9 non-decs, 680 csp)
16.90/7.40 c (1,0) c clauses : 306724 (init 311523, after simp 306724)
16.90/7.40 c (1,0) c restarts : 0 (6568.00 confs/res, 6568~6568 confs, 0 blks, 0 last)
16.90/7.40 c (1,0) c conflicts : 6568 (7070 /sec, 52.85% dconfs, 0.00% supp, trail 50.63w x 82.11h, jmp 1.35h)
16.90/7.40 c (1,0) c decisions : 8851 (0.6200 vdcy, 9527 /sec, 0.00% bin, rs 0.001 s)
16.90/7.40 c (1,0) c propagations : 1433031 (1542481 /sec, 161.91 lits/dec, 30.60% o.a.)
16.90/7.40 c (1,0) c conflict literals : 111477 (32.22% deleted; 1.79% by bin min, 0.001 s)
16.90/7.40 c (1,0) c len : 11.185 (11.20 for all, max 34, used 34)
16.90/7.40 c (1,0) c lbd : 4.691 (6.02 (4.69) for all, max 15, used 13, 1.362 stdev, 1.860 blk)
16.90/7.40 c (1,0) c amo : 0 (0 max, -nan avg, 0.000 s)
16.90/7.40 c (1,0) c simp dbs : 1 (0.000 s)
16.90/7.40 c (1,0) c reduce dbs : 0 (core-lbd 2, supp-lbd 2147483647, 0.000 s)
16.90/7.40 c (1,0) c learnts : 6581 (0 learnts removed, 0.00%)
16.90/7.40 c (1,0) c rewrite dbs : 0 (0/0 vars, 0+0 taut, 0+0 unit, 0.000 s)
16.90/7.40 c (1,0) c assigned lits : 0 (0/5 probed, 5 remains)
16.90/7.40 c (1,0) c premise updates : 0 (0.00 /lit)
16.90/7.40 c (1,0) c probed variables : 5 (0 pr, 0 eq, 0 fld, 0 pol, 0 nec, 5 cla, 0 amo)
16.90/7.40 c (1,0) c equiv variables : 0 (0 bin, 0 trn, 0 quat, 0 quin, 0 othr; 0 amo)
16.90/7.40 c (1,0) c lazy added bins : 25 (25 prop + 0 conf, 0.002s)
16.90/7.40 c (1,0) c unwatched lit elim: 773 (0.01+0.65%, 53+720 of 864589+111477)
16.90/7.40 c (1,0) c classified type : undef
16.90/7.40 c (1,0) c progress : 3.176 %
16.90/7.40 c (1,0) c
16.90/7.40 c (1,0) c [Statistics]
16.90/7.40 c (1,0) c learnts len learnts lbd lit blk size eq vars size
16.90/7.40 c (1,0) c tot 6567 6567 39548 0
16.90/7.40 c (1,0) c avg 11.203 4.695 1.860 -nan
16.90/7.40 c (1,0) c 1 11 ( 0.2%) 110 ( 1.7%) 26829 (67.8%) 0 (-nan%)
16.90/7.40 c (1,0) c 2 46 ( 0.7%) 1472 (22.4%) 5538 (14.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 3 252 ( 3.8%) 908 (13.8%) 2709 ( 6.8%) 0 (-nan%)
16.90/7.40 c (1,0) c 4 216 ( 3.3%) 886 (13.5%) 1543 ( 3.9%) 0 (-nan%)
16.90/7.40 c (1,0) c 5 637 ( 9.7%) 913 (13.9%) 882 ( 2.2%) 0 (-nan%)
16.90/7.40 c (1,0) c 6 567 ( 8.6%) 748 (11.4%) 614 ( 1.6%) 0 (-nan%)
16.90/7.40 c (1,0) c 7 418 ( 6.4%) 609 ( 9.3%) 443 ( 1.1%) 0 (-nan%)
16.90/7.40 c (1,0) c 8 413 ( 6.3%) 431 ( 6.6%) 298 ( 0.8%) 0 (-nan%)
16.90/7.40 c (1,0) c 9 423 ( 6.4%) 269 ( 4.1%) 210 ( 0.5%) 0 (-nan%)
16.90/7.40 c (1,0) c 10 398 ( 6.1%) 138 ( 2.1%) 139 ( 0.4%) 0 (-nan%)
16.90/7.40 c (1,0) c 11 350 ( 5.3%) 61 ( 0.9%) 116 ( 0.3%) 0 (-nan%)
16.90/7.40 c (1,0) c 12 381 ( 5.8%) 17 ( 0.3%) 65 ( 0.2%) 0 (-nan%)
16.90/7.40 c (1,0) c 13 356 ( 5.4%) 2 ( 0.0%) 45 ( 0.1%) 0 (-nan%)
16.90/7.40 c (1,0) c 14 300 ( 4.6%) 2 ( 0.0%) 46 ( 0.1%) 0 (-nan%)
16.90/7.40 c (1,0) c 15 290 ( 4.4%) 1 ( 0.0%) 18 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 16 239 ( 3.6%) 0 ( 0.0%) 20 ( 0.1%) 0 (-nan%)
16.90/7.40 c (1,0) c 17 217 ( 3.3%) 0 ( 0.0%) 9 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 18 216 ( 3.3%) 0 ( 0.0%) 5 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 19 191 ( 2.9%) 0 ( 0.0%) 8 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 20 164 ( 2.5%) 0 ( 0.0%) 4 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 21 135 ( 2.1%) 0 ( 0.0%) 2 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 22 86 ( 1.3%) 0 ( 0.0%) 4 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 23 83 ( 1.3%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 24 50 ( 0.8%) 0 ( 0.0%) 1 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 25 32 ( 0.5%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 26 23 ( 0.4%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
16.90/7.40 c (1,0) c 27 29 ( 0.4%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
16.90/7.41 c (1,0) c 28 12 ( 0.2%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
16.90/7.41 c (1,0) c 29 7 ( 0.1%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
16.90/7.41 c (1,0) c 30 25 ( 0.4%) 0 ( 0.0%) 0 ( 0.0%) 0 (-nan%)
16.90/7.41 c (1,0) c
16.90/7.41 c (1,0) c [LBD Statistics]
16.90/7.41 c (1,0) c LBD used lbd used clause lbd unused clause lbd
16.90/7.41 c (1,0) c tot 45670 3625 2956
16.90/7.41 c (1,0) c avg 2.684 3.741 5.856
16.90/7.41 c (1,0) c 1 1554 ( 3.4/ 3.4%) 99 ( 2.7/ 2.7%) 0 ( 0.0/ 0.0%)
16.90/7.41 c (1,0) c 2 28087 (61.5/64.9%) 1329 (36.7/39.4%) 168 ( 5.7/ 5.7%)
16.90/7.41 c (1,0) c 3 8191 (17.9/82.8%) 639 (17.6/57.0%) 269 ( 9.1/14.8%)
16.90/7.41 c (1,0) c 4 3864 ( 8.5/91.3%) 463 (12.8/69.8%) 423 (14.3/29.1%)
16.90/7.41 c (1,0) c 5 1751 ( 3.8/95.1%) 399 (11.0/80.8%) 514 (17.4/46.5%)
16.90/7.41 c (1,0) c 6 876 ( 1.9/97.1%) 257 ( 7.1/87.9%) 491 (16.6/63.1%)
16.90/7.41 c (1,0) c 7 620 ( 1.4/98.4%) 208 ( 5.7/93.6%) 401 (13.6/76.7%)
16.90/7.41 c (1,0) c 8 358 ( 0.8/99.2%) 112 ( 3.1/96.7%) 319 (10.8/87.4%)
16.90/7.41 c (1,0) c 9 190 ( 0.4/99.6%) 70 ( 1.9/98.6%) 199 ( 6.7/94.2%)
16.90/7.41 c (1,0) c 10 100 ( 0.2/99.8%) 29 ( 0.8/99.4%) 109 ( 3.7/97.9%)
16.90/7.41 c (1,0) c 11 54 ( 0.1/99.9%) 15 ( 0.4/99.9%) 46 ( 1.6/99.4%)
16.90/7.41 c (1,0) c 12 20 ( 0.0/100.0%) 5 ( 0.1/100.0%) 12 ( 0.4/99.8%)
16.90/7.41 c (1,0) c 13 5 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.1/99.9%)
16.90/7.41 c (1,0) c 14 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 2 ( 0.1/100.0%)
16.90/7.41 c (1,0) c 15 0 ( 0.0/100.0%) 0 ( 0.0/100.0%) 1 ( 0.0/100.0%)
16.90/7.41 c (1,0) c
16.90/7.41 c (1,0) c Memory used : 68.00 MB
16.90/7.41 c (1,0) c CPU time : 0.929 s
16.90/7.41 c (1,0) c Real time : 0.964 s
16.90/7.41 c (1,0) c
16.90/7.41 c (1,0) s UNSATISFIABLE
16.90/7.41 c (1,0) SatSolver.solve End
16.90/7.41 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
16.90/7.41 c (1,0) Show results Begin
16.90/7.41 s UNSATISFIABLE
16.90/7.41 c (1,0) Show results End
16.90/7.41 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
16.90/7.41 c (1,0) 1,1,STOP-AFTER(ALL)
16.90/7.41 c END-Prog: Thu Sep 12 13:03:29 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 (5414 MiB free)
memory of node 1: 16384 MiB (9299 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387608-1568286244/watcher-4387608-1568286244 -o /tmp/evaluation-result-4387608-1568286244/solver-4387608-1568286244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9752 --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-4387608-1568286244.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=10244, runsolver pid=10241
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 2.27 1.85 1.88 3/235 10261
/proc/meminfo: memFree=15009084/32770624 swapFree=66957008/67108860
[pid=10244] ppid=10241 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10241 10244 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404538284 115843072 349 33554432000 4194304 5098028 140731949207392 140731949204648 140698511946364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33886208 140731949212456 140731949212784 140731949212784 140731949215693 0
/proc/10244/statm: 28282 349 296 221 0 87 0
[pid=10247] ppid=10244 vsize=15014680 memory=71968 CPUtime=0.12 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10244 10244 8853 0 -1 1077944320 6754 0 0 0 10 2 0 0 20 0 15 0 404538284 15375032320 17992 33554432000 4194304 4196468 140722125023936 140722125006480 139982658776823 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
/proc/10247/statm: 3753670 17992 2918 1 0 3716075 0
[pid=10247/tid=10248] ppid=10244 vsize=15016308 memory=-6149239525118099397 CPUtime=0.09 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) R 10244 10244 8853 0 -1 4202560 4916 0 0 0 7 2 0 0 20 0 15 0 404538284 15376699392 18388 33554432000 4194304 4196468 140722125023936 139982630561072 139982651456541 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10249] ppid=10244 vsize=15016308 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538286 15376699392 18388 33554432000 4194304 4196468 140722125023936 139982663018768 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10250] ppid=10244 vsize=15016308 memory=140360279590528 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538286 15376699392 18388 33554432000 4194304 4196468 140722125023936 139982454102416 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10251] ppid=10244 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538286 15376699392 18388 33554432000 4194304 4196468 140722125023936 139982453049872 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10252] ppid=10244 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538286 15376699392 18454 33554432000 4194304 4196468 140722125023936 139982451997328 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10253] ppid=10244 vsize=15016308 memory=140360279590528 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538287 15376699392 18454 33554432000 4194304 4196468 140722125023936 139981629229552 139982658787970 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10254] ppid=10244 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10244 10244 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404538288 15376699392 18454 33554432000 4194304 4196468 140722125023936 139981238560160 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10255] ppid=10244 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10244 10244 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404538288 15376699392 18454 33554432000 4194304 4196468 140722125023936 139981104338416 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10256] ppid=10244 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538290 15376699392 18454 33554432000 4194304 4196468 140722125023936 139980729834192 139982658795419 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10257] ppid=10244 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10244 10244 8853 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 404538290 15376699392 18520 33554432000 4194304 4196468 140722125023936 139981628176368 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10258] ppid=10244 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538290 15376699392 18520 33554432000 4194304 4196468 140722125023936 139981627123824 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10259] ppid=10244 vsize=15016308 memory=140360279590528 CPUtime=0.01 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10244 10244 8853 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 404538290 15376699392 18520 33554432000 4194304 4196468 140722125023936 139981626071280 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10260] ppid=10244 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538290 15376699392 18520 33554432000 4194304 4196468 140722125023936 139980231928416 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10261] ppid=10244 vsize=15016308 memory=140360279590528 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538291 15376699392 18520 33554432000 4194304 4196468 140722125023936 139981625019184 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15127808 KiB
Current children cumulated memory: 73364 KiB
[startup+0.210981 s]*
/proc/loadavg: 2.27 1.85 1.88 3/235 10261
/proc/meminfo: memFree=14993084/32770624 swapFree=66957008/67108860
[pid=10244] ppid=10241 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10241 10244 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404538284 115843072 349 33554432000 4194304 5098028 140731949207392 140731949204648 140698511946364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33886208 140731949212456 140731949212784 140731949212784 140731949215693 0
/proc/10244/statm: 28282 349 296 221 0 87 0
[pid=10247] ppid=10244 vsize=15012696 memory=83884 CPUtime=0.25 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10244 10244 8853 0 -1 1077944320 11033 0 0 0 22 3 0 0 20 0 15 0 404538284 15373000704 20971 33554432000 4194304 4196468 140722125023936 140722125006480 139982658776823 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
/proc/10247/statm: 3753174 20971 2926 1 0 3715579 0
[pid=10247/tid=10248] ppid=10244 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) R 10244 10244 8853 0 -1 4202560 8733 0 0 0 17 3 0 0 20 0 15 0 404538284 15373000704 20971 33554432000 4194304 4196468 140722125023936 139982630595232 139982658788758 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10249] ppid=10244 vsize=15012696 memory=364 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538286 15373000704 20971 33554432000 4194304 4196468 140722125023936 139982663018768 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10250] ppid=10244 vsize=15012696 memory=140360279601633 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538286 15373000704 20971 33554432000 4194304 4196468 140722125023936 139982454102416 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10251] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538286 15373000704 20971 33554432000 4194304 4196468 140722125023936 139982453049872 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10252] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538286 15373000704 20971 33554432000 4194304 4196468 140722125023936 139982451997328 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10253] ppid=10244 vsize=15012696 memory=140360279590528 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538287 15373000704 20971 33554432000 4194304 4196468 140722125023936 139981629229552 139982658787970 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10254] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10244 10244 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404538288 15373000704 20971 33554432000 4194304 4196468 140722125023936 139981238560160 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10255] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10244 10244 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404538288 15373000704 20971 33554432000 4194304 4196468 140722125023936 139981104338416 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10256] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538290 15373000704 20971 33554432000 4194304 4196468 140722125023936 139980729834192 139982658795419 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10257] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10244 10244 8853 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 404538290 15373000704 20971 33554432000 4194304 4196468 140722125023936 139981628176368 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10258] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) S 10244 10244 8853 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 404538290 15373000704 20971 33554432000 4194304 4196468 140722125023936 139981627123824 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10259] ppid=10244 vsize=15012696 memory=140360279590528 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10244 10244 8853 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 15 0 404538290 15373000704 20971 33554432000 4194304 4196468 140722125023936 139981626071280 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10260] ppid=10244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538290 15373000704 20971 33554432000 4194304 4196468 140722125023936 139980231928416 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10261] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538291 15373000704 20971 33554432000 4194304 4196468 140722125023936 139981625019184 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 85280 KiB
[startup+0.310851 s]*
/proc/loadavg: 2.27 1.85 1.88 4/235 10261
/proc/meminfo: memFree=14989424/32770624 swapFree=66957008/67108860
[pid=10244] ppid=10241 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10241 10244 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404538284 115843072 349 33554432000 4194304 5098028 140731949207392 140731949204648 140698511946364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33886208 140731949212456 140731949212784 140731949212784 140731949215693 0
/proc/10244/statm: 28282 349 296 221 0 87 0
[pid=10247] ppid=10244 vsize=15012696 memory=87928 CPUtime=0.43 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10244 10244 8853 0 -1 1077944320 12053 0 0 0 39 4 0 0 20 0 15 0 404538284 15373000704 21982 33554432000 4194304 4196468 140722125023936 140722125006480 139982658776823 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
/proc/10247/statm: 3753174 21982 3065 1 0 3715579 0
[pid=10247/tid=10248] ppid=10244 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) R 10244 10244 8853 0 -1 4202560 9547 0 0 0 26 3 0 0 20 0 15 0 404538284 15373000704 21982 33554432000 4194304 4196468 140722125023936 139982630559840 139982640150280 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10249] ppid=10244 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538286 15373000704 21982 33554432000 4194304 4196468 140722125023936 139982663018768 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10250] ppid=10244 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538286 15373000704 21982 33554432000 4194304 4196468 140722125023936 139982454102416 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10251] ppid=10244 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538286 15373000704 21982 33554432000 4194304 4196468 140722125023936 139982453049872 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10252] ppid=10244 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538286 15373000704 21982 33554432000 4194304 4196468 140722125023936 139982451997328 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10253] ppid=10244 vsize=15012696 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538287 15373000704 21982 33554432000 4194304 4196468 140722125023936 139981629229552 139982658787970 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10254] ppid=10244 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10244 10244 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404538288 15373000704 21982 33554432000 4194304 4196468 140722125023936 139981238560160 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10255] ppid=10244 vsize=15012696 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10244 10244 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404538288 15373000704 21982 33554432000 4194304 4196468 140722125023936 139981104338416 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10256] ppid=10244 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538290 15373000704 21982 33554432000 4194304 4196468 140722125023936 139980729834192 139982658795419 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10257] ppid=10244 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10244 10244 8853 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 404538290 15373000704 21982 33554432000 4194304 4196468 140722125023936 139981628176368 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10258] ppid=10244 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) S 10244 10244 8853 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 15 0 404538290 15373000704 21982 33554432000 4194304 4196468 140722125023936 139981627123824 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10259] ppid=10244 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10244 10244 8853 0 -1 1077944384 521 0 0 0 7 0 0 0 20 0 15 0 404538290 15373000704 21982 33554432000 4194304 4196468 140722125023936 139981626071280 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10260] ppid=10244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538290 15373000704 21982 33554432000 4194304 4196468 140722125023936 139980231928416 139982658787029 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10261] ppid=10244 vsize=15012696 memory=3905799769069466672 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538291 15373000704 21982 33554432000 4194304 4196468 140722125023936 139981625019184 139982658787970 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89324 KiB
[startup+0.707651 s]
/proc/loadavg: 2.27 1.85 1.88 3/235 10261
/proc/meminfo: memFree=14966332/32770624 swapFree=66957008/67108860
[pid=10244] ppid=10241 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10241 10244 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404538284 115843072 349 33554432000 4194304 5098028 140731949207392 140731949204648 140698511946364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33886208 140731949212456 140731949212784 140731949212784 140731949215693 0
/proc/10244/statm: 28282 349 296 221 0 87 0
[pid=10247] ppid=10244 vsize=15018968 memory=130004 CPUtime=1.06 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10244 10244 8853 0 -1 1077944320 19730 0 0 0 100 6 0 0 20 0 15 0 404538284 15379423232 32501 33554432000 4194304 4196468 140722125023936 140722125006480 139982658776823 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
/proc/10247/statm: 3754742 32501 3196 1 0 3716091 0
[pid=10247/tid=10248] ppid=10244 vsize=15018968 memory=-7082918048272507482 CPUtime=0.68 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) R 10244 10244 8853 0 -1 4202560 16631 0 0 0 63 5 0 0 20 0 15 0 404538284 15379423232 32501 33554432000 4194304 4196468 140722125023936 139982630614400 139982658798749 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10249] ppid=10244 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538286 15379423232 32501 33554432000 4194304 4196468 140722125023936 139982663018768 139982658787029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10250] ppid=10244 vsize=15018968 memory=37212 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538286 15379423232 32501 33554432000 4194304 4196468 140722125023936 139982454102416 139982658787029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10251] ppid=10244 vsize=15018968 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538286 15379423232 32501 33554432000 4194304 4196468 140722125023936 139982453049872 139982658787029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10252] ppid=10244 vsize=15018968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538286 15379423232 32501 33554432000 4194304 4196468 140722125023936 139982451997328 139982658787029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10253] ppid=10244 vsize=15018968 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10244 10244 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404538287 15379423232 32501 33554432000 4194304 4196468 140722125023936 139981629229552 139982658787970 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10254] ppid=10244 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10244 10244 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404538288 15379423232 32501 33554432000 4194304 4196468 140722125023936 139981238560160 139982658787029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10255] ppid=10244 vsize=15018968 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10244 10244 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404538288 15379423232 32501 33554432000 4194304 4196468 140722125023936 139981104338416 139982658787029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10256] ppid=10244 vsize=15018968 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538290 15379423232 32501 33554432000 4194304 4196468 140722125023936 139980729834192 139982658795419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10257] ppid=10244 vsize=15018968 memory=11624 CPUtime=0.09 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) R 10244 10244 8853 0 -1 4202560 685 0 0 0 9 0 0 0 20 0 15 0 404538290 15379423232 32501 33554432000 4194304 4196468 140722125023936 139981628164512 139982658790727 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10258] ppid=10244 vsize=15018968 memory=732 CPUtime=0.1 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) R 10244 10244 8853 0 -1 4202560 364 0 0 0 10 0 0 0 20 0 15 0 404538290 15379423232 32501 33554432000 4194304 4196468 140722125023936 139981627116848 139982658788758 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10259] ppid=10244 vsize=15018968 memory=776 CPUtime=0.17 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) R 10244 10244 8853 0 -1 1077944384 695 0 0 0 17 0 0 0 20 0 15 0 404538290 15379423232 32501 33554432000 4194304 4196468 140722125023936 139981626067008 139982658787029 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10260] ppid=10244 vsize=15018968 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538290 15379423232 32501 33554432000 4194304 4196468 140722125023936 139980231928416 139982658787029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
[pid=10247/tid=10261] ppid=10244 vsize=15018968 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538291 15379423232 32501 33554432000 4194304 4196468 140722125023936 139981625019184 139982658787970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140722125030126 140722125030554 140722125030554 140722125033423 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131400 KiB
[startup+1.50436 s]
/proc/loadavg: 2.27 1.85 1.88 5/235 10261
/proc/meminfo: memFree=14745108/32770624 swapFree=66957008/67108860
[pid=10244] ppid=10241 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10241 10244 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 404538284 115843072 349 33554432000 4194304 5098028 140731949207392 140731949204648 140698511946364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33886208 140731949212456 140731949212784 140731949212784 140731949215693 0
/proc/10244/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/10262/task/10275/stat : 10275 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538843 7586459648 27570 33554432000 4194304 4196468 140725785840928 140277322869216 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10276] ppid=10244 vsize=7408652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10276/stat : 10276 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538844 7586459648 27570 33554432000 4194304 4196468 140725785840928 140278980590512 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
Current children cumulated CPU time: 15.44 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 111756 KiB
[startup+7.42327 s]
# the end of solver process 10244 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.2861 s, system=0.674641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40099 s]
/proc/loadavg: 2.41 1.89 1.89 3/235 10276
/proc/meminfo: memFree=15014740/32770624 swapFree=66957008/67108860
[pid=10244] ppid=10241 vsize=113128 memory=1476 CPUtime=14.19 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10241 10244 8853 0 -1 4202496 583 33650 0 0 0 0 1369 50 20 0 1 0 404538284 115843072 369 33554432000 4194304 5098028 140731949207392 140731949204136 140698511946364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33886208 140731949212456 140731949212784 140731949212784 140731949215693 0
/proc/10244/statm: 28282 369 311 221 0 87 0
[pid=10262] ppid=10244 vsize=7408652 memory=117520 CPUtime=1.52 cores=1,3,5,7
/proc/10262/stat : 10262 (java) S 10244 10244 8853 0 -1 1077944320 20034 0 0 0 140 12 0 0 20 0 15 0 404538837 7586459648 29380 33554432000 4194304 4196468 140725785840928 140725785823472 140279597956855 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
/proc/10262/statm: 1852163 29380 3168 1 0 1814042 0
[pid=10262/tid=10263] ppid=10244 vsize=7408652 memory=6791534058613427641 CPUtime=0.84 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (java) R 10244 10244 8853 0 -1 4202560 16532 0 0 0 74 10 0 0 20 0 15 0 404538838 7586459648 29380 33554432000 4194304 4196468 140725785840928 140279569791120 140279582037342 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10264] ppid=10244 vsize=7408652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538839 7586459648 29380 33554432000 4194304 4196468 140725785840928 140279602198928 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10265] ppid=10244 vsize=7408652 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538839 7586459648 29380 33554432000 4194304 4196468 140725785840928 140279407962384 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10266] ppid=10244 vsize=7408652 memory=7235147594880805952 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10266/stat : 10266 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538839 7586459648 29380 33554432000 4194304 4196468 140725785840928 140279406910096 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10267] ppid=10244 vsize=7408652 memory=5859271421085368416 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10267/stat : 10267 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404538839 7586459648 29380 33554432000 4194304 4196468 140725785840928 140279405857296 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10268] ppid=10244 vsize=7408652 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10268/stat : 10268 (java) S 10244 10244 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404538840 7586459648 29380 33554432000 4194304 4196468 140725785840928 140278984800880 140279597968002 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10269] ppid=10244 vsize=7408652 memory=1337680 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10269/stat : 10269 (java) S 10244 10244 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404538841 7586459648 29380 33554432000 4194304 4196468 140725785840928 140278463718688 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10270] ppid=10244 vsize=7408652 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10270/stat : 10270 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538841 7586459648 29380 33554432000 4194304 4196468 140725785840928 140278195283568 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10271] ppid=10244 vsize=7408652 memory=1778004 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10271/stat : 10271 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538843 7586459648 29380 33554432000 4194304 4196468 140725785840928 140277820774992 140279597975451 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10272] ppid=10244 vsize=7408652 memory=3848 CPUtime=0.23 cores=1,3,5,7
/proc/10262/task/10272/stat : 10272 (java) S 10244 10244 8853 0 -1 1077944384 1093 0 0 0 23 0 0 0 20 0 15 0 404538843 7586459648 29380 33554432000 4194304 4196468 140725785840928 140278983747696 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10273] ppid=10244 vsize=7408652 memory=4104 CPUtime=0.2 cores=1,3,5,7
/proc/10262/task/10273/stat : 10273 (java) S 10244 10244 8853 0 -1 1077944384 495 0 0 0 20 0 0 0 20 0 15 0 404538843 7586459648 29380 33554432000 4194304 4196468 140725785840928 140278982694896 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10274] ppid=10244 vsize=7408652 memory=2304 CPUtime=0.22 cores=1,3,5,7
/proc/10262/task/10274/stat : 10274 (java) R 10244 10244 8853 0 -1 4202560 580 0 0 0 22 0 0 0 20 0 15 0 404538843 7586459648 29380 33554432000 4194304 4196468 140725785840928 140278981642608 140279597968790 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10275] ppid=10244 vsize=7408652 memory=2700 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10275/stat : 10275 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404538843 7586459648 29380 33554432000 4194304 4196468 140725785840928 140277322869216 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10276] ppid=10244 vsize=7408652 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10276/stat : 10276 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404538844 7586459648 29380 33554432000 4194304 4196468 140725785840928 140278980590512 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
Current children cumulated CPU time: 15.71 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 118996 KiB
[startup+7.20083 s]
/proc/loadavg: 2.38 1.89 1.89 3/240 10282
/proc/meminfo: memFree=14923280/32770624 swapFree=66957008/67108860
[pid=10244] ppid=10241 vsize=113128 memory=1476 CPUtime=14.19 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10241 10244 8853 0 -1 4202496 583 33650 0 0 0 0 1369 50 20 0 1 0 404538284 115843072 369 33554432000 4194304 5098028 140731949207392 140731949204136 140698511946364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33886208 140731949212456 140731949212784 140731949212784 140731949215693 0
/proc/10244/statm: 28282 369 311 221 0 87 0
[pid=10262] ppid=10244 vsize=8068440 memory=132712 CPUtime=1.76 cores=1,3,5,7
/proc/10262/stat : 10262 (java) S 10244 10244 8853 0 -1 1077944320 21118 0 0 0 164 12 0 0 20 0 19 0 404538837 8262082560 33178 33554432000 4194304 4196468 140725785840928 140725785823472 140279597956855 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
/proc/10262/statm: 2017110 33178 3204 1 0 1978454 0
[pid=10277] ppid=10262 vsize=55416 memory=35100 CPUtime=0.75 cores=1,3,5,7
/proc/10277/stat : 10277 (glueminisat-sim) R 10262 10244 8853 0 -1 4202496 10531 0 0 0 72 3 0 0 20 0 1 0 404538928 56745984 8775 33554432000 4194304 4452875 140721691283552 140721691278056 140138953924487 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552096 6554264 33796096 140721691288415 140721691288615 140721691288615 140721691291565 0
/proc/10277/statm: 13854 8775 352 64 0 10058 0
[pid=10262/tid=10263] ppid=10244 vsize=8068440 memory=280720271016960 CPUtime=0.93 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (java) S 10244 10244 8853 0 -1 1077944384 17417 0 0 0 82 11 0 0 20 0 19 0 404538838 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279569797024 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10264] ppid=10244 vsize=8068440 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404538839 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279602198928 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10265] ppid=10244 vsize=8068440 memory=4627829655977429107 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404538839 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279407962384 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10266] ppid=10244 vsize=8068440 memory=-7523660553960122769 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10266/stat : 10266 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404538839 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279406910096 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10267] ppid=10244 vsize=8068440 memory=4627829655977429107 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10267/stat : 10267 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404538839 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279405857296 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10268] ppid=10244 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10268/stat : 10268 (java) S 10244 10244 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404538840 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278984800880 140279597968002 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10269] ppid=10244 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10269/stat : 10269 (java) S 10244 10244 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404538841 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278463718688 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10270] ppid=10244 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10270/stat : 10270 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404538841 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278195283568 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10271] ppid=10244 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10271/stat : 10271 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404538843 8262082560 33178 33554432000 4194304 4196468 140725785840928 140277820774992 140279597975451 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10272] ppid=10244 vsize=8068440 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/10262/task/10272/stat : 10272 (java) S 10244 10244 8853 0 -1 1077944384 1107 0 0 0 28 0 0 0 20 0 19 0 404538843 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278983747696 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10273] ppid=10244 vsize=8068440 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/10262/task/10273/stat : 10273 (java) S 10244 10244 8853 0 -1 1077944384 528 0 0 0 25 0 0 0 20 0 19 0 404538843 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278982694896 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10274] ppid=10244 vsize=8068440 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/10262/task/10274/stat : 10274 (java) S 10244 10244 8853 0 -1 1077944384 670 0 0 0 26 0 0 0 20 0 19 0 404538843 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278981642608 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10275] ppid=10244 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10275/stat : 10275 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404538843 8262082560 33178 33554432000 4194304 4196468 140725785840928 140277322869216 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10276] ppid=10244 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10276/stat : 10276 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404538844 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278980590512 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10278] ppid=10244 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10278/stat : 10278 (java) S 10244 10244 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404538928 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279067997632 140279597981465 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10280] ppid=10244 vsize=8068440 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10262/task/10280/stat : 10280 (java) S 10244 10244 8853 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 404538929 8262082560 33178 33554432000 4194304 4196468 140725785840928 140276785987600 140279597978781 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10281] ppid=10244 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10281/stat : 10281 (java) S 10244 10244 8853 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 404538929 8262082560 33178 33554432000 4194304 4196468 140725785840928 140276517551504 140279597978781 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10282] ppid=10244 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10282/stat : 10282 (java) S 10244 10244 8853 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 404538931 8262082560 33178 33554432000 4194304 4196468 140725785840928 140277054430128 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
Current children cumulated CPU time: 16.7 s
Current children cumulated vsize: 8236984 KiB
Current children cumulated memory: 169288 KiB
[startup+7.40083 s]
/proc/loadavg: 2.38 1.89 1.89 3/240 10282
/proc/meminfo: memFree=14923280/32770624 swapFree=66957008/67108860
[pid=10244] ppid=10241 vsize=113128 memory=1476 CPUtime=14.19 cores=1,3,5,7
/proc/10244/stat : 10244 (scop.sh) S 10241 10244 8853 0 -1 4202496 583 33650 0 0 0 0 1369 50 20 0 1 0 404538284 115843072 369 33554432000 4194304 5098028 140731949207392 140731949204136 140698511946364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33886208 140731949212456 140731949212784 140731949212784 140731949215693 0
/proc/10244/statm: 28282 369 311 221 0 87 0
[pid=10262] ppid=10244 vsize=8068440 memory=132712 CPUtime=1.76 cores=1,3,5,7
/proc/10262/stat : 10262 (java) S 10244 10244 8853 0 -1 1077944320 21120 0 0 0 164 12 0 0 20 0 19 0 404538837 8262082560 33178 33554432000 4194304 4196468 140725785840928 140725785823472 140279597956855 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
/proc/10262/statm: 2017110 33178 3204 1 0 1978454 0
[pid=10277] ppid=10262 vsize=55416 memory=35100 CPUtime=0.95 cores=1,3,5,7
/proc/10277/stat : 10277 (glueminisat-sim) R 10262 10244 8853 0 -1 4202496 10531 0 0 0 92 3 0 0 20 0 1 0 404538928 56745984 8775 33554432000 4194304 4452875 140721691283552 140721691278056 140138953924487 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552096 6554264 33796096 140721691288415 140721691288615 140721691288615 140721691291565 0
/proc/10277/statm: 13854 8775 352 64 0 10058 0
[pid=10262/tid=10263] ppid=10244 vsize=8068440 memory=19864 CPUtime=0.93 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (java) S 10244 10244 8853 0 -1 1077944384 17417 0 0 0 82 11 0 0 20 0 19 0 404538838 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279569797024 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10264] ppid=10244 vsize=8068440 memory=492 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404538839 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279602198928 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10265] ppid=10244 vsize=8068440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404538839 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279407962384 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10266] ppid=10244 vsize=8068440 memory=932 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10266/stat : 10266 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404538839 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279406910096 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10267] ppid=10244 vsize=8068440 memory=1768 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10267/stat : 10267 (java) S 10244 10244 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404538839 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279405857296 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10268] ppid=10244 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10268/stat : 10268 (java) S 10244 10244 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404538840 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278984800880 140279597968002 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10269] ppid=10244 vsize=8068440 memory=896 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10269/stat : 10269 (java) S 10244 10244 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404538841 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278463718688 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10270] ppid=10244 vsize=8068440 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10270/stat : 10270 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404538841 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278195283568 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10271] ppid=10244 vsize=8068440 memory=2520 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10271/stat : 10271 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404538843 8262082560 33178 33554432000 4194304 4196468 140725785840928 140277820774992 140279597975451 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10272] ppid=10244 vsize=8068440 memory=257 CPUtime=0.28 cores=1,3,5,7
/proc/10262/task/10272/stat : 10272 (java) S 10244 10244 8853 0 -1 1077944384 1107 0 0 0 28 0 0 0 20 0 19 0 404538843 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278983747696 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10273] ppid=10244 vsize=8068440 memory=3054156605268465310 CPUtime=0.25 cores=1,3,5,7
/proc/10262/task/10273/stat : 10273 (java) S 10244 10244 8853 0 -1 1077944384 528 0 0 0 25 0 0 0 20 0 19 0 404538843 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278982694896 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10274] ppid=10244 vsize=8068440 memory=4715433313220523562 CPUtime=0.26 cores=1,3,5,7
/proc/10262/task/10274/stat : 10274 (java) S 10244 10244 8853 0 -1 1077944384 672 0 0 0 26 0 0 0 20 0 19 0 404538843 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278981642608 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10275] ppid=10244 vsize=8068440 memory=-7384474656665275497 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10275/stat : 10275 (java) S 10244 10244 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404538843 8262082560 33178 33554432000 4194304 4196468 140725785840928 140277322869216 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10276] ppid=10244 vsize=8068440 memory=8514701219730522529 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10276/stat : 10276 (java) S 10244 10244 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404538844 8262082560 33178 33554432000 4194304 4196468 140725785840928 140278980590512 140279597968002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10278] ppid=10244 vsize=8068440 memory=4713745541279610410 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10278/stat : 10278 (java) S 10244 10244 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404538928 8262082560 33178 33554432000 4194304 4196468 140725785840928 140279067997632 140279597981465 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10280] ppid=10244 vsize=8068440 memory=6648615548753253269 CPUtime=0.01 cores=1,3,5,7
/proc/10262/task/10280/stat : 10280 (java) S 10244 10244 8853 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 404538929 8262082560 33178 33554432000 4194304 4196468 140725785840928 140276785987568 140279597978781 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10281] ppid=10244 vsize=8068440 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10281/stat : 10281 (java) S 10244 10244 8853 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 404538929 8262082560 33178 33554432000 4194304 4196468 140725785840928 140276517551504 140279597978781 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
[pid=10262/tid=10282] ppid=10244 vsize=8068440 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10282/stat : 10282 (java) S 10244 10244 8853 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 404538931 8262082560 33178 33554432000 4194304 4196468 140725785840928 140277054430128 140279597967061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140725785846779 140725785846938 140725785846938 140725785849807 0
Current children cumulated CPU time: 16.9 s
Current children cumulated vsize: 8236984 KiB
Current children cumulated memory: 169288 KiB
Child status: 0
Real time (s): 7.42333
CPU time (s): 16.9607
CPU user time (s): 16.2861
CPU system time (s): 0.674641
CPU usage (%): 228.478
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1801520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.2861
system time used= 0.674641
maximum resident set size= 1804828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5571
involuntary context switches= 53
# summary of solver processes directly reported to runsolver:
# pid: 10244
# total CPU time (s): 16.9607
# total CPU user time (s): 16.2861
# total CPU system time (s): 0.674641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071251 second user time and 0.128452 second system time
The end